Defining perturbed FLRW metric in Poisson gauge with xact

[Mre]

Hi, I want to use the perturbed FLRW metric in the Poisson gauge (see the attached image) to expand the Einstein-Hilbert action and then take the variation of it to obtain the stress-energy tensor and perturbed Einstein equations to desired order.

the perturbed FLRW metric in the Poisson gauge:

$\mathrm{d} s^2=g_{\mu \nu} \mathrm{d} x^\mu \mathrm{d} x^\nu=a^2(\tau)\left[-(1+2 \Psi) \mathrm{d} \tau^2-2 B_i \mathrm{~d} x^i \mathrm{~d} \tau+(1-2 \Phi) \delta_{i j} \mathrm{~d} x^i \mathrm{~d} x^j+h_{i j} \mathrm{~d} x^i \mathrm{~d} x^j\right]$

My problem:

For this purpose, I used the method used in https://mathematica.stackexchange.com/a/67454/55218 

But my problem is how to define the above metric with the method mentioned in the link above and which package is better to use.

More detail:

To be more precise, my problem is how to define the h_{i j} tensor and v_{i} vector because I don't know how to tell the xact that the i and j are the spatial indices. 

should I define h_{i j} tensor and v_{i} vector on the original manifold (with dim=4) or should I define a manifold with dim=3 and then I will define them?

[Cyril Pitrou]

Hi,

In that case I recommend to use the xPand package which goes on top of xTensor/xPert.

It allows for the 1+3 splitting of spacetime. In the example folder of the package you will find yo to perfrom such Poisson gauge perturbation and

how to perturb T and G.

http://www2.iap.fr/users/pitrou/xpand.htm

http://www.xact.es/xPand/index.html

Best,

Cyril Pitrou

--
You received this message because you are subscribed to the Google Groups "xAct Tensor Computer Algebra" group.
To unsubscribe from this group and stop receiving emails from it, send an email to xact+uns...@googlegroups.com.
To view this discussion on the web visit https://groups.google.com/d/msgid/xact/2b327eb6-f26a-4f51-b04f-4a3d89620109n%40googlegroups.com.