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

On the sensitivity of weak gravitational lensing to the cosmic expansion function

Christian F. Schmidt,1,2 Matthias Bartelmann,2
1Institute for Theoretical Physics, Jena University, Froebelstieg 1, 07743 Jena, Germany
2Institute for Theoretical Physics, Heidelberg University, Philosophenweg 16, 69120 Heidelberg, Germany
E-mail: [email protected]: [email protected]
(Accepted XXX. Received YYY; in original form ZZZ)
Abstract

We analyse the functional derivative of the cosmic-shear power spectrum CγC_{\ell}^{\gamma} with respect to the cosmic expansion function. Our interest in doing so is two-fold: (i) In view of attempts to detect minor changes of the cosmic expansion function which may be due to a possibly time-dependent dark-energy density, we wish to know how sensitive the weak-lensing power spectrum is to changes in the expansion function. (ii) In view of recent empirical determinations of the cosmic expansion function from distance measurements, independent of specific cosmological models, we wish to find out how uncertainties in the expansion function translate to uncertainties in the cosmic-shear power spectrum. We find the following answers: Relative changes of the expansion function are amplified by the cosmic-shear power spectrum by a factor 26\approx 2-6, weakly depending on the scale factor where the change is applied, and the current uncertainty of one example for an empirically determined expansion function translates to a relative uncertainty of the cosmic-shear power spectrum of 10%\approx 10\,\%.

keywords:
(cosmology:) large-scale structure of Universe – gravitational lensing: weak – (cosmology:) dark energy – cosmology: theory – (cosmology:) cosmological parameters – cosmology: miscellaneous
pubyear: 2023pagerange: On the sensitivity of weak gravitational lensing to the cosmic expansion functionOn the sensitivity of weak gravitational lensing to the cosmic expansion function

1 Introduction

Mainly owing to its conceptual simplicity, gravitational lensing has developed into one of the most informative and reliable methods of observational cosmology (Bartelmann & Schneider, 2001; Schneider, 2006; Bartelmann, 2010; Kilbinger, 2015; Mandelbaum, 2018). Expected weak-lensing power spectra depend on the cosmological background model in two ways: geometrically via the angular-diameter distances entering its geometrical weight function, and dynamically via the growth of density perturbations. In view of these dependences, we address in this paper the following question:

If the cosmic expansion function E(a)=H(a)/H0E(a)=H(a)/H_{0} is varied in an arbitrary way, how does the power spectrum of cosmological weak lensing change? Here, H(a)H(a) is the Hubble function and H0H_{0} its present value. We believe that this question is relevant for two main reasons: First, it is interesting to find out how sensitive the weak-lensing power spectrum CγC_{\ell}^{\gamma} is to changes of the expansion function as a function of redshift. Or, phrased differently, at what redshift is CγC_{\ell}^{\gamma} most or least sensitive to uncertainties in or modifications of E(a)E(a)? This question is particularly important in view of a possible time dependence of the dark energy (Amendola et al., 2018a; Brax, 2018). Second, model-independent or, perhaps more appropriately, empirical methods of constraining the cosmic expansion history return E(a)E(a) with some redshift-dependent uncertainty ΔE(a)\Delta E(a) (Mignone & Bartelmann, 2008; Maturi & Mignone, 2009; Benitez-Herrera et al., 2012, 2013; Taddei & Amendola, 2015; Pinho et al., 2018; Amendola et al., 2018b; Haude et al., 2022). Given such an uncertainty, what uncertainty in CγC_{\ell}^{\gamma} does it entail?

We use one such empirical reconstruction method for illustrating our results (Haude et al., 2022). It expands the suitably scaled, inverse expansion function into a set of orthonormal polynomials, specifically the shifted Chebyshev polynomials, and reconstructs the cosmic expansion function E(a)E(a) by fitting this polynomial expansion to cosmic distance measurements, e.g. of type-Ia supernovae, or baryonic acoustic oscillations, or both in combination. The result of this fitting procedure is a small set of coefficients cic_{i} with uncertainties Δci\Delta c_{i}. The measurement uncertainties quantified by Δci\Delta c_{i} imply an uncertainty ΔE(a)\Delta E(a) in the expansion function. Since the growth factor D+(a)D_{+}(a) of cosmic density fluctuations depends on the expansion function, any uncertainty in E(a)E(a) will also cause an uncertainty ΔD+(a)\Delta D_{+}(a) in the growth factor. Supplied with the specific functional form of ΔE(a)\Delta E(a) resulting from our reconstruction method, we wish to quantify how uncertain the weak-lensing power spectrum CγC_{\ell}^{\gamma} is in response to the uncertainty in the empirically constrained cosmic expansion function.

Since our empirical reconstruction method returns the functional forms E(a)E(a) and ΔE(a)\Delta E(a) of the expansion function and its uncertainty rather than a set of values of these functions at specific, discrete redshifts or scale factors, we require the functional derivative of the weak-lensing power spectrum CγC_{\ell}^{\gamma} with respect to the expansion function E(a)E(a). We will work this out in Sect. 2. In Sect. 3, we will then quantify the uncertainty of CγC_{\ell}^{\gamma} with the specific example of ΔE(a)\Delta E(a) as derived earlier from type-Ia supernovae and baryonic acoustic oscillations. In Sect. 4, we will then summarise and discuss our results.

2 Functional derivative of the shear power spectrum

2.1 The shear power spectrum

The power spectrum of cosmological weak gravitational lensing, specifically the expectation for the power spectrum of the weak gravitational shear γ\gamma caused by cosmic structures, can be expressed as (Bartelmann & Schneider, 2001; Bartelmann, 2010; Schneider, 2006).

Cγ(ws)=94(H0c)4Ωm020wsdw(wswwsa(w))2Pδ(w).C_{\ell}^{\gamma}(w_{\mathrm{s}})=\frac{9}{4}\left(\frac{H_{0}}{c}\right)^{4}\Omega_{\mathrm{m0}}^{2}\int_{0}^{w_{\mathrm{s}}}\text{d}w\left(\frac{w_{\mathrm{s}}-w}{w_{\mathrm{s}}a(w)}\right)^{2}P_{\delta}\left(\frac{\ell}{w}\right)\;. (1)

