Weak Wavefront Solutions of Maxwell’s Equations in Conducting Media

Abstract

We analyze the propagation of electromagnetic fronts in unbounded electric conductors. Our analysis is based on the Maxwell model of electromagnetism that includes the displacement current and Ohm’s law in its simplest forms. A weak electromagnetic front is a propagating interface at which the electromagnetic field remains continuous while its first- and higher-order derivatives experience finite jump discontinuities. Remarkably, analysis of such fronts can be performed autonomously, i.e. strictly in terms of the quantities defined on the front. This property opens the possibility of establishing exact analytical solutions of the exact Maxwell system along with the evolution of the front.

Share and Cite:

Grinfeld, M. and Grinfeld, P. (2022) Weak Wavefront Solutions of Maxwell’s Equations in Conducting Media. Journal of Applied Mathematics and Physics, 10, 190-199. doi: 10.4236/jamp.2022.101014.

1. Introduction

Maxwell’s theory of electromagnetism was initially met with skepticism. However, upon Hertz’s experimental verification of some of its key predictions, it began gaining traction and eventually became the dominant model for electricity and magnetism. Subsequently, numerous treatises have been written on Maxwell’s equations which represent the analytical crux of the model.

Maxwell’s equations are a system of four PDEs. The system admits various classes of exact analytical solutions. However, one common shortcoming of many of the exact solutions, typically found in the form infinite series or integral expressions, is their analytical complexity. As a result of this complexity, exact solutions often offer less insight than the original equations themselves. Thus, a class of exact solutions that are free from overwhelming analytical complexity is of great interest. Propagating wavefronts offer an opportunity for such solutions. It is important to note that the value of exact analytical solutions has not diminished since the advent of the computational revolution. On the contrary, their value has increased since they provide a means of testing the validity of numerical methods.

The electromagnetic fields in many of the essential applications of Maxwell’s theory are well described by linearized equations. On the other hand, linear analysis is inadequate for many of the important modern applications, such as nonlinear optics. Needless to say, nonlinear problems pose a much greater challenge—analytically as well as numerically—compared to their linear counterparts. Thus, of particular value are solutions to the nonlinear version of the equations.

In this regard, of considerable interest are exact wavefronts, i.e. moving surfaces along which the electromagnetic field experiences discontinuities. This paper is devoted to weak wavefront solutions, where the electromagnetic field itself is continuous while its derivatives are discontinuous. Pioneering analysis of propagating discontinuities can be found in the monographs by Hadamard [1], Levi-Civita [2], Thomas [3], Luneburg [4], Born and Wolfe [5], and Keller [6].

Exact solutions to Maxwell’s equations, i.e. solutions found without making approximations of any kind, are of great value since they exhibit the essential features of the system that include various symmetries and conservation laws. These critical features are typically not preserved by approximation procedures, such as linearization. Fortunately, while the nonlinearities inherent in Maxwell’s equations pose a considerable challenge in the pursuit of exact solutions, this challenge can be overcome in wavefront solutions.

The key tool in the analysis of wavefronts is compatibility conditions, originally developed by Hadamard [1], Levi-Civita [2], and Thomas [3]. The first systematic approach to compatibility conditions is found Luneburg [4]. Recently, compatibility conditions were employed by the authors of this paper in the analysis of the simple and double layers in potential theory [7], where the interested reader can find further references and historic discussions.

The method of compatibility conditions, though applicable to nonlinear problems, faces its own difficulties and limitations. One of those difficulties stems from the technical complexity of the conditions themselves. As it often happens, tensor calculus proves effective at overcoming numerous of analytical difficulties. We are indebted to Thomas [3] for his crucial contributions to the development of the relevant tensorial methods. The tensorial aspects of the theory of compatibility conditions have been discussed in detail in [8] where the technique received further analytical development.

2. The Master System of Equations

We assume that there are no unbalanced charges within the conductor and consider electric currents I i governed by the Maxwell equations

i E i = 0 (1.1)

i H i = 0 (1.2)

1 c H i t = z i j k j E k (1.3)

E i t + 4 π I i = c z i j k j H k , (1.4)

