Matrix Representation Of Maxwell Equations
   HOME

TheInfoList



OR:

In
electromagnetism In physics, electromagnetism is an interaction that occurs between particles with electric charge via electromagnetic fields. The electromagnetic force is one of the four fundamental forces of nature. It is the dominant force in the interacti ...
, a branch of fundamental
physics Physics is the scientific study of matter, its Elementary particle, fundamental constituents, its motion and behavior through space and time, and the related entities of energy and force. "Physical science is that department of knowledge whi ...
, the matrix representations of the
Maxwell's equations Maxwell's equations, or Maxwell–Heaviside equations, are a set of coupled partial differential equations that, together with the Lorentz force law, form the foundation of classical electromagnetism, classical optics, Electrical network, electr ...
are a formulation of Maxwell's equations using
matrices Matrix (: matrices or matrixes) or MATRIX may refer to: Science and mathematics * Matrix (mathematics), a rectangular array of numbers, symbols or expressions * Matrix (logic), part of a formula in prenex normal form * Matrix (biology), the ...
,
complex numbers In mathematics, a complex number is an element of a number system that extends the real numbers with a specific element denoted , called the imaginary unit and satisfying the equation i^= -1; every complex number can be expressed in the form a ...
, and
vector calculus Vector calculus or vector analysis is a branch of mathematics concerned with the differentiation and integration of vector fields, primarily in three-dimensional Euclidean space, \mathbb^3. The term ''vector calculus'' is sometimes used as a ...
. These representations are for a
homogeneous medium In physics, a homogeneous material or system has the same properties at every point; it is uniform without irregularities. (accessed November 16, 2009). Tanton, James. "homogeneous." Encyclopedia of Mathematics. New York: Facts On File, Inc., 2 ...
, an approximation in an inhomogeneous medium. A matrix representation for an inhomogeneous medium was presented using a pair of matrix equations. A single equation using 4 × 4 matrices is necessary and sufficient for any homogeneous medium. For an inhomogeneous medium it necessarily requires 8 × 8 matrices.(Khan, 2002, 2005)


Introduction

Maxwell's equations in the standard vector calculus formalism, in an inhomogeneous medium with sources, are: : \begin & \cdot \left( , t \right) = \rho\, \\ & \times \left( , t \right) - \frac \left( , t \right) = \, \\ & \times \left( , t \right) + \frac \left( , t \right) = 0\, \\ & \cdot \left( , t \right) = 0\,. \end The media is assumed to be
linear In mathematics, the term ''linear'' is used in two distinct senses for two different properties: * linearity of a '' function'' (or '' mapping''); * linearity of a '' polynomial''. An example of a linear function is the function defined by f(x) ...
, that is : = \varepsilon \mathbf\,,\quad \mathbf = \mu \mathbf, where scalar \varepsilon = \varepsilon(\mathbf, t) is the permittivity of the medium and scalar \mu = \mu(\mathbf, t) the permeability of the medium (see
constitutive equation In physics and engineering, a constitutive equation or constitutive relation is a relation between two or more physical quantities (especially kinetic quantities as related to kinematic quantities) that is specific to a material or substance o ...
). For a homogeneous medium \varepsilon and \mu are constants. The
speed of light The speed of light in vacuum, commonly denoted , is a universal physical constant exactly equal to ). It is exact because, by international agreement, a metre is defined as the length of the path travelled by light in vacuum during a time i ...
in the medium is given by :v ( , t) = \frac. In vacuum, \varepsilon_0 =\,8.85 × 10−12 C2·N−1·m−2 and \mu_0 = 4\pi\,× 10−7 H·m−1 One possible way to obtain the required matrix representation is to use the
Riemann–Silberstein vector In mathematical physics, in particular electromagnetism, the Riemann–Silberstein vector or Weber vector named after Bernhard Riemann, Heinrich Martin Weber and Ludwik Silberstein, (or sometimes ambiguously called the "electromagnetic field") is ...
given by : \begin ^ \left( , t \right) & = \frac \left \sqrt\, \left( , t \right) + \,\frac \left( , t \right) \right\\ ^ \left( , t \right) & = \frac \left \sqrt\, \left( , t \right) - \,\frac \left( , t \right) \right,. \end If for a certain medium \varepsilon = \varepsilon(\mathbf, t) and \mu = \mu(\mathbf, t) are scalar constants (or can be treated as ''local'' scalar constants under certain approximations), then the vectors ^(\mathbf, t) satisfy : \begin \,\frac ^\left( , t \right) & = \pm v\, \times ^\left( , t \right) - \frac (\,) \\ \cdot ^\left( , t \right) & = \frac (\rho)\,. \end Thus by using the Riemann–Silberstein vector, it is possible to reexpress the Maxwell's equations for a medium with constant \varepsilon = \varepsilon(\mathbf, t) and \mu = \mu(\mathbf, t) as a pair of constitutive equations.


