Once we have in hands the equation for the deflection angles, we can calculate the images produced in the lensing event. This can be done from the geometry of the system given in figure of the previous slide. However, we need first to consider attentively the notion of distance involved. As gravitational lensing is at work on cosmological scales, we cannot use a naive Euclidean definition of distance. Having to deal with angular quantities, it is natural to use in the following the so-called angular-diameter equation defined as: where is the proper length of a source observed under the angle In a curved space-time, angular-diameter distances are not additive: therefore, the sum of the distance from the observer to the lens, and the distance from the lens to the source, is not equal in general to the distance between the observer and the source, We will not demonstrate the following relation for the angular-diameter distance between two redshifts and in an assumed cosmological model:
Let us first define an optical axis (the dashed line in the RHS figure), connecting the lens center of mass to the observer. This definition is arbitrary and just helps in keeping equations simple. This axis is perpendicular to lens and source planes, and all angles are measured with respect to this direction. A source is located at angle The following relation holds: . As the gravitational field is weak, all the angles considered here are small, and we can write the following relation, simply derived on geometric grounds (assuming that all distances are the angular-diameter distances):
Introducing the so-called reduced deflection angle, the above equation reads simply:
This deceptively simple equation is the famous lens equation: in the general case, it is nonlinear. Hence, it is possible to have multiple images corresponding to a single source position . The lens equation is trivial to derive and requires merely that the following Euclidean relation should exist between the angle enclosed by two lines and their separation:
separation = angle x distance
Let us consider in details the lens equation, sometimes called also the ray-tracing equation:
Introducing a reference lengh on the lens plain and the corresponding quantity on the source plane,
we can introduce the following dimensioless vectors on the lens and source planes, respectively:
and the so-called scale deflection angle:
We can now write a dimensionless form of the lensing equation:
As a simple exercise, we derive the equations in the special case of an axially symmetric lens. It is important to stress that in most cases of astrophysical interest (galaxies, clusters of galaxies), the angular structure of the matter distribution and hence of the gravitational potential cannot be neglected when inverting the lens equation. However, an axially symmetric lens provides a basic introduction to many of the elements which are essential to realistic models without the need for numerical calculations. While in general the deflection angle is a two-dimensional vector, in the case of an axially symmetrical gravitational lens it is a one-dimensional function, as the light rays from the source to the observer lie in the plane determined by the center of the lens, the observer and the source. This is a consequence of the fact that when we have a circular lens, the mass distribution is a function only of the distance from the lens center.
[We leave to the reader the demonstration of the following equation for the deflection angle of a circular lens:
and the lens equation becomes a simple scalar equation:
The so-called lensing potential is an important quantity in the characterization of a gravitational lens. The lensing potential is obtained by projecting the three-dimensional Newtonian potential on the lens plane and by properly rescaling it:
The useful dimensionless expression reads:
The lensing potential is an important quantity, related to the deflection angle and to the mass distribution of the gravitational lens. The relation with the deflection angles reads simply:
The derivation of this equation is left to the reader.
The other important property of the effective lensing potential is the link with the mass distribution of the lens, In other words, we will write a sort 2D counterpart of the Poisson equation of the gravitational field. It is useful now to introduce the dimensionless counterpart of the mass surface density, defined as follows: where we have used the critical density, so defined: The critical density is a quantity which characterizes the lens system and which is a function of the angular diameter distances of lens and source. The quantity is better known as the convergence. Again, we leave to the attentive student to show the following equation: This can be derived from the well-known Poisson equation, having introduced the two-dimensional Laplacian:
The formal solution of the 2-D Poisson equation can be obtained by integrating it. Hence, the effective lensing potential can be written in terms of the convergence (i.e., the adimensional surface density): where the integral is performed over the whole lens plane. It is not difficult to derive the link between the deflection angle and the convergence:
Distortion effects due to convergence and shear on a circular source (adapted from Narayan & Bartelmann, 1995). One of the main features of gravitational lensing is the distortion introduced in the shape of the sources. This is particularly evident when the source has no negligible apparent size. For example, background galaxies can appear as very long arcs in galaxy clusters, while quasars’ images show no distortion as they are never resolved. [Why the image of a quasar is not resolved?] The distortion arises from the fact that light bundles are detected differentially. Ideally the shape of the images can be determined by solving the lens equation for all the points within the extended source.
In particular, when the source is much smaller than the angular size on which the physical properties of the lens change, the relation between source and images can be (locally) linearized, by means of the Jacobian matrix: The elements of the Jacobian matrix can now be written in terms of the second derivatives of the lensing potential introduced above.
In the following, for sake of brevity, we will use the shorthand notation:
The Jacobian matrix characterize the local behavior of the the lensing potential, that is, at each location on the lens plane. We can immediately split it in an isotropic and antisymmetric part. The isotropic part is simply given by the trace of the matrix, and it is related to the convergence:
The antisymmetric part is obtained simply by subtracting the isotropic component:
We leave to the student the exercise to compute the 4 components of the antisymmetric part of the Jacobian matrix. The antisymmetric part is called the shear matrix, and plays an important role in gravitational lensing.
Let’s have a deeper look at the shear matrix. It is useful to introduce the pseudo-vector such that its components read:
The pseudo-vector: , is called the shear. Its modulus is:
The Jacobian matrix can be written now as follows:
As there exists a coordinate rotation by an angle such that: and the jacobian matrix reads now:
This last expression makes clear the geometrical and physical meaning of the convergence and the shear. The distortion induced by the convergence is isotropic, that is the images are only rescaled by a constant factor in all directions. On the other hand, the shear stretches the intrinsic shape of the source along a privileged direction. For this reason, a circular source, which is small enough compared to the scale of the lens is mapped into an ellipse when and are both non-zero. The semi-major and semi-minor axes are:
where is the radius of the circular source.
An important consequence of the lensing distortion is the magnification. Through the lens equation, the solid angle element (or equivalently the surface element ) is mapped into the solid angle (or in the surface element ).
Since the Liouville theorem and the absence of emission and absorbtion of photons in gravitational light deflection ensure the conservation of the source surface brightness, the change of the solid angle under which the source is seen implies that the flux received from a source is magnified (or demagnified).
The magnification is quantified by the inverse of the determinant of the Jacobian matrix. For this reason, the matrix is called the magnification tensor. We therefore define:
The magnification is formally infinite when that is when the 2-D function is singular or not invertible. However, you will never find in the sky an infinitely amplified astronomical source. [Can you explain why?] In literature you can often find the so-called magnification tensor, which is simply the inverse of the Jacobian matrix. The eigenvalues of the magnication tensor measure the amplication in the tangential and in the radial direction. We leave to the student to show that they are:
[What is the meaning of these two quantities?]
The singularities of the mathematical application which defines the lensing, play an essential role in the modeling of the gravitational lenses. These singularities are defined as the the set of points at which the determinant vanishes. These points form the so-called critical line. An image placed close to a critical line is very distorted and highly amplified. In more detail, the two conditions: and define two curves in the lens plane, called the tangential and the radial critical line, respectively. An image forming along the tangential critical line is strongly distorted tangentially to this line. As you can imagine, any image forming close to the radial critical line is stretched in the direction perpendicular to the line itself.
We now consider an important quantity of any gravitational lens: the so-called Einstein radius. We start with a simple circular lens, already seen a few slides above. For a circular lens, the ray-tracing equation is one-dimensional and reads: where, as before, is the unobservable source position, and the multiple images position. Because of the rotational symmetry of the lensing system, when the source lies exactly on the optic axis (that is, ), it is imaged into a ring. Indeed, if we set we derive from the previous equation the radius of that ring:
This is referred to as the Einstein radius. The image observed on the lens plane (that is, the sky plane) has a circular shape, the so-called Einstein ring, with angular radius It is important to note that the Einstein radius is not just a property of the lens, but depends also on the various distances in the whole lensing configuration (i.e., observer, lens and source). In order to observe a perfect Einstein ring, we need both a symmetric lens and a perfect alignment of the lens with the source, as observed from the observer location. As you can imagine this is very rare, and most of the time a slightly irregular ring can be observed, as for instance, in the next figure.
The Gravitational Lens 0038+4133, showing an almost perfect Einstein ting observed in the survey COSMOS, with the Hubble Space Telescope. Credit: NASA (HST).
Einstein Ring around the gravitational gens SDSS J162746.44-005357.5, observed with the Hubble Space Telescope. Credit: NASA (HST).
Why is the Einstein radius so important? Were we lucky enough to observe a full Einstein ring, we could derive an accurate estimate of the total mass of the lensing galaxy (within the Einstein radius) simply from knowledge of the source and lens redshifts. As the angular measurement of the Einstein radius and spectroscopic evaluation of the redshift are routine measurements done with great accuracy, a precise measurement of the total mass can be immediately obtained. The major limitation, of course, is given by lack of symmetry in the observed configuration, hence this direct estimate can rarely have an accuracy larger than 10-15%. When the luminous information can be used to obtain a determination of the stellar mass, the amount of dark matter can be estimated.
This is probably the most important application of gravitational lensing, already suggested about 80 years ago by Fritz Zwicky. It is important to note that the Einstein radius provides a natural angular scale to describe the lensing geometry. Even in the case of multiple imaging (that is, when a single perfect ring is missing), the typical angular separation of images is of order Hence, the curvature radius of giant arcs usually observed in the central regions of galaxy clusters or around massive elliptical galaxies, is very close to the Einstein radius.
[As an exercise, we leave to the student to estimate the total mass in the core of the galaxy cluster Abell 2667; see next figure. The redshift of the galaxy cluster is z = 0.23, the redshift of the giant gravitational arc is z = 1.03, and the Einstein radius is approximately 20 arcsec.]
Deriving the total mass within the Einstein radius. See text for details. Image of the galaxy cluster Abell 2667, obtained with the Hubble Space Telescope. Credit: NASA (HST).
A point mass is obviously not a physical model, but it is very useful in order to understand the basic principles of lensing and it is also widely used when dealing with stars acting as gravitational lenses, like in the case of Galactic microlensing, that it is addressed in this course. We leave to the reader the easy task to show the following relations. The Einstein radius simply reads:
The lens equation is: As this equation allows two solutions, such a lens always produces two images. They are located on opposite sides with respect to the mass [Why? And what is their angular separation? Estimate it in the case of star as a lens.] The magnification of the two images is:
As you already know, a singular isothermal sphere (SII, hereafter) is a very good, zeroth-order approximation to the total mass distribution in an elliptical galaxy. Therefore, it is very important to consider here its lensing properties. Its density profile follows the relation:
where is the velocity dispersion of the galaxy and is the distance from the sphere center. By projecting the three-dimensional density along the line of sight, we obtain the corresponding surface density :
where as usual, is the radial coordinate in the lens plane.
This model has two divergences: the density goes to infinity when and the total mass is infinite as well. However, the SIS is widely used. By choosing the following length scale in the lens plane:
it easy to see that:
Hence, the convergence for the singular isothermal prole reads: and the SIS lens equation has a simple form:
As the attentive reader might easily see, the length scale is exactly the Einstein radius of the system. The reader should also show that when the source is located at two images are produced, with separation equal to twice the Einstein ring, and when only one is produced. In the next two movies, the images configuration are shown for a SIS and a singular isothermal ellipsoid, that is when the axial symmetry is lost.
As mentioned above, the deflection of light rays causes a delay in the time between the emission of light by the source and the signal reception by the observer. This time delay has two components: a geometrical one (due to the two different path lengths of the detected light rays) and a gravitational one, due to the fact that the effective refraction index is lower when a gravitational field is present or, in other words, photons traveling through the gravitational field of the lens slow down. This component of the time delay is related to the lensing potential. Considering as reference the unperturbed light path in absence of the lens:
where the term is proportional to the squared angular separation between the intrisic position of the source and the location of its image.
Let’s consider a gravitational lens at redshift the total time delay introduced by gravitational lensing at the position on the lens plane is given by the following expression:
As the light propagation follows the Fermat Principle, the lens equation can be written simply as: [Show this last equation.]
The value of the Hubble constant is directly related to the scale of the whole lensing configuration.
As you might have noticed, all the relevant quantities in the description of the gravitational lensing phenomena are pure numbers (magnification, Einstein radius), but the time delay. Indeed, the lens equation is dimensionless, and the positions of images as well as their magnications are dimensionless numbers. Hence, any information on the image configuration alone does not provide any constraint on the scale of the lens geometry, and hence, on the Hubble constant. As mentioned above, Refsdal (1964) realized that the time delay, however, is proportional to the absolute scale of the system and does depend on
Let us show this important relation. First, we note that the geometrical time delay is simply proportional to the path lengths of the rays which scale as The gravitational time delay also scales as
Therefore, for a fixed gravitational lens, the quantity depends only on the lens model and the geometry of the system. A good lens model which reproduces the positions and magnications of the images provides the scaled time delay between the lensed images: a measurement of the time delay will yield the value of Hubble constant. For a SIS model, the expected time delay between the two images A and B is: Measurements of the time delay are not simple: you need a good photometry of overlapping sources over a very long time period (even longer than a decade). In recent years, many teams have succeeded in obtaining such remarkable measurements, deriving In general estimates for lower than the value obtained by the HST Key Project, about The weak point in the lensing approach is that a very accurate model is necessary for the radial profile of the mass distribution of the lensing galaxy.
Likelihood distributions for the Hubble constant obtained from a set of 3 lenses, under two different assumptions for the lensing galaxy mass model, with a comparison with the value obtained by the HST Key Project.
The figure on the RHS is taken from Kochanek and Schechter, Carnegie Obs. Astrophys. Series, Vol. 2, Measuring and Modeling the Universe, Cambridge Univ. Press, 2004.
8. Spiral arms
10. Scale relations
14. Galaxy dynamics
19. Galaxy clusters