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

Scalar-tensor theories at different scales: averaging the scalar sector

Jean-Philippe Uzan uzan@iap.fr Institut d’Astrophysique de Paris, CNRS UMR 7095, Sorbonne Universités, 98 bis Bd Arago, 75014 Paris, France Center for Gravitational Physics and Quantum Information, Yukawa Institute for Theoretical Physics, Kyoto University, 606-8502, Kyoto (Japan)    Hugo Lévy hugo.levy@iap.fr Institut d’Astrophysique de Paris, CNRS UMR 7095, Sorbonne Universités, 98 bis Bd Arago, 75014 Paris, France
(September 13, 2025)
Abstract

This article investigates the averaging of a scalar degree of freedom that couples universally to matter. It quantifies the approximation of smoothing the matter distribution before solving the Klein–Gordon equation. In the case of Yukawa theories, which enjoy a linear Klein–Gordon equation, the averaging commutes with the field equation as one might expect. While all small-scale distributions of matter lead to field distributions with the same mean, the latter can have different energy densities and pressures when the Compton wavelength of the field is smaller than the smoothing scale. In the non-linear case, such as chameleon theories, this study quantifies the error made by averaging the matter distribution before solving the Klein–Gordon equation. While field fluctuations can become arbitrarily large when the matter source is screened, the commutativity property of linear theories is recovered in the unscreened regime. Implications for cosmology — and in particular the equation of state in extended quintessence models — and for laboratory experiments in low density medium are discussed. This analysis, although based on a simplifying description, sheds light on the effects of the small-scale distribution of matter as well as on the care required to define their equation of state and their cosmological signature.

I Averaging gravity theories

In General Relativity, the Einstein field equations relate the spacetime geometry, i.e. the metric tensor gμνg_{\mu\nu}, to the matter distribution described by its stress-energy tensor TμνT_{\mu\nu}. As emphasized by Ellis Ellis:1971pg , this involves, implicitly or explicitly, a smoothing scale in order to define the matter density, pressure and other properties.

General relativity is a non-linear theory. If the Einstein equations are supposed to hold on a local scale, say s=1s=1 so that the spacetime geometry is solution of Gμν[gαβs=1]=κTμνs=1G_{\mu\nu}[g_{\alpha\beta}^{s=1}]=\kappa T_{\mu\nu}^{s=1}, its geometry smoothed on a larger scale, s=2s=2 say, shall be obtained as some average of the small-scale geometry. However, one usually smooths the matter distribution before solving the Einstein equation to determine the large-scale geometry as Gμν[gαβs=2]=κTμνs=1s=2G_{\mu\nu}[g_{\alpha\beta}^{s=2}]=\kappa\langle T_{\mu\nu}^{s=1}\rangle_{s=2}. This is the case in particular in cosmology since, based on the cosmological principle, one infers the most general form the energy-momentum tensor should have on large-scales, (with in particular the form of a perfect fluid imposed by the symmetries), and then solves the Einstein equations to obtain a large-scale metric of the Friedmann–Lemaître (FL) form. Indeed Gμν[gαβs=2]Gμν[gαβs=1s=2]G_{\mu\nu}[g_{\alpha\beta}^{s=2}]\not=G_{\mu\nu}[\langle g_{\alpha\beta}^{s=1}\rangle_{s=2}].

This leads to the so-called averaging problem, i.e. how the coarse-graining of matter, that hides small-scale effects, modifies the Einstein equations and how the geometries of the same spacetimes seen at different scales are related. It comes with a series questions among which the backreaction problem, i.e. the understanding of how local gravitational inhomogeneities may affect the cosmological dynamics and ultimately to the fitting problem Ellis:1984bqf ; Ellis:1987zz which questions the determination of the best fit FL geometry. We refer to Refs. Ellis:2005uz ; Clarkson:2011zq for reviews on the various approaches to these deep questions. Many roads to attack the averaging problem have been developed in the past years. It includes the Buchert formalism Buchert:1999er ; Buchert:2001sa , well-adapted to dust filled universes, the Zalaletdinov formalism Zalaletdinov:1996aj ; Zalaletdinov:2008ts that is an attempt to average the complete set of Cartan structure equations as well as approaches based on the deformation of the spatial metric of initial data sets along its Ricci flow Paranjape:2008ai ; Buchert:2002ht or on the renormalisation group approach for coarse grained geometries Calzetta:1999zr ; see also Refs. Carfora:1995fj ; Futamase:1996fk ; Boersma:1997yt ; Stoeger:1999ig for earlier proposals.

Without having to go that far, it has been shown that the clumpiness of matter may bias the determination of the cosmological parameters Fleury:2013sna ; Fleury:2013uqa ; Ben-Dayan:2012ccq due to its impact on light propagation which is related to the so-called Ricci–Weyl problem, i.e. to the puzzling question to explain to which extent can the propagation of a light beam, which mostly occurs in regions dominated by Weyl curvature, can be addressed using the FL geometry, whose curvature is exclusively Ricci. It has been extensively discussed in the context of cosmology RWrefs ; Clarkson:2011br and recently been resolved thanks to the formalism proposed in Refs. Fleury:2015rwa ; Fleury:2017owg ; Fleury:2018cro .

There is a particular case in which the backreaction problem can be fully addressed: scalar gravity theories, i.e. Nordström gravity. Even though we know they do not offer a proper description of gravity and are ruled out by Solar system experiments, they enjoy the properties of having a single scalar degree of freedom that is non-minimally coupled to matter. The field equations then reduce to a single Klein–Gordon (KG) equations with a potential and a coupling to matter. Both are functions of the scalar field so that the corresponding KG equation can be non-linear. The goal of our study is to investigate the effect of averaging on the scalar sector of scalar tensor theories. For a generic matter distribution ρ(𝐱)\rho({\bf x}) and prescribed boundary conditions, the KG equation determines the scalar field distribution ϕ(𝐱)\phi({\bf x}). Now, imagine one is interested in the system coarse grained on a scale ss. The question that arises is how well is the response ϕ[ρ¯s]\phi[\bar{\rho}_{s}] of the KG equation with the coarse-grained matter source ρ¯s\bar{\rho}_{s} a good approximation of the coarse-grained value of the true response of the KG equation, i.e., ϕ¯s[ρ]\bar{\phi}_{s}[\rho]. Indeed, any non-linearities in the KG equation results in the non commutation of the averages so that one expects ϕ¯s[ρ]ϕ[ρ¯s]\bar{\phi}_{s}[\rho]\not=\phi[\bar{\rho}_{s}]. One shall however want to quantify the amplitude of the error that is made by averaging the matter sector before solving the KG equation instead of averaging the true microscopic field distribution. This is the first step, since then one shall also evaluate the same effect on the fluid variables, density and pressure, that enter the Einstein equations. Indeed since they are at least quadratic in the scalar field, one expects them to be highly sensitive to the matter distribution, even though the scalar field keeps the same large-scale average.

We shall thus consider two main models. First, the usual Yukawa interaction, that is a massive field with linear coupling to matter, enjoys a linear KG equation so that one expects the coarse-graining to commute with the field equation. But indeed, the small-scale distribution of matter will impact the large-scale field energy density and pressure even though it does not affect the smoothed field distribution. Second, the chameleon model is a non-linear theory that possesses a screening mechanism. Let us remind that minimally coupled light scalar field has been shown to remain smooth even in the presence of dark matter clumps Ferreira:1997au but it can cluster on scales larger than the horizon. Models with almost vanishing sound speed Creminelli:2008wc have been argued to lead to clustering of the quintessence field in the nonlinear regime Creminelli:2009mu . The situation drastically changes in the context of extended quintessence Uzan:1999ch , in particular if a screening mechanism based on non-linearities is at work.

This question is important at least in two contexts. First, the study of atomic transitions in the presence of a chameleon field Levy:2024vyd identified the difficulty of predicting the scalar field behavior in non-homogeneous media, which is yet crucial e.g. for properly modeling vacuum chamber experiments or for setting boundary conditions in outer space. Hence the interpretation of experiments trying to tackle down a chameleon field in low density medium may be affected by the fact that the fluid approximation is not good enough.

Second, in standard cosmology, matter on large scales is described by a continuous fluid while it is clear that it is composed of galaxies on small scales. The analysis of scalar-tensor theories usually assumes that the scalar field is smooth on cosmological scales. Most studies of the cosmological dynamics therefore take the mean matter density as the source term. For linear scalar field sectors, it raises the question of the computation of the energy density and pressure of the scalar field that enter the Friedmann equations, which is a typical backreaction problem. For non-linear scalar field sectors, it has been shown on the particular case of the chameleon Brax:2004qh ; Brax:2004px , that, since the matter density is redshifts as a3a^{-3}, the minimum of the potential is increases with time, leading to the conclusion Brax:2004qh that “the mass of small fluctuations about the minimum satisfies mHm\gg H. Hence, the characteristic response time of the chameleon is much shorter than the time over which the potential evolves, and the evolution is therefore adiabatic. In other words, if the chameleon starts at the minimum of its effective potential, it then remains at the minimum as the latter evolves in time.” This is a property of the homogeneous field solution of the KG equation with smooth matter density source and not of the coarse-grained of the true scalar field distribution. Both can however differ substantially, depending, as we shall demonstrate, on whether the system at stake is screened or not. While the averaging problem in chameleon theories was considered in Refs. Mota:2006fz ; Mota:2006ed — in which the author analytically derive a macroscopic Compton wavelength for the scalar field inside a screened body that is itself made of individual particles — the original analytical approximations and numerics presented in our work will go beyond and draw new consequences. In this article, we say that the matter source is screened whenever the scalar field reaches the value that minimizes its effective potential within this source, so that the notion can also be applied to the Yukawa theory.

To evaluate the impact of the smoothing of the matter distribution in scalar-tensor theories, we build on the numerical tools developed in Refs. Levy:2022xni ; Levy:2024mut ; Levy:2023tps to solve the KG equation in non-linear scalar-tensor gravity theories such as the chameleon Khoury:2003rn ; Khoury:2003aq and symmetron Hinterbichler:2010es models. Following the formalism proposed in Refs. Sanghai:2015wia ; Sanghai:2016ucv ; Sanghai:2017yyn ; Sikora:2018imr ; Briddon:2024ftz we adopt a very simplified view by describing the matter distribution as a lattice the size of which can be identified to the smoothing scale. Each cell contains a single spherical matter source of constant density. Hence one could quantify the effect of the properties of the sub-grid mass distribution while the mean density remains identical. The case of a Yukawa field was studied in Ref. Fleury:2016tsz to evaluate the gravitational binding energy and its role in cosmology.

This article will thus investigate the effect of the small-scale matter distribution of the field distribution, its large-scale averaged value and its fluid properties. In the case of the chameleon model, it will highlight the importance of determining whether the matter source is screened or not. In some regime, we identify orders of magnitude effects compared to their values derived after the matter source is smoothed. Even though, we do not solve the full field dynamics and restrict to static situation, this draws the attention on the standard hypothesis to use a homogeneous scalar field evolving in a homogenous isotropic FL spacetime when investigating the late time acceleration of the universe if the quintessence field is coupled to matter or simply dark matter Pitrou:2023swx ; Uzan:2023dsk . These effects can actually become important at late time while negligible in the early universe. A particular attention will be devoted to the equation of state of dark energy, whose value may significantly be affected by the matter distribution. This could be an interesting avenue to discuss the Hubble tension. In the case of experiments in low density media, this study questions the value of the field in the space between the particles constituting the gas, in particular when the systems exhibit large field fluctuations. Hence in the first situation, one is mostly interested in the energy density while in the second situation the field distribution is the relevant quantity.

The article is organized as follows. Section  describes the scalar sector of a scalar-tensor theory focusing on its KG equation and then the geometrical set-up for our numerical computations. Section III considers the case of a linear KG equation, namely a Yukawa theory to show that, as expected, the averaging procedure does commute with the field equation. Still it stresses that many field distributions with same average have different macroscopic properties (energy density, pressure, equation of state). Then, Section IV consider the case of a non-linear theory, namely a chameleon model. We gather the derivation of equations and the description of the numerical scheme in Appendices.

II Averaging the scalar sector

