2. Gauss’s Law and the Gravitational Wave
We solved for Maxwell’s equation when investigating the background of a gravitational wave metric, which was corrected using semi-classical coherent states [
3]. For the Maxwell field, the Lagrangian is:
where we assumed a non-trivial metric.
From the Euler–Lagrange equations, we obtained the following EoM in the presence of a four-source current
:
In [
3], which appeared in this volume, we found semi-classical corrections to a GW metric. We used the coherent states in a system of loop quantum gravity (LQG) [
7,
8], which was defined on the phase space of the LQG canonical variables, i.e., holonomies
and conjugate momenta
. The holonomy of the gauge connection
was obtained from the exponential of a path-ordered integral of a gauge connection over a one-dimensional ‘edge’
, which formed the links of a graph; meanwhile, the momentum (built from the densitized triads
) was obtained by smearing the triads
over surfaces
which the edges intersected. In this calculation, we used only the momentum variables,
and the following relation:
where
are the density triads;
represent the space and internal SU(2) indices respectively;
is the three-space metric of the background; and
q is its determinant. The coherent states were also characterized using a semi-classical parameter
, which is a ratio of the Planck length to the length scale of a system (here
is the GW wavelength) and has a range of
. For these purposes, we considered a measurable
for a GW with a frequency of
Hz. This, however, was too high for the observed waves (which had a frequency of 100 Hz) as their
was far smaller. For the next generation of detectors which will detect higher frequency waves, see [
9] for a review.
The momenta were generated by smearing the triads over the faces of a cube, which were perpendicular to the edges
which were straight lines along the three axes. This type of discretization is not unique; however, with respect to the continuum limit, it serves the purpose of helping to find a semi-classical correction to the metric, as defined from the operator expectation values of the momentum (a detailed discussion on this topic can be found in [
3]). The LQG-corrected metric of a gravitational wave with the polarizations of
(as derived in [
3]) is as follows:
The determinant of the metric was simplified to a first order in
, which yielded the following:
where the semi-classical correction functions in the metric were
where
refers to the straight edges along the
x,
y,
z directions of the three spatial slices of the system [
3];
represents the graph edge lengths;
gives the continuum geometry; and
is the dimensional gravitational constant, which is expressed in natural units as the Planck length squared. We then found the 0th component of the Maxwell’s equations in a vacuum, i.e., in the presence of no sources. In flat geometry, this gives us Gauss’s law, but in the background of the new metric, one instead obtains the following:
As the metric semi-classical corrections were proportional to the GW, these corrections were found to be functions of
(which has been found as such only in [
3]). However, the derivative terms were proportional to
, which is a product of small quantities; therefore, we could neglect them in the first approximation. Thus, we obtained
In the approximation, we wrote the electric field as a zero-eth order field plus a small perturbation, and the RHS of the above equation could be interpreted as a source for the perturbation. The zeroeth order field was a static EM field, which was generated by a point source at the origin. Hence, we obtained
where we assumed a point source charge at the origin, or at least a charge of 1 Coulomb within a small radius
(which is where our considerations were outside the radius). As the source was time-dependent, we took the perturbation to be composed of the potentials
In the Coulomb gauge
, the following was yielded:
which is clearly Poisson’s equation with a time-dependent source. Seeing as the divergence of the electric field was zero and the first order in the corrections, all of the
were found to be equal; as such, we can ignore the semi-classical term (=
). A way through which to understand the GW-generated oscillation of the source was to observe that the charge density fluctuated with time as the volume changed.
To simplify the system, at
, we solved for the equations. As such, we obtained, as the particular solution, the following:
Clearly, this potential is different in behavior to the regular
spherical potential of the point-charge source at the origin. Here, the
dependence makes the potential acquire different signs as it approaches the x and y axes. If we write the above equation in spherical coordinates, in which we assume a form of the potential in spherical harmonics with the same frequency as that of the GW in its time dependence, we obtain
which gives, from Gauss’s law, the following:
We then assumed that
. If we keep the plane wave
in the source (
), then we have to use the spherical wave expansion of the function
, where we obtain the following:
Using the partial wave analysis of the above RHS (with the assumption that the EM potential has the same frequency as the GW), a propagating mode was generated in the case of the oscillating sources. We also wrote the equation
. We found that the ODE for
was the same as the ODE for
; therefore, we dropped the second index and solved for the following equation:
The associated Legendre function
is on the left and the usual Legendre function
is on the right. If we take the orthonormality property of the associated Legendre functions by first multiplying with
and then integrating both sides of the Equation for
, we obtain
where
represents the normalization constant from
. Furthermore, we replaced
with
x for brevity. The LHS uses the orthogonality condition; but, on the RHS, the integral was difficult to compute. Given the Legendre function recursion equations [
10] and integrals [
11], we obtained non-zero values for
and
. Therefore, we found
where there were also the following constants:
There were, therefore, three independent partial waves, which gave non-zero values for the RHS of the equation and generated the ‘source’ for the EM potential of the nth angular mode. We used MAPLE to generate the solution to the above ODE, and we found a very elongated formula that contained LommelS1 and Hypergeometric functions, which, nevertheless, gave the RHS particular solution. It must be noted that, if we keep the term detailed in the above equation, the particular solution will become corrected with static functions as there are no-time dependent contributions of the first order in . As mentioned earlier, we ignored the product terms, which are equivalent to the second -order infinitesimal corrections to Gauss’s law.
The general solution is as follows:
In the above, we have
as the Bessel function of the first kind,
as the LommelS1 functions, and
and
as the Hypergeometric functions of the (2, 3) and (1, 2) type, respectively. In addition,
was set to have the usual partial wave potentials of the form
and
, which were also the solutions of the homogeneous equation. The particular solutions represent the functions generated by the GW-induced oscillations and are propagating EM potentials. There were singularities hidden in the LommelS1 functions for the integer values of
n, which we regulated. Note that we can trust only the solutions for
, and this is justified as we have a semi-classical parameter
and the discretization
length scale, which provide a minimum length to which the geometry can be probed. The constants were
Note that the above results were true only for and higher. As the behavior of the functions for general n were difficult to plot, we simply took one representative partial wave and observed the difference from a regular solution. We took and observed the behavior of as . The function had a real component that fell of as the was obtained from the homogeneous equation solution, and an imaginary component (which was evident from the coefficients on the RHS) was the particular solution for . Additionally, as our ansatz for the potential was of the form , it was not surprising that the solution was complex. We then plotted the function to examine its asymptotic behavior. We found that, despite putting the particular solution strength as of the term, the function started increasing after a certain interval. We know that as , but the presence of GWs reverses the fall off. This behavior persists for a higher n, thus confirming our claim that the electric potential now extends to the asymptotic region.
In general, the solutions will be of the form
To obtain the observable function, one must take the real part of the summed solution. As shown above in Equation (
20),
is composed of solutions to the homogeneous equations of the form
. In addition, for each
l, there is a particular solution. It is plausible that the sum over l for the particular solution has a finite convergent answer. We tried finding a convergent answer but the summation was not simple; thus, work is still in progress. We instead used a numerical method of summing up the partial waves to some finite number. We then plotted the particular solution and summed up to
, where
m is some large number. This evidently represents a truncated GW wave contribution that is up to the
mode in the source, but it is a good-enough approximation to what might be the real system. Therefore, we—in the following—plotted the plane wave that was summed up to
, as well as showed the corresponding Coulomb potential that was generated by the system.
We investigated the analytic formula in Equation (
20) and the partial wave summation of the spherical wave solution. We found that the potential started growing as had been observed for the
solution of the potential, as shown in
Figure 1. We then plotted the potential in 3d and for
. This showed that the GW effect on the Coulomb potential was non-trivial and was, in principle, detectable using an electrometer, which is sensitive to the electric potential. This approach will aid in the detection of a GW in a very isolated environment.
As is evident from the above plots, i.e., in
Figure 2a,b (one for
and another for
), the potential increased as a function of
r, and the image on the
axis showed oscillations due to the Legendre function. If one plots the sum over a small interval, then these features are also evident, as shown in
Figure 3a. If one plots the potential on the sphere, the oscillations would of course appear as ‘petals’ in a spherical coordinates plot, as shown in
Figure 3b.
The electric field defined from the above potential was expressed simply as
The electric field in the
direction had a non-trivial derivative in the radial direction. The derivatives of
and
acted on the
and the
functions. We found that the
function was the derivative of the potential function that is given in Equation (
20); it was also found to be very lengthy and involved SturveH functions. Instead of quoting that, we show a graphical representation of the functions in the following
Figure 4a,b for the
partial wave only.
As evident from the above, the radial component decreased with distance. However, it must be mentioned that the particular part of the solution did show an increase as a function of
r. As in the potential, we took the ratio of the Coulomb term and GW-induced term as
. In the event that this ratio was different, the nature of the electric field’s radial component would again change. As shown in
Figure 5, the contribution from the GW-induced electric field increased with
r. It also remained that there were angular components of the electric field, which were generated due to the GW, and these should be detectable in an electrometer.
Next, we also found that the electric field’s radial component for the summed potential was
. This showed behavior that was almost similar to the electric field for
, where the function shows a fall off as a function of
r. We plotted the particular solution of the GW-induced electric field, which is non-trivial, for
k = 1, as shown in
Figure 6.
Before we end this discussion, the obvious question is whether a calibrated electrometer will detect the above-generated fluctuating electric field, and the answer is yes. If we find the potential function at a distance of 10 m from the origin where a
Coulomb charge has been placed (
∼1) and where the GW has a frequency of 10 Hz with an amplitude of
, then the
component at a fixed angle being proportional to the potential is almost of a 0.1 N/C order. Small changes in the magnetic fields were detected by SQUIDS [
12], we therefore needed to discuss the magnetic field generated by the GW.
In the above, we showed how a GW can modify Gauss’s law but where our electric field perturbation was time dependent. Therefore, the discussion is incomplete without discussing the magnetic field and studying the vector potential. To obtain the magnetic field, we studied Maxwell’s equations for
, where
i is a space component and the current density is
, as we are only studying Coulomb’s law for a static source in this discussion. We found that Maxwell’s equation is as follows:
As the magnetic field was initially zero, the contribution to a non-zero magnetic field
at a first order in the GW amplitude was
In the above,
is the components of the Coulomb field and
is the perturbations that were computed due to the GW. If we use the Lorenz gauge and write the magnetic field in terms of a Gauge potential
, such that
, one obtains
The above equations can be solved using the same method as the scalar potential solution for Gauss’s law. Thus, apart from modifying Gauss’s law, the GW also induces a magnetic field, and this can be calculated. We hope to discuss this in a future work. The fact that a tiny magnetic field was generated is important for detection purposes as small changes in magnetic fields can be found using SQUIDS [
12].