This paper was converted on www.awesomepapers.org from LaTeX by an anonymous user.
Want to know more? Visit the Converter page.

Cosmological memory effect in scalar-tensor theories

Mohammad Ali Gorji [email protected] Center for Gravitational Physics and Quantum Information,
Yukawa Institute for Theoretical Physics, Kyoto University, Kyoto 606-8502, Japan
   Taisuke Matsuda [email protected] Center for Gravitational Physics and Quantum Information,
Yukawa Institute for Theoretical Physics, Kyoto University, Kyoto 606-8502, Japan
   Shinji Mukohyama [email protected] Center for Gravitational Physics and Quantum Information,
Yukawa Institute for Theoretical Physics, Kyoto University, Kyoto 606-8502, Japan
Kavli Institute for the Physics and Mathematics of the Universe (WPI),
The University of Tokyo, Chiba 277-8583, Japan
Abstract

The cosmological memory effect is a permanent change in the relative separation of test particles located in a FLRW spacetime due to the passage of gravitational waves. In the case of a spatially flat FLRW spacetime filled with a perfect fluid in general relativity, it is known that only tensor perturbations contribute to the memory effect while scalar and vector perturbations do not. In this paper, we show that in the context of scalar-tensor theories, the scalar perturbations associated to the scalar graviton contribute to the memory effect as well. We find that, depending on the mass and coupling, the influence of cosmic expansion on the memory effect due to the scalar perturbations can be either stronger or weaker than the one induced by the tensor perturbations. As a byproduct, in an appendix, we develop a general framework which can be used to study coupled wave equations in any curved spacetime region which admits a foliation by time slices.

preprint: APS/123-QED

I Introduction

The recent detection of gravitational waves (GWs) has opened up a new window to probe different aspects of gravitational interaction that otherwise are impossible to be explored [1, 2]. As one of the observable byproduct of the GWs, the so-called memory effect, which is a permanent and sudden change of the relative distance between two observers through the passage of GWs, has received a lots of attention in recent years. This effect was first indicated by Zel’dovich and Polnarev [3] and later completed by Christodoulou by taking into account nonlinear effects [4] (see also [5, 6]).

In combination with the soft theorem and the asymptotic symmetry, the memory effect constitutes the so-called “infrared triangle” [7]. The soft theorem was first discovered in the context of QED [8] and a few years later generalized by Weinberg to theories involving particles with arbitrary spins including gravitons [9]. In QED, it is implemented to cancel infrared divergences to preserve the consistency of the field theory [10]. On the other hand, the known asymptotic symmetry for gravity is the so-called Bondi, van der Burg, Metzner and Sachs (BMS) symmetry which is the symmetry group of diffeomorphism transformations that do not break asymptotic flatness at conformal infinities [11, 12]. The three corners of the infrared triangle are expected to be equivalent to each other: i) equivalence of BMS symmetry with the soft graviton theorem can be shown by Ward-Takahashi identity [13], ii) the permanent change of the distance between observers caused by the memory effect can be realized through a step functional change of the spacetime metric and this change is indeed the same as the one generated by the BMS transformations [7], iii) the change in an asymptotic metric due to the memory effect has the same form as the coefficient of the scattering amplitude due to the addition of soft gravitons in the soft theorem [13]. It is worth mentioning that these three subjects have been developed independently and these equivalences are quite nontrivial. Moreover, this triangle equivalence is not restricted to the gravitational theory and similar equivalences also show up in some gauge theories [14, 15]. Therefore, infrared triangle may have a deeper origin arising from the infrared consistency of a theory under consideration.

In order to better understand the infrared structure of gravity, it is then quite important to further study each corner of the infrared triangle. The memory effect, which is the subject of this paper, is originally found in Minkowski spacetime and later studied in asymptotically flat spacetime. In these cases, the radiation part of the gravitational field, which includes the memory effect, can be distinguished from the other tidal gravitational effects by looking at the fall off of the gravitational field near the spatial and null infinities. In the case of the cosmological spacetime, which is not asymptotically flat, characterizing the memory effect is more subtle. Recently, this issue was studied by different groups with different approaches [16, 17, 18, 19, 20, 21, 22] and among them, we will focus on the approach adopted by Tolish and Wald [23]. Indeed, using the fact that the spatially flat Friedmann-Lemaître-Robertson-Walker (FLRW) spacetime is conformally flat, they have developed a general setup to study memory effect which is applicable as far as an idealized particle-like source for GWs is considered. Apart from the fact that we need to clarify the notion of memory in a cosmological background to study the universe, their setup provides a framework to better understand the infrared regime of gravity at cosmological scales. Their analysis of cosmological memory effect is based on general relativity and it will be interesting to explore what happens in modified theories of gravity. In this paper, we focus on scalar-tensor theories. According to the results of Ref. [23] for the linear perturbations, only tensor perturbations contribute to the cosmological memory effect in general relativity. We will show that, in scalar-tensor theories, scalar perturbations also contribute to the cosmological memory.

The rest of the paper is organized as follows. In Sec. II, we present our scalar-tensor model which is coupled to a perfect fluid and particle-like sources, as a source of GWs. We then study the background equations and linear perturbations around a spatially flat FLRW spacetime. In Sec. III, we focus on the scalar perturbations and we find the direct part of the corresponding retarded Green’s function. Using this result, in Sec. IV, we show that the scalar perturbations contribute to the cosmological memory effect in scalar-tensor theories. Sec. V is devoted to the summary of the paper. Moreover, we present our model in the Jordan and the Einstein frames in Appendix A and we present relation between the energy-momentum tensors in different frames in Appendix B. In Appendix C, we show explicit forms of the mass and source matrices for the sake of completeness. In Appendix D, we present scalar perturbations in terms of the gauge-invariant counterpart of the scalar field perturbation to make the minimal coupling and constant scalar background limit of the theory manifest. Finally, in Appendix E, we develop a general framework which can be used to study coupled wave equations in any curved spacetime region which admits a foliation by time slices. The cosmological spacetime, which we deal with in this paper, can be considered as a special subset.

II The scalar-tensor theory

We consider a scalar-tensor theory with a linear kinetic term and without higher derivative terms. The action of the system in the Jordan frame, in which matter fields directly couple to the metric, is given by

SJ[g~,ϕ,ψ]\displaystyle S_{\rm J}[{\tilde{g}},\phi,\psi] =d4xg~[MPl22F(ϕ)R~\displaystyle=\int d^{4}x\sqrt{-{\tilde{g}}}\bigg{[}\frac{M_{\rm Pl}^{2}}{2}F(\phi){\tilde{R}}
12K~(ϕ)g~μνμϕνϕV~(ϕ)]+Sm[g~,ψ],\displaystyle-\frac{1}{2}{\tilde{K}}(\phi){\tilde{g}}^{\mu\nu}\partial_{\mu}\phi\partial_{\nu}\phi-{\tilde{V}}(\phi)\bigg{]}+S_{\rm m}[{\tilde{g}},\psi]\,, (1)

where MPl=(8πG)1/2M_{\rm Pl}=(8\pi{G})^{-1/2} is the reduced Planck mass, R~{\tilde{R}} is the Ricci scalar in the Jordan frame, FF, K~{\tilde{K}} and V~{\tilde{V}} are functions of the scalar field, and SmS_{\rm m} is the matter action in which ψ\psi collectively represents all matter fields and particles which are present in the system under consideration. The gravitational part of the action (1) is constructed out of the metric in the Jordan frame g~μν{\tilde{g}}_{\mu\nu} and scalar field ϕ\phi. Performing the conformal transformation

g~μν=F(ϕ)1gμν,{\tilde{g}}_{\mu\nu}=F(\phi)^{-1}g_{\mu\nu}\,, (2)

where gμνg_{\mu\nu} is the metric in the Einstein frame, the action in the Einstein frame takes the form (see Appendix A)

SE[g,φ,ψ]\displaystyle S_{\rm E}[{g},\varphi,\psi] =d4xg[MPl22R\displaystyle=\int d^{4}x\sqrt{-{g}}\bigg{[}\frac{M_{\rm Pl}^{2}}{2}{R}
12gμνμφνφV(φ)]+Sm[g~,ψ],\displaystyle-\frac{1}{2}{g}^{\mu\nu}\partial_{\mu}\varphi\partial_{\nu}\varphi-{V}(\varphi)\bigg{]}+S_{\rm m}[\tilde{g},\psi]\,, (3)

where we have defined

φK(ϕ)𝑑ϕ,KK~F+32MPl2(F,ϕF)2,VV~F2,\displaystyle\varphi\equiv\int\sqrt{K(\phi)}\,d\phi,\hskip 5.69046ptK\equiv\frac{{\tilde{K}}}{F}+\frac{3}{2}M_{\rm Pl}^{2}\left(\frac{F_{,\phi}}{F}\right)^{2},\hskip 5.69046ptV\equiv\frac{{\tilde{V}}}{F^{2}}, (4)

and it is understood that g~\tilde{g} in (II) is given by (2) and that ϕ\phi is considered as a function of φ\varphi.

Comparing the equivalent actions (1) and (II), we find that the form of the action for gμνg_{\mu\nu} is different from that for g~μν\tilde{g}_{\mu\nu}. This difference is compensated by the fact that the coupling to the matter sources is different: the matter couples only to g~μν{\tilde{g}}_{\mu\nu} in the Jordan frame while it couples to both gμνg_{\mu\nu} and φ\varphi in the Einstein frame. As it is well-known, this is the reason why we consider the scalar-tensor theories as modified gravity theories, despite the fact that gμνg_{\mu\nu} is described by the Einstein-Hilbert action as in general relativity.

As it is easier, we perform all calculations in the Einstein frame and translate only the final results in terms of the Jordan frame quantities. The details of the transformation between the Jordan frame and the Einstein frame are presented in Appendix A. From now on (throughout this and next sections), all calculations are presented in the Einstein frame. The Einstein equations can be deduced by taking the variation of the action (II) with respect to the metric gμνg^{\mu\nu}

MPl2Gμν=Tμν(φ)+Tμν(m);Tμν(m)=2gδSmδgμν,\displaystyle M_{\rm Pl}^{2}G_{\mu\nu}=T^{(\varphi)}_{\mu\nu}+T^{({\rm m})}_{\mu\nu}\,;\hskip 14.22636ptT^{({\rm m})}_{\mu\nu}=\frac{-2}{\sqrt{-g}}\frac{\delta{S}_{\rm m}}{\delta{g}^{\mu\nu}}\,, (5)

where GμνG_{\mu\nu} is the Einstein tensor and Tμν(m)T^{({\rm m})}_{\mu\nu} is the energy-momentum tensor of the matter (see Appendix B) while energy-momentum tensor of the scalar field is given by

Tμν(φ)=μφνφgμν[12gαβαφβφ+V(φ)].\displaystyle T^{(\varphi)}_{\mu\nu}=\partial_{\mu}\varphi\partial_{\nu}\varphi-g_{\mu\nu}\left[\frac{1}{2}g^{\alpha\beta}\partial_{\alpha}\varphi\partial_{\beta}\varphi+V(\varphi)\right]\,. (6)

Taking variation of the action (II) with respect to the scalar field φ\varphi, we find

φV,φ=F,φ2FT(m);T(m)=gαβTαβ(m).\displaystyle\Box{\varphi}-V_{,\varphi}=\frac{F_{,\varphi}}{2F}\,T^{({\rm m})}\,;\hskip 14.22636ptT^{({\rm m})}=g^{\alpha\beta}T^{({\rm m})}_{\alpha\beta}\,. (7)

We consider two types of sources for the matter sector: perfect fluid which is responsible for the energy density of the universe and particle-like sources as idealized sources for GWs production. The matter energy-momentum tensor then can be separated to two parts

Tμν(m)=Tμν(F)+Tμν(P).\displaystyle T^{({\rm m})}_{\mu\nu}={T}^{({\rm F})}_{\mu\nu}+{T}^{({\rm P})}_{\mu\nu}\,. (8)

The conservation equations for the matter [see Eq. (84)] imply

μT(F)μ=νF,φ2FT(F)νφ,\displaystyle\nabla_{\mu}{T}^{({\rm F})\mu}{}_{\nu}=-\frac{F_{,\varphi}}{2F}\,{T}^{({\rm F})}\nabla_{\nu}\varphi\,, (9)
μT(P)μ=νF,φ2FT(P)νφ.\displaystyle\nabla_{\mu}{T}^{({\rm P})\mu}{}_{\nu}=-\frac{F_{,\varphi}}{2F}\,{T}^{({\rm P})}\nabla_{\nu}\varphi\,. (10)

The energy-momentum tensor for the perfect fluid is given by

Tμν(F)=(ρ+p)UμUν+pgμν,{T}^{({\rm F})}_{\mu\nu}=(\rho+p){U}_{\mu}{U}_{\nu}+p\,{g}_{\mu\nu}\,, (11)

where ρ\rho and pp are the energy density and pressure in the Einstein frame while UμU_{\mu} is the four-velocity normalized with respect to the Einstein frame metric gμνUμUν=1g^{\mu\nu}{U}_{\mu}{U}_{\nu}=-1.

For the particle energy-momentum tensor we have

Tμν(P)\displaystyle{T}^{({\rm P})}_{\mu\nu} =l,inTμν(M,l)+n,inTμν(N,n)\displaystyle=\sum_{l,{\rm in}}{T}^{(M,l)}_{\mu\nu}+\sum_{n,{\rm in}}{T}^{(N,n)}_{\mu\nu}
+l,outTμν(M,l)+n,outTμν(N,n),\displaystyle+\sum_{l^{\prime},{\rm out}}{T}^{(M,l^{\prime})}_{\mu\nu}+\sum_{n^{\prime},{\rm out}}{T}^{(N,n^{\prime})}_{\mu\nu}\,, (12)

in which the upper indices MM and NN indicate massive and massless particles respectively with

Tμν(M,in)\displaystyle T^{(M,{\rm in})}_{\mu\nu} =\displaystyle= muμuνδ(3)(𝐱𝐳(t))1gdτdtΘ(t),\displaystyle mu_{\mu}u_{\nu}\delta^{(3)}({\bf x}-{\bf z}(t))\frac{1}{\sqrt{-{g}}}\frac{d\tau}{dt}\Theta(-t)\,, (13)
Tμν(N,in)\displaystyle T^{(N,{\rm in})}_{\mu\nu} =\displaystyle= kμkνδ(3)(𝐱𝐲(t))1gedλdtΘ(t),\displaystyle k_{\mu}k_{\nu}\delta^{(3)}({\bf x}-{\bf y}(t))\frac{1}{\sqrt{-{g}}}\frac{ed\lambda}{dt}\Theta(-t)\,, (14)

where uμ=dxμdτu_{\mu}=\frac{dx^{\mu}}{d\tau} is the four-velocity of the massive particles and kμ=dxμedλk^{\mu}=\frac{dx^{\mu}}{ed\lambda} is the four-momentum of the massless particles. Notice that τ\tau is the proper time while tt is the local time coordinate for the particles. The label “in” shows that the particles come from the past lightcone for t<0t<0 while the label “out” corresponds to the particles in the future lightcone with t>0t>0. Therefore, the energy-momentum tensor for the outgoing massive and massless particles have the same forms as Eqs. (13) and (14) with the replacement of Θ(t)\Theta(-t) with Θ(t)\Theta(t).

II.1 Background equations

For the background configuration of the gravity part of the system (II), we consider a spatially flat FLRW metric and a homogeneous profile of the scalar field

ds2\displaystyle ds^{2} =g¯μνdxμdxν\displaystyle={\bar{g}}_{\mu\nu}dx^{\mu}dx^{\nu}
=N¯(τ)2dτ2+a(τ)2δijdxidxj,φ¯=φ¯(τ),\displaystyle=-\bar{N}(\tau)^{2}d\tau^{2}+a(\tau)^{2}\delta_{ij}dx^{i}dx^{j}\,,\hskip 5.69046pt{\bar{\varphi}}={\bar{\varphi}}(\tau)\,, (15)

where N¯\bar{N} and aa are the lapse function and the scale factor. All quantities with bar denote the corresponding background values which only depend on τ\tau.

For the perfect fluid in the matter sector, we consider the homogeneous and isotropic configuration

T¯μν(F)=(ρ¯+p¯)U¯μU¯ν+p¯g¯μν;U¯0=N¯,U¯i=0.{\bar{T}}^{({\rm F})}_{\mu\nu}=({\bar{\rho}}+\bar{p})\,{\bar{U}}_{\mu}{\bar{U}}_{\nu}+\bar{p}\,{\bar{g}}_{\mu\nu}\,;\hskip 5.69046pt{\bar{U}}_{0}=-\bar{N}\,,\hskip 5.69046pt{\bar{U}}_{i}=0\,. (16)

Note that the particle-like sources in the matter sector do not have non-vanishing background values and will show up only at the level of perturbations.

The Einstein Eqs. (5) for the background configuration give the Friedmann equations

3MPl2H2\displaystyle 3M_{\rm Pl}^{2}H^{2} =\displaystyle= ρ¯+ρ¯φ,\displaystyle{\bar{\rho}}+{\bar{\rho}}_{\varphi}\,, (17)
MPl2(2H˙+3H2)\displaystyle-M_{\rm Pl}^{2}\left(2\dot{H}+3H^{2}\right) =\displaystyle= p¯+p¯φ,\displaystyle{\bar{p}}+{\bar{p}}_{\varphi}\,, (18)

where a dot denotes derivative with respect to the cosmic time d/(N¯dτ)d/(\bar{N}d\tau) and H=a˙/aH=\dot{a}/a is the Hubble expansion rate. The energy density and pressure of the scalar field at the background level are

ρ¯φ=12φ¯˙2+V¯,p¯φ=12φ¯˙2V¯.\displaystyle{\bar{\rho}}_{\varphi}=\frac{1}{2}\dot{\bar{\varphi}}^{2}+{\bar{V}}\,,\hskip 14.22636pt{\bar{p}}_{\varphi}=\frac{1}{2}\dot{\bar{\varphi}}^{2}-{\bar{V}}\,. (19)

The equation of motion for the scalar field (7) gives

φ¯¨+3Hφ¯˙+V¯,φ=F¯,φ2F¯(13w)ρ¯,\ddot{\bar{\varphi}}+3H\dot{\bar{\varphi}}+\bar{V}_{,\varphi}=\frac{\bar{F}_{,\varphi}}{2\bar{F}}\big{(}1-3w\big{)}{\bar{\rho}}\,, (20)

while the conservation equation for the perfect fluid (9) implies

ρ¯˙+3H(1+w)ρ¯=F¯,φ2F¯(13w)ρ¯φ¯˙,\dot{\bar{\rho}}+3H(1+w){\bar{\rho}}=-\frac{\bar{F}_{,\varphi}}{2\bar{F}}\big{(}1-3w\big{)}{\bar{\rho}}\dot{\bar{\varphi}}\,, (21)

where we have defined the equation of state parameter wp¯/ρ¯w\equiv{{\bar{p}}}/{\bar{\rho}}. The conservation equation for the particle-like sources (10) trivially holds at the background level.

II.2 Linear perturbations

For the perturbations in the gravity sector, we consider111We have adopted the notation A(iBj)=(AiBj+AjBi)/2A_{(i}B_{j)}=(A_{i}B_{j}+A_{j}B_{i})/2.

