[論文レビュー] Matrix Lyapunov inequalities for ordinary and elliptic partial differential equations

A. Cañada, Salvador Villegas|ArXiv.org|Jun 5, 2009

Nonlinear Differential Equations Analysis参考文献 18被引用数 3

ひとこと要約

本稿は、すべての p ≥ 1 に対して、ノイマン境界条件を満たす線形常微分方程式系および楕円型偏微分方程式系の最適 Lp リャプノフ型不等式を確立する。最良のリャプノフ定数を最小化問題に関連付けることで、古典的な L∞ 結果を一般 Lp 桁に拡張し、シューアダーの不動点定理を用いて、ODE および PDE の両分野における共鳴非線形問題の解の存在および一意性を証明する。

ABSTRACT

This paper is devoted to the study of $L_p$ Lyapunov-type inequalities for linear systems of equations with Neumann boundary conditions and for any constant $p \geq 1$. We consider ordinary and elliptic problems. The results obtained in the linear case are combined with Schauder fixed point theorem to provide new results about the existence and uniqueness of solutions for resonant nonlinear problems. The proof uses in a fundamental way the nontrivial relation between the best Lyapunov constants and the minimum value of some especial minimization problems.

研究の動機と目的

• すべての p ≥ 1 に対して、ノイマン境界条件を満たす ODE および楕円型 PDE の線形系に対する最適 Lp リャプノフ型不等式を導出すること。
• 古典的な L∞ リャプノフ不等式を、p = 1 および p = ∞ を含む Lp 範囲全般に一般化すること。
• 最良のリャプノフ定数と特定の最小化問題の最小値との間の関係を確立すること。
• 線形結果をシューアダーの不動点定理を用いて非線形共鳴問題に応用し、解の存在および一意性を保証すること。
• 行列値係数のより広いクラスおよび各成分における混合 Lpi 範囲への一般化を、既存の L∞ 不等式の研究から拡張すること。

提案手法

• A(x) が対称行列であるとき、u''(x) + A(x)u(x) = 0 およびノイマン条件 u'(0) = u'(L) = 0 の Lp リャプノフ不等式を導出する。
• A(x) ≤ B(x) を満たす対角優勢行列 B(x) = diag(b11(x), ..., bnn(x)) を導入し、各 i に対して bii+(x) の Lpi 範囲を評価する。
• 固有値の変分的特徴づけおよび最小化問題を用いて、最良のリャプノフ定数を bii+ の Lpi 範囲に関連付ける。
• 非線形問題 Δu + Gu(x,u) = 0 およびノイマン境界条件にシューアダーの不動点定理を適用する。
• 係数行列 D(x,u) = ∫₀¹ Guu(x,θu)dθ を用いた線形化問題の解を u から写像する解作用素 T を構成する。
• Sobolev埋没 W^{2,q}(Ω) ⊂ C(Ω) および Lpi(Ω) における弱収束を用いて、解作用素 T の有界性およびコンパクト性を証明する。

実験結果

リサーチクエスチョン

• RQ1 すべての p ≥ 1 に対して、ノイマン境界条件を満たす線形 ODE 系に対する最適 Lp リャプノフ型不等式は何か？
• RQ2 最良のリャプノフ定数は、対角行列成分の正の部分の Lpi 範囲を含む最小化問題によってどのように特徴づけられるか？
• RQ3 Lp リャプノフ不等式を用いて、共鳴非線形 ODE および PDE 系の解の存在および一意性を確立できるか？
• RQ4 異なる成分に対して異なる p_i をとる混合 Lpi 範囲は、古典的な L∞ 結果を一般化する上で果たす役割は何か？
• RQ5 ヘッシアン Guu(x,u) にどのような条件下で、非線形ノイマン問題 Δu + Gu(x,u) = 0 が一意解を持つのか？

主な発見

• 各 i ∈ {1, ..., n} に対して、‖bii+‖_{p_i} < β_{p_i} かつ ∫_Ω ⟨A(x)k, k⟩ dx > 0 がすべての k ≠ 0 に対して成り立つならば、ノイマン条件を満たす線形問題 u'' + A(x)u = 0 は自明解しか持たない。
• 臨界定数 β_{p_i} は最小化問題から導出され、Lp_i 意味で最良の境界を表す。
• ノイマン条件を満たす非線形楕円型問題 Δu + Gu(x,u) = 0 に対して、A(x) ≤ Guu(x,u) ≤ B(x) かつすべての i に対して ‖bii+‖_{p_i} < β_{p_i} が成り立つならば、一意解が存在する。
• 各成分に対して異なる p_i ∈ (N/2, ∞] を許容することで、従来の L∞ 結果をより柔軟かつ応用範囲を広げる形で一般化した。
• 解の存在の証明は、完全連続かつ有界な解作用素にシューアダーの不動点定理を適用することで行われる。
• 一意性は、任意の二つの解が Lp リャプノフ不等式を満たす線形化問題を導くことにより示され、差がゼロであることが保証される。