Download Maxwell`s equations in differential forms

Survey
yes no Was this document useful for you?
   Thank you for your participation!

* Your assessment is very important for improving the workof artificial intelligence, which forms the content of this project

Document related concepts

Renormalization wikipedia , lookup

History of general relativity wikipedia , lookup

Photon polarization wikipedia , lookup

Electric charge wikipedia , lookup

Electromagnet wikipedia , lookup

Equations of motion wikipedia , lookup

Four-vector wikipedia , lookup

Spacetime wikipedia , lookup

Electromagnetic mass wikipedia , lookup

Superconductivity wikipedia , lookup

Partial differential equation wikipedia , lookup

History of electromagnetic theory wikipedia , lookup

Nordström's theory of gravitation wikipedia , lookup

Fundamental interaction wikipedia , lookup

Yang–Mills theory wikipedia , lookup

History of quantum field theory wikipedia , lookup

Magnetic monopole wikipedia , lookup

Theoretical and experimental justification for the Schrödinger equation wikipedia , lookup

Electrostatics wikipedia , lookup

Mathematical formulation of the Standard Model wikipedia , lookup

Field (physics) wikipedia , lookup

Lorentz force wikipedia , lookup

Kaluza–Klein theory wikipedia , lookup

Maxwell's equations wikipedia , lookup

Introduction to gauge theory wikipedia , lookup

Aharonov–Bohm effect wikipedia , lookup

Time in physics wikipedia , lookup

Electromagnetism wikipedia , lookup

Transcript
Maxwell’s equations in differential forms
In this article, I will show that Maxwell’s equations can be re-expressed in a very simple
form if we use differential forms. The electromagnetic field can be expressed as a two-form
as follows:
F = (Ex dx + Ey dy + Ez dz) ∧ dt + Bx dy ∧ dz + By dz ∧ dx + Bz dx ∧ dy
(1)
or equivalently,
1
Fµν dxµ ∧ dxν
(2)
2
where Ex , Ey and Ez are the x, y and z components of the electric field, and Bx , By and Bz
F =
are the x, y, and z components of the magnetic field.
Similarly, a dual form ∗F is given as follows:
∗F = −Ex dy ∧ dz − Ey dz ∧ dx − Ez dx ∧ dy + (Bx dx + By dy + Bz dz) ∧ dt
(3)
(* is called “the Hodge star operator” and is described in our article “Vierbein formalism
and Palatini action in general relativity.”)
Finally, we can define the current density of charge as follows:
J = (jx dy ∧ dz + jy dz ∧ dx + jz dx ∧ dy) ∧ dt − ρdx ∧ dy ∧ dz
(4)
where jx , jy , and jz are the x, y, and z components of the charge current density and ρ is
the charge density.
With this notation, Maxwell’s equations can be written as dF = 0 and d ∗ F = J. One
can show this by explicit calculation as follows:
∂Ex
∂Ex
dy ∧ dx ∧ dt +
dz ∧ dx ∧ dt + · · ·
∂y
∂z
∂Ey
∂Ex
∂Bz
~
=(
−
+
)dx ∧ dy ∧ dt + (divB)dx
∧ dy ∧ dz + · · ·
∂x
∂y
∂t
dF =
(5)
Then dF = 0 leads to
~
∂B
=0
∂t
~ =0
divB
~+
curlE
(6)
(7)
or equivalently,
dF =
1
1
1
∂λ Fµν dxλ ∧ dxµ ∧ dxν = ∂ν Fλµ dxν ∧ dxλ ∧ dxµ = ∂µ Fνλ dxµ ∧ dxν ∧ dxλ = 0
2
2
2
1
=
=
1
1
1
dF + dF + dF = 0
3
3
3
1
(∂λ Fµν + ∂ν Fλµ + ∂µ Fνλ )dxλ ∧ dxµ ∧ dxν = 0
6
∂λ Fµν + ∂ν Fλµ + ∂µ Fνλ = 0
(8)
Here we see that the Bianchi identity, introduced in our earlier article “Non-Abelian gauge
theory,” can be used to express half of Maxwell’s equations. Similarly d ∗ F = j leads to
~
∂E
=j
∂t
~ =ρ
divE
~−
curlB
(9)
(10)
or equivalently,
∂ µ Fµν = Jν
(11)
where ∂ µ =(∂ 0 , ∂ 1 , ∂ 2 , ∂ 3 ) is (−∂0 , ∂1 , ∂2 , ∂3 ).
Notice that dJ = 0, since d(d∗F ) = 0 follows from d2 = 0. dJ = 0 implies the conservation
of charge. i.e.
∂ρ
+ div~j = 0
(12)
∂t
Of course, that Maxwell’s equations imply the conservation of charge is well-known, but this
result is much easier to see in the differential form formalism. Another important point is
that the mathematical formula expressing the electromagnetic fields in terms of the electric
potential and the vector potential can also be expressed succinctly in terms of differential
forms as follows:
F = dA
(13)
where A represents the combination of the electric potential and the magnetic potential into
a single electromagnetic potential as
A = −φdt + Ax dx + Ay dy + Az dz
(14)
A = Aν dxν
(15)
or equivalently
Using explicit calculation once again, one obtains the following:
~
∂A
∂t
~
B = curlA
E = −gradφ −
(16)
(17)
or equivalently,
F = dA = ∂µ Aν dxµ ∧ dxν = ∂ν Aµ dxν ∧ dxµ = −∂ν Aµ dxµ ∧ dxν
1
1
1
= dA + dA = (∂µ Aν − ∂ν Aµ )dxµ ∧ dxν
2
2
2
Fµν = ∂µ Aν − ∂ν Aµ
2
(18)
Notice also that, for a given electromagnetic field F , the electromagnetic potential A is
not uniquely determined. Indeed, the corresponding electromagnetic field of the following
electromagnetic potential
A0 = A + dθ
(19)
is the same as the corresponding electromagnetic field of A. (Here, θ is an arbitrary 0-form,
i.e., a function.) One can easily see this by direct calculation:
dA0 = d(A + dθ) = dA + ddθ = dA
(20)
The above formula relating A0 with A is called a “gauge transformation.” In this case, the
electromagnetic potential is also called the “gauge potential,” and “choosing a gauge” means
choosing A among all possible As for a given F . Here, performing gauge transformation
implies choosing another gauge.
Maxwell’s equations are generalized in string theory by using the notation of differential
forms. In string theory, where spacetime is 10-dimensional, the degrees of the electric field
and the magnetic field don’t need to be the same and don’t need to be two, as they are in
four dimensions; depending on the theory, the degrees of the electric and magnetic fields can
take any values from 1 to 10, provided that together they add up to 10, which is the number
of spacetime dimensions in string theory. Notice that in the 4-dimensional case, the degrees
of the electric field and the magnetic field add up to 4, the number of spacetime dimensions
in our daily lives.
3