[論文レビュー] A Morse-Smale index theorem for indefinite elliptic systems and bifurcation

Алессандро Порталури, Nils Waterstraat|arXiv (Cornell University)|Aug 6, 2014

Advanced Mathematical Modeling in Engineering参考文献 46被引用数 23

ひとこと要約

この論文は、星型領域における非退化な不定楕円型系に対して、半リーマン力学の理論を偏微分方程式系へ一般化することで、モース＝スマール指数定理を確立する。スペクトルフローに基づく指数公式を導入し、不定計量下での古典的共役点数の代わりに用いることで、共役点が集積するような系における分岐解析を可能にする。

ABSTRACT

We generalise the semi-Riemannian Morse index theorem to elliptic systems of partial differential equations on star-shaped domains. Moreover, we apply our theorem to bifurcation from a branch of trivial solutions of semilinear systems, where the bifurcation parameter is introduced by shrinking the domain to a point. This extends recent results of the authors for scalar equations.

研究の動機と目的

• 不定主記号を有する楕円型偏微分方程式系へ、半リーマンモース指数定理を拡張すること。
• 古典的モース指数定理が失敗する不定設定において、非孤立な共役点の問題を解決すること。
• スペクトルフローとマスロフ理論を用いて、楕円型系のモース指数に対する位相的指数公式を提供すること。
• 領域縮小を用いた自明解からの分岐を解析するため、指数定理を応用すること。
• 従来のスカラー方程式に関する結果を、特に共役点が集積する場合にまで拡張すること。

提案手法

• スペクトルフローとシンプレクティックヒルベルト空間技術を用いて、星型領域における不定楕円型系へスメールのモース指数定理を一般化する。
• 境界データと関連するシンプレクティックヒルベルト空間内のラグランジュ部分空間の曲線にマスロフ指数を適用する。
• 交差形式と正則な交差瞬間を用いて、二次形式の符号によってマスロフ指数を計算する。
• フレドホルム対理論とスペクトルフローに依存し、連続的変形に対して安定な指数不変量を定義する。
• 領域縮小によって演算子の経路を構成し、自明解からの分岐をモデル化する。
• 系のモース指数と関連境界値問題のマスロフ指数との間の対応関係を確立する。

実験結果

リサーチクエスチョン

• RQ1 共役点が集積する不定楕円型系において、古典的モース指数定理を拡張することは可能か？
• RQ2 不定主記号を有する系に対して、モース指数を意味的に定義し、計算することは可能か？
• RQ3 不定設定では、共役点数の代わりにどのような位相的不変量が用いられるか？
• RQ4 領域変形下での楕円型系のスペクトル特性とマスロフ指数の関係は何か？
• RQ5 領域が点に収縮する場合に、指数公式を用いて半線形楕円型系における分岐を検出することは可能か？

主な発見

• 星型領域における非退化な不定楕円型系のモース指数は、関連する演算子の経路のスペクトルフローに等しい。
• 本論文は、有限個の共役点重複度の和に代わるスペクトルフロー不変量を用いることで、モース＝スマール指数定理の一般化を確立する。
• 共役点が集積する場合でさえ、境界ラグランジュ部分空間の曲線のマスロフ指数がモース指数を計算する。
• 指数公式は連続的変形に対して安定であり、領域縮小パrameterを有する分岐問題に適用可能である。
• 本手法により、スカラー方程式に関する先行研究を系へ拡張し、不定構造を有する系における分岐解析のフレームワークを提供する。
• スペクトルフローとマスロフ指数の使用により、共役点の集積によって古典的共役点数の計算が失敗する場合でも、明確に定義されたモース指数が得られる。