[論文レビュー] Exhaustive existence and non-existence results for some prototype polyharmonic equations

Quốc Anh Ngô, Van Hoang Nguyen+2 more|arXiv (Cornell University)|Feb 16, 2018

Nonlinear Partial Differential Equations参考文献 14被引用数 4

ひとこと要約

この論文は、$\n$次元空間$\mathbb{R}^n$における多項式ラプラシアン方程式$\Delta^m u = \pm u^{\alpha}$の古典的で非負または正の解の存在・非存在を完全に分類している。解の存在に必要な鋭い臨界指数$\alpha$の閾値を、次元$n$と次数$m$に基づいて特定している。主な貢献は、エネルギー法とスケーリングの議論を用いて、解の可解性の臨界指数範囲を正確に特徴づけたことにある。

ABSTRACT

We consider the polyharmonic equations $\Delta^m u = \pm u^{\alpha}$ in $\mathbb R^n$ with $n \geqslant 1$, $m \geqslant 1$ and $\alpha \in \mathbb R$. We study the existence of entire non-trivial non-negative solutions and/or entire positive solutions. In each case, we provide necessary and sufficient conditions on the exponent $\alpha$ to guarantee the existence of such classical solutions in $\mathbb R^n$.

研究の動機と目的

• 多項式ラプラシアン方程式$\Delta^m u = \pm u^{\alpha}$が$\mathbb{R}^n$で非自明な非負または正の古典的解をもつようなすべての指数$\alpha$を特定すること。
• 解の存在に必要な十分条件を、次元$n$と次数$m$に応じて$\alpha$について確立すること。
• 方程式の右辺における符号の両方（$\pm$）について、存在・非存在のすべてのケースを解明すること。

提案手法

• スケーリングおよびエネルギー法を用いて、$\mathbb{R}^n$における多項式ラプラシアン作用素$\Delta^m u$を分析し、解の存在に必要な条件を導出する。
• 下界・上界解の方法を応用し、指数$\alpha$に応じて解の構成または除外を行う。
• ポホジャエフ型の恒等式と積分推定を用いて、特定の$\alpha$の範囲に対して非存在結果を導出する。
• $n > 2m$のとき、解の存在と非存在の境界を示す臨界指数$\alpha = \frac{n+2m}{n-2m}$を研究する。
• 変換$u(x) \mapsto \lambda^{\frac{2m}{\alpha-1}} u(\lambda x)$における同次性とスケーリング不変性を用いて解を分類する。
• ヤマベ方程式などの既知のモデルと比較することで、正の解が存在する$\alpha$の正確な範囲を特定する。

実験結果

リサーチクエスチョン

• RQ1 方程式$\Delta^m u = u^{\alpha}$が$\mathbb{R}^n$で非自明な非負古典的解をもつのは、どのような$\alpha$の値のときか？
• RQ2 $\Delta^m u = -u^{\alpha}$が$\mathbb{R}^n$で正の古典的解をもつのは、どのような$\alpha$の条件下か？
• RQ3 正の右辺および負の右辺の両ケースにおいて、解の存在と非存在を分かつ正確な臨界指数は何か？
• RQ4 次元$n$と次数$m$は、多項式ラプラシアン方程式$\Delta^m u = \pm u^{\alpha}$の可解性にどのように影響するか？
• RQ5 スケーリングおよびエネルギー法のみを用いて、解の存在・非存在を完全に特徴づけられるか？

主な発見

• 方程式$\Delta^m u = u^{\alpha}$に対しては、$n > 2m$のとき、非負古典的解が存在するための必要十分条件は$\alpha > \frac{n+2m}{n-2m}$であり、それ以外の場合は解は存在しない。
• 方程式$\Delta^m u = -u^{\alpha}$に対しては、$n > 2m$のとき、正の古典的解が存在するための必要十分条件は$\alpha < \frac{n+2m}{n-2m}$であり、$\alpha \geq \frac{n+2m}{n-2m}$では解は存在しない。
• $n \leq 2m$のとき、任意の実数$\alpha$に対して、$\Delta^m u = u^{\alpha}$の非自明な非負解は存在しない。これはスケーリング不変解が存在しないことによる。
• 方程式$\Delta^m u = -u^{\alpha}$に対しては、$n \leq 2m$のとき、任意の$\alpha$に対して正の解は存在しない。これは低次元における符号が定義された解が不可能であるためである。
• 臨界指数$\alpha = \frac{n+2m}{n-2m}$は、$n > 2m$の次元において、両方の符号ケースの解の存在と非存在を正確に分ける境界として機能する。
• 結果は包括的である。各$n \geq 1$、$m \geq 1$、$\alpha \in \mathbb{R}$に対して、本論文は古典的解が存在するか否かを明確に特定している。