arxiv: v1 [hep-th] 19 Aug 2009

Transcription

1 Quantum corrections to the Larmor radiation formula in scalar electrodynamics A. Higuchi and P. J. Walker arxiv: v1 he-th 19 Aug 29 Deartment of Mathematics, University of York, Heslington, York YO1 5DD, United Kingdom (Dated: August 16, 29) Abstract We use the semi-classical aroximation in erturbative scalar quantum electrodynamics to calculate the quantum correction to the Larmor radiation formula to first order in Planck s constant in the non-relativistic aroximation, choosing the initial state of the charged article to be a momentum eigenstate. We calculate this correction in two cases: in the first case the charged article is accelerated by a time-deendent but sace-indeendent vector otential whereas in the second case it is accelerated by a time-indeendent vector otential which is a function of one satial coordinate. We find that the corrections in these two cases are different even for a charged article with the same classical motion. The correction in each case turns out to be non-local in time in contrast to the classical aroximation. PACS numbers: m, m, 3.7.+k Electronic address: ah28@york.ac.uk Electronic address: jw12@york.ac.uk 1

2 I. INTRODUCTION A well-known result in classical electrodynamics, discovered during the burst of activity in the late nineteenth century, is that an accelerated charge emits radiation. In articular, the formula which gives the amount of energy radiated by the charge was found by Larmor in this eriod. The relativistic generalization of this formula is E () em = e2 6πc 3 dt d2 x µ dτ 2 d 2 x µ dτ 2, (1.1) where e is the charge of the article and c is the seed of light. Here and below the metric signature is + and τ is the roer time along the world line of the article, x µ (τ), with x = ct. (See Ref. 1, Sec. 14.2, for a derivation of this result.) Since classical electrodynamics is an aroximation to quantum electrodynamics (QED), one exects that the Larmor formula should be reroduced in the latter theory in the limit (at order e 2 ). Indeed it has been shown that this formula is recovered in QED for a scalar charged article moving on a straight line in the limit 2. Furthermore it has been shown 3, 4 that the Lorentz-Dirac radiation-reaction force 5, 6, 7 is obtained in the limit in QED for a scalar charged article in three-dimensional motion under the influence of a vector otential deending only on one sacetime coordinate. (For other aroachesforstudying thelorentz-diracforceinthecontext ofqed,see Refs.8, 9, 1, 11, 12.) ThisworkindirectlyshowsthattheLarmorformulaisreroducedinthelimit for a charged scalar article in three-dimensional motion under the conditions secified because the Lorentz-Dirac force and energy-momentum conservation imly the Larmor formula. Although the Larmor formula correctly gives the amount of energy emitted as radiation in the limit, it is clearly not exact. For examle, in Ref. 13 a model with a scalar charged article which is soluble to order e 2 in QED was studied and the exact result for the energy emitted was shown to differ from the Larmor formula. It will be interesting, therefore, to estimate the correction of order to the Larmor formula for general motion of the charged article. The urose of this aer is to carry out this task in the simle setting used in Refs. 2, 3, 4 where the scalar article is accelerated by a vector otential that deend only on one sacetime coordinate under the additional condition that the initial state of the charged article is a momentum eigenstate. One might hoe that there would be a universal exression for this correction which deended only on the motion of the corresonding classical article, but we find that the correction deends on how the article is accelerated. For this reason we calculate the quantum correction to the Larmor formula at order in two cases: in the first case the charged article is accelerated by a time-deendent but sace-indeendent vector otential whereas in the second case it is accelerated by a time-indeendent vector otential which is a function of one satial coordinate. We also use the non-relativistic aroximation because a fully relativistic calculation would be too comlicated for the urose of this aer, which is toshowhowthequantumcorrectiontothelarmorformulacanbefoundinsimleexamles. The rest of the aer is organized as follows. In Sec. II, we show directly that the Larmor formula is reroduced in scalar QED in the limit. We then roceed in Secs. III and IV to calculate the correction to this formula at order in the two cases mentioned above. Finally, in Sec. V we rovide a summary and concluding remarks. Throughout this aer we retain exlicitly but let c = 1 excet where it is convenient not to do so. 2

3 II. THE LARMOR FORMULA IN QED In this section we derive the Larmor formula from QED for a charged scalar article accelerated by a vector otential V µ which deends only on t. We follow Refs. 2, 3 closely. (The derivation for the case with a otential which deends on one sace coordinate will not be resented, but it is very similar to the case treated here.) We assume that the variation in V µ (t) occurs only over a bounded interval T,T, T >. We let V µ (t) = for t < T without loss of generality and V µ (t) for t > T be a constant which is not necessarily zero. 1 We also use a gauge transformation to imose the condition V (t) = for all t. The Lagrangian density of our model is L = (D µ +iea µ )φ (D µ +iea µ )φ m2 2 φ φ 1 4 F µνf µν 1 2 ( µa µ ) 2, (2.1) where D µ µ + i V µ. We have adoted the Feynman gauge, in which the non-interacting field equation, i.e. the field equation with e =, for A µ is ν ν A µ =. We can therefore exand it in terms of momentum modes, A µ (x) = d 3 k 2k(2π) 3 aµ (k)e ik x +a µ (k)e ik x, (2.2) where k = k. The oerators a µ (k) and a µ (k) obey the usual commutation relations, aµ (k),a ν (k ) = 2 k(2π) 3 g µν δ 3 (k k ). (2.3) We can use the Fourier exansion for the scalar field as well. Thus we write d 3 φ(x) = A()Φ 2 (2π ) 3 (x)+b ()Φ (x). (2.4) The mode functions Φ (x) are different from the standard free mode functions, e i x/. (We do not need to consider the anti-article modes Φ (x) though their relation to Φ (x) is very simle.) This is because the equation of motion for the scalar field with e = is not the free field equation, but rather, ( 2 D µ D µ +m 2) Φ (x) =. (2.5) Since the otential V µ (t) deends only on t, these mode functions can be written in the following form: Φ (x) = ( ) i φ (t)ex x, (2.6) where = 2 +m 2. Since we are interested in the limit, we use the WKB aroximation, which gives 1 φ (t) = σ (t) ex i t σ (ζ)dζ ψ (t), (2.7) 1 In Refs. 2, 3 the convention was slightly different in that V µ was chosen to satisfy V µ (t) = for ositive t. 3

