Abstract
We study the effect of smallscale inhomogeneities for Einstein clusters. We construct a spherically symmetric static spacetime with smallscale radial inhomogeneities and propose the Gedankenexperiment. An hypothetical observer at the center constructs, using limited observational knowledge, a simplified homogeneous model of the configuration. An idealization introduces side effects. The inhomogeneous spacetime and the effective homogeneous spacetime are given by simple solutions to Einstein equations. They provide a basic toymodel for studies of the effect of smallscale inhomogeneities in general relativity. We show that within our highly inhomogeneous model the effect of smallscale inhomogeneities remains small for a central observer. The homogeneous model fits very well to all hypothetical observations as long as their precision is not high enough to reveal a tension.
Introduction
The concept of idealization is one of the basic tools of modern physics. Macroscopic physical systems could be modelled only if unimportant details are neglected. Unfortunately, it is not always easy to decide which elements in the construction of the model are essential and which are not. It is believed that the decisive role is played by observational or experimental falsification. Again, this is not always straightforward. The most famous example is the model of our Universe. Its foundations have been proposed hundred years ago. This extremely simple model, which extrapolated by many orders of magnitude our faith in applicability of general relativity, turned out to be very successful. A hundred years later the model is alive and able to accommodate enormous flux of observational data provided by advances of modern technology. But, what some people see as a pure success for others is a failure. The model seems not to be free from strange coincidences and tensions. Moreover, \(96\%\) of its energy content has not been previously known and is seen only via gravitational interactions. This apparent contradiction motivated broad studies of validity of a basic assumption of the model – exact spatial homogeneity. In our article, we take on this topic and study an effect of smallscale inhomogeneities which is especially interesting in the light of the recent presumable tension between ‘local’ and ‘early’ universe measurements of the Hubble constant [1,2,3,4]. These discrepancies renewed interest in the role of inhomogeneities [5,6,7,8,9].
The problem of smallscale inhomogeneities may be split into two topics: the effect of inhomogeneities on geodesics (light, gravitational waves, test bodies) which alters interpretation of our observations and the socalled backreaction effect which alters the structure of spacetime in a sense which will be explained below.
The backreaction problem is usually formulated as a fitting problem [10]. In this approach, one asks how to fit an idealized solution to a realistic (‘lumpy’) spacetime. The aim of such approach is to find covariant procedure which uniquely assigns the best effective spacetime to a realistic one. However, it is more common in a downtoearth scientific work to assume an effective model a priori. A physicist who wants to describe the complicated system usually neglects ‘details’ and proposes a simplified model. This model is later being tested in experiments or against observations. In cosmology, spatial isotropy and homogeneity of the universe was a natural first guess. These assumptions led to our standard cosmological model \(\Lambda CDM\). This model, with free parameters estimated by astronomers, constitutes the ‘effective spacetime.’ Therefore, instead of looking for a fitting procedure one may formulate backreaction problem in an alternative way and ask what kind of errors has been introduced by idealization.
In this alternative approach, the effective spacetime is known from the beginning. An idealised geometry does not fit to the matter content exactly and a discrepancy between the left hand side (geometry) and the right hand side of Einstein equations (the energy–matter content) arises. If one assumes that Einstein equations hold, then additional or missing terms are incorrectly interpreted as a contribution to the energy–momentum tensor. These artificial terms are known as a backreaction tensor. Since the \(\Lambda CDM\) energy–momentum tensor is dominated by dark matter and dark energy – the forms of energy and matter detected so far only through their gravitational interactions, then the backreaction effect has a potential to clarify our understanding of the Universe.
The results presented in the article by Stephen Green and Robert Wald [11] suggest that that this potential has not been realised in nature: within the formalism used there (the socalled GreenWald framework) and under appropriate mathematical conditions the backreaction tensor is traceless, thus it may mimic radiation, but it cannot mimic cosmological constant nor cold dark matter. In the context of the \(\Lambda CDM\) model this implies that backreaction effect introduces a minor correction and it is definitely not the ‘order of magnitude effect’ (which is needed to explain cosmological observations without cosmological constant or other forms of dark energy).
The GreenWald framework [11] is a generalization to nonvacuum spacetimes and matter inhomogeneities of the Burnett’s approach [12]. (Burnett put on a rigorous mathematical footing the Isaacson’s shortwave approximation [13, 14].) One may, at least formally, find relevant examples of spacetimes with smallscale inhomogeneities, such that the GreenWald formalism cannot be directly applied to them, e.g. a vacuum cosmological model with all the mass concentrated in a statistically homogeneously distributed black holes [15]. Moreover, even if the backreaction vanishes, the effect of smallscale inhomogeneities may still alter interpretation of observations, as will be illustrated by our example.
Our approach is based on a class of solutions to Einstein equations called an Einstein cluster. This type of solutions have interesting properties that allow for novel studies of the effect of smallscale inhomogeneities in an alternative setting. Our research is restricted to a simple toymodel and, as such, it is only indirectly relevant for cosmology (for other studies based on exact solutions see also [16,17,18,19,20,21,22]; for the current review of cosmological backreaction see [23]).
The Einstein cluster was discovered by Albert Einstein in 1939 [24]. It provides a mean field approximation of a cloud of massive particles moving in randomly inclined circular geodesics under the collective gravitational field of all the masses (see Fig. 1). The spacetime is spherically symmetric and static. The radial pressure vanishes because the whole system is centrifugally supported. Einstein clusters have been studied extensively in literature (see [25] and references therein). In the astrophysical context, they have been proposed as models of galactic dark matter haloes [26].
The vanishing of radial pressure allows to construct static spacetimes with smallscale inhomogeneities without introducing unphysical equation of state. This property suits our purpose superbly. One of the interesting questions related to the effect of inhomogeneities is how large this effect might be. In the studies, as those presented in the article [18], large overdensities would lead in a short time to the formation of shellcrossing singularities, thus the magnitude of the effect is constrained by the construction of the model. This is an artifact of the simplified energy content which is pressureless (a dust). The solutions studied in our article are static and do not have this limitation. The effect of inhomogeneities is most interesting in the cosmological context where the structure formation may play a decisive role. However, it is not the aim of this research to clarify this aspect of backreaction. Our aims are more humble. We would like to verify the magnitude of the effect of smallscale inhomogeneities in the most simple static setting. This direction of studies seems to be unexplored so far. We point out that majority of authors by ‘backreaction’ understand a dynamical effect. The effect studied here is of different nature: we study tensions in the homogeneous static model due to omission of the smallscale inhomogeneities.
Another novel property of the model studied is the fact in which the homogeneous spacetime is chosen. In the studies based on the swisscheese model, the inhomogeneous solutions are constructed out of the Einsteinde Sitter solution. Therefore, it is natural to compare the inhomogeneity effect against the Einsteinde Sitter background. However, this is a simplification. The observer living in a swisscheese universe would choose a different homogeneous model. Parameters of the homogeneous model would be based on observations in the swisscheese model interpreted under the homogeneity assumption. In this study, we elaborate on this topic in context of Einstein clusters.
The aim of the article is to conduct the Gedankenexperiment. We construct a solution to Einstein equations which contains smallscale inhomogeneities. Our choice of the density profile is inspired by the GreenWald framework [11] : the metric is ‘close’ to the homogeneous solution, but the second derivatives of the metric are large. We show that in our model the backreaction vanishes (in the sense of the GreenWald framework [11]). Moreover, we present a heuristic analysis which implies that the backreaction vanishes in all possible models constructed within an Einstein cluster class. This motivate us to study the effect of inhomogeneities beyond the GreenWald framework. We adopt a point of view of an astrophysicist who would like to model our inhomogeneous spacetime by available idealised exact solutions. We argue that astronomical observations interpreted within simplified model would lead to the misinterpretation of the energy content of the model. Our analysis is restricted to the particular class of solutions to Einstein equations, but it illustrates what the effect of smallscale inhomogeneities could be in principle.
Setting
Any spherically symmetric static spacetime could be written in the following form
where \(\nu \), \(\lambda \) are functions of r only. Two of the Killing fields could be immediately read out from the form of the metric: \(\partial _t\), \(\partial _\varphi \). For the centrifugally supported cloud of massive particles (the socalled Einstein cluster) the energy–momentum tensor nonvanishing components are [24]
where \(\rho =\rho (r)\) is the energy density and \(p=p(r)\) is a tangential pressure. The Einstein equations imply
and
In order to find a particular solution one may set \(\rho (r)\), solve (3) for \(\nu (r)\) and calculate \(\lambda (r)\) from (2). The standard pseudopotential analysis reveals [25] that the radial stability conditions have forms
The Eq. (3) if written in terms of an auxiliary function \(\lambda =\ln \zeta \) [using (2)] reduces to the Bernoulli differential equation
where \(P=1/r\), \(Q=1/r+8 \pi r \rho \). The substitution \(\zeta \rightarrow 1/\mu \) leads to a linear equation of the form
which has a solution
where an integration constant is fixed by regularity at the center (it depends on the form of \(\rho \)). Therefore, for a given density profile the solution to Einstein equations is given by
where \(\mu \) may be calculated from (5).
This solution may be matched to the Schwarzschild exterior. The active gravitational mass inside of the sphere with an area radius r is given by [25]
and the total mass of all ‘particles’ inside this sphere is^{Footnote 1}
The difference between the total mass and the active gravitational mass tells us how much energy is needed to ‘disassemble’ the cluster. The fractional binding energy may be calculated as follows
Smallscale inhomogeneities
We assume that an energy density \(\rho =\rho (r/l)\) is an oscillating function where l is a constant. A small value of l corresponds to high frequency oscillations. Using Eqs. (5), (6) and (7) one may calculate metric functions \(\nu (r)\), \(\lambda (r)\) that correspond to \(\rho (r/l)\). In this way, we construct a spacetime with smallscale inhomogeneities.
It is not an aim of this paper to model any realistic astrophysical system, but in order to gain physical intuition one may pretend that our inhomogeneous spacetime describes the galactic halo. For simplicity, we choose \(\rho (r/l)\) in such a way that it oscillates about a constant density \(\rho _0\) for a class of stationary observers. Moreover, our system constitutes a finite configuration: at some radius \(r=R\) it is matched to the Schwarzschild solution.
We assume that a hypothetical astrophysicist living at the center of the system does not know \(\rho \) precisely, but knows that \(\rho \) is ‘approximately’ constant and that the configuration is finite. Both facts would become basic assumptions of his idealised model: the Einstein cluster with a constant energy density and anisotropic pressure, from now on called the model A.
It follows from the Birkhoff theorem that vacuum spacetime outside a spherically symmetric configuration is given by the Schwarzschild metric. Thus, any effective spacetime must be also matched to the Schwarzschild solution. Imagine a hypothetical astrophysicist living in the center of this cluster who wants to determine its properties. Observations of trajectories of satellite stars and dwarf galaxies would allow to estimate gravitational mass of the system M. In addition, one may measure the blushift z of the most distant stars (at the matching surface \(r=R\)). Alternatively, one may estimate the sum of all masses (stars, dark matter, ...) that constitute the cluster \(M_T\) or/and determine the angular diameter \(d_A\) or the luminosity distance \(d_L\) of the most distant objects.
To sum up, assumptions and hypothetical observational results which are made/known to our astrophysicist:

