How do I determine the correct vector potential for a given electric field?

Join the discussion
Ask a follow-up here, or get your own question answered by working scientists, mathematicians and engineers — people, not an autocomplete.
Real named experts · corrections over time · the nuance an AI answer skips
3 replies · 3K views
coki2000
Messages
91
Reaction score
0
Hi PF members,

I have a question about how to find the vector potential from a given electric field. For example,

[itex]\textbf{E}=-\nabla\phi-\partial\textbf{A}/\partial t[/itex] and [itex]\textbf{B}=∇\times\textbf{A}[/itex]

Given [itex]\textbf{E}=E_{0}\hat{x}[/itex], electrostatic potential may be 0 and [itex]\textbf{A}=-E_{0}t\hat{x}[/itex]

or A may be 0 and [itex]\phi=-E_{0}x[/itex] or may be it can be [itex]\textbf{A}=-\frac{E_{0}}{2}t\hat{x}[/itex] and [itex]\phi=-\frac{E_{0}}{2}x[/itex] or any other combinations of these two.

So how can I know which is the correct one?

Thanks in advance..
 
on Phys.org
In general there are many possible choices of the scalar and vector potential that give the same E and B fields, and these are related by a so-called gauge transformation: http://en.wikipedia.org/wiki/Gauge_theory#Classical_electromagnetism. This might seem like a dull curiosity, but rest assured there is some significance attached to the freedom to do gauge transformations - if you ever hear that the Standard Model of particle physics is a "gauge theory", then that's the same kind of "gauge".
 
In a question, I am given that electric field is constant and a lagrangian which includes a term with A. So how can choose A in this problem?
 
The point is that electromagnetism is a gauge theory. This is the most important feature to understand about it. Everything else in e+m is an application of this principle ;-).

Observable is only the electromagnetic field with the electric components [itex]\vec{E}[/itex] and magnetic components [itex]\vec{B}[/itex]. The homogeneous Maxwell equations (in Heaviside-Lorentz units with [itex]c=1[/itex]),
[tex]\vec{\nabla} \times \vec{E}+\partial_t \vec{B}=0, \quad \vec{\nabla} \cdot \vec{B}=0[/tex]
imply the existence of the four-vector potential with components [itex](\phi, \vec{A})[/itex] such that
[tex]\vec{E}=-\partial_t \vec{A}-\vec{\nabla} \phi, \quad \vec{B}=\vec{\nabla} \times \vec{A}.[/tex]
If for given [itex](\vec{E},\vec{B})[/itex] you have found scalar and vector potential then any other set of potentials, connected with the old one via a gauge transformation of the form
[tex]\phi'=\phi+\partial_t \chi, \quad \vec{A}'=\vec{A}-\vec{\nabla} \chi[/tex]
with an arbitrary scalar field [itex]\chi[/itex] also leads to the same electromagnetic field, i.e., the one set of potentials is as good as any other connected to it by a gauge transformation.

You've seen this in your example of a homogeneous electrostatic field. Usually, of course, you have to solve the Maxwell equations for some given physical arrangement of charges and current densities. The inhomogeneous Maxwell equations read (in the vacuum!)
[tex]\vec{\nabla} \cdot \vec{E}=\rho, \quad \vec{\nabla} \times \vec{B}-\partial_t \vec{E}=\vec{j}.[/tex]
Expressing the field components in terms of the potentials this gives
[tex]-\vec{\nabla} \cdot (\partial_t \vec{A}+\vec{\nabla} \phi)=\rho, \quad \vec{\nabla} (\vec{\nabla} \cdot \vec{A})-\Delta \vec{A}+\partial_t (\partial_t \vec{A}+\vec{\nabla} \phi)=j.[/tex]
This is a pretty complicated set of coupled partial differential equations, but the point is that you have some freedom to choose the potentials since they are only defined modulo a gauge transformation. Thus you can simplify your work by constraining the potentials to fix the corresponding arbitrary gauge function [itex]\chi[/itex].

A very convenient choice is the Lorenz gauge condition
[tex]\partial_t \phi+\vec{\nabla} \cdot \vec{A}=0.[/tex]
It's easy to show that the pretty complicated equations above decouple to inhomogeneous wave equations for each component of the potential separately:
[tex]\Box \phi=\rho, \quad \Box \vec{A}=\vec{j},[/tex]
where [itex]\Box=\partial_t^2-\Delta[/itex] is the D'Alembert operator.