δφ,δg00=2N¯2α,δg0i=N¯(iβ+βi),\displaystyle\delta\varphi\,,\hskip 28.45274pt\delta{g}_{00}=-2\bar{N}^{2}\alpha\,,\hskip 28.45274pt\delta{g}_{0i}=\bar{N}\left(\partial_{i}\beta+\beta_{i}\right)\,, (22)
δgij=a2[2ψδij+2(ij13δij2)E+2(iCj)+hij],\displaystyle\delta{g}_{ij}=a^{2}\left[2\psi\delta_{ij}+2\left(\partial_{i}\partial_{j}-\frac{1}{3}\delta_{ij}\partial^{2}\right)E+2\partial_{(i}C_{j)}+h_{ij}\right]\,,

where {α,β,ψ,E,δφ}\{\alpha,\beta,\psi,E,\delta\varphi\} are scalar perturbations, {βi,Ci}\{\beta_{i},C_{i}\} are vector perturbations which are divergence-free iβi=0=iCi\partial^{i}\beta_{i}=0=\partial^{i}C_{i}, and hijh_{ij} are tensor perturbations which satisfy the traceless and transverse conditions hi=i0=ihijh^{i}{}_{i}=0=\partial^{i}h_{ij}.

As we already mentioned, the particle energy-momentum tensor does not contribute to the background and it starts to contribute at the level of perturbations. Thus, we decompose it similarly to the metric perturbations as follows

T00(P)\displaystyle T^{(P)}_{00} =2N¯2α(P),T0i(P)=N¯(iβ(P)+βi(P)),\displaystyle=-2\bar{N}^{2}\alpha^{(P)}\,,\hskip 28.45274ptT^{(P)}_{0i}=\bar{N}\left(\partial_{i}\beta^{(P)}+\beta^{(P)}_{i}\right)\,,
Tij(P)\displaystyle T^{(P)}_{ij} =a2[2ψ(P)δij+2(ij13δij2)E(P)\displaystyle=a^{2}\bigg{[}2\psi^{(P)}\delta_{ij}+2\left(\partial_{i}\partial_{j}-\frac{1}{3}\delta_{ij}\partial^{2}\right)E^{(P)}
+2(iCj)(P)+𝒯ij],\displaystyle+2\partial_{(i}C_{j)}^{(P)}+{\mathcal{T}}_{ij}\bigg{]}\,, (23)

where {α(P),β(P),ψ(P),E(P)}\{\alpha^{(P)},\beta^{(P)},\psi^{(P)},E^{(P)}\} are scalar perturbations, {βi(P),Ci(P)}\{\beta^{(P)}_{i},C^{(P)}_{i}\} are divergence-free vector perturbations, and 𝒯ij{\mathcal{T}}_{ij} are traceless and transverse tensor perturbations.

For the perfect fluid, we define perturbations in the energy density and four-velocity as follows

δT0=0δρ,δUi=iU+UiT,\delta T^{0}{}_{0}=-\delta\rho\,,\hskip 28.45274pt\delta{U}_{i}=-\partial_{i}U+U^{T}_{i}\,, (24)

where (δρ,U)(\delta\rho,U) are scalar perturbations while UiTU^{T}_{i} are divergence-free vector perturbations. Perturbations in the pressure and temporal component of the four-velocity are not independent quantities

δp=cs2δρ,δU0=N¯α,cs2dp¯dρ¯,\displaystyle\delta{p}=c_{s}^{2}\,\delta\rho\,,\hskip 14.22636pt\delta{U}_{0}=-\bar{N}\alpha\,,\hskip 14.22636ptc_{s}^{2}\equiv\frac{d{\bar{p}}}{d{\bar{\rho}}}\,, (25)

where csc_{s} is the speed of sound for the scalar perturbations.

Note that the vector and tensor perturbations are not affected by the scalar field φ\varphi and, therefore, the results will be completely the same as those already studied in the context of general relativity [23]: the vector perturbations do not contribute to the memory effect while the tensor perturbations do contribute. Then, we do not consider the vector perturbations. We focus on the scalar perturbations while we briefly present the results for the tensor perturbations.

The tensor perturbations are gauge-invariant and all perturbations in the particle energy-momentum tensor are gauge-invariant as well since the particle-like sources do not contribute to the background. The linearized Einstein Eqs. (5) for the tensor perturbations hijh_{ij} and 𝒯ij{\cal T}_{ij} give

MPl22(h¨ij+3Hh˙ij1a22hij)=𝒯ij.\frac{M_{\rm Pl}^{2}}{2}\left(\ddot{h}_{ij}+3H\dot{h}_{ij}-\frac{1}{a^{2}}\partial^{2}h_{ij}\right)={\cal T}_{ij}\,. (26)

As the scalar perturbations are not gauge-invariant, we introduce the following gauge-invariant scalar perturbation in the gravity sector

ζψHφ¯˙δφ,\displaystyle\zeta\equiv\psi-\frac{H}{\dot{\bar{\varphi}}}\delta\varphi\,, (27)

and we then work in the unitary gauge

δφ=0,E=0,ψ=ζ.\displaystyle\delta\varphi=0\,,\qquad E=0\,,\qquad\psi=\zeta\,. (28)

In order to simplify the calculations, we perform the following transformation from δρ\delta\rho to δχ\delta\chi in the fluid sector222The transformation (29) is not a point transformation as it includes time derivative of the new field δχ\delta\chi. One way to perform it is to implement Hamiltonian formalism where (29) can be considered as a canonical transformation. There is, however, a simpler way to perform (29) at the level of Lagrangian which is explained in Appendix B of Ref. [24].

δρρ¯=1+wcs2(δχ˙vα),\displaystyle\frac{\delta\rho}{\bar{\rho}}=\frac{1+w}{c_{s}^{2}}\left(\frac{\dot{\delta\chi}}{v}-\alpha\right)\,, (29)

where the background quantity vv is a solution of the following first-order differential equation333As it is known, scalar field models without higher derivative terms can be modeled into a perfect fluid. If one considers a shift-symmetric scalar field χ\chi instead of the perfect fluid and performs the usual background/perturbation decomposition χ=χ¯+δχ\chi=\bar{\chi}+\delta\chi, δχ\delta\chi coincides with δχ\delta\chi in Eq. (29) and Eq. (30) is the background equation for χ¯\bar{\chi} with v=χ¯˙v=\dot{\bar{\chi}}.

v˙+3Hcs2v=φ¯˙F¯φ2F¯(3cs21).\displaystyle\dot{v}+3Hc_{s}^{2}v=\frac{\dot{\bar{\varphi}}\bar{F}_{\varphi}}{2\bar{F}}\left(3c_{s}^{2}-1\right)\,. (30)

For an explicitly given background configuration, we can solve the above equation to find an explicit form of vv.

The linearized Einstein Eqs. (5) for the scalar perturbations ζ,δχ,α,β\zeta,\delta\chi,\alpha,\beta then give

2MPl2[3H(ζ˙αH)1a22(ζ+Hβ)]\displaystyle 2M_{\rm Pl}^{2}\left[3H\big{(}\dot{\zeta}-\alpha H\big{)}-\frac{1}{a^{2}}\partial^{2}\left(\zeta+H\beta\right)\right]
=αφ¯˙2+1+wcs2ρ¯(δχ˙vα)2α(P),\displaystyle=-\alpha\dot{\bar{\varphi}}^{2}+\frac{1+w}{c_{s}^{2}}\bar{\rho}\left(\frac{\dot{\delta\chi}}{v}-\alpha\right)-2\alpha^{(P)}\,, (31)
2MPl2i(ζ˙Hα)=i[δχv(1+w)ρ¯+β(P)],\displaystyle 2M_{\rm Pl}^{2}\partial_{i}\left(\dot{\zeta}-H\alpha\right)=-\partial_{i}\left[\frac{\delta\chi}{v}(1+w)\bar{\rho}+\beta^{(P)}\right]\,, (32)
1a2MPl2ij(ζ+α+β˙+Hβ)\displaystyle\frac{1}{a^{2}}M_{\rm Pl}^{2}\partial^{i}\partial_{j}\left(\zeta+\alpha+\dot{\beta}+H\beta\right)
=2ijE(P),for ij,\displaystyle=-2\partial^{i}\partial_{j}E^{(P)}\,,\hskip 28.45274pt\mbox{for }\quad i\neq j\,, (33)
2MPl2[ζ¨+H(3ζ˙α˙)(2H˙+3H2)α\displaystyle 2M_{\rm Pl}^{2}\bigg{[}\ddot{\zeta}+H\left(3\dot{\zeta}-\dot{\alpha}\right)-\left(2\dot{H}+3H^{2}\right)\alpha
13a22(ζ+α+β˙+Hβ)]\displaystyle-\frac{1}{3a^{2}}\partial^{2}\left(\zeta+\alpha+\dot{\beta}+H\beta\right)\bigg{]}
=αφ¯˙2(1+w)ρ¯(δχ˙vα)2ψ(P),fori=j\displaystyle=\alpha\dot{\bar{\varphi}}^{2}-(1+w)\bar{\rho}\left(\frac{\dot{\delta\chi}}{v}-\alpha\right)-2\psi^{(P)}\,,\hskip 28.45274pt\mbox{for}\quad i=j (34)

Linearizing the temporal component of Eq. (9), we find

δχ¨v+3H2[(1cs2)δχ˙v+(3cs21)α]\displaystyle\frac{\ddot{\delta\chi}}{v}+\frac{3H}{2}\left[\left(1-c_{s}^{2}\right)\frac{\dot{\delta\chi}}{v}+(3c_{s}^{2}-1)\alpha\right]
+3cs2ζ˙α˙cs2a22(δχv+β)\displaystyle+3c_{s}^{2}\dot{\zeta}-\dot{\alpha}-\frac{c_{s}^{2}}{a^{2}}\partial^{2}\left(\frac{\delta\chi}{v}+\beta\right)
=φ¯˙F¯φ4F¯(3cs21)(δχ˙v3α),\displaystyle=-\frac{\dot{\bar{\varphi}}\bar{F}_{\varphi}}{4\bar{F}}\left(3c_{s}^{2}-1\right)\left(\frac{\dot{\delta\chi}}{v}-3\alpha\right)\,, (35)

where we have used Eq. (30) to remove v˙\dot{v}. The spatial components of Eq. (9) are automatically satisfied after substituting v˙\dot{v} from Eq. (30). The linearized equation for the scalar field (7) also gives

3ζ˙α˙+2V¯φφ¯˙α1a22β\displaystyle 3\dot{\zeta}-\dot{\alpha}+\frac{2\bar{V}_{\varphi}}{\dot{\bar{\varphi}}}\,\alpha-\frac{1}{a^{2}}\partial^{2}\beta
=F¯φφ¯˙F¯{α(P)+3ψ(P)\displaystyle=-\frac{\bar{F}_{\varphi}}{\dot{\bar{\varphi}}\bar{F}}\Bigg{\{}\alpha^{(P)}+3\psi^{(P)}
+(1+w)ρ¯2cs2[(153w1+wcs2)α(13cs2)δχ˙v]},\displaystyle+(1+w)\frac{\bar{\rho}}{2c_{s}^{2}}\bigg{[}\left(1-\frac{5-3w}{1+w}c_{s}^{2}\right)\,\alpha-\left(1-3c_{s}^{2}\right)\,\frac{\dot{\delta\chi}}{v}\bigg{]}\Bigg{\}}\,, (36)

where we have used (20) to remove φ¯¨\ddot{\bar{\varphi}}. Finally, linearizing equations for the conservation of particle energy-momentum tensor (10), we find

α˙(P)+3H(α(P)ψ(P))+12a22β(P)\displaystyle\dot{\alpha}^{(P)}+3H\left(\alpha^{(P)}-\psi^{(P)}\right)+\frac{1}{2a^{2}}\partial^{2}\beta^{(P)}
=φ¯˙F¯φ2F¯(α(P)+3ψ(P)),\displaystyle=-\frac{\dot{\bar{\varphi}}\bar{F}_{\varphi}}{2\bar{F}}\left(\alpha^{(P)}+3\psi^{(P)}\right)\,, (37)
β˙(P)+3Hβ(P)2ψ(P)432E(P)=0.\displaystyle\dot{\beta}^{(P)}+3H\beta^{(P)}-2\psi^{(P)}-\frac{4}{3}\partial^{2}E^{(P)}=0\,. (38)

Now, our task is to remove the non-dynamical fields α\alpha and β\beta. First, we find α\alpha and β\beta from Eqs. (31) and (32). Using these results in Eqs. (33) and (II.2) we find solutions for α˙\dot{\alpha} and β˙\dot{\beta}. Substituting α˙\dot{\alpha}, β˙\dot{\beta}, α\alpha, β\beta in Eqs. (II.2) and (II.2) we find

𝓛.𝝃=4π𝝁(P);\displaystyle{\bm{\mathcal{L}}}.\bm{\xi}=-4\pi\bm{\mu}^{(P)}\,; (39)
𝓛[𝟏dN¯dτ(dN¯dτ)+𝐍dN¯dτ𝐂1a22+𝐌],\displaystyle{\bm{\mathcal{L}}}\equiv-\left[\bm{1}\frac{d}{{\bar{N}}d\tau}\left(\frac{d}{{\bar{N}}d\tau}\right)+{\bf N}\frac{d}{{\bar{N}}d\tau}-{\bf C}\frac{1}{a^{2}}\partial^{2}+{\bf M}\right]\,,

where we have defined 2×12\times 1 matrices

𝝃(ζδQ)(ζδχ+vHζ),\displaystyle\bm{\xi}\doteq\begin{pmatrix}\zeta\\ \delta{Q}\end{pmatrix}\equiv\begin{pmatrix}\zeta\\ \delta\chi+\frac{v}{H}\zeta\end{pmatrix}\,, 𝝁(P)(μζ(P)μδQ(P)),\displaystyle\bm{\mu}^{(P)}\doteq\begin{pmatrix}{\mu}_{\zeta}^{(P)}\\ {\mu}_{\delta{Q}}^{(P)}\end{pmatrix}\,, (40)

and 2×22\times 2 matrices 𝐍{\bf N} and 𝐂{\bf C} whose nonzero components are

N11\displaystyle{N}_{11} =2V¯φφ¯˙3H2H˙H(3w1)ρ¯F¯φφ¯˙F¯,\displaystyle=-\frac{2\bar{V}_{\varphi}}{\dot{\bar{\varphi}}}-3H-\frac{2\dot{H}}{H}-(3w-1)\bar{\rho}\frac{\bar{F}_{\varphi}}{\dot{\bar{\varphi}}\bar{F}}\,,
N12\displaystyle{N}_{12} =1+wcs2ρ¯H2v[(1cs2)HMPl2+(3cs21)F¯φφ¯˙F¯]\displaystyle=-\frac{1+w}{c_{s}^{2}}\frac{\bar{\rho}H}{2v}\left[\frac{\left(1-c_{s}^{2}\right)}{HM_{\rm Pl}^{2}}+\left(3c_{s}^{2}-1\right)\frac{\bar{F}_{\varphi}}{\dot{\bar{\varphi}}\bar{F}}\right]
=(1+wcs2ρ¯H2φ¯˙2v2)N21,\displaystyle=-\left(\frac{1+w}{c_{s}^{2}}\frac{\bar{\rho}H^{2}}{\dot{\bar{\varphi}}^{2}v^{2}}\right){N}_{21}\,,
N22\displaystyle{N}_{22} =φ¯˙24[6Hφ¯˙2(1cs2)+(3cs21)F¯φφ¯˙F¯],\displaystyle=\frac{\dot{\bar{\varphi}}^{2}}{4}\left[\frac{6H}{\dot{\bar{\varphi}}^{2}}\left(1-c_{s}^{2}\right)+\left(3c_{s}^{2}-1\right)\frac{\bar{F}_{\varphi}}{\dot{\bar{\varphi}}\bar{F}}\right]\,, (41)
C11=1,\displaystyle{C}_{11}=1\,, C22=cs2.\displaystyle{C}_{22}=c_{s}^{2}\,. (42)

All components of 2×22\times 2 matrix 𝐌{\bf M} are nonzero M110M_{11}\neq 0, M120M_{12}\neq 0, M210M_{21}\neq 0, M220M_{22}\neq 0 which are shown in Appendix C. The explicit values of the components of the particle source matrix 𝝁(P)\bm{\mu}^{(P)}, which are given by μζ(P){\mu}_{\zeta}^{(P)} and μδQ(P){\mu}_{\delta{Q}}^{(P)}, are also shown in Appendix C. We will see that we do not need their explicit values to study the cosmological effects on the gravitational memory.

III The retarded gravitational field

Working with the conformal time η=[N¯(τ)/a(τ)]𝑑τ\eta=\int[{\bar{N}}(\tau)/a(\tau)]d\tau, the background line element (15) takes the following conformally flat form

ds2=a(η)2(dη2+δijdxidxj).ds^{2}=a(\eta)^{2}\left(-d\eta^{2}+\delta_{ij}dx^{i}dx^{j}\right)\,. (43)

For the tensor perturbations, Eq. (26) gives

[η2+2adadηη2]hij=4πa2μij,\displaystyle\left[\partial_{\eta}^{2}+\frac{2}{a}\frac{da}{d\eta}\partial_{\eta}-\partial^{2}\right]h_{ij}=4\pi a^{2}\mu_{ij}\,, (44)

where we have defined normalized source μij12πMPl2𝒯ij\mu_{ij}\equiv\frac{1}{2\pi M_{\rm Pl}^{2}}{\cal T}_{ij}.

For the scalar perturbations, Eq. (39) in the component form yields

[η2+(aN111adadη)η2+a2M11]ζ\displaystyle\left[\partial_{\eta}^{2}+\left(aN_{11}-\frac{1}{a}\frac{da}{d\eta}\right)\partial_{\eta}-\partial^{2}+a^{2}M_{11}\right]\zeta
+[aN12η+a2M12]δQ=4πa2μζ(P),\displaystyle+\left[aN_{12}\partial_{\eta}+a^{2}M_{12}\right]\delta{Q}=4\pi a^{2}\mu^{(P)}_{\zeta}\,, (45)
[η2+(aN221adadηcs2)ηcs22+a2M22]δQ\displaystyle\left[\partial_{\eta}^{2}+\left(aN_{22}-\frac{1}{a}\frac{da}{d\eta}c_{s}^{2}\right)\partial_{\eta}-c_{s}^{2}\partial^{2}+a^{2}M_{22}\right]\delta{Q}
+[aN21η+a2M21]ζ=4πa2μδQ(P).\displaystyle+\left[aN_{21}\partial_{\eta}+a^{2}M_{21}\right]\zeta=4\pi a^{2}\mu^{(P)}_{\delta{Q}}\,. (46)

As we have already mentioned, the memory effect for tensor perturbations hijh_{ij} is studied in Ref. [23]. Moreover, it is shown that the field δQ\delta{Q}, which corresponds to the scalar degree of freedom of the perfect fluid, does not develop any memory effect in general relativity [23]. Therefore, we only need to focus on the scalar graviton field ζ\zeta. More precisely, it is expected that we only need to obtain the direct part of the retarded Green’s function for ζ\zeta which is the subject of this section and Appendix E. In Appendix E, starting from the first principle and working out the fundamental solutions for the scalar modes ζ\zeta and δQ\delta{Q} in the scalar-tensor theory, we prove that δQ\delta{Q} does not develop any singularity along the lightcone of the mode ζ\zeta [Eq. (168)] while it changes the evolution of ζ\zeta inside the lightcone [Eqs. (169)]. Therefore, δQ\delta{Q} does not contribute to the direct part of the mode ζ\zeta. Then, we have systematically calculated the direct part of the corresponding retarded Green’s function in Eq. (190). Thus we can simply use the result Eq. (190) and move to the next section.