where c is a speed of light, E i is the electric field, H i is the magnetic field, and I i is the electric current. Furthermore, we assume that the electric field E i and electric current I i are connected by Ohm’s law

I i = σ E i (1.5)

where σ is the electroconductivity constant.

Eliminating the electric current I i in Equations (1.4) and (1.5), we find

E i t + 4 π σ E i = c z i j k j H k . (1.6)

Differentiating Equation (1.6) with respect to t yields

2 E i t 2 + 4 π σ E i t c 2 k k E i = 0 . (1.7)

Similarly, differentiating Equation (1.3) with respect to t yields

1 c 2 H i t 2 = z i j k j E k t . (1.8)

Therefore, according to Equation (1.6),

2 H i t 2 + 4 π σ H i t c 2 k k H i = 0 , (1.9)

as implied by the chain of identities

E k t + 4 π σ E k = c z k .. . m n m H n E k t + 4 π σ E k = c z k .. . m n m H n 1 c 2 H i t 2 = z i j k j ( c z k .. . m n m H n 4 π σ E k ) 1 c 2 H i t 2 = c z i j k z k .. . m n j m H n + 4 π σ z i j k j E k

2 H i t 2 = c 2 ( z i m z j n z i n z j m ) j m H n 4 π σ H i t 2 H i t 2 + 4 π σ H i t = c 2 ( z i m z j n j m H n z i n z j m j m H n ) 2 H i t 2 + 4 π σ H i t = c 2 z j m k k H i

Equations (1.7), (1.9) are sometimes referred to transport equations.

3. Compatibility Conditions for Jump Discontinuities of Derivatives

We assume that there is a smooth weak front Σ inside the conductor, at which the fields E i ( z , t ) , H i ( z , t ) , I i ( z , t ) remain continuous while their first and second spatial and temporal derivatives experience finite jump discontinuities. Let the surface Σ be referred to the Gaussian coordinates ξ α and be described by the equations of the surface z i = z i ( ξ α , t ) . Whenever possible, we will not omit the indices in the function arguments. The tensor z . α i . ( ξ , t ) , defined by the derivatives z . α i . ( ξ , t ) z i ( ξ α , t ) / ξ α is known as the shift tensor. We the help of the shift tensor, we are able to define the surface covariant metric tensor ξ α β ( ξ , t ) z i j ( x ( ξ , t ) ) z . α i . ( ξ , t ) z . β j . ( ξ , t ) . The contravariant surface metric tensor ξ α β ( ξ , t ) is defined as the matrix inverse of ξ α β ( ξ , t ) . We use the surface metric tensors for juggling surface indices as well as for defining the surface covariant differentiation α . Let N i ( ξ , t ) be the unit normal field to Σ , and b α β ( ξ , t ) be the second form of the surface. Let C ( ξ , t ) be the velocity of the front.

Introduce the jump discontinuity vectors f E i ( ξ , t ) , f H i ( ξ , t ) , F E i ( ξ , t ) , F H i ( ξ , t ) as follows:

f E i ( ξ , t ) [ m E i ] + N m , f H i ( ξ , t ) [ m H i ] + N m , F E i ( ξ , t ) [ n m E i ] + N m N n , F H i ( ξ , t ) [ n m H i ] + N m N n (2.1)

With the help of the vectors f E i ( ξ , t ) , f H i ( ξ , t ) , F E i ( ξ , t ) , F H i ( ξ , t ) , we are able to express all components of the first and second derivatives of E i ( z , t ) , H i ( z , t ) in terms of the temporal and surface derivatives of f E i ( ξ , t ) , f H i ( ξ , t ) , F E i ( ξ , t ) , F H i ( ξ , t ) along with the geometrical and kinematical characteristics of the front. In particular, for the first derivatives of the electric and magnetic fields the first-order compatibility conditions read

[ k E i ] + N m = N k f E i , [ E i t ] + = C f E i , [ k H i ] + N m = N k f H i , [ H i t ] + = C f H i (2.2)

For the second-order derivatives, we have

