As is the case of all the tensors of the ThreePlusOne package, Christoffel3[mu, alpha, beta], Ricci3[alpha, beta] and Riemann3[mu, nu, alpha, beta] are 4D spacetime tensors with special meaning: their are purely spatial, and so all their components are equal to zero when their indices are contravariant and any of them has a timelike value (i.e. contravariant 0). Their 3D (space) components represent the Christoffel symbols, and the Ricci and Riemann tensors on the 3D hypersurface specified by the values of the Lapse and Shift.

The value of the components of the tensors described in this page are related to the values of the Lapse and Shift, that you can set using Setup and its lapseandshift keyword. There are three possible values for lapseandshift: standard, arbitrary, or a list of algebraic expressions representing the Lapse and Shift. The value chosen determines the values of the components of all the ThreePlusOne tensors or tensorial expressions involving them (e.g. the ADMEquations). Those components are always computed first in terms of the Lapse and Shift and the space part $g_{i,j}$ of the 4D metric, then in a second step, if lapseandshift = standard, the Lapse and the Shift are replaced by their expressions in terms of the $g_{0,\mathrm{\mu }}$ part of the 4D metric, according to ${\mathbf{\alpha }}^2={\left(-g_{}^{0,0}\right)}^{-1}$ and ${\mathbf{\beta }}_j=g_{0,j}$, or if lapseandshift was set passing a list to Setup then in terms of the values indicated in that list (these values are not used to set the $g_{0,\mathrm{\mu }}$ part of the 4D metric). When lapseandshift = arbitrary, the second step is not performed and the Lapse and Shift evaluate to themselves, representing an arbitrary value for them. In the three cases, standard, arbitrary, or a list of algebraic expressions, the components of the ThreePlusOne tensors are computed in terms of a metric with line element ${\mathrm{ds}}^2=-{\mathit{\alpha }}^2{\mathrm{dt}}^2+{\mathit{\gamma }}_{i,j}\left({\mathrm{dx}}^i+{\mathit{\beta }}_{\phantom{}\phantom{i}}^{\phantom{}i}\mathrm{dt}\right)\left({\mathrm{dx}}^j+{\mathit{\beta }}_{\phantom{}\phantom{j}}^{\phantom{}j}\mathrm{dt}\right)$, where $\mathbf{\alpha }$ and ${\mathbf{\beta }}_{}^i$ have the Lapse and Shift values mentioned, and ${\mathbf{\gamma }}_{i,j}=g_{i,j}$ is the ThreePlusOne:-gamma3_ metric of the 3D hypersurface. This design permits working with any 4D metric set and, without changing its value, experimenting with different values of the Lapse and Shift (different values of $g_{0,\mathrm{\mu }}$) for the 3+1 decomposition of Einstein's equations. See also LapseAndShiftConditions.

On the screen, Christoffel3, Ricci3 and Riemann3 are displayed as the corresponding Christoffel, Ricci and Riemann tensors, but in black instead of in blue.

The Christoffel3, Ricci3 and Riemann3 can be expressed in terms of the derivatives of the 3D metric gamma3_ by replacing g_ by gamma3_ in the standard expression of Christoffel, Ricci and Riemann in terms of derivatives of the 4D g_ metric, followed by projecting the result over the hypersurface, using gamma3_ as a projector:

You can also get these expressions using convert, with g_ or Christoffel as second argument, respectively for Christoffel3, and for Ricci3 and Riemann3. In the case of Riemann3 and Ricci3 , these formulas are equivalent to their definitions in terms of the 4D Riemann and Ricci and the ExtrinsicCurvature tensors, that you see when you enter Riemann3[definition], Ricci3[definition]:

In the case of Christoffel3 (not Ricci3 and not Riemann3) its components can as well be obtained from the 4D Christoffel symbols by just projecting onto the 3D hypersurface, as in

NOTE: The space components of these 4D tensors of the ThreePlusOne package are not necessarily the same as the space components of the corresponding 4D Christoffel, Ricci and Riemann tensors, whose space part are not tensors in 3D in general.

