4.3: Lensing
- Page ID
- 43242
\( \newcommand{\vecs}[1]{\overset { \scriptstyle \rightharpoonup} {\mathbf{#1}} } \)
\( \newcommand{\vecd}[1]{\overset{-\!-\!\rightharpoonup}{\vphantom{a}\smash {#1}}} \)
\( \newcommand{\id}{\mathrm{id}}\) \( \newcommand{\Span}{\mathrm{span}}\)
( \newcommand{\kernel}{\mathrm{null}\,}\) \( \newcommand{\range}{\mathrm{range}\,}\)
\( \newcommand{\RealPart}{\mathrm{Re}}\) \( \newcommand{\ImaginaryPart}{\mathrm{Im}}\)
\( \newcommand{\Argument}{\mathrm{Arg}}\) \( \newcommand{\norm}[1]{\| #1 \|}\)
\( \newcommand{\inner}[2]{\langle #1, #2 \rangle}\)
\( \newcommand{\Span}{\mathrm{span}}\)
\( \newcommand{\id}{\mathrm{id}}\)
\( \newcommand{\Span}{\mathrm{span}}\)
\( \newcommand{\kernel}{\mathrm{null}\,}\)
\( \newcommand{\range}{\mathrm{range}\,}\)
\( \newcommand{\RealPart}{\mathrm{Re}}\)
\( \newcommand{\ImaginaryPart}{\mathrm{Im}}\)
\( \newcommand{\Argument}{\mathrm{Arg}}\)
\( \newcommand{\norm}[1]{\| #1 \|}\)
\( \newcommand{\inner}[2]{\langle #1, #2 \rangle}\)
\( \newcommand{\Span}{\mathrm{span}}\) \( \newcommand{\AA}{\unicode[.8,0]{x212B}}\)
\( \newcommand{\vectorA}[1]{\vec{#1}} % arrow\)
\( \newcommand{\vectorAt}[1]{\vec{\text{#1}}} % arrow\)
\( \newcommand{\vectorB}[1]{\overset { \scriptstyle \rightharpoonup} {\mathbf{#1}} } \)
\( \newcommand{\vectorC}[1]{\textbf{#1}} \)
\( \newcommand{\vectorD}[1]{\overrightarrow{#1}} \)
\( \newcommand{\vectorDt}[1]{\overrightarrow{\text{#1}}} \)
\( \newcommand{\vectE}[1]{\overset{-\!-\!\rightharpoonup}{\vphantom{a}\smash{\mathbf {#1}}}} \)
\( \newcommand{\vecs}[1]{\overset { \scriptstyle \rightharpoonup} {\mathbf{#1}} } \)
\( \newcommand{\vecd}[1]{\overset{-\!-\!\rightharpoonup}{\vphantom{a}\smash {#1}}} \)
\(\newcommand{\avec}{\mathbf a}\) \(\newcommand{\bvec}{\mathbf b}\) \(\newcommand{\cvec}{\mathbf c}\) \(\newcommand{\dvec}{\mathbf d}\) \(\newcommand{\dtil}{\widetilde{\mathbf d}}\) \(\newcommand{\evec}{\mathbf e}\) \(\newcommand{\fvec}{\mathbf f}\) \(\newcommand{\nvec}{\mathbf n}\) \(\newcommand{\pvec}{\mathbf p}\) \(\newcommand{\qvec}{\mathbf q}\) \(\newcommand{\svec}{\mathbf s}\) \(\newcommand{\tvec}{\mathbf t}\) \(\newcommand{\uvec}{\mathbf u}\) \(\newcommand{\vvec}{\mathbf v}\) \(\newcommand{\wvec}{\mathbf w}\) \(\newcommand{\xvec}{\mathbf x}\) \(\newcommand{\yvec}{\mathbf y}\) \(\newcommand{\zvec}{\mathbf z}\) \(\newcommand{\rvec}{\mathbf r}\) \(\newcommand{\mvec}{\mathbf m}\) \(\newcommand{\zerovec}{\mathbf 0}\) \(\newcommand{\onevec}{\mathbf 1}\) \(\newcommand{\real}{\mathbb R}\) \(\newcommand{\twovec}[2]{\left[\begin{array}{r}#1 \\ #2 \end{array}\right]}\) \(\newcommand{\ctwovec}[2]{\left[\begin{array}{c}#1 \\ #2 \end{array}\right]}\) \(\newcommand{\threevec}[3]{\left[\begin{array}{r}#1 \\ #2 \\ #3 \end{array}\right]}\) \(\newcommand{\cthreevec}[3]{\left[\begin{array}{c}#1 \\ #2 \\ #3 \end{array}\right]}\) \(\newcommand{\fourvec}[4]{\left[\begin{array}{r}#1 \\ #2 \\ #3 \\ #4 \end{array}\right]}\) \(\newcommand{\cfourvec}[4]{\left[\begin{array}{c}#1 \\ #2 \\ #3 \\ #4 \end{array}\right]}\) \(\newcommand{\fivevec}[5]{\left[\begin{array}{r}#1 \\ #2 \\ #3 \\ #4 \\ #5 \\ \end{array}\right]}\) \(\newcommand{\cfivevec}[5]{\left[\begin{array}{c}#1 \\ #2 \\ #3 \\ #4 \\ #5 \\ \end{array}\right]}\) \(\newcommand{\mattwo}[4]{\left[\begin{array}{rr}#1 \amp #2 \\ #3 \amp #4 \\ \end{array}\right]}\) \(\newcommand{\laspan}[1]{\text{Span}\{#1\}}\) \(\newcommand{\bcal}{\cal B}\) \(\newcommand{\ccal}{\cal C}\) \(\newcommand{\scal}{\cal S}\) \(\newcommand{\wcal}{\cal W}\) \(\newcommand{\ecal}{\cal E}\) \(\newcommand{\coords}[2]{\left\{#1\right\}_{#2}}\) \(\newcommand{\gray}[1]{\color{gray}{#1}}\) \(\newcommand{\lgray}[1]{\color{lightgray}{#1}}\) \(\newcommand{\rank}{\operatorname{rank}}\) \(\newcommand{\row}{\text{Row}}\) \(\newcommand{\col}{\text{Col}}\) \(\renewcommand{\row}{\text{Row}}\) \(\newcommand{\nul}{\text{Nul}}\) \(\newcommand{\var}{\text{Var}}\) \(\newcommand{\corr}{\text{corr}}\) \(\newcommand{\len}[1]{\left|#1\right|}\) \(\newcommand{\bbar}{\overline{\bvec}}\) \(\newcommand{\bhat}{\widehat{\bvec}}\) \(\newcommand{\bperp}{\bvec^\perp}\) \(\newcommand{\xhat}{\widehat{\xvec}}\) \(\newcommand{\vhat}{\widehat{\vvec}}\) \(\newcommand{\uhat}{\widehat{\uvec}}\) \(\newcommand{\what}{\widehat{\wvec}}\) \(\newcommand{\Sighat}{\widehat{\Sigma}}\) \(\newcommand{\lt}{<}\) \(\newcommand{\gt}{>}\) \(\newcommand{\amp}{&}\) \(\definecolor{fillinmathshade}{gray}{0.9}\)When a photon passes a massive object, the path of the photon is deflected. If the impact parameter is small, the photon may be deflected and collide with the massive object (or fall into the singularity), or the photon may "swing around" the massive object (possibly multiple times) and escape. A quantitative calculation of the path is beyond the scope of this course. In the last section, we discussed a method to get qualitative information about the path. In this section, we will look at how to get quantitative information about the light path under very specific conditions. Specifically, in this section we are going to assume that:
- the source of the light is very far from the gravitational lens
- the gravitational lens is very far from the observer
- the lensing object is between the source and the observer
- the light travels in a straight line from the source to the lens, then suddenly turns and travels in another straight line to the observer
A gravitational lens is a distribution of mass that causes light to bend around it.
Figure \(\PageIndex{1}\) illustrates the lensing process and defines key distances and angles. They are:
\[\begin{align*}D_L&=\text{distance from observer to lens}\\ D_S&=\text{distance from observer to source}\\ D_{LS}&=\text{distance from lens to source}\\ \theta_S&=\text{angle between line of sight to lens and line of sight to source}\\ \theta_1&=\text{angle between line of sight to lens and line of sight to image}\end{align*}\]
As illustrated in the figure, there are two possible light paths from the source that will reach the observer's eye. The dashed lines show where the observer will think the light is coming from, which is where the images will appear. But this only shows the paths of light in one plane. There are also light beams that come out of the page that will bend back and enter the observer's eye. And there are light beams that go into the page that will will bend back and enter the observer's eye. The result is that the image of the source appears to be smeared out over a ring, called an Einstein ring. Figure \(\PageIndex{2}\) shows a cartoon depiction of an Einstein ring, and Figure \(\PageIndex{3}\) shows an actual image from the Hubble telescope with an Einstein ring.
The angular size \(\theta_E\) of the Einstein ring is given by
\[\theta_E=\sqrt{\frac{4MD_{LS}}{D_LD_S}}. \qquad (\text{radians})\label{eq:EinsteinRingAngle}\]
The angles of the two images in the plane are
\[\theta_1=\frac{\theta_S}{2}\pm \frac{1}{2}\sqrt{\theta_S^2+4\theta_E^2}.\label{eq:ObservationAngle}\]
Given that the Einstein ring is a circle, why is \(\theta_E\) not just 360 degrees or \(2\pi\) radians? Why is the size measured as an angle instead of a length?
- Answer
-
Figure 4.3.4 shows how an object on the sky fills out a portion of a circle for which the observer is at the center. The angular diameter refers to the portion of the large "celestial sphere" on which the object falls. The Einstein ring angle \(\theta_E\) is half of the angular diameter.
The reason the size is given as an angle instead of a length is because the actual diameter of the ring depends on how far away it is, which we don't observe directly. The directly observable quantity is the angle.
Which, if any, of the angles \(\theta_1\) and/or \(\theta_E\) depends on whether the lens, source, and observer are colinear? Under what conditions is the observation angle equal to the Einstein ring angle?
- Answer
-
The quantity that captures whether the observer, lens, and source are colinear is the source angle \(\theta_S\). The Einstein ring angle does not depend on \(\theta_S\), but the observation angle \(\theta_1\) does.
If \(\theta_S=0\), then the observation angle and the Einstein ring angle are the same.
The Einstein ring angle tells you the size of the ring, but not where to look to find it. The observation angle \(\theta_1\) tells you where to look.
One of the applications of gravitational lensing is using the size of an Einstein ring to deduce the amount of mass in the lensing object. This requires knowing the distances to the lensing object and the source of the light, which is its own challenge. For now, let's assume we know that the distance from earth to the lensing object is 2 billion light years, and from earth to the light source is 6 billion light years. The angular size of the Einstein ring \(\theta_E\) is 1 arcsecond (there are 60 arcminutes in a degree and 60 arcseconds in an arcminute). Calculate the mass of the lensing object in units of the mass of the sun.
- Answer
-
The given distances are \(D_L= 2\) billion light years and \(D_S=6\) billion light years, which means that \(D_{LS}=4\) billion light years. We can solve Equation \ref{eq:EinsteinRingAngle} for \(M\) and substitute the known values.
\[M=\frac{\theta_E^2D_LD_S}{4D_{LS}}\nonumber\]
We also need to convert the angle to radians.
\[1\text{ arcsecond}\times\frac{1\text{ arcminute}}{60\text{ arcsecond}}\times\frac{1\text{ degree}}{60\text{ arcminute}}\times \frac{\pi\text{ rad}}{180\text{ degree}}=4.85\times 10^{-6}\text{ rad}\nonumber\]
When we plug in, we have to be careful with units. The radian units effectively get dropped (since a radian is defined as a ratio of two lengths), but the mass will be in terms of light years.
\[M=\frac{\left(4.85\times 10^{-6}\text{ rad}\right)^2(2\text{ billion light years})(6\text{ billion light years})}{4(4\text{ billion light years})}=1.76\times 10^{-11}\text{ billion light years}\nonumber\]
Previously we learned that the mass of the sun is \(1477\text{ m}.\) We also know that the conversion between distance and time is \(1\text{ s}=3\times 10^8\text{ m}\). We can use these to convert the mass of the lensing object to solar masses, \(M_\odot\).
\[1.76\times 10^{-11}\text{ billion light years}=1.76\times 10^{-2}\text{ light years}\times \frac{3.154\times 10^7\text{ s}}{1\text{ year}}\times \frac{3\times 10^8\text{ m}}{1\text{ s}}\times \frac{1 M_\odot}{1477\text{ m}}=1.13\times 10^{10}M_\odot\nonumber\]
The mass of the lensing object is equivalent to about 10 billion suns, which is like a small galaxy.
The "Cosmic Horseshoe" (Fig. 4.3.5) is a name given to an Einstein ring resulting from a gravitational lens in the Leo constellation. The lensing galaxy is 5.2 billion light-years from earth while the source galaxy is 10.3 billion light-years from earth.
- Use the image in Figure \(\PageIndex{5}\) as well as the gravitational lens equations to approximate the mass of the lensing galaxy.
- Given the position of the ring relative to the lensing galaxy, what can you say about the position of the source galaxy relative to the lensing galaxy? In other words, is earth colinear with the two galaxies?