## Introduction

The Signorini problem (also known as the thin or boundary obstacle problem) is a classical free boundary problem that was originally studied by Antonio Signorini in connection with linear elasticity [27, 39, 40]. The problem gained further attention in the seventies due to its connection to mechanics, biology, and even finance—see [11, 14, 34], and [17, 37]—, and since then it has been widely studied in the mathematical community; see [2, 3, 7, 9, 10, 12, 18, 20, 22, 26, 29, 30, 36, 38] and references therein.

The main goal of this work is to better understand the size and structure of the non-regular part of the free boundary for such problem.

In particular, our goal is to prove for the first time that, for almost every solution (see Remark 1.2), the set of non-regular points is small. As explained in detail below, this is completely new even when the obstacle $$\varphi$$ is analytic or when it satisfies $$\Delta \varphi < 0$$.

### The Signorini Problem

Let us denote $$x = (x', x_{n+1}) \in {\mathbb {R}}^n\times {\mathbb {R}}$$ and $$B_1^+ = B_1\cap \{x_{n+1} > 0\}$$. We say that $$u \in H^1(B_1^+)$$ is a solution to the Signorini problem with a smooth obstacle $$\varphi$$ defined on $$B_1' := B_1\cap \{x_{n+1} = 0\}$$ if u solves

\begin{aligned} \left\{ \begin{array}{rcll} \Delta u&{}=&{}0 &{} \text { in } B_1^+\\ \min \{-\partial _{x_{n+1}} u, u-\varphi \} &{} = &{}0 &{} \text { on } B_1\cap \{x_{{n+1}} = 0\}, \end{array}\right. \end{aligned}
(1.1)

in the weak sense, for some boundary data $$g\in C^0(\partial B_1\cap \{x_{n+1} \ge 0\})$$. Solutions to the Signorini problem are minimizers of the Dirichlet energy

\begin{aligned} \int _{B_1^+} |\nabla u |^2, \end{aligned}

under the constraint, $$u \ge \varphi$$ on $$\{x_{n+1} = 0\}$$, and with boundary conditions $$u = g$$ on $$\partial B_1 \cap \{x_{n+1} > 0\}$$.

Problem (1.1) is a free boundary problem, i.e., the unknowns of the problem are the solution itself, and the contact set

\begin{aligned} \Lambda (u) := \big \{x'\in {\mathbb {R}}^n: u(x', 0) = \varphi (x')\big \}\times \{0\}\subset {\mathbb {R}}^{n+1}, \end{aligned}

whose topological boundary in the relative topology of $${\mathbb {R}}^n$$, which we denote $$\Gamma (u) = \partial \Lambda (u) = \partial \{x'\in {\mathbb {R}}^n: u(x', 0) = \varphi (x')\}\times \{0\}$$, is known as the free boundary.

Solutions to (1.1) are known to be $$C^{1,\frac{1}{2}}$$ (see ), and this is optimal.

### The Free Boundary

While the optimal regularity of the solution is already known, the structure and regularity of the free boundary is still not completely understood. The main known results are as follows:

The free boundary can be divided into two sets,

\begin{aligned} \Gamma (u) = \mathrm{Reg}(u) \cup \mathrm{Deg}(u), \end{aligned}

the set of regular points,

\begin{aligned} \mathrm{Reg}(u) := \left\{ x = (x', 0)\in \Gamma (u) : 0<c r^{3/2}\leqq \sup _{B_r'(x')} (u - \varphi ) \leqq C r^{3/2},\quad \forall r\in (0, r_\circ )\right\} , \end{aligned}

and the set of non-regular points or degenerate points

\begin{aligned} \mathrm{Deg}(u) := \left\{ x = (x', 0)\in \Gamma (u) : 0\leqq \sup _{B_r'(x')} (u - \varphi ) \leqq Cr^{2},\quad \forall r\in (0, r_\circ )\right\} , \end{aligned}
(1.2)

(see ). Alternatively, each of the subsets can be defined according to the order of the blow-up at that point. Namely, the set of regular points are those whose blow-up is of order $$\frac{3}{2}$$, and the set of degenerate points are those whose blow-up is of order $$\kappa$$ for some $$\kappa \in [2, \infty ]$$.

Let us denote $$\Gamma _\kappa$$ the set of free boundary points of order $$\kappa$$. That is, those points whose blow-up is homogeneous of order $$\kappa$$ (we will be more precise about it later on, in Section 2; the definition of $$\Gamma _\infty$$ is slightly different). Then, it is well known that the free boundary can be divided as

\begin{aligned} \Gamma (u) = \Gamma _{3/2} \cup \Gamma _{\mathrm{even}} \cup \Gamma _{\mathrm{odd}} \cup \Gamma _{\mathrm{half}} \cup \Gamma _* \cup \Gamma _{\infty }, \end{aligned}
(1.3)

where

• $$\Gamma _{3/2} = \mathrm{Reg}(u)$$ is the set of regular points. They are an open $$(n-1)$$-dimensional subset of $$\Gamma (u)$$, and it is $$C^\infty$$ (see [3, 13, 29]).

• $$\Gamma _{\mathrm{even}} = \bigcup _{m\ge 1} \Gamma _{2m}(u)$$ denotes the set of points whose blow-ups have even homogeneity. Equivalently, they can also be characterised as those points of the free boundary where the contact set has zero density, and they are often called singular points. They are contained in the countable union of $$C^1$$ $$(n-1)$$-dimensional manifolds; see [18, 22].

• $$\Gamma _{\mathrm{odd}}= \bigcup _{m\ge 1} \Gamma _{2m+1}(u)$$ is, a priori, also an at most $$(n-1)$$-dimensional subset of the free boundary and it is $$(n-1)$$-rectifiable (see [19,20,21, 31]), although it is not actually known whether it exists.

• $$\Gamma _{\mathrm{half}} = \bigcup _{m\ge 1} \Gamma _{2m+3/2}(u)$$ corresponds to those points with blow-up of order $$\frac{7}{2}$$, $$\frac{11}{2}$$, etc. They are much less understood than regular points. The set $$\Gamma _{\mathrm{half}}$$ is an $$(n-1)$$-dimensional subset of the free boundary and it is $$(n-1)$$-rectifiable (see [20, 21, 31]).

• $$\Gamma _*$$ is the set of all points with homogeneities $$\kappa \in (2, \infty )$$, with $$\kappa \notin {\mathbb {N}}$$ and $$\kappa \notin 2{\mathbb {N}}-\frac{1}{2}$$. This set has Hausdorff dimension at most $$n-2$$, so it is always small, see [20, 21, 31].

• $$\Gamma _{\infty }$$ is the set of points with infinite order (namely, those points at which $$u-\varphi$$ vanishes at infinite order, see (2.11)). For general $$C^\infty$$ obstacles it could be a huge set, even a fractal set of infinite perimeter with dimension exceeding $$n-1$$. When $$\varphi$$ is analytic, instead, $$\Gamma _\infty$$ is empty.

Overall, we see that, for general $$C^\infty$$ obstacles, the free boundary could be really irregular.

The only two assumptions under which a better regularity is known are

• $$\Delta \varphi < 0$$ on $$B_1'$$ and $$u = 0$$ on $$\partial B_1\cap \{x_{n+1} > 0\}$$. In this case, $$\Gamma (u) = \Gamma _{3/2}\cup \Gamma _2$$ and the set of degenerate points is locally contained in a $$C^1$$ manifold; see .

• $$\varphi$$ is analytic. In this case, $$\Gamma _\infty = \varnothing$$ and $$\Gamma$$ is $$(n-1)$$-rectifiable, in the sense that it is contained in a countable union of $$C^1$$ manifolds, up to a set of zero $${\mathcal {H}}^{n-1}$$-measure, see [20, 31].

The goal of this paper is to show that, actually, for most solutions, all the sets $$\Gamma _{\mathrm{even}}$$, $$\Gamma _{\mathrm{odd}}$$, $$\Gamma _{\mathrm{half}}$$, and $$\Gamma _\infty$$ are small, namely, of dimension at most $$n-2$$. This is new even in case that $$\varphi$$ is analytic and $$\Delta \varphi < 0$$.

### Our Results

We will prove here that, even if degenerate points could potentially constitute a large part of the free boundary (of the same dimension as the regular part, or even higher), they are not common. More precisely, for almost every obstacle (or for almost every boundary datum), the set of degenerate points is small. This is the first result in this direction for the Signorini problem, even for zero obstacle.

Let $$g_\lambda \in C^0(\partial B_1)$$ for $$\lambda \in [0, 1]$$, and let us denote by $$u_\lambda$$ the family of solutions to (1.1) satisfying

\begin{aligned} u_\lambda = g_\lambda ,\quad \text {on}\quad \partial B_1\cap \{x_{n+1} > 0\}, \end{aligned}
(1.4)

with $$g_\lambda$$ satisfying

\begin{aligned} \begin{array}{rcll} g_{\lambda +\varepsilon }&{} \ge &{}g_\lambda ,&{}\text {on}\quad \partial B_1\cap \{x_{n+1} > 0\}\\ g_{\lambda +\varepsilon } &{}\ge &{}g_\lambda + \varepsilon &{}\text {on}\quad \partial B_1\cap \left\{ x_{n+1} \ge \frac{1}{2}\right\} , \end{array} \end{aligned}
(1.5)

for all $$\lambda \in [0, 1)$$, $$\varepsilon \in (0, 1-\lambda )$$.

Our main result reads as follows:

### Theorem 1.1

Let $$u_\lambda$$ be any family of solutions of (1.1) satisfying (1.4)–(1.5), for some obstacle $$\varphi \in C^\infty$$. Then, we have

\begin{aligned} \dim _{\mathrm{{\mathcal {H}}}} \big (\mathrm{Deg}(u_\lambda )\big ) \leqq n-2\quad \text {for a.e.}\quad \lambda \in [0, 1], \end{aligned}

where $$\mathrm{Deg}(u_\lambda )$$ is defined by (1.2).

In other words, for a.e. $$\lambda \in [0, 1]$$, the free boundary $$\Gamma (u_\lambda )$$ is a $$C^\infty$$ $$(n-1)$$-dimensional manifold, up to a closed subset of Hausdorff dimension $$n-2$$.

This result is completely new even for analytic obstacles, or for $$\varphi = 0$$. No result of this type was known for the Signorini problem.

The results we prove (see Theorem 4.4 and Proposition 4.8) are actually more precise and concern the Hausdorff dimension of $$\Gamma _{\ge \kappa }(u_\lambda )$$, the set of points of order greater or equal than $$\kappa$$. We will show that, if $$3\leqq \kappa \leqq n+1$$, then $$\Gamma _{\ge \kappa }(u_\lambda )$$ has dimension $$n-\kappa +1$$, while for $$\kappa > n+1$$, then $$\Gamma _{\ge \kappa }(u_\lambda )$$ is empty for almost every $$\lambda \in [0, 1]$$. We refer to [32, Chapter 4] for the definition of Hausdorff dimension.

Theorem 1.1 also holds true for non-smooth obstacles. Namely, we will prove that for $$\varphi \in C^{3, 1}$$ we have $$\dim _{\mathrm{{\mathcal {H}}}} \left( \mathrm{Deg}(u_\lambda )\right) \leqq n-2$$ for a.e. $$\lambda \in [0, 1]$$. In particular, the free boundary $$\Gamma (u_\lambda )$$ is $$C^{2, \alpha }$$ up to a subset of dimension $$n-2$$ for a.e. $$\lambda \in [0, 1]$$; see [1, 26, 29].

### Remark 1.2

In the context of the theory of prevalence,  (see also ), Theorem 1.1 says that the set of solutions satisfying that the free boundary has a small degenerate set is prevalent within the set of solutions (say, given by $$C^0$$ or $$L^\infty$$ boundary data). Alternatively, the set of solutions whose degenerate set is not lower dimensional is shy.

In particular, we can say that for almost every boundary data (see [35, Definition 3.1]) the corresponding solution has a lower dimensional degenerate set. This is because adding a constant as in (1.5) is a 1-probe (see [35, Definition 3.5]) for the set of boundary data, thanks to Theorem 1.1.

We will establish a finer result regarding the set $$\Gamma _{\infty }(u_\lambda )$$. While it is known that it can certainly exist for some solutions $$u_\lambda$$ (see Proposition 1.9), we show that it will be empty for almost every $$\lambda \in [0, 1]$$.

### Theorem 1.3

Let $$u_\lambda$$ be any family of solutions of (1.1) satisfying (1.4)–(1.5), for some obstacle $$\varphi \in C^\infty$$. Then, there exists $${\mathcal {E}}\subset [0,1]$$ such that $$\dim _{{\mathcal {H}}} {\mathcal {E}} = 0$$ and

\begin{aligned} \Gamma _{\infty }(u_\lambda ) = \varnothing \end{aligned}

for every $$\lambda \in [0, 1]\setminus {\mathcal {E}}$$.

Furthermore, for every $$h > 0$$, there exists some $${\mathcal {E}}_h\subset [0, 1]$$ such that $$\dim _{{\mathcal {M}}} {\mathcal {E}}_h = 0$$ and

\begin{aligned} \Gamma _\infty (u_\lambda )\cap B_{1-h} = \varnothing \end{aligned}

for every $$\lambda \in [0, 1]\setminus {\mathcal {E}}_h$$.

We remark that in the previous result, $$\dim _{{\mathcal {H}}}$$ denotes the Hausdorff dimension, whereas $$\dim _{{\mathcal {M}}}$$ denotes the Minkowski dimension (we refer to [32, Chapters 4 and 5]). As such, the second part of the result is much stronger than the first one (e.g., $$0 = \dim _{{\mathcal {H}}}\big ({\mathbb {Q}}\cap [0, 1]\big )<\dim _{{\mathcal {M}}}\big ({\mathbb {Q}}\cap [0, 1]\big ) = 1$$).

Let us briefly comment on the condition (1.5). Notice that such condition can be reformulated in many ways. In the simplest case, one could simply take $$g_\lambda = g_0\pm \lambda$$. Alternatively, one could take a family of obstacles $$\varphi _\lambda = \varphi _0 \pm \lambda$$ (with fixed boundary conditions); this is equivalent to fixing the obstacle $$\varphi _0$$ and moving the boundary data $$g_\lambda = g\mp \lambda$$. Furthermore, one could also consider $$g_\lambda = g_0 + \lambda \Psi$$ for any $$\Psi \ge 0$$, $$\Psi \not \equiv 0$$. Then, even if the second condition in (1.5) is not directly fulfilled, a simple use of strong maximum principle makes it true in some smaller ball $$B_{1-\rho }$$, so that $$g_{\lambda +\varepsilon } \ge g_\lambda + c(\rho )\varepsilon$$ on $$\partial B_{1-\rho }\cap \{x_{n+1}\ge \frac{1}{2} - \rho /2\}$$. By rescaling the function and the domain, we can rewrite it as (1.5).

Regularity results for almost every solution have been established before in the context of the classical obstacle problem by Monneau in . In such problem, however, all free boundary points have homogeneity 2, and non-regular points are characterised by the density of the contact set around them: non-regular points are those at which the contact set has density zero. In the Signorini problem, instead, the structure of non-regular points is quite different, and they are characterised by the growth of u around them (recall (1.2) and the definition of $$\Gamma _{\mathrm{even}}$$, $$\Gamma _{\mathrm{odd}}$$, $$\Gamma _{\mathrm{half}}$$, and $$\Gamma _\infty$$). This is why the approach of  cannot work in the present context.

More recently, the results of Monneau for the classical obstacle problem have been widely improved by Figalli, the second author, and Serra in . The results in  are based on very fine higher order expansions at singular points, which then lead to a better understanding of solutions around them, combined with new dimension reduction arguments and a cleaning lemma to get improved bounds on higher order expansions.

Here, due to the different nature of the problem, we do not need any fine expansion at non-regular points nor any dimension reduction. Most of our arguments require only the growth of solutions at different types of degenerate points, combined with appropriate barriers, and Harnack-type inequalities. The starting point of our results is to use a simple (but key) GMT lemma from  (see Lemma 4.1 below).

### Parabolic Signorini Problem

The previous results use rather general techniques that suitably modified can be applied to other situations. We show here that using a similar approach as in the elliptic case, one can deduce results regarding the size of the non-regular part of the free boundary for the parabolic version of the Signorini problem, for almost every time t.

We say that a function $$u = u(x, t) \in H^{1, 0}(B_1^+\times (-1, 0])$$ (see [12, Chapter 2]) solves the parabolic Signorini problem with stationary obstacle $$\varphi = \varphi (x)$$ if u solves

\begin{aligned} \left\{ \begin{array}{rcll} \partial _t u - \Delta u&{}=&{}0 &{} \text { in } B_1^+\times (-1, 0]\\ \min \{-\partial _{x_{n+1}} u, u-\varphi \} &{} = &{}0 &{} \text { on } B_1\cap \{x_{{n+1}} = 0\} \times (-1, 0 ] \end{array}\right. \end{aligned}
(1.6)

in the weak sense (cf. (1.1)). A thorough study of the parabolic Signorini problem was made by Danielli, Garofalo, Petrosyan, and To, in .

The parabolic Signorini problem is a free boundary problem, where the free boundary belongs to $$B_1'\times (-1, 0]$$ and is defined by

\begin{aligned} \Gamma (u) := \partial _{B_1'\times (-1, 0]}\big \{(x', t) \in B_1'\times (-1, 0] : u(x', 0, t) > \varphi (x')\big \}, \end{aligned}

where $$\partial _{B_1'\times (-1, 0]}$$ denotes the boundary in the relative topology of $${B_1'\times (-1, 0]}$$. Analogously to the elliptic Signorini problem, the free boundary can be divided into regular points and degenerate (or non-regular) points:

\begin{aligned} \Gamma (u) = \mathrm{Reg}(u) \cup \mathrm{Deg}(u). \end{aligned}

The set of regular points are those where parabolic blow-ups are parabolically $$\frac{3}{2}$$-homogeneous. On the other hand, degenerate points are those where parabolic blow-ups of the solution are parabolically $$\kappa$$-homogeneous, with $$\kappa \ge 2$$ (alternatively, the solution detaches at most quadratically from the obstacle in parabolic cylinders, $$B_r\times (-r^2, 0]$$). Further stratifications according to the homogeneity of the parabolic blow-ups can be done in an analogous way to the elliptic problem, see .

The set of regular points $$\mathrm{Reg}(u)$$ is a relatively open subset of $$\Gamma (u)$$ and the free boundary is smooth ($$C^{1,\alpha }$$) around them (see [12, Chapter 11]). The set of degenerate points, however, could be even larger than the set of regular points.

In this manuscript we show that, under the appropriate conditions, for a.e. time $$t\in (-1, 0]$$ the set of degenerate points has dimension $$(n-1-\alpha _\circ )$$ for some $$\alpha _\circ > 0$$ depending only on n. That is, for a.e. time, the free boundary is mostly comprised of regular points, and therefore, it is smooth almost everywhere.

In order to be able to get results of this type we must impose some conditions on the solution. We will assume that

\begin{aligned} u_t> 0\quad \text {in}\quad B_1^+\cup \left[ (B_1'\times (-1, 0])\cap \{u > \varphi \}\right] ; \end{aligned}
(1.7)

that is, wherever the solution u is not in contact with the obstacle $$\varphi$$, it is strictly monotone. Alternatively, by the strong maximum principle, the condition can be rewritten as

\begin{aligned} \begin{array}{ll} u_t \ge 0,&{} \text {in } \overline{B_1^+}\times (-1, 0],\\ u_t \ge 1,&{} \text {in } \left( B_1^+\cap \{x_{n+1}\ge 1/2\}\right) \times (-1, 0], \end{array} \end{aligned}

up to a constant multiplicative factor.

Condition (1.7) is somewhat necessary. If the strict monotonicity was not required, we could be dealing with a bad solution (with large non-regular set) of the elliptic problem for a set of times of positive measure, and therefore, we could not expect a result like the one we prove. On the other hand, if one allowed changes in the sign of $$u_t$$ (alternatively, one allowed non-stationary obstacles), then the result is also not true (see, for instance, the example discussed in [12, Figure 12.1]).

Condition (1.7) is actually quite natural. One of the main applications of the parabolic Signorini problem is the study of semi-permeable membranes (see [14, Section 2.2]):

We consider a domain ($$B_1^+$$) and a thin membrane ($$B_1'$$), which is semi-permeable: that is, a fluid can pass through $$B_1'$$ into $$B_1^+$$ freely, but outflow of the fluid is prevented by the membrane. If we suppose that there is a given liquid pressure applied to the membrane $$B_1'$$ given by $$\varphi$$, and we denote u(xt) the inside pressure of the liquid in $$B_1^+$$, then the parabolic Signorini problem (1.6) describes the evolution of the inside pressure with time. In particular, since liquid can only enter $$B_1^+$$ (and we assume no liquid can leave from the other parts of the boundary), pressure inside the domain can only become higher, and the solution will be such that $$u_t > 0$$. The same condition also appears in volume injection through a semi-permeable wall ( [14, subsections 2.2.3 and 2.2.4]).

Our result reads as follows:

### Theorem 1.4

Let $$\varphi \in C^\infty$$ and let u be a solution to (1.6) satisfying (1.7). Then,

\begin{aligned} \dim _{{\mathcal {H}}} \big (\mathrm{Deg}(u)\cap \{t = t_\circ \} \big ) \leqq n-1-\alpha _\circ \quad \text {for a.e.}\quad t_\circ \in (-1, 0] \end{aligned}

for some $$\alpha _\circ >0$$ depending only on n.

In particular, for a.e. $$t_\circ \in (-1, 0]$$ the free boundary $$\Gamma (u)\cap \{t = t_\circ \}$$ is a $$C^{1,\alpha }$$ $$(n-1)$$-dimensional manifold, up to a closed subset of Hausdorff dimension $$n-1-\alpha _0$$.

When $$\varphi$$ is analytic, then the free boundary is actually $$C^\infty$$ around regular points. Higher regularity of the free boundary is also expected for smooth obstacles, but so far it is only known when $$\varphi$$ is analytic; see .

It is important to remark that the parabolic case presents some extra difficulties with respect to the elliptic one, and in fact we do not know if a result analogous to Theorem 1.3 holds in this context. This means that points of order $$\infty$$ could a priori still appear for all times (even though by Theorem 1.4 they are lower-dimensional for almost every time).

### The Fractional Obstacle Problem

The Signorini problem in $${\mathbb {R}}^{n+1}$$ can be reformulated in terms of a fractional obstacle problem with operator $$(-\Delta )^{\frac{1}{2}}$$ in $${\mathbb {R}}^n$$. Conversely, fractional obstacle problems (with the operator $$(-\Delta )^s$$, $$s\in (0, 1)$$) can also be reformulated in terms of thin obstacle problems with weights. In this work we will generally deal with the thin obstacle problem with a weight, so that the results from Section 1.3 can also be formulated for the fractional obstacle problem.

Given an obstacle $$\varphi \in C^\infty ({\mathbb {R}}^n)$$ such that

\begin{aligned} \{\varphi > 0\}\subset \subset {\mathbb {R}}^n, \end{aligned}
(1.8)

the fractional obstacle problem with obstacle $$\varphi$$ in $${\mathbb {R}}^n$$ ($$n \ge 2$$) is

\begin{aligned} \left\{ \begin{array}{rcll} (-\Delta )^s v&{}=&{}0 &{} \text { in } {\mathbb {R}}^n \setminus \{v = \varphi \}\\ (-\Delta )^s v&{}\ge &{}0 &{} \text { in } {\mathbb {R}}^n\\ v&{}\ge &{} \varphi &{} \text { in } {\mathbb {R}}^n \\ v(x) &{} \rightarrow &{} 0 &{} \text { as } |x|\rightarrow \infty . \end{array}\right. \end{aligned}
(1.9)

Solutions to the fractional obstacle problem are $$C^{1, s}$$ (see ). We denote $$\Lambda (v) = \{v = \varphi \}$$ the contact set, and $$\Gamma (v) = \partial \Lambda (v)$$ the free boundary. As in the Signorini problem (which corresponds to $$s = \frac{1}{2}$$) the free boundary can be partitioned into regular points

\begin{aligned} \mathrm{Reg}(v) := \left\{ x'\in \Gamma (v) : 0< cr^{1+s}\leqq \sup _{B_r'(x')} (v-\varphi ) \leqq Cr^{1+s},\quad \forall r\in (0, r_\circ )\right\} , \end{aligned}

and non-regular (or degenerate) points,

\begin{aligned} \mathrm{Deg}(v) := \left\{ x'\in \Gamma (v) : 0\leqq \sup _{B_r'(x')} (v - \varphi ) \leqq Cr^{2},\quad \forall r\in (0, r_\circ )\right\} . \end{aligned}
(1.10)

More precisely, if we denote by $$\Gamma _{\kappa }(v)$$ the free boundary points of order $$\kappa$$, then the free boundary $$\Gamma (v)$$ can be further stratified analogously to (1.3) as

\begin{aligned} \Gamma (v) = \Gamma _{1+s} \cup \bigg (\bigcup _{m\ge 1} \Gamma _{2m}\bigg )\cup \bigg (\bigcup _{m\ge 1} \Gamma _{2m+2s}\bigg )\cup \bigg (\bigcup _{m\ge 1} \Gamma _{2m+1+s}\bigg )\cup \Gamma _* \cup \Gamma _{\infty }.\nonumber \\ \end{aligned}
(1.11)

Here, $$\Gamma _{1+s} = \mathrm{Reg}(v)$$ is the set of regular points ([8, 41]). Again, it is an open subset of the free boundary, which is smooth. Similarly, $$\Gamma _{2m}$$ for $$m\ge 1$$ are often called singular points, and are those where the contact set has zero measure (see ). Together with the sets $$\Gamma _{2m+2s}$$ and $$\Gamma _{2m+1+s}$$ for $$m \ge 1$$, they are an $$(n-1)$$-dimensional rectifiable subset of the free boundary, [21, 23]. Finally, $$\Gamma _*$$ denotes the set containing the remaining homogeneities (except infinite), and has dimension $$n-2$$; and $$\Gamma _{\infty }$$ denotes those boundary points where the solution is approaching the obstacle faster than any power (i.e., at infinite order). As before, the set $$\Gamma _{\infty }$$ could have dimension even higher than $$n-1$$.

The type of result we want to prove in this setting regarding regularity for most solutions is concerned with global perturbations of the obstacle (rather than boundary perturbations, as before). That is, we will consider obstacles fulfilling (1.8).

We define the set of solutions indexed by $$\lambda \in [0, 1]$$ to the fractional obstacle problem as

\begin{aligned} \left\{ \begin{array}{rcll} (-\Delta )^s v_\lambda &{}=&{}0 &{} \text { in } {\mathbb {R}}^n \setminus \{v_\lambda = \varphi \}\\ (-\Delta )^s v_\lambda &{}\ge &{}0 &{} \text { in } {\mathbb {R}}^n\\ v_\lambda &{}\ge &{} \varphi -\lambda &{} \text { in } {\mathbb {R}}^n \\ v_\lambda (x) &{} \rightarrow &{} 0 &{} \text { as } |x|\rightarrow \infty . \end{array}\right. \end{aligned}
(1.12)

Then, our main result reads as follows:

### Theorem 1.5

Let $$v_\lambda$$ be any family of solutions solving (1.12), for some obstacle $$\varphi \in C^\infty$$ fulfilling (1.8). Then, we have

\begin{aligned} \dim _{\mathrm{{\mathcal {H}}}} \big (\mathrm{Deg}(v_\lambda )\big ) \leqq n-2,\quad \text {for a.e.}\quad \lambda \in [0, 1], \end{aligned}

where $$\mathrm{Deg}(v_\lambda )$$ is defined by (1.10).

In other words, for a.e. $$\lambda \in [0, 1]$$, the free boundary $$\Gamma (v_\lambda )$$ is a $$C^\infty$$ $$(n-1)$$-dimensional manifold, up to a closed subset of Hausdorff dimension $$n-2$$.

As before, we actually prove more precise results (see Theorem 4.4 and Proposition 4.8). We establish an estimate for the Hausdorff dimension of $$\Gamma _{\ge \kappa }(v_\lambda )$$. We show that, for $$2\leqq \kappa -2s \leqq n$$, then $$\dim _{{\mathcal {H}}}\Gamma _{\ge \kappa }(v_\lambda )\leqq n-\kappa +2s$$, and if $$\kappa > n+2s$$, then $$\Gamma _{\ge \kappa }(v_\lambda )$$ is empty for almost every $$\lambda \in [0, 1]$$. Similarly, we can also reduce the regularity of the obstacle to $$\varphi \in C^{4, \alpha }$$ so that, for a.e. $$\lambda \in [0, 1]$$, $$\dim _{\mathrm{{\mathcal {H}}}} \left( \mathrm{Deg}(v_\lambda )\right) \leqq n-2$$ (in particular, the free boundary $$\Gamma (v_\lambda )$$ is $$C^{3, \alpha }$$ up to a subset of dimension $$n-2$$ for a.e. $$\lambda \in [0, 1]$$; see [1, 26]).

Theorem 1.5 is analogous to Theorem 1.1. On the other hand, we also have

### Theorem 1.6

Let $$v_\lambda$$ be any family of solutions solving (1.12), for some obstacle $$\varphi \in C^\infty$$ fulfilling (1.8). Then, there exists $${\mathcal {E}}\subset [0,1]$$ such that $$\dim _{{\mathcal {H}}} {\mathcal {E}} = 0$$ and

\begin{aligned} \Gamma _{\infty }(v_\lambda ) = \varnothing , \end{aligned}

for all $$\lambda \in [0, 1]\setminus {\mathcal {E}}$$.

Furthermore, for every $$h > 0$$, there exists some $${\mathcal {E}}_h\subset [0, 1]$$ such that $$\dim _{{\mathcal {M}}} {\mathcal {E}}_h = 0$$ and

\begin{aligned} \Gamma _\infty (v_\lambda )\cap B_{1-h} = \varnothing , \end{aligned}

for every $$\lambda \in [0, 1]\setminus {\mathcal {E}}_h$$.

That is, analogously to Theorem 1.3, we can also control the size of $$\lambda$$ for which the free boundary points of infinite order exist.

### Examples of Degenerate Free Boundary Points

Let us finally comment on the non-regular part of the free boundary, that is,

\begin{aligned} \mathrm{Deg}(u) = \Gamma _{\mathrm{even}} \cup \Gamma _{\mathrm{odd}} \cup \Gamma _{\mathrm{half}} \cup \Gamma _* \cup \Gamma _{\infty }. \end{aligned}
(1.13)

The main open questions regarding each of the subsets of the degenerate part of the free boundary are

Q1: Are there non-trivial examples (e.g., the limit of regular points) of singular points in $$\Gamma _{\mathrm{even}}$$?

Q2: Do points in $$\Gamma _{\mathrm{odd}}$$ exist?

Q3: Can one construct arbitrary contact sets with free boundary formed entirely of $$\Gamma _{\mathrm{half}}$$ (alternatively, do they exist apart from the homogeneous solutions)?

Q4: Do points in $$\Gamma _*$$ exist?

Q5: How big can the set $$\Gamma _\infty$$ be?

In this paper, we answer questions Q1, Q3, and Q5. (Questions Q2 and Q4 remain open.)

Let us start with Q1. The set $$\Gamma _{\mathrm{even}} = \bigcup _{m\ge 1} \Gamma _{2m}$$, often called the set of singular points, is an $$(n-1)$$-dimensional subset of the free boundary. Examples of free boundary points belonging to $$\Gamma _{\mathrm{even}}$$ are easy to construct as level sets of homogeneous harmonic polynomials, such as $$x_1^2-x_{n+1}^2$$, in which case we have $$\Gamma = \Gamma _{\mathrm{even}} = \{x_1 = 0\}$$. They are also expected to appear in less trivial situations but, as far as we know, none has been constructed so far that appears as limit of regular points (i.e., on the boundary of the interior of the contact set). Here, we show

### Proposition 1.7

There exists a boundary data g such that the free boundary of the solution to the Signorini problem (1.1) with $$\varphi = 0$$ has a sequence of regular points (of order 3/2) converging to a singular point (of order 2).

The proof of the previous result is given in Section 5. In contrast to what occurs with the classical obstacle problem, the construction of singular points does not seem to immediately arise from continuous perturbations of the boundary value under symmetry assumptions. Instead, one has to be aware that there could appear other points (different from regular, but not in $$\Gamma _{\mathrm{even}}$$). Thus, our strategy is based on being in a special setting that avoids the appearance of higher order free boundary points.

On the other hand, regarding question Q3, it is known that examples of such points can be constructed through homogeneous solutions, in which case they can even appear as limit of regular (or lower frequency) points (see [10, Example 1]). Until now, however, it was not clear whether such points could appear in non-trivial (say, non-homogeneous) situations.

We show that, given any smooth domain $$\Omega \subset {\mathbb {R}}^n$$, one can find a solution to the Signorini problem whose contact set is exactly given by $$\Omega$$, and whose free boundary is entirely made of points of order $$\frac{7}{2}$$ (or $$\frac{11}{2}$$, etc.). More generally, we show that given $$\Omega$$, the contact set for the fractional obstacle problem can be made up entirely of points belonging to $$\bigcup _{m\ge 1} \Gamma _{2m+1+s}$$ (the case $$s = \frac{1}{2}$$ corresponding to the Signorini problem).

### Proposition 1.8

Let $$\Omega \subset {\mathbb {R}}^n$$ be any given $$C^\infty$$ bounded domain, and let $$m\in {\mathbb {N}}$$. Then, there exists an obstacle $$\varphi \in C^\infty ({\mathbb {R}}^n)$$ with $$\varphi \rightarrow 0$$ at $$\infty$$, and a global solution to the obstacle problem

\begin{aligned} \left\{ \begin{array}{rcll} (-\Delta )^{s} u&{}\ge &{}0 &{} \text { in } {\mathbb {R}}^n\\ (-\Delta )^{s} u&{}=&{}0 &{} \text { in } \{u > \varphi \}\\ u &{} \ge &{} \varphi &{} \text { in } {\mathbb {R}}^n,\\ u(x) &{} \rightarrow &{} 0&{} \text { as }|x|\rightarrow \infty , \end{array}\right. \end{aligned}

such that the contact set is $$\Lambda (u) = \{u = \varphi \} = \Omega$$, and all the points on the free boundary $$\partial \Lambda (u)$$ have frequency $$2m+1+s$$.

The proof of the previous proposition is constructive: we show a way in which such solutions can be constructed, using some results from [1, 24].

Finally, we also answer question Q5, that deals with the set $$\Gamma _\infty$$. Not much has been discussed about it in the literature, though its lack of structure was somewhat known by the community. For instance, the following result is not difficult to prove:

### Proposition 1.9

For any $$\varepsilon > 0$$ there exists a non-trivial solution u and an obstacle $$\varphi \in C^\infty ({\mathbb {R}}^n)$$ such that

\begin{aligned} \left\{ \begin{array}{rcll} (-\Delta )^{s} u&{}\ge &{}0 &{} \text { in } {\mathbb {R}}^n\\ (-\Delta )^{s} u&{}=&{}0 &{} \text { in } \{u > \varphi \}\\ u &{} \ge &{} \varphi &{} \text { in } {\mathbb {R}}^n, \end{array}\right. \end{aligned}

and the boundary of the contact set, $$\Lambda (u) = \{u = \varphi \}$$, fulfils

\begin{aligned} \dim _{{\mathcal {H}}} \partial \Lambda (u) \ge n-\varepsilon . \end{aligned}

This shows that, in general, there is no hope to get nice structure results for the full free boundary for $$C^\infty$$ obstacles. However, thanks to Theorem 1.6 above we know that such behaviour is extremely rare. As before, we are answering question Q5 in the generality of the fractional obstacle problem; the Signorini problem corresponds to the case $$s = \frac{1}{2}$$.

### Organization of the Paper

The paper is organised as follows:

In Section 2 we study the behaviour of degenerate points under perturbation. In particular, we show how the free boundary moves around them when perturbing monotonically the solution to the obstacle problem. We treat separately general degenerate points, and those of order 2. In Section 3 we study the dimension of the set $$\Gamma _2$$ by means of an appropriate application of Whitney’s extension theorem. In Section 4 we prove the main results of this work, Theorems 1.11.31.5, and 1.6. In Section 5 we construct the examples of degenerate points introduced in Section 1.6, proving Propositions 1.71.8, and 1.9 . Finally, in Section 6 we deal with the parabolic Signorini problem and prove Theorem 1.4.

## Behaviour of Non-regular Points Under Perturbations

Let $$B_1 \subset {\mathbb {R}}^{n+1}$$, $$B_1' = \{x'\in {\mathbb {R}}^n : |x'|< 1\} \subset {\mathbb {R}}^n$$ and let

\begin{aligned} \varphi :B_1'\rightarrow {\mathbb {R}},\quad \varphi \in C^{\tau , \alpha }(\overline{B_1'}),\quad \tau \in {\mathbb {N}}_{\ge 2},~\alpha \in (0,1] \end{aligned}
(2.1)

be our obstacle on the thin space. Let us consider the fractional operator

\begin{aligned} L_a u := \mathrm{div}(|x_{n+1}|^a \nabla u)= \mathrm{div}(|x_{n+1}|^{1-2s} \nabla u),\qquad a := 1-2s, \end{aligned}

with $$a\in (-1,1)$$, and $$(0, 1)\ni s = \frac{1-a}{2}$$. We will interchangeably use both a and s depending on the situation. (In general, we will use a for the weight exponent, and s for all the other situations.)

Let us suppose that we have a family of increasing even solutions $$u_{\lambda }$$ for $$0\leqq \lambda \leqq 1$$ to the fractional obstacle problem

\begin{aligned} \left\{ \begin{array}{rcll} L_a u_\lambda &{}=&{}0 &{} \text { in } B_1\setminus \left( \{x_{{n+1}} = 0\}\cap \{u_\lambda = \varphi \}\right) \\ L_a u_\lambda &{}\leqq &{}0 &{} \text { in } {B_1}\\ u_\lambda &{}\ge &{} \varphi &{} \text { on } \{x_{{n+1}} = 0\}, \end{array}\right. \end{aligned}
(2.2)

for a given obstacle $$\varphi$$ satisfying (2.1). In particular, $$\{u_\lambda \}_{0\leqq \lambda \leqq 1}$$ satisfy

\begin{aligned} \begin{array}{rcll} u_{\lambda }(x', x_{n+1}) &{} = &{} u_{\lambda }(x', -x_{n+1})&{}\quad \text {in}\quad B_1, \quad \text {for}\quad \lambda \ge 0\\ u_{\lambda '}&{} \ge &{} u_{\lambda } &{}\quad \text {in}\quad B_1, \quad \text {for}\quad \lambda ' \ge \lambda \\ u_{\lambda +\varepsilon }&{} \ge &{} u_{\lambda }+\varepsilon &{}\quad \text {in}\quad B_1\cap \left\{ |x_{n+1}|\ge \frac{1}{2}\right\} , \quad \text {for}\quad \lambda , \varepsilon \ge 0\\ \Vert u_\lambda \Vert _{C^{2s}(B_1)}&{} \leqq &{} M, &{}\quad \text {in}\quad B_1 \quad \text {for}\quad \lambda \ge 0, \end{array} \end{aligned}
(2.3)

for some constant M independent of $$\lambda$$, that will depend on the obstacle (see (2.6)–(2.7) below). Notice that solutions are $$C^{1,s}$$ in $$B_{1/2}'$$ (or in $$\overline{B_{1/2}^+}$$), but only $$C^{2s}$$ in $$B_1$$ ($$C^{0,1}$$ when $$s=\frac{1}{2}$$).

We denote $$\Lambda (u_\lambda ) := \{x' : u_\lambda (x', 0) = \varphi (x')\}\times \{0\}\subset {\mathbb {R}}^n$$ the contact set, and its boundary in the relative topology of $${\mathbb {R}}^n$$, $$\partial \Lambda (u_\lambda ) = \partial \{x' : u_\lambda (x', 0) = \varphi (x')\}\times \{0\}$$ is the free boundary. Note that, from the monotonicity assumption,

\begin{aligned} \Lambda (u_\lambda ) \subset \Lambda (u_{\lambda '})\quad \text {for}\quad \lambda \ge \lambda '. \end{aligned}
(2.4)

### Lemma 2.1

Let $$u_\lambda$$ denote the family of solutions to (2.2)–(2.3). Then, for any $$h > 0$$ small, $$x_\circ \in {B_{1-h}}$$, and $$\varepsilon > 0$$,

\begin{aligned} \frac{u_{\lambda +\varepsilon }(x_\circ ) - u_\lambda (x_\circ )}{\varepsilon } \ge c~\mathrm{dist}^{2s}(x_\circ , \Lambda (u_\lambda )), \end{aligned}

for some constant $$c >0$$ depending only on n, s, and h. In particular,

\begin{aligned} \partial _\lambda ^+ u_\lambda (x_\circ ) := \liminf _{\varepsilon \downarrow 0} \frac{u_{\lambda +\varepsilon }(x_\circ ) - u_\lambda (x_\circ )}{\varepsilon } \ge c~\mathrm{dist}^{2s}(x_\circ , \Lambda (u_\lambda )) \end{aligned}

for some constant $$c>0$$ depending only on n, s, and h.

### Proof

Fix some $$\lambda > 0$$ and $$\varepsilon > 0$$, and define

\begin{aligned} \delta _{\lambda , \varepsilon } u_\lambda (x) = \frac{u_{\lambda +\varepsilon }(x) - u_{\lambda }(x)}{\varepsilon }. \end{aligned}

We will show that the result holds for $$\delta _{\lambda , \varepsilon } u_\lambda$$ for some constant c independent of $$\varepsilon > 0$$, and in particular, it also holds after taking the $$\liminf$$.

Notice that $$\delta _{\lambda , \varepsilon }u_\lambda (x)\ge 0$$ from the monotonicity of $$u_\lambda$$ in $$\lambda$$. Notice, also, that $$\delta _{\lambda ,\varepsilon } u_\lambda \ge 1$$ in $$B_1\cap \{x_{n+1} \ge \frac{1}{2}\}$$, form the third condition in (2.3). On the other hand,

\begin{aligned} L_a\delta _{\lambda , \varepsilon } u_\lambda = 0\quad \text {in}\quad {B_1}\setminus \Lambda (u_\lambda ), \end{aligned}

thanks to (2.4). Now, let

\begin{aligned} r:= \frac{h}{4} \mathrm{dist}(x_\circ , \Lambda (u_\lambda )), \end{aligned}

and we define the barrier function $$\psi : {B_1}\rightarrow {\mathbb {R}}$$ as the solution to

\begin{aligned} \left\{ \begin{array}{rcll} L_a \psi &{}=&{} 0&{} \quad \text {in}\quad {B_1}\setminus \{x_{n+1} = 0\}\\ \psi &{}=&{} 0&{} \quad \text {on}\quad \{x_{n+1} = 0\}\\ \psi &{} = &{} 1&{} \quad \text {on}\quad \partial {B_1}\cap \left\{ |x_{n+1}| \ge \frac{1}{2}\right\} \\ \psi &{} = &{} 0&{} \quad \text {on}\quad \partial {B_1}\cap \left\{ |x_{n+1}| < \frac{1}{2}\right\} . \end{array} \right. \end{aligned}

Then, by maximum principle,

\begin{aligned} \delta _{\lambda , \varepsilon } u_\lambda \ge \psi \quad \text {in}\quad {B_1}. \end{aligned}

Notice that, by the boundary Harnack inequality for Muckenhoupt weights $$A_2$$ (see ), $$\psi$$ is comparable to $$|x_{n+1}|^{2s}$$ (since both vanish continuously at $$x_{n+1} = 0$$, and both are a-harmonic), and in particular, there exists some $$c'>0$$ small depending only on n, s, and h, such that $$\psi \ge c'|x_{n+1}|^{2s}$$ in $$B_r(x_\circ )$$. We have that

\begin{aligned} L_a \delta _{\lambda , \varepsilon } u_\lambda = 0,\quad \delta _{\lambda , \varepsilon } u_\lambda \ge \psi \ge c'|x_{n+1}|^{2s}\quad \text {in}\quad B_r(x_\circ ). \end{aligned}

Now, if $$x_\circ = (x_\circ ', x_{\circ , n+1})$$ is such that $$|x_{\circ , n+1}|\ge \frac{r}{4}$$, it is clear that $$\delta _{\lambda , \varepsilon } u_\lambda (x_\circ ) \ge c r^{2s}$$. On the other hand, if $$|x_{\circ , n+1}|\leqq \frac{r}{4}$$, then $$L_a \delta _{\lambda , \varepsilon } u_\lambda = 0$$ in $$B_{r/2}((x_\circ ', 0))$$, so that applying Harnack’s inequality in $$B_{r/4}((x_\circ ', 0))$$ to $$\delta _{\lambda , \varepsilon } u_\lambda$$,

\begin{aligned} \delta _{\lambda , \varepsilon } u_\lambda (x_\circ ) \ge \inf _{B_{r/4}((x_\circ ', 0))} \delta _{\lambda , \varepsilon } u_\lambda \ge \frac{1}{C}\sup _{B_{r/4}((x_\circ ', 0))} \delta _{\lambda , \varepsilon } u_\lambda \ge \frac{c'r^{2s}}{4^{2s}C} = cr^{2s} \end{aligned}

for some c depending only on n, s, and h. Thus,

\begin{aligned} \delta _{\lambda , \varepsilon } u_\lambda (x_\circ ) \ge c r^{2s} = c~\mathrm{dist}^{2s}(x_\circ , \Lambda (u_\lambda )), \end{aligned}

as we wanted to see. $$\square$$

Let $$0\in \partial \Lambda (u_\lambda )$$ be a free boundary point for $$u_\lambda$$. Let us denote $$Q_\tau (x')$$ the Taylor expansion of $$\varphi (x')$$ around 0 up to order $$\tau$$, and we denote $$Q_\tau ^a(x)$$ its unique even a-harmonic extension (see [23, Lemma 5.2]) to $${\mathbb {R}}^{n+1}$$ ($$L_a Q_\tau ^a(x)= 0$$, and $$Q_\tau ^a(x', 0) = Q_\tau (x')$$). Let us define

\begin{aligned} {{\bar{u}}}_\lambda (x', x_{n+1}) = u_\lambda (x', x_{n+1}) - Q_\tau ^a(x', x_{n+1}) + Q_\tau (x') - \varphi (x'). \end{aligned}

Then $${{\bar{u}}}_\lambda (x', x_{n+1})$$ solves the zero obstacle problem with a right-hand side

\begin{aligned} \left\{ \begin{array}{rcll} L_a{{\bar{u}}}_\lambda &{}=&{}|x_{n+1}|^a f &{} \text { in } {B_1}\setminus \left( \{x_{{n+1}} = 0\}\cap \{{{\bar{u}}}_\lambda = 0\}\right) \\ L_a {{\bar{u}}}_\lambda &{}\leqq &{}|x_{n+1}|^a f &{} \text { in } {B_1}\\ {{\bar{u}}}_\lambda &{}\ge &{} 0 &{} \text { on } \{x_{{n+1}} = 0\}, \end{array}\right. \end{aligned}
(2.5)

where

\begin{aligned} f = f(x') = \Delta _{x'} (Q_\tau (x') - \varphi (x')). \end{aligned}
(2.6)

In particular, notice that since $$Q_\tau (x')$$ is the Taylor approximation of $$\varphi$$ up to order $$\tau$$, we have that

\begin{aligned} |f(x')|\leqq M |x'|^{\tau +\alpha -2} \end{aligned}
(2.7)

for some $$M > 0$$ depending only on $$\varphi$$. We take M larger if necessary, so that it coincides with the one of (2.3).

We consider the generalized frequency formula, for $$\theta \in (0, \alpha )$$, and for some $$C_\theta$$ (that is independent of the point around which is taken)

\begin{aligned} \Phi _{\tau , \alpha , \theta }(r, {{\bar{u}}}_\lambda ) := (r+C_\theta r^{1+\theta })\frac{d}{dr} \log \max \bigg \{H(r), r^{n+a+2(\tau +\alpha -\theta )}\bigg \}, \end{aligned}
(2.8)

where

\begin{aligned} H(r) := \int _{\partial B_r} {{\bar{u}}}_\lambda ^2|x_{n+1}|^a. \end{aligned}

Then, by [23, Proposition 6.1] (see also [8, 22]) we know that $$\Phi _{\tau , \alpha , \theta }(r, {{\bar{u}}}_\lambda )$$ is nondecreasing for $$0< r< r_\circ$$ for some $$r_\circ$$. In particular, $$\Phi _{\tau , \alpha , \theta }(0^+, {{\bar{u}}}_\lambda )$$ is well defined, and by [22, Lemma 2.3.2],

\begin{aligned} n+3\leqq \Phi _{\tau , \alpha , \theta }(0^+, {{\bar{u}}}_\lambda ) \leqq n+a+2(\tau +\alpha -\theta ). \end{aligned}

We say that $$0\in \partial \Lambda (u_\lambda )$$ is a point of order $$\kappa$$ if $$\Phi _{\tau , \alpha , \theta }(0^+, {{\bar{u}}}_\lambda ) = n+1-2s+2\kappa$$. In particular, by the previous inequalities

\begin{aligned} 1+s \leqq \kappa \leqq \tau +\alpha -\theta \end{aligned}

Thanks to [23, Lemma 6.4] (see, also, [5, Lemma 7.1]) we know that for a point of order greater or equal than $$\kappa$$, for $$\kappa < \tau + \alpha - \theta$$, then we have

\begin{aligned} \sup _{B_r} |{{\bar{u}}}_\lambda | \leqq C_M r^{\kappa }, \end{aligned}
(2.9)

for some constant $$C_M$$ depending only on M, $$\tau$$, $$\alpha$$, $$\theta$$.

In general, for any point $$x_\circ \in \partial \Lambda (u_\lambda )$$, we can define $${{\bar{u}}}_\lambda ^{x_\circ }$$ analogously to before, as follows:

### Definition 2.2

Let $$x_\circ \in \partial \Lambda (u_\lambda )$$. We define,

\begin{aligned} {{\bar{u}}}_\lambda ^{x_\circ }(x) = u_\lambda (x'+x_\circ ', x_{n+1}) - Q_\tau ^{a,x_\circ }(x', x_{n+1}) + Q^{x_\circ }_\tau (x') - \varphi (x'+x_\circ '),\nonumber \\ \end{aligned}
(2.10)

where $$Q^{x_\circ }_\tau (x')$$ is the Taylor expansion of order $$\tau$$ of $$\varphi (x_\circ '+x')$$, and $$Q^{a, x_\circ }_\tau (x')$$ is its unique even harmonic extension to $${\mathbb {R}}^{n+1}$$.

(Notice that, on the thin space, $${{\bar{u}}}_\lambda ^{x_\circ }(x', 0) = {{\bar{u}}}_\lambda (x'+x_\circ ', 0)$$, but this is not true outside the thin space.) Then, $${{\bar{u}}}_\lambda ^{x_\circ }(x)$$ solves a zero obstacle problem with a right-hand side in $${B_{1-|x_\circ |}}$$ (in fact, in $$x_\circ + B_1$$). With this, we can define the free boundary points of $$u_\lambda$$ of order $$\kappa$$, with $$1+s \leqq \kappa < \tau +\alpha -\theta$$, as

\begin{aligned} \Gamma _{\kappa }^\lambda := \{ x_\circ \in \partial \Lambda (u_\lambda ) : \Phi _{\tau , \alpha , \theta } (0^+, {{\bar{u}}}_\lambda ^{x_\circ }) = n+1-2s+2\kappa \}, \end{aligned}

and similarly,

\begin{aligned} \Gamma _{\ge \kappa }^\lambda :=\{ x_\circ \in \partial \Lambda (u_\lambda ) : \Phi _{\tau , \alpha , \theta } (0^+, {{\bar{u}}}_\lambda ^{x_\circ }) \ge n+1-2s+2\kappa \}. \end{aligned}

Equivalently, one can define $$\Gamma ^\lambda _{\ge \kappa }$$ as those points where (2.9) occurs.

Notice that the previous sets are consistently defined, in the sense that if $$x_\circ$$ is a free boundary point for $$u_\lambda$$, and $$\tau '\in {\mathbb {N}}$$, $$\alpha '\in (0, 1)$$ are such that $$\tau '+\alpha ' \leqq \tau +\alpha$$, then

\begin{aligned} \Phi _{\tau ', \alpha ', \theta } (0^+, {{\bar{u}}}_\lambda ^{x_\circ }) = \min \bigg \{\Phi _{\tau , \alpha , \theta } (0^+, {{\bar{u}}}_\lambda ^{x_\circ }), n+1-2s+2(\tau '+\alpha '-\theta )\bigg \}, \end{aligned}

(cf. [22, Lemma 2.3.1]), i.e., the definition of free boundary points of order $$\kappa$$ does not depend on which regularity of the obstacle we consider. In particular, for $$C^\infty$$ obstacles we can define the points of infinite order as

\begin{aligned} \Gamma _{\infty }^\lambda := \bigcap _{\kappa \ge 2} \Gamma _{\ge \kappa }^\lambda . \end{aligned}
(2.11)

We will need the following lemma, similar to [3, Lemma 4] and analogous to [8, Lemma 7.2]:

### Lemma 2.3

Let $$w\in C^0(B_1)$$, and let $$\Lambda \subset B_1\cap \{x_{n+1} = 0\}$$. There exists some $$\varepsilon _\circ > 0$$, depending only on n and a, such that if $$0<\varepsilon < \varepsilon _\circ$$ and

\begin{aligned} \left\{ \begin{array}{rcll} w&{} \ge &{} 1&{}\quad \text {in}\quad B_1 \cap \{|x_{n+1}|\ge \varepsilon \}\\ w&{} \ge &{} -\varepsilon &{}\quad \text {in}\quad B_1\\ |L_a w| &{} \leqq &{} \varepsilon |x_{n+1}|^a&{}\quad \text {in}\quad B_1\setminus \Lambda \\ w &{} \ge &{} 0&{} \quad \text {on}\quad \Lambda , \end{array} \right. \end{aligned}

then $$w > 0$$ in $$B_{1/2}$$.

### Proof

Suppose that it is not true. In particular, suppose that there exists some $$z= (z', z_{n+1}) \in B_{1/2}\setminus \{x_{n+1} = 0\}$$ such that $$w(z) = 0$$. Let us define the cylinder

\begin{aligned} Q := \left\{ x = (x', x_{n+1}) \in B_1 : |x'-z'|<\frac{1}{2}, ~~|x_{n+1}-z_{n+1}|<\frac{\sqrt{1+a}}{4} \right\} , \end{aligned}

and let

\begin{aligned} P(x) = P(x', x_{n+1}) := |x'-z'|^2- \frac{n}{1+a}x_{n+1}^2 \end{aligned}

so that $$L_a P = 0$$. Let

\begin{aligned} v(x) := w(x) +\frac{1}{n} P(x) - \frac{\varepsilon }{1+a} x_{n+1}^2. \end{aligned}

Notice that $$v(z) =-\frac{n}{n(1+a)} z_{n+1}^2 - \frac{\varepsilon }{1+a} z_{n+1}^2 < 0$$. We also have that

\begin{aligned} L_a v = L_a w - 2 \varepsilon |x_{n+1}|^a \leqq -\varepsilon |x_{n+1}|^a< 0\quad \text {in}\quad B_1\setminus \Lambda , \end{aligned}

and

\begin{aligned} v\ge 0\quad \text {on}\quad \Lambda . \end{aligned}

That is, v is super- a-harmonic and is negative at $$z\in Q$$, then it must be negative somewhere on $$\partial Q$$. Let us check that this is not the case, to reach a contradiction.

First, notice that, assuming $$\varepsilon _\circ < \frac{\sqrt{1+a}}{4}$$, on $$\partial Q\cap \{|x_{n+1}|\ge \varepsilon \}$$ we have

\begin{aligned} v\ge 1-\frac{n}{16(n+1)}-\frac{\varepsilon }{16}\ge 0. \end{aligned}

On the other hand, on $$\left\{ |x'-z'| = \frac{1}{2}\right\} \cap \{|x_{n+1}|\leqq \varepsilon \}$$ we have

\begin{aligned} v \ge -\varepsilon +\frac{1}{{n+1}}\left( \frac{1}{4} - \frac{n}{1+a}\varepsilon ^2\right) -\frac{\varepsilon ^3}{1+a} > 0, \end{aligned}

if $$\varepsilon$$ is small enough depending only on n and a. Thus, $$v \ge 0$$ on $$\partial Q$$ and on $$\Lambda$$, and is super- a-harmonic in $$Q\setminus \Lambda$$, so we must have $$v \ge 0$$ in Q, contradicting $$v(z) < 0$$. $$\square$$

Let us now show the following proposition:

### Proposition 2.4

Let $$u_\lambda$$ satisfy (2.2)–(2.3), and let $$\varphi$$ satisfy (2.1). Let $$h > 0$$ small, and let $$x_\circ \in B_{1-h}\cap \Gamma _{\ge \kappa }^\lambda$$ with $$\kappa \leqq \tau + \alpha -a$$ and $$\kappa < \tau + \alpha$$. Then,

\begin{aligned} u_{\lambda + C_*r^{\kappa -2s}} > \varphi \quad \text {in}\quad B_r'(x_\circ '),\quad \text {for all}\quad r< \frac{h}{4}, \end{aligned}

for some $$C_*$$ depending only on n, s, M, $$\kappa$$, $$\tau$$, $$\alpha$$, and h.

In particular, if $$x_\circ \in B_{1-h}\cap \Gamma ^\lambda$$, then

\begin{aligned} u_{\lambda + C_*r^{1-s}} > \varphi \quad \text {in}\quad B_r'(x_\circ '),\quad \text {for all}\quad r< \frac{h}{4}, \end{aligned}
(2.12)

for some $$C_*$$ depending only on n, s, M, $$\kappa$$, $$\tau$$, $$\alpha$$, and h.

### Proof

Let us assume that $$r< \frac{h}{4}$$, and let us establish some properties of $${{\bar{u}}}^{x_\circ }_{\lambda +C_*r^{\kappa -2s}}$$ in $$B_r(0)$$ (see Definition 2.2), for $$C_*$$ yet to be chosen.

From Lemma 2.1 we know that, for any $$z\in {B_{h/2}}$$,

\begin{aligned} \frac{{{\bar{u}}}^{x_\circ }_{\lambda +\varepsilon }(z) - {{\bar{u}}}^{x_\circ }_\lambda (z)}{\varepsilon }&= \frac{u_{\lambda +\varepsilon }(x_\circ +z) - u_\lambda (x_\circ +z)}{\varepsilon } \\&\ge c~\mathrm{dist}^{2s}(x_\circ +z, \Lambda (u_\lambda ))\\&= c~\mathrm{dist}^{2s}(z, \Lambda ({{\bar{u}}}^{x_\circ }_\lambda )). \end{aligned}

From the previous inequality applied at $$x\in B_r(0)\cap \{|x_{n+1}|\ge r \sigma \}$$, for some $$\sigma > 0$$ to be chosen, for $$r < \frac{h}{4}$$, and with $$\varepsilon = C_*r^{\kappa -2s}$$ for some $$C_*$$ to be chosen,

\begin{aligned} {{\bar{u}}}^{x_\circ }_{\lambda +C_*r^{\kappa -2s}}(x) \ge c\,C_*r^{\kappa -2s} (r\sigma )^{2s} + {{\bar{u}}}^{x_\circ }_\lambda (x)\quad \text {for}\quad x \in B_r(0)\cap \{|x_{n+1}|\ge r\sigma \}. \end{aligned}

On the other hand, notice that 0 is a free boundary point of $${{\bar{u}}}^{x_\circ }_\lambda$$ of order greater or equal than $$\kappa$$. In particular, from the growth estimate (2.9), we know that

\begin{aligned} {{\bar{u}}}^{x_\circ }_\lambda \ge -Cr^{\kappa } \quad \text {in}\quad B_r(0),\quad \text {for}\quad r< \frac{h}{4}, \end{aligned}

for some C depending only on n, M, s, $$\tau$$, $$\alpha$$, $$\theta$$, and h. By choosing, for example, $$\theta = \min \{\frac{\alpha }{2}, \frac{\tau +\alpha -\kappa }{2}\}$$ in the definition of the generalized frequency function, (2.8), we can get rid of the dependence on $$\theta$$. That is,

\begin{aligned} {\bar{u}}^{x_\circ }_{\lambda +C_*r^{\kappa -2s}}(x) \ge c\,C_*r^\kappa \sigma ^{2s} -Cr^{\kappa }\quad \text {for}\quad x \in B_r(0)\cap \{|x_{n+1}|\ge r\sigma \}. \end{aligned}

Moreover, since $${{\bar{u}}}^{x_\circ }_{\lambda +C_*r^{\kappa -2s}} \ge {{\bar{u}}}^{x_\circ }_{\lambda }$$,

\begin{aligned} {{\bar{u}}}^{x_\circ }_{\lambda +C_*r^{\kappa -2s}} \ge -Cr^{\kappa } \quad \text {in}\quad B_r(0),\quad \text {for}\quad r< \frac{h}{4}. \end{aligned}

Notice, also, that

\begin{aligned} |L_a {{\bar{u}}}^{x_\circ }_{\lambda +C_*r^{\kappa -2s}}|\leqq M|x_{n+1}|^a r^{\tau +\alpha -2}\quad \text {in}\quad B_r(0)\setminus \Lambda ({{\bar{u}}}^{x_\circ }_{\lambda +C_*r^{\kappa -2s}}). \end{aligned}

Let us rescale in domain. We denote

\begin{aligned} w(x) := {{\bar{u}}}^{x_\circ }_{\lambda +C_* r^{\kappa -2s}} (rx). \end{aligned}

Then w is a solution to a thin obstacle problem with right-hand side and with zero obstacle in the ball $$B_1$$, such that

\begin{aligned} \left\{ \begin{array}{rcll} w&{} \ge &{} (c\,C_*\sigma ^{2s} - C)r^\kappa &{}\quad \text {in}\quad B_1(0) \cap \{|x_{n+1}|\ge \sigma \}\\ w&{} \ge &{} -C r^\kappa &{}\quad \text {in}\quad B_1(0)\\ |L_a w| &{} \leqq &{} M|x_{n+1}|^ar^{\tau + \alpha -a}&{}\quad \text {in}\quad B_1\setminus (\{ x_{n+1} = 0\}\cap \{w = 0\}). \end{array} \right. \end{aligned}

In particular, if we take $${{\tilde{w}}} := \frac{w}{(c\,C_*\sigma ^{2s} - C)r^\kappa }$$, then

\begin{aligned} \left\{ \begin{array}{rcll} {{\tilde{w}}}&{} \ge &{} 1&{}\quad \text {in}\quad B_1(0) \cap \{|x_{n+1}|\ge \sigma \}\\ {{\tilde{w}}}&{} \ge &{} -\frac{C}{c\,C_*\sigma ^{2s} - C} &{}\quad \text {in}\quad B_1(0)\\ |L_a {{\tilde{w}}}| &{} \leqq &{} \frac{M}{c\,C_*\sigma ^{2s} - C} |x_{n+1}|^a r^{\tau +\alpha -a -\kappa }&{}\quad \text {in}\quad B_1\setminus (\{ x_{n+1} = 0\}\cap \{ {{\tilde{w}}} = 0\}). \end{array} \right. \end{aligned}

(Notice that $$\tau + \alpha - a -\kappa \ge 0$$ by assumption.) We now want to apply Lemma 2.3. We need to choose $$\sigma < \varepsilon _\circ (n, a)$$, and $$C_*$$ such that

\begin{aligned} \frac{C}{c\,C_*\sigma ^{2s} - C}< \varepsilon _\circ ,\qquad \frac{M}{c\,C_*\sigma ^{2s} - C}< \varepsilon _\circ . \end{aligned}

By choosing $$C_*\gg \varepsilon _\circ ^{-1-2s}$$ we get that such $$C_*$$ exists independently of r, depending only on n, M, s, $$\kappa$$, $$\tau$$, $$\alpha$$, and h.

From Lemma 2.3, we deduce that $${{\tilde{w}}} > 0$$ in $$B_{1/2}$$, so that $${{\bar{u}}}^{x_\circ }_{\lambda +C_* r^{\kappa -2s}} > 0$$ in $$B_{r/2}(0)$$. Since $$r<h/4$$, we get the desired result, noticing that $${{\bar{u}}}^{x_\circ }_{\lambda +C_* r^{\kappa -2s}} = (u_{\lambda +C_* r^{\kappa -2s}} -\varphi )(\cdot + x_\circ )$$ on $$B_r'$$.

Finally, notice that thanks to the optimal regularity of solutions, if $$x_\circ \in \Gamma ^\lambda$$, then $$x_\circ \in \Gamma ^\lambda _{\ge 1+s}$$, so that applying the previous result we are done. $$\square$$

The following corollary will be useful below:

### Corollary 2.5

Let $$u^{(1)}$$ and $$u^{(2)}$$ denote two solutions to

\begin{aligned} \left\{ \begin{array}{rcll} L_a u^{(i)}&{}=&{}0 &{} \text { in } B_1\setminus \left( \{x_{{n+1}} = 0\}\cap \{u^{(i)} = \varphi \}\right) \\ L_a u^{(i)}&{}\leqq &{}0 &{} \text { in } {B_1}\\ u^{(i)} &{}\ge &{} \varphi &{} \text { on } \{x_{{n+1}} = 0\}, \end{array}\right. \quad \text { for }\quad i \in \{1, 2\}. \end{aligned}
(2.13)

Then, for any $$\varepsilon _\circ > 0$$ and $$h > 0$$, there exists a $$\delta > 0$$ such that if

\begin{aligned} u^{(2)}\ge u^{(1)},\quad \text {and}\quad u^{(2)}\ge u^{(1)} + \varepsilon _\circ \quad \text {in}\quad \{|x_{n+1}|\ > 1/2\}, \end{aligned}

then

\begin{aligned} \inf \bigg \{ |x_1 - x_2| : x_1\in \partial \Lambda (u^{(1)})\cap B_{1-h}, x_2\in \partial \Lambda (u^{(2)})\cap B_{1-h}\bigg \}\ge \delta . \end{aligned}

### Proof

The proof follows by Proposition 2.4. Let us denote $$u^{(1)}_\lambda$$ the solution to the thin obstacle problem (2.2) with boundary data equal to $$u^{(1)}$$ on $$\partial B_1\cap \{|x_{n+1}|\leqq 1/2\}$$, and $$u^{(1)}_\lambda + \lambda \varepsilon _\circ$$ on $$\partial B_1\cap \{|x_{n+1}|> 1/2\}$$. In particular, $$u^{(1)}= u^{(1)}_0\leqq u^{(1)}_1 \leqq u^{(2)}$$. Moreover, thanks to the Harnack inequality we know that $$u^{(1)}_{\lambda + \varepsilon } \ge u^{(1)}_\lambda + c\varepsilon \varepsilon _\circ$$ for $$\varepsilon > 0$$ in $$B_1\cap \{|x_{n+1}|\ge \frac{1}{2}\}$$, for some constant c. Thus, if we define

\begin{aligned} w_\lambda := (c\varepsilon _\circ )^{-1} u^{(1)}_\lambda , \end{aligned}

then $$w_\lambda$$ fulfil (2.3). The result now follows applying Proposition 2.4 to $$w_\lambda$$ and using that $$u^{(1)}= c\varepsilon _\circ w_0 \leqq c\varepsilon _\circ w_\lambda \leqq u^{(2)}$$ for $$\lambda \in [0, 1]$$. $$\square$$

As a direct consequence of Proposition 2.4 (in particular, of (2.12)), we get that if $$0\in \partial \Lambda (u_\lambda )$$, then $$0\notin \partial \Lambda (u_{{{\bar{\lambda }}}})$$ for $${{\bar{\lambda }}} \ne \lambda$$ (since $$u_{\lambda +C_*\delta ^{1-s}} > \varphi$$ in $$B_\delta$$ for $$\delta > 0$$ small enough).

In particular, we have

### Definition 2.6

We define

\begin{aligned} \Gamma _{\kappa } := \bigcup _{\lambda \in [0, 1]} \Gamma ^\lambda _{\kappa },\qquad \Gamma _{\ge \kappa } := \bigcup _{\lambda \in [0, 1]} \Gamma ^\lambda _{\ge \kappa },\qquad \text {and}\qquad \Gamma := \bigcup _{\lambda \in [0, 1]} \Gamma ^\lambda . \end{aligned}

We also define

\begin{aligned} \lambda (x_\circ ) := \big \{\lambda \in [0, 1]: x_\circ \in \partial \Lambda (u_\lambda )\big \}, \end{aligned}
(2.14)

which is uniquely defined on $$\Gamma$$.

The fact that $$\lambda (x_\circ )$$ is uniquely defined for $$x_\circ \in \Gamma$$ follows since $$\Gamma _{\kappa }\cap \Gamma _{{{\bar{\kappa }}}} = \varnothing$$ if $$\kappa \ne {{\bar{\kappa }}}$$. In particular, if $$x_\circ \in \Gamma _{\kappa }$$ then $$x_\circ \in \Gamma ^{\lambda (x_\circ )} = \partial \Lambda (u_{\lambda (x_\circ )})$$.

A direct consequence of Proposition 2.4 is that $$\Gamma \ni x_\circ \mapsto \lambda (x_\circ )$$ is continuous:

### Corollary 2.7

Let $$u_\lambda$$ satisfy (2.2)–(2.3), and let $$\varphi$$ satisfy (2.1). The function

\begin{aligned} \Gamma \ni x_\circ \mapsto \lambda (x_\circ ) \end{aligned}

for $$\lambda (x_\circ )$$ defined by (2.14) is continuous. Moreover, for each $$h > 0$$,

\begin{aligned} \Gamma \cap B_{1-h}\ni x_\circ \mapsto {{\bar{u}}}^{x_\circ }_{\lambda (x_\circ )} \end{aligned}

is continuous in the $$C^0$$-norm.

### Proof

Let us start with the first statement. If $$x_1,x_2 \in \Gamma$$ are such that $$|x_1-x_2|\leqq \frac{\delta }{2}$$ for $$\delta >0$$ small enough, and $$\lambda (x_1)\ge \lambda (x_2)$$, then

\begin{aligned} u_{\lambda (x_2)+C_*\delta ^{1-s}} > \varphi \quad \text {in}\quad B_\delta (x_\circ ) \end{aligned}

by Proposition 2.4. In particular, $$\lambda (y) < \lambda (x_2)+C_*\delta ^{1-s}$$ for any $$y\in B_\delta (x_2)$$, so that $$\lambda (x_1)<\lambda (x_2)+C_*\delta ^{1-s}$$. That is,

\begin{aligned} |\lambda (x_1)-\lambda (x_2)|\leqq C_*\delta ^{1-s} \end{aligned}

and $$\lambda (x)$$ is continuous (in fact, it is $$(1-s)$$-Hölder continuous).

Let us now show that

\begin{aligned} \Gamma \cap B_{1-h} \ni x_\circ \mapsto {{\bar{u}}}^{x_\circ }_{\lambda (x_\circ )} \end{aligned}

is also continuous (in the $$C^0$$-norm). From the definition of $${{\bar{u}}}^{x_\circ }_{\lambda (x_\circ )}$$, Definition 2.2, and since $$\varphi$$ is continuous, it is enough to show that $$\Gamma \cap B_{1-h} \ni x_\circ \mapsto u_{\lambda (x_\circ )}(x_\circ +\,\cdot )$$ is continuous. Moreover, since each $$u_\lambda$$ is continuous (and in fact, they are uniformly $$C^{2s}$$), we will show that $$\Gamma \ni x_\circ \mapsto u_{\lambda (x_\circ )}$$ is continuous, in the sense that, for every $$\varepsilon > 0$$, there exists some $$\delta > 0$$ such that if $$x, z\in \Gamma \cap B_{1-h}$$ (for some $$h > 0$$), $$|x-z|\leqq \delta$$, then

\begin{aligned} \sup _{B_1} |u_{\lambda (x)} - u_{\lambda (z)}|\leqq \varepsilon . \end{aligned}

Let us argue by contradiction. Suppose that it is not true, and that there exist sequences $$x_i, z_i \in B_{1-h}\cap \Gamma$$ such that $$|x_i - z_i|\leqq \frac{1}{i}$$ and

\begin{aligned} \sup _{B_1} |u_{\lambda (x_i)} - u_{\lambda (z_i)}|\ge \varepsilon _\circ > 0 \end{aligned}

for some $$\varepsilon _\circ > 0$$. In particular, let us assume that $$\lambda (x_i) > \lambda (z_i)$$, so that $$u_{\lambda (x_i)} \ge u_{\lambda (z_i)}$$. After taking a subsequence (by compactness, using also that $$\Vert u_\lambda \Vert _{C^{2s}(B_1)}\leqq M$$), we can assume that there exists some ball $$B_\rho (y)\subset B_1$$ such that

\begin{aligned} u_{\lambda (x_i)} \ge u_{\lambda (z_i)} + \frac{\varepsilon _\circ }{2}\quad \text {in}\quad B_\rho (y)\subset B_1 \end{aligned}

for all $$i\in {\mathbb {N}}$$. (The radius $$\rho$$ depends only on n, $$\varepsilon _\circ$$, and M.) By interior Harnack’s inequality, we have that

\begin{aligned} u_{\lambda (x_i)} \ge u_{\lambda (z_i)} + c\frac{\varepsilon _\circ }{2}\quad \text {in}\quad B_{h/2}(z_i)\cap \{|x_{n+1}|\ge h/4\} \end{aligned}

for some constant c depending on $$\rho$$ and h. After translating and scaling, we are in a situation to apply Corollary 2.5. In particular, for some $$\delta > 0$$ (depending on $$\varepsilon _\circ$$ and h), $$|x_i - z_i|\ge \delta > 0$$. This is a contradiction with $$|x_i -z_i|\leqq \frac{1}{i}$$ for $$i \in {\mathbb {N}}$$ large enough. Therefore, $$x_\circ \mapsto {{\bar{u}}}^{x_\circ }_{\lambda (x_\circ )}$$ is continuous. $$\square$$

The following lemma improves Lemma 2.1 in case $$x_\circ \in \Gamma _2$$ (we denote here that $$a_- := \max \{0, -a\}$$):

### Lemma 2.8

Let $$u_\lambda$$ satisfy (2.2)–(2.3), and let $$\varphi$$ satisfy (2.1). Let $$n \ge 2$$, and $$h >0$$ small. Let $$x_\circ \in B_{1-h}\cap \Gamma ^\lambda _{2}$$. Then, for each $$\eta >0$$ small, and for $$\mu > \lambda$$,

1. (i)

if $$s \ge \frac{1}{2}$$,

\begin{aligned} \partial ^+_\lambda {{\bar{u}}}^{x_\circ }_{\mu }(0)= \partial ^+_\lambda u_{\mu }(x_\circ ) \ge c~\mathrm{dist}^{\eta +a_-}(x_\circ , \Lambda ( u_\mu )) =c~\mathrm{dist}^{\eta -a}(0, \Lambda ( {{\bar{u}}}^{x_\circ }_\mu )), \end{aligned}
2. (ii)

if $$s \leqq \frac{1}{2}$$,

\begin{aligned} \partial ^+_\lambda {{\bar{u}}}^{x_\circ }_{\mu }(0)= \partial ^+_\lambda u_{\mu }(x_\circ ) \ge c~\mathrm{dist}^{\eta +a_-}(x_\circ , \Lambda ( u_\mu )) =c~\mathrm{dist}^{\eta }(0, \Lambda ( {{\bar{u}}}^{x_\circ }_\mu )), \end{aligned}

for some constant $$c >0$$ independent of $$\lambda$$ and $$\mu$$ (but possibly depending on everything else).

### Proof

Fix some $$\mu > 0$$ and $$\varepsilon >0$$ small, and define

\begin{aligned} \delta _{\lambda , \varepsilon } {{\bar{u}}}^{x_\circ }_\mu (x) = \frac{{{\bar{u}}}^{x_\circ }_{\mu +\varepsilon }(x) - {{\bar{u}}}^{x_\circ }_{\mu }(x)}{\varepsilon } = \frac{u_{\mu +\varepsilon }(x+x_\circ ) - u_{\mu }(x+x_\circ )}{\varepsilon } . \end{aligned}

As in the proof of Lemma 2.1, we know that $$\delta _{\lambda , \varepsilon }{{\bar{u}}}^{x_\circ }_\mu (x)\ge 0$$, $$\delta _{\lambda ,\varepsilon } {{\bar{u}}}^{x_\circ }_\mu \ge 1$$ on $$(-x_\circ + \partial {B_1})\cap \{|x_{n+1}|\ge \frac{1}{2}\}$$, and

\begin{aligned} L_a \delta _{\lambda , \varepsilon } {{\bar{u}}}^{x_\circ }_\mu = 0\quad \text {in}\quad (-x_\circ +{B_1})\setminus \Lambda ({{\bar{u}}}^{x_\circ }_\mu )\supset (-x_\circ +{B_1})\setminus \Lambda ({{\bar{u}}}^{x_\circ }_\lambda ). \end{aligned}
(2.15)

Let us start by showing that, for every $$A > 0$$, there exists some $$\rho _A > 0$$ (independent of $$\mu$$) such that, after a rotation,

\begin{aligned} \Lambda ({{\bar{u}}}^{x_\circ }_\mu )\cap B_{\rho _A} \subset \{|x'|^2 \ge A x_1^2\}. \end{aligned}
(2.16)

In particular, we will show that, for every $$A > 0$$, there exists some $$\rho _A > 0$$ such that, after a rotation,

\begin{aligned} \Lambda ({{\bar{u}}}^{x_\circ }_\lambda )\cap B_{\rho _A} \subset \{|x'|^2 \ge A x_1^2\}. \end{aligned}
(2.17)

(Notice that now we have taken $$\mu \downarrow \lambda$$, and since the contact set is decreasing in $$\lambda$$, (2.17) implies (2.16).)

Indeed, by [23, Theorem 8.2], we know that

\begin{aligned} {{\bar{u}}}^{x_\circ }_\lambda (x) = p_2(x) + o(|x|^2) \end{aligned}

for some 2-homogeneous, a-harmonic polynomial, such that $$p_2\ge 0$$ on $$\{x_{n+1} = 0\}$$ (recall that we are assuming that $$x_\circ \in \Gamma ^\lambda _{2}$$) and $$p_2\not \equiv 0$$. After a rotation, thus, we may assume that $$p_2(x', 0) \ge c x_1^2$$. That is,

\begin{aligned} {{\bar{u}}}^{x_\circ }_\lambda (x', 0) \ge cx_1^2 + o(|x'|^2)> \frac{c}{A}|x'|^2 + o(|x'|^2) > 0\quad \text {in}\quad B_{\rho _A} \cap \{|x'|^2 < A x_1^2\} \end{aligned}

if $$\rho _A$$ is small enough (depending on A, but also on the point $$x_\circ$$, and the function $${{\bar{u}}}^{x_\circ }_\lambda$$). That is, (2.17), and in particular, (2.16), holds. Considering again the $$x_{n+1}$$ direction, we know that for every $$A> 0$$ there exists some $$\rho _A$$ such that, after a rotation,

\begin{aligned} \Lambda ({{\bar{u}}}^{x_\circ }_\mu )\cap B_{\rho _A} \subset \{x_1^2 + x_{n+1}^2\leqq A^{-1}|x'|^2 \} =: {\mathcal {C}}_A. \end{aligned}
(2.18)

Notice that $$\rho _A \downarrow 0$$ as $$A\rightarrow \infty$$. Let us suppose that we are always in the rotated setting so that the previous inclusion holds. Let us denote $$\psi _A$$ the unique homogeneous solution to

\begin{aligned} \left\{ \begin{array}{rcll} L_a \psi _A &{} = &{} 0\quad \text {in}\quad {\mathbb {R}}^n\setminus {\mathcal {C}}_{A/2}\\ \psi _A &{} = &{} 0\quad \text {in}\quad {\mathcal {C}}_{A/2}\\ \psi _A &{} \ge &{} 0\quad \text {in}\quad {\mathbb {R}}^n, \end{array} \right. \end{aligned}

such that $$\sup _{\partial B_1} \psi _A = 1$$.

Let $$\eta _\circ > 0$$ denote the homogeneity of $$\psi _A$$ (i.e., $$\psi _A(t x) = t^{\eta _\circ }\psi _A(x)$$). It corresponds to the first eigenvalue on the sphere $${\mathbb {S}}^{n}$$ of $$L_a$$ with zero boundary condition on $${\mathcal {C}}_{A/2}$$. Alternatively, it corresponds to the infimum of the corresponding Rayleigh quotient among functions with the same boundary values. Notice that, as $$A\rightarrow \infty$$, $${\mathcal {C}}_{A/2}\rightarrow \{x_1 = x_{n+1} = 0\}$$ locally uniformly in the Hausdorff distance, and $$\{x_1 = x_{n+1} = 0\}$$ has zero a-harmonic capacity when $$s\leqq \frac{1}{2}$$ (see [28, Corollary 2.12]). Thus, when $$s\leqq \frac{1}{2}$$ the infimum of the Rayleigh quotient converges to the first eigenvalue of $$L_a$$ on the sphere without boundary conditions (namely, 0), and thus, $$\eta _\circ \downarrow 0$$ as $$A\rightarrow \infty$$ if $$a\ge 0$$. Alternatively, if $$s > \frac{1}{2}$$ the first eigenvalue corresponds to the homogeneity $$-a$$ (attained by the function $$(x_1^2 + x_{n+1}^2)^{-a/2}$$), so that $$\eta _\circ \downarrow -a$$ as $$A\rightarrow \infty$$ if $$a<0$$. In all, $$\eta _\circ \downarrow a_-$$, with $$a_- =\max \{0, -a\}$$.

Let us choose some A large enough such that $$\eta _\circ < \eta +a_-$$. Now, let

\begin{aligned} r:= \mathrm{dist}(x_\circ , \Lambda (u_\mu )) = \mathrm{dist}(0, \Lambda ({{\bar{u}}}^{x_\circ }_\mu )), \end{aligned}

and let $$\psi _{A, r}$$ for $$r < {\rho _A}/2$$ denote the solution to

\begin{aligned} \left\{ \begin{array}{rcll} L_a \psi _{A, r} &{} = &{} 0&{}\quad \text {in}\quad B_r\cup \left( B_{\rho _A/2} \setminus {\mathcal {C}}_{A/2}\right) \\ \psi _{A,r} &{} = &{} 0&{}\quad \text {in}\quad (B_{\rho _A/2}\cap {\mathcal {C}}_{A/2})\setminus B_r\\ \psi _{A,r} &{} = &{} \psi _A &{}\quad \text {on}\quad \partial B_{\rho _A/2}. \end{array} \right. \end{aligned}

Let $${{\bar{c}}}$$ small enough (depending on $$\rho _A$$, A, h, n, s, M) such that $${{\bar{c}}}\psi _A \leqq \delta _{\lambda , \varepsilon } {{\bar{u}}}^{x_\circ }_\mu$$ on $$\partial B_{\rho _A/2}$$. For instance, take

\begin{aligned} {{\bar{c}}} = \inf _{x\in \partial B_{\rho _A/2} \cap {\mathcal {C}}_{A/2}^c} \delta _{\lambda , \varepsilon }{{\bar{u}}}^{x_\circ }_\mu (x) > 0, \end{aligned}

which is positive since $$\delta _{\lambda , \varepsilon } u_\mu \ge 0$$, $$\delta _{\lambda , \varepsilon }u_\mu \ge 1$$ on $$\partial B_1\cap \{|x_{n+1}| = 0\}$$, and $$L_a \delta _{\lambda , \varepsilon } u_\mu = 0$$ in $$(B_1\setminus \{x_{n+1} = 0\})\cup (B_{\rho _A}(x_\circ ) \setminus {\mathcal {C}}_A)$$ (recall $$\delta _{\lambda , \varepsilon } u_\mu = \delta _{\lambda , \varepsilon } {{\bar{u}}}^{x_\circ }_\mu (\cdot - x_\circ )$$), and thus, by strong maximum principle (or Harnack’s inequality, see [16, Theorem 2.3.8]) we must have $${{\bar{c}}} > 0$$ depending only on $$\rho _A$$, A, h, n, s, M.

Now notice that $${{\bar{c}}}\psi _{A,r} \leqq \delta _{\lambda , \varepsilon } {{\bar{u}}}^{x_\circ }_\mu$$ on $$\partial B_{\rho _A/2}$$, $${{\bar{c}}}\psi _{A,r} \leqq \delta _{\lambda , \varepsilon } {{\bar{u}}}^{x_\circ }_\mu$$ on $$B_{\rho _A/2}\cap {\mathcal {C}}_{A/2} \setminus B_r$$, and both $${{\bar{c}}}\psi _{A,r}$$ and $$\delta _{\lambda , \varepsilon } {{\bar{u}}}^{x_\circ }_\mu$$ are a-harmonic in $$B_r\cup (B_{\rho _A/2}\setminus {\mathcal {C}}_{A/2})$$ (thanks to (2.15)–(2.18)). By comparison principle

\begin{aligned} {{\bar{c}}}\psi _{A}\leqq {{\bar{c}}}\psi _{A,r} \leqq \delta _{\lambda , \varepsilon } {{\bar{u}}}^{x_\circ }_\mu \quad \text {in}\quad B_{\rho _A/2}. \end{aligned}

By Harnack’s inequality, there exists a constant C depending only on n and s such that

\begin{aligned} \psi _{A,r}(0) \ge \inf _{B_{r/2}(0)} \psi _{A,r} \ge \frac{1}{C}\sup _{B_{r/2}(0)} \psi _{A,r} \ge \frac{1}{C}\sup _{B_{r/2}(0)} \psi _{A} \ge cr^{\eta _\circ }, \end{aligned}

where in the last inequality we are using the $$\eta _\circ$$-homogeneity of $$\psi _A$$, and c depends only on n and a. Thus,

\begin{aligned} \delta _{\lambda , \varepsilon } {{\bar{u}}}^{x_\circ }_\mu (0) \ge {{\bar{c}}} \psi _{A,r}(0) \ge c {{\bar{c}}} r^{\eta _\circ } = c~\mathrm{dist}^{\eta _\circ }(x_\circ , \Lambda (u_\mu )) = c~\mathrm{dist}^{\eta _\circ }(0, \Lambda ({{\bar{u}}}^{x_\circ }_\mu )), \end{aligned}

for some $$c > 0$$ that might depends on everything, but it is independent of $$\mu$$ and $$\lambda$$, where we assumed $$r < \rho _A/2$$. We can reach all $$r > 0$$ by taking a smaller $$c > 0$$ (independent of $$\lambda$$ and $$\mu$$), thanks to Lemma 2.1. Recalling $$\eta _\circ < \eta +a_-$$, and letting $$\varepsilon \downarrow 0$$, this gives the desired result. $$\square$$

Using the previous lemma, combined with an ODE argument, we find the following:

### Proposition 2.9

Let $$x_\circ \in \Gamma ^\lambda _{2}$$ be any point of order 2. Then,

• If $$s\leqq \frac{1}{2}$$, for every $$\varepsilon _\circ > 0$$, there exists some $$\delta _\circ > 0$$ such that

\begin{aligned} \Gamma ^{\lambda + \delta ^{2-\varepsilon _\circ }}_{2} \cap B_\delta (x_\circ ) = \varnothing , \end{aligned}

for all $$\delta \in (0, \delta _\circ )$$.

• If $$s > \frac{1}{2}$$, for every $$\varepsilon _\circ > 0$$, there exists some $$\delta _\circ > 0$$ such that

\begin{aligned} \Gamma ^{\lambda + \delta ^{2\frac{2-s}{1+s}-\varepsilon _\circ }}_{2} \cap B_\delta (x_\circ ) = \varnothing , \end{aligned}

for all $$\delta \in (0, \delta _\circ )$$.

### Proof

We use Lemma 2.8. We know that, for each $$\eta >0$$ small,

\begin{aligned} \partial ^+_\lambda {{\bar{u}}}^{x_\circ }_{\mu }(0) \ge c~\mathrm{dist}^{\eta +a_-}(0, \Lambda ({{\bar{u}}}^{x_\circ }_\mu ))\quad \text {for}\quad \mu > \lambda . \end{aligned}

On the other hand, from the optimal regularity for the thin obstacle problem, we know that

\begin{aligned} {{\bar{u}}}^{x_\circ }_\mu (0) \leqq C\mathrm{dist}^{1+s}(0, \Lambda ({{\bar{u}}}^{x_\circ }_\mu )), \end{aligned}

which gives

\begin{aligned} \partial ^+_\lambda {{\bar{u}}}^{x_\circ }_{\mu }(0) \ge c({{\bar{u}}}^{x_\circ }_\mu (0) )^{\frac{\eta +a_-}{1+s}}. \end{aligned}

Solving the ODE between $$\lambda$$ and $$\mu$$, this yields

\begin{aligned} {{\bar{u}}}^{x_\circ }_{\mu }(0)^{1-\frac{\eta +a_-}{1+s}}\ge c(\mu -\lambda )\quad \Longleftrightarrow \quad {{\bar{u}}}^{x_\circ }_{\mu }(0)\ge c(\mu -\lambda )^{\frac{2+2s}{3-2\eta -|a|}}. \end{aligned}

Let us now suppose that there exists some $$z_\circ \in B_\delta (x_\circ )\cap \Gamma ^\mu _{2}$$. Notice that $${{\bar{u}}}^{z_\circ }_\mu$$ has quadratic growth around zero (since $$z_\circ$$ is a singular point of order 2), that is $${{\bar{u}}}^{z_\circ }_\mu \leqq C\rho ^2$$ in $$B_\rho '\times \{0\}$$ for $$\rho > 0$$. Thus, using that $${{\bar{u}}}^{x_\circ }_\mu = {{\bar{u}}}^{z_\circ }_\mu (\cdot + x_\circ - z_\circ )$$ in $$B_1'$$

\begin{aligned} C\delta ^2 \ge {{\bar{u}}}^{z_\circ }_\mu (x_\circ - z_\circ ) = {{\bar{u}}}^{x_\circ }_\mu (0) \ge c(\mu -\lambda )^{\frac{2+2s}{3-2\eta -|a|}}, \end{aligned}

that is, $$\mu - \lambda \leqq C\delta ^{\frac{3-2\eta -|a|}{1+s}}$$. In particular, whenever $$\mu - \lambda > C\delta ^{\frac{3-2\eta -|a|}{1+s}}$$ then $$B_\delta (x_\circ )\cap \Gamma ^\mu _{2} = \varnothing$$.

Taking $$\delta$$ and $$\eta$$ small enough we get the desired result. $$\square$$

## Dimension of $$\Gamma _2$$

In this section we prove that $$\Gamma _2 = \bigcup _{\lambda \in [0,1]} \Gamma _2^\lambda$$ has dimension at most $$n-1$$.

### Proposition 3.1

Let $$m\in {\mathbb {N}}$$, and suppose $$2m < \tau +\alpha$$. Let us denote $$p_{2m}^{x_\circ }$$ the blow-up of $${\bar{u}}_{\lambda (x_\circ )}^{x_\circ }$$ at $$x_\circ \in \Gamma _{2m}$$. Then, the mapping $$\Gamma _{2m}\ni x_\circ \mapsto p_{2m}^{x_\circ }$$ is continuous. Moreover, for any compact set $$K \subset \Gamma _{2m}$$ there exists a modulus of continuity $$\sigma _K$$ such that

\begin{aligned} |{{\bar{u}}}_{\lambda (x_\circ )}^{x_\circ }(x) - p_{2m}^{x_\circ }(x)|\leqq \sigma _K(|x|) |x|^{2m} \end{aligned}

for any $$x_\circ \in K$$.

### Proof

This follows exactly as the proof of [22, Theorem 2.8.4] (or [23, Theorem 8.2]) using that $$\Gamma _{2m}\ni x_\circ \mapsto \lambda (x_\circ )$$ and $$\Gamma _{2m} \ni x_\circ \mapsto {{\bar{u}}}_{\lambda (x_\circ )}^{x_\circ }$$ are continuous (see Corollary 2.7). $$\square$$

Singular points (that is, points of order $$2m < \tau +\alpha$$) have a non-degeneracy property. Namely, as proved in [23, Lemma 8.1], if $$x_\circ \in \Gamma _{2m}^\lambda$$, then there exists some constant $$C > 0$$ (depending on the point $$x_\circ$$) such that

\begin{aligned} C^{-1} r^{2m} \leqq \sup _{\partial B_r} |{{\bar{u}}}_\lambda ^{x_\circ }|\leqq C r^{2m}. \end{aligned}

In particular, we can further divide the set $$\Gamma _{2m}$$ according to the degree of degeneracy of the singular point. That is, let us define

\begin{aligned} \Gamma _{2m, j} := \{x_\circ \in B_{1-j^{-1}} \cap \Gamma _{2m} : j^{-1} r^{2m} \leqq \sup _{\partial B_r} |{{\bar{u}}}_{\lambda (x_\circ )}^{x_\circ }|\leqq j r^{2m} \text { for all } r \leqq (2j)^{-1}\}, \end{aligned}

so that

\begin{aligned} \Gamma _{2m} = \bigcup _{j\in {\mathbb {N}}} \Gamma _{2m,j}, \end{aligned}

and each $$\Gamma _{2m,j}\subset \Gamma _{2m}$$ is compact (see [22, Lemma 2.8.2], which only uses the upper semi-continuity of the frequency formula with respect to the point).

In the next proposition we are going to use a Monneau-type monotonicity formula. In particular, we will use that, if we define for $$m\in {\mathbb {N}}$$, $$x_\circ \in \Gamma _{2m}^\lambda$$,

\begin{aligned} {\mathcal {M}}_m(r, {{\bar{u}}}^{x_\circ }_{\lambda }, p_{2m}) := \frac{1}{r^{n+a+4m}}\int _{\partial B_r} ({{\bar{u}}}_\lambda ^{x_\circ } - p_{2m})^2|x_{n+1}|^a, \end{aligned}
(3.1)

for any 2m-homogeneous, a-harmonic, even polynomial $$p_{2m}$$ with $$p_{2m}(x', 0)\ge 0$$, such that $$p_{2m}\leqq C$$ for some universal bound C, then

\begin{aligned} \frac{d}{dr} {\mathcal {M}}_m(r, {{\bar{u}}}^{x_\circ }_{\lambda }, p_{2m}) \ge -C_M r^{\alpha -1} \end{aligned}
(3.2)

for some constant $$C_M$$ independent of $$\lambda$$. (See [23, Proposition 7.2] and [22, Theorem 2.7.2].)

### Proposition 3.2

Let $$m\in {\mathbb {N}}$$, and suppose $$2m < \tau +\alpha$$. Let us denote $$p_{2m}^{x_\circ }$$ the blow-up of $${\bar{u}}_{\lambda (x_\circ )}^{x_\circ }$$ at $$x_\circ \in \Gamma _{2m}$$. Then, for each $$j\in {\mathbb {N}}$$ there exists a modulus of continuity $$\sigma _j$$ such that

\begin{aligned} \Vert p_{2m}^{x_\circ } - p_{2m}^{z_\circ }\Vert _{L^2(\partial B_1, |x_{n+1}|^a)}\leqq \sigma _j (|x_\circ - z_\circ |) \end{aligned}

for all $$x_\circ , z_\circ \in \Gamma _{2m, j}$$.

### Proof

Suppose it is not true. That is, suppose that there exist sequences $$x_k, z_k \in \Gamma _{2m, j}$$ with $$k\in {\mathbb {N}}$$, such that $$|x_k-z_k|\rightarrow 0$$ and

\begin{aligned} \Vert p_{2m}^{x_k} - p_{2m}^{z_k}\Vert _{L^2(\partial B_1, |x_{n+1}|^a)} \ge \delta > 0 \end{aligned}
(3.3)

for some $$\delta > 0$$. Suppose also that $$\lambda (x_k)\leqq \lambda (z_k)$$.

Let $$\rho _k :=|x_k - z_k|\downarrow 0$$ as $$k \rightarrow \infty$$. Let us define

\begin{aligned} v_x^k(x) := \frac{{{\bar{u}}}^{x_k}_{\lambda (x_k)}(\rho _k x)}{\rho _k^{2m}} \qquad \text {and}\qquad v_z^k(x):= \frac{{{\bar{u}}}^{z_k}_{\lambda (z_k)}(\rho _k x+x_k-z_k)}{\rho _k^{2m}}. \end{aligned}

We have that

\begin{aligned} v_z^k(x) - v_x^k(x)&= \rho _k^{-2m}\big \{u_{\lambda (z_k)}(\rho _k x + x_k) - u_{\lambda (x_k)}(\rho _k x + x_k)+ Q_\tau ^{x_k}(\rho _k x')\\&\quad -Q_\tau ^{z_k}(\rho _k x'+x_k'-z_k')-\mathrm{Ext}_a ( Q_\tau ^{x_k}(\rho _k \cdot )\\&\quad -Q_\tau ^{z_k}(\rho _k \cdot +x_k'-z_k'))(x', x_{n+1})\big \}, \end{aligned}

where, if $$p = p(x'):{\mathbb {R}}^{n}\rightarrow {\mathbb {R}}$$ is a polynomial, $$\mathrm{Ext}_a (p) (x', x_{n+1})$$ denotes its unique even a-harmonic extension.

Notice that $$u_{\lambda (z_k)} \ge u_{\lambda (x_k)}$$ (since $$\lambda (z_k) \ge \lambda (x_k)$$). On the other hand, let us study the convergence of the degree $$\tau$$ polynomials $$P_\tau ^k (x') = Q_\tau ^{x_k}(\rho _k x')-Q_\tau ^{z_k}(\rho _k x'+x_k'-z_k')$$. First, observe that

\begin{aligned} |P_\tau ^k(0)| = |Q_\tau ^{x_k}(0) - Q_\tau ^{z_k}(x_k' - z_k')| = |\varphi (x_k') - Q_\tau ^{z_k}(x_k' - z_k')| = o(\rho _k^\tau ), \end{aligned}

since $$Q_\tau ^{x_k}$$ and $$Q_\tau ^{z_k}$$ are the Taylor expansions of $$\varphi$$ of order $$\tau$$ at $$x_k$$ and $$z_k$$ respectively, and $$|x_k'-z_k'| = \rho _k$$. Similarly, for any multi-index $$\beta = (\beta _1, \dots , \beta _{n-1})$$ with $$|\beta |\leqq \tau$$,

\begin{aligned} |D^\beta P_\tau ^k(0)| = \rho _k^{|\beta |}\left| D^\beta \varphi (x_k) - D^\beta Q_\tau ^{z_k}(x_k'-z_k') \right| = o(\rho _k^\tau ). \end{aligned}

Thus, the $$P_\tau ^k = o(\rho _k^\tau )$$ (say, in any norm in $$B_1'$$), and so the same occurs with the a-harmonic extension. Notice, also, that by assumption, $$2m\leqq \tau$$. In all, we have that

\begin{aligned} v_z^k(x) - v_x^k(x)\ge o(1). \end{aligned}
(3.4)

On the other hand, we have

\begin{aligned} |v_x^k(x) - p_{2m}^{x_k}(x)|\leqq \sigma _{K, j}(\rho _k |x|)|x|^{2m} \end{aligned}
(3.5)

thanks to Proposition 3.1 with $$K = \Gamma _{2m, j}$$, and for some modulus of continuity $$\sigma _{K, j}$$ depending on j. Similarly, if we denote

\begin{aligned} \xi _k = \frac{z_k - x_k}{\rho _k}\in {\mathbb {S}}^{n}, \end{aligned}

then

\begin{aligned} |v_z^k(x) - p_{2m}^{z_k}(x-\xi _k)|\leqq \sigma _{K, j}(\rho _k|x-\xi _k|)|x-\xi _k|^{2m}. \end{aligned}
(3.6)

From the definition of $$\Gamma _{2m, j}$$ we know that

\begin{aligned} j^{-1} r^{2m} \leqq \sup _{\partial B_r} |p_{2m}^{x_k}|\leqq j r^{2m}. \end{aligned}
(3.7)

In particular, up to subsequences, $$p_{2m}^{x_k} \rightarrow p_x$$ uniformly for some 2m-homogeneous polynomial $$p_x$$, a-harmonic, such that $$p_x(x', 0)\ge 0$$, and

\begin{aligned} j^{-1} r^{2m} \leqq \sup _{\partial B_r} |p_x|\leqq j r^{2m}. \end{aligned}
(3.8)

Notice that both bounds (3.7) are crucial: the bound from above allows a convergence, and the bound from below avoid getting as a limit the zero polynomial. We similarly have that $$p_{2m}^{z_k}\rightarrow p_z$$ for some $$p_z$$ 2m-homogeneous polynomial, a-harmonic, with $$p_z(x', 0) \ge 0$$ and such that (3.8) holds for $$p_z$$.

Combining the convergences of $$p^{x_k}_{2m}$$ and $$p_{2m}^{z_k}$$ to $$p_x$$ and $$p_z$$ with (3.5)–(3.6) we obtain that

\begin{aligned} v_x^k \rightarrow p_x,\quad v_z^k \rightarrow p_z(\cdot -\xi _\circ ), \quad \text {uniformly}, \end{aligned}

for some $$\xi _\circ = (\xi '_\circ , 0) \in {\mathbb {S}}^{n}$$. On the other hand, from (3.4), we know that $$p_x \ge p_z(\cdot - \xi _\circ )$$.

Thus, $$p_x - p_z(\cdot - \xi _\circ )\ge 0$$, and is a-harmonic, therefore by Lioville’s theorem is constant. Moreover, both terms are non-negative on the thin space, and both attain the value 0 (since they are homogeneous), therefore, $$p_x = p_z(\cdot - \xi _\circ )$$. Since both $$p_x$$ and $$p_z$$ are homogeneous of the same degree, this implies that $$p_x = p_z$$.

Let us now use the Monneau-type monotonicity formula, (3.1)–(3.2), with polynomials $$p_x$$ and $$p_z$$:

\begin{aligned} \int _{\partial B_1} (v_x^k - p_x)^2|x_{n+1}|^a&= {\mathcal {M}}_m(\rho _k, {{\bar{u}}}_{\lambda (x_k)}^{x_k}, p_x) \\&\ge {\mathcal {M}}_m(0^+, {{\bar{u}}}_{\lambda (x_k)}^{x_k}, p_x) -C_M \rho _k^\alpha \\&= \int _{\partial B_1} (p_{2m}^{x_k} - p_x)^2|x_{n+1}|^a - C_M \rho _k^\alpha , \end{aligned}

where we are using that $$\rho ^{-2m} {{\bar{u}}}_{\lambda (x_k)} (\rho x) \rightarrow p_{2m}^{x_k}$$ as $$\rho \downarrow 0$$. Letting $$k\rightarrow \infty$$ (so $$\rho _k \downarrow 0$$), since $$v_x^k \rightarrow p_x$$ we get that

\begin{aligned} \int _{\partial B_1} (p_{2m}^{x_k} - p_x)^2|x_{n+1}|^a \rightarrow 0. \end{aligned}

On the other hand, proceeding analogously,

\begin{aligned} \int _{\partial B_1} (v_z^k(\cdot + \xi _k) - p_z)^2|x_{n+1}|^a \ge \int _{\partial B_1} (p_{2m}^{z_k} - p_z)^2|x_{n+1}|^a - C_M \rho _k^\alpha , \end{aligned}

and since $$v_z^k \rightarrow p_z(\cdot - \xi _\circ )$$,

\begin{aligned} \int _{\partial B_1} (p_{2m}^{z_k} - p_z)^2|x_{n+1}|^a \rightarrow 0. \end{aligned}

Thus, since $$p_x = p_z$$, we obtain that

\begin{aligned} \int _{\partial B_1} (p_{2m}^{z_k} - p_{2m}^{x_k})^2|x_{n+1}|^a \rightarrow 0, \end{aligned}

which is a contradiction with (3.3). $$\square$$

Finally, we prove the following:

### Proposition 3.3

Let $$m\in {\mathbb {N}}$$, and suppose $$2m < \tau + \alpha$$. Then, $$\Gamma _{2m}$$ is contained in a countable union of $$(n-1)$$-dimensional $$C^1$$ manifolds.

### Proof

The proof is now standard, and it follows applying the Whitney extension theorem, which can be applied thanks to Proposition 3.2. We refer the reader to the proof of [22, Theorem 1.3.8], which we summarise here for completeness.

Indeed, if $$x_\circ \in \Gamma _{2m}$$, and $$\beta = (\beta _1,\dots , \beta _{n+1})$$ is a multi-index, we denote

\begin{aligned} p^{x_\circ }_{2m}(x) = \sum _{|\beta |=2m} \frac{a_\beta (x_\circ )}{\beta !} x^\beta \end{aligned}

so that $$a(x_\circ )$$ (the coefficients) are continuous on $$\Gamma _{2m, j}$$ by Proposition 3.2. Arguing as in [22, Lemma 1.5.6] (by means of Proposition 3.1) the function $$f_\beta$$ defined for the multi-index $$\beta$$, with $$|\beta |\leqq 2m$$,

\begin{aligned} f_\beta (x) = \left\{ \begin{array}{ll} 0 &{} \text {if }|\beta |< 2m,\\ a_\beta (x) &{} \text {if }|\beta | = 2m, \end{array} \right. \end{aligned}

for $$x\in \Gamma _{2m}$$, fulfils the compatibility conditions to apply Whitney’s extension theorem on $$\Gamma _{2m, j}$$. That is, there exists some $$F\in C^{2m}({\mathbb {R}}^{n+1})$$ such that

\begin{aligned} \frac{d^{|\beta |}}{dx^\beta } F = f_\beta \quad \text { on }\quad \Gamma _{2m, j}, \end{aligned}

for any $$|\beta |\leqq 2m$$.

Now, for any $$x_\circ \in \Gamma _{2m, j}$$, since $$p_{2m}^{x_\circ }\ne 0$$, there exists some $$\nu \in {\mathbb {R}}^n$$ such that

\begin{aligned} \nu \cdot \nabla _{x'} p_{2m}^{x_\circ }(x', 0) \ne 0\quad \text { on }\quad {\mathbb {R}}^n. \end{aligned}

In particular, for some multi-index $$\beta _\circ$$ with $$|\beta _\circ | = 2m-1$$,

\begin{aligned} \nu \cdot \nabla _{x'} \partial ^{\beta _\circ } F(x_\circ ) = \nu \cdot \nabla _{x'} \partial ^{\beta _\circ } p_{2m}^{x_\circ } (0) \ne 0, \end{aligned}
(3.9)

where $$\partial ^{\beta _\circ } := \frac{d^{|\beta _\circ |}}{dx^{\beta _\circ }}$$. On the other hand,

\begin{aligned} \Gamma _{2m, j}\subset \bigcap _{|\beta | = 2m-1} \{\partial ^\beta F = 0\} \subset \{\partial ^{\beta _\circ } F = 0\}, \end{aligned}

so that, thanks to (3.9), by the implicit function theorem $$\Gamma _{2m, j}$$ is locally contained in a $$(n-1)$$-dimensional $$C^1$$ manifold. Thus, $$\Gamma _{2m}$$ is contained in a countable union of $$(n-1)$$-dimensional $$C^1$$ manifolds. $$\square$$

## Proof of Main Results

Finally, in this section we prove the main results. To do this, the starting point is the following GMT lemma from :

### Lemma 4.1

 Consider the family $$\{E_\lambda \}_{\lambda \in [0,1]}$$ with $$E_\lambda \subset {\mathbb {R}}^n$$. and let us denote $${\mathbb {R}}^n \supset E := \bigcup _{\lambda \in [0, 1]} E_\lambda$$.

Suppose that for some $$\beta \in (0, n]$$ and $$\gamma \ge 1$$, we have

• $$\dim _{{\mathcal {H}}} E \leqq \beta$$,

• for any $$\varepsilon > 0$$, and for any $$x_\circ \in E_{\lambda _\circ }$$ for some $$\lambda _\circ \in [0, 1]$$, there exists some $$\rho = \rho (\varepsilon , x_\circ , \lambda _\circ ) > 0$$ such that

\begin{aligned} B_r(x_\circ ) \cap E_\lambda = \varnothing \quad \text {for all}\quad r < \rho , \text { and } \lambda > \lambda _\circ +r^{\gamma -\varepsilon }. \end{aligned}

Then,

1. (1)

If $$\beta <\gamma$$, then $$\dim _{{\mathcal {H}}} ( \{\lambda : E_\lambda \ne \varnothing \} ) \leqq \beta /\gamma < 1$$.

2. (2)

If $$\beta \ge \gamma$$, then for $${\mathcal {H}}^1$$-a.e. $$\lambda \in {\mathbb {R}}$$, we have $$\dim _{{\mathcal {H}}}(E_\lambda )\leqq \beta - \gamma$$.

We will also use the following lemma, analogous to the first part of Lemma 4.1 but dealing with the upper Minkowski dimension instead (which we denote $${\overline{\dim }}_{{\mathcal {M}}}$$). We refer to [32, Chapter 5] for more details on the upper/lower Minkowski content and dimension.

### Lemma 4.2

Consider the family $$\{E_\lambda \}_{\lambda \in [0,1]}$$ with $$E_\lambda \subset {\mathbb {R}}^n$$. and let us denote $${\mathbb {R}}^n \supset E := \bigcup _{\lambda \in [0, 1]} E_\lambda$$.

Suppose that for some $$\beta \in [1, n]$$ and $$\gamma >\beta$$, we have

• $${\overline{\dim }}_{{\mathcal {M}}} E \leqq \beta$$,

• for any $$\varepsilon > 0$$, and for any $$x_\circ \in E_{\lambda _\circ }$$ for some $$\lambda _\circ \in [0, 1]$$, there exists some $$\rho = \rho (\varepsilon ) > 0$$ such that

\begin{aligned} B_r(x_\circ ) \cap E_\lambda = \varnothing \quad \text {for all}\quad r < \rho , \text { and } \lambda > \lambda _\circ +r^{\gamma -\varepsilon }. \end{aligned}

Then, $${\overline{\dim }}_{{\mathcal {M}}} ( \{\lambda : E_\lambda \ne \varnothing \} ) \leqq \beta /\gamma < 1$$.

### Proof

Given $$A \subset {\mathbb {R}}^n$$, let us denote

\begin{aligned} N(A, r) := \min \left\{ k : A\subset \cup _{i = 1}^k B_r(x_i) \quad \text { for some}\, x_i \in {\mathbb {R}}^n\right\} , \end{aligned}
(4.1)

the smallest number of r-balls needed to cover A. The upper Minkowski dimension of A can then be defined as

\begin{aligned} {\overline{\dim }}_{{\mathcal {M}}} A := \inf \bigg \{ s : \limsup _{r\downarrow 0} N(A, r) r^s = 0\bigg \} \end{aligned}

(see ). Notice that the definition of upper Minkowski dimension does not change if we assume that the balls $$B_r(x_i)$$ from (4.1) are centered at points in A (by taking, for instance, balls with twice the radius).

Since $${\overline{\dim }}_{{\mathcal {M}}} E \leqq \beta$$, we have that for any $$\delta > 0$$, $$N(E, r) = o(r^{\beta +\delta })$$. Let us consider N(Er) balls of radius r centered at E, $$B_r(x_i)$$, with $$x_i\in E$$. Thanks to our second hypothesis we have that

\begin{aligned} \bigcup _{\lambda \in [0, 1]}\{\lambda \}\times E_\lambda \subset \bigcup _{i = 1}^{N(E, r)} (\lambda (x_i) -r^{\gamma -\varepsilon }, \lambda (x_i) +r^{\gamma -\varepsilon })\times B_r(x_i), \end{aligned}

where $$x_i\in E_{\lambda (x_i)}$$. Thus,

\begin{aligned} \{\lambda \in [0, 1]: E_\lambda \ne \varnothing \}\subset \bigcup _{i = 1}^{N(E, r)}(\lambda (x_i) -r^{\gamma -\varepsilon }, \lambda (x_i) +r^{\gamma -\varepsilon }), \end{aligned}

where the intervals are balls of radius $$r^{\gamma -\varepsilon }$$. In particular, using that $$N(E, r) = o(r^{\beta +\delta })$$, we deduce that

\begin{aligned} {\overline{\dim }}_{{\mathcal {M}}}\left\{ \lambda \in [0, 1]: E_\lambda \ne \varnothing \right\} \leqq \frac{\beta +\delta }{\gamma -\varepsilon }. \end{aligned}

Since this works for any $$\delta , \varepsilon > 0$$, we deduce the desired result. $$\square$$

### Remark 4.3

Notice that Lemma 4.1 is somehow a generalization of the coarea formula. Namely, if we consider the case $$\gamma = 1$$, $$\beta = n$$, and $$\varepsilon = 0$$, and we denote $$E_\lambda$$ the level sets of a Lipschitz function $$f = f(\lambda )$$ ($$E_\lambda = f^{-1}(\lambda )$$), the the coarea formula says that

\begin{aligned} \int _0^1 {\mathcal {H}}^{n-1}\left( f^{-1}(\lambda )\right) \, d\lambda = \int _{B_1} |\nabla f| < \infty , \end{aligned}

since f is Lipschitz by assumption. In particular, $${\mathcal {H}}^{n-1}\left( f^{-1}(\lambda )\right) < \infty$$ for $${\mathcal {H}}^1$$-a.e. $$\lambda \in [0, 1]$$. This is used by Monneau in  for the classical obstacle problem.

This observation is also the reason why we do not expect to have a Minkowski analogous to Lemma 4.1 (2), as we did in Lemma 4.2 for part (1).

By applying the previous lemmas together with Proposition 2.4 we obtain the following result.

### Theorem 4.4

Let $$u_\lambda$$ solve (2.2)–(2.3). Let $$\varphi \in C^{\tau , \alpha }$$, and let $$\kappa < \tau + \alpha$$ and $$\kappa \leqq \tau + \alpha -a$$.

If $$2+2s\leqq \kappa \leqq n+2s$$, then,

\begin{aligned} \mathrm{dim}_{{\mathcal {H}}}(\Gamma ^\lambda _{\ge \kappa })\leqq n-\kappa +2s \quad \text {for a.e.}\quad \lambda \in [0, 1], \end{aligned}

On the other hand, if $$\kappa > n+2s$$, then

\begin{aligned} \Gamma ^\lambda _{\ge \kappa } = \varnothing \quad \text {for all}\quad \lambda \in [0, 1]\setminus {\mathcal {E}}_\kappa , \end{aligned}

where $${\mathcal {E}}_\kappa \subset [0, 1]$$ is such that $$\dim _{{\mathcal {H}}}({\mathcal {E}}_\kappa ) \leqq \frac{n}{\kappa -2s}$$.

Furthermore, for any $$h > 0$$, if $$\kappa > n+2s$$, then

\begin{aligned} \Gamma ^\lambda _{\ge \kappa }\cap B_{1-h} = \varnothing \quad \text {for all}\quad \lambda \in [0, 1]\setminus {\mathcal {E}}_{\kappa , h}, \end{aligned}

where $${\mathcal {E}}_{\kappa , h} \subset [0, 1]$$ is such that $${\overline{\dim }}_{{\mathcal {M}}}({\mathcal {E}}_{\kappa , h}) \leqq \frac{n}{\kappa -2s}$$.

### Proof

The proof of this result follows applying Lemmas 4.1 and 4.2 to the right sets. Indeed, we consider the sets

\begin{aligned} E_\lambda := \Gamma _{\ge \kappa }^\lambda ,\qquad E := \bigcup _{\lambda \in [0, 1]}E_\lambda . \end{aligned}

Notice that $$E = \Gamma _{\ge \kappa }$$, and we can take $$\beta = n$$ in Lemma 4.1. On the other hand, we know that for any $$\lambda _\circ \in [0, 1]$$, $$x_\circ \in E_{\lambda _\circ }$$, there exists $$\rho = \rho (x_\circ , \lambda _\circ ) > 0$$ such that

\begin{aligned} B_r(x_\circ ) \cap E_\lambda = \varnothing \quad \text {for all}\quad r < \rho , \text { and } \lambda > \lambda _\circ +C_* r^{\kappa -2s}. \end{aligned}

thanks to Proposition 2.4. That is, for any $$\varepsilon > 0$$ there exists some $$\rho = \rho (\varepsilon , x_\circ , \lambda _\circ ) > 0$$ such that

\begin{aligned} B_r(x_\circ ) \cap E_\lambda = \varnothing \quad \text {for all}\quad r < \rho , \text { and } \lambda > \lambda _\circ +r^{\kappa -2s-\varepsilon }. \end{aligned}

and the hypotheses of Lemma 4.1 are fulfilled, with $$\beta = n$$ and $$\gamma = \kappa -2s$$. The result now follows by Lemma 4.1.

The last part of the theorem follows by applying Lemma 4.2 instead of Lemma 4.1. We notice in this case that the dependence of $$\rho$$ on the point has been removed, but now it depends on $$h> 0$$. This forces the result to hold only in smaller balls $$B_{1-h}$$. $$\square$$

In particular, we can also deal with the set of free boundary points of infinite order.

### Corollary 4.5

Let $$u_\lambda$$ solve (2.2)–(2.3). Let $$\varphi \in C^{\infty }$$, and let $$\Gamma _{\infty }^\lambda := \bigcap _{\kappa \ge 2} \Gamma _{\ge \kappa }^\lambda$$. Then,

\begin{aligned} \Gamma ^\lambda _{\infty } = \varnothing \quad \text {for all}\quad \lambda \in [0, 1]\setminus {\mathcal {E}}, \end{aligned}

where $${\mathcal {E}} \subset [0, 1]$$ is such that $$\dim _{{\mathcal {H}}}({\mathcal {E}}) = 0$$.

Furthermore, for any $$h > 0$$,

\begin{aligned} \Gamma ^\lambda _{\infty }\cap B_{1-h} = \varnothing \quad \text {for all}\quad \lambda \in [0, 1]\setminus {\mathcal {E}}_h, \end{aligned}

where $${\mathcal {E}}_h \subset [0, 1]$$ is such that $${\dim }_{{\mathcal {M}}}({\mathcal {E}}) = 0$$.

### Proof

Apply Theorem 4.4 to $$\Gamma _{\ge \kappa }^\lambda$$ and let $$\kappa \rightarrow \infty$$. $$\square$$

And we get that the free boundary points of order greater or equal than $$2+2s$$ are at most $$(n-2)$$-dimensional, for almost every $$\lambda \in [0, 1]$$.

### Corollary 4.6

Let $$u_\lambda$$ solve (2.2)–(2.3). Let $$\varphi \in C^{4, \alpha }$$. Then,

\begin{aligned} \mathrm{dim}_{{\mathcal {H}}}(\Gamma ^\lambda _{\ge 2+2s})\leqq n-2, \end{aligned}

for almost every $$\lambda \in [0, 1]$$.

### Proof

This is simply Theorem 4.4 with $$\kappa = 2+2s$$. $$\square$$

On the other hand, combining the results from Sections 2 and 3 with Lemma 4.1, we get the following regarding the free boundary points of order 2:

### Theorem 4.7

Let $$u_\lambda$$ solve (2.2)–(2.3), and let $$n \ge 2$$. Then

\begin{aligned} \mathrm{dim}_{{\mathcal {H}}}(\Gamma ^\lambda _{2})\leqq n-2 \quad \text {for a.e.}\quad \lambda \in [0, 1]. \end{aligned}

### Proof

The proof of this result follows applying Lemma 4.1 to the right sets. We consider

\begin{aligned} E_\lambda := \Gamma _{2}^\lambda ,\qquad E := \bigcup _{\lambda \in [0, 1]}E_\lambda = \Gamma _2. \end{aligned}

Notice that E has dimension $${\mathcal {H}}(E) = n-1$$ by Proposition 3.3, so that we can take $$\beta = n-1$$ in Lemma 4.1. On the other hand, we know that for any $$\lambda _\circ \in [0, 1]$$, $$x_\circ \in E_{\lambda _\circ }$$, and any $$\varepsilon > 0$$, there exists $$\rho = \rho (\varepsilon , x_\circ , \lambda _\circ ) > 0$$ such that

\begin{aligned} B_r(x_\circ ) \cap E_\lambda = \varnothing \quad \text {for all}\quad r < \rho , \text { and } \lambda > \lambda _\circ + r. \end{aligned}

thanks to Proposition 2.9 (notice that $$2\frac{2-s}{1+s}> 1$$ for all $$s\in (1/2, 1)$$). That is, the hypotheses of Lemma 4.1 are fulfilled, with $$\beta = n-1$$ and $$\gamma = 1$$. The result now follows by Lemma 4.1. $$\square$$

In fact, the previous theorem is a particular case of the more general statement involving singular points given by the following proposition (we give it for completeness, although we do not need it in our analysis):

### Proposition 4.8

Let $$u_\lambda$$ solve (2.2)–(2.3). Let $$n \ge 2$$ and let $$\varphi \in C^{\tau , \alpha }$$ for some $$\tau \in {\mathbb {N}}_{\ge 4}$$ and $$\alpha \in (0, 1)$$. Then, if $$s \leqq \frac{1}{2}$$,

\begin{aligned} \mathrm{dim}_{{\mathcal {H}}}(\Gamma ^\lambda _{2})\leqq n-3 \quad \text {for a.e.}\quad \lambda \in [0, 1]. \end{aligned}

Alternatively, if $$s > \frac{1}{2}$$,

\begin{aligned} \mathrm{dim}_{{\mathcal {H}}}(\Gamma ^\lambda _{2})\leqq n-1-2\frac{2-s}{1+s} \quad \text {for a.e.}\quad \lambda \in [0, 1]. \end{aligned}

Finally, if $$m\in {\mathbb {N}}$$ is such that $$2m \leqq \tau$$,

\begin{aligned} \mathrm{dim}_{{\mathcal {H}}}(\Gamma ^\lambda _{2m})\leqq n-1-2m+2s \quad \text {for a.e.}\quad \lambda \in [0, 1]. \end{aligned}

### Proof

This proof simply follows by analysing the previous results more carefully. The first part follows exactly as Theorem 4.7, using Proposition 2.9 and looking at each case separately.

Finally, regarding general singular points of order 2m, the proof follows exactly as Theorem 4.4 using that $$\Gamma _{2m}$$ has dimension $$n-1$$ instead of n thanks to Proposition 3.3. $$\square$$

Finally, in order to control the size of points of homogeneity in the interval $$(2, 2+2s)$$, we refer to the following result by Focardi–Spadaro, that establishes that points in $$\Gamma _*$$ are lower dimensional with respect to the free boundary. The result in  involves higher order points as well, but we state it in the explicit form in which it will be used below.

### Proposition 4.9

 Let u be a solution to the fractional obstacle problem with obstacle $$\varphi \in C^{4, \alpha }$$ for some $$\alpha \in (0, 1)$$,

\begin{aligned} \left\{ \begin{array}{rcll} L_a u&{}=&{}0 &{} \text { in } B_1\setminus \left( \{x_{{n+1}} = 0\}\cap \{u = \varphi \}\right) \\ L_a u&{}\leqq &{}0 &{} \text { in } {B_1}\\ u &{}\ge &{} \varphi &{} \text { on } \{x_{{n+1}} = 0\}. \end{array}\right. \end{aligned}
(4.2)

Let $$\theta \in (0, \alpha )$$ and let us denote

\begin{aligned} {\tilde{\Gamma }}_* := \bigcup _{\kappa \in (2, 2+2s)} \bigg \{ x_\circ \in \partial \Lambda (u) : \Phi _{\tau , \alpha , \theta } (0^+, {{\bar{u}}}^{x_\circ }) = n+1-2s+2\kappa \bigg \}. \end{aligned}
(4.3)

Then

\begin{aligned} \dim _{{\mathcal {H}}}{\tilde{\Gamma }}_* \leqq n-2. \end{aligned}

Moreover, if $$n = 2$$, $${\tilde{\Gamma }}_*$$ is discrete.

Combining the previous results, we obtain the following:

### Corollary 4.10

Let $$u_\lambda$$ solve (2.2)–(2.3). Let $$\varphi \in C^{4, \alpha }$$. Then,

\begin{aligned} \mathrm{dim}_{{\mathcal {H}}}(\mathrm{Deg}(u_\lambda ))\leqq n-2, \end{aligned}

for almost every $$\lambda \in [0, 1]$$.

### Proof

This follows by combining the previous results. Notice that

\begin{aligned} \mathrm{Deg}(u_\lambda ) = \Gamma ^\lambda \setminus \Gamma ^\lambda _{1+s} = \Gamma ^\lambda _{2}\cup {\tilde{\Gamma }}_*(u_\lambda )\cup \Gamma _{\ge 2+2s}^\lambda . \end{aligned}

The result now follows thanks to Proposition 4.9, Corollary 4.6, and Theorem 4.7. $$\square$$

### Remark 4.11

Following the proofs carefully, one can see that the previous result holds true for obstacles $$\varphi \in C^{3, 1}$$ if $$s \leqq \frac{1}{2}$$. The condition $$\varphi \in C^{4, \alpha }$$ is only used whenever $$s > \frac{1}{2}$$, since otherwise, in this case the previous methods do not imply the smallness of $${\tilde{\Gamma }}_*$$.

We can now prove the main results.

### Proof of Theorem 1.1

Notice that, by the Harnack inequality, there exists a constant c such that $$u_{\lambda + \varepsilon } \ge g_\lambda + c\varepsilon$$ in $$\partial B_1\cap \{|x_{n+1}|\ge \frac{1}{2}\}$$. Thus, let us consider $$w_\lambda = c^{-1} u_\lambda$$, so that $$w_\lambda$$ fulfils (2.3) and we can apply Corollary 4.10 to $$w_\lambda$$. Since $$\Gamma _{\kappa }(w_\lambda ) = \Gamma _{\kappa }(u_\lambda )$$ for all $$\kappa \in [3/2, \infty ]$$, $$\lambda \in [0,1]$$,

\begin{aligned} \mathrm{dim}_{{\mathcal {H}}}(\Gamma (u_\lambda )\setminus \Gamma _{3/2}(u_\lambda ))\leqq n-2. \end{aligned}

We finish by recalling that $$\Gamma _{3/2}(u_\lambda ) = \mathrm{Reg}(u_\lambda )$$ is open, and a $$C^{\infty }$$ $$(n-1)$$-dimensional manifold (see [3, 13, 29]). $$\square$$

### Proof of Theorem 1.3

With the same transformation as in the previous proof, the result now follows from Corollary 4.5. $$\square$$

### Proof of Theorem 1.5

Let us suppose that, after a rescaling if necessary, $$\{\varphi > 0\}\subset B_1'\subset {\mathbb {R}}^n$$.

We define $$w_\lambda = v_\lambda + \lambda$$, which fulfils a fractional obstacle problem, with obstacle $$\varphi$$, but with limiting value $$\lambda$$. Take the standard a-harmonic (i.e., with the operator $$L_a$$) extension of $$w_\lambda$$, which we denote $${{\tilde{w}}}_\lambda$$, from $${\mathbb {R}}^n$$ to $${\mathbb {R}}^{n+1}$$. Thanks to , $${{\tilde{w}}}_\lambda$$ fulfils a problem of the form (2.2) in $$B_1\subset {\mathbb {R}}^{n+1}$$.

Moreover, by the Harnack inequality, $${{\tilde{w}}}_{\lambda +\varepsilon }\ge {{\tilde{w}}}_\lambda + c\varepsilon$$ in $$B_1\cap \{|x_{n+1}|\ge \frac{1}{2}\}$$ for some constant c. Now, the functions $$c^{-1}{{\tilde{w}}}_\lambda$$ fulfil (2.3), so that we can apply Corollary 4.10 to $$c^{-1}{{\tilde{w}}}_\lambda$$ to obtain

\begin{aligned} \mathrm{dim}_{{\mathcal {H}}}(\mathrm{Deg}(v_\lambda )) = \mathrm{dim}_{{\mathcal {H}}}( \Gamma (v_\lambda )\setminus \Gamma _{1+s}(v_\lambda )) \leqq n-2. \end{aligned}

The result now follows since $$\Gamma _{1+s}(v_\lambda ) = \mathrm{Reg}(v_\lambda )$$ is open, and a $$C^{\infty }$$ $$(n-1)$$-dimensional manifold (see [3, 26, 30]). $$\square$$

### Proof of Theorem 1.6

With the same transformation as in the previous proof, the result follows from Corollary 4.5. $$\square$$

## Examples of Degenerate Free Boundary Points

Let us consider the thin obstacle problem in a domain $$\Omega \subset {\mathbb {R}}^{{n+1}}$$, with zero obstacle defined on $$x_{{n+1}} = 0$$; that is,

\begin{aligned} \left\{ \begin{array}{rcll} -\Delta u&{}=&{}0 &{} \text { in } \Omega \setminus \left( \{x_{{n+1}} = 0\}\cap \{u = 0\}\right) \\ -\Delta u&{}\ge &{}0 &{} \text { in } \Omega \\ u &{}\ge &{} 0 &{} \text { on } \{x_{{n+1}} = 0\} \\ u &{} = &{} g &{} \text { on } \partial \Omega \end{array}\right. \end{aligned}
(5.1)

for some continuous boundary values $$g\in C^0(\partial \Omega )$$ such that $$g > 0$$ on $$\partial \Omega \cap \{x_{{n+1}}=0\}$$.

### Proof of Proposition 1.7

We will show that there exists some domain $$\Omega$$ and some boundary data g such that the solution to (5.1) has a sequence of regular points (of order 3/2) converging to a non-regular (singular) point (of order 2). Then, the solution from Proposition 1.7 will be the solution here constructed restricted to any ball inside $$\Omega$$ containing such singular point, with its own boundary data (and appropriately rescaled, if necessary).

In order to build such a solution we will use [5, Lemma 3.2], which says that solutions to

\begin{aligned} \left\{ \begin{array}{rcll} -\Delta u&{}=&{}0 &{} \text { in } \Omega \setminus \left( \{x_{{n+1}} = 0\}\cap \{u = \varphi \}\right) \\ -\Delta u&{}\ge &{}0&{} \text { in } \Omega \\ u &{}\ge &{} \varphi &{} \text { on } \{x_{{n+1}} = 0\} \\ u &{} = &{} 0 &{} \text { on } \partial \Omega , \end{array}\right. \end{aligned}
(5.2)

with $$\Delta _{x'}\varphi \leqq -c_0 < 0$$ and $$\Omega$$ convex and even in $$x_{n+1}$$ have a free boundary containing only regular points (frequency 3/2) and singular points of frequency 2. In particular, they establish a non-degeneracy result stating that, for any $$x_\circ = (x_\circ ', 0)\in \Gamma (u)$$,

\begin{aligned} \sup _{B'_r(x_\circ ')}(u-\varphi ) \ge c_1 r^2\quad \text { for all } r \in (0, r_1), \end{aligned}
(5.3)

for some $$r_1, c_1$$ that do not depend on the point $$x_\circ$$. More precisely, they show it around points $$x \in \{u > \varphi \}$$ and then take the limit $$x \rightarrow x_\circ \in \Gamma (u)$$.

On the other hand, from their proof one can also show that in fact, the convexity on $$\Omega$$ can be weakened to convexity in $$\Omega$$ in the $${\varvec{e}}_{n+1}$$ direction.

Let us fix $$n= 2$$. Up to subtracting the right obstacle, we consider the problem

\begin{aligned} \left\{ \begin{array}{rcll} -\Delta u&{}=&{}0 &{} \text { in } \Omega \setminus \left( \{x_{3} = 0\}\cap \{u = 0\}\right) \\ -\Delta u&{}\ge &{}0 &{} \text { in } \Omega \\ u &{}\ge &{} \varphi _t &{} \text { on } \{x_{3} = 0\} \\ u &{} = &{} 0 &{} \text { on } \partial \Omega \end{array}\right. \end{aligned}
(5.4)

for some analytic obstacle $$\varphi _t$$, and some domain $$\Omega$$ smooth, convex and even in $$x_3$$, to be chosen.

Let $$\varphi _t(x) = t-(1-x_1^2)^2 -4x_2^2$$. Notice that, in the thin space, $$\Delta _{x'} \varphi _t = -12x_1^2-4\leqq -4$$, so that, by the result in , under the appropriate domain $$\Omega$$, the points on the free boundary $$\Gamma (u_t)$$ are either regular (with frequency 3/2) or singular (with frequency 2), and we have non-degeneracy (5.3). Let $$\Omega ' := \{x'\in {\mathbb {R}}^2 : (1-x_1^2)^2+4x_2^2\leqq 2\}$$, and take any bounded, convex in $$x_3$$, and even in $$x_3$$ extension of $$\Omega '$$, $$\Omega$$. Then, if $$t = 2$$ and $$\Omega \subset \{|x_3|\leqq 1\}$$, the solution $$u_2$$ to (5.4) is exactly equal to the solution to

\begin{aligned} \left\{ \begin{array}{rcll} \Delta u_2&{}=&{}0 &{} \text { in } \Omega \setminus \{x_{3} = 0\}\\ u_2 &{} = &{} 0 &{} \text { on } \partial \Omega \\ u_2 &{} = &{} \varphi _2 &{} \text { on } \{x_3 = 0\}, \end{array}\right. \end{aligned}

so that, in particular, the contact set is full.Footnote 1

Notice that, when $$t < 0$$, the contact set is empty, $$\Lambda (u_t) = \varnothing$$, and when $$t = 0$$ the contact set is two points, $$p_\pm = (\pm 1, 0, 0)$$ (which, in particular, are singular points). Notice, also, that the contact set is always closed and is monotone in t, in the sense that $$\Lambda (u_{t_1}) \subseteq \Lambda (u_{t_2})$$ if $$t_1 \leqq t_2$$. Let us say that a set is $$p_\pm$$-connected if the points $$p_+$$ and $$p_-$$ belong to the same connected component. Then, there exists some $$t^*\in (0, 2]$$ such that $$\Lambda (u_t)$$ is not $$p_\pm$$-connected for $$t < t^*$$, and is $$p_\pm$$-connected for $$t > t^*$$. Notice, also, that since $$\Lambda (u_t)\subset \{x' : \varphi _t \ge 0\}$$ then $$t^* > 1$$.

We claim that $$\Lambda (u_{t^*})$$ is $$p_\pm$$-connected and has a set of regular points converging to a singular point.

Let us first show that $$\Lambda (u_{t^*})$$ is $$p_\pm$$-connected. Suppose it is not. That is, $$\Lambda (u_{t^*})$$ is a closed set with $$p_\pm$$ on different connected components. On the other hand, $$\Lambda (u_{t})$$ is compact and $$p_\pm$$-connected for $$t > t^*$$, and nested ($$\Lambda (u_{t})\subset \Lambda (u_{t'})$$ for $$t < t'$$). Take

\begin{aligned} {\tilde{\Lambda }}_{t^*} := \bigcap _{t \in (t^*, 2]}\Lambda (u_t), \end{aligned}

then $${\tilde{\Lambda }}_{t^*}$$ is $$p_\pm$$-connected (being the intersection of compact $$p_\pm$$-connected nested sets), and $$\Lambda (u_{t^*}) \subsetneq {\tilde{\Lambda }}_{t^*}$$, since $$\Lambda (u_{t^*})$$ is not $$p_\pm$$-connected. In particular, there exists some $$x_\circ \in \Lambda (u_{t})$$ for all $$t > t^*$$ such that $$x_\circ \not \in \Lambda (u_{t^*})$$. But, by continuity, this is not possible: $$0 < (u_{t^*}-\varphi _{t^*})(x_\circ ) = \lim _{t\downarrow t^*}(u_{t}-\varphi _{t})(x_\circ ) = 0$$. Therefore, $$\Lambda (u_{t^*})$$ is $$p_{\pm }$$-connected.

Take $$\Lambda ^p(u_{t^*})$$ to be the connected component containing both $$p_+$$ and $$p_-$$. Then, $$\partial \Lambda ^p(u_{t^*})$$ must contain at least one singular point. Indeed, suppose it is not true. In this case, all points in $$\partial \Lambda ^p(u_{t^*})$$ are regular, and in particular, $$\Lambda ^p(u_{t^*})$$ is a compact connected set with smooth boundary, with all points of the boundary having positive density (in $$\{x_3 = 0\}$$), and therefore $$\left( \Lambda ^p(u_{t^*})\right) ^\circ$$ is also connected. Let us denote $$\Lambda ^{p}_\pm (u_{t})$$ the corresponding connected components of $$\Lambda (u_t)$$ containing $$p_\pm$$ for $$t < t^*$$ (notice that, by definition of $$t^*$$, $$\Lambda ^{p}_+(u_{t})\ne \Lambda ^{p}_-(u_{t})$$. Then,

\begin{aligned} \Lambda _{t<t^*}^{p, \circ } := \left( \bigcup _{t< t^*} \left( \Lambda _+^p(u_t)\right) ^\circ \right) \cup \left( \bigcup _{t < t^*} \left( \Lambda _-^p(u_t)\right) ^\circ \right) \subsetneq \left( \Lambda ^p(u_{t^*})\right) ^\circ , \end{aligned}

given that the left-hand side is not connected, and the right-hand side is. Take $$y_\circ \in \left( \Lambda ^p(u_{t^*})\right) ^\circ \setminus \Lambda _{t<t^*}^{p, \circ }$$, so that around $$y_\circ$$ the non-degeneracy (5.3) holds for any $$t < t^*$$. Then, there exists some $$r_\circ > 0$$, $$r_1 > r_\circ$$ (where $$r_1$$ is defined in (5.3)) such that $$B_{r_\circ }'(y_\circ )\subset \Lambda ^p(u_{t^*})$$, so that $$u_{t^*}-\varphi _{t^*}|_{B_{r_\circ }'(y_\circ )} \equiv 0$$ and

\begin{aligned} 0 < c_1 r_\circ ^2 \leqq \lim _{t \uparrow t^*} \sup _{B_r'(x_\circ ')} (u_t-\varphi _t) = \sup _{B_r'(x_\circ ')} (u_{t^*}-\varphi _{t^*}) = 0, \end{aligned}

which is a contradiction. That is, not all points on $$\partial \Lambda ^p(u_{t^*})$$ are regular. By , then there exist some degenerate (singular) point of frequency 2, $$x_D\in \partial \Lambda ^p(u_{t^*})$$. Now consider $$\Gamma _D$$, the connected component in $$\partial \Lambda ^p(u_{t^*})$$ containing $$x_D$$. Since the density of the contact set around singular points is zero, if $$\Gamma _D$$ consist exclusively of singular points, then $$\Gamma _D$$ itself is the whole connected component $$\Lambda ^p(u_t)$$, and $$p_\pm \in \Gamma _D$$ are singular points. Nonetheless, for small $$t > 0$$, $$\Lambda (u_t)$$ contains a neighbourhood of $$p_\pm$$, which contradicts the singularity of $$p_\pm$$. Therefore, $$\Gamma _D$$ is not formed exclusively of singular points, and then there exists a sequence of regular points converging to a singular point. $$\square$$

Now, before proving Proposition 1.8, let us show the following lemma:

### Lemma 5.1

Let $$m\in {\mathbb {N}}_{> 0}$$, and let $$\eta \in C^\infty _c(B_2)$$ such that $$\eta \equiv 1$$ in $$B_1$$. Let $$u_+ = \max \{u, 0\}$$ and $$u_- = -\min \{u, 0\}$$. Then,

\begin{aligned} (-\Delta )^s \left[ (x_1)_+^{2m+1+s} \eta \right] - C_{m, s} (x_1)_-^{2m+1-s} \in C^\infty (B_{1/2}), \end{aligned}

for some positive constant $$C_{m, s}>0$$ depending only on n, m, and s.

### Proof

We consider the extension problem from $${\mathbb {R}}^n$$ to $${\mathbb {R}}^{n+1}$$. Namely, let us denote $$u_1$$ the extension of $$(x_1)_+^{2m+1+s} \eta$$, that is, $$u_1$$ solves

\begin{aligned} \left\{ \begin{array}{rcll} L_a u_1&{}= &{}0&{} \text { in } {\mathbb {R}}^{n+1}\cap \{x_{n+1} > 0\}\\ u_1(x', 0) &{}=&{}(x_1)_+^{2m+1+s} \eta &{} \text { for } x'\in {\mathbb {R}}^{n}\\ u_1(x) &{}\rightarrow &{}0 &{} \text { as } |x|\rightarrow \infty , \end{array}\right. \end{aligned}

where $$a = 1-2s$$. Then, we know that

\begin{aligned} \left\{ (-\Delta )^s \left[ (x_1)_+^{2m+1+s} \eta \right] \right\} (x') = \lim _{y\downarrow 0} y^a\partial _{x_{n+1}} u_1(x', y) \end{aligned}

for $$x'\in {\mathbb {R}}^n$$. On the other hand, let $$u_2$$ be the unique a-harmonic extension of $$(x_1)_+^{2m+1+s}$$ from $${\mathbb {R}}^n$$ to $${\mathbb {R}}^{n+1}$$. That is, $$u_2$$ is homogeneous (of degree $$2m+1+s$$), and fulfils

\begin{aligned} \left\{ \begin{array}{rcll} L_a u_2&{}= &{}0&{} \text { in } {\mathbb {R}}^{n+1}\cap \{x_{n+1} > 0\}\\ u_2(x', 0) &{}=&{}(x_1)_+^{2m+1+s} &{} \text { for } x'\in {\mathbb {R}}^{n}. \end{array}\right. \end{aligned}

The fact that such solution exists, and that $$\lim _{y\downarrow 0} y^a\partial _{x_{n+1}} u_2(x', y) = 0$$ if $$x_1 > 0$$, follows, for example, from [20, Proposition A.1]. On the other hand, notice that, since $$u_2$$ is $$(2m+1+s)$$-homogeneous, we have that, $$\lim _{y\downarrow 0} y^a\partial _{x_{n+1}} u_2(x', y) = C_{m, s} |x_1|^{2m+1-s}$$ for $$x_1 < 0$$, so that, in all,

\begin{aligned} \lim _{y\downarrow 0} y^a\partial _{x_{n+1}} u_2(x', y) = C_{m, s} (x_1)_-^{2m+1-s}. \end{aligned}

Again, by [20, Proposition A.1] $$u_2$$ is a solution to the thin obstacle problem with operator $$L_a$$, so $$C_{m, s}> 0$$ (otherwise, it would not be a supersolution for $$L_a$$).

Let now $$v = u_1 - u_2$$. Notice that v fulfils

\begin{aligned} \left\{ \begin{array}{rcll} L_a v&{}= &{}0&{} \text { in } {\mathbb {R}}^{n+1}\cap \{x_{n+1} > 0\}\\ v(x', 0) &{}=&{}(x_1)_+^{2m+1+s}(\eta - 1) &{} \text { for } x'\in {\mathbb {R}}^{n}. \end{array}\right. \end{aligned}

In particular, $$v(x', 0) = 0$$ in $$B_1'$$. Let us denote $$D^\alpha _{x'} v$$ a derivative in the $$x'\in {\mathbb {R}}^n$$ direction of v, with multi-index $$\alpha = (\alpha _1, \alpha _2, \dots , \alpha _n, 0)$$. Then $$D^\alpha _{x'}v$$ is such that

\begin{aligned} \left\{ \begin{array}{rcll} L_a D^\alpha _{x'}v&{}= &{}0&{} \text { in } B_1\cap \{x_{n+1} > 0\}\\ D^\alpha _{x'}v (x', 0) &{}=&{}0 &{} \text { for } x'\in B_1'. \end{array}\right. \end{aligned}

Then, by estimates for the operator $$L_a$$, we know that, if we define

\begin{aligned} w_\alpha (x') := \lim _{y\downarrow 0} y^a\partial _{x_{n+1}} D^\alpha v(x', y),\qquad w_0(x') := \lim _{y\downarrow 0} y^a\partial _{x_{n+1}} v(x', y), \end{aligned}

then $$w_\alpha$$ satisfies $$w_\alpha \in C^{\beta }(B_{1/2})$$ for some $$\beta > 0$$ (see [8, Proposition 4.3] or [26, Proposition 2.3]). In particular, since $$w_\alpha = D^\alpha w_0$$, we have that $$w_0\in C^{|\alpha |+\beta }(B_{1/2})$$. Since this works for all multi-index $$\alpha$$, $$w_0\in C^\infty (B_{1/2})$$.

Thus, combining the previous steps,

\begin{aligned} (-\Delta )^s \left[ (x_1)_+^{2m+1+s} \eta \right] - C_{m, s} (x_1)_-^{2m+1-s}&= \lim _{y\downarrow 0} y^a\partial _{x_{n+1}} (u_1(x', y) - u_2(x', y))\\&= \lim _{y\downarrow 0} y^a\partial _{x_{n+1}} v(x', y)\\&= w_0 \in C^\infty (B_{1/2}), \end{aligned}

as we wanted to see. $$\square$$

We are now in disposition to give the proof of Proposition 1.8.

### Proof of Proposition 1.8

We divide the proof into two steps. In the first step, we show the results holds up to an intermediate claim, that will be proved in the second step.

Step 1. Thanks to [24, Theorem 4] or [1, Section 2], we have that $$(-\Delta )^s(d^s\eta )\in C^\infty (\overline{\Omega ^c})$$ for any $$\eta \in C^\infty$$ with sufficient decay at infinity. Here, d denotes any $$C^\infty$$ function (with at most polynomial growth at infinity) such that in a neighbourhood of $$\Omega$$ coincides with the distance to $$\Omega$$, and $$d|_\Omega \equiv 0$$.

In particular, once d is fixed, we know that for any $$k\in {\mathbb {N}}$$,

\begin{aligned} (-\Delta )^{s}(d^{k+s}) = f\in C^\infty (\overline{\Omega ^c}), \end{aligned}

and, if we make sure that $$d>0$$ in $$\Omega ^c$$, with exponential decay at infinity, we get

\begin{aligned} |f(x)|\leqq \frac{C}{1+|x|^{n+2s}}. \end{aligned}

Define, for some g with the previous decay, $$|g(x)|\leqq C(1+|x|^{n+2s})^{-1}$$, $$\varphi _g$$ such that

\begin{aligned} (-\Delta )^s \varphi _g = g, \end{aligned}

that is, one can take

\begin{aligned} \varphi _g(x) = I_{2s} g(x) := c \int _{{\mathbb {R}}^n}\frac{g(y)}{|x-y|^{n-2s}} dy. \end{aligned}

Notice that

\begin{aligned} \begin{aligned} |\varphi _g(x)|&\leqq C\int _{{\mathbb {R}}^n}\frac{dy}{(1+|y|^{n+2s})|x-y|^{n-2s}} \\&\leqq C\int _{|y-x|\ge \frac{|x|}{2}}\frac{dy}{(1+|y|^{n+2s})|x-y|^{n-2s}} \\&\quad +C\int _{|y-x|\leqq \frac{|x|}{2}}\frac{dy}{(1+|y|^{n+2s})|x-y|^{n-2s}} \\&\leqq \frac{C}{|x|^{n-2s}}\int _{|y-x|\ge \frac{|x|}{2}}\frac{dy}{1+|y|^{n+2s}}+ \frac{C}{1+|x|^{n+2s}}\int _{|y-x|\leqq \frac{|x|}{2}}\frac{dy}{|x-y|^{n-2s}}, \end{aligned} \end{aligned}

where we are using that if $$|y-x|\leqq \frac{|x|}{2}$$ then $$|y|\ge \frac{|x|}{2}$$ by triangular inequality. Notice also that

\begin{aligned} \int _{|y-x|\leqq \frac{|x|}{2}}\frac{dy}{|x-y|^{n-2s}}= \int _{B_{|x|/2}} \frac{dz}{|z|^{n-2s}} = \int _{0}^{|x|/2} r^{2s-1} dr = C |x|^{2s}. \end{aligned}

In all, also using that $$\varphi (x)$$ is bounded around the origin, we obtain that

\begin{aligned} |\varphi _g(x)|\leqq \frac{C}{1+|x|^{n-2s}}. \end{aligned}

Now let us define $$v = d^{k+s}$$. We claim that, if $$k = 2m+1$$ for some $$m\in {\mathbb {N}}_{> 0}$$, then v fulfils

\begin{aligned} \left\{ \begin{array}{rcll} (-\Delta )^{s} v&{}\ge &{}{{\bar{f}}} &{} \text { in } {\mathbb {R}}^n\\ (-\Delta )^{s} v&{}=&{}{{\bar{f}}} &{} \text { in } \{v > 0\}\\ v &{} \ge &{} 0&{} \text { in } {\mathbb {R}}^n, \end{array}\right. \end{aligned}
(5.5)

where $${{\bar{f}}}$$ is some appropriate $$C^\infty$$ extension of f inside $$\Omega$$. Then, if we define

\begin{aligned} u:= v + \varphi _{-{{\bar{f}}}}, \end{aligned}

u fulfils,

\begin{aligned} \left\{ \begin{array}{rcll} (-\Delta )^{s} u&{}\ge &{}0 &{} \text { in } {\mathbb {R}}^n\\ (-\Delta )^{s} u&{}=&{}0 &{} \text { in } \{u > \varphi _{-{{\bar{f}}}}\}\\ u &{} \ge &{} \varphi _{-{{\bar{f}}}}&{} \text { in } {\mathbb {R}}^n, \end{array}\right. \end{aligned}

and notice that, since $$v> 0$$ in $$\Omega ^c$$ and $$v = 0$$ in $$\Omega$$, by definition, we have that the contact set is exactly equal to $$\Omega$$. Moreover, by the growth of v at the boundary, the free boundary points are of frequency $$k+s$$. Also, by the decay at infinity of v and $$\varphi _{-{{\bar{f}}}}$$, $$u\rightarrow 0$$ at infinity.

Step 2. We still have to show that, for an appropriate choice of $${{\bar{f}}}$$, (5.5) holds for $$k = 2m+1$$. Notice that, in fact, in $$\Omega ^c$$ we know that f is $$C^\infty$$. Moreover, we only have to show the claim for a neighbourhood of $$\partial \Omega$$ inside $$\Omega$$, given that exactly at the boundary we expect a unique extension of f (that is, all derivatives are prescribed at the boundary).

That is, if we let $$\Omega _\delta := \{x\in \Omega : \text {dist}(x, \partial \Omega ) < \delta \}$$, we have to show that there exists some $$\delta > 0$$ small enough such that $$(-\Delta )^s v \ge {{\bar{f}}}$$ in $$\Omega _\delta$$, where we recall that $${{\bar{f}}}$$ is a $$C^\infty$$ extension of $$f\in C^\infty (\overline{\Omega ^c})$$ inside $$\Omega$$.

Let $$z_\circ \in \partial \Omega$$. After a translation and a rotation, we assume that $$z_\circ = 0$$ and $$\nu (0, \partial \Omega ) = {\varvec{e}}_1$$, where $$\nu (0, \partial \Omega )$$ denotes the outward normal to $$\partial \Omega$$ at 0. After rescaling if necessary, let us assume that we are working in $$B_1$$, that each point in $$B_1$$ has a unique projection onto $$\partial \Omega$$, and that $$d|_{B_1\cap \Omega ^c} = \mathrm{dist}(\cdot , \Omega )$$. Moreover, again after a rescaling if necessary (since $$\Omega$$ is a $$C^\infty$$ domain), let us assume that

\begin{aligned} \{y_1\leqq -|(y_2,\dots ,y_n)|^2\}\cap B_1 \subset \Omega \cap B_1 \subset \{y_1\leqq |(y_2,\dots ,y_n)|^2\}\cap B_1, \end{aligned}
(5.6)

so that, in particular, $$\{-t{\varvec{e}}_1 : t\in (0, 1)\}\subset \Omega$$.

Let $$\eta \in C^\infty _c(B_2)$$ such that $$\eta \equiv 1$$ in $$B_1$$, and let $$u_+ = \max \{u, 0\}$$ denote the positive part, and $$u_- = -\min \{u, 0\}$$ the negative part. Let $$\alpha =2m+1+s$$, and define

\begin{aligned} u_1(x) := (x_1)_+^\alpha \eta ,\qquad w(x) := v(x) - u_1(x) = d^\alpha (x) - (x_1)_+^\alpha \eta . \end{aligned}

Notice that, by Lemma 5.1,

\begin{aligned} (-\Delta )^s u_1(x) - C_{m, s} (x_1)_-^{2m+1-s} \in C^\infty (B_{1/2}), \end{aligned}
(5.7)

for some positive constant $$C_{m, s}> 0$$.

We begin by claiming that

\begin{aligned} w_1(x_1) := [(-\Delta )^s w] (x_1,0,\dots ,0)\in C^{2m+1-s+\varepsilon }((-1/2, 1/2)), \end{aligned}
(5.8)

for some $$\varepsilon > 0$$.

Indeed, let any $$z_1\in (-1/2, 1/2)$$. Let us denote for $$\gamma \in (0, 1]$$, $$\delta _{{\varvec{e}}_1, h}^{(\gamma )}$$ the incremental quotient in the $${\varvec{e}}_1$$ direction of length $$0<h<1/4$$ and order $$\gamma$$; that is,

\begin{aligned} \delta _{{\varvec{e}}_1, h}^{(\gamma )} F (y_\circ ) := \frac{|F(y_\circ +h{\varvec{e}}_1)-F(y_\circ )|}{|h |^\gamma }. \end{aligned}

Since $$d \equiv (x_1)_+$$ on $$\{x_2 =\dots = x_n = 0\}\cap B_1$$, we have that $$w(x_1, 0,\dots ,0) = 0$$ on $$(-1, 1)$$. Now notice that, for any $$\ell \in {\mathbb {N}}$$, $$\gamma \in (0, 1]$$,

\begin{aligned} \delta _{{\varvec{e}}_1, h}^{(\gamma )} \frac{d^\ell }{dx_1^\ell } w_1 (z_1)= & {} \left\{ \delta _{{\varvec{e}}_1, h}^{(\gamma )}\partial _{{\varvec{e}}_1}^\ell [(-\Delta )^s w] \right\} (z_1,0,\dots ,0) \nonumber \\= & {} \int _{{\mathbb {R}}^n} \frac{\delta _{{\varvec{e}}_1, h}^{(\gamma )}\partial _{{\varvec{e}}_1}^\ell w ({{\bar{z}}}_1 + y)}{|y|^{n+2s}} \,dy, \end{aligned}
(5.9)

where $${{\bar{z}}}_1 = \{z_1,0,\dots ,0\}\in {\mathbb {R}}^n$$, and we are using that $$\delta _{{\varvec{e}}_1, h}^{(\gamma )} \partial _{{\varvec{e}}_1}^\ell w ({{\bar{z}}}_1) = 0$$. In order to show (5.8), we will bound

\begin{aligned} \lim _{h\downarrow 0} \left| \delta _{{\varvec{e}}_1, h}^{(\gamma )} \frac{d^\ell }{dx_1^\ell } w_1 (z_1)\right| \leqq C\quad \text {in} \quad B_{1/2}, \end{aligned}
(5.10)

for some C, for $$\ell = 2m$$ and for $$\gamma = 1-s+\varepsilon$$ for some $$\varepsilon >0$$.

We need to separate into different cases according to $${{\bar{z}}}_1+y$$. Notice that the the integral in (5.9) is immediately bounded in $${\mathbb {R}}^n\setminus B_{1/2}$$ because $$w \in C^\alpha$$ and the integrand is thus bounded by $$C|y|^{-n-2s}$$. We can, therefore, assume that $$y \in B_{1/2}$$ so that $${{\bar{z}}}_1+y\in B_1$$.

Let us start by noticing that, from (5.7), together with the fact that $$(-\Delta )^s v$$ is smooth in $$\Omega ^c$$, we already know that $$w_1\in C^\infty ([0, 1/2))$$, so that we only care about the case $$z_1 < 0$$.

Let $$z_1 < 0$$, so that $${{\bar{z}}}_1\in \Omega$$. If $${{\bar{z}}}_1 + y \in \Omega \cap \{x_1 < 0\} \cap B_1$$, then $$w({{\bar{z}}}_1 + y) = 0$$. If $${{\bar{z}}}_1 + y \in \Omega \cap \{x_1 > 0\} \cap B_1$$, then $$|w({{\bar{z}}}_1 + y)| = |z_1+y_1|^{\alpha }$$ and $$|\partial ^\ell _{{\varvec{e}}_1} w|({{\bar{z}}}_1+y) = C |z_1+y_1|^{\alpha -\ell }\leqq C |y|^{2(\alpha -\ell )}$$; where we are using that $$z_1+y_1 \leqq |(y_2,\dots ,y_n)|^2\leqq |y|^2$$, see (5.6). Similarly, $$\lim _{h\downarrow 0}|\delta _{{\varvec{e}}_1, h}^{(\gamma )} \partial ^\ell _{{\varvec{e}}_1} w|({{\bar{z}}}_1+y) \leqq C |z_1+y_1|^{\alpha -\ell -\gamma }\leqq C |y|^{2(\alpha -\ell -\gamma )}$$.

Conversely, if $${{\bar{z}}}_1 + y \in \Omega ^c \cap \{x_1 < 0\} \cap B_1$$, $$|w({{\bar{z}}}_1+y)| = d^\alpha ({{\bar{z}}}_1+y)$$ and $$|\partial _{{\varvec{e}}_1}^\ell w|({{\bar{z}}}_1+y)\leqq Cd^{\alpha -\ell }({{\bar{z}}}_1+y)\leqq C|y|^{2(\alpha -\ell )}$$, where we are using (5.6) again. Taking the incremental quotients, $$\lim _{h\downarrow 0}|\delta _{{\varvec{e}}_1, h}^{(\gamma )}\partial _{{\varvec{e}}_1}^\ell w|({{\bar{z}}}_1+y)\leqq Cd^{\alpha -\ell -\gamma }({{\bar{z}}}_1+y)\leqq C|y|^{2(\alpha -\ell -\gamma )}$$

Finally, if $${{\bar{z}}}_1+y\in \Omega ^c\cap \{x_1> 0\}\cap B_1$$, both terms in the expression of w are relevant. Using that $$|a^\beta -b^\beta |\leqq C |a-b||a^{\beta -1}+b^{\beta -1}|$$ we obtain that

\begin{aligned} |w({{\bar{z}}}_1+y)|\leqq C|d - u_1|\left( d^{\alpha -1}+u_1^{\alpha -1}\right) ({{\bar{z}}}_1+y). \end{aligned}

Notice that on $$\{x_2 = \dots = x_n =0\}\cap B_1$$, $$d = u_1$$ and $$\partial _i d = \partial _i u = 0$$ for $$2\leqq i \leqq n$$, so that in fact $$|d-u_1|({{\bar{z}}}_1 + y)\leqq C |y|^2$$. On the other hand, we also have that $$d^{\alpha -1}({{\bar{z}}}_1+ y)\leqq C|y|^{\alpha -1}$$, so that

\begin{aligned} |w({{\bar{z}}}_1+y)|\leqq C|y|^{\alpha +1}. \end{aligned}
(5.11)

Notice, also, that $$w\in C^\alpha$$ (i.e., $$\nabla ^{\ell +1} w \in C^{s}$$). By classical interpolation inequalities for Hölder spaces (or fractional Sobolev spaces with $$p = \infty$$) we know that, if $$0<\gamma < 1$$,

\begin{aligned} \Vert \nabla ^\ell w\Vert _{C^\gamma (B_{r}({{\bar{z}}}_1))} \leqq C \Vert \nabla ^{\ell +1} w\Vert _{C^{s}(B_{r}({{\bar{z}}}_1))}^{\frac{\ell +\gamma }{\alpha }} \Vert w\Vert _{L^\infty (B_{r}({{\bar{z}}}_1))}^{\frac{1+s-\gamma }{\alpha }} \end{aligned}

(see, for instance, [6, Theorem 6.4.5]). Thus, in our case we have that

\begin{aligned} \lim _{h\downarrow 0}\left| \delta _{{\varvec{e}}_1, h}^{(\gamma )}\frac{d^\ell }{dx_1^\ell } w\right| ({{\bar{z}}}_1 + y) \leqq C |y|^{(\alpha +1)\frac{1+s-\gamma }{\alpha }}. \end{aligned}
(5.12)

Thus, putting all together we obtain that

\begin{aligned} \lim _{h\downarrow 0 }\left| \delta _{{\varvec{e}}_1, h}^{(\gamma )}\partial _{{\varvec{e}}_1}^\ell w\right| ({{\bar{z}}}_1+y)\leqq C\max \left\{ |y|^{2(\alpha -\ell -\gamma )}, |y|^{(\alpha +1)\frac{1+s-\gamma }{\alpha }}\right\} . \end{aligned}

If we want (5.10) to hold, we need (by checking (5.9))

\begin{aligned} 2(\alpha -\ell -\gamma )> 2s\qquad \text { and }\qquad (\alpha +1)\frac{1+s-\gamma }{\alpha } > 2s \end{aligned}
(5.13)

for some $$1-s<\gamma < 1$$, and $$\ell = 2m$$ (recall we need to show $$\gamma = 1-s+\varepsilon$$ for some $$\varepsilon > 0$$). The first inequality holds as long as $$\gamma < 1$$. The second inequality will hold if

\begin{aligned} \gamma < 1+s-\frac{2s\alpha }{\alpha +1} = 1-\frac{\alpha -1}{\alpha +1} s. \end{aligned}

Thus, we can choose $$\gamma = 1-s+\varepsilon$$ with $$0<\varepsilon <\frac{2}{\alpha +1}s$$ and (5.8) holds with this $$\varepsilon$$.

Now, combining (5.8)–(5.7), we obtain that

\begin{aligned} f_v:= [(-\Delta )^s v ](x_1,0,\dots ,0) - C_{m, s}(x_1)_-^{2m+1-s} \in C^{2m+1-s+\varepsilon }((-1/2, 1/2)). \end{aligned}

In particular, if we recall that $${{\bar{f}}}\in C^\infty (B_1)$$ is a $$C^\infty$$ extension of $$(-\Delta )^s v$$ inside $$\Omega$$, and noticing that $$f_v-{{\bar{f}}}(x_1,0,\dots ,0) \equiv 0$$ for $$x_1 > 0$$, we have that $${{\bar{f}}}(\cdot , 0,\dots , 0)- f_v\in C^{2m+1-s+\varepsilon }((-1/2, 1/2))$$ and

\begin{aligned} f_v - {{\bar{f}}}(x_1, 0, \dots , 0) = o(|x_1|^{2m+1-s+\varepsilon }), \end{aligned}

or

\begin{aligned}{}[(-\Delta )^s v ](x_1,0,\dots ,0) = C_{m, s}(x_1)_-^{2m+1-s} + {{\bar{f}}} (x_1, 0,\dots ,0) +o(|x_1|^{2m+1-s+\varepsilon }). \end{aligned}

Thus, since $$C_{m, s} > 0$$, $$[(-\Delta )^s v ](x_1,0,\dots ,0) \ge {{\bar{f}}}(x_1, 0, \dots , 0)$$ if $$|x_1|$$ is small enough (depending only on n, m, s, and $$\Omega$$), as we wanted to see.

We have that, for a fixed $${{\bar{f}}}$$ extension of f inside $$\Omega$$, $$(-\Delta )^s v \ge {{\bar{f}}}$$ in $$\Omega _\delta$$ for some small $$\delta > 0$$ depending only on n, m, s, and $$\Omega$$. Up to redefining $${{\bar{f}}}$$ in $$\Omega \setminus \Omega _{\delta /2}$$, we can easily build an $${{\bar{f}}}\in C^\infty$$ such that $$(-\Delta )^s v \ge {{\bar{f}}}$$ in $$\Omega$$, as we wanted to see. $$\square$$

To finish, we study the points of order infinity. To do this, we start with the following proposition:

### Proposition 5.2

Let $${\mathcal {C}}\subset B_1\subset {\mathbb {R}}^n$$ be any closed set. Then, there exists a non-trivial solution u and an obstacle $$\varphi \in C^\infty ({\mathbb {R}}^n)$$ such that

\begin{aligned} \left\{ \begin{array}{rcll} (-\Delta )^{s} u&{}\ge &{}0 &{} \text { in } {\mathbb {R}}^n\\ (-\Delta )^{s} u&{}=&{}0 &{} \text { in } \{u > \varphi \}\\ u &{} \ge &{} \varphi &{} \text { in } {\mathbb {R}}^n, \end{array}\right. \end{aligned}

and $$\Lambda (u)\cap B_1 = \{u = \varphi \}\cap B_1 = {\mathcal {C}}$$.

### Proof

Take any obstacle $$\psi \in C^\infty ({\mathbb {R}}^n)$$ such that $$\mathrm{supp}\,\psi \subset \subset B_1(2{\varvec{e}}_1)$$, with $$\psi > 0$$ somewhere, and take the non-trivial solution to

\begin{aligned} \left\{ \begin{array}{rcll} (-\Delta )^{s} u&{}\ge &{}0 &{} \text { in } {\mathbb {R}}^n\\ (-\Delta )^{s} u&{}=&{}0 &{} \text { in } \{u > \psi \}\\ u &{} \ge &{} \psi &{} \text { in } {\mathbb {R}}^n. \end{array}\right. \end{aligned}

Notice that $$u > \psi$$ in $$B_1$$ (in particular, $$u\in C^\infty (B_1)$$). Let $$f_{{\mathcal {C}}}$$ be any $$C^\infty$$ function such that $$0\leqq f_{{\mathcal {C}}} \leqq 1$$ and $${\mathcal {C}} = \{f_{{\mathcal {C}}} = 0\}$$.

Now let $$\eta \in C^\infty _c(B_{3/2})$$ such that $$\eta \ge 0$$ and $$\eta \equiv 1$$ in $$B_1$$. Consider, as new obstacle, $$\varphi = \psi + \eta (u-\psi )(1-f_{\mathcal {C}}) \in C^\infty (B_1)$$. Notice that $$u - \varphi \ge 0$$. Notice, also, that for $$x\in B_1$$, $$(u - \varphi )(x) = 0$$ if and only if $$x\in {\mathcal {C}}$$. Thus, u with obstacle $$\varphi$$ gives the desired result. $$\square$$

And now we can provide the proof of Proposition 1.9:

### Proof of Proposition 1.9

The proof is now immediate thanks to Proposition 5.2, since we can choose as contact set any closed set with boundary of dimension greater or equal than $$n - \varepsilon$$ for any $$\varepsilon > 0$$, and points of finite order are at most $$(n-1)$$-dimensional. $$\square$$

## The Parabolic Signorini Problem

We consider now the parabolic version of the thin obstacle problem. Given $$(x_\circ , t_\circ )\in {\mathbb {R}}^{n+1}\times {\mathbb {R}}$$, we will use the notation

\begin{aligned} \begin{aligned} Q_r (x_\circ , t_\circ )&:= B_r(x_\circ )\times (t_\circ -r^2,t_\circ ]\subset {\mathbb {R}}^{n+1}\times {\mathbb {R}},\\ Q_r'(x_\circ ', t_\circ )&:= B_r'(x_\circ ')\times (t_\circ -r^2, t_\circ ]\subset {\mathbb {R}}^n \times {\mathbb {R}},\\ Q_r^+((x_\circ ', 0), t_\circ )&:= B_r^+((x_\circ ', 0))\times (t_\circ -r^2, t_\circ ]\subset {\mathbb {R}}^{n+1}\times {\mathbb {R}}. \end{aligned} \end{aligned}

We will denote, $$Q_r = Q_r(0, 0)$$, $$Q_r' = Q_r'(0, 0)$$ and $$Q_r^+ = Q_r^+(0, 0)$$. We consider the problem posed in $$Q_1^+ := B_1^+\times (-1, 0]$$ for some fixed obstacle

\begin{aligned} \varphi :B_1'\rightarrow {\mathbb {R}},\quad \varphi \in C^{\tau , \alpha }(\overline{B_1'}),\quad \tau \in {\mathbb {N}}_{\ge 2},\alpha \in (0,1], \end{aligned}

that is,

\begin{aligned} \left\{ \begin{array}{rcll} \partial _t u - \Delta u &{} = &{} 0,&{}\quad \text {in}\quad Q_1^,\\ \min \{u-\varphi ,\partial _{x_{n+1}}u\} &{} = &{} 0, &{} \quad \text {on}\quad Q_1'. \end{array} \right. \end{aligned}
(6.1)

The free boundary for (6.1) is given by

\begin{aligned} \Gamma (u) := \partial _{Q_1'}\{(x', t) \in Q_1' : u(x', 0, t) > \varphi (x')\}, \end{aligned}

where $$\partial _{Q_1'}$$ denotes the boundary in the relative topology of $$Q_1'$$. For this problem, it is more convenient to study the extended free boundary, defined by

\begin{aligned} {\overline{\Gamma }}(u) := \partial _{Q_1'}\{(x', t) \in Q_1' : u(x', 0, t) = \varphi (x'), \,\partial _{x_{n+1}} u (x', 0, t) =0\}, \end{aligned}

so that $${\overline{\Gamma }}(u) \supset \Gamma (u)$$. This distinction, however, will not come into play in this work.

In order to study (6.1), one also needs to add some boundary condition on $$(\partial B_1\times (-1, 0])\cap \{x_{n+1} > 0\}$$. Instead of doing that, we will assume the additional hypothesis $$u_t > 0$$ on $$(\partial B_1\times (-1, 0])\cap \{x_{n+1} > 0\}$$. That is, there is actually some time evolution, and it makes the solution grow. Recall that such hypothesis is (somewhat) necessary, and natural in some applications (see Section 1.4).

Notice, also, that if $$u_t > 0$$ on the spatial boundary, by strong maximum principle applied to the caloric function $$u_t$$ in $$Q_1\cap \{x_{n+1} > \frac{1}{2}\}$$, we know that $$u_t> c > 0$$ for $$x_{n+1}> \frac{1}{2}$$. Thus, after dividing u by a constant, we may assume $$c = 1$$, and thus, our problem reads as

\begin{aligned} \left\{ \begin{array}{rcll} u_t - \Delta u &{} = &{} 0&{}\quad \text {in}\quad Q_1^+\times (-1, 0],\\ \min \{u-\varphi ,\partial _{x_{n+1}}u\} &{} = &{} 0 &{} \quad \text {on}\quad Q_1',\\ u_t &{}> &{} 0&{} \quad \text {on}\quad (\partial B_1\times (-1, 0])\cap \{x_{n+1}> 0\},\\ u_t &{} \ge &{} 1&{} \quad \text {in}\quad Q_1\cap \left\{ x_{n+1}>\frac{1}{2}\right\} . \end{array} \right. \end{aligned}
(6.2)

In order to deal with the order of free boundary points, one requires the introduction of heavy notation, analogous to what has been presented in the elliptic case, but for the parabolic version. We will avoid this boundary by focusing on the main property we require about the order of the extended free boundary points.

### Definition 6.1

Let $$(x_\circ , t_\circ )\in {\overline{\Gamma }}(u)\cap Q_{1-h}$$ be an extended free boundary point. We define

\begin{aligned} {\overline{u}}^{x_\circ , t_\circ }(x, t) := u((x+x_\circ ',x_{n+1}), t+t_\circ ) - \varphi (x'+x_\circ ') + Q^{x_\circ }_\tau (x') - Q_\tau ^{x_\circ , 0}(x', x_{n+1}), \end{aligned}

where $$Q_\tau ^{x_\circ }$$ is the Taylor polynomial of order $$\tau$$ of $$\varphi$$ at $$x_\circ$$, and $$Q_\tau ^{x_\circ , 0}$$ is its harmonic extension to $${\mathbb {R}}^{n+1}$$.

We say that $$(x_\circ , t_\circ )\in {\overline{\Gamma }}(u)\cap Q_{1-h}$$ is an extended free boundary point of order $$\ge \kappa$$, $$(x_\circ , t_\circ )\in \Gamma _{\ge \kappa }$$, where $$2 \leqq \kappa \leqq \tau$$, if

\begin{aligned} |{\overline{u}}^{x_\circ , t_\circ }|\leqq Cr^{\kappa }\quad \text {in}\quad Q_r^+ \end{aligned}

for all $$r < \frac{h}{2}$$, and for some constant C depending only on the solution u.

Notice that, in particular, the points of order greater or equal than $$\kappa$$ as defined in  fulfil the previous definition. Notice, also, that we have denoted by $$\Gamma _{\ge \kappa }$$ the set of points of order $$\ge \kappa$$.

Thus, we can proceed to prove the following proposition, analogous to Proposition 2.4:

### Proposition 6.2

Let $$h > 0$$ small, and let $$(x_\circ , t_\circ )\in Q_{1-h}^+\cap \Gamma _{\ge \kappa }$$ with $$t_\circ < -h^2$$, where $$2 \leqq \kappa \leqq 3$$. Then,

\begin{aligned} u(\cdot , t_\circ + C_* t^{\kappa -1}) > \varphi \quad \text {in}\quad B_t'(x_\circ '),\quad \text {for all}\quad 0<t < T_h \end{aligned}

for some constant $$C_*$$ depending only on n, h, u, and $$T_h$$ depending only on n, h, $$\tau$$, $$\kappa$$, u.

### Proof

Let us assume, for simplicity in the notation, that $$x_\circ = 0$$, and $$t_\circ = -\frac{1}{2}$$, and we denote $${\overline{u}} := {\overline{u}}^{0, -1/2}$$. Notice that, by the parabolic Hopf Lemma, since $${\overline{u}}_t \ge 0$$ in $$Q_1$$ and $${\overline{u}}_t \ge 1$$ in $$Q_1\cap \{x_{n+1}\ge \frac{1}{2}\}$$ we have that for some constant c and for any $$\sigma > 0$$,

\begin{aligned} {\overline{u}}_t \ge c\sigma \quad \text {in}\quad (B^+_{1/2}\cap \{x_{n+1}\ge \sigma \})\times [-1/2, 0]. \end{aligned}

Notice, also, that since $$(0, -1/2)\in {\mathbb {R}}^{n+1}\times {\mathbb {R}}$$ is an extended free boundary point of order $$\ge \kappa$$, we have that, for $$r > 0$$ small enough,

\begin{aligned} {\overline{u}}(\cdot , -1/2+s)\ge {\overline{u}}(\cdot , -1/2)\ge -Cr^{\kappa }\quad \text {in}\quad B_r^+, \end{aligned}
(6.3)

for $$s\ge 0$$ by the monotonicity of the solution in time.

On the other hand, since $${\overline{u}}_t \ge cr\sigma$$ in $$\{x_{n+1} \ge r\sigma \}$$, we have that

\begin{aligned} {\overline{u}}(\cdot , -1/2+ s) \ge c(r\sigma ) s + {\overline{u}}(\cdot , -1/2)\quad \text {in}\quad \{x_{n+1}\ge r\sigma \} \quad \text {for}\quad s \ge 0. \end{aligned}

As in (6.3), this gives

\begin{aligned} {\overline{u}}(\cdot , -1/2+ s) \ge c(r\sigma ) s -Cr^\kappa \quad \text {in}\quad \{x_{n+1}\ge r\sigma \}\cap B_r^+ \quad \text {for}\quad s \ge 0. \end{aligned}

Let $$w(y, \zeta ) = {\overline{u}} (ry, -1/2+r^2\zeta )$$. Then we have that

\begin{aligned} w(y, \zeta ) \ge -Cr^\kappa , \quad \text {for}\quad y\in B_1^+\quad \text {for}\quad \zeta \ge 0, \end{aligned}

and

\begin{aligned} w(y, \zeta ) \ge c(r\sigma )r^2 \zeta -Cr^\kappa ,\quad \text {for}\quad y\in \{y_{n+1}\ge \sigma \}\cap B_1^+\quad \text {for}\quad \zeta \ge 0. \end{aligned}

Notice, also, that since

\begin{aligned} |(\partial _t - \Delta ) {\overline{u}}| = o(r^{\tau -2})\quad \text {in}\quad B_r^+, \end{aligned}

then

\begin{aligned} |(\partial _\zeta - \Delta _y) w| = o(r^\tau ) \quad \text {in}\quad B_1^+. \end{aligned}

Considering now $${{\bar{w}}} (y, \zeta ):= \frac{\sigma }{Cr^\kappa }w(y, \zeta )$$, we have that

\begin{aligned}&{{\bar{w}}}(y, \zeta ) \ge -\sigma , \quad \text {for}\quad y\in B_1^+~\text { and }~\zeta \ge 0, \\&{{\bar{w}}}(y, \zeta ) \ge cr^{3-\kappa } \sigma ^2 \zeta -\sigma ,\quad \text {for}\quad y\in \{y_{n+1}\ge \sigma \}\cap B_1^+~\text { and }~\zeta \ge 0, \end{aligned}

and

\begin{aligned} |(\partial _\zeta - \Delta _y) {{\bar{w}}}| \leqq \sigma \quad \text {in}\quad B_1^+, \end{aligned}

for $$r > 0$$ small enough. Let us take $$\zeta = C_*r^{\kappa -3}$$, for some $$C_*$$ depending on n and $$\sigma$$ such that $$cr^{3-\kappa } \sigma ^2 \zeta -\sigma \ge 1$$. Then, by [12, Lemma 11.5] (which is the parabolic version of Lemma 2.3 for $$a = 0$$), there exists some $$\sigma _\circ > 0$$ depending on n such that if $$\sigma \leqq \sigma _\circ$$, then $${\bar{w}}(\cdot , C_*r^{\kappa -3})> 0$$ in $$\overline{B_{1/2}^+}$$. In particular, recalling the definition of $${{\bar{w}}}$$, this yields the desired result. $$\square$$

As in the elliptic case, the non-regular part of the free boundary is $$\Gamma _{\ge 2}$$ (see [12, Proposition 10.8]). Thanks to Proposition 6.2 we will obtain a bound on the dimension of $$\Gamma _{\ge \kappa }\cap \{t = t_\circ \}$$ for almost every time $$t_\circ \in (-1, 0]$$ if $$\kappa > 2$$. For the limiting case, $$\kappa = 2$$, one has to proceed differently, analogous to what has been done in the elliptic case.

Let us start by defining the set $$\Gamma _2$$. We say that a point $$(x_\circ , t_\circ ) \in {\overline{\Gamma }}(u)\cap Q_{1-h}^+$$ belongs to $$\Gamma _2$$, $$(x_\circ , t_\circ ) \in \Gamma _2\cap Q_{1-h}^+$$, if parabolic blow-ups around that point converge uniformly to a parabolic 2-homogeneous polynomial.

Namely, consider a fixed test function $$\psi \in C^\infty _c({\mathbb {R}}^n)$$ such that $$\mathrm{supp}\, \psi \subset B_{h}$$, $$0\leqq \psi \leqq 1$$, $$\psi \equiv 1$$ in $$B_{h/2}$$, and $$\psi (x', x_{n+1}) = \psi (x', -x_{n+1})$$. Then $$u^{x_\circ , t_\circ }(x, t) \psi (x)$$ can be considered to be defined in $${\mathbb {R}}^n_+\times (-h^2, 0]$$, and we denote

\begin{aligned} H_u^{x_\circ , t_\circ }(r) := \frac{1}{r^2}\int _{-r^2}^0\int _{{\mathbb {R}}^n_+} {{\bar{u}}}^{x_\circ , t_\circ }(x, t) \psi (x) G(x, t) \, dx\, dt, \end{aligned}

where G(xt) is the backward heat kernel in $${\mathbb {R}}^{n+1}\times {\mathbb {R}}$$,

\begin{aligned} G(x, t) = \left\{ \begin{array}{ll} (-4\pi t)^{-\frac{n+1}{2}} e^{\frac{|x|^2}{4t}} &{} \text {if }t < 0,\\ 0 &{} \text {if }t \ge 0. \end{array} \right. \end{aligned}

We then define the rescalings

\begin{aligned} u_r^{x_\circ , t_\circ }(x, t) := \frac{{{\bar{u}}}^{x_\circ , t_\circ }(rx, r^2 t)}{H_u^{x_\circ , t_\circ }(r)^{1/2}}. \end{aligned}

Then, we say that $$(x_\circ , t_\circ ) \in \Gamma _2$$ if for every $$r_j \downarrow 0$$, there exists some subsequence $$r_{j_k}\downarrow 0$$ such that

\begin{aligned} u_{r_{j_k}}^{x_\circ , t_\circ }\rightarrow p_2^{x_\circ , t_\circ }\quad \text {uniformly in compact sets}, \end{aligned}

for some parabolic 2-homogeneous caloric polynomial $$p_2^{x_\circ , t_\circ } = p_2^{x_\circ , t_\circ }(x, t)$$ (i.e., $$p_2(\lambda x, \lambda ^2 t) = \lambda ^2 p_2(x, t)$$ for $$\lambda > 0$$), which is a global solution to the parabolic Signorini problem. The existence of such polynomial, the uniqueness of the limit, and its properties, are shown in [12, Proposition 12.2, Lemma 12.3, Theorem 12.6]. Moreover, by the classification of free boundary points performed in  we know that

\begin{aligned} \Gamma (u) = \mathrm{Reg}(u) \cup \Gamma _{\ge 2}. \end{aligned}

In addition, by [38, Proposition 4.5] there are no free boundary points with frequency belonging to the interval $$(2, 2+ \alpha _\circ )$$ for some $$\alpha _\circ > 0$$ depending only on n. Thus,

\begin{aligned} \Gamma (u) = \mathrm{Reg}(u) \cup \Gamma _{2}\cup \Gamma _{\ge 2+\alpha _\circ }. \end{aligned}
(6.4)

### Proposition 6.3

The set $$\Gamma _2$$ defined as above is such that

\begin{aligned} \dim _{{\mathcal {H}}}(\Gamma _2\cap \{t = t_\circ \}) \leqq n-2,\quad \text {for a.e.}\quad t_\circ \in (-1, 0]. \end{aligned}

### Proof

We separate the proof into two steps.

Step 1. By [12, Theorem 12.6], we know that

\begin{aligned} {{\bar{u}}}^{x_\circ , t_\circ }(x, t) = p_2^{x_\circ , t_\circ }(x, t) + o(\Vert (x, t)\Vert ^2), \end{aligned}

where $$\Vert (x, t)\Vert = (|x|^2+|t|)^{1/2}$$ is the parabolic norm. Here $$p_2^{x_\circ , t_\circ }$$ is a polynomial, parabolic 2-homogeneous global solution to the parabolic Signorini problem. In particular, it is at most linear in time. On the other, since $$u_t \ge 0$$ everywhere, the same occurs with the parabolic blow-up up, i.e., $$p_2^{x_\circ , t_\circ }$$ is non-decreasing in time. All this implies that $$p_2^{x_\circ , t_\circ }$$ is actually constant in time, so that we have that $$p_2^{x_\circ , t_\circ } = p_2^{x_\circ , t_\circ }(x)$$ is an harmonic, second-order polynomial in x, non-negative on the thin space $$\{x_{n+1} = 0\}$$, and we have

\begin{aligned} {{\bar{u}}}^{x_\circ , t_\circ }(x, t) = p_2^{x_\circ , t_\circ }(x) + o(\Vert (x, t)\Vert ^2). \end{aligned}

On the other hand, also from [12, Theorem 12.6], $$\Gamma _2 \ni (x_\circ , t_\circ )\mapsto p_2^{x_\circ , t_\circ }$$ is continuous. These last two conditions correspond to Proposition 3.1 and Proposition 3.2 from the elliptic case. In particular, one can apply Whitney’s extension theorem as in Proposition 3.3 to obtain that the set

\begin{aligned} \pi _x \Gamma _2 := \{ x\in {\mathbb {R}}^{n+1} : (x, t) \in \Gamma _2\text { for some}\, t \in (-1, 0] \}, \end{aligned}

is contained in the countable union of $$(n-1)$$-dimensional $$C^1$$ manifolds. That is,

\begin{aligned} \dim _{{\mathcal {H}}}(\pi _x \Gamma _2) \leqq n-1, \end{aligned}

$$\pi _x \Gamma _2$$ is $$(n-1)$$-dimensional.

Step 2. Thanks to Step 1, and by Proposition 6.2 with $$\kappa = 2$$, proceeding analogously to Theorem 4.4 by means of Lemma 4.1, we reach the desired result. $$\square$$

### Proposition 6.4

Let $$a > 0$$. Then,

\begin{aligned} \dim _{{\mathcal {H}}}(\Gamma _{\ge 2+a}\cap \{t = t_\circ \}) \leqq n-1-a,\quad \text {for a.e.}\quad t_\circ \in (-1, 0], \end{aligned}

### Proof

The result follows by Proposition 6.2 with $$\kappa = 2+a$$, proceeding analogously to Theorem 4.4 by means of Lemma 4.1. $$\square$$

We can now give the proof of the main result regarding the parabolic Signorini problem.

### Proof of Theorem 1.4

Is a direct consequence of (6.4), Proposition 6.3, and Proposition 6.4 with $$a = \alpha _\circ$$ depending only on n, given by [38, Proposition 4.5]. The regularity of the free boundary follows from [12, Theorem 11.6]. $$\square$$