As with any other 4D tensor, to raise and lower the 4D free indices entering these 4D tensors Christoffel3, Ricci3 and Riemann3, you can contract with the 4D spacetime metric $g_{\mathrm{\mu },\mathrm{\nu }}$. This is so regardless of them being purely spatial. Also, as with any other purely spatial 4D tensor, you can as well raise and lower its 4D free indices by contracting them with the 3D metric in the hypersurface (that is also a purely spatial 4D tensor) represented by gamma3_. And as with any other tensors whose space parts are also 3D tensors (i.e. when replacing the 4D spacetime free indices by 3D space indices), their space indices are raised and lowered using the 3D metric gamma3_ with space indices (not the 4D metric g_ with space indices).

The %Christoffel3, %Ricci3 and %Riemann3 commands are the inert forms of Christoffel3, Ricci3 and Riemann3, so they represent the same mathematical objects/operations but without performing any computation/evaluation. To perform the evaluation (e.g. to get the actual values of their components when the indices have numerical values), use value.

$\mathrm{with}\left(\mathrm{Physics}\right)\:$$\mathrm{with}\left(\mathrm{ThreePlusOne}\right)$

$\mathrm{\_\_\_\_\_\_\_\_\_\_\_\_\_\_\_\_\_\_\_\_\_\_\_\_\_\_\_\_\_\_\_\_\_\_\_\_\_\_\_\_\_\_\_\_\_\_\_\_\_\_\_\_\_\_\_}$

$\mathrm{Setting}\mathrm{lowercaselatin\_is}\mathrm{letters\; to\; represent}\mathrm{space}\mathrm{indices}$

$\mathrm{Defined\; as\; 4D\; spacetime\; tensors}\left(\mathrm{see\; ?Physics,ThreePlusOne}\right),{\mathbf{\gamma }}_{\mathrm{\mu },\mathrm{\nu }},{\mathit{▿}}_{\mathrm{\mu }},{\mathbf{\Gamma }}_{\mathrm{\mu },\mathrm{\nu },\mathrm{\alpha }},{\mathit{R}}_{\mathrm{\mu },\mathrm{\nu }},{\mathit{R}}_{\mathrm{\mu },\mathrm{\nu },\mathrm{\alpha },\mathrm{\beta }},{\mathbf{\beta }}_{\mathrm{\mu }},{\mathit{n}}_{\mathrm{\mu }},{\mathit{t}}_{\mathrm{\mu }},{\mathbf{{\rm K}}}_{\mathrm{\mu },\mathrm{\nu }}$

$\mathrm{Changing\; the\; signature\; of\; spacetime\; from}\left(\mathrm{-\; -\; -\; +}\right)\mathrm{to}\left(\mathrm{+\; +\; +\; -}\right)\mathrm{in\; order\; to\; match\; the\; signature\; customarily\; used\; in\; the\; ADM\; formalism}$

$\mathrm{Systems\; of\; spacetime\; coordinates\; are:}\left\{X=\left(x\,y\,z\,t\right)\right\}$

$\mathrm{\_\_\_\_\_\_\_\_\_\_\_\_\_\_\_\_\_\_\_\_\_\_\_\_\_\_\_\_\_\_\_\_\_\_\_\_\_\_\_\_\_\_\_\_\_\_\_\_\_\_\_\_\_\_\_}$

$\left[\mathrm{ADMEquations}\,\mathrm{Christoffel3}\,\mathrm{D3\_}\,\mathrm{ExtrinsicCurvature}\,\mathrm{Lapse}\,\mathrm{LapseAndShiftConditions}\,\mathrm{Ricci3}\,\mathrm{Riemann3}\,\mathrm{Shift}\,\mathrm{TimeVector}\,\mathrm{UnitNormalVector}\,\mathrm{gamma3\_}\right]$

$\mathrm{Setup}\left(\mathrm{mathematicalnotation}=\mathrm{true}\right)$

$\left[\mathrm{mathematicalnotation}=\mathrm{true}\right]$

