The energy levels of ii-iuonic atoii-is- E. Boric Kernforschungszentrum Karlsruhe GmbH, Institut fiir Kernphysik and Institut fur Experimentelle Kernphysik der Uniuersita't Karlsruhe, 7500 Karlsruhe 1, Federal Republic of Germany~ G. A. Rinker
Theoretical Di Uision, Los Alamos National Laboratory, Los Alamos, New Mexico 87545
The theory of muonic atoms is a complex and highly developed combination of nuclear physics, atomic physics, and quantum electrodynamics. Perhaps nowhere else in microscopic physics are such diverse branches so intimately intertwined and yet readily available for precise experimental verification or rejection. In the present review we summarize and discuss all of the most important components of muonic atom theory, and show in selected cases how this theory meets experimental measurements.
CONTENTS I ~ INTRODUCTION
I. Introduction 67 Perhaps the most interesting theoretical aspect of A. General description of a muonic atom 68 muonic atoms is that their study provides one of the B. Principal kinematics and interactions 69 and com- C. Notation and numerical values 69 most highly developed complete theories of a II. Classical Interactions and Kinematics 69 plex physical system which is amenable to both accurate A. Dirac equation 69 calculation and accurate experimental verification. There B. Zero-order approximations 70 C. Decomposition in spherical coordinates 70 are few serious outstanding difficulties in our present D. Numerical methods 71 understanding. This has not always been so. Each ad- 1. Eigenvalues 71 vance in experimental technique has opened new ques- 2. Solution of the radial Dirac equations 72 E. "Model-independent" interpretation 72 tions which were met with increasingly refined and com- F. Corrections for static nuclear moments 73 plicated theoretical calculations. Old effects have had to l. Electric multipole interactions 74 be recalculated repeatedly to higher precision, and new 2. Magnetic dipole interactions 74 G. Intrinsic nuclear dynamics 75 effects have been added periodically to the list of known 1. Formal description 75 contributions. Meaningful calculations require that some 2. Explicit formulas 77 of these effects be recalculated every time comparison is 3. Radiative transition rates 78 4. Examples 78 made with experiment. For other e6ects, such recalcula- a. General case of nuclear polarization 78 tion is impractical, owing to the complexity of the calcu- b. Helium 80 lations, and in experimental comparisons one resorts ei- c. Lead 81 d. Deformed nuclei 82 ther to published numbers or to semiempirical approxi- e. Transitional nuclei 82 mations to the more laboriously calculated values. H. Translational nuclear motion 83 The main intent of the present review is to collect in 1. Nonrelativistic corrections 83 all 2. Relativistic corrections 83 one place in logical order currently available methods, I. Electron screening 86 formulas, and results which are necessary for the accu- III. Quantum Electrodynamic (QED) Corrections 87 rate calculation of muonic atom energy levels throughout A. Vacuum polarization 87 the periodic table. Where possible, we either derive or 1. Order +ZAN 87 a. e+e pairs 87 motivate the relevant expressions. Naturally, some omis- b. p+g pairs 89 sions must be made. We hope and believe that these c. Effect on higher nuclear multipoles 89 d. Effect on the recoil correction 89 omissions will be unimportant for most cases of interest. e. Hadronic vacuum polarization 89 In selected cases we present experimental results which 2. Ordero~Za 90 bear directly upon the validity of the calculations, but we e'e pairs 90 b. Mixed p —e vacuum polarization 90 do not attempt an exhaustive review of the present exper- 3. Ordersn(Zn)", n = 3,5,7. . . 91 imental situation. For this the reader is referred to the 94 4. Order n'(Zn)' review by Engfer et al. (1974). B. Self-energy 99 1. Orderso, (Zn)", n ~ 1 99 A number of excellent books and review articles have 2. Ordersn~(ZO. ),n ~ 1 101 appeared on this subject in the last 15 years (Devons and C. Anomalous interactions 101 Duerdoth, 1968; Wu and Wilets, 1969; Kim, 1971; Bar- D. Experimental tests of QED with muonic atoms 102 1. Heavy elements 103 rett, 1974; Hufner et al. , 1977; Scheck, 1977; Hughes and 2. Experiments using crystal spectrometers 109 Wu, 1975), in which a wealth of information is con- = 3. Very light elements (Z 1,2) 110 tained. An additional source of information, insight, and IV. Acknowledgments 113 Appendix 113 inspiration is the classic paper of Wheeler (1949), which References 114 marked the beginning of the theory of muonic atoms and
Reviews of Modern Physics, Vol. 54, No. I, January 1982 Copyright 1982 American Physical Society E. Boric and G. A. Rinker:in er: Enernergy levels of muonic atoms
~ ~ ' set forth numerous physicalca ideasi eas whichw i are still impor- transition energies comparable e too nucnuclearear excitationex ener- nsu these refer- gies (see Fi'g.. 2).. Th e capture and cascade poroc tk ences for alternaterna e disiscussions from different po s 0 e or er 10 —10 sec so er istorical details. time the muon reach es th e 1s state , it't as barely begun its life. Ther
A. General description of a moonie atom ppens most of the time via deca int eu rinos. n heav nuclei ' %'hen a negative muon is stos oppeded in matter, it passes usually capturedre by th e nucleus via t e elementary reac- throuug h a variety of environments before 6na11 tion p +p~n+v&.~n Its mass a ears a vicinity of an atomic nucleus. In the earl gy or as neutrino kinetic energy. o a om as ddoes a free elec- Because of the variety of ph y sical ductse which occur tron, but graduallua y it loses energy until it is capt d n e ormation and the destruestruction of a muonic , i s stu y involves a number ofo diistinct physical a i i y or capture into various ororbitsi s is knnown to theories and types of measurement. Thhose effects con- ' e c emical corn position and crystalline cerned with thee captureca t and cascade throu gh the elect o structure oof th e -material (Fermi and T e c emica e ects. Theories of th 1973 Leon and Seki 197977; Kunselman et al., 1 ti 1 iti'veve at present, owin g to th e complexity 1976; Gershteiners tein and Ponomarev 1975 Daniel et QI. , si uation;a,we shall notno discussdis them here 1977, 1978 1979;1 Schneuwly, etal. , 1978' Leon except as theey re1ate to other topics.ics. MeasurementsM in Bergmann, et al , 197.9 Schnchneuwly, 1977; Daniel, 1979. the "quiet" zone,zone h owever, have stimulated a re u er etal. , 1979; Leisi, 1980. In~ ftho t 1 rk oover tth e last1 tenn years. Discussion of ' ia istri ution of orbits persistspersis s as tthe muon cascades thesee calculations (primaril y QED) and how th ey relate ' throuug h thee eelectron cloud, ejecting Auger electrons and to experiments formorms a su stantial parta of the present re- e ic ra iation, until it arriarrives in a view. Inn thee ssame context we discusss howow tthe muon can region inside thee innermostinn electron orbit. Th be viewed not as a known probe but as a pa rt'ic1e whose of re 1ative quiet, bein ertur & assumed propertiesies can be tested. Interactionn with the its stationary states only b its int p extended nucleus is thee oold est use of the muon as a probe gy [muonic atoms provided th e first accurate meeasurements w' ine y essentially static interactions of nuclear size (Fitchi c and Rainwater, 1953) . Wee also an t e nucleus, and by a variety of discuss the calculationon ofo tth ese nuclear eQects oth static quantum electrodynamical (QED) effects (see Fi and dynamic, inn detaile ai and relate these to someome sesel ected ansitions provide experimental measuremurements.t . F'inall one gen ests of our understanding of QED. As the 1, d h e wea k interaction and nuclearnuc ear excitation b' ' 's muon moves into lowwer or its it is affected more strong- spectra through thee destruction of the muonicmu atom by ly by th e size and sha pe of the nucleus and its ossibili re. n practice, details of the we for excitation. For all butu tth e 1'ightest nuclei, muon or- 1"' '" 'h'e details of nuclear structureuc ure, and al- bits can be comparable e too tthee nuclearn size, and muon though considerable e worwork hasas been done on the subject,
O
O O- O O O Z=82 CI-h2 O
O ~ CV ~O U + O
CQ O
O O O e 1s (x10) O
O CI-O O O
I I I I I I 0.0 100.0 200.0 300.0 400.0 500.0 600.0 700.0 0.0 5.0 10.0 15.0 20.0 25.0 30.0 35.0 40.0 45.0 50.0 r(f rn) ' FIG. 1. MuMuon wave functions (solid lines) for rela FIG. 2. Muon
1 i o red o th e electronoon 1s1 wave function I, dashed line).
Rev. Mod. Phys. , Vol.o . 54,54 No. 1, January 1982 E. Boric and G. A. Rinker: Energy levels of muonic atoms we shall not discuss it here. For more information, see constants which reduce the dynamic and quantum in- the reviews by Mukhopadhyay (1977, 1980). teractions among the diff'erent constituents to small per- The principal quantities to be calculated for a muonic turbations and allow the approximate isolation of many atom are the energies and relative rates for various radia- degrees of freedom. The time-averaged classical static tive transitions. To our knowledge, no quantitative mea- interactions determine nearly all of the basic structure of surements of Auger transitions exist. In view of the a muonic atom, as well as a number of less important ef- known difficulties associated with the solution of the re- fects. This subject will be treated in detail in Sec. II. lativistic bound-state problem, we depend in practice Kinematic and dynamic corrections arise both from upon a Hamiltonian formalism in which each physical translational nuclear (and electronic) motion and from efFect is represented by an efFective potential, to be in- excitation of the internal degrees of freedom of the nu- cluded as desired in the Dirac equation or in a perturba- cleus and the atom. These will be treated in Sec. II.G tive treatment. The fact that this can be carried out to and II.H. Quantum corrections fall into three classes: sufficient accuracy in a systematic step-by-step manner is the vacuum polarization, which is the self-energy of the due to a fortuitous combination of coupling constants electromagnetic field due to its coupling to all pairs of and masses. Otherwise one would be faced with solving charged particles; the muon self-energy, which arises an extremely complicated many-body problem with from its self-interaction with the electromagnetic field; many degrees of freedom. For example, the fact that the and the weak (or anomalous) interactions which couple electromagnetic interaction is much weaker than the the various components of the system. These will be strong interaction implies that the muon will not nor- treated in Sec. III. Naturally, such effects also appear mally perturb the nucleus to any significant degree, so internally in the nuclear and atomic electron systems, but that the nuclear degrees of freedom may be neglected as we assume that they have been either included a first approximation. The fact that the muon mass is phenomenologically or lost among the other uncertainties much smaller than the nuclear mass permits us to regard therein. the nucleus as a nearly static source of the Coulomb in- teraction, and to treat the recoil correction as a perturba- tion. C. Notation and numerical values
In general, muon coordinates will be unsubscripted, B. Principal kinematics and interactions nuclear coordinates will carry a first subscript N, and electron coordinates a first subscript e. Other quantities, We shall begin the construction of our efFective Hamil- such as energies and quantum numbers, will be dis- tonian with the three primary constituents of a muonic tinguished in the same way if there is any possibility of atom: the muon, the nucleus, and the atomic electrons, confusion. each of which is assumed to obey a "free" Hamiltonian All formulas will be written in natural units such that in the absence of interactions with the others. Other ob- A=c=1. Conventional units may be resurrected with jects, such as neighboring atoms, are either of negligible the aid of the following table of definitions and numeri- importance or can be included as minor modifications to cal values (Kelly et al. , 1980): this Hamiltonian. The Inuon Hamiltonian is the free Dirac Hamiltonian a @+Pm, appropriate for a point Z= nuclear charge particle of spin —,. The nuclear Hamiltonian H~ appears 2= nuclear mass number in a primarily formal way; although one could imagine it mc =muon rest mass = 105.65946+0.00024 MeV to be an approximate Hartree-Fock Hamiltonian, for ex- Ac/mc =muon Compton wavelength = 1.867 5903 ample, we regard it here as an operator which produces +0.000 0064 fm the nuclear mass, charge (including electric and magnetic m, c = electron rest mass= 0.5110034 +0.0000014 multipole) distributions, and excitation spectra. We MeV thereby avoid building into our calculation from the start Ac /m, c =electron Cornpton wavelength =386.15905 the uncertainties associated with any particular nuclear +0.0015 fm theory. The Hamiltonian for the atomic electrons could ~&c2=nuclear rest mass=(931. 5016+0.0026) A MeV be treated similarly. However, the confidence with a = fine-structure constant = I/(137.03604+0.000 11) which present-day atomic Hartree-Fock calculations are e = square of electron charge =4ira carried out makes it practical to use this approximation Ae = 197.32858+0.000 51 MeV fm explicitly. Interactions among these constituents of the system II. CLASSICAL INTERACTIONS will be taken in three classes: time-averaged (i.e., static) ANO KINEMATICS classical electromagnetic interactions; kinematic and dynamic corrections to these; and quantum (including A. Dirac equation weak interaction) corrections to both. The fact that this particular decomposition is useful arises, as mentioned The Dirac equation for a muon moving in an external above, from the combinations of masses and coupling classical electromagnetic field is (Schiff, 1968)
Rev. Mod. Phys. , Vol. 54, No. 1, January 1982 70 E. Boric and G. A. Rinker: Energy levels of muonic atoms
[a.(p+eA)+pm E——ep]/=0 . which represents a time-averaged electrostatic potential generated by the nucleus and is intended to provide accu- The use of fully relativistic muon kinematics is dictated rate zero-order solutions for the muon wave functions. the required computational accuracy. Even in heli- by We are free to construct and to interpret this potential as um, the muon velocity near the nucleus is we wish. In practice, we normally parametrize and ad- =(2Za/IR~)' =0.2c, while it can be several times this just it to yield fits to measured transition energies. Pre- in heavy nuclei. The electromagnetic potentials A and cisely what the averaging means is a matter of choice. tl), which are in principle time dependent, are generated Writing ~0) for the nuclear ground state in the absence both the nucleus and the atomic electrons. The by by of the muon, the customary choice is former source dominates due to its relative compactness and hence determines the essential structure of any = —e Vo(r) (0 ~ P ~ 0) muonic atom. The electrons are much less important for n1ost 1nterest1ng muonic transitions because their orbits are much larger than those of the muon, and we shall neglect them until Sec. II.I (except for noting some obvi- where = is the average nuclear po(r&) (0 ~ p(rz) ~0) ous parallels to topics under discussion). The muon ground-state charge distribution in the absence of the mass m appearing in Eq. (1) is formally the mass of tile muon, normalized to I d rz po(r~) = 1. This choice has free muon. We shall make extensive use of static ap- the advantage of eliminating certain diagonal terms in proximations for A and P, in which they are replaced by the dynamic corrections (to be discussed later) and, pro- effective time-independent potentials and I is replaced vided that the remaining corrections are carried out ap- by the nonrelativistic reduced mass m, . These approxi- propriately, it admits to a straightforward interpretation mations are justified in H. Sec. II. of any fitted function po(r). It is well known that po(r) For computational convenience we shall work almost contains the charge distributions of all particles in the entirely in the Coulomb gauge. Although it leads to a nucleus folded over their point distributions. Less widely noncovariant formulation, this is useful because it gauge appreciated is the fact that any fitted po(r) also includes allows simplifying approximations which are quantita- the folded classical muon charge distribution (if it is not tively less severe than similar approximations made in pointlike), a result obtained from the convolution the Lorentz gauge (Breit and Brown, 1948; Grotch and theorem and the Dirac equation (1). This is not to be Yennie, 1969; Friar, 1977). The main reasons for this confused with the QED form factor of the muon arising are that the dominant scalar potential P is given in terms from the vertex corrections, which are well defined and of the instantaneous nuclear (and electron) charge distri- accounted for separately. Equation (2) is then rewritten butions and thus may be formulated simply; and that the as vector potential A, which will be neglected or only ap- proximated, is smaller" in the sense that it depends only H~q H~+a p+—pm., + Vo(r)+ Vt, upon the external transverse current. Although treating where Vt ——eP —Vo(r) is the residual muon-nucleus in- these potentials unequally can lead to spurious eAects in teraction, responsible for polarization effects. Neglecting the completely relativistic regime (Brown and Ravenhall, Vt (to be treated later as a perturbation) separates the 1951), such effects are unimportant for many applica- Hamiltonian into terms containing either muon or nu- tions because the sources (nucleus and electrons) are clear operators but not both, so that the eigenstates are largely nonrelativistic in the laboratory frame of refer- products of muon and nuclear states. Assuming that the ence. We shall generally refer to the scalar potential as P latter are given by other considerations, the problem thus a Coulomb interaction even though it is generated by a reduces in this approximation to finding the eigenfunc- nonpointlike distribution of charge. tions and eigenvalues of H =a p+pm„+ Vo(r) . B. Zero-order approximations
Since we want to consider the nuclear degrees of free- C. Decomposition in spherical coordinates darn as well as those of the muon, we write the total Hamiltonian of the muon-nucleus system as Solving Eq. (5) is most conveniently handled in spheri- H~~ H~+a p+ pm„+ea——.A. —ep, cal coordinates, by expanding Vo(t') in multipoles, and constructing a set of basis states using only the monopole where, as indicated above, A and represent the poten- P term Vo(r). We use the representation (Schiff, 1968; tials generated by the nucleus and contain both muon Merzbacher, 1970) and nuclear operators. H& is the nuclear Hamiltonian in the absence of the muon. 0 a. 1 0 As a first approximation, we neglect the term ea.A (6) o 0 ' 0 —1 and separate the muon and nuclear degrees of freedom in the following manner. We define a static potential Vo(r), The muon Dirac spinor is (McKinley, 1969a)
Rev. IVlod. Phys. , Vol. 54, No. 1, January 1982 E. Sorie and G. A. Rinker: Energy levels of muonic atoms 71
K —1 G«(r)"" = — G—„„(r)+[m„+E«Vo(r)]F„„(r) G«(r) (r I I~p) dr r 1tj„„(r)= K — — F«(r) =—F„„(r)+[m„E— Vo(r)]G„,(r) . F„„(r) (r I vp) dr "" r „„+ where the shown (13) angular spinors I sp) may be to be eigenstates of the operators o. and with 1, , j, j» For electronic atoms, it is customary to make the further so that j=l+o/2, approximation Vo(r)= Za—/r and treat the effects of 1. cr'cr =3 Gnite nuclear size in perturbation theory. For muonic 1IKp) =l(l+1) IKp), I Icp) I Kp), atoms, these effects can be estimated from ~s & . I &=s ~p& ]il~p&=j(J+» j.I~s I bE„„=I dr [F„(r)+G„„(r)] Vo(r)+ An explicit construction which exhibits these required properties is the Pauli spinor R~ =R~ [F„„(R~)+G„„(R~)] dr r Vo(r)+ I0 r
+ Ip ljp) 1I, u2(r—) [F„„(R~)+ (14) (rlsp)= 10 G„„(R~)], 2 & 2 & &p+ 2 I J&p) I@+1/2(r) where we have approximated the nucleus by a uniform One may also show from Eqs. (5) —(7), with the aid of charge distribution of radius R~ and the muon wave some commutator algebra and with Vo(r)~ Vo(r) as al- function inside the nucleus by the value of the point- ready noted, that nucleus solution at the nuclear surface. This latter ap- proximation was made to eliminate the unphysical singu- — o"1 x. =a. (1+ I p ) I ~p ), larity in the relativistic point-nucleus wave functions for 1 —,. For the 1s state in AF. p j= Fe, =116 keV, about 6% of the point-nucleus binding energy. Considering that Since j commutes with the total muon Hamiltonian, the this energy is known experimentally to within about 0.5 same value of j is associated with both Pauli spinors in keV, it is clear that more accurate calculations are need- Eq. (7). Two distinct values of I are involved, however. ed. These may be determined by observing from Eqs. (8) and (10) that D. Numerical methods
——,— ~=I (1 +1) j(j +1) 1. Eigenvalues
Solving the differential equations (13) and fmding the —(1+1), j=l+ —, — eigenvalues normally involves making an initial guess for j=h —, the eigenvalue and then "shooting" by stepwise integra- tion outward in r from a small radius and inward from a large radius to a common matching point, where the so that ls. = —, = 1, . . Thus the lower component l j+ 2. mismatch in the wave function is used to improve the of Eq. (7) has associated orbital angular momentum l —1 eigenvalue. Since with any reasonable numerical integra- if K 0 and I 1 K Even though the states ~ + if &0. tion scheme, errors in the starting values at the small — thus have opposite parities, the four- I~p ), I sp ) and large radii propagate in the solutions without ampli- component spinor is an eigenstate of the relativistic 1t„„ fication, it is not necessary to have high relative accuracy operator constructed combining inversion parity by space in these values. Common methods for calculating the with multiplication the Dirac matrix The parity is by P. starting values are power series for sma11 r and asymptot- thus determined the I value associated with the by large .ic series for large r. Another method of comparable ac- component. Note the choice of phase for the curacy is to consider the potential at the starting radii to Pauli spinors (9). Use of Clebsch-Gordan coefficients 1 1 1 be locally constant, so that the required solutions are C(l, —, —, —, results in no observable differences, p+ , , + I j,p) spherical Bessel functions of appropriate angular momen- but would lead to different phase factors and coupling tum. coe6icients later. Another useful identity is One method for improving the eigenvalue is the secant 0"I method CT P= —l r —(1+o"1) (12) r2 Br
Assembling the above results gives in the usual way the radial equations which are to be solved where DJ is some suitable measure of the mismatch upon
Rev. Mod. Phys. , Vol. 54, No. 1, January 1982 72 E. Boric and G. A. Rinker: Energy levels of muonic atoms the jth iteration of the outer and inner wave functions respect are the Adams methods (Shampine and Gordon, F„G„and F;,6; at the matching radius, e.g., 1975), which will integrate even rapidly decreasing func- tions properly if small enough steps are taken. Less effi- D — . =F,/6 F;/6; cient are the widely used Runge-Kutta methods, which Another method is based upon a variational principle are, however, simple to implement and sufficiently accu- (Blatt, 1967; Rinker, 1976). If Po is a wave function ob- rate and stable. An example of a well known method tained with the initial eigenvalue guess Eo, then an im- which is nearly always unstable is Milne's, which fails proved eigenvalue estimate is even to integrate oscillating functions properly (Ham- ming, 1962). Another widely used method which is E =(QO, HQO) . stable but asymptotically incorrect and therefore not recommended is Hamming's method (Hamming, 1959; With t/ro obtained by shooting, the expectation value gives Eo plus a contribution from the discontinuity Shampine, 1973). In any case, present-day experimental accuracy dictates that computation must be made in E =Eo+F)6o —F06 double precision if a computer with less than 12 decimal digit accuracy is used. where A considerable literature now exists on the subject. F; +6; =F0+6, (19) The reader who is tempted to devise his own method would be well advised first to consult one of the excellent and introductory texts, such as Shampine and Gordon (1975) I dr [F (r)+G (r)]=1 . (2O) or Hamming (1962). The secant method converges almost quadratically, while E. "Model-independent" interpretation the variational method converges quadratically. In the earliest analyses, the nucleus was represented by a static phenomenological charge-distribution function. 2. Solution of the radial Dirac equations The Dirac equation for the muon was then solved, and A variety of methods are in current use for the numer- parameters such as the nuclear radius were adjusted to fit ical solution of the differential equations. Each has its measured transition energies. In this way it was first advocates; however, the present problem is so simple by determined that nuclear radii were approximately 1.2 A' A' modern standards that almost any respectable method fm rather than 1.4 fm as had been believed pre- will work. The primary pitfall is instability, which is a viously (Fitch and Rainwater, 1953). More recently, a generic term used to describe any phenomenon which number of so-called "model-independent" methods have leads to uncontrolled error growth. Thus a method may been devised to interpret spectra in terms of constraints have a small truncation error at any given step, but if upon ground-state nuclear charge distributions, in order successive truncation errors add constructively, the to avoid the unphysical constraints imposed by a specific method will be unstable. The instability may lie in the assumed functional form for the charge distribution. original differential equation itself or in the finite- Since this is a subject concerned primarily with the di6erence approximation used to obtain the numerical analysis of data rather than the theoretical calculation of solution. The Dirac equation (13) exhibits the former, as energy levels, we shall only brieQy sketch it here. For it generally admits a pair of complementary solutions. more details, the reader is referred to the reviews of Bar- In regions of negative kinetic energy, one of these de- rett (1974) and Friar and Negele (1975). creases and the other increases at approximately the These methods begin with some spherical, trial nuclear same rate. If one attempts to obtain the decreasing solu- charge distribution po(r&), and then investigate the effect tion numerically, it is inevitable that small components of an arbitrary variation 5p( r~ ) =p(r~ ) po( r& ). In- of the increasing solution will get mixed in through trun- lowest order one obtains cation errors. These can eventually dominate and render E„,=E +oZ dr~ r~5p(r~) dQ~ V„„(r~), (21) meaningless the finite-diAerence solution actually ob- I I tained. The usual way around this diAiculty is always to where V„„(r&) is the potential generated by the average integrate in the direction in which the desired solution is muon charge distribution for the state or transition in either increasing or oscillating. This is always possible question, and Eo is the energy calculated using po(r~). for (13), as no more than two solutions ever exist for the It should be emphasized that Eq. (21) is first order and di6erential equation. thus of use only if one starts with a trial distribution Other instabilities arise from the finite-diAerence ap- which is already a good approximation to nature. In this proxirnations themselves. One can eliminate these by us- way one obtains a linear integral constraint on p(r~) [or ing low-order methods which admit no more than two 5p(r~)] for each transition, in terms of calculated and solutions (Blatt, 1967). Such extreme measures are not measured energies Eo and E„. A similar set of con- necessary, however, as good high-order methods are straints can be obtained for each cross section o(q) mea- known in which all extraneous solutions decay in situa- sured by scattering electrons from the same nucleus. In tions of present interest. Exceptionally stable in this general, one finds that the muon-derived constraints are
Rev. Mod. Phys. , Vol. 54, No. 1, January 1982 E. Boric and G. A. R inker: Energy levels of muonic atoms very precise but are limited to slowly varying kernel and assumptions about unmeasured coefficients. Under = d while electron- the assumption electron-muon universality functions V„„(rtq ) f 0& V„,(r~ ), the of (Rinker derived constraints are less precise but more rapidly and Wilets, 1973b; Barber et al. , 1979a, 1979b) at the re- varying. The two types of measurement are thus com- quired level of accuracy, the muonic data can also be in- plementary. Csiven enough such constraints of sufhcient cluded with the primary eFect of normalizing the scatter- accuracy, it would be possible to invert them to obtain a ing data more precisely. unique, "measured" charge distribution within reasonable The first notable demonstration of the virtues of this error limits. approach occurred in 1973 with the controversy over Such a procedure is clearly hopeless when the muonic whether the charge distribution of Pb had a depression data alone are used. It has instead become customary to in its center. Model analyses (Heisenberg et al. , 1969) of express experimental results in terms of a moment- available electron scattering data and muonic atom tran- transformed charge function R~(k) (Ford and Wills, sition energies indicated a depression, in serious contra- 1969; Barrett, 1970; see also Ford and Rinker, 1973) de- diction to a number of theoretical calculations which fined by displayed the opposite. The issue was finally resolved by an analysis along the above lines (Friar and Negele, 3 R (k) 2+@ 1973a), which showed that although a depression was R (k) consistent with the data, charge distributions with in- creased density near the origin were, too. These authors =4~ . «tq r~ e p(rw) (22) 0 also showed that if the overall normalization of the mea- With this definition, R~(k) is the radius of a uniform sured electron scattering cross sections were in error by distribution with the same expectation value of (r~ 2 —3%, reasonable agreement with theoretical calcula- e ) as that of the model p(rz) under consideration. tions could be obtained (see also Barrett, 1974; Friar and This approach was initiated by Ford and Wills (1969) Negele, 1975). and extended by Barrett (1970). Its significance arises from the fact that the muon potential function for any F. Corrections for static nuclear moments state or transition can be parametrized accurately by the In addition to the extended electric monopole charge form distribution, the nucleus may possess nonzero magnetic V„„(r~)=C +Br' e (23) and electric multipole moments in its ground or excited states. The former may be treated with the previously so that Eq. (22) becomes an expression of the constraint neglected vector potential A, while the latter are (21). With optimal fits, C, B, k, and a all vary from represented higher-order multipoles in the expansion transition to transition and element to element. In prac- by of Vo(r) or its generalization for excited nuclear states. tice, one optimizes a for a given nucleus and compares In cases where these moments are small, they merely the transformed moment function R (k) to the values split the muon energy levels. To describe this splitting, measured for specific values of k. The same approach is we need to construct a muon-nucleus basis coupled in also useful for analyzing isotope and isomer shifts (Ford angular momentum. Denoting the nuclear states and Rinker, 1974). A generalized form for deformed nu- by ~IM), we have clei has been given by Wagner et al. (1977). Similar ap- proaches have been taken to utilize the constraints ob- tained from electron scattering. If the constraint corre- sponding to (21) is written (26) We couple these to the Pauli spinors to give total 5cr(q)=Z d re 5p(r~)fq(r&), (24) ~ t~p) I angular momentum A=j+I and projection Q then an expansion ~IAA = xp,IM ~IAA IM (27) i ) ( i ) f ~p ) i ), p(re)= aqfq(rx) (25) q=0g so that
th. A.A would yield Z5aq =5o(q) if e kernels fq(r~) were i aIAQ) =A(A+ 1) i ttIAQ) orthonormal. In practice this is not the case, so that vIAQ) aIAQ) . A, i =0 i (28) correlations remain among the coefBcients aq no matter how well the kernels fq(rtq) are approximated. In addi- Note that the Clebsch —Gordan series (27) is independent tion, practical limitations on momentum transfer in ex- of the sign of a. since it is a. ——, which is coupled , j= ~ ~ periments restricts the number of coefficients that can be to Using the shorthand = the cou- I. ~ +g) ~ +trIAfl), determined. Several prescriptions and iterative pro- pled muon-nuclear state is cedures have been devised to solve Eqs. (24) and (25) (Lenz, 1969; Lenz and Rosenfelder, 1971; Friar and Negele, Borysowicz and 1973a; Hetherington, 1973; Sick, (29) 1973, 1974). For many nuclei the data are now sufficient to complete the inversion with only modest uncertainties
Rev. Mod. Phys. , Vol. 54, No. 'l, January t982 E. Boric and G. A. Rinker: Energy levels of muonic atoms
1. Electric multipole interactions
%'riting the muon-nucleus interaction as
p(riv ) V(r) = —Za d r~ (30) f rx the first-order perturbed energy shift due to higher multipoles in p(rz) is b E„&—(4„~(r),[ V(r) —Vo(r) ]%„~(r)) A L 1)I+I+&—i/2 ' j I j Z& ( [1+( 1)L] (2j+1) 1 g 2L, +1 '. j 2 +' dr d & . I '.(r)]VO(r) X f, [I" (r)+G' (r)]&II I f "~s(r~) 1'L(~~)".«', II f—, «[I" (r)+G.
For the ground state, the monopole term is removed by about the radial distribution of multipole charge is ob- cancellation with Vo(r). For excited nuclear states and tained. Using a "model-independent" analysis similar to L=O, (31) reduces to the so-called "isomer shift. " All of the monopole case (Wagner et al. , 1977), this information the odd multipoles are zero. can be formulated in terms of integral constraints on the The energy shift is proportional to a reduced matrix multipole charge distribution (see Sec. II.E). element of the nuclear charge-density operator p(r&), customarily reduced via 2. Magnetic dipole interactions I L, I /r', +'III& &Illz f d'rue(rx»c(rx)r I 0 I In addition to even-L electric multipole moments, the nucleus may possess nonzero magnetic moments for odd =&» Z d"~p(r+)1'Lo(~+)r'&/r')+' II& L. We restrict consideration to L = 1 because of the I f I L+i complicated nature of the higher-order terms and the g / (32) fact that they are quite small when compared to the in- herent uncertainties in evaluating the I =1 contributions. where is the Lth multipole moment nuclear state QIL of The Ml hfs may be obtained by evaluating ea.A in (1) I. If the following ansatz is made for the expectation in perturbation theory. A nonrelativistic representation value of p(r&) of this operator may be obtained by iterating (1), giving a Schrodinger-like equation for each spinor component &II & = I f31L'I'1L,'M'(rm)prL, I p(r&) II '("x) g with a perturbation to order A (33) A-p+ cr V~A. (36) 7tlp 2&1~ then the reduced nuclear matrix element in Eq. (31) be- comes The first term is the muon orbital interaction and the second the muon spin-nuclear moment interaction. Al- &I I'IZ f d'r~p(r~)&~(r~)r /r& 'III& though one may proceed with a general nonrelativistic I I I reduction to evaluate these terms, the algebra is simpler if one evaluates a A relativistically. The 6rst-order ener- =ZI3IL, o I 0 I fo «x red &«& pII. (rx) gy shift is given by ea.A bE„~= &ng I I ng& Equation (31) can be written in terms of the "hyperfine- =2ie dr o. — F„(r)G„„(r)&gI A I g&, (37) structure constants" AL„~, f
where we have used & —gln. A g&= — o"Al — I I g&. A &g j I Assuming that the nuclear in b,E„g=Za( —1 ) magnetization state II& L=0 is given by the distribution g (e/2M& )Ip(rz ) These quantities may sometimes be fitted to the mea- sured energy spectrum. For muon states which do not Following convention, we write the magnetization in terms significantly penetrate the nucleus, the result is measure- of the nuclear Bohr magneton e/2Mp, with the proton mass ment of the nuclear Lth multipole moment (see, e.g., Dey Mp 938 2796 MeV, whose units require e =a and not etal. , 1979). For penetrating muon states, information e =4m' as used elsewhere in the present work.
Rev. Mod. Phys. , Vol. 54, Na. I, January 'II982 E. Boric and G. A. Rinker: Energy levels of muonic atoms
[f d rN p(rz)=1], the dipole approximation gives IX(r—r~) eA(r)= g~,d r~p(r~) 2M~ f — /r r~ f so that ga 4m ea A.=— I o Xr dr~ r~p(r~) . (39) 2M~ y33 %'irking the momentum out angular algebra eventually FIG. 3. Nuclear-polarization correction. yields the formula
[A(A+1) I(I +1—) +—1)] bE„„=, 2M' j(j tailed information about nuclear excitation spectra, as well as the inadequacy of analytic computational ap- oo proaches. More sophisticated calculations were carried X dr r F„(r)G„(r) drN r~p(r~ ) . 0 0 out by Cole (1969) using better nuclear models. These calculations, however had the drawback that they (40) depended upon closure over the intermediate muon The form-factor integral is similar to that for an electric states. The first truly accurate calculations, which elim- moment, except of course, that there is no term inated the dependence upon closure, were made in the representing work done against the field in moving a important papers of Chen (1970a) and of Skardhamar probe inside the distribution. Equation (40} is valid for (1970) for muonic lead. Significant refinements have all muon states. Although it is not immediately obvious, been made in calculations since that time; however, the it includes both the r orbital terms and the Fermi con- fundamental approach and ideas have not been altered tact interaction. For the ls state, for example, it works substantially. Dynamic hyperfine structure was first con- out in the point-nucleus limit to be sidered by Wilets (1954) and by Jacobsohn (1954). These classic papers set forth all of the basic physical ideas ex- (2m„Za) 3 ploited in subsequent work, even though the actual cal- b — [A(A+1) I(I +1)——,— E„= ], culations carried out were necessarily limited to simple rotational nuclear models. Nuclear-polarization effects (41) were first combined with dynamic hyperfinc-structure which reduces to the correct nonrelativistic value in the calculations by Chen (1970b). It is this generalized ap- limit y=(1 —Z a )'~ ~l. It might perhaps be noted proach which we shall follow in the present treatment, as adopted and extended Rinker (1976) and Rinker and that the point-nucleus expression diverges for y ~ —, by (Z) 118). Speth (1978a). Similar approaches have been used by The above analysis does not take into account ~ass McLoughlin et al. (1976) and Vogel and Akylas (1977). corrections to the hyperfine structure, which arise from Thomas precession and are of order (gz —2)m (AM&) 1. Formal description Although negligible for heavy elements, these can be im- portant for states with 1+0 in light muonic atoms The problem may be described formally by writing the (Boric, 1976b). Schrodinger equation for the muon-nucleus system as
Vp ) a — (Hp+ E, ~ ) =0, G. intrinsic nuclear dynamics where represents the complete muon-nucleus state. ~ a) Next we discuss sects arising from the internal de- Hp+ Vp is the zero-order Hamiltonian in Eq. (4). We grees of freedom of the nucleus. These effects are gen- may assume in addition that the muonic part of Hp also erally referred to by two names: nuclear polarization and includes all of the small corrections not involving nuclear dynamic hyperfine structure. The first term is used to excitations or static moments, e.g., quantum electro- describe e6ects which are calculated in first- or second- dynamic (QED} corrections; we need note only that all of order perturbation theory (see Fig. 3), leading to shifts in these corrections known at present may be represented energy (and transition rates) of the muon states. The adequately by effective potentials in the muon coordi- second describes those which split the coupled muon- nates, so that the appropriate matrix elements may be nuclear levels into various components and must be cal- computed as needed. The eigenvalue to be found is E~. culated to all orders, e.g., by means of matrix diagonali- The complete state is expanded in eigenfunctions of H0.. zation. Nuclear polarization efFects were considered in the earliest analyses of muonic atom data (Cooper and ~a&= ga; ~i&, (43) Henley, 1953; Fitch and Rainwater, 1953). Estimates of i=] these sects were necessarily crude due to lack of de- with
Rev. Mod. Phys. , Vol. 54, No. 1, January 1982 E. Boric and G. A. Rinker: Energy levels of muonic atoms
(Ho —e;) Ii)=0. (44) with Our main task is to determine the coeNcients We a;. —— shall follow a program in which all of these coeKcients A v (54) pq =s a q are determined implicitly at least to first order in Vz, and some are determined explicitly to all orders. To the order of accuracy so far retained, one may treat To carry this out, we first de6ne projection operators 6 Vz formally as a first-order perturbation upon the into a model space s and its complement as lowest-order "model space" solutions, so that the result- ing energy shift is = = (45) P. Is &&s I Q, I Is' & & &p V, I~&&~ I v, p=1 q =s+1 (55) p'=1 =s+1 Ea —q The model space is assumed to include all those states p, q which are expected to have large coeAicients a;, so that If s= 1, this is just the standard second-order nuclear po- treatment to all orders in Vz is necessary. Inserting larization energy shift, whereas if s & 1, it is a nuclear po- 1=P,+Q, into Eq. (42) and using standard projection larization correction to the hyperfine structure. If the operator properties, one obtains states in s were exactly degenerate, we would simply be dealing with degenerate perturbation theory. Clearly, we (Ho +P—Vp)P, a a could continue the above development E, , I )+P, VpQ, I ) =0, to higher orders, but as a practical matter this is pointless, since one can always choose a model space which insures that the Q, Ia)= —(Ho E, ) 'Q, vp—Ia), neglected higher-order corrections are smaller than the other uncertainties in the calcuulation. which may be combined to yield the exact result The infinite sum appearing in Eq. (55) can be evaluat- ed in closed form. We first note that (Ho Vt —a —Vt ) 'Q,—VI, a =0 P, I E, + )P, I ) (Ho E, I ) I . " (i IV, Ip)It& (48) (56) E, —E; This provides the framework for a sequence of approxi- mations which are of successively higher order in the is essentially the standard first-order perturbation of the quantity a which must be small the state Ip) due to Vp. This function satisfies (Dalgarno Q, I ), if procedure is to be useful. It should be noted that the inverse operator and Lewis, 1955; Schiff, 1968) ' (Ho —E, ) always exists in Eq. (48), since ) & —( —& & ) & =o I Vt I . (57) (Ho E, ~p + p Vt I p I p
(Ho Ea) 'Qs= — — ) 'I&&&& Rather than attempting to construct (55) or g (eq E. I Eqs. (56) q =s+1 term by term, we may solve Eq. (57) directly and use the and in the situation under discussion, E, is never one of result in (55) to calculate the energy correction, with the the The first s terms in the sum over i in (56) removed explicitly. E~. requirement that Q, I a ) be small is satisfied The only differences between and and if for all p, q (56) (57) normal perturbation theory is that E,+ez. Here E, represents v (p I (50) any of the s eigenvalues obtained from a diagonalization of the model space. The result is that is The lowest-order approximation to Eq. (48) which is Eq. (57) to be solved s times, once for each combination of basis func- of interest consists of neglecting the term involving Q, . tion and eigenvalue. If the model space s is chosen to include only one state, A further approximation be made which the result is the simple static approximation in which no may saves considerable computational labor. Rather than solve nuclear excitation occurs. If s~ 1, the problem may be Eq. (57) s times for every basis function we may instead solved by a straightforward finite-dimensional matrix di- Ip ), choose some agonalization. average energy (E) and solve it only once, so that (57) need be solved only s times altogether. This The next level of approximation is obtained by adding a to to approach introduces ambiguities into the procedure, but P, I ) Eq. (47) get the size of the additional errors may be checked by com-
a a & ) 'Q, —a &— results for difFerent I =P, paring choices These errors I (Ho Vp (51) of ) E. I (E). are of relative order ((E) E,)l(c~ —E~). Tw—o choices and then neglecting the second term, so that Eq. (48) be- for (E) which have been used in previous work are (1) comes approximately to make a single average over the entire subspace (Chen, 1970b; Vogel and (Ho E—) —Vp a & Akylas, 1977), or (2) to set (E)=e~ P, I Ea+ Vr) Vp(Ho a Qs I Ps I =0— for the calculation of each (McLoughhn et al. I hp) , (52) 1976; Rinker and Speth, 1978a). The former gives a This is of the form more consistent treatment of the oA'-diagonal corrections and retains the hermiticity of the perturbation matrix
a—& P, (Ho E.+ V~+aVP)P, I =0, {54). The latter gives a more accurate treatment of the
Rev. Mod. Phys. , Vol. 54, No. 1, January 1982 E. Boric and G. A. Rinker: Energy levels of muonic atoms 77
diagonal corrections for states which are dominated by a necessary to project out and sum explicitly over all but single coefficient a; but loses hermiticity for the off- the muon radial coordinate. Such a treatment avoids the diagonal corrections. Which choice (if either) is ap- complexities of solving partial differential equations nu- propriate depends more upon the details of an individual merically. In addition, it allows one to treat the nucleus calculation than on any overall principle. With any such semiempirically rather than through some approximate choice, it is not necessary to have the eigenvalues E, in model Hamiltonian. order to compute the corrections, so that one may just as The initial muon-nuclear spinor lp) is given by Eq. well construct iI(, Vp first and then diagonalize the "renor- (29). The general first-order correction is malized" interaction Vz + 6 Vp, so that the resulting eigenvalues and eigenvectors include the corrections of Eqs. (55) and (56). To the order of accuracy consistently — g') gg(r) I retained, this is equivalent to using (55) explicitly, but is computationally more convenient. This procedure has (58) (r) ——g') been used in all I calculations to date. T fg
2. Explicit formulas
Although Eq. (57) can be regarded as a differential with g~ (r) and f~ (r) to be determined. These functions equation in any desired coordinates, in practice it is satisfy the inhomogeneous differential equations
K (I.) (r) = — (—r)+ [m„Vo(r)+— EN +E—N (r) — (r)F„„(r), dr~g~ r g~ E„~ r r]f~ V~r
K (— (I ) fr (r) = fr (r)—+[m„+ Vo(r) E„r+E—N ~ EN ~]g~ r)+ V~~ (r)G„(r), (59)
where +J+(/2 v( )(L) v(L)( 1)I+h+J )1 +(L+(] (g I )rl g ) z~( [1+( 1/2 4m.(2J'+1)(2j'+1) l I A J L J I' J' &~~ &no 2L, +1 L 2'2
d'rN r)+'III'& (60) &«I I I I I p(rN)~L(rN)r & is a reduced nuclear multipole matrix element, sometimes also referred to as a transition potential. To complete the calculation we need the interaction matrix elements
V~~'(r) n') = dr . (61) (n I I 0 V~~'(r)[F„„(r)F„„(r)+G„„G„„(r)] Second-order perturbed energy shifts are given by — 4E„g gb, E„~~ = g—I dr V&&''(r)[F„(r)f&.r +G„„(r)g&,(r)] . (62)
I The only numerical subtlety involved arises in solving as a large but finite set of simultaneous algebraic equa- the imhomogeneous equations (59). These have three tions for the function values f; =f(r =ih), etc., with the solutions in general: two for the homogeneous parts and necessary boundary conditions built into the equations. a third for the complete equations. Unless The result — E„r is a band matrix which may be inverted by E& ~ + E& ~ is an eigenvalue of the homogeneous standard techniques. Both methods have drawbacks. If equations, only the third will be finite at both r=0 and E„~—E&~ + E&~ is far from any eigenvalue, the insta- ao. One can solve these equations by shooting and ex- bility in the shooting method may make it impossible to tracting the unwanted contributions by imposing boun- extract the desired perturbation. — is If E„~ E& & + E& & dary conditions. However, unwanted rapidly growing close to an eigenvalue or the perturbation is very small, solutions exist for both directions of integration in the truncation error in the low-order band matrix technique general case, so that such extraction can fail unless ex- may render the result meaningless, particularly if terms tremely high numerical precision is used. An alternate must be removed explicitly to obtain the restricted sum method is to rewrite Eqs. (59) explicitly as low-order in Eqs. (54) or (55). The first problem is solved by com- difference equations (Rinker, 1976) and reassemble them puting in multiple precision, while the second is solved
Rev. IVlod. Phys. , Vot. 54, No. 1, January 1982 78 E. Boric and G. A. Rinker: Energy levels of muonic atoms by decreasing the radial increment h. Both require in- clear multipole moments was given for the diagonal case creases in computation time and storage, although the in Eq. (32). For nuclear transitions, we have band matrix technique has usually proved easier in prac- tice to adapt to diAicult problems. Improvement may d'r +' (I Z ap(r a) Za( Pa)r/r, , I') sometimes be obtained by scaling the perturbation by an f overall multiplicative factor greater than 1 before solving [(2I+ 1)B(EL;I~I')]'~ Ir +' . (63) r~oo (59) and then rescaling the final answer appropriately downward, noting that the perturbative energy shifts are For many transitions of interest, this quantity is known quadratic in the scale of the perturbation. experimentally and can be used to normalize the transi- At this point the physical problem has been reduced to tion potential (Chen, 1970a), assuming that its sign and specifying the nuclear-transition potentials and excitation radial form factor have been obtained from a theoretical energies appearing in Eqs. (59)—(61). In addition, one model or inelastic electron scattering. For other transi- needs to take care of the substantial bookkeeping details tions and for systematics of the nuclear spectrum in gen- involved in solving equations such as (53) and (54), as eral, however, one must resort to completely theoretical well as finding numerical solutions to (59). Several com- calculations. puter codes exist to solve this problem for various special cases (Chen, 1970a, 1970b; McLoughlin et al. , 1976; 3. Radiative transition rates Vogel and Akylas, 1977; Rinker, 1979). At least one of these (Rinker, 1979) has been published in general form Radiative transition rates for electric multipole transi- so that arbitrary nuclear models may be incorporated. tions between two states a and b are given in the I ) I ) The connection of the transition potential to static nu- long-wavelenth approximation by I
00 T( ba)= (Z — + L+1 Z d Y Q ' Ea) a (a ra rNZl (ra)p(ta)+r ( )ab)r (64) (2A. +1), , I. [(2L +1)!!]' f If a and b are defined I ) I ) by
S S
& & = & I & = I 2& I J I A. II. I bk IIkIkA»b &, (65) i=1 k=12 then the reduced matrix elements may be expressed in terms of basis-state matrix elements,
Z d I'&I'&~L ~& rW +I ~L r Ik&b Jl~ P k r ' I; A, j; =(—() [(2A +))[2AI ()] ( \) '(I; Z d rrrrNZL(pa)p(ra) + A I I f Ik)AAA j — ,' +r+~,' ' +( 1) 'A, „L &i III'~(r)lilk')~I I„fo d" r [G (r)Gk(r)+F (r')I'k(r)] (66) Both the nuclear and muon matrix elements appearing in (66) may be computed from quantities already involved in the hfs calculation.
1 4. Examples terms in the sum (55) in which the muon remains in its initial state. Then the required matrix elements are a. General case of nuclear polarization Vrr'(r) n') = d— I'0) (n I I Za I r~(IO I p(r]v) I Detailed information about the nuclear excitation spec- X drr&'[F„„(r)+G„„(r)]. trum is known experimentally in only a few cases with I sufhcient completeness to carry out a reliable calculation. (67) Even in these cases theoretical effort is required to fill in The second integral is just the muon-generated monopole the gaps in experimental knowledge. It i.s therefore desirable to have a simple treatment based upon general potential, parametrized by Ford and Wills (1969) in the form considerations. Because the polarization energy shift is C+Br~ (see Sec. II.E). The constant term does represented by a complete sum over the nuclear spec- not contribute because of the orthogonality of the nuclear trum, one can hope to make use of the sum rules which wave functions, so the energy shift becomes express related sums in terms of ground-state expectation ~Eng=(z~) B g [E'~,I Ex, values. %'e illustrate this point with the following exam- I'+I i]— ple (Rinker and Speth, 1978b). Consider the monopole
& I &IOI d'r]vr]vp(r]v) II'0& I'. part of the residual interaction, and consider only those I
Rev. Mod. Phys. , Vol. 54, No. 1, January t982 (68) E. Boric and G. A. Rinker: Energy levels of muonic atoms
This is a sum over only the nuclear excitations, and in where a~,~(L) is the nuclear polarizability principle can be evaluated in closed form in terms of ground-state expectation values of the operator r'". This ~p E—~,o) 'B«L o f) i«)=,(2L g«x, f is, unfortunately, difficult to do reliably. In his analysis, +1) Chen (1970a) replaced a corresponding energy denomina- 2 dE+Ex' . tor by an average value and removed it from the sum. 0 ~«Ew) The result in that case is (73) bE„g—(Za ) B (E~ I E~—I ) The second line is an alternate form written in terms of )& d d . (69) (IO ~ r~ r~r~r~p(r~, r~) ~ IO) f the photoabsorption cross section To evaluate the integral, one needs to know two-body (L +1)EP correlations in the ground-state nuclear wave function. o (L,E~ ) =(2~) a At the present time, no microscopic nuclear theory can L [(2L + 1)!!] dE& produce such quantities reliably. Equation (72) was obtained from classical arguments for A sum which is simpler to evaluate (in the absence of I. =1 and from nonrelativistic quantum arguments for momentum and isospin-dependent nuclear forces) is ener- L, &1 using closure over the intermediate muon states, gy weighted, neglecting muonic excitation energies. It assumes the asymptotic form (63) for the transition potential (60) and O d I'0) (I—~ S= [Ew, r Ex,s] ~ r~ rap(rx) I ~ g f this is valid only for states with / & L ~ 0, so that the ex- pectation value in (72) does not diverge as R&~0. The k principal physical restriction is that muon excitation en- = (IO d'&~ &x ) IO& . (70) I p(rw I 2MP f ergies be small compared to nuclear excitation energies. This condition is usually fulfilled for states with /&L, en- With the same average replacement of the excitation but it can also hold in other cases [for example, / =L = 1 ergies, the polarization shift is in light muonic atoms (Z (20), where L =1 is the dom- inant contribution]. In such cases the muon orbit lies al- hE„g (Za, ) B (E——N I E~ g ) S—. (71) most entirely outside the nucleus. For most states of in- Since S depends only upon the ground-state expectation terest for tests of QED (see Sects. III.D. 1 and III.D.2) value of a one-body operator, it can be evaluated much this condition is fulfilled, and (70) —(72) can be used to more reliably. The price paid is a further departure from give a reliable estimate of the nuclear-polarization correc- the energy weighting of interest. This departure would tion. Similar formulas may be derived for I. =0 and be unimportant if the nuclear excitations for a given L ~ I, but these are quite inaccurate due to the short multipole were strongly peaked about one particular en- range of the transition potential compared to the varia- ergy. However, this is often not the case. tion in the muon wave functions. This situation intro- The above discussion illustrates the connection be- duces large errors in the closure and nonrelativistic ap- tween nuclear-polarization energy shifts and sum rules. proximations. Things are more complicated in general because the ex- If the nuclear excitations for a given multipolarity L, cited muon states must be taken into account, introduc- and isospin projection ~ are concentrated about some ing a complicated interdependence of solutions to Eqs. average resonant energy (E~(Lr) ), one may make use of (59)—(62) with explicit nuclear models for transition en- the energy-weighted sum rules ergies, strengths, and form factors. Because of these dif- ficulties, Ericson and Hufner (1972) restricted considera- S)(L,r) =g (E~f E~ p)B(ELr;O—~f) tion to high-lying muon (more generally, exotic particle) f states and showed that the nuclear polarization energy L(2L+1) Z ~1. q~ Z shift of a level nl due to excitations of multipolarity ( L+0 is
bE„iIll = — ap„(L)(r— (72) 2 Po )„i, to obtain the explicit formula
6a(Za) m 1 Z m (E„(I.0) )
r 2I —1 (n +/)! I (2/ 2I )! 2Z(xmR~ (76) n (n —/ —1)![(2/+1)!] 2L +1 n We have used nonrelativistic point-nucleus muon wave functions and kept only the leading term in an expansion in powers of the nuclear radius R~ ——(5(r&) l3)', where we have concentrated the transition charge density. This is a
Rev. Mod. Phys. , Vol. 54, No. I, January 1982 80 E. Boric and G. A. Rinker: Energy levels of muonic atoms minor improvement over Eq. (72), which concentrates the transition charge density at the origin; however, the re- striction I ~L, ~0 is still assumed in carrying out the integrals. This expansion is accurate for values of the parameter (2ZamRN/n)(1. In general, L =1 excitations dominate for cases in which Eq. (76) is valid, in which case it takes the especially simple form 2 4ma(Za) m X m (n l)!(2l —2)! + ' M 2 (E (11)) ( I 1}.[(2I+1).]' (77) These formulas can be quite accurate. For example, (77) gives —4.9 eV for the 4f states in lead, whereas a numeri- cal calculation gives —5.0 and —4.6 eV for the 4f5&2 and 4f7/2 states, respectively. They can also be applied to other exotic atoms for states in which the strong interaction can be neglected. A further attempt at a general formulation was made by Rinker and Speth (1978b). Rather than avoid completely the details of nuclear excitations, they constructed a semiempirical nuclear model intended to approximate the energies and form factors of giant multipole resonances throughout the periodic table, as well as to satisfy identically the energy-weighted sum rules (75) and the corresponding sum for L =0
&0 d'&~ & (+N I I I I ~l(0r) +No) &spiv«~) I If gf f
2Z 2 Z X l (78)
These sums wee concentrated in a single resonant state for each (Lr), with excitation energies '~ [100(1—r)+200&](1—A )A '~, L =0 ' (E~(Lr)) = 95(1—A )A ', L =1 (79) [75(1—r)+160'](1—A ' ')A '~', L &2
Energy shifts were obtained by solving Eqs. (59) —(62) b. kelium numerically, using simple analytic forms for the nuclear form factors. Thus important errors in the closure and The first nuclear-polarization calculation for muonic nonrelativistic approximations were eliminated. These helium was carried out by Joachain (1961) for the 2si&2 shifts are plotted in Fig. 4. Values for states not shown state using the nonrelativistic closure approximation for may be obtained by extrapolating the results of Fig. 4, the sum over excited muon states, as later exploited by noting that the energy shift varies with n for constant I Ericson and Hufner (1972). This calculation used experi- mainly through the overall normalization of the muon wave functions, i.e., n The values in Fig. 4 agree essentially by construction with more detailed calculations for Pb and are thus probably reliable for other heavy nuclei as well, so long as deformation (hfs) effects are either negligible or other- wise accounted for. For light nuclei, however, additional caution must be exercised. Here, the energy-weighted sums (75) are exceeded experimentally by as much as a factor of two (Ahrens et al., 1975, 1976). Although the model depends upon these sums, this fact does not imply that the results in Fig. 4 are in error by the same factor. More to the point is the ratio of the model polarizability for the dominant multipole I.= 1,~=1 ' ap, I '(1)= —,SmaSi(11)j(E~(11)) (80) to the measured value of the polarizability (73). This ra- tio is 1.0+0.2 for all nuclei measured by Ahrens et al. (1975,1976) except for Ca, where it is 0.7. The reason I I I I I I that the energy-weighted sums diAer by larger factors is 10.0 20.0 30.0 40.0 50.0 60.0 TO.O 80.0 90.0 that the excess transition strength comes at high excita- z tion energies, where they are exaggerated in Eq. (75) rela- FICx. 4. Nuclear-polarization binding energy shifts (Rinker tive to the polarizability sum (73). and Speth, 1978b).
Rev. Mod. Phys. , VOI. 54, No. I, January 1982 E. Boric and G. A. R inker: Energy levels of muonic atoms mental information to provide bounds on the nuclear An improved analysis for l =0 along the same lines, matrix elements. For the ns state and L+0, we may but which avoids explicit use of the closure approxima- write in analogy to Eq. (72) tion and is convergent as R~~O, has been given by Er- r 3 icson (1981). 2ZQPlR~ (2L +1) AE„,I ——— More detailed calculations have since been carried out. 2 t1 (2L +3)(2L —1) Bernabeau and Jarlskog (1974) used a covariant formula- tion with the full electromagnetic interaction constrained, XR~ ap,t(L) . (81) where possible, by measured structure factors. The muon states were also treated properly, except that the spatial variation of the initial muon wave function was We have approximated the muon wave function by its The result was AE = — 1 meV for the nonrelativistic point-nucleus value at the origin and con- neglected. 3. 2s&&2 state in He. Henley et aL (1976) computed and correct- centrated the transition charge density in Eq. (60) at the nuclear surface with radius R&. ed the closure approximation rather than the main result directly. Such an approach would be particularly useful The dominant multipole for very light nuclei is I. =1. if corrections to the closure approximation were small; Inserting the measured value for He a~~-0.073 fm into however, that turns out not to be the case here, as is seen Eq. (81) gives 10 meV for the 2s~~2 state. As discussed from 5. As a result, the corrections were diAicult following Eq. (74), however, this procedure is not really Fig. to calculate accurately. In addition, the polarizability sum justified for 1 =0. The energy shift diverges as R~ as o. for the model used was too a substantial R&~0 and so is quite sensitive to this parameter. In 2 large by aff'ecting the results (Bernabeau and addition, the L-dependent terms in Eqs. (73) and (74) margin, adversely 1976). Rinker followed show an enhancement of higher multipoles, so that the Jarlskog, 1976; Rinker, (1976) the methods outlined in transition dipole approximation is not necessarily sufficient even if Sec. II.G.2, using po- tentials normalized the measured photoabsorption it dominates the photoabsorption cross section. Finally, by cross sections and .simple semiempirical radial the closure approximation itself greatly limits the accura- o(L,E) form factors. Results for the 2s state were —4.9 meV for cy of such a calculation. Nonrelativistically, this approx- He and —3.1 meV for He, of which 60% and imation amounts to representing the true solutions of Eq. 80%, respectively, arose from dipole excitations. These results (59) by were in agreement with Bernabeau and Jarlskog. In both = — — — gg (r) &gg'(i )G,„(i')l(F~ g F~,g), cases, uncertainties were estimated to be 10 20%. The (r)=0 . entire subject was then re-examined by Friar (1977) with fg general agreement as to the validity of the previously The consequences of this are shown in Fig. 5 for a typi- made approximations. cal perturbation with I =1. It is clear that the result is very poor in just the region where the integrand in (62) is c. Lead large. The other classic simple system which has been the subject of much study is muonic Pb, particularly the low-lying states. Because of its size and high atomic number, nuclear-polarization effects here take on an en- tirely different character than in helium. The penetra- tion of the muon wave function into the nuclear interior substantially increases the importance of monopole exci- LLI tations and invalidates the approximations which have CD M proved useful for very light nuclei or for very high-lying states. Early estimates were made by Cooper and Henley (1953), Lakin and Kohn (1954), Nuding (1957), Greiner (1961), and Greiner and Marschall (1962). All of these calculations depended upon closure or upon explicit con- struction of the sums (55) or (56) rather than solution of Eq. (57), thereby introducing substantial errors in the treatment of the muon perturbations. The first calcula- tions which avoided this problem were carried out by Chen (1970a) and by Skardhamar (1970), both of whom FICx. 5. Wave-function perturbations due to nuclear polariza- solved nonrelativistic versions of Eq. (59) and thereby treated the sum tion for He {Rinker, 1976). 6 is the unperturbed 2s&~& wave over muon excitations with reasonable function {scaled smaller as shown), g is a typical first-order accuracy. Chen actually made two separate calculations. p&q2 perturbation, and A is the perturbation calculated in the In one, he used the random-phase approximation to com- closure approximation {82). pute the excited nuclear state energies and transition po-
Rev. Mod. Phys. , Vol. 54, No. 't, January 1.982 E. Boric and G. A. Rinker: Energy'levels of muonic atoms tentials. In the other, he used closure over the excited justed to reproduce a substantial body of experimental nuclear states and evaluated the resulting non-energy- excitation data. This new calculation, which was essen- weighted sums using shell-model wave functions in a tially similar to Chen's but used relativistic muon harmonic oscillator basis. Skardhamar constructed col- kinematics and a greatly refined nuclear model, gave an lective, phenomenological excited states with macroscop- even smaller value for the ls shift ( —3.9 keV). It should ic transition form factors. perhaps be noted that the earlier calculations were less Attention focused upon the correction for the 1s state, reliable insofar as corrections to the 2p splitting were as this was the largest, and it was hoped that by fitting concerned because important relativistic eQects on the nuclear charge distribution parameters to measured muon wave functions were neglected. A subsequent higher-lying transitions, one could in some sense measure simultaneous fit to both muonic-atom and electron the Is polarization energy shift (Anderson et a/. , 1969). scattering data (Yamazaki et al. , 1979) supported the It was almost immediately found that the data suggested idea that it was the calculated 2p splitting which was at the calculated shifts were too small by as much as fault rather than the 1s energy. However, no appropriate several keV. This seemed remarkable in view of the con- 1 states have been found, and the discrepancy remains fidence and agreement with which the theoretical results unresolved. —— were reported. Chen quoted AE &, —6.0+0.6 keV, while Skardhamar gave —6.8+2.0 keV. Nevertheless, the disagreement persisted in further Ineasurements and analyses (Jenkins et al., 1971; see also Martin et al., From the earliest days, it was recognized that substan- 1973; Ford and Rinker, 1973; Kessler et al., 1975). An tial mixing could occur among the muon levels and those additional attempt was made to calculate the monopole of strongly deformed rotational nuclei. The first calcula- contribution using nuclear Hartree-Fock wave functions, tions of these effects were made by Wilets (1954) and both with and without the muon present (Galonska by Jacobsohn (1954), in which the nuclear ground-state rota- et a/. , 1973; Faessler et al., 1975). Although conceptual- tional band was coupled to the muon 2p levels and diag- ly straightforward, these calculations were technically onalized [see the discussion immediately after Eq. (50)]. difficult and fundamentally incomplete, including only This procedure was used for a number of years to rearrangement rather than true polarization eA'ects analyze the dynamic hyperfine spectra of such muonic (Rinker and Speth, 1978a). Rearrangement effects are atoms. However, Gtted quadrupole moments tended to characteristic of Hartree —Pock, which includes only come out too large a few percent as compared to one-particle —one-hole excitations. Not included are by those obtained through other experiments, and other irre- those terms of order a in the polarization sum in which gularities in the spectra were observed. With this as both muon and nucleus are excited. Nevertheless, these motivation, Chen (1970b) applied the analysis described calculations provided a useful independent verification in Eqs. (53) —(57). He found that his numerical results that the results of Chen and Skardhamar were not wrong could roughly be summarized by a renormalization of by large amounts. In the meantime, peculiarities in the the intrinsic quadrupole moment of such a magnitude as — splittings were noticed in all lead isotopes p3&z pi~2 to bring the various experiments into agreement. This (Ford and Rinker, 1973, 1974). Similar difHculties with work was later generalized by Vogel and Akylas (1977), the 3d5~2 —3d3/2 splittings (Anderson et al., 1969) were and numerous renormalization coefHcients were comput- explained by Shakin and Weiss (1973) as resulting from ed. Rotational model energy spectra and transition mixing with the strong 3 state at 2.6 MeV. This state charge densities, however, remained firmly embedded in was later observed and its isomer shift measured in the the analyses. muonic spectrum of Pb by Shera et al. (1977), with Additional contributions due to nuclear states outside good agreement with the predicted theoretical intensity the rotational band have been considered by other au- (Rinker and Speth, 1978a). Further work by the same thors. Martorell and Scheck (1976) used sum rules to es- group (Hoehn et al., 1980) produced similar results for timate the eA'ects of dipole polarization. Measurements the 2+ state in Pb. It was conjectured (Ford and and more sophisticated calculations have been carried Rinker, 1974) and later emphasized (Rinker and Speth, out by Yamazaki et al. (1978) for isotopes of samarium 1978a) that similar mixing with 1 states could alter the using the general computer code RURP (Rinker, 1979), 2p splitting to the point of invalidating the earlier empir- which allows states of arbitrary multipolarity, energy, ical conclusions about the size of the ls correction (see transition strength, and multipole moment to be used also Abela et al., 1980). (The 2p3~2-2pi~2 and 2p —ls (see Secs. G.l —3), thus removing the rotational model energy di6'erences measure nearly the same radial mo- restrictions. (See also Powers et al. 1979; Missimer and ment of the nuclear charge distribution and thus provide , Simons, 1979; Powers, et al., 1977). a strong internal consistency check. ) It was shown that the data could be fit at least as well by postulating a shift in the 2p splitting as by a shift in the 1s binding energy. e. Transi t/ onal nuclej The claims by Rinker and Speth were coupled with a new calculation of the corrections, using the formalism Between the region of strongly deformed rotating nu- presented here and highly detailed RPA calculations ad- clei (A =150—170) and the heavy spherical nuclei
Rev. Mod. Phys. , Voa. 54, No. I, January 1982 E. Boric and G. A. Rinker: Energy levels of moonie atoms
(A=208} lies a transition region in which nuclei have necessarily enter in a dimensionless combination with r, peculiar shapes and are capable of changing fmm prolate i.e., r/c .Then the dimensionless eigenvalues will depend to oblate with little provocation. An analysis in which in general upon the scaled parameter m, c, so that the simple rotational model is built in is therefore inap- c, =e(m„c) and E=m„e(m„c). As an example, consider propriate, as is an approach based upon a spherical nu- the shift in energy of a given transition between two iso- cleus approximation. For such nuclei it is necessary to topes of the same element, keeping the nuclear radius provide the nuclear spectrum as known, preferably, from fixed. The change in reduced mass is experiment. Calculations and experiments have been car- P1 ried out both with and without the corrections of Eq. Sm, = AM~, (85) (54). The primary limitation has been that independent (m +Mdiv ) in- experimental information concerning the spectra is so that the change in transition energy is complete, while theoretical predictions are inaccurate or nonexistent. The result is that, in general, too many dE dE DE=6m, =Am„E+m„c (86) model assumptions are needed to analyze the muonic dpi d m„c atom data by itself, although in certain specific cases the Since requirements of internal consistency have pointed out dE de. some real discrepancies. A considerable amount of work 2 (87) dc " is being done at the present time (see, for example, d(m„c) Hoehn et al., 1977; Hoehn et al., 1981},but further work we obtain is needed, particularly in independent (e.g., inelastic elec- Am„ tron scattering) measurements of nuclear spectra and ex- E+c (88) citation strengths. ~r dc Note that E is negative and dE/dc is positive in realistic H. Translational nuclear motion cases, so that the finite-size effect tends to reduce the iso- tope mass shift from its point-nucleus value.
Nonrelativistic corrections 2. Relativistic corrections The nonrelativistic two-body problem can always be Relativistically, the center-of-mass motion cannot be written in terms of relative and center-of-mass coordi- factored out rigorously due to the difFerence in time scale nates such that, in the absence of external fields, one of associated with two particles moving at diFerent, the objects is regarded as fixed in space (infinitely mas- nonzero velocities (see, e. Breit, 1937). For example, sive}, while the other acquires a reduced mass g., one might imagine a Dirac Hamiltonian for two interact- ing fermions as
For two point particles, the binding energies are simply t 1 pl +Plm I +~2 p2+P2m2+ V( 1 r2) (89) proportional to the mass of the moving particle, so that In the Dirac theory, however, and it is not the effect of a less than infinitely massive nucleus is sim- Hg=iog/Bt, clear what to use for t. The correct wave equation for ply to scale the muon binding energies by a factor the is the much more Bethe- Mlv/(m +M&). If either particle has finite size, howev- problem complicated er, a rescaling of the lengths involved must be included Salpeter equation, which is notoriously diNcult to solve in for our the nuclear in addition. (It should perhaps be noted that both of practice. Since, problem, mass is these eAects are included automatically when the much greater than the muon mass, it is possible to factor out the nuclear freedom Schrodinger equation is solved numerically using the degrees of systematically from the wave function and define an Dirac equa- muon-reduced mass. ) To see how this length rescaling approximate arises, consider the radial Schrodinger equation for a par- tion for the muon, evaluating the mass corrections in ticle of reduced mass m„written in terms of the dimen- powers of m/M&. This we shall do in the scattering ap- sionless variable x =m„r, proximation rather than through the Bethe-Salpeter equation, following the approach of Grotch and Yenme d 1(1+1) (1969) and the analyses of Friar and Negele (1973b) and -P(x)+ v (x)+ P(x) =0 . dX 2X2 Barrett et al. (1973). Using a different approach, Gross (1969) has obtained essentially the same result to order (84) m/Mlv. See also Fricke (1973). We First write down the Feynman amplitude for In the above, P(x) is the scaled wave function, and v(x) lowest-order fermion-boson scattering (see Fig. 6 for and e are the scaled potential and energy V(x/m„)/m„ kinematical definitions) and E/m„, respectively. The eigenvalues of (84) are pure numbers, in terms of which dimensioned eigenvalues for — F(q2) p4+p2 1M. any given problem are obviously E =m„c. However, S/; = Ze u(p3)y"u(pi ) &2, (90) qo —q2+iE (4E2E4)'~ suppose V(r) contains a length scale c, which must 2, Rev. Mod. Phys. , Vol. 54, No. 1, January 1982 E. Boric and G. A. Rinker: Energy levels of muonic atoms
and qo~O as Mz~oo. Adopting this gauge, we note the kinematical relations p3=pi+q E32 ——p3+fP22 2 =Ei2 ——PI+tPl2 2 (96) which give
2 2 P3 —pi=q (p3+pi)=0. Thus any term proportional to q (p, +p3) may be added to V,~ without changing the first-order scattering ampli- tude. In particular, we can add inside the brackets of Eq. (94) the term a. q (pi+p3) q (98) P q2 2M&
N This term will be helpful later on, as it makes V,a expli- FIG. 6. Kinematics for the recoil correction. citly dependent only upon the transverse muon current. Thus we have for Vdr(q)
Ze F(q ) a.q (Pi+P3) Vdr(q) = — 1+ a- q q2 2M~ — — — (99) where q =p2 p4 —p3 p ~ is the momentum transferred to the muon and ) is the nuclear form factor. The F(q It should be emphasized that the additional term propor- electromagnetic current density of the nucleus is normal- tional to q. does not vanish off shell, when ized such that (pi+p3) Ei+E3 or E +p +m . Thus iteration of V,fr(q) does not give the correct second-order scattering. Further- 'q p4 I J& lp2~ inF p4+p2 p. 2 4 more, it leads to differences when evaluated in bound- state perturbation theory. This illustrates a basic ambi- (91) guity of the scattering approximation. One may make ln more detail, Eq. (90) is certain definitions in a given order (in this case to elim- inate unwanted terms), but these definitions must be kept —Z F(q ) track of and evaluated in higher order if necessary. Ac- f~ (4E E )in counting for these makes the mass corrections some of the most confusing corrections to evaluate. Nevertheless, X [Xo(E2+E4) 1' (P2—+P4) lu (pi ) . (92) it can be shown (Grotch and Yennie, 1969) that Eq. (99) gives the total mass correction to order p/M&. For fur- If we regard the nucleus as a slowly moving object, we ther discussion of this point, see the review of Erickson have, to a good approximation, (1977). We now need to evaluate Eq. (99) for a bound state in E2=M~+p, /2M~ configuration space. The first manipulation is to move E4—M~+p4/2M~ . (93) all momenta pi to the right and all p3 to the left, so that when evaluated as u+(p3)Vdr(q)u (pi), they can be re- Reverting to the notation y=yoa, using u+(p)=u(p)yo, placed by the operator p. Some algebra gives and evaluating Eq. (92) to order 1/M& in the CM sys- tem —— —— F(q ) F(q) a p (p2 pi, p4 — p3), we have V,a(q) = —Ze ' q2 2M~ —— Sf; — u+(p3) 2 F(q ) 1+ u(pi) . a-p, p,z F(q ) q (94) (100) This is of the form u+(p3) V,a-u (pi). &s V,a~ Ze F(q )/q, which is a—static potential if writ- The first term is the static Coulomb potential, and the ten in the Coulomb gauge q"=(O, q). We are motivated second comes from the original term a.(pi+p3). The to use the Coulomb gauge because third arises from the transverse current projection. We Fourier transform q to configuration space and re- 1 1 —1 9'o tain p, which can be evaluated between muon spinors. 2 2 2 2 2 (95) 9'o —q This gives
Rev. Mod. Phys. , Vol. 54, No. 1, January 1982 E. Boric and G. A. Rinker: Energy levels of muonic atoms 85
— may be used to rewrite h (r) in the more compact form V,it= V(r)+ I V(r), a pI [a.p, [p', 1V(r)]] 2MN 2MN h (r) = —V (r) — V'(r) dr~ r~ V(r&) . (112) 1 2 f = V(r)+ [EoV(r) —Pm V(r) MN Next, we show that using the reduced mass m„=mM& / V'(— 1V'( r) V'(r)], (101) r)+ (m +M~) =m (1 —m /M~) cancels most of the remain- where we have anticipated expectation values and written ing perturbation. Define Hog=Eog~ Ho=a P+Pm+ V(r), (102) H„itj= [a .p+ pm„+ V(r)]Q=E„Q, (113) ——— so that so that E„Eo p(m„—m)= —& p)m IM~. Evaluating a.pg= [Eo Pm ——V(r)]Q, (103) the total energy given by Eq. (107) then yields 2 and where E = E„+ &p)+ (E,—m') MN N p(r~) V(r)= —Za d rz (104) I &pv(r))+ &h(r)) . (114) and N N The third and fourth terms may be manipulated to give 8'(r)= d r& p(r (105) 2 I Bo Bo &"'"') (115) Putting V,~ into a two-body Hamiltonian N N H =a.p+pm +p /2M~+ V,ff, (106) where Bo —m —Eo, and we have used the identities &P)Eo =m &PV(r) and m =m in which we have treated the nucleus nonrelativistically + ) &P) Bo+ &Pi(r—) ). The first term in (115) cancels that arising from use of and used pN ——p because we are in the center-of-mass the reduced mass in H„. The second is state independent frame, we get and may thus be discarded, since we are interested only in computing transition energies. The final result for the H =Ho+ (Eo —m ) — PV(r)+ h (r), 2MN MN 2MN energy shift beyond that due to using the reduced mass is thus (107} where — — Bo 1 ~E =E E,= + & h (r)+2BoPi (r) ) . h (r) =2W'(r) V'(r) —V (r), (108) 2MN 2M„ (116) and we have used &p ) = & [Eo—V(r)] —m ). The ' terms in MN will be treated as first-order perturbations. The bracketed terms vanish for a point nucleus. For a We first note that the last term is diagonal with finite nucleus, they behave as —(Za) &r~)I6M&r out- respect to the muon spinors. It may be written in the side the nuclear charge distribution and thus dominate form (Friar and Negele, 1973b) the correction to this order for tests of QED in very light muonic atoms. 1 1 2 4 h(r) = — P, (.)+ P, (r)Q, (r) The origin of the term —Bo/2M& is essentially 2MN 2MN 3T kinematic. It may be derived alternatively using the re- 1 lativistic generalization of the reduced mass (Todorov, + Q2(r)Q4(r) (109) 3p' 4 1973; Pilkuhn, 1979). The relativistic recoil correction derived above still where r does not contain all computationally significant terms. Q„(r)=4m Za dr~ r~p(r~), 0 Salpeter (1952) originally derived additional corrections by using the Bethe-Salpeter equation; the presence of the P„(r)=4mZa dr~ r~p(r~) . (110) I additional terms is associated with the use of hole theory We see from Eqs. (109) and (110) that h(r) has a long- rather than single-particle theory. The contributions are range part, behaving as Z a &r~)/3r outside the nu- of three types: corrections to the exchange of two cleus. This is evidently a retardation eAect, as it depends Coulomb photons, recoil with transfer of one transverse upon the nuclear size. The following identities photon, and processes with two transverse photons. The Pi(r) = rV'(r) —V(r), Qi—(r) =r V'(r), full calculation has been carried out only for point nuclei r and, for s states, only for n =2. For details see Fulton Q4(r)=r V'(r) 2r V(r)+6 dr~r~—v(r&) — 0 and Martin (1954) or Grotch and Yennie (1969). The I result is
2 1 —5io ) 4(Za) m m (Za) m i 2 —i 7 hE= 2 ln + I —,in(za} —„—a„] (117) 3~n 3 MN 25En
Rev. Mod. Phys. , Vol. 54, No. 1, January 1982 E. BorIe and G. A. Rinker: Energy leve)s of muonIc atoms
with with atomic number Z —1. This approximation is thus known "Z-1 " n —1 as the approximation. a„=——ln —+1+ g —+ (118) A more sophisticated calculation which includes rear- 2 n '=1 & 2n rangement effects (Vogel, 1973b; Fricke, 1969a; Fricke and Telegdi, 1975) treats the muon-electron system self- It is easily seen that AE is of order Zm/Mz times the consistently [compare to Faessler et al. (1975)]. One uses self-energy correction (171). A calculation for the case of a relativistic Hartree-Fock-Slater program and takes into muonic atoms, including the effects of finite nuc1ear size, account the interaction between the muon and the elec- does not exist. The same diAiculties that arise in the cal- trons when computing the electron density. In this case culation of the self-energy correction (Sec. III.B) will the electron density depends upon the muonic quantum play a role in the calculation of these recoil corrections. numbers n,, l, and j. These rearrangement eAects were estimated by Vogel (1973b) and Fricke and Telegdi I. Electron screening (1975). For states with n ) 8 in heavy elements these ef- fects are non-negligible. In the states of interest for tests Particularly in the case of heavy elements, not all of of @ED the screening correction is reduced slightly with the atomic electrons are ejected by Auger transitions dur- respect to the Z-1 approximation. ing the muonic cascade. In addition, unoccupied elec- A very simplified treatment (Tauscher et al. , 1978), tron states can be refilled during the cascade. The which computes p, (r, ) using unperturbed relativistic remaining electrons interact with the muon and thus wave functions for the electrons in Z-I approximation have an eAect on the binding energy. In principle, this for A" electrons, Z-3 approximation for I. electrons, and eAect can be formulated in a manner entirely analogous so on, gives a screening correction that, for the 5g 4f- to the muon-nucleus interaction. In practice, the static transitions in lead, and other transitions useful in QED monopole effect is treated in the same way, but polariza- tests, is nearly identical with the results of self-consistent tion efFects are treated as rearrangement effects in the calculations, provided similar assumptions about the Hartree-Fock approximation. Justification for such a electron populations are made. A polarization correction separation and treatment is similar to that for the nu- is estimated as in the work of Ericson and Hiifner (1972). clear polarization: polarization effects are small because This provides a crude estimate of rearrangement correc- the frequency of muon motion is substantially diFerent tions (which of course are automatically included in a from that of electron (nucleon) motion. In this case, self-consistent calculation). One can expect that the sim- however, it is the electrons which move much faster, plified approach mould break down for transitions in- rather than the muon. The limitation to rearrangement volving higher principal quantum numbers. eAects is probably less significant here than for the nu- An important source of uncertainty in the calculation clear polarization due to the decreased importance of ex- of screening corrections is our lack of knowledge as to citation of the relatively heavy muon. the number of electrons present during the muonic cas- The predominant effect is calculated using the addi- cade. For heavy elements, such as lead, o~e finds from tional static potential V, (r) generated by the average energy conservation (Fricke and Telegdi, 1975; Vogel electron density in- p, (r, ). Traditionally, one regards the et ah. , 1977; Vogel, 1973a; see also Vogel, Winther, and fluence of the electrons as being smallest for the inner or- Akylas, 1977) that at least 15 electrons must remain bits (this is true in for any case transition energies), and when the muon has reached a state with n =8. The E one therefore subtracts the effec- constant V, (0) from the electrons can be ejected by an Auger transition (with tive screening potential. We then have An =1) only when n &7. For such values of n, radiative 4~a r transitions dominate. The K electrons are responsible for V, (r)= dr, p, (r, )(r, rr, ), — r over 80%%uo of the effective electron density [i.e., contribu- tion to p, (r, ) for which r is less than the appropriate where ) is the spherically averaged electron density. p, (r, muonic Bohr radius] for all n &14. At least for heavy It is normalized such that elements it is thus extremely probable that all ten K and OO L electrons are present during radiative transitions be- 4m. dr, r,p, (r, ) =number of electrons . (120) tween states with n (8. These electrons are responsible The electron density is usually calculated using a for more than 95% of the screening correction. A simi- Hartree-Pock (Mann and Rinker, 1975; von Egidy and lar conclusion was reached by Bovet et al. (1980) in con- Desclaux, 1978) or Hartree-Fock-Slater approach (Vogel, nection with a study of pionic x rays. Recent experimen- 1973a). The electron screening correction is either calcu- tal results on the electronic L x-ray energies in heavy lated as a first-order perturbation or taken to be the muonic atoms (Schneuwly and Vogel, 1980) also indicate diAerence in binding energies computed with and that the inner electronic shells are almost instantaneously without the inclusion of V, (r). Since the muon is usually refilled during the muonic cascade. found much closer to the nucleus than to the electrons These estimates have been experimentally tested by (see Fig. 1), one may assume, as a first approximation, measuring rnuonic x rays corresponding to transitions be- that it screens one unit of the nuclear charge. The elec- tween states of higher principal quantum number n; their tronic orbits are then simply the states of a normal atom energies are most sensitive to electron screening (Vogel
Rev. Mod. Phys. , Vol. 54, No. 1, January 1982 E. Boric and G. A. Rinker: Energy levels of muonic atoms 87
et al. , 1977; Vuilleumier et al., 1976). Some typical resu- A. Vacuum polarization lts for Rh, Hg, and Pb are summarized in Table I. The good agreement between theory and experiment for these 1. Order eZO. cases confirms that we understand the electron screening correction to a level of a few percent of the correction, at least for the transitions under discussion. a. e e pairs In the case of lighter elements (Z &20) the situation is not so clear. The rates for refilling of electron vacancies The most important QED effect is the virtual produc- are uncertain, and as a result very little is known about tion and annihilation of a single e+e pair [Fig. 7(b)]. the electron population. Preliminary results (Ruckstuhl It has as a consequence an effective interaction of order et al., 1979) indicate that the electron screening shift of aZa, which is usually called the Uehling or Serber- the 4f 3d tran-sitions in muonic Si is about half of that Uehling potential (Uehling, 1935; Serber, 1935). This in- expected if all Z-1 electrons were present, so that one K teraction describes the most important modification of electron is probably absent. Coulomb's law. Numerically it is so important that one cannot treat this eAect using perturbation theory, but III. QUANTUM ELECTRODYNAMIC must add the Uehling potential to the nuclear electrostat- (OED) CORRECTIONS ic potential before solving the Dirac equation in order to obtain sufficient accuracy. Like most other QED correc- Additional contributions to the energy levels of muon- tions, the Uehling potential is most conveniently derived ic atoms come about as a result of the interaction be- using the scattering approximation. The reason for this tween the lepton field and the quantized electromagnetic is that Feynman diagrams deliver a prescription for com- field. These include radiative corrections, due to the puting scattering amplitudes in momentum space, while emission and/or absorption of real or virtual photons, the computation of atomic energy levels is usually done and vacuum polarization. As a result of the radiative in configuration space using a static potential. The corrections, the muon acquires form factors and no scattering approximation provides a useful connection be- longer behaves precisely as a point Dirac particle (the tween the two pictures. One writes down the scattering anomalous magnetic moment is one experimental conse- amplitude corresponding to the diagrams under con- quence). Vacuum polarization results in a modification sideration, and tries to find a potential which reproduces of the photon propagator due to virtual pair production this scattering amplitude in Born approximation. (When and reannihilation; this leads to a modification of it exists, the Fourier transform of the scattering ampli- Coulomb's law at distances small compared to the tude satisfies this requirement). This potential is then electron's Compton wavelength and thus to numerically used to compute the energy-level shift. important shifts of muonic energy levels. See Sec. III.D We recall from the discussion of the recoil correction for a detailed discussion of experimental tests; here we that the amplitude for Coulomb scattering of a lepton by discuss calculational methods. a heavy nucleus is given by
TABLE I. Experimental transition energies E,„p, calculated transition energies E,h, screening correction E„„all in eV.
Element Transition Eexp Eth Eth Eexp Escr
'03Rh 45 8h-5g 138 966{34) 138968(3) 2(34) —189(2) 7h-5g 111786(35) 111795(3) 9(35) —98(2) 6g-4f 198 697(27) 198708(3) 11(27) 66(1) Sg 129 010(33) 129015(3) 5(33) 20(1) — 80 8i-6h4f-219609(32) 219633(5) 24(33) 406 6h l I /2-Sg9/2 221 857(28) 221 876(4) 19(29) —108{2) 6h9/2 Sg7/2 223 418(28) 223 433(4) 15{29) —107(2) 7h»/2-Sg9/2 354 614(34) 354 661(5) 47{35) —318 208 82 pbb 6h ) )/2-Sg9/2 233 199(12) 233 196(5) 3(13) —115 7h» /2-Sg9/2 372 724( 16) 372 714(5) —10(17) —348 7h9/2 Sg7/2 374 842( 36) 374 828(5) —14(36) —348
9l I 3/2 6h ) I /2 292 324(27) 292 304(5) —20(27) —774 7& l3/2 6h»/2 140 138(13) 140 148(5) 10(14) —153
'Vuilleumier et al. , 1976. "Vogel et a/. , 1977.
Rev. Mod. Phys. , Vol. 54, No. I, January 1982 88 E. Boric and G. A. Rinker: Energy levels of muonic atoms
We then have II(q ) — F(q) Vvpi(q) = 2 eAo(q) = 4~Za, U, (q) . g (125) (a) (b) e* For numerical applications, it is (perhaps unfortunate- ly) more convenient to work in configuration space. The relatively simple expression (125) for the Uehling poten- tial becomes a rather complicated convolution integral, which is tedious to compute. The rather considerable (c) literature which has appeared on the subject of the + 0 ~ ~ evaluation of vacuum polarization has been devoted al- FKJ. 7. Decomposition of the vacuum-polarization correction. most exclusively to improved numerical methods which permit the efficient evaluation of this potential (Fullerton and Rinker, 1976; Klarsfeld, 1977b; Huang, 1976; Du- Sf; —u(p')y u (p) V,ir(q}(2m) 5 (p' —p —q) bler, 1978). From Eqs. (122) and (125) we obtain for the Uehling =u+(p')u (p)[ —eAo(q)](2ir) 5 (p' —p —q) . potential (121) . — Za 3 3 tq (~ ~&) U2 (q) Vvpi(r) = — d r~ ) d e The quantity eAo(q) defined in Eq. (121) can be related 2~2 p(re q 2 to the scattering potential by means of the relation (126) F(q)—2vr5(E' eAo(q) = 4~Za E)— Using Eq. (124}for Uz(q) and q eiq r 2~2 —2m rz = r V(r)e 'q'2n5(E' —E) . (122) (127) Jd 4~ 2Z2
We shall now apply the above result to the derivation we obtain of the Uehling potential. As is well known, the effect of 2aZa, P(rtv ) vacuum polarization is best described as a modification d r — ) ~vp& =- I 7~ — Xi(2m, r~ I of the photon propagator (Bjorken and Drell, 1964), as is Ir r~ I illustrated in Fig. 8, so that 2QZQ drN r — rxp(rlv )[X2(2m. I tv I q ~q +q II(q )q +. . . 3m, r order-a — effect can be described an X2(2m, I This roughly as r+r~ I )], strengthening of the photon propagator, a description which is sufhcient to estimate its quantitative importance (128) in many practical cases. To leading order in the fine- where the functions X„are defined by structure constant a, we have (after renormalization) 2 ( 1)1/2 1 — (Jauch and Rohrlich, 1955; Akhiezer and Berestetskii, X„(x)= dz ' XZ (129) 1965) f 2z2 (Several other notations for these functions appear in the II(q ) 2a " 1 1 (z —1)' q dZ z 2+ literature. ) qi 3n' 4m, i z~ 2z z +q /4m, The direct numerical evaluation of X2 from the in- tegral representation requires too much computer time [ —, —(3—5')(1 —P5)]= Up(q) (124) 3m for general use. A series expansion which is valid for r (m, '=386 fm has been given by McKinley (1969b). with 5=cothg, sinh P =q /4m, . This was used Vuilleumier et al. (1978) and Engfer From this we immediately obtain the corresponding by by et al. (1974) for the computation of the vacuum polariza- potential Vvpi(q) in momentum space. One simply re- tion (VP) corrections which appear in that work. Anoth- places q by q II(q ) in Eq. (121), where q =(o,q). er type of expansion in polynomials and exponential in- tegrals was given by McKee (1968) and later extended to higher order (Rinker and Wilets, 1975). Both series are of comparable accuracy. Rational approximations, 'XJ iJ~ + which have been optimized in the Chebychev sense for minimum computation time consistent with a given FICi. 8. Vacuum-polarization insertion in the photon propaga- upper bound for the (weighted) error, have been given by tor. Fullerton and Rinker (1976). Other approximations were
Rev. Mod. Phys. , Vol. 54, No. 'l, January 1982 E. Boric and G. A. Rinker: Energy levels of muonic atoms
given by Huang (1976) and Dubler (1978). In addition, d. Effect on the recoil correctjon Klarsfeld (1977b) has exploited the fact that the func- tions X„(z) can be expressed as linear combinations of the We observe that vacuum polarization also has an eAect modified Bessel functions (Abramowitz and Stegun, on the relativistic recoil correction discussed in Sec. II.H. 1965) Ko(z), Ki(z), and To the extent that the Uehling potential may be regarded as static (e.g. the virtual electron-positron pairs respond Ki, (z) = dx Ko(x) dx, Kii(0) =ri /2 . (130) , Z almost instantaneously to the motion of the nucleus), this These functions are frequently available in standard com- effect may be calculated from Eq. (116), adding the Uehl- puter program libraries. ing potential to the electrostatic potential due to the nu™ A useful approximation which is valid for distances clear charge distribution. Vacuum polarization modifies large compared to the nuclear radius is given by Fuller- Bo, Ii (r), and I'{r) appearing in Eq. (116), providing the ton and Rinker (1976; see also Blomqvist, 1972), usual order-o, strengthening of the photon propagator. This results in an increase in the recoil correction of the 2cxZcx 2 2 2 ~vpl(&)= — i{2m r)+ —,m, ( rx )g i(2m, r) order of one percent. 3&T P . . +—„m, (r&)X 3(2m, r)+ ], (131) e. Hadronic vacuum polarizai ton
where the radial moments of the nuclear charge distribu- The contribution of virtual hadronic states (Fig. 9) is tion are given by obtained from the total cross section for e+e ~ ha- drons by observing that (p~ ) = Jd p~ T~p(r'~) (132) ~q~ + hd —UH(q dt 2 4~' q )=,4m a t+ ~q~' b. p p pairs (134) Substitution in Eq. (125) gives The VP correction due to a virtual p+p pair can be treated exactly as described above, with the replacement F(q ) 2 VHvp(q)= —4mZa UH(q ) . (135) of the electron mass by the muon mass. Because the muon mass is much larger, the e6ect is numerically As was also observed by Gerdt et al. (1978), it is a good much smaller, and for practical calculations, the q =0 limit is usually taken in Eq. (124) before transforming to approximation to take configuration space. In this limit, the expression is UH(q )= (136) much simpler; Eqs. (124) and (126) become 3'7T
q —4aZa with U2(q)=,2 ', I'vpi(~) 2 p(~) . (133) 15m' pyg 15m 3 oo The diAerence between this and mH dro ~(r)/r . (137) the expectation value of 4am 4~' h the exact Uehling potential is only 4 eV for the 1s state =, in lead and is thus usually ignored. A recent calculation of mH by Boric (1981) is in fair agreement with that of Gerdt et al. (1978) but uses a better parametrization of the cross section for e+e c. Effect on higher nuclear multipoles ~hadrons, particularly as regards the continuum contribution. Boric (1981) also verified that the approxi- For nuclei which have a Inagnetic moment or an elec- mation (136) is valid by calculating the corrections to the tric quadrupole moment, there is a corresponding mag- binding energies of a number of muonic atoms without netic or quadrupole component of the vacuum- making use of it and obtaining agreement with results polarization potential. For the case of the quadrupole component, this can be obtained easily from Eq. (126) or from (128) if p(r~) is taken to be not spherically sym- metric. The magnetic component is obtained analogous- ly to (125) in momentum space by multiplying eA(q), the Fourier transform of the vector potential A in (1) and (2), by II(q )/q . The properties of the quadrupole com- ponent have been discussed by Pearson (1963), McKee (1968), and McKinley (1969b). The effect of the quadru- pole Vp is to increase the spread among the hyperfine states by a few tenths of a percent. The eA'ect is just FIG. 9. Hadronic vacuum-polarization correction of order comparable to experimental uncertainties. a(Za).
Rev. Mod. Phys. , Vol. 54, No. 1, January 1982 E. Boric and G. A. Rinker: Energy levels of rnuonic atoms calculated with this approximation. She found mH 0.23 m . [Gerdt et al. (1978) have mH —0.25 m ]. We observe that Eq. (136) is very similar in form to px (133). One might therefore expect that the contribution of hadronic vacuum polarization can be very simply ob- tained from that for muonic vacuum polarization by 5m ~+HvP — 2 ~EPVP ~0.666EPVP (138) mH Boric's numerical results agree with this simple estimate to within 0.1 eV. These results are not consistent with those of Sundaresan and Watson (1975b); however, we FIG. 10. Vacuum-polarization corrections of order n (Za). are unable to give a reason for the discrepancy. in the photon propagator (Fig. 10). These diagrams cor- 2. Order o. Zn respond to an interaction of order a Zn. Their contribu- tion can be evaluated in momentum space exactly as in the derivation of the Uehling potential described above, a. e e pairs with the result — F(q) The Kallen-Sabry correction (VP2) (Kallen and Sabry, Vvp2(q) = 4irZa z U4(q) (139) 1955) corresponds to diagrams in which a virtual photon appears in the VP loop ("cracked-egg" diagrams) and to where (Kallen and Sabry, 1955; Barbieri and Remiddi, the "double-bubble" diagram containing two e+e pairs 1973; Boric, 1975a)
— —, —— — — — — U4(q) = U2(q) (a/m) ( „ti (5(5 36 )/8) lnS+ —, ln S[(33+225 75 )/24 5(3—52)] —5(1—8 /3) IL2(O ) —L2(O)+lnOln[(1 —8 )(1+S)]J—[1—(1—8 ) /4]
X IL3(1)+L3(O ) —2L3(8)—4lnO[L2(8 ) —Lq(S)]/3
—1il O~ ln [( 1 —0" )( 1 + 0" ) ]/3 j ) (140) t Here 0=exp( —2$), and with
dx 3x —1 ln8x (x —1) L2(O) = — ln(1 —x) x coshh ix- (143) I x x (x —1) (x —1)' dx L3(O) = I Lz(x) (141) The integral is equal to H/4 —81n 2, so that
ln —— 2 2 (144) are Spence functions (Grobner and Hofreiter, 1966). r~co 7 A useful expression for Vvp2(r) was first given by Blomqvist (1972), in terms of an integral representation and as a power series in m, r. Other calculations were made by Sundaresan and Watson, 1972. Numerical values for large radii have been given by Vogel (1974). b. Mixed p-e vacuum polarization Chebychev fits to these values and to the series of Blomqvist have been given Fullerton and Rinker by The mixed p. —e vacuum polarization (Fig. 11) is cal- (1976) and Fullerton (1981). These fits are more effi- by culated in momentum space analogously to the Uehling cient to evaluate numerically but are no more accurate and Kallen —Sabry corrections. From Eqs. (125) and than the original representations. More recently, (133) we find Chlouber and Samuel (1978) and Huang (1976) have given expansions useful in the computation of Vvp2(r). IIp(q ) II, (q ) a V„,(q) =2 ", ', e~o(q) Asymptotically, we have q q
—2m~r a F(q ) Zcx 0! e 4mZa U2(q), (145) Vvp2(r) ~— 7T q 15m where U2(q) is defined in Eq. (125), and the approxima- tion '~ q ~&I is made. The contribution of such terms X[I dx f(x)+O(m, r) ], (142) is very small.
Rev. Mod. Phys. , Vol. 54, No. 1, January 1982 E. Boric and G. A. Rinker: Energy levels of muonic atoms
positron charge induced in the vacuum = — ' — 'j )o«) I (146) I:X A«) I g I @E(r) I 2 OC UQ
where the QE(r) are the electron wave functions of ener- gy E calculated in the applied external electric potential FIG. 11. Mixed p-e vacuum-polarization correction of order V(r) generated by the nucleus. (Note that in this section, ~~(Z~). unlabeled coordinates refer to polarization electrons. ) The terminology "oc" and "un" mean occupied and unoccupied electron states, respectively. Equation (146) 3. Orders ct{Zn}",ri = 3, 5, 7. . . is charge-conjugation invariant and satisfies the physical requirement that addition or removal of an electron For heavy elements, modifications to the free-electron changes the total charge of the system by one unit. It propagator appearing in the calculation of the Uehling may be written in other (equivalent) ways which amount e6'ect (Sec. III.A. 1) become important. These modifica- only to relabeling of the particle states involved. One tions be as Coulomb may regarded corrections to the usually takes the Dirac sea (E & —m, ) to be occupied electron propagators in a generalized sense (e.g., correc- and the remaining states to be unoccupied. For normal tions due to multiple interactions with a not-necessarily- atoms, this results in a vacuum with zero net charge. pointlike electrostatic potential). As a result, one must One may alternatively define the vacuum to have other deal with vacuum polarization eQects which are non- charge states. For example, treating certain bound atom- linear in the nuclear charge Z. The dominant diagrams (" ic states as occupied includes electron screening effects of this type Medusa" diagrams) are shown in Fig. 7. within the same framework. As another example, for Corresponding diagrams with an even number of nuclear very strong fields (Za~ 1 in the point-nucleus approxi- vertices vanish due to charge-conjugation in variance mation), bound electron states leave the regime of (Furry's theorem). The diagram with a single nuclear discrete energies ( —m, &E &m, ) and enter the negative- vertex (Fig. 7b) represents the previously discussed Uehl- energy continuum, yielding a vacuum with nonzero net re- ing eKect. The higher-order diagrams are in principle charge even if only those states with E & —m, are occu- duced only by successive factors (Za), which is not pied. Such situations have elicited substantial interest in necessarily a small parameter; hence it is necessary to their own right (Pieper and Greiner, 1969; Rein, 1969; more perform a complete calculation. Popov, 1971; Fulcher and Klein, 1973; Rafelski et al., A straightforward application of the techniques of 1974a, 1974b) but will not be discussed here further, as Feynman graphs quickly encounters formidable compu- they have no present practical relevance to muonic tational diAiculties in higher orders. In an effort to cir- atoms. cumvent these dif5culties, all successful calculations to Equation (146) is neither convergent nor manifestly date have used the static bound-interaction picture, in gauge invariant as it stands. Furthermore, it contains which electron-positron propagators are computed in the the linear (Uehling) contribution, which has already been external static nuclear field (Fig. 7a) and thus effectively evaluated and must be removed if the higher-order effects sum all powers of Za. In this picture, one computes the are to be identified. The most straightforward procedure electron-positron charge density induced in the vacuum for regularizing Eq. (146) is due to Pauli and Villars by the nuclear Geld, subtracts the Uehling contribution (1947). This method consists of subtracting from (146) (this is necessary in order to obtain a mathematically an identical expression calculated for a fictitious lepton well-defined induced charge density and take into ac- of arbitrary mass M, and at the end taking the limit count charge renormalization}, and treats the potential M~ ~. Such a procedure is manifestly gauge invariant arising from the resulting charge density as a perturba- and clearly contributes nothing but a renormalization of tion; energy-level shifts are then calculated using lowest- the induced charge, as the range of vacuum-polarization order perturbation theory in the usual manner. The effects due to a lepton of mass M is limited to r &M price paid for this formal simplification is that one must This subtraction reduces the nominal quadratic diver- deal with exact Coulomb propagators, which are notori- gence of Eq. (146) to the well-known logarithmic diver- ously diAicult to work with, either numerically or analyt- gence of the term linear in Z, which is absorbed in ically. charge renormalization. The higher-order terms thus One begins with a formal expression for the electron- regularized are finite and well defined, so long as care is taken to evaluate each corresponding term consistently. An illustration of this method is discussed below. Explicit calculation, however, shows that the (Za) diagram In principle one may solve Eq. (146) for any arbitrary is relatively much smaller than this. For example, the (Za)' V(r). An assumption of spherical symmetry, however, contribution to the Sg-4f transitions in lead (Za=0. 6) is only results in a substantial simplification of the calculation. about 2% of the order-Za contribution. The higher-order con- Such an assumption is not so severe as it might seem. tributions decrease in successive ratios closer to (Za) . The Uehling term, already known for a point source,
Rev. Mod. Phys. , Vol. 54, No. 1, January 1982 E. Boric and G. A. Rinker: Energy Ievets of muonie atoms may be folded over any arbitrary nonspherical nuclear higher-order terms, which are relatively small. Assum- charge distribution. Thus if spherical symmetry is as- ing that V(r) —V(r) is spherically symmetric, Eq. (146) sumed in Eq. (146) and the Uehling term removed, devi- may be rewritten in the notation of Rinker and %'ilets ations from spherical symmetry cause errors only in the (1975) as
4mr —— yc Fz— — — 2 ic (147) p(r)= g2 ( ~ dE[F z„(r)+G z„(r) „(r) Gz„(r)]+ ~ ( [F„„(r)+G„„(r)], 2 IPtk g bound states
I where the continuum wave functions are normalized to V(r) Th. e complete result of Wichmann and Kroll is quite complicated and will not be reproduced here. It
fE+m, / Gz„(r) ~ sin(pr +6), was 6rst put into computationally convenient form by Blomqvist (1972) in terms of expansions in Za and r. 1/2 The order-(Za)3 potential was evaluated numerically for [E—m, Fz (r) ~ cos(pr +5), large r by Vogel (1974). These results may be expressed efficiently as (Rinker, 1979) and 6 is an appropriate phase shift of the potential V(r) 4 —(Za) The bound-state wave functions are normalized to V3(r)=10 f(m, r) I dr [F„(r)+G„„(r)]=1. (149) V~(r)=0. 340(Za) V3(r) (153) If V(r) is a simple enough function, Eq (14.7) can be V7(r)=0. 176(Za) V3(r), evaluated analytically, the various orders in V (r) where (equivalently, Za) isolated, and the divergences and am- biguities removed. Such a program was 6rst carried out 1.528 —0.489x by Wichmann and Kroll (1956) using the point-nucleus x&1 = F— 1+2.672x+ 1.410x +1.374x approximation V(r) Za/r. or computational pur- f(x) = . (154) poses they rewrote Eq. (147) in terms of the Dirac —0.413+0.367x +0.207x Green's function x)1 ~ ~rI ~E~r2 K~ (r„r,)= (150) z —E Although formally valid for any Za &1, these results z suAer from the internal Qaw that just in the region of in- where wz„(r)=Fz„(r) and mz„(r)=Gz (r). Cauchy's in- terest (large Z) the e6'ects of finite nuclear size play an tegral then yields important role (see Fig. 12). The nonlinearity of the higher-order terms in Z precludes the possiblity of sim- 4irr —— ~ir ple superposition (folding) of the result over the nuclear p(r)= g2 ~ . dzTrIK, „(r,r)] 2 2&l I charge distribution, in contrast to the applicability of such a treatment for the term linear in Z. Thus an accu- + dzTr K, rr . 151 rate treatment requires building the eQects of finite nu- clear size into the calculation from the start. The need The contour c] encloses in the counterclockwise direction for such a treatment became acute in the early 1970s all eigenvalues with E & —m„while c2 encloses in the when precision measurements of high-lying transition en- clockwise direction all those with E ~ —m, . In order to ergies in heavy elements showed systematic discrepancies evaluate Eq. (151), a limiting procedure must be defined from theory. Although it seemed unlikely that such ef- to extend the contours to infinity, as well as appropriate fects could account for the discrepancies then believed to regularization procedures to eliminate the divergences exist, proof could come only from explicit calculations. and ambiguities. Even the sign of the eAect could not be deduced con- With an explicit representation for the Laplace clusively from simple arguments. The various calcula- transform of TrIK,„(r,r)} and a lengthy analysis based tions performed in connection with tests of QED will be primarily upon uniqueness and gauge invariance, Wich- discussed in Sec. III.I3.1. Here we present an approach mann and Kroll showed that the only physical contribu- which is valid for all muonic states. tion to Eq. (151) arises from the integral along the imag- This calculation (Rinker and Wilets, 1973a, 1975) inary energy axis, i.e., evaluated Eq. (147) directly by actually constructing nu- merical electron wave functions in the potentials generat- 4~r —— ~ dz . ~ (152) p(r)= +2 ~ TrIK,„(r,r)] ed realistic nuclear charge distributions. The term g~ I—l oo by 2. linear in V(r) was removed numerically. This approach This useful result was obtained without using the Pauli- also made use of the Pauli-Villars regularization. The Villars prescription. It was later shown by Cxyujiassy gauge invariance of this prescription and the necessity (1974, 1975) to be valid for any spherically symmetric for internal consistency can be seen from the following
Rev. Mod. Phys. , Vol. 54, No. 1, January 1S82 E. Boric and G. A. Rinker: Energy levels of moonie atoms
RN 16a 900'
600
300
IO 20 40
FIG. 12. Vacuum-polarization potentials of order o.(Za)"- for Z =82, calculated both for a reaiistic nuclear charge distribution and in the point-nucleus approximation (Rinker and %'ilets, 1975).
simple argument (Rinker and Wilets, 1975). It can be be unaltered by the addition of any constant term to shown that as M~ m, the Fermi gas model provides the V(r); and for a constant potential, the Fermi gas is the solution to Eq. (147) for all terms nonlinear in Z. Intui- exact result. Alternatively, one may say that the calcula- tively, we expect the Fermi gas subtraction to produce tion must be arranged so that a constant (but nonzero) the proper gauge invariance, as for a static applied elec- potential produces no polarization of the vacuum. In a tric field, gauge invariance means that Eq. (147) should plane-wave basis, the result is
1 [3(E' M')' 'EV(r)+—V'(r)+0(V'(r)M'/E')], (155) E~C0 3~,
where V(r) is the electrostatic potential generated by the nucleus and Z is the maximum plane-wave energy to which the sum (147) is carried. The ordering of limits to be taken is E~ ao and then M~ &x&. The quadratic divergence in the term linear in V(r) is that expected from a non-gauge-invariant calculation. Along with the proper correction of order V(r) to the Fermi gas model, it cancels the corresponding term in Eq. (147) for the physical mass, reducing the divergence to the well-known logarithmic charge renormalization. The contact term V (r) 13m. is the only counter term which survives in higher order to be subtracted from Eq. (147). Another ordering of the limits in Eq. (147) may be used, however. If we instead carry out the limits E~oo and M —+ ao in (147) before summing over ~, we find for any given i~
2 1/2 ' 2 1/2 pM„(r) [E+V(r)]' M'— [E—V(r)]2 —M2- =,4&r r r j V'(r) 1+0 V(r)~0 (156) E~~ 2m' r E2r 2 Q2 M ~ oo
Rev. Mod. Phys. , Vol. 64, No. 1, January 1982 E. Boric and G. A. Rinker: Energy levels of muonic atoms
There is no surviving V (r) term. If, however, we in- RN 4o 9p l6a 25a tegrate (156) over all allowable v —+ 2.5 I Eq. ~ ~ (r I [F.+ V(r)] —M I '~, where + refers to positive/negative energy states, we regain Eq. (155). Thus internal consistency in 2.0 the counting of states and the ordering of limits ir op is crucial, even though the sums are I.5 ~ ~ ~oo, E~ V separately convergent. Figure 13 shows the net charge density induced in the vacuum for I~ =1 and as calculated Rinker and ~ ~ 2, by Wilets for lead. For the high-lying muon states, the 0.5 results of all authors are in satisfactory agreement. For the low-lying states, the only systematic calculations 0, I which have been carried out are by Rinker and Wilets I 0 lo 20 30 40 50 60 70 80 (1975). Their results are plotted in Fig. 14. These may r (fm) be compared to the binding energy shifts of order a(Za) FIG. 13. Vacuum-polarization electron densities of order plotted in 15 (note that the effects have a(Za)"- for both a =1 and 2. Fig. opposite ~ ~ sign). Although internal consistency checks suggest that the numbers in Fig. 14 are accurate in spite of the for- midable numerical diAiculties, the calculations have not and is then been independently repeated. scattering) reabsorbed by the muon; (b) the muon polarizes the vacuum linearly (to order e), the electron-positron pair interacts with the nucleus, and the 4. Order@ (Za) muon interacts again with the polarization field (again to order e). The former interpretation is more useful when The virtual Delbruck effect corresponds to the graphs the methods of Feynman graphs are used to calculate the shown in Fig. 16. It can be interpreted in two ways: (a) shift in binding energy, since the results given in the a virtual photon emitted by the muon is scattered by the rather extensive literature on light-by-light scattering nuclear electrostatic potential (analogous to Delbriick (Karplus and Neumann, 1950; Costantini et al., 1971;
1s Pp 3d-2s 3p 3s 4f 5g
I I I I I I I I I 20.0 30.0 40.0 50.0 60.0 70.0 80.0 90.0 100.0 110.0 120.0
FIG. 14. Order-cx(Zn)" — vacuum-polarization energy shifts (Rinker and filets, 1975).
Rev. Mod. Phys. , Vol. 54, No. 1, January 1982 Bor~e and 6 A R inker: Ener gy levels of muonuonic atoms
2s 3d 3p 3s 4f
6h-
1 1 I I 20.0 30.0 40.0 50.0 60.0 70.0 80 0 90..0 10000.0 110.0 120.0
' FICx. 15. o, vacuum-polarizationvacu - a ion bindingbin energy shifts.
Papatzacop cos and Mork, 1975 c (1976a). (Seeee also Fujimoto,Fu" 1975 Calmet and 0wen,
thi bl d th ce ure origi- Ass hasas already been d' . .a), the 11 d lo d for nonlinear c e ehling proximation is &fr q ntly usefue oor the cal- is reassuring that bo ra iative corrections to atomic ene 1 1 for the energy shtftsi s ofo interest in p g 1Dlb "k A complete calculcu ation of the virtui ual Delbriick eeAecect would involvein using full Coulomb r p ion, one calculates muon an df th 1 t 1 P' ic corresponds to th g ph h d R he full in question and potential which 1 1 io ould probabl be litud' '" B pp f"il'"" F cu ties inn the 6 ' estimate based on approximations h 1 e ivergences, it should be v ver a vacuum u cient. We d s ribeb h re th e calculation of 8orie ol 'nsertion is present si a cuto at lowow energies. The a mationm also invoinvolvesves the use of thee frree muon pro ' r; &s will be justifi d detail below. Ph s
approximation K, gy on propagator , ata 1east for thos are relevant It tururns out thai the correction e ' FIG. 16. Feynman diaiagia rram s contribut'u&ng to thee virtual ie . A calculation Delbriick effect. ons can thusthu be expected to
Rev. Mod.d. Phys. , Vol.o . 54,, No. 1,1 JJanuary 1982 96 E. Boric and G. A. Rinker: Energy levels of rhuonic atoms
give the correct sign and order of magnitude for the correction, and will be suf6cient if the correction is not too large. The energy shift corresponding to the graphs of Fig. (c) 16 is then simply the expectation value of the potential FIG. 18. Vacuum-polarization corrections of order a (Zn) ". obtained from the scattering amplitude. If we denote this potential by AV(q) (in momentum space; i.e., the Fourier transform of the physical potential), then the en- photon line ending on indicates an with ergy shift of the muonic level is given by X interaction the external field. The VP corrections of order a (Za) ", n =1,2, . . . are hE„„= dq q b V(q) f exhibited graphically in Fig. 18. On the right-hand side ~ dr 0(qr)[F„„(r)+G„„(r)] we have inserted Eq. (161) for the muon propagator. In f j contrast to the calculation of the self-energy, in which OO dq qb V(q) infrared-divergent contributions to the various terms can- 2& 2y(1+q /P )y cel each other, the contributions of diagrams 18(a), 18(b), X sin [2@tan '(q /P) (157) and 18(c) are separately infrared convergent since the ], electron mass acts as a natural infrared cutoK The con- where F„„and G„„are the small and large components of tribution of diagram 18(b) has already been calculated the wave function. The second part is obtained by using (with free-electron propagator) in connection with the relativistic point Coulomb wave functions with fourth-order muon Lamb shift (Boric, 1975b) and is —)'~ n =j+1/2 (circular orbits), with y=(n aZ and small; for the 5g 4f transitio-n in lead it results in a /3= 2Zam /n. change of 0.02 eV. Coulomb corrections to the electron We now proceed to justify the use of the scattering ap- propagator are unlikely to change this result significant- proximation for the virtual Delbruck efFect. In the pres- ly. Since diagrams 18(b) and 18(c) are separately infrared ence of an external electromagnetic field, the propagator convergent, the contribution from 18(c) is at least a fac- SF(x,y) of a lepton is defined by (Furry, 1951) tor Za smaller than that from 18(b) (see Erickson and Yennie, 1965), and we have just seen that the contribu- [i y "r)&„—eg(x) —m]SP(x,y) tion from 18b is too small to have a measurable effect on =SF(x,y) [ i y"d» —e—g(y) —m] the energy level. The only contribution which might be =5(x —y) . important would then be that from 18(a), in which the Coulomb propagator for the muon is replaced by the free Its Fourier transform is given by propagator. From the above discussion, this should be a S,(p, q)= d x d ye'&" 'ii'Sp(x, y) (159) very good approximation. f f As a next step, we decompose the electron propagators and free the propagator by according to Eq. (161). Only terms containing an even SF(p) =+ m)— (160) number of vertices on the electron loop contribute ac- cording to Furry's theorem (charge-conjugation invari- Its Fourier transform is a solution when the to Eq. (158) ance). The diagrams in Fig. 19 remain. Figure 19(a) external field vanishes. corresponds to a radiative correction to the mass renor- One can show (Jauch and Rohrlich, 1955) that malization and does not contribute to the binding energy. S,(p, q) = (2ir)'SF(p)&(p —q) The contributions of Figs. 19(b), 19(c), and 19(d) are the — virtual l3elbruck graphs which must be calculated. + SF (p)M p q)SF(q) +S~(p) Our notation as to momenta is defined in Fig. 16. The d'p' d'q' scattering amplitude corresponding to the first is —p' q' graph e p S, p', given (2ir) (2n. ) by X A'e(q' q)S~(q) . (161)— Fquation (161) can be represented graphically, as in Fig. 17, in which a single line represents a free propagator and a double line represents a Coulomb propagator. A
{bj
FIG. 19. Order-o. , u (Zo. ), . . . vacuum-polarization correc-
FIG. 17. Graphical representation of Eq. 4,'161). tions to the binding energy of a muonic atom.
Rev. Mod. Phys. , Vol. 54, No. 1, January 1982 E. Boric and G. A. Rinker: Energy levels of moonie atoms
dk dk dk4 ~ ~ S= u(Pz) ( —icy ) -( —icy&) u(Pi) 4 4 & — — (2ir)~ (2m. ) (2~) (2ir) ~ Qz m+ic.
— — x(2~}'5(p, +k, —p, +k, )5(k, +k, +k, +k, ) z ( 1)( ie) &z(k3)A (k4) k)+lE k2 +l E
Tr y" — . y — — —— — — (162) (2~)~ p m, +i E p +z I,+i E ~ Pz Q3 iiz, +« ~++& inc+« where eAz(q) = —Ze F(q )/q 2m5(qo)5zo (see Sec. III.A. l.a). In Eq. (162) we replace
1 4 1 y" y' 1 1 fd'pT'y" — . „1— — . — — — . y — +iE i~ ~ m, +is + kz m, +icP gz P3 I, +iE ~~, m,
vacuum by G „zs(ki, kz, k3, k4) in order to take into account all three diagrams. Some properties of the fourth-order polarization tensor and references are given in the Appendix. %'e let q =@2—p& and obtain
Z (4ma) 4 1 o F(k3 )F[(q+k3 } ] 2 d kz 5(kz)5(qo+k3) (2m') J{} 2 — (kz+ie)[(q kz) +is] ~ g3 ~ ~ q+gz ~ ~z ~&+m — —— z y"(upi)imG„~(. q kz, kz, kz, q k, ) . (164) (pz —kz)' —I +is
If we neglect terms of relative order m(Za/n) in both numerator and denominator of the muon propagator, we obtain S=i Z ~ d kz 5(qo) d kzF(k&)F[(q+k3) ] ~ z — 2m'' — i@ ~ kz ~ ~ 4n (kz+iE)[(q kz) +iE] ~ q+k3
0 Eg } '2my Goooo+ —,q'yo(Go oo G;ooo}+ (pi+pz) (I+y )+ qk (Gojoo+Gjooo) 'u(pi ) . (165) Xu(pz 2
The arguments of the components of G„~o are, of course, the same as in Eq. (164). The first term of Eq. (165), in- volving 60000, corresponds to the static-muon approximation. This approximation was made at the beginning by Fujimoto (1975) and by Wilets and Rinker (1975). Its validity was verified explicitly by Boric (1976a); the contribution of the other terms corresponding to muon recoil is a factor 50 less than the leading contribution in the case of levels of interest for tests of QED, although these terms could become more important for the Is state in heavy elements. In ad- dition, we set the nuclear form factors equal to unity; as a result, the potential which we shall obtain will riot be a use- ful approximation at short distances (of the order of magnitude of the nuclear radius). This is unimportant for states of interest in tests of QED. For more tightly bound states, our result will still give the correct order of magnitude for this contribution. The only vector quantity remaining after integration over kz and k3 is q. By symmetry, the last term in Eq. (165) then vanishes. We finally obtain
O4Z2 1 d k3 (Go'00 G'000}] (166) i5(qo)u(P2)y u(P1) ~ [2~G0000+ z q g f z — z 22moi' — f z z 4ir k (q kz) « ~ k3 ~ ~ q+k3 A comparison with the amplitude for potential scattering in Born approximation (99), (122) indicates that the desired Delbriick potential is given in momentum space by
' d'k2 d Goooo q'(Go oo —G ooo} iZ'c k3 (167) g~' k,'(q —k, )' Using the identity
1 =p, +i ~5(co' ) (168) CO —EE,
Rev. Mod. Phys. , VoI. 54, No. 1, January 1982 98 E. Boric and G. A. Rinker: Energy ievels of muonic atoms
(I' denotes the principle value integral) and the fact that Goooo is an even function of co'=kqo ——kip(qp =k3p=0), one finds
d k d k d4k q'(Go oo —G ooo)
k31' k21' —k21' 4~m CO I I q+k31' I I q (169)
Retardation effects are thus seen to be unimportant in formed using either Simpson's rule (10 points per axis) or the first term of Eq. (169), in agreement with the con- Gauss' method (12 points per axis). The numerical re- clusions of other authors who have calculated this eAect. sults obtained using these three different methods are In order to calculate EV(q), it is now necessary to in- similar, as can be seen in Table II; the numerical uncer- tegrate over the momenta k2 and k3. The components tainties can be estimated from the spread in the results. of the fourth-order VP tensor are given, as in Papatzacos Since the resulting energy shifts turned out to be small, it and Mork (197S) and Boric (1976a), as integrals over the did not seem to be worth the e6ort to improve on the Feynman parameters x, y, and z. The two k integrations numerical accuracy. One also notes that the contribution require the introduction of four further Feynman param- due to muon motion [from the second term of Eq. (167)] eters. The resulting sevenfold integral had to be per- is negligible for q &m=0. 53S fm '. For transitions of formed numerically. Some details are given by Boric interest in tests of QED, the momentum transfer of in- ' (1979). Since the calculation is not particularly simpli- terest is 0.1 —0.2 fm or less; the approximations used fied by neglecting the electron mass, and since the value in the calculation (neglect of nuclear form factors, nonre- of q=Zarn/n which is relevant for the transitions of in- lativistic motion of the muon) break down for larger terest here is not really much larger than m„ the elec- values of q in any case. tron mass was not neglected. For q && m, =2.6X10 fm ', the potential is given Since the nuclear form factors were set equal to unity approximately by in Eq. (167), the quantity b, V(q)/(Za) is independent of 2 atomic number. This quantity was computed numerical- b, V(q)=- (Za) C, (170) ' ly for several values of q between 10 fm and 1 fm which is the appropriate range of momentum transfer for where C=0.10+0.03 was obtained from a weighted aver- ' a bound muon. Several different integration methods age of values of EV(q) for q =1 fm in Table II. were used, with the results shown in Table II. Many nu- Fujimoto (1975) obtained a somewhat smaller value for merical QED calculations use some version of the adap- C. Deviations from the behavior (170) are noticeable for tive Monte Carlo routine RIWIAD (Lautrup, 1971) for q=0. 1 fm '=25am&, i.e., precisely the range of interest computing multiple integrals; however, this program re- for the calculation of muonic energy levels. For quired more computer time than was available to obtain q « m„b. V(q) approaches a constant. This means that suf6ciently accurate results. Some results obtained in &V(r) & exp( —m, r) for r ~ ~. tests, using three iterations and 128 points per iteration, The behavior of EV(r) is shown (for Z=SO) in Fig. are given in the table. Another method which was used 20. The potential is attractive, leading to an increase in consisted of doing five integrations using an iterated binding energy. At small distances, b, V(r) is approxi- Gaussian method [RCxAUSS; see Lautrup (1971)j, varying mately proportional to r '; this behavior would of the number of iterations along each of the five axes until course be modified if the nuclear form factors had been the results remained stable. The results of the fivefold correctly taken into account. A rough estimate of the ef- integration are estimated to be reliable to about 10% fect can be obtained by multiplying b, V(q) by the nuclear (better for small q). The last two integrations were per- form factor (strictly speaking, this procedure is some-
TABLE II. Effective potential for the virtual Delbruck effect as a function of q; the results of various integration methods are given in order to check the numerical accuracy. The displayed quantity —q 6V(q)/(Za) is dimensionless.
Integration method 5 G + RIWIAD q (fm ') 2 Simpson (3 iterations, 128 intervals)
10-' —1.4X 10-" —0.6X10-" 10-' —1.4X 10-' —0.6X 10-' ~ ~ — — 10 —6.8 X 10-" —0.5 X 10 ' ( —8.0+4.0) X 10 ' 10 09X10 1.4X 10-' {0.6+0.4) X 10-' 10 7.0X 10-' 4.0X 10 {4.9+1.3) X10 ' — 1 8.0X 10-' 4.5 X 10 ' (5.6+2.3) X 10
Rev. Mod. Phys. , Vol. 64, No. 1, January 1982 E. Boric and G. A. Rinker: Energy levels of muonic atoms
0 10 20 30 00 r (fm) TABLE III. Contribution of the virtual Delbruck effect to 0 I I various muonic transitions.
CO CXl II Element Transition Contribution (eV) FV
-10— 2He 2$-2p 0.00002 4J 12Mg 4f 3d- 0.002 3d"2p 0.013 14Si 4f 3d- 0.003 3d-2p 0.027 1 -20 45Rh Sg 4f- 0. 4f-3d 04 FIG. 20. EVDd (eV) as a function of the muon-nuclear separa- 56Ba Sg 4f- 0.3 tion r, for mercury. 4f-3d 1.0 7i-6h 0.2 7i-Sg 0.5 what inconsistent). The contribution to the binding ener- 6h-Sg 04 1.1 of the 1s state of medium to heavy elements is thereby Sg 4f- gy 6h-Sg 0.4 reduced somewhat; there is almost no eAect on states Sg 1.2 with high orbital angular momentum. 4f- Table III shows the contribution of the virtual Delbriick effect to several muonic transitions which are of interest for tests of QED (see also Table VII below). The estimated uncertainty of 20%%uo is due to the numeri- cal uncertainty in the evaluation of b. V(q), and probably arising from nuclear polarizability, two-photon recoil, overestimates the error in the transition energies, which binding corrections to the self-energy, hadronic vacuum turned out to be far less sensitive to variations in b, V(q) polarization, and nuclear charge density. than the binding energies themselves. Although the potential which has been derived cannot be expected to give a reliable energy shiA for the ground B. Self-energy state of heavy muonic elements, it is still of interest to apply the previous results to the 1s, 2s, and 2p states of 1. Orders a(Za)", n ~~1 heavy elements, to get an idea of the size of the efFect in this case. Some results for Nd (Z =60) and Hg (Z =80) The muon Lamb shift takes into account the self- are given in Table IV, along with other corrections of or- energy of the muon (more precisely, the difference be- der a Za. Rinker and Steffen (1977) estimate an even tween the self-energy of a bound and a free muon), and smaller value for the contribution. We observe that the the muon anomalous magnetic moment. In principle, virtual Delbriick effect and the fourth-order muon Lamb this contribution to the binding energy should be calcu- shift tend to cancel each other. In any case, both correc- lated in the bound-interaction picture, taking into ac- tions are much smaller than the theoretical uncertainties count the effect of the nuclear Coulomb field on the
TABLE IV. Contributions of various higher-order corrections to the binding energies of selected in bE'Ls states some muonic atoms. hED, ~ is the virtual Delbriick effect [order a (Za) ]; is the fourth-order Lamb shift [order a (Za)]; b,Evp is the fourth-order muonic vacuum polarization [order a (Za)]; b,E„,is the mixed p-e vacuum polarization [order a'(Za)].
gE(4) Element Level AED, ] ~ELS
146Nd 1$1/2 18.9+4.7 —16.3 1.4 0.9 2$1/2 4.4+0.8 —2.6 0.2 0.2 2p 1/2 6.9+ 1.4 —0.7 0.1 0.1 2p3/2 6.3+1.2 —1.1 0.1 0.0
200H 1$1/2 35.8+9.8 —23.7 2.1 1.4 2$1/2 10.2+ 1.9 —4.1 0.4 0.2 2p 1/2 17.3+3.8 —3.0 0.4 0.2 2p 3/2 16.0+3.4 —3.5 0.3 0.1 2d3/2 5.2+O.S 0.1 0.0 0.0 2d 5/2 5.1+0.5 —0.2 0.0 0.0
Rev. Mod. Phys. , Vol. 54, No. 1, January 1982 100 E. Boric and G. A. Rinker: Energy levels of muonic atoms
muon propagator. Figure 21 shows the reduction of the self-energy graph in the bound-interaction picture to a set of vertex graphs [here double lines represent lepton wave functions or propagators in the presence of an external field, single lines the corresponding quantities in the absence of the external field (see Jauch and Rohrlich, 1955)]. In practice, this contribution is approximated by the vertex correction [Fig. 21(b)]. However, this contri- bution by itself contains infrared divergences arising from (b) (c) low values of the photon momentum, which are compen- FIG. 21. Contributions to lepton self-energy. See text for ex- sated by similar terms from diagram 21(c); this illustrates planation. the inapplicability of simple perturbation expansions in bound-state problems. Here, the binding provides an in- frared cutoff which is neglected when using free-lepton propagators as in Fig. 21(b). The point is that, when one the contribution of Fig. 21(b) is approximated by calcu- continues the expansion in powers of V~ Zo., one discov- lating the Coulomb propagator and muon form factors in ers that the extra factors Za can be compensated by fac- the nonrelativistic limit, one obtains the commonly used tors p ', where p=mZo. , in the momentum integrals. If result, namely, I
11 ( —ia VV(r)), (171) 24 2&m 2
where b,E„t is Bethe's average excitation energy (Bethe, 1947), defined by
&&l &'1'& I I p I I '«'t t) ln— X E. 2 V V(r) nt n''t E„t E„t— One arrives at more familiar forms for the last term of Eq. (171) by observing that
dV(r) 1 V' 2 1 dV(r) ( ia VV(—r) t=. m, dr G„,(r)F„„(r) = —— V(r)— (173) J dr "" "" 4 2r dr -")
1 One sees that the Bethe sum involves terms of all orders Negele bounds provides a reasonable semiempirical ap- in the external potential, although terms of higher order proximation to ihe more laboriously calculated values than Zo. are treated only approximately. (Rinker and Steffen, 1977). This mean value is given by It does not make sense in this case to try to make an m order-by-order extraction of contributions. Methods for ' a full calculation which avoids ihe pitfalls of perturba- 26E 4(d V/dr)')t tion expansions have been given by Cheng et al. (1978), with — — Equation (174) incor- Desiderio and Johnson (1971), Cheng and Johnson (li ) =(,[E V(r)] m, ). porates the high-energy cutoff due the finite (1976), Mohr (1974a, 1974b, 1975, and Brown et al. of (172) to nuclear size. This cutoff limits the momenta in inter- (1959). These involve lengthy and difficult numerical mediate states ', where is the nuclear ra- calculations which, for the case of muonic atoms, have to p &R~ Rz dius. Where this momentum is smaller than that corre- only been performed for the ground state of heavy ele- to Bethe's average excitation for a ments, and therefore the approximation (171) due to Bar- sponding energy point nucleus, (174) provides a better estimate of the Bethe rett et al. (1968); Barrett, 1968 is used in most cases. Eq. sum than does point-nucleus The main uncertainty (aside from relativistic contribu- the calculation. Otherwise, the opposite is the case. This second situation occurs tions to the propagators in diagram 21(c), and the q dependence of diagram 21(b), which are neglected) is the when the muon overlap with the nucleus is small itj(0) i.e. for all non-s states in appropriate value of the Bethe sum (172), which is com- ((V V) =(4mp) ~ I I ), , plicated by the effect of nuclear size. For the 1s state very light muonic atoms, and for the high-lying states in one has used strict upper and lower bounds due to Bethe heavy muonic atoms. For l+0, the vertex correction is and Negele (1968). More recently Klarsfeld (1977a, then given by 2 1977b) calculated a number of values of Bethe logarithms 4a(Za ) 3 m to use in this connection. The validity of this approxi- nl- m~ 3&Sf 8 m (2l +1)~ mation for the 1s state was confirmed by the numerical results of Cheng et al. (1978). It has been shown with (175) the aid of Klarsfeld's results that the mean of the Bethe- with values of inK„t =ln[26E/(Za) m„] taken from the
Rev. Mod. Phys. , Vol. 54, No. 1, January 1982 E. Boric and G. A. Rinker: Energy levels of moonie atoms 101
TABLE V. Point-nucleus Bethe sums lnK„~ for use with transitions between states having negligi- ble overlap with the nucleus. Values are taken from Klarsfeld and Maquet (1973).
1 2.98413 2. 2.81177 —0.03002 3 2.76766 —0.03819 —0.00523 2.74982 —0.04195 —0.00674 —0.00173 5 2.74082 —0.04403 —0.00760 —0.00220 —0.00077 6 2.73566 —0.04531 —0.00815 —0.00250 —0.00096 —0.00041
work of Klarsfeld and Maquet (1973). These are given thai if in Table V. For such states (including most of those of interest for tests of QED using muonic atoms), the vertex (2) ~ dy(r) ln((p )/m, ) correction is dominated by the spin-orbit part of the (176) 3mm„dr ((p2) —m, ) muon's anomalous magnetic moment. A rough estimate of neglected higher-order effects (Fig. 21c) was given by Barrett et al. (1968). Compar- is added to Eq. (171), using Eq. (174), a slight improve- ison of this estimate, along with Eqs. (171) and (174), to ment with respect to the theoretical results is obtained in the numerical calculations of Cheng et al. (1978) showed all cases where comparison may be made.
2. Orders n (Za)", n ~~1
Higher-order self-energy corrections (of order a Za), corresponding to the diagrams in Fig. 22, have been calculated by Boric (1975b). The contribution of diagrams 20a —e (with a p p pair in the VP loop) was calculated as in the work of Appelquist and Brodsky (1970) and Barbieri et al. (1972a, 1972b). The contribution of diagram 20a, with an e+e pair in the loop, was taken from the work of Barbieri et al. (1973). The result is 2)(4) (g — rr + 2 (v~v)+ (177) BQ' q2 —p 4m~ r dr L)
with 2 T g~(4) m 1 49 4819 3 1 P mP 29 p a 395 mp ((3) 1 ln g q2 p 2 216 5184 4 9 m, 108 m 54 1296
2 =2.69 (178) and 2 197 m. 1 3 1 25 me A '(g 2)( ) + ——ln2 + —g(3)+ —ln =0.766 (179) 7T 144 2 6 4 3 36 mp
Note that (g —2)' )l2 is the fourth-order contribution to the anomalous magnetic moment of the muon (Bailey et al., 1979; Lautrup et al., 1972).
I C. Anomatous interactions of a 6nite radius for the muon would be a diQerence be- tween the cross sections for ep and (Mp scattering (Hughes Any contribution to the energy levels of a muonic and Kinoshita, 1977). A finite muon radius would also atom whose source is a difference between the muon- result in a disagreement between nuclear radii deter- nucleus and the electron-nucleus interaction (other than mined by means of electron scattering and those deter- those due to mass di6erences) is called an anomalous in- mined from muonic atoms (Rinker and Wilets, 1973b; teraction. For example, such a difIerence could be Dubler et al., 1974). From this work one can conclude present if the muon were not pointlike; one consequence that
Rev. IVlod. Phys. , Vol. 54, No. 1, January 1982 102 E. Boric and G. A. Rinker: Energy levels of muonie atoms
E b3
FIG. 23. Muon-nuclear interaction mediated by a Higgs bo- son.
(c) (cI j
D. Experimental tests of QED with muonic atoms
The predictions of QED have been verified to a very (e) high degree of accuracy. (See, e. g., Brodsky and Drell, Pi- FIG. 22. Fourth-order Lamb shift diagrams. Diagram (a) 1970; Bailey and Picasso, 1970; Combley, Farley, and enters once with an e+e pair and once with a p+p pair. casso, 1981; Van Dyck, Schwinberg, and Dehmelt, 1977; Drell, 1979.) As a consequence, QED is regarded as the most successful theory in physics, and is taken as the ex- ample for all other theories, such as the presently popu- lar QCD, which describes the interaction of quarks and (r )' —(r )' &0.17 fm . (180) gluons. After a qualitative discussion of the physical ori- gin of the effects whose computation was discussed in A tighter bound is obtained from the latest measurement Sec. III.A and III.B, we discuss in detail the more recent of g& —2 (Bailey et al., 1979), which gives experimental tests of QED with muonic atoms. As first approximation, the motion of a muon or elec- tron can be described the Dirac equation. The lepton (181) by is regarded as a pointlike particle with spin —,, which in- teracts with a given (classical) electromagnetic field. The The latest result from e+e ~p+ p, at PETRA is quantization of the electromagnetic field results in depar- )'~ (r& &0.01 fm (Barber et al., 1979a, 1979b). Another tures from this simple picture, which are often known as possible source of an anomalous interaction would be the "radiative corrections" (although perhaps improperly so exchange of a scalar particle which couples differently to for the case of vacuum polarization). These are due to the muon than to the electron. Such a particle, the the interaction of the electron or muon with the elec- Higgs boson, is predicted to exist in unified gauge tromagnetic Geld and involve the emission and/or ab- theories of the weak and electromagnetic interactions sorption of photons. These photons may be real, as in (Bernstein, 1974; Weinberg, 1974; Abers and Lee, 1973). the well-known case of bremsstrahlung emission by an The exchange of a scalar particle results in a Yukawa in- accelerated charged particle, or virtual, in which case Ac- teraction between a lepton and a nucleus (Fig. 23). they are reabsorbed, either by the lepton or by another cording to Jackiw and Weinberg (1972), this interaction particle. The fact that these radiative effects have experi- is given by mentally measurable consequences accounts for the great interest which has been devoted to the subject of QED, v~(r) =g~ (182) since it is possible to test the theory to a high degree of precision, providing a challenge both to theorists and to with experimentalists.
(183)
Here m~ is the lepton mass, rn~ the mass of the Higgs The concept of a virtual photon is useful for the application boson, A the atomic mass number of the nucleus, 6 the of perturbation theory. Such photons have a "mass" due to weak coupling constant, and g a dimensionless constant the fact that they do not obey the simple dispersion law co=ck. of order unity. We shall discuss explicit bounds of g~ as In addition, and in contrast to real radiation, they are not in a function of the P mass in connection with particular general polarized perpendicular to their direction of propaga- experiments later. tion.
Rev. Mod. Phys. , Vol. 54„No. 1, January 1982 E. Boric and G. A. Rinker: Energy levels of muonic atoms 103
It is well known that QED describes inany phenome- gy levels of hydrogenlike atoms. One should expect in- na, such as the anomalous magnetic moment of the elec- creased binding for all cases in which the radius of the tron and muon, atomic energy levels (including the lepton orbit is less than, or comparable to, the electron Lamb shiA), the hyperfine structure of muonium and po- Compton wavelength. sitronium, and the scattering of high-energy leptons In order to get a feeling for the magnitude of the ef- (e+e ~e+e,p+p, yy, . . .) with a remarkable pre- fect, we consider the hydrogen atom. In the case of nor- cision. One might ask why one should study tests of mal hydrogen the radius of the electron orbits is given by QED with muonic atoms when these other tests have al- the Bohr radius ready verified the essential correctness of QED. As we —— '=52 shall see, the. tests with muonic atoms are complementa- ao (m, a) 918 fm (184) ry. and the momentum of the electron is approximately Another point of interest is that even if one believes in given by cxm, c. The effects of vacuum polarization are QED, the question remains as to whether the muon then small compared to those of other radiative correc- might have some sort of anomalous interaction with it- tions, notably the self-energy and additional spin-orbit in- self or with hadrons. As far as we know, the muon teraction resulting from the anomalous magnetic moment behaves exactly like a heavy electron; the reason for this of the electron. For example, the 2s&~2 state lies 4.38 is an as-yet-unexplained puzzle, which was made even IMeV (1057.9 Mhz) above the 2pi~2 state (Fig. 24) (see more interesting by the recent discovery of the ~ lepton. Lundeen and Pipkin, 1975; Andrews and Newton, 1976). A model for an anomalous muon-hadron interaction is The contribution due to vacuum polarization is only provided the theories which by gauge unify the weak and —0. 11 p eV ( —27 Mhz). electromagnetic interactions. In such theories there is If we now replace the electron by a negatively charged the possibility of exchanging a so-called "Higgs boson" muon, the Bohr radii are reduced by a factor between a muon and a nucleus (Fig. 23), which would m/m, =207 as compared to those for normal atoms result in an extra nonelectromagnetic contribution to the binding energy. Muonic atoms can be used to shed light ao& —256 fm (185) on these questions, although at the moment there is no and are generally less than m, '. The effects of VP are evidence for such anomalous interactions. correspondingly much larger. In muonic hydrogen, the Muonic atoms are particularly mell suited for the 2si&2 level lies 202.0 meV below the 2@i~2 level (Fig. 25). study of vacuum polarization. This effect was investigat- The difference in binding energy due to VP is 206.4 ed shortly after the discovery of the positron (Heisenberg, meV, while that due to the self-energy and anomalous 1934; Furry and Oppenheirner, 1934; Serber, Uehl- 1935; magnetic moment is only 0.6 meV. Even higher-order ing, 1935) and is thus one of the earliest-studied ef- QED VP corrections are non-negligible in this case. Thus fects. It is due to the virtua1 production and reannihila- muonic atoms can be used to test vacuum-polarization tion of electron-positron (or m+m, p+p, pp, . . .) pairs. eAects with minimal disturbance from other radiative The presence of these virtual pairs slightly modifies the corrections. electric field produced by a given charge distribution. Of course in order to test QED it is necessary to The effect is analogous to classical electrostatics in a choose transitions between orbits which are not signifi- medium; in that case the observed electric field is the su- cantly affected by the eAects of nuclear structure or by the fields "true" perposition of produced by the and "po- the remaining atomic electrons. However, if one is care- larization" charges. In the case of vacuum polarization, ful about the choice of transition, it is possible to study a this separation is similar ' in principle, however, the anal- nearly hydrogenlike system even in the limit of strong should not be pushed too since ogy far, in this case the fields (i.e., Za not small, as is the case for lead). induced "polarization charge" is mathematically not well defined even though the resulting electric field is. The result of a detailed calculation (including renormaliza- Heavy elements tion) shows that at large distances (compared to the elec- tron Compton wavelength m, =386 fm), the "true" nu- With high-Z elements (Z ~ 40) one hopes to be able to clear charge is screened by the virtual electron charge. test QED in the case of strong electromagnetic fields. A By definition, the classical observed nuclear charge is the charge which at macroscopic distances results in the ob- Self Energy+ I g- 2) served Coulomb interaction with a test charge. If the )& test charge came closer to the nucleus, it would "feel" 1077. the "bare" nuclear charge, which is larger than the clas- %'e sically defined charge Ze. thus expect that vacuum 2s)]~ — polarization results in a modification of Coulomb's law 3( 27. at distances less than m, ', such that the electric field 1057,9 V. P. strength is increased. Such a modification of the 2p Coulomb interaction between two charged particles should result, among other things, in a shift of the ener- FIG. 24. Lamb shift in hydrogen. Interva1s are given in Mhz.
Rev. Mod. Phys. , Vol. 54, No. 1, January 1982 104 E. Boric and G. A. Rinker: Energy levels of moonie atoms
2p The theoretical contributions to the Sg9~2 —4f7/2 tran- sition in muonic lead are shown schematically in Fig. 26. rp S, E The contributions to the theoretical transition energies fO, 6 for other cases are summarized in Table VI. 2s)l Between 1970 and 1976 there were indications of a discrepancy between theoretical and experimental transi- —206, 4 tion energies for such transitions, hinting at a possible in limit V. P. breakdown the validity of QED in the of strong fields. This problem occupied a number of physicists FICi. 25. Lamb shift in muonic hydrogen. Intervals are given in meV. and stimulated considerable work during this time. In 1970 a group from Karlsruhe and CERN measured the 5g 4f tran-sitions in lead and bismuth (Backenstoss muon in the level of muonic lead experiences an elec- 4f et al., 1970), finding agreement (within the experimental tric field strength of about 4.7X 10' V/m at a mean dis- uncertainties) with the results of a calculation by Fricke tance of 50 fm from the nucleus. In this case we are (1969b) which included the VP corrections of order in the ex- dealing with a system which one of important a Za and a(Za) for the first time. However, a subse- pansion parameters, namely Zo. is not small. We may , quent experiment by a group from Chicago and Ottawa expect that effects such as Coulomb corrections to the (Dixit et a/. , 1971), with better resolution and smaller er- in vacuum are measur- electron propagator polarization rors, indicated a systematic discrepancy between theory able in just such systems, and should attempt to look for and experiment. These data included several elements these effects investigating transitions between hydro- by throughout the periodic table. For the Sg 4f transitio-ns in atoms. These states are genlike states heavy muonic in lead, the difIIerence between theory and experiment orbital in order chosen to have large angular momentum, amounted to 130+20 eV, which also was in contradic- en- to minimize uncertainties in the calculated transition tion to the earlier result of Backenstoss et al. ergies which arise from uncertainties in nuclear proper- (E,h —E,„p-—30+40 ev). ties. The states in question should also have Bohr radii In 1972 several authors detected an error in the previ- which are small in comparison to the radii of the elec- ous calculation of the order a(Za) corrections, as well tron orbits. as the fact that the "double-bubble" diagram of order a Za had been included twice (Blomqvist, 1972; Bell, 1973; Sundaresan and Watson, 1972). This substantially reduced the discrepancy between the results of the Chi- V. P. cago experiment and the theoretical predictions. Howev- aZ o. o', ( Za) , er, the discrepancy was not completely eliminated (it amounted to 50+20 eV for lend), and this was ground V. P. a(Za) for concern. -42 (2) In order to clarify the contradiction between the two earlier experiments, another CERN group (Walter et al., 1972) undertook the measurement similar transitions -7 S,E, , g-2 of in Rh, Hg, and Tl. In this experiment the calibration ' procedure was somewhat improved by using Rh and
V. P. Tl as targets. For these elements it is possible to mea- O, ZO, 2105 sure delayed gamma rays from the muon capture reac- tions Elektr onen- a bschir mung Tl(p, nv) Hg*; Hg*~ Hg+y(439. 5 keV), -82 {5) Rh(p, &&) Ru; Ru*~ Ru+y(474. 8 keV) (186) in the muonic x-ray spectra. The same lines are also measured as calibration lines, thus making it possible to control possible systematic errors arising from differences in the experimental geometry when the muonic x-ray and Gesamt- spectra calibration spectra were taken, which could theorie cause a shift in the calibration line (within the statistical 43&336 (7) uncertainty of +17 eV this effect was found to be zero). Dirac Punktkern The results of this experiment were consistent with those 429342(2) Kernpolarisierbarkeit 5 {] ) Kernausdehnung -4 Relativistischer Ruck stoA 2 of Dixit et al. (1971) and were taken as a confirmation of those results. The situation at the end of 1972 is sum- FICx. 26. Theoretical contributions (eV) to the Sg9q2 —4f,q2 marized in Fig. 27; the difference between theory and ex- transition in muonic lead. periment (in eV) is shown as a function of transition en-
Rev. Mod. Phys. , Vol. 64, No. 1, January 1982 E. Boric and G. A. Rinker: Energy levels of muonic atoms 105 ergy for all of the above-mentioned experiments. The tainty and confirmed the theoretical values for the mea- discrepancy for transition energies around 400 keV was sured transitions, up to as yet uncalculated higher-order considered to be serious. QED corrections and contributions due to an anomalous At this point most further work was coming from the interaction. The situation as of 1974 was summarized in theoretical side. In 1973 a fully self-consistent calcula- two reviews of Watson and Sundaresan (1974) and of tion of the electron-screening effect for all of the relevant Engfer et al. (1975). transitions appeared (Vogel, 1973b; see also Fricke, The possible e6ects of an anomalous interaction were 1969b). In any case this correction was too small to ex- investigated by several authors. If a light scalar boson plain the discrepancy for the 4f 3d t-ransitions in barium (m~ &20 MeV) with a muon-nucleus coupling of about (M„„=—17 eV, E,h —E,„~=81+21 eV). Transitions g~ —10 existed, the discrepancy could be explained among higher states (such as 7-6, 7-5, 6-5, 8-6 in Hg, Tl, (Jackiw and Weinberg, 1972; Barshay, 1974; Adler, 1974; Pb), which are more sensitive to screening corrections, Adler, Dashen, and Treiman, 1974). Such a scalar boson were measured in order to check the validity of the cal- would also have an effect on the anomalous magnetic culated screening correction (see Sec. II.I). moment of the muon, at a level which would have been In addition, the Coulomb correction to the electron observed (Aa&-7X 10 ). No such contribution has propagator [the vacuum-polarization corrections of order been detected (Boric, 1979). The influence of a P boson a(Zo. ), etc.], including the effect of finite nuclear size, on the energy levels of light muonic atoms would also were more thoroughly investigated. Older calculations have been observable (see next section), and measure- (Fricke, 1969b; Blomqvist, 1972; Bell, 1973; Sundaresan ments in such atoms rule out the existence of a scalar bo- and Watson, 1972) were based on the work of Wichmann son with mass & 10 MeV, with a muon-nucleus coupling and Kroll (1956), in which the Laplace transform of the of the strength suggested by the Weinberg-Salam model. induced charge density for the case of pointlike sources Other anomalous contributions (Adler, 1974) could be for the external field was calculated. From this it was ruled out on similar grounds. The only remaining possible to determine an eAective potential, which was theoretical explanation for the previously discussed used to calculate energy shifts. At small distances this discrepancy is the uncalculated higher-order QED potential should be modified by the effect of finite nu- corrections. The contribution of the fourth-order Lamb clear size. One approach (Brown et al., 1975a, 1975b, shift was calculated by Boric (1975b). The leading con- 1975c; Arafune, 1974) consisted of simplifying the calcu- tribution for states of high orbital angular momentum is lation by setting the electron mass equal to zero and cal- due to the extra spin-orbit interaction arising from the culating directly the long-range part of the finite-size ef- muon's anomalous magnetic moment. For the 5g 4f- fect. At first glance it would appear that setting m, =0 transitions in lead, this contribution is 0.02S eV, which is should not be a good approximation, as the bound elec- much too small to explain the reported discrepancy. tron states which enter importantly in Eq. (146) exist At about this time Chen (1975) made the suggestion only for m, +0. Nevertheless, it was shown analytically that the virtual Delbriick diagrams of order u (Za) by both groups that errors in such an approach are of or- (Fig. 16) might be responsible for the discrepancy, and der m, and not m, . This conclusion was later supported calculated a correction of —30 eV to the theoretical en- by numerical calculations (Rinker and Wilets, 1975), in ergy of the 5g 4f transitions in -lead. However, an ap- which it was shown that the charge contributed by the proximate calculation by Wilets and Rinker (1975) indi- bound states is very nearly canceled by the low-lying cated that the correction was only + 1 eV, increasing the continuum states for any mass (m, . These calculations discrepancy slightly. These calculations of the order- yielded a small shift (4—7 eV in barium and lead) of the a (Za) correction involved a number of approxima- wrong sign to account for the discrepancies between tions, and were carried out using a noncovariant formal- theory and experiment. ism (the central field problem is intrinsically noncovari- A further calculation was performed by Gyulassy ant); it thus seemed to be desirable to calculate the effect (1974, 1975) which essentially followed the approach of of these diagrams using the methods of QED. The most Wichmann and Kroll except that the Pauli-Villars complete calculation, published by Boric (1976a), con- method of regularization was used and the electron firms the approximate calculation of filets and Rinker Green's function was corrected for finite nuclear size by and gives results for all measured transitions. This result the use of simple models for the nuclear charge distribu- was also confirmed for the 5g-4f transitions in lead by tion (uniformly charged sphere, shell of charge). It turns Fujimoto (1975). Thus no theoretical explanation for the out that the main modification is a change in the s-wave discrepancy could be found. contribution (j = —,, ~= —1) to the electron propagator. At this point some movement took place on the exper- Gyulassy (1975) showed that small differences (of about 1 imental front. The problem was partially solved, also in eV) between his number (6 eV for the 5g-4f transitions in 1975, when a group at the National Bureau of Standards lead) and those of Arafune (1974) and Brown et al. discovered that the energy of a nuclear gamma line in (1974) could be accounted for by the approximation gold (at =411 keV), which had been used for calibration made in taking the electron mass equal to zero, or in ex- in the experiments, had been in error by 12 eV (Deslattes pansions in the ratio (R&/ao ). The work of these au- et a/. , 1975). All of the experimental transition energies, thors removed this important source of theoretical uncer- but especially those around 400 keV, had to be corrected
Rev. Mod. Phys. , Vol. 54, No. 1, January 1982 106 E. Boric and G. A. Rinker: Energy levels of muonic atoms
TABLE VI. Comparison between theoretical and experimental energies of several muonic transitions which are sensitive to vacu- um polarization. Only recent experiments (since 1974) are included. All energies are in H. EpT=transition energy frorr. Dirac equation for a point nucleus; 5EFs —correction due to finite nuclear size; 5Evp —vacuum polarization corrections of order o.Za, a Zo., a(Za)"-, a (Za); 5ELs —muon self-energy, anomalous magnetic moment, muonic vacuum polarization; 5ER —relativistic — — — recoil correction; 5ENp —nuclear polarization; 5EEs —electron screening (self-consistent with Z —1 electrons); E,h —total theoretical energy; E,„„=measured energy.
5Evp Element Transition EPT QZcx o.(Zo.')"- n (Za)
i2Mg' 3d3/2 2p 1/2 56 213.9+0.2 —2.8+0.0 179.36+0.00 1.26 —0.11+0.00 0.01 3ds/2 2p3/2 56 038.9+0.2 —0.9+0.0 177.55+0.00 1.24 —0.11+0.00 0.01 i4Si' 3d3/2 2p1/2 76 670.7+0.2 —7.4+0.0 276.8+0.00 1.94 —0.23+0.00 0.03 3d s/2-2p 76 345.5+0.3 —2.6+0.0 273.2+0.00 1.91 —0.23+0.00 0.03 isP' 3d3/2 2p1/2 88 117.2+0.3 —11.9+0.2 335.4+0.00 2.34 —0.31+0.00 0.03 3d s/2-2p 3/2 87 688.1+0.3 —4.1+0.2 330.38+0.00 2.30 —0.30+0.00 0.03 20Ca" 3d3/2 2p1/2 157518 +1 —78+2 734+2 5 —1+0.00 0.0 3ds/2 2p3/2 156 152 +1 —28+1 716+2 5 —1+0.00 0.0 4sRh' 4fs/2-3d s/2 280984 +1 —20+0 1350+3 9 —9+1 0.4 4f7m-3d su 277 929 +1 —7+1 1311+3 9 —9+1 0.4 b spSn 4fs/2 3ds/2- 348234 +2 —50+ 1 1795+3 12 —13+1 0.7 4f7n-3ds/2 343 554 +2 —19+1 1731+3 12 —13+1 0.7 b s6sa 4f5/2 3d3/2 439 068 +2 —143+1 2434+ 1 17 —21+1 1.0 4f7/2 3ds/2 431 652 +2 —55+1 2328+1 16 —19+1 1.0 5g7n-4f sn 200 543 +1 —0+0 762+1 5 —9+0 0.3 5g9n-4f 7/2 199 193 +1 —0+0 748+ 1 5 —9+0 0.3 d s6sa 4fs/2-3ds/z 439068 +2 —143+ 1 2434+1 17 —21+1 1.0 4f7/2 3ds/2-431 652 +2 —55+1 2328+1 16 —19+1 1.0 s6Ba' 4f5/2 3d3/2 439 068 +2 —143+ 1 2434+1 17 21+ 1 1.0 4f7n 3ds/2-431 652 +2 —55+1 2328+1 16 —19+1 1.0 ssCe' 4fs/2-3dsn 471 845 +2 —193+1 2665+ 1 19 —24+ 1 1 4f7/2 3ds/2 463 290 +2 —74+ 1 2550+ 1 18 —22+ 1 1 80Hg 5g'7n-4f s/~ 414 181 +2 —9+0 2046+3 14 —40+2 1 5g9n-4f 7n 408 463 +2 —3+0 1972+3 14 —39+2 1 si Tl' 5g 7n-4f sn 424850 +2 —9+1 2116+1 15 —42+2 1 418 837 +2 —3+0 2037+1 14 —40+2 1 5g9/2 4f7/2 — 81T1 &g 7/2 4fs/2-424 850 +2 9+1 2116+1 15 —42+2 1 5g9n-4f7n 418 837 +2 —3+0 2037+ 1 14 —40+2 1 81T1 5g9/2 4f7/2 418 837 +2 —3+0 2037+ 1 14 —40+2 1 82Pb '5g 7/2-4f s/2 435 664 +2 —10+1 2189+1 16 —43+2 I 5g9n-4f 429 343 +2 —4+0 2105+1 15 —42+2 1 7n — — s2pb' 5g7n 4fs/2-435 664 +2 10+1 2189+1 16 43+2 1 5g 9n 4f 429 343 +2 —4+0 2105+ 1 15 —42+2 1 — 1 — s2pb' n&g