[ k l E i ] + = F E i N k N l + 2 N ( k z l . ) . α α f E i f E i b α β z k α .. z l β .. , [ k E i ( z , t ) t ] + = F E i N k C + δ f E i δ t N k z k . . α α ( C f E i ) , [ 2 E i ( z , t ) t 2 ] + = F E i C 2 2 C δ f E i δ t f E i δ C δ t (2.3)

and

[ k l H i ] + = F H i N k N l + 2 N ( k z l . ) . α α f H i f H i b α β z k α .. z l β .. , [ k H i ( z , t ) t ] + = F H i N k C + δ f H i δ t N k z k . . α α ( C f H i ) , [ 2 H i ( z , t ) t 2 ] + = F H i C 2 2 C δ f H i δ t f H i δ C δ t (2.4)

In Equations (2.3), (2.4), δ / δ t is the symbol of the invariant time-derivative on the moving surface [3] [8] [9].

4. The Velocity of Weak Electromagnetic Fronts and Jump Discontinuity Vectors

Calculating the jump discontinuities of Equations (1.1 - 1.3, 1.6) across a weak front, we find

i [ E i ] + = 0 (3.1)

[ i H i ] + = 0 (3.2)

1 c [ H i t ] + = z i j k [ j E k ] + (3.3)

[ E i t ] + = c z i j k [ j H k ] + , (3.4)

With the help of the first-order compatibility conditions Equation (2.2), we can transform Equations (3.1) - (3.4) as follows:

f E i N i = 0 (3.5)

f H i N i = 0 (3.6)

C c f H i z i j k N j f E k = 0 (3.7)

C c f E i + z i j k N j f H k = 0 (3.8)

Equations (3.5) - (3.8) directly imply that the three vectors f E i , f H i , N i are pairwise orthogonal. Eliminating the magnetic jump discontinuity vector f H i between Equations (3.7), (3.8) and using Equation (3.6), we arrive at a linear equation with respect to the electric jump discontinuity vector, i.e.

( C 2 c 2 ) f E i = 0 . (3.9)

Equation (3.9) implies that the nonvanishing jump vector f E i can exist only if

C = ± c . (3.10)

Meanwhile, Equation (3.10) in concert with Equations (3.5) - (3.8), implies the relationship

f E i f E i = f H i f H i . (3.11)

Let us represent vectors f E i , f H i in the form

f E i = Δ E i ( ξ , t ) A E ( ξ , t ) , f H i = Δ H i ( ξ , t ) A H ( ξ , t ) , (3.12)

where Δ E i , Δ H i are unit vectors known as the directors, and A E , A H are the magnitudes of the jump discontinuity vectors.

Using the decomposition in Equation (3.12), we can rewrite Equation (3.11) in the form

A E 2 = A H 2 . (3.14)

We can arbitrarily choose any orientation of the vector Δ E i in the plane orthogonal the unit vector N i . The associated vector Δ H i should satisfy the relationship

Δ H i = z i j k N j Δ E k (3.15)

The components of the normal are given by the equation

N i = z i j k Δ E j Δ H k (3.16)

We will see later that the choice of the director Δ E i at t = 0 dictates the entire evolution as long as the front remains smooth.

5. Fronts and Rays

It is intuitively clear that if the position of the weak front is known at t = 0 then it can be determined for at all later times since we know that its velocity C = ± c . It is true for the initially smooth front, at least, within a finite interval 0 t t c , where t c is the moment of appearance of caustics at the front [5]. Let S : z i = z i ( ξ , t ) be the Gaussian equation of the front at time t, and let S : z i = z i ( ξ , 0 ) z i ( ξ ) at t = 0 . Let n i ( ξ ) be the field of unit normal vectors of the surface S ( ξ ) . Then the surface S is described by equation of the surface

S : z i ( ξ , t ) = z i ( ξ ) ± c n i ( ξ ) t , (4.1)

where we assume that the ambient coordinate system is affine.

If we fix the moment t, we can treat the function z i = z i ( ξ , t ) in Equation (4.1) as the corresponding position of the front at moment t. At the same time, if we fix the Gaussian coordinates ξ α of a point on the surface, then, with changing t, we get a straight line, called a ray, as shown in Figure 1.

