[論文レビュー] A nonlinear theory of tensor distributions

James Vickers, Julie Wilson|ArXiv.org|Jul 24, 1998

Mathematical and Theoretical Analysis参考文献 6被引用数 17

ひとこと要約

本稿は、コロンベールの一般化関数を用いて、非線形的かつ座標不変性を持つテンソル分布の理論を構築し、微分同相写像と可換となるようにテンソル変換および埋め込みを拡張する。主な貢献は、古典的な変換則を保持し、一般相対性理論における分布的曲率の座標不変計算を可能にする、一貫性があり微分同相写像共変な一般化テンソル場の定式化である。

ABSTRACT

The coordinate invariant theory of generalised functions of Colombeau and Meril is reviewed and extended to enable the construction of multi-index generalised tensor functions whose transformation laws coincide with their counterparts in classical distribution theory.

研究の動機と目的

• 一般相対性理論におけるテンソル分布に応用した際のコロンベール理論の元来の理論における微分同相写像不変性の欠如を解消すること。
• コロンベールの代数を拡張し、古典的分布理論と一致する変換則を持つ多インデックス一般化テンソル関数を定義すること。
• 滑らかな微分同相写像の下で、ModerateおよびNullのイデアルを保つように、$\tilde{\mu}^*$ と呼ばれる写像を構成すること。
• 分布への関連（弱同値）が微分同相写像と可換となるように保証し、座標系を超えて一貫した物理的解釈を可能にすること。

提案手法

• コロンベールとメリル（1994年）に従い、モーメント条件を緩和することで、$\mathcal{A}_k$ としての滑らかさ核空間の座標不変定義を採用する。
• $\mathcal{E}_s(\Omega)$ 上の基本代数に、ModerateおよびNullの部分代数 $\mathcal{E}_{M,s}(\Omega)$ と $\mathcal{N}_s(\Omega)$ を保つように、$\tilde{\mu}^*$ と呼ばれるプッシュバック写像を定義する。
• $\mathcal{E}_{M,s}(\Omega)$ を $\mathcal{N}_s(\Omega)$ で割ることで、一般化テンソル代数 $\mathcal{G}^p_q(\Omega)$ を構成し、テンソル変換則が保たれることを保証する。
• 背景となる torsion-free 接続に関連する共変微分を用いることで、埋め込み $\iota$ と整合性を持たせ、$[\iota(X), \iota(Y)] = \iota([X,Y])$ が成り立つようにする。
• 弱極限を用いて関連を定義する：$[\tilde{T}] \approx S$ であるとは、試験関数との積分の極限が分布的ペアリングに一致することを意味する。
• プッシュバック $\tilde{\mu}^*$ が関連と可換であることを検証する：$[\tilde{T}'] \approx S'$ ならば、$[\tilde{\mu}^* \tilde{T}'] \approx \mu^* S'$ が成り立つ。

実験結果

リサーチクエスチョン

• RQ1 コロンベールの一般化関数代数を拡張し、滑らかな微分同相写像の下でテンソルとして変換する一般化テンソル関数を定義できるか？
• RQ2 古典的分布を一般化関数に埋め込む写像 $\iota$ が、一般化関数枠組みにおける微分同相写像プッシュバックと可換になるか？
• RQ3 滑らかさ核空間を定義するモーメント条件をどのように変更すれば、一般化関数構成における微分同相写像不変性を保証できるか？
• RQ4 一般化関数と分布との間の関連関係を微分同相写像と整合させるのは可能か？
• RQ5 この拡張された枠組みを用いて、一般相対性理論における分布的曲率（例：$\tilde{R}\sqrt{\tilde{g}}$）の座標不変計算が可能か？

主な発見

• 拡張された理論により、一般化関数上のプッシュバック写像 $\tilde{\mu}^*$ が古典的分布の埋め込み $\iota$ と可換となり、微分同相写像不変性が保たれる。
• 一般化テンソル場は $\tilde{\mu}^*$ に関して、古典的テンソル分布と同一の法則に従って変換され、座標系を超えた一貫した物理的解釈が可能になる。
• ベクトル場のリー括弧は $[\iota(X), \iota(Y)] = \iota([X,Y])$ を満たし、リー代数構造と整合していることが確認された。
• 滑らかな計量に対しては、レヴィビーティの接続の共変微分が埋め込み $\iota$ と可換となり、曲率計算の一貫性が保証される。
• 関連関係が微分同相写像と可換である：$[\tilde{T}'] \approx S'$ ならば、$[\tilde{\mu}^* \tilde{T}'] \approx \mu^* S'$ が成り立つ。これにより、枠組みの物理的整合性が検証された。
• この枠組みにより、分布的曲率（例：$\tilde{R}\sqrt{\tilde{g}} \approx 4\pi(1-A)\delta^{(2)}$）の座標不変評価が可能となり、クレアック他（1996年）の先行研究で確認されている。