Next Article in Journal
Three Point Functions in Higher Spin AdS3 Holography with 1/N Corrections
Next Article in Special Issue
Primordial Gravitational Waves and Reheating in a New Class of Plateau-Like Inflationary Potentials
Previous Article in Journal
Dark Energy, QCD Axion, and Trans-Planckian-Inflaton Decay Constant
Previous Article in Special Issue
A Review of Gravitational Waves from Cosmic Domain Walls
 
 
Font Type:
Arial Georgia Verdana
Font Size:
Aa Aa Aa
Line Spacing:
Column Width:
Background:
Article

Gravitational Waves in Locally Rotationally Symmetric (LRS) Class II Cosmologies

1
Department of Physics, Umeå University, 901 87 Umeå, Sweden
2
Department of Theoretical Physics, University of Szeged, Tisza Lajos krt 84-86, Szeged 6720, Hungary
3
Department of Experimental Physics, University of Szeged, Dóm Tér 9, Szeged 6720, Hungary
*
Author to whom correspondence should be addressed.
Universe 2017, 3(4), 69; https://doi.org/10.3390/universe3040069
Submission received: 28 August 2017 / Revised: 15 September 2017 / Accepted: 26 September 2017 / Published: 2 October 2017
(This article belongs to the Special Issue Gravitational Waves: Prospects after the First Direct Detections)

Abstract

:
In this work we consider perturbations of homogeneous and hypersurface orthogonal cosmological backgrounds with local rotational symmetry (LRS), using a method based on the 1 + 1 + 2 covariant split of spacetime. The backgrounds, of LRS class II, are characterised by that the vorticity, the twist of the 2-sheets, and the magnetic part of the Weyl tensor all vanish. They include the flat Friedmann universe as a special case. The matter contents of the perturbed spacetimes are given by vorticity-free perfect fluids, but otherwise the perturbations are arbitrary and describe gravitational, shear, and density waves. All the perturbation variables can be given in terms of the time evolution of a set of six harmonic coefficients. This set decouples into one set of four coefficients with the density perturbations acting as source terms, and another set of two coefficients describing damped source-free gravitational waves with odd parity. We also consider the flat Friedmann universe, which has been considered by several others using the 1 + 3 covariant split, as a check of the isotropic limit. In agreement with earlier results we find a second-order wavelike equation for the magnetic part of the Weyl tensor which decouples from the density gradient for the flat Friedmann universes. Assuming vanishing vector perturbations, including the density gradient, we find a similar equation for the electric part of the Weyl tensor, which was previously unnoticed.

1. Introduction

In light of the recent success in measurements of gravitational waves [1], and the consequent opening of a new observational window, it is of interest to study the propagation of gravitational waves and their interactions on different cosmological backgrounds to see, for example, what the effects of anisotropy and/or inhomogeneities are.
The fluctuations in the cosmic microwave background radiation (CMB), the large-scale structures and the cosmological redshift are well explained by the Λ CDM model [2,3,4,5,6], which describes an almost homogeneous and isotropic universe with a cosmological constant and cold dark matter. However, there are some deviations between the data and the model. For example, the observed power spectrum of the CMB seems to differs from the Λ CDM model for large angles [7,8,9,10]. Since a large amount of alternative matter is needed to account for the dark sector, a wide range of alternative cosmological models have also been investigated to explore if they can explain the current observations [11,12,13,14,15,16,17,18,19,20,21,22]. Also, present redshift studies do not give very strict bounds on the anisotropy in the expansion [23,24,25], making studies of different types of perturbations on anisotropic cosmological backgrounds of interest. For earlier works on this see, for example, [26,27,28,29,30,31], and for different perturbative methods see [32,33,34,35,36].
In this paper we will use a method based on the 1 + 3 and 1 + 1 + 2 covariant splits of spacetime [37,38,39,40,41,42,43,44,45,46,47,48] to study perturbations on anisotropic backgrounds. In the 1 + 3 split there is a preferred timelike vector, like the 4-velocity of matter, which is used to split tensors into timelike scalars and spacelike 3-tensors in a way that keeps covariance of the tensors. Similarly, a further 1 + 2 split can be made with respect to a spatial direction. This split is natural when there is a preferred spatial direction on the background, but can be also be used for isotropic backgrounds. Hence, the direction is fixed by, for example, choosing one of the perturbed vectors along it. The gauge problem in relativistic perturbation theory is here avoided by using covariant objects which vanish on the background for the perturbed quantities [49].
In an earlier paper [50] we considered perturbations on a Kantowski–Sachs background, using the 1 + 1 + 2 covariant split of spacetime [45]. The perturbations were vorticity-free and the perturbed spacetime was considered to be described by a perfect fluid. The perturbations include density fluctuations, shear waves, and pure gravitational perturbations travelling with the speed of light at leading order in the high frequency limit. Moreover, beyond this geometrical optics limit, anisotropic dispersion relations were indicated. The full dynamics were found to be given by evolution equations for six harmonic coefficients which decouple into two sub-systems, one with two components describing pure gravitational degrees of freedom, and one with the remaining four coefficients where the density gradient acts as a source term.
In this work we extend the previous 1 + 1 + 2 analysis to a wider class of locally rotationally symmetric (LRS) backgrounds. LRS symmetry means that spacetime is invariant under rotations around at least one spatial direction at every point [51,52]. The analysis will cover vorticity-free perturbations of all LRS spatially homogeneous and hypersurface orthogonal perfect fluid backgrounds with vanishing magnetic part of the Weyl tensor, except the hyperbolic and closed Friedmann models, which together with the flat model have been considered by several authors (see, for example, [37,53,54,55,56,57,58,59]), using the 1 + 3 split. The considered metrics all belong to LRS class II in the classification of [51]. We find the vorticity-free perturbations of the homogeneous and hypersurface orthogonal LRS II backgrounds to behave in an analogous way to those in the previous study on Kantowski–Sachs backgrounds [50] and a similar harmonic decomposition can be used. Still, all harmonic coefficients can be expressed in terms of six coefficients and the evolution equations have the same structure as before, but the behaviour of the solutions of course varies according to which backgrounds are taken. Finally, as a consistency check, we consider the flat Friedmann background as the isotropic limit of our 1 + 1 + 2 equations. We find that the magnetic part of the Weyl tensor, which in the general anisotropic case is partly sourced by the density gradient, satisfies a source-free second-order damped wave equation. This is in agreement with earlier results, using the 1 + 3 covariant split of spacetime. A second-order equation is also obtained for the electric part of the Weyl tensor for the case of pure tensor perturbations , in contrast to an earlier study [53].
The paper is organized as follows: In Section 2 a short summary of the 1 + 3 and 1 + 1 + 2 covariant splits of spacetime is given. The LRS backgrounds are discussed in Section 3. In Section 4.1 the harmonic expansion is described and then the evolution equations for the harmonic coefficients are given in Section 4.2. The high-frequency limit is considered in Section 4.3. The flat Friedmann case is treated in Section 4.4. Conclusions are summarised in Section 5.
We use the signature convention ( + + + ) and units where c = 1 and 8 π G = 1 .

2. The 1 + 3 and 1 + 1 + 2 Covariant Splits of Spacetime

In this section we give a brief summary of the 1 + 3 and 1 + 1 + 2 covariant splits of spacetime. For more details on 1 + 3 split the reader is referred to [37,42] and for 1 + 1 + 2 split to [45,47]. A summary of the two can also be found in [50].
A 1+3 split of spacetime is suitable when there is a preferred timelike vector u a . The projection operator onto the perpendicular 3-space is given by h a b = g a b + u a u b in terms of the 4-metric g a b . With the help of h a b vectors and tensors can be covariantly decomposed into spatial and timelike parts. The covariant time derivative and projected spatial derivative are given by
ψ ˙ a . . b u c c ψ a b and D c ψ a b h c f h a d h b e f ψ d e ,
respectively. The covariant derivative of the 4-velocity, u a , can be decomposed as
a u b = u a A b + D a u b = u a A b + 1 3 θ h a b + ω a b + σ a b ,
where the kinematic quantities of u a , acceleration, expansion, vorticity, and shear are defined by A a u b b u a , θ D a u a , ω a b D [ a u b ] , and σ a b D < a u b > , respectively. Here square brackets [ ] denote anti-symmetrisation, and angular brackets < > denote the symmetric and trace-free part of a tensor, i.e. ψ < a b > h ( a c h b ) d 1 3 h a b h c d ψ c d . These quantities, together with the Ricci tensor (expressed via the Einstein equations by, for example, energy density μ and pressure p for a perfect fluid) and the electric, E a b C a c b d u c u d , and magnetic, H a b 1 2 ε a d e C d e b c u c , parts of the Weyl tensor, are then used as independent variables. Here ε a b c η d a b c u d 4 ! g δ [ d 0 δ a 1 δ b 2 δ c ] 3 u d is the three-dimensional volume element.
The Ricci identities for u a and the Bianchi identities then provide evolution equations in the u a direction and constraints (see for example [42]).
A formalism for a further split (1 + 2) with respect to a preferred spatial vector n a (with u a n a = 0 ) was developed in [45,47]. Projections perpendicular to n a are made with N a b = h a b n a n b , and in an analogous way to above, spatial vectors and tensors may be decomposed into scalars along n a and perpendicular two-vectors and symmetric, trace-free two-tensors as A a = A n a + A a , ω a = Ω n a + Ω a , and σ a b = Σ ( n a n b 1 2 N a b ) + 2 Σ ( a n b ) + Σ a b . This occurs similarly for E a b and H a b in terms of E , E a , E a b and H , H a , H a b , respectively. Derivatives along and perpendicular to n a are
ψ ^ a b n c D c ψ a b = n c h c f h a d h b e f ψ d e and δ c ψ a b N c f N a d N b e D f ψ d e ,
respectively. Similarly to the decomposition of a u b , D a n b , and n ˙ a can be decomposed into further kinematic quantities of n a as
D a n b = n a a b + 1 2 ϕ N a b + ξ ϵ a b + ζ a b and n ˙ a = A u a + α a ,
where a a n ^ a , ϕ δ a n a , ξ 1 2 ε a b δ a n b , ζ a b δ { a n b } , A n a A a , and α a N a b n ˙ b . The two-dimensional volume element is given by ε a b ε a b c n c and curly brackets { } denote the symmetric and trace-free part of 2-tensors. A bar on vector indices will denote projection onto the 2-sheets, e.g., ψ ˙ a ¯ N a b ψ ˙ b .
The Ricci and Bianchi identities are then written as constraints and evolution and propagation equations in the u a and n a directions, respectively (see [45]). For the commutation relations between the differential operators ˙ , ^ and δ a when acting on scalars, vectors and tensors, see Appendix A.

3. Locally Rotationally Symmetric Spacetimes

