arxiv:hep-ph/ v1 26 Jun 2002

Transcription

1 LANDAU-KHALATNIKOV-FRADKIN TRANSFORMATIONS AND THE FERMION PROPAGATOR IN QUANTUM ELECTRODYNAMICS A. Bashir and A. Raya Instituto de Física y Matemáticas, Universidad Michoacana de San Nicolás de Hidalgo Apartado Postal -8, Morelia, Michoacán 584, México. We study the gauge covariance of the massive fermion propagator in three as well as four dimensional Quantum Electrodynamics (QED). Starting from its value at the lowest order in perturbation theory, we evaluate a non-perturbative expression for it by means of its Landau-Khalatnikov-Fradkin (LKF) transformation. We compare the perturbative expansion of our findings with the known one loop results and observe perfect agreement upto a gauge parameter independent term, a difference permitted by the structure of the LKF transformations. arxiv:hep-ph/677v 6 Jun PACS number(s):.5.tk,..-m I. INTRODUCTION UMSNH/-8 In a gauge field theory, Green functions transform in a specific manner under a variation of gauge. In Quantum Electrodynamics (QED) these transformations carry the name Landau-Khalatnikov-Fradkin (LKF) transformations, [ 3]. Later, they were derived again by Johnson and Zumino through functional methods,[4,5]. These transformations are non-perturbative in nature and hence have the potential of playing an important role in addressing the problems of gauge invariance which plague the strong coupling studies of Schwinger-Dyson equations (SDE). In general, the rules governing these transformations are far from simple. The fact that they are written in coordinate space adds to their complexity. As a result, these transformations have played less significant and practical role in the study of SDE than desired. A consequence of gauge covariance are Ward-Green-Takahashi identities (WGTI), [6 8], which are simpler to use and, therefore, have been extensively implemented in the above-mentioned studies. The LKF transformation for the three-point vertex is complicated and hampers direct extraction of analytical restrictions on its structure. Burden and Roberts,[6], carried out a numerical analysis to compare the self-consistency of various ansatze for the vertex, [ ], by means of its LKF transformation. In addition to these numerical constraints, indirect analytical insight can be obtained on the non perturbative structure of the vertex by demanding correct gauge covariance properties of the fermion propagator. There are numerous works in literature, based upon this idea, [ 7]. However, all the work in this direction has been carried out in the context of massless QED3 and QED4. The masslessness of the fermions implies that the fermion propagator can be written only in terms of one function, the so called wavefunction renormalization, F(p). In order to apply the LKF transform, one needs to know a Green function at least in one particular gauge. This is a formidable task. However, one can rely on approximations based on perturbation theory. It is customary to take F(p) = in the Landau gauge, an approximation justified by one loop calculation of the massless fermion propagator in arbitrary dimensions, see for example, [9]. The LKF transformation then implies a power law for F(p) in QED4 and a simple trigonometric function in QED3. To improve upon these results, one can take two paths: (i) incorporate the information contained in higher orders of perturbation theory and (ii) study the massivetheory. As pointed out in [6], in QED4, the powerlaw structure ofthe wavefunction renormalization remains intact by increasing order of approximation in perturbation theory although the exponent of course gets contribution from next to leading logarithms and so on. In [6], constraint was obtained on the 3-point vertex by considering a power law where the exponent of this power law was not restricted only to the one loop fermion propagator. In QED3, the two loop fermion propagator was evaluated in [8,,], where it was explicitly shown that the the approximation F(p) = is only valid upto one loop, thus violating the transversality condition advocated in [7]. The result found there was used used in [3] to find the improved LKF transform. In the present article, we calculate the LKF transformed fermion propagator in massive QED3 and QED4. We start with the simplest input which corresponds to the lowest order of perturbation theory, i.e., S(p) = /i p m in the Landau gauge. On LKF transforming, we find the fermion propagator in an arbitrary covariant gauge. In the A criticism of the vertex construction in [7] was raised in [8] For the two loop calculation of the fermion propagator, see for example []

