Flat-implies-Lipschitz conjecture with a small concentric hole

Let uu be a classical solution to the one-phase free-boundary problem in the punctured ball B1Bδ\mathbb{B}_1\setminus\mathbb{B}_\delta, with contractible positive and zero phases. Flat-implies-Lipschitz conjecture with a spherical hole. There are absolute constants δ0>0\delta_0>0, ϵ>0\epsilon>0, and CC such that, whenever δδ0\delta\le\delta_0 and, for every x=(x1,x2,x3)B1Bδx=(x_1,x_2,x_3)\in\mathbb{B}_1\setminus\mathbb{B}_\delta,

x3>ϵ    u(x)>0,x3<ϵ    u(x)=0,x_3>\epsilon\implies u(x)>0,\qquad x_3<-\epsilon\implies u(x)=0,

the free boundary satisfies

F(u)B1/C{x>Cδ}={xB1/C:x3=g(x1,x2), x>Cδ}F(u)\cap\mathbb{B}_{1/C}\cap\{|x|>C\delta\}=\{x\in\mathbb{B}_{1/C}:x_3=g(x_1,x_2),\ |x|>C\delta\}

for some g:R2Rg:\mathbb{R}^2\to\mathbb{R} with g1/100|\nabla g|\le 1/100.

This is the spherical-hole analogue of the preceding flat-implies-Lipschitz formulation. The source says that such solutions should resemble a half-space solution or one half of the solution constructed by Liu and collaborators.

Sources & referencesView supporting material

Primary source

David S. Jerison and Nikola Kamburov, “Free boundaries subject to topological constraints”, arXiv:1902.00158 (2019).

Progress summary

Never refreshed

Nothing recorded yet. Refresh searches the literature and the public web for attempts on this problem, and writes the first summary here.

Solutions 0

No solutions have been posted yet.