Next: Larmor's Formula Up: Relativistic Electrodynamics Previous: Covariant Green's Functions   Contents

To summarize from the last chapter, two useful Green's functions for the inhomogeneous wave equation: A^&alpha#alpha;= &mu#mu;_0 J^&alpha#alpha; are D_r(x - x') = &thetas#theta;(x^0 - x'^0)4&pi#pi;R &delta#delta;(x^0 - x'^0 - R) (the retarded Green's function) and D_a(x - x') = &thetas#theta;[-(x^0 - x'^0)]4 &pi#pi;R &delta#delta;(x^0 - x'^0 + R) (the advanced Green's function). The integral equations associated with these Green's functions were: A^&alpha#alpha;(x) = A^&alpha#alpha;_in(x) + &mu#mu;_0 &int#int;d^4x' D_r(x - x') J^&alpha#alpha;(x') and A^&alpha#alpha;(x) = A^&alpha#alpha;_out(x) + &mu#mu;_0 &int#int;d^4x' D_a(x - x') J^&alpha#alpha;(x') .

For the moment, let us ignore Dirac's observations and the radiation field and focus instead on only the normal'' causally connected retarded potential produced by a single charged particle as it moves in the absence of external potentials. This potential is causal'' in that the effect (the potential field) follows the cause (the motion of the charge) in time, where the advanced potential has the effect preceding the cause, so to speak. Let me emphasize that this is not a particularly consistent assumption (again, we the theory is manifestly time symmetric so past'' and future'' are pretty much arbitrary namings of two opposed directions), but it yields some very nice results, as well as some problems. In that case: A^&alpha#alpha;(x) = &mu#mu;_0 &int#int;d^4x' D_r(x - x') J^&alpha#alpha;(x') where the four-current of a point charge is found from J(',t) = {} = {} in the lab/rest frame or (in covariant form): J^&alpha#alpha;(x') = ec &int#int;d&tau#tau;U^&alpha#alpha;(&tau#tau;) &delta#delta;^(4)( [x' - r(&tau#tau;)] ) where U = &gamma#gamma;() = drd&tau#tau; Note that the function in these expressions simply forces the particle to be found at the correct location at each (proper) time. The function is the trajectory of the particle. Its derivative is the four-velocity. This yields (when the 's have all been accounted for) the rest frame expression.