Here in this section we obtain the same result by implementing a less rigorous but more intuitive approach which we believe is easier for the readers to follow. The readers who are only interested in the final result may simply move to the next section. On the other hand, the readers who are interested in the rigorous treatment are directed to Appendix E.

As it is shown in Appendix E, the retarded Green’s function for δQ\delta{Q} does not develop any singularities along the lightcone of ζ\zeta. We thus treat the term proportional to δQ\delta{Q} in Eq. (45) as a source for ζ\zeta and we rewrite it in the following form

[η2+2AζdAζdηη2+a2M11]ζ=4πa2μζ,\displaystyle\left[\partial_{\eta}^{2}+\frac{2}{A_{\zeta}}\frac{dA_{\zeta}}{d\eta}\partial_{\eta}-\partial^{2}+a^{2}M_{11}\right]\zeta=4\pi a^{2}\mu_{\zeta}\,, (47)

where we have defined

μζμζ(P)14π(1aN12η+M12)δQ,\displaystyle\mu_{\zeta}\equiv{\mu}^{(P)}_{\zeta}-\frac{1}{4\pi}\left(\frac{1}{a}N_{12}\partial_{\eta}+M_{12}\right)\delta{Q}\,, (48)
Aζ(η)a(η)exp[12η(aN113adadη¯)𝑑η¯].\displaystyle A_{\zeta}(\eta)\equiv a(\eta)\exp\left[\frac{1}{2}\int_{\eta}\left(aN_{11}-\frac{3}{a}\frac{da}{d{\bar{\eta}}}\right)d{\bar{\eta}}\right]\,. (49)

The corresponding Green’s function then satisfies

[η2+2AζdAζdηη2+a2M11]Gζret(x,x)\displaystyle\left[\partial_{\eta}^{2}+\frac{2}{A_{\zeta}}\frac{dA_{\zeta}}{d\eta}\partial_{\eta}-\partial^{2}+a^{2}M_{11}\right]G_{\zeta}^{\rm ret}(x,x^{\prime})
=4πa2δ(4)(xx).\displaystyle=\frac{4\pi}{a^{2}}\delta^{(4)}(x-x^{\prime})\,. (50)

In general, the retarded solution for the above equation has the Hadamard representation [25, 26]

Gζret(x,x)=[Uζ(x,x)δ(σζ)+Vζ(x,x)Θ(σζ)]Θ(tt),\displaystyle G_{\zeta}^{\rm ret}(x,x^{\prime})=\left[U_{\zeta}(x,x^{\prime})\delta(\sigma_{\zeta})+V_{\zeta}(x,x^{\prime})\Theta(-\sigma_{\zeta})\right]\Theta(t-t^{\prime})\,, (51)

where UζU_{\zeta} and VζV_{\zeta} characterize the direct and tail parts respectively and σζ(x,x)\sigma_{\zeta}(x,x^{\prime}) is the geodetic interval (squared of the geodesic distance) between xx and xx^{\prime} which satisfies

g¯μν¯μσζ¯νσζ=2σζ,\displaystyle{\bar{g}}^{\mu\nu}{\bar{\nabla}}_{\mu}\sigma_{\zeta}{\bar{\nabla}}_{\nu}\sigma_{\zeta}=2\sigma_{\zeta}\,, (52)

where a bar denotes that the covariant derivatives are defined in the spirit of the background metric g¯μν\bar{g}_{\mu\nu}. Following the approach implemented in Refs. [27, 28, 29], by substituting

Gζret(x,x)=Aζ(η)Aζ(η)a(η)2gζret(x,x),\displaystyle G_{\zeta}^{\rm ret}(x,x^{\prime})=\frac{A_{\zeta}(\eta^{\prime})}{A_{\zeta}(\eta)a(\eta^{\prime})^{2}}g_{\zeta}^{\rm ret}(x,x^{\prime})\,, (53)

in Eq. (50), we find

[η22+(a2M111Aζd2Aζdη2)]gζret(x,x)\displaystyle\left[\partial_{\eta}^{2}-\partial^{2}+\left(a^{2}M_{11}-\frac{1}{A_{\zeta}}\frac{d^{2}A_{\zeta}}{d\eta^{2}}\right)\right]g_{\zeta}^{\rm ret}(x,x^{\prime})
=4πδ(4)(xx).\displaystyle=4\pi\delta^{(4)}(x-x^{\prime})\,. (54)

The above equation is similar to the equation for the Green’s function in flat spacetime. Indeed the first two terms on the left hand side of (54) correspond to the flat spacetime operator and they determine the direct part. Therefore, considering the relation between GζretG_{\zeta}^{\rm ret} and gζretg_{\zeta}^{\rm ret} in Eq. (53), from Eq. (51) we find

Uζ(x,x)=[Aζ(η)Aζ(η)]U¯(x,x),\displaystyle U_{\zeta}(x,x^{\prime})=\left[\frac{A_{\zeta}(\eta^{\prime})}{A_{\zeta}(\eta)}\right]{\bar{U}}(x,x^{\prime})\,, (55)

where U¯{\bar{U}} is the corresponding quantity in the flat spacetime. Using the fact that U¯=1{\bar{U}}=1, we find the direct part of the Green’s function (51) as follows

Uζ(η,η)=Aζ(η)Aζ(η).\displaystyle U_{\zeta}(\eta,\eta^{\prime})=\frac{A_{\zeta}(\eta^{\prime})}{A_{\zeta}(\eta)}\,. (56)

The above result coincides with the result (190) which is obtained from a more rigorous approach.

Apart from the mass term, Eqs. (44) and (47) have the same forms so that AζA_{\zeta} plays the role of an effective scale factor for the scalar mode ζ\zeta. Therefore, with the same approach, we can easily find the direct part for the tensor perturbations hijh_{ij} as Uh(η,η)=a(η)/a(η)U_{h}(\eta,\eta^{\prime})=a(\eta^{\prime})/a(\eta) [23].

IV Cosmological scalar memory effect

In our idealized case in which GWs are produced due to the particle-like sources with energy-momentum tensor (12), the memory effect is characterized by the “existence of first derivative of the delta functions” in the components of the Riemann tensor [23]. The electric components of the Riemann tensor up to the linear order in tensor and scalar perturbations (22) are given by

δ1Ri00=j12(η2hik+ηhik)δkj\displaystyle\delta_{1}R_{i00}{}^{j}=\frac{1}{2}\left(\partial^{2}_{\eta}{h}_{ik}+\partial_{\eta}{h}_{ik}\right)\delta^{kj}
+(ij13δi2j)Φ+[η2Ψ+1adadη(ηΨηΦ)]δi,j\displaystyle+\left(\partial_{i}\partial^{j}-\frac{1}{3}\delta_{i}{}^{j}\partial^{2}\right)\Phi+\left[\partial_{\eta}^{2}\Psi+\frac{1}{a}\frac{da}{d\eta}\left(\partial_{\eta}\Psi-\partial_{\eta}\Phi\right)\right]\delta_{i}{}^{j}\,, (57)

where we have defined the Bardeen potentials [30]

Φα+1aηβ,\displaystyle\Phi\equiv\alpha+\frac{1}{a}\partial_{\eta}\beta\,, Ψζ+1a2dadηβ.\displaystyle\Psi\equiv\zeta+\frac{1}{a^{2}}\frac{da}{d\eta}\beta\,. (58)

For the tensor perturbations, the electric components of the Riemann tensor (57) obviously include η2hij\partial^{2}_{\eta}h_{ij} which provides first derivative of the delta function and, therefore, tensor memory effect shows up [23]. For the scalar perturbations, (57) include η2ζ\partial^{2}_{\eta}\zeta while they do not include η2δQ\partial_{\eta}^{2}\delta{Q}. The later does not provide any first derivative of the delta function and our aim is here to show that, similarly to η2hij\partial^{2}_{\eta}h_{ij}, the former η2ζ\partial^{2}_{\eta}\zeta does include first derivative of the delta function.

Up to here, we have presented all results in the Einstein frame while to interpret the results we need to go back to the Jordan frame. In the unitary gauge δφ=0\delta\varphi=0, which we have implemented in (28), based on (2), we can simply use conformal transformation g~μν=F¯1gμν{\tilde{g}}_{\mu\nu}={\bar{F}}^{-1}{g}_{\mu\nu} where only background value of conformal factor F¯{\bar{F}} is considered. The line element for the background (43) takes the following form

d~s2\displaystyle{\widetilde{d}s}^{2} =g¯~μνdxμdxν\displaystyle=\tilde{\bar{g}}_{\mu\nu}dx^{\mu}dx^{\nu}
=a~(η)2(dτ2+δijdxidxj),a~(η)a(η)/F¯(η),\displaystyle={\tilde{a}}(\eta)^{2}\left(d\tau^{2}+\delta_{ij}dx^{i}dx^{j}\right),\hskip 5.69046pt{\tilde{a}}(\eta)\equiv a(\eta)/\sqrt{{\bar{F}}(\eta)}\,, (59)

where a~{\tilde{a}} denotes the scale factor in the Jordan frame. Taking into account the change in the scale factor, we find that ζ\zeta defined by (22) and (28) does not change by the conformal transformation (see Refs. [31, 32, 33, 34, 35] for the conformal invariance of the scalar perturbations in scalar-tensor theories). More precisely, the linear scalar perturbations do not change as the non-dynamical fields like β\beta can be simply redefined. Therefore, in the unitary gauge (28), in order to go back from the Einstein frame to the Jordan frame, we only need to rewrite all results in terms of the scalar factor a~{\tilde{a}} in the Jordan frame defined in (59). The equation of motion for ζ\zeta presented in Eq. (47) takes the following form in the Jordan frame

[η2+2AζdAζdηη2+a~2M~11]ζ=4πa~2μ~ζ,\displaystyle\left[\partial_{\eta}^{2}+\frac{2}{A_{\zeta}}\frac{dA_{\zeta}}{d\eta}\partial_{\eta}-\partial^{2}+{\tilde{a}}^{2}{\tilde{M}}_{11}\right]\zeta=4\pi{\tilde{a}}^{2}{\tilde{\mu}}_{\zeta}\,, (60)

where M~11F¯M11{\tilde{M}}_{11}\equiv{\bar{F}}{M}_{11}, μ~ζF¯μζ{\tilde{\mu}}_{\zeta}\equiv{\bar{F}}{\mu}_{\zeta}, and also

Aζ=(F¯a~)3dφ¯dηexp[32(wρ¯+p¯φρ¯+ρ¯φ1)dln(F¯a~)],\displaystyle A_{\zeta}=\left(\sqrt{\bar{F}}{\tilde{a}}\right)^{3}\frac{d{\bar{\varphi}}}{d\eta}\exp\left[\frac{3}{2}\int\left(\frac{w{\bar{\rho}}+{\bar{p}}_{\varphi}}{{\bar{\rho}}+{\bar{\rho}}_{\varphi}}-1\right)d\ln\left({\sqrt{\bar{F}}{\tilde{a}}}\right)\right]\,, (61)

in which we have used Eqs. (18) and (20) when we substitute the value of N11N_{11} defined in (41). In the absence of the fluid ρ¯=0{\bar{\rho}}=0, the mass term vanishes M~11=0{\tilde{M}}_{11}=0 as it can be seen from Eq. (105). We thus find the well-known result Aζa~A_{\zeta}\propto{\tilde{a}} for the minimally coupled F=1{F}=1 massless scalar field with p¯φ=ρ¯φ{\bar{p}}_{\varphi}={\bar{\rho}}_{\varphi} and dφ¯/dηa~2d{\bar{\varphi}}/d\eta\propto{\tilde{a}}^{-2}. There is also an apparent subtlety: for the minimal coupling and constant scalar background limit F=1{F}=1 and φ¯˙=0\dot{\bar{\varphi}}=0, as it can be seen from Eq. (106), the source does not vanish μ~ζ=μζ0{\tilde{\mu}}_{\zeta}={\mu}_{\zeta}\neq 0. This is simply an artifact of the unitary gauge (28) that we have implemented. From Eq. (27), we see that ζ=ψ\zeta=\psi in the unitary gauge (28) when δφ=0\delta\varphi=0 while ζ=Hφ¯˙δφ\zeta=\frac{H}{\dot{\bar{\varphi}}}\delta\varphi if we work in the spatially flat gauge with ψ=0\psi=0 and E=0E=0. As it is shown in Appendix D, there will be no source if we work with the gauge-invariant counterpart of δφ\delta\varphi, which is given by δφ+φ¯˙β\delta\varphi+\dot{\bar{\varphi}}\beta for E=0E=0, in the limit F=1F=1 and φ¯˙=0\dot{\bar{\varphi}}=0. Although the φ¯˙=0\dot{\bar{\varphi}}=0 limit is not manifest in the unitary gauge, the results away from this limit are much simpler in this gauge and that is why we have implemented this gauge.

The retarded solution for ζ\zeta is given by

ζ(x)=d4xg¯(x)Gζret(x,x)μ~ζ(x),\displaystyle\zeta(x)=\int d^{4}x^{\prime}\sqrt{-{\bar{g}}(x^{\prime})}G^{\rm ret}_{\zeta}(x,x^{\prime}){\tilde{\mu}}_{\zeta}(x^{\prime})\,, (62)

where the retarded Green’s function GζretG^{\rm ret}_{\zeta} is given by Eq. (51). Substituting Eq. (51) in solution (62) and taking into account the fact that UζU_{\zeta} and VζV_{\zeta} are regular functions, it can be shown that the tail part including VζV_{\zeta} can at most provide singularity proportional to the delta function while the direct part including UζU_{\zeta} can indeed provide singularity at the level of derivative of the delta function. Therefore, only the direct part UζU_{\zeta} contributes to the memory effect. This result is completely independent of the explicit functional forms of UζU_{\zeta} and VζV_{\zeta}. We do not repeat the corresponding analysis here, as we only need the final result in our upcoming analysis and we refer the readers to Ref. [23] for the details.

Instead of performing the integral directly in the retarded solution (62), the fact that the memory effect is encoded only in the direct part and the spatially flat FLRW spacetime is conformally flat, makes it possible to find a universal explicit relation between the memory effect in the FLRW spacetime and its counterpart in Minkowski spacetime. In order to do so, we first note that Eq. (55) immediately implies

ζdir(x)=[Aζ(ηs)Aζ(ηo)]ζ¯dir(x),\displaystyle\zeta^{\rm dir}(x)=\left[\frac{A_{\zeta}(\eta_{s})}{A_{\zeta}(\eta_{o})}\right]\bar{\zeta}^{\rm dir}(x)\,, (63)

where ηs\eta_{s} is the conformal time at the source, ηo\eta_{o} is the conformal time at which the detector observes the signal, and ζ¯dir(x)\bar{\zeta}^{\rm dir}(x) is the flat spacetime counterpart of ζdir(x)\zeta^{\rm dir}(x), i.e., scalar mode characterizing the scalar field perturbations in the absence of cosmic expansion. From Eq. (57) we have δ1Ri00jη2ζ\delta_{1}R_{i00}{}^{j}\supset\partial_{\eta}^{2}\zeta. Taking into account the fact that the time derivatives of AζA_{\zeta} do not contribute to the direct part, we find

δ1R(S)i00dir=j[Aζ(ηs)Aζ(ηo)]δ1R¯(S)i00dir,j\displaystyle\delta_{1}R^{\rm dir}_{({\rm S})i00}{}^{j}=\left[\frac{A_{\zeta}(\eta_{s})}{A_{\zeta}(\eta_{o})}\right]\overline{\delta_{1}R}^{\rm dir}_{({\rm S})i00}{}^{j}\,, (64)

where subscript S{\rm S} shows that only scalar perturbations are taken into account.

The geodesic deviation equation for the deviation vector DμD^{\mu}, which characterizes the displacement in the detector due to the passage of the GWs, satisfies

d2Dμds2=RαβγDαμnβnγ;\displaystyle\frac{d^{2}D^{\mu}}{ds^{2}}=R_{\alpha\beta\gamma}{}^{\mu}D^{\alpha}{n}^{\beta}{n}^{\gamma}\,; ddsnμμ,\displaystyle\frac{d}{ds}\equiv n^{\mu}\nabla_{\mu}\,, (65)

where nμn^{\mu} is a timelike vector tangent to the geodesic trajectory which is normalized as nμnμ=1n_{\mu}n^{\mu}=-1. The directional covariant derivative d/dsd/ds characterizes changes along the geodesic parameterized by the affine parameter ss. Approximating the tangent vector with its dominant background value as nμa~(η)1δμ0n^{\mu}\approx{\tilde{a}}(\eta)^{-1}\delta^{\mu}{}_{0} or d/ds(a~1)d/dηd/ds\approx({\tilde{a}}^{-1})d/d\eta and taking into account the fact that the time derivatives of the scale factor are negligible at the time scale of interest, we find the following result at the leading order

d2Djdη2=Ri00Dij.\displaystyle\frac{d^{2}D^{j}}{d\eta^{2}}=R_{i00}{}^{j}D^{i}\,. (66)

Then, the displacement due to the scalar memory effect, characterized by the changes in Riemann tensor given by (64), will be

ΔD(S)i=[Aζ(ηs)Aζ(ηo)]ΔD¯(S)i,\displaystyle\Delta{D}_{({\rm S})}^{i}=\left[\frac{A_{\zeta}(\eta_{s})}{A_{\zeta}(\eta_{o})}\right]\overline{\Delta{D}}_{({\rm S})}^{i}\,, (67)

where ΔD¯(S)i\overline{\Delta{D}}_{({\rm S})}^{i} is the displacement due to the scalar memory effect in flat spacetime, i.e., in the absence of cosmic expansion.

Following the same steps, as it is already shown in Ref. [23], the displacement due to the tensor memory effect is given by

ΔD(T)i=[a(ηs)a(ηo)]ΔD¯(T)i,\displaystyle\Delta{D}_{({\rm T})}^{i}=\left[\frac{a(\eta_{s})}{a(\eta_{o})}\right]\overline{\Delta{D}}_{({\rm T})}^{i}\,, (68)

where ΔD¯(T)i\overline{\Delta{D}}_{({\rm T})}^{i} is the displacement due to the tensor memory effect in flat spacetime.

As it can be seen from the results (67) and (68), the effects of the cosmic expansion are characterized by the values of the effective scale factor AζA_{\zeta} and scale factor aa at the two times ηs\eta_{s} and ηo\eta_{o} for the scalar and tensor memory effects respectively. Therefore, similarly to the tensor memory effect (68), the scalar memory effect (67) does not depend on the expansion history of the universe. However, depending on the coupling and mass, the value of the effective scale factor AζA_{\zeta}, given by Eq. (61), can be different from the scale factor aa. Thus, the detector will receive two types of scalar (67) and universal tensor (68) memory effects and, depending on the coupling and mass, the effect of the scalar memory effect can be either dominant or subleading.

