アインシュタインの縮約記法
以下では、時間座標を0成分とし、空間座標を1,2,3成分とする添字を使い、計量(metric)の符号はformula_4とする。また、アインシュタインの縮約記法を用いる。