$\mathrm{Setup}\left(\mathrm{coordinatesystems}=\mathrm{cartesian}\right)$

$\mathrm{Systems\; of\; spacetime\; coordinates\; are:}\left\{X=\left(x\,y\,z\,t\right)\right\}$

$\left[\mathrm{coordinatesystems}=\left\{X\right\}\right]$

$\mathrm{g\_}\left[\right]$

$g_{\mathrm{\mu },\mathrm{\nu }}=\left[\begin{array}{cccc}1& 0& 0& 0\\ 0& 1& 0& 0\\ 0& 0& 1& 0\\ 0& 0& 0& \mathrm{-1}\end{array}\right]$

$\mathrm{Christoffel}\left[\mathrm{nonzero}\right]$

${\mathrm{\Gamma }}_{\mathrm{\alpha },\mathrm{\mu },\mathrm{\nu }}=\varnothing$

$\mathrm{Christoffel3}\left[\mathrm{nonzero}\right]$

${\mathbf{\Gamma }}_{\mathrm{\alpha },\mathrm{\mu },\mathrm{\nu }}=\varnothing$

$\mathrm{g\_}\left[\mathrm{sc}\right]$

$\mathrm{\_\_\_\_\_\_\_\_\_\_\_\_\_\_\_\_\_\_\_\_\_\_\_\_\_\_\_\_\_\_\_\_\_\_\_\_\_\_\_\_\_\_\_\_\_\_\_\_\_\_\_\_\_\_\_}$

$\mathrm{Systems\; of\; spacetime\; coordinates\; are:}\left\{X=\left(r\,\mathrm{\theta }\,\mathrm{\phi }\,t\right)\right\}$

$\mathrm{Default\; differentiation\; variables\; for\; d\_,\; D\_\; and\; dAlembertian\; are:}\left\{X=\left(r\,\mathrm{\theta }\,\mathrm{\phi }\,t\right)\right\}$

$\mathrm{The\; Schwarzschild\; metric\; in\; coordinates}\left[r\,\mathrm{\theta }\,\mathrm{\phi }\,t\right]$

$\mathrm{Parameters:}\left[m\right]$

$\mathrm{Signature:}\left(\mathrm{+\; +\; +\; -}\right)$

$\mathrm{\_\_\_\_\_\_\_\_\_\_\_\_\_\_\_\_\_\_\_\_\_\_\_\_\_\_\_\_\_\_\_\_\_\_\_\_\_\_\_\_\_\_\_\_\_\_\_\_\_\_\_\_\_\_\_}$

$g_{\mathrm{\mu },\mathrm{\nu }}=\left[\begin{array}{cccc}-\frac{r}{2m-r}& 0& 0& 0\\ 0& r^2& 0& 0\\ 0& 0& r^2{\sin \left(\mathrm{\theta }\right)}^2& 0\\ 0& 0& 0& \frac{2m-r}{r}\end{array}\right]$

$\mathrm{Christoffel3}\left[\mathrm{definition}\right]$

${\mathbf{\Gamma }}_{\mathrm{\alpha },\mathrm{\mu },\mathrm{\nu }}=\frac{{\mathbf{\gamma }}_{\mathrm{\alpha }\phantom{\mathrm{\beta }}}^{\phantom{\mathrm{\alpha }}\mathrm{\beta }}{\mathbf{\gamma }}_{\mathrm{\mu }\phantom{\mathrm{\kappa }}}^{\phantom{\mathrm{\mu }}\mathrm{\kappa }}{\mathbf{\gamma }}_{\mathrm{\nu }\phantom{\mathrm{\lambda }}}^{\phantom{\mathrm{\nu }}\mathrm{\lambda }}\left({\partial }_{\mathrm{\lambda }}\left({\mathbf{\gamma }}_{\mathrm{\beta },\mathrm{\kappa }}\right)+{\partial }_{\mathrm{\kappa }}\left({\mathbf{\gamma }}_{\mathrm{\beta },\mathrm{\lambda }}\right)-{\partial }_{\mathrm{\beta }}\left({\mathbf{\gamma }}_{\mathrm{\kappa },\mathrm{\lambda }}\right)\right)}{2}$