Homogeneous medium

In order to obtain a single matrix equation instead of a pair, the following new functions are constructed using the components of the Riemann–Silberstein vector :\begin \Psi^ ( , t) & = \left \begin - F_x^ + F_y^ \\ F_z^ \\ F_z^ \\ F_x^ + F_y^ \end \right, \quad \Psi^ ( , t) = \left \begin - F_x^ - F_y^ \\ F_z^ \\ F_z^ \\ F_x^ - F_y^ \end \right,. \end The vectors for the sources are :\begin W^ &= \left(\frac\right) \left \begin - J_x + J_y \\ J_z - v \rho \\ J_z + v \rho \\ J_x + J_y \end \right, \quad W^ = \left(\frac\right) \left \begin - J_x - J_y \\ J_z - v \rho \\ J_z + v \rho \\ J_x - J_y \end \right,. \end Then, :\begin \frac \Psi^ &= - v \left\ \Psi^ - W^\, \\ \frac \Psi^ & = - v \left\ \Psi^ - W^\, \end where * denotes
complex conjugation In mathematics, the complex conjugate of a complex number is the number with an equal real part and an imaginary part equal in magnitude but opposite in sign. That is, if a and b are real numbers, then the complex conjugate of a + bi is a - ...
and the triplet, is a vector whose component elements are abstract 4×4 matricies given by : M_x = \begin 0 & 0 & 1 & 0 \\ 0 & 0 & 0 & 1 \\ 1 & 0 & 0 & 0 \\ 0 & 1 & 0 & 0 \end, : M_y = \begin 0 & 0 & -1 & 0 \\ 0 & 0 & 0 & -1 \\ +1 & 0 & 0 & 0 \\ 0 & +1 & 0 & 0 \end, :M_z = \begin +1 & 0 & 0 & 0 \\ 0 & +1 & 0 & 0 \\ 0 & 0 & -1 & 0 \\ 0 & 0 & 0 & -1 \end \,. The component ''M''-matrices may be formed using: : \Omega = \begin & - \\ & \end \, \qquad \beta = \begin & \\ & - \end\,, where \mathbf I_2 = \begin 1 & 0 \\ 0 & 1 \end \,, from which, get: : M_x = - \beta \Omega, \qquad M_y = \Omega, \qquad M_z = \beta \,. Alternately, one may use the matrix Which only differ by a sign. For our purpose it is fine to use either Ω or ''J''. However, they have a different meaning: ''J'' is contravariant and Ω is covariant. The matrix Ω corresponds to the
Lagrange bracket Lagrange brackets are certain expressions closely related to Poisson brackets that were introduced by Joseph Louis Lagrange in 1808–1810 for the purposes of mathematical formulation of classical mechanics, but unlike the Poisson brackets, have fal ...
s of
classical mechanics Classical mechanics is a Theoretical physics, physical theory describing the motion of objects such as projectiles, parts of Machine (mechanical), machinery, spacecraft, planets, stars, and galaxies. The development of classical mechanics inv ...
and ''J'' corresponds to the
Poisson bracket In mathematics and classical mechanics, the Poisson bracket is an important binary operation in Hamiltonian mechanics, playing a central role in Hamilton's equations of motion, which govern the time evolution of a Hamiltonian dynamical system. Th ...
s. Note the important relation \Omega = J^\,. Each of the four Maxwell's equations are obtained from the matrix representation. This is done by taking the sums and differences of row-I with row-IV and row-II with row-III respectively. The first three give the ''y'', ''x'', and ''z'' components of the
curl cURL (pronounced like "curl", ) is a free and open source computer program for transferring data to and from Internet servers. It can download a URL from a web server over HTTP, and supports a variety of other network protocols, URI scheme ...
and the last one gives the
divergence In vector calculus, divergence is a vector operator that operates on a vector field, producing a scalar field giving the rate that the vector field alters the volume in an infinitesimal neighborhood of each point. (In 2D this "volume" refers to ...
conditions. The
matrices Matrix (: matrices or matrixes) or MATRIX may refer to: Science and mathematics * Matrix (mathematics), a rectangular array of numbers, symbols or expressions * Matrix (logic), part of a formula in prenex normal form * Matrix (biology), the ...
M are all
non-singular Singular may refer to: * Singular, the grammatical number that denotes a unit quantity, as opposed to the plural and other forms * Singular or sounder, a group of boar, see List of animal names * Singular (band), a Thai jazz pop duo *'' Singular ...
and all are
Hermitian {{Short description, none Numerous things are named after the French mathematician Charles Hermite (1822–1901): Hermite * Cubic Hermite spline, a type of third-degree spline * Gauss–Hermite quadrature, an extension of Gaussian quadrature me ...
. Moreover, they satisfy the usual (
quaternion In mathematics, the quaternion number system extends the complex numbers. Quaternions were first described by the Irish mathematician William Rowan Hamilton in 1843 and applied to mechanics in three-dimensional space. The algebra of quater ...
-like) algebra of the
Dirac matrices In mathematical physics, the gamma matrices, \ \left\\ , also called the Dirac matrices, are a set of conventional matrices with specific anticommutation relations that ensure they generate a matrix representation of the Clifford algebra \ \mathr ...
, including, :\begin M_x M_z = - M_z M_x\, \\ M_y M_z = - M_z M_y\, \\ \\ M_x^2 = M_y^2 = M_z^2 = I\, \\ \\ M_x M_y = - M_y M_x = M_z\, \\ M_y M_z = - M_z M_y = M_x\, \\ M_z M_x = - M_x M_z = M_y\,. \end The (Ψ±, M) are ''not'' unique. Different choices of Ψ± would give rise to different M, such that the triplet M continues to satisfy the algebra of the Dirac matrices. The Ψ± ''via'' the Riemann–Silberstein vector has certain advantages over the other possible choices. The Riemann–Silberstein vector is well known in
classical electrodynamics Classical electromagnetism or classical electrodynamics is a branch of physics focused on the study of interactions between electric charges and currents using an extension of the classical Newtonian model. It is, therefore, a classical field th ...
and has certain interesting properties and uses.Bialynicki-Birula (1996b) In deriving the above 4×4 matrix representation of the Maxwell's equations, the spatial and temporal derivatives of ε(r, ''t'') and μ(r, ''t'') in the first two of the Maxwell's equations have been ignored. The ε and μ have been treated as ''local'' constants.


Inhomogeneous medium

In an inhomogeneous medium, the spatial and temporal variations of ε = ε(r, ''t'') and μ = μ(r, ''t'') are not zero. That is they are no longer ''local'' constant. Instead of using ε = ε(r, ''t'') and μ = μ(r, ''t''), it is advantageous to use the two derived ''laboratory functions'' namely the resistance function and the velocity function :\begin \text \, v ( , t) & = \frac \\ \text \, h ( , t) & = \sqrt\,. \end In terms of these functions: :\varepsilon = \frac\,,\quad \mu = \frac. These functions occur in the matrix representation through their
logarithmic derivative In mathematics, specifically in calculus and complex analysis, the logarithmic derivative of a function is defined by the formula \frac where is the derivative of . Intuitively, this is the infinitesimal relative change in ; that is, the in ...
s; :\begin ( , t) & = \frac v ( , t) = \frac \left\ = - \frac \left\ \\ ( , t) &= \frac h ( , t) = \frac \left\\, \end where :n ( , t) = \frac is the
refractive index In optics, the refractive index (or refraction index) of an optical medium is the ratio of the apparent speed of light in the air or vacuum to the speed in the medium. The refractive index determines how much the path of light is bent, or refrac ...
of the medium. The following matrices naturally arise in the exact matrix representation of the Maxwell's equation in a medium :\begin = \left \begin & \\ & \end \right, \qquad = \left \begin & \\ & \end \right, \qquad = \left \begin & \\ & \end \right, \end where Σ are the Dirac spin matrices and α are the matrices used in the
Dirac equation In particle physics, the Dirac equation is a relativistic wave equation derived by British physicist Paul Dirac in 1928. In its free form, or including electromagnetic interactions, it describes all spin-1/2 massive particles, called "Dirac ...
, and σ is the triplet of the
Pauli matrices In mathematical physics and mathematics, the Pauli matrices are a set of three complex matrices that are traceless, Hermitian, involutory and unitary. Usually indicated by the Greek letter sigma (), they are occasionally denoted by tau () ...
: = (\sigma_x , \sigma_y , \sigma_z) = \left \begin 0 & 1 \\ 1 & 0 \end , \begin 0 & - \\ & 0 \end , \begin 1 & 0 \\ 0 & -1 \end \right/math> Finally, the matrix representation is :\begin & \frac \left \begin & \\ & \end \right\left \begin \Psi^ \\ \Psi^ \end \right- \frac \left \begin & \\ & \end \right\left \begin \Psi^ \\ \Psi^ \end \right+ \frac \left \begin & \beta \alpha_y \\ \beta \alpha_y & \end \right\left \begin \Psi^ \\ \Psi^ \end \right\\ & = - v ( , t) \left \begin \left\ & & - \beta \left( \cdot \right) \alpha_y \\ - \beta \left(^ \cdot \right) \alpha_y & \left\ \end \right\left \begin \Psi^ \\ \Psi^ \end \right - \left \begin & \\ & \end \right\left \begin W^ \\ W^ \end \right, \end The above representation contains thirteen 8 × 8 matrices. Ten of these are
Hermitian {{Short description, none Numerous things are named after the French mathematician Charles Hermite (1822–1901): Hermite * Cubic Hermite spline, a type of third-degree spline * Gauss–Hermite quadrature, an extension of Gaussian quadrature me ...
. The exceptional ones are the ones that contain the three components of w(r, ''t''), the logarithmic gradient of the resistance function. These three matrices, for the resistance function are antihermitian. The Maxwell's equations have been expressed in a matrix form for a medium with varying permittivity ε = ε(r, ''t'') and permeability μ = μ(r, ''t''), in presence of sources. This representation uses a single matrix equation, instead of a ''pair'' of matrix equations. In this representation, using 8 × 8 matrices, it has been possible to separate the dependence of the coupling between the upper components (Ψ+) and the lower components (Ψ) through the two laboratory functions. Moreover, the exact matrix representation has an algebraic structure very similar to the Dirac equation. Maxwell's equations can be derived from the
Fermat's principle Fermat's principle, also known as the principle of least time, is the link between geometrical optics, ray optics and physical optics, wave optics. Fermat's principle states that the path taken by a Ray (optics), ray between two given ...
of
geometrical optics Geometrical optics, or ray optics, is a model of optics that describes light Wave propagation, propagation in terms of ''ray (optics), rays''. The ray in geometrical optics is an abstract object, abstraction useful for approximating the paths along ...
by the process of "wavization" analogous to the quantization of
classical mechanics Classical mechanics is a Theoretical physics, physical theory describing the motion of objects such as projectiles, parts of Machine (mechanical), machinery, spacecraft, planets, stars, and galaxies. The development of classical mechanics inv ...
.


Applications

One of the early uses of the matrix forms of the Maxwell's equations was to study certain symmetries, and the similarities with the Dirac equation. The matrix form of the Maxwell's equations is used as a candidate for the Photon Wavefunction. Historically, the
geometrical optics Geometrical optics, or ray optics, is a model of optics that describes light Wave propagation, propagation in terms of ''ray (optics), rays''. The ray in geometrical optics is an abstract object, abstraction useful for approximating the paths along ...
is based on the Fermat's principle of least time. Geometrical optics can be completely derived from the Maxwell's equations. This is traditionally done using the
Helmholtz equation In mathematics, the Helmholtz equation is the eigenvalue problem for the Laplace operator. It corresponds to the elliptic partial differential equation: \nabla^2 f = -k^2 f, where is the Laplace operator, is the eigenvalue, and is the (eigen)fun ...
. The derivation of the Helmholtz equation from the
Maxwell's equations Maxwell's equations, or Maxwell–Heaviside equations, are a set of coupled partial differential equations that, together with the Lorentz force law, form the foundation of classical electromagnetism, classical optics, Electrical network, electr ...
is an approximation as one neglects the spatial and temporal derivatives of the permittivity and permeability of the medium. A new formalism of light beam optics has been developed, starting with the Maxwell's equations in a matrix form: a single entity containing all the four Maxwell's equations. Such a prescription is sure to provide a deeper understanding of beam-optics and
polarization Polarization or polarisation may refer to: Mathematics *Polarization of an Abelian variety, in the mathematics of complex manifolds *Polarization of an algebraic form, a technique for expressing a homogeneous polynomial in a simpler fashion by ...
in a unified manner. The beam-optical Hamiltonian derived from this matrix representation has an algebraic structure very similar to the
Dirac equation In particle physics, the Dirac equation is a relativistic wave equation derived by British physicist Paul Dirac in 1928. In its free form, or including electromagnetic interactions, it describes all spin-1/2 massive particles, called "Dirac ...
, making it amenable to the Foldy-Wouthuysen technique. This approach is very similar to one developed for the quantum theory of charged-particle beam optics.(Jagannathan et al., 1989, Jagannathan, 1990, Jagannathan and Khan 1996, Khan, 1997)


References


Notes


Others

* Bialynicki-Birula, I. (1994). On the wave function of the photon. Acta Physica Polonica A, 86, 97–116. * Bialynicki-Birula, I. (1996a). The Photon Wave Function. In ''Coherence and Quantum Optics VII''. Eberly, J. H., Mandel, L. and
Emil Wolf Emil Wolf (July 30, 1922 – June 2, 2018) was a Czech-born American physicist who made advancements in physical optics, including diffraction, coherence properties of optical fields, spectroscopy of partially coherent radiation, and the theory o ...
(ed.), Plenum Press, New York, 313. * Bialynicki-Birula, I. (1996b)
Photon wave function
in
Progress in Optics Progress is movement towards a perceived refined, improved, or otherwise desired state. It is central to the philosophy of progressivism, which interprets progress as the set of advancements in technology, science, and social organization effic ...
, Vol. XXXVI,
Emil Wolf Emil Wolf (July 30, 1922 – June 2, 2018) was a Czech-born American physicist who made advancements in physical optics, including diffraction, coherence properties of optical fields, spectroscopy of partially coherent radiation, and the theory o ...
. (ed.),
Elsevier Elsevier ( ) is a Dutch academic publishing company specializing in scientific, technical, and medical content. Its products include journals such as ''The Lancet'', ''Cell (journal), Cell'', the ScienceDirect collection of electronic journals, ...
, Amsterdam, 245–294. * Jackson, J. D. (1998). ''Classical Electrodynamics'', Third Edition, John Wiley & Sons.
Jagannathan, R.
, (1990)
Quantum theory of electron lenses based on the Dirac equation
''Physical Review A'', 42, 6674–6689.
Jagannathan, R.
an
Khan, S. A.
(1996)
Quantum theory of the optics of charged particles
In Hawkes Peter, W. (ed.), ''Advances in Imaging and Electron Physics'', Vol. 97, Academic Press, San Diego, pp. 257–358.
Jagannathan, R.
, Simon, R., Sudarshan, E. C. G. and Mukunda, N. (1989)
Quantum theory of magnetic electron lenses based on the Dirac equation
''Physics Letters A'' 134, 457–464.
Khan, S. A.
(1997)
Quantum Theory of Charged-Particle Beam Optics
''Ph.D Thesis'',
University of Madras The University of Madras is a public university, public State university (India), state university in Chennai (Madras), Tamil Nadu, India. Established in 1857, it is one of the oldest and most prominent universities in India, incorporated by an ...
,
Chennai Chennai, also known as Madras (List of renamed places in India#Tamil Nadu, its official name until 1996), is the capital city, capital and List of cities in Tamil Nadu by population, largest city of Tamil Nadu, the southernmost states and ...
,
India India, officially the Republic of India, is a country in South Asia. It is the List of countries and dependencies by area, seventh-largest country by area; the List of countries by population (United Nations), most populous country since ...
. (complete thesis available fro
Dspace of IMSc Library
The Institute of Mathematical Sciences, where the doctoral research was done).
Sameen Ahmed Khan
(2002)
Maxwell Optics: I. An exact matrix representation of the Maxwell equations in a medium
''E-Print'': https://arxiv.org/abs/physics/0205083/.
Sameen Ahmed Khan
(2005)
An Exact Matrix Representation of Maxwell's Equations
''Physica Scripta'', 71(5), 440–442.
Sameen Ahmed Khan
(2006a)
The Foldy-Wouthuysen Transformation Technique in Optics
''Optik-International Journal for Light and Electron Optics''. 117(10), pp. 481–488 http://www.elsevier-deutschland.de/ijleo/.
Sameen Ahmed Khan
(2006b). Wavelength-Dependent Effects in Light Optics. in ''New Topics in Quantum Physics Research'', Editors: Volodymyr Krasnoholovets and Frank Columbus
Nova Science Publishers
New York, pp. 163–204. ( and ).
Sameen Ahmed Khan
(2008)
The Foldy-Wouthuysen Transformation Technique in Optics
In Hawkes Peter, W. (ed.), ''Advances in Imaging and Electron Physics'', Vol. 152,
Elsevier Elsevier ( ) is a Dutch academic publishing company specializing in scientific, technical, and medical content. Its products include journals such as ''The Lancet'', ''Cell (journal), Cell'', the ScienceDirect collection of electronic journals, ...
, Amsterdam, pp. 49–78. ( and ).
Sameen Ahmed Khan
(2010)
Maxwell Optics of Quasiparaxial Beams
''Optik-International Journal for Light and Electron Optics'', 121(5), 408–416. (http://www.elsevier-deutschland.de/ijleo/). * Laporte, O., and Uhlenbeck, G. E. (1931). Applications of spinor analysis to the Maxwell and Dirac Equations. ''Physical Review'', 37, 1380–1397. * Majorana, E. (1974). (unpublished notes), quoted after Mignani, R., Recami, E., and Baldo, M. About a Diraclike Equation for the Photon, According to Ettore Majorana. ''Lettere al Nuovo Cimento'', 11, 568–572. * Moses, E. (1959).Solutions of Maxwell's equations in terms of a spinor notation: the direct and inverse problems. ''Physical Review'', 113(6), 1670–1679. * Panofsky, W. K. H., and Phillips, M. (1962). ''Classical Electricity and Magnetics'', Addison-Wesley Publishing Company, Reading, Massachusetts, USA.
Pradhan, T
(1987)
Maxwell's Equations From Geometrical Optics
IP/BBSR/87-15; ''Physics Letters A'' 122(8), 397–398. *
Ludwig Silberstein Ludwik Silberstein (May 17, 1872 – January 17, 1948) was a Polish-American physicist who helped make special relativity and general relativity staples of university coursework. His textbook '' The Theory of Relativity'' was published by Macmilla ...
. (1907a)
Elektromagnetische Grundgleichungen in bivektorieller Behandlung
Ann. Phys. (Leipzig), 22, 579–586. *
Ludwig Silberstein Ludwik Silberstein (May 17, 1872 – January 17, 1948) was a Polish-American physicist who helped make special relativity and general relativity staples of university coursework. His textbook '' The Theory of Relativity'' was published by Macmilla ...
. (1907b)
Nachtrag zur Abhandlung ber Elektromagnetische Grundgleichungen in bivektorieller Behandlung
Ann. Phys. (Leipzig), 24, 783–784. {{DEFAULTSORT:Maxwell's Equations Electrodynamics Maxwell's equations