[論文レビュー] Nonexistence of positive solutions for Henon equation

Jorge García-Melián|arXiv (Cornell University)|Mar 13, 2017

Nonlinear Partial Differential Equations参考文献 18被引用数 7

ひとこと要約

本稿は、$N \geq 3$、$\alpha > -2$、および$1 < p < \frac{N+2\alpha+2}{N-2}$の下で、$\mathbb{R}^N$におけるヘノン方程式$-\Delta u = |x|^\alpha u^p$の正の解の非存在を証明し、長年の予想を解決する。さらに、$-2 < \alpha < 0$の臨界ケース$p = \frac{N+2\alpha+2}{N-2}$において、すべての正の解を分類し、それらが$u(x) = C \left( \frac{\mu}{\mu^2 + |x|^{2+\alpha}} \right)^{\frac{N-2}{2+\alpha}}$の形をとることを示す。証明は、動平面法、安定性解析、および一次固有値の変分的特徴づけに依拠している。

ABSTRACT

We consider the semilinear elliptic equation $$ -Δu = |x|^αu^p \quad \hbox{in } \mathbb{R}^N, $$ where $N\ge 3$, $α&gt;-2$ and $p&gt;1$. We show that there are no positive solutions provided that the exponent $p$ additionally verifies $$ 1

研究の動機と目的

• ヘノン方程式の正の解の非存在に関する予想Aを、非臨界範囲$1 < p < \frac{N+2\alpha+2}{N-2}$の全域において解決すること。
• $p = \frac{N+2\alpha+2}{N-2}$および$-2 < \alpha < 0$のとき、すべての正の解を特徴づけること。
• $\alpha < 0$および$\alpha > 0$の両方の既存結果を、一つの包括的な証明枠組みに統合すること。
• 回転対称性や有界性の仮定を一切せずに、正の解が存在しないことを示すことにより、先行研究を拡張すること。

提案手法

• ケルビン変換を用いて双曲的設定における動平面法を応用し、解の対称性および単調性を分析すること。
• 線形化作用素$-\Delta - p|x|^\alpha u^{p-1}$の第一固有値を用いた安定性条件を用いて、非存在を導出すること。
• 第一固有値$\lambda_1^\Omega(-p|x|^\alpha u^{p-1}) > 0$の変分的特徴づけを用いて、$u$の安定性を確立すること。
• $\beta = \frac{2+\alpha}{p-1}$の下で$|x|^\beta u(x)$の挙動を分析し、単調性および有界性の性質を導出すること。
• 強い最大原理および爆発解析を用いて、対称面における導関数が0または負である解を除外すること。
• 問題を円柱座標系に変換し、$t$-変数における回転対称性の分析と動平面法の適用を行うこと。

実験結果

リサーチクエスチョン

• RQ1 ヘノン方程式$-\Delta u = |x|^\alpha u^p$は、$1 < p < \frac{N+2\alpha+2}{N-2}$および$\alpha > -2$の下で、$\mathbb{R}^N$に正の解をもつだろうか？
• RQ2 臨界ケース$p = \frac{N+2\alpha+2}{N-2}$かつ$-2 < \alpha < 0$におけるヘノン方程式のすべての正の解は、回転対称的であり、$u(x) = C \left( \frac{\mu}{\mu^2 + |x|^{2+\alpha}} \right)^{\frac{N-2}{2+\alpha}}$の形をしているだろうか？
• RQ3 正の解の非存在結果は、回転対称性の仮定や有界性の仮定を越えて拡張可能だろうか？
• RQ4 安定性条件は、非臨界領域における正の解の排除にどのように寄与するのか？
• RQ5 $\beta = \frac{2+\alpha}{p-1}$の下で$|x|^\beta u(x)$の挙動は、原点および無限遠における解の構造をどのように示唆するのか？

主な発見

• ヘノン方程式$-\Delta u = |x|^\alpha u^p$は、$N \geq 3$、$\alpha > -2$、および$1 < p < \frac{N+2\alpha+2}{N-2}$の下で、$\mathbb{R}^N$に正の解をもたない。これは、予想Aを、一般に完全に確認するものである。
• $-2 < \alpha < 0$および$p = \frac{N+2\alpha+2}{N-2}$の下で、すべての正の解は回転対称的であり、ある$\mu > 0$に対して、$u(x) = \left( \frac{4}{(\alpha+2)^2} \right)^{-\frac{N-2}{4}} (N(N-2))^{\frac{N-2}{4}} \left( \frac{\mu}{\mu^2 + |x|^{2+\alpha}} \right)^{\frac{N-2}{2+\alpha}}$として明示的に与えられる。
• 非臨界仮定の下で、解$u$は$\mathbb{R}^N$で安定である。これは、すべての有界領域$\Omega$に対して$\lambda_1^\Omega(-p|x|^\alpha u^{p-1}) > 0$が成り立つことによって裏付けられる。
• 関数$|x|^\beta u(x)$（$\beta = \frac{2+\alpha}{p-1}$）は$|x|$に関して非減少であり、単調性を示し、動平面法の応用に役立つ。
• 変換された円柱座標系における動平面法の適用により、$u$は任意の平面$\{x \cdot \nu = \lambda_0\}$に関して対称でなければならないことが示され、$-2 < \alpha < 0$の下で回転対称性が得られる。
• 臨界ケースで$-2 < \alpha < 0$の解に対して、$\int_{\mathbb{R}^N} |x|^\alpha u(x)^{p+1} dx < \infty$が成り立つ。これに既知の結果を組み合わせることで、$u$の明示的形が導かれる。