Physics:Liénard–Wiechert potential

From HandWiki
Short description: Electromagnetic effect of point charges

The Liénard–Wiechert potentials describe the classical electromagnetic effect of a moving electric point charge in terms of a vector potential and a scalar potential in the Lorenz gauge. Stemming directly from Maxwell's equations, these describe the complete, relativistically correct, time-varying electromagnetic field for a point charge in arbitrary motion, but are not corrected for quantum mechanical effects. Electromagnetic radiation in the form of waves can be obtained from these potentials. These expressions were developed in part by Alfred-Marie Liénard in 1898[1] and independently by Emil Wiechert in 1900.[2][3]

Equations

Definition of Liénard–Wiechert potentials

The retarded time is defined, in the context of distributions of charges and currents, as

[math]\displaystyle{ t_r(\mathbf{r},\mathbf{r_s}, t) = t - \frac{1}{c}|\mathbf{r} - \mathbf{r}_s|, }[/math]

where [math]\displaystyle{ \mathbf{r} }[/math] is the observation point, and [math]\displaystyle{ \mathbf{r}_s }[/math] is the observed point subject to the variations of source charges and currents. For a moving point charge [math]\displaystyle{ q }[/math] whose given trajectory is [math]\displaystyle{ \mathbf{r_s}(t) }[/math], [math]\displaystyle{ \mathbf{r_s} }[/math] is no more fixed, but becomes a function of the retarded time itself. In other words, following the trajectory of [math]\displaystyle{ q }[/math] yields the implicit equation

[math]\displaystyle{ t_r = t - \frac{1}{c}|\mathbf{r} - \mathbf{r}_s(t_r)|, }[/math]

which provides the retarded time [math]\displaystyle{ t_r }[/math] as a function of the current time (and of the given trajectory):

[math]\displaystyle{ t_r = t_r(\mathbf{r},t) }[/math].

The Liénard–Wiechert potentials [math]\displaystyle{ \varphi }[/math] (scalar potential field) and [math]\displaystyle{ \mathbf{A} }[/math] (vector potential field) are, for a source point charge [math]\displaystyle{ q }[/math] at position [math]\displaystyle{ \mathbf{r}_s }[/math] traveling with velocity [math]\displaystyle{ \mathbf{v}_s }[/math]:

[math]\displaystyle{ \varphi(\mathbf{r}, t) = \frac{1}{4 \pi \epsilon_0} \left(\frac{q}{(1 - \mathbf{n}_s \cdot \boldsymbol{\beta}_s)|\mathbf{r} - \mathbf{r}_s|} \right)_{t_r} }[/math]

and

[math]\displaystyle{ \mathbf{A}(\mathbf{r},t) = \frac{\mu_0c}{4 \pi} \left(\frac{q \boldsymbol{\beta}_s}{(1 - \mathbf{n}_s \cdot \boldsymbol{\beta}_s)|\mathbf{r} - \mathbf{r}_s|} \right)_{t_r} = \frac{\boldsymbol{\beta}_s(t_r)}{c} \varphi(\mathbf{r}, t) }[/math]

where:

  • [math]\displaystyle{ \boldsymbol{\beta}_s(t) = \frac{\mathbf{v}_s(t)}{c} }[/math] is the velocity of the source expressed as a fraction of the speed of light;
  • [math]\displaystyle{ {|\mathbf{r} - \mathbf{r}_s|} }[/math] is the distance from the source;
  • [math]\displaystyle{ \mathbf{n}_s = \frac{\mathbf{r} - \mathbf{r}_s}{|\mathbf{r} - \mathbf{r}_s|} }[/math] is the unit vector pointing in the direction from the source and,
  • The symbol [math]\displaystyle{ (\cdots)_{t_r} }[/math] means that the quantities inside the parenthesis should be evaluated at the retarded time [math]\displaystyle{ t_r = t_r(\mathbf{r},t) }[/math].

This can also be written in a covariant way, where the electromagnetic four-potential at [math]\displaystyle{ X^{\mu}=(t,x,y,z) }[/math] is:[4]

[math]\displaystyle{ A^{\mu}(X)= -\frac{\mu_0 q c}{4 \pi} \left(\frac{U^{\mu}}{R_{\nu}U^{\nu}} \right)_{t_r} }[/math]

where [math]\displaystyle{ R^{\mu}=X^{\mu}-R_{\rm s}^{\mu} }[/math] and [math]\displaystyle{ R_{\rm s}^{\mu} }[/math] is the position of the source and [math]\displaystyle{ U^{\mu}=dX^{\mu}/d\tau }[/math] is its four velocity.

Field computation

We can calculate the electric and magnetic fields directly from the potentials using the definitions: [math]\displaystyle{ \mathbf{E} = - \nabla \varphi - \dfrac{\partial \mathbf{A}}{\partial t} }[/math] and [math]\displaystyle{ \mathbf{B} = \nabla \times \mathbf{A} }[/math]