If we choose a certain area d S ( ξ ) on the initial front and consider all the rays emanating from d S ( ξ ) , we get a tube of rays. The area d S , intercepted by the rays emanating from the current surface S differs from d S ( ξ ) if the initial interface is not flat. When the tube is infinitesimally small, the ratio J ( ξ , t ) d S / d S , called the ray’s divergence, satisfies the equation

1 J J t = C b α α . (4.2)

Figure 1. Geometry of rays and front.

Equations (4.1), (4.2) are valid in the case of uniform, isotropic media. Otherwise, they must be replaced with more general relationships [8] [9].

Figure 1 clearly demonstrates that the rays can intersects at t > 0 , beyond which the analysis fails. Extending the analysis beyond this point requires additional physics.

6. Evolution of the Jump Discontinuity Vectors along Rays

We now proceed with calculating the jumps discontinuities of the terms in Equation (1.7). We find

[ 2 E i t 2 ] + + 4 π σ [ E i t ] + c 2 [ k k E i ] + = 0 . (5.1)

Using the compatibility Equations (2.2), (2.3), we find

F E i C 2 2 C δ f E i δ t f E i δ C δ t 4 π σ C f E i c 2 ( F E i f E i b α α ) = 0 (5.2)

If we choose Equation (3.1), then the δ / δ t -derivative coincides with the partial / t -derivative. Using Equation (3.10), we can rewrite Equation (5.2) in the form

2 C δ f E i δ t + f E i δ C δ t + 4 π σ C f E i c 2 f E i b α α = 0 (5.3)

Using Equation (3.10), we can rewrite Equation (5.3) as follows

2 c δ f E i δ t + 4 π σ C f E i c 2 f E i b α α = 0 (5.4)

We the help of the decomposition Equation (3.12), we can rewrite Equation (5.4) in the form

A E t Δ E i + Δ E i t A E + 2 π σ Δ E i A E 1 2 c b α α Δ E i A E = 0 . (5.5)

Contracting Equation (5.5) with the unit vector Δ E i , we find

A E t + 2 π σ A E 1 2 c b α α A E = 0 (5.6)

Using Equation (4.2), we can rewrite Equation (5.6) as

t ( e 4 π σ t J A E 2 ) = 0 , (5.7)

as implied by the following chain of identities:

2 A E t + 4 π σ A E + 1 J J t A E = 0 ln ( J A E 2 ) t + 4 π σ = 0 ( J A E 2 ) t + 4 π σ J A E 2 = 0 t ( e 4 π σ t J A E 2 ) = 0 (5.8)

Contracting Equation (4.5) with unit vector Δ H i , we get

Δ E i t Δ H i = 0 (5.9)

Furthermore, differentiating the identity

Δ E i N i = 0 , Δ E i Δ E i = 1 (5.10)

yields

Δ E i t Δ H i = 0 , Δ E i t Δ E i = 0 . (5.11)

Summarizing, we arrive at the relationship

Δ E i t = 0 (5.12)

In view of Equation (5.8), the directors Δ E i and Δ H i remain the same along each of the rays.

7. Conclusions

We analyzed the propagation of electromagnetic fronts in an unbounded electric conductor with the isotropic electric conductivity constant σ . The weak electromagnetic front is a moving surface at which the electric and magnetic fields remain continuous while their first- and higher-order derivatives experience finite jumps. We demonstrated that all of the discontinuity jumps across the weak front can be expressed in terms of the jump discontinuity vectors along with their derivatives with respect to time and the surface coordinates. In particular, the jumps of all or the first- and second-order derivatives can be expressed in terms of the discontinuity vectors f E i ( ξ , t ) , f H i ( ξ , t ) , F E i ( ξ , t ) , F H i ( ξ , t ) defined by Equation (2.1). The jump discontinuities of the first-order derivatives are given in Equation (2.2), while the jump discontinuities of the second-order derivatives are given by the second-order compatibility conditions in Equation (2.3).

