Open AccessArticle

A Non-Local Action for Electrodynamics: Duality Symmetry and the Aharonov-Bohm Effect, Revisited

Joan Bernabeu

^1,2 and

Jose Navarro-Salas

^3,*

Physik Department, Ludwig-Maximilians-Universität München, Theresienstraße 37, D-80333 München, Germany

Physik Department, Technische Universität München, James Franck Straße 1, D-85748 Garching, Germany

Departamento de Física Teórica and IFIC, Centro Mixto Universidad de Valencia-CSIC, Facultad de Física, Universidad de Valencia, Valencia, 46100 Burjassot, Spain

Author to whom correspondence should be addressed.

Symmetry 2019, 11(10), 1191; https://doi.org/10.3390/sym11101191

Submission received: 5 September 2019 / Revised: 16 September 2019 / Accepted: 19 September 2019 / Published: 21 September 2019

(This article belongs to the Special Issue Symmetry in Electromagnetism)

Download

Browse Figures

Versions Notes

Abstract

A non-local action functional for electrodynamics depending on the electric and magnetic fields, instead of potentials, has been proposed in the literature. In this work we elaborate and improve this proposal. We also use this formalism to confront the electric-magnetic duality symmetry of the electromagnetic field and the Aharonov–Bohm effect, two subtle aspects of electrodynamics that we examine in a novel way. We show how the former can be derived from the simple harmonic oscillator character of vacuum electrodynamics, while also demonstrating how the magnetic version of the latter naturally arises in an explicitly non-local manner.

Keywords:

non-local action; electrodynamics; electromagnetic duality symmetry; Aharonov-Bohm effect

1. Introduction

Locality is a preferred virtue of fundamental field theories. Electrodynamics, the paradigm of field theory, and general relativity, the modern and finest description of gravity, are very important examples. Both theories are consistent with local causality and the conservation of energy and momentum. Maxwell’s and Einstein’s equations are systems of partial differential equations for their fundamental fields: the electromagnetic and metric tensors, respectively. The two sets of field equations can also be derived from an action functional. The Hilbert-Einstein action itself is also local in the metric field. However, to derive the Maxwell equations from a local action one has to introduce the electromagnetic potentials. To construct an action depending exclusively on gauge invariant quantities one must necessarily sacrifice locality. This issue is very rarely treated in the literature, despite of the fact that it is a question that may naturally arise in graduate courses on basic field theory and classical electrodynamics (see, for instance [1,2] and references therein). Within the context of constrained dynamical systems [3,4,5], a non-local action functional describing Maxwell theory, dependent on the electric and magnetic fields, was sketched in Ref. [6]. In this paper we will focus on this proposal and related aspects of quantum mechanics and the theory of Noether’s symmetries.

As remarked above, electrodynamics is commonly formulated in terms of Hamilton’s variational principle through the action functional

S [A^{μ}] = \int d^{4} x L_{EM}

, where the Lagrangian density for the electromagnetic field in the presence of an external current source

J^{μ} \equiv (ρ, J)

, is given by [7,8]

L_{EM} \equiv - \frac{1}{4} F_{μ ν} F^{μ ν} - A^{μ} J_{μ} .

(1)

The action is regarded as a functional of the 4-vector potential

A^{μ} = (A^{0}, A)

, where

F^{μ ν} \equiv \partial^{μ} A^{ν} - \partial^{ν} A^{μ}

is the electromagnetic field tensor.

E^{i} = - F^{0 i}

and

B^{i} = - \frac{1}{2} ϵ^{i j k} F^{j k}

are the components of the electric and magnetic fields (

E

and

B

), respectively, and the metric

η = diag (1, - 1, - 1, - 1)

was used to lower and raise indices in

J_{μ}

F_{μ ν}

, and

\partial^{μ}

(e.g.,

J_{μ} = η_{μ ν} J^{ν}

). [Throughout this work we use Lorentz-Heaviside units and take

c = 1

. We also assume the Einstein summation convention for repeated indices and

ϵ^{123} = 1

. Additionally, greek letter indices refer to time and Cartesian space coordinates whereas latin letter indices only refer to the latter. Furthermore, simultaneous spacetime points are labelled as

x \equiv (t, x)

and

x^{'} \equiv (t, x^{'})

. Finally, it is assumed that all fields decay to 0 at infinity.]

The inhomogeneous Maxwell equations

\nabla \times B - \partial_{t} E = J,

(2)

\nabla \cdot E = ρ,

(3)

are obtained by varying the action with respect to

δ A^{μ}

and imposing

δ S = 0

. One gets immediately

\partial_{μ} (\partial^{μ} A^{ν} - \partial^{ν} A^{μ}) = J^{ν}

, and rewriting the potential in terms of the electric and magnetic fields, Gauss’ law (3) and the Ampere-Maxwell equation (2) are readily obtained. The fact that (2) and (3) only hold on-shell (i.e., when the Euler-Lagrange equations for

A^{μ}

hold) contrasts with the off-shell nature of the homogeneous Maxwell equations

\nabla \times E + \partial_{t} B = 0,

(4)

\nabla \cdot B = 0,

(5)

which are trivially satisfied by the definition of

F^{μ ν}

in terms of the potentials, or equivalently

E = - \nabla A^{0} - \frac{\partial}{\partial t} A, B = \nabla \times A

in vector notation. This distinction between two types of Maxwell equations can seem somewhat forced, as in essence it is only due to the choice of

A^{μ}

as the field of the action functional. Nevertheless, it is the price to be paid to deal with a local action, i.e., one where

L_{EM}

depends on the value of

A^{μ} (x)

and finitely many derivatives at a single spacetime point x.

An alternative local action functional is given by [2]

S [A_{μ}, F_{μ ν}] = \int d^{4} x [\frac{1}{4} F_{μ ν} F^{μ ν} - \frac{1}{2} F^{μ ν} (\partial_{μ} A_{ν} - \partial_{ν} A_{μ}) - A^{μ} J_{μ}] .

(6)

F_{μ ν}

and

A_{μ}

are here considered to be completely independent dynamical variables. The equation of motion for

F_{μ ν}

