[論文レビュー] The Yang-Mills heat equation with finite action

Leonard Gross|arXiv (Cornell University)|Jun 13, 2016

Numerical methods in inverse problems被引用数 6

ひとこと要約

本稿は、$ℝ^3$ および $ℝ^3$ 内の有界な凸領域上で、臨界ソボレフ空間 $H^{1/2}$ の初期データをもつヤン・ミルズ熱方程式の解の存在および一意性を確立する。増強された厳密な放物型方程式を解き、臨界ゲージ群 $τ_{3/2}$ に属する関数を用いたゲージ変換を適用することで、エネルギーおよびノイマン支配不等式を用いて初期挙動を制御し、有限作用を保証する。この結果、解はゲージ同値の意味で強い解として得られる。

ABSTRACT

The existence and uniqueness of solutions to the Yang-Mills heat equation is proven over three dimensional Euclidean space and over a bounded open convex set therein. The initial data is taken to lie in the Sobolev space of order one half, which is the critical Sobolev index for this equation over a three dimensional manifold. The existence is proven by solving first an augmented, strictly parabolic equation and then gauge transforming the solution to a solution of the Yang-Mills heat equation itself. The gauge functions needed to carry out this procedure lie in the critical gauge group of Sobolev regularity three halves, which is a complete topological group in a natural metric but is not a Hilbert Lie group. The nature of this group must be understood in order to carry out the reconstruction procedure. Solutions to the Yang-Mills heat equation are shown to be strong solutions modulo these gauge functions. Energy inequalities and Neumann domination inequalities are used to establish needed initial behavior properties of solutions to the augmented equation.

研究の動機と目的

• $ℝ^3$ および $ℝ^3$ 内の有界な凸領域上で、臨界ソボレフ空間 $H^{1/2}$ の粗い初期データをもつヤン・ミルズ熱方程式の解の存在および一意性を確立すること。
• ヤン・ミルズ熱方程式の弱い放物型性（初期データを平滑化しない）を克服するため、増強された厳密な放物型系を導入すること。
• ソボレフ正則性 $3/2$ の臨界ゲージ群 $τ_{3/2}$ を構築・分析し、それが自然な位相において完備な位相群ではあるが、ヒルベルト＝リー群ではないことを示すこと。
• 増強方程式の解が有限作用をもち、エネルギーおよびノイマン支配不等式を用いて初期挙動が制御されることを証明すること。
• 元のヤン・ミルズ熱方程式の解がゲージ変換の意味で強い解であり、解の同値類としての一意性が保たれることを示すこと。

提案手法

• 有限作用をもつ関数の経路空間上で、コントラクション原理を用いて増強された厳密な放物型ヤン・ミルズ熱方程式を解く。
• エネルギー不等式およびノイマン支配不等式を用いて、増強方程式の解の初期挙動を推定し、特に $t=0$ 近傍での $L^p$ および $L^2$ ノルムの挙動を分析する。
• ZDS手続きを用いてゲージ変換を構成し、ゲージ関数 $g$ が臨界ゲージ群 $τ_{3/2}$ に属することを保証する。この群は自然な距離に関して完備である。
• $g^{-1}dg$ 及びその時間微分の推定を確立し、変換の制御とゲージ補正解の収束を保証する。
• 積分表現および畳み込み不等式を用いて、曲率およびゲージポテンシャルの高次の $L^p$ ノルムを評価する。
• 2つの解が同じ初期データを持つ場合、$ℇ A_1(t) - A_2(t)ℇ_2^2 = o(t^{1/2})$ が $t \downarrow 0$ のとき成り立つことを示し、Gronwall型の議論により $A_1(t) = A_2(t)$ をすべての $t \geq 0$ で得る。

実験結果

リサーチクエスチョン

• RQ1 ヤン・ミルズ熱方程式の初期データが臨界ソボレフ空間 $H^{1/2}(\mathbb{R}^3)$ に属する場合、弱い放物型性にもかかわらず解が存在するだろうか？
• RQ2 線形部 $-d^*d$ が非楕円的であるため、標準的な放物型理論が失敗する状況で、解をどのように構成できるか？
• RQ3 ゲージ群 $τ_{3/2}$ の構造と正則性は何か？ そして、ゲージ変換手続きを支える役割は？
• RQ4 エネルギーおよびノイマン支配不等式は、増強方程式の解の初期挙動を制御するために果たす役割は何か？
• RQ5 初期データが $H^{1/2}$ にのみ属する場合、解が正の時刻で滑らかでないにもかかわらず、ヤン・ミルズ熱方程式の解の一意性は保たれるのか？

主な発見

• 初期データが $ℝ^3$ または $ℝ^3$ 内の有界な凸領域上で $H^{1/2}(\mathbb{R}^3)$ に属する場合、ヤン・ミルズ熱方程式の解はゲージ同値の意味で強い解として存在し、一意である。
• 増強された方程式は厳密な放物型であるため、有限作用をもつ経路空間 $τ_T^a$ 上に弱解をもつことが、収縮推定および積分方程式法によって確立された。
• ゲージ群 $τ_{3/2}$ は自然な距離に関して完備な位相群ではあるが、ヒルベルト＝リー群ではない。この群は元の方程式の解の再構成に不可欠である。
• 増強方程式の解は、$t \downarrow 0$ のとき $ℇ A(t) - A_0ℇ_2 = o(t^{1/4})$ を満たし、初期挙動の強い制御が可能であることを示す。
• ノイマン支配および畳み込み不等式から導かれる点での評価と、抽象的作用推定を用いて、有限作用が証明された。
• 強い解の一意性は、$t \downarrow 0$ のとき $ℇ A_1(t) - A_2(t)ℇ_2^2 = o(t^{1/2})$ が成り立ち、帰納法およびGronwall型の議論により、すべての $t \geq 0$ で $A_1(t) = A_2(t)$ が得られることを示した。