Regularity and geometric estimates for minima of discontinuous functionals

From MaRDI portal
Publication:2340461



Abstract: In this paper we study nonnegative minimizers of general degenerate elliptic functionals, intF(X,u,Du)dXomin, for variational kernels F that are discontinuous in u with discontinuity of order simchiu>0. The Euler-Lagrange equation is therefore governed by a non-homogeneous, degenerate elliptic equation with free boundary between the positive and the zero phases of the minimizer. We show optimal gradient estimate and nondegeneracy of minima. We also address weak and strong regularity properties of free boundary. We show the set u>0 has locally finite perimeter and that the reduced free boundary, partialextredu>0, has mathcalHn−1-total measure. For more specific problems that arise in jet flows, we show the reduced free boundary is locally the graph of a C1,gamma function.


In this paper, the authors study the existence, the regularity and qualitative properties of minimisers of the functional \[ E(u)=\int_\Omega F(\cdot,u,Du) \] in the Sobolev space \(W^{1,p}_\phi(\Omega)\). The assumptions on \(F\) roughly require that it behaves like \[ F(x,u,\xi)=|\xi|^{p-2}A(x):\xi \otimes \xi \;+\;f(x) \big(\max\{u,0\}\big)^m\;+\;Q(x)\chi_{\{u>0\}}(x), \] where \(A\) is continuous and elliptic, \(f\) is \(L^\infty\), \(Q\) is Hölder continuous and \(m>p\). The paper contains many interesting results, including regularity estimates for both \(u\) and the (reduced) boundary of \(\{u>0\}\), utilising a combination of measure theoretic and PDE tools. It extends previous results due to \textit{H. W. Alt} and \textit{L. A. Caffarelli} [J. Reine Angew. Math. 325, 105--144 (1981; Zbl 0449.35105)] and \textit{D. Danielli} and \textit{A. Petrosyan} [Calc. Var. Partial Differ. Equ. 23, No. 1, 97--124 (2005; Zbl 1068.35187)] on simpler cases. The paper is very well written and relatively self-contained. A minor comment of the reviewer is that at certain points the notation is confusing (e.g., the use of \(X\) instead of \(x\) for the space variable, omitting \(x\) for some of the functions in the same formulas, etc.).




Cited in
(18)








This page was built for publication: Regularity and geometric estimates for minima of discontinuous functionals

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2340461)