Strong Laplace Hopf-lemma conjecture for ordered graph functions

Let uvu\ge v be in C(Ω)C^\infty(\overline\Omega), where Ω\Omega is the domain specified earlier in the source. Assume u>0u>0, v>0v>0, and ut>0u_t>0 in Ω\Omega, with u(0,y)=0u(0,y)=0 for y<1|y|<1. Whenever u(t,y)=v(s,y)u(t,y)=v(s,y) for 0<ts<10<t\le s<1, assume

Δu(t,y)Δv(s,y).\Delta u(t,y)\le\Delta v(s,y).

Strong Laplace Hopf-lemma conjecture. If, in addition, ut(0,0)=0u_t(0,0)=0, then

uvin Ω.u\equiv v\quad\text{in }\Omega.

This is the stronger of two conjectures attributed to Li and Nirenberg; the source presents variations of the Hopf Lemma as open problems and gives no resolution for this statement.

Sources & referencesView supporting material

Primary source

YanYan Li, “Symmetry of hypersurfaces and the Hopf Lemma”, arXiv:2205.04629 (2022).

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.