4 where σ (t) V(t) 2 +m 2 (2.8) is the kinetic energy of a scalar article with momentum. The function ψ (t) contains the corrections of higher order in, i.e. ψ (t) = 1+i g (t)+o( 2 ). (2.9) It can readily be shown that g (t) is real. The non-trivial commutation relations among annihilation and creation oerators are A(),A ( ) = B(),B ( ) = 2 (2π ) 3 δ 3 ( ). (2.1) The oerators A () and B () create a article and an anti-article, resectively. The initial state with one charged scalar article and no hoton can be given in general as d 3 i = (). (2.11) 2 (2π ) 3f()A This state is normalized so that i i = 1. This condition imlies d 3 (2π ) 3 f() 2 = 1. (2.12) It is sufficient to assume that the function f() is eaked about a given momentum with width of order to derive the Larmor formula. However, this assumtion will not be sufficient when we come to consider its quantum correction. For this reason we assume that f() is sharly eaked with an arbitrary accuracy and take the limit such that f() 2 is roortional to a delta-function at an aroriate stage. This rocedure amounts to the condition that the initial state is a momentum eigenstate. An initial state with one charged article evolves in general to order e 2 as A () 1+i 1 F()A () + i d 3 k 2k(2π) 3Aµ (,k)a µ (k)a (P), (2.13) where P = k is the out-going momentum of the scalar article when a hoton is emitted, A µ (,k) is the amlitude for the emission of one hoton, and F() is the forwardscattering amlitude, which lays no role in this aer. Thus, the initial state i evolves to f = f + f 1, (2.14) where f = f 1 = i d 3 2 (2π ) 3 1+i 1 F() f()a (), (2.15) d 3 2 (2π ) 3 d 3 k 2k(2π) 3f()Aµ (,k)a µ (k)a (P). (2.16) The emission robability in the limit where f() is arbitrarily sharly eaked can be found using the commutation relations (2.3) and (2.1) as Γ = f 1 f 1 = 1 d 3 k P P 2k(2π) A(,k) 2, (2.17)

5 where A(,k) 2 A µ (,k)aµ (,k) and where P det ( ) P i j (2.18) is the Jacobian determinant. The momentum is now the eak value of the momentum distribution of the initial state. The energy emitted is obtained by multilying the integrand in Eq. (2.17) by the hoton energy, k. We have P/ = 1 because P = k. Hence, the 4-momentum of the radiation emitted is d P µ 3 k P = n µ A(,k) 2, (2.19) 16π 3 where n µ k µ /k. It can be shown 3, 4 that A µ (,k) = ie d 3 2 (2π ) 3 d 4 xe ik x Φ (x)d µφ (x) (D µ Φ (x)) Φ (x). (2.2) Since Φ (x) = φ (t)e i x/, the exonential factors in the integrand of Eq. (2.2) result in (2π ) 3 δ 3 ( k ) uon integration over x. Thus, we find A i (,k) = e dte ikt φ P 2 P (t)φ (t) i +P i 2V i (t), (2.21) A (,k) = ie dte ikt φ P 2 (t)dφ (t) dφ P (t) φ (t). (2.22) dt dt P Now we use the WKB aroximation (2.7) and find φ 1 P(t)φ (t) = σp (t)σ (t) ex i t σ (ζ) σ P (ζ)dζ ψ P(t)ψ (t). (2.23) To lowest order in we have i t σ (ζ) σ P (ζ)dζ ik t V(ζ) dζ, (2.24) σ (ζ) where the relation P = k has been used. If x(t) is the osition of a classical article corresonding to the state A (), i.e. with momentum under the influence of the vector otential V(t), then m dx dτ = V(t), (2.25) m dt dτ = σ (t). (2.26) These relations imly V(t)/σ (t) dx/dt to lowest order in. Using this aroximation in Eq. (2.24) and substituting the result into Eq. (2.23) and requiring x() =, we find to lowest order in that φ P (t)φ (t) 1 σ (t) e ik x. (2.27) 5