$\mathrm{Christoffel3}\left[\mathrm{nonzero}\right]$

${\mathbf{\Gamma }}_{\mathrm{\alpha },\mathrm{\mu },\mathrm{\nu }}=\left\{\left(1\,1\,1\right)=-\frac{m}{{\left(2m-r\right)}^2}\,\left(1\,2\,2\right)=-r\,\left(1\,3\,3\right)=-r{\sin \left(\mathrm{\theta }\right)}^2\,\left(2\,1\,2\right)=r\,\left(2\,2\,1\right)=r\,\left(2\,3\,3\right)=-r^2\sin \left(\mathrm{\theta }\right)\cos \left(\mathrm{\theta }\right)\,\left(3\,1\,3\right)=r{\sin \left(\mathrm{\theta }\right)}^2\,\left(3\,2\,3\right)=r^2\sin \left(\mathrm{\theta }\right)\cos \left(\mathrm{\theta }\right)\,\left(3\,3\,1\right)=r{\sin \left(\mathrm{\theta }\right)}^2\,\left(3\,3\,2\right)=r^2\sin \left(\mathrm{\theta }\right)\cos \left(\mathrm{\theta }\right)\right\}$

$\mathrm{Christoffel}\left[\mathrm{\mu },\mathrm{\nu },\mathrm{\rho }\right]=\mathrm{convert}\left(\mathrm{Christoffel}\left[\mathrm{\mu },\mathrm{\nu },\mathrm{\rho }\right]\,\mathrm{g\_}\right)$

${\mathrm{\Gamma }}_{\mathrm{\mu },\mathrm{\nu },\mathrm{\rho }}=\frac{{\partial }_{\mathrm{\rho }}\left(g_{\mathrm{\mu },\mathrm{\nu }}\right)}{2}+\frac{{\partial }_{\mathrm{\nu }}\left(g_{\mathrm{\mu },\mathrm{\rho }}\right)}{2}-\frac{{\partial }_{\mathrm{\mu }}\left(g_{\mathrm{\nu },\mathrm{\rho }}\right)}{2}$

$\mathrm{Christoffel3}\left[\mathrm{\mu },\mathrm{\nu },\mathrm{\rho }\right]=\mathrm{convert}\left(\mathrm{Christoffel3}\left[\mathrm{\mu },\mathrm{\nu },\mathrm{\rho }\right]\,\mathrm{g\_}\right)$

${\mathbf{\Gamma }}_{\mathrm{\mu },\mathrm{\nu },\mathrm{\rho }}=\frac{{\mathbf{\gamma }}_{\mathrm{\mu }\phantom{\mathrm{\alpha }}}^{\phantom{\mathrm{\mu }}\mathrm{\alpha }}{\mathbf{\gamma }}_{\mathrm{\nu }\phantom{\mathrm{\beta }}}^{\phantom{\mathrm{\nu }}\mathrm{\beta }}{\mathbf{\gamma }}_{\mathrm{\rho }\phantom{\mathrm{\kappa }}}^{\phantom{\mathrm{\rho }}\mathrm{\kappa }}\left({\partial }_{\mathrm{\kappa }}\left({\mathbf{\gamma }}_{\mathrm{\alpha },\mathrm{\beta }}\right)+{\partial }_{\mathrm{\beta }}\left({\mathbf{\gamma }}_{\mathrm{\alpha },\mathrm{\kappa }}\right)-{\partial }_{\mathrm{\alpha }}\left({\mathbf{\gamma }}_{\mathrm{\beta },\mathrm{\kappa }}\right)\right)}{2}$

$\mathrm{Ricci3}\left[\mathrm{definition}\right]$