The shear power spectrum CγC_{\ell}^{\gamma} at an angular wave number \ell is determined by a line-of-sight integral of the density-fluctuation power spectrum Pδ(k)P_{\delta}(k) at wave number k=/wk=\ell/w, geometrically weighed with the squared distance ratio between the matter fluctuations acting as gravitational lenses and the sources. In (1), ww is the comoving radial distance running from the source at w=wsw=w_{\mathrm{s}} to the observer at w=0w=0. The parameter of the present matter density is Ωm0\Omega_{\mathrm{m0}}, and cH01cH_{0}^{-1} is the Hubble radius. Since density fluctuations grow with time, and thus also grow along the line-of-sight, variations of the growth factor change the density-fluctuation power spectrum PδP_{\delta} and thus also affect our expectation for the shear power spectrum. In addition to the indirect variation mediated by the growth factor, the shear power spectrum is also directly affected by variations in the expansion function because the cosmic expansion affects the geometry of space and thereby all distance measures.

We substitute the comoving distance ww in (1) by the scale factor aa as an integration variable and find

Cγ(as)\displaystyle C_{\ell}^{\gamma}(a_{\mathrm{s}}) =94(H0c)4Ωm02\displaystyle=\frac{9}{4}\left(\frac{H_{0}}{c}\right)^{4}\Omega_{\mathrm{m0}}^{2} (2)
×as1(w(as)w(a)w(as))2Pδ(w(a))daa4E(a).\displaystyle\quad\times\int_{a_{\mathrm{s}}}^{1}\left(\frac{w(a_{\mathrm{s}})-w(a)}{w(a_{\mathrm{s}})}\right)^{2}P_{\delta}\left(\frac{\ell}{w(a)}\right)\frac{\text{d}a}{a^{4}E(a)}\;.

Aiming at analyzing the impact of variations in the expansion function E(a)E(a) and the growth factor D+(a)D_{+}(a) on this shear power spectrum, we can restrict ourselves to the integral in (2) because the prefactors are constants. Thus, our main object of interest is the integral

I(as,):=as1𝒲2(a,as)Pδ(w(a))daa4E(a)I(a_{\mathrm{s}},\ell):=\int_{a_{\mathrm{s}}}^{1}\mathcal{W}^{2}(a,a_{\mathrm{s}})\,P_{\delta}\left(\frac{\ell}{w(a)}\right)\frac{\text{d}a}{a^{4}E(a)} (3)

containing the geometrical weight function

𝒲(a,as):=w(as)w(a)w(as).\mathcal{W}(a,a_{\mathrm{s}}):=\frac{w(a_{\mathrm{s}})-w(a)}{w(a_{\mathrm{s}})}\;. (4)

2.2 Variation with the expansion function

Our uncertainty analysis proceeds in the three steps enumerated below. Within each step, we consider different angular wave numbers \ell and compare results for linearly and non-linearly evolving density-fluctuation power spectra PδP_{\delta}.

  1. 1.

    As motivated in the introduction, we wish to answer the question: If we vary the cosmic expansion function by ΔE(x)\Delta E(x) at a certain scale factor xx, which we henceforth call the perturbation scale factor, how does the integral I(as,)I(a_{\mathrm{s}},\ell) change relatively? Moving the perturbation scale factor xx from asa_{\mathrm{s}} to unity then results in a relative uncertainty distribution for fixed asa_{\mathrm{s}} and \ell, depending on xx, which can be calculated using Gaussian error progression,

    R(x,as,):=ΔIx(as,)I(as,)=|δlnI(as,)δE(x)|ΔE(x).R(x,a_{\mathrm{s}},\ell):=\frac{\Delta I_{x}(a_{\mathrm{s}},\ell)}{I(a_{\mathrm{s}},\ell)}=\left|\frac{\delta\ln I(a_{\mathrm{s}},\ell)}{\delta E(x)}\right|\cdot\Delta E(x)\;. (5)

    We shall refer to R(x,as,)R(x,a_{\mathrm{s}},\ell) as the two-dimensional uncertainty distribution since we shall later fix \ell and vary xx and asa_{\mathrm{s}}. The function R(x,as,)R(x,a_{\mathrm{s}},\ell) answers the question: What is the relative change of the weak-lensing power spectrum CγC_{\ell}^{\gamma} in response to a change in the expansion function somewhere between the source and the observer?

    Variations of the expansion function E(a)E(a) also cause variations of the growth factor D+(a)D_{+}(a). Possible additional systematic uncertainties in D+D_{+} are negligible in comparison. Thus, the uncertainties ΔD+\Delta D_{+} are dominated by the uncertainties ΔE\Delta E, propagated through the differential equation (19) for linear density fluctuations. Thus, ΔD+\Delta D_{+} depends linearly on ΔE\Delta E with the functional derivative δD+/δE\delta D_{+}/\delta E as the slope, which will be calculated in Sect. 2.2.3. Thus, the uncertainties in D+D_{+} are implicitly taken into account in (5), as we shall also see in Sect. 2.2.

  2. 2.

    We additionally vary the scale factor asa_{\mathrm{s}} of the source and thus arrive at the two-dimensional relative uncertainty distribution R(x,as,)R(x,a_{\mathrm{s}},\ell) at fixed \ell. We restrict our analysis to sources at scale factors as[1/3,2/3]a_{\mathrm{s}}\in[1/3,2/3], corresponding to source redshifts zs[0.5,2]z_{\mathrm{s}}\in[0.5,2].

  3. 3.

    Accounting for all perturbations along the line-of-sight, achieved by integrating the relative uncertainty distribution over all perturbation scale factors xx, finally gives the total relative uncertainty for a given source at scale factor asa_{\mathrm{s}} as a function of the angular wave number \ell,

    R¯(as,)=as1dxR(x,as,)=as1dxΔIx(as,)I(as,).\bar{R}(a_{\mathrm{s}},\ell)=\int_{a_{\mathrm{s}}}^{1}\text{d}x\,R(x,a_{\mathrm{s}},\ell)=\int_{a_{\mathrm{s}}}^{1}\text{d}x\,\frac{\Delta I_{x}(a_{\mathrm{s}},\ell)}{I(a_{\mathrm{s}},\ell)}\;. (6)

    We shall refer to this function as one-dimensional since we vary asa_{\mathrm{s}} at fixed angular scale \ell.