Remarkably, the evolution of the fields f E i ( ξ , t ) , f H i ( ξ , t ) , F E i ( ξ , t ) , F H i ( ξ , t ) can be separated from the analysis of the electric field E i and magnetic field H i in the domains of smoothness. In this sense, the analysis of weak fronts appears to be autonomous. This autonomous character of the weak fronts appears to have tremendous utility since the bulk equation contains four independent variables, whereas the autonomous system only three.

Applying the first-order compatibility Equations (2.2) to the Maxwell system, (1.1) - (1.4) along with Ohm’s law Equation (1.5), we arrived at the linear homogeneous system (3.5) - (3.8). Analysis of Equations (3.5) - (3.8) directly implies that 1) the velocity C of the weak front is equal to ±c, where c is the speed of light in vacuum; 2) The three vectors f E i , f H i , N i are pairwise orthogonal and satisfy the relationship f E i f E i = f H i f H i captured in Equation (3.11), 3) the velocity C of the weak front does not depend on the electroconductivity σ .

The position of the weak front S : z i ( ξ , t ) is defined in an affine coordinate system by the Equation (4.1): z i ( ξ , t ) = z i ( ξ ) ± c n i ( ξ ) t , where S : z i = z i ( ξ , 0 ) z i ( ξ ) at t = 0 and n i ( ξ ) is the field of unit normal vectors of the surface S . If we fix the moment of time t, then we can treat the function z i = z i ( ξ α , t ) in Equation (4.1) as the corresponding position of the front at momentt. At the same time, if we fix a pair of the Gaussian coordinates ξ α then with changingt, we get a straight line, called a ray, as shown in Figure 1. Consequently, z i ( ξ , t ) = z i ( ξ ) ± c n i ( ξ ) t delivers the Gaussian equation of the weak front in the special “ray” coordinates.

Applying the second-order compatibility Equations (2.4) to the transport Equations (1.7), (1.9), we establish our main result ( e 4 π σ t J A E 2 ) / t = 0 in Equation (5.9). This equation describes how the amplitude of the jump discontinuity changes along the ray. It shows that the jump intensity grows when the ray divergence decays and vice versa. Furthermore, there is an additional mechanism of exponential decay due to Ohm’s resistance dissipation. Finally, Equation (5.12) shows that the director vector Δ E i remains constant along the ray.

Ray constructions also appear when considering high frequency asymptotics [4] [5]. However, the method of weak fronts is equally applicable in nonlinear problems, and it is exact rather than asymptotic.

Conflicts of Interest

The authors declare no conflicts of interest regarding the publication of this paper.

References

[1] Hadamard, J. (1903) Leçons sur la Propagation des Ondes et les Équations de l’Hydrodynamique. Hermann.
[2] Levi-Civita, T. (1931) Caratteristiche dei sistemi differenziali e propagazione ondosa. Bologna.
[3] Thomas, Τ.Y. (1958) Plastic Flow and Fracture in Solids. Indiana University Mathematics Journal, 7, 291-322.
https://doi.org/10.1512/iumj.1958.7.57021
[4] Luneburg, R.K. (1964) Mathematical Theory of Optics. University of California Press, Berkeley, California.
https://doi.org/10.1525/9780520328266
[5] Born, M. and Wolfe, E. (1999) Principles of Optics. Cambridge University Press, Cambridge.
https://doi.org/10.1017/CBO9781139644181
[6] Keller, J.B. (1962) Geometrical Theory of Diffraction. Journal of the Optical Society of America, 52, 116-130.
https://doi.org/10.1364/JOSA.52.000116
[7] Grinfeld, M.A. and Grinfeld, P.M. (2021) Second-Order Discontinuities for Simple and Double Layers. Journal of Applied Mathematics and Physics, 9, No. 9.
https://doi.org/10.4236/jamp.2021.99140
[8] Grinfeld, P.M. (2014) Introduction to Tensor Analysis and the Calculus of Moving Surfaces. Springer, Heidelberg, Berlin.
https://doi.org/10.1007/978-1-4614-7867-6
[9] Grinfeld, M.A. (1991) Thermodynamic Methods in the Theory of Heterogeneous Systems.

Copyright © 2024 by authors and Scientific Research Publishing Inc.

Creative Commons License

This work and the related PDF file are licensed under a Creative Commons Attribution 4.0 International License.