6 Also it can readily be shown that i dφ (t) dt σ (t)φ (t). (2.28) Substituting Eqs. (2.27) and (2.28) into Eqs. (2.21) and (2.22), and using Eqs. (2.25) and (2.26), we find A (,k) = e dte ik x (2.29) A i (,k) = e dt dxi eik x, (2.3) dt which can be combined as A µ (,k) = e dξ dxµ dξ eikξ, (2.31) where ξ n x. Eq. (2.31) is ill-defined because dx µ /dξ is finite for arbitrarily large values of ξ. We therefore introduce a comactly suorted cut-off factor, χ(aξ), < a 1, which is 1 on a comact interval including the region where the acceleration takes lace, and smoothly varies between and 1. Then the emission amlitude becomes A µ (,k) = e dξ dxµ dξ χ(aξ)eikξ (2.32) = ie d 2 x µ dξ k dξ 2 χ(aξ)+adxµ dξ χ (aξ) e ikξ. (2.33) By substituting this equation into Eq. (2.19) and taking the limit a, we find the 4-momentum of the radiation emitted to lowest order in and e as P µ = e2 dω dξn µd2 x ν d 2 x ν 16π 2 dξ 2 dξ, (2.34) 2 where dω is the solid-angle for the unit vector n = k/k. We convert the ξ-derivative to the t-derivative by using the formula dξ/dt = n µ dx µ /dt as d 2 x µ dξ 2 = ( ) 3 ( ) dt dξ d 2 x µ dξ dt dt d2 ξdx µ. (2.35) 2 dt 2 dt The result is P µ = e2 16π 2 dt dω ξ 5 n µ n σ n ρ ẋ σ ẋ ρ ẍ ν ẍ ν 2ẋ σ ẍ ρ ẍ ν ẋ ν +ẍ σ ẍ ρ ẋ ν ẋ ν, (2.36) where the dot indicates the t-derivative. The integration over the solid angle can be carried out by using (see Ref. 3) dω ξ 5 n µ n σ n ρ = 4 3 π 6γ 8 ẋ µ ẋ σ ẋ ρ γ 6( δ µ σẋρ +ẋ µ g σρ +δ µ ρẋσ), (2.37) 6

7 where γ dt/dτ = (ẋ µ ẋ µ ) 1/2. Thus we obtain P µ = e2 dtẋ µ γ 4 ẍ ẍ γ 6 (ẋ ẍ) 2. (2.38) 6π By converting the t-derivative to the τ-derivative, we find P µ = e2 dτ dxµ d 2 x ν d 2 x ν 6πc 4 dτ dτ 2 dτ, (2.39) 2 which is a well-known result in classical electrodynamics, and the comonent P c gives the Larmor formula (1.1). III. QUANTUM CORRECTION WITH TIME-DEPENDENT VECTOR POTEN- TIAL In this section we calculate the correction to the Larmor formula at order to lowest order in the non-relativistic aroximation in the case where the charged scalar article is accelerated by a time-deendent but sace-indeendent vector otential. From Eq. (2.19) we find the energy emitted as d 3 k P E em = A 16π 3 µ (,k)aµ (,k), (3.1) where A i (,k) and A (,k) are given by Eqs. (2.21) and (2.22), resectively. By substituting the WKB exression for φ (t) given by Eq. (2.7) into these equations we find A (,k) = ec dte iωt 1 2 P σ (t)σ P (t) σ σ (t)+σ P (t)+i c P (t) 2σ P (t) σ (t) 2σ (t) + ψ (t) ψ (t) ψ P (t) ψp (t) ex ic t (σ (ζ) σ P (ζ))dζ ψp (t)ψ (t), (3.2) A i (,k) = ec i V i (t)+p i V i (t) 2 ex P ic dte iωt 1 σ (t)σ P (t) t σ (ζ) σ P (ζ)dζ ψp (t)ψ (t), (3.3) where σ = V 2 +m 2 c 2 and ω = kc. We have restored factors of c by dimensional analysis, anticiating the use of the non-relativistic aroximation. It is straightforward to calculate the amlitude to order using P = k. The result is A (,k) = ec A i (,k) = ec ex P P i c 2 dte iωt ik x ex i c t k 2 2 σ (t) (k ẋ)2 σ (t)c 2 ẋi dte iωt ik x c k i ẋi (k ẋ) 2σ (t) c 2 k 2 σ (ζ) (k ẋ(ζ))2 dζ σ (ζ)c 2 t 7 dζ, (3.4). (3.5)

