[論文レビュー] Lojasiewicz-Simon gradient inequalities for analytic and Morse-Bott functionals on Banach spaces and applications to harmonic maps

Paul M. N. Feehan, Manousos Maridakis|arXiv (Cornell University)|Oct 13, 2015

Nonlinear Partial Differential Equations参考文献 45被引用数 9

ひとこと要約

本稿は、Banach空間上の解析的およびMorse-Bott汎関数に対して一般化されたLojasiewicz-Simon勾配不等式を確立し、従来の仮定を著しく弱める。この結果を用いて、最小限のSobolev正則性のもとで調和写像エネルギー汎関数に対するより一般的なLojasiewicz-Simon不等式を導出し、分野における先行研究を拡張する。

ABSTRACT

We prove two abstract versions of the Lojasiewicz-Simon gradient inequality for an analytic functional on a Banach space (stated earlier without proof as Theorem 2.4.5 in Huang (2006)) that generalize previous abstract versions of this inequality, significantly weakening their hypotheses and, in particular, the well-known infinite-dimensional version of the gradient inequality due to Lojasiewicz proved by Simon (1983). We also prove that the optimal exponent of the Lojasiewicz-Simon gradient inequality is obtained when the functional is Morse-Bott and not necessarily analytic, improving on similar results due to Chill (2003, 2006), Haraux and Jendoubi (2007), and Simon (1996). We apply our abstract Lojasiewicz-Simon gradient inequality to prove a Lojasiewicz-Simon gradient inequality for the harmonic map energy functional using Sobolev spaces which impose minimal regularity requirements on maps between closed, Riemannian manifolds. Our Lojasiewicz-Simon gradient inequality for the harmonic map energy functional significantly generalizes those of Kwon (2002), Liu and Yang (2010), Simon (1983, 1985), and Topping (1997).

研究の動機と目的

• 従来の抽象的定式化の仮定を弱めるべく、Banach空間上のより広いクラスの汎関数へLojasiewicz-Simon勾配不等式を拡張すること。
• 汎関数がMorse-Bottである場合に限り、最適な指数が達成されることを証明すること。解析的でない場合でも成り立つ。
• 抽象的不等式を、閉じたリーマン多様体間の写像における調和写像エネルギー汎関数に適用すること。最小限の正則性要件を満たす。
• Simon, Kwon, LiuとYang、Toppingによる既存の調和写像のLojasiewicz-Simon不等式を一般化すること。
• 勾配不等式を用いた調和写像フローの収束解析のための鋭い、最小正則性の枠組みを確立すること。

提案手法

• 汎関数およびそのヘッセ行列に対する条件を緩和することで、Banach空間におけるLojasiewicz-Simon勾配不等式の抽象的枠組みを構築する。
• スペクトル理論とコンパクト性の議論を用いて、より弱い解析的またはMorse-Bott条件のもとで勾配不等式を導出する。
• 不等式における最適な指数が、解析的でない場合でも、汎関数がMorse-Bottである場合に限り達成されることを特徴づける。
• 抽象的結果を、Sobolev空間（例：H^1）上での調和写像エネルギー汎関数に適用する。
• エネルギー汎関数の臨界点の構造と、ターゲット多様体の幾何的性質を活用して、必要な条件を満たすことを確認する。
• 導出された勾配不等式を用いて、最適な指数を用いた減衰推定式により、調和写像フローの収束速度を確立する。

実験結果

リサーチクエスチョン

• RQ1 Lojasiewicz-Simon勾配不等式は、解析的およびコンパクト性の仮定を著しく弱めたBanach空間上の汎関数に対しても一般化可能か？
• RQ2 汎関数がMorse-Bottであるが解析的でない場合、Lojasiewicz-Simon不等式における最適な指数は何か？
• RQ3 抽象的勾配不等式は、最小限のSobolev正則性仮定のもとで調和写像エネルギー汎関数に適用可能か？
• RQ4 本稿の不等式は、Simon, Kwon, LiuとYang、Toppingによる先行研究と比べて、強さと一般性の面でどのように異なるか？
• RQ5 新しい不等式枠組みのもとで、調和写像フローの収束にどのような意味があるか？

主な発見

• 本稿は、Banach空間上の解析的汎関数に対して、従来のバージョンよりも仮定を弱めた、より一般的なLojasiewicz-Simon勾配不等式を確立した。
• 解析的でない場合でも、汎関数がMorse-Bottである場合に限り、不等式における最適な指数が達成されることを証明した。これは、Chill, HarauxとJendoubi、およびSimonの結果を改善する。
• 抽象的不等式を、閉じたリーマン多様体間のH^1写像上の調和写像エネルギー汎関数に成功裏に適用した。最小限の正則性で十分である。
• 得られた調和写像に対する不等式は、Kwon（2002年）、LiuとYang（2010年）、Simon（1983年、1985年）、Topping（1997年）の先行研究を一般化し、強化した。
• この枠組みにより、Morse-Bott構造から導かれる最適な指数に従う鋭い収束速度が得られ、調和写像フローの収束解析に有効である。
• 無限次元設定における勾配不等式を用いた幾何的フローにおける収束解析の統一的アプローチを確立した。