We consider a general scalar-tensor theory, as described in Appendix A. It depends on two free functions of the scalar field ϕ\phi, the potential VV and the universal coupling function to matter AA. We work in natural units, for which c==1{c=\hbar=1} such that ϕ\phi has dimension of a mass. In the Einstein frame, the KG equation for a static configuration takes the form

Δϕ=V(ϕ)+ρα(ϕ)Veff,\Delta\phi=V^{\prime}(\phi)+\rho\alpha(\phi)\equiv V^{\prime}_{\rm eff}, (1)

with αdlnA/dϕ\alpha\equiv\textrm{d}\ln A/\textrm{d}\phi and the effective potential defined by

VeffV(ϕ)+βρMpϕ,V_{\rm eff}\equiv V(\phi)+\frac{\beta\rho}{M_{\rm p}}\phi, (2)

with Mp1/8πGM_{\rm p}\equiv 1/\sqrt{8\pi G}.

II.1 Rescaling the Klein–Gordon equation

We restrict our analysis to models in which

V(ϕ)=Cϕp,lnA=βMPϕ.V(\phi)=C\phi^{p},\qquad\ln A=\frac{\beta}{M_{\rm P}}\phi\,. (3)

The effective potential has a minimum in

ϕminp1(ρ)=sgn(p)βρ|p|CMP,\phi^{p-1}_{\min}(\rho)=-\hbox{sgn}(p)\frac{\beta\rho}{|p|CM_{\rm P}}, (4)

that depends on the local matter density. At the minimum of its potential, the field has a mass

d2Veffdϕ2|ϕminm2(ρ)\displaystyle\left.\frac{\textrm{d}^{2}V_{\rm eff}}{\textrm{d}\phi^{2}}\right|_{\phi_{\rm min}}\equiv m^{2}(\rho) =p(p1)Cϕminp2(ρ)\displaystyle=p(p-1)C\phi^{p-2}_{\min}(\rho) (5)

and we define the Compton wavelength of the field as λm1{\lambda\equiv m^{-1}}. This parameterization contains the two cases of a Yukawa fifth force and a chameleon model, respectively for

(C,p)Y=(12m2,2)and(C,p)C=(Λ4+n,n).(C,p)_{\rm Y}=\left(\frac{1}{2}m^{2},2\right)\quad\hbox{and}\quad(C,p)_{\rm C}=\left(\Lambda^{4+n},-n\right)\,.
Refer to caption
Figure 1: Parameter spaces of the Yukawa and chameleon models. For each of them, the gray dashed lines correspond to iso-λ~\tilde{\lambda}, the only parameter that enters the reduced Klein–Gordon equation (7).

In order to simplify the numerical integration, let us introduce a length scale L0L_{0}, the density and field scales, ρ0\rho_{0} and ϕ0\phi_{0}, all left unspecified for now. Then, we use the new space coordinates 𝐱~𝐱/L0\tilde{\bf x}\equiv{\bf x}/L_{0} and splits the density and scalar field as ρ(𝐱)=ρ0ρ~(𝐱~)\rho({\bf x})=\rho_{0}\tilde{\rho}(\tilde{\bf x}) and ϕ(𝐱)=ϕ0ϕ~(𝐱~)\phi({\bf x})=\phi_{0}\tilde{\phi}(\tilde{\bf x}) with (𝐱~,ρ~,ϕ~)(\tilde{\bf x},\tilde{\rho},\tilde{\phi}) dimensionless quantities. Since Eq. (1) rewrites as

[ϕ0L02MPβρ0]Δ~ϕ~=[ϕ0p1pcMPβρ0]ϕ~p1+ρ~,\left[\frac{\phi_{0}}{L_{0}^{2}}\frac{M_{\rm P}}{\beta\rho_{0}}\right]\tilde{\Delta}\tilde{\phi}=\left[\phi_{0}^{p-1}\frac{pcM_{\rm P}}{\beta\rho_{0}}\right]\tilde{\phi}^{p-1}+\tilde{\rho}\,,

it is convenient to choose ϕ0\phi_{0} so that the bracket on the r.h.s. reduces to sgn\rm{sgn}(p)(p), which from Eq. (4) means

[ϕ0p1/ϕminp1(ρ0)]=sgn(p).\left[-\phi_{0}^{p-1}/\phi_{\rm min}^{p-1}(\rho_{0})\right]={\rm sgn}(p)\,.

Note that ϕmin\phi_{\rm min} is not necessarily positive but has the sign of sgn(p)-\hbox{sgn}(p). For the models considered here, Eq. (4) implies

ϕmin(ρ)=sgn(p)ϕ0\phi_{\min}(\rho)=-\hbox{sgn}(p)\phi_{0} (6)

with ϕ0\phi_{0} positive. It follows that the KG equation takes the generic form

λ~2Δ~ϕ~=sgn(p)ϕ~p1+ρ~\tilde{\lambda}^{2}\tilde{\Delta}\tilde{\phi}={\rm sgn}(p)\tilde{\phi}^{p-1}+\tilde{\rho} (7)

with λ~2=λ~Y2=1/m2L02=(λ/L0)2\tilde{\lambda}^{2}=\tilde{\lambda}^{2}_{\mathrm{Y}}=1/m^{2}L_{0}^{2}=(\lambda/L_{0})^{2} for the Yukawa model and λ~2=λ~C2=(n+1)/m2(ρ0)L02\tilde{\lambda}^{2}=\tilde{\lambda}^{2}_{\mathrm{C}}=(n+1)/m^{2}(\rho_{0})L_{0}^{2} for the chameleon model. Figure 1 depicts the dependence of λ~\tilde{\lambda} on the model parameters.

Hence ϕ0\phi_{0} is a function of the model parameters (C,p,β)(C,p,\beta) and of the properties of the system at hand through the free parameter ρ0\rho_{0}, but it does not depend on L0L_{0}. This non-dimensionalization procedure allows for a more efficient numerical exploration of these parameter spaces and lets us study a large variety of physical systems — in particular those of Table 1.

II.2 Geometrical set-up for the numerical integration

Our goal is to evaluate the effect of the smoothing of the matter distribution on a typical scale L0L_{0} on the field distribution as well as its energy and pressure. To that purpose, we define the average of any scalar quantity X(𝐱)X({\bf x}) on the scale ss as

X¯sX(𝐱)s=X(𝐲)Ws(𝐱𝐲)d3𝐲Ws(𝐱𝐲)d3𝐲\bar{X}_{s}\equiv\langle X({\bf x})\rangle_{s}=\frac{\int X({\bf y})W_{\!s}({\bf x}-{\bf y})\,\textrm{d}^{3}{\bf y}}{\int W_{\!s}({\bf x}-{\bf y})\,\textrm{d}^{3}{\bf y}} (8)

with WsW_{\!s} a window function of typical width ss.

Refer to caption
Figure 2: Definition and relation of the microscopic and macroscopic descriptions related thanks to Eq. (10). This also defines the two parameters δϕ\delta_{\phi} and δρ\delta_{\rho} that give a measure of the non commutativity of the average with the computation of the local quantities; see Eq. (11) with ϕmacro\phi_{\rm macro} given by Eq. (9) and ρϕmacro=V(ϕmacro)\rho_{\phi_{\rm macro}}=V(\phi_{\rm macro}).

Now, we make the simplifying assumptions summarized on Fig. 2 following the formalism by Refs. Sanghai:2015wia ; Sanghai:2016ucv ; Sanghai:2017yyn ; Sikora:2018imr ; Briddon:2024ftz . We consider a medium that is modeled with two descriptions:

  1. 1.

    Macroscopic. On a large scales, the medium is homogeneous and continuous so that it can be described as a fluid with constant density ρmacro\rho_{\rm macro}. For a static configuration the scalar field has thus the constant value

    ϕmacroϕmin(ρmacro),\phi_{\rm macro}\equiv\phi_{\min}(\rho_{\rm macro})\,, (9)

    that is indeed not necessarily strictly positive; see Eq. (6).

  2. 2.

    Microscopic. On the local scale, the fluid is described by spherical particles of radius RR with constant mass density ρ0\rho_{0} in vacuum. For simplicity, we assume that these particles occupy the centers of a regular lattice of size L0L_{0}. For each representative elementary volume, the local matter distribution is thus given by ρ(𝐱)0\rho(\mathbf{x})\equiv 0 if 𝐱(R)\mathbf{x}\notin\mathcal{B}(R) and ρ(𝐱)=ρ0\rho(\mathbf{x})=\rho_{0} otherwise, with (R)\mathcal{B}(R) the ball of radius RR centered on 𝟎\mathbf{0}. The field distribution ϕ(𝐱)\phi(\bf x) is then solution of the KG equation with this source term and periodic boundary conditions. To be more specific, we consider the domain of integration to Ω\Omega a cube of side length L0L_{0} and boundary Γ\Gamma. We also define Ω~\tilde{\Omega} the cube of unit side length with boundary Γ~\tilde{\Gamma} .

Table 1: Orders of magnitude of the physical features and derived parameters for three systems of interest.
Ambient air Dilute gas Universe
Size of particles RR 1010m10^{-10}\,\mathrm{m} 1010m10^{-10}\,\mathrm{m} 1kpc1\,\mathrm{kpc}
Mean distance L0L_{0} 109m10^{-9}\,\mathrm{m} 106m10^{-6}\,\mathrm{m} 103kpc10^{3}\,\mathrm{kpc}
Reduced size R~\tilde{R} 10110^{-1} 10410^{-4} 10310^{-3}
Local density ρ0\rho_{0} 103kg/m310^{3}\,\mathrm{kg/m^{3}} 103kg/m310^{3}\,\mathrm{kg/m^{3}} 1018kg/m310^{-18}\,\mathrm{kg/m^{3}}
Mean density ρmacro\rho_{\mathrm{macro}} 1kg/m31\,\mathrm{kg/m^{3}} 1010kg/m310^{-10}\,\mathrm{kg/m^{3}} 1026kg/m310^{-26}\,\mathrm{kg/m^{3}}

The descriptions on these two scales are related by the fact that we shall impose ρmacro=ρ(𝐱)L0ρ¯L0{\rho_{\rm macro}=\langle\rho({\bf x})\rangle_{L_{0}}\equiv\bar{\rho}_{L_{0}}}, hence for homogeneous distribution on {\cal B}

ρmacroVol(Ω)=ρ0Vol(),\rho_{\rm macro}\hbox{Vol}(\Omega)=\rho_{0}\hbox{Vol}({\cal B}),

which for a sphere imposes

ρmacro=4π3(RL0)3ρ04π3R~3ρ0.\rho_{\rm macro}=\frac{4\pi}{3}\left(\frac{R}{L_{0}}\right)^{3}\rho_{0}\equiv\frac{4\pi}{3}{\tilde{R}}^{3}\rho_{0}\,. (10)

This expresses the fact that the fluid mass density ρmacro\rho_{\rm macro} is related to the mass density and size of the particles that compose it and their mean separation.

Hence, the microscopic description of matter fixes ρ0\rho_{0} and RR while the macroscopic description fixes L0L_{0}. Then, ϕ0\phi_{0} is algebraically determined by Eq. (6) while ϕmacro\phi_{\rm macro} is given by Eq. (9). The typical values of the physical parameters for the systems of interest are gathered in Table 1.

In order to discuss the effect of the coarse graining, we shall compare the averages of the field distribution and energy density to the ones of the large-scale homogeneous description with ρmacro\rho_{\rm macro}. We thus define the two quantities δϕ\delta_{\phi} and δρ\delta_{\rho} by

ρ¯L0=ρmacro,ϕ¯L0=δϕϕmacro,ρϕ¯L0=δρρϕmacro\bar{\rho}_{L_{0}}=\rho_{\rm macro},\,\,\,\,\,\bar{\phi}_{L_{0}}=\delta_{\phi}\phi_{\rm macro},\,\,\,\,{\overline{\rho_{\phi}}}_{L_{0}}=\delta_{\rho}\rho_{\phi_{\rm macro}} (11)

with ϕmacro\phi_{\rm macro} given by Eq. (9) and ρϕmacro=V(ϕmacro)\rho_{\phi_{\rm macro}}=V(\phi_{\rm macro}) the energy density of the smooth field distribution. We use the similar quantity δP\delta_{P} for the isotropic pressure.