${\mathit{R}}_{\mathrm{\mu },\mathrm{\nu }}={\mathbf{\gamma }}_{\phantom{}\phantom{\mathrm{\alpha },\mathrm{\beta }}}^{\phantom{}\mathrm{\alpha },\mathrm{\beta }}{\mathbf{\gamma }}_{\mathrm{\mu }\phantom{\mathrm{\kappa }}}^{\phantom{\mathrm{\mu }}\mathrm{\kappa }}{\mathbf{\gamma }}_{\mathrm{\alpha }\phantom{\mathrm{\lambda }}}^{\phantom{\mathrm{\alpha }}\mathrm{\lambda }}{\mathbf{\gamma }}_{\mathrm{\nu }\phantom{\mathrm{\sigma }}}^{\phantom{\mathrm{\nu }}\mathrm{\sigma }}{R}_{\mathrm{\beta },\mathrm{\kappa },\mathrm{\lambda },\mathrm{\sigma }}+{\mathbf{{\rm K}}}_{\phantom{}\phantom{\mathrm{\alpha }}\mathrm{\nu }}^{\phantom{}\mathrm{\alpha }\phantom{\mathrm{\nu }}}{\mathbf{{\rm K}}}_{\mathrm{\mu },\mathrm{\alpha }}-{\mathbf{{\rm K}}}_{\phantom{}\phantom{\mathrm{\alpha }}\mathrm{\alpha }}^{\phantom{}\mathrm{\alpha }\phantom{\mathrm{\alpha }}}{\mathbf{{\rm K}}}_{\mathrm{\mu },\mathrm{\nu }}$

$\mathrm{ExtrinsicCurvature}\left[\mathrm{definition}\right]$

${\mathbf{{\rm K}}}_{\mathrm{\mu },\mathrm{\nu }}=-\frac{{ℒ}_{\mathit{n}}\left({\mathbf{\gamma }}_{\mathrm{\mu },\mathrm{\nu }}\right)}{2}$

$\mathrm{rhs}\left(\mathrm{Ricci3}\left[\mathrm{\alpha },\mathrm{\beta },\mathrm{definition}\right]\right)=\mathrm{convert}\left(\mathrm{Ricci3}\left[\mathrm{\alpha },\mathrm{\beta }\right]\,\mathrm{Christoffel}\right)$

${\mathbf{\gamma }}_{\phantom{}\phantom{\mathrm{\mu },\mathrm{\nu }}}^{\phantom{}\mathrm{\mu },\mathrm{\nu }}{\mathbf{\gamma }}_{\mathrm{\alpha }\phantom{\mathrm{\kappa }}}^{\phantom{\mathrm{\alpha }}\mathrm{\kappa }}{\mathbf{\gamma }}_{\mathrm{\mu }\phantom{\mathrm{\lambda }}}^{\phantom{\mathrm{\mu }}\mathrm{\lambda }}{\mathbf{\gamma }}_{\mathrm{\beta }\phantom{\mathrm{\sigma }}}^{\phantom{\mathrm{\beta }}\mathrm{\sigma }}{R}_{\mathrm{\nu },\mathrm{\kappa },\mathrm{\lambda },\mathrm{\sigma }}-{\mathbf{{\rm K}}}_{\phantom{}\phantom{\mathrm{\mu }}\mathrm{\mu }}^{\phantom{}\mathrm{\mu }\phantom{\mathrm{\mu }}}{\mathbf{{\rm K}}}_{\mathrm{\alpha },\mathrm{\beta }}+{\mathbf{{\rm K}}}_{\phantom{}\phantom{\mathrm{\mu }}\mathrm{\beta }}^{\phantom{}\mathrm{\mu }\phantom{\mathrm{\beta }}}{\mathbf{{\rm K}}}_{\mathrm{\alpha },\mathrm{\mu }}={\mathbf{\gamma }}_{\mathrm{\alpha }\phantom{\mathrm{\sigma }}}^{\phantom{\mathrm{\alpha }}\mathrm{\sigma }}{\mathbf{\gamma }}_{\mathrm{\beta }\phantom{\mathrm{\tau }}}^{\phantom{\mathrm{\beta }}\mathrm{\tau }}\left({\partial }_{\mathrm{\mu }}\left({\mathbf{\Gamma }}_{\phantom{}\phantom{\mathrm{\mu }}\mathrm{\sigma },\mathrm{\tau }}^{\phantom{}\mathrm{\mu }\phantom{\mathrm{\sigma },\mathrm{\tau }}}\right)-{\partial }_{\mathrm{\tau }}\left({\mathbf{\Gamma }}_{\phantom{}\phantom{\mathrm{\mu }}\mathrm{\mu },\mathrm{\sigma }}^{\phantom{}\mathrm{\mu }\phantom{\mathrm{\mu },\mathrm{\sigma }}}\right)+{\mathbf{\Gamma }}_{\phantom{}\phantom{\mathrm{\nu }}\mathrm{\sigma },\mathrm{\tau }}^{\phantom{}\mathrm{\nu }\phantom{\mathrm{\sigma },\mathrm{\tau }}}{\mathbf{\Gamma }}_{\phantom{}\phantom{\mathrm{\mu }}\mathrm{\mu },\mathrm{\nu }}^{\phantom{}\mathrm{\mu }\phantom{\mathrm{\mu },\mathrm{\nu }}}-{\mathbf{\Gamma }}_{\phantom{}\phantom{\mathrm{\nu }}\mathrm{\mu },\mathrm{\sigma }}^{\phantom{}\mathrm{\nu }\phantom{\mathrm{\mu },\mathrm{\sigma }}}{\mathbf{\Gamma }}_{\phantom{}\phantom{\mathrm{\mu }}\mathrm{\nu },\mathrm{\tau }}^{\phantom{}\mathrm{\mu }\phantom{\mathrm{\nu },\mathrm{\tau }}}\right)$

