[論文レビュー] Index theory for linear self-adjoint operator equations and nontrivial solutions for asymptotically linear operator equations

Yujun Dong|arXiv (Cornell University)|May 13, 2007

Advanced Mathematical Modeling in Engineering参考文献 30被引用数 8

ひとこと要約

本稿では、無限次元ヒルベルト空間における線形自己共役作用素方程式のための新しいインデックス理論を構築し、双対変分法とモース理論を用いて、漸近的に線形な作用素方程式の解の存在および多重性を確立する。主な貢献は、相対的インデックスおよびノルメイティ理論であり、これは第二順位ハミルトニアン系、第一順位ハミルトニアン系、および楕円型偏微分方程式を含む設定において、非自明な解が存在する十分条件を導出可能にする。

ABSTRACT

We will first establish an index theory for linear self-adjoint operator equations. And then with the help of this index theory we will discuss existence and multiplicity of solutions for asymptotically linear operator equations by making use of the dual variational methods and Morse theory. Finally, some interesting examples concerning second order Hamiltonian systems, first order Hamiltonian systems and elliptical partial differential equations will be presented to illustrate our results.

研究の動機と目的

• 無限次元ヒルベルト空間における線形自己共役作用素方程式の包括的なインデックス理論を確立すること。
• 理論を漸近的に線形な作用素方程式へ拡張し、変分法およびモース理論的技法を用いて解の多重性を分析すること。
• 第二順位および第一順位ハミルトニアン系、および楕円型偏微分方程式に適用可能な一般化された存在および多重性の基準を提供すること。
• 古典的スペクトル理論を非有界作用素へ一般化する相対的インデックスおよびノルメイティフレームワークを定義すること。
• 新しいインデックスに基づくアプローチを用いて、半線形楕円型およびハミルトニアン系における非自明解の既存結果を統一・一般化すること。

提案手法

• コンパクトに埋め込まれた部分空間 $ Y \subset X $ を持つ自己共役作用素 $ A: Y \to X $ に対して、新しいインデックス $ i_A(B) $ とノルメイティ $ \nu_A(B) $ を定義する。
• 相対的インデックス $ I_A(B_1, B_2) $ を、$ B_1 $ と $ B_2 $ の間の経路に沿った核の次元の和として定義し、有限性と加法性を保証する。
• 双対変分法を用いて、作用素方程式 $ Ax + \Phi'(x) = 0 $ を汎関数 $ \Phi $ の臨界点問題に変換する。
• インデックスおよびノルメイティを用いたモース理論を適用し、非自明な臨界点（非自明な解に対応）を検出する。
• スペクトルの境界を含む十分条件を確立する。例えば $ B_1 \leq \Phi''(x) \leq B_2 $ であり、$ i_A(B_1) = i_A(B_2) $ かつ $ \nu_A(B_2) = 0 $ である場合、解の存在を保証する。
• 具体的な偏微分方程式およびハミルトニアン系に理論を適用する際、$ A = \Delta $、$ B(x) = b(x) $、$ \Phi(u) = \int F(x,u)\,dx $ を定義し、問題を $ b(x) $ のスペクトル解析に還元する。

実験結果

リサーチクエスチョン

• RQ1 無限次元ヒルベルト空間における線形自己共役作用素方程式に対して、強固なインデックスおよびノルメイティ理論をどのように構築できるか？
• RQ2 漸近的に線形な方程式 $ Ax + \Phi'(x) = 0 $ に対して、少なくとも1つの非自明な解が存在するための $ \Phi''(x) $ に関する条件は何か？
• RQ3 どのようなスペクトル的条件下で方程式は複数の非自明な解を有し、相対的インデックスを用いてどのように検出できるか？
• RQ4 抽象的なインデックス理論を、第二順位ハミルトニアン系や楕円型偏微分方程式といった具体的な問題にどのように適用できるか？
• RQ5 インデックスフレームワークは、半線形偏微分方程式およびハミルトニアン系における複数の解に関する既存の結果を統一・一般化できるか？

主な発見

• インデックス $ i_A(B) $ は適切に定義され、有限かつ加法的であり、$ i_A(B_2) - i_A(B_1) = I_A(B_1, B_2) $ を満たす。また、すべての $ B \in \mathcal{L}_s(X) $ に対して $ \nu_A(B) $ は有限である。
• 定理1.6は、$ \Phi'(x) - B(x)x $ が有界であり、$ \Phi''(x) $ が $ B_1, B_2 $ の間に位置し、$ i_A(B_1) = i_A(B_2) $ かつ $ \nu_A(B_2) = 0 $ である場合、$ Ax + \Phi'(x) = 0 $ に少なくとも1つの解が存在することを保証する。
• 定理1.7は、$ \Phi''(x) $ が $ B_1, B_2 $ の間に位置し、$ i_A(B_1) = i_A(B_2) $、$ \nu_A(B_2) = 0 $ であり、初期インデックス条件 $ i_A(B_1) \notin [i_A(B_0), i_A(B_0) + \nu_A(B_0)] $ を満たす場合、少なくとも1つの非自明な解が存在することを保証する。
• 定理1.8は、$ \Phi''(x) $ および $ \Phi^\prime\prime(\theta) $ に対してより強い凸性およびスペクトル的条件が満たされる場合、2つの異なる非自明な解が存在することを証明する。
• 定理1.9は、$ \Phi $ に対する凸性および成長条件の下で解の存在を確立する。さらに、$ i_A(B_0) > i_A(B_1) + \nu_A(B_1) $ である場合、追加の非自明な解の存在条件が成立する。
• 楕円型偏微分方程式において、定理5.4–5.6は、$ f(x,u)/u \in [b_1(x), b_2(x)] $ であり、$ i_\Delta(b_1) = i_\Delta(b_2) $、$ \nu_\Delta(b_2) = 0 $ である場合、解が存在することを示す。また、ゼロにおける線形化に関するインデックスおよびノルメイティ条件を満たす場合、非自明な解が存在する。