In a quadratic scalar field theory such as the Yukawa theory, i.e. with a linear KG equation, one expects δϕ=1\delta_{\phi}=1 while δρ1\delta_{\rho}\not=1 and δP1\delta_{P}\not=1 whatever the theory since the energy density is a quadratic function of the field. Indeed non-linear scalar field theories such as the chameleon model will lead to δϕ1\delta_{\phi}\not=1. The goal of the two following sections is to estimate the magnitude of these three quantities.

Refer to caption
Figure 3: Yukawa field profile ϕ(𝐱)\phi({\bf x}) normalized by ϕmacro\phi_{\rm macro} evaluated along one of the principal axis of the cube xx. The radius RR and microscopic density ρ0\rho_{0} are varied such that R3ρ0R^{3}\rho_{0} remains constant, i.e. all microscopic geometric configurations share the same value of ρmacro\rho_{\rm macro}, i.e. the same macroscopic fluid description. From left to right, R~=R/L0\tilde{R}=R/L_{0} takes the values 0.010.01, 0.10.1 and 0.30.3. The model parameters (λ,β)(\lambda,\,\beta) are varied such that λ~2=(λ/L0)2\tilde{\lambda}^{2}=(\lambda/L_{0})^{2} spans from 10510^{-5} to 1010 (colored solid lines). It is easily checked that whatever the Yukawa parameters, all these geometric configurations have δϕ=1\delta_{\phi}=1 (black dashed line) with the same ϕmacro\phi_{\rm macro}. Note that both ϕ(x)\phi(x) and ϕmacro\phi_{\mathrm{macro}} are negative, which is why ϕ/ϕmacro>0\phi/\phi_{\mathrm{macro}}>0.

III Example of a quadratic theory: the Yukawa field

Let us start by the study of a theory in which the KG equation remains linear. This is the case of a Yukawa field, that is a massive field linearly and universally coupled to matter.

III.1 Distribution of the scalar field and its average

First, before even having to solve the KG equation, it is clear that one expects from linearity that the averaging procedure shall commute with the equation. Indeed, from the divergence theorem, the l.h.s. of Eq. (7) gives

Ω~Δ~ϕ~d3𝐱~=Γ~~ϕ~𝐧d2Γ~=0,\int_{\tilde{\Omega}}\tilde{\Delta}\tilde{\phi}\,\textrm{d}^{3}\tilde{\bf x}=\int_{\tilde{\Gamma}}\tilde{\bm{\nabla}}\tilde{\phi}\cdot{\bf n}\,\textrm{d}^{2}\tilde{\Gamma}=0,

the last equality following from the periodic boundary conditions [see Eq. (37)]. It follows that

Ω~ϕ~d3𝐱~=Ω~ρ~d3𝐱~,\int_{\tilde{\Omega}}\tilde{\phi}\,\textrm{d}^{3}\tilde{\bf x}=-\int_{\tilde{\Omega}}\tilde{\rho}\,\textrm{d}^{3}\tilde{\bf x}\,,

i.e., ϕ~1=ρ~1\langle\tilde{\phi}\rangle_{1}=-\langle\tilde{\rho}\rangle_{1}, a relation that interestingly does not depend on the parameter λ~2\tilde{\lambda}^{2}. The average of the field distribution is thus given by ϕ¯L0ϕL0=\bar{\phi}_{L_{0}}\equiv\langle\phi\rangle_{L_{0}}= ϕ0ϕ~1=\phi_{0}\langle\tilde{\phi}\rangle_{1}= ϕ0ρ~1=ϕ0ρmacro/ρ0-\phi_{0}\langle\tilde{\rho}\rangle_{1}=-\phi_{0}\rho_{\rm macro}/\rho_{0}, so that, from Eqs. (4) and (9),

ϕ¯L0=ϕmacroδϕ=1\bar{\phi}_{L_{0}}=\phi_{\rm macro}\quad\Longleftrightarrow\quad\delta_{\phi}=1 (12)

as anticipated.

Refer to caption
Figure 4: Dependency of δρ\delta_{\rho} and δP\delta_{P} as a function of the λ~=λ/L0\tilde{\lambda}=\lambda/L_{0}. The effect of the averaging increases if the clumpiness of matter, i.e. when R~\tilde{R} decreases. The parameters are varied as in Fig. 3 in such a way that all models have the same averaged value of the field, ϕmacro\phi_{\rm macro}. The profiles are obtained from Eqs. (35) and (34). The last panel presents the effective equation of states, W=δp/δρW=-\delta_{p}/\delta_{\rho}, which shows a significant deviation from w=1w=-1 for the homogeneous scalar field. The interpolating solid lines connecting the data points are shown only to provide a better view of trends. The analytic approximation (17) gives the values 2.4×1052.4\times 10^{5}, 2.4×1022.4\times 10^{2} and 8.88.8 respectively for R~=(0.01,0.1,0.3)\tilde{R}=(0.01,0.1,0.3) for the plateau of δρ\delta_{\rho} in the limit λ1\lambda\ll 1, perfectly fitting with the numerics.

To be more quantitative and compare to our numerical integration of the KG equation, let us remind that in the Yukawa theory, the linear differential operator (Δ1/λ2){(\Delta-1/\lambda^{2})} has a free-space Green function

𝒢(𝐱,𝐱)=14πe|𝐱𝐱|/λ|𝐱𝐱|.{\cal G}({\bf x},{\bf x}^{\prime})=-\frac{1}{4\pi}\frac{\hbox{e}^{-|{\bf x}-{\bf x}^{\prime}|/\lambda}}{|{\bf x}-{\bf x}^{\prime}|}\,.

Hence the field generated by a point particle source, i.e. with ρ(𝐱)=MδD(𝐱)\rho({\bf x})=M\delta_{\rm D}({\bf x}) is

ϕp.p.(𝐱)=βM4πMPer/λr.\phi_{\rm p.p.}({\bf x})=-\frac{\beta M}{4\pi M_{\rm P}}\frac{\hbox{e}^{-r/\lambda}}{r}\,. (13)

As detailed in Appendix D, the field distribution generated by a sphere of radius RR and constant density ρ0\rho_{0} is