F_{μ ν} = \partial_{μ} A_{ν} - \partial_{ν} A_{μ}

, and plugging this into the action (6) one gets the standard action

S [A^{μ}] = \int d^{4} x L_{EM}

. This alternative first-order action (6) is very efficient to prove [2] that the covariant Feynman rules for quantum electrodynamics obtained from the functional integral approach are indeed equivalent to the rules derived within the canonical formalism.

The use of potentials in (1) is also useful to study electrodynamics with matter sources. Recycling the field-matter interaction term

- A^{μ} J_{μ}

present in (1), inserting the charge distribution (the dot refers to a total time derivative)

ρ (x^{'}) = e δ^{3} (x (t) - x^{'}) and J (x^{'}) = e \dot{x} (t) δ^{3} (x (t) - x^{'}),

(7)

and adding a kinetic energy term, the standard Lagrangian that describes the motion of a non-relativistic particle of mass m and charge e within an external electromagnetic field,

L_{p} = \frac{1}{2} m {\dot{x}}^{2} + e A \cdot \dot{x} - e A^{0},

(8)

is recovered. Despite the fact that the action

S_{p} [x] = \int d t L_{p}

is explicitly dependent on the potentials, the equations of motion, which in this case are just the Lorentz force

m \ddot{x} = e (E + \dot{x} \times B),

(9)

can be expressed solely in terms of the electromagnetic field, similarly to the case of Equations (2) and (3) with respect to the action S. Consequently, in classical mechanics where

δ S_{p} = 0

strictly defines the dynamics of the particle, this formulation does not pose anything more than possibly an aesthetic nuisance. However, in the context of quantum mechanics, where the contribution of trajectories with

δ S_{p} \neq 0

to the path integral is not negligible [9], this formulation does become an issue with the interpretation of the Aharonov–Bohm (AB) effect [10,11,12,13,14].

As mentioned above, the first aim of this paper is to study the non-local formulation suggested by Jackiw [6]. It is of first-order in time derivatives, but spatially non-local. We will elaborate on this proposal finding a slightly more simplified expression for the action functional than that originally proposed [6] (see the comments after Equation (29)). This alternative non-local action turns out to be very efficient to analyze the electric-magnetic duality symmetry of free electrodynamics, and, as a bonus, to gain new insights on the AB effect.

2. The Free Non-Local (Duality Invariant) Action

A wide family of first-order Lagrangians in classical mechanics can be expressed as

L = ω_{i j} {\dot{q}}^{i} p^{j} - H (q, p),

(10)

where the constants

ω_{i j}

are the components of the off-diagonal block term of the symplectic tensor

Ω = (\begin{matrix} 0 & ω \\ - ω & 0 \end{matrix})

(11)

and

H (q, p)

is the system’s Hamiltonian [3,6]. As the notation hints,

q = {q^{i}}

and

p = {p^{i}}

are the sets of (phase space) variables. If

ω

has an inverse

ω^{- 1}

, then their brackets are simply

{q^{i}, p^{j}} \equiv ω^{i j}

(

{q^{i}, q^{j}} = {p^{i}, p^{j}} = 0

), where

ω^{i j}

are the components of

ω^{- 1}

. The conventional choice for simple Hamiltonian systems is

ω_{i j} = δ_{i j}

, and hence q and p are canonically conjugate variables with

{q^{i}, p^{j}} = δ^{i j}

. However, when

ω

is not invertible, one typically faces a constrained system, examples of which we give below.

The Lagrangian (10) can be generalized to a Lagrangian density for the context of field theory. Besides summing over the discrete degrees of freedom in the non-Hamiltonian component of (10), one must also sum over (i.e., integrate) the continuous degrees of freedom. Thus, the Lagrangian density of the conjugate fields

ϕ

and

π

can be expressed in terms of the Hamiltonian density

H (ϕ, π)

