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

From MaRDI portal

!

This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use the normal view instead:

scientific article; zbMATH DE number 5729705
Language Label Description Also known as
default for all languages
No label defined
    English
    Positive solutions of nonlinear problems involving the square root of the Laplacian
    scientific article; zbMATH DE number 5729705

      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

      Identifiers

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