[論文レビュー] Sharp criteria of Liouville type for some nonlinear systems

Yutian Lei, Congming Li|arXiv (Cornell University)|Jan 26, 2013

Nonlinear Partial Differential Equations参考文献 25被引用数 23

ひとこと要約

この論文は、非線形HLS型系、Lane-Emden方程式、Wolff型積分方程式、およびγ-Laplace方程式に対して、正の解が存在しないための鋭い条件を確立する。著者らは、新規の反復スキーム、新しいシューティング法、および積分・微分型Pohozaev恒等式を用いて、存在および非存在の必要十分条件を導出し、2k階系では臨界指数 $rac{n+2k}{n-2k}$ が閾値を決定し、連立系では $rac{1}{p+1} + rac{1}{q+1} \ leq rac{n-2k}{n}$ が成り立つ。

ABSTRACT

In this paper, we establish the sharp criteria for the nonexistence of positive solutions to the Hardy-Littlewood-Sobolev (HLS) type system of nonlinear equations and the corresponding nonlinear differential systems of Lane-Emden type equations. These nonexistence results, known as Liouville type theorems, are fundamental in PDE theory and applications. A special iteration scheme, a new shooting method and some Pohozaev type identities in integral form as well as in differential form are created. Combining these new techniques with some observations and some critical asymptotic analysis, we establish the sharp criteria of Liouville type for our systems of nonlinear equations. Similar results are also derived for the system of Wolff type integral equations and the system of $γ$-Laplace equations. A dichotomy description in terms of existence and nonexistence for solutions with finite energy is also obtained.

研究の動機と目的

• 非線形HLS型およびLane-Emden型方程式の系に対して、正の解が存在しないための鋭い必要十分条件を確立すること。
• $k=1$ および $n \geq 5$ の場合に、Lane-Emden系の存在／非存在に関する長年の未解決問題を解消し、既知の結果を拡張すること。
• 非局所的および高階非線形系を扱うために、具体的には新規の反復スキームおよび新しいシューティング法を含む、新たな解析的ツールを開発すること。
• 同じフレームワークを用いて、Wolff型積分方程式および $\gamma$-Laplace系の解の分類を拡張すること。
• 有限エネルギー解を用いた二分法的記述を提供し、臨界指数によって存在と非存在を区別すること。

提案手法

• 分数階ラプラシアンおよび高階作用素を含む非線形系の解の漸近的挙動を分析するための新規の反復スキームを導入する。
• 臨界成長を示す系に特化した新規のシューティング法を開発し、解の減衰および爆発的挙動を制御可能にする。
• 対称性およびエネルギー制約を活用するため、Pohozaev型恒等式の積分形および微分形を導出する。
• 臨界的漸近的解析を適用し、解の無限遠における挙動と可積分性および減衰率を結びつける。
• 積分形の動く平面法を用いて、可積分性の仮定の下で解の径対称性および単調性を確立する。
• これらの技法を星型領域における境界値解析と組み合わせ、エネルギー型恒等式を用いた背理法による非存在証明を導出する。

実験結果

リサーチクエスチョン

• RQ1 $&#x2112}^n$ における $2k$ 階Lane-Emden系 $(-\Delta)^k u = v^q$, $(-\Delta)^k v = u^p$ に対して、正の解が存在しないための $p$, $q$, $k$ の指数に関する必要十分条件は何か？
• RQ2 臨界指数 $rac{n+2k}{n-2k}$ および $rac{1}{p+1} + rac{1}{q+1} = rac{n-2k}{n}$ が、このような系における存在と非存在の閾値をどのように決定するか？
• RQ3 古典的Lane-Emden方程式から、HLSおよびWolff積分型を含むより一般的な系へと、鋭い非存在結果を拡張可能か？
• RQ4 積分形および微分形の両方の新規Pohozaev型恒等式が、非局所的および高階系におけるLiouville型定理の証明に果たす役割は何か？
• RQ5 有限エネルギー解はどのように振る舞い、このクラスにおける存在と非存在の二分法的関係は何か？

主な発見

• $&#x2112}^n$ における $2k$ 階系 $(-\Delta)^k u = v^q$, $(-\Delta)^k v = u^p$ に対して、正の解の対が存在するための必要十分条件は $\frac{1}{p+1} + \frac{1}{q+1} \leq \frac{n-2k}{n}$ であり、$k \in [1, \frac{n}{2})$ は整数である。
• 単一の式 $(-\Delta)^k u = u^p$ に対して、臨界指数 $\frac{n+2k}{n-2k}$ は鋭いものであり、解が存在するのは $p \geq \frac{n+2k}{n-2k}$ の場合に限る。
• $k=1$ および $n \leq 4$ の場合、系に正の解が存在するのは $\frac{1}{p+1} + \frac{1}{q+1} \leq \frac{n-2}{n}$ のときであり、低次元におけるLane-Emden予想を確認する。
• 著者らは、エネルギー恒等式から得られる背理法を用いて、星型領域におけるNavier型境界値問題に正の径対称解が存在しないことを証明した。
• 二分法的記述が確立された：有限エネルギー解が存在するのは、指数条件 $\frac{1}{p+1} + \frac{1}{q+1} \leq \frac{n-2k}{n}$ が成り立つ場合に限る。これにより完全な分類が得られた。
• 結果はWolff型積分方程式および $\gamma$-Laplace系へと拡張され、同じ臨界指数条件が存在と非存在を支配することが示された。