[論文レビュー] Second-Order Black Hole Perturbations: A Computer Algebra Approach, I - The Schwarzschild Spacetime

George Davies|ArXiv.org|Oct 18, 1998

Relativity and Gravitational Theory参考文献 1被引用数 3

ひとこと要約

本稿では、シュワルツシルト時空における2次摂動のコンピュータ代数に基づく導出を提示し、四極子-四極子結合に注目する。Maple 上の GRTensorII を用いて、2次Zerilli方程式の有効な源項を計算し、標準的な関数変換を回避する直接的手法により、以前のGleiserの結果を確認した。この手法により、公開利用可能なツールを用いてスケーラブルな高次分析が可能となる。

ABSTRACT

This article outlines our derivation of the second order perturbations to a Schwarzschild black hole, highlighting our use of, and necessary reliance on, computer algebra. The particular perturbation scenario that is presented here is the case of the linear quadrapole seeding the second order quadrapole. This problem amounts to finding the second order Zerilli wave equation, and in particular the effective source term due to the linear quadrapole. With one minor exception, our calculations confirm the earlier findings of Gleiser, et.al. On route to these results we also illustrate that, with the aid of computer algebra, the linear Schwarzschild problem can be solved in a very direct manner (i.e., without resorting to the usual function transformations), and it is this ``direct method'' that drives the higher order perturbation analysis. The calculations were performed using the GRTensorII computer algebra package, running on the Maple V platform, along with several new Maple routines that we have written specifically for these types of problems. Although we have chosen to consider only the ``quadrapole-quadrapole'' calculation in this article, the GRTensor environment, with the inclusion of these new routines, would allow this analysis to be repeated for a far more general problem. These routines, along with Maple worksheets that reproduce our calculations, are publicly available at the GRTensor website: www.astro.queensu.ca/~grtensor . The interested reader is invited to download and use them to reproduce our results and experiment.

研究の動機と目的

• シュワルツシルト幾何における2次ブラックホール摂動を体系的かつ計算的に効率よく計算するための方法を開発すること。
• 特にMaple上のGRTensorIIを用いたコンピュータ代数システムの一般相対性理論における複雑なテンソル計算への適用可能性と利点を示すこと。
• 関数変換（例えばTeukolsky関数やZerilli関数）に依存しない直接的手法を用いて線形摂動を解くことの有効性を示し、高次問題への拡張を容易にすること。
• 線形四極子が2次四極子応答を引き起こす場合の、2次Zerilli波方程式の有効源項を導出すること。
• 計算ツールとMapleワークブックを公開し、再現可能性と広範な応用を可能にすること。

提案手法

• Maple V プラットフォーム上での GRTensorII コンピュータ代数パッケージを用いて、曲がった時空における記号的テンソル計算を実行すること。
• ブラックホール時空における2次摂動理論に特化したカスタムMapleルーチンを実装すること。
• Teukolsky関数やZerilli関数などの関数変換に依存しない直接的手法により、線形シュワルツシルト摂動問題を解くこと。
• 線形摂動の積から生じる非線形源項を計算することで、2次Zerilli方程式を導出すること。
• 一貫した記号的計算と相互検証を通じて、Gleiserの以前の研究結果と一致を確認すること。
• すべての計算コードとワークシートを公開し、再現可能性を確保するとともに、他の多重極モードへの拡張を可能にすること。

実験結果

リサーチクエスチョン

• RQ1 どのようにして、記号的計算を用いてシュワルツシルト時空における2次摂動を体系的に計算できるか？
• RQ2 従来のアプローチと比較して、関数変換を回避する直接的手法が線形および2次摂動を解く際にどのような利点を提供するか？
• RQ3 四極子-四極子の場合に、コンピュータ代数を用いて2次Zerilli方程式の有効源項を正確に導出できるか？
• RQ4 計算フレームワークは、他の多重極モードや摂動シナリオへどの程度一般化可能か？
• RQ5 公開利用可能な計算ツールは、高次ブラックホール摂動理論における再現可能性とスケーラビリティをどの程度向上させるか？

主な発見

• 四極子-四極子の場合の2次Zerilli波方程式が、コンピュータ代数的手法を用いて成功裏に導出された。
• 2次摂動の有効源項が計算され、Gleiserの以前の結果と一致した。これにより、彼の結果が確認された。
• 関数変換に依存しない線形摂動の直接的手法は、高次解析において有効でスケーラブルであることが示された。
• GRTensorIIとカスタムMapleルーチンの組み合わせにより、2次摂動理論における複雑なテンソル式の効率的かつ正確で再現可能な計算が可能となった。
• すべての計算コード、特にMapleワークシートが、GRTensorの公式ウェブサイトで公開され、研究コミュニティによる再利用と拡張が可能となった。
• このフレームワークは拡張可能であり、四極子-四極子ケースを越えたより広範な摂動問題に応用可能である。