2 case of QED3, we obtain the result in terms of basic functions of momenta. In QED4, the final expression is in the form of hypergeometric functions. Coupling α enters as parameter of this transcendental function. A comparison with perturbation theory needs the expansion of the hypergeometric function in terms of its parameters. We use the technique developed by Moch et. al., [4], for the said expansion. We compare our results with the one loop expansion of the fermion propagator in QED4 and QED3, [5,6], and find perfect agreement upto terms independent of the gauge parameter at one loop, a difference permitted by the structure of the LKF transformations. We believe that the incorporation of LKF transformations, along with WGT identities, in the SDE can play a key role in addressing the problems of gauge invariance. For example, in the study of the SDE of the fermion propagator, only those assumptions should be permissible which keep intact the correct behaviour of the Green functions under the LKF transformations, in addition to ensuring that the WGTI is satisfied. It makes it vital to explore how two and three point Green functions transform in a gauge covariant fashion. In this article, we consider only a two point function, namely, the fermion propagator. II. FERMION PROPAGATOR AND THE LKF TRANSFORMATION We start by expanding out the fermion propagator, in momentum and coordinate spaces respectively, in its most general form as follows : S F (p;ξ) = A(p;ξ)+i B(p;ξ) p F(p;ξ) i p M(p;ξ), () S F (x;ξ) = xx(x;ξ)+y(x;ξ), () where F(p;ξ) is generally referred to as the wavefunction renormalization and M(p;ξ) as the mass function. ξ is the usual covariant gauge parameter. Motivated from the lowest order perturbation theory, we take F(p;) = and M(p;) = m. (3) Perturbation theory also reveals that this result continues to hold true to one loop order for the wavefunction renormalization. Eqs. (,) are related to each other through the following Fourier transforms : S F (p;ξ) = d d xe ip x S F (x;ξ) (4) d d p S F (x;ξ) = de ip x S F (p;ξ), (5) (π) where d is the dimension of space-time. The LKF transformation relating the coordinate space fermion propagator in Landau gauge to the one in an arbitrary covariant gauge reads : where S F (x;ξ) = S F (x;)e i[ d() d (x)], (6) d (x) = iξe µ 4 d d d p e ip x (π) d p 4. (7) e is the dimensionless electromagnetic coupling. Taking ψ to be the angle between x and p, we can write d d p = dpp d sin d ψdψω d, where Ω d = π (d )/ /Γ((d )/). Hence d (x) = iξe µ 4 d f(d) π dpp d 5 dψsin d ψe ipxcosψ, (8) where f(d) = Ω d /(π) d. Performing angular and radial integrations, we arrive at the following equation ( ) d (x) = iξe d Γ 6(π) d/(µx)4 d. (9) With these tools at hand, the procedure now is as follows : Start with the lowest order fermion propagator and Fourier transform it to coordinate space. Apply the LKF transformation law. Fourier transform the result back to momentum space.

3 III. THREE DIMENSIONAL CASE Employing Eqs. (,,3,5), the lowest order three dimensional fermion propagator in Landau gauge in the position space is given by X(x;) = e mx (+mx) 4πx 3, () Y(x;) = me mx 4πx. Once in the coordinate space, we can apply the LKF transformation law using expression (9) explicitly in three dimensions : 3 (x) = iαξx, () where α = e /4π. The fermion propagator in an arbitrary gauge is then For Fourier transforming back to momentum space, we use Performing the angular integration, we get S(x;ξ) = S F (x;)e (αξ/)x. () A(p;ξ) = F(p;ξ)M(p;ξ) p +M (p;ξ) = ib(p;ξ) = ip F(p;ξ) p +M (p;ξ) = A(p;ξ) = m p B(p;ξ) = p and the radial integration then yields d 3 x e ip x Y(x;ξ) (3) d 3 x p x e ip x X(x;ξ). dx sinpxe (m+αξ/)x, (4) dx x (+mx) [pxcospx sinpx]e (m+αξ/)x, (5) 4m A(p;ξ) = 4p +(m+αξ) (6) B(p;ξ) = 4p +αξ(m+αξ) 4p +(m+αξ) + αξ arctan[p/(m+αξ)]. (7) p One can now arrive at the following expressions for the wavefunction renormalization and the mass function, respectively : F(p;ξ) = αξ p arctan[p/(m+αξ)]+ p(4p +α ξ ) αξ(4p +αξ(m+αξ))arctan[p/(m+αξ)] p(4p +αξ(m+αξ)) αξ(4p +(m+αξ) )arctan[p/(m+αξ)], (8) M(p;ξ) = 8p 3 m p(4p +αξ(m+αξ)) αξ(4p +(m+αξ) )arctan[p/(m+αξ)]. (9) In the massless limit, one immediately recuperates the well-known results : F massless (p;ξ) = αξ p M massless (p;ξ) =. In the weak coupling, we can expand out Eqs.(8,9) in powers of α. To O(α), we find arctan p αξ, () F(p;ξ) = + αξ [ (m p 3 p ) arctan [p/m] mp ], () [ M(p;ξ) = m + αξ { (m p 3 +p ) arctan [p/m] mp } ]. () The expression for the wavefunction renormalization function fully matches with that obtained in [6], while the one for the mass function is also in agreement upto a term proportional to αξ, as allowed by the structure of the LKF transformations. 3