To do the integral, we need the manifestly covariant'' form of the retarded Green's function. Note that: &delta#delta;[(x - x')^2] & = & &delta#delta;[(x^0 - x'^0)^2 - |- vx'|^2]
& = & &delta#delta;[(x^0 - x'^0 - R)(x^0 - x'^0 + R)]
& = & 12R [&delta#delta;(x_0 - x_0' - R) + &delta#delta;(x_0 - x_0' + R)] (where ). In terms of this, is given by D_r(x - x') = 12&pi#pi; &thetas#theta;(x_0 - x_0') &delta#delta;[(x - x')^2] . Again, the second delta-function makes no contribution because of the opposing -function. Thus A^&alpha#alpha;(x) & = & &mu#mu;_0 c2 &pi#pi; &int#int;d^4x' &thetas#theta;(x_0 - x_0') &delta#delta;([x - x']^2)
& &         ×e &int#int;d&tau#tau;U^&alpha#alpha;(&tau#tau;) &delta#delta;^(4)( [x' - r(&tau#tau;)] )
& = & e&mu#mu;_0 c2&pi#pi; &int#int;d &tau#tau;U^&alpha#alpha;(&tau#tau;) &thetas#theta;[x_0 - r_x(&tau#tau;)] &delta#delta;{ [x - r(&tau#tau;)]^2 } . The vector potential at a point gets a contribution only where-when that point lies on the light cone in the future (picked out by the function) of the world line of the charge (picked out be the function). The contribution is proportional to at that (retarded) time. It dies off like , although that is obscured by the form of the function.

To evaluate this (and discover the embedded ), we use the rule (from way back at the beginning of the book, p. 30 in J1.2) &delta#delta;[f(x)] = &sum#sum;_i &delta#delta;(x - x_i)( dfdx)_x = x_i where the are the non-degenerate zeros of . is assumed to be smooth''. Then if we let f(&tau#tau;) = [x - r(&tau#tau;)]^2 (which is zero when in the past) then d d&tau#tau; [x - r(&tau#tau;)]^2 = -2[x - r(&tau#tau;)]_&beta#beta;U^&beta#beta;(&tau#tau;) and therefore &delta#delta;([x - r(&tau#tau;)]^2) = &delta#delta;(&tau#tau;- &tau#tau;_p)|-2[x - r(&tau#tau;)]_&beta#beta;U^&beta#beta;(&tau#tau;)| = &delta#delta;(&tau#tau;- &tau#tau;_p)2[x - r(&tau#tau;)]_&beta#beta;U^&beta#beta;(&tau#tau;)

From this we see that A^&alpha#alpha;(x) = e&mu#mu;_0 c4&pi#pi; .U^&alpha#alpha;(&tau#tau;)U ·[x - r(&tau#tau;)] |_&tau#tau;= &tau#tau;_p where is the proper time in the past of when the light cone of the charge contains the event . This potential (and its other forms above) are called the Liénard-Wiechert potentials. In non-covariant form, they are obtained from the identity U ·(x - r) & = & U_0[x_0 - r_0(&tau#tau;_p)] - U ·[x - r(&tau#tau;_p)]
& = & &gamma#gamma;c R (1 - ·n) where n is a unit vector in the direction of and where as usual.

Recall that . Thus: A^0(x) = e&mu#mu;_0 c4&pi#pi; .&gamma#gamma;c&gamma#gamma;c R (1 - ·)|_ret and &phis#phi;(,t) = cA^0 = e4&pi#pi;&epsi#epsilon;_0 .1R (1 - ·)|_ret where all quantities (e.g. ) must be evaluated at the retarded time where the event x is on the light cone of a point on the particle trajectory.

Similarly (,t) & = & e&mu#mu;_0 c4&pi#pi; .&gamma#gamma;c&gamma#gamma;c R (1 - ·)|_ret
& = & e4&pi#pi;&mu#mu;_0&epsi#epsilon;_0 . R (1 - ·)|_ret where again things must be evaluated at retarded times on the particle trajectory. Note well that both of these manifestly have the correct non-relativistic form in the limit .

We can get the fields from the 4-potential in any of these forms. However, the last few forms we have written are compact, beautiful, intuitive, and have virtually no handles with which to take vector derivatives. It is simpler to return to the integral form, where we can let act on the and functions. &part#partial;^&alpha#alpha;A^&beta#beta;= e&mu#mu;_0 c2&pi#pi; &int#int;d&tau#tau; U^&beta#beta;(&tau#tau;) &thetas#theta;[x_0 - r_0(&tau#tau;)] &part#partial;^&alpha#alpha;&delta#delta;( [x - r(&tau#tau;)]^2 ) where &part#partial;^&alpha#alpha;&delta#delta;[f] = &part#partial;^&alpha#alpha;f ·( ddf &delta#delta;[f] ) = &part#partial;^&alpha#alpha;f ·d&tau#tau;df · dd&tau#tau; &delta#delta;[f] . Again, we let . Then &part#partial;^&alpha#alpha;&delta#delta;[f] = - (x - r)^&alpha#alpha;U ·(x - r) dd&tau#tau; &delta#delta;[f]

This is inserted into the expression above and integrated by parts: &part#partial;^&alpha#alpha;A^&beta#beta;& = & - e&mu#mu;_0 c2&pi#pi;&int#int;d&tau#tau; U^&beta#beta;(&tau#tau;) &thetas#theta;[x_0 - r_0(&tau#tau;)] (x - r)^&alpha#alpha;U ·(x - r) dd&tau#tau; &delta#delta;[f]
& = & e&mu#mu;_0 c2&pi#pi; &int#int;d&tau#tau;dd&tau#tau;{ U^&beta#beta;(&tau#tau;) (x - r)^&alpha#alpha;U ·(x - r) }&thetas#theta;[x_0 - r_0(&tau#tau;)] &delta#delta;([x - r(&tau#tau;)]^2) . There is no contribution from the function because the derivative of a theta function is a delta function with the same arguments dd&tau#tau; &thetas#theta;(x_0 - r_0(&tau#tau;)) = &delta#delta;[x_0 - r_0(&tau#tau;)] which constrains the other delta function to be . This only gets a contribution at (on the world line of the charge), but we already feel uncomfortable about the field there, which we suspect is infinite and meaningless, so we exclude this point from consideration. Anywhere else the result above is exact.

We can now do the integrals (which have the same form as the potential integrals above) and construct the field strength tensor: F^&alpha#alpha;&beta#beta; = e&mu#mu;_0 c4&pi#pi; .eU ·(x - r) dd&tau#tau;{ (x-r)^&alpha#alpha;U^&beta#beta;- (x-r)^&beta#beta;U^&alpha#alpha; U ·(x-r)}|_ret This whole expression must be evaluated after the differentiation at the retarded proper time .

This result is beautifully covariant, but not particularly transparent for all of that. Yet we will need to find explicit and useful forms for the fields for later use, even if they are not as pretty. Jackson gives a little'' list of ingredients (J14.12) to plug into this expression when taking the derivative to get the result, which is obviously quite a piece of algebra (which we will skip): (,t) = e&mu#mu;_04&pi#pi;c^2 [ (- )&gamma#gamma;^2(1 - ·)^3 R^2 ]_ret + e&mu#mu;_04&pi#pi;c^3 [ ×( (- ) ×. )(1 - ·)^3 R ]_ret and (,t) = 1c(×)

Arrrgh, mateys! Shiver me timbers and avast!'', you cry out in dismay. This is easier? Nonsense!'' Actually, though, when you think about it (so think about it) the first term is clearly (in the low velocity, low acceleration limits) the usual static field: &ap#approx;e4&pi#pi;&epsi#epsilon;_0 R^2 Interestingly, it has a short'' range and is isotropic.

The second term is proportional to the acceleration of the charge; both E and B are transverse and the fields drop off like and hence are long range'' but highly directional.

If you like, the first terms are the near'' and intermediate'' fields and the second is the complete far'' field; only the far field is produced by the acceleration of a charge. Only this field contributes to a net radiation of energy and momentum away from the charge.

With that (whew!) behind us we can proceed to discuss some important expressions. First of all, we need to obtain the power radiated by a moving charge.

Subsections

Next: Larmor's Formula Up: Relativistic Electrodynamics Previous: Covariant Green's Functions   Contents
Robert G. Brown 2017-07-11