[論文レビュー] A non regular Fr\"olicher Lie group of diffeomorphisms

Jean-Pierre Magnot|arXiv (Cornell University)|Jan 12, 2011

Nonlinear Waves and Solitons参考文献 4被引用数 3

ひとこと要約

本稿では、コンpact集合上でのすべての微分の一様収束位相を備えた開単位区間 I 上の微分同相群 𝒟 が非正則であることを示している。指数写像は、リー代数内の特定の経路に対して定義されない。同定された非可積分経路は、バーガー方程式の自明な解に対応し、非線形偏微分方程式と微分同相群の幾何学的性質との深い関連を示している。

ABSTRACT

We show that a group of diffeomorphisms $\D$ on the open unit interval $I,$ equipped with the topology of uniform convergence on any compact set of the derivatives at any order, is non regular: the exponential map is not defined for some path of the Lie algebra. The non integrable path that we exhibit appears also as a trivial solution of the Burger's equation.

研究の動機と目的

• 開単位区間 I の微分同相群の正則性を、フロリッシャー群位相の下で調査すること。
• 微分同相群 𝒟 のリー代数内の滑らかな経路に対して、指数写像が常に定義可能かどうかを特定すること。
• 1パラメータ部分群に統合されないリー代数内の特定の経路を同定し、非正則性を証明すること。
• このような非可積分経路とバーガー方程式の解との関係を調査すること。

提案手法

• 開単位区間 I 上の微分同相群 𝒟 は、コンパクト部分集合上ですべての微分の収束の意味で一様収束する方法により、フロリッシャー群構造を備える。
• 𝒟 のリー代数は、適切な減衰または増大条件を満たす滑らかなベクトル場の空間として特定される。
• 1パラメータ部分群に統合されないリー代数内の特定の経路が構成され、非正則性が証明される。
• その経路はバーガー方程式の自明な解に対応することが示され、幾何学的非正則性と偏微分方程式理論との間のリンクが確立される。

実験結果

リサーチクエスチョン

• RQ1 開単位区間の微分同相群は、フロリッシャー群位相の下で正則か？
• RQ2 微分同相群 𝒟 のリー代数内の滑らかな経路に対して、指数写像が定義されないことがあるか？
• RQ3 𝒟 のリー代数内に、既知の偏微分方程式に関連付けられた非可積分経路を明示的に構成できるか？
• RQ4 バーガー方程式の解の幾何的意味は、無限次元リー群の文脈でどのように解釈されるか？
• RQ5 可積分性の失敗は、微分同相群の位相とどのように関係しているか？

主な発見

• 開単位区間上での微分同相群 𝒟 は、リー代数内の特定の経路に対して指数写像が定義されないため、非正則である。
• リー代数内に明示的に構成された非可積分経路は、指数写像の定義不能性を示している。
• 非可積分経路はバーガー方程式の自明な解に対応しており、偏微分方程式の解と幾何的非正則性との直接的な関連を確立している。
• コンパクト集合上でのすべての微分の収束の位相は、群構造の非正則性において重要な役割を果たしている。
• 1次元の設定においても、微分同相群が正則でないことがあることが示され、無限次元リー理論における滑らかさの仮定に疑問を呈している。