A spacetime which at each point is invariant under rotations around at least one spatial direction is referred to as locally rotationally symmetric, or LRS for short. The corresponding locally maximally symmetric 2-sheets perpendicular to the isotropy axis are characterized by the 2D curvature scalar R = 2 K / a 2 2 , where a 2 is the radius of curvature (or alternatively the scale factor) and K = ± 1 or 0 for spheres, pseudo-spheres, or planes, respectively.
The perfect fluid LRS spacetimes can be divided into three classes, I, II and III [51,52]. The Class I metrics are stationary with nonzero vorticity and vanishing shear and expansion and hence are of limited interest as cosmological models. Class II is characterized by the fact that the magnetic Weyl tensor H a b , vorticity ω a b , and 2-sheet twisting ξ all vanish. In general, spacetimes in this class are both time- and space-dependent and it contains many physically interesting solutions like spherically-symmetric perfect fluids, the inhomogeneous Lemaitre–Tolman–Bondi cosmologies, the homogeneous Kantowski–Sachs and LRS Bianchi I and III cosmologies, and the flat and hyperbolic Friedmann models. The metrics in LRS class III are spatially homogeneous with a nonzero twist of the 2-sheets and have vanishing vorticity and acceleration, as well as vanishing expansion of the 2-sheets. The only models in this class with vanishing magnetic part of the Weyl tensor are the closed Friedmann models.
Perturbations of Kantowski–Sachs universes, which are the hypersurface orthogonal and homogeneous LRS II models with positive 2-curvature, R > 0 , were studied by us in an earlier paper [50]. In this paper we extend the analysis to all hypersurface orthogonal and homogeneous LRS II models with vanishing expansion of the 2-sheets, i.e., ϕ = 0 . With this last requirement a similar harmonic decomposition as in [50] can be used. Fortunately this only excludes the hyperbolic Friedmann universes. Since the only solutions in LRS class III with vanishing magnetic part of the Weyl tensor are the closed Friedmann universes [60], it means that our analysis will cover all homogeneous and hypersurface orthogonal LRS backgrounds with a vanishing magnetic part of the Weyl tensor except the hyperbolic and closed Friedmann models, which together with the flat model have been studied elsewhere with the 1 + 3 covariant split (see e.g., [37,53,54,55,57,58,59]).

3.1. LRS Class II

The perfect fluid LRS Class II spacetimes are characterised by H a b = ξ = ω a b = 0 , see, e.g., [51,52]. In terms of the quantities defined in Section 2, the spacetimes are given by the following scalars: the energy density μ , the pressure p, the electric part of the Weyl tensor E , the expansion Θ , the shear Σ , the acceleration A , and the expansion of the 2-sheets, ϕ . Alternatively, one of the quantities can be replaced with the 2-curvature of the 2-sheets
R = 2 3 μ + Λ 2 E 1 2 Σ 2 Θ 3 2 + ϕ 2 2 .
For a complete local description of the geometry, the frame vectors along the 4-velocity, u a , and the preferred spatial direction, n a , are needed to construct all Cartan invariants (see e.g., [61]). In terms of timelike and spacelike coordinates, t and z, respectively, they are given by
e 0 = u = X t + x z , e 1 = n = Y t + y z
where X, x, Y and y are functions of t and z. For spatially homogeneous spacetimes, where all invariant objects are functions of a timelike coordinate solely, we may without loss of generality change the time coordinate so that X = 1 and x = 0 . Metrics with 4-velocity u a orthogonal to the hypersurfaces of homogeneity are obtained by putting Y = 0 . The assumption of Y 0 implies that R = 0 (see [52]), and give rise to tilted models of Bianchi types V or I.
The quantities { μ , p , E , Θ , Σ , A , ϕ , X , Y , x , y } , which describe the spacetime, are subject to integrability conditions given by commutator equations between e 0 and e 1 , the Ricci equations for u a and n a , and some of the Bianchi identities (see [52,61,62]). Einstein’s equations are imposed through the Ricci tensor, which for a perfect fluid is given by μ , p and u a .

3.1.1. Homogeneous and Hypersurface Orthogonal LRS II Metrics

With the assumptions x = Y = 0 , it follows that the acceleration vanishes, A = 0 ,52]. The system then reduces to the following evolution equations:
μ ˙ = Θ μ + p ,
Θ ˙ = Θ 2 3 3 2 Σ 2 1 2 μ + 3 p + Λ ,
Σ ˙ = 2 3 Θ + 1 2 Σ Σ E ,
E ˙ = 3 2 Σ Θ E 1 2 ( μ + p ) Σ ,
ϕ = 1 3 Θ 1 2 Σ ϕ ,
where a dot indicates derivative with respect to t, and to the constraints
ϕ Σ = ϕ E = 0 ,
3 E = 2 μ + Λ 3 Σ 2 + 2 3 Θ 2 + Σ Θ 3 2 ϕ 2 .

3.1.2. Homogeneous and Hypersurface Orthogonal LRS II Metrics with ϕ = 0

For ϕ = 0 the system reduces to
μ ˙ = Θ μ + p ,
Θ ˙ = Θ 2 3 3 2 Σ 2 1 2 μ + 3 p + Λ ,
Σ ˙ = 2 3 μ + Λ + Σ 2 2 Σ Θ 2 9 Θ 2 ,
with E given algebraically by
3 E = 2 μ + Λ 3 Σ 2 + 2 3 Θ 2 + Σ Θ .
Hence, given an equation of state p = p μ the solutions are completely determined in terms of Σ , Θ and μ , and the nonzero zeroth order quantities are given by the set S ( 0 ) = { Σ , Θ , μ , p , E } .
The 2-curvature is now given by
R = 2 3 μ + Λ 2 E 1 2 Σ 2 Θ 3 2 = 2 μ + Λ + 3 2 Σ 2 2 Θ 2 3 = 2 K a 2 2 ,
where in the last equality the scale factor of the 2-sheets a 2 = a 2 ( t ) has been introduced and where K takes the values ± 1 or 0 according to the geometry of the 2-sheets: sphere, pseudo-sphere, or flat. Taking the time derivative of R , and using Equations (14)–(16), one finds
R ˙ = Σ 2 Θ 3 R ,
and hence one of the evolution Equations (14)–(16) can be replaced by Equation (19). According to the sign of R , different types of solutions are obtained. For R > 0 one gets the Kantowski–Sachs cosmologies, which we studied in [50]. If R < 0 the spacetimes are of Bianchi type III. For R = 0 there are solutions of Bianchi type I/VII 0 , including the flat Friedmann universe. Since Equation (18) determines one of the quantities algebraically, one of the evolution equations can be dropped. This is due to the fact that the time derivative of Equation (18) will be identically satisfied due to the evolution Equations (14)–(16).
The line-element can for the different values of K be written as
d s 2 = d t 2 + a 1 2 t d z 2 + a 2 2 t d ϑ 2 + f K ( ϑ ) d φ 2 ,
where f 1 ( ϑ ) = sin 2 ϑ , f 1 ( ϑ ) = sinh 2 ϑ , and f 0 ( ϑ ) = 1 (or alternatively f 0 = ϑ ). For K = 1 the 2-sheets are spheres and ϑ and φ the usual spherical coordinates, but for K = 1 and 0 the 2-sheets can be taken to be open and infinite with the topology of R 2 . The coordinates are dimensionless and hence the scale factors carry the dimension of length (or time since c = 1 ). The 4-velocity of comoving observers is u = / t and the direction of anisotropy is n = a 1 1 / z , which due to symmetry and normalisation satisfies [51]:
n ^ b n a D a n b = 0 , n ˙ b ¯ = 0 .
In terms of of the scale factors a 1 and a 2 in (20), the expansion and scalar part of the shear take the values
Θ = a ˙ 1 a 1 + 2 a ˙ 2 a 2 ,
Σ = 2 3 a ˙ 1 a 1 a ˙ 2 a 2 .

3.1.3. Homogeneous and Hypersurface Orthogonal LRS II Metrics with ϕ 0

There are also solutions with R = 0 and Σ = E = 0 . For these the sheet expansion ϕ is in general nonzero and the system is given by Equations (14) and (15) plus the constraint
μ + Λ 1 3 Θ 2 + 3 4 ϕ 2 = 0 .
If ϕ 0 , these are the negatively curved Friedmann models of Bianchi type V, whereas ϕ = 0 gives the flat Friedmann models which are covered by the sub-class in Section 3.1.2. For the negatively curved Friedmann models the metric can be given by
d s 2 = d t 2 + a 2 d z ˜ 2 + e 2 z ˜ d x 2 + d y 2 .

4. Vorticity-Free, Perfect Fluid Perturbations of Homogeneous and Orthogonal LRS II Cosmologies

The analysis of perturbations on Kantowski–Sachs backgrounds in [50] will here be extended to all homogeneous and hypersurface orthogonal LRS class II backgrounds except for the hyperbolic Friedmann models. As for Kantowski–Sachs we will assume that the perturbations are irrotational, i.e., that Ω = Ω a = 0 , and also that the perturbed spacetime is described by a perfect fluid. The frame is partly fixed by choosing the preferred timelike vector u a to be the 4-velocity of the fluid also in the perturbed spacetime. Since the preferred direction n a is not kept for the perturbed spacetime, we choose to fix its direction by choosing a a = 0 , meaning that the acceleration only has a component in the n a -direction. For more details on the fixing of frame, see [50].
The choice of frame does not completely fix the mapping between the perturbed and background spacetimes [37], but according to the Stewart–Walker lemma [49] variables which vanish on the background are gauge-invariant. Hence, for the generic case with ϕ = 0 on the background, we will replace the nonzero quantities on the background, μ , p, Θ , Σ and E with their gradients
μ a = δ a μ , p a = δ a p , W a = δ a Θ , V a = δ a Σ , X a = δ a E .
As was shown in [50] the hat derivatives, Θ ^ etc., are determined in terms of the 2-gradients, W a etc., when the vorticity vanishes (see also Section 4.1.2). The first-order variables which vanish on the background are then
S ( 1 ) X a , V a , W a , μ a , p a , A , A a , Σ a , Σ a b , E a , E a b , H , H a , H a b , a b , α a , ϕ , ξ , ζ a b .
These are now subject to the Ricci identities for u a and n a and Bianchi identities, giving evolution equations along u a , propagation equations along n a and constraints. The exact, non-perturbative system of equations for a 1 + 1 + 2 split of spacetime can be found in [45]. For first-order perturbations the set of equations in terms of the new variables in Equation (26) was derived in [50]. This was done for Kantowski–Sachs backgrounds, but this set is actually valid for all hypersurface orthogonal homogeneous LRS class II spacetimes with ϕ = 0 , the differences lying in the zeroth order coefficients for different backgrounds. For completeness we quote the result from [50] in Appendix B.
For the special case R = E = Σ = 0 and ϕ 0 we should in a similar way use the variable ϕ a = δ a ϕ , whereas E and Σ now are of first order. For the modified system see Appendix C.