The result (67) provides a relation between scalar memory effect in a spatially flat FLRW spacetime and its counterpart in flat spacetime for the scalar-tensor theories described by the action (1). The memory effect in flat spacetime in the context of the Brans-Dicke theory is already studied in Refs. [36, 37, 38, 39, 40, 41]. As the action of our model Eq. (1) includes Brans-Dicke theory as a special case, it is straightforward to take into account the effects of cosmological expansion in the results of Refs. [36, 37, 38, 39, 40, 41] and also any other scalar-tensor theory which can be modeled by the action (1).

V Summary

The memory effect is a permanent change in the relative separation of test particles due to the passage of GWs. In an asymptotically flat spacetime, the GWs effects can be discriminated from the gravitational tidal effects, i.e., through their different scaling near the spatial or null infinity. In the case of cosmological FLRW spacetime, which is not asymptotically flat, the situation is more subtle. In Ref. [23], using the fact that the spatially flat FLRW spacetime is conformally flat, Tolish and Wald studied the memory effect in a universe which is filled only with a perfect fluid in general relativity. They concluded that only tensor perturbations contribute to the memory effect while scalar and vector perturbations do not. The memory effect associated to the tensor perturbations only depends on the values of the scale factor at the moment of emission from the source and at the moment of passaging the detector. In this paper, we have shown that in the context of scalar-tensor theories, the scalar perturbations associated to the scalar graviton contribute to the memory effect in the flat FLRW universe as well. The corresponding memory effect depends on the values of the “effective scale factor for scalar graviton” at the moment of emission from the source and at the moment of passaging the detector. The effective scale factor for the scalar graviton is given by Eq. (61) which reduces to the standard scale factor for the massless scalar graviton that is minimally coupled to gravity so that F=constant{F}=\mbox{constant} and V~=constant{\tilde{V}}=\mbox{constant} but which is in general different from the standard scale factor. Thus, depending on the coupling and mass, the influence of the cosmic expansion on the memory effect due to the scalar perturbations can be either stronger or weaker than the one induced by the tensor perturbations.

Moreover, as a byproduct, in Appendix E, we have developed a general framework which can be used to study coupled wave equations in any curved spacetime which admits a time foliation. This will be useful not only for the studies of the cosmological memory effect but also for other scenarios which deal with solving coupled wave equations in a curved spacetime.

Acknowledgements.
M.A.G. thanks the Tokyo Institute of Technology for hospitality when this work was in its final stage. The work of M.A.G. was supported by MEXT KAKENHI Grant No. 17H02890. The work of S.M. was supported in part by JSPS Grants-in-Aid for Scientific Research No. 17H02890, No. 17H06359, and by World Premier International Research Center Initiative, MEXT, Japan. The work of T.M. was supported by JST SPRING, Grant No. JPMJSP2110.

Appendix A Jordan frame vs. Einstein frame

In this appendix we start with the action of a scalar-tensor theory in the Jordan frame, in which the matter is directly coupled to the metric. Performing a conformal transformation, we find the corresponding action in the Einstein frame which we use for concrete calculations in this paper. This is a quite well-known subject (see for instance Refs. [42, 43, 44, 45, 35] and references therein) and we present it here only to keep the paper self-contained.

A.1 Jordan frame

The total action of a scalar-tensor theory in the Jordan frame, in which the matter couples directly to the metric, is as follows

SJ[g~,ϕ,ψ]=Sg[g~,ϕ]+Sm[g~,ψ];\displaystyle S_{\rm J}[{\tilde{g}},\phi,\psi]=S_{g}[{\tilde{g}},\phi]+S_{\rm m}[{\tilde{g}},\psi]\,;
Sg[g~,ϕ]=SF,R~[g~,ϕ]+Sϕ[g~,ϕ].\displaystyle S_{g}[{\tilde{g}},\phi]=S_{F,{\tilde{R}}}[{\tilde{g}},\phi]+S_{\phi}[{\tilde{g}},\phi]\,. (69)

Here, g~μν{\tilde{g}}_{\mu\nu} and ϕ\phi are the metric in the Jordan frame and a scalar field which are the dynamical variables in the gravity sector, while ψ\psi collectively represents all fields and particles which are present in the system under consideration. The gravitational part of the action is defined by

SF,R~[g~,ϕ]=MPl22d4xg~F(ϕ)R~,\displaystyle S_{F,{\tilde{R}}}[{\tilde{g}},\phi]=\frac{M_{\rm Pl}^{2}}{2}\int d^{4}x\sqrt{-{\tilde{g}}}F(\phi){\tilde{R}}\,,
Sϕ[g~,ϕ]=d4xg~[12K~(ϕ)g~μνμϕνϕ+V~(ϕ)],\displaystyle S_{\phi}[{\tilde{g}},\phi]=-\int d^{4}x\sqrt{-{\tilde{g}}}\left[\frac{1}{2}{\tilde{K}}(\phi){\tilde{g}}^{\mu\nu}\partial_{\mu}\phi\partial_{\nu}\phi+{\tilde{V}}(\phi)\right], (70)

where MPl=(8πG)1/2M_{\rm Pl}=(8\pi{G})^{-1/2} is the reduced Planck mass, R~{\tilde{R}} is the Ricci scalar in the Jordan frame, FF, K~{\tilde{K}}, V~{\tilde{V}} are functions of the scalar field. The matter action is given by

Sm[g~,ψ]=d4xg~m(g~αβ,ψ),\displaystyle S_{\rm m}[{\tilde{g}},\psi]=\int d^{4}x\sqrt{-{\tilde{g}}}{\mathcal{L}}_{\rm m}({\tilde{g}}_{\alpha\beta},\psi)\,, (71)

in which m{\mathcal{L}}_{\rm m} is the Lagrangian density of the matter sector.

Taking variation of the action (A.1) with respect to the metric and using the relation

δg~SF,R~[g~,ϕ]\displaystyle\delta_{\tilde{g}}S_{F,{\tilde{R}}}[{\tilde{g}},\phi] =MPl22d4xg~[F(ϕ)G~μν\displaystyle=\frac{M_{\rm Pl}^{2}}{2}\int d^{4}x\sqrt{-{\tilde{g}}}\bigg{[}F(\phi){\tilde{G}}_{\mu\nu}
+g~μν~F~μ~νF]δg~μν,\displaystyle+{\tilde{g}}_{\mu\nu}{\tilde{\Box}}F-{\tilde{\nabla}}_{\mu}{\tilde{\nabla}}_{\nu}F\bigg{]}\delta{\tilde{g}}^{\mu\nu}\,,

we find the Einstein equations

MPl2F(ϕ)G~μν=T~μν(ϕ)+MPl2~μ~νFMPl2g~μν~F+T~μν(m),\displaystyle M_{\rm Pl}^{2}F(\phi){\tilde{G}}_{\mu\nu}={\tilde{T}}^{(\phi)}_{\mu\nu}+M_{\rm Pl}^{2}{\tilde{\nabla}}_{\mu}{\tilde{\nabla}}_{\nu}F-M_{\rm Pl}^{2}{\tilde{g}}_{\mu\nu}{\tilde{\Box}}F+{\tilde{T}}^{({\rm m})}_{\mu\nu}\,,

where

T~μν(ϕ)\displaystyle{\tilde{T}}^{(\phi)}_{\mu\nu} =2g~δSϕδg~μν\displaystyle=\frac{-2}{\sqrt{-\tilde{g}}}\frac{\delta{S}_{\phi}}{\delta{\tilde{g}}^{\mu\nu}}
=K~(ϕ)μϕνϕg~μν[12K~(ϕ)g~αβαϕβϕ+V~(ϕ)],\displaystyle={\tilde{K}}(\phi)\partial_{\mu}\phi\partial_{\nu}\phi-{\tilde{g}}_{\mu\nu}\left[\frac{1}{2}{\tilde{K}}(\phi){\tilde{g}}^{\alpha\beta}\partial_{\alpha}\phi\partial_{\beta}\phi+{\tilde{V}}(\phi)\right]\,, (72)
T~μν(m)\displaystyle{\tilde{T}}^{({\rm m})}_{\mu\nu} =2g~δSmδg~μν.\displaystyle=\frac{-2}{\sqrt{-\tilde{g}}}\frac{\delta{S}_{\rm m}}{\delta{\tilde{g}}^{\mu\nu}}\,. (73)

Taking variation of the action (A.1) with respect to ϕ\phi, we find

δϕSJ[g~,ϕ,ψ]=δϕSg[g~,ϕ]\displaystyle\delta_{\phi}S_{\rm J}[{\tilde{g}},\phi,\psi]=\delta_{\phi}S_{g}[{\tilde{g}},\phi]
=[K~(ϕ)~ϕ+K~,ϕ2g~αβαϕβϕV~,ϕ+MPl22F,ϕR~]δϕ=0,\displaystyle=\left[{\tilde{K}}(\phi){\tilde{\Box}}\phi+\frac{{\tilde{K}}_{,\phi}}{2}{\tilde{g}}^{\alpha\beta}\partial_{\alpha}\phi\partial_{\beta}\phi-{\tilde{V}}_{,\phi}+\frac{M_{\rm Pl}^{2}}{2}F_{,\phi}{\tilde{R}}\right]\delta\phi=0\,, (74)

where we have used the fact that the matter action is independent of the scalar field in the Jordan frame. We also have the conservation of the matter field

~μT~(m)μ=ν0.\displaystyle\tilde{\nabla}_{\mu}{\tilde{T}}^{({\rm m})\,\mu}{}_{\nu}=0\,. (75)

A.2 Einstein frame

In order to go to the Einstein frame, we perform the following conformal transformation

g~μν=F(ϕ)1gμν,{\tilde{g}}_{\mu\nu}=F(\phi)^{-1}g_{\mu\nu}\,, (76)

where gμνg_{\mu\nu} is the metric in the Einstein frame. We thus have

g~μν=Fgμν,g~=F2g,\displaystyle{\tilde{g}}^{\mu\nu}=F\,g^{\mu\nu}\,,\hskip 28.45274pt\sqrt{-{\tilde{g}}}=F^{-2}\,\sqrt{-g}\,,
R~=F[R+3F,ϕFg~μνμνϕ+3g~μνμϕνϕ(F,ϕϕF32F,ϕ2F2)],\displaystyle{\tilde{R}}=F\left[R+3\frac{F_{,\phi}}{F}{\tilde{g}}^{\mu\nu}\nabla_{\mu}\nabla_{\nu}\phi+3{\tilde{g}}^{\mu\nu}\partial_{\mu}\phi\partial_{\nu}\phi\left(\frac{F_{,\phi\phi}}{F}-\frac{3}{2}\frac{F_{,\phi}^{2}}{F^{2}}\right)\right]\,,

where RR is the Ricci scalar associated to gμνg_{\mu\nu}.

Then, the gravitational action in the Einstein frame takes the form

Sg[g,ϕ]=d4xg[MPl22R12K(ϕ)gμνμϕνϕV(ϕ)],\displaystyle S_{g}[{g},\phi]=\int d^{4}x\sqrt{-{g}}\left[\frac{M_{\rm Pl}^{2}}{2}{R}-\frac{1}{2}{K}(\phi){g}^{\mu\nu}\partial_{\mu}\phi\partial_{\nu}\phi-{V}(\phi)\right]\,,

where we have defined

KK~F+32MPl2(F,ϕF)2,VV~F2.\displaystyle K\equiv\frac{{\tilde{K}}}{F}+\frac{3}{2}M_{\rm Pl}^{2}\left(\frac{F_{,\phi}}{F}\right)^{2}\,,\hskip 28.45274ptV\equiv\frac{{\tilde{V}}}{F^{2}}\,. (77)

Redefining the scalar field as

φ=K(ϕ)𝑑ϕ,\varphi=\int\sqrt{K(\phi)}\,d\phi\,, (78)

the kinetic term of the scalar field takes the canonical form and we find the following total action in the Einstein frame

SE[g,φ,ψ]\displaystyle S_{\rm E}[{g},\varphi,\psi] =d4xg[MPl22R\displaystyle=\int d^{4}x\sqrt{-{g}}\bigg{[}\frac{M_{\rm Pl}^{2}}{2}{R}
12gμνμφνφV(φ)]+Sm[g~,ψ],\displaystyle-\frac{1}{2}{g}^{\mu\nu}\partial_{\mu}\varphi\partial_{\nu}\varphi-{V}(\varphi)\bigg{]}+S_{\rm m}[\tilde{g},\psi]\,, (79)

where it is understood that g~\tilde{g} in (79) is given by (76) and that ϕ\phi is considered as a function of φ\varphi.

In the absence of matter, actions (A.1) and (79) are completely equivalent at the classical level. As we see, the matter action depends on the field in the Einstein frame while it was independent of the scalar field in the Jordan frame. That is why the scalar-tensor theories are treated as modified gravity theories and they are not simply general relativity plus a minimally coupled scalar field.

Varying the action (79) with respect to gμνg^{\mu\nu}, we find the Einstein equations in the Einstein frame

MPl2Gμν=Tμν(φ)+Tμν(m),M_{\rm Pl}^{2}G_{\mu\nu}=T^{(\varphi)}_{\mu\nu}+T^{({\rm m})}_{\mu\nu}\,, (80)

where

Tμν(φ)=μφνφgμν[12gμνμφνφ+V(φ)],\displaystyle T^{(\varphi)}_{\mu\nu}=\partial_{\mu}\varphi\partial_{\nu}\varphi-g_{\mu\nu}\left[\frac{1}{2}g^{\mu\nu}\partial_{\mu}\varphi\partial_{\nu}\varphi+V(\varphi)\right]\,, (81)
Tμν(m)=2gδSmδgμν.\displaystyle T^{({\rm m})}_{\mu\nu}=\frac{-2}{\sqrt{-g}}\frac{\delta{S}_{\rm m}}{\delta{g}^{\mu\nu}}\,. (82)

We need to take into account the dependence of SmS_{\rm m} on the scalar field when we take the variation with respect to the scalar field. We, however, note that the dependence on the scalar field only comes through the conformal transformation (76) and we can simply use the chain rule to take the variation. Then, taking variation of the action (79) with respect to the scalar field φ\varphi we find the equation of motion for the scalar field as follows

φV,φ=F,φ2FT(m),\Box{\varphi}-V_{,\varphi}=\frac{F_{,\varphi}}{2F}\,T^{({\rm m})}\,, (83)

where T(m)=gαβTαβ(m)T^{({\rm m})}=g^{\alpha\beta}T^{({\rm m})}_{\alpha\beta} is the trace of the matter energy-momentum tensor in the Einstein frame.

Moreover, from the Bianchi identity we know μGμ=ν0\nabla_{\mu}G^{\mu}{}_{\nu}=0 which implies μ(T(φ)μ+νT(m)μ)ν=0\nabla_{\mu}\big{(}T^{(\varphi)\mu}{}_{\nu}+T^{({\rm m})\mu}{}_{\nu}\big{)}=0. Using the explicit form of the scalar field energy-momentum tensor (81), we find μT(φ)μ=ν(φV,φ)νφ\nabla_{\mu}T^{(\varphi)\mu}{}_{\nu}=-\big{(}\Box{\varphi}-V_{,\varphi}\big{)}\nabla_{\nu}\varphi which after using Eq. (83) leads to the following conservation equation for the matter

μT(m)μ=νF,φ2FT(m)νφ.\displaystyle\nabla_{\mu}T^{({\rm m})\mu}{}_{\nu}=-\frac{F_{,\varphi}}{2F}\,T^{({\rm m})}\nabla_{\nu}\varphi\,. (84)

Note that we did not assume any form for the matter and all results found in this appendix can be applied to any type of matter. Note also that if there are different contributions to the matter energy-momentum tensor, energy-momentum of each type of matter are separately conserved.

Appendix B Matter energy-momentum tensor in different frames

We have considered a general matter field in the previous appendix. Here we study in detail two types of matter sources with which we deal in our setup: perfect fluids and relativistic particles. We find relations between physical quantities in the Jordan and Einstein frames for these two types of matter sources.

Using Eq. (76), we can rewrite the energy-momentum tensor in the Einstein frame Tμν(m)T^{({\rm m})}_{\mu\nu}, defined in Eq. (82), as follows

Tμν(m)(g,φ,ψ)=1F(φ)T~μν(m)(g~,ψ);\displaystyle T^{({\rm m})}_{\mu\nu}\big{(}g,\varphi,\psi\big{)}=\frac{1}{F(\varphi)}\,{\tilde{T}}^{({\rm m})}_{\mu\nu}\big{(}{\tilde{g}},\psi\big{)}\,; (85)
T~μν(m)=2g~δ(g~m)δg~μν,\displaystyle{\tilde{T}}^{({\rm m})}_{\mu\nu}=-\frac{2}{\sqrt{-{\tilde{g}}}}\frac{\delta(\sqrt{-{\tilde{g}}}{\mathcal{L}}_{\rm m})}{\delta{\tilde{g}}^{\mu\nu}}\,,

where T~μν(m){\tilde{T}}^{({\rm m})}_{\mu\nu} is the energy-momentum tensor in the Jordan frame defined in Eq. (73). This relation is true for any type of matter.

In the following subsections, we separately study the special cases of perfect fluid and particle-like sources.

B.1 Perfect fluid

In the Jordan frame, the perfect fluid energy-momentum tensor T~μν(F){\tilde{T}}^{({\rm F})}_{\mu\nu} is given by

T~μν(F)(g~,U~)=(ρ~+p~)U~μU~ν+p~g~μν;\displaystyle{\tilde{T}}^{({\rm F})}_{\mu\nu}\big{(}{\tilde{g}},{\tilde{U}}\big{)}=({\tilde{\rho}}+{\tilde{p}}){\tilde{U}}_{\mu}{\tilde{U}}_{\nu}+{\tilde{p}}\,{\tilde{g}}_{\mu\nu}\,; (86)
g~μνU~μU~ν=1,\displaystyle{\tilde{g}}^{\mu\nu}{\tilde{U}}_{\mu}{\tilde{U}}_{\nu}=-1\,,

where U~μ{\tilde{U}}_{\mu}, ρ~{\tilde{\rho}}, and p~{\tilde{p}} are four-velocity, energy density, and pressure in the Jordan frame respectively.

In the Einstein frame, we also have

Tμν(F)(g,U)=(ρ+p)UμUν+pgμν;\displaystyle{T}^{({\rm F})}_{\mu\nu}\big{(}{g},{U}\big{)}=({\rho}+{p}){U}_{\mu}{U}_{\nu}+{p}\,{g}_{\mu\nu}\,; (87)
gμνUμUν=1,\displaystyle{g}^{\mu\nu}{U}_{\mu}{U}_{\nu}=-1\,,

where Uμ{U}_{\mu}, ρ{\rho}, and p{p} are four-velocity, energy density, and pressure in the Einstein frame respectively.

In order to find the relation between the quantities in two frames, we first note that the normalization of the four-velocities in Eqs. (86) and (87) implies

UμFU~μ.\displaystyle U_{\mu}\equiv\sqrt{F}\,{\tilde{U}}_{\mu}\,. (88)

Using the above result and the relation (85), we find

ρ=F2ρ~,p=F2p~.\displaystyle\rho=F^{-2}\,{\tilde{\rho}}\,,\hskip 28.45274ptp=F^{-2}\,{\tilde{p}}\,. (89)

