カー時空でのリッチテンソル

質問

シュバシルト時空でのリッチテンソルがゼロと
なるこは計算して分かったのですが、カー時空
でも同様にゼロとなるのでしょうか？カー計量
はアインシュタイン方程式の真空解であるので、
リッチテンソルの全ての成分はゼロだと思うんですが、
実際にR_00を計算してみたらゼロにならないので質
問させていただきました。

回答No.1

yokkun831

>実際にR_00を計算してみたらゼロにならないので

とてつもなくぼう大な計算になりますが，計量からすべて計算されたのですか？　だとしたら頭が下がる思いです。私は，数学ソフトですべての項を書き下ろしてはみましたが，その和をシンボリックにゼロまで簡略化することはソフトの能力の限界で不可能でした。もちろん，すべて手計算するなど途方も無いことに思えます。回答にならずすみません。関心を持ちましたのでコメントさせていただきました。