A comparison principle for the Lane-Emden equation and applications to geometric estimates (Q2132490)

From MaRDI portal
scientific article
Language Label Description Also known as
English
A comparison principle for the Lane-Emden equation and applications to geometric estimates
scientific article

    Statements

    A comparison principle for the Lane-Emden equation and applications to geometric estimates (English)
    0 references
    0 references
    0 references
    0 references
    28 April 2022
    0 references
    The paper deals with the nonlinear elliptic PDE (Lane-Emden equation) \[ -\Delta_p u=\alpha|u|^{q-2}u\text{ in }\Omega \] with boundary condition \(u=u_0\) on \(\partial\Omega\). The corresponding energy integral functional is \[ F_{q,\alpha}(u)=\int_\Omega\frac{1}{p}|\nabla u|^p-\alpha|u|^q\,dx, \] and in the paper the sub-homogeneous case \(1<q<p\) is considered. No regularity on the domain \(\Omega\) is assumed, and unbounded sets \(\Omega\) are also allowed. An important step in the paper is the \textit{hidden convexity principle}, consisting in the fact that the integral \(\int_\Omega|\nabla\psi|^p\,dx\) is convex along curves of the form \[ \big((1-t)\psi_0^q+t\psi_1^q\big)^{1/q}\text{ with }\psi_0,\psi_1\ge0. \] The main results in the paper deal with the following issues: -- uniqueness of minimizers for the energy functional \(F_{q,\alpha}\) when the boundary datum \(u_0\) is nonnegative; -- bounds for sign-changing solutions of the PDE above, in the case of homogeneous boundary conditions; -- sharp pointwise estimates for solutions, in terms of geometric quantities, when the domain \(\Omega\) is convex; -- sharp \(L^\infty\) estimates for solutions, when the domain \(\Omega\) is convex; -- sharp geometric estimates on the corresponding \textit{generalized principal frequencies}.
    0 references
    comparison principle
    0 references
    \(p\)-Laplacian
    0 references
    Lane-Emden equation
    0 references
    inradius
    0 references
    convex sets
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references

    Identifiers

    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references