[論文レビュー] Dependence on parameters for discrete second order boundary value problems

Marek Galewski|arXiv (Cornell University)|Dec 28, 2009

Nonlinear Differential Equations Analysis参考文献 10被引用数 4

ひとこと要約

本稿は、変分的アプローチを用いて、離散的2階境界値問題における解の関数的パラメータへの連続的依存性を調査する。作用汎関数の強凸性を確立することで、収束するパラメータ列が収束する解列を誘導することを証明し、安定性および正の解の存在を保証する。応用例として、離散的エムデン＝フウラー方程式が取り上げられる。

ABSTRACT

We investigate the dependence on parameters for second order difference equations with two point boundary value conditions by using a variational method in case when the corresponding Euler action functional is coercive. Some applications for discrete Emden-Fowler equation are also given.

研究の動機と目的

• 離散的2階境界値問題における解の関数的パラメータへの連続的依存性を分析すること。
• 変分法を用いて、パラメータ列の収束のもとで解の安定性を確立すること。
• 離散的エムデン＝フウラー型方程式における正の解の存在および正則性に関する結果を拡張すること。
• 位相的および下上解法とは補完的な、パラメータ依存性のための変分的枠組みを提供すること。
• 強凸作用汎関数の最小化子がパラメータ収束の下で収束することを証明し、構造的安定性を保証すること。

提案手法

• 有限次元ヒルベルト空間上でのGâteaux微分可能で強凸な作用汎関数の最小化として、離散的2階境界値問題を定式化する。
• 変分法を用いて、各固定パラメータ関数 $ u \in L_M $ に対して少なくとも1つの最小化子（解）の存在を証明する。
• 汎関数の強凸性と連続性を適用し、$ u \in L_M $ 全体にわたる解集合の有界性を保証する。
• コンパクト性の議論と $ \mathbb{R}^T $ における弱収束を用いて、収束するパラメータ列に対応する解の収束部分列を抽出する。
• オイラー＝ラグランジュ方程式と作用汎関数の最小化の間の同値性を用いて、解を臨界点に関連付ける。
• 変分法の直接法を用いて、パラメータ収束のもとでの解の存在および収束を証明する。

実験結果

リサーチクエスチョン

• RQ1 離散的2階境界値問題の解が、関数的パラメータに連続的に依存するための条件は何か？
• RQ2 変分法を用いて、パラメータ収束のもとでの解の安定性をどのように確立できるか？
• RQ3 変分的技法を用いて、離散的エムデン＝フウラー型方程式における正の解の存在を保証するための条件は何か？
• RQ4 作用汎関数の強凸性が、パラメータ列の収束に伴う解列の収束を保証できるか？
• RQ5 非線形関数 $ f(k,x,u) $ に対する符号制御や成長条件（例：A2）などの仮定が、解の安定性にどのように影響するか？

主な発見

• 任意の収束するパラメータ列 $ \{u_n\} \to \overline{u} $ に対して、$ \overline{u} $ をパラメータとする問題の解 $ \overline{x} $ に収束する解の部分列 $ \{x_{n_i}\} $ が存在する。
• 解集合 $ V_u $ は空でなく、すべての $ u \in L_M $ に対して一様有界であるため、パラメータ変動のもとでコンパクト性と安定性が保証される。
• 作用汎関数 $ J_u $ は $ E $ 上で強凸的かつ連続的であり、少なくとも1つの最小化子が存在し、離散的境界値問題を満たすことが保証される。
• $ M + Q $ が正定値であり、$ f $ が亜臨界成長条件を満たすとき、汎関数は強凸のままであり、非自明な解の存在を保証する。
• 変分的アプローチは、位相的手法とは異なり、パラメータ依存性の体系的解析を可能にし、安定性証明のための枠組みを提供する。
• 具体例により、A2（符号制御）のような標準的仮定が成立しない場合でも、代替条件（例：A4、A6）が正の解の存在および安定性を保証できることが示される。