Arxiv:1906.02498V1 [Gr-Qc] 6 Jun 2019 and Oti H Ihrdrvtv Emi H Arninbtteequatio the but Horndesk Lagrangian 1974 the in Form, in a Motion[6]

Home , Scalar field

arXiv:1906.02498v1 [gr-qc] 6 Jun 2019 and oti h ihrdrvtv emi h arninbtteequatio the but Horndesk Lagrangian 1974 the In form, in a motion[6]. term takes of derivative Lagrangian prese equation higher is the derivative the in higher contain appear the not theory, deriv does degenerate Ha higher that which In If scalar-t in momentum. instability[5] is terms. Ostrogradsky in model derivative as gravity known order modified instability modele higher this ghost-like generally with of is brands theories energy the dark tensor of The One energy. dark action[2]. by provided be can epciey eew oieta In that notice we Here respectively. fato sgvnas, given is action of oti h eoddrvtv ftesaa field, scalar the of derivative second the contain where, where eiaieo clrfil ihtecrauetr.Issml omis, form simple Its term. curvature C the with field scalar of derivative o erwieteato elc rtdrvtv fsaa edb n a by field scalar of derivative first replace action the rewrite we Now φ opigt uvtr.Ormtvto st n eeeaycondit degeneracy a find to Lagrangian. is derivative motivation higher Our curvature. to coupling ∗ † ˜ ntecs,w aecntutdaLgaga otiighigher containing Lagrangian a constructed have we case, the In . µν,ρσ [email protected] [email protected] bevtossgetta u urn nvrei na accelerat an in is universe current our that suggest Observations osdra cino h form, the of action an Consider φ µ C ˜ ( = ihrDrvtv hoyFrCraueTr opigWt S With Coupling Term Curvature For Theory Derivative Higher µν,ρσ = D L ∇ 1 osc o rva odtoswihcnso h appearance the stop can which deg instabil conditions the Ostrogradsky trivial check which non to under such conditions useful no L find is of to This us decomposition rest. help (3+1) the derivatives perform form order we derivative second time Here most terms. at curvature existin involving to any removing model by a resolved be consider can issue This bilities. 2 H µ g oti erctno n uvtr emadi sol osbeterm possible only is it and term curvature and tensor metric contain µρ φ ihrodrdrvtv hois eeal ue rmins from suffer generally theories, derivative order Higher = 1 , eateto hsc,Ida nttt fSineEducati Science of Institute Indian Physics, of Department g G φ νσ µν 2 ( + ,X φ, = D 2 ∇ ) g L , µσ µ ∇ g L νρ ν 5 H S φ ) , R 3 H = = I OSBETRSFOR TERMS POSSIBLE II. X ( + = G Z L 5 aa Joshi Pawan = 2 H G d D ( S ,X φ, 4 3 ssm obnto clrfil n t rtdrvtv and derivative first its and field scalar combination some is 3 x ∇ ( = g ,X φ, √ µ ηρ Z φ − ) L g G ∇ g .INTRODUCTION I. µν ) d µν = [ µ 4 C ˜ g φ x ,L φ, φ L L µν,ρσ βσ R, , √ µν 1, 2 H 4 H − + , ∗ + + g L ∇ D C n uat Panda Sukanta and R ˜ L 5 H 1 3 µ 4 µν,ρσ µν 3 H G A 4 H g oti uvtr emadfis n eoddrvtv of derivative second and first and term curvature contain µη 5 ν , + = ( ∇ ,X φ, G g ∇ L ρ βρ G µν 4 H A µ 4 g ∇ σ ( + ) νσ eeeaypeeti uhtere.We theories. such in present degeneracy g ,X φ, sRcisaa,RciTno n isentensor Einstein and Tensor Ricci scalar, Ricci is R ν + ti h arninbtte aclsc way a such cancel they but Lagrangian the in nt aiiis nw sOtordk insta- Ostrogradsky as known tabilities, tv arnini o-eeeaeteeeita exist there non-degenerate is Lagrangian ative n hs[]adepaaino hsacceleration this of explanation and phase[1] ing φ L ∇ ) t ontapa.I u ae efind we case, our In appear. not do ity − nrc idni h arninwill Lagrangian the in hidden eneracy R o ogtrdo srgasyisaiiyi our in instability Ostrogradsky of rid get to ion ∇ λ 5 H ymdfiggaiypr fEnti Hilbert Einstein of part gravity modifying by d rpsdagnrlato o clrfil that field scalar for action general a proposed i fsaa ednnmnmlycoupled non-minimally field scalar of µ fteOtordk ghost. Ostrogradsky the of itna otissc em hc r linear are which terms such contains miltonian no hois3 ] hnw osdrscalar- consider we When 4]. theories[3, ensor µ eiaie fasaa edwt non-minimal with field scalar a of derivatives ηβ ) fmto so eododr7.Horndeski order[7]. second of is motion of n ∇ ρ ( , wfield ew gaga osprt eodorder second separate to agrangian R nadRsac,Boa,India Bhopal, Research, and on ( ∇ ∇ ν ( + φ φ − σ µ ∇ 3 φ, 1, φ 2 D − ρ G † − ∇ 5 3 4 g σ A A ,X µη φ µ µ φφ o o-iia opigo second of coupling non-minimal for ( )] g ,X φ, i.e. νβ , µν g φ γρ ∇ )( µν µ g φ δσ 2 + φ 2 = + − φ aa Field calar A D µν φ µ 6 µν φ otenwform new the So . g ρ ν µη φ φ L µν µρ g 3 H σβ ) ) , additionally , g γρ g δν ) R (2) (3) (5) (1) (4) ηβγδ . 2 this action can be written as,