2.2.1 Variation of the geometrical weight function

To quantify the relative variation R(x,as,)R(x,a_{\mathrm{s}},\ell) defined in (5), we need the functional derivative of I(as,)I(a_{\mathrm{s}},\ell) with respect to the expansion function E(x)E(x). Applying the rules of functional derivation, we have

δI(as,)δE(x)\displaystyle\frac{\delta I(a_{\mathrm{s}},\ell)}{\delta E(x)}
=as1daa4E(a)Θ(xas)Θ(1x){𝒲2(a,as)Pδ(w(a),D+(a))\displaystyle=\int_{a_{\mathrm{s}}}^{1}\frac{\text{d}a}{a^{4}E(a)}\Theta(x-a_{\mathrm{s}})\Theta(1-x)\Bigg{\{}\mathcal{W}^{2}(a,a_{\mathrm{s}})P_{\delta}\left(\frac{\ell}{w(a)},D_{+}(a)\right)
×[2δln𝒲(a,as)δE(x)+δlnPδ(/w(a),D+(a))δE(x)δ(xa)E(a)]}.\displaystyle\quad\times\left[2\frac{\delta\ln\mathcal{W}(a,a_{\mathrm{s}})}{\delta E(x)}+\frac{\delta\ln P_{\delta}\left(\ell/w(a),D_{+}(a)\right)}{\delta E(x)}-\frac{\delta(x-a)}{E(a)}\right]\Bigg{\}}\;. (7)

The functional derivative of the geometrical weight function 𝒲\mathcal{W} with respect to EE is

δ𝒲(a,as)δE(x)=[δw(as)δE(x)w(a)δw(a)δE(x)w(as)]1w2(as),\frac{\delta\mathcal{W}(a,a_{\mathrm{s}})}{\delta E(x)}=\left[\frac{\delta w(a_{\mathrm{s}})}{\delta E(x)}w(a)-\frac{\delta w(a)}{\delta E(x)}w(a_{\mathrm{s}})\right]\frac{1}{w^{2}(a_{\mathrm{s}})}\;, (8)

and the functional derivative of the comoving radial distance with respect to the expansion function turns out to be

δw(a)δE(x)\displaystyle\frac{\delta w(a)}{\delta E(x)} =δδE(x)a1daa2E(a)\displaystyle=\frac{\delta}{\delta E(x)}\int_{a}^{1}\frac{\text{d}a^{\prime}}{a^{\prime 2}E(a^{\prime})}
=a1daa2δD(ax)E2(a)Θ(xa)Θ(1x)\displaystyle=-\int_{a}^{1}\frac{\text{d}a^{\prime}}{a^{\prime 2}}\,\frac{\delta_{D}(a^{\prime}-x)}{E^{2}(a)}\,\Theta(x-a)\Theta(1-x)
=Θ(xa)Θ(1x)x2E2(x).\displaystyle=-\frac{\Theta(x-a)\Theta(1-x)}{x^{2}E^{2}(x)}\;. (9)

Combining (9) with (8) and using that

Θ(xa)=Θ(xas)[1Θ(ax)]\Theta(x-a)=\Theta(x-a_{\mathrm{s}})\left[1-\Theta(a-x)\right] (10)

for a<asa<a_{\mathrm{s}} leads to the compact result

δln𝒲(a,as)δE(x)=Θ(1x)Θ(xas)w(as)x2E2(x)[1Θ(ax)𝒲(a,as)].\frac{\delta\ln\mathcal{W}(a,a_{\mathrm{s}})}{\delta E(x)}=\frac{\Theta(1-x)\Theta(x-a_{\mathrm{s}})}{w(a_{\mathrm{s}})x^{2}E^{2}(x)}\left[1-\frac{\Theta(a-x)}{\mathcal{W}(a,a_{\mathrm{s}})}\right]\;. (11)

2.2.2 Variation of the power spectrum

The functional derivative of the density-fluctuation power spectrum PδP_{\delta} due to changes in the expansion function can be calculated as follows:

δlnPδ(k,D+(a))δE(x)\displaystyle\frac{\delta\ln P_{\delta}\left(k,D_{+}(a)\right)}{\delta E(x)} =lnPδkkw(a)δw(a)δE(x)+lnPδD+δD+(a)δE(x)\displaystyle=\frac{\partial\ln P_{\delta}}{\partial k}\frac{\partial k}{\partial w(a)}\frac{\delta w(a)}{\delta E(x)}+\frac{\partial\ln P_{\delta}}{\partial D_{+}}\frac{\delta D_{+}(a)}{\delta E(x)}
=Θ(1x)Θ(xa)w2(a)x2E2(x)lnPδlnk|k=/w(a)\displaystyle=\frac{\Theta(1-x)\Theta(x-a)}{w^{2}(a)x^{2}E^{2}(x)}\frac{\partial\ln P_{\delta}}{\partial\ln k}\bigg{|}_{k=\ell/w(a)}
+lnPδD+δD+(a)δE(x).\displaystyle\quad+\frac{\partial\ln P_{\delta}}{\partial D_{+}}\frac{\delta D_{+}(a)}{\delta E(x)}\;. (12)

The linearly evolving power spectrum satisfies Pδ(lin)=D+2Pδ0(lin)P_{\delta}^{\mathrm{(lin)}}=D_{+}^{2}P_{\delta 0}^{\mathrm{(lin)}}, such that

lnPδ(lin)D+=2D+,\frac{\partial\ln P_{\delta}^{\mathrm{(lin)}}}{\partial D_{+}}=\frac{2}{D_{+}}\;, (13)

whereas the dependence of the non-linearly evolving power spectrum Pδ(nl)P_{\delta}^{\mathrm{(nl)}} on D+D_{+} is given implicitly by

