imported>Luis: Created page with "''The thin obstacle problem'' refers to a classical free boundary problem which is a variation of the obstacle problem in which the obstacle provides a constraint on a surfac..."

2013-06-13T18:24:56Z

Created page with "''The thin obstacle problem'' refers to a classical free boundary problem which is a variation of the obstacle problem in which the obstacle provides a constraint on a surfac..."

New page

''The thin obstacle problem'' refers to a classical free boundary problem which is a variation of the [[obstacle problem]] in which the obstacle provides a constraint on a surface of co-dimension one only.

= Statement of the problem =
Given an elliptic operator $L$ (for example $L = \Delta$), a surface $S \subset \Omega$ and a smooth function $\varphi:S \to \R$, a solution to the ''thin obstacle problem'' is a function $u: \Omega \to \R$ such that
\begin{align*}
&Lu \leq 0 \text{ in } \Omega, \ \ (\text{supersolution in the whole domain})\\
&u \geq \varphi \text{ on } S, \ \ (\text{constrained to remain above the obstacle})\\
&Lu = 0 \text{ in } \Omega \setminus (S \cap \{u=\varphi\}). \ \ (\text{a solution wherever it does not touch the obstacle})
\end{align*}
Normally, the equation would be accompanied by a boundary condition on $\partial \Omega$.

In the case that $\Omega$ is a symmetric domain along the plane $S=\{x_1=0\}$, we may concentrate our study on functions $u$ which are even respect to $x_1$. In that case, the problem can be reformulated as
\begin{align*}
&Lu = 0 \text{ in } \Omega \cap \{x_1>0\}, \ \ (\text{solution on one side})\\
&u \geq \varphi \text{ on } \Omega \cap \{x_1=0\}, \ \ (\text{constrained to remain above the obstacle})\\
&\frac{\partial u}{\partial x_1} \leq 0 \text{ on } \Omega \cap \{x_1=0\}, \\
&\frac{\partial u}{\partial x_1} = 0 \text{ on } \Omega \cap \{x_1=0\} \cap \{u>\varphi\}. \ \ (\text{the Neumann condition would make the even reflection a solution across $\{x_1=0\}$})
\end{align*}

= Relationship with the [[fractional Laplacian]] =

If we study solutions of the thin obstacle problem in the full space $\Omega = \R^{d+1}$, which are even in $x_1$, and have a sufficiently fast decay at infinity, then the restriction to $\{y_1=0\}$: $\tilde u(x_2,\dots,x_{d+1}) = u(0,x_2,\dots,x_{d+1})$ is a solution to the [[obstacle problem for the fractional Laplacian]] in the case $s=1/2$ (half Laplacian). This is a simple consequence of the fact that the Dirichlet to Neumann map for the Laplace equation in the upper half space coincides with the square root of the Laplacian.

For other powers of the Laplacian, we can achieve a similar construction replacing $L = \Delta$ by a degenerate elliptic operator. This is a consequence of the [[extension technique]]. The thin obstacle problem
\begin{align*}
& \mathrm{div}(x_1^{1-2s} \nabla u) = 0 \text{ in } \{x_1>0\},\\
&u \geq \varphi \text{ on } \{x_1=0\}, \\
&\lim_{x_1 \to 0^+} \frac{u(x_1,x')}{x_1^{2s}} \leq 0 \text{ on } \{x_1=0\}, \\
&\lim_{x_1 \to 0^+} \frac{u(x_1,x')}{x_1^{2s}} = 0 \text{ on } \{x_1=0\} \cap \{u>\varphi\}.
\end{align*}
is equivalent after the restriction $\tilde u(x) = u(0,x)$ to the [[obstacle problem for the fractional Laplacian]] in $\R^d$.
\begin{align*}
& (-\Delta)^s u \leq 0 \text{ in } \R^d,\\
& (-\Delta)^s u = 0 \text{ in } \R^d \cap \{u>\varphi\},\\
& u \geq \varphi \text{ in } \R^d.
\end{align*}

= Regularity results =
== Optimal regularity of the solution ==
The solution will always have a jump on its derivatives across the surface $S$. However, it is more regular if we restricted to $S$, or if we focus our attention to one side of $S$ only. This is how we understand the optimal regularity of the solution.

For the classical thin obstacle problem with $L = \Delta$, the solution is as regular as the obstacle up to $C^{1,1/2}$ <ref name="MR2120184" /> <ref name="MR2367025" />. The proof is significantly harder than for the usual [[obstacle problem]] and requires the use of nontrivial monotonicity formulas.

For degenerate equations of the form $L = \mathrm{div}(x_1^{1-2s} \nabla \cdot)$, the solution is as regular as the obstacle up to $C^{1,s}$ <ref name="MR2367025" />.

== Regularity of the free boundary ==
The study of free boundary regularity is similar to the classical [[obstacle problem]]. The free boundary is $C^{1,\alpha}$ smooth, for some $\alpha>0$, wherever the free boundary satisfies some generic regularity conditions <ref name="MR2405165" /> <ref name="MR2367025" />. On the other hand, the singular points of the free boundary are contained inside a differentiable surface. <ref name="MR2511747" />

= Bibliography =
== References ==
{{reflist|refs=
<ref name="MR2120184">{{Citation | last1=Athanasopoulos | first1= I. | last2=Caffarelli | first2= L. A. | title=Optimal regularity of lower dimensional obstacle problems | url=http://dx.doi.org/10.1007/s10958-005-0496-1 | journal=Zap. Nauchn. Sem. S.-Peterburg. Otdel. Mat. Inst. Steklov. (POMI) | issn=0373-2703 | year=2004 | volume=310 | pages=49--66, 226 | doi=10.1007/s10958-005-0496-1}}</ref>
<ref name="MR2367025">{{Citation | last1=Caffarelli | first1= Luis A. | last2=Salsa | first2= Sandro | last3=Silvestre | first3= Luis | title=Regularity estimates for the solution and the free boundary of the obstacle problem for the fractional Laplacian | url=http://dx.doi.org/10.1007/s00222-007-0086-6 | journal=Invent. Math. | issn=0020-9910 | year=2008 | volume=171 | pages=425--461 | doi=10.1007/s00222-007-0086-6}}</ref>
<ref name="MR2405165">{{Citation | last1=Athanasopoulos | first1= I. | last2=Caffarelli | first2= L. A. | last3=Salsa | first3= S. | title=The structure of the free boundary for lower dimensional obstacle problems | url=http://dx.doi.org/10.1353/ajm.2008.0016 | journal=Amer. J. Math. | issn=0002-9327 | year=2008 | volume=130 | pages=485--498 | doi=10.1353/ajm.2008.0016}}</ref>
<ref name="MR2511747">{{Citation | last1=Garofalo | first1= Nicola | last2=Petrosyan | first2= Arshak | title=Some new monotonicity formulas and the singular set in the lower dimensional obstacle problem | url=http://dx.doi.org/10.1007/s00222-009-0188-4 | journal=Invent. Math. | issn=0020-9910 | year=2009 | volume=177 | pages=415--461 | doi=10.1007/s00222-009-0188-4}}</ref>
}}

Thin obstacle problem - Revision history

imported>Luis: Created page with "''The thin obstacle problem'' refers to a classical free boundary problem which is a variation of the obstacle problem in which the obstacle provides a constraint on a surfac..."