4 µ S = d x√ g[ 1 + 2 + 3 + 4 + 5 + 6]+ λ ( µφ Aµ)], (6) Z − L L L L L L ∇ − where,

µρ νσ 1 = D1Rg g µAν ρAσ, (7) L µν ρσ∇ ∇ 2 = D2Rg g µAν ρAσ, (8) L ∇ ∇ ηµ βρ νσ 3 = D3g g g Rηβ µAν ρAσ, (9) L ∇ ∇ ηρ µν βσ 4 = D4g g g Rηβ µAν ρAσ, (10) L ∇ ∇ µη νβ γρ δσ 5 = D5g g g g Rηβγδ µAν ρAσ, (11) L ∇ ∇ µη νβ γρ δσ 6 = D6g g g g Rηβγδ µAν ρAσ, (12) L ∇ ∇

µ and λ are Lagrange multiplier. Here it is noted that due to the symmetry property of Riemann tensor L5 term vanishes.

III. REPRESENTATION OF ACTION IN (3+1) DECOMPOSITION

In this section, we want to ﬁnd degeneracy condition on Lagrangian, using a (3+1) decomposition. Our (3+1) convention and notation similar to ref.[8, 9]. in (3+1) decomposition aAb is, ∇

c c 1 c c aAb = a b A∗Kab + na(Kbc bA∗)+ nb(Kac aA∗)+ nanb(A˙ ∗ N DcA∗ N ca ). (13) ∇ D A − A − D A − D N − − A

c c c Now we introduced Xab = (Da b A∗Kab), Yb = (Kbc DbA∗) and Z = (N DcA∗ + N ca ) for simplifying the calculation so eq.(13) becomes,A − A − A

1 aAb = nanb(A˙ ∗ Z) Xab naYb nbYa, (14) ∇ N − − − − where a spatial derivative associated with spatial metric hab. a and A∗ spatial and normal projection of 4-vector D b a a A c Aa given as a = h Ab and A∗ = n Aa, N is shift vector, N is lapse function, ab = n cnb is the acceleration vector A a ∇ and Kab is Extrinsic curvature tensor related to ﬁrst derivative of metric. In (3+1) formalism R, Rµν , Rµνρσ are,

2 ab ab b b R = + K 3KabK +2h LnKab 2 ba 2aba , (15) R − s − D − ⊥Rab = ab + KabK KasKb + LnKab aab aaab, (16) R s − − D − ⊥Rbn = sKb bK, (17) D st− D st s s ⊥Rnn = KstK h LnKst + sa + asa , (18) − D ⊥Rabcd = abcd + KacKad KadKbc, (19) R − ⊥Rabcn = aKbc bKac, (20) D u− D ⊥Rabnn = KauK LnKab + aab aaab, (21) b − D − where LnKab is Lie derivative of Extrinsic curvature tensor and related to second order derivative of metric. ⊥Rab, ⊥Rbn, ⊥Rnn is spatial, one normal and two normal projection of Ricci tensor and ⊥Rabcd, ⊥Rabcn, ⊥Rabnn is spatial, one normal and two normal projection of Riemann tensor known as Gauss, Codazzi and Ricci relations respectively. By using these relation we decompose the action (6) in (3+1) formalism and separate out second order derivative of metric. Next we derive conditions that no second order derivative of metric appear in the action. Here we are not analysing Ostrogradsky instability arising from the higher derivative of scalar ﬁeld. 3