The above results for the perfect fluid are already well known and we just presented them for the sake of completeness.

B.2 Massive and massless particles

For the particle energy-momentum tensor, as far as we know, the relations between the physical quantities in the Jordan and Einstein frames are not completely derived yet. We, thus, present them here in some details. We start with the action of relativistic particles which is invariant under a conformal transformation. We, therefore, can systematically find relations between physical quantities before and after the conformal transformation.

In the Jordan frame, the action for a relativistic particle is given by

SJ(P)=12𝑑λ~[1e~(g~αβdxαdλ~dxβdλ~)e~m~2],\displaystyle S_{{\rm J}}^{(P)}=\frac{1}{2}\int d{\tilde{\lambda}}\left[\frac{1}{{\tilde{e}}}\left({\tilde{g}}_{\alpha\beta}\frac{dx^{\alpha}}{d{\tilde{\lambda}}}\frac{dx^{\beta}}{d{\tilde{\lambda}}}\right)-{\tilde{e}}\,{\tilde{m}}^{2}\right]\,, (90)

where m~{\tilde{m}} is the mass of the particle, λ~{\tilde{\lambda}} is an arbitrary curve parameter, and e~{\tilde{e}} is an auxiliary field.

Let us first focus on the case of a massive particle with m~0{\tilde{m}}\neq 0. In this case, the solution for the auxiliary field e~{\tilde{e}} can be obtained from its equation of motion as follows

e~=1m~g~αβdxαdλ~dxβdλ~.\displaystyle{\tilde{e}}=\frac{1}{{\tilde{m}}}\sqrt{-{\tilde{g}}_{\alpha\beta}\frac{dx^{\alpha}}{d{\tilde{\lambda}}}\frac{dx^{\beta}}{d{\tilde{\lambda}}}}\,. (91)

Substituting the above result in the action (90), we find the following action for the massive particles

SJ(M)=m~𝑑λ~g~αβdxαdλ~dxβdλ~.\displaystyle S_{{\rm J}}^{(M)}=-{\tilde{m}}\int d{\tilde{\lambda}}\,\sqrt{-{\tilde{g}}_{\alpha\beta}\frac{dx^{\alpha}}{d{\tilde{\lambda}}}\frac{dx^{\beta}}{d{\tilde{\lambda}}}}\,. (92)

For the massive particles the curve parameter can be simply chosen as the proper time λ~=τ~{\tilde{\lambda}}={\tilde{\tau}}.

In the case of a massless (null) particle with m~=0{\tilde{m}}=0, the action (90) reduces to

SJ(N)=12𝑑λ~1e~(g~αβdxαdλ~dxβdλ~).\displaystyle S_{{\rm J}}^{(N)}=\frac{1}{2}\int d{\tilde{\lambda}}\frac{1}{{\tilde{e}}}\left({\tilde{g}}_{\alpha\beta}\frac{dx^{\alpha}}{d{\tilde{\lambda}}}\frac{dx^{\beta}}{d{\tilde{\lambda}}}\right)\,. (93)

Contrary to the case of the massive particle, the auxiliary field e~{\tilde{e}} cannot be fixed by its equation of motion. Instead, the equation of motion of e~{\tilde{e}} gives the Hamiltonian constraint

g~αβdxαdλ~dxβdλ~=0.\displaystyle{\tilde{g}}_{\alpha\beta}\frac{dx^{\alpha}}{d{\tilde{\lambda}}}\frac{dx^{\beta}}{d{\tilde{\lambda}}}=0\,. (94)

The curve parameter λ~{\tilde{\lambda}} then can be chosen as an affine parameter. However, one can keep e~{\tilde{e}} and work with e~dλ~{\tilde{e}}d{\tilde{\lambda}} as an affine parameter. In this case, freedom in e~{\tilde{e}} allows us to keep the setup invariant under reparameterization of e~dλ~{\tilde{e}}d{\tilde{\lambda}}.

In the Einstein frame, the action takes the form

SE(P)=12𝑑λ[1e(gαβdxαdλdxβdλ)em2],\displaystyle S_{{\rm E}}^{(P)}=\frac{1}{2}\int d{\lambda}\left[\frac{1}{{e}}\left({g}_{\alpha\beta}\frac{dx^{\alpha}}{d{\lambda}}\frac{dx^{\beta}}{d{\lambda}}\right)-{e}\,{m}^{2}\right]\,, (95)

where mm denotes the mass of the relativistic particle in the Einstein frame.

Looking at the first terms in the right hand sides of the actions (90) and (95), from conformal transformation (76) we find the following relation

e~dλ~=F1edλ.\displaystyle{\tilde{e}}\,d{\tilde{\lambda}}=F^{-1}\,e\,d\lambda\,. (96)

Using the above result and comparing the second terms on the right hand sides of the actions (90) and (95), we find the following relation between the mass of the particles in the Jordan and Einstein frames

m~=Fm.\displaystyle{\tilde{m}}=\sqrt{F}\,m\,. (97)

In the case of the massive particle, when e~{\tilde{e}} is fixed by its equation of motion (91), we choose the curve parameter to be the proper time of the massive particle as λ~=τ~{\tilde{\lambda}}={\tilde{\tau}}. Then, from Eqs. (91) and (96) we find the following results

e~=eF,dτ~=dτF;e=1mgαβdxαdλdxβdλ.\displaystyle{\tilde{e}}=\frac{e}{\sqrt{F}},\hskip 5.69046ptd{\tilde{\tau}}=\frac{d\tau}{\sqrt{F}};\hskip 5.69046pt{e}=\frac{1}{{m}}\sqrt{-{g}_{\alpha\beta}\frac{dx^{\alpha}}{d{\lambda}}\frac{dx^{\beta}}{d{\lambda}}}. (98)

Finally, taking variation of the actions (92) and (93) with respect to the metric g~μν{\tilde{g}}_{\mu\nu} we find

T~μν(M)\displaystyle{\tilde{T}}^{(M)}_{\mu\nu} =\displaystyle= m~u~μu~ν1g~dτ~dtδ(3)(𝐱𝐳(t)),\displaystyle{\tilde{m}}{\tilde{u}}_{\mu}{\tilde{u}}_{\nu}\frac{1}{\sqrt{-{\tilde{g}}}}\frac{d{\tilde{\tau}}}{dt}\,\delta^{(3)}({\bf x}-{\bf z}(t))\,, (99)
T~μν(N)\displaystyle{\tilde{T}}^{(N)}_{\mu\nu} =\displaystyle= k~μk~ν1g~e~dλ~dtδ(3)(𝐱𝐲(t)),\displaystyle{\tilde{k}}_{\mu}{\tilde{k}}_{\nu}\frac{1}{\sqrt{-{\tilde{g}}}}\frac{{\tilde{e}}d{\tilde{\lambda}}}{dt}\,\delta^{(3)}({\bf x}-{\bf y}(t))\,, (100)

where u~μ=dxμdτ~{\tilde{u}}^{\mu}=\frac{dx^{\mu}}{d{\tilde{\tau}}} is the four-velocity of the massive particles and k~μ=dxμe~dλ~{\tilde{k}}^{\mu}=\frac{dx^{\mu}}{{\tilde{e}}d{\tilde{\lambda}}} is the four-momentum of the massless particles in the Jordan frame. In the Einstein frame, we have

Tμν(M)\displaystyle{T}^{(M)}_{\mu\nu} =\displaystyle= muμuν1gdτdtδ(3)(𝐱𝐳(t)),\displaystyle{m}{u}_{\mu}{u}_{\nu}\frac{1}{\sqrt{-{g}}}\frac{d{\tau}}{dt}\,\delta^{(3)}({\bf x}-{\bf z}(t))\,, (101)
Tμν(N)\displaystyle T^{(N)}_{\mu\nu} =\displaystyle= kμkν1gedλdtδ(3)(𝐱𝐲(t)),\displaystyle{k}_{\mu}{k}_{\nu}\frac{1}{\sqrt{-{g}}}\frac{{e}d{\lambda}}{dt}\,\delta^{(3)}({\bf x}-{\bf y}(t))\,, (102)

where uμ=dxμdτ{u}^{\mu}=\frac{dx^{\mu}}{d{\tau}} is the four-velocity of the massive particles and kμ=dxμedλ{k}^{\mu}=\frac{dx^{\mu}}{{e}d{\lambda}} is the four-momentum of the massless particle in the Einstein frame.

For the massive particle, using the results (98), we find

u~μ=Fuμ,u~μ=uμF,\displaystyle{\tilde{u}}^{\mu}=\sqrt{F}{u}^{\mu}\,,\hskip 28.45274pt{\tilde{u}}_{\mu}=\frac{{u}_{\mu}}{\sqrt{F}}\,, (103)

while for massless particle we find

k~μ=Fkμ,k~μ=kμ.\displaystyle{\tilde{k}}^{\mu}=F\,{k}^{\mu}\,,\hskip 28.45274pt{\tilde{k}}_{\mu}={k}_{\mu}\,. (104)

Here, we started from the first principle and we worked with the action. However, looking at the geodesic equation, it is also possible to find relation between affine parameters e~dλ~{\tilde{e}}d{\tilde{\lambda}} and edλ{e}d{\lambda} at the level of equation of motion [46]. Indeed, it is straightforward to show that if a massless particle with four-momentum k~μ{\tilde{k}}_{\mu} satisfies the geodesic equation k~α~αk~μ=0{\tilde{k}}^{\alpha}{\tilde{\nabla}}_{\alpha}{\tilde{k}}_{\mu}=0 with affine parameter e~dλ~{\tilde{e}}d{\tilde{\lambda}} in the Jordan frame, it also satisfies geodesic equation kααkμ=0{k}^{\alpha}{\nabla}_{\alpha}{k}_{\mu}=0 with the affine parameter edλed\lambda in the Einstein frame.

Appendix C Explicit values of mass matrix and source vector

We present explicit forms of the components of the mass and source matrices defined in Eq. (39). Indeed, we do not need these explicit results for our purpose in this paper and we only present them here for the sake of completeness.

The components of the mass matrix 𝐌{\bf M} are given by

M11\displaystyle M_{11} =(w+1)ρ¯4MPl2cs2{2ϵ(3cs21)6cs2(1+cs2)+(1+w)ρ¯(1cs2)H2MPl24cs2V¯φHφ¯˙+(3cs21)MPl22F¯φ2F¯2\displaystyle=\frac{(w+1)\bar{\rho}}{4M_{\rm Pl}^{2}c_{s}^{2}}\Bigg{\{}2\epsilon\left(3c_{s}^{2}-1\right)-6c_{s}^{2}\left(1+c_{s}^{2}\right)+\frac{(1+w)\bar{\rho}\left(1-c_{s}^{2}\right)}{H^{2}M_{\rm Pl}^{2}}-\frac{4c_{s}^{2}\bar{V}_{\varphi}}{H\dot{\bar{\varphi}}}+\frac{\left(3c_{s}^{2}-1\right){}^{2}M_{\rm Pl}^{2}\bar{F}_{\varphi}^{2}}{\bar{F}^{2}}
+[φ¯˙2(3cs44cs2+1)ρ¯((3w5)cs2+w+1)2H2MPl2(3cs21)(ϵ3cs2)]F¯φHφ¯˙F¯},\displaystyle+\left[\dot{\bar{\varphi}}^{2}\left(3c_{s}^{4}-4c_{s}^{2}+1\right)-\bar{\rho}\left((3w-5)c_{s}^{2}+w+1\right)-2H^{2}M_{\rm Pl}^{2}\left(3c_{s}^{2}-1\right)\left(\epsilon-3c_{s}^{2}\right)\right]\frac{\bar{F}_{\varphi}}{H\dot{\bar{\varphi}}\bar{F}}\Bigg{\}}\,,
M12\displaystyle M_{12} =(w+1)ρ¯4MPl2{3(13cs2)φ¯˙F¯φ2HF¯φ¯˙2(cs21)H2MPl2+15cs24ϵ+3},\displaystyle=\frac{(w+1)\bar{\rho}}{4M_{\rm Pl}^{2}}\Bigg{\{}3\left(1-3c_{s}^{2}\right)\frac{\dot{\bar{\varphi}}\bar{F}_{\varphi}}{2H\bar{F}}-\frac{\dot{\bar{\varphi}}^{2}\left(c_{s}^{2}-1\right)}{H^{2}M_{\rm Pl}^{2}}+15c_{s}^{2}-4\epsilon+3\Bigg{\}}\,,
M21\displaystyle M_{21} =12v{ϵH(3+4ϵ9cs2)(w+1)ρ¯φ¯˙2(cs21)2H3MPl4(w+1)ρ¯(9cs2+4ϵ+3)+12φ¯˙22HMPl2\displaystyle=\frac{1}{2v}\Bigg{\{}\epsilon H\left(3+4\epsilon-9c_{s}^{2}\right)-\frac{(w+1)\bar{\rho}\dot{\bar{\varphi}}^{2}\left(c_{s}^{2}-1\right)}{2H^{3}M_{\rm Pl}^{4}}-\frac{(w+1)\bar{\rho}\left(-9c_{s}^{2}+4\epsilon+3\right)+12\dot{\bar{\varphi}}^{2}}{2HM_{\rm Pl}^{2}}
+[(13cs2)F¯φHF¯2φ¯˙H2MPl2]V¯φ(3cs21)(7φ¯˙2+2(3w1)ρ¯)F¯φ22HF¯2\displaystyle+\left[\left(1-3c_{s}^{2}\right)\frac{\bar{F}_{\varphi}}{H\bar{F}}-\frac{2\dot{\bar{\varphi}}}{H^{2}M_{\rm Pl}^{2}}\right]\bar{V}_{\varphi}-\left(3c_{s}^{2}-1\right)\left(7\dot{\bar{\varphi}}^{2}+2(3w-1)\bar{\rho}\right)\frac{\bar{F}_{\varphi}^{2}}{2H\bar{F}^{2}}
+[(5ϵ3)(3cs21)ρ¯(3(w+1)cs2+11w5)2H2MPl2]φ¯˙F¯φ2F¯+(3cs21)φ¯˙2F¯φφHF¯},\displaystyle+\left[(5\epsilon-3)\left(3c_{s}^{2}-1\right)-\frac{\bar{\rho}\left(3(w+1)c_{s}^{2}+11w-5\right)}{2H^{2}M_{\rm Pl}^{2}}\right]\frac{\dot{\bar{\varphi}}\bar{F}_{\varphi}}{2\bar{F}}+\left(3c_{s}^{2}-1\right)\frac{\dot{\bar{\varphi}}^{2}\bar{F}_{\varphi\varphi}}{H\bar{F}}\Bigg{\}}\,,
M22\displaystyle M_{22} =(w+1)ρ¯4MPl2[34ϵ+15cs2+(1cs2)φ¯˙2H2MPl2+3(13cs2)φ¯˙F¯φ2HF¯],\displaystyle=\frac{(w+1)\bar{\rho}}{4M_{\rm Pl}^{2}}\Bigg{[}3-4\epsilon+15c_{s}^{2}+\left(1-c_{s}^{2}\right)\frac{\dot{\bar{\varphi}}^{2}}{H^{2}M_{\rm Pl}^{2}}+3\left(1-3c_{s}^{2}\right)\frac{\dot{\bar{\varphi}}\bar{F}_{\varphi}}{2H\bar{F}}\Bigg{]}\,, (105)

where we have defined ϵH˙/H2\epsilon\equiv-\dot{H}/H^{2}.

The components of the particle source matrix 𝝁(P)\bm{\mu}^{(P)} are also given by

μζ(P)\displaystyle{\mu}_{\zeta}^{(P)} =14πMPl2{α(P)+ψ(P)+232E(P)[(3ϵ)H+V¯φφ¯˙(1+w)ρ¯4HMPl2cs2(1cs2)]β(P)}\displaystyle=-\frac{1}{4\pi M_{\rm Pl}^{2}}\left\{\alpha^{(P)}+\psi^{(P)}+\frac{2}{3}\partial^{2}E^{(P)}-\left[(3-\epsilon)H+\frac{\bar{V}_{\varphi}}{\dot{\bar{\varphi}}}-\frac{(1+w)\bar{\rho}}{4HM_{\rm Pl}^{2}c_{s}^{2}}\left(1-c_{s}^{2}\right)\right]\beta^{(P)}\right\}
+HF¯φ4πφ¯˙F¯[α(P)+3ψ(P)+(1+w)ρ¯4HMPl2cs2(153w1+wcs2)β(P)],\displaystyle+\frac{H\bar{F}_{\varphi}}{4\pi\dot{\bar{\varphi}}\bar{F}}\left[\alpha^{(P)}+3\psi^{(P)}+\frac{(1+w)\bar{\rho}}{4HM_{\rm Pl}^{2}c_{s}^{2}}\left(1-\frac{5-3w}{1+w}c_{s}^{2}\right)\beta^{(P)}\right]\,,
μδQ(P)\displaystyle\mu_{\delta{Q}}^{(P)} =v4πHMPl2{cs2α(P)+ψ(P)+232E(P)\displaystyle=\frac{v}{4\pi{H}M_{\rm Pl}^{2}}\Bigg{\{}c_{s}^{2}\alpha^{(P)}+\psi^{(P)}+\frac{2}{3}\partial^{2}E^{(P)}
14[(34ϵ+15cs2)H+φ¯˙2((1cs2)HMPl232(3cs21)F¯φφ¯˙F¯)]β(P)}.\displaystyle-\frac{1}{4}\bigg{[}\left(3-4\epsilon+15c_{s}^{2}\right)H+\dot{\bar{\varphi}}^{2}\left(\frac{\left(1-c_{s}^{2}\right)}{HM_{\rm Pl}^{2}}-\frac{3}{2}\left(3c_{s}^{2}-1\right)\frac{\bar{F}_{\varphi}}{\dot{\bar{\varphi}}\bar{F}}\right)\bigg{]}\beta^{(P)}\Bigg{\}}\,. (106)

Appendix D The minimal coupling and constant scalar background limit

From Eq. (7), we see that for the case of minimally coupled scalar field with F=constantF=\mbox{constant} and the constant scalar field background φ¯˙=0\dot{\bar{\varphi}}=0, there should be no source for the scalar field φ\varphi and, therefore, there should be no scalar memory effect in this case. On the other hand, if we take the limit F=constantF=\mbox{constant} and φ¯˙=0\dot{\bar{\varphi}}=0 in Eq. (106), we find μζ(P)0{\mu}_{\zeta}^{(P)}\neq 0 for the mode ζ\zeta. One may concern that there would be a scalar memory effect in this limit which is apparently not consistent with Eq. (7) that holds at the fully non-linear level. In this appendix, we clarify that this is simply a gauge artifact and, using a gauge-invariant counterpart of the scalar field perturbation, we show that the limit is indeed consistent. The reason why we used the unitary gauge (28) in the paper is that the results away from the constant scalar background become very simple in this gauge.

For the gravity and fluid sectors, we deal with scalar perturbations {α,β,ψ,E,δϕ}\{\alpha,\beta,\psi,E,\delta\phi\} and {δρ,U}\{\delta\rho,U\} respectively. We have worked with variable ζ\zeta defined in Eq. (27)

ζ=ψHφ¯˙δφ.\displaystyle\zeta=\psi-\frac{H}{\dot{\bar{\varphi}}}\delta\varphi\,. (107)

