Gauge Theory is a mathematical tool which has been used in Physics to study the interaction between matter and fields [1] through a Lagrangian which is invariant under local transformations (symmetry), defined by a Lie Group [2] . The elements of the associated Lie Algebra of the group are called gauge fields, and these gauge fields, in turn, are called gauge bosons when they are quantized. For example, Quantum Electrodynamics is considered an Abelian gauge theory with the symmetric group U (1) and having the photons as the gauge bosons [3] [4] . The Standard Model of elementary particles is considered a non-Abelian gauge theory with the symmetric group U ( 1 ) × S U ( 2 ) × S U ( 3 ) where the photon ( γ ), three weak bosons ( W + , W − , Z ), and eight gluons ( g i , i = 1, ⋯ ,8 ) are their gauge bosons. In addition, there are other examples of applications as Yang-Mills theory [5] , gravity [6] , condense matter [3] [7] , and nuclear physics [8] .

One could say that the source of all gauge theories is the relation between the gauge transformation in Classical Electrodynamics [9] and the associated non-relativistic quantum gauge transformation of the wave function [10] , which could be stated (locally) in the following way [11] [12] [13] [14] [15] .

Proposition: Let χ ( x , t ) be the phase associated with a local gauge transformation, symmetry group U(1), of the wave function Ψ ( x , t ) , that is,

Ψ ′ ( x , t ) = e i q ℏ c χ ( x , t ) Ψ ( x , t ) , (1)

of the non-relativistic Quantum Mechanics. If the Schrödinger equation is of the form

i ℏ ∂ Ψ ∂ t = 1 2 m ( p ^ − q c A ) 2 Ψ + q V Ψ , (2)

where A = A ( x , t ) is a vector field, V = V ( x , t ) is a scalar field, q is the particle charge, ℏ is the Plank’s constant, m is the particle mass and c is the speed of light. Then, this equation remains invariant under this transformation if

∇ 2 χ − 1 c 2 ∂ 2 χ ∂ t 2 = 0, (3)

A ′ ( x , t ) = A ( x , t ) + ∇ χ , (4)

and

V ′ ( x , t ) = V ( x , t ) − 1 c ∂ χ ∂ t . (5)

Thus, the Schrödinger equation for Ψ ′ would be

i ℏ ∂ Ψ ′ ∂ t = 1 2 m ( p ^ − q c A ′ ) 2 Ψ ′ + q V ′ Ψ ′ . (6)

The expressions (4) and (5) are just the usual gauge transformation of the electromagnetic field where the electric and magnetic fields are given by

E = − ∇ V − 1 c ∂ A ∂ t           B = ∇ × A . (7)

For the case when one is dealing with time-independent fields and zero scalar potential, one would say that a local gauge transformation

Ψ ′ ( x , t ) = e i q ℏ c χ ( x ) Ψ ( x , t ) (8)

will leave the Schrödinger equation

i ℏ ∂ Ψ ∂ t = 1 2 m ( p ^ − q c A ) 2 Ψ (9)

invariant, if the vector potential A is transformed according to

A ′ ( x ) = A ( x ) + ∇ χ     with       ∇ 2 χ = 0. (10)

For this particular case, in this paper we want to see whether or not the inverse proposition is satisfied, that is, if one has a vector field A = A ( x ) satisfying the relations (10), and the Schrödinger equation is of the form (9), would the solution of the equation

i ℏ ∂ Ψ ′ ∂ t = 1 2 m ( p ^ − q c A ′ ) 2 Ψ ′ (11)

be of the form (8)? Because of the time independence problem, there is a separation of variables, and one can propose Ψ ( x , t ) = e − i E t / ℏ Φ ( x ) to reduce the problem and to an eigenvalue problem

1 2 m ( p ^ − q c A ′ ) 2 Φ ′ = E Φ ′ , (12)

where the eigenvalues will be Landau’s leves E n = ℏ ω c ( n + 1 / 2 ) which are gauge invariant, being ω c = q B / m c the cyclotron frequency, and one wants to see whether or not the solution is of the form

Φ ′ ( x ) = e i q ℏ c χ ( x ) Φ ( x ) , (13)

where Φ ( x ) is the solution of the eigenvalue problem

1 2 m ( p ^ − q c A ) 2 Φ = E Φ . (14)

For a charged particle moving on a flat surface ( x , y ,0 ) in a constant transversal magnetic field B = ( 0,0, B ) , one can select Landau’s gauges A = B ( − y ,0,0 ) and A ′ = B ( 0, x ,0 ) or the symmetric gauge A ″ = B ( − y , x ,0 ) / 2 since they bring about the same magnetic field B = ∇ × A = ∇ × A ′ = ∇ × A ″ , and one has that

A ′ ( x ) = A ( x ) + ∇ χ     and     A ″ ( x ) = A ( x ) + ∇ χ ˜ , (15)

where χ and χ ˜ are given by

χ ( x ) = B x y     and     χ ˜ ( x ) = B x y / 2 . (16)