4.1. Harmonic Expansion

For the metrics given by Equation (20), where ϕ = 0 , the wave equation on scalars
2 Ψ g a b a b Ψ = 0
is separable by applying the following harmonic expansion
Ψ = k , k Ψ k k S P k Q k ,
where the coefficients Ψ k k S depend solely on time (see, e.g., [45,50,63]). The function P k is the eigenfunction of the Laplacian Δ ^ = n a a n b b and it is constant on the z = c o n s t hypersurfaces
Δ ^ P k = k 2 a 1 2 P k , δ a P k = P ˙ k = 0 .
Here, k are the dimensionless constant comoving wave numbers in the direction of anisotropy, and a 1 is the scale factor in this direction. The physical wave numbers are given by k / a 1 .
Similarly, harmonics Q k are introduced on the 2-sheets as eigenfunctions to the two-dimensional Laplace–Beltrami operator [45]:
δ 2 Q k = k 2 a 2 2 Q k , Q ^ k = Q ˙ k = 0 .
Here, δ 2 = δ a δ a , a 2 is the scale factor of the 2-sheets, and k are the dimensionless comoving wavenumbers along the 2-sheets.
When R > 0 the 2-sheets are spheres and the harmonics can be represented by the usual spherical harmonics Y l m
δ 2 Y l m = l ( l + 1 ) a 2 2 Y l m , Y ^ l m = Y ˙ l m = 0 ,
with k 2 = l ( l + 1 ) . Here l = 0 , 1 , 2 , , and for a given l value the index m runs from l to l. The index m does not occur in the equations governing the perturbations due to the background spacetime symmetries.
For R 0 , when the 2-sheets are open, the k are not discrete and may take any real values. For R = 0 the eigenfunctions can be represented by plane waves.
Vectors and tensors can be also expanded in harmonics by introducing vector and tensor harmonics [47,64,65]. The even (electric) and odd (magnetic) parity vector harmonics are
Q a k = a 2 δ a Q k , Q ¯ a k = a 2 ε a b δ b Q k ,
and the vector Ψ a can be expanded as
Ψ a = k , k P k Ψ k k V Q a k + Ψ ¯ k k V Q ¯ a k .
when the comoving wavenumbers take continous values, the sums are changed to integrals with a convenient normalization factor. For Q a k and Q ¯ a k
ε a b δ a Q b k = 0 and δ a Q ¯ a k = 0
hold, respectively. This corresponds to the fact that a generic vector can be written as the sum of one curl-free and one divergence-free vector.
Similarly, the even and odd tensor harmonics are
Q a b k = a 2 2 δ { a δ b } Q k , Q ¯ a b k = a 2 2 ε c { a δ c δ b } Q k ,
and the tensor Ψ a b can be expanded as
Ψ a b = k , k P k Ψ k k T Q a b k + Ψ ¯ k k T Q ¯ a b k .
Note that for vectors Ψ a and tensors Ψ a b which are odd by definition, the rôles of quantities without and with an overbar, e.g., Ψ ¯ a , are interchanged. For example, for the magnetic part of the Weyl tensor, where the three-dimensional volume element occurs in its definition, H k k T belongs to the odd sector, whereas H ¯ k k T belongs to the even sector.
Some useful relations involving the vector and tensor harmonics are listed in Appendix D. For different types of harmonics used in relativity and cosmology see, for example, [56,66,67,68].

4.1.1. Harmonics When ϕ 0

In Bianchi V models with metric
d s 2 = d t 2 + a 2 z 2 d z 2 + d x 2 + d y 2 ,
where z was introduced as z = e z ˜ , the source free wave equation for a scalar is:
0 = 2 Ψ = Ψ ¨ Θ Ψ + D 2 Ψ = Ψ ¨ Θ Ψ + δ 2 Ψ + ϕ Ψ ^ + Δ ^ Ψ ,
with
D 2 Ψ = h a b D a D b Ψ .
In order to separate the time and spatial dependence of Ψ , we expand it in harmonics obeying
D 2 Q k = k 2 a 2 Q k , Q ˙ k = 0 ,
where k is a real number. These harmonics can be built as follow. Equation (31) is modified to
δ 2 Q k = k 2 z 2 a 2 Q k , Q ^ k = Q ˙ k = 0 ,
where k is real and Q k can be represented by plane waves:
Q k = e i k x + y .
The expansion of Q k in harmonics Q k is given by
Q k x , y , z = k P k , k z Q k x , y ,
where the sum stands for a conveniently normalized integration with respect to k and P k , k z satisfies
z 2 d 2 d z 2 z k 2 z 2 P k , k z = k 2 P k , k z .
This equation was derived from (41) and (42) and by using ϕ = 2 / a [45]. The regular solution of (45) is
P k , k z = z 3 / 2 K ν k z ,
where K ν is the modified Bessel functions of the second kind with
ν = 1 k 2 .
A scalar occurring at the first order in the perturbed spacetime can be expanded as
Ψ = k Ψ k S t Q k x , y , z = k , k Ψ k S t P k , k z Q k x , y .
Nevertheless, this expansion shows that a 1 + 3 covariant approach is more convenient in this case than the 1 + 1 + 2. The function P k , k z depend on both separation constants k, k . This is because δ 2 -derivative carries a z 2 factor in Equation (42).
For suitable three-dimensional harmonics see, for example, [38,54,55,56,68,69,70] and for 1 + 3 analysis of the Friedmann models see, e.g., [37,53,54,55,57,58,59].

4.1.2. Relations between Harmonic Coefficients

As was shown in [50], on using the commutation relation (A4) and the property (A86) of the vector harmonics and assuming vanishing vorticity, it follows that odd parts of the gradients of the scalars S ( 0 ) = { Σ , Θ , μ , p , E } defined in Equation (26) vanish:
μ ¯ k k V = X ¯ k k V = V ¯ k k V = W ¯ k k V = p ¯ k k V = 0 .
It was also shown that the harmonic coefficients of the hat derivatives of the objects in S ( 0 ) can be expressed in terms of the coefficients of the vectors in Equation (26). Denoting an object in S ( 0 ) by G its hat derivative can be expanded as
G ^ = k k G ˜ k k S P k Q k ,
and its 2-gradients G a δ a G as
G a = k , k P k G k k V Q a k + G ¯ k k V Q ¯ a k .
From (A3) it then follows that
G ˜ k k S = i k a 2 a 1 G k k V ,
if Ω a and ϕ vanish to the zeroth order.

4.2. Evolution Equations for the Case ϕ = 0

The evolution equations, propagation equations and constraints given in Appendix B can be expanded in harmonics. This will result in time evolution equations and constraints for the harmonic coefficients A k k S , H k k S , ϕ k k S , ξ k k S , μ k k V , p k k V , A k k V , A ¯ k k V , V k k V , W k k V , X k k V , Σ k k V , Σ ¯ k k V , a k k V , a ¯ k k V , α k k V , α ¯ k k V , E k k V , E ¯ k k V , H k k V , H ¯ k k V , Σ k k T , Σ ¯ k k T , ζ k k T , ζ ¯ k k T , E k k T , E ¯ k k T , H k k T , and H ¯ k k T . It follows that A ¯ k k V = 0 . The frame can then be fixed by requiring a a = 0 , i.e., a k k V = a ¯ k k V = 0 which implies ξ k k S = 0 . Finally, by choosing a barytopic equation of state p = p ( μ ) we obtain p k k V = c s 2 μ k k V in terms of the speed of sound squared c s 2 = d p / d μ . Of the remaining 24 harmonic coefficients 18 can be solved for algebraically in terms of the six coefficients μ k k V , Σ k k T , E k k T , E ¯ k k T , H k k T and H ¯ k k T (see Appendix E). The remaining system for the six harmonic coefficients decouple into two systems, one for the two coefficients E ¯ k k T and H k k T and one for the remaining four coefficients μ k k V , Σ k k T , E k k T and H ¯ k k T

4.2.1. System for E ¯ k k T and H k k T

It turns out that E ¯ k k T and H k k T decouple from the other coefficients. They satisfy the following system (note that both are of odd parity):
E ¯ ˙ k k T = 3 2 F + Σ D E ¯ k k T + i k a 1 1 D H k k T ,
H ˙ k k T = a 1 2 i k 2 k 2 a 1 2 C B + 9 Σ E E ¯ k k T 3 2 2 E + F H k k T ,
where
B 2 k 2 a 1 2 + k 2 a 2 2 + 9 Σ 2 2 + 3 E = 2 k 2 a 1 2 R a 2 2 k 2 a 2 2 + 3 Σ Σ + Θ 3 ,
C B R a 2 2 k 2 a 2 2 + 3 E = Σ Θ 3 2 Σ k 2 a 2 2 ,
D B R k 2 a 2 2 + 3 E + μ + p = Σ Θ 3 2 Σ k 2 a 2 2 + μ + p ,
E B Σ 2 C B E + Θ E 3 = 2 3 Θ 2 2 ( μ + Λ ) + Σ Θ 3 2 Σ Θ 3 2 Σ Σ k 2 2 a 2 2 ,
F Σ + 2 Θ 3 .
The system takes the same form as for the Kantowski–Sachs background [50], but note that the functions B, C etc. are slightly differently defined in terms of the curvature R of the 2-sheets and also that the solutions from Equations (14)–(16), (22) and (23) for the scale factors and kinematic quantities will be different for different values of R , given by Equation (18).
The system can also be written as two decoupled second-order wave equations with damping as
E ¯ ¨ k k T + q E ¯ 1 E ¯ ˙ k k T + q E ¯ 0 E ¯ k k T = 0 ,
H ¨ k k T + q H 1 H ˙ k k T + q H 0 H k k T = 0 ,
where
2 q E ¯ 0 = 1 D a 1 2 k 2 a 1 + a 1 9 Σ E B C + 3 d d t F + Σ D 3 F + Σ D d d t ln 1 D a 1 3 2 2 E + F ,
q E ¯ 1 = 3 2 2 E + 2 F + Σ D d d t ln 1 D a 1 ,
2 q H 0 = 1 D a 1 2 k 2 a 1 + a 1 9 Σ E B C 3 2 E + F d d t ln 2 k 2 a 1 + a 1 9 Σ E B C + 9 2 2 E + F F + Σ D + 3 d d t 2 E + F ,
q H 1 = 3 2 2 E + 2 F + Σ D d d t ln 2 k 2 a 1 + a 1 9 Σ E B C .
In the high-frequency limit the speed of propagation for these waves will approach the speed of light and hence they can be interpreted as free gravitational waves (see Section 4.3).

4.2.2. System for Σ k k T , E k k T , H ¯ k k T and μ k k V

