[論文レビュー] Stability of the Yang-Mills heat equation for finite action

Leonard Gross|arXiv (Cornell University)|Oct 31, 2017

advanced mathematical theories参考文献 13被引用数 6

ひとこと要約

本稿は、$[\mathbb{R}^3$ 上のYang-Mills熱方程式の初期データが臨界Sobolev空間 $H^{1/2}$ に属する場合、その解の安定性を確立し、無限小ZDS手続きを用いて関連する変分方程式の一意的強い解を証明する。主な貢献は、弱い放物型性と特異係数のもとでも、エネルギー不等式とNeumann支配技術を用いて、有限作用と初期値収束の厳密な証明を達成したことにある。

ABSTRACT

The existence and uniqueness of solutions to the Yang-Mills heat equation over domains in Euclidean three space was proven in a previous paper for initial data lying in the Sobolev space of order one-half, which is the critical Sobolev index for this equation. In the present paper the stability of these solutions will be established. The variational equation, which is only weakly parabolic, and has highly singular coefficients, will be shown to have unique strong solutions up to addition of a vertical solution. Initial data will be taken to be in Sobolev class one-half. The proof relies on an infinitesimal version of the ZDS procedure: one solves first an augmented, strictly parabolic version of the variational equation and then adds to the solution a function which is vertical along the original path. Energy inequalities and Neumann domination techniques will be used to establish apriori initial behavior for solutions.

研究の動機と目的

• 臨界Sobolev空間 $H^{1/2}$ に属する初期データに対するYang-Mills熱方程式の解の安定性を確立すること。
• 弱い放物型性と特異係数を有するにもかかわらず、Yang-Millsフローに沿った変分方程式に対する強い解の存在と一意性を証明すること。
• ゲージ不変な回復手続きを用いて、拡張された厳密に放物型の変分方程式から元の強い解を回復すること。
• H_{1/2}-に基づくSobolev枠組みにおいて、有限作用と適切な初期値挙動を保証すること。
• 正則性および収束結果を $L^\rho$ および $H_b^\mathsf{A}$ 範囲に拡張し、ゲージ不変性と整合性を保つこと。

提案手法

• 元の弱い放物型系の特異性を回避するため、変分方程式の拡張された厳密に放物型のバージョンを導入する。
• 無限小ZDS手続きを適用：拡張方程式を解き、その後に元の経路に沿った垂直成分を加算して解を補正する。
• エネルギー不等式とNeumann支配技術を用いて、初期挙動を制御し、解成分の $L^p$ 範囲を確立する。
• 点でのおよび積分的な恒等式を用いて、解 $w$ の初期挙動を2次までの高 $L^p$ 範囲で分析する。
• 微分方程式を通じて補助解 $w$ から元の解 $v$ を再構成し、変分方程式と整合性を保証する。
• 初期値の収束を $L^\rho(M;\Lambda^1\otimes\mathfrak{k})$ （$2\leq\rho<3$）および $H_b^\mathsf{A}$ 範囲で確立し、強い解の性質を確認する。

実験結果

リサーチクエスチョン

• RQ1 初期データが $H^{1/2}$ に属する場合、Yang-Mills熱方程式に関連する変分方程式に対して一意的な強い解を構成可能か？
• RQ2 変分方程式の弱い放物型性と特異係数をどのように克服し、解の存在と一意性を保証できるか？
• RQ3 拡張された変分方程式の解の初期挙動は何か？ そして、これは元の問題とどのように関係するか？
• RQ4 解が $H_{1/2}$-に基づくノルムのもとで有限作用を保つ程度は？ また、これは $L^p$ および $H_b^\mathsf{A}$ 収束とどのように関係するか？
• RQ5 初期値をゲージ不変な方法で回復可能か？ また、必要な関数空間で収束するか？

主な発見

• 初期データが $H^{1/2}$ に属する場合、拡張されたZDS手続きのもとで、変分方程式は垂直解の加算を除き一意的な強い解を有する。
• 拡張方程式の解は有限 $b$-作用を有し、この性質は回復プロセスでも保たれ、$c = \min(a,b)$ で $\max(a,b) > 1/2$ のもとで強い $c$-作用の有限性が保証される。
• ほぼ強い解の初期値は $L^\rho(M;\Lambda^1\otimes\mathfrak{k})$ （$2\leq\rho<3$）および $H_b^\mathsf{A}$ 範囲で収束し、初期データと整合的であることが確認された。
• 一意性の証明は、$\int_0^T s^{1/2}\|v'(s)\|_2^2 ds < \infty$ を用いた修正されたGronwall型の議論に依拠しており、$\|v(t)\|_2 = o(t^{1/4})$ を示し、$v(0) = 0$ のもとで $v \equiv 0$ を導く。
• ノルムの同値性 $H_1^\mathsf{A} \sim H_1^0$ を用いて、$\mathsf{A} \in L^3(\mathbb{R}^3)$ の条件下で強い解の有限作用が確立された。
• 解 $v(t)$ は $[0,\infty)$ 上で $H_b^\mathsf{A}$ に連続であることが示され、強い解に必要な正則性が確認された。