the spacetime is static,

the spacetime is spherically symmetric,

observer is at the center,

the matter is distributed uniformly on average (relatively to the preferred system of coordinates),

local effects are small (the observer and the sources are not in under/overdensities),

the configuration is finite (vacuum outside),

the state of art observations are not good enough to resolve individual inhomogeneities (their density profiles, etc.) – the observer may detect only the cumulative effects,

one of three conditions holds:

the gravitational mass M of the configuration is known (based on observations of satellite dwarf galaxies and orbits of stars encircling the halo) and the blueshift z of most distant stars in the halo is known (we assume that z has been corrected for a perpendicular Doppler shift),

the gravitational mass M is known and the observer measured the angular diameter distance \(d_A\) of the most distant objects (or alternatively he/she measured the luminosity distance \(d_L\)),

the total mass \(M_T\) of all constituents of the cluster is known and the observer knowns the angular diameter distance \(d_A\) to the most distant objects.

It will be more instructive for a reader to start with the description of a constant density Einstein cluster (our effective and background spacetime – our approach does not distinguish between these two concepts).
Model A: constant density Einstein cluster
A constant density profile \(\rho (r)=\rho _A\) and the Eq. (5) give (see also [27])
where \(a_A=8\pi \rho _A/3\) is a constant and where an additive constant was chosen to satisfy regularity at the center \(r=0\). We have from (6), (7)
where without loss of generality we have chosen the additive constant \(3\ln \sqrt{1a_A R_A^2}\) in \(\nu _0\) and where \(R_A\) is a new constant \(0<R_A<1/\sqrt{a_A}\). Finally, the metric reads
The metric is regular and of the Lorentzian signature for \(0\le r < 1/\sqrt{a_A}\). The Ricci and Kretschmann scalars blow up at \(r=1/\sqrt{a_A}\), so there is a curvature singularity. From now on we assume that \(0\le r \le R_A < 1/\sqrt{a_A}\). For \(r=R_A\) the spacetime is matched to the vacuum exterior Schwarzschild solution – the active gravitational mass inside of the sphere with an area radius r is given by (8). For a constant density profile \(M(r)=a_A r^3/2\). The radial stability conditions (4) reduce to \(0<3 a_A r^2<2\) and \(a_A r^2<4/3\) which gives additional restriction on the matching hypersurface \(r=R_A\).
Inhomogeneous spacetime
A toymodel studied in this paper is constructed as follows. We assume that \(\rho (r)=2\rho _0 \cos ^2(\pi r/l+\pi /4 \sigma )\), where \(\rho _0\), l and \(\sigma =\pm 1\) are constant. The parameter \(\rho _0\) is an average density as measured by stationary observers in our coordinate system and, at the same time, a local energy density at the center of the configuration. We introduce auxiliary constant a such that \(\rho _0=\frac{3a}{8\pi }\). The frequency of density oscillations is fixed by l (the small value of this parameter \(l\ll 1\) corresponds to highfrequency density oscillations). Note that an amplitude of these oscillations does not depend on l and remains large in the limit \(l\rightarrow 0\). For small l our model represents highly inhomogeneous system! In order to interpreted \(\rho _0\) as an average density it is necessary to assume that
which will be valid only for a discrete set of values of R. The different choices of a phase \(\pi /4\sigma \) (where \(\sigma =\pm 1\)) correspond to different matter configurations. The energy density at the center (at position of the observer) corresponds to its average value \(\rho _0\).
We split \(\mu \) into two parts: one which does not depend on l and the second one which is O(l): \(\mu =\mu _0+\mu _l\). Using (5) we find
where an additive constant was chosen to satisfy regularity at the center. We have \(\nu =\nu _0+\nu _l\), where from (6), (7)
where the integration constant in \(\nu _l\) should be chosen to satisfy \(\nu _l(R)=0\). We have \(g_{tt}=e^{\nu _0+\nu _l}\), \(g_{rr}=1/(\mu _0+\mu _l)\) and
One may show that the Ricci and Kretschmann scalars blow up at \(\mu =0\), so there is a curvature singularity. From now on we assume that that \(0\le r \le R < 1/\sqrt{a}\). The term \(\mu _l\) which is proportional to l can be made arbitrary small, so the metric is regular and of the Lorentzian signature in \(\mathbb {R}\times (0,\mathbb {R})\times S^2\). For \(r=R\) the spacetime is matched to the vacuum exterior Schwarzschild solution – the active gravitational mass inside of the sphere with the area radius r is given by (8).
The radial stability conditions (4) have complicated form for this solution. We have verified that they hold for our inhomogeneous density profiles for \(R > rsim 6M\). The second radial stability condition may be marginally violated for some shells in certain more compact configurations, but this is not essential for our considerations.
GreenWald framework
Our model corresponds to a oneparameter family of solutions to Einstein equations (with l being a free parameter). One may verify by inspection^{Footnote 2} that our model satisfies all assumptions of the GreenWald framework [11] with the background spacetime \(g^{(0)}\) which corresponds to \(g_A\) with \(a_A\rightarrow a\), \(R_A\rightarrow R\), \(\rho _A\rightarrow \rho _0\).
We define \(h(l)=g(l)g^{(0)}\). The nonzero components of \(h_{\alpha \beta }\) for small l are
It follows from the Eqs. (13) and (15) that \(\mu _l\), \(\nu _l\) and the first derivatives of \(\nu _l\) vanish in the high frequency limit \(l\rightarrow 0\) (or \(n\rightarrow \infty \)). The derivative \(\partial _r\mu _l\) is not pointwise convergent, but it remains bounded. We have \(\lim _{l\rightarrow 0}h_{\alpha \beta }=0\) as expected. Although \({{\,\mathrm{wlim}\,}}_{l\rightarrow 0}(\nabla _\delta h_{\alpha \beta }\nabla _\gamma h_{\kappa \iota })\) does not vanish for \(\delta =\alpha =\beta =\gamma =\kappa =\iota =r\), the backreaction tensor is zero (\({{\,\mathrm{wlim}\,}}\) denotes a weak limit as defined in [11] and a connection is associated with the spacetime \(g^{(0)}\)).
In summary, the oneparameter family of spacetimes (16) has a high frequency limit \(\lim _{l\rightarrow 0} g=g_A\). It satisfies assumptions of the GreenWald framework [11]. Although one component of \(\nabla _\delta h_{\alpha \beta }\) is not pointwise convergent, the backreaction tensor vanishes.
Vanishing of backreaction gives rise to another interesting question: does there exist oneparameter families of solutions within Einstein cluster class [different choices of \(\rho (r)\)] with nontrivial backreaction in the GreenWald framework? We think that the answer to this question is no. We justify it as follows.
The possible source of backreaction is a nonlinear term \((\nu ')^2\) in (3). In order to be a source of the backreaction it would have to be nonzero in the highfrequency limit – it should be at least \(O(l^0)\). However, if \(\nu '\) does not vanish for \(l\rightarrow 0\), then it follows from (2) that \(\lambda \) is not pointwise convergent which contradicts one of the GreenWald assumptions about behavior of \(h_{\alpha \beta }\) as \(l\rightarrow 0\). Taking the highfrequency limit is a covariant procedure provided that the background (effective) spacetime is fixed. Therefore, all one parameter families of Einstein clusters to which the GreenWald framework may be applied have vanishing backreaction.
Gedankenexperiment
Our inhomogeneous spacetime is defined by three parameters

an average energy density \(\rho _0\),

a size – an area radius R,

a size of inhomogeneities l.
These parameters are fixed. The density \(\rho _0\) must satisfy \(\rho _0\le 3/(8\pi R^2)\) to avoid curvature singularity.^{Footnote 3} The additional parameter \(\sigma =\pm 1\) fixes phase of density perturbations. We will derive all our results for both values of \(\sigma \) to grasp phase dependence. The effective model A is defined by two parameters: \(\rho _A\), \(R_A\).
Let M be gravitational mass of the cluster, \(M_T\) the total mass of its constituents and z, \(d_A\), \(d_L\), redshift, angular diameter distance, luminosity distance (respectively) of the most distant objects in the cluster. We assume that the observational data allow to determine one of the pairs: (M, z) or (M, \(d_A\)) or (M, \(d_L\)) or (\(M_T\), \(d_A\)).
From (8), we have for the inhomogeneous spacetime
which together with the condition (12) gives a transcendental equation for R, namely, \(\mu _l(R)=0\). This equation does not depend on \(\sigma \) and may be written as
where \(x=2\pi R/l\). We solve this equation numerically. We skip three smallest roots and denote remaining subsequent roots with \(x_k\), where \(n\in \mathbb {N}\) and \(x_k<x_{k+1}\). Using floor and ceiling functions we have \(\lfloor \frac{x_k}{2\pi } \rfloor = \lceil k/2 \rceil \), thus
Moreover, we define \(R_k=x_k l/(2\pi )\).
Since the spacetime is spherically symmetric and static the blueshift z for the inhomogeneous spacetime is given by
where \(\nu (r)=\nu _0(r)+\nu _l(r)\) must be computed numerically from (14), (15). The matching to the Schwarzschild solution implies \(\nu (R_k)=\ln {(12M/R_k)}\).
For the effective spacetime \(g_A\) [given by (11)], the mass M and the blueshift z may be calculated as follows. Let \(a_A=2M/R_A^3\), then at some \(r=R_A\) the metric \(g_A\) will match to the Schwarzschild solution. Since we have also \(a_A=8\pi /3\rho _A\), then
The blueshift is
Finally, unknown parameters of the model A (the effective spacetime), namely, \(\rho _A\), \(R_A\) in terms of a first pair M, z of the ‘observational parameters’ and parameters of the inhomogeneous spacetime \(\rho _0\), \(R_k\), k are given by
It follows from the radial stability inequalities (4) that the most compact stable/metastable configurations [25] in the homogeneous case correspond to \(R_A=6M\), \(R_A=3M\), respectively. The Eq. (19) implies that the blueshifts for these configurations are given by \(z=1+(2/3)^{1/4}\simeq 0.096 \), \(z=1+1/3^{1/4}\simeq 0.240\), thus both systems are relativistic.
Using observational data in the form of M and z within the homogeneous model the observer at the center will estimate \(\rho _A\) to a different value than physical \(\rho _0\). Therefore, other measurements of the energy density, i.e., from radiation that originates in decay of dark matter particles of the galactic halo (assuming that this will be known one day) will lead to a disagreement with \(\rho _A\). We show for the configuration studied that the inhomogeneity effect vanishes in the limit of small inhomogeneities \(l\rightarrow 0\). Let \(n=\lfloor R/l \rfloor \) denote the number of inhomogeneous regions. The inhomogeneity effect as a function of n is presented in Fig. 2. For \(R=4M\) and \(l=2\pi R/x_{100}\) (this implies \(n=50\)) we have at the boundary of the configuration \(z\simeq 0.15908\) (\(r=R\) corresponds to an overdensity), \(z\simeq 0.15913\) (\(r=R\) corresponds to an underdensity) for \(\sigma =1\), \(\sigma =1\), respectively.
There are four points for each n in Fig. 2 (two choices of phase \(\sigma =\pm 1\) and two values of \(x_k\), \(x_{k+1}\) such that \(2\pi j<x_k<x_k+1<2\pi (j+1)\), where \(j\in \mathbb {N}\)). If \(r=R\) corresponds to an underdensity/overdensity, then \(\rho _A>\rho _0\), \(\rho _A<\rho _0\), respectively. This may be understood intuitively in terms of photons and gravitational potential well. However, a careful inspection of Fig. 2 reveals that situation is not symmetric: an observer would most likely overestimate the local energy density based on many such observations. This asymmetry seems to be an artifact of the model studied.
Now, one can imagine an alternative procedure to determine the effective density. It follows from the form of the metric (1) that the angular diameter distance for radial beams and the central observer is \(d_A=r\). If the observer knows gravitational mass of the cluster and angular diameter distance to the most distant astronomical objects in the cluster, then \(R_A\) may be found directly as \(R_A=R\). Since we assumed that the equality (17) holds, then \(\rho _A=\rho _0\) and the effect of inhomogeneities would be absent. However, if instead of angular diameter distance the luminosity distance to the most distant objects is known and the homogeneous model formula (19) is used to calculate the redshift and estimate \(R_A\), then a mismatch between \(\rho _A\) and \(\rho _0\) arises. This discrepancy is of similar nature, but slightly smaller amplitude than the one presented in Fig. 2.
Finally, one may consider different set of observations. Let us assume that instead of gravitational mass of the cluster M an observer knows the sum of masses of all its constituents (e.g. stars, particles of dark matter,...) \(M_T\). If the diameter distance to the most distant objects is known \(d_A\), then the average density \(\rho _A\) (under an assumption of homogeneity) may be calculated. The appropriate algebraic equation is too large to be usefully presented here. It may be derived as follows. The Eq. (9) gives \(M_T(r=d_A)\) in terms of \(d_A\), \(\rho _A\), M. The gravitational mass is unknown, but it may be written in terms of \(d_A\) and \(\rho _A\) under the homogeneity assumption [with the help of the formula (18)]. The resulting algebraic equation may be solved numerically for \(\rho _A\) in terms of \(M_T\) and \(d_A\). The results are presented in Fig. 3. Since the redshift z was not involved in our calculations it may be expected that an outermost (near \(R=d_A\)) underdensity/overdensity will not play decisive role. This did not turn out to be true. A heavy shell with large area radius enlarges the volume, so such configurations will have lower density than configurations for which the same amount of particles is contained in a lower volume \(\rho _0<\rho _A\). The effect of outermost underdensities/overdensities is opposite to what has been observed in Fig. 2 and the discrepancy is smaller.
In this paper, we investigate Einstein clusters with different density profiles. We approximate them by homogeneous Einstein cluster (model A) and study what kind of tensions are induced by such idealisation. These clusters may occupy different volumes and the outermost objects in them may have different redshifts. Another contribution to the effect of inhomogeneities is related to their fractional binding energies (10). We show in Fig. 4 how fractional binding energies for different Einstein clusters of the same gravitational mass M and the same coordinate radius R depend on R/M.
The fractional binding energy BE for all clusters approaches asymptotically zero as \(R/M\rightarrow +\infty \). It has a maximum between \(R=4M\) and \(R=6M\). The very compact configurations exhibit negative binding energies. For small and large R/M, the fractional binding energy of the homogeneous cluster (dotted line) lies between fractional binding energies of clusters with outermost underdensities (dashed lines) and overdensities (solid lines). Their order flip near the maximum, but this cannot be directly seen in Fig. 3 (it seems that the binding energy does not play a decisive role in the discrepancy of the densities presented in this figure).
In our model, the effect of inhomogeneities for tens of inhomogeneous regions is not larger than a few percent. As the number of inhomogeneities grows, the effect vanishes (the limit \(l\rightarrow 0\) or \(n\rightarrow +\infty \)) in accordance with the analysis within the GreenWald framework (the highfrequency limit). The density contrast remains constant in this limit. What is interesting, the effect of inhomogeneities slightly decreases with the ratio R/M (the area radius over the gravitational mass of the system) – see Fig. 5. Since there is no backreaction in the sense of the GreenWald framework, the misinterpretation of the energy content is of trivial nature. It reduces to misinterpretation of the parameters of the model. A new form of the energy content cannot appear here because the effective spacetime belong to the same class of solutions to Einstein equations as the original one.
It was not an aim of our paper to model a realistic astrophysical system, but we find it instructive to calculate the effect of inhomogeneities for parameters corresponding to the dark matter halo of our Milky Way. We assume that in geometrized units the mass is \(M=10^{12}M_\odot =1.477\times 10^{15}m\) and the radius \(R=4 \times 10^5~ly=3.784\times 10^{21}m\) which gives \(R/M=2.563\times 10^6\). The Schwarzschild radius is one order smaller than stellar distances \(2M=0.312 ly\). The energy density for the system compressed million times to the minimal configuration \(R=3M\) would be \(5.45\times 10^{6} kg/m^3\) which still qualifies as a high vacuum for Earth standards. If the local clustering scale is assumed to be \(l\approx 1kpc\) (the size of satellite dwarf galaxies), then \(n\approx 40\). For these parameters the inhomogeneity effect (calculated from the gravitational mass M and the redshift z) is small \((\rho _0\rho _A)/\rho _0\approx 0.03\%\).
Summary
We have constructed the spherically symmetric static Einstein cluster with smallscale radial inhomogeneities and applied the GreenWald framework to show that the effective energy–momentum tensor vanishes. Although the inhomogeneities did not generate artificial contribution to the energy–momentum tensor, they altered light propagation and observables. In order to quantify these effects, we extended our analysis beyond the GreenWald framework. We have conducted the Gedankenexperiment: an observer at the center of this configuration modelled surrounding spacetime by an effective solution – an homogeneous Einstein cluster. The parameters of this effective spacetime are based on straightforward astronomical ‘observations.’ The idealization of the inhomogeneous spacetime resulted in the misinterpretation of the energy content. The effective energy density was different than the original average energy density. The sign of the effect depends on the configuration of matter studied and set of observables being used. The effect is not bigger than a few percent (assuming existence of more than a few inhomogeneous regions) and, as expected, it vanishes in the limit in which the size of inhomogeneous regions goes to zero, but the density contrast is kept constant.
Our result does not generalize directly to the cosmological setting (which seems to be most interesting in the context of the inhomogeneity effect). Nevertheless, we have shown that in our model the homogeneous solution approximate quite well the inhomogeneous one, thus the effect of smallscale inhomogeneities is not an ‘order of magnitude effect’, but it introduces a small correction. This conclusion is consistent with results obtained using different approaches [16, 18] (assuming that local effects are negligible) and the current stateoftheart of this topic (see the article [23] and references therein).
Since the effect of inhomogeneities is not large, the different sets of not very precise observations would be initially consistent with the homogeneous model. The increased precision would reveal a tension between values of parameters based on different observations (under the homogeneity assumption). This tension will disappear only if the observational data would be reinterpreted within the inhomogeneous model.
Data Availability Statement
This manuscript has associated data in a data repository. [Authors’ comment: Numerical data generated during the study are available from the corresponding author on reasonable request.]
Notes
 1.
There is a misprint in formula (41) in [25]. The minus sign in front of the integral is unnecessary.
 2.
We put forward a hypothesis that any exact periodic density profile within the Einstein cluster class may be generalized to a oneparameter family of solutions satisfying the GreenWald assumptions.
 3.
In practice, we choose M as a unit and calculate numerical value of \(\rho _0\) from the Eq. (12).
References
 1.
Planck Collaboration, N. Aghanim, Y. Akrami, M. Ashdown, et al., Planck 2018 results. VI. Cosmological parameters. (2018). arXiv eprints, arXiv:1807.06209
 2.
A.G. Riess, S. Casertano, W. Yuan, L.M. Macri, D. Scolnic, Large magellanic cloud cepheid standards provide a 1% foundation for the determination of the Hubble constant and stronger evidence for physics beyond \(\Lambda \)CDM. Astrophys. J. 876(1), 85 (2019)
 3.
K.C. Wong, S.H. Suyu, G.C.F. Chen, et al., H0LiCOW XIII. A 2.4% measurement of \(H_{0}\) from lensed quasars: \(5.3 \) tension between early and lateUniverse probes (2019). arXiv eprints, arXiv:1907.04869
 4.
W.L. Freedman, B.F. Madore, D. Hatt et al., The CarnegieChicago Hubble Program. VIII. An independent determination of the Hubble constant based on the tip of the red giant branch. Astrophys. J. 882(1), 34 (2019)
 5.
K. Bolejko, Emerging spatial curvature can resolve the tension between highredshift cmb and lowredshift distance ladder measurements of the Hubble constant. Phys. Rev. D 97, 103529 (2018)
 6.
J. Adamek, C. Clarkson, L. Coates, R. Durrer, M. Kunz, Bias and scatter in the Hubble diagram from cosmological largescale structure. Phys. Rev. D 100, 021301 (2019)
 7.
H.J. Macpherson, P.D. Lasky, D.J. Price, The trouble with Hubble: local versus global expansion rates in inhomogeneous cosmological simulations with numerical relativity. Astrophys. J. 865(1), L4 (2018)
 8.
R. Wojtak, A. Knebe, W.A. Watson, I.T. Iliev, S. Heß, D. Rapetti, G. Yepes, S. Gottlöber, Cosmic variance of the local Hubble flow in largescale cosmological simulations. Mon. Not. R. Astron. Soc. 438(2), 1805–1812 (2013)
 9.
W.D. Kenworthy, D. Scolnic, A. Riess, The local perspective on the Hubble tension: local structure does not impact measurement of the Hubble constant. Astrophys. J. 875(2), 145 (2019)
 10.
G.F.R. Ellis, W. Stoeger, The ‘fitting problem’ in cosmology. Class. Quantum Gravity 4, 1697–1729 (1987)
 11.
S.R. Green, R.M. Wald, New framework for analyzing the effects of small scale inhomogeneities in cosmology. Phys. Rev. D 83, 084020 (2011)
 12.
G.A. Burnett, The highfrequency limit in general relativity. J. Math. Phys. 30, 90 (1989)
 13.
R.A. Isaacson, Gravitational radiation in the limit of high frequency. I. The linear approximation and geometrical optics. Phys. Rev. 166, 1263–1271 (1968)
 14.
R.A. Isaacson, Gravitational radiation in the limit of high frequency. II. Nonlinear terms and the effective stress tensor. Phys. Rev. 166, 1272–1280 (1968)
 15.
E. Bentivegna, T. Clifton, J. Durk, M. Korzyński, K. Rosquist, Blackhole lattices as cosmological models. Class. Quantum Gravity 35(17), 175004 (2018)
 16.
T. Biswas, A. Notari, Swisscheese inhomogeneous cosmology and the dark energy problem. JCAP 0806, 021 (2008)
 17.
K. Bolejko, M.N. Celerier, A. Krasiński, Inhomogeneous cosmological models: exact solutions and their applications. Class. Quantum Gravity 28, 164002 (2011)
 18.
S.J. Szybka, Light propagation in swisscheese cosmologies. Phys. Rev. D 84, 044011 (2011)
 19.
S.J. Szybka, K. Głód, M.J. Wyrębowski, A. Konieczny, Inhomogeneity effect in Wainwright–Marshman spacetimes. Phys. Rev. D 89, 044033 (2014)
 20.
S.J. Szybka, M.J. Wyrębowski, Backreaction for Einstein–Rosen waves coupled to a massless scalar field. Phys. Rev. D 94, 024059 (2016)
 21.
S. Sikora, K. Głód, Example of an inhomogeneous cosmological model in the context of backreaction. Phys. Rev. D 95(6), 063517 (2017)
 22.
S. Sikora, K. Głód, Perturbatively constructed cosmological model with periodically distributed dust inhomogeneities. Phys. Rev. D 99(8), 083521 (2019)
 23.
A.A. Coley, G.F.R. Ellis, Theoretical Cosmology. Class. Quant. Grav. 37(1), 013001 (2020)
 24.
A. Einstein, On a stationary system with spherical symmetry consisting of many gravitating masses. Ann. Math. 40(4), 922–936 (1939)
 25.
A. Geralico, F. Pompi, R. Ruffini, On Einstein Clusters. Int. J. Mod. Phys. Conf. Ser. 12, 146–173 (2012)
 26.
C.G. Böhmer, T. Harko, On Einstein clusters as galactic dark matter haloes. Mon. Not. R. Astron. Soc. 379(1), 393–398 (2007)
 27.
V. Cocco, R. Ruffini, On metastable Einstein’s clusters. Nuovo Cimento B Serie 112, 271–287 (1997)
 28.
J.M. MartínGarcía. xAct: Efficient tensor computer algebra. http://www.xact.es
Acknowledgements
This publication was supported by the John Templeton Foundation Grant Conceptual Problems in Unification Theories (No. 60671). MR was supported by the Polish National Science Centre Grant no. 2017/26/A/ST2/00530. Some calculations were carried out with the xAct package [28]. SJS thanks Krzysztof Głód and Szymon Sikora for a discussion.
Author information
Affiliations
Corresponding author
Rights and permissions
Open Access This article is licensed under a Creative Commons Attribution 4.0 International License, which permits use, sharing, adaptation, distribution and reproduction in any medium or format, as long as you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons licence, and indicate if changes were made. The images or other third party material in this article are included in the article’s Creative Commons licence, unless indicated otherwise in a credit line to the material. If material is not included in the article’s Creative Commons licence and your intended use is not permitted by statutory regulation or exceeds the permitted use, you will need to obtain permission directly from the copyright holder. To view a copy of this licence, visit http://creativecommons.org/licenses/by/4.0/.
Funded by SCOAP^{3}
About this article
Cite this article
Szybka, S.J., Rutkowski, M. Einstein clusters as models of inhomogeneous spacetimes. Eur. Phys. J. C 80, 397 (2020). https://doi.org/10.1140/epjc/s1005202079480
Received:
Accepted:
Published: