Abstract
Light undergoes perturbation as gravitational waves pass by. This is shown by solving Maxwell’s equations in a spacetime with gravitational waves; a solution exhibits a perturbation due to gravitational waves. We determine the perturbation for a general case of both light and gravitational waves propagating in arbitrary directions. It is also shown that a perturbation of light due to gravitational waves leads to a delay of the photon transit time, which implies an equivalence between the perturbation analysis of Maxwell’s equations and the null geodesic analysis for photon propagation. We present an example of application of this principle with regard to the detection of gravitational waves via a pulsar timing array, wherein our perturbation analysis for the general case is employed to show how the detector response varies with the incident angle of a light pulse with respect to the detector.
Similar content being viewed by others
Avoid common mistakes on your manuscript.
1 Introduction
Light is the most common and important tool in astronomy, due to its property of carrying energy and information about its sources: it can reach an observer even at quite a distance, providing clues about astronomical sources responsible for its creation. Artificially created light is also in use in astronomy; e.g., laser light being commonly used for interferometry. Laser interferometers exploit another prominent and interesting property of light to detect gravitational waves (GWs): its interaction with other waves – GWs. However, from a perspective based on general relativity, this interaction can be viewed as a perturbation of light due to GWs; that is, light is perturbed as GWs pass through space in which it travels.
There is considerable significance in studying the aforesaid property of light in regard to the detection of GWs; e.g., by means of laser interferometers – LIGO, VIRGO, GEO600, KAGRA, LIGO-India, eLISA, etc. [1,2,3,4,5] or pulsar timing arrays (PTAs) – EPTA, PPTA, IPTA, SKA, etc. [6,7,8,9]. In principle, in all these detection schemes, we utilize the delay of the photon transit time due to GWs; that is, the effect resulting from a photon that undergoes deviation from its straight path while propagating in a spacetime with GWs. But this effect can be shown to be equivalent to the perturbation of an electromagnetic field due to GWs, as a direct consequence of a solution of Maxwell’s equations in the spacetime perturbed by GWs.
There were numerous studies about electrodynamics in a GW background based on Maxwell’s equations. Among others, Calura and Montanari [10] solved Maxwell’s equations only in the framework of the linearized general relativity and provided the exact solution to the problem, expressed like the Fourier-integral, by considering a general case for the GW frequency, rather than using the geometrical-optics approximation. Hacyan [11, 12] analyzed the interaction of electromagnetic waves with a plane-fronted GW and derived the corresponding formulas for Stokes parameters and the rotation angle of polarization. Cabral and Lobo [13] obtained electromagnetic field oscillations induced by GWs and found that these lead to the presence of longitudinal modes and dynamical polarization patterns of electromagnetic radiation.
In this paper, we address the issue how light is perturbed in the presence of GWs from a general relativistic perspective. In the context of the geometrical-optics approach, we solve Maxwell’s equations for a general configuration, wherein both light and GWs are assumed to propagate in arbitrary directions. Unlike the aforementioned related works in the literature, in which rather simple configurations with regard to the propagation directions of light and GWs are assumed, our investigation aims to achieve full generality in this regard, thereby providing practical results that can be readily used for analyzing various detection schemes for GWs, wherein such generality might be required; e.g., in a PTA, light pulses from different pulsars may arrive at one detector with various incident angles with respect to the stationary reference frame (or detector frame), while GWs may come from arbitrary directions to cross them. Largely, the paper proceeds in three steps through Sects. 2.1–2.3 as follows. In Sect. 2.1, we solve Maxwell’s equations in a spacetime perturbed by GWs for the general configuration between light and GWs, presenting a solution to first order in the strain amplitude h. In Sect. 2.2, we establish the equivalence between a perturbation of light due to GWs and a delay of the photon transit time, with the former implied from the solution of the Maxwell’s equations obtained in Sect. 2.1 and the latter implied from the null geodesic of photon propagation. In Sect. 2.3, application of our analysis from Sect. 2.2 to the detection of GWs via a PTA is discussed. Using the equivalence in the context of the general configuration between light and GWs, we determine the detector response function for light pulses incident on a detector at various angles.
2 Analysis and results
2.1 Solving Maxwell’s equations for light perturbed by GWs
What happens to light when GWs pass through space in which it propagates? This can be answered by solving Maxwell’s equations defined in a spacetime perturbed by GWs. For example, an electromagnetic field as a solution to the Maxwell’s equations can describe a light ray from a star or a laser beam in an interferometer being perturbed by GWs. For simplicity, we consider a case of a monochromatic electromagnetic wave (EMW) perturbed by monochromatic GWs. However, for the sake of generality of the configuration, we assume that both light and GWs propagate in arbitrary directions. Our analysis follows.
Suppose that GWs propagate along the \(z^{\prime }\)-axis while being polarized in the \(x^{\prime }y^{\prime }\)-plane in a quadrupole manner:
where i, j refer to the coordinates \(\left( x^{\prime },y^{\prime },z^{\prime }\right) \), and \(h_{+}\) and \(h_{\times }\) represent the strain amplitude for \(+\) and \(\times \) polarization states, respectively, and \( \omega _{\mathrm {g}}\) denotes the GW frequency; \(\omega _{\mathrm {g}}=ck\) with c being the speed of light and k being the wavenumber for GW. Then the spacetime geometry reads in the coordinates \(\left( t,x^{\prime },y^{\prime },z^{\prime }\right) \):
However, one can consider the coordinates \({\mathbf {x}}^{\prime }\equiv \left( x^{\prime },y^{\prime },z^{\prime }\right) \) as rotated from the coordinates \({\mathbf {x}}\equiv \left( x,y,z\right) \) through Euler angles \(\left\{ \phi ,\theta ,\psi \right\} \) [14, 15]:
where we let \({\mathbf {x}}^{\prime }\) and \({\mathbf {x}}\) refer to the coordinates in the GW frame and the detector frame, respectively (see Fig. 1 for illustration), and
with
and \(\left\{ \phi ,\theta \right\} \) denote the direction angles in spherical coordinates, defined with respect to the coordinates \(\left( x,y,z\right) \), and \(\psi \) denotes the polarization-ellipse angle [16] . Resulting from these rotations, the spacetime geometry in the coordinates \( \left( t,x^{\prime },y^{\prime },z^{\prime }\right) \) given by (3) is now rewritten in the coordinates \(\left( t,x,y,z\right) \):
where
and
and
with
Here one should note the following important property: the dependence on the polarization angle \(\psi \) in (8) and (9) exhibits the spin-2 tensor modes of the \(+\) and \(\times \) polarizations.
Our light perturbed by GWs can be described by Maxwell’s equations defined in curved (perturbed) spacetime as given by Eq. (7): in the Lorenz gauge [17],
where \(\square A^{\mu }\equiv g^{\nu \rho }\nabla _{\nu }\nabla _{\rho }A^{\mu }\) means the d’Alembertian on a vector potential, and \(R{}_{\mu \nu } \) denotes the Ricci tensor. However, by direct computation using Eqs. (7)–(11), it turns out that
Therefore, the spatial part of Eq. (13) can now be reduced:Footnote 1
where i refers to the coordinates \(\left( x,y,z\right) \). This can be regarded as a homogeneous vector wave equation to first order in h.
Now, we aim to obtain a decomposition solution for Eq. (15) via perturbation in h:
where \(A_{\mathrm {o}}^{i}\) denotes the zeroth-order, unperturbed solution and \(\delta A_{[{h}]}^{i}\) denotes the first-order perturbation solution. Then one may recast the left-hand side of Eq. (15) as
where \(\square _{\mathrm {o}}\equiv -c^{-2}\partial ^{2}/\partial t^{2}+\partial ^{2}/\partial x^{2}+\partial ^{2}/\partial y^{2}+\partial ^{2}/\partial z^{2}\) denotes the flat d’Alembertian and \(\square _{[{h }]}A_{\mathrm {o}}^{i}\) means the \(\mathcal {O}\left( {h}\right) \) piece remaining from \(\square A_{\mathrm {o}}^{i}-\square _{\mathrm {o}}A_{\mathrm {o} }^{i}\). Rearranging the terms in Eq. (17) for order-by-order perturbation, we obtain
where the first equation implies that \(A_{\mathrm {o}}^{i}\) is a solution for the unperturbed homogeneous wave equation defined in flat spacetime, and the second equation implies that \(\delta A_{[{h}]}^{i}\) is a solution for the first-order perturbed inhomogeneous wave equation defined in flat spacetime with a source term \(-\square _{[{h}]}A_{ \mathrm {o}}^{i}\), which is also first-order perturbed. It should be noted here that \(\delta A_{[{h}]}^{i}\) can be obtained only after \(A_{\mathrm {o} }^{i}\) is known: the source term for the first-order perturbed equation requires knowledge of \(A_{\mathrm {o}}^{i}\).
To first order in h, the total solution as given from (16) is
Suppose that the initial unperturbed light is linearly polarized and propagates along the direction of the wave vector \({\mathbf {K}}=\left( K_{x},K_{y},K_{z}\right) \). Then one can write down a solution to satisfy Eq. (18):
where \(\mathcal {A}\) represents the amplitude of EMW, and \(\omega _{\mathrm {e} }\) denotes the EMW frequency; \(\omega _{\mathrm {e}}=cK\) with c being the speed of light and \(K=\sqrt{K_{x}^{2}+K_{y}^{2}+K_{z}^{2}}\) being the wavenumber for EMW.Footnote 2 Note here that the direction of polarization is set perpendicular to \({\mathbf {K}}\). Now, using Eq. (21 ) for Eq. (19), and by straightforward but tedious computation, we obtain a perturbation solution \(\delta A_{[{h}]}^{i}\left( t,{\mathbf {x}} \right) \).Footnote 3 To the full, it turns out that \(\delta A_{[{h}]}^{i}\sim \mathcal {O}\left( {h}\right) +\left( \omega _{\mathrm {e} }/\omega _{\mathrm {g}}\right) \mathcal {O}\left( {h}\right) \). However, practically, \(\omega _{\mathrm {e}}\gg \omega _{\mathrm {g}}\) (e.g., \(\omega _{ \mathrm {e}}/\omega _{\mathrm {g}}\sim 10^{9}\) to \(10^{14}\) for LIGO, \(10^{12}\) to \(10^{19}\) for LISA, \(10^{14}\) to \(10^{17}\) for PTA etc.), and therefore the part \(\left( \omega _{\mathrm {e}}/\omega _{\mathrm {g}}\right) \mathcal {O} \left( {h}\right) \) would be the only meaningful piece to take for our analysis; that is, this piece remains in the geometrical-optics approximation. This finally enables us to express the solution:
where
where
with
and
Further, the expression in (24) can be reduced to a compact form:
whereFootnote 4
and \(\left( \phi _{\star },\theta _{\star }\right) \) have been defined from \( \left( K_{x},K_{y},K_{z}\right) \) by means of
Also,
It should be noted again here that the perturbation solution exhibits the spin-2 tensor modes of the \(+\) and \(\times \) polarizations through the dependence on \(\psi \) in (24) and (26) (or (27) and (31 )).Footnote 5
Equations (22)–(31) present the major result of our analysis; it expresses a perturbation of light due to GWs for a general configuration, wherein both light and GWs propagate in arbitrary directions. The perturbation of light will be shown to be equivalent to a delay of the photon transit time in Sect. 2.2. The equivalence will then be employed to compute the response function for the detection of GWs in Sect. 2.3. In Appendix A we show how one can obtain the solution given by (20)–(26) in a computationally tractable manner by means of coordinate transformations.
2.2 Perturbed light and delay of photon transit time
Above we have described how light is perturbed when it propagates in a spacetime with GWs, by solving Maxwell’s equations in that spacetime via a perturbation method. Suppose that light propagates along the direction of \( {\mathbf {K}}=\left( K_{x},K_{y},K_{z}\right) =\left( 0,0,-K\right) \), as in the example of a PTA to be discussed in Sect. 2.3. As \(K_{z}=-K<0\), our light propagates along \(-z\) direction; i.e., from the sky towards the earth. Then it can be expressed by the electric field \(E_{\mathrm {total} }^{i}\left( t,0,0,z\right) =-c^{-1}\left( \partial /\partial t\right) A_{ \mathrm {total}}^{i}\left( t,0,0,z\right) \), obtained from Eqs. (20)–( 22). Starting at \(\left( t,z\right) =\left( t_{0},L\right) \), the propagation path can be written as \(z=L-c\left( t-t_{0}\right) \) for \( t_{0}\le t\le t_{0}+T\), with \(L=cT\). Then we find
where \(E_{\mathrm {o}}^{i}=-c^{-1}\left( \partial /\partial t\right) A_{ \mathrm {o}}^{i}\), \(\delta E_{\left[ h\right] }^{i}=-c^{-1}\left( \partial /\partial t\right) \delta A_{[{h}]}^{i}\), and the right-hand side is expressed in the complex representation for analytical convenience, and
are antenna patterns for \(+\) and \(\times \) polarization states, respectively.Footnote 6
On the other hand, when a photon propagates in a spacetime with GWs, its trajectory will be perturbed, resulting in a delay of its transit time. The propagation takes place along the null geodesic, i.e., \(ds^{2}=0\) in Eq. ( 7), and hence one can express a delay for a photon propagating by a distance \(L=cT\) along \(-z\) direction, starting at \(\left( t,z\right) =\left( t_{0},L\right) \); that is, along the path \(z=L-c\left( t-t_{0}\right) \) for \( t_{0}\le t\le t_{0}+T\) [15]:
where \(\delta T_{\left[ h\right] }\) means the deviation of the transit time from T, and \(h_{zz}\) is read off from Eq. (7) and expressed in the complex representation for analytical convenience.
Comparing Eqs. (32) and (35), we establish a relation between the delay of the photon transit time and the perturbation of light due to GWs:
where \(\mathcal {N}=\left( \mathrm {i}\omega _{\mathrm {e}}T\right) ^{-1}=\left( \mathrm {i}KL\right) ^{-1}\). Here one can give a physical interpretation of this relation: light perturbed by GWs, being described by Maxwell’s equations (13), leads to a delay of the photon transit time, being described by the null geodesic equation, \(ds^{2}=0\) in (7).
The relation given by Eq. (36) must be true for a general configuration in which both light and GWs are assumed to propagate in arbitrary directions. That is, a delay of the photon transit time along an arbitrary path can equivalently be computed, using the solutions of Maxwell’s equations for the general case as given by Eqs. (20)–(22). Then the relation (36) is now extended to
where one can set the ‘earth’ location to be \(\left( x,y,z\right) =\left( 0,0,0\right) \) and the ‘sky’ location to be \(\left( x,y,z\right) =\left( -L\sin \theta _{\star }\cos \phi _{\star },-L\sin \theta _{\star }\sin \phi _{\star },-L\cos \theta _{\star }\right) \), with \(\pi \le \theta _{\star }\le 3\pi /2\), for computational convenience. From this and with the electric field \(E_{\mathrm {total}}^{i}\left( t,x,y,z\right) =-c^{-1}\left( \partial /\partial t\right) A_{\mathrm {total}}^{i}\left( t,x,y,z\right) \) for a general \({\mathbf {K}}=\left( K_{x},K_{y},K_{z}\right) =\left( K\sin \theta _{\star }\cos \phi _{\star },K\sin \theta _{\star }\sin \phi _{\star },K\cos \theta _{\star }\right) \), obtained from Eqs. (20)–(22), the delay of the photon transit time is finally written as
where \(\mathcal {F}_{+}\), \(\mathcal {F}_{\times }\) and \(\cos \gamma _{1}\) refer to (27), (31) and (28), respectively.
2.3 Application: pulsar timing array (PTA)
The property of the perturbed light as given by Eq. (37) (or (36)) can be applied to the detection of GWs, and for its simplest application, we consider a PTA. One can arrange a detector (e.g., a radio telescope) to receive photons emitted from a pulsar to measure pulse arrival time as illustrated in Fig. 1. A pulsar can serve as an astronomical clock of excellent precision, with the constancy of the measured pulse frequency \(\nu _{\mathrm {o}}\). However, with GWs passing through our space, the measured frequency \(\nu \left( t\right) \) will vary slightly. Then the effects of GWs can be determined from the variation of the frequency (or from the variation of the pulse period) \(\left[ \nu _{\mathrm {o}}-\nu \left( t\right) \right] /\nu _{ \mathrm {o}}\simeq \left[ \tau \left( t\right) -\tau _{\mathrm {o}}\right] /\tau _{\mathrm {o}}\), where \(\tau \left( t\right) =\nu ^{-1}\left( t\right) \) is the measured pulse period and \(\tau _{\mathrm {o}}=\nu _{\mathrm {o}}^{-1}\) is the constancy of the measured pulse period [20, 21].
For the cumulative variation, we define a “residual” [21], which can be expressed using Eq. (38) with \(T=\tau _{\mathrm {o}}=L/c\) as
where \(t^{\prime }\leftarrow t_{0}\) from Eq. (38), and \(f=\omega _{ \mathrm {g}}/\left( 2\pi \right) \), and
with \(\mathcal {F}_{+}\), \(\mathcal {F}_{\times }\) and \(\cos \gamma _{1}\) given by (27), (31) and (28), respectively. Here \(\mathcal {G} _{+}\) and \(\mathcal {G}_{\times }\) are termed exact detector responses, and for \({\mathbf {K}}=\left( K_{x},K_{y},K_{z}\right) =\left( 0,0,-K\right) \) in particular, they reduce to
respectively, with \(F_{+}\) and \(F_{\times }\) given by (33) and (34).
Out of Eq. (39), one can express
where \(\tilde{{\mathfrak {r}}}\left( f\right) \), \({\tilde{h}}_{+}\left( f\right) \) and \({\tilde{h}}_{\times }\left( f\right) \) denote the Fourier transforms of \( {\mathfrak {r}}\left( t\right) \), \(h_{+}\left( t\right) \equiv h_{+}\exp \left( -2\mathrm {i}\pi ft\right) \) and \(h_{\times }\left( t\right) \equiv h_{\times }\exp \left( -2\mathrm {i}\pi ft\right) \), respectively, and \(*\) denotes the complex conjugate.
The detector response function can be computed by taking a sky average of \(\mathcal {G}_{+}\mathcal {G}_{+}^{*}+\mathcal {G}_{\times } \mathcal {G}_{\times }^{*}\) over \(\left( \phi ,\theta ,\psi \right) \), with \(\mathcal {G}_{+}\) and \(\mathcal {G}_{\times }\) given by (40) and (41), respectively:
For the special case with \({\mathbf {K}}=\left( K_{x},K_{y},K_{z}\right) =\left( 0,0,-K\right) \), the detector responses reduce, that is, \(\mathcal {G} _{+}\rightarrow G_{+}\) and \(\mathcal {G}_{\times }\rightarrow G_{\times }\), and we obtain
which is a complete closed-form expression. In the limit \(f\tau _{\mathrm {o} }\ll 1\), which is appropriate for ultra-low-frequency GW signals carried via millisecond pulsars, this can be approximated as
However, for a general case with \({\mathbf {K}}=\left( K_{x},K_{y},K_{z}\right) =\left( K\sin \theta _{\star }\cos \phi _{\star },K\sin \theta _{\star }\sin \phi _{\star },K\cos \theta _{\star }\right) \), the computation of the response function is rather involved, and it cannot be computed fully symbolically unlike (46) for the special case; but its approximation can be obtained in the limit \(f\tau _{\mathrm {o}}\ll 1\) instead:
This manifests how the detector response function varies with \(\theta _{\star }\), the incident angle of a light pulse with respect to the detector.
For a light ray with \(\left( K_{x},K_{y},K_{z}\right) =\left( 0,0,-K\right) \) from a millisecond pulsar with \(\tau _{\mathrm {o}}\sim 10^{-3}\,\mathrm {s}\) , the antenna patterns \(\left| G_{+,\times }\right| \) of the detector responses (42) and (43) are illustrated at different frequencies, (A) \(f\ll 1\,\mathrm {Hz}\) and (B) \(f=1000\,\mathrm {Hz} \), in the upper panel of Fig. 2. Note the decrease in the volume of the plot for the higher frequency. On the other hand, in the lower panel of Fig. 2, we illustrate the antenna patterns \(\left| \mathcal {G} _{+,\times }\right| \) of the detector responses (40) and (41) for light rays with \(\left( K_{x},K_{y},K_{z}\right) =\left( K\sin \theta _{\star }\cos \phi _{\star },K\sin \theta _{\star }\sin \phi _{\star },K\cos \theta _{\star }\right) \) from millisecond pulsars with \(\tau _{ \mathrm {o}}\sim 10^{-3}\,\mathrm {s}\), incident on a detector at different polar angles, (C) \(\theta _{\star }=\pi +\cos ^{-1}\left( \sqrt{15/23} \right) \) and (B) \(\theta _{\star }=3\pi /2\), which correspond to the maximum and the minimum detector responses, respectively as determined from (48), both being considered in the low-frequency regime, \(f\ll 1\, \mathrm {Hz}\) (see Fig. 3). Note the difference in the volume between the two plots.
In Fig. 3 is plotted \(\mathcal {R}_{0}\), the leading-order approximation of \(\mathcal {R}\) in the limit \(f\tau _{\mathrm {o}}\ll 1\) in (48), as a function of the incident angle \(\theta _{\star }\) of a light ray. It should be noted here that \(\mathcal {R}_{0}\) becomes maximum at \(\theta _{\star }=\pi +\cos ^{-1}\left( \sqrt{15/23}\right) \) and minimum at \(\theta _{\star }=3\pi /2\); that is, no extrema at \(\theta _{\star }=\pi \), i.e., for the special case with \(\left( K_{x},K_{y},K_{z}\right) =\left( 0,0,-K\right) \). In Fig. 4 is shown a plot of \(\mathcal {R}\left( f\right) \) for the special case with \(\left( K_{x},K_{y},K_{z}\right) =\left( 0,0,-K\right) \) for a millisecond pulsar with \(\tau _{\mathrm {o} }\sim 10^{-3}\,\mathrm {s}\).
In view of Eqs. (44) and (45), one can determine the detector “sensitivity”:
Now, following Ref. [21], for a periodic GW source, we consider two supermassive black holes of mass M in a circular orbit of radius \(R_{ \mathrm {o}}\), with the distance r from us. Then one can estimate
with the maximum strain amplitude and the GW frequency being estimated respectively as
With consideration of multiple pulsars as carriers of the GW signals, one can use the detector response function averaged over \(\pi \le \theta _{\star }\le 3\pi /2\) from (48), to evaluate \(h\left( f\right) \) via (49):
where the term \(\mathcal {O}\left( f^{2}\tau _{\mathrm {o}}^{2}\right) \) can be disregarded for low-frequency GWs with \(f\sim 10^{-8}\,\mathrm {Hz}\) to be detected via millisecond pulsars with \(\tau _{\mathrm {o}}\sim 10^{-3}\, \mathrm {s}\). Then, for example, for GWs from a source with \(M\sim 10^{9}M_{\odot }\), \(R_{\mathrm {o}}\sim 2\times 10^{11}M_{\odot }\) and r \( \sim 10^{10}\mathrm {\mathrm {ly}}\), we obtain a curve for \(h\left( f\right) \) using Eqs. (49)–(53), as given by Fig. 5; it compares well with the actual sensitivity curves for EPTA, IPTA and SKA in the literature [22].
3 Summary and discussion
From a general relativistic perspective, the interaction of light with GWs can be viewed as equivalent to a perturbation of light due to GWs. We have solved Maxwell’s equations in a spacetime perturbed by GWs and obtained a solution for a general case as given by Eqs. (20)–(22), wherein both light and GWs are assumed to propagate in arbitrary directions. Based on this solution, it has been shown that a perturbation of light due to GWs leads to a delay of the photon transit time, as given by Eq. (37). Applying this principle to a PTA, we have worked out the detector response function \(\mathcal {R}\) as given by Eq. (48) and Fig. , which manifests how the detector response varies with the incident angle of a light pulse with respect to the detector. Then using this, we have obtained the curve for \(h\left( f\right) \) as given by Fig. 5. Our result shows good agreement with the literature; the \(h\left( f\right) \) curve compares well with the actual sensitivity curves for EPTA, IPTA and SKA, taken from Ref. [22]. However, our purpose in this analysis is rather to check how properly our detector response function \(\mathcal {R}\) serves to provide the \(h\left( f\right) \) curve for a given GW signal in the desired order of magnitude. A practical analysis of the detection sensitivity for the actual PTAs would be based on the accurate measurements of the timing residuals from multiple pulsars, with the consideration of systematics in the residuals such as solar system ephemeris errors mimicking a GW signal, the solar system metric contributing with an extra time delay in the modeled signal, etc.
As a means of improving our analysis in relation to a PTA, it is worth considering the cross-correlation of the residuals of two pulsars nearby in the sky [21]: the statistically-significant quadrupolar interpulsar correlation of GW background-induced timing delays as addressed in Ref. [23]. This will be discussed further in follow-up studies.
Our analysis can be extended to more complex arrays for GW detection than a PTA. For interferometers such as LIGO and LISA, we require a description of light rays in more complicated configurations, based on Eqs. (20)–( 22). We leave further discussion of this to follow-up studies.
Data Availability Statement
This manuscript has no associated data or the data will not be deposited. [Authors’ comment: This work presents completely analytical results with no data associated.]
Notes
The temporal part of the Maxwell’s equations can be handled trivially by fixing the residual gauge within the Lorenz gauge; namely, the radiation gauge. In this gauge, one can disregard the scalar potential \(A^{0}\), as it becomes zero in charge-free regions (or regions far from electric charge).
Our analysis can be extended to circular and elliptical polarization by expressing the unperturbed light as \(A_{\mathrm {o}}^{i}\left( t,{\mathbf {x}} \right) =\left[ \left( -\frac{K_{y}}{\sqrt{K_{x}^{2}+K_{y}^{2}}}\delta _{x}^{i}+\frac{K_{x}}{\sqrt{K_{x}^{2}+K_{y}^{2}}}\delta _{y}^{i}\right) \right. \)
\(\left. +\left( -\frac{K_{z}K_{x}}{K\sqrt{K_{x}^{2}+K_{y}^{2}}}\delta _{x}^{i}-\frac{K_{y}K_{z}}{K\sqrt{K_{x}^{2}+K_{y}^{2}}}\delta _{y}^{i}+\frac{ \sqrt{K_{x}^{2}+K_{y}^{2}}}{K}\delta _{z}^{i}\right) \exp \left( \mathrm {i} \varphi \right) \right] \)
\(\times \mathcal {A}\exp \left[ \mathrm {i}\left( \mathbf {K\cdot x}-\omega _{ \mathrm {e}}t\right) \right] \), where \(\varphi \) denotes the relative phase difference. The light is circularly polarized for \(\left| \varphi \right| =\frac{\pi }{2}\) and elliptically polarized for \(0<\left| \varphi \right| <\frac{\pi }{2}\).
Maple and grTensor have been used extensively to obtain the results reported here.
From (28) and (29), one can see that \(\gamma _{1}\) is the angle subtended by an arc between the two points \(\left( \theta ,\phi \right) \) and \(\left( \theta _{K},\phi _{K}\right) \) on a unit sphere, while \(\gamma _{2}\) is the angle subtended by another arc between \(\left( \theta -\pi /2,\phi \right) \) and \(\left( \theta _{K},\phi _{K}\right) \) on the sphere; due to the spherical law of cosines.
References
B.P. Abbott et al. [LIGO Scientific and Virgo Collaborations], Observation of gravitational waves from a binary black hole merger. Phys. Rev. Lett. 116, 061102 (2016). arXiv:1602.03837 [gr-qc]
H. Grote, The GEO 600 status. Class. Quantum Gravity 27(8), 084003 (2010)
K. Somiya, Detector configuration of KAGRA-the Japanese cryogenic gravitational-wave detector. Class. Quantum Gravity arXiv:1111.7185 [gr-qc])
B. Iyer et al., LIGO-India, Proposal of the Consortium for Indian Initiative in Gravitational-wave Observations (IndIGO). Tech. Rep. M1100296 (2011). https://dcc.ligo.org/cgi-bin/DocDB/ShowDocument?docid=75988
P. Amaro-Seoane et al., eLISA/NGO: astrophysics and cosmology in the gravitational-wave millihertz regime. GW Notes 6, 4 (2013). arXiv:1201.3621 [astro-ph.CO]
M. Kramer, D.J. Champion, The European pulsar timing array and the large European array for pulsars. Class. Quantum Gravity 30(22), 224009 (2013)
G. Hobbs, The parkes pulsar timing array. Class. Quantum Gravity 30(22), 224007 (2013). arXiv:1307.2629 [astro-ph.IM]
R.N. Manchester, The international pulsar timing array. Class. Quantum Gravity 30(22), 224010 (2013)
P.E. Dewdney, P.J. Hall, R.T. Schilizzi, T.J.L.W. Lazio, The square kilometre array. Proc. IEEE 97(8), 1482 (2009)
M. Calura, E. Montanari, Exact solution to the homogeneous Maxwell equations in the field of a gravitational wave in linearized theory. Class. Quantum Gravity 16, 2 (1999). arXiv:gr-qc/9810082
S. Hacyan, Electromagnetic waves and Stokes parameters in the wake of a gravitational wave. Gen. Relativ. Gravit. 44, 2923 (2012). arXiv:1206.3526 [gr-qc]
S. Hacyan, Effects of gravitational waves on the polarization of pulsars. Int. J. Mod. Phys. A 31(02n03), 1641023 (2016). arXiv:1502.04630 [gr-qc]
F. Cabral, F.S.N. Lobo, Gravitational waves and electrodynamics: new perspectives. Eur. Phys. J. C 77, 237 (2017)
H. Goldstein, Classical Mechanics, 2nd edn. (Addison-Wesley Publishing Company Inc, Boston, 1980)
M. Rakhmanov, Response of LIGO to gravitational waves at high frequencies and in the vicinity of the FSR (37.5 kHz). Tech. Rep. LIGO-T060237-00-D (2005). https://dcc.ligo.org/T060237-x0/public
A. Pai, S. Dhurandhar, S. Bose, A data analysis strategy for detecting gravitational wave signals from inspiraling compact binaries with a network of laser interferometric detectors. Phys. Rev. D 64, 042004 (2001). arXiv:gr-qc/0009078
C.W. Misner, K.S. Thorne, J.A. Wheeler, Gravitation (Freeman, San Francisco, 1973)
S.J. Chamberlin, X. Siemens, Stochastic backgrounds in alternative theories of gravity: overlap reduction functions for pulsar timing arrays. Phys. Rev. D 85, 082001 (2012). arXiv:1111.5661 [astro-ph.HE]
N. Yunes, X. Siemens, Gravitational-wave tests of general relativity with ground-based detectors and pulsar-timing arrays. Living Rev. Relat. 16, 9 (2013). arXiv:1304.3473 [gr-qc]
M.V. Sazhin, Opportunities for detecting ultralong gravitational waves. Sov. Astron. 22, 36 (1978)
S. Detweiler, Pulsar timing measurements and the search for gravitational waves. Astrophys. J. 234, 1100 (1979)
C.J. Moore, R.H. Cole, C.P.L. Berry, Gravitational-wave sensitivity curves. Class. Quantum Gravity 32, 015014 (2015). arXiv:1408.0740 [gr-qc]
R.W. Hellings, G.S. Downs, Upper limits on the isotropic gravitational radiation background from pulsar timing analysis. Astrophys. J. 265, L39 (1983)
Acknowledgements
D.-H. Kim was supported by the Basic Science Research Program through the National Research Foundation of Korea (NRF) funded by the Ministry of Education (NRF-2018R1D1A1B07051276 and NRF-2021R1I1A1A01054781). C. Park was supported in part by the Basic Science Research Program through the National Research Foundation of Korea (NRF) funded by the Ministry of Education (NRF-2018R1D1A1B07041004), and by the National Institute for Mathematical Sciences (NIMS) funded by Ministry of Science and ICT (B20710000).
Author information
Authors and Affiliations
Corresponding author
Appendix A: Solutions to Maxwell’s equations via coordinate transformations
Appendix A: Solutions to Maxwell’s equations via coordinate transformations
The total decomposition solution (20) can be obtained in the easiest manner for a particular case, in which \(A_{\mathrm {o}}^{i}\) takes the simplest (but not trivial) form and so does \(\delta A_{[{h}]}^{i}\) as obtained from Eq. (19). In a particular frame of the coordinates \( {\mathbf {x}}^{\prime \prime }\equiv \left( x^{\prime \prime },y^{\prime \prime },z^{\prime \prime }\right) \), one can prescribe the simplest solution to satisfy Eq. (18):
where we let \({\mathbf {x}}^{\prime \prime }\) refer to the coordinates in the EMW frame. Then using this for Eq. (19), by straightforward computation, we obtain the simplest perturbation solution:
where
and the angles \(\left\{ \phi ^{\prime \prime },\theta ^{\prime \prime },\psi ^{\prime \prime }\right\} \) refer to the Euler rotations between \({\mathbf {x}} ^{\prime }\) in the GW frame and \({\mathbf {x}}^{\prime \prime }\) in the EMW frame,
The above results can be extended to obtain the solutions for a general case, in which light propagates along an arbitrary direction; rather than along a single axis, e.g., the \(z^{\prime \prime }\)-axis. For this purpose, one can consider \({\mathbf {x}}^{\prime \prime }=\left( x^{\prime \prime },y^{\prime \prime },z^{\prime \prime }\right) \) in the EMW frame as rotated from \({\mathbf {x}}=\left( x,y,z\right) \) in the detector frame, in which light is seen to propagate along an arbitrary direction, as resulted from the rotations of the \(z^{\prime \prime }\)-axis. The relation between the two frames can be expressed by Euler angle rotations [14, 15]; but only with the direction angles \(\left\{ \phi _{\star } ,\theta _{\star } \right\} \) in spherical coordinates, without the polarization-ellipse angle:
where
with
Now, by means of Eq. (A5) and the invariance relation
where \({\mathbf {K}}^{\prime \prime }=\left( 0,0,K\right) \) and \({\mathbf {K}} =\left( K_{x},K_{y},K_{z}\right) \) with \(K=\sqrt{ K_{x}^{2}+K_{y}^{2}+K_{z}^{2}}=\omega _{\mathrm {e}}/c\), one can express \( \phi _{\star } \), \(\theta _{\star } \) in terms of \(K_{x}\), \(K_{y}\), \(K_{z}\):
Based on these, one can convert \({\mathbf {R}}\left( \phi _{\star } ,\theta _{\star } \right) \rightarrow {\mathbf {T}}\left( K_{x},K_{y},K_{z}\right) \) and rewrite Eq. (A5) as
where
The inverse transformation of (A10) is expressed by
where \({\mathbf {T}}^{-1}\) is given by \({\mathbf {T}}^{\mathrm {T}}\), the transpose of \({\mathbf {T}}\).
As seen in Sect. 2.1, one can consider \({\mathbf {x}}^{\prime }\) in the GW frame as rotated from \({\mathbf {x}}\) in the detector frame through the Euler angles \(\left\{ \phi ,\theta ,\psi \right\} \). Thus, combining Eq. (4) with Eq. (A12), and then comparing this with Eq. (A4), we find the relation:
That is, using Eqs. (5), (6) and (A11) for this, one can express \(\phi ^{\prime \prime }\), \(\theta ^{\prime \prime }\), \(\psi ^{\prime \prime }\) in terms of \(\phi \), \(\theta \), \(\psi \) and \(K_{x}\), \(K_{y}\), \( K_{z}\).
By means of Eqs. (A10), (A12) and (A13), one can transform the solutions \(A_{\mathrm {o}}^{i}\left( t,{\mathbf {x}}^{\prime \prime }\right) \) and \(\delta A_{[{h}]}^{i}\left( t,{\mathbf {x}}^{\prime \prime }\right) \) in the EMW frame, in which light propagates along the \(z^{\prime \prime }\) -axis, as given by Eqs. (A1) and (A2) respectively, to the solutions for a general case, \(A_{\mathrm {o}}^{i}\left( t,{\mathbf {x}}\right) \) and \(\delta A_{[{h}]}^{i}\left( t,{\mathbf {x}}\right) \) in the detector frame, in which light propagates along an arbitrary direction of \({\mathbf {K}}=\left( K_{x},K_{y},K_{z}\right) \), as given by Eqs. (21) and (22) respectively.
Rights and permissions
Open Access This article is licensed under a Creative Commons Attribution 4.0 International License, which permits use, sharing, adaptation, distribution and reproduction in any medium or format, as long as you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons licence, and indicate if changes were made. The images or other third party material in this article are included in the article’s Creative Commons licence, unless indicated otherwise in a credit line to the material. If material is not included in the article’s Creative Commons licence and your intended use is not permitted by statutory regulation or exceeds the permitted use, you will need to obtain permission directly from the copyright holder. To view a copy of this licence, visit http://creativecommons.org/licenses/by/4.0/.
Funded by SCOAP3
About this article
Cite this article
Kim, DH., Park, C. Detection of gravitational waves by light perturbation. Eur. Phys. J. C 81, 563 (2021). https://doi.org/10.1140/epjc/s10052-021-09369-1
Received:
Accepted:
Published:
DOI: https://doi.org/10.1140/epjc/s10052-021-09369-1