The quantity ζ\zeta is a combination of ψ\psi and δφ\delta\varphi which becomes ζ=ψ\zeta=\psi in unitary gauge (28) when δφ=0\delta\varphi=0 while ζ=Hφ¯˙δφ\zeta=\frac{H}{\dot{\bar{\varphi}}}\delta\varphi if we fix the gauge as ψ=0\psi=0. In order to make the minimal coupling and constant scalar background limit F=constantF=\mbox{constant} and φ¯˙=0\dot{\bar{\varphi}}=0 manifest in the equations, we need to work with δφ\delta\varphi. In order to avoid any gauge artifact, let us look at the following gauge-invariant variables444Remember that all perturbations in the particle energy-momentum tensor are gauge-invariant.

Φ=α+(βa2E˙)˙,\displaystyle\Phi=\alpha+(\beta-a^{2}\dot{E})\dot{}\,, Ψ=ψ+H(βa2E˙),\displaystyle\Psi=\psi+H(\beta-a^{2}\dot{E})\,, (108)
δφN=δφ+φ¯˙(βa2E˙),\displaystyle\delta\varphi_{\rm N}=\delta\varphi+\dot{\bar{\varphi}}(\beta-a^{2}\dot{E})\,, (109)
δρN=δρ+ρ¯˙(βa2E˙),\displaystyle\delta\rho_{\rm N}=\delta\rho+\dot{\bar{\rho}}(\beta-a^{2}\dot{E})\,, UN=U+(βa2E˙).\displaystyle U_{\rm N}=U+(\beta-a^{2}\dot{E})\,. (110)

In terms of the gauge-invariant variables, ζ\zeta becomes

ζ=ΨHφ¯˙δφN,\displaystyle\zeta=\Psi-\frac{H}{\dot{\bar{\varphi}}}\delta\varphi_{\rm N}\,, (111)

which shows that, independent of the gauge, ζ\zeta always includes metric perturbations. This clarifies the apparent discrepancy that we mentioned in the beginning of this appendix. Therefore, we need to work with δφN\delta\varphi_{\rm N} to make the minimal coupling and constant scalar background limit F=constantF=\mbox{constant} and φ¯˙=0\dot{\bar{\varphi}}=0 manifest in the equations.

After defining gauge-invariant variables, in any gauge we will deal with δφN\delta\varphi_{\rm N} in terms of which the limit F=constantF=\mbox{constant} and φ¯˙=0\dot{\bar{\varphi}}=0 will be manifest. So, let us fix the gauge for the sake of simplicity and work in the longitudinal gauge

β=0,E=0.\beta=0\,,\hskip 42.67912ptE=0\,. (112)

We thus find the following gauge-fixed quantities

Φ=α,Ψ=ψ,δφN=δφ,\displaystyle\Phi=\alpha\,,\hskip 14.22636pt\Psi=\psi\,,\hskip 14.22636pt\delta\varphi_{\rm N}=\delta\varphi\,, (113)
δρN=δρ,UN=U.\displaystyle\delta\rho_{\rm N}=\delta\rho\,,\hskip 14.22636ptU_{\rm N}=U\,. (114)

As it is clear, in this gauge, δφ\delta\varphi, δρ\delta\rho, UU are gauge-invariant and, from now on, we will drop the subscript and show δφN\delta\varphi_{\rm N}, δρN\delta\rho_{\rm N}, UNU_{\rm N} by δφ,δρ,U\delta\varphi,\delta\rho,U.

The line element for the scalar perturbations in this gauge takes the form

ds2=N¯2(1+2Φ)dt2+a2(1+2Ψ)δijdxidxj.ds^{2}=-\bar{N}^{2}(1+2\Phi)dt^{2}+a^{2}(1+2\Psi)\delta_{ij}dx^{i}dx^{j}\,. (115)

The linearized Einstein Eqs. (5) give

2MPl2[3H(Ψ˙HΦ)1a22Ψ]\displaystyle 2M_{\rm Pl}^{2}\left[3H(\dot{\Psi}-H\Phi)-\frac{1}{a^{2}}\partial^{2}\Psi\right]
=φ¯˙2Φ+φ¯˙δφ˙+V¯φδφ+δρ+2α(P),\displaystyle=-\dot{\bar{\varphi}}^{2}\Phi+\dot{\bar{\varphi}}\dot{\delta\varphi}+\bar{V}_{\varphi}\delta\varphi+\delta\rho+2\alpha^{(P)}\,, (116)
2MPl2(Ψ˙HΦ)=φ¯˙δφ+(1+w)ρ¯U+β(P),\displaystyle-2M_{\rm Pl}^{2}(\dot{\Psi}-H\Phi)=\dot{\bar{\varphi}}\delta\varphi+(1+w)\bar{\rho}\,{U}+\beta^{(P)}\,, (117)
1a2MPl2ij(Φ+Ψ)=2ijE(P),ij\displaystyle\frac{1}{a^{2}}M_{\rm Pl}^{2}\partial^{i}\partial_{j}(\Phi+\Psi)=-2\partial^{i}\partial_{j}E^{(P)}\,,\hskip 28.45274pti\neq j (118)
2MPl2[Ψ¨+H(3Ψ˙Φ˙)(2H˙+3H2)Φ]\displaystyle 2M_{\rm Pl}^{2}\left[\ddot{\Psi}+H(3\dot{\Psi}-\dot{\Phi})-(2\dot{H}+3H^{2})\Phi\right]
23MPl21a22(Φ+Ψ)\displaystyle-\frac{2}{3}M_{\rm Pl}^{2}\frac{1}{a^{2}}\partial^{2}(\Phi+\Psi)
=φ¯˙2Φφ¯˙δφ˙+V¯φδφcs2δρ+2ψ(P),i=j\displaystyle=\dot{\bar{\varphi}}^{2}\Phi-\dot{\bar{\varphi}}\dot{\delta\varphi}+\bar{V}_{\varphi}\delta\varphi-c_{s}^{2}\delta\rho+2\psi^{(P)}\,,\hskip 28.45274pti=j (119)

Linearizing equations for the conservation of perfect fluid (9), we find

δρ˙ρ¯+3H(1+cs2)δρρ¯+(1+w)(3Ψ˙1a22U)\displaystyle\frac{\dot{\delta\rho}}{\bar{\rho}}+3H\left(1+c_{s}^{2}\right)\frac{\delta\rho}{\bar{\rho}}+(1+w)\Big{(}3\dot{\Psi}-\frac{1}{a^{2}}\partial^{2}U\Big{)}
=φ¯˙F¯φ2F¯(13cs2)δρρ¯12(13w)dN¯dt(F¯φF¯δφ),\displaystyle=-\frac{\dot{\bar{\varphi}}\bar{F}_{\varphi}}{2\bar{F}}(1-3c_{s}^{2})\frac{\delta\rho}{\bar{\rho}}-\frac{1}{2}(1-3w)\frac{d}{{\bar{N}}dt}\left(\frac{\bar{F}_{\varphi}}{\bar{F}}{\delta\varphi}\right)\,, (120)
U˙+3HU(ρ¯˙ρ¯+w˙1+w)U\displaystyle\dot{U}+3H{U}-\left(\frac{\dot{\bar{\rho}}}{\bar{\rho}}+\frac{\dot{w}}{1+w}\right){U} (121)
=cs2(1+w)δρρ¯+ΦF¯φ2F¯13w1+wδφ.\displaystyle=\frac{c_{s}^{2}}{(1+w)}\frac{\delta\rho}{\bar{\rho}}+\Phi-\frac{\bar{F}_{\varphi}}{2\bar{F}}\frac{1-3w}{1+w}\delta\varphi\,.

Linearizing equations for the conservation of particle energy-momentum tensor (10), we find the same Eqs. as (37) and (38).

Linearized equation for the scalar field (7) gives

δφ¨+3Hδφ˙+(1a22+V¯φφ)δφ+2V¯φΦ+φ¯˙(3Ψ˙Φ˙)\displaystyle\ddot{\delta\varphi}+3H\dot{\delta\varphi}+\Big{(}-\frac{1}{a^{2}}\partial^{2}+\bar{V}_{\varphi\varphi}\Big{)}\delta\varphi+2\bar{V}_{\varphi}\Phi+\dot{\bar{\varphi}}(3\dot{\Psi}-\dot{\Phi})
=F¯φ2F¯[(13cs2)δρ+2(α(P)+3ψ(P))]\displaystyle=\frac{\bar{F}_{\varphi}}{2\bar{F}}\left[(1-3c_{s}^{2})\delta\rho+2\big{(}\alpha^{(P)}+3\psi^{(P)}\big{)}\right]
+12(13w)ρ¯[2F¯φF¯Φ+dN¯dt(F¯φF¯)δφ],\displaystyle+\frac{1}{2}(1-3w)\bar{\rho}\left[2\frac{\bar{F}_{\varphi}}{\bar{F}}\Phi+\frac{d}{{\bar{N}}dt}\left(\frac{\bar{F}_{\varphi}}{\bar{F}}\right)\delta\varphi\right]\,, (122)

As it can be seen from the above equation, the minimal coupling and constant scalar background limit F=constantF=\mbox{constant} and φ¯˙=0\dot{\bar{\varphi}}=0 is manifest: there is no source for the gauge-invariant variables δφ\delta\varphi in this limit. Therefore, as expected, there is no scalar memory effect in this limit.

Appendix E The coupled wave equations on a curved spacetime

In this appendix, our primary aim is to find Green’s functions corresponding to Eq. (39) starting from the first principle. However, we consider a general setup, which is applicable for other purposes as well. We thus apply our general results in this appendix to the particular case of Eq. (39) only in the last subsection.

We start with a set of coupled wave equations propagating on a background spacetime with metric gμν{g}_{\mu\nu} as follows

𝓛.𝝃=4π𝝁;\displaystyle{\bm{\mathcal{L}}}^{\prime}.\bm{\xi}^{\prime}=-4\pi\bm{\mu}^{\prime}\,; 𝓛=𝓖μνμν𝓝μμ𝓜,\displaystyle{\bm{\mathcal{L}}}^{\prime}=\bm{\mathcal{G}}^{\prime\mu\nu}{\nabla}_{\mu}{\nabla}_{\nu}-\bm{\mathcal{N}}^{\prime\mu}{\nabla}_{\mu}-\bm{\mathcal{M}}^{\prime}\,, (123)

where \nabla denotes the covariant derivatives compatible with gμν{g}_{\mu\nu}, 𝓖μν\bm{\mathcal{G}}^{\prime\mu\nu}, 𝓝μ\bm{\mathcal{N}}^{\prime\mu} and 𝓜\bm{\mathcal{M}}^{\prime} are 2×22\times 2 matrices while 𝝃\bm{\xi}^{\prime} and 𝝁\bm{\mu}^{\prime} are 2×12\times 1 matrices. The matrices 𝓖μν\bm{\mathcal{G}}^{\prime\mu\nu} characterize the lightcone structures of the modes 𝝃\bm{\xi}^{\prime}, the matrices 𝓝μ\bm{\mathcal{N}}^{\prime\mu} encode the friction terms, the matrix 𝓜\bm{\mathcal{M}}^{\prime} is the mass matrix while 𝝁\bm{\mu}^{\prime} is the source matrix.

Performing field redefinition 𝝃=𝐏.𝝃\bm{\xi}={\bf P}.\bm{\xi}^{\prime} and defining 𝝁𝐏.𝝁\bm{\mu}\equiv{\bf P}^{\intercal}.\bm{\mu}^{\prime}, Eq. (123) becomes

𝓛.𝝃=4π𝝁;\displaystyle\bm{\mathcal{L}}.\bm{\xi}=-4\pi\bm{\mu}\,; 𝓛=𝓖μνμν𝓝μμ𝓜,\displaystyle\bm{\mathcal{L}}=\bm{\mathcal{G}}^{\mu\nu}{\nabla}_{\mu}{\nabla}_{\nu}-\bm{\mathcal{N}}^{\mu}{\nabla}_{\mu}-\bm{\mathcal{M}}\,, (124)

where we have defined

𝓖μν\displaystyle\bm{\mathcal{G}}^{\mu\nu} 𝐏.𝓖μν.𝐏,\displaystyle\equiv{\bf P}^{\intercal}.\bm{\mathcal{G}}^{\prime\mu\nu}.{\bf P}\,, (125)
𝓝μ\displaystyle\bm{\mathcal{N}}^{\mu} 𝐏.𝓝μ.𝐏2𝐏.𝓖μν.ν𝐏,\displaystyle\equiv{\bf P}^{\intercal}.\bm{\mathcal{N}}^{\prime\mu}.{\bf P}-2{\bf P}^{\intercal}.\bm{\mathcal{G}}^{\prime\mu\nu}.{\nabla}_{\nu}{\bf P}\,, (126)
𝓜\displaystyle\bm{\mathcal{M}} 𝐏.𝓜.𝐏+𝐏.𝓝μ.μ𝐏𝐏.𝓖μν.μν𝐏.\displaystyle\equiv{\bf P}^{\intercal}.\bm{\mathcal{M}}^{\prime}.{\bf P}+{\bf P}^{\intercal}.\bm{\mathcal{N}}^{\prime\mu}.{\nabla}_{\mu}{\bf P}-{\bf P}^{\intercal}.\bm{\mathcal{G}}^{\prime\mu\nu}.{\nabla}_{\mu}{\nabla}_{\nu}{\bf P}\,. (127)

This transformation will allow us to bring matrix 𝓖μν\bm{\mathcal{G}}^{\mu\nu} into a simple form by appropriately choosing 𝐏{\bf P}. This is essential when we study the lightcone structures of the modes 𝝃\bm{\xi} later. Considering the following component forms

𝝃(ξ1ξ2),\displaystyle\bm{\xi}\doteq\begin{pmatrix}\xi_{1}\\ \xi_{2}\end{pmatrix}\,, 𝝁(μ1μ2),\displaystyle\bm{\mu}\doteq\begin{pmatrix}\mu_{1}\\ \mu_{2}\end{pmatrix}\,, (128)

Eq. (124) yields

𝓛11ξ1+𝓛12ξ2=4πμ1,\displaystyle\bm{\mathcal{L}}_{11}\xi_{1}+\bm{\mathcal{L}}_{12}\xi_{2}=-4\pi{\mu}_{1}\,, (129)
𝓛21ξ1+𝓛22ξ2=4πμ2,\displaystyle\bm{\mathcal{L}}_{21}\xi_{1}+\bm{\mathcal{L}}_{22}\xi_{2}=-4\pi{\mu}_{2}\,, (130)

and the corresponding Green’s functions satisfy

𝓛11G1S(x,x)+𝓛12G2S(x,x)=4πδ(4)(x,x),\displaystyle\bm{\mathcal{L}}_{11}{G}_{1}^{S}(x,x^{\prime})+\bm{\mathcal{L}}_{12}{G}_{2}^{S}(x,x^{\prime})=-4\pi\delta^{(4)}(x,x^{\prime})\,, (131)
𝓛21G1S(x,x)+𝓛22G2S(x,x)=4πδ(4)(x,x),\displaystyle\bm{\mathcal{L}}_{21}{G}_{1}^{S}(x,x^{\prime})+\bm{\mathcal{L}}_{22}{G}_{2}^{S}(x,x^{\prime})=-4\pi\delta^{(4)}(x,x^{\prime})\,, (132)

where δ(4)(x,x)=δ(4)(xx)/g\delta^{(4)}(x,x^{\prime})=\delta^{(4)}(x-x^{\prime})/\sqrt{-{g}}. The solutions for ξ1\xi_{1} and ξ2\xi_{2} are given by

ξ1(x)\displaystyle\xi_{1}(x) =d4xg(x)G1S(x,x)μ1(x),\displaystyle=\int d^{4}x^{\prime}\sqrt{-{g}(x^{\prime})}{G}^{S}_{1}(x,x^{\prime}){\mu}_{1}(x^{\prime})\,, (133)
ξ2(x)\displaystyle\xi_{2}(x) =d4xg(x)G2S(x,x)μ2(x).\displaystyle=\int d^{4}x^{\prime}\sqrt{-{g}(x^{\prime})}{G}^{S}_{2}(x,x^{\prime}){\mu}_{2}(x^{\prime})\,. (134)

E.1 Foliation of the spacetime

The setup in the previous subsection was very general as we did not impose any conditions on the background metric gμνg_{\mu\nu}. In this subsection, we simplify the setup by assuming that the background metric allows for a foliation to time slices. This is a reasonable assumption in the sense that we need a notion of time as far as we are interested in wave equations. For example, this is the case for the cosmological spacetime, spherically symmetric, and black hole solutions.

Foliating the spacetime region of interest by time slices, the corresponding unit vector normal to the spacelike constant-time hypersurfaces is given by

nμ=δ0μg00;gμνnμnν=1.\displaystyle{n}_{\mu}=-\frac{\delta^{0}{}_{\mu}}{\sqrt{-{g}^{00}}}\,;\qquad{g}^{\mu\nu}{n}_{\mu}{n}_{\nu}=-1\,. (135)

As usual, we define the induced metric on the spatial hypersurfaces as follows

hμνgμν+nμnν,{h}_{\mu\nu}\equiv{g}_{\mu\nu}+{n}_{\mu}{n}_{\nu}\,, (136)

which satisfies hμnαα=0{h}_{\mu}{}^{\alpha}{n}_{\alpha}=0 and hμhαα=νhμν{h}^{\mu}{}_{\alpha}{h}^{\alpha}{}_{\nu}={h}^{\mu}{}_{\nu}. Based on the existence of the time slices, we assume the following form of the matrices 𝓖μν\bm{\mathcal{G}}^{\prime\mu\nu} and 𝓝μ\bm{\mathcal{N}}^{\prime\mu}.

𝓖μν\displaystyle\bm{\mathcal{G}}^{\prime\mu\nu} =𝓒hμν𝓚nμnν,\displaystyle=\bm{\mathcal{C}}^{\prime}\,{h}^{\mu\nu}-\bm{\mathcal{K}}^{\prime}\,{n}^{\mu}{n}^{\nu}\,, (137)
𝓝μ\displaystyle\bm{\mathcal{N}}^{\prime\mu} =𝚯nμ𝜿μ;nμ𝜿μ=0,\displaystyle=\bm{\Theta}^{\prime}\,{n}^{\mu}-\bm{\kappa}^{\prime\mu}\,;\hskip 56.9055ptn_{\mu}\bm{\kappa}^{\prime\mu}=0\,, (138)

where 𝓒\bm{\mathcal{C}}^{\prime}, 𝓚\bm{\mathcal{K}}^{\prime}, 𝚯\bm{\Theta}^{\prime}, and 𝜿μ\bm{\kappa}^{\prime\mu} are general 2×22\times 2 matrices and their components are spacetime functions. From (125) and (126) we find555We can also rewrite the metric matrices in the disformal form 𝓖μν=𝓒gμν+𝓓nμnν\bm{\mathcal{G}}^{\mu\nu}=\bm{\mathcal{C}}\,{g}^{\mu\nu}+\bm{\mathcal{D}}\,{n}^{\mu}{n}^{\nu} where 𝓓𝓒𝓚\bm{\mathcal{D}}\equiv\bm{\mathcal{C}}-\bm{\mathcal{K}}. However, the form (137) is more appropriate for our purposes.