The coefficients Σ k k T , E k k T , H ¯ k k T and μ k k V form the following system:
μ ˙ k k V = Σ 2 1 3 μ + p B 4 Θ 3 μ k k V + a 2 2 μ + p × 1 C B Σ k k T 3 Σ E k k T + i k a 1 ( 2 J ) H ¯ k k T ,
Σ ˙ k k T = c s 2 a 2 μ + p μ k k V + Σ 2 Θ 3 Σ k k T E k k T ,
E ˙ k k T = 3 Σ 2 a 2 B μ k k V μ + p 2 Σ k k T 3 2 F + Σ C E k k T i k 2 a 1 ( 2 J ) H ¯ k k T ,
H ¯ ˙ k k T = i k a 1 a 2 B μ k k V 3 2 M B + F H ¯ k k T i k a 1 1 C E k k T .
Here we have introduced the additional notations
J B ( R a 2 2 k 2 ) k 2 a 1 2 k 2 a 2 4 + 2 C B = R k 2 a 2 2 2 k 2 a 1 2 + k 2 a 2 2 a 1 2 k 2 + 6 E = k 2 a 1 2 k 2 a 2 2 R 2 k 2 a 1 2 k 2 a 2 2 + 2 Σ Θ 3 2 Σ ,
M 2 E Σ + Θ 3 + Σ R a 2 2 k 2 a 2 2 ,
where E is given by Equation (17).
As for the Kantowski–Sachs case, from these one can derive second-order wave-like equations for Σ k k T , E k k T , and H ¯ k k T where the density gradient μ k k V and its derivative act as source terms. It is only in the high frequency limit that the second-order equations for E k k T and H ¯ k k T decouple from the source terms, given by the density gradient, and hence describe freely moving gravitational waves.

4.3. High-Frequency Approximation

In [50], where the backgrounds were given by Kantowski–Sachs models, we studied the high-frequency limit (optical limit; see [71,72]), of the propagation equations. For our quantities this implies
k 2 a 1 2 , k 2 a 2 2 Θ 2 , Σ 2 , E , μ , p .
Since in this limit the curvature of the 2-sheets becomes negligible the resulting equations are identical in form to those for the Kantowski–Sachs backgrounds for all signs of R , but the zeroth-order factors a 1 , a 2 , Θ and Σ of course are different for different backgrounds.
For the uncoupled system of E ¯ k k T and H k k T the following second-order wave equations with damping
E ¯ ¨ k k T + q E ¯ 1 E ¯ ˙ k k T + k 2 a 1 2 + k 2 a 2 2 E ¯ k k T = 0 ,
H ¨ k k T + q H 1 H ˙ k k T + k 2 a 1 2 + k 2 a 2 2 H k k T = 0 ,
where
q E ¯ 1 = 7 Θ 3 + 4 Σ 3 Σ k 2 a 2 2 a 1 2 k 2 + k 2 ,
q H 1 = 7 Θ 3 + 4 Σ 6 Σ k 2 2 a 2 2 a 1 2 k 2 + k 2 ,
are obtained. These are in the form
X ¨ + 2 ζ Ω X ˙ + Ω 2 X = 0 ,
where Ω is the undamped angular frequency and the actual angular frequency is given by Ω 1 ζ 2 . The propagation speed of the wave is
c w = Ω k p h y s 1 ζ 2 with k p h y s 2 = k 2 a 1 2 + k 2 a 2 2 .
The propagation velocity hence goes as 1 ζ 2 / 2 for relatively small damping coefficients ζ , and approaches the speed of light for large frequencies. For the static case, when Θ = Σ = 0 , the damping would vanish and then the propagation velocity would be exactly the speed of light. When the propagation is along the preferred direction, k = 0 , and q E ¯ 1 = q H 1 , resulting in the same damping ζ | | for both variables E ¯ k k T and H k k T . Hence, they have the same propagation velocity which differs from the speed of light at the second-order in ζ | | . However, when the propagation is perpendicular to the preferred direction, k 2 = 0 , then q E ¯ 1 q H 1 , giving different dampings ζ E ¯ and ζ H for E ¯ k k T and H k k T , respectively. Therefore, the propagation velocities also differ at the second order in damping coefficients. In addition, since ζ | | ζ E ¯ ζ H , the propagation velocities are direction-dependent.
As mentioned in Section 4.2.2, the second-order equations for E k k T and H ¯ k k T also decouple from the density gradient in the high frequency limit and are given by
E ¨ k k T + q E 1 E ˙ k k T + k 2 a 1 2 + k 2 a 2 2 E k k T = 0 ,
H ¯ ¨ k k T + q H ¯ 1 H ¯ ˙ k k T + k 2 a 1 2 + k 2 a 2 2 H k k T = 0 ,
with q E 1 = q H 1 and q H ¯ 1 = q E ¯ 1 . Beause of the latter, the propagation velocities of E k k T and H k k T and of H ¯ k k T and E ¯ k k T coincide in the high-frequency limit and as before the propagation velocity differs from the speed of light to the second order in the damping parameter.

4.4. Perturbations of the flat Friedmann models

Here we consider the flat Friedmann models as a check of the isotropic limit of the general LRS II case. In this case there is no preferred spatial direction on the background, but as before, we fix the 1-direction by choosing the acceleration to only have a 1-component, i.e., a a = 0 , in the perturbed spacetime. Tensor perturbations of the Friedmann cases, using the 1 + 3 covariant split, were studied in [53] and we make a comparison with their results.
The flat Friedmann models are given by E = Σ = R = ϕ = 0 . Without loss of generality we can use a 1 = a 2 a . We also introduce the notations
k 2 k 2 + k 2 ,
and
B 0 = 2 k 2 a 2 + k 2 a 2 .
The first system for E ¯ k k T and H k k T then reduces to
E ¯ ˙ k k T = Θ E ¯ k k T + i k a B 0 2 k 2 a 2 μ p H k k T ,
H ˙ k k T = a 2 i k B 0 E ¯ k k T Θ H k k T .
As before, this can be written as second-order damped wave equations
E ¯ ¨ k k T + 7 Θ 3 N E ¯ ˙ k k T + k 2 a 2 + 2 3 Θ 2 + 2 ( Λ p ) N Θ E ¯ k k T = 0
and
H ¨ k k T + 7 3 Θ H ˙ k k T + k 2 a 2 + 2 3 Θ 2 + 2 ( Λ p ) H k k T = 0 .
The term N is given by
N ( μ + p ) 1 + 3 c s 2 3 2 k 2 a 2 ( μ + p ) Θ
and vanishes in the high frequency limit.
The second system becomes
μ ˙ k k V = 4 Θ 3 μ k k V + k 2 a ( μ + p ) Σ k k T a 2 ( μ + p ) B 0 2 i k H ¯ k k T ,
Σ ˙ k k T = c s 2 a μ + p μ k k V 2 Θ 3 Σ k k T E k k T ,
E ˙ k k T = μ + p 2 Σ k k T Θ E k k T + a B 0 2 i k H ¯ k k T ,
H ¯ ˙ k k T = i k a 2 B 0 μ k k V Θ H ¯ k k T 2 i k k 2 a 3 B 0 E k k T .
From these we obtain the following second-order wave equations for Σ k k T and E k k T , again with the density fluctuations acting as source terms,
Σ ¨ k k T + 5 Θ 3 Σ ˙ k k T + k 2 a 2 + Θ 2 6 + 3 2 ( Λ p ) Σ k k T = 1 c s 2 a μ + p μ ˙ k k V + s Σ 0 μ k k V ,
E ¨ k k T + 7 Θ 3 N E ˙ k k T + k 2 a 2 + 2 3 Θ 2 + 2 ( Λ p ) N Θ E k k T = N a ( μ + p ) μ ˙ k k V + s E 0 μ k k V ,
where
s Σ 0 = 4 3 5 3 c s 2 c s 4 Θ 2 c s c ˙ s a μ + p and s E 0 = c s 2 1 2 a + 4 Θ N 3 a ( μ + p ) .
The density gradient obeys the following second-order equation
μ ¨ k k V + 10 3 + c s 2 θ μ ˙ k k V + c s 2 k 2 a 2 + 11 6 θ 2 + 4 c s 2 3 θ 2 5 2 p Λ μ k k V = 0
and we see that the density perturbations propagate with the speed of sound in the high frequency limit. Unlike the case with an anisotropic background, we now obtain a second-order decoupled wave equation for H ¯ k k T
H ¯ ¨ k k T + 7 3 Θ H ¯ ˙ k k T + k 2 a 2 + 2 3 Θ 2 + 2 ( Λ p ) H ¯ k k T = 0 .
Note that Equations (86) and (96) for H k k T and H ¯ k k T , respectively, are identical. Similarly, the left-hand sides of Equations (85) for E ¯ k k T and (93) for E k k T , respectively, are identical. The damping coefficients in the second-order equations depend only on k, therefore the propagation velocities of the perturbations are not direction-dependent. In addition the propagation velocities at high frequencies approach the speed of light. Because of the symmetries of Friedmann spacetimes, we can safely assume that μ k k V depend only on k, and not separately on k and k , which is also clear from Equation (95). Then the second-order equations for Σ k k T and E k k T also depend only on k like those governing E ¯ k k T , H k k T and H ¯ k k T .
In [53] the 1 + 3 covariant split was used to study tensorial perturbations of the Friedmann models. The pure tensor perturbations are characterised by vanishing energy density gradients and vorticity to the first order. Hence, when comparing our result with their we must use μ k k V = μ ˙ k k V = 0 . Our Equations (86) and (96) for the even and odd parts of the magnetic part of the Weyl tensor, H ¯ k k T and H k k T , respectively, are then the same as their Equation (20) for the flat Friedmann case. The equation for Σ k k T (92) similarly corresponds to their Equation (22) 1.
The main difference between [53] and our result is that we obtain a second-order wave equation from Equation (93) for E k k T , whereas they needed a third-order equation to decouple E a b . In Equation (15) in [53] they give a second-order equation for the electric part of the Weyl tensor, E a b , with the shear σ a b acting as a source term. From our Equation (88) we see that imposing μ k k V = μ ˙ k k V = 0 gives a constraint between Σ k k T and H ¯ k k T
Σ k k T = a 3 B 0 2 k 2 i k H ¯ k k T .
This constraint is satisfied as is seen by differentiating it and substituting Equations (89)–(91). Hence, the number of independent variables in the system (88)–(91) is reduced from four to two by imposing that the density perturbations vanish. With the help of Equation (90) now Σ k k T can be completely expressed in terms of E k k T and E ˙ k k T
Σ k k T = 2 a 2 2 k 2 ( μ + p ) a 2 E ˙ k k T + Θ E k k T .
By using this result in their Equation (15) in for the flat Friedmann case, where simple plane waves can be used for the harmonics, we obtain our Equation (93). The three-dimensional Equations (7) and (21) in [53] correspond to our Equations (97) and (98). Using the three-dimensional harmonics in [68] similar second-order equations for all values of K are obtained (see Appendix F).

5. Conclusions

A previous analysis of vorticity-free perturbations on Kantowski–Sachs backgrounds has been extended to all homogeneous and hypersurface orthogonal LRS perfect fluids with the vanishing magnetic part of the Weyl tensor except the hyperbolic and closed Friedmann models, which have been studied elsewere [37,53,54,55,57,58,59] using the covariant 1 + 3 split approach. We find the same structure of the evolution equations for the perturbations as in the case of Kantowski–Sachs. All harmonic coefficients can be determined in terms of a subset containing only six coefficients. The evolution equations for these decouple into one system for E ¯ k k T and H k k T , representing source-free gravitational degrees of freedom, and another for Σ k k T , E k k T , H ¯ k k T , and μ k k V , which describes perturbations sourced by the density gradient. Only in the high frequency limit do the second-order wave equations for E k k T and H ¯ k k T decouple from the source terms. The analysis of propagation velocities in the high frequency limit led to direction-dependent dispersion relations on anisotropic backgrounds.
We also studied perturbations on the flat Friedmann universe, which is the isotropic limit of the considered class of backgrounds. Here the second-order wave equation for H ¯ k k T decouples from the other coefficients, whereas E k k T still is sourced by the density gradient. The result is compared with an earlier study, [53], where a 1 + 3 formalism was used to study pure tensor perturbations on Friedmann backgrounds. The 1 + 1 + 2 covariant approach, together with a harmonic decomposition, is also effective for this setup, because all tensorial perturbations are easily obtained as second-order differential equations in contrast to the third-order equation more naturally appearing for the electric part of Weyl tensor in the 1 + 3 covariant description.

Acknowledgments

The work of ZK was partially supported by the UNKP-17-4 New National Excellence Program of the Ministry of Human Capacities and partially by the Hungarian National Research, Development and Innovation Office (NKFI) in the form of the grant 123996.

Author Contributions

All the authors contributed equally to the paper.

Conflicts of Interest

The authors declare no conflict of interest.

Appendix A. Commutation Relations

The commutation relations of covariant derivatives of the scalar field Ψ on hypersurface orthogonal and homogeneous LRS II backgrounds are to the first order:
Ψ ˙ ^ Ψ ^ ˙ = A Ψ ˙ + Σ + Θ 3 Ψ ^ ,
δ a Ψ ˙ N a b δ b Ψ · = A a Ψ ˙ 1 2 Σ 2 Θ 3 δ a Ψ ,
δ a Ψ ^ N a b δ b Ψ ^ = 2 ε a b Ω b Ψ ˙ + 1 2 ϕ δ a Ψ ,
δ [ a δ b ] Ψ = ε a b Ω Ψ ˙ .
Similar relations hold for the first-order 2-vector Ψ a :
Ψ ˙ ^ a ¯ Ψ ^ ˙ a ¯ = Σ + Θ 3 Ψ ^ a ¯ ,
δ a Ψ ˙ b N a c N b d δ c Ψ d · = 1 2 Σ 2 Θ 3 δ a Ψ b ,
δ a Ψ ^ b N a c N b d δ c Ψ d ^ = 1 2 ϕ δ a Ψ b ,
δ [ a δ b ] Ψ c = 1 2 R N c [ a Ψ b ] ,
and for the first-order symmetric, trace-free 2-tensor Ψ a b :
Ψ ˙ ^ { a b } Ψ ^ ˙ { a b } = Σ + Θ 3 Ψ ^ a ¯ ,
δ a Ψ ˙ b c N a d N b e N c f δ d Ψ e f · = 1 2 Σ 2 Θ 3 δ a Ψ b c ,
δ a Ψ ^ b c N a d N b e N c f δ d Ψ e f ^ = 0 ,
2 δ [ a δ b ] Ψ c d = R N c [ a Ψ b ] d + N d [ a Ψ b ] c ,
where the 2-curvature R is given by Equation (18). In (A3) and (A7) the last terms on the right-hand sides are second-order in the generic case when ϕ = 0 on the background, and can hence be dropped.

Appendix B. Evolution and Propagation Equations and Constraints for ϕ=0

Here, the evolution and propagation equations and constraints from reference [50] for the generic case when ϕ = 0 are repeated. These are obtained by linearising the 1 + 1 + 2 equations in [45]. 2
The set S ( 0 ) = { Θ , Σ , E , μ , p } gives the quantities which are nonzero on the background. We define the corresponding first-order quantities
μ a = δ a μ , p a = δ a p , W a = δ a Θ , V a = δ a Σ , X a = δ a E .
which vanish on the background. The vorticity-free perturbations are then given by the following nonzero first-order quantities (which all vanish on the background):
S ( 1 ) X a , V a , W a , μ a , p a , A , A a , Σ a , Σ a b , E a , E a b , H , H a , H a b , a b , α a , ϕ , ξ , ζ a b .
The evolution equations are given by
ϕ ˙ = Σ 2 Θ 3 ϕ 2 A + δ a α a ,
2 ξ ˙ = Σ 2 Θ 3 ξ + ε a b δ a α b + H ,
H ˙ = 3 2 Σ 2 Θ 3 H ε a b δ a E b 3 E ξ ,
μ ˙ a ¯ = 1 2 Σ 2 Θ 3 μ a Θ μ a + p a μ + p W a + μ ˙ A a ,
X ˙ a ¯ = 2 Σ 2 Θ 3 X a + 3 E 2 V a 2 3 W a μ + p 2 V a Σ 2 μ a + p a + E ˙ A a + ε b c δ a δ b H c ,
V ˙ a ¯ 2 3 W ˙ a ¯ = 3 2 Σ 2 Θ 3 V a 2 3 W a X a + 1 3 μ a + 3 p a + Σ ˙ 2 Θ ˙ 3 A a δ a δ b A b ,
Σ ˙ { a b } = Σ 2 Θ 3 Σ a b + δ { a A b } E a b ,
ζ ˙ { a b } = 1 2 Σ 2 Θ 3 ζ a b + δ { a α b } ε c { a H b } c .
The equations containing both propagation and evolution contributions are
W ˙ a ¯ δ a A ^ = Σ 2 Θ W a 3 Σ V a 1 2 μ a + 3 p a + Θ ˙ A a + δ a δ b A b ,
α ^ a ¯ a ˙ a ¯ = Σ + Θ 3 A a + a a ε a b H b ,
2 Σ ˙ a ¯ A ^ a = δ a A Σ + 4 Θ 3 Σ a 3 Σ α a 2 E a ,
E ˙ a ¯ + 1 2 ε a b H ^ b = 3 4 Σ 4 Θ 3 E a + 3 E 2 μ 2 p 4 Σ a + 3 4 ε a b δ b H 3 E 2 α a + 1 2 ε b c δ b H a c ,
H ˙ a ¯ 1 2 ε a b E ^ b = 3 4 Σ 4 Θ 3 H a 3 4 ε a b X b 3 E 2 ε a b A b + 3 E 4 ε a b a b 1 2 ε b c δ b E a c ,
E ˙ { a b } ε c { a H ^ b } c = 3 2 Σ + 2 Θ 3 E a b ε c { a δ c H b } 3 E + μ + p 2 Σ a b ,
H ˙ { a b } + ε c { a E ^ b } c = 3 2 Σ + 2 Θ 3 H a b + 3 E 2 ε c { a ζ b } c + ε c { a δ c E b } .
The pure propagation equations are
ϕ ^ = Σ 2 Θ 3 Σ + Θ 3 + δ a a a E 2 μ + Λ 3 ,
2 ξ ^ = ε a b δ a a b ,
H ^ = δ a H a ,
A ^ a = δ a A ,
p ^ a ¯ = μ + p δ a A ,
μ ^ a ¯ 3 X ^ a ¯ = 3 E 2 δ a ϕ + δ a δ b E b ,
2 3 W ^ a ¯ V ^ a ¯ = 3 Σ 2 δ a ϕ + δ a δ b Σ b ,
Σ ^ a ¯ = 1 2 V a + 4 3 W a 3 Σ 2 a a δ b Σ a b ,
2 E ^ a ¯ = X a 3 E a a 3 Σ ε a b H b 2 δ b E a b + 2 3 μ a ,
2 H ^ a ¯ = δ a H 3 E ε a b Σ b + 3 Σ ε a b E b 2 δ b H a b ,
Σ ^ { a b } = δ { a Σ b } + 3 Σ 2 ζ a b ε c { a H b } c ,
ζ ^ { a b } = Σ + Θ 3 Σ a b + δ { a a b } E a b .
Finally, the constraints are
ε a b δ a A b = 0 ,
p a = μ + p A a ,
ε a b δ a Σ b = 3 Σ ξ + H ,
ε a b δ b ξ + δ b ζ a b δ a ϕ 2 = 1 2 Σ 2 Θ 3 Σ a + E a ,
V a 2 3 W a + 2 δ b Σ a b = 2 ε a b H b .

Appendix C. Evolution and Propagation Equations and Constraints for ϕ≠0