L = \int d^{3} x^{'} ω_{i j} (x, x^{'}) \partial_{t} ϕ^{i} (x) π^{j} (x^{'}) - H (ϕ, π)

(12)

with

{ϕ^{i} (x), π^{j} (x^{'})} \equiv ω^{i j} (x, x^{'})

, if

ω

is invertible. The most conventional choice for

ω

in field theory is

ω_{i j} (x, x^{'}) = δ_{i j} δ^{3} (x - x^{'})

, which leads to the local Lagrangian density

L = \partial_{t} ϕ^{i} (x) π^{j} (x) - H (ϕ, π)

. For

H (ϕ, π) = \frac{1}{2} (π^{2} + {(\nabla ϕ)}^{2}) + \frac{1}{2} m^{2} ϕ^{2}

(13)

we have the usual free scalar Klein-Gordon theory, with field equations

\partial_{t} ϕ = π

and

\partial_{t} π = (\nabla^{2} - m^{2}) ϕ

, which easily combine into the Klein-Gordon wave equation

(\partial_{t}^{2} - \nabla^{2} + m^{2}) ϕ = 0

, consistent with

{ϕ^{i} (x), π^{j} (x^{'})} = δ^{i j} δ^{3} (x - x^{'})

A more involved example is given by taking

ω_{i j} (x, x^{'})

as the divergenceless or transverse delta function

ω_{i j} (x, x^{'}) = δ_{i j}^{T} (x - x^{'}) \equiv δ_{i j} δ^{3} (x - x^{'}) + \partial_{i} \partial_{j} \frac{1}{4 π | x - x^{'} |} .

(14)

It is convenient to briefly recall here that a generic vector field

F

always decomposes univocally [15] into a transverse vector

F_{T}

, obeying

\nabla \cdot F_{T} = 0

, plus a longitudinal one

F_{L}

, with

\nabla \times F_{L} = 0

. The transverse delta can then be used to project the transverse component,

\int d^{3} x^{'} δ_{i j}^{T} (x - x^{'}) F^{j} (x^{'}) = F_{T}^{i} (x) .

(15)

Choosing the variables to be vector fields

ϕ \to E

π \to A

with a Hamiltonian density given by

H_{0} (E, A) = \frac{1}{2} [(E^{2} + {(\nabla \times A)}^{2}],

(16)

then the (non-local) Lagrangian density reads

L_{0} = \int d^{3} x^{'} δ_{i j}^{T} (x - x^{'}) \partial_{t} E^{i} (x) A^{j} (x^{'}) - H_{0} (E, A) .

(17)

In contrast with the Klein-Gordon example, this Lagrangian density, due to the extra contribution to the delta function, cannot be reduced to a local one in terms of the chosen fields

E, A

. Furthermore, Equation (17) is invariant under gauge transformations

A^{'} = A + \nabla ξ

. By taking variations and assuming the appropriate boundary conditions one obtains the field equations

E^{i} = - \int d^{3} x^{'} δ_{i j}^{T} (x - x^{'}) \partial_{t} A^{j} (x^{'}) = - \partial_{t} A_{T}^{i},

(18)

{[\nabla \times (\nabla \times A)]}^{i} = \int d^{3} x^{'} δ_{i j}^{T} (x - x^{'}) \partial_{t} E^{j} (x^{'}) = \partial_{t} E_{T}^{i} .

(19)

However, after some manipulations one can transform the above equations into the following set of local field equations

\partial_{t} E = \nabla \times (\nabla \times A), \nabla \times E + \partial_{t} (\nabla \times A) = 0,

(20)

\nabla \cdot E = 0 .

(21)

The source-free versions of (2)–(4) are recovered with the identification

B = \nabla \times A

. Equation (5) identically follows from the definition of the magnetic field in terms of

A

, hence completing the full set of vacuum Maxwell equations. Note how the Gauss law constraint (21) was obtained without explicitly introducing any Lagrange multiplier. Also note how the transverse delta can project

A_{T}

, leading to the Lagrangian density

L_{0} = \partial_{t} E \cdot A_{T} - \frac{1}{2} [E^{2} + {(\nabla \times A_{T})}^{2}],

(22)

where the longitudinal component of

A

has naturally decoupled from the theory. That this is the case seems natural, as

A_{L}

does not possess indispensable physical value due to the aforementioned gauge invariance. Please note that although (22) is apparently a local expression, there is a hidden non-locality in the (constrained and gauge-independent) transverse vector potential. Solving now the constraint (21) (i.e., taking

E = E_{T}

) into (23) we finally get

L_{0} = \partial_{t} E_{T} \cdot A_{T} - \frac{1}{2} [E_{T}^{2} + {(\nabla \times A_{T})}^{2}] .

(23)

In this way we therefore recover the completely reduced form of the electromagnetic Lagrangian density. A bonus of the above discussion is that one can immediately work out the brackets of the theory:

δ_{i j}^{T} (x - x^{'})

can be inverted for transverse vector fields and hence the expected [16,17,18]

{E_{T}^{i} (x), A_{T}^{j} (x^{'})} = δ^{T i j} (x - x^{'})

is derived.

2.1. Non-Local Formulation for the Electromagnetic Field in Terms of $E$ and $B$

Our last and most important example consists of defining the object

ω_{i j} (x, x^{'})

for the electric and magnetic field themselves. The solution involves a derivative of the Green’s function for the Laplacian operator

△ \equiv \partial_{i} \partial_{i}

, and it is given by

ω_{i j} (x, x^{'}) = ϵ^{i j k} \partial_{k} \frac{- 1}{4 π | x - x^{'} |} .

(24)

This expression can be regarded as the simplest way to enforce the appropriate physical dimensions for

ω_{i j} (x, x^{'}) \partial_{t} E^{i} B^{j}

and consistency with respect to electric-magnetic duality symmetry (see next subsection for more details). Together with the conventional electromagnetic Hamiltonian density we can construct, in the absence of sources, the action

S_{NL, 0} [E, B] = \int d^{4} x L_{NL, 0}

, a functional exclusively dependent on the electromagnetic field, with a first-order Lagrangian density

L_{NL, 0} = \int d^{3} x^{'} ω_{i j} (x, x^{'}) \partial_{t} E^{i} (x) B^{j} (x^{'}) - \frac{1}{2} (E^{2} (x) + B^{2} (x)) .

(25)

It is quite remarkable that this action yields all of the four vacuum Maxwell equations. The integral term in (25) introduces an explicit non-locality, as the fields at spatially separated points

x = (t, x)

and

x^{'} = (t, x^{'})

"interact” with one another. This coupling is nonetheless weighed by

ω_{i j} (x, x^{'})

, leading it to steadily decay as

x

and

x^{'}

become further apart. Taking variations of

E^{i}

and

B^{i}

, simultaneously exploiting the standard fall-off conditions of the fields at infinity, one can show that the equations of motion are just the Hemholtz decomposition [15] of the free electromagnetic field,

E^{i} (x) = - \int d^{3} x^{'} ω_{i j} (x, x^{'}) \partial_{t} B^{j} (x^{'}),

(26)

B^{i} (x) = \int d^{3} x^{'} ω_{i j} (x, x^{'}) \partial_{t} E^{j} (x^{'}) .

(27)

Applying a divergence and a curl on (26) and (27) immediately provides the vacuum versions of Equations (2)–(5),

\nabla \times E = - \partial_{t} B, \nabla \times B = \partial_{t} E,

(28)

\nabla \cdot E = 0, \nabla \cdot B = 0 .

(29)

The non-local Lagrangian density

L_{NL, 0}

is similar to the one given in Ref. [6], up to the contributions of two Lagrange multipliers, which we find unnecessary in the absence of sources. As in the previous case [(17) and (23)], the constraints (29) can be solved into the Lagrangian density (25). In this situation, where the fields are necessarily transverse,

ω

does possess an inverse, leading to the anticipated [17] brackets

{E_{T}^{i} (x), B_{T}^{j} (x^{'})} = - ϵ^{i j k} \partial_{k} δ^{3} (x - x^{'}) .

(30)

Note also how (17), and consequently (23), can also be recovered from (25) by introducing the vector potential

A

such that

B = \nabla \times A

2.2. Electric-Magnetic Duality Symmetry

The fact that (25) is formulated solely in terms of

E

and

B

means that it is manifestly dual, quite in contrast to the standard formulation (1). It is straightforward to prove that the discrete transformations

E \to - B, B \to E

and their continuous generalization as electric-magnetic duality rotations [7] with parameter

θ

(\begin{matrix} E^{'} \\ B^{'} \end{matrix}) = (\begin{matrix} cos θ & sin θ \\ - sin θ & cos θ \end{matrix}) (\begin{matrix} E \\ B \end{matrix}),

(31)

leave the Maxwell equations invariant. It is, however, not such a simple task [19,20,21,22] to prove that (31) are a symmetry in the Noether sense, i.e., that their infinitesimal version

δ E = θ B, δ B = - θ E,

(32)

leaves the Lagrangian

L = \int d^{3} L

invariant, up to a total time derivative and without making use of the field equations.

Employing the standard formulation (1), the transformations (32) clearly will not suffice as Noether’s theorem requires the transformations of the dynamic fields,

A^{μ}

in this case. However, the problem is actually deeper. The introduction of the potentials implies that Equations (4) and (5) hold, which for consistency would also require, through the use of (32), the equations

\nabla \times B - \partial_{t} E = 0

and

\nabla \cdot E = 0

. However, within the Lagrangian formalism it is forbidden to use the latter (on-shell) equations to prove that the duality rotations are a symmetry of the theory. Consequently, the transformation in (32) cannot be applied directly [20,21] on (1) with Noether’s Theorem. A way out of this tension is to project the original duality rotations on the transverse fields

(E_{T}, A_{T})

and consider the reduced Lagrangian (23) [20,21]. The new form of the duality symmetry is then non-local.

On the other hand, the application of Noether’s theorem with (25) is swift and even elegant. While the bracket has become more intricate in the transition from using

A

and

E

B

and

E

, the Hamiltonian density now has the well known form of the isotropic simple harmonic oscillator (SHO),

H (q, p) = \frac{1}{2} (q^{2} + p^{2}) (normalized) .

(33)

The presence of the SHO in this context shouldn’t be too surprising, as it is a well-known fact that vacuum electromagnetic field satisfies the wave equations

\partial_{μ} \partial^{μ} E

and

\partial_{μ} \partial^{μ} B = 0

, which are just the field version of the SHO equations

{\ddot{q}}^{i} + k^{2} q^{i} = 0

and

{\ddot{p}}^{i} + k^{2} p^{i} = 0

. Thus, (25) can be viewed as a the first-order Lagrangian of a SHO with non-canonical, i.e.,

{q^{i}, p^{j}} \neq δ^{i j}

, commutation relations. As with the canonical, i.e.,

{q^{i}, p^{j}} = δ^{i j}

, SHO, this system is also invariant under phase space rotations

(\begin{matrix} q^{' i} \\ p^{' i} \end{matrix}) = (\begin{matrix} cos θ & sin θ \\ - sin θ & cos θ \end{matrix}) (\begin{matrix} q^{i} \\ p^{i} \end{matrix}) .

(34)

However, while in the canonical case this symmetry implies conservation of energy, the non-trivial case preserves a more general quantity, which using Noether’s theorem is straight-forwardly shown to be

Q = \frac{1}{2} ω_{i j} (q^{i} q^{j} + p^{i} p^{j}) .

(35)

Of course, phase space rotations (34) are just electric-magnetic rotations (31) in the formalism of (25) and (30), where

E

and

B

are the (non-canonical) dynamic variables. Thus we can conclude that in the context of the non-local formulation exposed here, electric-magnetic duality is analogous to the phase space rotation symmetry of the SHO, with the conserved quantity being

Q_{D} = \frac{1}{2} \int \int d^{3} x d^{3} x^{'} ω_{i j} (x, x^{'}) [E^{i} (x) E^{j} (x^{'}) + B^{i} (x) B^{j} (x^{'})] .

(36)

Assuming now that the electric and magnetic fields are transverse, the vector potentials

A (x)

and

Z (x)

can be introduced such that

E = - \nabla \times Z

and

B = \nabla \times A

. It is then easily proven that the above non-local quantity (36) becomes the local

Q_{D} = \frac{1}{2} \int d^{3} x [Z \cdot (\nabla \times Z) + A \cdot (\nabla \times A)],

(37)

equivalent to the conserved charge obtained by Calkin [19] and Deser-Teitelboim [20]. An extended discussion in the quantum theory is given in [22,23,24,25].

We would like to remark that the conservation law

\frac{d}{d t} Q_{D} = 0

should be modified in the presence of charged matter, since duality rotations are no longer symmetries of the theory. Note that this is somewhat similar to the chirality transformation of fermions [8]. Chirality rotations are symmetries for massless fermions, implying that

\partial_{μ} j_{5}^{μ} = 0

, where

j_{5}^{μ} \equiv \bar{ψ} γ^{μ} γ^{5} ψ

, and the corresponding conservation of the chiral charge

Q_{5} \equiv \int d^{3} x j_{5}^{0}

. In presence of a mass term,

\frac{d}{d t} Q_{5} = 0

would also be modified accordingly.

3. The Non-Local Action with Matter

The non-local action presented in the previous section can be straightforwardly generalized to accommodate for the presence of matter. This is a important issue since the interaction of the electromagnetic field with matter has both fundamental and applied significance. This new action functional

S_{NL} [E, B, λ] = \int d^{4} x L_{NL}

, essentially based on Ref. [6], has the electric and magnetic fields as its dynamical fields as well as a Lagrange multiplier

λ

that imposes Gauss’ law (3) as a constraint,

L_{NL} = \int d^{3} x^{'} ω_{i j} (x, x^{'}) [\partial_{t} E^{i} (x) + J^{i} (x)] B^{j} (x^{'}) - \frac{1}{2} (E^{2} + B^{2}) - λ (\nabla \cdot E - ρ) .

(38)

In the above expression

ω_{i j} (x, x^{'})

is again given by (24). We note that a single Lagrange multiplier

λ

is introduced here, instead of the two employed in Ref. [6]. This Lagrangian provides all four of Maxwell’s equations if there is electric charge conservation, i.e.,

\dot{ρ} + \nabla \cdot J = 0

, a prerequisite that is used in the standard formulation (1) as well to preserve gauge invariance. For instance, if the matter field is given by a Dirac spinor

ψ

, with electric charge q and mass m, we should replace

ρ = q \bar{ψ} ψ

and

J^{i} = q \bar{ψ} γ^{i} ψ

in (38). One can then complete the action by adding the standard local free action for the Dirac field such that the Lagrangian of the complete theory reads

L = (i \bar{ψ} γ^{μ} \partial_{μ} ψ - m \bar{ψ} ψ) + \int d^{3} x^{'} ω_{i j} (x, x^{'}) [\partial_{t} E^{i} (x) + q \bar{ψ} γ^{i} ψ (x)] B^{j} (x^{'}) - \frac{1}{2} (E^{2} + B^{2}) - λ (\nabla \cdot E - q \bar{ψ} ψ) .

(39)

In addition to the constraint (3) enforced by

λ

, the equations of motion for the action (38) are

E^{i} = \partial_{i} λ - \int d^{3} x^{'} ω_{i j} (x, x^{'}) \partial_{t} B^{j} (x^{'})

(40)

B^{i} = \int d^{3} x^{'} ω_{i j} (x, x^{'}) [\partial_{t} E^{j} (x^{'}) + J^{j} (x^{'})],

(41)

which correspond to the Helmholtz decomposition of the electromagnetic field coupled to an external source. Gauss’ law for the magnetic field is recovered by taking the divergence of (41), while the time-dependent Maxwell Equations (2) and (4) are obtained by applying a curl on (41) and (40) respectively.

The standard formalism in terms of the potentials can also be recovered solving the non-time evolving Equation (5). Applying the variable change

B \to A

such that

B = \nabla \times A

along with the relabelling

A^{0} \equiv - λ

, it can be shown that (38) becomes

L = (\partial_{t} E + J) \cdot A_{T} - \frac{1}{2} [E^{2} + {(\nabla \times A_{T})}^{2}] + A^{0} (\nabla \cdot E - ρ),

(42)

which is of a similar form to (22). Hence, the introduction of the vector potential makes the non-local Lagrangian density become the standard first-order Lagrangian density after removing the excess longitudinal component of

A

. However, it is important to keep in mind that (38) and (42) are not fully equivalent, as the equation

\nabla \cdot B = 0

holds as a proper Euler-Lagrange equation for (38), while it is assumed off-shell for (42).

Nevertheless, it is not difficult to see that (38) can be obtained by introducing the explicit expression of

A_{T}

into (42)

A_{T}^{i} (x) = \int d^{3} x^{'} ω_{i j} (x, x^{'}) B^{j} (x^{'})

(43)

and assuming (5) holds. Therefore, even though the formalism in terms of (38) is not equivalent to the one of (1) or (42), in some instances it will be useful to obtain results for the non-local viewpoint by simply substituting (43) wherever

A

appears in results derived from the local viewpoint, which is equivalent to imposing the Coulomb gauge, i.e.,

\nabla \cdot A = 0

A = A_{T}

. This property can be illustrated by considering the Lagrangian of the non-relativistic particle (8). Inserting (43) and relabelling

λ \equiv - A^{0}

, a new Lagrangian is obtained,

L_{NL, p} [x] = \frac{1}{2} m {\dot{x}}^{2} + e \int d^{3} x^{'} ω_{i j} (x, x^{'}) {\dot{x}}^{i} B^{j} (x^{'}) + e λ (x) .

(44)

Alternatively, (44) could have been obtained by applying the same procedure that was used to obtain (8) on (38). While the Lagrangian

L_{NL, p}

appears to be non-local with respect to the magnetic field, the equations of motion are expectedly the Lorentz force (9), which is local in both

E

and

B

. This is reassuring, as in a classical

δ S = 0

context no possibly non-local phenomenon is observed.

Things are not so simple however in a quantum context, a fact best depicted by considering the magnetic AB effect with Feynman’s path integral method. The details of the setup considered here to analyse the AB effect are described in Figure 1. The action for this process is given by

S_{NL, p} = \int d t L_{NL, p}

with

λ = 0

, and it can thus be proven that the propagator for the electrons getting from the source to the screen is

K (x_{f}, t_{f}; x_{1}, t_{1}) = exp [\frac{i e}{ℏ} \int_{above} d s^{i} \int d^{3} x^{'} ω_{i j} (s, x^{'}) B^{j} (x^{'})] \int_{above} D [x (t)] exp [\frac{i S_{0}}{ℏ}]

+ exp [\frac{i e}{ℏ} \int_{below} d s^{i} \int d^{3} x^{'} ω_{i j} (s, x^{'}) B^{j} (x^{'})] \int_{below} D [x (t)] exp [\frac{i S_{0}}{ℏ}] .

(45)

This result can be obtained using an analogous method to the one shown in Ref. [14]. The term

S_{0} = \int d t \frac{1}{2} m {\dot{x}}^{2}

is the free particle action while subscripts “above” and “below” in (45) are used to distinguish paths that curl above the cylinder from those that curl below. As it is known from the standard analysis of the AB effect, all paths curling above have a common phase, while those curling below have another, a property that appears explicitly in (45). In contrast to the standard analysis however, these phases are explicitly non-local with respect to the physically relevant quantity, the magnetic field

B

inside the cylinder, instead of being local in the vector potential

A

outside. Therefore, the non-locality suggested by the standard derivation of the magnetic AB effect appears naturally in the non-local prescription of electrodynamics described here. While the result (45) can be derived by simply applying the Coulomb gauge on (8) [26], we stress how here it has really been proven from a more fundamental action (38), and not from an arbitrary choice of gauge.

The cylindrical symmetry of the setup ensures that an analytical value of the nonlocal interaction term, equivalent to the transverse component

A_{T}

of the vector potential (43), can be obtained,

\int d^{3} x^{'} ω_{i j} (x, x^{'}) B^{j} (x^{'}) = {[\frac{Φ_{B}}{2 π ρ} \hat{φ}]}^{i},

(46)

where

ρ^{2} = {(x^{1})}^{2} + {(x^{2})}^{2}

is the distance squared with respect to the center of the cylinder and

\hat{φ}

is the unit vector associated with the azimuthal angle. This result can be derived by evaluating the volume integral directly as we have done for completeness in the Appendix A, or treating

A_{T}

as a shorthand for the interaction term (left-hand-side (LHS) of (46)) and recycling the standard derivation [14]. The relevant phase difference is thus the expected AB phase,

Δ φ = \frac{e}{ℏ} [\int_{above} A_{T} \cdot d s - \int_{below} A_{T} \cdot d s] = \frac{e Φ_{B}}{ℏ} .

(47)

where

Φ_{B}

is the magnetic flux through the cylinder.

4. Conclusions

Non-locality is a reasonably objectionable feature, but we feel the fomulation of electrodynamics treated here, elaborating and improving on a proposal sketched in [6], will at least be useful to shed some light on the subtle topic of action functionals independent of potentials. We have argued how non-locality seems to be unescapable in an electromagnetic field-dependent formalism due to the non-trivial commutation relations

{E, B}

. It is nonetheless important to keep in mind that the field-matter action (38) is not completely independent of potentials, as the Lagrange multiplier

λ

in (38) is actually just a relabelled (Coulomb gauge) scalar potential. However, it is consistent to assume

λ = 0

in the context of electric-magnetic duality or the magnetic AB effect, meaning they can be studied without concern.

On one hand, the former can be seen as a manifestation of the phase-space rotation symmetry of the SHO. It is worth recalling how this symmetry was derived with an action where all the Maxwell equations hold solely on-shell, in contrast with past derivations, which assume some of them off-shell. On the other hand, an arguably plausible interpretation for the AB effect was deduced. In a classical context, where

δ S = 0

, the equations of motion (9) of (44) are local in both

E

and

B

despite the non-locality of the action. Therefore the correspondence principle holds, i.e., when

ℏ \to 0

the interaction of the particle with the electromagnetic field is local. In a quantum context however trajectories with

δ S \neq 0

are not negligible, hence the non-locality of the action can materialize (45) with the AB effect. Through this scope, manifest non-locality is thus an exclusively quantum affair, and we believe this is also one of the lessons of this note.

We would like to remark that we are not advocating to avoid the use of field potentials to analyze electrodynamics or its generalizations (nonabelian gauge theories). The purpose of this work is to point out that it could be useful to reanalyze electrodynamics from a nonlocal perspective (using only the electric and magnetic fields). In so doing this we have filled a gap in the literature and obtain, as a bonus, new insights on two important topics in electrodynamics: i) the electromagnetic duality symmetry, and ii) the AB effect.

After finishing this work we became aware of the work [27], concerning a formulation of electrodynamics without a gauge-fixing procedure. We think that there is a close connection with our work that could merit to be further explored.

Author Contributions

The authors contributed equally in writing this article. All authors read and approved the final manuscript.

Funding

This research was funded with Grants. No. FIS2017-84440-C2-1-P, No. FIS2017-91161-EXP, No. SEV-2014-0398, and No. SEJI/2017/042 (Generalitat Valenciana).

Acknowledgments

J.N.-S. thanks I. Agullo and A. del Rio for useful discussions.

Conflicts of Interest

The authors declare no conflict of interest.

Appendix A. Interaction Term in the A.B. Effect

Preliminary considerations:

The expression for the magnetic field is $B (x) = \hat{z} Θ (R^{2} - x^{2} - y^{2})$ , where $Θ$ is the Heaviside step function and $x = (x, y, z)$ .
The volume region is a cylinder C of radius R, with a length $L_{1}$ and $L_{2}$ over and under the xy plane respectively. Furthermore, it will be assumed that the cylinder is long i.e., $L_{1}^{2}, L_{2}^{2} ≫ R^{2}, x^{2} + y^{2}$ .

Due to its equivalence with the nonlocal interaction term (LHS of (46)), we will use

A_{T}

as a shorthand to refer to it. It can thus be proven that

A_{T} (x) = \frac{B_{0}}{4 π} \hat{z} \times \int_{C} d^{3} x^{'} \nabla (\frac{1}{| x - x^{'} |}) = \frac{B_{0}}{4 π} \hat{z} \times \int_{\partial C} d S^{'} \frac{1}{| x - x^{'} |} .

where a corollary of the Divergence theorem was used in the second equality.

The surface of the cylinder is composed by a circular wall and the two lids on either end. However, since the lids have a normal vector

d S^{'} \propto \hat{z}

and

\hat{z} \times \hat{z} = 0

, their contributions to the total integral are 0. Consequently, the only relevant contribution to the integral comes from the circular wall, with a normal vector

d S^{'} = {\hat{ρ}}^{'} R d ϕ^{'} d z^{'}

where

{\hat{ρ}}^{'} = (cos ϕ^{'}, sin ϕ^{'}, 0)

= \frac{B_{0}}{4 π} \hat{z} \times \int_{0}^{2 π} R d ϕ^{'} {\hat{ρ}}^{'} \int_{- L_{2}}^{L_{1}} d z^{'} {({z^{'}}^{2} + α (ϕ^{'}))}^{- 1 / 2}

(A1)

= \frac{B_{0}}{4 π} \hat{z} \times \int_{0}^{2 π} R d ϕ^{'} {\hat{ρ}}^{'} [log (\sqrt{α (ϕ^{'}) + L_{1}^{2}} + L_{1}) + log (\sqrt{α (ϕ^{'}) + L_{2}^{2}} + L_{2}) - log (α (ϕ^{'}))]

where

α (ϕ^{'}) = {(x - R cos ϕ^{'})}^{2} + {(y - R sin ϕ^{'})}^{2}

was introduced for brevity. However, expressions of the form

log (\sqrt{α (ϕ^{'}) + L^{2}} + L)

can be disregarded by taking into account the first preliminary consideration,

\int_{0}^{2 π} d ϕ^{'} {\hat{ρ}}^{'} log (\sqrt{α (ϕ^{'}) + L^{2}} + L) \approx log (2 L) \int_{0}^{2 π} d ϕ^{'} {\hat{ρ}}^{'} = 0 .

Therefore the expression for

A_{T}

is now a one-dimensional integral

A_{T} (x) = - \frac{B_{0} R}{4 π} \int_{0}^{2 π} d ϕ^{'} {\hat{ϕ}}^{'} log [{(x - R cos ϕ^{'})}^{2} + {(y - R sin ϕ^{'})}^{2}] .

(A2)

where

\hat{z} \times {\hat{ρ}}^{'} = {\hat{ϕ}}^{'}

, with

{\hat{ϕ}}^{'} = (- sin ϕ^{'}, cos ϕ^{'}, 0)

. Equation (A2) can be reinterpreted as a complex integral,

z_{A} = A_{T}^{x} + i A_{T}^{y}

, over a circle of radius R on the complex plane

z_{A} (x, y) = - \frac{B_{0}}{4 π} \oint_{γ} d z log {| z - z_{0} |}^{2}

(A3)

where

z_{0} = x + i y

and

γ (s) = R e^{i s}

. Ignoring for now the multiplicative constant

- B_{0} / 4 π

, the integral can be split into two,

\oint_{γ} d z log {| z - z_{0} |}^{2} = \oint_{γ} d z log (z - z_{0}) + \oint_{γ} d z log (z^{*} - z_{0}^{*})

(A4)

= \oint_{γ} d z log (z - z_{0}) + R^{2} \oint_{γ} d z \frac{log (z - z_{0}^{*})}{z^{2}}

(A5)

where the latter equality is due to the easily proven general property for circular contour integrals,

\oint_{γ} d z f (z^{*}) = R^{2} \oint_{γ} d z f (z) / z^{2}

. The value of (A5) will depend on whether

z_{0}

is inside or outside the disk delimited by

γ

on the complex plane

C

(see Figure A1). In terms of the original problem, this means that the expressions for

A_{T}

inside and outside the solenoid will be different. In the latter case,

ρ^{2} \equiv x^{2} + y^{2} > R^{2}

, meaning that

z_{A} (x, y) = \frac{B_{0} π R^{2}}{2 π} \frac{- y + i x}{x^{2} + y^{2}} .

(A6)

and

A_{T} (x) = \frac{B_{0} π R^{2}}{2 π (x^{2} + y^{2})} (- y, x, 0) = \frac{B_{0} π R^{2}}{2 π ρ} \hat{ϕ} = \frac{Φ_{B}}{2 π ρ} \hat{ϕ}

(A7)

where

Φ_{B} = B_{0} π R^{2}

and

\hat{ϕ} = (- y / ρ, x / ρ, 0)

. This is the expected result outside the cylinder. On the other hand, inside

ρ^{2} \equiv x^{2} + y^{2} < R^{2}

. Evaluating (A5) in this situation gives

z_{A} = \frac{B_{0}}{2} (- y + i x)

(A8)

so that

A_{T} (x) = \frac{B_{0}}{2} (- y, x, 0) = \frac{B_{0} ρ}{2} \hat{ϕ} .

(A9)

This is the expected result for the transverse component of the vector potential in a finite volume under a constant magnetic field (in this case, a cylinder with

B = B_{0} \hat{z}

), where

A_{T} (x) = - \frac{1}{2} x \times B

Figure A1. Complex plane representation of

z_{0} = x + i y

outside and inside the cylinder.

Figure A1. Complex plane representation of

z_{0} = x + i y

outside and inside the cylinder.

References

DeWitt, B. Quantum theory without electromagnetic potentials. Phys. Rev. 1962, 125, 2189. [Google Scholar] [CrossRef]
Coleman, S. Aspects of Symmetry; Cambridge University Press: Cambridge, UK, 1985. [Google Scholar]
Faddeev, L.; Jackiw, R. Hamiltonian reduction of unconstrained and constrained systems. Phys. Rev. Lett. 1988, 60, 1692. [Google Scholar] [CrossRef] [PubMed]
Henneaux, M.; Teitelboim, C. Quantization of Gauge Systems; Princeton University: Princeton, NJ, USA, 1992. [Google Scholar]
Barbero, G.F.J.; Díaz, B.; Margalef-Bentabol, J.; Villaseñor, E.J.S. Dirac’s algorithm in the presence of boundaries: A practical guide to a geometric approach. arXiv 2019, arXiv:1904.11790. [Google Scholar]
Jackiw, R. Constrained quantization without tears. In Constraint Theory and Quantization Methods: From Relativistic Particles to Field Theory and General Relativity; Colomo, F., Lusanna, L., Marmo, G., Eds.; World Scientific: River Edge, NJ, USA, 1994; p. 448. [Google Scholar]
Jackson, J.D. Classical Electrodynamics; Wiley: New York, NY, USA, 1998. [Google Scholar]
Peskin, M.E.; Schroeder, D.V. An Introduction to Quantum Field Theory; Westview Press: Boulder, CO, USA, 1995. [Google Scholar]
Feynman, R.P.; Hibbs, A.R. Quantum Mechanics and Path Integrals; McGraw-Hill: New York, NY, USA, 1965. [Google Scholar]
Aharonov, Y.; Bohm, D. Significance of electromagnetic potentials in the quantum theory. Phys. Rev. 1959, 115, 485. [Google Scholar] [CrossRef]
Aharonov, Y.; Bohm, D. Further considerations on electromagnetic potentials in the quantum theory. Phys. Rev. 1961, 123, 1511. [Google Scholar] [CrossRef]
Feynman, R.P.; Leighton, R.B.; Sands, M. The Feynman Lectures on Physics Vol. 2: Mainly Electromagnetism and Matter; Addison-Wesley: Boston, MA, USA, 1979. [Google Scholar]
Peshkin, M.; Tonomura, A. The Aharonov-Bohm Effect; Springer: Berlin, Germany, 1989. [Google Scholar]
Sakurai, J.J.; Napolitano, J. Modern Quantum Mechanics; Cambridge University Press: Cambridge, UK, 2017. [Google Scholar]
Griffiths, D.J. Introduction to Electrodynamics; Prentice Hall: Upper Saddle River, NJ, USA, 1981. [Google Scholar]
Bjorken, J.D.; Drell, S.D. Relativistic Quantum Fields; McGraw-Hill: New York, NY, USA, 1965. [Google Scholar]
Vogel, W.; Welsch, D.G. Quantum Optics; John Wiley and Sons: Hoboken, NJ, USA, 2006. [Google Scholar]
Weinberg, S. Lectures on Quantum Mechanics; Cambridge University Press: Cambridge, UK, 2015. [Google Scholar]
Calkin, M.G. An invariance property of the free electromagnetic field. Am. J. Phys. 1965, 33, 958–960. [Google Scholar] [CrossRef]
Deser, S.; Teitelboim, C. Duality transformations of Abelian and non-Abelian gauge fields. Phys. Rev. D 1976, 13, 1592. [Google Scholar] [CrossRef]
Deser, S. Off-shell electromagnetic duality invariance. J. Phys. A 1982, 15, 1053. [Google Scholar] [CrossRef]
Agullo, I.; del Rio, A.; Navarro-Salas, J. Electromagnetic duality anomaly in curved spacetimes. Phys. Rev. Lett. 2017, 118, 111301. [Google Scholar] [CrossRef]
Agullo, I.; del Rio, A.; Navarro-Salas, J. Gravity and handedness of photons. Int. J. Mod. Phys. D 2017, 26, 1742001. [Google Scholar] [CrossRef]
Agullo, I.; del Rio, A.; Navarro-Salas, J. Classical and quantum aspects of electric-magnetic duality rotations in curved spacetimes. Phys. Rev. D 2018, 98, 125001. [Google Scholar] [CrossRef] [Green Version]
Agullo, I.; del Rio, A.; Navarro-Salas, J. On the Electric-Magnetic Duality Symmetry: Quantum Anomaly, Optical Helicity, and Particle Creation. Symmetry 2018, 10, 763. [Google Scholar] [CrossRef]
Stewart, A.M. Role of nonlocality of the vector potential in the Aharonov-Bohm effect. Can. J. Phys. 2013, 91, 373. [Google Scholar] [CrossRef]
Majumdar, P.; Ray, A. Maxwell Electrodynamics in Terms of Physical Potentials. Symmetry 2019, 11, 915. [Google Scholar] [CrossRef]

Figure 1. Experimental setup we will consider to analyse the magnetic AB effect. A source of electrons is located at the point

x_{1}

, from which one is emitted at a time

t_{1}

. Between the source and a screen on the other side of the setup there is a wall, containing two slits A and B, and a long impenetrable cylinder behind it. Inside the cylinder, oriented parallel to the z-axis, there is a magnetic field

B = \hat{z} B_{0}

, while outside

B = 0

. The electrons can trace two types of

deterministic

paths to reach the point

x_{f}

on the screen at a time

t_{f}

, either above (e.g.,

γ_{1}

) or below (e.g.,

γ_{2}

) the cylinder.

Figure 1. Experimental setup we will consider to analyse the magnetic AB effect. A source of electrons is located at the point

x_{1}

, from which one is emitted at a time

t_{1}

B = \hat{z} B_{0}

, while outside

B = 0

. The electrons can trace two types of

deterministic

paths to reach the point

x_{f}

on the screen at a time

t_{f}

, either above (e.g.,

γ_{1}

) or below (e.g.,

γ_{2}

) the cylinder.

© 2019 by the authors. Licensee MDPI, Basel, Switzerland. This article is an open access article distributed under the terms and conditions of the Creative Commons Attribution (CC BY) license (http://creativecommons.org/licenses/by/4.0/).

Share and Cite

MDPI and ACS Style

Bernabeu, J.; Navarro-Salas, J. A Non-Local Action for Electrodynamics: Duality Symmetry and the Aharonov-Bohm Effect, Revisited. Symmetry 2019, 11, 1191. https://doi.org/10.3390/sym11101191

AMA Style

Bernabeu J, Navarro-Salas J. A Non-Local Action for Electrodynamics: Duality Symmetry and the Aharonov-Bohm Effect, Revisited. Symmetry. 2019; 11(10):1191. https://doi.org/10.3390/sym11101191

Chicago/Turabian Style

Bernabeu, Joan, and Jose Navarro-Salas. 2019. "A Non-Local Action for Electrodynamics: Duality Symmetry and the Aharonov-Bohm Effect, Revisited" Symmetry 11, no. 10: 1191. https://doi.org/10.3390/sym11101191

APA Style

Bernabeu, J., & Navarro-Salas, J. (2019). A Non-Local Action for Electrodynamics: Duality Symmetry and the Aharonov-Bohm Effect, Revisited. Symmetry, 11(10), 1191. https://doi.org/10.3390/sym11101191

Note that from the first issue of 2016, this journal uses article numbers instead of page numbers. See further details here.

Article Menu

A Non-Local Action for Electrodynamics: Duality Symmetry and the Aharonov-Bohm Effect, Revisited

Abstract

1. Introduction

2. The Free Non-Local (Duality Invariant) Action

2.1. Non-Local Formulation for the Electromagnetic Field in Terms of $E$ and $B$

2.2. Electric-Magnetic Duality Symmetry

3. The Non-Local Action with Matter

4. Conclusions

Author Contributions

Funding

Acknowledgments

Conflicts of Interest

Appendix A. Interaction Term in the A.B. Effect

References

Share and Cite

Article Metrics

Article Access Statistics

Further Information

Guidelines

MDPI Initiatives

Follow MDPI

Article Menu

A Non-Local Action for Electrodynamics: Duality Symmetry and the Aharonov-Bohm Effect, Revisited

Abstract

1. Introduction

2. The Free Non-Local (Duality Invariant) Action

2.1. Non-Local Formulation for the Electromagnetic Field in Terms of E and B

2.2. Electric-Magnetic Duality Symmetry

3. The Non-Local Action with Matter

4. Conclusions

Author Contributions

Funding

Acknowledgments

Conflicts of Interest

Appendix A. Interaction Term in the A.B. Effect

References

Share and Cite

Article Metrics

Article Access Statistics

Further Information

Guidelines

MDPI Initiatives

Follow MDPI

2.1. Non-Local Formulation for the Electromagnetic Field in Terms of $E$ and $B$