lnPδ(nl)D+\displaystyle\frac{\partial\ln P_{\delta}^{\mathrm{(nl)}}}{\partial D_{+}} =(dD+da)1lnPδ(nl)a=(D+adlnD+dlna)1lnPδ(nl)a\displaystyle=\left(\frac{\mathrm{d}D_{+}}{\mathrm{d}a}\right)^{-1}\frac{\partial\ln P_{\delta}^{\mathrm{(nl)}}}{\partial a}=\left(\frac{D_{+}}{a}\frac{\mathrm{d}\ln D_{+}}{\mathrm{d}\ln a}\right)^{-1}\frac{\partial\ln P_{\delta}^{\mathrm{(nl)}}}{\partial a}
=aD+ΩmγlnPδ(nl)a=1D+ΩmγlnPδ(nl)lna.\displaystyle=\frac{a}{D_{+}\Omega_{\mathrm{m}}^{\gamma}}\frac{\partial\ln P_{\delta}^{\mathrm{(nl)}}}{\partial a}=\frac{1}{D_{+}\Omega_{\mathrm{m}}^{\gamma}}\frac{\partial\ln P_{\delta}^{\mathrm{(nl)}}}{\partial\ln a}\;. (14)

To combine both cases, i.e. the linearly and the non-linearly evolving density-fluctuation power spectra, we introduce