Here, the evolution and propagation equations and constraints are given for the exceptional case where ϕ 0 on the background, corresponding to the negatively curved Friedmann universe. The set S ( 0 ) = { Θ , μ , p , ϕ } gives the quantities which are nonzero on the background. We define corresponding first-order quantities
μ a = δ a μ , p a = δ a p , W a = δ a Θ , ϕ a = δ a ϕ ,
which vanish on the background. As before, we let V a = δ a Σ and X a = δ a E . Vorticity-free perturbations hence are given by the following nonzero first-order quantities (which all vanish on the background):
S ( 1 ) ϕ a , W a , μ a , p a , A , A a , Σ , Σ a , Σ a b , E , E a , E a b , H , H a , H a b , a b , α a , ξ , ζ a b .
The following evolution equations then hold on the perturbed spacetimes:
ϕ ˙ a ¯ = ϕ ˙ A a 2 Θ 3 ϕ a + V a 2 3 W a ϕ 2 + 2 Θ 3 δ a A + δ a δ b α b ,
2 ξ ˙ = 2 Θ 3 ξ + ε a b δ a α b + H ,
H ˙ = Θ H ε a b δ a E b ,
μ ˙ a ¯ = Θ 3 μ a Θ μ a + p a μ + p W a + μ ˙ A a ,
E ˙ = Θ E 1 2 ( μ + p ) Σ + ε a b δ a H b ,
Σ ˙ { a b } = 2 Θ 3 Σ a b + δ { a A b } E a b ,
ζ ˙ { a b } = Θ 3 ζ a b + δ { a α b } ε c { a H b } c .
The equations containing both propagation and evolution contributions are
Σ ˙ 2 3 A ^ = 1 3 ϕ A 2 3 Θ Σ 1 3 δ a A a E ,
W ˙ a ¯ δ a A ^ = Θ W a 1 2 μ a + 3 p a + Θ ˙ A a + δ a δ b A b + ϕ δ a A ,
α ^ a ¯ a ˙ a ¯ = Θ 3 A a + a a ε a b H 1 2 ϕ α a ,
2 Σ ˙ a ¯ A ^ a = δ a A 4 Θ 3 Σ a 2 E a 1 2 ϕ A a ,
E ˙ a ¯ + 1 2 ε a b H ^ b = Θ E a 1 2 μ + p Σ a + 3 4 ε a b δ b H + 1 2 ε b c δ b H a c 1 4 ϕ ε a b H b ,
H ˙ a ¯ 1 2 ε a b E ^ b = Θ H a 3 4 ε a b X b 1 2 ε b c δ b E a c + 1 4 ϕ ε a b E b ,
E ˙ { a b } ε c { a H ^ b } c = Θ E a b ε c { a δ c H b } μ + p 2 Σ a b + 1 2 ϕ ε c { a H b } c ,
H ˙ { a b } + ε c { a E ^ b } c = Θ H a b + ε c { a δ c E b } 1 2 ϕ ε c { a E b } c .
The pure propagation equations are
ϕ ^ a ¯ = 1 3 V a + 4 3 W a Θ + δ a δ b a b X a 2 3 μ a 3 2 ϕ ϕ a ,
2 ξ ^ = ε a b δ a a b 2 ϕ ξ ,
H ^ = δ a H a 3 2 ϕ H ,
A ^ a = δ a A 1 2 ϕ A a ,
p ^ a ¯ = μ + p δ a A 1 2 ϕ p ,
μ ^ a ¯ 3 X ^ a ¯ = δ a δ b E b + 2 ϕ X a 1 6 ϕ μ a ,
2 3 W ^ a ¯ V ^ a ¯ = 3 Σ 2 δ a ϕ + δ a δ b Σ b + 2 ϕ V a 1 3 ϕ W a ,
Σ ^ a ¯ = 1 2 V a + 4 3 W a δ b Σ a b 3 2 ϕ Σ a b ,
2 E ^ a ¯ = X a 2 δ b E a b + 2 3 μ a 3 ϕ E a ,
2 H ^ a ¯ = δ a H 2 δ b H a b 3 ϕ H a ,
Σ ^ { a b } = δ { a Σ b } ε c { a H b } c 1 2 ϕ Σ a b ,
ζ ^ { a b } = Θ 3 Σ a b + δ { a a b } E a b ϕ ζ a b .
Finally, the constraints are
ε a b δ a A b = 0 ,
p a = μ + p A a ,
ε a b δ a Σ b = H ,
ε a b δ b ξ + δ b ζ a b ϕ a 2 = Θ 3 Σ a + E a ,
V a 2 3 W a + 2 δ b Σ a b = 2 ε a b H b ϕ Σ a .

Appendix D. Harmonics

In this Appendix we enlist a set of identities for the even Q a k and odd Q ¯ a k vector harmonics, including the orthogonality relations
N a b Q a k Q ¯ b k = 0 ,
the algebraic relations
Q a k = ε a b Q ¯ b k , Q ¯ a k = ε a b Q b k ,
and the differential relations
Q ˙ a k = Q ^ a k = 0 , Q ¯ ˙ a k = Q ¯ ^ a k = 0 ,
δ 2 Q a k = R a 2 2 2 k 2 2 a 2 2 Q a k , δ 2 Q ¯ a k = R a 2 2 2 k 2 2 a 2 2 Q ¯ a k ,
δ a Q a k = k 2 a 2 Q k , δ a Q ¯ a k = 0 ,
ε a b δ a Q b k = 0 , ε a b δ a Q ¯ b k = k 2 a 2 Q k ,
where the 2-curvature R is given by Equation (18).
The even and odd tensor spherical harmonics obey the orthogonality relations
N a b N c d Q a c k Q ¯ b d k = 0 ,
the algebraic relations
Q a b k = ε { a c Q ¯ b } c k , Q ¯ a b k = ε { a c Q b } c k ,
and the differential relations
Q ˙ a b k = Q ^ a b k = 0 , Q ¯ ˙ a b k = Q ¯ ^ a b k = 0 ,
δ 2 Q a b k = 2 R a 2 2 k 2 a 2 2 Q a b k , δ 2 Q ¯ a b k = 2 R a 2 2 k 2 a 2 2 Q ¯ a b k ,
δ b Q a b k = R a 2 2 k 2 a 2 2 Q a k , δ b Q ¯ a b k = R a 2 2 k 2 a 2 2 Q ¯ a k ,
ε a c δ b Q b c k = R a 2 2 k 2 a 2 2 Q ¯ a k , ε a c δ b Q ¯ b c k = R a 2 2 k 2 a 2 2 Q a k ,
ε b c δ b Q a c k = R a 2 2 k 2 a 2 2 Q ¯ a k , ε b c δ b Q ¯ a c k = R a 2 2 k 2 a 2 2 Q a k .

Appendix E. Harmonic Coefficients

The perturbation variables coupled to μ k k V , Σ k k T , E k k T , and H ¯ k k T are
A k k V = a 1 i k A k k S a 2 = c s 2 μ + p μ k k V ,
i k a 1 ζ k k T = Σ + Θ 3 Σ k k T E k k T ,
i k a 1 a 2 Σ k k V = B + R a 2 2 k 2 a 2 2 Σ k k T 2 + 3 2 Σ E k k T i k a 1 H ¯ k k T ,
2 H ¯ k k V 3 a 2 = Σ a 2 B μ k k V + Σ C E k k T E Σ k k T i k a 1 J H ¯ k k T 3 ,
V k k V a 2 = 2 Σ a 2 B μ k k V B 3 1 + 2 C Σ k k T + Σ 1 + 2 C E k k T 2 3 i k a 1 1 + J H ¯ k k T ,
W k k V a 2 = 3 Σ 2 a 2 B μ k k V + 3 E + R a 2 2 k 2 a 2 2 B Σ k k T 2 + 3 Σ 2 1 C E k k T i k 2 a 1 2 J H ¯ k k T ,
i k a 1 ϕ k k S a 2 2 = k 2 a 1 2 2 a 2 B μ k k V B L 3 Σ k k T + L Σ R a 2 2 k 2 a 2 2 B k 2 a 2 2 E k k T i k a 1 2 L 3 H ¯ k k T ,
i k a 1 a 2 α k k V = 3 Σ 2 B + Σ + Θ 3 c s 2 μ + p μ k k V a 2 3 E 2 Σ k k T + 3 Σ 2 C E k k T i k 2 a 1 J H ¯ k k T ,
X k k V a 2 = 1 3 B k 2 a 2 2 + 3 E μ k k V 3 a 2 E Θ 3 2 Σ Σ k k T + C k 2 a 2 2 + 3 E E k k T + a 1 i k E 1 3 Θ 1 2 Σ k 2 a 1 2 Σ R a 2 2 k 2 4 a 2 2 k 2 a 2 2 6 H ¯ k k T B ,
i k a 1 a 2 E k k V = k 2 a 1 2 μ k k V a 2 B 3 E 2 Σ + Θ 3 Σ k k T + 3 E 2 C k 2 a 1 2 E k k T i k a 1 3 H ¯ k k T 2 B 2 E Σ + Θ 3 + Σ R a 2 2 k 2 a 2 2 ,
and which are coupled to E ¯ k k T , H k k T are
H k k V = i k a 1 a 2 k 2 H k k S = i k a 1 α ¯ k k V = i k a 1 Σ ¯ k k V = R a 2 2 k 2 2 a 2 Σ ¯ k k T = R a 2 2 k 2 a 2 B 3 Σ 2 E ¯ k k T + i k a 1 H k k T ,
B 2 ζ ¯ k k T = Σ + Θ 3 H k k T a 1 i k k 2 a 1 2 R a 2 2 k 2 2 a 2 2 E ¯ k k T ,
E ¯ k k V = R a 2 2 k 2 2 a 2 a 1 i k 1 9 Σ 2 2 B E ¯ k k T 3 Σ B H k k T ,
where
B 2 k 2 a 1 2 + k 2 a 2 2 + 9 Σ 2 2 + 3 E = 2 k 2 a 1 2 R a 2 2 k 2 a 2 2 + 3 Σ Σ + Θ 3 ,
C B R a 2 2 k 2 a 2 2 + 3 E = Σ Θ 3 2 Σ k 2 a 2 2 ,
L B 1 Σ 2 C B k 2 a 1 2 + k 2 a 2 2 B + R a 2 2 k 2 a 2 2 = 3 Σ k 2 a 2 2 k 2 a 1 2 + Θ 2 k 2 a 1 2 + k 2 a 2 2 ,
J B ( R a 2 2 k 2 ) k 2 a 1 2 k 2 a 2 4 + 2 C B = R k 2 a 2 2 2 k 2 a 1 2 + k 2 a 2 2 a 1 2 k 2 + 6 E = k 2 a 1 2 k 2 a 2 2 R 2 k 2 a 1 2 k 2 a 2 2 + 2 Σ Θ 3 2 Σ .

Appendix F. Shear and Weyl Tensor Tensorial Waves in Friedmann Spacetime