𝓖μν\displaystyle\bm{\mathcal{G}}^{\mu\nu} =𝓒hμν𝓚nμnν,\displaystyle=\bm{\mathcal{C}}{h}^{\mu\nu}-\bm{\mathcal{K}}{n}^{\mu}{n}^{\nu}\,, (139)
𝓝μ\displaystyle\bm{\mathcal{N}}^{\mu} =𝚯nμ𝜿μ;nμ𝜿μ=0,\displaystyle=\bm{\Theta}\,{n}^{\mu}-\bm{\kappa}^{\mu}\,;\hskip 56.9055ptn_{\mu}\bm{\kappa}^{\mu}=0\,, (140)

where we have defined

𝓒\displaystyle\bm{\mathcal{C}} 𝐏.𝓒.𝐏,\displaystyle\equiv{\bf P}^{\intercal}.\bm{\mathcal{C}}^{\prime}.{\bf P}\,,
𝓚\displaystyle\bm{\mathcal{K}} 𝐏.𝓚.𝐏,\displaystyle\equiv{\bf P}^{\intercal}.\bm{\mathcal{K}}^{\prime}.{\bf P}\,,
𝚯\displaystyle\bm{\Theta} 𝐏.𝚯.𝐏2𝐏.𝓚.nνν𝐏,\displaystyle\equiv{\bf P}^{\intercal}.\bm{\Theta}^{\prime}.{\bf P}-2{\bf P}^{\intercal}.\bm{\mathcal{K}}^{\prime}.n^{\nu}\nabla_{\nu}{\bf P}\,,
𝜿μ\displaystyle\bm{\kappa}^{\mu} 𝐏.𝜿μ.𝐏+2𝐏.𝓒.hμνν𝐏.\displaystyle\equiv{\bf P}^{\intercal}.\bm{\kappa}^{\prime\mu}.{\bf P}+2{\bf P}^{\intercal}.\bm{\mathcal{C}}^{\prime}.h^{\mu\nu}\nabla_{\nu}{\bf P}\,.

The decomposition (140) is the most general one for 𝓝μ\bm{\mathcal{N}}^{\mu} while (139) is not the most general one for 𝓖μν\bm{\mathcal{G}}^{\mu\nu}. However, first, this special form is invariant under the general transformation characterized by the matrix 𝐏{\bf P} as we can see from Eqs. (137) and (139). Second, it is general enough to include many interesting cases, e.g., cosmological, spherically symmetric, and many black hole solutions.

The matrices 𝓒\bm{\mathcal{C}} and 𝓚\bm{\mathcal{K}} characterize the gradient and kinetic terms for the modes ξ1\xi_{1} and ξ2\xi_{2} and, therefore, we assume that they are both positive definite to avoid gradient and ghost instabilities. Moreover, as the tangential and orthogonal parts are independent pieces, two components of 𝐏{\bf P} are enough to make both 𝓒=𝐏.𝓒.𝐏\bm{\mathcal{C}}={\bf P}^{\intercal}.\bm{\mathcal{C}}^{\prime}.{\bf P} and 𝓚=𝐏.𝓚.𝐏\bm{\mathcal{K}}={\bf P}^{\intercal}.\bm{\mathcal{K}}^{\prime}.{\bf P} diagonal. We use the remaining two components of 𝐏{\bf P} to impose the normalization condition 𝓚=𝟏\bm{\mathcal{K}}=\bm{1}. Therefore, by appropriately choosing 𝐏{\bf P}, we can always simplify Eq. (139) as follows

𝓖μν=𝓒hμν𝟏nμnν,\displaystyle\bm{\mathcal{G}}^{\mu\nu}=\bm{\mathcal{C}}\,{h}^{\mu\nu}-\bm{1}\,{n}^{\mu}{n}^{\nu}\,, (141)

where now 𝓒\bm{\mathcal{C}} is a diagonal 2×22\times 2 matrix. Note also that nμnν𝓖μν=𝟏{n}_{\mu}{n}_{\nu}\bm{\mathcal{G}}^{\mu\nu}=-\bm{1} which shows that choice 𝓚=𝟏\bm{\mathcal{K}}=\bm{1}, that we have made, corresponds to the normalization conditions for nμn^{\mu} with respect to both diagonal components of the metric matrices 𝓖μν\bm{\mathcal{G}}^{\mu\nu}. It is also worth mentioning that we are not interested in the trivial case of 𝓒𝟏\bm{\mathcal{C}}\propto\bm{1}, or equivalently 𝓖μν𝟏gμν\bm{\mathcal{G}}^{\mu\nu}\propto\bm{1}g^{\mu\nu}, when both modes propagate with the same speeds. The assumption that 𝓒\bm{\mathcal{C}} and 𝓚\bm{\mathcal{K}} are positive definite guaranties the existence of an inverse matrix 𝓖μα𝓖αν=𝟏δμν\bm{\mathcal{G}}^{\mu\alpha}\bm{\mathcal{G}}_{\alpha\nu}=\bm{1}\delta^{\mu}{}_{\nu} which is given by

𝓖μν=𝓒1hμν𝟏nμnν.\displaystyle\bm{\mathcal{G}}_{\mu\nu}=\bm{\mathcal{C}}^{-1}\,{h}_{\mu\nu}-\bm{1}\,{n}_{\mu}{n}_{\nu}\,. (142)

Now, let us present our results in the component forms which is more useful for some practical purposes. We introduce diagonal components of 𝓖μν\bm{\mathcal{G}}^{\mu\nu} and 𝓒\bm{\mathcal{C}} as

𝓖μνdiag(𝒢1μν,𝒢2μν),\displaystyle\bm{\mathcal{G}}^{\mu\nu}\equiv\mbox{diag}\left({\mathcal{G}}^{\mu\nu}_{1},{\mathcal{G}}^{\mu\nu}_{2}\right)\,, 𝓒=diag(c12,c22).\displaystyle\bm{\mathcal{C}}={\rm diag}\left(c_{1}^{2},c_{2}^{2}\right)\,. (143)

Eqs. (141) and (142) then give

𝒢1μν=c12hμνnμnν,\displaystyle{\mathcal{G}}_{1}^{\mu\nu}=c_{1}^{2}\,{h}^{\mu\nu}-{n}^{\mu}{n}^{\nu}\,, 𝒢2μν=c22hμνnμnν,\displaystyle{\mathcal{G}}_{2}^{\mu\nu}=c_{2}^{2}\,{h}^{\mu\nu}-{n}^{\mu}{n}^{\nu}\,, (144)
𝒢1μν=c12hμνnμnν,\displaystyle{\mathcal{G}}_{1\mu\nu}=c_{1}^{-2}{h}_{\mu\nu}-{n}_{\mu}{n}_{\nu}\,, 𝒢2μν=c22hμνnμnν.\displaystyle{\mathcal{G}}_{2\mu\nu}=c_{2}^{-2}{h}_{\mu\nu}-{n}_{\mu}{n}_{\nu}\,. (145)

The positivity of 𝓒\bm{\mathcal{C}} together with the condition of excluding the trivial case that both modes propagate at the same speeds, read as

c10,\displaystyle{c}_{1}\neq 0\,, c20,\displaystyle{c}_{2}\neq 0\,, c1c2.\displaystyle{c}_{1}\neq{c}_{2}\,. (146)

Using (140) and (141) in Eqs.(129) and (130) and then using the component forms (143), we find

[d2ds2+(c12θ+Θ11)ddsc12D2(aμ+κ11μ)Dμ+11]ξ1\displaystyle\left[\frac{d^{2}}{ds^{2}}+\left(c_{1}^{2}\theta+\Theta_{11}\right)\frac{d}{ds}-c_{1}^{2}D^{2}-\left(a^{\mu}+\kappa^{\mu}_{11}\right)D_{\mu}+{\mathcal{M}}_{11}\right]\xi_{1}
+[Θ12dds+κ12μDμ+12]ξ2=4πμ1,\displaystyle+\left[\Theta_{12}\frac{d}{ds}+\kappa^{\mu}_{12}D_{\mu}+{\mathcal{M}}_{12}\right]\xi_{2}=4\pi{\mu}_{1}\,, (147)
[d2ds2+(c22θ+Θ22)ddsc22D2(aμ+κ22μ)Dμ+22]ξ2\displaystyle\left[\frac{d^{2}}{ds^{2}}+\left(c_{2}^{2}\theta+\Theta_{22}\right)\frac{d}{ds}-c_{2}^{2}D^{2}-\left(a^{\mu}+\kappa^{\mu}_{22}\right)D_{\mu}+{\mathcal{M}}_{22}\right]\xi_{2}
+[Θ21dds+κ21μDμ+21]ξ1=4πμ2,\displaystyle+\left[\Theta_{21}\frac{d}{ds}+\kappa^{\mu}_{21}D_{\mu}+{\mathcal{M}}_{21}\right]\xi_{1}=4\pi{\mu}_{2}\,, (148)

where we have defined the parameter ss and the expansion scalar666Indeed, differentiation with respect to the parameter ss is nothing but the Lie derivative along the vector nμn^{\mu}, d/ds=£nd/ds=\pounds_{n}, which determines the time direction. In the special case when the acceleration vanishes aμ=0a_{\mu}=0, parameter ss becomes the affine parameter of the geodesic equation nννnμ=0{n}^{\nu}{\nabla}_{\nu}n_{\mu}=0.

ddsnμμ,\displaystyle\frac{d}{ds}\equiv{n}^{\mu}{\nabla}_{\mu}\,, θμnμ,\displaystyle\theta\equiv\nabla_{\mu}n^{\mu}\,, (149)

and also the spatial derivative and the acceleration

Dμhμαα,\displaystyle D_{\mu}\equiv h_{\mu}{}^{\alpha}{\nabla}_{\alpha}\,, aμnννnμ.\displaystyle a_{\mu}\equiv{n}^{\nu}{\nabla}_{\nu}n_{\mu}\,. (150)

From Eqs. (147) and (148) we see that c1c_{1} and c2c_{2} are the sound speeds for the modes ξ1\xi_{1} and ξ2\xi_{2} respectively. This is the advantage of the decomposition based on the time slices.

E.2 Geodetic intervals and van Vleck-Morette determinants

As usual, in order to solve the wave equations (129) and (130) or equivalently Eqs. (147) and (148), we define timelike geodetic intervals s1(x,x)s_{1}(x,x^{\prime}) and s2(x,x)s_{2}(x,x^{\prime}) as follows

𝒢1μνμs1νs1=1,\displaystyle{\mathcal{G}}^{\mu\nu}_{1}{\nabla}_{\mu}s_{1}{\nabla}_{\nu}s_{1}=-1\,, 𝒢2μνμs2νs2=1.\displaystyle{\mathcal{G}}^{\mu\nu}_{2}{\nabla}_{\mu}s_{2}{\nabla}_{\nu}s_{2}=-1\,. (151)

The geodetic intervals s1(x,x)s_{1}(x,x^{\prime}) and s2(x,x)s_{2}(x,x^{\prime}) are bi-scalars which depend on two different spacetime points xx and xx^{\prime}. They determine the distance between points xx and xx^{\prime} as measured by means of the corresponding metrics along the geodesic joining them. The properties of the bi-scalars are vastly studied in the literature (see for instance Refs. [47, 29]). We also define other geodetic intervals

σ1(x,x)=12s1(x,x)2,\displaystyle\sigma_{1}(x,x^{\prime})=-\frac{1}{2}s_{1}(x,x^{\prime})^{2}\,, σ2(x,x)=12s2(x,x)2,\displaystyle\sigma_{2}(x,x^{\prime})=-\frac{1}{2}s_{2}(x,x^{\prime})^{2}\,, (152)

which correspond to the geodesic squared distances and satisfy

𝒢1μνμσ1νσ1=2σ1,\displaystyle{\mathcal{G}}^{\mu\nu}_{1}{\nabla}_{\mu}\sigma_{1}{\nabla}_{\nu}\sigma_{1}=2\sigma_{1}\,, 𝒢2μνμσ2νσ2=2σ2.\displaystyle{\mathcal{G}}^{\mu\nu}_{2}{\nabla}_{\mu}\sigma_{2}{\nabla}_{\nu}\sigma_{2}=2\sigma_{2}\,. (153)

It is also useful to express the second covariant derivative of the geodetic intervals σ1\sigma_{1} and σ2\sigma_{2} in terms of the so-called van Vleck-Morette determinants

Δ1(x,x)=D1(x,x)g(x)g(x);\displaystyle\Delta_{1}(x,x^{\prime})=\frac{D_{1}(x,x^{\prime})}{\sqrt{-g(x)}\sqrt{-g(x^{\prime})}}\,; (154)
D1(x,x)=det[μμσ1(x,x)],\displaystyle D_{1}(x,x^{\prime})=-\det[-{\nabla}_{\mu}{\nabla}_{\mu^{\prime}}\sigma_{1}(x,x^{\prime})]\,,
Δ2(x,x)=D2(x,x)g(x)g(x);\displaystyle\Delta_{2}(x,x^{\prime})=\frac{D_{2}(x,x^{\prime})}{\sqrt{-g(x)}\sqrt{-g(x^{\prime})}}\,; (155)
D2(x,x)=det[μμσ2(x,x)],\displaystyle D_{2}(x,x^{\prime})=-\det[-{\nabla}_{\mu}{\nabla}_{\mu^{\prime}}\sigma_{2}(x,x^{\prime})]\,,

where μ\nabla_{\mu^{\prime}} denotes the covariant derivative with respect to xx^{\prime}. Taking covariant derivative of Eqs. (153) with respect to xx and taking again covariant derivative with respect to xx^{\prime}, after manipulating the results in appropriate way [47], it is straightforward to show that the van Vleck-Morette determinants satisfy the following relations

Δ11μ(Δ1𝒢1μννσ1)=4,\displaystyle\Delta^{-1}_{1}{\nabla}_{\mu}\left(\Delta_{1}{\mathcal{G}}^{\mu\nu}_{1}{\nabla}_{\nu}\sigma_{1}\right)=4\,, (156)
Δ21μ(Δ2𝒢2μννσ2)=4.\displaystyle\Delta^{-1}_{2}{\nabla}_{\mu}\left(\Delta_{2}{\mathcal{G}}^{\mu\nu}_{2}{\nabla}_{\nu}\sigma_{2}\right)=4\,. (157)

Note that neither metric 𝒢1μν{\mathcal{G}}_{1\mu\nu} nor 𝒢2μν{\mathcal{G}}_{2\mu\nu} are compatible with the covariant derivative and, therefore, the following nontrivial contributions arise777Indeed, we could define new covariant derivatives compatible with 𝒢1μν{\mathcal{G}}_{1\mu\nu} and 𝒢2μν{\mathcal{G}}_{2\mu\nu}. In that case, the van Vleck-Morette determinants (154) and (155) could be defined completely in terms of 𝒢1μν{\mathcal{G}}_{1\mu\nu} and 𝒢2μν{\mathcal{G}}_{2\mu\nu} and their determinants. The final result of course does not change and here we found it more convenient to work with the standard covariant derivative compatible with the background metric gμνg_{\mu\nu}.

μ𝒢1μν=2c12Dνln(c1)+(c121)(θnν+aν),\displaystyle{\nabla}_{\mu}{\mathcal{G}}^{\mu\nu}_{1}=2c_{1}^{2}D^{\nu}\ln{c_{1}}+(c_{1}^{2}-1)\left(\theta n^{\nu}+a^{\nu}\right)\,, (158)
μ𝒢2μν=2c22Dνln(c2)+(c221)(θnν+aν).\displaystyle{\nabla}_{\mu}{\mathcal{G}}^{\mu\nu}_{2}=2c_{2}^{2}D^{\nu}\ln{c_{2}}+(c_{2}^{2}-1)\left(\theta n^{\nu}+a^{\nu}\right)\,. (159)

Let us define the timelike vectors

t1μ\displaystyle t_{1\mu} μs1=α1nμ+q1μ,\displaystyle\equiv-\nabla_{\mu}s_{1}=\alpha_{1}\,n_{\mu}+q_{1\mu}\,,
t2μ\displaystyle t_{2\mu} μs2=α2nμ+q2μ,\displaystyle\equiv-\nabla_{\mu}s_{2}=\alpha_{2}\,n_{\mu}+q_{2\mu}\,, (160)

which are unit vectors 𝒢1μνt1μt1ν=1{\mathcal{G}}^{\mu\nu}_{1}t_{1\mu}t_{1\nu}=-1 and 𝒢2μνt2μt2ν=1{\mathcal{G}}^{\mu\nu}_{2}t_{2\mu}t_{2\nu}=-1 by definitions Eqs. (151). In the above relations, we have decomposed the unit vectors into the orthogonal and tangential pieces which are proportional to nμn_{\mu} and the spatial vectors q1,2μq_{1,2\mu}, which satisfies nμq1,2μ=0n^{\mu}{q}_{1,2\mu}=0, respectively. The components of t1μt_{1\mu} and t2μt_{2\mu} are spacetime functions which are subject to the normalization conditions

c12q12α12=1,\displaystyle c_{1}^{2}q_{1}^{2}-\alpha_{1}^{2}=-1\,, c22q22α22=1,\displaystyle c_{2}^{2}q_{2}^{2}-\alpha_{2}^{2}=-1\,, (161)

where q1,22=gμνq1,2μq1,2νq_{1,2}^{2}=g^{\mu\nu}q_{1,2\mu}q_{1,2\nu}. Taking derivative of (152) with respect to the coordinate xx, we find

μσ1=s1t1μ,\displaystyle\nabla_{\mu}\sigma_{1}=s_{1}\,t_{1\mu}\,, μσ2=s2t2μ.\displaystyle\nabla_{\mu}\sigma_{2}=s_{2}\,t_{2\mu}\,. (162)

Substituting the above result in Eqs. (156) and (157) and then using Eqs. (144) and (160), after some simplifications, it is straightforward to find the following equations

dds1log(α1Δ1)q1μ[(1c12)DμlogΔ1+Dμlogα1]\displaystyle\frac{d}{ds_{1}}\log(\alpha_{1}\Delta_{1})-q_{1}^{\mu}\left[\left(1-c_{1}^{2}\right)D_{\mu}\log\Delta_{1}+D_{\mu}\log\alpha_{1}\right]
+Dμ(c12q1μ)=3s1α1θ,\displaystyle+D_{\mu}\left(c_{1}^{2}q_{1}^{\mu}\right)=\frac{3}{s_{1}}-\alpha_{1}\theta\,, (163)
dds2log(α2Δ2)q2μ[(1c22)DμlogΔ2+Dμlogα2]\displaystyle\frac{d}{ds_{2}}\log(\alpha_{2}\Delta_{2})-q_{2}^{\mu}\left[\left(1-c_{2}^{2}\right)D_{\mu}\log\Delta_{2}+D_{\mu}\log\alpha_{2}\right]
+Dμ(c22q2μ)=3s2α2θ,\displaystyle+D_{\mu}\left(c_{2}^{2}q_{2}^{\mu}\right)=\frac{3}{s_{2}}-\alpha_{2}\theta\,, (164)

where