α(k,a):=lnPδ(k,a)lnD+={2(linear)Ωmγ(a)lnPδ(k,a)lna(non-linear).\alpha(k,a):=\frac{\partial\ln P_{\delta}(k,a)}{\partial\ln D_{+}}=\begin{cases}2&\mbox{(linear)}\\ \Omega_{\mathrm{m}}^{-\gamma}(a)\frac{\partial\ln P_{\delta}(k,a)}{\partial\ln a}&\mbox{(non-linear)}\end{cases}\;. (15)

Here, γ\gamma is implicitly given by the logarithmic derivative

dlnD+dlna=Ωmγ(a)\frac{\text{d}\ln D_{+}}{\text{d}\ln a}=\Omega^{\gamma}_{\mathrm{m}}(a) (16)

of the growth factor with respect to the scale factor. Further defining the logarithmic derivative of both types of density-fluctuation power spectra with respect to the wave number by

κ(k,a):=lnPδ(k,a)lnk,\kappa(k,a):=\frac{\partial\ln P_{\delta}(k,a)}{\partial\ln k}\;, (17)

we can summarise the functional derivative of both types of power spectra by

δlnPδ[k,D+(a)]δE(x)\displaystyle\frac{\delta\ln P_{\delta}\left[k,D_{+}(a)\right]}{\delta E(x)} =Θ(1x)Θ(xa)w(a)x2E2(x)κ(k,a)\displaystyle=\frac{\Theta(1-x)\Theta(x-a)}{w(a)x^{2}E^{2}(x)}\,\kappa(k,a) (18)
+δlnD+(a)δE(x)α(k,a).\displaystyle\quad+\frac{\delta\ln D_{+}(a)}{\delta E(x)}\,\alpha(k,a)\;.

The first term on the right-hand side reflects the variation of the density-fluctuation power spectrum Pδ(k,a)P_{\delta}(k,a) in response to a change in the wave number kk where it is to be evaluated, which is in turn due to a change in the comoving radial distance w(a)w(a) at fixed angular wave number \ell. The function κ(k,a)\kappa(k,a) defined in (17) also takes the shape evolution of the non-linear power spectrum into account; see Fig. 1. The radial comoving distance w(a)w(a) itself responds to variations in the expansion function E(x)E(x) with x>ax>a, as given by (9). The second term on the right-hand side reflects the variation of Pδ(k,a)P_{\delta}(k,a) with uncertainties in the time evolution of cosmic structures in response to changes in the expansion function E(x)E(x).

For evaluating the functional derivative (18), we use the linearly evolved CDM power spectrum by (Bardeen et al., 1986) and the non-linearly evolved CDM power spectrum by (Smith et al., 2003). There are clearly newer descriptions of the non-linear density-fluctuation power spectrum, but we have convinced ourselves that its detailed shape is unimportant for our purposes. The function κ\kappa is shown in Fig. 1, the functional derivatives of the power spectra with respect to the expansion function are illustrated in Fig. 2 (linear case) and Fig. 3 (non-linear case).

Refer to caption

Figure 1: The logarithmic derivative κ:=lnPδ/lnk\kappa:=\partial\ln P_{\delta}/\partial\ln k defined in (17) is shown here for linear and non-linear density-fluctuation power spectra and for scale factors a=0.2,0.5,1.0a=0.2,0.5,1.0. For small kk, the derivative tends to unity. The peak at small kk in the derivatives of the non-linear power spectra marks the scale below which non-linearity sets in.
Refer to caption
Refer to caption
Figure 2: Logarithmic derivative of the linear density-fluctuation power spectrum with respect to the expansion function, δPδ(k,a)/δE(x)\delta P_{\delta}(k,a)/\delta E(x). Upper panel: derivatives taken at k=1.0hMpc1k=1.0\,h\,\mathrm{Mpc}^{-1} and scale factors a=0.5,0.7,0.9a=0.5,0.7,0.9. Lower panel: derivatives taken at a=0.5a=0.5 and wave numbers k=0.01,0.1,1.0hMpc1k=0.01,0.1,1.0\,h\,\mathrm{Mpc}^{-1}.
Refer to caption
Refer to caption
Figure 3: Logarithmic derivative of the non-linear density-fluctuation power spectrum with respect to the expansion function, δPδ(k,a)/δE(x)\delta P_{\delta}(k,a)/\delta E(x). Upper panel: derivatives taken at k=1.0hMpc1k=1.0\,h\,\mathrm{Mpc}^{-1} and scale factors a=0.5,0.7,0.9a=0.5,0.7,0.9. Lower panel: derivatives taken at a=0.5a=0.5 and wave numbers k=0.01,0.1,1.0hMpc1k=0.01,0.1,1.0\,h\,\mathrm{Mpc}^{-1}.

The discontinuity of the functional derivative δlnPδ(a)/δE(x)\delta\ln P_{\delta}(a)/\delta E(x) at x=ax=a is the combined effect of the two terms in (18). While the first term occurs only for x>ax>a because it is due to varying the radial comoving distance from the observer to the density fluctuation, the second term also contributes at x<ax<a because it reflects the growth of density fluctuations over time.

2.2.3 Variation of the growth factor

The final piece required for calculating the relative variation R(x,as,)R(x,a_{\mathrm{s}},\ell) is the functional derivative of the growth factor with respect to the expansion function, δD+(a)/δE(x)\delta D_{+}(a)/\delta E(x). Both functions are related via the differential equation

D+′′(a)+[3a+E(a)E(a)]D+(a)32Ωm(a)a2D+(a)=0,D_{+}^{\prime\prime}(a)+\left[\frac{3}{a}+\frac{E^{\prime}(a)}{E(a)}\right]D_{+}^{\prime}(a)-\frac{3}{2}\frac{\Omega_{\mathrm{m}}(a)}{a^{2}}D_{+}(a)=0\;, (19)

where the prime denotes the derivative with respect to the scale factor aa. The matter-density parameter Ωm(a)\Omega_{\mathrm{m}}(a) as a function of the scale factor is given by

Ωm(a)=Ωm0a3E2(a)\Omega_{\mathrm{m}}(a)=\frac{\Omega_{\mathrm{m}0}}{a^{3}E^{2}(a)} (20)

in terms of the expansion function.

A straightforward approach at the desired functional derivative begins with applying the functional derivative δ/δE(x)\delta/\delta E(x) to the differential equation (19) and making use of the fact that the functional derivative δ/δE(x)\delta/\delta E(x) commutes with the derivative d/da\text{d}/\text{d}a with respect to the scale factor. Doing so, we arrive at a differential equation for δD+(a)/δE(x)\delta D_{+}(a)/\delta E(x),

δδE(x)[D+′′(a)+(3a+E(a)E(a))D+(a)32Ωm(a)a2D+(a)]=0.\frac{\delta}{\delta E(x)}\left[D_{+}^{\prime\prime}(a)+\left(\frac{3}{a}+\frac{E^{\prime}(a)}{E(a)}\right)D_{+}^{\prime}(a)-\frac{3}{2}\frac{\Omega_{\mathrm{m}}(a)}{a^{2}}D_{+}(a)\right]=0\;. (21)

Carrying out the functional derivative results in

d2da2δD+(a)δE(x)+(3a+dlnE(a)da)ddaδD+(a)δE(x)32Ωm(a)a2δD+(a)δE(x)\displaystyle\frac{\mathrm{d}^{2}}{\mathrm{d}a^{2}}\frac{\delta D_{+}(a)}{\delta E(x)}+\left(\frac{3}{a}+\frac{\mathrm{d}\ln E(a)}{\mathrm{d}a}\right)\frac{\mathrm{d}}{\mathrm{d}a}\frac{\delta D_{+}(a)}{\delta E(x)}-\frac{3}{2}\frac{\Omega_{\mathrm{m}}(a)}{a^{2}}\frac{\delta D_{+}(a)}{\delta E(x)}
=dda(δD(ax)E(a))D+(a)3D+(a)a2Ωm(a)E(a)δD(ax).\displaystyle=-\frac{\mathrm{d}}{\mathrm{d}a}\left(\frac{\delta_{D}(a-x)}{E(a)}\right)D_{+}^{\prime}(a)-3\frac{D_{+}(a)}{a^{2}}\frac{\Omega_{\mathrm{m}}(a)}{E(a)}\delta_{D}(a-x)\;. (22)

Recognizing that the part of (22) which is homogeneous in the functional derivative is of the same form as (19), which is solved by D+(a)D_{+}(a), the ansatz

δD+(a)δE(x)=C(a,x)D+(a)\frac{\delta D_{+}(a)}{\delta E(x)}=C(a,x)\cdot D_{+}(a) (23)

suggests itself. Moreover, we enforce causality explicitly on the solution of (22) by requiring that a perturbation in E(x)E(x) at x>ax>a cannot propagate backwards in time to disturb D+(a)D_{+}(a). We thus impose

δD+(a)δE(x)Θ(ax),\frac{\delta D_{+}(a)}{\delta E(x)}\propto\Theta(a-x)\;, (24)

which fixes the two degrees of freedom of this second-order differential equation, such that we do not need to set any further boundary conditions. Using the ansatz (23) and the causality condition (21) leads to the solution

δD+(a)δE(x)=D+(a)Θ(ax)[g(x)Γ(x,a)h(x)],\frac{\delta D_{+}(a)}{\delta E(x)}=D_{+}(a)\Theta(a-x)[g(x)\Gamma(x,a)-h(x)]\;, (25)

with the functions g(x),h(x)g(x),h(x) and Γ(a,x)\Gamma(a,x) defined by

g(x)\displaystyle g(x) =xD+2(x)Ωm(x)[Ωm2γ1(x)32],\displaystyle=xD_{+}^{2}(x)\Omega_{\mathrm{m}}(x)\left[\Omega_{\mathrm{m}}^{2\gamma-1}(x)-\frac{3}{2}\right]\;, (26)
h(x)\displaystyle h(x) =Ωm(x)xE(x),\displaystyle=\frac{\Omega_{\mathrm{m}(x)}}{xE(x)}\;,
Γ(x,a)\displaystyle\Gamma(x,a) =xadaa3D+2(a)E(a).\displaystyle=\int_{x}^{a}\frac{\text{d}a^{\prime}}{a^{\prime 3}D_{+}^{2}(a^{\prime})E(a^{\prime})}\;.

Finally, we need to take into account that the density-fluctuation power spectrum is normalised at the present time. This means that, by the choice of this normalisation, the growth factor D+D_{+} has to be set to unity today, D+(a=1)=1D_{+}(a=1)=1. The variation of the growth factor normalised in this way is

δδE(x)(D+(a)D+(1))\displaystyle\frac{\delta}{\delta E(x)}\left(\frac{D_{+}(a)}{D_{+}(1)}\right) =1D+(1)δD+(a)δE(x)D+(a)D+2(1)δD+(1)δE(x)\displaystyle=\frac{1}{D_{+}(1)}\frac{\delta D_{+}(a)}{\delta E(x)}-\frac{D_{+}(a)}{D_{+}^{2}(1)}\frac{\delta D_{+}(1)}{\delta E(x)} (27)
=δD+(a)δE(x)D+(a)δD+(1)δE(x),\displaystyle=\frac{\delta D_{+}(a)}{\delta E(x)}-D_{+}(a)\frac{\delta D_{+}(1)}{\delta E(x)}\;,

replacing D+(1)D_{+}(1) by unity in the second step. With (25), we can write

δδE(x)(D+(a)D+(1))=D+(a){h(x)Θ(xa)g(x)Γ[max(x,a),1]}.\frac{\delta}{\delta E(x)}\left(\frac{D_{+}(a)}{D_{+}(1)}\right)=D_{+}(a)\{h(x)\Theta(x-a)-g(x)\Gamma[\text{max}(x,a),1]\}\;. (28)

Inserting (11), (18), and (28) into (7), we are finally in a position to work out the functional derivative of I(as,)I(a_{\mathrm{s}},\ell) with E(a)E(a) numerically.

3 Numerical evaluation and results

3.1 General procedure and test with Einstein-de Sitter

This numerical evaluation needs the following inputs:

  • the expansion function E(a)E(a) and its derivative as well as the growth factor D+D_{+};

  • the power spectrum PδP_{\delta} of matter-density fluctuations;

  • the matter-density parameter today, Ωm0\Omega_{\mathrm{m0}}; and

  • the exponent γ\gamma of the logarithmic derivative of the growth factor.

With these ingredients, we can evaluate the functional derivative δD+(a)/δE(x)\delta D_{+}(a)/\delta E(x) solving (25) with standard integration routines, in our case taken from the GNU Science Library. The derivatives α(k,a)\alpha(k,a) and κ(k,a)\kappa(k,a) of the power spectrum with respect to the scale factor aa and the wave number kk, defined in (15) and (17), also need to be calculated numerically except for the derivative of the linear power spectrum with respect to aa.

It is interesting to consider an Einstein-de Sitter universe as a reference cosmology. It contains only matter with critical density. Since all the input functions are then known analytically, we can compare the analytic solution for the functional derivative in such a model universe with the numerical results. The characteristic functions in this universe are

E(a)=a3/2,D+(a)=a,Ωm(a)=1.E(a)=a^{-3/2}\;,\quad D_{+}(a)=a\;,\quad\Omega_{\mathrm{m}}(a)=1\;. (29)

Using these, we find from (26)

g(x)=x32,h(x)=x1/2,Γ(x,a)=25(a5/2x5/2)g(x)=-\frac{x^{3}}{2}\;,\quad h(x)=x^{1/2}\;,\quad\Gamma(x,a)=-\frac{2}{5}\left(a^{-5/2}-x^{-5/2}\right) (30)

for the functions g(x),h(x)g(x),h(x) and Γ(x,a)\Gamma(x,a) and, from (28), the functional derivative of the normalised growth factor becomes

δδE(x)(D+(a)D+(1))=a{x35[max5/2(x,a)1]+xΘ(xa)}.\frac{\delta}{\delta E(x)}\left(\frac{D_{+}(a)}{D_{+}(1)}\right)=a\bigg{\{}\frac{x^{3}}{5}\left[{\max}^{-5/2}(x,a)-1\right]+\sqrt{x}\Theta(x-a)\bigg{\}}\;. (31)

This analytic result is shown in the top panel of Fig. 4. It is opposed there to the numerical result for an Einstein-de Sitter universe in the centre panel for comparison, and to the functional derivative of D+D_{+} obtained by evaluating (28) numerically as described in the following subsection, shown in the bottom panel. The analytical and the numerical results for the Einstein-de Sitter universe are identical, thus confirming our numerical implementation. Despite the difference in the cosmological background evolution between the left and central panels compared to the right panel, the results are quite similar.

Refer to caption
Refer to caption
Refer to caption
Figure 4: Functional derivative of the normalised growth factor with respect to the expansion function for two different cases. Upper panel: analytic result for an Einstein-de Sitter universe for reference; central panel: numerical result for an Einstein-de Sitter universe; lower panel: numerical result obtained using an empirically constrained expansion function.

3.2 Evaluation with empirical expansion function

3.2.1 Empirical expansion function

Our model-independent reconstruction of the expansion function, described in detail elsewhere (Haude et al., 2022), proceeds as follows. Given measurements of luminosity distances (or distance moduli) with redshifts zzmaxz\leq z_{\mathrm{max}}, we define the re-scaled scale factor xx by

x=aamin1amin,amin=(1+zmax)1.x=\frac{a-a_{\mathrm{min}}}{1-a_{\mathrm{min}}}\;,\quad a_{\mathrm{min}}=\left(1+z_{\mathrm{max}}\right)^{-1}\;. (32)

With the convenient further definitions

δa:=1aminamin,e(x):=H0x˙(1+xδa)\delta a:=\frac{1-a_{\mathrm{min}}}{a_{\mathrm{min}}}\;,\quad e(x):=\frac{H_{0}}{\dot{x}(1+x\delta a)} (33)

we can write the luminosity distance in a spatially-flat universe in the form

Dlum(x)=cH01amin2(1+xδa)x1dxe(x).D_{\mathrm{lum}}(x)=\frac{c}{H_{0}}\frac{1}{a_{\mathrm{min}}^{2}(1+x\delta a)}\int_{x}^{1}\text{d}x^{\prime}\,e(x^{\prime})\;. (34)

We expand e(x)e(x) in a series of shifted Chebyshev polynomials Tj(x)T_{j}^{*}(x)

e(x)=j=0McjTj(x),e(x)=\sum_{j=0}^{M}c_{j}T_{j}^{*}(x)\;, (35)

and determine the coefficients cjc_{j} by a maximum-likelihood fit of Dlum(x)D_{\mathrm{lum}}(x) to the measurements. Their uncertainties Δcj\Delta c_{j}, and thus the uncertainty Δe(x)\Delta e(x) of e(x)e(x), are determined by the covariance matrix of the data. The expansion function is

E(x)=δa(1+xδa)2e(x),E(x)=\frac{\delta a}{(1+x\delta a)^{2}e(x)}\;, (36)

in terms of e(x)e(x), and its uncertainty follows from

|ΔE(x)E(x)|=|Δe(x)e(x)|.\left|\frac{\Delta E(x)}{E(x)}\right|=\left|\frac{\Delta e(x)}{e(x)}\right|\;. (37)

The expansion function derived in this way from type-Ia supernovae and BAO data is shown together with its uncertainty in Fig. 5.

Refer to caption

Figure 5: The model independent expansion function with its uncertainty

Since the expansion function E(a)E(a) is given in terms of Chebyshev polynomials, its derivative with respect to the scale factor aa can be taken. We define

ε:=3+2dlnE(a)dlna,ω:=1Ωm(a)\varepsilon:=3+2\,\frac{\text{d}\ln E(a)}{\text{d}\ln a}\;,\quad\omega:=1-\Omega_{\mathrm{m}}(a) (38)

where Ωm(a)\Omega_{\mathrm{m}}(a) is determined by (20) in terms of the expansion function for any choice of the matter-density parameter Ωm0\Omega_{\mathrm{m0}} today. With ε\varepsilon and ω\omega from (38), the growth index γ\gamma is given by (Wang & Steinhardt, 1998; Amendola et al., 2017; Haude et al., 2022)

γ=ε+3ω2ε+5ω.\gamma=\frac{\varepsilon+3\omega}{2\varepsilon+5\omega}\;. (39)

Thus, with E(a)E(a) and ΔE(a)\Delta E(a) reconstructed from measurements, we only need to set Ωm0\Omega_{\mathrm{m0}}. We choose Ωm0=0.3\Omega_{\mathrm{m0}}=0.3.

3.2.2 Functional derivative of the growth factor

The model-independent expansion function and growth factor are available in the scale-factor range 0.307a0.9900.307\leq a\leq 0.990. We restrict ourselves to a[1/3,1]a\in[1/3,1] because the later uncertainty analysis considers source scale factors asa_{\mathrm{s}} in this range. Numerically computing the functional derivative δD+(a)/δE(x)\delta D_{+}(a)/\delta E(x) using the empirically determined expansion function and its uncertainty gives the result shown in the right panel of Fig. 4.

As for the Einstein-de Sitter result, the functional derivative of the normalised growth factor is positive on the entire domain. This illustrates that, with the growth factor fixed to unity today, an increase in the expansion function causes an increase in structure growth: if structures are to reach their present amplitude in a more rapidly expanding universe, they need to grow faster against the more rapidly expanding background. In the Einstein-de Sitter universe, structure growth is somewhat delayed compared to our actual universe, which expands more rapidly than Einstein-de Sitter at late times. Once more, this reflects the fact that structures need to grow earlier in a universe expanding more quickly if their present amplitude is fixed.

3.3 Evaluation of the uncertainty distributions

With the functional derivative δD+(a)/δE(x)\delta D_{+}(a)/\delta E(x) of the growth factor with respect to the empirically reconstructed expansion function at hand, we can now numerically evaluate the functional derivative of the integral I(as,)I(a_{\mathrm{s}},\ell) from (3) with respect to the expansion function E(a)E(a) and the uncertainty distributions R(x,as,)R(x,a_{\mathrm{s}},\ell) and R¯(as,)\bar{R}(a_{\mathrm{s}},\ell) defined in (5) and (6) based on the empirical expansion function E(a)E(a) and its uncertainty ΔE(a)\Delta E(a). Note that R(x,as,)R(x,a_{\mathrm{s}},\ell) differs from the logarithmic derivative δlnI(as,)/δE(x)\delta\ln I(a_{\mathrm{s}},\ell)/\delta E(x) by the factor ΔE(x)\Delta E(x), i.e. by a specific function quantifying the uncertainty of the expansion function. Thus, before we proceed to the uncertainty distributions RR and R¯\bar{R}, we first show in Fig. 6 the logarithmic derivative δlnI(as,)/δE(x)\delta\ln I(a_{\mathrm{s}},\ell)/\delta E(x) of the weak-lensing power spectrum with respect to the expansion function for sources at as=0.5a_{\mathrm{s}}=0.5 or z=1z=1 and for the three different angular wave numbers [200,1100,2000]\ell\in[200,1100,2000], corresponding to angular scales of θ180/[54,9.8,5.4]\theta\approx 180^{\circ}/\ell\in[54^{\prime},9.8^{\prime},5.4^{\prime}].

Refer to caption

Figure 6: The figure shows the logarithmic derivative δlnI(as,)/δlnE(x)\delta\ln I(a_{\mathrm{s}},\ell)/\delta\ln E(x) of the shear power spectrum with respect to the expansion function. The source scale factor is set to as=0.5a_{\mathrm{s}}=0.5 here, the angular wave numbers are chosen from [200,1100,2000]\ell\in[200,1100,2000], as indicated. The dashed and solid lines show results for the linearly and the non-linearly evolving density-fluction power spectrum, respectively. For non-linearly growing density perturbations, the logarithmic derivative is smaller because the cosmic-shear signal is substantially enhanced by non-linear compared to linear density fluctuations. Moreover, for non-linear density fluctuations, the logarithmic derivative flattens at perturbation scale factors of 0.70.8\approx 0.7-0.8 for intermediate and small angular wave numbers. This is due to the peak in the logarithmic derivative κ(a,k)\kappa(a,k) of the density-fluctuation power spectrum caused by the onset of non-linear structure growth.

The figure illustrates the two interesting aspects that the logarithmic derivative of the shear power spectrum is larger for the linearly than for the non-linearly growing power spectrum, and that it flattens at perturbation scale factors x0.70.8x\approx 0.7-0.8 (i.e. at perturbation redshifts z0.450.25z\approx 0.45-0.25) as the angular scale shrinks, i.e. as \ell increases. Both aspects are due to the non-linear growth, with substantially enhances the shear power spectrum and introduces a peak in the logarithmic derivative κ(a,k)\kappa(a,k) of the density-fluctuation power spectrum with respect to wave number, as shown in Fig. 1. For non-linearly growing structures, the functional derivatives vary little with both the perturbation scale factor and the angular wave number. On intermediate and small angular scales, it is 26\approx 2-6, showing that a relative change in the expansion function of, say, 1%1\,\% changes the shear power spectrum by 26%\approx 2-6\,\%.

We then proceed to the uncertainty distribution R(x,as,)R(x,a_{\mathrm{s}},\ell) for =2000^5.4\ell=2000\mathop{\hat{\approx}}5.4^{\prime}, which we show in Fig. 7. We focus on small angular scales because non-linear effects are important there (Bartelmann & Schneider, 2001; Schneider, 2006).

Refer to caption
Refer to caption
Figure 7: The two-dimensional, relative uncertainty distribution R(x,as,)R(x,a_{\mathrm{s}},\ell) as defined in (5) is shown here for =2000\ell=2000, approximately corresponding to an angular scale of 5.45.4^{\prime}. Upper Panel: result for a linearly growing power spectrum; lower panel: result for a non-linearly growing power spectrum. For x<asx<a_{\mathrm{s}}, the function vanishes identically. The level of the heavy, solid contour is 0.50.5; the dotted contours are spaced by 0.10.1.

The two panels of Fig. 7 show results assuming a linearly (top) and a non-linearly (bottom) evolving power spectrum. For x<asx<a_{\mathrm{s}}, the distributions vanish identically because then the perturbation of the expansion function precedes the emission by the source.

For linear structure growth, the distribution has a broad and shallow minimum at intermediate perturbation scale factors xx and grows for later-time perturbations, x1x\to 1, and with decreasing source distance, as2/3a_{\mathrm{s}}\to 2/3. Late-time perturbations affect cosmic distances and structure growth, and for less distant sources, the shear signal decreases. Both effects together cause the increase of RR for increasing source and perturbation scale factors. Non-linear structure growth reduces RR because it enhances the signal. The distributions for other angular scales look qualitatively very similar.

The relative uncertainty integrated over perturbation scale factors xx, i.e. the one-dimensional relative uncertainty R¯(as,)\bar{R}(a_{\mathrm{s}},\ell), is shown in Fig. 8. Again, we show results there for the linearly and the non-linearly evolving power spectra, and for large and intermediate angular scales (=200\ell=200 and =1100\ell=1100) in addition to small angular scales (=2000\ell=2000). As before, the source scale factor asa_{\mathrm{s}} varies between 1/31/3 and 2/32/3, corresponding to source redshifts between zs=2z_{s}=2 and zs=0.5z_{s}=0.5, respectively.

Refer to caption

Figure 8: Integrated, one-dimensional, relative uncertainty R¯(as,)\bar{R}(a_{\mathrm{s}},\ell) for the linearly and the non-linearly evolving power spectrum, as indicated, and for large (=200\ell=200), intermediate (=1100\ell=1100) and small (=2000\ell=2000) angular scales. The dashed lines correspond to linear structure growth whereas the solid lines take non-linear structure growth into account. For non-linearly growing cosmic structures, the curves vary little, increasing from 9%\approx 9\,\% to 14%\approx 14\,\% for increasing source scale factor asa_{s}. The uncertainty obtained with the linearly evolving power spectrum is higher than when non-linear evolution is assumed because non-linear structure growth substantially enhances the shear signal. The flatter slope of the curve for =200\ell=200 and non-linear structure evolution is due to the transition of the power spectrum from linear to non-linear evolution illustrated in Fig. 1.

For linear structure growth and intermediate to small angular scales, the total relative uncertainty increases from 10%\approx 10\,\% for sources at redshift zs2z_{s}\approx 2 to 20%\approx 20\,\% for more nearby sources at redshift zs0.5z_{s}\approx 0.5. The main reason for this increase is that the cosmological weak-lensing signal is getting weaker as the source redshift decreases. With the non-linearly evolving power spectrum, the uncertainty is somewhat smaller, increasing from 9%\approx 9\,\% for distant to 14%\approx 14\,\% for more nearby sources. This again reflects that the signal increases for non-linearly growing density fluctuations, reducing its relative uncertainty. The different shape of the curve for =200\ell=200 and non-linear structure growth is due to the transition of the spectrum from linear to nonlinear behaviour, quantified by the function κ(k,a)\kappa(k,a) defined in (17) and shown in Fig. 1. The solid curves in Fig. 8 show that the expansion function is empirically known well enough already to predict the cosmological weak-lensing power spectrum with a relative uncertainty of 10%\approx 10\,\%, without assuming any specific cosmological parameters apart from Ωm0\Omega_{\mathrm{m0}}.

4 Conclusions

We have investigated how the power spectrum CγC_{\ell}^{\gamma} of weak cosmological gravitational lensing changes with the expansion function E(a)E(a) of the cosmic background. We are interested in this change for two main reasons: First, in view of a possible time dependence of dark energy, it may be important to know at which redshifts CγC_{\ell}^{\gamma} is most sensitive to changes in the expansion function or, in other words, at which redshifts changes in the expansion function need to be for lensing to be most efficient in detecting them. Second, owing to a multitude of precise cosmological measurements, it has become possible to reconstruct the cosmic expansion function purely empirically, i.e. without reference to a specific cosmological model, with astonishing accuracy. Using this empirically determined expansion function for calculating the weak-lensing power spectrum, the remaining uncertainty of the expansion function will propagate into the power spectrum. In this context, it is interesting to see how accurately the weak-lensing power spectrum can be predicted based on a purely empirically determined expansion function.

Our main results are summarised in Figs. 6 and 8. The curves for non-linear structure growth in Fig. 6 show that relative changes in the expansion function are amplified by a factor between 22 and 66 in the cosmic-shear power spectrum, varying little with the scale factor xx where the expansion function is changed. The shear power spectrum is thus approximately equally sensitive to changes of the expansion function anywhere along the line-of-sight between the observer and the source, and it changes by 26%\approx 2-6\,\% if the expansion function changes by 1%\approx 1\,\%.

The corresponding curves in Fig. 8 show that the current uncertainty in the empirically determined expansion function plotted in Fig. 5 causes a relative uncertainty in the cosmic-shear power spectrum rising from 9%\approx 9\,\% for sources at redshift zs2z_{\mathrm{s}}\approx 2 to 14%\approx 14\,\% for sources at redshift zs0.5z_{\mathrm{s}}\approx 0.5. In other words, if the cosmic expansion function underlying theoretical predictions of the weak-lensing power spectrum, which is usually taken from a cosmological model, would be substituted by its empirically determined counterpart, these theoretical predictions would be uncertain by about 10%10\,\% for sources at redshift zs1z_{\mathrm{s}}\approx 1. This may still seem quite large, but will shrink and improve as further cosmological distance measurements come in.

Acknowledgements

This work was supported in part by Deutsche Forschungsgemeinschaft (DFG) under Germany’s Excellence Strategy EXC-2181/1 - 390900948 (the Heidelberg STRUCTURES Excellence Cluster). We thank Alexander Oestreicher for corrections and helpful comments.

Data Availability

The data that support the plots within this paper and other findings of this study are available from the corresponding authors on reasonable request.

References