$\mathrm{TensorArray}\left(\,\mathrm{simplifier}=\mathrm{simplify}\right)$

$\left[\begin{array}{cccc}\frac{2m}{r^2\left(2m-r\right)}=\frac{2m}{r^2\left(2m-r\right)}& 0=0& 0=0& 0=0\\ 0=0& \frac{m}{r}=\frac{m}{r}& 0=0& 0=0\\ 0=0& 0=0& \frac{m{\sin \left(\mathrm{\theta }\right)}^2}{r}=\frac{m{\sin \left(\mathrm{\theta }\right)}^2}{r}& 0=0\\ 0=0& 0=0& 0=0& 0=0\end{array}\right]$

$\mathrm{Riemann3}\left[\mathrm{definition}\right]$

${\mathit{R}}_{\mathrm{\alpha },\mathrm{\beta },\mathrm{\mu },\mathrm{\nu }}={\mathbf{\gamma }}_{\mathrm{\alpha }\phantom{\mathrm{\kappa }}}^{\phantom{\mathrm{\alpha }}\mathrm{\kappa }}{\mathbf{\gamma }}_{\mathrm{\beta }\phantom{\mathrm{\lambda }}}^{\phantom{\mathrm{\beta }}\mathrm{\lambda }}{\mathbf{\gamma }}_{\mathrm{\mu }\phantom{\mathrm{\sigma }}}^{\phantom{\mathrm{\mu }}\mathrm{\sigma }}{\mathbf{\gamma }}_{\mathrm{\nu }\phantom{\mathrm{\tau }}}^{\phantom{\mathrm{\nu }}\mathrm{\tau }}{R}_{\mathrm{\kappa },\mathrm{\lambda },\mathrm{\sigma },\mathrm{\tau }}-{\mathbf{{\rm K}}}_{\mathrm{\alpha },\mathrm{\mu }}{\mathbf{{\rm K}}}_{\mathrm{\beta },\mathrm{\nu }}+{\mathbf{{\rm K}}}_{\mathrm{\alpha },\mathrm{\nu }}{\mathbf{{\rm K}}}_{\mathrm{\beta },\mathrm{\mu }}$

$\mathrm{Riemann3}\left[\mathrm{`~`},\mathrm{definition}\right]$

