Analyticity of $s$-minimal surfaces
Open
Posted online: 2018-07-02 18:09:47Z by Enrico Valdinoci59
Cite as: P-180702.4
General Description View the group
Let $\Omega$ be a bounded, open subset of ${\mathbb{R}}^n$ (say, with sufficiently regular boundary) and $s\in(0,1)$. In [Caffarelli-Roqueljoffre-Savin 2010] one investigates the problem of the local minimization of the $s$-perimeter functional $$ {\rm Per}_s(E,\Omega):= I_s(E\cap\Omega, E^c\cap\Omega)+I_s(E\cap \Omega,E^c\cap\Omega^c)+I_s(E\cap\Omega^c,E^c\cap\Omega),$$ where $E^c:={\mathbb{R}}^n\setminus E$, $\Omega^c:={\mathbb{R}}^n\setminus \Omega$ and $$ I_s(A,B):=\iint_{A\times B} \frac{dx\, dy}{|x-y|^{n+s}},\qquad{\mbox{for all $A, B\subseteq{\mathbb{R}}^n$ with $A\cap B=\varnothing$.}}$$ The above local minimization occurs among all competitiors $F\subseteq{\mathbb{R}}^n$ with $F\setminus\Omega=E\setminus\Omega$. Minimizers are often called $s$-minimal surfaces (or nonlocal, or fractional, minimal surfaces). When the minimizer is a graph with respect to a certain direction, it is called an $s$-minimal graph. Minimizers with a cone structure are called $s$-minimal cones.
See e.g. [Cozzi-Figalli, 2017] and [Dipierro-Valdinoci, 2018] for reviews on this subject.
The problems proposed in this list focus on the interior and boundary behaviors of nonlocal minimal surfaces.
Problem's Description
Are locally Lipschitz $s$-minimal surfaces locally analytic?
In [Figalli-Valdinoci, 2017] it is shown that Lipschitz implies $C^{1,\alpha}$ for any $\alpha < s$. In [Barrios-Figalli-Valdinoci, 2004], it is shown that $C^{1,\alpha}$ with $\alpha>s/2$ implies $C^\infty$. All in all, we know that Lipscitz implies $C^\infty$ (see Theorem 1.1 in [Figalli-Valdinoci, 2017]), but analyticity is open.
No solutions added yet
Created at: 2018-07-02 18:09:47Z
No remarks yet