[論文レビュー] Multiple positive solutions to a fourth order boundary value problem

Alberto Cabada, Radu Precup+2 more|arXiv (Cornell University)|Nov 6, 2015

Nonlinear Differential Equations Analysis参考文献 11被引用数 6

ひとこと要約

本稿では、臨界点理論、錐型被覆領域におけるクラスノセルスキーの圧縮・拡張定理、および片側ハーナック型不等式を用いて、クランク・コンディションを満たす非線形4階2点境界値問題に対して正の解の存在および多重性を確立する。主な貢献は、非線形関数 f(t,u) に適切な成長条件を課した場合に、少なくとも2つの正の解が存在することの証明である。

ABSTRACT

We study the existence and multiplicity of positive solutions for a nonlinear fourth-order two-point boundary value problem. The approach is based on critical point theorems in conical shells, Krasnoselskii's compression-expansion theorem, and unilateral Harnack type inequalities.

研究の動機と目的

• クランク境界条件を満たす非線形4階2点境界値問題に対して、複数の正の解の存在を確立すること。
• 問題に関連する汎関数の臨界点を特定するために、錐型被覆領域における臨界点定理を適用すること。
• クラスノセルスキーの圧縮・拡張定理および片側ハーナック型不等式を用いて、多重性に関する結果を導出すること。
• 少なくとも2つの正の解が存在することを保証する非線形関数 f(t,u) に対する十分条件を提示すること。
• 導出された条件を満たす具体的な例を提示し、理論的結果の有効性を示すこと。

提案手法

• 埋め込み X ⊂ H を持つヒルベルト空間設定において、境界値問題を変分問題として定式化すること。
• BVPの解に対応する臨界点を有する X 上の C¹ 泛関数 E を定義すること。
• 修正されたパライス・スメル・シェクター条件および圧縮境界条件を満たすことで、錐型被覆領域における臨界点定理を適用すること。
• 錐型被覆領域 K_{R₀R₁} においてクラスノセルスキーの圧縮・拡張定理を用いて、少なくとも1つの臨界点の存在を保証すること。
• マウンテンパス幾何構造および有界下方性を確立することで、錐型被覆領域内の臨界点を特定すること。
• グリーン関数を用いた推定および片側ハーナック型不等式を用いて、解の挙動を制御すること。

実験結果

リサーチクエスチョン

• RQ1 非線形関数 f(t,u) がどのような条件下で4階境界値問題 (1.1) に対して複数の正の解を有するか？
• RQ2 滑らかでない、または単調でない非線形項を有する4階BVPに、錐型被覆領域における臨界点理論をどのように適用できるか？
• RQ3 圧縮・拡張条件およびハーナック型不等式は、正の解の多重性を示す際に果たす役割は何か？
• RQ4 変分法と不動点法を組み合わせることで、少なくとも2つの正の解の存在を保証できるか？
• RQ5 f(u) の原点および無限大における成長性は、正の解の個数にどのように影響するか？

主な発見

• 非線形関数 f(u) が特定の成長条件を満たす場合、問題 (1.1) は少なくとも2つの正の解を有する：lim_{s→0} f(s)/s = ∞ および lim_{s→∞} f(s)/s = 0。
• f(u) が [0,1] で pu^p、[1,b] で pu²、u≥b で p((u−b)^p + b²) と定義される例において、b が十分に大きいとき、2つの正の解が存在する。
• R₀ が小さく、R₁ が大きいとき、汎関数 E(u) は錐型被覆領域 K_{R₀R₁} においてマウンテンパス幾何構造を満たし、内部に少なくとも1つの臨界点が存在することを保証する。
• R₀ ≤ f(M(a)R₀)‖Jχ_{[a,1]}‖ が成り立つと、圧縮境界条件が破られるが、これは f を原点で非線形に選ぶことで回避できる。
• R₁ ≥ c_∞ f(c_∞ R₁) が成り立つと、拡張境界条件が破られるが、これは f を無限大で非線形に選ぶことで回避できる。
• 汎関数 E(u) は K_{R₀R₁} で有界下方であり、MPSS 条件により最小化列の収束が保証され、臨界点の存在が導かれる。