ABSTRACT
In this paper, we prove convexity of super-level sets of a semi-linear PDE with a non-monotone right-hand side, and with a free boundary
(1)
(1) Here D is assumed to be convex, and
. The main difficulty of this problem is that the right-hand side is non-monotone and no a-priori regularity is known about the boundary
.
2010 MATHEMATICS SUBJECT CLASSIFICATION:
Acknowledgments
I would like to thank Professor Henrik Shahgholian for his careful reading of the first draft of this paper and for making several valuable comments especially concerning the regularity theory of free boundaries and the relevant references. I would also like to thank the referees for carefully reading this manuscript and for their constructive comments.
Disclosure statement
No potential conflict of interest was reported by the authors.
ORCID
Layan El Hajj http://orcid.org/0000-0003-1865-2843
Notes
1 In the sets and
, we can make variations in both directions (upwards and downwards) and obtain the Euler equations as stated in (Equation2
(2)
(2) ) in these sets. Hence
, where
,
are measures supported on
respectively
. To obtain the Euler equation in (Equation2
(2)
(2) ), it suffices to prove these measures are zero. This can be shown by proving that the measures are bounded functions. A similar analysis as in [Citation12], Section 3 gives the bound of these measures.
2 The energy is strictly decreased under spherical rearrangement, unless the solution is already spherical.
3 For n = 2, we should take
4 In [Citation8], the authors assume the r.h.s. to be continuous whereas in [Citation7], no such assumption is made. We remark that the continuity of the r.h.s. is not needed in the proof since the viscosity theory applies to equations with measurable coefficients, see e.g. [Citation13].
5 It should be remarked that the argument in Theorem 2.4 to show does not extend in an obvious manner to nonlinear operators, specially to p-Laplacian, whereas the method of [Citation7] does.
6 This follows from the fact that maximum of the largest sub-solution is also a solution.