Table of Contents
Fetching ...

Optimal regularity & Liouville property for stable solutions to semilinear elliptic equations in $\mathbb R^n$ with $n\ge10$

Fa Peng, Yi Ru-Ya Zhang, Yuan Zhou

Abstract

Let $ 0\le f\in C^{0,1}(\mathbb R^n)$. Given a domain $Ω\subset \mathbb R^n$, we prove that any stable solution to the equation $-Δu=f(u)$ in $Ω$ satisfies a BMO interior regularity when $n=10$, and an Morrey $M^{p_n,4+2/(p_n-2)}$ interior regularity when $n\ge 11$, where $$p_n=\frac{2(n-2\sqrt{n-1}-2)}{n-2\sqrt{n-1}-4}. $$ This result is optimal as hinted by earlier results, and answers an open question raised by Cabré, Figalli, Ros-Oton and Serra. As an application, we show a sharp Liouville property: Any stable solution $u \in C^2(\mathbb R^n)$ to $-Δu=f(u)$ in $\mathbb R^n$ satisfying the growth condition, i.e.\ $|u(x)|= o\left( \log|x| \right)$ as $|x|\to+\infty$ when $n=10$; or $|u(x)|= o\left( |x| ^{ -\frac n2+\sqrt{n-1}+2 }\right)$ as $x|\to+\infty$ when $n\ge 11$, must be a constant. This extends the well-known Liouville property for radial stable solutions obtained by Villegas.

Optimal regularity & Liouville property for stable solutions to semilinear elliptic equations in $\mathbb R^n$ with $n\ge10$

Abstract

Let . Given a domain , we prove that any stable solution to the equation in satisfies a BMO interior regularity when , and an Morrey interior regularity when , where This result is optimal as hinted by earlier results, and answers an open question raised by Cabré, Figalli, Ros-Oton and Serra. As an application, we show a sharp Liouville property: Any stable solution to in satisfying the growth condition, i.e.\ as when ; or as when , must be a constant. This extends the well-known Liouville property for radial stable solutions obtained by Villegas.

Paper Structure

This paper contains 6 sections, 10 theorems, 106 equations.

Key Result

Theorem 1.1

Suppose that $f\in C^{0,1}({\mathbb R})$ is nonnegative. If $u\in C^2(B_1)$ is a stable solution to st-eq in $B_1$, then where Moreover, suppose additionally that $f$ is nondecreasing, and $\Omega$ be a bound domain of class $C^3$. If $u\in C^2(\Omega)\cap C^0(\overline \Omega)$ is a stable solution to st-eq in $\Omega$ with boundary $u=0$ on $\partial \Omega$, then

Theorems & Definitions (17)

  • Theorem 1.1: cf
  • Theorem 1.2
  • Corollary 1.3
  • Remark 1.4
  • Theorem 1.5
  • Theorem 1.6: v07
  • Lemma 1.7
  • Lemma 1.8
  • Proposition 1.9
  • Lemma 2.1
  • ...and 7 more