[論文レビュー] Parameterized splitting theorems and bifurcations for potential operators

Guangcun Lu|arXiv (Cornell University)|Dec 10, 2017

Stability and Controllability of Differential Equations参考文献 54被引用数 4

ひとこと要約

本稿は、微分可能性要件を弱めた潜在作用素に対するパラメータ化された分割定理を構築し、準線形楕円型系における新たな分岐定理の確立を可能にする。$C^{1,1}$ や $C^1$ の関数型にモース理論の道具を一般化することで、$C^2$ の滑らかさを要しない勾配写像や楕円型方程式に対する分岐基準を確立し、古典的な結果（ラビノヴィッツやファデル＝ラビノヴィッツの定理）をより弱い正則性の設定へと拡張する。

ABSTRACT

We show that parameterized versions of splitting theorems in Morse theory can be effectively used to generalize some famous bifurcation theorems for potential operators. In particular, such generalizations based on the author's recent splitting theorems [38, 39, 42, 43] and that of [8] are given though potential operators in [42, 43] have weaker differentiability, even discontinuous. As applications, we obtain many bifurcation results for quasi-linear elliptic Euler equations and systems of higher order.

研究の動機と目的

• 古典的な分岐定理（例：ラビノヴィッツ、ファデル＝ラビノヴィッツ）を $C^2$ よりも低い微分可能性をもつ潜在作用素へ一般化すること。
• パラメータ化された分割定理を用いて勾配写像における分岐の必要十分条件を確立すること。
• 弱い微分可能性および成長制限のない場合を含め、準線形楕円型系へのこれらの結果の応用。
• 有限次元の縮約を用いて、非-$C^2$ 関数型へのモース理論の道具の拡張。
• 等長的設定および領域変形からの分岐を、パラメータ化された分割技法を用いて分析すること。

提案手法

• ヒルベルト空間上の $C^{1,1}$ や $C^1$ 関数型に対する著者の最近の分割定理のパラメータ化された版を用いる。
• 非滑らかな潜在作用素を扱うために、パラメータ化されたボビレフ＝ブルマンの分割補題を適用する。
• $C^2$ の仮定を完全に避けるために、$C^1$ や $C^{1,1}$ 関数型に適応したライプニッツ＝シュミット型の縮約を用いる。
• 原点におけるヘッシアン行列 $B(0)$ のスペクトル分解を用いて、核、正定値部、負定値部に対応する部分空間 $X_0$、$X_+$、$X_-$ を定義する。
• $B(0)|_X$ のスペクトルにおいて $0$ が孤立点であることを保証する条件を課し、$X/X_0$ 上で $B(0)$ が双曲的作用素を誘導することを確保する。
• 分割定理を適用して、局所的に二次形式と剰余項の直和に関数型を分解し、臨界群の計算を可能にする。

実験結果

リサーチクエスチョン

• RQ1 パラメータ化された分割定理を用いて、潜在作用素の分岐定理を $C^2$ 関数型を超えて拡張することは可能か？
• RQ2 関数型が $C^{1,1}$ や $C^1$ のみである場合、勾配写像における分岐の必要十分条件は何か？
• RQ3 非-$C^2$ 関数型に対する臨界群の計算を、分岐問題にモース理論をどのように適合できるか？
• RQ4 弱い微分可能性および成長制限の下で、準線形楕円型系に対してどのような分岐結果が得られるか？
• RQ5 パラメータ化された分割定理を用いて、等長的問題や領域変形からの分岐を分析することは可能か？

主な発見

• 本稿は、パラメータ化された設定への分割定理の一般化を通じて、$C^{1,1}$ や $C^1$ 潜在作用素に対する新たな分岐基準を確立する。
• $B(0)$ が可逆であり、かつ $0$ が $ ext{spec}(B(0)|_X)$ の孤立点であるならば、より弱い滑らかさのもとで分割定理が成立することを証明する。
• 準線形楕円型系に対して、非線形項の成長制限の有無に関わらず、分岐結果が得られる。
• Fadell–Rabinowitz 型の定理を用いて、非自明な臨界軌道を含む等長的設定における分岐解析が可能になる。
• 領域パラメータに依存する関数型の分析を通じて、領域変形からの分岐が可能になる。
• $\text{dim }H^+ < \infty$ または $\text{dim }H^- < \infty$ のとき、部分空間 $X_+$ および $X_-$ はそれぞれ $H^+$ および $H^-$ と一致し、スペクトル分解と整合性を保つ。