Positive solutions of nonlinear problems involving the square root of the Laplacian (Q981624)

From MaRDI portal
Revision as of 23:15, 2 July 2024 by ReferenceBot (talk | contribs) (‎Changed an Item)
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
scientific article
Language Label Description Also known as
English
Positive solutions of nonlinear problems involving the square root of the Laplacian
scientific article

    Statements

    Positive solutions of nonlinear problems involving the square root of the Laplacian (English)
    0 references
    0 references
    0 references
    1 July 2010
    0 references
    The authors study the existence and regularity results of positive solutions for nonlinear problem containing the square root of the Laplacian \(A_{\frac{1}{2}}u=f(u)\) \((A_{\frac{1}{2}}\) stands for the square root of the operator \(-\triangle\) in a bounded domain \(\Omega\)) with zero Dirichlet boundary conditions. Among other results they prove: Theorem 1.1 (The existence result). Let \(n\geq 1\) be an integer and \(2^{\sharp}=\frac{2n}{n-1}\) when \(n\geq 2\). Suppose that \(\Omega\) is a smooth bounded domain in \(\mathbb R^n\) and \(f(u)=u^p\). Assume that \(1<p<2^{\sharp}-1=\frac{n+1}{n-1}\) if \(n\geq 2\), or that \(1<p<\infty\) if \(n=1\). Then, problem admits at least one solution. This solution (as well as every weak solution) belongs to \(C^{2,\alpha}(\overline{\Omega})\) for some \(0<\alpha <1\). Theorem 1.3 (A priori estimates of Gidas-Spruck type). Let \(n\geq 2\) and \(2^{\sharp}=\frac{2n}{n-1}\). Assume that \(\Omega \subset\mathbb R^n\) is a smooth bounded domain and \(f(u)=u^p\), \(1<p<2^{\sharp}-1=\frac{n+1}{n-1}\). Then there exists a constant \(C(p,\Omega)\), which depends only on \(p\) and \(\Omega\), such that every weak solution of the problem satisfies \(\|u\|_{L^{\infty}(\Omega)}\leq C(p,\Omega)\). Theorem 1.6 (Symmetry results of Gidas-Ni-Nirenberg type). Assume that \(\Omega\) is a bounded smooth domain of in \(\mathbb{R}^n\) which is convex in the \(x_1\) direction and symmetric with respect to the hyperplane \(\{x_1=0\}\). Let \(f\) be Lipschitz continuous and \(u\) be a \(C^{2,\alpha}(\overline{\Omega})\) solution of the problem. Then \(u\) is symmetric with respect to \(x_1\), i.e., \(u(-x_1, x')=u(x_1, x')\) for all \((x_1, x')\in \Omega\). In addition, \(\frac{\partial u}{\partial x_1}<0\) for \(x_1>0\). In particular, if \(\Omega=B_R(0)\) is a ball, then \(u\) is radially symmetric, \(u=u(|x|)=u(r)\) for \(r=|x|\), and it is decreasing, i.e., \(u_r<0\) for \(0<r<R\). The introduction contains a detailed review of earlier results and a comparison with the results obtained in the reviewed article.
    0 references
    fractional Laplacian
    0 references
    critical exponent
    0 references
    nonlinear mixed boundary problem
    0 references
    a priori estimates
    0 references
    nonlinear Liouville theorems
    0 references
    moving planes method
    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