[論文レビュー] Convex Solutions of systems of Monge-Ampère equations

Haiyan Wang|arXiv (Cornell University)|Jul 18, 2010

Nonlinear Partial Differential Equations参考文献 8被引用数 6

ひとこと要約

本稿では、単位球におけるMonge-Ampère方程式の系に対して、錐上の不動点定理を用いて、非自明な径数的凸解の存在、多重性、非存在を確立する。主な貢献は、非線形項の原点および無限大における漸近的極限を特徴づけることで、源項における超線形的または準線形的成長が、λの適切なパラメータ範囲において解の存在を保証することを示したことである。

ABSTRACT

The existence and multiplicity and nonexistence of nontrivial radial convex solutions of systems of Monge-Ampère equations are established with superlinearity or sublinearity assumptions for an appropriately chosen parameter. The proof of the results is based on a fixed point theorem in a cone.

研究の動機と目的

• 単位球におけるMonge-Ampère方程式の系に対して、非自明な径数的凸解の存在、多重性、非存在を確立すること。
• 非線形項f^iの原点および無限大における漸近的挙動が解の存在に与える影響を分析すること。
• 解の存在、一意性、多重性に応じたλのパラメータ範囲を特定すること。
• 錐上の不動点理論を用いて、スカラーMonge-Ampère結果を系へと拡張すること。
• Monge-Ampère方程式の径数的構造を活用して、作用素に対する鋭い推定値を提供すること。

提案手法

• 径数的対称性と恒等式 det(D²u_i) = (1/(N r^{N-1})) ((u_i')^N)' を用いて、元のMonge-Ampère系を等価な常微分方程式系に変換する。
• 得られた常微分方程式系に対して、錐上の不動点定理を適用し、凸解の存在を証明する。
• 非線形項の成長率を正規化するために、φ(t) = t^N およびその逆関数 φ⁻¹(t) = t^{1/N} を用いる。
• f₀^i および f_∞^i をそれぞれ、‖𝐮‖ → 0 および ∞ のときの f^i(𝐮)/φ(‖𝐮‖) の極限として定義し、超線形的・準線形的挙動を分類する。
• 非線形項の系全体の成長挙動を特徴づけるために、𝔽₀ = ∑f₀^i および 𝔽_∞ = ∑f_∞^i を導入する。
• 異なるパラメータ領域における解のノルムを評価するために、積分推定と錐の性質を用いた背理法を用いる。

実験結果

リサーチクエスチョン

• RQ1 非線形項f^iがどのような条件下に、Monge-Ampère方程式系に非自明な径数的凸解を許容するか。
• RQ2 パラメータλが凸径数的解の存在および多重性にどのように影響するか。
• RQ3 f₀^i および f_∞^i の漸近的極限が解の挙動を決定づける役割を果たすか。
• RQ4 特定の成長条件のもとで、二つの異なる凸解の存在を保証できるか。
• RQ5 原点および無限大における非線形項の超線形的または準線形的挙動が、解の存在の臨界閾値λ₀にどのように影響するか。

主な発見

• 𝔽₀ = 0 かつ 𝔽_∞ = ∞ ならば、任意の λ > 0 に対して、系は非自明な凸解を有する。
• 𝔽₀ = ∞ かつ 𝔽_∞ = 0 ならば、任意の λ > 0 に対して、系は非自明な凸解を有する。
• 𝔽₀ = 0 または 𝔽_∞ = 0 ならば、ある λ₀ > 0 が存在し、すべての λ > λ₀ に対して、系は厳密凸解を有する。
• 𝔽₀ = ∞ または 𝔽_∞ = ∞ ならば、ある λ₀ > 0 が存在し、すべての 0 < λ < λ₀ に対して、系は厳密凸解を有する。
• 𝔽₀ = 𝔽_∞ = 0 ならば、ある λ₀ > 0 が存在し、すべての λ > λ₀ に対して、系は二つの厳密凸解を有する。
• 𝔽₀ = 𝔽_∞ = ∞ ならば、ある λ₀ > 0 が存在し、すべての 0 < λ < λ₀ に対して、系は二つの厳密凸解を有する。