1. Preliminary Considerations
We discuss an elementary electrodynamics problem: the surface of a given ball is subject to variation of charge and we would like to study how the signal develops at its exterior. We will work in simplified conditions of perfect radial symmetry. For this reason, the approach may sound mainly academic, though there are examples of applications in several areas. From the theoretical viewpoint, the analysis of black holes is a natural referring topic. From the practical viewpoint, we just mention the case of our Sun. This has an effective small charge (less than 100 Coulombs [
1]) and presents periodic movements on its surface (see, e.g., [
2]). Real-life problems are indeed very challenging; however, we believe that it is important to understand the difficulties hidden in the study of the most basic formulation. As a matter of fact, finding the modeling equations ruling the behavior of the fields outside the ball is not a trivial question, as one would expect, especially if the surrounding space is void (i.e.: the ball is immersed in a vacuum). It is implicitly assumed that we look for solutions that develop at a finite speed (commonly that of light). Expedients suggested by Gauss’s law are not taken into account, since they are based on an infinite velocity of propagation.
We briefly formalize here the problem as follows. We work in the spherical coordinate system , and we assume that the fields do not depend on the variables and . This will ensure perfect central symmetry. As usual, we denote by c the speed of light. Time-dependent boundary conditions are imposed on a ball of fixed radius. These are homogeneously distributed on the surface in such a way that the electric field is of radial type. As we specified, outside the ball, the function E will continue to depend only on t and r. Clearly, no magnetic field can be generated in this circumstance. This means that, if the ball is surrounded by a pure vacuum, we cannot invoke the help of Maxwell’s equations. Indeed, the Ampère law: implies that only a stationary electric field can be taken into account. In this trivial circumstance, we get the expression , where Q is the fixed charge. A solution of the type is not acceptable because the whole three-dimensional space would be simultaneously affected by what happens at the surface of the ball. We claimed instead that the information has to develop with finite velocity. Thus, it is necessary to build up the proper modeling equations in order to study the phenomenon.
We start by introducing the divergence
in spherical coordinates:
We then assume that the field represents the radial velocity of propagation of the signal. The vectors and are parallel, therefore the information develops longitudinally. This sounds unconventional, but represents the reason why the investigation is not so easy. On the other hand, there are no other ways to proceed.
For simplicity, we take
v constant with
. If
is allowed to be different from zero, the Ampère law (with
) now becomes:
This admits solutions of the type
, where
g is totally arbitrary. When
is a constant we return to the classical stationary case. These positions are not extraordinary if the transmission of the signal happens inside a certain medium allowing for
to be different from zero. They may be considered unorthodox in empty space. We show in
Section 2 that (
2) descends naturally from the construction of a suitable stress-energy tensor, and needs to be coupled with another equation (see (
15)).
What we are showing here is another piece of evidence that the standard set of Maxwell’s equation cannot fully describe the development of electromagnetic fields in several situations [
3,
4,
5]. This is particularly true in the inter-space between bodies (not infinitesimal), dynamically modifying their charge, or in movement (or both the situations) [
6]. Dating back to the pioneering paper in [
7], plenty of variants have been proposed in the search for valuable alternatives. The existing literature is rather rich, so we limit ourselves to the citation of a few papers: [
8,
9,
10,
11,
12,
13,
14]. A very recent publication [
15] further remarks on these discrepancies and offers new solutions.
The main message we would like to divulge in the present paper is the following. If we want the information to travel at finite speeds comparable to that of light, it is necessary to assume regions of space (also in a perfect vacuum) where
, even if there are no physical charges. The elementary case of a capacitor consisting of two infinite parallel plates represents a viable exercise to verify this statement [
16,
17].
2. Devising the Modeling Equations
We begin with observing that the following continuity equation holds:
which is obtained by applying the divergence operator to both terms of Equation (
2). The next step is to express the model equations in tensor form, by the use of four vectors. Among many others, we suggest [
18,
19,
20], as possible referring books in general relativity. We proceed by introducing the system of coordinates in space-time:
. We then need to consider the electromagnetic tensor
. In the special case we are examining, its non-vanishing entries are
,
,
,
. We also recall that spherical coordinates are characterized by the metric tensor
. In other terms, we have:
Moreover, we get:
, where
g denotes the determinant of the metric tensor. In this space-time, it is straightforward to compute Christoffel’s symbols
In addition, the Ricci’s tensor is identically zero, as well as the scalar curvature R. These calculations and the following ones have been also checked with software for symbolic manipulation.
It is also worthwhile to define the electromagnetic stress-energy tensor
, that, in the simplified case we are examining, is diagonal and can be written as a function of
E as follows:
It will be useful to introduce the velocity 4-vector
, with its contravariant version
. We also need a kind of mass tensor
, akin to that of a perfect fluid:
with
. Here,
denotes an energy density per unit of volume and
p a pressure density per unit of surface. We are assuming to be in a vacuum so that
is the dielectric constant. If we want to study the case of a different isotropic medium, it will be enough to change the dielectric constant accordingly. Finally, there is a constant
which is dimensionally equivalent to Coulomb/Kg. The magnitude of this constant depends on the type of application one has in mind. An estimate of
was provided for example in [
5], Appendix H, and, in that circumstance, it turned out to be approximately of the order of the ratio between the elementary charge and the electron mass. The multiplicative term
is necessary because
is not a density of mass, but a density of charge per unit of volume. This setting is justified by the fact that we want to remain within a pure electromagnetic context. The information is not transported through the dust of massive particles as it may happen in some plasma but travels by means of compression and rarefaction waves altering the divergence of the electric field. By the way, if we also have matter at the exterior of our ball, appropriate corrections can be easily taken into account.
A global stress-energy tensor, including all the quantities so far examined is arranged in the following fashion:
We can write it in contravariant version, by taking into account that both
and
are radial, so obtaining:
We are now ready to recover the modeling equation. These are obtained by requiring (see [
18], Formula (41.25)):
where
. An explicit computation brings to the four equations:
Therefore, in (
14), the requested relations follow automatically. We also want (
12) and (
13) to be zero. The property is obtained thanks to the following impositions. We start by setting:
and recalling (
3). In this way
. In the last expression in (
13), we can still use (
3), so that
implies:
This is equivalent to an Euler’s equation for non-viscous fluids, with a forcing term represented by the electric field. An extension of this equation will be examined in
Section 4. Here,
denotes the substantial derivative. Since we supposed that
v is constant, such a derivative is zero. In particular, Equation (
15) takes the simplified form
. In principle, it is not necessary to enforce that
v must be constant, though in the present paper we will continue to stay under this hypothesis.
Finally, we claim that the two modeling equations are represented by (
2) and (
15), where by definition
. They actually couple the two unknowns
and
. From direct computation one finds out that
is actually a solution whatever is
g, that
, and that
p is deduced by integrating the expression:
.
Another useful equation is obtained from (
2) after scalar multiplication by
. This is:
A further interesting relation is obtained by taking the trace of the tensor in (
9). Recalling that the trace of the electromagnetic stress tensor
is zero, we get:
3. Solving Einstein’s Equations
We can now express the tensor
in (
9) in a generic metric
and plug it on the right-hand side of Einstein’s equation:
where, as usual,
is the Ricci’s tensor and
denotes the scalar curvature. The magnitude of the dimensional constant
(
) is suggested by the type of application. Note, however, that
is not in relation with the gravitational constant
G, since, as already remarked in the previous section, there are no physical masses involved in our study. The sign of
will be discussed later on. It is known that the trace of
is equal to
. This suggest interesting relations between the scalar curvature and the trace of
(see (
17) for the case of the metric (
4)).
We look for a metric of the form:
where
and
should be determined as a function of the forcing term
E. In other words, the time-varying electric field emanated by the ball produces alterations of the space-time geometry that are linked to the solution of (
18). We may call them gravitational waves, though there is no “gravity” in our exercise. Similar settings were considered in [
21,
22,
23], for non-static spheres of charged dust. Other related papers are for instance [
24,
25].
We continue our analysis by observing that
, and by computing the (non-vanishing) Christoffel’s symbols:
The nonzero entries of Einstein’s tensor
take the form:
For a given
, we build up the electromagnetic stress-energy tensor
:
Moreover, we need the velocity 4-vectors:
and
. Thus, we are ready to set up the mass tensor:
In the end, we arrive at a set of five differential equations to be solved. To go on, it is worthwhile to set
. In this way we are left with only one unknown, for which we must have:
The equation relative to
is trivially obtained from the one corresponding to
after multiplication by
. We successively evaluate
from the first equation:
By suitably combining
and
we may recover
p:
In such a way,
,
, and
p are evaluated as functions of the given
E and the unknown
. These will be substituted into the equation relative to
. The equation for
is equivalent. After implementing the substitution:
, and using the expression of
p in (
26), we get from the last equation in (
24):
where
. This is the final equation to be solved. Unfortunately, we do not have a closed expression for
as a function of
E. We can, however, make some considerations. If
does not depend on
t and
, equation (
27) reduces to:
The general solution in this case is , where K is an arbitrary real number. We have , and . Therefore . The final expression of exactly corresponds to that of the Reissner–Nordström metric, where the parameter is usually related to an effective mass M. This stationary metric simulates a charged black hole. In the phenomenon we are currently studying there are no physical masses, and K is just a constant to be fixed according to some boundary conditions. Our “mass” tensor comes into place in the case of time-dependent fields and somehow simulates the transfer of information from the surface of the ball towards the exterior.
When
E actually depends on time, Equation (
27) can be approached with the help of numerical simulations. By the way, this issue is not within the goals of this paper. Theoretical considerations can be done for small-varying fields in the neighborhood of the stationary solution.
Note that Birkhoff’s theorem states that solutions of the vacuum Einstein’s equations, displaying spherically symmetry, are locally isometric to the Schwarzschild solution, so they will not generate pure gravitational waves. The term “vacuum” in this context means the absence of other massive-like bodies. Here the situation is different. Einstein’s equations are solved with a forcing right-hand side (depending on
E) that simulates the oscillating presence of the electric field. Indeed, any form of energy should in principle be able to produce a deformation of space-time. Exact gravitational plane waves sharing the same support as an electromagnetic one were computed in ([
4], Section 4.3). This approach is different from that followed in the historical paper [
26], where the equations were solved in the pure gravitational vacuum. The final solution in that case was rather complicated (and of difficult interpretation). The authors actually end up with gravitational waves that were not of plane type, so, part of the paper was devoted to the discussion of the concept of “planeness”. In the present case, the right-hand side
is a dynamical forcing tensor, and, although an explicit solution of (
27) is not available, the attached gravitational waves look perfectly spherical.
4. Comments
We can provide further observation concerning the stationary solution presented at the end of the previous section. In this case, Einstein’s equation reduces to:
in which only the electromagnetic stress tensor
appears on the right-hand side. As we noted, a general solution has the form:
,
. This effectively corresponds to the Reissner–Nordström metric (
) when
(note that the signature of our space is
). The existence of
and
is guaranteed if
r is large enough and
. This is an effective restriction when
is positive, but can be totally removed by taking
as negative. As a matter of fact, there is no real reason to choose a specific sign accompanying the electromagnetic stress-energy tensor, since unlike astronomical or cosmological applications, there is no sign actually involved in electromagnetic phenomena. This issue was already discussed in ([
4], p. 128), and can be further reinforced after examining the Kerr–Newman metric [
27], simulating a rotating massive black hole. The metric generalizes the above one and uses a particular coordinates framework, namely the Boyer–Lindquist coordinates. The explicit expression is:
where
,
a is a parameter and
. For brevity, we omitted various dimensional constants. It turns out that, if
is positive in (
29), we get restrictions on
r, bringing to the definition of an “event horizon”. It is also required that
(see [
19], p. 879), which may enforce the mass
M to be rather large. On the other hand, if we now define
, we still get solutions to Einstein’s equation. They correspond to negative values of
, and the restriction becomes milder, i.e.:
. Our suggestion is to adopt the negative sign concerning all tensors that involve the electromagnetic portion of the phenomenon under study.
As a final remark, we propose the full set of modeling equations, including the presence of the magnetic field. They are obtained as in (
11) by imposing
, with
built on the most general electromagnetic tensor
. We have:
with
and
. In addition, we get:
Note that the term
recalls Lorentz’s force. Thus, we are coupling Maxwell’s equations with those ruling fluid dynamics. This is a very classical approach, especially in the framework of plasma physics (see, e.g., [
28]). The crucial difference is that the equations above do not necessarily require the presence of massive particles, and they can survive in a perfect vacuum. One of the advantages is to be able to solve the problem of the radially pulsating charged ball, which cannot otherwise be dealt with with more standard tools.