1
$\begingroup$

In Riemannian Geometry (or Pseudo-Riemannian too), all of the operations performed are in general position dependent. For example, the metric tensor $g_{\mu\nu}(x)$ is dependent on position $x^i$ for $i=0,\cdots,N$.

Since the raising and lowering of components in a rank-n tensor is based on the metric tensor then the act of raising and lowering of components seems to be position dependent as well (my assumption, please confirm true/false).

And, I am also assuming that even performing a contraction is position dependent.

Therefore, I am assuming that when you are actually working on a problem, computing actual numbers for a solution that all of these operations that we normally display merely by index manipulation are position dependent and therefore computation-heavy operations.

However, if this assumption is correct then I am confused about the general case of deriving the Ricci Tensor from the Riemannian Curvature tensor via contraction operation. Sure, given a well formed coordinate system (Spherical?) such operations are maintained in functional form with variables $r, \theta, and\, \phi$ but is this always the case? Or, is this contraction producing the Ricci tensor performed for each individual position in the domain of computation?

Please confirm or correct my assumptions. Alternatively, point me to some resource that describes how one goes about computing with tensors in the general sense (where an obviously simple Euclidean space is not assumed).

$\endgroup$
  • $\begingroup$ You're given the Riemann tensor (as a function of position) and the metric tensor (as a function of position) and then you apply the formula to obtain the Ricci tensor (as a function of position). What exactly is your question about that? Just that this seems in general a bit difficult? It is, in general. $\endgroup$ – ACuriousMind Oct 27 '16 at 17:33
  • $\begingroup$ If I were dealing with a functional form where derivatives are always able to be taken resulting in functional form I have no issues. However, I am thinking in a general case where this is not feasible or more likely the problem being solved is based on multiple coordinate patches that are different from each other. $\endgroup$ – K7PEH Oct 27 '16 at 17:36
  • $\begingroup$ GR is notoriously laborious to work with in practice, if that's what you mean. Some early algebra systems were written specifically to take the labour out of it. But a lot of computations in physical systems are either laborious, numerically extremely intensive or both: that's the nature of the game. $\endgroup$ – tfb Oct 27 '16 at 22:34
0
$\begingroup$

How complicated or expensive the problem/computations become at the end highly depends on what you do and what one really is interested in.

In the scope of your question lets look at a simple problem (which involves numerical solutions) and how one would really tackle it: A spherical symmetric, static, cold compact star composed of an ideal fluid. This is the setting of the Tolman-Oppenheimer-Volkoff (TOV) equation. After some algebra, which works in the symmetries one is left with the task of solving 3 differential equations: two for the only two open metric potentials and 1 for the pressure gradient. The Einstein equations come down to just 3 differential equations. I can bring them to this state just by working in my symmetries. One does not need any specific values of the tensor fields. To bring down/simplify expressions one does not need the functional forms: eg. I can lower or raise indices with the metric where and when ever I want for that I do not need to know how my metric explicitly looks like in the end: $x_\mu=g_{\mu\nu}x^\nu$ holds for all $x_\mu\in \mathbb{R}^4$ and I can write this down without having any clue about the metric or how the metric potentials look like. All preliminary tensor algebra looks works like that.

So to completely describe the star and its spacetime one only needs to solve those 3 differential equations numerically. What one is left with after are three functions $P(r)$, $\nu(r)$ and $\lambda(r)$. $P(r)$ describes the pressure gradient of the star and with an equation of state this specifies the configuration completely and $\nu(r)$ and $\lambda(r)$ are the metric potentials from the line element: $$ds^2=-e^{\nu(r)}dt^2+e^{\lambda(r)}dr^2+r^2(d\theta^2+\sin^2\theta d\phi^2).$$