4 IV. FOUR DIMENSIONAL CASE Employing Eqs. (,,3,5), the lowest order four dimensional fermion propagator in position space is given by X(x;) = m 4π x K (mx), (3) Y(x;) = m 4π x K (mx), (4) wherek andk arebesselfunctionsofthesecondkind. InordertoapplytheLKFtransformationinfourdimensions, we expand Eq. (9) around d = 4 ǫ and use the following identities ( Γ ǫ ) = γ +O(ǫ), ǫ x ǫ = +ǫlnx+o(ǫ ), to obtain 4 (x) = i ξe 6π ǫ/ [ ] +γ +lnµx+o(ǫ). (5) ǫ Note that we cannot write a similar expression for 4 () because of the presence of the term proportional to lnx. Therefore, we introduce a cut-off scale x min. Now ( ) x ν 4 (x min ) 4 (x) = iln x, (6) min where ν = αξ/4π. Hence ( ) x ν S F (x;ξ) = S F (x;) x. (7) min For Fourier transforming back to momentum space we use the following expressions A(p;ξ) = F(p;ξ)M(p;ξ) p +M (p;ξ) = d 4 x e ip x Y(x;ξ) (8) ib(p;ξ) = ip F(p;ξ) p +M (p;ξ) = d 4 x p x e ip x X(x;ξ). On carrying out angular integration, we obtain : A(p;ξ) = m p xν min dxx ν+ K (mx)j (px), (9) B(p;ξ) = m dxx ν+ K (mx)j (px). (3) The radial integration then yields : A(p;ξ) = ( ) m ν ) m Λ Γ( ν)γ( ν) F ( ν, ν;; p m, (3) ( ) B(p;ξ) = p m ν ) m Λ Γ( ν)γ(3 ν) F ( ν,3 ν;3; p m, (3) where we have identified /x min Λ. The above equations imply 4

5 ( ) Γ( ν) m ν F(p;ξ) = m Γ(3 ν) F ( ν,3 ν;3; p /m ) Λ [ ) ) 4m Γ ( ν) F ( ν, ν;; p +p Γ (3 ν) F ( ν,3 ν;3; ] p, (33) m M(p;ξ) = m F ( ν, ν;; p /m ) ( ν) F ( ν,3 ν;3; p /m ). (34) Eqs. (33,34) constitute the LKF transformation of Eqs. (3). We shall now see that although Eqs. (3) correspond to the lowest order propagator, their LKF transformation, Eqs. (33,34), is non-perturbative in nature and contains information of higher orders. m A. Case α = Let us switch off the coupling and put α = which implies ν =. Now using the identity F (,;; p /m ) = F (,3;3; p /m ) = (+p /m ), (35) it is easy to see that F(p;ξ) = and M(p;ξ) = m, (36) which coincides with the lowest order perturbative result as expected. B. Case m >> p In the limit m >> p, the hypergeometric functions in Eqs. (33,34) can be easily expanded in powers of p /m, using the identity Retaining only O(p /m ) terms, we arrive at : [ F(p;ξ) = Γ( ν)γ( ν) + ν ( ν/) 3 [ m M(p;ξ) = ( ν/) ( ) F α,β;γ; p m = αβ p ( ) p γ m +O m. (37) + ν p ( ν) 6 m +O ( 5ν ) p 8 m +O ( ) p ] m ( ) p ] (m ) ν, (38) m Λ. (39) Now carrying out an expansion in α and substituting ν = αξ/4π, we get the following O(α) expressions : F(p;ξ) = + αξ ] p m [γ + +ln 4π 3m Λ, (4) { M(p;ξ) = m + αξ ]} [+ p 8π 3m. (4) Let us now compare these expressions against the one-loop perturbative evaluation of the massive fermion propagator, see e.g., [5] : F loop (p;ξ) = αξ [ ) ] Cµ ǫ + ( m 4π p ( L), (4) M loop (p;ξ) = m+ αm [( + ξ ) + 3 π 4 4 (Cµǫ L)+ ξ m ] 4 p ( L), (43) 5

6 where ) ) L = (+ m p ln (+ p m, C = ( ) m ǫ γ lnπ ln µ. Knowing the fermion propagator even in one particular gauge is a prohibitively difficult task. Therefore, Eqs. (3) have to be viewed only as an approximation. For the wavefunction renormalization F(p), this approximation is valid upto one loop order, whereas, for the mass function, it is true only to the lowest order. Therefore we cannot expect the LKF transform of Eqs. (3) to yield correctly each term in the perturbative expansion of the fermion propagator. However, it should correctly reproduce all those terms at every order of expansion which vanish in the Landau gauge at O(α) and beyond. Therefore, we expect Eq. (4) to be exactly reproduced and Eq. (43) to be reproduced upto the terms which vanish in the Landau gauge at O(α). After subtracting these terms, we call the resulting function as the subtracted mass function : M S loop(p;ξ) = m+ αξm 4π ] [+ m p ( L). (44) In the limit m, the wavefunction renormalization acquires the form F(p;ξ) loop = + αξ ] [ Cµ ǫ p + 4π 3m, (45) while the subtracted mass function is M S loop(p;ξ) = m { + αξ ]} [+ p 8π 3m. (46) The last two expressions are in perfect agreement with Eqs. (4,4) after we make the identification : Cµ ǫ γ +ln m Λ. (47) C. Case of weak coupling The case m >> p is relatively easier to handle as we merely have to expand F (β,γ;δ;x) in powers of x and retain only the leading terms. If we want to obtain a series in powers of the coupling alone, we need the expansion of the hypergeometric functions in terms of its parameters β and γ. We follow the technique developed in [4]. One of the mathematical objects we shall use for such an expansion are the Z-sums defined as : Z(n;m,...,m k ;x,...,x k ) = n i >i >...>i k > x i i m For x =... = x k = the definition reduces to the Euler-Zagier sums, [7,8] :... xi k k i m k k. (48) Z(n;m,...,m k ;,...,) = Z m,...,m k (n). (49) Euler-Zagier sums can be used in the expansion of Gamma functions. For positive integers n we have [4]: Γ(n+ǫ) = Γ(+ǫ)Γ(n) [ +ǫz (n )+...+ǫ n Z... (n ) ]. (5) The first sum Z (n ), e.g., is just the (n )-th harmonic number, H n, of order : Z (n ) = n i= i H n. (5) 6

7 With these definitions in hand, we proceed to expand a hypergeometric function, F (+ε,+ε;;x), as an example, assuming x < : F (+ε,+ε;;x) = + = + Γ() Γ(+ε)Γ(+ε) (+ε)γ (+ε) Γ(+ε+n)Γ(+ε+n) x n Γ(+n) n! (+ε+n)(ε+n) Γ (ǫ+n) x n Γ(+n) n!. Employing Eq. (5), we can expand the last expression in powers of ǫ to any desired order of approximation. We shall be interested only in terms upto O(α). F (+ε,+ε;;x) = + x n ε x n +3n +ε n(n+) xn +ε Performing the summations, we obtain F (+ε,+ε;;x) = x [ { ε + +x x H n x n. (5) }] ln( x). (53) Similarly, F (+ε,3+ε;3;x) = { x ε x + 3 x + ( +x x + ) } ln( x). (54) x Substituting back into Eqs. (33,34) and identifying ε = ν, we obtain F(p;ξ) = αξ ) ] [ γ ln ( m 4π Λ + m p ( L), (55) M(p;ξ) = m+ αξm ] [+ m 4π p ( L), which matches exactly onto the one loop result of Eqs. (4,44) after the same identification as before, i.e., (47). Therefore, we have seen that the LKF transformation of the bare propagator contains important information of higher orders in perturbation theory. V. CONCLUSIONS We have studied the gauge covariance of the massive fermion propagator in three as well as four dimensional QED through its LKF transformation, starting from its lowest order approximation. Eqs. (8,9,33,34) form the main result of this article. In the three dimensional case, the LKF transformation consists of basic functions of the momentum variable, whereas, in the four dimensional case, hypergeometric functions arise with electromagnetic coupling as parameter of these functions. Although our input is only the bare propagator, the corresponding LKF transformation, being non-perturbative in nature, contains useful information of higher orders in perturbation theory. For example, we have shown that a perturbative expansion of our results matches onto the known -loop results upto gauge independent terms at this order. This slight difference arises due to our approximated input and can be corrected systematically at the cost of increasing complexity of the integrals involved. We intend to carry out similar exercise for the 3-point fermion-boson vertex. LKF transformations of the propagator and the vertex impose useful constraints on the SDE and we believe that these transformations can be of immense help in addressing the problems of gauge invariance in the related studies. ACKNOWLEDGMENTS We are grateful to C. Schubert for bringing to our attention article [4]. We thank CIC and Conacyt for their support under grants 4. and 3395-E respectively. AB also acknowledges the financial support by Sistema Nacional de Investigadores (SNI). 7

8 APPENDIX Most of the integrals involved in this paper are listed below for a quick reference [9,3] : π dψsin d ψcosψe ιpxcosψ = i ( px ) d ( ) d π Γ Jd(px), (56) For the three dimensional case, the needed integrals are : x d/ J d/ (ax) = Γ(d/). (57) d/ ad/ π dθ sinθ e ipxcosθ = sinpx, px (58) dθ px sinpx (px), π [ cospx cosθ sinθ e ipxcosθ = i ] (59) p 3 [ cospx dp (p +m ) px sinpx ] (px) = π (+mx) x e mx, (6) dp psinpx (p +m ) = π e mx, (6) dx p x e ax [pxcospx sinpx] = + a p arctan p a, (6) p dx a x e ax [pxcospx sinpx] = a +p p arctan p a, (63) dxsinpxe (m+αξ/)x = For the four dimensional case, we used the following integrals in particular : π p (m+αξ/) +p. (64) dθsin θe ipxcosθ = π px J (px), (65) dp pν+ J ν (px) (p +m ) µ+ = mν µ x µ µ Γ(µ+) K ν µ(mx), (66) dxx λ K µ (ax)j ν (bx) = aλ ν b ν ( ) ( ) ν λ+µ+ ν λ µ+ λ+ Γ(+ν) Γ Γ F ( ν λ+µ+, ν λ µ+ ;ν +; b a ). (67) Some of the series used in our calculation are as follows : H n x n = xln( x), (68) x n+ n(n+) xn = +x 4x (+x )ln( x) x, (69) (n+)(n+) xn = x x + ( x)ln( x) x. (7) 8

9 [] L.D. Landau and I.M. Khalatnikov, Zh. Eksp. Teor. Fiz (956). [] L.D. Landau and I.M. Khalatnikov, Sov. Phys. JETP 69 (956). [3] E.S. Fradkin, Sov. Phys. JETP 36 (956). [4] K. Johnson and B. Zumino, Phys. Rev. Lett (959). [5] B. Zumino, J. Math. Phys. (96). [6] J.C. Ward, Phys. Rev. 78 (95). [7] H.S. Green, Proc. Phys. Soc. (London) A (953). [8] Y. Takahashi, Nuovo Cimento 6 37 (957). [9] C.J. Burden and C.D. Roberts, Phys. Rev. D (993). [] J.S. Ball and T.-W. Chiu, Phys. Rev. D 54 (98). [] B. Haeri, Phys. Rev. D43 7 (99). [] D.C. Curtis and M.R. Pennington, Phys. Rev. D4 465 (99). [3] Z. Dong, H.J. Munczek and C.D. Roberts, Phys. Lett. B (994). [4] A. Bashir and M.R. Pennington, Phys. Rev. D (994). [5] A. Bashir and M.R. Pennington, Phys. Rev. D (996). [6] A. Bashir, A. Kızılersü and M.R. Pennington, Phys. Rev. D57 4 (998). [7] C.J. Burden and P.C. Tjiang, Phys. Rev D (998). [8] A. Bashir, A. Kızılersü and M.R. Pennington, Phys. Rev. D6 85 (). [9] A.I. Davydychev, P. Osland and L. Saks, Phys. Rev. D63 4 (). [] E.G. Floratos, D.A. Ross and C.T. Sachrajda, Nucl. Phys. B9 66 (977). [] Analytic Form of the One Loop Vertex and the Two Loop Fermion Propagator in 3-Dimensional Massless QED by A. Bashir, A. Kızılersü and M.R. Pennington, Adelaide University preprint no. ADP-99-8/T353, Durham University preprint no. DTP-99/76, hep-ph/ [] Perturbation Theory Constraints on the 3-Point Vertex in massless QED3 by A. Bashir, Proceedings of the Workshop on Light-Cone QCD and Non Perturbative Hadron Physics, World Scientific, University of Adelaide, Adelaide, Australia, (7-3). [3] A. Bashir, Phys. Lett. B49 8 (). [4] S. Moch, P. Uwer and S. Weinzierl, J. Math. Phys (). [5] A. Kızılersü, M. Reenders and M.R. Pennington, Phys. Rev. D5 4 (995). [6] A. Bashir and A. Raya, Phys. Rev. D64 5 (). [7] L. Euler, Novi Comm. Acad. Sci. Petropol. 4 (775). [8] D. Zagier, First European Congress of Mathematics, Vol. II, Birkhauser, Boston, 497 (994). [9] I.S. Gradshteyn and I.M. Ryzhik, Table of Integrals, Series and Products, sixth edition, (Academic Press, USA),. [3] M. Abramowitz and I.A. Stegun, Handbook of Mathematical Functions, (Dover Publications, USA), 97. 9