[論文レビュー] The Use of Computer Algebra in Maxwell's Theory

R. A. Puntigam, E. Schrüfer+1 more|arXiv (Cornell University)|Mar 14, 1995

Black Holes and Theoretical Physics参考文献 10被引用数 12

ひとこと要約

本稿では、REDUCEとEXCALCを用いたコンピュータ代数プログラムを提示し、外微分形式の言語を用いてマクスウェル方程式および電磁エネルギー運動量を、座標および計量に依存しない形で定式化する。この手法により、曲がった時空および非慣性系の両方で計算が可能となり、複雑な電磁力学の問題が簡略化される。具体的な応用例として、クーロン場やカー＝ニューマン時空の解が示されている。

ABSTRACT

We present a small computer algebra program for use in Maxwell's theory. The Maxwell equations and the energy-momentum current of the electromagnetic field are formulated in the language of exterior differential forms. The corresponding program can be applied (in the presence of a gravitational field) in curved Riemannian spacetime as well as in flat Minkowski spacetime in inertial or {\em non-inertial} frames. Our program is written for the computer algebra system REDUCE with the help of the EXCALC package for exterior differential forms.\par The two major advantages of this modern approch to electrodynamics --- the natural formulation, free of both metric and coordinates, and the straightforward programming of problems --- are illustrated by examining a number of examples ranging from the Coulomb field of a static point charge to the Kerr--Newman solution of the Einstein--Maxwell equations.

研究の動機と目的

• 外微分法を用いて、座標および計量に依存しないマクスウェル理論の定式化を実現すること。
• 平坦なミンコフスキー時空および曲がったリーマン時空の両方において、電磁場およびエネルギー運動量の効率的計算を可能にすること。
• 相対論的電磁力学において極めて重要な非慣性系への適用可能性を拡張すること。
• 一般相対性理論における複雑な場の理論的計算を簡略化するため、コンピュータ代数の有効性を示すこと。
• アインシュタイン＝マクスウェル系を研究する研究者たちが実際に利用可能な、実用的で再利用可能なプログラムを提供すること。

提案手法

• 外微分形式を用いてマクスウェル方程式および電磁エネルギー運動量カレントを定式化する。
• 微分形式のためのパッケージであるEXCALCを備えたコンピュータ代数システムREDUCEに形式的体系を実装する。
• 微分形式の座標に依存しない性質を活かし、平坦時空および曲がった時空幾何の両方を一様に取り扱う。
• 静的および回転するブラックホール計量を含む、さまざまな時空背景における場の解の計算にプログラムを適用する。
• 記号計算を活用してテンソルおよび形式の操作を自動化し、複雑な導出における人的ミスを低減する。
• 方程式の幾何的構造を保つことで、慣性系および非慣性系の両方と互換性を持つようにする。

実験結果

リサーチクエスチョン

• RQ1 コンピュータ代数システムにおける外微分法は、任意の時空幾何におけるマクスウェル方程式の定式化をどのように簡略化するか？
• RQ2 座標および計量に依存しないアプローチは、相対論的電磁力学における計算効率および明確さをどのように向上させるか？
• RQ3 同一の記号的枠組みは、平坦時空および曲がった時空の両方の解、特にカー＝ニューマン計量に対しても対応可能か？
• RQ4 REDUCEにおけるEXCALCの使用は、非慣性系における電磁場解の導出をどのように容易にするか？
• RQ5 従来のテンソル的または成分ベースのアプローチと比較して、この手法の実用的利点は何か？

主な発見

• プログラムは、微分形式を用いて、座標および計量に依存しない形でマクスウェル方程式および電磁エネルギー運動量カレントを正確に定式化した。
• このアプローチにより、平坦なミンコフスキー時空および曲がったリーマン時空（非慣性系を含む）の両方で一貫した計算が可能となった。
• REDUCEにおけるEXCALCを用いた実装により、記号的変換の自動化が実現され、人的にミスを犯しやすい手作業の計算が著しく減少した。
• ベンチマーク問題（静的点電荷のクーロン場およびカー＝ニューマン解）を用いた検証により、有効性が確認された。
• 外微分法の使用により、場の運動方程式および保存則の導出が簡略化され、概念的および計算的明確さが向上した。
• 回転するブラックホールに伴う複雑な幾何構造、特に電磁場を伴うものに対しても、このフレームワークは高い頑健性を示した。