Vol. 14, No. 5, 2021

Download this article
Download this article For screen
For printing
Recent Issues

Volume 14
Issue 6, 1671–1976
Issue 5, 1333–1669
Issue 4, 985–1332
Issue 3, 667–984
Issue 2, 323–666
Issue 1, 1–322

Volume 13, 8 issues

Volume 12, 8 issues

Volume 11, 8 issues

Volume 10, 8 issues

Volume 9, 8 issues

Volume 8, 8 issues

Volume 7, 8 issues

Volume 6, 8 issues

Volume 5, 5 issues

Volume 4, 5 issues

Volume 3, 4 issues

Volume 2, 3 issues

Volume 1, 3 issues

The Journal
About the Journal
Editorial Board
Editors’ Interests
Subscriptions
 
Submission Guidelines
Submission Form
Policies for Authors
Ethics Statement
 
ISSN: 1948-206X (e-only)
ISSN: 2157-5045 (print)
Author Index
To Appear
 
Other MSP Journals
On the singular set in the thin obstacle problem: higher-order blow-ups and the very thin obstacle problem

Xavier Fernández-Real and Yash Jhaveri

Vol. 14 (2021), No. 5, 1599–1669
Abstract

We consider the singular set in the thin obstacle problem with weight |xn+1|a for a (1,1), which arises as the local extension of the obstacle problem for the fractional Laplacian (a nonlocal problem). We develop a refined expansion of the solution around its singular points by building on the ideas introduced by Figalli and Serra to study the fine properties of the singular set in the classical obstacle problem. As a result, under a superharmonicity condition on the obstacle, we prove that each stratum of the singular set is locally contained in a single C2 manifold, up to a lower-dimensional subset, and the top stratum is locally contained in a C1,α manifold for some α > 0 if a < 0.

In studying the top stratum, we discover a dichotomy, until now unseen, in this problem (or, equivalently, the fractional obstacle problem). We find that second blow-ups at singular points in the top stratum are global, homogeneous solutions to a codimension-2 lower-dimensional obstacle problem (or fractional thin obstacle problem) when a < 0, whereas second blow-ups at singular points in the top stratum are global, homogeneous, and a-harmonic polynomials when a 0. To do so, we establish regularity results for this codimension-2 problem, which we call the very thin obstacle problem.

Our methods extend to the majority of the singular set even when no sign assumption on the Laplacian of the obstacle is made. In this general case, we are able to prove that the singular set can be covered by countably many C2 manifolds, up to a lower-dimensional subset.

Keywords
obstacle problem, fractional Laplacian, free boundary
Mathematical Subject Classification 2010
Primary: 35R35, 47G20
Milestones
Received: 15 October 2019
Accepted: 5 February 2020
Published: 22 August 2021
Authors
Xavier Fernández-Real
Institute of Mathematics
EPFL
Lausanne
Switzerland
Yash Jhaveri
Institute for Advanced Study
Princeton, NJ
United States