${\mathit{R}}_{\phantom{}\phantom{\mathrm{\alpha },\mathrm{\beta },\mathrm{\mu },\mathrm{\nu }}}^{\phantom{}\mathrm{\alpha },\mathrm{\beta },\mathrm{\mu },\mathrm{\nu }}={\mathbf{\gamma }}_{\phantom{}\phantom{\mathrm{\alpha },\mathrm{\kappa }}}^{\phantom{}\mathrm{\alpha },\mathrm{\kappa }}{\mathbf{\gamma }}_{\phantom{}\phantom{\mathrm{\beta },\mathrm{\lambda }}}^{\phantom{}\mathrm{\beta },\mathrm{\lambda }}{\mathbf{\gamma }}_{\phantom{}\phantom{\mathrm{\mu },\mathrm{\sigma }}}^{\phantom{}\mathrm{\mu },\mathrm{\sigma }}{\mathbf{\gamma }}_{\phantom{}\phantom{\mathrm{\nu },\mathrm{\tau }}}^{\phantom{}\mathrm{\nu },\mathrm{\tau }}{R}_{\mathrm{\kappa },\mathrm{\lambda },\mathrm{\sigma },\mathrm{\tau }}-{\mathbf{{\rm K}}}_{\phantom{}\phantom{\mathrm{\alpha },\mathrm{\mu }}}^{\phantom{}\mathrm{\alpha },\mathrm{\mu }}{\mathbf{{\rm K}}}_{\phantom{}\phantom{\mathrm{\beta },\mathrm{\nu }}}^{\phantom{}\mathrm{\beta },\mathrm{\nu }}+{\mathbf{{\rm K}}}_{\phantom{}\phantom{\mathrm{\alpha },\mathrm{\nu }}}^{\phantom{}\mathrm{\alpha },\mathrm{\nu }}{\mathbf{{\rm K}}}_{\phantom{}\phantom{\mathrm{\beta },\mathrm{\mu }}}^{\phantom{}\mathrm{\beta },\mathrm{\mu }}$

$\mathrm{Riemann3}\left[\mathrm{~alpha},\mathrm{\beta },\mathrm{~mu},\mathrm{\nu },\mathrm{definition}\right]$

${\mathit{R}}_{\phantom{}\phantom{\mathrm{\alpha }}\mathrm{\beta }\phantom{\mathrm{\mu }}\mathrm{\nu }}^{\phantom{}\mathrm{\alpha }\phantom{\mathrm{\beta }}\mathrm{\mu }\phantom{\mathrm{\nu }}}={\mathbf{\gamma }}_{\phantom{}\phantom{\mathrm{\alpha },\mathrm{\kappa }}}^{\phantom{}\mathrm{\alpha },\mathrm{\kappa }}{\mathbf{\gamma }}_{\mathrm{\beta }\phantom{\mathrm{\lambda }}}^{\phantom{\mathrm{\beta }}\mathrm{\lambda }}{\mathbf{\gamma }}_{\phantom{}\phantom{\mathrm{\mu },\mathrm{\sigma }}}^{\phantom{}\mathrm{\mu },\mathrm{\sigma }}{\mathbf{\gamma }}_{\mathrm{\nu }\phantom{\mathrm{\tau }}}^{\phantom{\mathrm{\nu }}\mathrm{\tau }}{R}_{\mathrm{\kappa },\mathrm{\lambda },\mathrm{\sigma },\mathrm{\tau }}-{\mathbf{{\rm K}}}_{\phantom{}\phantom{\mathrm{\alpha },\mathrm{\mu }}}^{\phantom{}\mathrm{\alpha },\mathrm{\mu }}{\mathbf{{\rm K}}}_{\mathrm{\beta },\mathrm{\nu }}+{\mathbf{{\rm K}}}_{\phantom{}\phantom{\mathrm{\alpha }}\mathrm{\nu }}^{\phantom{}\mathrm{\alpha }\phantom{\mathrm{\nu }}}{\mathbf{{\rm K}}}_{\mathrm{\beta }\phantom{\mathrm{\mu }}}^{\phantom{\mathrm{\beta }}\mathrm{\mu }}$

$\mathrm{Riemann3}\left[\mathrm{nonzero}\right]$