Now that we know all missing parts we can compute anything related to the problem: geodesics, total internal energy, surface gravity everything one can think of. The total internal energy would be something like $$M_{TW}=\int (T_{i}^{~i}-T_{t}^{~t})\sqrt{-g}dV =4\pi \int_0^R dr~ r^2e^{(\nu(r)+\lambda(r))/2}(\rho(r)+3P(r)).$$ Computing that numerically is straight forward once we have our metric potentials and pressure gradient as numerical solutions. So that we do not know analytical solutions for our metric potentials and pressure gradients is not a problem in the end because we really do not need to have them analytically.

If one is really interested in high end numerical General relativistic calculations in 4D I would recommend literature on Numerical Relativity. Or you could look at software packages/codes like LORENE or Whisky. Those codes implement tensor fields and operations on and with them. Those codes are able to solve the Einstein equations (+Maxwell,...) on spacetime grids numerically exact. Depending on the problem at hand however one will always try to work in the symmetries to reduce the dimensionality as much as possible. In the scope of those codes the Einstein equations in general do not decouple and very involved numerical methods are necessary to solve those coupled differential equations.

$\endgroup$
  • $\begingroup$ I am not sure if this answers my question or not. I think I need time to think about your comments and also look into Numerical Relativity a bit more (I had already looked at a few resources). Checked out LORENE briefly a few moments ago but could not locate Whiskey as I need to discover a way to refine my google search without some article popping up about physicists getting drunk on whiskey because they are having trouble with their tensors and things of that ilk. $\endgroup$ – K7PEH Oct 28 '16 at 21:57
0
$\begingroup$

Thinking about it in abstract geometrical terms might help. So, you have a (pseudo-)Riemannian manifold but you don't have to consider coordinates.

In calculations, you're considering a point on the manifold, let's say $\mathbf{x}$. All quantities are either evaluated at that point or they are integrals over specified regions. One cannot trivially compare values of fields at different points and that's why we use Christoffel symbols $\mathbf{\Gamma}$, i.e. connections. They allow us to take into account the metric structure of the manifold and go between different coordinate patches.

Raising, lowering and contracting indices is accomplished by multiplication with $g^{\mu \nu} (x)$. So what happens there?

Consider a vector-valued function $A^\mu (x)$. This function takes a point on the manifold, parametrized by $x$, and it maps it to a contravariant vector at that point, i.e. to an element of the cotangent vector space at that point.

Similarly, $A_{\mu} (x)$ maps the point to a covariant vector, i.e. an element of the tangent vector space at that point.

The metric tensor, on the other hand, is perhaps best viewed as a function that takes two arguments and spits out a scalar. Specifically, it takes a tangent vector and a cotangent vector and maps them to a scalar. The thing is, you have a different (co)tagent space at each point on the manifold (they constitute the (co)tangent bundle, by the way) and you obviously can't work with vectors from different vector spaces. That's why $\mathbf{g}$ is a function of position, you have to specify a point and both vectors have to be defined in spaces at that point on the manifold.

With that being said, raising and lowering simply amounts to looking at the metric with one slot empty, i.e. $$g^{\mu \nu}A_\nu \leftrightarrow \mathbf{g} ( \mathbf{A}, \, \, )$$ $$g_{\mu \nu}A^\nu \leftrightarrow \mathbf{g} ( \, \, , \mathbf{A} )$$

Contraction should be obvious at this point, although it's just slightly more complicated to talk about it.

The point (no pun intended) is, those operations are all taken at the same point.

$\endgroup$
  • $\begingroup$ thanks for the effort you put into your answer. However, I already know all that -- been through several GR texts already. My question was more about computational work. Maybe the extreme condition that I am interested is where the metric tensor and everything else is nothing other than numbers and you have these numbers for all the points of interest -- that is, no analytical or functional form. Albeit, that is the extreme -- I am currently thinking through the issue with some helps of numerical relativity resources on-line. $\endgroup$ – K7PEH Oct 29 '16 at 18:27

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

Not the answer you're looking for? Browse other questions tagged or ask your own question.