The calculation is nontrivial and requires a number of steps. The electric and magnetic fields are (in non-covariant form): [math]\displaystyle{ \mathbf{E}(\mathbf{r}, t) = \frac{1}{4 \pi \varepsilon_0} \left(\frac{q(\mathbf{n}_s - \boldsymbol{\beta}_s)}{\gamma^2 (1 - \mathbf{n}_s \cdot \boldsymbol{\beta}_s)^3 |\mathbf{r} - \mathbf{r}_s|^2} + \frac{q \mathbf{n}_s \times \big((\mathbf{n}_s - \boldsymbol{\beta}_s) \times \dot{\boldsymbol{\beta}_s}\big)}{c(1 - \mathbf{n}_s \cdot \boldsymbol{\beta}_s)^3 |\mathbf{r} - \mathbf{r}_s|} \right)_{t_r} }[/math] and [math]\displaystyle{ \mathbf{B}(\mathbf{r}, t) = \frac{\mu_0}{4 \pi} \left(\frac{q c(\boldsymbol{\beta}_s \times \mathbf{n}_s)}{\gamma^2 (1-\mathbf{n}_s \cdot \boldsymbol{\beta}_s)^3 |\mathbf{r} - \mathbf{r}_s|^2} + \frac{q \mathbf{n}_s \times \Big(\mathbf{n}_s \times \big((\mathbf{n}_s - \boldsymbol{\beta}_s) \times \dot{\boldsymbol{\beta}_s}\big) \Big)}{(1 - \mathbf{n}_s \cdot \boldsymbol{\beta}_s)^3 |\mathbf{r} - \mathbf{r}_s|} \right)_{t_r} = \frac{\mathbf{n}_s(t_r)}{c} \times \mathbf{E}(\mathbf{r}, t) }[/math] where [math]\displaystyle{ \boldsymbol{\beta}_s(t) = \frac{\mathbf{v}_s(t)}{c} }[/math], [math]\displaystyle{ \mathbf{n}_s(t) = \frac{\mathbf{r} - \mathbf{r}_s(t)}{|\mathbf{r} - \mathbf{r}_s(t)|} }[/math] and [math]\displaystyle{ \gamma(t) = \frac{1}{\sqrt{1 - |\boldsymbol{\beta}_s(t)|^2}} }[/math] (the Lorentz factor).

Note that the [math]\displaystyle{ \mathbf{n}_s - \boldsymbol{\beta}_s }[/math] part of the first term updates the direction of the field toward the instantaneous position of the charge, if it continues to move with constant velocity [math]\displaystyle{ c \boldsymbol{\beta}_s }[/math]. This term is connected with the "static" part of the electromagnetic field of the charge.

The second term, which is connected with electromagnetic radiation by the moving charge, requires charge acceleration [math]\displaystyle{ \dot{\boldsymbol{\beta}}_s }[/math] and if this is zero, the value of this term is zero, and the charge does not radiate (emit electromagnetic radiation). This term requires additionally that a component of the charge acceleration be in a direction transverse to the line which connects the charge [math]\displaystyle{ q }[/math] and the observer of the field [math]\displaystyle{ \mathbf{E}(\mathbf{r}, t) }[/math]. The direction of the field associated with this radiative term is toward the fully time-retarded position of the charge (i.e. where the charge was when it was accelerated).

Derivation

The [math]\displaystyle{ \varphi(\mathbf{r}, t) }[/math] scalar and [math]\displaystyle{ \mathbf{A}(\mathbf{r}, t) }[/math] vector potentials satisfy the nonhomogeneous electromagnetic wave equation where the sources are expressed with the charge and current densities [math]\displaystyle{ \rho(\mathbf{r}, t) }[/math] and [math]\displaystyle{ \mathbf{J}(\mathbf{r}, t) }[/math] [math]\displaystyle{ \nabla^2 \varphi + {{\partial } \over \partial t} \left ( \nabla \cdot \mathbf{A} \right ) = - {\rho \over \varepsilon_0} \,, }[/math] and the Ampère-Maxwell law is: [math]\displaystyle{ \nabla^2 \mathbf{A} - {1 \over c^2} {\partial^2 \mathbf{A} \over \partial t^2} - \nabla \left ( {1 \over c^2} {{\partial \varphi } \over {\partial t }} + \nabla \cdot \mathbf{A} \right ) = - \mu_0 \mathbf{J} \,. }[/math]

Since the potentials are not unique, but have gauge freedom, these equations can be simplified by gauge fixing. A common choice is the Lorenz gauge condition: [math]\displaystyle{ {1 \over c^2} {{\partial \varphi } \over {\partial t }} + \nabla \cdot \mathbf{A} = 0 }[/math]

Then the nonhomogeneous wave equations become uncoupled and symmetric in the potentials: [math]\displaystyle{ \nabla^2 \varphi - {1 \over c^2} {\partial^2 \varphi \over \partial t^2} = - {\rho \over \varepsilon_0} \,, }[/math] [math]\displaystyle{ \nabla^2 \mathbf{A} - {1 \over c^2} {\partial^2 \mathbf{A} \over \partial t^2} = - \mu_0 \mathbf{J} \,. }[/math]