${\mathit{R}}_{\mathrm{\alpha },\mathrm{\beta },\mathrm{\mu },\mathrm{\nu }}=\left\{\left(1\,2\,1\,2\right)=\frac{m}{2m-r}\,\left(1\,2\,2\,1\right)=-\frac{m}{2m-r}\,\left(1\,3\,1\,3\right)=\frac{{\sin \left(\mathrm{\theta }\right)}^{2}m}{2m-r}\,\left(1\,3\,3\,1\right)=-\frac{{\sin \left(\mathrm{\theta }\right)}^{2}m}{2m-r}\,\left(2\,1\,1\,2\right)=-\frac{m}{2m-r}\,\left(2\,1\,2\,1\right)=\frac{m}{2m-r}\,\left(2\,3\,2\,3\right)=2r{\sin \left(\mathrm{\theta }\right)}^{2}m\,\left(2\,3\,3\,2\right)=-2r{\sin \left(\mathrm{\theta }\right)}^{2}m\,\left(3\,1\,1\,3\right)=-\frac{{\sin \left(\mathrm{\theta }\right)}^{2}m}{2m-r}\,\left(3\,1\,3\,1\right)=\frac{{\sin \left(\mathrm{\theta }\right)}^{2}m}{2m-r}\,\left(3\,2\,2\,3\right)=-2r{\sin \left(\mathrm{\theta }\right)}^{2}m\,\left(3\,2\,3\,2\right)=2r{\sin \left(\mathrm{\theta }\right)}^{2}m\right\}$

$\mathrm{Ricci}\left[\right]$

$R_{\mathrm{\mu },\mathrm{\nu }}=\left[\begin{array}{cccc}0& 0& 0& 0\\ 0& 0& 0& 0\\ 0& 0& 0& 0\\ 0& 0& 0& 0\end{array}\right]$

$\mathrm{Ricci3}\left[\right]$

${\mathit{R}}_{\mathrm{\mu },\mathrm{\nu }}=\left[\begin{array}{cccc}\frac{2m}{r^2\left(2m-r\right)}& 0& 0& 0\\ 0& \frac{m}{r}& 0& 0\\ 0& 0& \frac{m{\sin \left(\mathrm{\theta }\right)}^2}{r}& 0\\ 0& 0& 0& 0\end{array}\right]$

$\mathrm{Ricci3}\left[i,j,\mathrm{matrix}\right]$

${\mathit{R}}_{i,j}=\left[\begin{array}{ccc}\frac{2m}{r^2\left(2m-r\right)}& 0& 0\\ 0& \frac{m}{r}& 0\\ 0& 0& \frac{m{\sin \left(\mathrm{\theta }\right)}^2}{r}\end{array}\right]$

$\mathrm{Ricci3}\left[\mathrm{~i},j,\mathrm{matrix}\right]$

${\mathit{R}}_{\phantom{}\phantom{i}j}^{\phantom{}i\phantom{j}}=\left[\begin{array}{ccc}-\frac{2m}{r^3}& 0& 0\\ 0& \frac{m}{r^3}& 0\\ 0& 0& \frac{m}{r^3}\end{array}\right]$

$\mathrm{\%Ricci3}\left[\mathrm{~1},1\right]$

${\mathit{R}}_{\phantom{}\phantom{1}1}^{\phantom{}1\phantom{1}}$

$\mathrm{value}\left(\right)$

$-\frac{2m}{r^3}$

[1] Landau, L.D., and Lifshitz, E.M. The Classical Theory of Fields, Course of Theoretical Physics Volume 2, fourth revised English edition. Elsevier, 1975.

[2] Alcubierre, M., Introduction to 3+1 Numerical Relativity, International Series of Monographs on Physics 140, Oxford University Press, 2008.

[3] Baumgarte, T.W., Shapiro, S.L., Numerical Relativity, Solving Einstein's Equations on a Computer, Cambridge University Press, 2010.

[4] Gourgoulhon, E., 3+1 Formalism and Bases of Numerical Relativity, Lecture notes, 2007, https://arxiv.org/pdf/gr-qc/0703035v1.pdf.