PHYSICAL REVIEW E, VOLUME 64, 046610 Poynting's theorem and luminal total energy transport in passive dielectric media Glasgow I M. Ware 2 and J. Peatross Department of Mathematics, Brigham Young University, Provo, Utah 84601 2Department of Physics, Brigham Young University, Provo, Utah 84601 (Received 26 June 2000; revised manuscript received 17 May 2001; published 25 September 2001) Without approximation the energy density in Poynting,s theorem for the generally dispersive and passive dielectric medium is demonstrated to be a system total dynamical energy density. Thus the density in Poynting's theorem is a conserved form that by virtue of its positive definiteness prescribes important quali tative and quantitative features of the medium-field dynamics by rendering the system dynamically closed. This fully three-dimensional result, applicable to anisotropic and inhomogeneous media, is model independent, elying solely on the complex-analytic consequences of causality and passivity. As direct applications of this result, we show ()that a causal medium responds to a virtual, ""instantaneous" field spectrum, (2) that a causal, passive medium supports only a luminal front velocity, (3)that the spatial"center-of-mass"motion of the total dynamical energy is also always luminal and (4) that contrary to (3)the spatial center-of-mass speed of subsets of the total dynamical energy can be arbitrarily large. Thus we show that in passive media super- luminal estimations of energy transport velocity for spatially extended pulses is inextricably associated with incomplete energy accounting DOI:10.1103/ hysRevE64.046610 PACS number(s): 42.25.B . INTRODUCTION superluminal' nature of energy transport in dielectrics do not have series representations that converge in large enough Recently several groups have published the outcomes of intervals to capture the cause of the anomalous behavior experiments in which superluminal electromagnetic pulse This is because these effects are associated with medium propagation has been observed in various senses. These field resonances that are given mathematically by singulari overages have varied from the moderate [l], to the extreme ties in the relevant constitutive relations. Thus, in order to [2]. In most(but not all) of these recent works the authors establish an unambiguous notion of the global properties of have freely expressed the conservative sentiment that noth- energy transport for finite energy medium-field excitations, ing particularly disturbing has occurred with respect to rela- we introduce the moments of various components of the total tivity. Indeed it is well known that all of thethe predictions energy(analogous to a center of mass). Energy naturally of the current classes of superluminal phenomenology have lends itself to this method since expectations are most in- been inspired by classical theory, which is heavily circum- structive when the analog of a probability distribution(i.e,a scribed by the limitations of relativity. One of the purposes positive definite form) is used. With regard to superluminal of the theoretical work presented here is to point out ways in phenomena the evolutions of these various moments are not which these conservative sentiments can be made precise only enlightening and subject to concrete analyst of group is. but also To accomplish this, we address and clarify the central give the relevant and unambiguous generalization issue of energy transport in dissipative/dispersive dielectrics. velocity for arbitrarily complicated pulses [5] (Here we limit to the passive case and address the active case The main results of this paper are given in a theorem and elsewhere [3].)We make these clarifications by introducing a a corollary. The first is given by Eqs.(48)-(50), and the new theorem and an immediate corollary that address the second by Eqs. (88)through(92). Most of this paper is de phenomena of global energy flow in causal media. It is only voted to their development, with only a limited amount of in this global sense that the various authors have ventured to space given to their application. In another publication [3] predict and, recently, to verify superluminal electromagnetic we show how the theorem can be used to precisely (i.e pulse propagation, the local sense having been authorit- quantitatively) explain both the Garrett and McCumber [6] tively proscribed by the theorems of Sommerfeld and Bril- and Chiao [7] effects(as demonstrated through experiment louin [4] almost 85 years ago. (The global theory presented by Chu and Wong [8] and Wang et al. [2], respectively). We here also contains the main implication of the local also discuss elsewhere [9] how the traditional, local concept Sommerfeld-Brillouin theory as an important corollary of energy transport velocity and the global concept of the In order to produce a notion of global energy transport velocity of the energy's spatialcenter-of-mass" both pre hat is unambiguous, we employ the method of moments or scribe upper bounds on the signal velocity expectations(more often seen and used in quantum mechan This paper is organized as follows: in Sec. II we develop ics and kinetic theory than in electromagnetic theory). These Poynting's theorem for a passive dielectric. In Sec. II A we techniques allow one to pass beyond the(often severe)ana- present Maxwells equations and the assumptions that apply lytic limitations of the local analyses usually employed in most generally to a passive linear dielectric. In Sec. II B this area of research. For example, a commonly employed then show how this structure produces a positive definite local tool is the Taylor series. Importantly, many of the ob- form for the total dynamical system energy density. Section jects to which this local tool is applied when analyzing the llc discusses this form and shows how it implies luminal 1063-651X200164(4)/04661014)S20.00 64046610-1 C2001 The American Physical Society
Poynting’s theorem and luminal total energy transport in passive dielectric media S. Glasgow,1 M. Ware,2 and J. Peatross2 1 Department of Mathematics, Brigham Young University, Provo, Utah 84601 2 Department of Physics, Brigham Young University, Provo, Utah 84601 ~Received 26 June 2000; revised manuscript received 17 May 2001; published 25 September 2001! Without approximation the energy density in Poynting’s theorem for the generally dispersive and passive dielectric medium is demonstrated to be a system total dynamical energy density. Thus the density in Poynting’s theorem is a conserved form that by virtue of its positive definiteness prescribes important qualitative and quantitative features of the medium-field dynamics by rendering the system dynamically closed. This fully three-dimensional result, applicable to anisotropic and inhomogeneous media, is model independent, relying solely on the complex-analytic consequences of causality and passivity. As direct applications of this result, we show ~1! that a causal medium responds to a virtual, ‘‘instantaneous’’ field spectrum, ~2! that a causal, passive medium supports only a luminal front velocity, ~3! that the spatial ‘‘center-of-mass’’ motion of the total dynamical energy is also always luminal and ~4! that contrary to ~3! the spatial center-of-mass speed of subsets of the total dynamical energy can be arbitrarily large. Thus we show that in passive media superluminal estimations of energy transport velocity for spatially extended pulses is inextricably associated with incomplete energy accounting. DOI: 10.1103/PhysRevE.64.046610 PACS number~s!: 42.25.Bs I. INTRODUCTION Recently several groups have published the outcomes of experiments in which superluminal electromagnetic pulse propagation has been observed in various senses. These overages have varied from the moderate @1#, to the extreme @2#. In most ~but not all! of these recent works the authors have freely expressed the conservative sentiment that nothing particularly disturbing has occurred with respect to relativity. Indeed it is well known that all of the the predictions of the current classes of superluminal phenomenology have been inspired by classical theory, which is heavily circumscribed by the limitations of relativity. One of the purposes of the theoretical work presented here is to point out ways in which these conservative sentiments can be made precise. To accomplish this, we address and clarify the central issue of energy transport in dissipative/dispersive dielectrics. ~Here we limit to the passive case and address the active case elsewhere @3#.! We make these clarifications by introducing a new theorem and an immediate corollary that address the phenomena of global energy flow in causal media. It is only in this global sense that the various authors have ventured to predict and, recently, to verify superluminal electromagnetic pulse propagation, the local sense having been authoritatively proscribed by the theorems of Sommerfeld and Brillouin @4# almost 85 years ago. ~The global theory presented here also contains the main implication of the local Sommerfeld-Brillouin theory as an important corollary.! In order to produce a notion of global energy transport that is unambiguous, we employ the method of moments or expectations ~more often seen and used in quantum mechanics and kinetic theory than in electromagnetic theory!. These techniques allow one to pass beyond the ~often severe! analytic limitations of the local analyses usually employed in this area of research. For example, a commonly employed local tool is the Taylor series. Importantly, many of the objects to which this local tool is applied when analyzing the ‘‘superluminal’’ nature of energy transport in dielectrics do not have series representations that converge in large enough intervals to capture the cause of the anomalous behavior. This is because these effects are associated with medium- field resonances that are given mathematically by singularities in the relevant constitutive relations. Thus, in order to establish an unambiguous notion of the global properties of energy transport for finite energy medium-field excitations, we introduce the moments of various components of the total energy ~analogous to a center of mass!. Energy naturally lends itself to this method since expectations are most instructive when the analog of a probability distribution ~i.e., a positive definite form! is used. With regard to superluminal phenomena the evolutions of these various moments are not only enlightening and subject to concrete analysis, but also give the relevant and unambiguous generalization of group velocity for arbitrarily complicated pulses @5#. The main results of this paper are given in a theorem and a corollary. The first is given by Eqs. ~48!–~50!, and the second by Eqs. ~88! through ~92!. Most of this paper is devoted to their development, with only a limited amount of space given to their application. In another publication @3# we show how the theorem can be used to precisely ~i.e., quantitatively! explain both the Garrett and McCumber @6# and Chiao @7# effects ~as demonstrated through experiment by Chu and Wong @8# and Wang et al. @2#, respectively!. We also discuss elsewhere @9# how the traditional, local concept of energy transport velocity and the global concept of the velocity of the energy’s spatial ‘‘center-of-mass’’ both prescribe upper bounds on the signal velocity. This paper is organized as follows: in Sec. II we develop Poynting’s theorem for a passive dielectric. In Sec. II A we present Maxwell’s equations and the assumptions that apply most generally to a passive linear dielectric. In Sec. II B we then show how this structure produces a positive definite form for the total dynamical system energy density. Section II C discusses this form and shows how it implies luminal PHYSICAL REVIEW E, VOLUME 64, 046610 1063-651X/2001/64~4!/046610~14!/$20.00 ©2001 The American Physical Society 64 046610-1
S. GLASGOW. M. WARE AND J PEATROSS PHYSICAL REVIEW E 64 046610 front speed without the usual recourse to path integrals, as With both the permittivity and permeability tensors non well as pointing out the crucial distinctions between the dy- trivial (i.e, not proportional to the identity) and depending namic total energy density and the quantity FE D+!. H,(locally) on the spatial coordinate(as well as nonlocally on which is sometimes referred to [10]. In Sec. Ill we present time), we are prepared to analyze inhomogeneous and aniso- he simple corollary to the theorem of Sec. Il B that aug- tropic media with both electric and magnetic effects. The ments the local Sommerfeld-Brillouin theorems by showing development of the total energy density in the following sec. that total energy transport is also globally luminal. Finally, in tion can be greatly simplified leaving out anisotropy, but we Sec IV, and in contrast to the unsurprising results of Sec. Ill, include the more general derivation since interest has re- we show that a certain subset of the total energy can have emerged recently in considering these effects [11, 12] superluminal global transport propertie as is obvious in these constitutive relations. we have adopted the common practice of using the same symbols to IL. POYNTING'S THEOREM AND CONSERVATION denote the fields as well as their temporal Fourier transforms OF TOTAL DYNAMICAL ENERGY distinguishing the two sets only by explicit reference to ther time t or frequency a: for F(r)any one of the original A. Assumptions four fields, we define F(o)via We start with Maxwells equations for the four real mac oscopic fields. These fields are the electric field e(x, n), the electric displacement D(x, 1), the magnetic induction B(x, t) F(o dt e F(r) and the magnetic field H(x, n). x and t denote, respectively, the spatial and temporal coordinates. We currently exclude nd then note the inversion formula he possibility of macroscopic currents so that we are dealing with a true dielectric. The dynamical equations are then(in the Heaviside-Lorentz system of units) F(1) doe f(o D(t)-cV×H(1)=0, (1) Since the original fields are real, the transforms manifest the symmetry F*(o)=F(-O). Via Eqs. (3) and(4), we then see that the permittivity and permeability tensors possess the 一B(1)+cV×E(1)=0 same symmetry:e.g,E(O)=E(-O) In the following, we refer to this symmetry as real symmetry Here and in much of the following we explicitly denote only In addition to assuming the validity of the macroscopic the time coordinate since we assume only temporally nono- Maxwell's equations, we limit the constitutive relations (3) cal constitutive relations -i.e,, we assume temporal but not and(4)to physically reasonable ones via the following three patial dispersion. We assume these relations are, neverthe- assumptions less, local in the frequency domain(stationary in time)and (a) Causality. E(o)-I and u(o)-I are rapidly vanishing and analytic(termwise) in the upper-half complex o plane(I D()=e(u)E(), is the identity tensor). This implies the Kramers-Kronig re- lations. Among these we will need that, for real o, B(o=u(o)H(o) Rele(ol=l E and u are, respectively, the (electric) permittivity and mP/do, mle(a") (magnetic) permeability tensors. Since we currently exclude nonlinear effects, e and u are tensors of rank 2, and since we +o, Im[u(o)] can think of the fields as three-component column vectors, we can interpret these tensors as 3 X3 matrices. The right REi(2。do-0 hand sides of Eqs.(3)and(4)are then interpreted in the Here the symbol P re Note that the permittivity and permeability tensors can Cauchy principal ale ers to the operation of taking the sense of matrix multiplication so depend locally on the space coordinate x (b)Kinetic symmetry. In the absence of a strong, external static magnetic field, we have from near-equilibrium thermo- dynamic considerations [13] that We will suppress this dependence for the time being as it (a)=k(o) (12) does not enter the calculations immediately, but we empha size that this spatial dependence is important in the end to Here and in the following superscript T indicates the trans- achieve finite and, hence, physical total energy ose 046610-2
front speed without the usual recourse to path integrals, as well as pointing out the crucial distinctions between the dynamic total energy density and the quantity 1 2 E•D1 1 2 B•H, which is sometimes referred to @10#. In Sec. III we present the simple corollary to the theorem of Sec. II B that augments the local Sommerfeld-Brillouin theorems by showing that total energy transport is also globally luminal. Finally, in Sec. IV, and in contrast to the unsurprising results of Sec. III, we show that a certain subset of the total energy can have superluminal global transport properties. II. POYNTING’S THEOREM AND CONSERVATION OF TOTAL DYNAMICAL ENERGY A. Assumptions We start with Maxwell’s equations for the four real macroscopic fields. These fields are the electric field E(x,t), the electric displacement D(x,t), the magnetic induction B(x,t), and the magnetic field H(x,t). x and t denote, respectively, the spatial and temporal coordinates. We currently exclude the possibility of macroscopic currents so that we are dealing with a true dielectric. The dynamical equations are then ~in the Heaviside-Lorentz system of units! ] ]t D~t!2c“3H~t!50, ~1! ] ]t B~t!1c“3E~t!50. ~2! Here and in much of the following we explicitly denote only the time coordinate since we assume only temporally nonlocal constitutive relations – i.e., we assume temporal but not spatial dispersion. We assume these relations are, nevertheless, local in the frequency domain ~stationary in time! and also linear: D~v!5eˆ~v!E~v!, ~3! B~v!5mˆ ~v!H~v!. ~4! eˆ and mˆ are, respectively, the ~electric! permittivity and ~magnetic! permeability tensors. Since we currently exclude nonlinear effects, eˆ and mˆ are tensors of rank 2, and since we can think of the fields as three-component column vectors, we can interpret these tensors as 333 matrices. The right hand sides of Eqs. ~3! and ~4! are then interpreted in the sense of matrix multiplication. Note that the permittivity and permeability tensors can also depend locally on the space coordinate x, eˆ5eˆ~x,v!, ~5! mˆ 5mˆ ~x,v!. ~6! We will suppress this dependence for the time being as it does not enter the calculations immediately, but we emphasize that this spatial dependence is important in the end to achieve finite and, hence, physical total energy. With both the permittivity and permeability tensors nontrivial ~i.e., not proportional to the identity! and depending ~locally! on the spatial coordinate ~as well as nonlocally on time!, we are prepared to analyze inhomogeneous and anisotropic media with both electric and magnetic effects. The development of the total energy density in the following section can be greatly simplified leaving out anisotropy, but we include the more general derivation since interest has reemerged recently in considering these effects @11,12#. As is obvious in these constitutive relations, we have adopted the common practice of using the same symbols to denote the fields as well as their temporal Fourier transforms, distinguishing the two sets only by explicit reference to either time t or frequency v: for F(t) any one of the original four fields, we define F(v) via F~v!ª 1 A2p E 2` 1` dt eivt F~t!, ~7! and then note the inversion formula F~t!5 1 A2p E 2` 1` dv e2ivt F~v!. ~8! Since the original fields are real, the transforms manifest the symmetry F*(v)5F(2v*). Via Eqs. ~3! and ~4!, we then see that the permittivity and permeability tensors possess the same symmetry: e.g., eˆ *(v)5eˆ(2v*). In the following, we refer to this symmetry as real symmetry. In addition to assuming the validity of the macroscopic Maxwell’s equations, we limit the constitutive relations ~3! and ~4! to physically reasonable ones via the following three assumptions. ~a! Causality. eˆ(v)2I ˆ and mˆ (v)2I ˆ are rapidly vanishing and analytic ~termwise! in the upper-half complex v plane (I ˆ is the identity tensor!. This implies the Kramers-Kronig relations. Among these we will need that, for real v, Re@eˆ~v!#5I ˆ1 1 p PE 2` 1` dv8 Im@eˆ~v8!# v82v , ~9! Re@mˆ ~v!#5I ˆ1 1 pPE 2` 1` dv8 Im@mˆ ~v8!# v82v . ~10! Here the symbol P refers to the operation of taking the Cauchy principal value. ~b! Kinetic symmetry. In the absence of a strong, external, static magnetic field, we have from near-equilibrium thermodynamic considerations @13# that eˆ T~v!5eˆ~v!, ~11! mˆ T~v!5mˆ ~v!. ~12! Here and in the following superscript T indicates the transpose. S. GLASGOW, M. WARE, AND J. PEATROSS PHYSICAL REVIEW E 64 046610 046610-2
POYNTING'S THEOREM AND LUMINAL TOTAL ENERGY PHYSICAL REVIEW E 64 046610 (c)Passivity. We assume that the spectra p (i. e, the col- and dot the first of our Maxwells equations(1) into the lection of eigenvalues)of the imaginary parts of E and u are electric field E(t), and add to this the result of dotting the positive for positive frequencies o second Eq.(2)into the magnetic field H(t), p{Im[e(o)]}>0 (13) E(t)-D(t)+H()·B()+cV[E(1)×H(t)=0 p{Im[A(o)]}>0 (14) Note that this assumption of passivity combined with the Here we have used the usual identity from vector kinetic symmetry assumption(b)shows that the imaginary calculus, namely that H(D VXE(D-E(0. VXH(D parts of the spectra of e and u are also positive for positive =V.E(OXH()I frequencies(which property we call dissipation) The goal of this section is to express the first two terms in (c)Dissipation. Eq.(21)as the time derivative of a positive definite quantity [quadratic in the electric and magnetic fields, E(n) and H(o)I Im[P{∈(o)}>0 (15) under the assumptions made in the last section. We will iden tify this quantity as the total dynamical energy density, com- Im[p{A(o)}>0. (16) prising recoverable and irrecoverable mechanical energies as well as the energy stored solely in the electromagnetic field At first(c')might seem a more natural definition of passiv- To achieve this goal we temporarily introduce the polariza ity. (E g, in a cry stal the eigenvalues of e give the permit- Heaviside-Lorentz system of units [10) via vectors. The imaginary parts of the eigenvalues then describe absorption. However, we will eventually see that(c) is the P(t):=D(1)-E(t) (22) more useful assumption from the complex-analytic point of view. At any rate, in the case that these tensors encode the (23) electromagnetic properties of a crystal or an isotropic me- Using these to eliminate D(o and B(O) from Eq.(21),we dium, (c) and(c)are equivalent since the eigenvectors of ese tensors can be taken to be real (e.g, the directions of he crystals principle axes). For a discussion of the relation- a ship between what we have called dissipation and what we arI2E(2+2H(O +E() a: P()+H(o ar M(O Using real symmetry, we see that the imaginary parts of e +cV[E(1)×H(t)]=0. (24) and u are odd functions of real frequency o. Consequently according to the passivity property()[Eqs. (13)and(14) As the first term of this expression is manifestly the time we have that for all real frequencies derivative of a positive definite quadratic form in E(t)and H(n), we now need only to recognize the second and third p{oIm[e(a)]}≥0 (17 terms in Eq.(24)as such. To that end we introduce and define the electric and magnetic susceptibility tensors p{ulmA(o)]}≥0, (18) XE(O)=E(o)-I and XH(a):=A(o)-1. The transforms of the polarization and magnetization vectors, P(o) and M(o) with equality possibly holding only at o=0. We use the fact can be expressed locally in terms of the transforms of the that these two tensors are non-negative in order to factor electric and magnetic fields via them and thereby make their spectral properties obvious ere are tensor-valued functions ae o) and aH(o) such P(O)=XEOE(o) hat wImlE(O)]=ado)aEo), (19) 1()=XH(oH(o) Note that from their definitions, and from the relevant prop- o ImU(o)]=ah(o)aHo) (20) erties of the permittivity and permeability tensors [properties for all real frequencies o (a)-(c)] the susceptibility tensors are analytic and rapidly vanishing in the upper half o plane, and also possess prop- erties(b)and(c). They also demonstrate real symmetry B. Derivation of the total dynamical energy density xF(o)=xF-O*). To avoid repetition, here and in the fol lowing F will stand for either e or H. Also. owing to the Here we derive the version of Poynting's theorem rel- symmetry between the two pairs(, E)and(M, H), in the evant to the general assumptions made in the preceding sec- following we abbreviate by only presenting the derivation of tion. To our knowledge, this is the first time that this general the quadratic form associated with the polarization and elec case has been handled correctly. We begin in the usual way tric field. In the end we present the results for both pairs 046610-3
~c! Passivity. We assume that the spectra r ~i.e., the collection of eigenvalues! of the imaginary parts of eˆ and mˆ are positive for positive frequencies v: r$Im@eˆ~v!#%.0, ~13! r$Im@mˆ ~v!#%.0. ~14! Note that this assumption of passivity combined with the kinetic symmetry assumption ~b! shows that the imaginary parts of the spectra of eˆ and mˆ are also positive for positive frequencies ~which property we call dissipation!. (c8) Dissipation. Im@r$eˆ~v!%#.0, ~15! Im@r$mˆ ~v!%#.0. ~16! At first (c8) might seem a more natural definition of passivity. ~E.g., in a crystal the eigenvalues of eˆ give the permittivity in the direction prescribed by the corresponding eigenvectors. The imaginary parts of the eigenvalues then describe absorption.! However, we will eventually see that ~c! is the more useful assumption from the complex-analytic point of view. At any rate, in the case that these tensors encode the electromagnetic properties of a crystal or an isotropic medium, ~c! and (c8) are equivalent since the eigenvectors of these tensors can be taken to be real ~e.g., the directions of the crystal’s principle axes!. For a discussion of the relationship between what we have called dissipation and what we have called passivity see the Appendix. Using real symmetry, we see that the imaginary parts of eˆ and mˆ are odd functions of real frequency v. Consequently, according to the passivity property ~c! @Eqs. ~13! and ~14!#, we have that for all real frequencies r$v Im@eˆ~v!#%>0, ~17! r$v Im@mˆ ~v!#%>0, ~18! with equality possibly holding only at v50. We use the fact that these two tensors are non-negative in order to factor them and thereby make their spectral properties obvious: there are tensor-valued functions aˆ E(v) and aˆ H(v) such that v Im@eˆ~v!#5aˆ E † ~v!aˆ E~v!, ~19! v Im@mˆ ~v!#5aˆ H † ~v!aˆ H~v! ~20! for all real frequencies v. B. Derivation of the total dynamical energy density in Poynting’s theorem Here we derive the version of Poynting’s theorem relevant to the general assumptions made in the preceding section. To our knowledge, this is the first time that this general case has been handled correctly. We begin in the usual way and dot the first of our Maxwell’s equations ~1! into the electric field E(t), and add to this the result of dotting the second Eq. ~2! into the magnetic field H(t), E~t!• ] ]t D~t!1H~t!• ] ]t B~t!1c“•@E~t!3H~t!#50. ~21! Here we have used the usual identity from vector calculus, namely that H(t)•“3E(t)2E(t)•“3H(t) 5“•@E(t)3H(t)#. The goal of this section is to express the first two terms in Eq. ~21! as the time derivative of a positive definite quantity @quadratic in the electric and magnetic fields, E(t) and H(t)# under the assumptions made in the last section. We will identify this quantity as the total dynamical energy density, comprising recoverable and irrecoverable mechanical energies as well as the energy stored solely in the electromagnetic field. To achieve this goal we temporarily introduce the polarization P(t) and magnetization M(t). They are defined ~in the Heaviside-Lorentz system of units @10#! via P~t!ªD~t!2E~t!, ~22! M~t!ªB~t!2H~t!. ~23! Using these to eliminate D(t) and B(t) from Eq. ~21!, we obtain ] ]t S 1 2 iE~t!i 21 1 2 iH~t!i 2 D 1E~t!• ] ]t P~t!1H~t!• ] ]t M~t! 1c“•@E~t!3H~t!#50. ~24! As the first term of this expression is manifestly the time derivative of a positive definite quadratic form in E(t) and H(t), we now need only to recognize the second and third terms in Eq. ~24! as such. To that end we introduce and define the electric and magnetic susceptibility tensors xˆ E(v)ªeˆ(v)2I ˆ and xˆ H(v)ªmˆ (v)2I ˆ. The transforms of the polarization and magnetization vectors, P(v) and M(v), can be expressed locally in terms of the transforms of the electric and magnetic fields via P~v!5xˆ E~v!E~v!, ~25! M~v!5xˆ H~v!H~v!. ~26! Note that from their definitions, and from the relevant properties of the permittivity and permeability tensors @properties ~a!–~c!#, the susceptibility tensors are analytic and rapidly vanishing in the upper half v plane, and also possess properties ~b! and ~c!. They also demonstrate real symmetry: xˆ F *(v)5xˆ F(2v*). ~To avoid repetition, here and in the following F will stand for either E or H. Also, owing to the symmetry between the two pairs (P,E) and (M,H), in the following we abbreviate by only presenting the derivation of the quadratic form associated with the polarization and electric field. In the end we present the results for both pairs.! POYNTING’S THEOREM AND LUMINAL TOTAL ENERGY . . . PHYSICAL REVIEW E 64 046610 046610-3
S. GLASGOW. M. WARE AND J PEATROSS PHYSICAL REVIEW E 64 046610 We next use Eq (25)to eliminate explicit reference to the polarization vector in Eq. (24). To do this, we inverse Fou Relxeo)l (32) rier transform(25)to obtain We can use these relationships between the real and dTGE(t-TE(T) (27) Imaginary parts of the susceptibilities to show that the in- phase and out-of-phase components of the electric and mag- netic convolution kernels are not independent. These two where the convolution kernel GE(t) is defined in terms of the components of the convolution kernels are defined in terms susceptibilityvia d (28) doe Relf(o) (33) We need the time derivative of the polarization. Via Eq(27) G"()=2]- dwe ImL XF(o)] we see that this is obtained through the formula Note that G(o=GF(o+GE(o) aP(=J。 drat gee(-nE( (29) We now show that the in- and out-of-phase components of the convolution kernels are identical for positive argu- ment,i.e, GF(1=GF(0), 1>0. To that end we rewrite (Note: The rapid vanishing of the susceptibilities at large Eq(33)via Eq(32)and obtain frequencies renders the kernels differentiable everywhere but at a single time where they are, fortunately, continuous. Thus exchange of orders of the operations of integration and ImLxF(o)] differentiation is justified. We now use the various properties of the susceptibilities (35) to reduce Eq. (29)to an equivalent expression that can be used to directly demonstrate the conserved energy. The first Exchanging the orders of the integrations(and simplifying), (and usual)simplification is to note that the integral(28)can we obtain be evaluated explicitly for (0)and that, for example, contains a Gg(1)=0;t0. (37) Using this result in Eq.(36) gives (31) The previous formula involves the convolution kernel GE, which is constructed from the susceptibility by Eq(28 ). according to definition (34) In particular, it appears from that construction that both the Our formula allowing us to eliminate the polarization(31) real and imaginary parts of the susceptibility are important. can now be expressed We now show that the convolution kernel can be constructed entirely from the imaginary part of the susceptibility which, in turn, will allow us to use passivity (e) to deduce certain 'A rigorous exchange can be made by writing the Cauchy princi important properties of this kernel. To that end, we note that pal value operation as a limit and by restricting the fields to certain in terms of a susceptibility, the Kramers-Kronig relations physically reasonable function spaces. Similar statements apply to [causality (a)] can be expressed much of what follows 046610-4
We next use Eq. ~25! to eliminate explicit reference to the polarization vector in Eq. ~24!. To do this, we inverse Fourier transform ~25! to obtain P~t!5 E 2` 1` dt Gˆ E~t2t!E~t!, ~27! where the convolution kernel Gˆ E(t) is defined in terms of the susceptibility via Gˆ E~t!ª 1 2pE 2` 1` dv e2ivt xˆ E~v!. ~28! We need the time derivative of the polarization. Via Eq. ~27!, we see that this is obtained through the formula ] ]t P~t!5 E 2` 1` dt ] ]t Gˆ E~t2t!E~t!. ~29! ~Note: The rapid vanishing of the susceptibilities at large frequencies renders the kernels differentiable everywhere but at a single time where they are, fortunately, continuous. Thus the exchange of orders of the operations of integration and differentiation is justified.! We now use the various properties of the susceptibilities to reduce Eq. ~29! to an equivalent expression that can be used to directly demonstrate the conserved energy. The first ~and usual! simplification is to note that the integral ~28! can be evaluated explicitly for t,0. We use Cauchy’s integral theorem with contours constructed from great semicircles in the upper-half v plane, closed along the real axis. Since the susceptibilities are analytic and rapidly vanish with increasing radius in the region enclosed by these contours, it is readily shown that for t,0 the integration over the real interval defining the convolution kernel gives zero: Gˆ E~t!50ˆ; t,0. ~30! (0ˆ indicates the zero matrix.! The formula expressing the time derivative of the polarization vector in terms of the electric field, Eq. ~29!, then reduces to integration up to time t5t: ] ]t P~t!5 E 2` t dt ] ]t Gˆ E~t2t!E~t!. ~31! The previous formula involves the convolution kernel Gˆ E , which is constructed from the susceptibility by Eq. ~28!. In particular, it appears from that construction that both the real and imaginary parts of the susceptibility are important. We now show that the convolution kernel can be constructed entirely from the imaginary part of the susceptibility which, in turn, will allow us to use passivity ~c! to deduce certain important properties of this kernel. To that end, we note that in terms of a susceptibility, the Kramers-Kronig relations @causality ~a!# can be expressed as Re@xˆ F~v!#5 1 p PE 2` 1` dv8 Im@xˆ F~v8!# v82v . ~32! We can use these relationships between the real and imaginary parts of the susceptibilities to show that the inphase and out-of-phase components of the electric and magnetic convolution kernels are not independent. These two components of the convolution kernels are defined in terms of the real and imaginary parts of the susceptibilities via Gˆ F in~t!ª 1 2pE 2` 1` dv e2ivt Re@xˆ F~v!#, ~33! Gˆ F out~t!ª i 2pE 2` 1` dv e2ivt Im@xˆ F~v!#. ~34! Note that Gˆ F(t)5Gˆ F in(t)1Gˆ F out(t). We now show that the in- and out-of-phase components of the convolution kernels are identical for positive argument, i.e., Gˆ F in(t)5Gˆ F out(t), t.0. To that end we rewrite Eq. ~33! via Eq. ~32! and obtain Gˆ F in~t!ª 1 2pE 2` 1` dv e2ivt 1 p PE 2` 1` dv8 Im@xˆ F~v8!# v82v . ~35! Exchanging the orders of the integrations1 ~and simplifying!, we obtain Gˆ F in~t!5 1 2p2 E 2` 1` dv8S PE 2` 1` dv e2ivt v82vD Im@xˆ F~v8!#. ~36! The inner integral can be evaluated via Cauchy’s theorem by use of a large semicircular contour that extends into the lower-half plane ~for t.0) and that, for example, contains a small semicircular dimple excluding the pole at v5v8. Alternatively, one can recognize the integral as a Hilbert transform and consult a table. Either way the result is that PE 2` 1` dv e2ivt v82v 5ipe2iv8t ; t.0. ~37! Using this result in Eq. ~36! gives Gˆ F in~t!5 i 2pE 2` 1` dv8e2iv8t Im@xˆ F~v8!#5:Gˆ F out~t!; t.0, ~38! according to definition ~34!. Our formula allowing us to eliminate the polarization ~31! can now be expressed as 1 A rigorous exchange can be made by writing the Cauchy principal value operation as a limit and by restricting the fields to certain physically reasonable function spaces. Similar statements apply to much of what follows. S. GLASGOW, M. WARE, AND J. PEATROSS PHYSICAL REVIEW E 64 046610 046610-4
POYNTING'S THEOREM AND LUMINAL TOTAL ENERGY PHYSICAL REVIEW E 64 046610 P(1=2 dT-GE (T-TE(T) P(OE(n dol aeo dEe(T) The advantage of this expression over Eq(31)is that the auxiliary field is now related to the electric field only through aas(o)」dreE()(4 the imaginary part of the susceptibility, about which we have the restrictions of passivity().(Recall that we have no di This expression would be an obvious perfect derivative if the ect restriction on the real part of this tensor. vectors that are multiplied were not complex conjugates We are trying to re-express the term E()(alan)P() in However, while the individual terms in the frequency inte (24)so as to recognize it as the derivative of a positive defi- grand are complex, the integration clearly gives a real result. nite quadratic form in the electric field E(n). For uniformity Thus the integrand can be re-expressed in terms of only its of notation between dot products and matrix/tensor products, real part. We write this as we will denote this scalar product by juxtaposition of ad 2 dol ae(o) dreE(T) E(,P(=E(P(=xPOE()(40) X= aeo) dreE(T)+cc In passing from the second to the third expression we have (45) used that the fields are real Using the third form of the expression in Eq (40)and Eq. Here c c. denotes the complex conjugate (39)to eliminate the auxiliary field P, as well as definition This object is now clearly a perfect time derivative to (34)to eliminate the out-of-phase component of the conyo. which the product rule has been applied, and so can be re- lution kernel, we find that the dot product can be expressed written as in terms of only the electric field and the imaginary part of the susceptibility. The formula is 1 P()E(t)= dt 2 P(DE( ×dreE(r) Xe-iof(I-o ImE(JE(TE(t) Here the norm symbol *l indicates that one takes the length of its argument as a complex 3 vector. )This expres- (41) sion is manifestly the time derivative of a positive definite quadratic form in the electric field, albeit nonlocal in time We now remember that, from passivity (c)and real symme- Repeating the above steps for the pair (M, H) we get an try, o ImLxE(o) is a non-negative tensor for all real fre- analogous formula, LEq (19)]and so can be fac M(O H(O do an() P(D)E(1) de dOeTH(T) GE()aEOE(TE(O) We can now express the dispersive, dissipative version of (42) Poynting's theorem(in the absence of macroscopic currents) Emphasizing the spatial dependencies heretofore suppressed Interchanging the orders of integration and rearranging terms this conservation law is in a more symmetric fashion, we get the suggestive form (x,) v·S(x,)=0, P(D)E(1) de dTeTaEOE(T where the energy flux S(x, t) is the usual Poynting vector. XeaEOE(r S(x,)=E(X,D1)×H(x,D) (49) which is immediately recognized as a sum of the Hermitian The total energy density u(x, t)is now somewhat more com- products of various vectors with their derivatives plicated than in the usual case 046610-5
] ]t P~t!52 E 2` t dt ] ]t Gˆ E out~t2t!E~t!. ~39! The advantage of this expression over Eq. ~31! is that the auxiliary field is now related to the electric field only through the imaginary part of the susceptibility, about which we have the restrictions of passivity ~c!. ~Recall that we have no direct restriction on the real part of this tensor.! We are trying to re-express the term E(t)•(]/]t)P(t) in ~24! so as to recognize it as the derivative of a positive defi- nite quadratic form in the electric field E(t). For uniformity of notation between dot products and matrix/tensor products, we will denote this scalar product by juxtaposition of adjoints, E~t!• ] ]t P~t!5E† ~t! ] ]t P~t!5F ] ]t P~t!G † E~t!. ~40! In passing from the second to the third expression we have used that the fields are real. Using the third form of the expression in Eq. ~40! and Eq. ~39! to eliminate the auxiliary field P, as well as definition ~34! to eliminate the out-of-phase component of the convolution kernel, we find that the dot product can be expressed in terms of only the electric field and the imaginary part of the susceptibility. The formula is F ] ]t P~t!G † E~t!5 1 pFE 2` t dt E 2` 1` dv 3e2iv(t2t) v Im@xˆ E~v!#E~t!G † E~t!. ~41! We now remember that, from passivity ~c! and real symmetry, v Im@xˆ E(v)# is a non-negative tensor for all real frequencies @Eq. ~19!# and so can be factored, F ] ]t P~t!G † E~t!5 1 pFE 2` t dt E 2` 1` dv 3e2iv(t2t) aˆ E † ~v!aˆ E~v!E~t!G † E~t!. ~42! Interchanging the orders of integration and rearranging terms in a more symmetric fashion, we get the suggestive form F ] ]t P~t!G † E~t!5 1 pE 2` 1` dvFE 2` t dt eivt aˆ E~v!E~t!G † 3eivt aˆ E~v!E~t!, ~43! which is immediately recognized as a sum of the Hermitian products of various vectors with their derivatives: F ] ]t P~t!G † E~t!5 1 pE 2` 1` dvF aˆ E~v!E 2` t dt eivtE~t!G † 3 ] ]t F aˆ E~v!E 2` t dt eivtE~t!G . ~44! This expression would be an obvious perfect derivative if the vectors that are multiplied were not complex conjugates. However, while the individual terms in the frequency integrand are complex, the integration clearly gives a real result. Thus the integrand can be re-expressed in terms of only its real part. We write this as F ] ]t P~t!G † E~t!5 1 2pE 2` 1` dvHF aˆ E~v!E 2` t dt eivtE~t!G † 3 ] ]t F aˆ E~v!E 2` t dt eivtE~t!G 1c.c.J . ~45! Here c.c. denotes the complex conjugate. This object is now clearly a perfect time derivative to which the product rule has been applied, and so can be rewritten as F ] ]t P~t!G † E~t!5 ] ]t H 1 2pE 2` 1` dvI aˆ E~v! 3 E 2` t dt eivtE~t!I 2 J . ~46! ~Here the norm symbol i*i indicates that one takes the length of its argument as a complex 3 vector.! This expression is manifestly the time derivative of a positive definite quadratic form in the electric field, albeit nonlocal in time. Repeating the above steps for the pair (M,H) we get an analogous formula, S ] ]t M~t!D † H~t!5 ] ]t H 1 2pE 2` 1` dvI aˆ H~v! 3 E 2` t dt eivt H~t!I 2 J . ~47! We can now express the dispersive, dissipative version of Poynting’s theorem ~in the absence of macroscopic currents!. Emphasizing the spatial dependencies heretofore suppressed, this conservation law is ]u~x,t! ]t 1c“•S~x,t!50, ~48! where the energy flux S(x,t) is the usual Poynting vector, S~x,t!5E~x,t!3H~x,t!. ~49! The total energy density u(x,t) is now somewhat more complicated than in the usual case, POYNTING’S THEOREM AND LUMINAL TOTAL ENERGY . . . PHYSICAL REVIEW E 64 046610 046610-5
S. GLASGOW. M. WARE AND J PEATROSS PHYSICAL REVIEW E 64 046610 tant to establish if u is to be interpreted as a meaningful n(x1)=|E(x,l)P2+|H(x,2 dynamical energy density that not only has the units of en- 2 ergy but can also prescribe the qualitative features of system dynamics. Such features include the boundedness(as well as dol ae(x, o) dEe(x, 7) existence and uniqueness) of solutions for all time, the asymptotic state of the solutions, and, since our dynamical equations(1)and(2)constitute a system of wave equations au(x,o) dreH(x, T) (50) the"domain of dependence"of solutions, i.e., the classical side the light cone of compactly supported initial data [4] Here we remind the reader that over real frequencies the a In another publication [3] we discuss in greater detail how tensors are related to the susceptibilities and hence permit- the structure of dynamical energy density(50) suggests a mechanism for the Garrett and Mc Cumber [6 and Chiao effects [7]. For now we limit our discussion to demonstrating E(x, ) ae(x, o)=oImLxE(x, o)]=wIm[E(x, o)-1 that a causal medium responds to virtual frequencies and to giving a very geometric proof of the property of luminal sImlE(x, o)] (51) front velocity. In addition, we discuss the connection be- tween the dynamical energy density(50)and an approximate aj(x, o)an(x,)=Im[Xn(x, o)]=w[u(x, o)- expression often employed (52) 1. The medium responds to a virtual, instantaneous spectrum These last two formulas should also remind the reader that The form of Eq. (50)can be used to explain the phenom- what is required in Eq. (50)is the imaginary parts of the ena by which the leading portion of an electromagnetic pulse spatially varying permittivity and permeability. Thus if, as in the trailing portion [3]. To see that this is possible, rewrite 14], composite media are considered, long range"effec tive''constitutive relations cannot be used to obtain Eq. (50 Eq (50)as but rather recourse to the original, spatially resolved relations must be made. It is only the latter that are guaranteed to n(x,1)=i|E(x,)|2+;|H(x,l)2 satisfy all the requirements of causality. In particular the ef- fective constitutive parameters mentioned in Ref. [14] do not satisfy the high frequency asymptotics of causality (a)ensur- doo[E(x, w; t)Im[E(x, o)JE(x, o; t) ing luminal front velocity. This does not mean that the com- posite media in such constructions are not causal(physically impossible), but only that the formulas for the effective con- +H(x,o t)ImLu(x, JH(x, w t) (54) stitutive relations are approximate, applying only for the low where the instantaneous spectrum at time t, F(x, o, t) Frequencies associated with the long range spatial averaging (F=E or H) is defined by We note that the expression for the current total dynam cal energy density u(x, t) Eq. (50) contains the classical ex- X U dTef(x, T) pression for the(heat)energy eventually dissipated to the medium. Due to propagation, we expect the fields to eventu- ally vanish at any given position x as time t-++oo. Thus via The instantaneous spectrum F(x, o; t)is just the spectrum of Eq. (50)we expect the density of energy ""left behind"(as a modified version of the"signal"F(x, r)truncated or I-+oo) at any given position to be obtained only via the "turned off" at time T=t, third, temporally nonlocal term. (x,7) u(x, +oo)= do o[E (x, o)Im[E(x, o )JE(x, o ;t<了<+∞ (56) This formula is the well known classical expression(53) Note that in the limit t-,00, the instantaneous spectrum Is +H(x, Imu(x,o)H(x,o) imply the Fourier transform of F(x, t) as per Eq.(7). That the energy density in a physical system must depend energy eventually dissipated to the medium [14] on the fields this way is made clear by causality: the energy at a given time t cannot depend on future values of the fields C. Discussion of the total dynamical energy density producing it. It is also clear that the instantaneous spectra can be much broader at certain finite times than at its asymptotic Definition(50) demonstrates that the density represented (t-00)value. In particular it can be shown to be broadest at by u in the conservation law Eq(48)is a positive definite a given position x when the signal achieves its peak value quadratic form in the fields. The positivity property is impor- there-i.e, when truncation produces the greatest disconti- 046610-6
u~x,t!ª1 2 iE~x,t!i 21 1 2 iH~x,t!i 2 1 E 2` 1` dvFI aˆ E~x,v! 1 A2p E 2` t dt eivtE~x,t!I 2 1I aˆ H~x,v! 1 A2p E 2` t dt eivt H~x,t!I 2 G . ~50! Here we remind the reader that over real frequencies the aˆ tensors are related to the susceptibilities and hence permittivity and permeability as follows: aˆ E † ~x,v!aˆ E~x,v!5v Im@xˆ E~x,v!#5v Im@eˆ~x,v!2I ˆ# 5v Im@eˆ~x,v!#, ~51! aˆ H † ~x,v!aˆ H~x,v!5v Im@xˆ H~x,v!#5v Im@mˆ ~x,v!2I ˆ# 5v Im@mˆ ~x,v!#. ~52! These last two formulas should also remind the reader that what is required in Eq. ~50! is the imaginary parts of the spatially varying permittivity and permeability. Thus if, as in @14#, composite media are considered, long range ‘‘effective’’ constitutive relations cannot be used to obtain Eq. ~50!, but rather recourse to the original, spatially resolved relations must be made. It is only the latter that are guaranteed to satisfy all the requirements of causality. In particular the effective constitutive parameters mentioned in Ref. @14# do not satisfy the high frequency asymptotics of causality ~a! ensuring luminal front velocity. This does not mean that the composite media in such constructions are not causal ~physically impossible!, but only that the formulas for the effective constitutive relations are approximate, applying only for the low frequencies associated with the long range spatial averaging that give rise to such formulas ~see also @15#!. We note that the expression for the current total dynamical energy density u(x,t) Eq. ~50! contains the classical expression for the ~heat! energy eventually dissipated to the medium. Due to propagation, we expect the fields to eventually vanish at any given position x as time t→6`. Thus via Eq. ~50! we expect the density of energy ‘‘left behind’’ ~as t→1`) at any given position to be obtained only via the third, temporally nonlocal term, u~x,1`!5 E 2` 1` dv v@E† ~x,v!Im@eˆ~x,v!#E~x,v! 1H† ~x,v!Im@mˆ ~x,v!#H~x,v!#. ~53! This formula is the well known classical expression for the energy eventually dissipated to the medium @14#. C. Discussion of the total dynamical energy density Definition ~50! demonstrates that the density represented by u in the conservation law Eq. ~48! is a positive definite quadratic form in the fields. The positivity property is important to establish if u is to be interpreted as a meaningful dynamical energy density that not only has the units of energy but can also prescribe the qualitative features of system dynamics. Such features include the boundedness ~as well as existence and uniqueness! of solutions for all time, the asymptotic state of the solutions, and, since our dynamical equations ~1! and ~2! constitute a system of wave equations, the ‘‘domain of dependence’’ of solutions, i.e., the classical Sommerfeld-Brillouin result of vanishing of the fields outside the light cone of compactly supported initial data @4#. In another publication @3# we discuss in greater detail how the structure of dynamical energy density ~50! suggests a mechanism for the Garrett and McCumber @6# and Chiao effects @7#. For now we limit our discussion to demonstrating that a causal medium responds to virtual frequencies and to giving a very geometric proof of the property of luminal front velocity. In addition, we discuss the connection between the dynamical energy density ~50! and an approximate expression often employed. 1. The medium responds to a virtual, instantaneous spectrum The form of Eq. ~50! can be used to explain the phenomena by which the leading portion of an electromagnetic pulse exchanges energy with the causal medium differently than the trailing portion @3#. To see that this is possible, rewrite Eq. ~50! as u~x,t!ª1 2 iE~x,t!i 21 1 2 iH~x,t!i 2 1 E 2` 1` dv v@E† ~x,v;t!Im@eˆ~x,v!#E~x,v;t! 1H† ~x,v;t!Im@mˆ ~x,v!#H~x,v;t!#, ~54! where the instantaneous spectrum at time t, F(x,v;t), (F5E or H) is defined by F~x,v;t!ª 1 A2p E 2` t dt eivt F~x,t!. ~55! The instantaneous spectrum F(x,v;t) is just the spectrum of a modified version of the ‘‘signal’’ F(x,t) truncated or ‘‘turned off’’ at time t5t, F~x,t! ; 2`,t,t 0 ; t,t,1`. ~56! @Note that in the limit t→`, the instantaneous spectrum is simply the Fourier transform of F(x,t) as per Eq. ~7!.# That the energy density in a physical system must depend on the fields this way is made clear by causality: the energy at a given time t cannot depend on future values of the fields producing it. It is also clear that the instantaneous spectra can be much broader at certain finite times than at its asymptotic (t→`) value. In particular it can be shown to be broadest at a given position x when the signal achieves its peak value there—i.e., when truncation produces the greatest discontiS. GLASGOW, M. WARE, AND J. PEATROSS PHYSICAL REVIEW E 64 046610 046610-6
POYNTING'S THEOREM AND LUMINAL TOTAL ENERGY PHYSICAL REVIEW E 64 046610 nuity in the truncated signal(56). In this sense, we may say that the medium responds dynamically to"virtualfrequen- time cies, i.e., to frequencies that would be produced if the signal were suddenly turned off. It is as if the causal medium must be prepared for this possibility and responds accordingly The instantaneous spectra contribute in Eq.(54) to the total energy density of the medium-field system through summation over all frequency contributions. Of course, the pe c imaginary parts of the permittivity and permeability are also present in the integrand giving the energy density stored in the medium. The energy reactively stored in the dissipative medium is greatest, then, when the instantaneous spectrum produces the most overlap with the medium resonances L=0 which resonances are given by peaks in the imaginary parts of (the eigenvalues of) the permittivity E and permeability u 3D-space Depending on the detuning of the incident radiation from these resonances (i.e, depending on the asymptotic [-00 value taken on by its instantaneous spectrum) this time of FIG. 1. The space-time"cone"of a spherical region of space greatest energy storage can be before or after the peak of the that is initially free of energy. Three-dimensional space is repre propagating components of the pulse(which are given solely sented by the horizontal dimensions and time proceeds vertically by the fields e and H)have arrived at a specific position x This"temporal"' disparity of energy storage in the medium Given some final time apex, we prescribe an initial time (and subsequent retrieval from the medium)caused by the Ii(t <laper)at which u vanishes inside an x ball of radius mediums response to virtual frequencies then leads to spa- c(lapexr-ti) centered at position xaper tial redistribution of the field energy, giving rise to a(poten tially anomalous) global energy transport mechanism x∈b(x t;) It can be shown, though, that when this spatial redistribu- Here the notation is defined by tion of energy makes the pulse appear to move superlumi nally the redistribution does not constitute a signal in the B(xo, ro):=xx-xoll srl (58) direction of energy transport. Rather the redistribution is due to a change in the form of the energy-a change from me- [Note that in Fig. 1 the coordinates of the cone's apex are dium to field energy, for example. Thus no matter how fast (xaper faper Given this initial state, we can now show that the pulse may appear to move in a global sense(e.g, in the the energy density u, and thus the fields, vanish in the cone sense of center of mass), the associated signal velocities are depicted in Fig. 1, i.e., in the forward light cone defined by lways luminal [3, 9]. In this sense, the anomalous speeds apparently produced by these spatial redistributions are com- mapex, taper)={(x,)川x- kaper‖ pletely analogous to the phenomena in which two detectors can be made to"click" simultaneously regardless of their ≤c(apex-1,1=t≤1apex},(59) separation simply by irradiating them simultaneously with he same source. The clicking of the two detectors in this thereby establishing luminal front velocity example does not, of course, constitute superluminal cor To this end consider the energy in the various x balls munication between those detectors, rather it merely constI- Eut) denote these energies and note they are defined by tutes simultaneous luminal communication between the source and the detectors n(x,1)d2x,t≤t≤tapx A dynamical energy density implies a maximum front speed In this section we show by looking at energy fow that the support of fields satisfying the Maxwell equations (1) and Note also that since u is positive definite, Eu(t) is always (2), with constitutive relations (3)and(4)prescribed by as sumptions(a)-(c), can expand or contract no faster than c non-negative, The velocity of the support is called the front velocity. We E认)≥0 (61) begin by assuming that the total dynamical energy density u as given by Eq (50)is zero in some spherical region of space Now from Eq (57) we learn that E(t)has the initial data at a time ti. We then demonstrate that this initial condition guarantees that u is also zero on the space-time"cone''of E认(t1)=0. slope c with this initial sphere as its base(see Fig. 1). In other words, no energy(and hence no signal) can enter the We now show that Ein does not differ from this initial initial sphere with a speed greater than c.(For a relevant value for as long as it is defined, i.e., for all time t in similar derivation see [16].) [ti, taper]. Differentiating Et) Using Eq.(60)] we get 046610-7
nuity in the truncated signal ~56!. In this sense, we may say that the medium responds dynamically to ‘‘virtual’’ frequencies, i.e., to frequencies that would be produced if the signal were suddenly turned off. It is as if the causal medium must be prepared for this possibility and responds accordingly. The instantaneous spectra contribute in Eq. ~54! to the total energy density of the medium-field system through summation over all frequency contributions. Of course, the imaginary parts of the permittivity and permeability are also present in the integrand giving the energy density stored in the medium. The energy reactively stored in the dissipative medium is greatest, then, when the instantaneous spectrum produces the most overlap with the medium resonances, which resonances are given by peaks in the imaginary parts of ~the eigenvalues of! the permittivity eˆ and permeability mˆ . Depending on the detuning of the incident radiation from these resonances ~i.e., depending on the asymptotic t→` value taken on by its instantaneous spectrum! this time of greatest energy storage can be before or after the peak of the propagating components of the pulse ~which are given solely by the fields E and H) have arrived at a specific position x. This ‘‘temporal’’ disparity of energy storage in the medium ~and subsequent retrieval from the medium! caused by the medium’s response to virtual frequencies then leads to spatial redistribution of the field energy, giving rise to a ~potentially anomalous! global energy transport mechanism. It can be shown, though, that when this spatial redistribution of energy makes the pulse appear to move superluminally the redistribution does not constitute a signal in the direction of energy transport. Rather the redistribution is due to a change in the form of the energy—a change from medium to field energy, for example. Thus no matter how fast the pulse may appear to move in a global sense ~e.g., in the sense of center of mass!, the associated signal velocities are always luminal @3,9#. In this sense, the anomalous speeds apparently produced by these spatial redistributions are completely analogous to the phenomena in which two detectors can be made to ‘‘click’’ simultaneously regardless of their separation simply by irradiating them simultaneously with the same source. The clicking of the two detectors in this example does not, of course, constitute superluminal communication between those detectors, rather it merely constitutes simultaneous luminal communication between the source and the detectors. 2. A dynamical energy density implies a maximum front speed In this section we show by looking at energy flow that the support of fields satisfying the Maxwell equations ~1! and ~2!, with constitutive relations ~3! and ~4! prescribed by assumptions ~a!–~c!, can expand or contract no faster than c. The velocity of the support is called the front velocity. We begin by assuming that the total dynamical energy density u as given by Eq. ~50! is zero in some spherical region of space at a time ti . We then demonstrate that this initial condition guarantees that u is also zero on the space-time ‘‘cone’’ of slope c with this initial sphere as its base ~see Fig. 1!. In other words, no energy ~and hence no signal! can enter the initial sphere with a speed greater than c. ~For a relevant similar derivation see @16#.! Given some final time tapex , we prescribe an initial time ti(ti,tapex) at which u vanishes inside an x ball of radius c(tapex2ti) centered at position xapex : u~x,ti!50, xPB„xapex ,c~tapex2ti!…. ~57! Here the notation is defined by B~x0 ,r0!ª$xuix2x0i0. ~61! Now from Eq. ~57! we learn that EV(t) has the initial data EV~ti!50. ~62! We now show that EV(t) does not differ from this initial value for as long as it is defined, i.e., for all time t in @ti ,tapex#. Differentiating EV(t) @using Eq. ~60!# we get FIG. 1. The space-time ‘‘cone’’ of a spherical region of space that is initially free of energy. Three-dimensional space is represented by the horizontal dimensions and time proceeds vertically. POYNTING’S THEOREM AND LUMINAL TOTAL ENERGY . . . PHYSICAL REVIEW E 64 046610 046610-7
S. GLASGOW. M. WARE AND J PEATROSS PHYSICAL REVIEW E 64 046610 E0= u, (x, dx Wappror(x, t)=5E(x, t).D(x, )+5B(x, t).H(x,t) (x,)d2x;,t=≤t≤t Some texts on classical electrodynamics originally identified (63) Eq.(70)as the total energy density, i.e., as the object con- served in Poynting's theorem(48). Subsequent editions have The boundary term (the second integral)appears since the clarified that the quantity (70)is valid only for the time av- the boundary term appears since the ball's radius decreases strated that the correct object to be considered sad.demon- dimensions of the ball depend on time t. The -c multiplying erage of a single frequency. However, they have not demon- in size as time proceeds forward, and does so at the rate c. total energy density (i.e, a positive definite form indicating The boundary ab[apex, c(tapex-n)] is the surface of the the closed nature of the dynamics) ball embedded at time t(dimension 2) To make a comparison with Eq (50), we eliminate D(x, t) Using the conservation law(48)to eliminate u,(x, t)in and B(x, t) from the expression by way of Eq(22),(39) the first integral, and then using the divergence theorem to (without the time derivatives), and (34)(and the"magnetic exchange the volume integral for a surface integral, one gets analogs of these relations). Writing the result as closely as at Et is determined by the values of certain quantities possible to the form of Eq. (50), we get only on the balls boundary, IS(x, n)n(x E(x,)|2+;|H(x,t) +l(x,)dx,t;≤t≤ taper de(x, o)cE(x, o) Here n(x) is the unit outward normal to the boundary of the Xt)e ball at position xe db(xaper, c(tapert)). In Sec. Ill we show that u(x, t)>S(x, t)l. Since u is positive definite, this establishes the more useful fact that ExT l(x,1)=|a(x,D)=|S(x,t)≥S(x,1)m(x)≥-S(x1)·n(x) (65) +H(x,/e" ior &h(x, o)aH(x,) S(x,D)n(x)+u(x,1)≥0. dreH(x,T)+cc (71) Thus the integrand in Eq.(64) is non-negative and so the energy does not increase, Clearly densities(50)and(71) constitute different quadratic forms in the fields. In particular, whereas the dynamic total E认(1)≤0,t1≤t≤ taper (67) energy density (50) is manifestly positive definite for any field history, the approximate total energy density(71)can Equation(67)together with the initial data(62)demands that be shown to alternate sign for certain physically relevant E认1)≤Et1)=0;t≤t≤ taper (68) examples To illustrate this effect, we here consider the simple case which contradicts the non-negativity of Eu(t) Eq(61)unless of monochromatic electric fields given by E1)=Et)=0,1≤t≤1aper E(x,)=E0(x)e-1+c Since u is positive definite in the fields E(x, n) and (x,n), Eu(t vanishes for time in the indicated interval (In this example we examine only the electric contribution. only if those fields vanish in the cone YXaper, taper).This Also. it is useful to recall the distributional identities together with the causal relationship of the other two fields to hese fields then demands that all four fields vanish in the cone, thereby establishing luminal front velocity e -i(o-w)t drei(o-o)T=lim 0++(a-’) 3. The relationship between the dynamical energy and the From definition(50)it is clear that the dynamical energy density differs from the approximate energy density 046610-8
E˙V~t!5 E B~xapex ,c(tapex2t)… ut~x,t!d3x 2c E ]B~xapex ,c(tapex2t)… u~x,t!d2x; tiiS(x,t)i. Since u is positive definite, this establishes the more useful fact that u~x,t!5uu~x,t!u>iS~x,t!i>uS~x,t!•n~x!u>2S~x,t!•n~x!, ~65! i.e., S~x,t!•n~x!1u~x,t!>0. ~66! Thus the integrand in Eq. ~64! is non-negative and so the energy does not increase, E˙V~t!<0; ti<t<tapex . ~67! Equation ~67! together with the initial data ~62! demands that EV~t!<EV~ti!50; ti<t<tapex , ~68! which contradicts the non-negativity of EV(t) Eq. ~61! unless EV~t!5EV~ti!50; ti<t<tapex . ~69! Since u is positive definite in the fields E(x,t) and H(x,t), EV(t) vanishes for time in the indicated interval only if those fields vanish in the cone V(xapex ,tapex). This together with the causal relationship of the other two fields to these fields then demands that all four fields vanish in the cone, thereby establishing luminal front velocity. 3. The relationship between the dynamical energy and the traditional approximate kinematic energy From definition ~50! it is clear that the dynamical energy density differs from the approximate energy density, uapprox~x,t!ª1 2 E~x,t!•D~x,t!1 1 2 B~x,t!•H~x,t!. ~70! Some texts on classical electrodynamics originally identified Eq. ~70! as the total energy density, i.e., as the object conserved in Poynting’s theorem ~48!. Subsequent editions have clarified that the quantity ~70! is valid only for the time average of a single frequency. However, they have not demonstrated that the correct object to be considered is a dynamical total energy density ~i.e., a positive definite form indicating the closed nature of the dynamics!. To make a comparison with Eq. ~50!, we eliminate D(x,t) and B(x,t) from the expression by way of Eq. ~22!, ~39! ~without the time derivatives!, and ~34! ~and the ‘‘magnetic’’ analogs of these relations!. Writing the result as closely as possible to the form of Eq. ~50!, we get uapprox~x,t! 5 1 2 iE~x,t!i 21 1 2 iH~x,t!i 2 1 i 4pE 2` 1` dvF E† ~x,t!e2ivt aˆ E † ~x,v!aˆ E~x,v! v 3 E 2` t dt eivtE~x,t! 1H† ~x,t!e2ivt aˆ H † ~x,v!aˆ H~x,v! v 3 E 2` t dt eivt H~x,t!G 1c.c. ~71! Clearly densities ~50! and ~71! constitute different quadratic forms in the fields. In particular, whereas the dynamic total energy density ~50! is manifestly positive definite for any field history, the approximate total energy density ~71! can be shown to alternate sign for certain physically relevant examples. To illustrate this effect, we here consider the simple case of monochromatic electric fields given by E~x,t!5E0~x!e2iVt 1c.c. ~72! ~In this example we examine only the electric contribution.! Also, it is useful to recall the distributional identities e2i(v2v8)t E 2` t dt ei(v2v8)t 5 lim e→01 1 e1i~v2v8! 5pd~v2v8!2iPS 1 v2v8 D . ~73! S. GLASGOW, M. WARE, AND J. PEATROSS PHYSICAL REVIEW E 64 046610 046610-8
POYNTING'S THEOREM AND LUMINAL TOTAL ENERGY PHYSICAL REVIEW E 64 046610 Here P[1/(o-o) indicates the Cauchy Principal value 1(+a,Im[e(o)] distribution centered at o=w', and S(o-o)indicates the u(x, t)=Eo(x)+Em(x)2 Dirac 8 function (distribution) also centered at o=w.In- erting the fields(72)into(71), using the relevant versions of the distributional identities(73), and finally the Kramers- 5Eo(x)+Eo(x)Re[E(O)] Kronig relations(32)in reverse, we get(simplifying to the IsotropIc case JE(x, t)l E0(x)E0(x) pa2(x,1)=|Eo(x)Ree(9)]+ ∈(92) the second equality following from Kramers-Kronig for this EO(xEo(x) Isotropic case IIL GLOBAL ENERGY TRANSPORT VELOCITY We investigate the two extreme values of Eq. (74) In previous work, we investigated a certain"temporal ach point x) by limiting Eq (74)to the set of times at which center-of-mass"of an electromagnetic pulse [5]. We found the kinematic density is stationary. At those times(denoted among other things, that this formalism provided a frame- 1) we find that work wherein the classical notion of group velocity was meaningful even for broad-band pulses. The following rep- (x)E6(x) Eo(xEo(x) the weight of recent works on superluminal electromagnetic phenomena(for a"small"" sampling see [17), this issue of (75) the nature of global energy transport that we and others have addressed is clearly not the local one addressed by the (oth Note that both of these quantities are real at those times. The erwise very satisfying) classical Sommerfeld-Brillouin re- lues of the density(74)are then sult. Nevertheless, in the following one will see that, in con- trast to the"temporally oriented'" view of the properties of Appro (x, t )=Eo(x)Re[E(O) global total energy transport reported in [51, patially oriented' view is very much a global generalization of Som- +E(x)E0(x)e-2∈(0).(76) merfeld and Brillouin's local result We begin by defining the position of the total dynamical Using the fact that the second quantity in Eq.(76)is real at energy as the normalized, first spatial moment of the total dynamical energy density hese times. we realize that dxxu(x, t) e-2int+EO(x)E(x)2*(Q) E6(x)E0(x)∈(Q) dxu(x, t) in which case(76) becomes(after simplification) =E-l d'xxu(x,t) (82) approx(x,1)=|E0(x){Rete(9)]±|e(9)}.(78) The integrals are over all space and we have defined the total In Eq.(78)it is now clear that the approximate density does energy not have definite sign so long as Im[le(Q)] is not zero Note that in the limit of static fields, however, the dy E: dxu(x,t lamical and approximate results agree: Using real symmetry whereby Im[ E( )] goes to zero when n does, we see that Having defined the position of the total energy x, (t),we 74)becomes(after some simplification) then define the velocity of the total energy vu(r)in the natu- al way, i.e., by time differentiation of the position M npro (x 1)=2E(x)+E(xlE(0) RelE(o) E(x,)‖2 dx(t) as expected. Using identities(73)the dynamical energy den- Making use of the definition of the position(82)and by use sity(50)becomes, for the fields given in Eq. (72)at n2=0, of Poynting's conservation law(48)we find that 046610-9
Here P@1/(v2v8)# indicates the Cauchy Principal value distribution centered at v5v8, and d(v2v8) indicates the Dirac d function ~distribution! also centered at v5v8. Inserting the fields ~72! into ~71!, using the relevant versions of the distributional identities ~73!, and finally the KramersKronig relations ~32! in reverse, we get ~simplifying to the isotropic case! uapprox~x,t!5iE0~x!i 2Re@eˆ~V!#1 E0 T ~x!E0~x! 2 e22iVt eˆ~V! 1 E0 † ~x!E0 *~x! 2 e12iVt eˆ *~V!. ~74! We investigate the two extreme values of Eq. ~74! ~at each point x) by limiting Eq. ~74! to the set of times at which the kinematic density is stationary. At those times ~denoted ¯t) we find that E0 † ~x!E0 *~x! 2 e12iVt ¯ eˆ *~V!5 E0 T ~x!E0~x! 2 e22iVt ¯ eˆ~V!. ~75! Note that both of these quantities are real at those times. The extreme values of the density ~74! are then uapprox~x, ¯t!5iE0~x!i 2Re@eˆ~V!# 1E0 T ~x!E0~x!e22iVt ¯ eˆ~V!. ~76! Using the fact that the second quantity in Eq. ~76! is real at these times, we realize that e22iVt ¯ 56 E0 † ~x!E0 *~x!eˆ *~V! uE0 T ~x!E0~x!eˆ~V!u , ~77! in which case ~76! becomes ~after simplification! uapprox~x, ¯t!5iE0~x!i 2 $Re@eˆ~V!#6ueˆ~V!u%. ~78! In Eq. ~78! it is now clear that the approximate density does not have definite sign so long as Im@eˆ(V)# is not zero. Note that in the limit of static fields, however, the dynamical and approximate results agree: Using real symmetry, whereby Im@eˆ(V)# goes to zero when V does, we see that Eq. ~74! becomes ~after some simplification! uapprox~x,t!5 Re@eˆ~0!# 2 iE0~x!1E0 *~x!i 25eˆ~0! 2 iE~x,t!i 2, ~79! as expected. Using identities ~73! the dynamical energy density ~50! becomes, for the fields given in Eq. ~72! at V50, u~x,t!51 2 iE0~x!1E0 *~x!i 2 S 11 1 pPE 2` 1` dv Im@eˆ~v!# v20 D 5 1 2 iE0~x!1E0 *~x!i 2Re@eˆ~0!# 5 eˆ~0! 2 iE~x,t!i 2, ~80! the second equality following from Kramers-Kronig for this isotropic case. III. GLOBAL ENERGY TRANSPORT VELOCITY In previous work, we investigated a certain ‘‘temporal center-of-mass’’ of an electromagnetic pulse @5#. We found, among other things, that this formalism provided a framework wherein the classical notion of group velocity was meaningful even for broad-band pulses. The following represents the spatial analog of that work. As is evidenced by the weight of recent works on superluminal electromagnetic phenomena ~for a ‘‘small’’ sampling see @17#!, this issue of the nature of global energy transport that we and others have addressed is clearly not the local one addressed by the ~otherwise very satisfying! classical Sommerfeld-Brillouin result. Nevertheless, in the following one will see that, in contrast to the ‘‘temporally oriented’’ view of the properties of global total energy transport reported in @5#, the ‘‘spatially oriented’’ view is very much a global generalization of Sommerfeld and Brillouin’s local result. We begin by defining the position of the total dynamical energy as the normalized, first spatial moment of the total dynamical energy density, xu~t!ª E d3x x u~x,t! E d3x u~x,t! ~81! 5E 21 E d3x x u~x,t!. ~82! The integrals are over all space and we have defined the total energy Eª E d3x u~x,t!. ~83! Having defined the position of the total energy xu(t), we then define the velocity of the total energy vu(t) in the natural way, i.e., by time differentiation of the position vu~t!ªd xu~t! dt . ~84! Making use of the definition of the position ~82! and by use of Poynting’s conservation law ~48! we find that POYNTING’S THEOREM AND LUMINAL TOTAL ENERGY . . . PHYSICAL REVIEW E 64 046610 046610-9
S. GLASGOW. M. WARE AND J PEATROSS PHYSICAL REVIEW E 64 046610 (x,) IV SUPERLUMINAL GLOBAL TRANSPORT OF v2(1)=-1d3xx-at SUBSETS OF THE TOTAL ENERGY THE LORENTZ MODEL xxv. s( While the global notion of energy transport defined by center-of-mass motion of the total dynamical energy in a passive media is always luminal, global energy transport is not so constrained when only a subset of the total dynamical energy is considered. This indicates that in the global sense, (O=ce-l d'x S(x, n) 7) the root of superluminal behavior is associated with incom- nergy accounting.(Note that via the Sommerfeld- The fact that the magnitude of the velocity so defined Brillouin theorems, it is only in a nonlocal sense that super- al ways bounded by c is now straightforward. Ostensibly it luminal phenomena are not strictly prohibited. In order to simplify the discussion, we consider the amounts to no more than a statement of the fact that the Abraham-Lorentz model of a nonmagnetic [H(x, 1) magnitude of the Poynting vector S(x, 1)=E(X, IXH(x, D)Is =B(x, /] homogeneous, isotropic dielectric with a single al ways less than or equal to the energy density u(x, r) resonance frequency, and consider only one-dimensional so- lutions of the original three-dimensional system. In one vI=ce-1dxE(x,1)×H(x (88) space dimension, we can write the equations as a system of first order partial differential equations, E1dxE(x,1)×H(x,)‖ d-c000 B 2|E(x|2+2|Hx at P (x,D) dxu(x, t) (91) 000 0000|B (92) (x,) In passing from Eq.(89)to Eq.(90) we used Lagrange identity, and in passing from Eq (90)to Eq (91) we used the definition of the total dynamical energy density u(x, t), Eq (50) astly we show that the total dynamical energy's center We note in passing that since the eigenvalues of the first of-mass velocity just derived is a spatial average of the tra- matrix on the right of equation(96)(less the spatial deriva- ditional energy transport velocity. Denote and define the tive) are real, the system is hyperbolic. Furthermore, the u-average of a measurable O(x, t)by theory of hyperbolic partial differential equations dictates that these eigenvalues give the limiting speeds at which sin- gularities propagate so that for this model we already have dxO(x, t)u(x, t) the(luminal) Sommerfeld-Brillouin result for the front ve- O(x,1):= (93) locity[18] dxu(x, t) The scalar permittivity E(o) for this model can be calcu- lated to be the usual prototypical example [10] possessing all of the relevant requirements of causality and passivity Then, with this notation, we see that =(ca/(x)=(e(xD)9 (97) where vd, t) is the traditional energy transport velocity Note that in Eqs. (88)through(91)we also effectively dem- Using the fact that the operator on the right of Eq (96)is onstrated that the traditional energy transport velocity is lu- already in a form in which it can be written as a sum of an minal for passive dielectrics, operator that is skew symmetric and one that is negative definite with respect to the usual inner product, we see that vx,l川≤c (95) Eq.(96)dictates a law of dissipation [similar to the law of conservation(48) simply by expressing the time evolution By more complicated arguments, in Ref [3] we also show of the particular positive definite quadratic form associated hat the same is true for active dielectrics with the(relevant) identity matrix 046610-10
vu~t!5E 21 E d3x x ]u~x,t! ]t ~85! 52c E 21 E d3x x “•S~x,t!. ~86! Integration by parts then gives vu~t!5c E 21 E d3x S~x,t!. ~87! The fact that the magnitude of the velocity so defined is always bounded by c is now straightforward. Ostensibly it amounts to no more than a statement of the fact that the magnitude of the Poynting vector S(x,t)5E(x,t)3H(x,t) is always less than or equal to the energy density u(x,t), ivu~t!i5c E 21 IE d3x E~x,t!3H~x,t!I ~88! <c E 21 E d3xiE~x,t!3H~x,t!i ~89! <c E 21 E d3x H 1 2 iE~x,t!i 21 1 2 iH~x,t!i 2 J ~90! <c E 21 E d3x u~x,t! ~91! 5c E 21 E5c. ~92! In passing from Eq. ~89! to Eq. ~90! we used Lagrange’s identity, and in passing from Eq. ~90! to Eq. ~91! we used the definition of the total dynamical energy density u(x,t), Eq. ~50!. Lastly we show that the total dynamical energy’s centerof-mass velocity just derived is a spatial average of the traditional energy transport velocity. Denote and define the ‘‘u-average’’ of a measurable O(x,t) by ^O~x,t!&uª E d3xO~x,t!u~x,t! E d3xu~x,t! . ~93! Then, with this notation, we see that vu~t!5K S c S u D ~x,t!L u 5^vE~x,t!&u , ~94! where vE(x,t) is the traditional energy transport velocity. Note that in Eqs. ~88! through ~91! we also effectively demonstrated that the traditional energy transport velocity is luminal for passive dielectrics, ivE~x,t!i<c. ~95! By more complicated arguments, in Ref. @3# we also show that the same is true for active dielectrics. IV. SUPERLUMINAL GLOBAL TRANSPORT OF SUBSETS OF THE TOTAL ENERGY: THE LORENTZ MODEL While the global notion of energy transport defined by center-of-mass motion of the total dynamical energy in a passive media is always luminal, global energy transport is not so constrained when only a subset of the total dynamical energy is considered. This indicates that in the global sense, the root of superluminal behavior is associated with incomplete energy accounting. ~Note that via the SommerfeldBrillouin theorems, it is only in a nonlocal sense that superluminal phenomena are not strictly prohibited.! In order to simplify the discussion, we consider the Abraham-Lorentz model of a nonmagnetic @H(x,t) 5B(x,t)# homogeneous, isotropic dielectric with a single resonance frequency, and consider only one-dimensional solutions of the original three-dimensional system. In one space dimension, we can write the equations as a system of first order partial differential equations, ] ]t S E B P Q D ~x,t!5 ] ]x S 0 2c 0 0 2c 0 00 0 0 00 0 0 00 D S E B P Q D ~x,t! 1S 00 0 2vp 00 0 0 00 0 v0 vp 0 2v0 2g D S E B P Q D ~x,t!. ~96! We note in passing that since the eigenvalues of the first matrix on the right of equation ~96! ~less the spatial derivative! are real, the system is hyperbolic. Furthermore, the theory of hyperbolic partial differential equations dictates that these eigenvalues give the limiting speeds at which singularities propagate so that for this model we already have the ~luminal! Sommerfeld-Brillouin result for the front velocity @18#. The scalar permittivity e(v) for this model can be calculated to be the usual prototypical example @10# possessing all of the relevant requirements of causality and passivity, e~v!511 vp 2 2v22igv1v0 2 . ~97! Using the fact that the operator on the right of Eq. ~96! is already in a form in which it can be written as a sum of an operator that is skew symmetric and one that is negative definite with respect to the usual inner product, we see that Eq. ~96! dictates a law of dissipation @similar to the law of conservation ~48!# simply by expressing the time evolution of the particular positive definite quadratic form associated with the ~relevant! identity matrix, S. GLASGOW, M. WARE, AND J. PEATROSS PHYSICAL REVIEW E 64 046610 046610-10