Generally, the retarded solutions for the scalar and vector potentials (SI units) are [math]\displaystyle{ \varphi(\mathbf{r}, t) = \frac{1}{4\pi \varepsilon_0}\int \frac{\rho(\mathbf{r}', t_r')}{|\mathbf{r} - \mathbf{r}'|} d^3\mathbf{r}' + \varphi_0(\mathbf{r}, t) }[/math] and [math]\displaystyle{ \mathbf{A}(\mathbf{r}, t) = \frac{\mu_0}{4\pi} \int \frac{\mathbf{J}(\mathbf{r}', t_r')}{|\mathbf{r} - \mathbf{r}'|} d^3\mathbf{r}' + \mathbf{A}_0(\mathbf{r}, t) }[/math]

where [math]\displaystyle{ t_r' = t - \frac{1}{c} |\mathbf{r} - \mathbf{r}'| }[/math] is the retarded time and [math]\displaystyle{ \varphi_0(\mathbf{r}, t) }[/math] and [math]\displaystyle{ \mathbf{A}_0(\mathbf{r}, t) }[/math] satisfy the homogeneous wave equation with no sources and the boundary conditions. In the case that there are no boundaries surrounding the sources then [math]\displaystyle{ \varphi_0(\mathbf{r}, t) = 0 }[/math] and [math]\displaystyle{ \mathbf{A}_0(\mathbf{r}, t) = 0 }[/math].

For a moving point charge whose trajectory is given as a function of time by [math]\displaystyle{ \mathbf{r}_s(t') }[/math], the charge and current densities are as follows:

[math]\displaystyle{ \rho(\mathbf{r}', t') = q \delta^3(\mathbf{r'} - \mathbf{r}_s(t')) }[/math] [math]\displaystyle{ \mathbf{J}(\mathbf{r}', t') = q\mathbf{v}_s(t') \delta^3(\mathbf{r'} - \mathbf{r}_s(t')) }[/math]

where [math]\displaystyle{ \delta^3 }[/math] is the three-dimensional Dirac delta function and [math]\displaystyle{ \mathbf{v}_s(t') }[/math] is the velocity of the point charge.

Substituting into the expressions for the potential gives [math]\displaystyle{ \varphi(\mathbf{r}, t) = \frac{1}{4\pi\epsilon_0} \int \frac{q \delta^3(\mathbf{r'} - \mathbf{r}_s(t_r'))}{|\mathbf{r} - \mathbf{r}'|} d^3\mathbf{r}' }[/math] [math]\displaystyle{ \mathbf{A}(\mathbf{r}, t) = \frac{\mu_0}{4\pi} \int \frac{q\mathbf{v}_s(t_r') \delta^3(\mathbf{r'} - \mathbf{r}_s(t_r'))}{|\mathbf{r} - \mathbf{r}'|} d^3\mathbf{r}' }[/math]

These integrals are difficult to evaluate in their present form, so we will rewrite them by replacing [math]\displaystyle{ t_r' }[/math] with [math]\displaystyle{ t' }[/math] and integrating over the delta distribution [math]\displaystyle{ \delta(t' - t_r') }[/math]: [math]\displaystyle{ \varphi(\mathbf{r}, t) = \frac{1}{4\pi \epsilon_0} \iint \frac{q\delta^3(\mathbf{r'} - \mathbf{r}_s(t'))}{|\mathbf{r} - \mathbf{r}'|} \delta(t' - t_r') \, dt' \, d^3\mathbf{r}' }[/math] [math]\displaystyle{ \mathbf{A}(\mathbf{r}, t) = \frac{\mu_0}{4\pi} \iint \frac{q\mathbf{v}_s(t') \delta^3(\mathbf{r'} - \mathbf{r}_s(t'))}{|\mathbf{r} - \mathbf{r}'|} \delta(t' - t_r') \, dt' \, d^3\mathbf{r}' }[/math]

We exchange the order of integration: [math]\displaystyle{ \varphi(\mathbf{r}, t) = \frac{1}{4\pi \epsilon_0} \iint \frac{\delta(t' - t_r')}{|\mathbf{r} - \mathbf{r}'|} q\delta^3(\mathbf{r'} - \mathbf{r}_s(t')) \, d^3\mathbf{r}' dt' }[/math] [math]\displaystyle{ \mathbf{A}(\mathbf{r}, t) = \frac{\mu_0}{4\pi} \iint \frac{\delta(t' - t_r')}{|\mathbf{r} - \mathbf{r}'|} q\mathbf{v}_s(t') \delta^3(\mathbf{r'} - \mathbf{r}_s(t')) \, d^3\mathbf{r}' dt' }[/math]

The delta function picks out [math]\displaystyle{ \mathbf{r}' = \mathbf{r}_s(t') }[/math] which allows us to perform the inner integration with ease. Note that [math]\displaystyle{ t_r' }[/math] is a function of [math]\displaystyle{ \mathbf{r}' }[/math], so this integration also fixes [math]\displaystyle{ t_r' = t - \frac{1}{c} |\mathbf{r} - \mathbf{r}_s(t')| }[/math]. [math]\displaystyle{ \varphi(\mathbf{r}, t) = \frac{1}{4\pi \epsilon_0} \int q\frac{\delta(t' - t_r')}{|\mathbf{r} - \mathbf{r}_s(t')|} dt' }[/math] [math]\displaystyle{ \mathbf{A}(\mathbf{r}, t) = \frac{\mu_0}{4\pi} \int q\mathbf{v}_s(t') \frac{\delta(t' - t_r')}{|\mathbf{r} - \mathbf{r}_s(t')|} \, dt' }[/math]

The retarded time [math]\displaystyle{ t_r' }[/math] is a function of the field point [math]\displaystyle{ (\mathbf{r}, t) }[/math] and the source trajectory [math]\displaystyle{ \mathbf{r}_s(t') }[/math], and hence depends on [math]\displaystyle{ t' }[/math]. To evaluate this integral, therefore, we need the identity [math]\displaystyle{ \delta(f(t')) = \sum_i \frac{\delta(t' - t_i)}{|f'(t_i)|} }[/math] where each [math]\displaystyle{ t_i }[/math] is a zero of [math]\displaystyle{ f }[/math]. Because there is only one retarded time [math]\displaystyle{ t_r }[/math] for any given space-time coordinates [math]\displaystyle{ (\mathbf{r}, t) }[/math] and source trajectory [math]\displaystyle{ \mathbf{r}_s(t') }[/math], this reduces to: [math]\displaystyle{ \begin{align}\delta(t' - t_r') =& \frac{\delta(t' - t_r)}{\frac{\partial}{\partial t'}(t' - t_r')|_{t' = t_r}} = \frac{\delta(t' - t_r)}{\frac{\partial}{\partial t'}(t' - (t - \frac{1}{c} |\mathbf{r} - \mathbf{r}_s(t')|))|_{t' = t_r}} \\ &= \frac{\delta(t' - t_r)}{1 + \frac{1}{c} (\mathbf{r} - \mathbf{r}_s(t'))/|\mathbf{r} - \mathbf{r}_s(t')|\cdot (-\mathbf{v}_s(t')) |_{t' = t_r}}\\ &= \frac{\delta(t' - t_r)}{1 - \boldsymbol{\beta}_s \cdot (\mathbf{r}-\mathbf{r}_s)/|\mathbf{r}-\mathbf{r}_s|}\end{align} }[/math] where [math]\displaystyle{ \boldsymbol{\beta}_s = \mathbf{v}_s/c }[/math] and [math]\displaystyle{ \mathbf{r}_s }[/math] are evaluated at the retarded time [math]\displaystyle{ t_r }[/math], and we have used the identity [math]\displaystyle{ |\mathbf{x}|' = \hat{\mathbf{x}} \cdot \mathbf{v} }[/math] with [math]\displaystyle{ \mathbf{v} = \mathbf{x}' }[/math]. Notice that the retarded time [math]\displaystyle{ t_r }[/math] is the solution of the equation [math]\displaystyle{ t_r = t - \frac{1}{c} |\mathbf{r} - \mathbf{r}_s(t_r)| }[/math]. Finally, the delta function picks out [math]\displaystyle{ t' = t_r }[/math], and [math]\displaystyle{ \varphi(\mathbf{r}, t) = \frac{1}{4\pi \epsilon_0} \left(\frac{q}{|\mathbf{r}-\mathbf{r}_s| (1 - \boldsymbol{\beta}_s \cdot (\mathbf{r}-\mathbf{r}_s)/|\mathbf{r}-\mathbf{r}_s|)}\right)_{t_r} = \frac{1}{4\pi \epsilon_0} \left(\frac{q}{(1-\mathbf{n}_s\cdot \boldsymbol{\beta}_s)|\mathbf{r}-\mathbf{r}_s|}\right)_{t_r} }[/math] [math]\displaystyle{ \mathbf{A}(\mathbf{r}, t) = \frac{\mu_0}{4\pi} \left(\frac{q\mathbf{v}}{|\mathbf{r}-\mathbf{r}_s| (1 - \boldsymbol{\beta}_s \cdot (\mathbf{r}-\mathbf{r}_s)/|\mathbf{r}-\mathbf{r}_s|)}\right)_{t_r} = \frac{\mu_0 c}{4\pi} \left(\frac{q\boldsymbol{\beta}_s}{(1-\mathbf{n}_s\cdot \boldsymbol{\beta}_s)|\mathbf{r}-\mathbf{r}_s|}\right)_{t_r} }[/math] which are the Liénard–Wiechert potentials.

Lorenz gauge, electric and magnetic fields

In order to calculate the derivatives of [math]\displaystyle{ \varphi }[/math] and [math]\displaystyle{ \mathbf{A} }[/math] it is convenient to first compute the derivatives of the retarded time. Taking the derivatives of both sides of its defining equation (remembering that [math]\displaystyle{ \mathbf{r_s} = \mathbf{r_s}(t_r) }[/math]): [math]\displaystyle{ t_r + \frac{1}{c} |\mathbf{r}-\mathbf{r_s}|= t }[/math] Differentiating with respect to t, [math]\displaystyle{ \frac{d t_r}{d t} + \frac{1}{c}\frac{d t_r}{d t}\frac{d |\mathbf{r}-\mathbf{r_s}|}{d t_r}= 1 }[/math]

[math]\displaystyle{ \frac{d t_r}{d t} \left(1 - \mathbf{n}_s\cdot{\boldsymbol \beta}_s\right) = 1 }[/math]

[math]\displaystyle{ \frac{d t_r}{d t} = \frac{1}{\left(1 - \mathbf{n}_s\cdot{\boldsymbol \beta}_s\right)} }[/math]

Similarly, taking the gradient with respect to [math]\displaystyle{ \mathbf{r} }[/math] and using the multivariable chain rule gives

[math]\displaystyle{ {\boldsymbol \nabla} t_r + \frac{1}{c}{\boldsymbol \nabla} |\mathbf{r}-\mathbf{r_s}| = 0 }[/math]

[math]\displaystyle{ {\boldsymbol \nabla} t_r + \frac{1}{c} \left({\boldsymbol \nabla} t_r \frac{d |\mathbf{r}-\mathbf{r_s}|}{d t_r} + \mathbf{n}_s\right) = 0 }[/math]

[math]\displaystyle{ {\boldsymbol \nabla} t_r \left(1 - \mathbf{n}_s\cdot{\boldsymbol \beta}_s\right) = -\mathbf{n}_s/c }[/math]

[math]\displaystyle{ {\boldsymbol \nabla} t_r = -\frac{\mathbf{n}_s/c}{\left(1 - \mathbf{n}_s\cdot{\boldsymbol \beta}_s\right)} }[/math]

It follows that

[math]\displaystyle{ \frac{d |\mathbf{r}-\mathbf{r_s}|}{d t} = \frac{d t_r}{d t}\frac{d |\mathbf{r}-\mathbf{r_s}|}{d t_r} = \frac{- \mathbf{n}_s\cdot{\boldsymbol \beta}_s c}{\left(1 - \mathbf{n}_s\cdot{\boldsymbol \beta}_s\right)} }[/math]

[math]\displaystyle{ {\boldsymbol \nabla} |\mathbf{r}-\mathbf{r_s}| = {\boldsymbol \nabla} t_r \frac{d |\mathbf{r}-\mathbf{r_s}|}{d t_r} + \mathbf{n}_s = \frac{\mathbf{n}_s}{\left(1 - \mathbf{n}_s\cdot{\boldsymbol \beta}_s\right)} }[/math]

These can be used in calculating the derivatives of the vector potential and the resulting expressions are

[math]\displaystyle{ \begin{align} \frac{d \varphi}{d t} =& -\frac{q}{4\pi\epsilon_0}\frac{1}{|\mathbf{r}-\mathbf{r_s}|^2\left(1-\mathbf{n}_s\cdot{\boldsymbol \beta}_s\right)^2}\frac{d}{d t}\left[(|\mathbf{r}-\mathbf{r_s}|(1-\mathbf{n}_s\cdot{\boldsymbol \beta}_s)\right]\\ =& -\frac{q}{4\pi\epsilon_0}\frac{1}{|\mathbf{r}-\mathbf{r_s}|^2\left(1-\mathbf{n}_s\cdot{\boldsymbol \beta}_s\right)^2}\frac{d}{d t}\left[|\mathbf{r}-\mathbf{r_s}|-(\mathbf{r}-\mathbf{r_s})\cdot{\boldsymbol \beta}_s\right]\\ =& -\frac{q c}{4\pi\epsilon_0}\frac{1}{|\mathbf{r}-\mathbf{r_s}|^2\left(1-\mathbf{n}_s\cdot{\boldsymbol \beta}_s\right)^3}\left[- \mathbf{n}_s\cdot{\boldsymbol \beta}_s + {\beta_s}^2 - (\mathbf{r}-\mathbf{r_s})\cdot \dot {\boldsymbol \beta}_s /c \right]\end{align} }[/math]

[math]\displaystyle{ \begin{align}{\boldsymbol \nabla}\cdot\mathbf{A} =& -\frac{q}{4\pi\epsilon_0 c}\frac{1}{|\mathbf{r}-\mathbf{r_s}|^2\left(1-\mathbf{n}_s\cdot{\boldsymbol \beta}_s\right)^2} \big({\boldsymbol \nabla} \left[\left(|\mathbf{r}-\mathbf{r_s}|-(\mathbf{r}-\mathbf{r_s})\cdot{\boldsymbol \beta}_s\right)\right]\cdot{\boldsymbol \beta}_s - \left[\left(|\mathbf{r}-\mathbf{r_s}|-(\mathbf{r}-\mathbf{r_s})\cdot{\boldsymbol \beta}_s\right)\right]{\boldsymbol \nabla}\cdot{\boldsymbol \beta}_s\big)\\ =& - \frac{q}{4\pi\epsilon_0 c}\frac{1}{|\mathbf{r}-\mathbf{r_s}|^2\left(1-\mathbf{n}_s\cdot{\boldsymbol \beta}_s\right)^3}\cdot\\ &\left[(\mathbf{n}_s\cdot {\boldsymbol \beta}_s) - {\beta}_s^2(1-\mathbf{n}_s\cdot {\boldsymbol \beta}_s) - {\beta}_s^2\mathbf{n}_s\cdot {\boldsymbol \beta}_s + \left((\mathbf{r}-\mathbf{r_s})\cdot \dot {\boldsymbol \beta}_s/c\right)(\mathbf{n}_s\cdot {\boldsymbol \beta}_s) + \big(|\mathbf{r}-\mathbf{r_s}|-(\mathbf{r}-\mathbf{r_s})\cdot{\boldsymbol \beta}_s\big)(\mathbf{n}_s\cdot \dot {\boldsymbol \beta}_s/c)\right] \\=&\frac{q}{4\pi\epsilon_0 c}\frac{1}{|\mathbf{r}-\mathbf{r_s}|^2\left(1-\mathbf{n}_s\cdot{\boldsymbol \beta}_s\right)^3}\left[\beta_s^2 - \mathbf{n}_s\cdot{\boldsymbol \beta}_s - (\mathbf{r}-\mathbf{r_s})\cdot \dot {\boldsymbol \beta}_s/c\right]\end{align} }[/math]

These show that the Lorenz gauge is satisfied, namely that [math]\displaystyle{ \frac{d \varphi}{d t} + c^2 {\boldsymbol \nabla}\cdot\mathbf{A} = 0 }[/math].

Similarly one calculates:

[math]\displaystyle{ {\boldsymbol \nabla}\varphi = -\frac{q}{4\pi\epsilon_0}\frac{1}{|\mathbf{r}-\mathbf{r_s}|^2\left(1-\mathbf{n}_s\cdot{\boldsymbol \beta}_s\right)^3}\left[\mathbf{n}_s\left(1-{\beta_s}^2 + (\mathbf{r}-\mathbf{r_s})\cdot \dot {\boldsymbol \beta}_s/c\right) - {\boldsymbol \beta}_s(1-\mathbf{n}_s\cdot{\boldsymbol \beta}_s)\right] }[/math]

[math]\displaystyle{ \frac{d\mathbf{A}}{dt} = \frac{q}{4\pi\epsilon_0}\frac{1}{|\mathbf{r}-\mathbf{r_s}|^2\left(1-\mathbf{n}_s\cdot{\boldsymbol \beta}_s\right)^3}\left[{\boldsymbol \beta}_s\left(\mathbf{n}_s\cdot{\boldsymbol \beta}_s-{\beta_s}^2 + (\mathbf{r}-\mathbf{r_s})\cdot \dot {\boldsymbol \beta}_s/c\right) + |\mathbf{r}-\mathbf{r_s}|\dot {\boldsymbol \beta}_s (1-\mathbf{n}_s\cdot{\boldsymbol \beta}_s)/c\right] }[/math]

By noting that for any vectors [math]\displaystyle{ \mathbf{u} }[/math], [math]\displaystyle{ \mathbf{v} }[/math], [math]\displaystyle{ \mathbf{w} }[/math]: [math]\displaystyle{ \mathbf{u}\times(\mathbf{v}\times\mathbf{w}) = (\mathbf{u}\cdot\mathbf{w})\mathbf{v}- (\mathbf{u}\cdot \mathbf{v})\mathbf{w} }[/math] The expression for the electric field mentioned above becomes [math]\displaystyle{ \begin{align}\mathbf{E}(\mathbf{r}, t) =& \frac{q}{4 \pi \epsilon_0} \frac{1}{|\mathbf{r} - \mathbf{r}_s|^2(1 - \mathbf{n}_s \cdot {\boldsymbol \beta}_s)^3}\cdot \\ &\left[\left(\mathbf{n}_s - {\boldsymbol \beta}_s\right)(1-{\beta_s}^2) + |\mathbf{r} - \mathbf{r}_s|(\mathbf{n}_s \cdot \dot{\boldsymbol \beta}_s/c) (\mathbf{n}_s - {\boldsymbol \beta}_s) - |\mathbf{r} - \mathbf{r}_s|\big(\mathbf{n}_s \cdot (\mathbf{n}_s - {\boldsymbol \beta}_s)\big) \dot{\boldsymbol \beta}_s/c \right]\end{align} }[/math] which is easily seen to be equal to [math]\displaystyle{ -{\boldsymbol \nabla}\varphi - \frac{d\mathbf{A}}{dt} }[/math]

Similarly [math]\displaystyle{ {\boldsymbol \nabla}\times\mathbf{A} }[/math] gives the expression of the magnetic field mentioned above: [math]\displaystyle{ \begin{align}{\mathbf{B}} =& {\boldsymbol \nabla}\times\mathbf{A} \\[1ex] =& -\frac{q}{4\pi\epsilon_0 c}\frac{1}{|\mathbf{r}-\mathbf{r_s}|^2\left(1-\mathbf{n}_s\cdot{\boldsymbol \beta}_s\right)^2}\big({\boldsymbol \nabla} \left[\left(|\mathbf{r}-\mathbf{r_s}|-(\mathbf{r}-\mathbf{r_s})\cdot{\boldsymbol \beta}_s\right)\right]\times{\boldsymbol \beta}_s - \left[\left(|\mathbf{r}-\mathbf{r_s}|-(\mathbf{r}-\mathbf{r_s})\cdot{\boldsymbol \beta}_s\right)\right]{\boldsymbol \nabla}\times{\boldsymbol \beta}_s\big)\\ =& - \frac{q}{4\pi\epsilon_0 c}\frac{1}{|\mathbf{r}-\mathbf{r_s}|^2\left(1-\mathbf{n}_s\cdot{\boldsymbol \beta}_s\right)^3}\cdot\\ &\qquad \left[(\mathbf{n}_s\times {\boldsymbol \beta}_s) - ({\boldsymbol \beta}_s\times {\boldsymbol \beta}_s)(1-\mathbf{n}_s\cdot {\boldsymbol \beta}_s) - {\beta}_s^2\mathbf{n}_s\times {\boldsymbol \beta}_s + \left((\mathbf{r}-\mathbf{r_s})\cdot \dot {\boldsymbol \beta}_s/c\right)(\mathbf{n}_s\times {\boldsymbol \beta}_s) + \big(|\mathbf{r}-\mathbf{r_s}|-(\mathbf{r}-\mathbf{r_s})\cdot{\boldsymbol \beta}_s\big)(\mathbf{n}_s\times \dot {\boldsymbol \beta}_s/c)\right] \\=& -\frac{q}{4 \pi \epsilon_0 c} \frac{1}{|\mathbf{r} - \mathbf{r}_s|^2(1 - \mathbf{n}_s \cdot {\boldsymbol \beta}_s)^3}\cdot \\ &\qquad \left[\left(\mathbf{n}_s\times{\boldsymbol \beta}_s\right)(1-{\beta_s}^2) + |\mathbf{r} - \mathbf{r}_s|(\mathbf{n}_s \cdot \dot{\boldsymbol \beta}_s/c) (\mathbf{n}_s\times {\boldsymbol \beta}_s) + |\mathbf{r} - \mathbf{r}_s|\big(\mathbf{n}_s \cdot (\mathbf{n}_s - {\boldsymbol \beta}_s)\big) \mathbf{n}_s\times\dot{\boldsymbol \beta}_s/c \right] \\[1ex] =& \frac{\mathbf{n}_s}{c}\times\mathbf{E} \end{align} }[/math] The source terms [math]\displaystyle{ \mathbf{r}_s }[/math], [math]\displaystyle{ \mathbf{n}_s }[/math], and [math]\displaystyle{ \mathbf{\beta}_s }[/math] are to be evaluated at the retarded time.

Implications

The study of classical electrodynamics was instrumental in Albert Einstein's development of the theory of relativity. Analysis of the motion and propagation of electromagnetic waves led to the special relativity description of space and time. The Liénard–Wiechert formulation is an important launchpad into a deeper analysis of relativistic moving particles.

The Liénard–Wiechert description is accurate for a large, independently moving particle (i.e. the treatment is "classical" and the acceleration of the charge is due to a force independent of the electromagnetic field). The Liénard–Wiechert formulation always provides two sets of solutions: Advanced fields are absorbed by the charges and retarded fields are emitted. Schwarzschild and Fokker considered the advanced field of a system of moving charges, and the retarded field of a system of charges having the same geometry and opposite charges. Linearity of Maxwell's equations in vacuum allows one to add both systems, so that the charges disappear: This trick allows Maxwell's equations to become linear in matter. Multiplying electric parameters of both problems by arbitrary real constants produces a coherent interaction of light with matter which generalizes Einstein's theory[5] which is now considered as founding theory of lasers: it is not necessary to study a large set of identical molecules to get coherent amplification in the mode obtained by arbitrary multiplications of advanced and retarded fields. To compute energy, it is necessary to use the absolute fields which includes the zero point field; otherwise, an error appears, for instance in photon counting.

It is important to take into account the zero point field discovered by Planck.[6] It replaces Einstein's "A" coefficient and explains that the classical electron is stable on Rydberg's classical orbits. Moreover, introducing the fluctuations of the zero point field produces Willis E. Lamb's correction of levels of H atom.

Quantum electrodynamics helped bring together the radiative behavior with the quantum constraints. It introduces quantization of normal modes of the electromagnetic field in assumed perfect optical resonators.

Universal speed limit

The force on a particle at a given location r and time t depends in a complicated way on the position of the source particles at an earlier time tr due to the finite speed, c, at which electromagnetic information travels. A particle on Earth 'sees' a charged particle accelerate on the Moon as this acceleration happened 1.5 seconds ago, and a charged particle's acceleration on the Sun as happened 500 seconds ago. This earlier time in which an event happens such that a particle at location r 'sees' this event at a later time t is called the retarded time, tr. The retarded time varies with position; for example the retarded time at the Moon is 1.5 seconds before the current time and the retarded time on the Sun is 500 s before the current time on the Earth. The retarded time tr=tr(r,t) is defined implicitly by

[math]\displaystyle{ t_r=t-\frac{R(t_r)}{c} }[/math]

where [math]\displaystyle{ R(t_r) }[/math] is the distance of the particle from the source at the retarded time. Only electromagnetic wave effects depend fully on the retarded time.

A novel feature in the Liénard–Wiechert potential is seen in the breakup of its terms into two types of field terms (see below), only one of which depends fully on the retarded time. The first of these is the static electric (or magnetic) field term that depends only on the distance to the moving charge, and does not depend on the retarded time at all, if the velocity of the source is constant. The other term is dynamic, in that it requires that the moving charge be accelerating with a component perpendicular to the line connecting the charge and the observer and does not appear unless the source changes velocity. This second term is connected with electromagnetic radiation.

The first term describes near field effects from the charge, and its direction in space is updated with a term that corrects for any constant-velocity motion of the charge on its distant static field, so that the distant static field appears at distance from the charge, with no aberration of light or light-time correction. This term, which corrects for time-retardation delays in the direction of the static field, is required by Lorentz invariance. A charge moving with a constant velocity must appear to a distant observer in exactly the same way as a static charge appears to a moving observer, and in the latter case, the direction of the static field must change instantaneously, with no time-delay. Thus, static fields (the first term) point exactly at the true instantaneous (non-retarded) position of the charged object if its velocity has not changed over the retarded time delay. This is true over any distance separating objects.

The second term, however, which contains information about the acceleration and other unique behavior of the charge that cannot be removed by changing the Lorentz frame (inertial reference frame of the observer), is fully dependent for direction on the time-retarded position of the source. Thus, electromagnetic radiation (described by the second term) always appears to come from the direction of the position of the emitting charge at the retarded time. Only this second term describes information transfer about the behavior of the charge, which transfer occurs (radiates from the charge) at the speed of light. At "far" distances (longer than several wavelengths of radiation), the 1/R dependence of this term makes electromagnetic field effects (the value of this field term) more powerful than "static" field effects, which are described by the 1/R2 field of the first (static) term and thus decay more rapidly with distance from the charge.

Existence and uniqueness of the retarded time

Existence

The retarded time is not guaranteed to exist in general. For example, if, in a given frame of reference, an electron has just been created, then at this very moment another electron does not yet feel its electromagnetic force at all. However, under certain conditions, there always exists a retarded time. For example, if the source charge has existed for an unlimited amount of time, during which it has always travelled at a speed not exceeding [math]\displaystyle{ v_M \lt c }[/math], then there exists a valid retarded time [math]\displaystyle{ t_r }[/math]. This can be seen by considering the function [math]\displaystyle{ f(t') = |\mathbf{r} - \mathbf{r}_s(t')| - c(t - t') }[/math]. At the present time [math]\displaystyle{ t' = t }[/math]; [math]\displaystyle{ f(t') = |\mathbf{r} - \mathbf{r}_s(t')| - c(t - t') = |\mathbf{r} - \mathbf{r}_s(t')| \geq 0 }[/math]. The derivative [math]\displaystyle{ f'(t') }[/math] is given by

[math]\displaystyle{ f'(t') = \frac{\mathbf{r} - \mathbf{r}_s(t_r)}{|\mathbf{r} - \mathbf{r}_s(t_r)|} \cdot (-\mathbf{v}_s(t')) + c \geq c - \left|\frac{\mathbf{r} - \mathbf{r}_s(t_r)}{|\mathbf{r} - \mathbf{r}_s(t_r)|}\right| \, |\mathbf{v}_s(t')| = c - |\mathbf{v}_s(t')| \geq c - v_M \gt 0 }[/math]

By the mean value theorem, [math]\displaystyle{ f(t - \Delta t) \leq f(t) - f'(t)\Delta t \leq f(t) - (c - v_M)\Delta t }[/math]. By making [math]\displaystyle{ \Delta t }[/math] sufficiently large, this can become negative, i.e., at some point in the past, [math]\displaystyle{ f(t') \lt 0 }[/math]. By the intermediate value theorem, there exists an intermediate [math]\displaystyle{ t_r }[/math] with [math]\displaystyle{ f(t_r) = 0 }[/math], the defining equation of the retarded time. Intuitively, as the source charge moves back in time, the cross section of its light cone at present time expands faster than it can recede, so eventually it must reach the point [math]\displaystyle{ \mathbf{r} }[/math]. This is not necessarily true if the source charge's speed is allowed to be arbitrarily close to [math]\displaystyle{ c }[/math], i.e., if for any given speed [math]\displaystyle{ v \lt c }[/math] there was some time in the past when the charge was moving at this speed. In this case the cross section of the light cone at present time approaches the point [math]\displaystyle{ \mathbf{r} }[/math] as the observer travels back in time but does not necessarily ever reach it.

Uniqueness

For a given point [math]\displaystyle{ (\mathbf{r}, t) }[/math] and trajectory of the point source [math]\displaystyle{ \mathbf{r}_s(t') }[/math], there is at most one value of the retarded time [math]\displaystyle{ t_r }[/math], i.e., one value [math]\displaystyle{ t_r }[/math] such that [math]\displaystyle{ |\mathbf{r} - \mathbf{r}_s(t_r)| = c(t - t_r) }[/math]. This can be realized by assuming that there are two retarded times [math]\displaystyle{ t_1 }[/math] and [math]\displaystyle{ t_2 }[/math], with [math]\displaystyle{ t_1 \leq t_2 }[/math]. Then, [math]\displaystyle{ |\mathbf{r} - \mathbf{r}_s(t_1)| = c(t - t_1) }[/math] and [math]\displaystyle{ |\mathbf{r} - \mathbf{r}_s(t_2)| = c(t - t_2) }[/math]. Subtracting gives [math]\displaystyle{ c(t_2 - t_1) = |\mathbf{r} - \mathbf{r}_s(t_1)| - |\mathbf{r} - \mathbf{r}_s(t_2)| \leq |\mathbf{r}_s(t_2) - \mathbf{r}_s(t_1)| }[/math] by the triangle inequality. Unless [math]\displaystyle{ t_2 = t_1 }[/math], this then implies that the average velocity of the charge between [math]\displaystyle{ t_1 }[/math] and [math]\displaystyle{ t_2 }[/math] is [math]\displaystyle{ |\mathbf{r}_s(t_2) - \mathbf{r}_s(t_1)|/(t_2 - t_1) \geq c }[/math], which is impossible. The intuitive interpretation is that one can only ever "see" the point source at one location/time at once unless it travels at least at the speed of light to another location. As the source moves forward in time, the cross section of its light cone at present time contracts faster than the source can approach, so it can never intersect the point [math]\displaystyle{ \mathbf{r} }[/math] again.

The conclusion is that, under certain conditions, the retarded time exists and is unique.

See also

References

  1. Liénard, A. (1898). "Champ électrique et magnétique produit par une charge concentrée en un point et animée d'un mouvement quelconque". L'Éclairage Électrique 16 (27,28,29): 5-14,53-59,106-112. http://cnum.cnam.fr/CGI/fpage.cgi?P91.16/0006/80/694/0/0. 
  2. Wiechert, E. (1901). "Elektrodynamische Elementargesetze". Annalen der Physik 309 (4): 667–689. doi:10.1002/andp.19013090403. Bibcode1901AnP...309..667W. https://zenodo.org/record/2502302. 
  3. Some Aspects in Emil Wiechert
  4. David Tong: Lectures on Electromagnetism, Lecture 5: 4.Electromagnetism and Relativity, University of Cambridge
  5. Einstein, A. (1917). "Zur Quantentheorie der Strahlung" (in de). Physikalische Zeitschrift 18: 121–128. Bibcode1917PhyZ...18..121E. https://babel.hathitrust.org/cgi/pt?id=mdp.39015009220800&view=1up&seq=141. 
  6. Planck, M. (1911). "Eine neue Strahlungshypothese" (in de). Verhandlungen der Deutschen Physikalischen Gesellschaft 13: 138–175. https://babel.hathitrust.org/cgi/pt?id=coo.31924056113495&view=1up&seq=154. 

External links