English

$C^\infty$ regularity in semilinear free boundary problems

Analysis of PDEs 2024-07-31 v1

Abstract

We study the higher regularity of solutions and free boundaries in the Alt-Phillips problem Δu=uγ1\Delta u=u^{\gamma-1}, with γ(0,1)\gamma\in(0,1). Our main results imply that, once free boundaries are C1,αC^{1,\alpha}, then they are CC^\infty. In addition u/d22γu/d^{\frac{2}{2-\gamma}} and u2γ2u^{\frac{2-\gamma}{2}} are CC^\infty too. In order to achieve this, we need to establish fine regularity estimates for solutions of linear equations with boundary-singular Hardy potentials Δv=κv/d2-\Delta v = \kappa v/d^2 in Ω\Omega, where dd is the distance to the boundary and κ14\kappa\leq\frac{1}{4}. Interestingly, we need to include even the critical constant κ=14\kappa=\frac{1}{4}, which corresponds to γ=23\gamma=\frac{2}{3}.

Keywords

Cite

@article{arxiv.2407.20426,
  title  = {$C^\infty$ regularity in semilinear free boundary problems},
  author = {Daniel Restrepo and Xavier Ros-Oton},
  journal= {arXiv preprint arXiv:2407.20426},
  year   = {2024}
}

Comments

37 pages

R2 v1 2026-06-28T17:57:34.502Z