8 Note in articular that there is no contribution from the factor ψp (t)ψ (t) 1+i (g (t) g P (t)) at order. One could write down a formal exression for the exected amount of energy emitted to order by substituting these formulas into Eq. (3.1). Instead of doing so, we use the nonrelativistic aroximation in order to find an exression in terms of the classical trajectory of the article in closed form. We calculate the correction from the exonential factor common to both A i and A and that from the additional term in A i searately and add them u. Denoting the correction due to the exonential factor by E 1, we have E 1 = ie2 32π 3 c 3 dω dωω 4 ẋ(t) ẋ(t ) c 2 t t dtdt e iω(t t ) iωn x(t) x(t )/c 1 σ (ζ)c (n ẋ(ζ))2 σ (ζ)c 3 dζ. (3.6) We use the non-relativistic aroximation to order c 5. Thus, we exand the factor e iωn x(t ) x(t)/c with resect to ω/c to order c 2. (Notice that σ (t) mc to lowest order in c 1.) Then we integrate over ω, regularizing the integral by changing e iω(t t ) to e iω(t t +iε) and using the formula Thus, we obtain E 1 = e2 32π 3 c 3 ω n e iω(t t +iε) n+1 n 1 dω = i t n t t +iε. (3.7) dω dtdt 4! (t t +iε) + 6!n x(t ) x(t) 2 5 2(t t +iε) 7 c 2 ẋ(t) ẋ(t ) c 2 t 1 σ (ζ)c (n ẋ(ζ))2 mc 4 t dζ. (3.8) Thisintegralisill-definedsincetheintegrandremainsfiniteifwelet t+t bearbitrarilylarge while keeing t t finite. For this reason we insert a cut-off factor χ(at)χ(at ), < a 1, such that χ(at) is smooth and comactly suorted, and that χ(at) = 1 for t T,T, i.e. while V µ (t) is not constant. Then, we find that this integral is the sum of terms of the form A (1) 1 and A (3) 1 as defined in Eq. (A1). Therefore, as is shown in Aendix A, we can formally integrate by arts with resect to t and t to reduce the ower of t t+iε in the denominator. Then we find c 2 dtdt 4! t (t t +iε) 5 t t 1 σ (ζ)c (n ẋ(ζ))2 mc 4 dζ = (3.9) by integrating by arts with resect to t and t. This means that, to find E 1 to order c 5, we can let t 1 σ (ζ)c (n ẋ(ζ))2 dζ 1 ). (3.1) mc 4 mc 2(t t Hence we have E 1 = e2 8π 3 mc 5 dω dtdt 3!ẋ(t) ẋ(t ) (t t +iε) 3 5!n x(t ) x(t) 2. (3.11) 4 4(t t +iε) 6 8

9 Integrating the second term by arts with resects to t and t and carrying out the n- integration, we find E 1 = e2 dtdt 3!ẋ(t) ẋ(t ) 4π 2 mc 5 (t t +iε) ( 4 ) = e2 dtdt ẋ(t) ẋ(t 3 ) 8π 2 mc 5 t 2 t 3 1 t 2 t t t +iε. (3.12) By integrating by arts, we find E 1 = e2 8π 2 mc 5 ( ) d dtdt 3 x dt d2 x 3 dt d2 x 2 dt d3 x 1 2 dt 3 t t. (3.13) We move now to the correction which comes from the multilicative factor in A i (,k). Since we only need this quantity to order c 2, we find from Eq. (3.5) A i (,k) non ex e dte iωt iωn x/c ẋ i (t) ωni, (3.14) 2mc P where we have droed the correction to the exonential factor. We find the corresonding correction in the Larmor formula by substituting this formula in Eq. (3.1) as E 2 = e2 dω dωω 3 dtdt e iω(t t ) iωn (x x )/c n (ẋ +ẋ), (3.15) 32π 3 mc 4 where we have defined x i x i (t) and x i x i (t ). By exanding the factor e iωn (x x )/c to first order in ω/c and integrating over n and ω we find E 2 = e2 dtdt 4!(x x) (ẋ+ẋ ) χ(at)χ(at ). (3.16) 24π 2 mc 5 (t t +iε) 5 This integral is of the form A (1) 1 in Eq. (A1). Therefore one can integrate by arts, twice with resect to t and twice with resect to t, neglecting the cut-off factor χ(at)χ(at ). Then, we find E 2 = 1 3 E 1, (3.17) where E 1 is given by Eq. (3.13). By adding E 1 and E 2, we find the total correction to the Larmor formula at order e 2 to be ( ) E = e2 d dtdt 3 x 6π 2 mc 5 dt d2 x 3 dt d2 x 2 dt d3 x 1 2 dt 3 t t. (3.18) Let us estimate the size of this correction in a simle situation where the acceleration is linear and given by a(t) = a (1 t 2 /t 2 ) for t t and a(t) = otherwise. We find E = 4e2 2 a 3π 2 mc5. (3.19) On the other hand, the energy of radiation emitted according to the Larmor formula can be found from Eq. (3.1) as E () em = 8a 2 t /45πc 3. Hence we have E E () em = 15 2πmc 2 t. (3.2) 9

10 Therefore, the Larmor formula is exected to be a good aroximation as long as t /mc 2, which is the time for a light ray to traverse a Comton wavelength of the charged scalar article. Since the robability distribution for the frequency of the hoton emitted is given by the square of the Fourier transform of a(t), the tyical energy of the hotonemitted will be of order /t (though the robability of emission can be made small by letting a be small). This energy will be comarable to mc 2 if t /mc 2. Then the scattered charged scalar article will be relativistic, and it is not surrising that the non-relativistic aroximation will break down. It is interesting that the classical (non-relativistic) Larmor formula seems to remain a good aroximation as long as the scattered state remains nonrelativistic even if its momentum may be much different from that of the initial state, in the case where the article is accelerated by a time-deendent but sace-indeendent vector otential. IV. QUANTUM CORRECTION WITH SPACE-DEPENDENT VECTOR POTEN- TIAL In this section we treat the case in which the otential varies in a sace coordinate, taken to be z, but is indeendent of t. As in the revious section we assume further that the external vector otential V µ (z) is constant excet in the interval Z,Z, Z >, with V µ (z) = for z < Z. We do not assume the constant value of V µ (z) for z > Z to be. We further let V z (z) = by a gauge transformation. Themodefunctionsforthescalararticlecanbechosentoberoortionaltoex( i t+ i x )/ withx = (x,y)and = ( x, y ), where x and y arethex-andy-comonents of the contraviariant vector. (Below we also write the z-comonent of a contravariant vector b as b z in general.) We use the WKB aroximation for the ordinary differential equation which determines the z-deendence of the mode functions. The article(as oosed to anti-article) solution to the field equation thus obtained that is moving in the ositive z-direction is i z i Φ (t,x) = κ (z) ex κ (ζ)dζ ex ( x t), (4.1) where the function analogous to the varying energy σ (t) in the time-deendent case is now a varying z-comonent of the momentum, κ (z) = V (z) 2 V (z) 2 m 2, (4.2) and where = 2 2 m 2. As in the case with a time-deendent vector otential, it can be shown that higher-order corrections to Eq. (4.1) do not contribute to the energy emitted at order. The Jacobian determinant defined by Eq. (2.18) is P = dp d, (4.3) where the derivative of P = P 2 P 2 m 2, with P = k, P = k, is taken with and k fixed. Hence, the energy emitted is given, in the limit where the 1

11 momentum distribution is arbitrarily sharly eaked, by d 3 k P d E em = 16π 3 dp A µ(,k)a µ (,k), (4.4) where is the eak value of the momentum distribution. Many of the details of the calculation which follows find, as one might exect, direct analogues in the time-deendent case. Although occasional mention will be made of these details, many will be left unremarked. The formula for the emission amlitude, Eq. (2.2), remains the same. After integrating over t, x and, we find and A (,k) = e 2 A (,k) = e 2 P dze ikzz 1 κ (z)κ P (z) i z κ (ζ) κ P (ζ)dζ, (4.5) 2V (z) ( +P )ex P dze ikzz 1 κ (z)κ (z) 2V (z) ( +P )ex A z (,k) = ie dze ikzz 1 2 P κ (z)κ P (z) 1 κ (z) 2 κ (z) κ P (z) κ P (z) i z ex κ (ζ) κ P (ζ)dζ i z κ (ζ) κ P (ζ)dζ, (4.6) + i κ (z)+κ P (z). (4.7) Thus, to order, i.e. letting κ (z)/κ (z) κ P (z)/κ P(z) in Eq. (4.7), we have A(,k) 2 = e2 dzdz e ikz(z z) i z 4 P κ (z)κ P (z)κ (z )κ P (z ) ex κ (ζ) κ P (ζ)dζ z 2V (z) ( +P )2V (z ) ( +P ) +2V (z) ( +P ) 2V (z ) ( +P ) +κ (z)+κ P (z)κ (z )+κ P (z ). (4.8) Wefindtheenergyemitted, E em, bysubstituting thisformulaintoeq. (4.4). Wecansimlify E em by noting that P d = 1, (4.9) dp P which can readily be roved by using dp/dp = P /P, d/d = / and dp /d = 1. The following formulas are crucial in exressing the energy emitted in terms of the motion of the corresonding classical article: V = dx κ (z) dz, (4.1) V = dx κ (z) dz, (4.11) 11

12 where x µ (z) is the world line of the classical article under the otential V µ (z), and where indicates that the quantity is evaluated with the initial momentum. We obtain E em = e2 d 3 k 8 (2π) 3 κ (z) dx µ + κ P (z) dz i dzdz e ikz(z z) ex κ P (z) dx µ κ (z) dz P z κ (ζ) κ P (ζ)dζ z κ (z ) dx µ + κ P (z ) dz κ P (z ) κ (z ) dx µ dz P. (4.12) The correction to the energy emitted to first order in again can be attributed to two sources: the exonential factor and the other multilicative factor. We shall examine these searately but combine the intermediate results to simlify the calculation. To consider the contribution from the exonential factor, we need to find the exansion of κ P (z) to second order in, which is analogous to that of σ P (t) in the time-deendent case. We have κ P (z) = κ (z) 1 ω κ ( dt dz n c dx ( )+ 2 ω 2 dt dz 2κ 2 dz n c dx dz ) 2 + n2 z c 2 (4.13) Therefore, the correction to the energy emitted coming from the exonential factor is E 1 = ie2 32π 3 m dω dωω 4 dtdt e iω(t t ) iωn (x x )/c (ẋ ẋ c 2 ) t t ( 1 2 n c dx )( ) 2 dz dt, (4.14) dt dt where (x (T),z(T)) is the osition of the corresonding classical article at time T with (x (),z()) = (,). After inserting the cut-off factor χ(at)χ(at ), we again find that the integral is of the form 1, n = 1,2,3, in Eq. (A1). Hence, one may integrate the ill-defined integral (4.14) formally by arts. This means that dωω 4 t ( dtdt e iω(t t ) ( c 2 ) 1 2 n t c dx )( ) 2 dz dt =. (4.15) dt dt By exanding the factor e iωn (x x )/c to second order in ω/c and integrating over n, we obtain to lowest order in c 1 E 1 = ie2 8π 2 m dω dtdt ω 4 e iω(t t +iε) χ(at)χ(at ) ) t (ẋ ẋ + ω2 6 x x 2 t ż 2 dt 2iω 3 (x x ) t t ẋ ż 2 dt.. (4.16) Again we have relaced e iω(t t ) by e iω(t t +iε) to regularize the integral over ω. We now turn to the contribution from the non-exonential factor in Eq. (4.12). For µ = m 3, we have dx m dz = κ (z) dx m P κ P (z) dz km κ P (z), (4.17) 12

13 where x ct and k ω/c. Since we are only looking for corrections at first order in, we find from Eq. (4.13) dx m dz = 1+ k n dx n dx m P κ (z) dz dz km κ (z), (4.18) where we have used ( dx n dt k n dz = ω dz n c dx ). (4.19) dz Thus, denoting the contribution from the non-exonential factor by E 2, we have the following result, where the summations over Roman indices exclude the z-comonent: E em () + E 2 = e2 κ (z) κ P (z) κ (z ) κ P (z ) dω dωω 2 dzdz e iω(t t ) iωn (x x )/c 16π 3 c 3 dx m dx m dz dz km 1 dx m 2 κ (z ) dz + 1 κ (z) Therefore, using Eqs. (4.13) and (4.19), we can write E 2 = e2 dω dωω 2 dzdz e iω(t t ) iωn (x x )/c 32π 3 c 3 kn dx n κ (z) dz + k n dx n dx mdx m κ (z ) dz dz dz dx m dz 1. (4.2) kn dx n κ (z ) dz + k n κ (z) Collecting only the terms u to order c in the integrand, we have E 2 = e2 dω dωω 3 dtdt e iω(t t ) iωn (x x )/c 32π 3 c 3 1 ( 1 n ) żκ (z) c ẋ + dx n. dz 1 ( 1 n ) ż κ (z ) c ẋ (c 2 ẋ ẋ ) 2 m (4.21), (4.22) where we have used κ (z) mdz/dt to lowest order in c 1. The argument that led to Eq. (4.15) can be used to conclude that c 2 dωω 3 dtdt e iω(t t ) 1 żκ (z) + 1 =. (4.23) ż κ (z ) Exanding the factor e iωn (x x )/c to order ω 2 /c 2 and carrying out the n-integration, we find E 2 = e2 dωω 3 dtdt e iω(t t +iε) χ(at)χ(at ) 8π 2 mc 3 (ẋ ẋ + ω2 6 x x 2 ) (ż 2 +ż 2 ) iω 3 (x x ) (ẋ ż 2 +ẋ ż 2 ) 13. (4.24)

14 Itisconvenient tocombinethetwointegrals E 1 and E 2 atthisoint. Afterintegrating over ω, E E 1 + E 2 to order c 3 becomes E = e2 dtdt χ(at)χ(at )F 8π 2 mc 3 1 (t,t )+F 2 (t,t )+F 3 (t,t ), (4.25) where t F 1 (t,t ) 4!ẋ ẋ ż 2 dt + 3!ẋ ẋ (ż 2 +ż 2 ), (4.26) (t t +iε) 5 t (t t +iε) 4 F 2 (t,t ) 1 6! x x 2 t ż 2 dt 5! x x 2 (ż 2 +ż 2 ), (4.27) 6 (t t +iε) 7 t (t t +iε) 6 F 3 (t,t ) 1 2 5!(x x ) t ẋ 3 (t t +iε) 6 ż 2 dt + 4!(x x ) (ẋ ż 2 +ẋ ż 2 ). t (t t +iε) 5 (4.28) Note that all terms in Eq. (4.25) are of the form 1 in Eq. (A1). For examle, the integral in Eq. (4.25) involving the first term of F 2 (ω,t,t ) can be seen to be of the form A (3) 1 with f(t,t ) = 1, g 1 (t) = g 2 (t) = x i (t) and g 3 (t) = t ż 2 dt. Thus, we integrate by arts to reduce the denominator to (t t + iε) 3 in each term in Eqs. (4.26) (4.28). We integrate the terms roortional to t ż 2 dt so that the coefficient functions are differentiated with t resect to each of t and t twice, and for the rest we choose to integrate by arts so that there is no derivative on either ż 2 or ż 2. Thus, we find F 1 (t,t 2 t ) ) (ẍ ẍ ż 2 dt zż 1 + z ż 1, (4.29) (t t +iε) 3 t F 2 (t,t 2 t ) ) ( ẍ ẍ ż 2 dt +ẍ ẋ ż 2 ẍ ẋż 2, (4.3) 3(t t +iε) 3 t F 3 (t,t 2 ) (ẍ ẋ 3(t t +iε) ż 2 ẍ 3 ẋ ż 2), (4.31) where indicates equivalence under integration over t and t. Adding these three terms and integrating some terms further by arts, we find E = e2 dtdt 2ẍ ẍ... 12π 2 mc 3 (t t +iε) z... z t ż 2 dt. (4.32) 3 t t +iε t A form more convenient for concrete calculations can be found by integrating the first term by arts further as ( E = e2 dtdt... x... t x ż 2 dt +... x 12π 2 mc 3 t t ẍ t ż 2... ) x ẍ ż 2. (4.33) This correction is of the same order in c 1 as the Larmor formula, though it is of course of higher order in, in contrast to the correction (3.18) for a time-deendent vector otential, which is of higher order in c 1. To estimate the size of this correction, we consider a charged article moving at a constant seed v z in the z-direction and accelerated in the x-direction with acceleration given by 14

15 a(t) = a (1 t 2 /t 2 ) for t t. It is ossible to arrange the vector otential to realize this motion as shown in Aendix B. The first term in brackets in Eq. (4.33) gives a vanishing contribution. From the remaining terms we find and E = 2e2 2 a (4.34) 3π 2 mvz 2 c3, E E () em = 15 4πmvz 2t, (4.35) where E () em = 8a 2 t /45πc 3 is the energy emitted according to the Larmor formula as before. Thus, the correction is small and exected to be reliable as long as the kinetic energy associated with the motion in the z-direction is much larger than the tyical energy of the hoton emitted, /t. V. SUMMARY AND OUTLOOK Inthisaerweshowed thattheenergyandmomentum ofradiationemittedbyacharged scalar article in QED agree with the classical result (2.39) at order e 2 in the limit and then went on to study the correction (at first order in ) to the energy emitted in the non-relativistic limit in two cases: one with a time-deendent but sace-indeendent vector otential and the other with a time-indeendent vector otential which deends on one sace coordinate, z. Both corrections were found to arise entirely due to the fact that the momenta of the initial and final scalar wave functions are different in the emission amlitude. The results are given by Eqs. (3.18) and (4.33). They are exressed in terms of the classical trajectory and are different from each other. Thus, the quantum correction is sensitive to how the article is accelerated as well as to the motion of the corresonding classical article. Another notable feature of these corrections is that they are non-local in time unlike the classical aroximation. We estimated the size of the correction in each case for a given acceleration of simle form. For the time-deendent otential the correction is much smaller than the classical result unless the tyical energy of the hoton emitted is comarable to the rest mass energy of the article, with the non-relativistic aroximation itself breaking down. On the other hand, for the z-deendent otential, the correction is small comared to the classical result if the tyical energy of the hoton emitted is much smaller than the kinetic energy of the article in the z-direction. It would be interesting to test the quantum corrections to the Larmor formula obtained in this aer though it would be difficult to realize the conditions in which our results can directly be comared with exerimental results. One quantum system to which the Larmor formula and other classical results are alicable is a Rydberg atom, i.e. an atom with an electron with a very high rincial quantum number u to a few hundred. Indeed the Larmor formula is known to give a very good aroximation to the life time of states with high rincial and angular-momentum quantum numbers 14, 15. It would be interesting to calculate the quantum correction to this aroximation by extending our calculations to cases with a charged article in a radially varying otential and ossibly to extend our results to the case with a vector otential varying in a more general way. 15

16 Acknowledgments We thank Kazuhiro Yamamoto for useful corresondence which motivated this work. APPENDIX A: CUT-OFF INDEPENDENCE OF INTEGRALS IN SECS. III AND IV In this Aendix we show that formal integration by arts used in this aer to find the quantum corrections is justified. Let I T,T, T >. We choose this interval such that the acceleration of the article is nonzero only if t I. Let f(t,t ) be a smooth function such that the suort of t f(t,t ) (res. t f(t,t )) is a subset of I R (res. R I). Then, one can show that f, t f and t f are all bounded. Let g i (t), i = 1,2,...,n, be smooth functions such that the suort of g i (t) is a subset of I. Then, it can readily be seen that g i are bounded. We let χ(t) be a smooth function such that it is comactly suorted with χ(t) = 1 for t I. We use χ(at), < a 1, as our cut-off factor, with the limit a taken at the end. Note that lim a a 2 χ (at) 2 dt =. This roerty was necessary for the cut-off factor for deriving the Larmor formula in Sec. II. All integrals in Secs. III and IV that are ill-defined without the cut-off factor take the form 1 = dtdt f(t,t ) (t t +iε) n+4 n g i (t) g i (t ) χ(at)χ(at ). (A1) What we show in this Aendix is that this integral can be reduced to the sum of integrals with no derivatives on the cut-off factor and convergent without them and those which tend to zero as a. This imlies that one can use formal integration by arts for this integral until it is convergent, as we did in Secs. III and IV. We first rove that the integral of the following form is convergent without the cut-off factor: 2 = dtdt t f(t,t ) (t t +iε) n+3 n g i (t) g i (t ) χ(at)χ(at ). (A2) Since t f(t,t ) = for t / I, the t-integral is effectively over interval I. We have noted that t f(t,t ) is bounded. Since g i (t) are nonzero only for t I, we have g i(t ) = α i t +β i for t < T and g i (t ) = α + i t +β + i for t > T for some constants α ± i and β ± i. Then it is clear that the t -integral is convergent without the cut-off factor. Next we rove that the following integral tends to zero as a : n 3 = a dtdt f(t,t ) g (t t +iε) n+3 i (t) g i (t ) χ (at)χ(at ). (A3) To this end it is useful to rove that the following integrals tend to zero as a : 4 = a dtdt t f(t,t n ) g (t t +iε) n+2 i (t) g i (t ) χ (at)χ(at ), 5 = a 2 dtdt f(t,t n ) g (t t +iε) n+2 i (t) g i (t ) χ (at)χ (at ). (A4) (A5) 16

17 The t -integral in Eq. (A4) is over the interval I, and hence we can dro the cut-off factor χ(at ). Furthermore, t f(t,t ) F(t ) is t-indeendent where χ (at). Then, by letting t = η/a, we have 4 = a 2 T +a 2 T T dη dt F(t ) T (η at ) n+2 T dη dt F(t ) T (η at ) n+2 n n α i η +a(β i g i (t )) χ (η) α + i η+a(β+ i g i (t )) χ (η). (A6) These integrals have finite limits as a. Hence, 4 as a. To show that 5 as a, we note that f(t,t ) is constant if t, t > T. The integral 5 has nonzero contributions only from the four disjoint regions (T, ) (T, ), (, T) (T, ), (, T) (, T) and (T, ) (, T) on the tt -lane because of the factor χ (at)χ (at ). Let f(t,t ) = f ++ in the first region. Then the contribution from the first region to 5 can be written, after the change of variables t = η/a, t = η /a, 5 ++ = a 2 f ++ n α + i T dη T dη χ (η)χ (η ) (η η +iε) 2. (A7) The contribution from (, T) (, T) has a similar exression. The contribution from (T, ) (, T) with f(t,t ) = f + is 5 ± = a 2 f + T T dη dη χ (η)χ (η ) (η η ) n+2 n ( α + i η +aβ+ i α i η aβ i ), (A8) and that from (, T) (T, ) is similar. Hence we find that 5 as a. To show that 3 as a, we first integrate by arts and find 3 = a dtdt 1 n f(t,t ) g n+2 (t t +iε) n+2 t i (t) g i (t )χ(at ) χ (at) = A(n) 4 n+2 A(n) 5 n+2 + a n+2 n k=1 dtdt f(t,t )g k (t ) g (t t +iε) n+2 i (t) g i (t ) χ (at)χ(at ). i k (A9) Now, the first and second terms tend to zero as a. Each of the remaining terms is of the form A (n 1) 3 because the artial derivatives of f(t,t )g k (t ) with resect to t and t have suort in I R and R I, resectively. Therefore, if A (n 1) 3 tends to zero as a, so does 3. This means that all we need to show is A () 3 as a, which is true because A () 3 = 1 2 A() A() 5. (A1) 17

18 Now, we are ready to turn to the integrals 1, which are the ones we encounter in our calculations. By integrating by arts with resect to t we find 1 = 1 n+3 = 1 n+3 n + k=1 dtdt 1 (t t +iε) n+3 t dtdt f(t,t )g k (t) (t t +iε) n+3 f(t,t ) n g i (t) g i (t )χ(at) χ(at ) g i (t) g i (t ) χ(at)χ(at ). (A11) i k As we have seen, the term 2 iscut-off indeendent and 3 asa. The remaining terms are of the form A (n 1) 1. Thus, all we need to show is that A () 1 can written in a cut-off indeendent form. Indeed we have A () 1 = 1 3 A() A() A() 2 as a. (A12) Thus, we have shown that we may use integration by arts with resect to t for integrals of the form 1 disregarding the cut-off factor until it is convergent without them. It is clear that this statement holds for integration by arts with resect to t as well. APPENDIX B: THE VECTOR POTENTIAL FOR THE MOTION USED IN SEC. IV We recall that the local momentum of the article is given by m dx = V (z), (B1) dτ m dz dτ = V (z)/c 2 V (z) 2 m 2 c 2, (B2) where we have restored the factors of c in Eq. (4.2) letting V and V have the dimensions of energy and momentum, resectively. Here and are constants. Thus, it is clear that any motion in the erendicular direction can be realized by adjusting V (z) aroriately while maintaining the condition dz/dt dz/dτ = v z by adjusting V (z). 1 J. D. Jackson, Classical Electrodynamics, 3rd ed. (Wiley, New York, 1999). 2 A. Higuchi and G. D. R. Martin, Found. Phys., 35, 1149 (25), arxiv: quant-h/ A. Higuchi and G. D. R. Martin, Phys. Rev. D, 73, 2519 (26), arxiv: quant-h/ A. Higuchi and G. D. R. Martin, Phys. Rev. D, 74, 1252 (26), arxiv: gr-qc/ M. Abraham and R. Becker, Theorie der Electrizität, Vol. II, (Sringer, Leizig, 1933). 6 H. A. Lorentz, Theory of electrons, (Dover, New York, 1952). 7 P. A. M. Dirac, Proc. Roy. Soc. A 167, 148 (1938). 8 E. J. Moniz and D. H. Shar, Phys. Rev. D 1, 1133 (1974); ibid. 15, 285 (1977). 18

19 9 V. S. Krivitskiǐ and V. N. Tsytovich, Sov. Phys. Us. 34, 25 (1991). 1 G. W. Ford and R. F. O Connell, Phys. Lett. A, 157, 217 (1991). 11 R. F. O Connell. Phys. Lett. A, 313, 491 (23). 12 P. R. Johnson and B. L. Hu, Phys. Rev. D 65, 6515 (22), arxiv: quant-h/ H. Nomura, M. Sasaki, and K. Yamamoto, J. Cosmol. Astroart. Phys. 11 (26) 13, arxiv: gr-qc/ H. Marxer and L. Sruch, Phys. Rev. A 43, 1268 (1991). 15 M. W. Horbatsch, E. A. Hessels and M. Horbatsch, Phys. Rev. A, 71, 251(R), (25). 19