IV. CONDITION FOR NO SECOND ORDER DERIVATIVE OF METRIC

In this section, after substituting (13-20) in eq.(6) and keeping the terms that are second derivative of metric. ˙ 2 ˙ 2 ab A∗ 2A∗Z Z ab c ab = h LnKab( + )(2D1 +2D2 + D3 + D4)+ h LnKabYcY ( 4D1 D3)+ h LnKab L N 2 − N 2 N 2 − − ˙ (A∗ Z)X ab cd 2 a b − (4D2 + D4)+2h LnKab(D1X Xcd + D2X )+ LnKabY Y ( D3 2D6) N − − ˙ ab (A∗ Z)X a bd ab +LnKab − (D4 2D6)+ LnKab(D3X X + D4XX ) + other terms. (22) N − d ab To be free from terms containing second derivative of metric in the Lagrangian, we require the coeﬃcient of h LnKab and LnKab to vanish. This amounts to a trivial condition D1 = D2 = D3 = D4 = D5 = D6 = 0. There is no non trivial condition exists in this case.

V. UNITARY GAUGE

Here we check the possibility to get rid of second derivative of metric in unitary gauge, this gauge gives the conditionφ(x, t) = φo(t). In this case constant time hypersurfaces coincide with uniform scalar ﬁeld hypersurfaces. a When we apply unitary gauge ( = 0), demand that the values of Xab, Yb and Z become, Xab = A∗Kab, Yb = A − DbA∗ and Z = 0 respectively, after substituting this result into eq.(22), we get − ˙2 ab A∗ A∗ c ab 2 d c 2 c d = h LnKab (2D1 +2D2 + D3 + D4)+ A˙ ∗K (4D2 + D4)+2h LnKabA (D1K K + D2A K K ) L N 2 N c ∗ c d ∗ c d A +D L K ∗ A˙ Kab(D +2D )+ L K (D A2KaKbc + D A2KcKab) + other terms.(23) 4 n ab N ∗ 4 6 n ab 3 ∗ c 4 ∗ c

In this case also, we have ﬁnd condition on the condition D1 = D2 = D3 = D4 = D5 = D6 = 0. There is no non trivial condition exists in this case.

VI. CONCLUSION

In this paper, we work with higher derivative model where both second derivative of metric and scalar ﬁeld arise in the Lagrangian. Then using (3+1) decomposition, we have shown that no non trivial conditions can be found under which all the terms containing second order derivative of metric disappear from the Lagrangian.

VII. ACKNOWLEDGEMENT

This work was partially funded by DST (Govt. of India), Grant No. SERB/PHY/2017041. Calculations were performed using xAct packages of Mathematica.

[1] A. G. Riess et al. (Supernova Search Team), Astron. J. 116, 1009 (1998), arXiv:astro-ph/9805201 [astro-ph]. [2] S. Nojiri and S. D. Odintsov, Theoretical physics: Current mathematical topics in gravitation and cosmology. Proceedings, 42nd Karpacz Winter School, Ladek, Poland, February 6-11, 2006, eConf C0602061, 06 (2006), [Int. J. Geom. Meth. Mod. Phys.4,115(2007)], arXiv:hep-th/0601213 [hep-th]. [3] J. Gleyzes, D. Langlois, and F. Vernizzi, Int. J. Mod. Phys. D23, 1443010 (2015), arXiv:1411.3712 [hep-th]. [4] B. Ratra and P. J. E. Peebles, Phys. Rev. D 37, 3406 (1988). [5] M. Ostrogradsky, Mem. Acad. St. Petersbourg 6, 385 (1850). [6] A. Nicolis, R. Rattazzi, and E. Trincherini, Phys. Rev. D79, 064036 (2009), arXiv:0811.2197 [hep-th]. [7] G. W. Horndeski, International Journal of Theoretical Physics 10, 363 (1974). [8] T. W. Baumgarte and S. L. Shapiro, Numerical relativity: solving Einstein’s equations on the computer (Cambridge Uni- versity Press, 2010). [9] D. Langlois and K. Noui, Journal of Cosmology and Astroparticle Physics 2016, 034 (2016).