One needs to point out here that Landau’ solution for this problem is separable on the variables x and y, which comes from the used property that the operator p ^ x commutes with the Hamiltonian. However, this does not mean that the solution must be separable on the variables x and y since the associated equation is not of separable variables, as clearly can be seen on reference [16] equation (10), and in this same reference also a non-separable solution was given for this problem. It is not difficult to see that the non-separable solution of the eigenvalue problem

1 2 m ( p ^ − q c A ) 2 Φ = E Φ (17)

was given in [16] as

Φ n ( x ) ~ e − i β x y ψ n ( β x ) ,   E n = ℏ ω c ( n + 1 2 ) , (18)

as it was mentioned before, where one has omitted the normalization constant since it is no relevant for the analysis, the constants β is defined as β = m ω c / ℏ , and ω c = q B / m c is the cyclotron frequency. The energies E n are called Landau’s levels, which are gauge invariant, and the function ψ n is the solution of 1-D eigenfunctions of the harmonic oscillator. In this case, one does not have a continuous degeneration for each Landau’s level (which is due to separation of the variables x and y) but one obtains an infinity discrete degeneration [17] , and it is enough to see our statement for a single eigenvalue, without to lose any generalization. On the other hand, the solution of the eigenvalue problem

1 2 m ( p ^ − q c A ′ ) 2 Φ ′ = E Φ ′ (19)

is just obtained through a rotation where the variables are changed as follow x → y and y → − x

Φ ′ n ( x ) ~ e i β x y ψ n ( β y ) ,   E n = ℏ ω c ( n + 1 2 ) , (20)

having the constants the same meaning as above. As one can see from (18) and (20), there is not way to mach both solutions through an U(1) local transformation, that is,

Φ ′ n ( x ) ≠ e i q ℏ c χ ( x ) Φ n ( x ) . (21)

Now, the solution of the eigenvalue problem

1 2 m ( p ^ − q c A ″ ) 2 Φ ″ = E Φ ″ (22)

is given by [18] (ones again, this represents a non-separable solution of the problem) as

Φ ″ n ( x ) ~ e − α ( x 2 + y 2 ) − λ ( x + i y ) [ 2 α ( x − i y ) + λ ] n     and     E n = ℏ ω c ( n + 1 2 ) , (23)

where α = m ω c / 4 ℏ and λ being a complex constant. Once a gain appears the obvious situation

Φ ″ n ( x ) ≠ e i q ℏ c χ ( x ) Φ n ( x ) . (24)

Given the electric field E = E ( x , t ) and the magnetic field B = B ( x , t ) it is well known that the dynamics of a charged particle under these field is given (CGS units) by the equation [19]

d p d t = q E + q c v × B , (25)

where c is the speed of light, q is the charge (we adopted a different sign as previous section), v is its velocity, and p can be m v (non relativistic motion) or γ m v (relativistic motion), with γ = ( 1 − v 2 / c 2 ) − 1 / 2 , m the mass of the charge, and v = | v | its speed. The known relations between these field and the vector potential A = A ( x , t ) and the scalar potential V = V ( x , t ) are

B = ∇ × A     and     E = − ∇ V − 1 c ∂ A ∂ t . (26)

Now, using these relations in (25), the dynamics of the charged particle is given by

d ( p + q A / c ) d t = − ∇ ( q V − q c v ⋅ A ) , (27)

from which the Lagrangian and Hamiltonian are obtained. Note that in order to get this expression, it is necessary that ∂ A / ∂ t ≠ 0 . From equation (25) one can see that if B = 0 and E = 0 , one gets a free motion for the charged particle and the linear momentum p is a constant of motion. However, let us not from equation (27) that if V = c o n s t a n t and ∇ ( v ⋅ A ) = 0 the resulting constant of motion would be

P = p + q A / c . (28)

One might think that given the gauge (4) the function χ can be chosen such that A = 0 and then P = p , but this is fact why A must be zero if the magnetic field is also zero. Let us note that there is not even a chance that the vector potential A could be of the form A = ∇ χ , being the scalar function χ solution of the wave equation (3). If the electrostatic field is zero, it is no possible classically to have p and P = p + q A / c as constants of motion simultaneously. Therefore, in order for (25) and (27) to keep the same classical dynamics, one must have that B = ∇ × A is an acceptable expression if and only if B ≠ 0 .

We have shown that the inverse statement given by the above proposition (1)-(5) is not satisfied for the solutions of a charged particle moving in a flat surface with transversal constant magnetic field, and this suggests that the use of the gauge invariance on quantum field theories must be carefully used. In addition, we have shown that the expression B = ∇ × A also must be used only for B ≠ 0 in order to have invariant the classical dynamics of a charged particle, suggesting that experiments where B = 0 and still considering the vector potential should be carefully analyzed within classical or quantum theory [20] [21] .

The authors declare no conflicts of interest regarding the publication of this paper.

López, G.V. and Lizarraga, J.A. (2024) Observation about the Classical Electromagnetic Gauge Transformation and Its Quantum Correspondence. Journal of Modern Physics, 15, 474-479. https://doi.org/10.4236/jmp.2024.154022