ϕ(r)=14πβMMP{Φ(R/λ)er/λr31eR/λR+λrsinh(r/λ)(R/λ)31λ,\phi(r)=-\frac{1}{4\pi}\frac{\beta M}{M_{\rm P}}\left\{\begin{tabular}[]{l}$\Phi(R/\lambda)\frac{\hbox{e}^{-r/\lambda}}{r}$\\[8.0pt] $3\frac{1-\hbox{e}^{-R/\lambda}\frac{R+\lambda}{r}\sinh(r/\lambda)}{(R/\lambda)^{3}}\frac{1}{\lambda}$\end{tabular}\right., (14)

respectively oustside and inside the sphere, with M=4πρ0R3/3{M=4\pi\rho_{0}R^{3}/3} and

Φ(x)=3(xcoshxsinhx)/x3,\Phi(x)=3(x\cosh x-\sinh x)/x^{3}, (15)

It is easily checked that this expression is indeed smooth in r=Rr=R and that the usual Newtonian expressions are obtained in the limit λ+\lambda\rightarrow+\infty.

These expressions allow us to qualitatively discuss the effect of the mass distribution, i.e. the choice of (R,ρ0)(R,\rho_{0}) while MM is kept identical. First, inside the sphere, Eq. (14) can be rewritten as

ϕ(r)=ϕmin[1eR/λ(R/λ+1)sinh(r/λ)r/λ]\phi(r)=\phi_{\rm min}\left[1-\hbox{e}^{-R/\lambda}(R/\lambda+1)\frac{\sinh(r/\lambda)}{r/\lambda}\right]\,

showing that the field is driven exponentially close to ϕmin\phi_{\rm min} if R/λR/\lambda is large enough, i.e., if the field’s Compton wavelength to be much smaller than RR. Typically |ϕ(0)/ϕmin1|<1%|\phi(0)/\phi_{\rm min}-1|<1\% for R/λ6.6R/\lambda\gtrsim 6.6. Then, outside the the sphere, the field relaxes to 0 but its amplitude is rescaled by the factor Φ(R/λ)\Phi(R/\lambda) compared to a point particle with same mass. All these features are numerically illustrated on Fig. 3 even though they take into account the periodic boundary conditions necessary to represent the infinite lattice. All the field profiles depicted on Fig. 3 have different (R,ρ0)(R,\rho_{0}) with same total mass, i.e. same ρmacro\rho_{\rm macro}. It is easily checked that while the field distributions ϕ(𝐱)\phi({\bf x}) depend on both (R,ρ0)(R,\rho_{0}) and the parameter (λ,β)(\lambda,\beta), they all share the same mean value ϕ¯L0\bar{\phi}_{L_{0}}, i.e. δϕ=1\delta_{\phi}=1 for all models and all parameters enjoying the same ρ¯L0\bar{\rho}_{L_{0}}.

III.2 Distribution of the energy and its average

Since the stress energy tensor (29) is quadratic in the scalar field, all these field profiles sharing the same mean value (see Fig. 3) have different energy densities. Let us evaluate how the coarse grained energy depend on the small-scale distribution of matter, i.e., on the parameters (R,ρ0)(R,\rho_{0}) with same ρ0R3\rho_{0}R^{3}. The general expression (33) of the mean energy density of the scalar field, ρϕ¯L0\overline{\rho_{\phi}}_{L_{0}} reduces to

ρϕ¯L0=β2MPL03ρ(𝐱)ϕ(𝐱)d3𝐱\overline{\rho_{\phi}}_{L_{0}}=-\frac{\beta}{2M_{\rm P}L_{0}^{3}}\int_{{\cal B}}\rho({\bf x})\phi({\bf x})\,\textrm{d}^{3}{\bf x}

for a Yukawa model (since p=2p=2). This expression has been interpreted as a binding energy in Ref. Fleury:2016tsz . For a sphere, if one approximates the field by the spherically symmetric solution (14) which indeed neglects the periodic boundary conditions, one can get the approximation

δρ(ϕ0ϕmacro)20R~ϕ~(r~)4πr~2dr~\delta_{\rho}\simeq-\left(\frac{\phi_{0}}{\phi_{\rm macro}}\right)^{2}\int_{0}^{\tilde{R}}\tilde{\phi}(\tilde{r})4\pi\tilde{r}^{2}\,\textrm{d}\tilde{r}

with ϕ~(r~)[1eR~/λ~(R~/λ~+1)sinh(r~/λ~)r~/λ~]\tilde{\phi}(\tilde{r})\simeq-\left[1-\hbox{e}^{-\tilde{R}/\tilde{\lambda}}(\tilde{R}/\tilde{\lambda}+1)\frac{\sinh(\tilde{r}/\tilde{\lambda})}{\tilde{r}/\tilde{\lambda}}\right] and ρ~=1\tilde{\rho}=1 on (R){\cal B}(R). The \simeq symbol is used to recall we neglect the boundary conditions imposed by the large-scale structure. Hence,

δρ\displaystyle\delta_{\rho} \displaystyle\simeq 4π(ϕ0ϕmacro)2λ~30R~λ~u2du[1eR~λ~(R~λ~+1)sinhuu]\displaystyle 4\pi\left(\frac{\phi_{0}}{\phi_{\rm macro}}\right)^{2}\!\!\tilde{\lambda}^{3}\!\!\int_{0}^{\frac{\tilde{R}}{\tilde{\lambda}}}\!\!\!\!u^{2}\textrm{d}u\left[1-\hbox{e}^{-\frac{\tilde{R}}{\tilde{\lambda}}}\left(\frac{\tilde{R}}{\tilde{\lambda}}+1\right)\frac{\sinh u}{u}\right] (16)
\displaystyle\simeq 34πR~3[1eR~λ~(R~λ~+1)Φ(R~/λ~)]\displaystyle\frac{3}{4\pi\tilde{R}^{3}}\left[1-\hbox{e}^{-\frac{\tilde{R}}{\tilde{\lambda}}}\left(\frac{\tilde{R}}{\tilde{\lambda}}+1\right)\Phi(\tilde{R}/\tilde{\lambda})\right]

It follows that in the limit of small λ~\tilde{\lambda},

δρ34πR~3[132λ~R~+𝒪(2)],\delta_{\rho}\sim\frac{3}{4\pi\tilde{R}^{3}}\left[1-\frac{3}{2}\frac{\tilde{\lambda}}{\tilde{R}}+{\cal O}(2)\right]\,, (17)

which explains that δρ\delta_{\rho} reaches a plateau with an amplitude that scales as R~3\tilde{R}^{-3}, as obtained numerically on Fig. 4. At large λ~\tilde{\lambda}, δρ1\delta_{\rho}\simeq 1, which can be explained by the fact that the field is less screened. The deviation from δρ=1\delta_{\rho}=1 increases with the clumpiness of matter, i.e. when R~\tilde{R} decreases which is indeed intuitive since when 4πR~3/314\pi\tilde{R}^{3}/3\rightarrow 1, ρ0ρmacro\rho_{0}\rightarrow\rho_{\rm macro} and the sphere fills the whole domain. This analytic approximation has been checked to give the exact value of the plateau of Fig. 4 in the limit λ~1\tilde{\lambda}\ll 1.

III.3 Discussion of the physical implications

This analysis can be extended to compute the coarse grained isotropic pressure. The results are gathered on Fig. 4 that show a similar behavior for δP\delta_{P}. We also consider the equation of state of the scalar field. On the macroscopic scales Pϕ(ϕmacro)=ρϕ(ϕmacro)P_{\phi}(\phi_{\rm macro})=-\rho_{\phi}(\phi_{\rm macro}) so that wmacro=1w_{\rm macro}=-1, while the equation of state of the coarse-grained distribution is

Wρϕ¯L0/Pϕ¯L0=δρδP.W\equiv{\overline{\rho_{\phi}}}_{L_{0}}/{\overline{P_{\phi}}}_{L_{0}}=-\frac{\delta_{\rho}}{\delta_{P}}\,. (18)

In order to interpret these numerical results, notice that for large λ~\tilde{\lambda} the matter source remains unscreened. The field is almost not affected by the matter on the scale R~\tilde{R} so that it can be treated perturbatively. Hence one concludes that both δρ\delta_{\rho} and δP\delta_{P} tend toward 1 and hence W=1W=-1. For small λ~\tilde{\lambda}, the matter sphere are screened so that the field reaches its two minima in the whole sphere and in the inter-sphere space — but in a small layer ΔR\Delta R. It follows that the contribution of (ϕ)2(\nabla\phi)^{2} in the field pressure (32) becomes negligible since ϵΔR/R1\epsilon\equiv\Delta R/R\ll 1. Hence the expressions (31-32) lead to the conclusion that W=1W=-1, as confirmed by the numerical integrations on Fig. 4.

These results drive a series of remarks.

  1. 1.

    In the cosmological context, the energy density and pressure of the scalar field smoothed on cosmological scales shall enter the Friedmann equation. This effect has been investigated in Ref. Briddon:2024ftz in their “post-Newtonian approach to cosmological modeling”, with which we share the same description of the microscopic distribution of matter. They concluded that the Friedmann equation shall take he generic form

    H2=8πG3[ρ(𝐱,t)+12ϕ˙(𝐱,t)+V[ϕ(𝐱,t)]]H^{2}=\frac{8\pi G}{3}\left[\Big{\langle}\rho({\bf x},t)\Big{\rangle}+\Big{\langle}\frac{1}{2}\dot{\phi}({\bf x},t)+V[\phi({\bf x},t)]\Big{\rangle}\right]

    which includes the fluctuations of the field on ϕ˙\dot{\phi} but neglects the ϕ\nabla\phi contribution to the scalar field energy density (31). This is indeed a good approximation when the post-Newtonian formalism can be applied, i.e., gravity is described by a metric and that it does not involve any characteristic scale will ; blanchet on the size of the system studied. in the present case, this corresponds to the limit λ~1\tilde{\lambda}\gg 1, a regime in which we fully recover the conclusions of Ref. Briddon:2024ftz . This is indeed not the case otherwise, as shown on Fig. 4. The λ~1\tilde{\lambda}\leq 1 regime is indeed much more subtle to model. If we boldly assume that the Friedmann equations take the form – which indeed is probably not the case,

    H2\displaystyle H^{2} =\displaystyle= 8πG3(ρ¯+ρϕ¯)\displaystyle\frac{8\pi G}{3}\left(\overline{\rho}+{\overline{\rho_{\phi}}}\right)
    a¨a\displaystyle\frac{\ddot{a}}{a} =\displaystyle= 4πG3(ρ¯+3P¯+ρϕ¯+3Pϕ¯)\displaystyle-\frac{4\pi G}{3}\left(\overline{\rho}+3\overline{P}+{\overline{\rho_{\phi}}}+3{\overline{P_{\phi}}}\right)

    as long as it is described in the Einstein frame, which is indeed not the observational frame — see point 2 below – then the computation of the full energy density is required, with the gradient terms included.

    As already emphasized ρϕ¯ρϕ(ϕmacro){\overline{\rho_{\phi}}}\not=\rho_{\phi}(\phi_{\rm macro}) and Fig. 4 let us expect that they can significantly differ. Indeed, in our numerics are restricted to a static configuration and we not solve the KG equation on a FL background spacetime. Still, we can speculate that (1) in perturbation theory this is a lower order effect and the cosmological dynamics is well described by the usual approach relying on a FL solution as already concluded in Ref. Briddon:2024ftz ; (2) in the regime λ~1\tilde{\lambda}\gg 1, studied in Ref. Briddon:2024ftz , it is a good approximation to consider the smooth value of the field to infer the cosmological dynamics and (3) in the regime λ~1\tilde{\lambda}\ll 1 while, δρ\delta_{\rho} and δP\delta_{P} become large, we expect the cosmological dynamics to significantly differ from the one inferred under the approximation of a smooth scalar field, even if, quite surprizingly, the equation of state seems not to be modified deep in this regime.

    Our present analysis does not allow us to draw definite conclusions, but it signals that the cosmological conclusions for dark energy models coupled to matter shall be revisited with care, maybe by extending the analysis of Ref. Briddon:2024ftz or our present work.

  2. 2.

    An additional point is worth emphasizing. So far, we have used the Einstein-frame description but observations shall be analyzed in the Jordan frame Esposito-Farese:2000pbo ; Uzan:2006mf . It follows that

    aJF=A(ϕ)aEFa_{\rm JF}=A(\phi)a_{\rm EF}\,

    and

    ρJF=A4(ϕ)ρEF,PJF=A4(ϕ)PEF\rho_{\rm JF}=A^{4}(\phi)\rho_{\rm EF},\,P_{\rm JF}=A^{4}(\phi)P_{\rm EF}

    respectively for the scale factor, energy density and pressure in both frames. Since the coupling A(ϕ)A(\phi) is not linear, it is then obvious that

    A(ϕ)aEFA(ϕmacro)aEF\langle A(\phi)\rangle a_{\rm EF}\not=A(\phi_{\rm macro})a_{\rm EF}

    and similarly

    ρJF=A4(ϕ)ρEFA4(ϕmacro)ρEF.\langle\rho_{\rm JF}\rangle=\langle A^{4}(\phi)\rho_{\rm EF}\rangle\not=A^{4}(\phi_{\rm macro})\langle\rho_{\rm EF}\rangle\,.

    Indeed, these effects are usually taken into account at linear order in cosmological perturbations but can become large when the clumpiness of matter becomes important.

  3. 3.

    As seen on Fig. 4, the equation of state remains larger than 1-1, W1W\geq-1, and is still driving an acceleration since W<1/3W<-1/3. Hence, one shall expect the effect of the clustering to lead to a milder acceleration. Even in the case of a Yukawa model with a large mass compared to the Hubble parameter, so that the macroscopic dynamics leads to a pure cosmological constant since the field is stuck at the minimum of its potential, one expects W>1W>-1. Indeed our analysis is restricted to a static distribution so that it has to be extended to derived the proper cosmological effects. But it shows the effect is present.

  4. 4.

    It follows that extra-care is needed for the interpretation of extended quintessence models even if the KG equation is linear and ϕ¯=ϕmacro\bar{\phi}=\phi_{\rm macro} since the clumpiness of matter will be more important at small redshifts and hence modify the late time prediction of the observables. This also the case in models Pitrou:2023swx ; Uzan:2023dsk in which the scalar field coupled simply to a dark matter component to avoid variations of fundamental constants Uzan:2024ded .

Hence, this example, even if not realistic and restricted to a static matter distribution, shows that the averaging of the scalar can bias the interpretation of scalar field model when coupled to matter.

IV Example of a non-linear theory: the chameleon field

Refer to caption
Figure 5: Chameleon field profiles ϕ(x)\phi(x) normalized by ϕmacro\phi_{\rm macro} evaluated along one of the principal axis of the cube xx. The radius RR and microscopic density ρ0\rho_{0} are varied such that R3ρ0R^{3}\rho_{0} remains constant, i.e. all microscopic geometric configurations share the same value of ρmacro\rho_{\rm macro}, i.e. the same macroscopic fluid description. From left to right, R~=R/L0\tilde{R}=R/L_{0} takes the values 0.010.01, 0.10.1 and 0.30.3. The model parameters (Λ,β)(\Lambda,\beta) are varied such that λ~\tilde{\lambda} spans from 101010^{-10} to 11 (colored solid lines). In the screened regime (e.g. for λ~=1010{\tilde{\lambda}=10^{-10}}), the average value of the field strongly depends on the microscopic matter distribution.

IV.1 Distribution of the scalar field

Let us now consider a non-linear KG equation as arises in chameleon models. Unfortunately, such a scenario cannot be fully addressed analytically. Still, repeating step by step the argument of § III.1, one easily shows that

ϕ~(n+1)1=ρ~1,\langle\tilde{\phi}^{-(n+1)}\rangle_{1}=\langle\tilde{\rho}\rangle_{1}\,, (19)

from which one concludes that, thanks to Eqs. (4) and (6)

ϕ(n+1)L0=ϕmacro(n+1).\langle\phi^{-(n+1)}\rangle_{L_{0}}=\phi_{\rm macro}^{-(n+1)}. (20)

This shows that the field distribution with different microscopic geometries with constant ρ¯L0\bar{\rho}_{L_{0}} will still share some common averaged quantities, but they will indeed have different mean values of ϕ\phi so that δϕ1\delta_{\phi}\not=1. This generically implies, a fortiori, that the field energy density will have very different mean values.

Figure 5 depicts several chameleon field profiles normalized by ϕmacro\phi_{\mathrm{macro}} evaluated along one of the principal axis of the cube. Some of the comments made on the Yukawa field profiles (see Fig. 3) still apply to the present case. In particular, the limits λ~0+\tilde{\lambda}\to 0^{+} and λ~+\tilde{\lambda}\to+\infty have similar effects on the chameleon field dynamics: in the former limit, the field reaches the minimum of its effective potential inside the sphere; whereas in the latter limit, the field relaxes to the constant ϕmacro\phi_{\mathrm{macro}} everywhere. The main difference with respect to the Yukawa model — as already emphasized  — is that δϕ1\delta_{\phi}\neq 1 in the so-called screened regime. This point is not necessarily obvious from Fig. 5, which is why we compute δϕ\delta_{\phi} for three distinct geometries and for a wide range of parameters λ~\tilde{\lambda} in Fig. 6. Two comments are in order from theses numerical results:

  1. 1.

    When the system is unscreened on the smoothing scale L0L_{0}, which is typically the case when λ~1\tilde{\lambda}\gtrsim 1, one recovers δϕ=1\delta_{\phi}=1 despite the non-linerarities.

  2. 2.

    In the screened regime however, i.e. for sufficiently small values of λ~\tilde{\lambda}, δϕ\delta_{\phi} departs from unity, reaching values larger than 10510^{5}.

In the latter case, i.e. when the matter sphere is screened, we can even derive an analytical approximation of δϕ\delta_{\phi}. Following the steps detailed in Appendix E, we get

δϕ(43πR~3)1n+1[43πR~3+(143πR~3)ϕ~vac]\delta_{\phi}\simeq\left(\frac{4}{3}\pi\tilde{R}^{3}\right)^{\!\frac{1}{n+1}}\left[\frac{4}{3}\pi\tilde{R}^{3}+\left(1-\frac{4}{3}\pi\tilde{R}^{3}\right)\tilde{\phi}_{\mathrm{vac}}\right] (21)

with

ϕ~vac(4πR~λ~214πR~3/3)1n+2.\tilde{\phi}_{\mathrm{vac}}\simeq\left(\frac{4\pi\tilde{R}\tilde{\lambda}^{2}}{1-4\pi\tilde{R}^{3}/3}\right)^{\!-\frac{1}{n+2}}. (22)

This analytical approximation is depicted by gray crosses and compared against the numerical computations in Fig. 6. The two approaches — analytical and numerical — agree remarkably well. Consequently, it seems legitimate to make use of Eqs. (21) and (22) to extrapolate values of δϕ\delta_{\phi} for even smaller parameters λ~\tilde{\lambda}. Moreover, Eq. (21) also turns out to be also useful for approximating λ~screened\tilde{\lambda}_{\mathrm{screened}}, by checking when Eq. (21) produces δϕ1\delta_{\phi}\simeq 1 (see gray crosses on Fig. 6). Here, λ~screened\tilde{\lambda}_{\mathrm{screened}} refers to the specific value of λ~\tilde{\lambda} where the transition between the two regimes occurs.

Note that a similar analysis has been performed in Ref. Briddon:2024ftz and that our field profiles from Fig. 5 have the same generic form that those presented in their Fig. 5 even though we do not use the same boundary conditions. Still, deep in the screened regime, the two computation led to consistent conclusions since the parameter α\alpha in Eqs. (48-29) of Ref. Briddon:2024ftz introduced in the averaged Friedmann equations (neglecting the gradient term in the energy density since it differs from 0 only in a thin shell) coincides with our Vol(Ω~)=4πR~3/3{\rm Vol}(\tilde{\Omega})=4\pi\tilde{R}^{3}/3. The present work gives however a precise, numerical and analytical, value on δϕ\delta_{\phi}, i.e., on how the small scale structure affects the mean value of the scalar field.

Refer to caption
Figure 6: Due to the non-linearities of the KG equations, chameleon models generically predict that ϕL0ϕmacro\langle\phi\rangle_{L_{0}}\not=\phi_{\rm macro} while ϕ(n+1)L0=ϕmacro(n+1)\langle\phi^{-(n+1)}\rangle_{L_{0}}=\phi_{\rm macro}^{-(n+1)}, a relation that has indeed be checked to hold. The panels present the numerical computation of δϕ\delta_{\phi}, defined in Eq. (11) as a function of λ~λ/L0\tilde{\lambda}\equiv\lambda/L_{0} for R~=0.01,0.1\tilde{R}=0.01,0.1 and 0.30.3 from top to bottom. We indicate the values of λ~\tilde{\lambda} that corresponds to the shift between the screened and unscreened regimes. The ×\times symbols correspond the analytical approximation (21) valid in the screened regime. It is remarkable that in the unscreened regime δϕ=1\delta_{\phi}=1 despite the non-linearities.

IV.2 Implications

Figure 7 gives the consequences of the fluid quantities and the equation of state. As for the field distribution, the consequences depend strongly on the screening.

In the unscreened regime, both δρ\delta_{\rho} and δP\delta_{P} tend to unity so that W=1W=-1. Interestingly this is also the case in the screened regime, for the same reason as for the Yukawa case: the field has strong variations between the inside and outside of the sphere but it is almost constant everywhere but on a thin shell of relative width ϵ\epsilon. Hence its gradient is almost zero everywhere and the local equation of state is equal to 1-1 almost everywhere.

Then, from Fig. 8, we see that for typical values found in Table 1, galaxies are not screened, i.e. at late time the homogenous approximation used to draw cosmological consequences may not be a good. Hence, the field may not be following the minimum of its effective potential VeffV_{\rm eff} with ρ=ρmacro\rho=\rho_{\rm macro}, and the effects on the cosmological dynamics may be strongly modified. Still the equation of state is reduced but less sharply than for the Yukawa case.

Refer to caption
Figure 7: Dependency of δρ\delta_{\rho} and δP\delta_{P} as a function of the λ~=λ/L0\tilde{\lambda}=\lambda/L_{0}. The effect of the averaging increases if the clumpiness of matter, i.e. when R~\tilde{R} decreases. The parameters are varied as in Fig. 3 in such a way that all models have the same averaged value of the field, ϕmacro\phi_{\rm macro}. The profiles are obtained from Eqs. (35) and (34). The last panel presents the effective equation of states, W=δp/δρW=-\delta_{p}/\delta_{\rho}, which shows a significant deviation from w=1w=-1 for the homogeneous scalar field. Its behaviors at large and small λ~\tilde{\lambda} are explained in the core of the text. The interpolating solid lines connecting the data points are shown only to provide a better view of trends.
Refer to caption
Figure 8: δϕ\delta_{\phi} in the chameleon parameter space for the three physical systems described in Table 1 [computed from the analytical approximation (21)]. The red dashed line indicates the transition from the unscreened regime, for which δϕ=1\delta_{\phi}=1, to the screened regime, for which one can have δϕ1\delta_{\phi}\gg 1. The xx-axis is 1/β1/\beta to be in line with the exclusion plots found in the literature.

V Discussion

This article has investigated the consequences of smoothing the matter distribution before solving the field equation of the scalar degree of freedom of a scalar-tensor theory of gravity. Its dynamics is described by a Klein–Gordon equation with a self interacting potential and a coupling to the energy density of the matter distribution. Two cases were considered. First a Yukawa theory, for which the KG equation remains linear, and then a chameleon model with a non-linear KG equation.

While the matter distribution is simplified to a static crystal structure containing a single homogeneous sphere, this toy model nonetheless allowed us to assess the effect of small-scale matter distribution on scalar field-dependent quantities (for a constant mean density value). As expected, the Yukawa theory yields that the average value of the field distribution matches the macroscopic value of the scalar field obtained from the mean energy density, i.e., δϕ=1\delta_{\phi}=1. Still, the small-scale distribution affects the mean energy density and pressure, and thus eventually the equation of state of the effective fluid describing the scalar field on large-scales. For the non-linear theory it is demonstrated that this can be reached only if the matter source remains unscreened. In both cases, we have shown that δρ=1\delta_{\rho}=1 and δP=1\delta_{P}=1 in the unscreened regime so that effectively the average commutes with the equation of motion, even in the non-linear case. We have also shown that the equation of state is unaffected deep in either the unscreened or screened regimes.

Even if this toy model remains very simple, it highlights a series of questions both for cosmology and laboratory searches of a fifth force. As shown on Fig. 8, for the various physical systems described in Table 1, δϕ1\delta_{\phi}\gg 1 in a large region of the chameleon parameter space. In this region, it is not valid to model such media as homogeneous fluids. As a consequence, it may be necessary to re-analyze several results in the literature.

First, our results have to be put into perspective with fifth force searches in the laboratory and in space; see e.g. Ref. Burrage:2017qrf for a review. In space, one usually assumes that the scalar field relaxes to ϕmin(ρspace)\phi_{\mathrm{min}}(\rho_{\mathrm{space}}) infinitely far away from the system of interest. This is a key assumption to derive the response of the detector as seen e.g. on the concrete example of the MICROSCOPE experiment Pernot-Borras:2019gqs ; Pernot-Borras:2020jev ; Pernot-Borras:2021edr ; Levy:2023tps . Indeed, all studies aiming at constraining the chameleon model on Solar system scales, including the seminal Ref. Khoury:2003rn ), do assume ϕϕ{\phi\to\phi_{\infty}}. Indeed, given the present discussion, in particular in the screened regime, the chosen asymptotic boundary condition affects the field’s profile, together with its gradient which is proportional to the fifth force amplitude. Hence a great care shall be taken on the way to deal with accurate boundary conditions in a dilute media. Beyond fifth force searches, experiments relying on ‘potential effects’ — see Table 1 in Ref. Levy:2024vyd — should also be re-analyzed more closely. Taking ϕmacro\phi_{\mathrm{macro}} as the maximum value of the scalar field in outer space is only valid if δϕ=1\delta_{\phi}=1 and one shall explicitly check that the fluid approximation for the surrounding media is good enough.

Then, concerning cosmology, the right-hand panel of Fig. 8 indicates that δϕ1\delta_{\phi}\gg 1 almost everywhere in the parameter space. This has important consequences as already emphasized above. Most cosmological predictions are drawn using the assumption that the universe is well described by a FL geometry on all scales, using perturbation theory. Indeed, under that assumption, δρ\delta_{\rho} and δP\delta_{P} would be second order in perturbations. At late time, when the clustering of matter becomes significant, our study indicate that (i) δϕ\delta_{\phi} may be large for non-linear theories in the screened regime and (ii) δρ\delta_{\rho} and δP\delta_{P} are usually different from unity, see Figs. 4 and 7, which can bias the evolution of the universe, even if the Friedman equations remain a good description of the cosmic dynamics. Interestingly we have shown that the small-scale distribution of matter affect the effective equation of state of the scalar field if it is non minimally coupled, which is the case in extended quintessence models. This also holds in the class of models in which it couples only to dark matter. To finish, we have pointed out that in any scalar-tensor theory, one should also keep in mind that the average does not generally commute with the change of frame. Indeed we worked in Einstein frame for the sake of simplicity but observations have to be interpreted in the Jordan frame.

As a conclusion, this analysis questions the reliability of the cosmological and laboratory tests of scalar field models, in particular in the screened regime. A similar concern was pointed out by Ref. Fleury:2016tsz . Here, we have identified many situations in which the homogeneous fluid, and hence the homogeneous asymptotic value of the scalar field, does not hold. We have further made explicit computations — both analytically and numerically — of the order of magnitude of the error made by averaging the matter distribution before solving the KG equation. A concrete example at the atomic level, that actually drove the present analysis, is presented in Ref. Levy:2024vyd . Many developments, in particular to include the time evolution and the effect of an expanding spacetime as well as a more realistic matter distribution, will be addressed later.

Acknowledgements

We thank Joel Bergé, George Ellis, Julien Larena and Cyril Pitrou for their insight and comments and Pierre Fleury for an in depth discussion to help us compare the results by Ref. Briddon:2024ftz to ours. HL thanks the Institute of astrophysics for hospitality during the end of this work.

Appendix A Scalar-tensor theory

Let us consider a general scalar-tensor theory, with the action

S=SEH+Sϕ+SmatS=S_{\mathrm{EH}}+S_{\phi}+S_{\mathrm{mat}} (23)

with

SEH\displaystyle S_{\mathrm{EH}} =MP22d4xgR,\displaystyle=\frac{M_{\rm P}^{2}}{2}\int\mathrm{d}^{4}x\sqrt{-g}R\,, (24a)
Sϕ\displaystyle S_{\phi} =d4xg[12gμνμϕνϕ+V(ϕ)],\displaystyle=-\int\mathrm{d}^{4}x\sqrt{-g}\biggl{[}\frac{1}{2}g^{\mu\nu}\partial_{\mu}\phi\,\partial_{\nu}\phi+V(\phi)\biggr{]}\,, (24b)
Smat\displaystyle S_{\mathrm{mat}} =d4xg~mat(g~μν,ψmat(i)).\displaystyle=\int\mathrm{d}^{4}x\sqrt{-\tilde{g}}\,\mathcal{L}_{\mathrm{mat}}\bigl{(}\tilde{g}_{\mu\nu},\,\psi_{\mathrm{mat}}^{(i)}\bigr{)}\,. (24c)

We assume that the metric tensor has (,+,+,+){(-,\,+,\,+,\,+)}. Greek indices (μ,ν,ρ,σ,etc.){(\mu,\,\nu,\,\rho,\,\sigma,\,\text{etc.})} run from 0 to 3 while Latin indices (i,j,k,etc.){(i,\,j,\,k,\,\text{etc.})} run from 1 to 3. This is indeed the standard Einstein–Hilbert action with the Ricci scalar RR constructed from the Einstein-frame metric gμνg_{\mu\nu}. Then, the second term (24b) is the action of the scalar field ϕ\phi with a canonical kinetic term and potential VV. Then, Eq. (24c) denotes the matter action, where all matter fields ψmat(i)\psi_{\mathrm{mat}}^{(i)} are universally coupled to the Jordan-frame metric g~μν\tilde{g}_{\mu\nu}. The latter is chosen to be related to the Einstein-frame metric through a Weyl transformation, reading

g~μν=A2(ϕ)gμν,\tilde{g}_{\mu\nu}=A^{2}(\phi)g_{\mu\nu}\,, (25)

for some real conformal factor function AA. It follows that the fields equations, obtained by varying the action with respect to gμνg^{\mu\nu} and ϕ\phi, reduce to

GμνRμν12Rgμν\displaystyle G_{\mu\nu}\equiv R_{\mu\nu}-\frac{1}{2}Rg_{\mu\nu} =1MP2(Tμν+Tμν(ϕ))\displaystyle=\frac{1}{M_{\rm P}^{2}}\bigl{(}T_{\mu\nu}+T_{\mu\nu}^{(\phi)}\bigr{)} (26)
ϕgμνμνϕ\displaystyle\Box\phi\equiv g^{\mu\nu}\nabla_{\!\mu}\!\nabla_{\!\nu}\phi =dVdϕdlnAdϕT\displaystyle=\frac{\mathrm{d}V}{\mathrm{d}\phi}-\frac{\mathrm{d}\ln A}{\mathrm{d}\phi}T (27)

where T=gμνTμνT=g^{\mu\nu}T_{\mu\nu} is the trace of the matter stress energy tensor defined as

Tμν2gδSmatδgμν.T_{\mu\nu}\equiv\frac{-2}{\sqrt{-g}}\frac{\delta S_{\mathrm{mat}}}{\delta g^{\mu\nu}}\,. (28)

To finish the stress-energy tensor of the scalar filed is

Tμν(ϕ)2gδSϕδgμν=μϕνϕ12gμνgρσρϕσϕgμνV(ϕ).\begin{split}T_{\mu\nu}^{(\phi)}&\equiv\frac{-2}{\sqrt{-g}}\frac{\delta S_{\phi}}{\delta g^{\mu\nu}}\\ &=\partial_{\mu}\phi\,\partial_{\nu}\phi-\frac{1}{2}g_{\mu\nu}g^{\rho\sigma}\partial_{\rho}\phi\,\partial_{\sigma}\phi-g_{\mu\nu}V(\phi)\,.\end{split} (29)

It follows that the density and isotropic pressure measured by an observer comoving with uμu^{\mu} (with uμuμ=1u_{\mu}u^{\mu}=-1) are given by ρϕ=Tμν(ϕ)uμuν\rho_{\phi}=T^{(\phi)}_{\mu\nu}u^{\mu}u^{\nu} and 3Pϕρϕ=Tμν(ϕ)gμν3P_{\phi}-\rho_{\phi}=T^{(\phi)}_{\mu\nu}g^{\mu\nu}.

Assuming a Minkowski spacetime in Einstein frame and a non-relativistic matter source, the scalar field equation (27) boils down to

ϕ¨+Δϕ=dVdϕ+dlnAdϕρ,-\ddot{\phi}+\Delta\phi=\frac{\mathrm{d}V}{\mathrm{d}\phi}+\frac{\mathrm{d}\ln A}{\mathrm{d}\phi}\rho\,, (30)

and one has

ρϕ(𝐱)\displaystyle\rho_{\phi}({\bf x}) =\displaystyle= 12ϕ˙2+12(ϕ)2+V,\displaystyle\frac{1}{2}\dot{\phi}^{2}+\frac{1}{2}\left(\nabla\phi\right)^{2}+V\,, (31)
Pϕ(𝐱)\displaystyle P_{\phi}({\bf x}) =\displaystyle= 12ϕ˙216(ϕ)2V,\displaystyle\frac{1}{2}\dot{\phi}^{2}-\frac{1}{6}\left(\nabla\phi\right)^{2}-V\,, (32)

with a dot refeering to uμμu^{\mu}\partial_{\mu}. It is interesting to note that

ρϕ+3Pϕ=2(ϕ˙2V)\rho_{\phi}+3P_{\phi}=2(\dot{\phi}^{2}-V)

hence sharing the same expression as for a homogeneous field, but still with ϕ(𝐱,t)\phi({\bf x},t). Then,

ρϕ+Pϕ=ϕ˙2+13(ϕ)2\rho_{\phi}+P_{\phi}=\dot{\phi}^{2}+\frac{1}{3}\left(\nabla\phi\right)^{2}

and the KG equation (30) implies

ρ˙ϕ=α(ϕ)ρϕ˙+(ϕ˙Δϕ+ϕ.ϕ˙),\dot{\rho}_{\phi}=–\alpha(\phi)\rho\dot{\phi}+\left(\dot{\phi}\Delta\phi+\nabla\phi.\nabla\dot{\phi}\right),

with the first term describing the force of the standard matter on the scalar field fluid, i.e., the counterpart of the fifth force, and the second term vanishing for a homogeneous field. It has to be compared with the similar equation one would get for a homogeneous scalar field in a FL spacetime

ρ˙ϕ+3H(ρϕ+Pϕ)=α(ϕ)ρϕ˙.\dot{\rho}_{\phi}+3H(\rho_{\phi}+P_{\phi})=–\alpha(\phi)\rho\dot{\phi}.

Appendix B General derivation of δρ\delta_{\rho} and δp\delta_{p}

For a static configuration, it is clear from Eqs. (3132) that

ρϕ¯L0\displaystyle{\overline{\rho_{\phi}}}_{L_{0}} =\displaystyle= 1L03Ω[12(ϕ)2+Cϕp]d3𝐱,\displaystyle\frac{1}{L_{0}^{3}}\int_{\Omega}\left[\frac{1}{2}\left(\nabla\phi\right)^{2}+C\phi^{p}\right]\textrm{d}^{3}{\bf x}\,,
Pϕ¯L0\displaystyle{\overline{P_{\phi}}}_{L_{0}} =\displaystyle= 1L03Ω[16(ϕ)2Cϕp]d3𝐱\displaystyle\frac{1}{L_{0}^{3}}\int_{\Omega}\left[-\frac{1}{6}\left(\nabla\phi\right)^{2}-C\phi^{p}\right]\textrm{d}^{3}{\bf x}

once the parametrization (3) for the potential has been used. The first term can be integrated by part and, once the KG equation is used to express the Laplacian, one gets

ρϕ¯L0\displaystyle{\overline{\rho_{\phi}}}_{L_{0}} =\displaystyle= 1L03Ω[C(1p2)ϕpβ2MPρϕ]d3𝐱,\displaystyle\frac{1}{L_{0}^{3}}\int_{\Omega}\left[C\left(1-\frac{p}{2}\right)\phi^{p}-\frac{\beta}{2M_{\rm P}}\rho\phi\right]\textrm{d}^{3}{\bf x}\,, (33)
Pϕ¯L0\displaystyle{\overline{P_{\phi}}}_{L_{0}} =\displaystyle= 1L03Ω[C(p61)ϕp+β6MPρϕ]d3𝐱.\displaystyle\frac{1}{L_{0}^{3}}\int_{\Omega}\left[C\left(\frac{p}{6}-1\right)\phi^{p}+\frac{\beta}{6M_{\rm P}}\rho\phi\ \right]\textrm{d}^{3}{\bf x}\,. (34)

Note that in the case of a non-dynamical field, but sill assuming a Minkowski background spacetime, the averaged energy density and pressure would take an additional contribution, respectively given by

1L03Ω12[ϕ˙2ϕϕ¨]d3𝐱,1L03Ω12[ϕ˙2+13ϕϕ¨]d3𝐱\frac{1}{L_{0}^{3}}\int_{\Omega}\frac{1}{2}\left[\dot{\phi}^{2}-\phi\ddot{\phi}\right]\textrm{d}^{3}{\bf x}\,,\quad\frac{1}{L_{0}^{3}}\int_{\Omega}\frac{1}{2}\left[\dot{\phi}^{2}+\frac{1}{3}\phi\ddot{\phi}\right]\textrm{d}^{3}{\bf x}

since Eq. (1) has en extra ϕ¨-\ddot{\phi} term on its l.h.s., i.e., using Eq. (30).

Now, for a homogeneous distribution with density ρ0\rho_{0} and reminding that ρϕmacro=Pϕmacro=V(ϕmacro)=Cϕmacrop\rho_{\phi_{\rm macro}}=-P_{\phi_{\rm macro}}=V(\phi_{\rm macro})=C\phi_{\rm macro}^{p}, one gets

δρ\displaystyle\delta_{\rho} =\displaystyle= (ϕ0ϕmacro)p[(1p2)Ω~ϕ~pd3𝐱~|p|2Ω~ρ~ϕ~d3𝐱~],\displaystyle\left(\frac{\phi_{0}}{\phi_{\rm macro}}\right)^{p}\!\left[\left(1-\frac{p}{2}\right)\!\!\int_{\tilde{\Omega}}\!\!\tilde{\phi}^{p}\textrm{d}^{3}\tilde{\bf x}-\frac{|p|}{2}\!\!\int_{\tilde{\Omega}}\!\!\tilde{\rho}\tilde{\phi}\textrm{d}^{3}\tilde{\bf x}\right]\,, (35)
δP\displaystyle\delta_{P} =\displaystyle= (ϕ0ϕmacro)p[(1p6)Ω~ϕ~pd3𝐱~|p|6Ω~ρ~ϕ~d3𝐱~].\displaystyle\left(\frac{\phi_{0}}{\phi_{\rm macro}}\right)^{p}\!\left[\left(1-\frac{p}{6}\right)\!\!\int_{\tilde{\Omega}}\!\!\tilde{\phi}^{p}\textrm{d}^{3}\tilde{\bf x}-\frac{|p|}{6}\!\!\int_{\tilde{\Omega}}\!\!\tilde{\rho}\tilde{\phi}\textrm{d}^{3}\tilde{\bf x}\right]\,. (36)

The prefactor can be rewritten in the different forms

(ϕ0ϕmax)p=(ρ0ρmacro)pp1=(4π3R~3)pp1,\left(\frac{\phi_{0}}{\phi_{\rm max}}\right)^{p}=\left(\frac{\rho_{0}}{\rho_{\rm macro}}\right)^{\frac{p}{p-1}}=\left(\frac{4\pi}{3}\tilde{R}^{3}\right)^{-\frac{p}{p-1}},

the last equality holding for homogeneous spheres. The homogeneous distribution limit is obtained when Vol(Ω~)4π3R~31{\mathrm{Vol}(\tilde{\Omega})\equiv\frac{4\pi}{3}\tilde{R}^{3}\rightarrow 1}.

Appendix C Details on the numerical implementation

The dimensionless Klein–Gordon equation (7) is solved using the femtoscope software Levy:2022xni  — a Python code111See https://github.com/onera/femtoscope. that makes use of the Finite Element Method (FEM). The solutions of Eq. (7) are living in the Sobolev space of periodic functions Hper1(Ω~)H^{1}_{\text{per}}(\tilde{\Omega}), where Ω~\tilde{\Omega} is the unit cube centered at the origin in 3\mathbb{R}^{3}. Denoting H1(Ω~)H^{1}(\tilde{\Omega}) the standard Sobolev space and given u~H1(Ω~)\tilde{u}\in H^{1}(\tilde{\Omega}), the periodic boundary conditions are written as

{i{1, 2, 3}𝐱~Γ~,x~i=0,{u~(𝐱~+𝐞~i)=u~(𝐱~)~u~(𝐱~+𝐞~i)=~u~(𝐱~).\forall\begin{cases}i\in\{1,\,2,\,3\}\\ \tilde{\mathbf{x}}\in\tilde{\Gamma},\,\tilde{x}_{i}=0\end{cases}\hskip-5.69046pt,\quad\begin{cases}\tilde{u}(\tilde{\mathbf{x}}+\tilde{\mathbf{e}}_{i})=\tilde{u}(\tilde{\mathbf{x}})\\ \tilde{\bm{\nabla}}\tilde{u}(\tilde{\mathbf{x}}+\tilde{\mathbf{e}}_{i})=\tilde{\bm{\nabla}}\tilde{u}(\tilde{\mathbf{x}})\end{cases}. (37)

Formally, one has

Hper1(Ω~){u~H1(Ω~)u~ satisfies (37)}.H^{1}_{\text{per}}(\tilde{\Omega})\coloneqq\Bigl{\{}\tilde{u}\in H^{1}(\tilde{\Omega})\mid\tilde{u}\text{ satisfies \eqref{eqn:epbc}}\Bigr{\}}\,.

In finite element computations, conditions (37) are enforced by tying degrees of freedom belonging to opposite faces of the cube together. The actual implementation is done in the Sfepy Sfepy — the FEM software on top of which femtoscope is built. Note that in the present case, of a ball centered in Ω~\tilde{\Omega} (see Fig. 2), it is also possible to apply homogeneous Neumann boundary conditions on Γ~\tilde{\Gamma} for symmetry reasons.

The sparse linear systems arising from the discretization of the relevant weak forms are solved with the MUMPS solver. In the case of the chameleon non-linear KG equation, we employ standard Newton’s iterations with a relaxation parameter set to 0.4 to ensure convergence. The latter is also dependent on the choice of a sufficiently ‘good’ initial guess. In this respect, we use ϕ~macro\tilde{\phi}_{\mathrm{macro}} for the unscreened regime, and approximation (44) in the screened regime.

Appendix D Details on the derivation of Eq. (14)

In order to derive Eq. (14), it is convenient to use a multipolar decomposition abramowitz+stegun ,

e|𝐫𝐬|/λ|𝐫𝐬|==0(2+1)rsK+12(rλ)I+12(sλ)P(cosφ),\frac{\rm{e}^{-|{\bf r}-\bf{s}|/\lambda}}{|{\bf r}-\bf{s}|}=\sum_{\ell=0}^{\infty}\frac{(2\ell+1)}{\sqrt{rs}}K_{\ell+\frac{1}{2}}\left(\frac{r}{\lambda}\right)I_{\ell+\frac{1}{2}}\left(\frac{s}{\lambda}\right)P_{\ell}(\cos\varphi),

valid for r>sr>s, can be inserted in the general solution for the potential in terms of the Green function of the massive Klein–Gordon equation as

ϕ(𝐫)=14πβMPρ(𝐬)e|𝐫𝐬|/λ|𝐫𝐬|d3𝐬\phi({\bf r})=-\frac{1}{4\pi}\frac{\beta}{M_{\rm P}}\int\rho({\bf s})\frac{\rm{e}^{-|{\bf r}-\bf{s}|/\lambda}}{|{\bf r}-\bf{s}|}\textrm{d}^{3}{\bf s} (38)

to derive the general solution of the field distribution. In these expressions, PP_{\ell} are Legendre polynomials, I+12I_{\ell+\frac{1}{2}} and Kn+12K_{n+\frac{1}{2}} are modified spherical Bessel functions of the second and third kinds.

In the particular case of a homogeneous sphere of radius RR and density ρ0\rho_{0}, d3𝐬=s2dsd2Ω\textrm{d}^{3}{\bf s}=s^{2}\textrm{d}s\textrm{d}^{2}\Omega and the integration over the angle gives 4πδ,04\pi\delta_{\ell,0} so that

ϕ(r)=βρ0MP{0Rs2dsK1/2(r/λ)I1/2(s/λ)rs0rs2dsK1/2(r/λ)I1/2(s/λ)rs+rRs2dsI1/2(r/λ)K1/2(s/λ)rs,\phi(r)=-\frac{\beta\rho_{0}}{M_{\rm P}}\left\{\begin{tabular}[]{l}$\int_{0}^{R}s^{2}\textrm{d}s\frac{K_{1/2}(r/\lambda)I_{1/2}(s/\lambda)}{\sqrt{rs}}$\\[8.0pt] $\int_{0}^{r}s^{2}\textrm{d}s\frac{K_{1/2}(r/\lambda)I_{1/2}(s/\lambda)}{\sqrt{rs}}$\\ $\quad+\int_{r}^{R}s^{2}\textrm{d}s\frac{I_{1/2}(r/\lambda)K_{1/2}(s/\lambda)}{\sqrt{rs}}$\end{tabular}\right.,

the first line for r>Rr>R and the second for r<Rr<R. Then, one needs to express the Bessel functions

K1/2(x)=π2exx,I1/2(x)=2πsinhxxK_{1/2}(x)=\sqrt{\frac{\pi}{2}}\frac{\hbox{e}^{-x}}{\sqrt{x}},\qquad I_{1/2}(x)=\sqrt{\frac{2}{\pi}}\frac{\sinh x}{\sqrt{x}}

to get

ϕ(r)=βρ0MPλ{[0Rssinhsλds]er/λr[0rssinhsλds]er/λr+[rRes/λsds]sinh(r/λ)r\phi(r)=-\frac{\beta\rho_{0}}{M_{\rm P}}\lambda\left\{\begin{tabular}[]{l}$\left[\int_{0}^{R}s\sinh\frac{s}{\lambda}\textrm{d}s\right]\frac{\hbox{e}^{-r/\lambda}}{r}$\\[8.0pt] $\left[\int_{0}^{r}s\sinh\frac{s}{\lambda}\textrm{d}s\right]\frac{\hbox{e}^{-r/\lambda}}{r}$\\[5.0pt] $\quad+\left[\int_{r}^{R}\hbox{e}^{-s/\lambda}s\textrm{d}s\right]\frac{\sinh(r/\lambda)}{r}$\end{tabular}\right.

It follows that

ϕ(r)=βρ0MPR33{Φ(R/λ)er/λr31eR/λR+λrsinh(r/λ)(R/λ)31λ,\phi(r)=-\frac{\beta\rho_{0}}{M_{\rm P}}\frac{R^{3}}{3}\left\{\begin{tabular}[]{l}$\Phi(R/\lambda)\frac{\hbox{e}^{-r/\lambda}}{r}$\\[8.0pt] $3\frac{1-\hbox{e}^{-R/\lambda}\frac{R+\lambda}{r}\sinh(r/\lambda)}{(R/\lambda)^{3}}\frac{1}{\lambda}$\end{tabular}\right., (39)

with Φ\Phi defined in Eq. (15). Equivalently, in terms of the total mass M=4πρ0R3/3M=4\pi\rho_{0}R^{3}/3, it reads

ϕ(r)=14πβMMP{Φ(R/λ)er/λr31eR/λR+λrsinh(r/λ)(R/λ)31λ.\phi(r)=-\frac{1}{4\pi}\frac{\beta M}{M_{\rm P}}\left\{\begin{tabular}[]{l}$\Phi(R/\lambda)\frac{\hbox{e}^{-r/\lambda}}{r}$\\[8.0pt] $3\frac{1-\hbox{e}^{-R/\lambda}\frac{R+\lambda}{r}\sinh(r/\lambda)}{(R/\lambda)^{3}}\frac{1}{\lambda}$\end{tabular}\right.. (40)

The solution is indeed regular in r=Rr=R and matches the results by Ref. Fleury:2016tsz .

Appendix E Details on the derivation of Eq. (21)

In the so-called screened regime, the chameleon field takes the value that minimizes its effective potential everywhere in the ball except in a thin-shell of thickness ϵR~\epsilon\tilde{R} below its surface.222Following notations of Sec. III.1, we have ϵ=ΔR/R\epsilon=\Delta R/R. For convenience, let us denote 𝒮=[(1ϵ)R~]\mathcal{S}=\mathcal{B}[(1-\epsilon)\tilde{R}] the screened region where the field is constant, and TS=(R~)𝒮\mathrm{TS}=\mathcal{B}(\tilde{R})\setminus\mathcal{S} the thin-shell region. Using the argument of § III.1, one can easily show that

Ω~𝒮ϕ~(n+1)d3𝐱~=TSρ~d3𝐱~4πϵR~3,\int_{\tilde{\Omega}\setminus\mathcal{S}}\tilde{\phi}^{-(n+1)}\,\mathrm{d}^{3}\tilde{\mathbf{x}}=\int_{\mathrm{TS}}\tilde{\rho}\,\mathrm{d}^{3}\tilde{\mathbf{x}}\simeq 4\pi\epsilon\tilde{R}^{3}\,, (41)

where the latter approximation is valid when ϵ1\epsilon\ll 1. We can then use this to get an estimate of the value of the scalar field in the vacuum space surrounding the spherical particles. Indeed, if we assume that ϕ~\tilde{\phi} does not vary much in the interparticle space, we get from Eq. (41) that 𝐱~Ω~(R~)\forall\tilde{\mathbf{x}}\in\tilde{\Omega}\setminus\mathcal{B}(\tilde{R}),

ϕ~(𝐱~)ϕ~vac=(4πϵR~314πR~3/3)1/(n+1).\tilde{\phi}(\tilde{\mathbf{x}})\simeq\tilde{\phi}_{\mathrm{vac}}=\left(\frac{4\pi\epsilon\tilde{R}^{3}}{1-4\pi\tilde{R}^{3}/3}\right)^{\!-1/(n+1)}. (42)

Note that in practice, the chameleon field is not strictly constant in vacuum. Therefore ϕ~vac\tilde{\phi}_{\mathrm{vac}} is a lower bound for the maximum value taken by the scalar field in Ω~\tilde{\Omega}.

However, for Eq. (42) to be useful is practice, one needs to determine a suitable value for the thin-shell parameter ϵ\epsilon, which is a priori dependent on the dimensionless parameter λ~\tilde{\lambda}. In the case of a single ball of density ρb\rho_{\mathrm{b}} immersed in a lower density background, Ref. Khoury:2003rn provides us with the following analytical approximation

ϵϕvacϕb6βMPΦb,\epsilon\simeq\frac{\phi_{\mathrm{vac}}-\phi_{\mathrm{b}}}{6\beta M_{\rm P}\Phi_{\mathrm{b}}}\,,

where Φb=Mb/(8πMP2R)\Phi_{\mathrm{b}}=M_{\mathrm{b}}/(8\pi M_{\rm P}^{2}R) is the Newtonian potential at the surface of the homogeneous sphere of mass MbM_{\mathrm{b}} and radius RR. Re-writing the above equation in terms of dimensionless quantities yields

ϵ(λ~/R~)2(ϕ~vac1).\epsilon\simeq(\tilde{\lambda}/\tilde{R})^{\!2}\bigl{(}\tilde{\phi}_{\mathrm{vac}}-1\bigr{)}\,. (43)

Plugging back Eq. (43) into Eq. (42) yields ϕ~vac\tilde{\phi}_{\mathrm{vac}} as given by Eq. (22).

Finally, we obtain the analytical approximation of δϕ\delta_{\phi} given by Eq. (21) by approximating ϕ~\tilde{\phi} as a bi-valued function, where

ϕ~={1in the screened region 𝒮,ϕ~vacin Ω~𝒮.\tilde{\phi}=\begin{cases}1&\text{in the screened region }\mathcal{S\,,}\\[3.0pt] \tilde{\phi}_{\mathrm{vac}}&\text{in }\tilde{\Omega}\setminus\mathcal{S}\,.\end{cases} (44)

References

  • (1) G. F. R. Ellis “Relativistic cosmology” in General Relativity and Cosmology, Enrico Fermi Summer School Course XLVII ed R. K. Sachs (New York:Academic, 1971) p. 104-182.
  • (2) G. F. R. Ellis, “Relativistic Cosmology: Its Nature, Aims and Problems”, Fundam. Theor. Phys. 9, 215-288 (1984)
  • (3) G. F. R. Ellis and W. Stoeger, “The ’fitting problem’ in cosmology”, Class. Quant. Grav. 4, 1697-1729 (1987)
  • (4) G. F. R. Ellis and T. Buchert, “The Universe seen at different scales”, Phys. Lett. A 347, 38-46 (2005) [arXiv:gr-qc/0506106 [gr-qc]].
  • (5) C. Clarkson, G. Ellis, J. Larena and O. Umeh, “Does the growth of structure affect our dynamical models of the universe? The averaging, backreaction and fitting problems in cosmology”, Rept. Prog. Phys. 74, 112901 (2011) [arXiv:1109.2314 [astro-ph.CO]].
  • (6) T. Buchert, “On average properties of inhomogeneous fluids in general relativity. 1. Dust cosmologies”, Gen. Rel. Grav. 32, 105-125 (2000) [arXiv:gr-qc/9906015 [gr-qc]].
  • (7) T. Buchert, “On average properties of inhomogeneous fluids in general relativity: Perfect fluid cosmologies”, Gen. Rel. Grav. 33, 1381-1405 (2001) [arXiv:gr-qc/0102049 [gr-qc]].
  • (8) R. M. Zalaletdinov, “Averaging problem in general relativity, macroscopic gravity and using Einstein’s equations in cosmology”, Bull. Astron. Soc. India 25, 401-416 (1997) [arXiv:gr-qc/9703016 [gr-qc]].
  • (9) R. Zalaletdinov, “The Averaging Problem in Cosmology and Macroscopic Gravity”, Int. J. Mod. Phys. A 23, 1173-1181 (2008) [arXiv:0801.3256 [gr-qc]].
  • (10) A. Paranjape and T. P. Singh, “Structure Formation, Backreaction and Weak Gravitational Fields”, JCAP 03, 023 (2008) [arXiv:0801.1546 [astro-ph]].
  • (11) T. Buchert and M. Carfora, “Regional averaging and scaling in relativistic cosmology”, Class. Quant. Grav. 19, 6109-6145 (2002) [arXiv:gr-qc/0210037 [gr-qc]].
  • (12) E. A. Calzetta, B. L. Hu and F. D. Mazzitelli, “Coarse grained effective action and renormalization group theory in semiclassical gravity and cosmology”, Phys. Rept. 352, 459-520 (2001) [arXiv:hep-th/0102199 [hep-th]].
  • (13) M. Carfora and K. Piotrkowska, “A Renormalization group approach to relativistic cosmology”, Phys. Rev. D 52, 4393-4424 (1995) [arXiv:gr-qc/9502021 [gr-qc]].
  • (14) T. Futamase, “Averaging of a locally inhomogeneous realistic universe”, Phys. Rev. D 53, 681-689 (1996)
  • (15) J. P. Boersma, “Averaging in cosmology”, Phys. Rev. D 57, 798-810 (1998) [arXiv:gr-qc/9711057 [gr-qc]].
  • (16) W. R. Stoeger, S.J., A. Helmi and D. F. Torres, “Averaging Einstein’s equations: The Linearized case”, Int. J. Mod. Phys. D 16, 1001-1026 (2007) [arXiv:gr-qc/9904020 [gr-qc]].
  • (17) P. Fleury, H. Dupuy and J. P. Uzan, “Interpretation of the Hubble diagram in a nonhomogeneous universe”, Phys. Rev. D 87, no.12, 123526 (2013) [arXiv:1302.5308 [astro-ph.CO]].
  • (18) P. Fleury, H. Dupuy and J. P. Uzan, “Can all cosmological observations be accurately interpreted with a unique geometry?”, Phys. Rev. Lett. 111, 091302 (2013) [arXiv:1304.7791 [astro-ph.CO]].
  • (19) I. Ben-Dayan, M. Gasperini, G. Marozzi, F. Nugier and G. Veneziano, “Do stochastic inhomogeneities affect dark-energy precision measurements?”, Phys. Rev. Lett. 110, no.2, 021301 (2013) [arXiv:1207.1286 [astro-ph.CO]].
  • (20) Y. B. Zel’dovich, Sov. Astron. Lett. 8, 13 (1964); V. M. Dashevskii and Y. B. Zel’dovich, Sov. Astronom. 8, 854 (1965); J. E. Gunn, Astrophys. J. 150, 737 (1967); R. Kantowski, Astrophys. J. 155, 89 (1969); C. Dyer and R. Roeder, Astrophys. J. 174, L115 (1972); S. Weinberg, Astrophys. J. Lett. 208, L1 (1976); D. E. Holz and R. M. Wald, Phys. Rev. D 58, 063501 (1998); K. Bolejko and P. G. Ferreira, JCAP 5, 003 (2012).
  • (21) C. Clarkson, G. F. R. Ellis, A. Faltenbacher, R. Maartens, O. Umeh and J. P. Uzan, “(Mis-)Interpreting supernovae observations in a lumpy universe”, Mon. Not. Roy. Astron. Soc. 426, 1121-1136 (2012) [arXiv:1109.2484 [astro-ph.CO]].
  • (22) P. Fleury, J. Larena and J. P. Uzan, “The theory of stochastic cosmological lensing”, JCAP 11, 022 (2015) [arXiv:1508.07903 [gr-qc]].
  • (23) P. Fleury, J. Larena and J. P. Uzan, “Weak gravitational lensing of finite beams”, Phys. Rev. Lett. 119, no.19, 191101 (2017) [arXiv:1706.09383 [gr-qc]].
  • (24) P. Fleury, J. Larena and J. P. Uzan, “Cosmic convergence and shear with extended sources”, Phys. Rev. D 99, no.2, 023525 (2019) [arXiv:1809.03919 [astro-ph.CO]].
  • (25) P. G. Ferreira and M. Joyce, “Structure formation with a selftuning scalar field”, Phys. Rev. Lett. 79, 4740-4743 (1997) [arXiv:astro-ph/9707286 [astro-ph]].
  • (26) P. Creminelli, G. D’Amico, J. Norena and F. Vernizzi, “The Effective Theory of Quintessence: the w<<-1 Side Unveiled”, JCAP 02, 018 (2009) [arXiv:0811.0827 [astro-ph]].
  • (27) P. Creminelli, G. D’Amico, J. Norena, L. Senatore and F. Vernizzi, “Spherical collapse in quintessence models with zero speed of sound”, JCAP 03, 027 (2010) [arXiv:0911.2701 [astro-ph.CO]].
  • (28) J. P. Uzan, “Cosmological scaling solutions of nonminimally coupled scalar fields”, Phys. Rev. D 59, 123510 (1999) [arXiv:gr-qc/9903004 [gr-qc]].
  • (29) H. Lévy and J. P. Uzan, “Testing screened scalar-tensor theories of gravity with atomic clocks”, Phys. Rev. D 111, no.6, 064012 (2025) [arXiv:2410.17292 [gr-qc]].
  • (30) P. Brax, C. van de Bruck, A. C. Davis, J. Khoury and A. Weltman, “Detecting dark energy in orbit: The cosmological chameleon”, Phys. Rev. D 70, 123518 (2004) [arXiv:astro-ph/0408415 [astro-ph]].
  • (31) P. Brax, C. van de Bruck, A. C. Davis, J. Khoury and A. Weltman, “Chameleon dark energy”, AIP Conf. Proc. 736, no.1, 105-110 (2004) [arXiv:astro-ph/0410103 [astro-ph]].
  • (32) D. F. Mota and D. J. Shaw, “Evading Equivalence Principle Violations, Cosmological and other Experimental Constraints in Scalar Field Theories with a Strong Coupling to Matter,” Phys. Rev. D 75 (2007), 063501 [arXiv:hep-ph/0608078 [hep-ph]].
  • (33) D. F. Mota and D. J. Shaw, “Strongly coupled chameleon fields: New horizons in scalar field theory,” Phys. Rev. Lett. 97 (2006), 151102 [arXiv:hep-ph/0606204 [hep-ph]].
  • (34) H. Lévy, J. Bergé and J. P. Uzan, “Solving nonlinear Klein–Gordon equations on unbounded domains via the finite element method”, Phys. Rev. D 106, no.12, 124021 (2022) [arXiv:2209.07226 [gr-qc]].
  • (35) H. Lévy, “Towards well-posed and versatile numerical solutions of scalar-tensor theories of gravity with screening mechanisms : applications at sub-Solar system scales”, tel-04789073 (PhD thesis, 2024).
  • (36) H. Lévy, J. Bergé and J. P. Uzan, “What to expect from scalar-tensor space geodesy”, Phys. Rev. D 109, no.8, 084009 (2024) [arXiv:2310.03769 [gr-qc]].
  • (37) J. Khoury and A. Weltman, “Chameleon cosmology”, Phys. Rev. D 69, 044026 (2004) [arXiv:astro-ph/0309411 [astro-ph]].
  • (38) J. Khoury and A. Weltman, “Chameleon fields: Awaiting surprises for tests of gravity in space”, Phys. Rev. Lett. 93, 171104 (2004) [arXiv:astro-ph/0309300 [astro-ph]].
  • (39) K. Hinterbichler and J. Khoury, “Symmetron Fields: Screening Long-Range Forces Through Local Symmetry Restoration”, Phys. Rev. Lett. 104, 231301 (2010) [arXiv:1001.4525 [hep-th]].
  • (40) V. A. A. Sanghai and T. Clifton, “Post-Newtonian Cosmological Modelling”, Phys. Rev. D 91, 103532 (2015) [erratum: Phys. Rev. D 93, no.8, 089903 (2016)] [arXiv:1503.08747 [gr-qc]].
  • (41) V. A. A. Sanghai and T. Clifton, “Cosmological backreaction in the presence of radiation and a cosmological constant”, Phys. Rev. D 94, no.2, 023505 (2016) [arXiv:1604.06345 [gr-qc]].
  • (42) V. A. A. Sanghai, P. Fleury and T. Clifton, “Ray tracing and Hubble diagrams in post-Newtonian cosmology”, JCAP 07, 028 (2017) [arXiv:1705.02328 [astro-ph.CO]].
  • (43) S. Sikora and K. Głód, “Perturbatively constructed cosmological model with periodically distributed dust inhomogeneities”, Phys. Rev. D 99, no.8, 083521 (2019) [arXiv:1811.06836 [gr-qc]].
  • (44) C. Briddon, T. Clifton and P. Fleury, “Emergent cosmological expansion in scalar–tensor theories of gravity”, Class. Quant. Grav. 42, no.1, 015013 (2025) [arXiv:2406.01397 [gr-qc]].
  • (45) P. Fleury, “Cosmic backreaction and Gauss’s law”, Phys. Rev. D 95, no.12, 124009 (2017) [arXiv:1609.03724 [gr-qc]].
  • (46) C.M. Will, Theory and Experiment in Gravitational Physics (Cambridge University Press, Cambridge; New York, 1993).
  • (47) L. Blanchet, “Gravitational radiation from post-Newtonian sources and inspiralling compact binaries”, Living Rev. Relativ 9:4 (2006) [https://doi.org/10.12942/lrr-2006-4. grqc/ 0202016].
  • (48) C. Pitrou and J. P. Uzan, “Hubble Tension as a Window on the Gravitation of the Dark Matter Sector”, Phys. Rev. Lett. 132, no.19, 191001 (2024) [arXiv:2312.12493 [astro-ph.CO]].
  • (49) J. P. Uzan and C. Pitrou, “Hubble tension as a window on the gravitation of the dark matter sector: Exploration of a family of models”, Phys. Rev. D 109, no.10, 103505 (2024) [arXiv:2312.12408 [astro-ph.CO]].
  • (50) G. Esposito-Farese and D. Polarski, “Scalar tensor gravity in an accelerating universe”, Phys. Rev. D 63, 063504 (2001) [arXiv:gr-qc/0009034 [gr-qc]].
  • (51) J. P. Uzan, “The acceleration of the universe and the physics behind it”, Gen. Rel. Grav. 39, 307-342 (2007) [arXiv:astro-ph/0605313 [astro-ph]].
  • (52) J. P. Uzan, “Fundamental constants: from measurement to the universe, a window on gravitation and cosmology”, [arXiv:2410.07281 [astro-ph.CO]].
  • (53) C. Burrage and J. Sakstein, “Tests of Chameleon Gravity”, Living Rev. Rel. 21, no.1, 1 (2018) [arXiv:1709.09071 [astro-ph.CO]].
  • (54) M. Pernot-Borràs, J. Bergé, P. Brax and J. P. Uzan, “General study of chameleon fifth force in gravity space experiments”, Phys. Rev. D 100, no.8, 084006 (2019) [arXiv:1907.10546 [gr-qc]].
  • (55) M. Pernot-Borràs, J. Bergé, P. Brax and J. P. Uzan, “Fifth force induced by a chameleon field on nested cylinders”, Phys. Rev. D 101, no.12, 124056 (2020) [arXiv:2004.08403 [gr-qc]].
  • (56) M. Pernot-Borràs, J. Bergé, P. Brax, J. P. Uzan, G. Métris, M. Rodrigues and P. Touboul, “Constraints on chameleon gravity from the measurement of the electrostatic stiffness of the MICROSCOPE mission accelerometers”, Phys. Rev. D 103, no.6, 064070 (2021) [arXiv:2102.00023 [gr-qc]].
  • (57) C. Robert, “Fast evaluation of finite element weak forms using python tensor contraction packages”, Advances in Engineering Software 159, 103033 (2021)
  • (58) M. Abramowitz, and I.A. Stegun, Handbook of Mathematical Functions with Formulas, Graphs, and Mathematical ables, (Dover Publications, New York, 1964).