arxiv: v1 [gr-qc] 3 May 2016

Transcription

1 New exact solutions of ianchi I, ianchi III and Kantowski-Sachs spacetimes in scalar-coupled gravity theories via Noether gauge symmetries U. Camci, 1, A. Yildirim, 1, and I. asaran Oz 1, 1 Department of Physics, Akdeniz University, Antalya, Turkey The Noether symmetry approach is useful tool to restrict the arbitrariness in a gravity arxiv: v1 [gr-qc 3 May 2016 theory when the equations of motion are underdetermined due to the high number of functions to be determined in the ansatz. We consider two scalar-coupled theories of gravity, one motivated by induced gravity, the other more standard; in ianchi I, ianchi III and Kantowski-Sachs cosmological models. For these models, we present a full set of Noether gauge symmetries, which are more general than those obtained by the strict Noether symmetry approach in our recent work. Some exact solutions are derived using the first integrals corresponding to the obtained Noether gauge symmetries. Keywords: ianchi I spacetime; ianchi III spacetime; Kantowski-Sachs spacetime; scalarcoupled theory of gravity; Noether gauge symmetry. PACS: Fy; Ef; h I. INTRODUCTION Cosmological problems such as dark matter, dark energy, the flatness and horizon problems, deriving from the combination of general relativity (GR and the standard model of particle physics, led to the realization that the standard model of cosmology is not sufficient to describe the universe in extreme regimes [1. Alternative theories of gravity, which must agree with GR in the weak field regime [2, might be able to solve these problems. Scalar-tensor theories of gravity, including scalar fields non-minimally coupled to gravity, have created considerable interest in cosmology because they introduce naturally scalar fields which are capable of giving rise to inflationary behaviour [3, 4 of the universe, and generate dark energy dynamics [5. Another motivation for considering scalar-tensor theories is the idea of emergent or induced gravity, originally proposed by Sakharov and Zeldovich [6, 7, and refined by Adler and Zee [8 11. A particular realization of scalar-tensor theories, the 2 R theory, stands out in these discussions, Electronic address: ucamci@akdeniz.edu.tr Electronic address: aydinyildirim@akdeniz.edu.tr Electronic address: isilbasaran@akdeniz.edu.tr

2 2 and some of its consequences are worked out in [ We will also work with this theory in the present study. All cosmological models but the simplest Friedmann-Lemaitre-Robertson-Walker (FLRW model contain more arbitrary functions than can be determined using the field equations for the matter and the geometry. Alternative theories of gravity may bring further unspecified functions as parts of the Lagrangian, increasing the arbitrariness. One suitable way to restrict this arbitrariness is to use Noether symmetries which are directly related to the presence of conserved quantities, as selection rules. They can enable us to choose the scalar field s self-interaction potential in a dynamical way, and might be able to reduce the number of dynamical variables of the system of differential equations due to possible cyclic variables. A Lagrangian density L admits a strict Noether symmetry if there exists a vector field X, for which the Lie derivative of the Lagrangian vanishes, i.e. X L = 0. This approach in the context of spacetimes like FLRW and ianchi type universe models has already been used with great success in the frameworks of f(r,f(t and specific models of scalar-tensor gravity theories, allowing the identification of dynamical conserved quantities and the derivation of new exact solutions [ In particular, for the Kantowski-Sachs (KS spacetime, the strict Noether and dynamical symmetries have been discussed by Sanyal [14, and generalized by Camci and Kucukakca [23 to include ianchi I (I and ianchi III (III spacetimes. The strict Noether symmetry approach can be generalized to include a gauge term, giving the Noether gauge symmetry (NGS approach, a more suitable method to seek for physically motivated solutions of field equations; for some applications, see [25 31 In the present paper, we apply the NGS to I, III and KS spacetimes, generalizing our earlier work [23. The paper is organized as follows. In the next section, we present the Lagrangian, rederive for completeness, both the equations of motion in scalar-coupled theory of gravity, and their specialized forms for I, III and KS spacetimes. In section III, we discuss the NGS approach to the Lagrangian for these spacetimes, and give solutions of the NGS equations for the 2 R theory motivated from induced gravity, and the often-used (1 ζ 2 R theory. In section IV, we search for exact solutions of the field equations using the obtained NGS. Finally, in section V, we conclude with a brief summary and discussion of the obtained results.

3 3 II. THE EQUATIONS OF MOTION The general form of the Lagrangian density for the action A = Ldt involving gravity nonminimally coupled with a real scalar field is given by [16 L = d 3 x [ g F(R+ ǫ 2 gab a b U( (1 where R is the Ricci scalar, F( is the generic function describing the coupling, U( is the potential for the scalar field, a =,a stand for the components of the gradient of and the signature of metric is given by theparameter ǫ = +1 and 1for signatures (+ and ( +++, respectively. We use Planck units. For F( = 1/2, it reduces to the Einstein-Hilbert action minimally coupled with a scalar field. For F( = 2 /6, the conformally coupled theory can be obtained. For F( = F 0 2 /12,(F 0 ǫ represents the theory motivated from induced gravity, and for F( = 1 ζ 2, L is of the form of the more standard non-minimally coupled scalar field theory. The variation of the action A with respect to g ab provides the field equations F(G ab = ǫ 2 T ab g ab F(+F( ;ab (2 where is the d Alembert operator, G ab = R ab 1 2 Rg ab (3 is the Einstein tensor, and T ab = a b 1 2 g ab c c +ǫg ab U( (4 is the energy-momentum tensor of the scalar field. The variation with respect to gives rise to the Klein-Gordon equation governing the dynamics of the scalar field ǫ RF (+U ( = 0, (5 where the prime indicates the derivative with respect to. The ianchi identity G ab ;b = 0, which gives the conservation laws for the scalar field, also yields the Klein-Gordon equation (5 as a general result [18. As discussed in the Introduction, we will treat the I, III and KSspacetimes. Theline element for these spacetimes can be written in the common form ds 2 = ǫ ( dt 2 A 2 dr 2 ǫ 2( dθ 2 +Σ 2 (q,θd 2, (6

4 4 where A and depend on t only, and Σ(q,θ = θ,sinhθ,sinθ for q = 0, 1,+1, respectively. The expression (6 represents I for q = 0, III for q = 1 and KS for q = 1. The Ricci scalar computed from the line element is [Ä R = 2ǫ +2 A + Ḃ2 2 +2ȦḂ A + q A 2, (7 where the dot represents the derivation with respect to time. Then, the Lagrangian of I, III and KS spacetimes becomes L = 2ǫFAḂ2 +4ǫFȦḂ [ +2ǫF 2 Ȧ +4ǫF AḂ 2 2ǫqFA+A 2 2 U(. (8 The field equations (2 and Klein-Gordon equation (5 for the metric (6 become ( [ Ḃ ȦḂ A + q 2 + F A F A +2Ḃ + ǫ 2 2F 2 +U( = 0, (9 2 [ + Ḃ2 2 + q ( 2 + F +2Ḃ F F + F ǫ 2 + ǫ U( = 0, (10 4F 2F Ä A + [ (Ȧ + ȦḂ A + F + F A + Ḃ ( F + F ǫ 2 + ǫu( = 0, (11 4F 2F [ ( Ä +2 A + Ḃ2 2 +2ȦḂ A + q 2 + ǫ A + 2F A +2Ḃ +U ( = 0, (12 where F 0. Note that the equations (10-(12 can also be obtained as the Euler-Lagrange equations using the Lagrangian (8, whereas eq.(9, the (0,0-Einstein equation, can be obtained as the requirement for the energy function E L associated with the Lagrangian (8 to vanish. E L = L Ȧ Ȧ+ L Ḃ + L Ḃ L = Ḃ2 2 +2ȦḂ A + q 2 + F F ( A A +2Ḃ + ǫ 2F [ 2 2 +U( If Ä and can be eliminated form the Eqs. (10-(12 the continuity equation can be found as [ 2(3F 2 ǫf + Ȧ A +2Ḃ +F (6F ǫ +2ǫ(2UF FU = 0. (14 The unknown quantities of the field equations are A,,,U( and F(, but we have only four independent differential equations, namely, Eqs. (9-(12. Then, in order to solve this system of nonlinear differential equations we need to assume a functional form of the scalar field potential energy U( or the function F(. (13

5 5 III. NOETHER GAUGE SYMMETRIES For the KS metrics of the signature (+2, the forms of coupling of the scalar field and the potential has been found by Sanyal [14 under the assumption that the Lagrangian admits strict Noether symmetry. This work was generalized to I and III by Camci & Kucukakca [23. Now we seek the condition for the Lagrangian (8 to admit NGS. Let us consider a NGS generator X = ξ t +Xi Qi, (15 where the configuration space of the Lagrangian is Q i = (A,, with tangent space TQ = (A,,, A,Ḃ,, X i = (α,β,γ, i = 1,2,3; and the components ξ,α,β and γ are functions of t,a, and. The existence of a NGS implies the existence of a vector field X as given in (15, if the Lagrangian L(t,Q i, Q i satisfies X [1 L+L(D t ξ = D t f, (16 where X [1 is the first prolongation of the NGS generator (15 in the form X [1 = X+Ẋ i (17 Q i, f(t,a,, is a gauge function, D t is the total derivative operator with respect to t D t = t + Q i Qi, (18 and Ẋi is defined as Ẋ i = D t X i Q i D t ξ. It is important to give the following first integral to emphasize the significance of NGS: If X is the NGS generator corresponding to the Lagrangian L(t,Q i, Q i, then I = ξe L +X i L f, (19 Q i is the Noether first integral, i.e. the Hamiltonian or a conserved quantity associated with the generator X. Here, E L is the energy function defined for any Lagrangian, E L = Q i L L. Q i Obviously, the gauge function f is arbitrary up to an additive constant, and this arbitrariness will be used to simplify expressions in the rest of the paper, whenever possible. Also, the trivial Noether gauge symmetry t is related to the conservation of energy, and gives rise to the Hamiltonian (E L = 0 of the dynamical system.

6 6 From the Lagrangian (8 the NGS condition (16 yields the following set of over-determined system of equations ξ A = 0, ξ = 0, ξ = 0, (20 2ǫ ( 2Fβ t +F γ t GA = 0, (21 4ǫ [ F (α t +Aβ t +F Aγ t G = 0, (22 2ǫF ( 2 α t +2Aβ t +A 2 γ t G = 0, (23 2Fβ A +F γ A = 0, (24 F F α+2α +2Aβ +A F F (γ +2γ Aξ t = 0, (25 α+2 A β +2Aγ +4ǫF (α +2 A β Aξ t = 0, (26 ( β + [α A +β + F γ +Aγ A + F 2 γ +Aβ A ξ t = 0, (27 F F (2β +α A +γ +2Aβ A ξ t + F F γ +2β + ǫ 2F Aγ A = 0, (28 (α+ A β + 2 α +Aβ +Aγ Aξ t + F F Aγ +α + A β + ǫ 4F Aγ = 0, (29 2ǫqF (α+ F F Aγ +Aξ t +A 2 γu (+(α+2aβ +Aξ t U( = 0. (30 Then, selecting the function F, the above NGS equations will give the solutions for ξ,α,β,γ,f and the potential U(. For I, III and KS spacetimes the Hessian determinant W = Σ 2 L Q i is given by Q j W = 16A 4 F(3ǫF 2 F. (31 There exists two cases depending on the Hessian determinant W vanishes or not: Case (i: If the Lagrangian (8 is degenerate, then the Hessian determinant W vanishes, and therefore the function F is given by F( = ǫ (32

7 7 In this case, the first two of the three main terms of eq.(14 vanish, enabling us to directly determine U( = λ 4 (33 whenever (14 applies. Case (ii: If the Lagrangian (8 is non-degenerate, then the Hessian determinant W does not vanish. For the form of F, we will consider (ii.a F = F 0 2 /12, where F 0 ǫ, the form motivated by induced gravity; or (ii.b F( = 1 ζ 2, which is a more standard form of non-minimally coupled scalar field theory, where ζ is a constant. We now present solutions of the NGS equations in the KS, I and III spacetimes for the coupling functions F( listed above. The NGS equations also allow determination of U( via eq.(30, but we will classify the solutions according to the U( functions from the beginning, in addition to the classification according to the F( functions outlined just above. We will show the results in tables, elaborating on only some of them in the text. A. ianchi I Spacetime We show some of the NGSs in Tables I and II. In order to keep the tables compact, we explicitly present the simplest case (i.1 in the text, and then express some results of some other cases in terms of the explicitly presented ones. We also explicitly display some cases, (i.3, (ii.a.1 and (ii.a.4, that are too long to fit in the tables. Case (i.1: U( = 0. For this case, the eight NGSs are given by X 1 = t, X 2 = 2A A +, X 3 = 2A A +, X 4 = t t +A A, X 5 = t 2 t +2t(A A +, X 6 = 2Aln( A ln(a +ln X 7 = 2A A , X 8 = 2 (A/1 3 A (/A2 3 +(A 2 1 3, ( A, (34

8 8 with the non-vanishing Lie brackets [X 1,X 4 = X 1 [X 1,X 5 = 2(X 2 X 3 +X 4, [X 2,X 6 = 2X 2 3X 3, [X 2,X 7 = X 7, [X 2,X 8 = X 8, [X 3,X 6 = X 2 2X 3, [X 3,X 7 = X 7, [X 3,X 8 = 1 3 X 8, [X 4,X 5 = X 5, [X 4,X 6 = X 3 X 2, (35 [X 4,X 8 = 2 3 X 8, [X 6,X 7 = 1 (X 2 3X 3 +ln(x 7, ( 3 [X 6,X 8 = (A 2 1/3 (X 2 X 3 +ln 1 (A 2 1/3 X 8. Using (19, we find the first integrals for those of eight NGSs: (Ȧ I 1 = E L, I 2 = 1 3 A2 2 A Ḃ, (36 (Ȧ I 3 = 1 3 A2 2 A +, (37 (Ḃ I 4 = te L A2 2 +, (38 I 5 = t 2 E L, (39 I 6 = 1 3 A2 2[ A ln( A +ln(aḃ +ln(a, (40 ( I 7 = 1 3 A 2Ȧ +3, (41 I 8 = (A 5 1/3 A + Ḃ (Ḃ +. (42 Case (i.3: U( = λ m, where m( 2 is a constant. In this case, it follows from the continuity equation (14 that m = 4. Then the NGS components are obtained by ξ = g(t, α = Aġ(t 2 ( A 3 c c 2 2c 3 A, A β = ġ(t 5c c 2 A 2 3 +c 3, γ = ġ(t+ 1 ( c c 2 A 2, (43 where g(t is an arbitrary function of t. This result is interesting because of that there exists an infinite family of NGSs due to the functional dependence of NGS components. Thus the four NGSs

9 9 of this case are X 3 1 = X 2 given above and X 3 2 = 2 A 3 A 1 1 A A 2 2, X 3 3 = 2A A , (44 X 3 4 = g(t t +ġ(t(a A +. TALE I: The potential functions and lists of NGSs of cases (i and (ii for the I (q = 0 spacetime, where λ is a constant. Potential Function Case(iF = ǫ 2 /12 Case(ii.aF = F 0 2 /12 Case(ii.bF = 1 ζ 2 1.U( = 0 X 1,X 2,X 3,X 4,X 5,X 6,X 7,X 8 X 1,X 2,X 3,X 4,X a1 5,Xa1 6 X 1,X 2,X 4 2.U( = λ X 1,X 2,X 3,X 6,X 2 5 X 1,X 2,X a2 3 X 1,X 2 3.U( = λ m,m 2 X 2,X 3 2,X3 3,X3 4 X 1,X 2,X a3 3 X 1,X 2 4.U( = λ 2 X 1,X 2,X 3,X 6,X 4 5 X 1,X 2,X 3,X a4 4,Xa4 5,Xa4 6 X 1,X 2 TALE II: The NGSs and corresponding first integrals for the I spacetime cases not covered in the text. Case NGS First Integral (i.2 X 2 1 = X 1, X 2 2 = X 2, X 2 3 = X 3, X 2 4 = X 6 I1 2 = I 1, I2 2 = I 2, I3 2 = I 3, I4 2 = I 6 ( X 2 5 = t t A A + I5 2 = 1 3 A2 2 A A + Ḃ +2 (i.4 X 4 1 = X 1, X 4 2 = X 2, X 4 3 = X 3, X 4 4 = X 6 I1 4 = I 1, I2 4 = I 2, I3 4 = I 3, I4 4 = I 6 ( X 4 5 = t t A[4ln(+1 A ln( I5 4 = 1 3 [ln( A(2 +3ln( 2Ȧ A + Ḃ (ii.a.2 X a2 1 = X 1, X a2 2 = X 2, X a2 3 = X 2 5 I a2 1 = I 1, I a2 2 = I 2, I a2 3 = I 2 5 (ii.a.3 X a3 1 = X 1, X a3 2 = X 2 I a3 1 = I 1, I a3 2 = I 2 X a3 3 = t t + (m+2 (m 2 A A 2 (m 2 I a3 3 = k3 3(m 2 A(2 [m (ii.b.1 X b1 1 = X 1, X b1 2 = X 2, X b1 3 = X 4 I b1 1 = I 1, I b1 2 = I 2, I b1 3 = I 4 (ii.b.2 X b2 1 = X 1, X b2 2 = X 2 I b2 1 = I 1, I b2 2 = I 2 (ii.b.3 X b3 1 = X 1, X b3 2 = X 2 I b3 1 = I 1, I b3 2 = I 2 (ii.b.4 X b4 1 = X 1, X b4 2 = X 2 I b4 1 = I 1, I b4 2 = I 2 +3 (Ḃ + 2 (Ḃ + ( A A + Ḃ 6 k 3 The non-zero Lie brackets due to the NGS generators X 3 3 and X3 4 are [X 2,X 3 3 = 3X3 3, [X 2,X 3 2 = 3X3 2. (45 The first integrals for the NGSs of this case are given by (Ȧ (Ḃ I1 3 = 1 3 A2 2 A Ḃ, I2 3 = 3A +, ( I3 3 = A 2Ȧ 9 A + Ḃ +3, I4 3 = g(te L. (46

10 10 Case (ii.a.1: U( = 0. For this case, the components of NGS generators, and the gauge function are found as ξ = c 1 t 2 2 +c 2t+c 3, α = A ( k 4 c 1 t+c 2 2c 4 +2c 5 Aln( k 4 k 3 2c 6, 5 β = c 1 t+c 5 ln( k 4 k 3 A +c k 3 6, γ = c 1 t+c 4 +c 5 ln(a/, (47 f = c 1 k 2 k 3 A 2 2, where = 8ǫF 0 9,k 2 = ǫf 0 1,k 3 = ǫf 0 and k 4 = 2ǫF 0 3. It is easily seen that k 2 and k 3 are non-zero in this case, but or k 4 could be. Hence, we need to consider subcases where they are both nonzero, vs. where one or the other vanishes. The latter singular ones cannot be obtained as special cases of the above solutions, they have to be trated from scratch. Subcase ii.a , k 4 0. In this subcase, the number of NGSs is six which are X a1 1 = X 1,X a1 2 = X 2,X a1 3 = X 3,X a1 4 = X 4 and X a1 5 = t 2 t + 2t [k 4 (A A + +k 3, (48 X a1 6 = 2Aln ( k 4 k 3 A +ln k4 k 3 A The non-vanishing Lie brackets due to X a1 5 and X a1 6 are [X 1,X a1 5 = k 4 X 2 + k 3 X 3 +X 4, [X 2,X a1 6 = 2X 2 3X 3, +ln(a/. (49 [X 3,X a1 6 = 2X 3 cx 2, [X 4,X a1 5 = X a1 5, [X 4,X a1 6 = X 4 X a1 6. (50 where c = (3ǫ 4F 0 /F 0. The first integrals of the generators X a1 5 and X a1 6 are where l = k 4 /k 3. I 5 = 2k 2k 3 A 2 2[ ( Ȧ t A +2Ḃ +2 1, (51 I 6 = 2k 3 3 ta2 2[ 1 2 ln( 1 l Ḃ Ȧ A +ln(3l 2 +ln(4 /A l/2, (52 Subcase ii.a.1.2. F 0 = 9ǫ/8, i.e. = 0. There are seven NGSs for this subcase, which are Y 1 = X 1,Y 2 = X 2,Y 3 = X 3,Y 4 = X 4 and [ 2 Y 5 = 8t 3 (A A +, (53 Y 6 = 2A 3 [ln(2 +1 A 3 [ln(2 +ln( 4 3, (54 Y 7 = 2A 3 [ln( 1 A 3 [ln(a3 4 +ln(a 4 3, (55

11 11 where we have a nonzero gauge function for Y 5 as f = A 2 2. The non-zero Lie brackets for this subcase are [Y 1,Y 5 = 16 3 Y 2 +8Y 3, [Y 2,Y 6 = 1 3 Y 2 +Y 3, [Y 2,Y 7 = 5 3 Y 2 2Y 3, [Y 3,Y 6 = 2 3 (Y 2 2Y 3, [Y 3,Y 7 = 2 3 (Y 2 Y 3, [Y 4,Y 5 = Y 5, (56 [Y 4,Y 7 = Y 2 +Y 3, [Y 5,Y 6 = 2 3 Y 5, [Y 5,Y 7 = 2 3 Y 5, [Y 6,Y 7 = 2 3 (Y 2 Y (Y 6 Y 7. The first integrals related to Y 5,Y 5 and Y 7 are ( Ȧ I 5 = A 2 [t 2 A +2Ḃ I 6 = 1 4 A2 2[ ( ln(ȧ A + I 7 = , (57 ln( Ḃ + ( ln( [ ln(ȧ A +(ln(a3 4 2Ḃ +(ln(a3 4 2, (58. (59 Subcase ii.a.1.3. F 0 = 3ǫ/2, i.e. k 4 = 0. There are six NGSs for this subcase: Y 1 = X 1,Y 2 = X 2,Y 3 = X 3,Y 4 = X 4 and Y 5 = t2 2 t + t 2, (60 Y 6 = 2Aln( A ln(a ln( A, (61 with a nonzero gauge function f = 1 4 A2 2 for Y 5. The non-zero Lie brackets of the above vector fields yield [Y 1,Y 5 = 1 2 Y 3 +Y 4, [Y 2,Y 6 = 2Y 2 3Y 3, [Y 3,Y 6 = 2(Y 2 Y 3, [Y 4,Y 5 = Y 5, (62 [Y 4,Y 6 = Y 2 +Y 3. The first integrals of Y 5 and Y 6 are I 5 = 1 ( Ȧ 4 A2 [t 2 A +2Ḃ I 6 = A 2 2[ ln( 1/2 A Ȧ 2 +ln( A A 3/2Ḃ +2 1, (63 +2ln(/A. (64

12 12 Case (ii.a.4: U( = λ 2. For this case, we find the following NGS components and gauge function: ξ = c 1 +c 2 sin(at+c 3 cos(at, α = ak 4 A[c 2 cos(at c 3 sin(at c 5 2A k 2 k 3 ln(φ 2(c 4 +c 6 A, β = ak 4 [c 2 cos(at c 3 sin(at c 5 ln(aφ k 4/F 0 +c 6, (65 γ = ak 3 [c 2 cos(at c 3 sin(at+c 4 +c 5 ln(a/, f = 2λA 2 [c 2 sin(at+c 3 cos(at. where a = 2λ /k 2 k 3, = 8ǫF 0 9,k 2 = ǫf 0 1,k 3 = ǫf 0 and k 4 = 2ǫF 0 3. Here we observe that k 2 is different from zero because F 0 ǫ, and it is clear that k 3 0. Therefore, again we need to consider subcases analogous to the Case (ii.a.1. Subcase ii.a , k 4 0. The NGSs are obtained as X a4 1 = X 1,X a4 2 = X 2,X a4 3 = X 3 and X a4 4 = 2Aln(φ k 4/F 0 A ln(aφ k 4/F 0 +ln(a/, X a4 5 = a cos(at [k 4 (A A + +k 3 +sin(at t, (66 X a4 6 = a sin(at [k 4 (A A + +k 3 +cos(at t, where f = 2λA 2 sin(at and f = 2λA 2 cos(at for X a4 5 and X a4 6, respectively. The non-zero Lie brackets for this case are where b = (3ǫ 4F 0 /F 0. Then, the first integrals read [X 1,X a4 5 = ax a4 6, [X 1,X a4 6 = ax a4 5, (67 [X 2,X a4 4 = 3X 4 +2X 2, (68 [X 3,X a4 4 = 2X 3 +bx 2, [X a4 5,Xa4 6 = ax 1. (69 I 4 = k 3 3 A2[ ln( k4 F 0 /Ȧ I 5 = 3ak 2k 3 I 6 = 3ak 2k 3 A +ln( k 4 F 0 Ḃ + k 4 ln(/a k 3 cos(ata 2 2[ Ȧ A +2Ḃ +2 + atan(at sin(ata 2 2[ Ȧ A +2Ḃ +2 acot(at, (70, (71. (72 Subcase ii.a.4.2. F 0 = 9ǫ/8, i.e. = 0. The six NGSs are found as Y 1 = X 1,Y 2 = X 2,Y 3 = X 3 and Y 4 = t t (16λt2 +3A A +8λt 2 ( 2 3, (73

13 13 Y 5 = 2 3 t(a A + +φ φ (74 Y 6 = 2Aln(φ 2/3 A ln(aφ 2/3 +φln( A φ, (75 Y 7 = 1 6 [ λt 2 +3ln( 3 [ 8λt 2 +ln(a 3 4 A A 1 12 [ 16λt 2 +3ln(A 3 4, (76 where the corresponding non-zero Lie brackets for this subcase are [Y 1,Y 4 = Y 1 16λY 5, [Y 1,Y 5 = 2 3 Y 2 +Y 3, [Y 1,Y 7 = 4λY 5, [Y 2,Y 6 = 2Y 2 +3Y 3, [Y 2,Y 7 = 5 4 Y Y 3, [Y 3,Y 6 = 4 3 Y 2 +2Y 2, [Y 3,Y 7 = 1 2 (Y 2 Y 3, [Y 4,Y 5 = Y 5, (77 [Y 4,Y 6 = Y 2 Y 3, [Y 4,Y 7 = 3 4 (Y 2 Y 3, [Y 5,Y 7 = 1 2 Y 5, [Y 6,Y 7 = 1 2 (Y 2 Y Y 6. The first integrals of the six NGSs are given by I 4 = 1 8 A2[ 8λt 2Ȧ A +(3 16λt2 Ḃ +(40λt λt, (78 I 5 = 1 8 A2[ A (3 2t A +(6 4tḂ +(8 6t +1, (79 I 6 = 3 ( 8 A2[ ln 2/3 Ȧ ( A Ḃ ( A +ln ( 2 +ln A 2/3 14/3 8/3, (80 I 7 = 1 32 A2[ (8λt 2 3lnȦ A +(16λt2 +3ln(A 3 4 6Ḃ +2(8λt 2 +ln(a λt. (81 Subcase ii.a.4.3. k 4 = 0, i.e. F 0 = 3ǫ/2. There are six NGSs which are Y 1 = X 1,Y 2 = X 2,Y 3 = X 3 and Y 4 = 2Aln( A ln(a ln( A, Y 5 = sin2 2λt t + 2λcos2 2λt, (82 Y 6 = cos2 2λt t 2λsin2 2λt,

14 14 with the non-zero Lie brackets [Y 1,Y 5 = 2 2λY 6, [Y 1,Y 6 = 2 2λY 5, [Y 2,Y 4 = 2Y 2 3Y 3,[Y 3,Y 4 = 2Y 2 2Y 3, (83 [Y 5,Y 6 = 2 2λY 1. The first integrals are I 4 = 1 2 A2[ ln( 1 Ȧ A +ln(aḃ, (84 I 5 = 1 2 A2[ ( Ȧ 2λcos(2 2λt A +2Ḃ I 6 = 1 2 A2[ ( Ȧ 2λsin(2 2λt A +2Ḃ +2 +4sin(2 2λt, ( cos(2 2λt. (86. ianchi III and Kantowski-Sachs Spacetimes The III (q = 1 and KS (q = 1 spacetimes, not being as simple as the I spacetime, allows fewer symmetries. We obtain their NGSs for the same cases, except case (i.3, as for the I spacetime, showing the results explicitly in Tables III and IV. Case (i.3: U( = λ m, where m( 2 is a constant. We can find solutions only for m = 4, which gives the following NGS components: ξ = g(t, α = Aġ(t c 2 µ 1 +c 3 µ 2 2c 1 µ 3, β = ġ(t c 2 µ 4 c 3 µ 5 c 1 µ 6, γ = ġ(t+c 2 µ 7 +c 3 µ 8 +c 1 µ 9, (87 where we have defined µ 1,...,µ 9 as for α, for β, and for γ. µ 1 = 2A(6λ2 2 q (6λ 2 2 +q 2, µ 2 = A[8λ (2λ 2 2 +q 2 q(6λ 2 2 +q 2, µ 3 = (A 3 1 (88 µ 4 = (30λ2 2 +q (6λ 2 2 +q 2, µ 5 = λ3 2 (6λ q q(6λ 2 2 +q 2, µ 6 = (A (89 µ 7 = (18λ2 2 q (6λ 2 2 +q 2, µ 8 = (2λ2 2 q 2(6λ 2 2 +q 2, µ 9 = (A (90

15 15 TALE III: The potential functions and list of NGSs of cases (i and (ii for the III and KS spacetimes, where F 0 ǫ. Potential Function Case(i F = ǫ 2 /12 Case(ii.a F = F 0 2 /12 Case(ii.bF = 1 ζ 2 1.U( = 0 X 1,X 3,X 7,X 1 4 X 1,X 3,X a1 3 X 1,X U( = λ X 1,X 7,X 2 3 X 1,X a2 2 X 1 3.U( = λ m,m 2 X 3 1,X3 2,X3 3,X3 4 X 1,X a3 2 X 1 4.U( = λ 2 X 1,X 3 X 1,X 3 X 1 TALE IV: The NGSs and corresponding first integrals for the III and KS spacetimes. The case (1.3 is treated in the text. Case NGS First Integral (i.1 X 1 1 = X 1, X 1 2 = X 3, X 1 3 = X 7, I 1 1 = I 1, I 1 2 = I 3, I 1 3 = I 7, X 1 4 = t t A A + I 1 4 = I 3 (i.2 X 2 1 = X 1, X 2 2 = X 7, I 2 1 = I 1, I 2 2 = I 7, X 2 3 = t t 3A A + + I 2 3 = 2I 3 (i.4 X 4 1 = X 1, X 4 2 = X 3 I 4 1 = I 1, I 4 2 = I 3 (ii.a.1 X a1 1 = X 1, X a1 2 = X 3, X a1 3 = X 1 4 I a1 1 = I 1, I a1 2 = I 3, I a1 3 = I 3 (ii.a.2 X a2 1 = X 1, X a2 2 = X 2 3 I a2 1 = I 1, I a2 2 = 2I 3 (ii.a.3 X a3 1 = X 1, I1 a3 = I 1, [ ( X a3 2 = t t (m 6 (m 2 A A + 2 (m 2 I2 a3 = F0 3ǫ(m 2 A2 2 (m 4Ȧ A + m+2 6ǫ F 0 (ii.a.4 X a4 1 = X 1, X a4 2 = X 3 I a4 1 = I 1, I a4 2 = I 3 (ii.b.1 X b1 1 = X 1, X b1 2 = X1 4 I b1 1 = I 1, I b1 2 = I 3 (ii.b.2 X b2 1 = X 1 I b2 1 = I 1 (ii.b.3 X b3 1 = X 1 I b3 1 = I 1 (ii.b.4 X b4 1 = X 1 I b4 1 = I 1 Then, the four NGSs have the form X 3 1 = 2µ 3 A µ 6 +µ 9, X 3 2 = µ 1 A µ 4 +µ 7, X 3 3 = µ 2 A µ 5 +µ 8, X 3 4 = g(t t +ġ(t[a A +, (91 which give rise to the non-zero Lie brackets [X 3 1,X3 3 = 1 2q X3 1, [X3 2,X3 3 = 1 2q X3 2. (92

16 16 The first integrals of the NGS generators X 3 1,X3 2,X3 3 and X3 4 are obtained as (Ḃ I1 3 = 3A +, (93 ( [ I2 3 = 2A A 3ν1 2 ν 1 2 A + Ḃ +ν 2, (94 I3 3 = 1 [ Ȧ 3qν1 2 ν 3 A +ν Ḃ 4 +ν 5, (95 I4 3 = g(te L, (96 where the coefficients ν 1,...,ν 5 are defined as ν 1 = 6λ( 2 +q, ν 2 = 45λ( 2 + 3q 2, (97 ν 3 = 6λ 2 ( 4 4λq( 2 q2 2, (98 ν 4 = 6λ 2 ( 4 3λq( 2 q 2, (99 ν 5 = 9λq 2 (2 + q2 4. (100 IV. EXACT SOLUTIONS In order to find new exact solutions of the field equations in the cases of the above section, the algebra of the NGS generators has to be closed, and the first integrals need to be utilized. Now, we proceed in this manner. For case (i, in the view of relation (32, the field equations (9-(12 of I (q = 0, III (q = 1 and KS (q = 1 spacetimes reduce to Ḃ AḂ +2Ȧ A A Ḃ2 2 2 Ä A ȦḂ A +2 Ä A + Ḃ AḂ +4Ḃ + q 2 +6U( 2 = 0, (101 +4Ḃ 2 + q 2 +6U( 2 = 0, (102 (Ȧ A + Ḃ +6U( 2 = 0, (103 A +3 (Ȧ A +2Ḃ + q ( 2 +3U = 0. (104 We consider only case (i here, because unfortunately in case(ii it has proven difficult, if sometimes impossible, to find any solutions of the field equations satisfying NGSs.

17 17 A. ianchi I Spacetime For this spacetime, we find from the above field equations that λ vanishes in cases (i.2, (i.4, (ii.a; and the scalar field is constant in case (ii.b.1. Therefore, we drop these cases and only consider cases (i.1 and (i.3. Case (i.1: To get a closed algebra of the NGS generators X 6,X 7 and X 8 in this case of vanishing potential, the commutator relations (35 of Lie brackets require that = k, A = (kl 3/2, (105 where k and l are non-zero constants. Note that we have not explicitly obtained the scalar field, but the metric functions A and are stated in terms of the field. The non-zero Lie brackets of X 6,X 7 and X 8 become [X 6,X 7 = 1 k (X 2 3X 3 +ln(kx 7, [X 6,X 8 = 3l(X 2 X 3 +ln(lx 8, which give indeed a closed algebra. Then, using the fact that E L = 0 because of (9, eqs. (36-(42 yield that all the first integrals I 1,...,I 8 vanish. Eq. (105 gives also Ȧ A = Ḃ =. (106 Putting these relations in the field equations (9-(12 we find that the field equations are identically satisfied. Case (i.3: Recall that for this case the potential is U( = λ 4, and the coupling function F( is given by (32. For simplicity of writing, we will rename the constants of motion found in (46 as I 3 1 J 1, I 3 2 J 2, I 3 3 J 3 and I 3 4 J 4. The last one vanishes by (101 and for the others we get Ȧ A Ḃ = 3J 1 A 2 2, (107 Ḃ + = 3J A 2, (108 2Ȧ A + Ḃ +3 = 9J 3 A, (109 which are actually the constraints that have to be satisfied by the field equations (101-(104 with q = 0. Substitution of (108 into the field equations (103 and (104 gives Ä A A A 6J A (Ȧ 2 A + +6λ 2 = 0, (110

18 Ä A Ȧ A 12J A (Ȧ 2 A + ( A 2 +9(J λ 2 = 0. (111 Then, subtracting Eq. (110 from Eq. (111, one gets A (Ȧ 6J 2 A + ( A 2 +9(J λ 2 = 0, (112 which yields the constraint equation (A. = 3J 2 A λ J 2 2, (113 where J 2 0. Here we need to correct a mistake in our previous study [23, where we have used c 0 instead of the constant of motion J 2 ; and they are related by c 0 = 3J 2. Also, it can be seen that the Eq. (42 of that reference is erroneously calculated, the correct one is Eq.(111. Thus, the Eqs. (43 and (47 of Ref. [23 do not apply and the solution (49 does not exist. Using the Eqs. (107 and (108 in (109 we find another constraint relation 2J 1 3J 2 A J 3 ( 3 = 0. (114 Considering (107-(109 in the field equations (101 and (102 gives the third constraint relation 6J 1 I 2 +9J 2 A λ( 3 = 0. (115 The remaining field equations (103 and (104 are identically satisfied using the obtained relations (114 and (115. Now, we use the transformation of the time coordinate by dt = (/Adτ in the above Eqs. (108 and (113. Further, after integration with respect to the new time coordinate we find A 2 = 2 9a(J ( 3J1 J 2 e 3J 2τ λa 3 e 6J 2τ, (116 = a e 3J 2τ, (117 where a is a constant of integration. Again, we have given the metric functions in terms of the scalar field.. ianchi III and Kantowski-Sachs Spacetimes We only show treatments of the cases (i.1 and (i.3 in this section.

19 19 Case (i.1: Using the form F = ǫ 2 /12 of the coupling function, and the vanishing of the potential U(, the first integrals of this subcase give Ȧ A = + 3I 3 A 2 2, (118 Ḃ = + 3I 7 A 6I 3 A 2 2, (119 where I 3 and I 7 are constants of motion. Substituting the above relations into the field equations (9-(12 for III (q = 1 and KS (q = 1 spacetimes, we find the following constraint equation qa (I I 3 I 7 = 0. (120 In order to find solution of the Eqs. (118 and (119, we use the transformation of time coordinate by dt = A 2 2 dτ, and find exp(3i 3 τ A = A 0, = 2I 3 [I exp(6i 3 τ, (121 where A 0 and 0 are integration constants. Putting these into the constraint equation (120 yields with 0 0. Case (i.3: In this case, we use the first integral (93 which gives I 7 = qa , (122 Ḃ + = 3J 1A, (123 where we have renamed I 3 1 J 1, as in the case (i.3 of subsection IVA. Similar to the discussion there, using (123 in the field equations (103 and (104 gives Ä A A A 6J A (Ȧ 1 A + +6λ 2 = 0, (124 Ä A Ȧ A 12J A (Ȧ 1 A + ( A 2 +12λ 2 +9(J q = 0. (125 2 Subtracting these equations one gets 6J 1 A (Ȧ A + which can be brought into the form (A. = 3J 1 (A 2 ( A 2 +9(J λ 2 + q = 0, ( λ J q 6J 1, (127

20 20 where J 1 0. Then, we consider the remaining first integrals (94 and (95 to obtain Ȧ 2ν 1 A +(ν 2 ν 1 = 3ν ( 1 J 1 A+ J 2ν 1, (128 2A ν 3 Ȧ A +(ν 5 ν 4 = 3J 1ν 4 A +3qJ 3ν 2 1, (129 where J 2 and J 3 stand for I 3 2 and I3 3, respectively, as above. Recall that ν i(i = 1,...,5 are functions of the combination (, given in (97-(100. Using the time transformation dt = (/Adτ in (123 and (127, we find (A 2 = 1 c 2 0 [ q +2λa 2 exp(2c 0 τ +bexp( c 0 τ, (130 = aexp(c 0 τ, (131 where c 0 = 3J 1 (see Eq.(46 of ref.[23, a and b are constants of integration. Note that both combinations (A and ( are now functions of τ. Under this time transformation, the Eqs. (128 and (129 become A ( 2ν 1 A +(ν 2 ν 1 = 3ν 1 J 1 + J 2ν 1 2(A 2, (132 A ν 3 A +(ν 5 ν 4 = 3J 1ν 4 +3qJ 3 ν1 2 A. (133 where the prime ( denotes differentiation with respect to τ. Eliminating the term A /A from these equations, it follows that f 1 (τ +f 2 (τ = f 3 (τ, (134 where f 1 (τ,f 2 (τ and f 3 (τ are given by f 1 (τ = ν 3 (ν 1 ν 2 ν 4 +ν 5, (135 2ν 1 f 2 (τ = 3ν [ 3 J 1 + J 2ν 1 2 2(A 2 3J 1 ν 4, (136 f 3 (τ = 3aqJ 1 ν1 2 exp(c 0 τ A. (137 The equation (134 is a linear ordinary differential equation of first order and it has a solution of the form (τ = µ(τ 1 [ f 3 (τµ(τdτ + 0, (138 where µ(τ = exp [ dτf 2 (τ/f 1 (τ. We have not been able to solve the above integrals yet.

21 21 V. CONCLUDING REMARKS In the present work, we have used the Noether gauge symmetry approach to search the Noether symmetries of Lagrangian (8 for I, III and KS spacetimes in two theories involving scalar fields non-minimally coupled to gravity, the 2 R theory motivated by the induced theory of gravity, and the more standard F( = 1 ζ 2 theory. A particular form of the former, F( = ǫ 12 2, arises in the case of the vanishing of the Hessian determinant of the Lagrangian, a.k.a. the degenerate case. We have shown that a number of Noether gauge symmetries for I, III, and KS spacetimes exist and each of them are related to a constant of motion. Using the two coupling functions F( and the choices given in Tables I or III for the potential U(, we used the first integrals obtained through the NGSs to solve the field equations for I, III and KS spacetimes. In some cases, the NGSs and the first integrals are explicitly elaborated in the paper, for other cases, the NGS vector fields and corresponding first integrals are collected in Tables II and IV. The maximum number of NGS generators is found to vary from two to eight in the cases considered. Here we also correct a mistake in our previous study [23, namely we find that NGSs for I, III and KS spacetimes do exist, contrary to the claim of that work. In both of the cases (i and (ii, it is possible to find particular exact solutions for the system of field equations (9-(12, obtaining the explicit behaviour of the scale factors A(t and (t. For I spacetime, we have found the exact solutions (105 in case (i.1 and (116-(117 in case (i.3. Also, for III and KS spacetimes, we have found the exact solutions (121 in case (i.1 and (130-(131 in case (i.3. As it is clearly seen in the solutions (105, (116-(117, (121 and (130-(131 in terms of the conformal time τ, both of the scale factors A(τ and (τ are proportional to the inverse of the scalar field. We do not have the explicit form of the scalar field in the cases (i.1 and (i.3 for I spacetime, and in the case (i.1 for III and KS spacetimes. We have found the scalar field in terms of a quadrature, eq. (138, in case (i.3 for III and KS spacetimes, but we have been unable to solve the integral. In cosmology, where observations show that the universe is both spatially homogeneous and isotropic to a high degree, these models are of physical interest because of their spatial homogeneity. With regard to the remaining anisotropies in the Cosmic Microwave ackground (CM radiation, the ianchi type spacetimes can serve as models more realistic than FLRW. Therefore the interest in these models has increased in the context of the analysis and interpretation of the WMAP data [32. Even though the observed universe seems to be almost isotropic on large scales, the early uni-

22 22 verse could be anisotropic [33. Quantum gravitational aspects may be observed in the anisotropy spectrum of CM, and future observations may be able to detect the contribution of inflation generated in the early universe [34. Thus the models of inflationary cosmology could be ianchi models. It is also interesting to note that although the inflationary scenarios originally proposed using minimally coupled scalar fields, some later models have widely used non-minimally coupled scalar fields in relation with specific inflationary scenarios [35, 36; and in the present study, the new exact solutions of I, III and KS spacetimes have just such an interesting property, namely, the scale factors include a non-minimally coupled scalar field. Acknowledgements We would like to thank Dr. İ. Semiz for his detailed reading, useful comments and suggestions on this manuscript. This work was supported by The Scientific Research Projects Coordination Unit of Akdeniz University (AP. Project Number: References [1 A. Stabile, S. Capozziello, Galaxies 2 ( [2 Y. Fujii Y, K. Maeda, The Scalar-Tensor Theory of Gravitation, Cambridge University Press, Cambridge, [3 A. A. Starobinsky, Phys. Lett. 91 ( [4 A. H. Guth, Phys. Rev. D23 ( [5 S. Carloni, J. A. Leach, S. Capozziello, P. K. S. Dunsby, Class. Quantum Grav.25 ( [6 A. D. Sakharov, Dokl. Akad. Nauk. SSSR 117 ( [English translation, Sov. Phys. Dokl. 11 ( [7 Ya. Zeldovich, JETP Lett.6 ( [8 S. L. Adler, Phys. Rev. Lett.44 ( [9 S. L. Adler, Phys. Lett. 95 ( [10 S. L. Adler, Rev. Mod. Phys. 54 ( [11 A. Zee, Phys. Rev. D 23 ( [12 M. D. Pollock, Phys. Lett. 148 ( [13 M.D. Pollock, D. Sahdev, Phys. Lett. 222 ( [14 A. K. Sanyal, Phys. Lett. 524 (

23 23 [15 M. Demianski, R. de Ritis, C. Rubano, P. Scudellaro, Phys. Rev. D 46 ( [16 S. Capozziello, R. de Ritis, Phys. Lett. A 177 ( [17 S. Capozziello, R. de Ritis, P. Scudellaro, Phys. Lett. A 188 ( [18 S. Capozziello, R. de Ritis, Class. Quantum Grav. 11 ( [19 S. Capozziello, G. Lambiase, Gen. Relativ. Gravit.32 ( [20 S. Capozziello, A. Stabile, A. Troisi, Class. Quant. Grav.24 ( [21 S. Capozziello, A. de Felice, JCAP 08 ( [22 S. Capozziello, E. Piedipalumbo, C. Rubano, P. Scudellaro, Phys. Rev. D80 ( [23 U. Camci, Y. Kucukakca, Phys. Rev. D76 ( [24 Y. Kucukakca, U. Camci, I. Semiz, Gen. Relativ. Gravit.44 ( [25 Y. Kucukakca, U. Camci, Astrophys. Space Sci.338 ( [26 M. Jamil, D. Momeni, R. Myrzakulov, Eur. Phys. J. C 72 ( [27 M. Jamil, S. Ali, D. Momeni, R. Myrzakulov, Eur. Phys. J. C 72 ( [28 M. Sharif, S. Waheed, JCAP 02 ( [29 Y. Kucukakca, Eur. Phys. J. C 73 ( [30 A. Aslam, M. Jamil, D. Momeni, R. Myrzakulov, Can. J. Phys.91 ( [31 M. Jamil, F. M. Mahomed, D. Momeni, Phys. Lett. 702 ( [32 E. Komatsu, K. M. Smith, J. Dunkey, et al., Astrophys. J. Suppl. 192 ( [33 G. F. R. Ellis, Gen. Relativ. Gravit.38 ( [34 S. Capozziello, M. de Laurentis, Phys. Rep.509 ( [35 A. arroso, J. Casasayas, P. Crawford, P. Moniz, A. Nunes, Phys. Lett. 275 ( [36 J.C. Hwang, H. Noh, Phys. Rev. Lett. 81 (