In Friedmann spacetimes the background equations [see Equations (3.29), (3.34) and (3.40) of [43], respectively, specified for Friedmann spacetimes] are:
μ ˙ + Θ μ + p = 0 ,
Θ ˙ + Θ 2 3 + μ + 3 p 2 Λ = 0 ,
Θ 2 3 + 3 K a 2 = μ + Λ ,
with curvature 6 K / a 2 = 3 R of 3-spaces of homogeneity, where 3 R is the three-dimensional Ricci scalar.
In Friedmann spacetimes the perturbations are classified into scalar, vector, and tensor types. The pure tensor perturbations are characterized by vanishing of vorticity and of all gauge-invariant vectors and scalars at the first order [53,55]. Thus, the acceleration and the gradient of all scalars also vanish. Moreover we assume the perturbed energy momentum tensor to describe a barotropic perfect fluid.
The evolution and constraint equations for the shear and for the electric and magnetic parts of Weyl tensor in 1 + 3 covariant formalism [see Equations (7)–(9), (12), (13) and (21),of [53], respectively] are:
σ ˙ < a b > + 2 3 Θ σ a b + E a b = 0 ,
E ˙ < a b > + Θ E a b curl H a b + μ + p 2 σ a b = 0 ,
H ˙ < a b > + Θ H a b + curl E a b = 0 ,
H a b = curl σ a b ,
D a H a b = 0 ,
D a E a b = 0 ,
where the curl of a tensor T a b is given by
curl T a b = ε c d < a D c σ d b > .
We expand all tensor quantities in terms of tensorial three-dimensional harmonics with even Q a b k and odd Q ¯ a b k parities. These harmonics are related by a curl operation [see Equations (A19) and (A20) of [68], respectively, or Subsection 11.2.3 of [69]
curl Q a b k = k a 1 + 3 K k 2 Q ¯ a b k ,
curl Q ¯ a b k = k a 1 + 3 K k 2 Q a b k .
The tensor harmonics are symmetric, trace-free and obey
D 2 Q a b k = k 2 a 2 Q a b k , D a Q a b k = 0 , Q ˙ a b k = 0 ,
and the same relations hold for Q ¯ a b k [see Appendix E and F of [70]. Here, k is discrete for closed Friedmann spacetimes while continous for flat and open universes [68]. From Equations (A121) and (A122) it follows that Q a b k satisfies the relation
curl curl Q a b k = k 2 a 2 1 + 3 K k 2 Q a b k ,
and the same is true for Q ¯ a b k .
All symmetric, trace-free and divergenceless first- order tensors are expanded as
T a b = k T k Q a b k + T ¯ k Q ¯ a b k .
Note that sometimes some power of k / a are included in the harmonic expansion [55,68], and the convention used in Equation (A125) corresponds to that of [53]. Since the three-dimensional volume element occurs in the definition of H a b , H ¯ k belongs to the even parity sector, and H k to the odd parity sector.
By using the harmonic expansion the constraints (A118) and (A119) are satisfied, while Equation (A117) becomes
H k = k a 1 + 3 K k 2 σ ¯ k ,
H ¯ k = k a 1 + 3 K k 2 σ k .
Applying these, the evolution equations Equations (A114)–(A116) reduce to
σ ˙ k + 2 3 Θ σ k + E k = 0 ,
E ˙ k + Θ E k + μ + p 2 k 2 a 2 1 + 3 K k 2 σ k = 0 ,
H ˙ k + Θ H k + k a 1 + 3 K k 2 E ¯ k = 0 .
Equations for the coefficients belonging to the odd parity can be obtained by interchanging the overbared and unoverbared variables, respectively. From Equations (A128)–(A130), the following wave equations can be derived for the shear, and the electric and magnetic parts of Weyl tensor:
σ ¨ k + 5 3 Θ σ ˙ k + k 2 a 2 1 + K 2 k 2 + Θ 2 6 + 3 2 Λ p σ k = 0 ,
E ¨ k + q 1 E ˙ k + q 0 E k = 0 ,
H ¨ k + 7 Θ 3 H ˙ k + k 2 a 2 + 2 Θ 2 3 + 2 Λ p H k = 0 ,
with coefficients
q 0 = k 2 a 2 + 2 Θ 2 3 + 2 Λ p 1 + 3 c s 2 μ + p 2 k 2 a 2 1 + 3 K k 2 μ + p Θ 2 3 ,
q 1 = 7 Θ 3 1 + 3 c s 2 μ + p 2 k 2 a 2 1 + 3 K k 2 μ + p Θ 3 .
Similar equations are valid for the other parity variables. In the derivation, the time derivatives of μ and Θ were eliminated by using Equations (A111) and (A112), respectively, the time derivate of p by
p ˙ = c s 2 μ ˙ ,
and finally the energy density μ is partly elimated by using (A113). Equations (A131)–(A133) correspond to Equations (92), (93) and (86), respectively, for K = 0 and for the vanishing energy density 2-gradient.

References

  1. Abbott, B.P.; Abbott, R.; Abbott, T.D.; Abernathy, M.R.; Acernese, F.; Ackley, K.; Adams, C.; Adams, T.; Addesso, P.; Adhikari, R.X.; et al. Observation of Gravitational Waves from a Binary Black Hole Merger. Phys. Rev. Lett. 2016, 116, 061102. [Google Scholar] [CrossRef] [PubMed] [Green Version]
  2. Komatsu, E.; Kogut, A.; Nolta, M.R.; Bennett, C.L.; Halpern, M.; Hinshaw, G.; Jarosik, N.; Limon, M.; Meyer, S.S.; Page, L.; et al. First-Year Wilkinson Microwave Anisotropy Probe (WMAP) Observations: Tests of Gaussianity. Astrophys. J. Suppl. 2003, 148, 119–134. [Google Scholar] [CrossRef]
  3. Spergel, D.N.; Bean, R.; Doré, O.; Nolta, M.R.; Bennett, C.L.; Dunkley, J.; Hinshaw, G.; Jarosik, N.; Komatsu, E.; Page, L.; et al. Three-Year Wilkinson Microwave Anisotropy Probe (WMAP) Observations: Implications for Cosmology. Astrophys. J. 2007, 170, 377–408. [Google Scholar] [CrossRef]
  4. Hinshaw, G.; Larson, D.; Komatsu, E.; Spergel, D.N.; Bennett, C.L.; Dunkley, J.; Nolta, M.R.; Halpern, M.; Hill, R.S.; Odegard, N.; et al. Nine-year Wilkinson Microwave Anisotropy Probe (WMAP) Observations: Cosmological Parameter Results. Astrophys. J. Suppl. 2013, 208, 19. [Google Scholar] [CrossRef]
  5. Ade, P.A.R.; Aghanim, N.; Armitage-Caplan, C.; Arnaud, M.; Ashdown, M.; Atrio-Barandela, F.; Aumont, J.; Baccigalupi, C.; Banday, A.J.; Barreiro, R.B.; et al. Planck 2013 results. XVI. Cosmological parameters. Astron. Astrophys. 2014, 571, A16. [Google Scholar]
  6. Ade, P.A.R.; Aghanim, N.; Arnaud, M.; Ashdown, M.; Aumont, J.; Baccigalupi, C.; Banday, A.J.; Barreiro, R.B.; Bartlett, J.G.; Bartolo, N.; et al. Planck 2015 results. XIII. Cosmological parameters. Astron. Astrophys. 2015, 594, A13. [Google Scholar]
  7. Bennett, C.L.; Halpern, M.; Hinshaw, G.; Jarosik, N.; Kogut, A.; Limon, M.; Meyer, S.S.; Page, L.; Spergel, D.N.; Tucker, G.S.; et al. First-Year Wilkinson Microwave Anisotropy Probe (WMAP) Observations: Preliminary Maps and Basic Results. Astrophys. J. Suppl. 2003, 148, 1–27. [Google Scholar] [CrossRef]
  8. De Oliveira-Costa, A.; Tegmark, M.; Zaldarriaga, M.; Hamilton, A. Significance of the largest scale CMB fluctuations in WMAP. Phys. Rev. D 2004, 69, 063516. [Google Scholar] [CrossRef]
  9. Vielva, P.; Martínez-González, E.; Barreiro, R.B.; Sanz, J.L.; Cayón, L. Detection of Non-Gaussianity in the Wilkinson Microwave Anisotropy Probe First-Year Data Using Spherical Wavelets. Astrophys. J. 2004, 609, 22–34. [Google Scholar] [CrossRef]
  10. Ade, P.A.R.; Aghanim, N.; Akrami, Y.; Aluri, P.K.; Arnaud, M.; Ashdown, M.; Aumont, J.; Baccigalupi, C.; Banday, A.J.; Barreiro, R.B.; et al. Planck 2015 results. XVI. Isotropy and statistics of the CMB. Astron. Astrophys. 2016, 594, A16. [Google Scholar]
  11. Padmanabhan, T. Accelerated expansion of the universe driven by tachyonic matter. Phys. Rev. D 2002, 66, 021301. [Google Scholar] [CrossRef]
  12. Frolov, A.V.; Kofman, L.; Starobinsky, A.A. Prospects and problems of tachyon matter cosmology. Phys. Lett. B 2002, 545, 8–16. [Google Scholar] [CrossRef]
  13. Csáki, C.; Kaloper, N.; Terning, J. The accelerated acceleration of the Universe. J. Cosmol. Astropart. Phys. 2006, 2006, 022. [Google Scholar] [CrossRef]
  14. Gorini, V.; Kamenshchik, A.Y.; Moschella, U.; Pasquier, V. Tachyons, scalar fields and cosmology. Phys. Rev. D 2004, 69, 123512. [Google Scholar] [CrossRef]
  15. Yoo, C.-M.; Nakao, K.-I.; Sasaki, M. CMB observations in LTB universes: Part I: Matching peak positions in the CMB spectrum. J. Cosmol. Astropart. Phys. 2010, 2010, 012. [Google Scholar] [CrossRef]
  16. Nojiri, S.; Odintsov, S.D. Unified cosmic history in modified gravity: From F(R) theory to Lorentz non-invariant models. Phys. Rep. 2011, 505, 59–144. [Google Scholar] [CrossRef]
  17. Lombriser, L.; Slosar, A.; Seljak, U.; Hu, W. Constraints on f(R) gravity from probing the large-scale structure. Phys. Rev. D 2012, 85, 124038. [Google Scholar] [CrossRef]
  18. Tsujikawa, S. Quintessence: A Review. Classical Quantum Gravity 2013, 30, 214003. [Google Scholar] [CrossRef]
  19. Novosyadlyj, B.; Sergijenko, O.; Durrer, R.; Pelykh, V. Constraining the dynamical dark energy parameters: Planck-2013 vs. WMAP9. J. Cosmol. Astropart. Phys. 2014, 2014, 030. [Google Scholar] [CrossRef]
  20. Keresztes, Z.; Gergely, L. Á. Combined cosmological tests of a bivalent tachyonic dark energy scalar field model. J. Cosmol. Astropart. Phys. 2014, 2014, 026. [Google Scholar] [CrossRef]
  21. Gergely, L.Á.; Tsujikawa, S. Effective field theory of modified gravity with two scalar fields: Dark energy and dark matter. Phys. Rev. D 2014, 89, 064059. [Google Scholar] [CrossRef]
  22. Denkiewicz, T. Dark energy and dark matter perturbations in singular universes. J. Cosmol. Astropart. Phys. 2015, 2015, 037. [Google Scholar] [CrossRef]
  23. McClure, M.L.; Dyer, C.C. Anisotropy in the Hubble constant as observed in the HST extragalactic distance scale key project results. New Astron. 2007, 12, 533–543. [Google Scholar] [CrossRef]
  24. Wiltshire, D.L.; Smale, P.R.; Mattsson, T.; Watkins, R. Hubble flow variance and the cosmic rest frame. Phys. Rev. D 2013, 88, 083529. [Google Scholar] [CrossRef]
  25. Cai, R.-G.; Tuo, Z.-L. Direction dependence of the deceleration parameter. J. Cosmol. Astropart. Phys. 2012, 2012, 004. [Google Scholar] [CrossRef]
  26. Doroshkevich, A.G.; Zel’dovich, Y.B.; Novikov, I.D. Perturbations in an anisotropic homogeneous universe. Zh. Ehksp. Teor. Fiz. 1971, 60, 3–8. [Google Scholar]
  27. Perko, T.E.; Matzner, A.; Shepley, L.C. Galaxy Formation in Anisotropic Cosmologies. Phys. Rev. D 1972, 6, 969–983. [Google Scholar] [CrossRef]
  28. Tomita, K.; Den, M. Gauge-invariant perturbations in anisotropic homogeneous cosmological models. Phys. Rev. D 1986, 34, 3570–3583. [Google Scholar] [CrossRef]
  29. Gümrükçüoğlu, A.E.; Contaldi, C.R.; Peloso, M. Inflationary perturbations in anisotropic background and their imprint on the cosmic microwave background. J. Cosmol. Astropart. Phys. 2007, 2007, 005. [Google Scholar] [CrossRef]
  30. Periera, T.S.; Pitrou, C.; Uzan, J.-P. Theory of cosmological perturbations in an anisotropic universe. J. Cosmol. Astropart. Phys. 2007, 2007, 006. [Google Scholar] [CrossRef]
  31. Pitrou, C.; Periera, T.S.; Uzan, J.-P. Predictions from an anisotropic inflationary era. J. Cosmol. Astropart. Phys. 2008, 2008, 004. [Google Scholar] [CrossRef]
  32. Lifshitz, E.M.; Khalatnikov, I.M. Investigations in relativistic cosmology. Adv. Phys. 1963, 12, 185–249. [Google Scholar] [CrossRef]
  33. Bardeen, J.M. Gauge-invariant cosmological perturbations. Phys. Rev. D 1980, 22, 1882–1905. [Google Scholar] [CrossRef]
  34. Stewart, J.M. Perturbations of Friedmann-Robertson-Walker cosmological models. Classical Quantum Gravity 1990, 7, 1169–1180. [Google Scholar] [CrossRef]
  35. Hawking, S.W. Perturbations of an Expanding Universe. Astrophys. J. 1966, 145, 544–554. [Google Scholar] [CrossRef]
  36. Olson, D.W. Density perturbations in cosmological models. Phys. Rev. D 1976, 14, 327–331. [Google Scholar] [CrossRef]
  37. Ellis, G.F.R.; Bruni, M. Covariant and gauge-invariant approach to cosmological density fluctuations. Phys. Rev. D 1989, 40, 1804–1818. [Google Scholar] [CrossRef]
  38. Bruni, M.; Dunsby, P.K.S.; Ellis, G.F.R. Cosmological perturbations and the physical meaning of gauge-invariant variables. Astrophys. J. 1992, 395, 34–53. [Google Scholar] [CrossRef]
  39. Dunsby, P.K.S. Covariant perturbations of anisotropic cosmological models. Phys. Rev. D 1993, 48, 3562–3576. [Google Scholar] [CrossRef]
  40. Osano, B. Beyond the Standard Model of Cosmology of Cosmology: A Perturbative Approach. Ph.D. Thesis, University of Cape Town, Cape Town, South Africa, 2007. [Google Scholar]
  41. Osano, B. The Decoupling of Scalar-Modes from a Linearly Perturbed Dust-Filled Bianchi Type-I Model. Chin. Phys. Lett. 2014, 31, 010402. [Google Scholar] [CrossRef]
  42. Ellis, G.F.R.; van Elst, H. Cosmological models. NATO Adv. Study Inst. Ser. C. Math. Phys. Sci. 1999, 541, 1–116. [Google Scholar]
  43. Ellis, G.F.R. Cosmological Models. In Modern Cosmology; Moschella, U., Gorini, V., Bonometto, S., Eds.; Taylor & Francis: Milton Park, UK, 2002; pp. 108–158. [Google Scholar]
  44. Ellis, G.F.R.; Hwang, J.; Bruni, M. Covariant and gauge-independent perfect-fluid Robertson-Walker perturbations. Phys. Rev. D 1989, 40, 1819–1826. [Google Scholar] [CrossRef]
  45. Clarkson, C. A covariant approach for perturbations of rotationally symmetric spacetimes. Phys. Rev. D 2007, 76, 104034. [Google Scholar] [CrossRef]
  46. Betschart, G.; Clarkson, C. Scalar field and electromagnetic perturbations on Locally Rotationally Symmetric spacetimes. Classical Quantum Gravity 2004, 21, 5587–5607. [Google Scholar] [CrossRef]
  47. Clarkson, C.A.; Barrett, R.K. Covariant Perturbations of Schwarzschild Black Holes. Classical Quantum Gravity 2003, 20, 3855–3884. [Google Scholar] [CrossRef]
  48. Keresztes, Z.; Gergely, L.Á. Covariant gravitational dynamics in 3 + 1 + 1 dimensions. Classical Quantum Gravity 2010, 27, 105009. [Google Scholar] [CrossRef]
  49. Stewart, J.M.; Walker, M. Perturbations of space-times in general relativity. Proc. R. Soc. Lond. A 1974, 341, 49–74. [Google Scholar] [CrossRef]
  50. Keresztes, Z.; Forsberg, M.; Bradley, M.; Dunsby, P.K.S.; Gergely, L.Á. Gravitational, shear and matter waves in Kantowski-Sachs cosmologies. J. Cosmol. Astropart. Phys. 2015, 2015, 042. [Google Scholar] [CrossRef]
  51. Van Elst, H.; Ellis, G.F.R. The Covariant Approach to LRS Perfect Fluid Spacetime Geometries. Classical Quantum Gravity 1996, 13, 1099–1128. [Google Scholar] [CrossRef]
  52. Marklund, M.; Bradley, M. Invariant construction of solutions to Einstein’s field equations—LRS perfect fluids II. Classical Quantum Gravity 1999, 16, 1577–1597. [Google Scholar] [CrossRef]
  53. Dunsby, P.K.S.; Bassett, B.A.C.; Elllis, G.F.R. Covariant analysis of gravitational waves in a cosmological context. Classical Quantum Gravity 1997, 14, 1215–1222. [Google Scholar] [CrossRef]
  54. Challinor, A. Microwave background anistropies from gravitational waves: The 1 + 3 covariant approach. Classical Quantum Gravity 2000, 17, 871–889. [Google Scholar] [CrossRef]
  55. Challinor, A.; Lasenby, A. Cosmic Microwave Background Anisotropies in the Cold Dark Matter Model: A Covariant and Gauge-invariant Approach. Astrophys. J. 1999, 513, 1–22. [Google Scholar] [CrossRef]
  56. Gebbie, T.; Ellis, G.F.R. 1 + 3 Covariant Cosmic Microwave Background anisotropies I: Algebraic Relations for Mode and Multipole Expansions. Ann. Phys. 2000, 282, 285–320. [Google Scholar] [CrossRef]
  57. Gebbie, T.; Dunsby, P.K.S.; Ellis, G.F.R. 1 + 3 Covariant Cosmic Microwave Background anisotropies II: The almost-Friedmann Lemaitre model. Annals Phys. 2000, 282, 321–394. [Google Scholar] [CrossRef]
  58. Marteens, R. Linearization instability of gravity waves? Phys. Rev. D 1997, 55, 463–467. [Google Scholar] [CrossRef]
  59. Tsagas, C.G.; Challinor, A.; Maartens, R. Relativistic cosmology and large-scale structure. Phys. Rep. 2008, 465, 61–147. [Google Scholar] [CrossRef] [Green Version]
  60. Marklund, M. Invariant construction of solutions to Einstein’s field equations—LRS perfect fluids I. Classical Quantum Gravity 1997, 14, 1267–1284. [Google Scholar] [CrossRef]
  61. Bradley, M.; Marklund, M. Finding solutions to Einstein’s equations in terms of invariant objects. Classical Quantum Gravity 1996, 13, 3021–3037. [Google Scholar] [CrossRef]
  62. Bradley, M.; Karlhede, A. On the curvature description of gravitational fields. Classical Quantum Gravity 1990, 7, 449–463. [Google Scholar] [CrossRef]
  63. Bradley, M.; Dunsby, P.K.S.; Forsberg, M.; Keresztes, Z. Density growth in Kantowski-Sachs cosmologies with cosmological constant. Classical Quantum Gravity 2012, 29, 095023. [Google Scholar] [CrossRef]
  64. Clarkson, C.A.; Marklund, M.; Betschart, G.; Dunsby, P.K.S. The electromagnetic signature of black hole ring-down. Astrophys. J. 2004, 613, 492–505. [Google Scholar] [CrossRef]
  65. Burston, R.B. 1 + 1 + 2 gravitational perturbations on LRS class II space-times: Decoupling GEM tensor harmonic amplitudes. Classical Quantum Gravity 2008, 25, 075004. [Google Scholar] [CrossRef]
  66. Thorne, K.P. Multipole expansions of gravitational radiation. Rev. Mod. Phys. 1980, 52, 299–339. [Google Scholar] [CrossRef]
  67. Harrison, E.R. Normal modes of vibrations of the universe. Rev. Mod. Phys. 1967, 39, 862–882. [Google Scholar] [CrossRef]
  68. Challinor, A. Microwave background polarization in cosmological models. Phys. Rev. D 2000, 62, 043004. [Google Scholar] [CrossRef]
  69. Ellis, G.F.R.; Maartens, R.; MacCallum, M.A.H. Relativistic Cosmology; Cambridge University Press: Cambridge, UK, 2012. [Google Scholar]
  70. Ullrich, P. Exact and Perturbed Friedmann-Lemaître Cosmologies. Master’s Thesis, University of Waterloo, Waterloo, ON, Canada, 2007. [Google Scholar]
  71. Isaacson, R.A. Gravitational Radiation in the Limit of High Frequency. I. The Linear Approximation and Geometrical Optics. Phys. Rev. 1968, 166, 1263–1271. [Google Scholar] [CrossRef]
  72. Isaacson, R.A. Gravitational Radiation in the Limit of High Frequency. II. Nonlinear Terms and the Effective Stress Tensor. Phys. Rev. 1968, 166, 1272–1279. [Google Scholar] [CrossRef]
1.
There seems to be a misprint in Equation (22) it [53]. Probably the factor ( 9 γ 1 ) should read ( 10 9 γ ) .
2.
There are some minor misprints in [45]. See [50] for corrections.

Share and Cite

MDPI and ACS Style

Bradley, M.; Forsberg, M.; Keresztes, Z. Gravitational Waves in Locally Rotationally Symmetric (LRS) Class II Cosmologies. Universe 2017, 3, 69. https://doi.org/10.3390/universe3040069

AMA Style

Bradley M, Forsberg M, Keresztes Z. Gravitational Waves in Locally Rotationally Symmetric (LRS) Class II Cosmologies. Universe. 2017; 3(4):69. https://doi.org/10.3390/universe3040069

Chicago/Turabian Style

Bradley, Michael, Mats Forsberg, and Zoltán Keresztes. 2017. "Gravitational Waves in Locally Rotationally Symmetric (LRS) Class II Cosmologies" Universe 3, no. 4: 69. https://doi.org/10.3390/universe3040069

Note that from the first issue of 2016, this journal uses article numbers instead of page numbers. See further details here.

Article Metrics