Matrix Representation Of Maxwell's Equations
   HOME

TheInfoList



OR:

In
electromagnetism In physics, electromagnetism is an interaction that occurs between particles with electric charge. It is the second-strongest of the four fundamental interactions, after the strong force, and it is the dominant force in the interactions of a ...
, a branch of fundamental
physics Physics is the natural science that studies matter, its 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 which r ...
, 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, and electric circuits. ...
are a formulation of Maxwell's equations using
matrices Matrix most commonly refers to: * ''The Matrix'' (franchise), an American media franchise ** ''The Matrix'', a 1999 science-fiction action film ** "The Matrix", a fictional setting, a virtual reality environment, within ''The Matrix'' (franchis ...
,
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 concerned with differentiation and integration of vector fields, primarily in 3-dimensional Euclidean space \mathbb^3. The term "vector calculus" is sometimes used as a synonym for the broader subject ...
. 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 Linearity is the property of a mathematical relationship (''function'') that can be graphically represented as a straight line. Linearity is closely related to '' proportionality''. Examples in physics include rectilinear motion, the linear r ...
, 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 physical quantities (especially kinetic quantities as related to kinematic quantities) that is specific to a material or substance, and approx ...
). 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 that is important in many areas of physics. The speed of light is exactly equal to ). According to the special theory of relativity, is the upper limit ...
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, then) the complex conjugate of a + bi is equal to 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 physical theory describing the motion of macroscopic objects, from projectiles to parts of machinery, and astronomical objects, such as spacecraft, planets, stars, and galaxies. For objects governed by classical ...
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", UK: , US: ) is a computer software project providing a library (libcurl) and command-line tool (curl) for transferring data using various network protocols. The name stands for "Client URL". History cURL was fi ...
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 quantity of the vector field's source at each point. More technically, the divergence represents the volume density of the ...
conditions. The
matrices Matrix most commonly refers to: * ''The Matrix'' (franchise), an American media franchise ** ''The Matrix'', a 1999 science-fiction action film ** "The Matrix", a fictional setting, a virtual reality environment, within ''The Matrix'' (franchis ...
M are all
non-singular In the mathematical field of algebraic geometry, a singular point of an algebraic variety is a point that is 'special' (so, singular), in the geometric sense that at this point the tangent space at the variety may not be regularly defined. In cas ...
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 meth ...
. 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. Hamilton defined a quatern ...
-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 Cl1,3(\ma ...
, 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 theoretical physics that studies the interactions between electric charges and currents using an extension of the classical Newtonian model; It is, therefore, a classical fie ...
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 ''f'' is defined by the formula \frac where f' is the derivative of ''f''. Intuitively, this is the infinitesimal relative change in ''f''; ...
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 a dimensionless number that gives the indication of the light bending ability of that medium. The refractive index determines how much the path of light is bent, or ...
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- massive particles, called "Dirac part ...
, and σ is the triplet of the
Pauli matrices In mathematical physics and mathematics, the Pauli matrices are a set of three complex matrices which are Hermitian, involutory and unitary. Usually indicated by the Greek letter sigma (), they are occasionally denoted by tau () when used in ...
: = (\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 meth ...
. 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 ray optics and wave optics. In its original "strong" form, Fermat's principle states that the path taken by a ray between two given points is the pat ...
of
geometrical optics Geometrical optics, or ray optics, is a model of optics that describes light propagation in terms of ''rays''. The ray in geometrical optics is an abstraction useful for approximating the paths along which light propagates under certain circumstan ...
by the process of "wavization" analogous to the quantization of
classical mechanics Classical mechanics is a physical theory describing the motion of macroscopic objects, from projectiles to parts of machinery, and astronomical objects, such as spacecraft, planets, stars, and galaxies. For objects governed by classical ...
.


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 propagation in terms of ''rays''. The ray in geometrical optics is an abstraction useful for approximating the paths along which light propagates under certain circumstan ...
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 eigenvalue problem for the Laplace operator is known as the Helmholtz equation. It corresponds to the linear partial differential equation \nabla^2 f = -k^2 f, where is the Laplace operator (or "Laplacian"), is the eigenv ...
. 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, and electric circuits. ...
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 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- massive particles, called "Dirac part ...
, 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 in Optics'' are a series of books edited by Emil Wolf published by Elsevier. They consist of collections of already published review articles A review article is an article that summarizes the current state of understanding on a ...
, 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'', the ScienceDirect collection of electronic journals, '' Trends'', th ...
, 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 (informally known as Madras University) is a public university, public State university (India), state university in Chennai, Tamil Nadu, India. Established in 1857, it is one of the oldest and among the most prestigiou ...
,
Chennai Chennai (, ), formerly known as Madras ( the official name until 1996), is the capital city of Tamil Nadu, the southernmost Indian state. The largest city of the state in area and population, Chennai is located on the Coromandel Coast of th ...
,
India India, officially the Republic of India (Hindi: ), is a country in South Asia. It is the seventh-largest country by area, the second-most populous country, and the most populous democracy in the world. Bounded by the Indian Ocean on the so ...
. (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'', the ScienceDirect collection of electronic journals, '' Trends'', th ...
, 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 (1872 – 1948) was a Polish people, Polish-American physicist who helped make special relativity and general relativity staples of university coursework. His textbook ''List of publications in physics#Special theory of relativi ...
. (1907a)
Elektromagnetische Grundgleichungen in bivektorieller Behandlung
Ann. Phys. (Leipzig), 22, 579–586. *
Ludwig Silberstein Ludwik Silberstein (1872 – 1948) was a Polish people, Polish-American physicist who helped make special relativity and general relativity staples of university coursework. His textbook ''List of publications in physics#Special theory of relativi ...
. (1907b)
Nachtrag zur Abhandlung ber Elektromagnetische Grundgleichungen in bivektorieller Behandlung
Ann. Phys. (Leipzig), 24, 783–784. {{DEFAULTSORT:Maxwell's Equations Electrodynamics Maxwell's equations