[論文レビュー] Local well-posedness of the coupled Yang-Mills and Dirac system for low regularity data

Hartmut Pecher|arXiv (Cornell University)|Mar 11, 2021

Advanced Mathematical Physics Problems参考文献 17被引用数 1

ひとこと要約

本稿は、非線形項におけるヌル条件構造を活用することで、最小限の正則性を持つ初期データをもつ3+1次元の結合ヤンミルズ・ディラック系の局所的well-posednessを確立する。ローレンツゲージとディラックスピンォルのヘリカル射影への分解を用い、低正則性ソボレフ空間における解の存在、一意性、連続性を証明する。これは、ヤンミルズ方程式に関する先行研究を拡張し、ショケット＝ブローアとクリスティオドルーの古典的滑らか解結果を一般化する。

ABSTRACT

We consider the classical Yang-Mills system coupled with a Dirac equation in 3+1 dimensions. Using that most of the nonlinear terms fulfill a null condition we prove local well-posedness for data with minimal regularity assumptions. This problem for smooth data was solved forty years ago by Y. Choquet-Bruhat and D. Christodoulou. Our result generalizes a similar result for the Yang-Mills equation by S. Selberg and A. Tesfahun.

研究の動機と目的

• 初期データに対する最小限の正則性仮定の下で、3+1次元における結合ヤンミルズ・ディラック系の局所的well-posednessを確立すること。
• 滑らかなデータに対するショケット＝ブローアとクリスティオドルーの古典的結果を、低正則性ソボレフ空間へ一般化すること。
• セルバーグとテスフアウンによるヤンミルズ方程式の低正則性well-posedness結果を、結合ヤンミルズ・ディラック系へ拡張すること。
• 系の時間発展において、ローレンツゲージ条件と初期制約が保存されることを厳密に検証すること。

提案手法

• ヤンミルズ系を波動方程式系に還元するため、ローレンツゲージ条件 ∂μAμ = 0 を導入する。
• 射影 Π±(∇/i) を用いてディラックスピンォル ψ をヘリカル射影 ψi,± に分解し、ディラック方程式を結合半波方程式系に変換する。
• ヤンミルズおよびディラック相互作用の非線形項に含まれるヌル条件構造を活用し、低正則性特異性を制御する。
• 最小正則性を持つ解の構成のため、関数空間 F^s_T, G^r_T, および X^{l,3/4+}_{[0,T]} における不動点議論を用いる。
• 制約量 u = ∂μAμ および Vμν = Fμν − F[A]μν に対する波動方程式を導出し、初期データが制約を満たしていれば、それらがすべての t ∈ [0,T] で消えることを証明する。
• コンmutator恒等式とエネルギー推定を用いて、低正則性設定におけるブートストラップ議論を完結する。

実験結果

リサーチクエスチョン

• RQ1 Sobolev空間 H^s, H^{s-1}, H^r, H^{r-1}, H^l における初期データ A, F, ψ に対して、s > 3/4, r > -1/8, l > 3/8 の条件下で、ヤンミルズ・ディラック系の局所的well-posednessが成立するか？
• RQ2 非線形相互作用におけるヌル条件が、全系において完全なヌル構造を欠くにもかかわらず、低正則性解の制御を可能にするか？
• RQ3 初期データが制約を満たす場合、系の時間発展においてローレンツゲージ条件が保存されるか？
• RQ4 初期値問題が局所的にwell-posedであるための正則性指数 s, r, l の鋭い範囲は何か？

主な発見

• 初期データが H^s × H^{s-1}（Aについて）、H^r × H^{r-1}（Fについて）、H^l（ψについて）に属する場合、s > 3/4, r > -1/8, l > 3/8 かつ s ≥ l ≥ r の条件下で、局所的well-posednessが成立する。
• 解は時間区間 [0, T] において存在し、T は初期データのノルムのみに依存する。A ∈ C^0([0,T], H^s) ∩ C^1([0,T], H^{s-1})、F ∈ C^0([0,T], H^r) ∩ C^1([0,T], H^{r-1})、ψ ∈ X^{l,3/4+}_{[0,T]} を満たす。
• 初期に u = ∂μAμ および Vμν = Fμν − F[A]μν が消えるならば、すべての t ∈ [0,T] でそれらが恒等的に消える。これはゲージの一貫性を保証する。
• 正則性閾値 s > 3/4 の鋭さは、u に対する波動方程式のエネルギー推定により確認され、s + 1/4 > 1 が波動方程式に必要となる。
• 非線形項におけるヌル条件により、低正則性でも相互作用項の制御が可能となり、Fourier制限空間における2次形式推定を用いることが可能になる。
• 本結果は、ヤンミルズ方程式の低正則性well-posedness結果を結合ヤンミルズ・ディラック系へ一般化し、電流 Jν(ψ) を介してディラック場が非線形構造に寄与することを示している。