[論文レビュー] Numerical Bifurcation Analysis of the Conformal Method

James Dilts, Michael Holst+2 more|arXiv (Cornell University)|Oct 9, 2017

Numerical methods in inverse problems参考文献 42被引用数 9

ひとこと要約

この論文は、一般相対性理論における非定常平均曲率（非CMC）初期データに対する共形法を、数値的分岐解析および疑似弧長続行法を用いて検討する。非CMCに大幅にずれた状況では、解の多重性や非存在性が広範に見られ、特に対称的設定において顕著である。これは、共形法が非CMC解のグローバルパラメータ化として機能しない可能性を示唆する。

ABSTRACT

The conformal formulation of the Einstein constraint equations has been studied intensively since the modern version of the conformal method was first pub- lished in the early 1970s. Proofs of existence and uniqueness of solutions were limited to the constant mean curvature (CMC) case through the early 90s, with analogous results for the near-CMC case beginning to appear thereafter. In the last decade, there has been some limited progress towards understanding the properties of the conformal method for far-from-CMC solutions as well. Although it was initially conceivable that that these far-from-CMC results would lead to a solution theory for the non-CMC case that would mirror the good properties of the CMC and near-CMC cases, examples of bifurcations and of nonexistence of solutions have been since discovered. Nevertheless, the general properties of the conformal method for far-from-CMC data remain unknown. In this article we apply analytic and numerical continuation techniques to the study of the con- formal method, in an attempt to give some insight into what the solution behavior is in the far-from-CMC case in various scenarios.

研究の動機と目的

• 共形法の振る舞いを、解の性質が十分に理解されていない非定常平均曲率（非CMC）領域で調査すること。
• 既知の解の非存在例や分岐現象を踏まえ、非CMC初期データに対して共形法が信頼できるパラメータ化を維持できるかどうかを特定すること。
• 数値続行技術を用いて解分岐の構造と非一意性の発生を調査すること。
• 折りたたみや複数の解が観測される現象が、摂動に対して安定しているか、あるいは対称的ケースに特有のものであるかを評価すること。
• 非CMC設定における解の存在と多重性を支配する可能性のある定理や構造的原則を同定すること。

提案手法

• AUTOソフトウェアパッケージを用いて疑似弧長続行法を適用し、共形法の式の解分岐を追跡した。
• 解析的および数値的分岐理論を用いて、解多様体上の折りたたみ点や分岐点を検出した。
• 数値解析を簡素化するために、$S^1 \times S^2$ 上のヤマベ負および定常ノルムTTテンソルを含む対称的初期データを用いた。
• 解の存在閾値を調べるために、TTテンソルのスケーリングと平均曲率の変動を追跡した。
• 共形因子 $\varphi$、ベクトルポテンシャル $W$、初期データ $g$、$N$、$\tau$、$\sigma$ を用いたパラメータ化された定式化により、非CMC領域における共形法の制約方程式を分析した。
• 解のプロファイルと分岐ダイアグラムを評価し、非一意性および非存在領域を検出した。

実験結果

リサーチクエスチョン

• RQ1 非CMCに大幅にずれた領域における共形法の解の振る舞い、特に存在性と多重性に関してはいかなるものか？
• RQ2 数値的続行法により、非CMC初期データの解多様体に分岐や折りたたみが観測可能か？
• RQ3 対称的設定において、TTテンソルや平均曲率をスケーリングすると、解の数はどのように変化するか？
• RQ4 観測された解の多重性や非存在現象は、計量の小さな摂動に対しても安定しているか？
• RQ5 共形法は非CMC解のグローバルパラメータ化として有効とみなせるか、それともこの領域では機能しなくなるのか？

主な発見

• 非CMCに大幅にずれたデータでは、特に対称的構成において、共形法が複数の解を示すか、まったく解が存在しないことが判明した。
• TTテンソルのスケーリングや平均曲率の変動において、解の数や非存在の閾値を予測する明確な規則は得られなかった。
• 解分岐に折りたたみや分岐点が観測され、非CMC領域における解構造が複雑であることが示された。
• 通常は0、1、または2つの解が観測されたが、一部のケースでは2つを超える解が得られ、非自明な解トポロジーの存在を示唆した。
• 解の多重性が小さな計量摂動に対しても安定している可能性が示唆され、観測された振る舞いの頑健性が示された。
• CMCおよび近似CMCの場合の成功を踏まえても、本研究は共形法が非CMC解のグローバルパラメータ化としての有用性に疑問を呈している。