dds1t1μμ=α1dds+q1μDμ,\displaystyle\frac{d}{ds_{1}}\equiv t_{1}^{\mu}\nabla_{\mu}=\alpha_{1}\frac{d}{ds}+q_{1}^{\mu}D_{\mu}\,,
dds2t2μμ=α2dds+q2μDμ,\displaystyle\frac{d}{ds_{2}}\equiv t_{2}^{\mu}\nabla_{\mu}=\alpha_{2}\frac{d}{ds}+q_{2}^{\mu}D_{\mu}\,, (165)

are the Lie derivatives along the timelike vectors t1μt^{\mu}_{1} and t2μt^{\mu}_{2}.

E.3 Fundamental solutions

Having geodetic intervals in hand, we consider the following Hadamard representation for the fundamental solutions of Eqs. (129) and (130) or equivalently Eqs. (147) and (148) [47, 25, 26]

G1\displaystyle{G}_{1} =1π[U1σ1V1log|σ1|+W1+U^2σ2V^2log|σ2|],\displaystyle=\frac{1}{\pi}\left[\frac{U_{1}}{\sigma_{1}}-V_{1}\log|\sigma_{1}|+W_{1}+\frac{\hat{U}_{2}}{\sigma_{2}}-\hat{V}_{2}\log|\sigma_{2}|\right]\,, (166)
G2\displaystyle{G}_{2} =1π[U2σ2V2log|σ2|+W2+U^1σ1V^1log|σ1|],\displaystyle=\frac{1}{\pi}\left[\frac{U_{2}}{\sigma_{2}}-V_{2}\log|\sigma_{2}|+{W}_{2}+\frac{\hat{U}_{1}}{\sigma_{1}}-\hat{V}_{1}\log|\sigma_{1}|\right]\,, (167)

where U1,2U_{1,2}, V1,2V_{1,2}, W1,2W_{1,2}, U^1,2\hat{U}_{1,2}, and V^1,2\hat{V}_{1,2} are bi-scalars which are regular functions of xx and xx^{\prime}. The bi-scalars U^2\hat{U}_{2} and V^2\hat{V}_{2} are introduced to take into account the possibility that ξ2\xi_{2} may induce singularities on the solution of ξ1\xi_{1} through their interaction and the bi-scalars U^1\hat{U}_{1} and V^1\hat{V}_{1} are introduced for the similar reason respectively. The bi-scalars U1U_{1}, V1V_{1}, and W1W_{1} characterize the direct, tail, and regular parts of the mode ξ1\xi_{1} along the lightcone defined by σ1\sigma_{1} while the bi-scalars U^2\hat{U}_{2} and V^2\hat{V}_{2} characterize direct and tail parts of the mode ξ1\xi_{1} along the lightcone defined by σ2\sigma_{2}.

Substituting the ansatz (166) in Eq. (129), the left hand side can be classified into the terms proportional to σ12\sigma_{1}^{-2}, σ11\sigma_{1}^{-1}, log|σ1|\log|\sigma_{1}|, and also σ23\sigma_{2}^{-3}, σ22\sigma_{2}^{-2}, σ21\sigma_{2}^{-1}, log|σ2|\log|\sigma_{2}|. Note that the term which is apparently proportional to σ13\sigma_{1}^{-3} gives a contribution of the order of σ12\sigma_{1}^{-2} after substituting the result (153). Note also that the terms which are singular in σ2\sigma_{2} appear due to the interaction between ξ1\xi_{1} and ξ2\xi_{2}. Similarly, substituting ansatz (167) in Eq. (130), the left hand side can be classified into the terms proportional to σ22\sigma_{2}^{-2}, σ21\sigma_{2}^{-1}, log|σ2|\log|\sigma_{2}|, and also σ13\sigma_{1}^{-3}, σ12\sigma_{1}^{-2}, σ11\sigma_{1}^{-1}, log|σ1|\log|\sigma_{1}|. Demanding that the coefficients of the terms with the highest degree of singularity, i.e. σ23\sigma_{2}^{-3} and σ13\sigma_{1}^{-3}, vanish, we immediately conclude

U^1=0,\displaystyle\hat{U}_{1}=0\,, U^2=0.\displaystyle\hat{U}_{2}=0\,. (168)

Going to the next order and demanding that the coefficients of the terms which are proportional to σ22\sigma_{2}^{-2} and σ12\sigma_{1}^{-2} in Eqs. (129) and (130) vanish, we find

V^1\displaystyle\hat{V}_{1} =(c12c22c12)(dσ1ds)1Θ21U1,\displaystyle=-\left(\frac{c_{1}^{2}}{c_{2}^{2}-c_{1}^{2}}\right)\left(\frac{d\sigma_{1}}{ds}\right)^{-1}\Theta_{21}\,U_{1}\,,
V^2\displaystyle\hat{V}_{2} =(c22c22c12)(dσ2ds)1Θ12U2,\displaystyle=\left(\frac{c_{2}^{2}}{c_{2}^{2}-c_{1}^{2}}\right)\left(\frac{d\sigma_{2}}{ds}\right)^{-1}\Theta_{12}\,U_{2}\,, (169)

where we have used (168). Note that the denominators become singular when c1=c2c_{1}=c_{2} which is the case that we have excluded in our analysis from the beginning in Eq. (146). The results (168) and (169) show that the mode ξ2\xi_{2} does not contribute to the direct part of the solution G1{G}_{1} since U^2=0\hat{U}_{2}=0. However, the direct part of ξ2\xi_{2} contributes to the tail of the mode ξ1\xi_{1} since V^2U2\hat{V}_{2}\propto{U}_{2}.

Now, we look at the coefficients of the terms which are proportional to σ12\sigma_{1}^{-2} and σ22\sigma_{2}^{-2} in Eqs. (129) and (130) and by demanding that they vanish, we find the following equations for the direct parts

{𝒢1μν[2μU1(μlogΔ1)U1]\displaystyle\Big{\{}{\mathcal{G}}^{\mu\nu}_{1}\left[2{\nabla}_{\mu}{U}_{1}-({\nabla}_{\mu}\log\Delta_{1})U_{1}\right]
(Θ11nνκ11ν+μ𝒢1μν)U1}νσ1=0,\displaystyle-\left(\Theta_{11}{n}^{\nu}-\kappa_{11}^{\nu}+\nabla_{\mu}{\mathcal{G}}_{1}^{\mu\nu}\right)U_{1}\Big{\}}{\nabla}_{\nu}\sigma_{1}=0\,, (170)
{𝒢2μν[2μU2(μlogΔ2)U2]\displaystyle\Big{\{}{\mathcal{G}}^{\mu\nu}_{2}\left[2{\nabla}_{\mu}{U}_{2}-({\nabla}_{\mu}\log\Delta_{2})U_{2}\right]
(Θ22nνκ22ν+μ𝒢2μν)U2}νσ2=0,\displaystyle-\left(\Theta_{22}{n}^{\nu}-\kappa_{22}^{\nu}+\nabla_{\mu}{\mathcal{G}}_{2}^{\mu\nu}\right)U_{2}\Big{\}}{\nabla}_{\nu}\sigma_{2}=0\,, (171)

which are subject to the initial conditions

limxxU1(x,x)=1,\displaystyle\lim\limits_{x\to{x^{\prime}}}U_{1}(x,x^{\prime})=1\,, limxxU2(x,x)=1.\displaystyle\lim\limits_{x\to{x^{\prime}}}U_{2}(x,x^{\prime})=1\,. (172)

In principle, we can always solve the first order equations (170) and (171) to find U1{U}_{1} and U2{U}_{2} in terms of the van Vleck-Morette determinants Δ1\Delta_{1} and Δ2\Delta_{2}. However, we can further simplify these results. Using the explicit forms of the metrics (144) and also the results (158) and (159) in Eqs. (170) and (171), and then contracting the results with nμn_{\mu}, we find

dds[log(U1Δ1)]\displaystyle\frac{d}{ds}\left[\log\left(\frac{{U}_{1}}{\sqrt{\Delta_{1}}}\right)\right] =12[Θ11(1c12)θ],\displaystyle=-\frac{1}{2}\left[\Theta_{11}-\left(1-c_{1}^{2}\right)\theta\right]\,, (173)
dds[log(U2Δ2)]\displaystyle\frac{d}{ds}\left[\log\left(\frac{{U}_{2}}{\sqrt{\Delta_{2}}}\right)\right] =12[Θ22(1c22)θ],\displaystyle=-\frac{1}{2}\left[\Theta_{22}-\left(1-c_{2}^{2}\right)\theta\right]\,, (174)

and contracting with hμνh_{\mu\nu}, we find

c12Dμ[log(U1c1Δ1)]\displaystyle c_{1}^{2}D_{\mu}\left[\log\left(\frac{{U}_{1}}{c_{1}\sqrt{\Delta_{1}}}\right)\right] =12[κμ11+(1c12)aμ],\displaystyle=-\frac{1}{2}\left[\kappa_{\mu 11}+\left(1-c_{1}^{2}\right)a_{\mu}\right]\,, (175)
c22Dμ[log(U2c2Δ2)]\displaystyle c_{2}^{2}D_{\mu}\left[\log\left(\frac{{U}_{2}}{c_{2}\sqrt{\Delta_{2}}}\right)\right] =12[κμ22+(1c22)aμ].\displaystyle=-\frac{1}{2}\left[\kappa_{\mu 22}+\left(1-c_{2}^{2}\right)a_{\mu}\right]\,. (176)

The set of equations (173)-(176) admits a solution at least locally, provided that they satisfy integrability conditions.

E.4 Green’s functions

Having the fundamental solutions (166) and (167) in hand, we can easily find the Green’s functions by going to the complex plane and performing the so-called iϵi\epsilon prescription. In this regard, we introduce the Feynman propagators as follows

G1F\displaystyle{G}^{F}_{1} =1π[U1σ1+iϵV1log|σ1+iϵ|+W1V^2log|σ2+iϵ|],\displaystyle=\frac{1}{\pi}\left[\frac{U_{1}}{\sigma_{1}+i\epsilon}-V_{1}\log|\sigma_{1}+i\epsilon|+W_{1}-\hat{V}_{2}\log|\sigma_{2}+i\epsilon|\right]\,, (177)
G2F\displaystyle{G}^{F}_{2} =1π[U2σ2+iϵV2log|σ2+iϵ|+W2V^1log|σ1+iϵ|],\displaystyle=\frac{1}{\pi}\left[\frac{U_{2}}{\sigma_{2}+i\epsilon}-V_{2}\log|\sigma_{2}+i\epsilon|+{W}_{2}-\hat{V}_{1}\log|\sigma_{1}+i\epsilon|\right]\,, (178)

where we have used the result (168). Separating the Feynman propagators into the real and imaginary parts as

G1F=G1iG1S,\displaystyle{G}^{F}_{1}={G}_{1}-i{G}^{S}_{1}\,, G2F=G2iG2S,\displaystyle{G}^{F}_{2}={G}_{2}-i{G}^{S}_{2}\,, (179)

and using the identities

1σ+iϵ=𝒫(1σ)iπδ(σ),\displaystyle\frac{1}{\sigma+i\epsilon}={\mathcal{P}}\left(\frac{1}{\sigma}\right)-i\pi\delta(\sigma)\,,
log(σ+iϵ)=log|σ|+iπΘ(σ),\displaystyle\log(\sigma+i\epsilon)=\log|\sigma|+i\pi\Theta(-\sigma)\,,

where 𝒫{\mathcal{P}} denotes principal value, we find the following expressions for the Green’s functions

G1S(x,x)\displaystyle{G}^{S}_{1}(x,x^{\prime}) =U1(x,x)δ(σ1)+V1(x,x)Θ(σ1)\displaystyle=U_{1}(x,x^{\prime})\delta(\sigma_{1})+V_{1}(x,x^{\prime})\Theta(-\sigma_{1})
+V^2(x,x)Θ(σ2),\displaystyle+\hat{V}_{2}(x,x^{\prime})\Theta(-\sigma_{2})\,, (180)
G2S(x,x)\displaystyle{G}^{S}_{2}(x,x^{\prime}) =U2(x,x)δ(σ2)+V2(x,x)Θ(σ2)\displaystyle=U_{2}(x,x^{\prime})\delta(\sigma_{2})+V_{2}(x,x^{\prime})\Theta(-\sigma_{2})
+V^1(x,x)Θ(σ1).\displaystyle+\hat{V}_{1}(x,x^{\prime})\Theta(-\sigma_{1})\,. (181)

Eqs. (180) and (181) are our final results for the Green’s functions of the two modes ξ1\xi_{1} and ξ2\xi_{2} which satisfy the wave equations (129) and (130). Having the Green’s functions in hand, one can find solutions of ξ1\xi_{1} and ξ2\xi_{2} for any sources μ1\mu_{1} and μ2\mu_{2} through the Eqs. (133) and (134) as usual. We have found explicit equations for the direct parts which are generally given by Eqs. (173), (174) and (175), (176). It is also straightforward to find the tail and regular parts following the same strategy that we have found Eqs. (168), (169), (170) and (171). We, however, do not need them for our purpose of studying the memory effect and we do not present them here.

E.5 Application: scalar perturbations in scalar-tensor theory

Let us now turn back to the system studied in the main text which is a particular subset of the general setup investigated in the previous subsections. Eq. (39) can be rewritten in the form of Eq. (124) through the identifications

ξ1=ζ,\displaystyle\xi_{1}=\zeta\,, ξ2=δQ,\displaystyle\xi_{2}=\delta{Q}\,, (182)

and considering the subset

𝚯=𝐍3H𝐂,\displaystyle\bm{\Theta}={\bf N}-3H{\bf C}\,, 𝓒=𝐂,\displaystyle\bm{\mathcal{C}}={\bf C}\,, 𝓜=𝐌,\displaystyle\bm{\mathcal{M}}={\bf M}\,, 𝝁=𝝁(P),\displaystyle\bm{\mu}=\bm{\mu}^{(P)}\,, (183)

where the explicit forms of the matrices 𝐍{\bf N}, 𝐂{\bf C}, 𝐌{\bf M}, and 𝝁(P)\bm{\mu}^{(P)} are given in Eqs. (41), (42), (105), and (106). Using (42) in (183) and then substituting in (141), we find

𝒢ζμν=h¯μνn¯μn¯ν=g¯μν,\displaystyle{\mathcal{G}}^{\mu\nu}_{\zeta}={\bar{h}}^{\mu\nu}-\bar{n}^{\mu}\bar{n}^{\nu}={\bar{g}}^{\mu\nu}\,, 𝒢δQμν=cs2h¯μνn¯μn¯ν,\displaystyle{\mathcal{G}}^{\mu\nu}_{\delta{Q}}=c_{s}^{2}\bar{h}^{\mu\nu}-\bar{n}^{\mu}\bar{n}^{\nu}\,, (184)

where the background metric gμν=g¯μνg_{\mu\nu}={\bar{g}}_{\mu\nu} is considered. We see that metrics become diagonal when we work with δQ\delta{Q} instead of δχ\delta\chi in Eq. (39). Had we worked with δχ\delta\chi, we had to start from (123) and then finding an appropriate form for matrix 𝐏{\bf P} which makes 𝓖μν\bm{\mathcal{G}}^{\prime\mu\nu} diagonal through Eq. (125).

From Eqs. (180) and (181) we find the following expressions for the corresponding retarded Green’s functions

G^ζret(x,x)\displaystyle{\hat{G}}^{\rm ret}_{\zeta}(x,x^{\prime}) =[Uζ(x,x)δ(σζ)+Vζ(x,x)Θ(σζ)\displaystyle=\Big{[}U_{\zeta}(x,x^{\prime})\delta(\sigma_{\zeta})+V_{\zeta}(x,x^{\prime})\Theta(-\sigma_{\zeta})
+V^δQ(x,x)Θ(σδQ)]Θ(tt),\displaystyle+\hat{V}_{\delta{Q}}(x,x^{\prime})\Theta(-\sigma_{\delta{Q}})\Big{]}\Theta(t-t^{\prime})\,, (185)
G^δQret(x,x)\displaystyle{\hat{G}}^{\rm ret}_{\delta{Q}}(x,x^{\prime}) =[UδQ(x,x)δ(σδQ)+VδQ(x,x)Θ(σδQ)\displaystyle=\Big{[}U_{\delta{Q}}(x,x^{\prime})\delta(\sigma_{\delta{Q}})+V_{\delta{Q}}(x,x^{\prime})\Theta(-\sigma_{\delta{Q}})
+V^ζ(x,x)Θ(σζ)]Θ(tt),\displaystyle+\hat{V}_{\zeta}(x,x^{\prime})\Theta(-\sigma_{\zeta})\Big{]}\Theta(t-t^{\prime})\,, (186)

where the geodetic intervals satisfy

𝒢ζμν¯μσζ¯νσζ=2σζ,\displaystyle{\mathcal{G}}^{\mu\nu}_{\zeta}{\bar{\nabla}}_{\mu}\sigma_{\zeta}{\bar{\nabla}}_{\nu}\sigma_{\zeta}=2\sigma_{\zeta}\,, 𝒢δQμν¯μσδQ¯νσδQ=2σδQ,\displaystyle{\mathcal{G}}^{\mu\nu}_{\delta{Q}}{\bar{\nabla}}_{\mu}\sigma_{\delta{Q}}{\bar{\nabla}}_{\nu}\sigma_{\delta{Q}}=2\sigma_{\delta{Q}}\,, (187)

in which bars indicate that the covariant derivatives are defined in the spirit of background metric g¯μν{\bar{g}}_{\mu\nu}.

Finding an explicit solution for the direct part of ζ\zeta with c1=1c_{1}=1 and aμ=0a_{\mu}=0 is easy. In this case, Eq. (163) significantly simplifies and the van Vleck-Morette determinant can be written as follows [48, 49]

Δ1(x,x)=exp[s(x)s(x)(3sθ)𝑑s],\displaystyle\Delta_{1}(x,x^{\prime})=\exp\left[\int_{s(x^{\prime})}^{s(x)}\left(\frac{3}{s}-\theta\right)ds\right]\,, (188)

where the initial condition (172) is imposed. Integrating Eq. (173) from xx^{\prime} to xx, after using (188), we find

U1(x,x)\displaystyle U_{1}(x,x^{\prime}) =s(x,x)32exp[12s(x)s(x)(Θ11+θ)𝑑s].\displaystyle=s(x,x^{\prime})^{\frac{3}{2}}\exp\left[-\frac{1}{2}\int_{s(x^{\prime})}^{s(x)}\left(\Theta_{11}+\theta\right)ds\right]\,. (189)

The explicit form of the spatially flat FLRW background metric is given by Eq. (15). Working with conformal time η\eta defined in Eq. (43), we have ds=adηds=ad\eta and θ(η)=3a2da/dη\theta(\eta)=3a^{-2}da/d\eta. The direct part then can be obtained from Eq. (189) as follows

Uζ(η,η)=Aζ(η)Aζ(η),\displaystyle U_{\zeta}(\eta,\eta^{\prime})=\frac{A_{\zeta}(\eta^{\prime})}{A_{\zeta}(\eta)}\,,
Aζ(η)a(η)exp[12η(aN113adadη¯)𝑑η¯],\displaystyle A_{\zeta}(\eta)\equiv a(\eta)\exp\left[\frac{1}{2}\int_{\eta}\left(aN_{11}-\frac{3}{a}\frac{da}{d{\bar{\eta}}}\right)d{\bar{\eta}}\right]\,, (190)

which coincides with the result (56) that is found by another approach.

References