The free boundary for semilinear problems with highly oscillating singular terms (2405.10418v2)
Abstract: We investigate general semilinear (obstacle-like) problems of the form $\Delta u = f(u)$, where $f(u)$ has a singularity/jump at ${u=0}$ giving rise to a free boundary. Unlike many works on such equations where $f$ is approximately homogeneous near $u = 0$, we work under assumptions allowing for highly oscillatory behavior. We establish the $C\infty$ regularity of the free boundary $\partial {u>0}$ at flat points. Our approach is to first establish that flat free boundaries are Lipschitz, using a comparison argument with the Kelvin transform. For higher regularity, we study the highly degenerate PDE satisfied by ratios of derivatives of $u$, using changes of variable and then the hodograph transform. Along the way, we prove and make use of new Caffarelli-Peral type $W{1, p}$ estimates for such degenerate equations. Much of our approach appears new even in the case of Alt-Phillips and classical obstacle problems.
- The inhomogeneous boundary Harnack principle for fully nonlinear and p𝑝pitalic_p-Laplace equations. Ann. Inst. H. Poincaré C Anal. Non Linéaire, 40(1):133–156, 2023.
- A new boundary Harnack principle (equations with right hand side). Arch. Ration. Mech. Anal., 234(3):1413–1444, 2019.
- A free boundary problem for semilinear elliptic equations. J. Reine Angew. Math., 368:63–107, 1986.
- A theorem of real analysis and its application to free boundary problems. Comm. Pure Appl. Math., 38(5):499–502, 1985.
- Sun-Sig Byun. Elliptic equations with BMO coefficients in Lipschitz domains. Trans. Amer. Math. Soc., 357(3):1025–1046, 2005.
- Luis A. Caffarelli. The regularity of free boundaries in higher dimensions. Acta Math., 139(3-4):155–184, 1977.
- Fully nonlinear elliptic equations, volume 43 of American Mathematical Society Colloquium Publications. American Mathematical Society, Providence, RI, 1995.
- Luis A. Caffarelli and I. Peral. On W1,psuperscript𝑊1𝑝W^{1,p}italic_W start_POSTSUPERSCRIPT 1 , italic_p end_POSTSUPERSCRIPT estimates for elliptic equations in divergence form. Comm. Pure Appl. Math., 51(1):1–21, 1998.
- A free boundary problem with log-term singularity. Interfaces Free Bound., 19(3):351–369, 2017.
- D. De Silva and O. Savin. The Alt-Phillips functional for negative powers. Bull. Lond. Math. Soc., 55(6):2749–2777, 2023.
- C∞superscript𝐶C^{\infty}italic_C start_POSTSUPERSCRIPT ∞ end_POSTSUPERSCRIPT regularity of certain thin free boundaries. Indiana Univ. Math. J., 64(5):1575–1608, 2015.
- A note on higher regularity boundary Harnack inequality. Discrete Contin. Dyn. Syst., 35(12):6155–6163, 2015.
- Alessio Figalli. Free boundary regularity in obstacle problems, 2018.
- Differentiability of minima of nondifferentiable functionals. Invent. Math., 72(2):285–298, 1983.
- Enrico Giusti. Direct methods in the calculus of variations. World Scientific Publishing Co., Inc., River Edge, NJ, 2003.
- Juha Heinonen. Lectures on analysis on metric spaces. Universitext. Springer-Verlag, New York, 2001.
- Higher regularity of the free boundary in the obstacle problem for the fractional Laplacian. Adv. Math., 311:748–795, 2017.
- Regularity in free boundary problems. Ann. Scuola Norm. Sup. Pisa Cl. Sci. (4), 4(2):373–391, 1977.
- Optimal regularity for a two-phase obstacle-like problem with logarithmic singularity. Comm. Partial Differential Equations, 46(10):1831–1850, 2021.
- Regularity of free boundaries in obstacle-type problems, volume 136 of Graduate Studies in Mathematics. American Mathematical Society, Providence, RI, 2012.
- New boundary Harnack inequalities with right hand side. J. Differential Equations, 288:204–249, 2021.
- Aleksandrov and Kelvin reflection and the regularity of free boundaries. In Free boundary problems, volume 154 of Internat. Ser. Numer. Math., pages 391–401. Birkhäuser, Basel, 2007.
- Liouville type theorems and regularity of solutions to degenerate or singular problems part I: even solutions. Comm. Partial Differential Equations, 46(2):310–361, 2021.
- Clara Torres-Latorre. Parabolic boundary harnack inequalities with right-hand side, 2023.
- Chilin Zhang. On higher order boundary harnack and analyticity of free boundaries, 2023.