On the sensitivity of weak gravitational lensing to the cosmic expansion function
Abstract
We analyse the functional derivative of the cosmic-shear power spectrum 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 , 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 .
keywords:
(cosmology:) large-scale structure of Universe – gravitational lensing: weak – (cosmology:) dark energy – cosmology: theory – (cosmology:) cosmological parameters – cosmology: miscellaneous1 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 is varied in an arbitrary way, how does the power spectrum of cosmological weak lensing change? Here, is the Hubble function and 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 is to changes of the expansion function as a function of redshift. Or, phrased differently, at what redshift is most or least sensitive to uncertainties in or modifications of ? 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 with some redshift-dependent uncertainty (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 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 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 with uncertainties . The measurement uncertainties quantified by imply an uncertainty in the expansion function. Since the growth factor of cosmic density fluctuations depends on the expansion function, any uncertainty in will also cause an uncertainty in the growth factor. Supplied with the specific functional form of resulting from our reconstruction method, we wish to quantify how uncertain the weak-lensing power spectrum is in response to the uncertainty in the empirically constrained cosmic expansion function.
Since our empirical reconstruction method returns the functional forms and 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 with respect to the expansion function . We will work this out in Sect. 2. In Sect. 3, we will then quantify the uncertainty of with the specific example of 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 caused by cosmic structures, can be expressed as (Bartelmann & Schneider, 2001; Bartelmann, 2010; Schneider, 2006).
(1) |
The shear power spectrum at an angular wave number is determined by a line-of-sight integral of the density-fluctuation power spectrum at wave number , geometrically weighed with the squared distance ratio between the matter fluctuations acting as gravitational lenses and the sources. In (1), is the comoving radial distance running from the source at to the observer at . The parameter of the present matter density is , and 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 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 in (1) by the scale factor as an integration variable and find
(2) | ||||
Aiming at analyzing the impact of variations in the expansion function and the growth factor 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
(3) |
containing the geometrical weight function
(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 and compare results for linearly and non-linearly evolving density-fluctuation power spectra .
-
1.
As motivated in the introduction, we wish to answer the question: If we vary the cosmic expansion function by at a certain scale factor , which we henceforth call the perturbation scale factor, how does the integral change relatively? Moving the perturbation scale factor from to unity then results in a relative uncertainty distribution for fixed and , depending on , which can be calculated using Gaussian error progression,
(5) We shall refer to as the two-dimensional uncertainty distribution since we shall later fix and vary and . The function answers the question: What is the relative change of the weak-lensing power spectrum in response to a change in the expansion function somewhere between the source and the observer?
Variations of the expansion function also cause variations of the growth factor . Possible additional systematic uncertainties in are negligible in comparison. Thus, the uncertainties are dominated by the uncertainties , propagated through the differential equation (19) for linear density fluctuations. Thus, depends linearly on with the functional derivative as the slope, which will be calculated in Sect. 2.2.3. Thus, the uncertainties in are implicitly taken into account in (5), as we shall also see in Sect. 2.2.
-
2.
We additionally vary the scale factor of the source and thus arrive at the two-dimensional relative uncertainty distribution at fixed . We restrict our analysis to sources at scale factors , corresponding to source redshifts .
-
3.
Accounting for all perturbations along the line-of-sight, achieved by integrating the relative uncertainty distribution over all perturbation scale factors , finally gives the total relative uncertainty for a given source at scale factor as a function of the angular wave number ,
(6) We shall refer to this function as one-dimensional since we vary at fixed angular scale .
2.2.1 Variation of the geometrical weight function
To quantify the relative variation defined in (5), we need the functional derivative of with respect to the expansion function . Applying the rules of functional derivation, we have
(7) |
The functional derivative of the geometrical weight function with respect to is
(8) |
and the functional derivative of the comoving radial distance with respect to the expansion function turns out to be
(9) |
Combining (9) with (8) and using that
(10) |
for leads to the compact result
(11) |
2.2.2 Variation of the power spectrum
The functional derivative of the density-fluctuation power spectrum due to changes in the expansion function can be calculated as follows:
(12) |
The linearly evolving power spectrum satisfies , such that
(13) |
whereas the dependence of the non-linearly evolving power spectrum on is given implicitly by
(14) |
To combine both cases, i.e. the linearly and the non-linearly evolving density-fluctuation power spectra, we introduce
(15) |
Here, is implicitly given by the logarithmic derivative
(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
(17) |
we can summarise the functional derivative of both types of power spectra by
(18) | ||||
The first term on the right-hand side reflects the variation of the density-fluctuation power spectrum in response to a change in the wave number where it is to be evaluated, which is in turn due to a change in the comoving radial distance at fixed angular wave number . The function defined in (17) also takes the shape evolution of the non-linear power spectrum into account; see Fig. 1. The radial comoving distance itself responds to variations in the expansion function with , as given by (9). The second term on the right-hand side reflects the variation of with uncertainties in the time evolution of cosmic structures in response to changes in the expansion function .
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 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).




The discontinuity of the functional derivative at is the combined effect of the two terms in (18). While the first term occurs only for because it is due to varying the radial comoving distance from the observer to the density fluctuation, the second term also contributes at 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 is the functional derivative of the growth factor with respect to the expansion function, . Both functions are related via the differential equation
(19) |
where the prime denotes the derivative with respect to the scale factor . The matter-density parameter as a function of the scale factor is given by
(20) |
in terms of the expansion function.
A straightforward approach at the desired functional derivative begins with applying the functional derivative to the differential equation (19) and making use of the fact that the functional derivative commutes with the derivative with respect to the scale factor. Doing so, we arrive at a differential equation for ,
(21) |
Carrying out the functional derivative results in
(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 , the ansatz
(23) |
suggests itself. Moreover, we enforce causality explicitly on the solution of (22) by requiring that a perturbation in at cannot propagate backwards in time to disturb . We thus impose
(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
(25) |
with the functions and defined by
(26) | ||||
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 has to be set to unity today, . The variation of the growth factor normalised in this way is
(27) | ||||
replacing by unity in the second step. With (25), we can write
(28) |
Inserting (11), (18), and (28) into (7), we are finally in a position to work out the functional derivative of with 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 and its derivative as well as the growth factor ;
-
•
the power spectrum of matter-density fluctuations;
-
•
the matter-density parameter today, ; and
-
•
the exponent of the logarithmic derivative of the growth factor.
With these ingredients, we can evaluate the functional derivative solving (25) with standard integration routines, in our case taken from the GNU Science Library. The derivatives and of the power spectrum with respect to the scale factor and the wave number , defined in (15) and (17), also need to be calculated numerically except for the derivative of the linear power spectrum with respect to .
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
(29) |
Using these, we find from (26)
(30) |
for the functions and and, from (28), the functional derivative of the normalised growth factor becomes
(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 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.



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 , we define the re-scaled scale factor by
(32) |
With the convenient further definitions
(33) |
we can write the luminosity distance in a spatially-flat universe in the form
(34) |
We expand in a series of shifted Chebyshev polynomials
(35) |
and determine the coefficients by a maximum-likelihood fit of to the measurements. Their uncertainties , and thus the uncertainty of , are determined by the covariance matrix of the data. The expansion function is
(36) |
in terms of , and its uncertainty follows from
(37) |
The expansion function derived in this way from type-Ia supernovae and BAO data is shown together with its uncertainty in Fig. 5.
Since the expansion function is given in terms of Chebyshev polynomials, its derivative with respect to the scale factor can be taken. We define
(38) |
where is determined by (20) in terms of the expansion function for any choice of the matter-density parameter today. With and from (38), the growth index is given by (Wang & Steinhardt, 1998; Amendola et al., 2017; Haude et al., 2022)
(39) |
Thus, with and reconstructed from measurements, we only need to set . We choose .
3.2.2 Functional derivative of the growth factor
The model-independent expansion function and growth factor are available in the scale-factor range . We restrict ourselves to because the later uncertainty analysis considers source scale factors in this range. Numerically computing the functional derivative 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 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 from (3) with respect to the expansion function and the uncertainty distributions and defined in (5) and (6) based on the empirical expansion function and its uncertainty . Note that differs from the logarithmic derivative by the factor , i.e. by a specific function quantifying the uncertainty of the expansion function. Thus, before we proceed to the uncertainty distributions and , we first show in Fig. 6 the logarithmic derivative of the weak-lensing power spectrum with respect to the expansion function for sources at or and for the three different angular wave numbers , corresponding to angular scales of .
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 (i.e. at perturbation redshifts ) as the angular scale shrinks, i.e. as 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 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 , showing that a relative change in the expansion function of, say, changes the shear power spectrum by .
We then proceed to the uncertainty distribution for , which we show in Fig. 7. We focus on small angular scales because non-linear effects are important there (Bartelmann & Schneider, 2001; Schneider, 2006).


The two panels of Fig. 7 show results assuming a linearly (top) and a non-linearly (bottom) evolving power spectrum. For , 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 and grows for later-time perturbations, , and with decreasing source distance, . 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 for increasing source and perturbation scale factors. Non-linear structure growth reduces because it enhances the signal. The distributions for other angular scales look qualitatively very similar.
The relative uncertainty integrated over perturbation scale factors , i.e. the one-dimensional relative uncertainty , 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 ( and ) in addition to small angular scales (). As before, the source scale factor varies between and , corresponding to source redshifts between and , respectively.
For linear structure growth and intermediate to small angular scales, the total relative uncertainty increases from for sources at redshift to for more nearby sources at redshift . 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 for distant to 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 and non-linear structure growth is due to the transition of the spectrum from linear to nonlinear behaviour, quantified by the function 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 , without assuming any specific cosmological parameters apart from .
4 Conclusions
We have investigated how the power spectrum of weak cosmological gravitational lensing changes with the expansion function 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 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 and in the cosmic-shear power spectrum, varying little with the scale factor 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 if the expansion function changes by .
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 for sources at redshift to for sources at redshift . 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 for sources at redshift . 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
- Amendola et al. (2017) Amendola L., Menegoni E., Di Porto C., Corsi M., Branchini E., 2017, Phys. Rev. D, 95, 023505
- Amendola et al. (2018a) Amendola L., et al., 2018a, Living Reviews in Relativity, 21, 2
- Amendola et al. (2018b) Amendola L., Pinho A. M., Casas S., 2018b, International Journal of Modern Physics A, 33, 1844022
- Bardeen et al. (1986) Bardeen J. M., Bond J. R., Kaiser N., Szalay A. S., 1986, ApJ, 304, 15
- Bartelmann (2010) Bartelmann M., 2010, Classical and Quantum Gravity, 27, 233001
- Bartelmann & Schneider (2001) Bartelmann M., Schneider P., 2001, Phys. Rep., 340, 291–472
- Benitez-Herrera et al. (2012) Benitez-Herrera S., Röpke F., Hillebrandt W., Mignone C., Bartelmann M., Weller J., 2012, MNRAS, 419, 513–521
- Benitez-Herrera et al. (2013) Benitez-Herrera S., Ishida E. E. O., Maturi M., Hillebrandt W., Bartelmann M., Röpke F., 2013, MNRAS, 436, 854–858
- Brax (2018) Brax P., 2018, Reports on Progress in Physics, 81, 016902
- Haude et al. (2022) Haude S., Salehi S., Vidal S., Maturi M., Bartelmann M., 2022, SciPost Astronomy, 2, 001
- Kilbinger (2015) Kilbinger M., 2015, Reports on Progress in Physics, 78, 086901
- Mandelbaum (2018) Mandelbaum R., 2018, ARA&A, 56, 393–433
- Maturi & Mignone (2009) Maturi M., Mignone C., 2009, A&A, 508, 45–51
- Mignone & Bartelmann (2008) Mignone C., Bartelmann M., 2008, A&A, 481, 295–303
- Pinho et al. (2018) Pinho A. M., Casas S., Amendola L., 2018, J. Cosmology Astropart. Phys., 2018, 027
- Schneider (2006) Schneider P., 2006, Weak Gravitational Lensing. Springer Berlin Heidelberg, Berlin, Heidelberg, pp 269–451, doi:10.1007/978-3-540-30310-7_3, https://doi.org/10.1007/978-3-540-30310-7_3
- Smith et al. (2003) Smith R. E., et al., 2003, MNRAS, 341, 1311–1332
- Taddei & Amendola (2015) Taddei L., Amendola L., 2015, J. Cosmology Astropart. Phys., 2015, 001
- Wang & Steinhardt (1998) Wang L., Steinhardt P. J., 1998, ApJ, 508, 483–490