Arxiv:1407.7256V3

Home , Gauge fixing

arXiv:1407.7256v3 [hep-th] 5 Aug 2014 h lcrmgei edcnb ecie yasingle a by described potential be vector the can quantity, field electromagnetic the Λ( ucinΛ( function should one ambiguity, this remove first to order mag- In and fields. electric netic same the generate equation) Helmholtz aeeeti n antcfils[] oee,todis- two However, [1]. potentials fields vector magnetic tinct and electric rate et h ag xn odto,tu eemnn the determining thus [5]. condition, unambiguously fixing field imple- gauge automatically con- that the a field, ments words, considered applying simpler the in In to consists straint [2]. method Faddeev-Popov symmetry by related group the are orbits gauge the smaller physical all where a given set, math- smaller a a the to represent of system orbits that of allowed condi- configurations of fixing point number ematical gauge rigorous the a reduce using a to in From tion consists exactly method method this needing. view, Faddeev-Popov this The with of complies development itself. the theory for frame- importance the this paramount within of fixing is gauge gener- work of a concept [3], the method integral of path alization the of means by scribed by described both are [2]. ensures matter) fields (that ordinary gauge force of strong of stability the fusion force the weak nuclear and the and In particles) decay as subatomic Nature. radioactive such in for forces, field fundamental (responsible gauge the only all the electromagnetic fact, not The is elec- however, unique. the field, made and is potential fields vector tromagnetic the between respondence ∗ lcrncades [email protected] address: Electronic tdnslani h al aso hi tde that studies their of days early the in learn Students sal,ti ehdi beto obsado difficult of and doubts of object is method this Usually, de- often is field gauge a of theory quantum the Since x sasaa ed h ag ed htstse the satisfies that field, gauge the field, scalar a is ) a lnkIsiuefrteSineo ih,G Light, of Science the for Institute Planck Max xtegauge the fix x fLgnr rnfr acltdwt h ade-oo me Faddeev-Popov the with Q calculated to fam point. reference transform very any Legendre wa are needing alternative of that without an and concepts provide transform), only we Legendre using this, doing method, By Faddeev-Popov Theory. Field tum .Oc h ag a encoe,tecor- the chosen, been has gauge the Once ). edsushwt mlmn h eedetasomuigthe using transform Legendre the implement to how discuss We .INTRODUCTION I. aeydtrieuiul h gauge the uniquely determine namely , nvriyo ragnNeneg tuttas /2 91 7/B2, Staudtstrasse Erlangen-Nuernberg, of University A µ and A h ade-oo ehdDemystified Method Faddeev-Popov The nttt fApidPyis rerc-cilrUnivers Friedrich-Schiller Physics, Applied of Institute A µ ′ µ = nta ftesepa- the of instead , ea a-inPaz1 74 ea Germany Jena, 07743 1, Platz Max-Wien Jena, nttt o pis nomto n Photonics, and Information Optics, for Institute A µ + ∂ µ Λ( x Dtd uut6 2014) 6, August (Dated: (where ) u ¨ ac Ornigotti Marco te-caosySrse1Bu4 15 ragn Germa Erlangen, 91058 1/Bau24, nther-Scharowsky-Strasse nraAiello Andrea t rnfre pair transformed its otefunction the to tan otefil,adteLgnr rnfr imple- function transform a Legendre between the transformation and con- the a field, ments as the condition gauge to the fixes straint imposing by cer- method gauge Faddeev-Popov to field the constraint the applying systems: essence, in physical far same consist tain the and reality both in different they share namely very other, each apparently from away methods, two these iwvr reyteFdevPpvmto,i h sim- the in method, Faddeev-Popov the briefly very view omo ie function trans- Faddeev- given Legendre the a the which implement of in to form used example is simple method a Popov using by tion, understand to theory. easy field so quantum in not of method a understanding common of didac- better foundations great a physical allow of will the be it would since transform insight, in tical Legendre method illustrat- a “magic” of Faddeev-Popov of the possibility terms of The results least the studies. at ing his seen has during student time any one that very procedure a involves known to it well because method, understanding, Faddeev-Popov ad- immediate the of the be has to tool respect mathematical with This vantage, [9]. between etc.) transformation energy, free the Gibbs enthalpy, (entropy, or functions thermodynamical [8] the states physics equilibrium statistical of in analysis in system the a [7], of of mechanics the function variety classical Lagrangian between wide the transformation a and the in Hamiltonian like application knows problems, finds student physical it since a well, that very instrument mathematical simple it times by motivated the than argument. a of rather physical trick having most some magic for fact, a like In helpful more not appears it. is of [4–6] understanding quan- books better standard theory in field the reported and tum method time, un- this first or the of for development graduate it encounter (either that students dergraduate) the for understanding hswr sognzda olw:i et Iw re- we II Sect. in follows: as organized is work This ti hnteamo hspprt nae hsconnec- this unravel to paper this of aim the then is It very a is hand, other the on transform, Legendre The atmFedTer.Toexamples Two Theory. Field uantum hdaegvnt etrcaiythe clarify better to given are thod oudrtn h sec fthe of essence the understand to y la otesuet sc sthe as (such students the to iliar ade-oo ehdo Quan- of method Faddeev-Popov 5 ragn Germany Erlangen, 058 F ( ,p x, g ∗ ( = ) p ity, yipsn eti constraint certain a imposing by ) f xp ( x − .Ti spsil because possible is This ). f ( x [11]. ) yand ny f ( x and ) 2 plest case of the electromagnetic field. This allows us In order to fully understand the essence of this method, to write Eq. (8), that constitutes central point for our let us consider the following resolution of the identity [4]: work. In Sect. III, a brief recall on the definition of Λ Legendre transform is given. Finally, in Sect. IV we de- δG[A ] Λ rive the Legendre transform formula by making use of I = det DΛδ(G[A ]), (5) δΛ ! the Faddeev-Popov rule. Conclusions are then drawn in Λ=0 Z

Sect. V. where the derivative in round brackets has to be intended in the sense of functional derivative [5]. The Dirac delta function inside the integral is nothing else but the gauge II. THE FADDEEV-POPOV METHOD IN A NUTSHELL condition that one needs to impose to the Lagrangian of the free electromagnetic field [10] in order to fix the gauge, namely One of the possible ways to quantize a field is the so- called path integral quantization. In this scheme, the Λ µ 1 µ transition probability for a physical system to evolve G[A ]= ∂ Aµ + ∂ ∂µΛ(x), (6) from an initial configuration φ(xi) to a final configuration e φ(xf ) is obtained by summing all the probability ampli- where e is the electron charge. Eq. (5) is simply a gener- tudes corresponding to all possible paths in space-time alization to the domain of functional analysis of the well that the system will take to reach the final point xf start- known expression [14] ing from the initial point xi [12]. Then, all the transition amplitudes (n-point functions) can be obtained from a −1 ∂g(x) generating functional (the path integral) of the form 1= dx δ (g(x)) , (7) ∂x " x=x0 # 4 µ Z i R d x (L+J Aµ) Z[J]= DAµe , (1) where x is the point at which g(x) vanishes. Inserting Z 0 the expansion of the unity as given by Eq. (5) into Eq. where L ≡ L[A , ∂ A , x] is the Lagrangian density, A µ ν µ µ (1) (and dropping the bar symbol from A¯ ) gives: represent the field variables and J µ is an external current. µ For the free electromagnetic field the Lagrangian density 4 L µ µν Λ i R d x( +J Aµ) is given by L = −(1/4)Fµν F , and since there are no Z[J]= DΛ DAµ∆[A]δ(G[A ])e , µ field sources, J has to be set to zero at the end of the Z Z (8) calculation [13]. where Following Sect. 7.2 of Ref. [4], we can introduce heuris- tically the Faddeev-Popov method by making the fol- δG[AΛ] lowing observations. First of all, the integral measure ∆[A] = det . (9) δΛ ! DA = Π dA (x) in Eq. (1) accounts for every pos- Λ=0 µ x µ sible A , thus including those that are connected via a µ This result should be compared with Eq. (4). In this gauge transformation. We can make this fact explicit by case, in fact, the generating functional Z[J] is regular- introducing the following notation: ized, thanks to the presence of the Dirac delta function, ¯Λ whose role is to uniquely determine the vector potential Aµ → Aµ . (2) Aµ by suitably fixing the gauge (6) that is given as the This means that now we are considering Aµ as a rep- argument of the Dirac delta function itself. This is the resentative of the class of vector potentials that can be essence of the Faddeev-Popov method: by inserting in obtained from a given A¯µ by performing a gauge trans- the generating functional (1) the resolution of the iden- formation of the type tity as given by Eq. (5), one is now able to introduce a constraint (through a Dirac delta function) that auto- ¯ Aµ = Aµ + ∂µΛ(x). (3) matically fixes the gauge, thus eliminating the arbitrari- ness of the vector potential A and removing the problem With this trick, we can rewrite the generating functional µ of overcounting the field configurations. Z[J] as follows, by separating the contributions of A¯ µ Let us now put this result in a more appealing form, and Λ(x): that will be helpful for the results of the next section. To 4 µ ¯ this aim, let us rewrite Eq. (8) in the following way: i R d x (L+J Aµ) Z[J]= DA¯µe DΛ. (4) Z Z Λ Z[J]= DΛ F[Aµ, Λ; J]∆[Aµ]δ(G[A ]), (10) The presence of the second integral DΛ is the one that Z causes Z[J] to diverge, since there are infinitely many where gauge fields Λ(x) that satisfy Eq. (3).R The regulariza- 4 µ tion of the integral (4) is the scope of the Faddeev-Popov i R d x(L+J Aµ) method. F[Aµ, Λ; J]= DAµe , (11) Z 3 and the dependence of F on Λ is implicitly contained in IV. IMPLEMENTING THE LEGENDRE TRANSFORM WITH THE FADDEEV-POPOV Aµ through Eq. (3). Although at a first glance Eq. (10) may appear cumbersome and of little use, its form has METHOD a great advantage: it may be directly used to calculate the Legendre transform of an arbitrary function f(x), We now want to show that another way of obtain- as we will discuss in the next section. Moreover, written ing the Legendre transform is by applying the Faddeev- in this form, the physical idea behind the Faddeev-Popov Popov trick to F (x, p) as given by Eq. (10). To do this, method appear more clear: given a functional F[Aµ, Λ; J] we firstly rewrite Eq. (10) for the case of ordinary func- that depends on the particular choice of the gauge functions (instead of functionals) as follows: tion Λ(x), the Faddeev-Popov method consists in insert- Λ ing the gauge fixing condition G[A ] in the form of an I = dx F (x, p)∆(p, x )δ G(x, p) , (14) integral over the gauge configurations Λ. The presence of 0 Z the term ∆[Aµ, 0] simply accounts for the correct normal- ization term to insert in order not to modify the physics where x0 is the point in which G(x, p) = 0 with respect of the original system. to x and ∆(p, x0) is a function to be yet determined. For the purpose of this note, we will assume that the function G(x, p) vanishes only for a single given x0 in the considered interval. We can expand the Dirac delta function in the integral with the usual expansion formula III. THE LEGENDRE TRANSFORM [14]

δ(x − x0) δ(w(x)) = ′ , (15) Before calculating the Legendre transform by means |w (x0)| of the Faddeev-Popov method, let us first briefly recall ′ the definition of Legendre transform and clarify its use where x0 is the zero of the function w(x) and w (x0) is the with a simple example. Following the standard textbook first derivative of w(x) evaluated in x = x0. Substituting definition [11], let us assume to have a function f(x), this expression in eq. (14) brings to and let us define, starting from f(x), the two functions δ(x − x ) F (x, p) = px − f(x) and G(x, p) = ∂F (x, p)/∂x. It is I = dx F (x, p)∆(p, x ) 0 , (16) 0 |G′(x ,p)| then possible to define the Legendre transform g(p) of Z 0 f(x) as: and it appear clear that we can choose ∆(x0,p) in such a way that it compensates the extra term in the the de- nominator, namely g(p)= F (x, p)|G(x,p)=0, (12) ∂G(x, p) ∆(p, x )= = |G′(x ,p)|. (17) where the constraint G(x, p) = 0 is intended to be solved 0 ∂x 0 x=x0 with respect to x. The reader should also keep in mind that, in order for the Legendre transform to make sense, Note that this definition is fully equivalent and consis- the initial function f(x) has to be convex, i.e., the func- tent with the one given by Eq. (9). This brings to the tion must have positive second derivative. It is also worth following result: to be noted, that the definition of Legendre transform given here is only one of its possible form. Frequently, I = dx F (x, p)δ(x − x0)= F (x0,p). (18) the Legendre transform is also defined as a constrained Z maximization of the function f(x) [11]. For the purposes Now, since x is the value at which the function G(x, p)= of this paper, however, this definition suites more the 0 0, the last term in the equality can be rewritten as needings. F (x, p)|G(x,p)=0, thus giving As an example of calculation of the Legendre transform, let us take the simple function f(x) = x2/2. We I = dx F (x, p)∆(x ,p)δ G(x, p) dx then have that F (x, p)= px − x2/2, G(x, p)= p − x, and 0 Z the function G(x, p) vanishes for x0 = p. Substituting = F (x0,p)= F (x, p)|G(x,p)=0 ≡ g(p) (19) this into Eq. (12) we have the following: This is exactly the Legendre transform g(p) of the initial function f(x). This result is worth a bit of discussion. x2 To start with, let us consider again Eq. (12). There, g(p) = F (x, p)|G(x,p)=0 = xp − 2 the Legendre transform is implemented by applying the x=x0=p constraint G(x, p) = 0 to the function F (x, p). In that p2 p2 = p2 − = . (13) case, the constraint is applied “ad hoc” in order to pro- 2 2 duce the function g(p). In Eq. (16), instead, the same 4 constraint G(x, p) = 0 is applied to the function F (x, p) respect to the variableq ˙, and that q acts simply as a pa- in a more natural way by means of the Faddeev-Popov rameter in Eq. (23). So said, we can build the analogue trick, by making the constraint the argument of the Dirac of the function F (x, p) as delta function. The Legendre transformation is now implemented by selecting (among all the possible values of F (q,p ˙ ; q)= pq˙ − Lho(q, q˙). (24) x) only those values x0 that make the argument of the Dirac delta in Eq. (16) vanish. The constraint, in this Notice that we used the semi-colon in the argument of case, is therefore automatically applied, and the result F (q,p ˙ ; q) to indicate that here q plays the role of a pa- is the same as in the case of the standard definition of rameter, as the application of the Faddeev-Popov method Legendre transform as given by Eq. (12). leaves q unchanged. The constraint G(x, p) is now given We now repeat the example of Sect. III by using the by Faddeev-popov method given by Eq. (14) to calculate the Legendre transform of the function f(x)= x2/2. As ∂F (q,p ˙ ; q) ∂Lho(q, q˙) before, F (x, p) = xp − x2/2 and G(x, p) = p − x, that G(q,p ˙ ; q)= = p− = p−mq,˙ (25) ∂q˙ ∂q˙ vanish for x0 = p. Therefore we have that ∆(p, x0) = ′ |G (p,p)| = 1 and ′ and therefore ∆(q ˙0,p; q) = |G (q ˙0,p; q)| = m, where q˙0 = p/m is the point at which G(q,p ˙ ; q) vanishes with δ G(x, p) = δ(x − p). (20) respect toq ˙. Notice that G(q,p ˙ ; q) = 0 corresponds to the usual definition of the canonical momentum in terms Substituting these results into Eq. (14) then gives: of derivative of the Lagrangian with respect toq ˙. This is the actual constraint that implements the Legendre p2 I = dx F (x, p)δ(x − p)= F (p,p)= ≡ g(p). (21) transform. 2 Z In this case, Eq. (14) becomes This trivial, but instructive, example proves that our definition of Legendre transform via the integral in Eq. I = dq˙ pq˙ − Lho(q, q˙) mδ p − mq˙ (19) is a valid and fully compatible definition of Legendre Z transform. Moreover, this allows us to give a more intu- h i p = dq˙ pq˙ − L (q, q˙) δ q˙ − itive and clear explanation on how to apply the Faddeev- ho m Popov method and what is its physical meaning, by pro- Z p h p i = p − L q, viding an example of application in a more familiar con- m ho m text for the students, than the framework of quantum p2 1 = + mω2q2 ≡ H . (26) field theory where this method finds its natural applica- 2m 2 ho tion. As a second, more physical example, let us consider the problem of calculating the Hamiltonian of an harmonic oscillator given its Lagrangian V. CONCLUSIONS

1 2 1 2 2 Lho(q, q˙)= mq˙ − mω q , (22) In conclusion, we have discussed how the Faddeev- 2 2 Popov method can be used to easily implement the Leg- endre transform of an arbitrary function f(x). As an ex- whereq ˙ = dq/dt, m is the oscillator mass and ω is the 2 characteristic oscillator frequency. As it is well known, ample, we considered the simple case of f(x)= x /2asa the Hamiltonian is calculated by firstly introducting the direct verification of the validity of our correspondence. We have also presented, as a more physically meaningful canonically conjugate momentum p = ∂Lho/∂q˙ = mq˙ and then by performing a Legendre transform [7]: example, how to use the Faddeev-Popov method to calculate the Hamiltonian of a classical harmonic oscillator 2 starting from the knowledge of its Lagrangian function. p 1 2 2 Hho(q,p)= pq˙ − Lho(q, q˙)= + mω q . (23) This provides a novel point of view on the method itself, 2m 2 that only makes use of concepts familiar to the students We now want to reproduce the same result by applying such as the Legendre transform, without invoking any the Faddeev-Popov method. First of all, it is worth notic- complicated theoretical framework as quantum field the- ing that in this case the Legendre transform is made with ory or gauge theory.

[1] J. D. Jackson,Classical Electrodynamics, 3rd edition (Wi- [2] S. Weinberg, The Quantum Theory of Fields, Volume II: ley, Hoboken, NJ, 1999). Modern Applications (Cambridge University Press, Cam- 5

bridge, UK, 2005). calculus, Am. J. Phys. 72,753-757 (2004). [3] A. Das, Field Theory: a Path Integral Approach, 2nd [10] Normally, the Lorentz gauge is considered. However, with edition (World Scientific Pub. Co., Singapore, 2006). no loss of generality we can assume any gauge condition [4] L. H. Ryder, Quantum Field Theory, (Cambridge Uni- here. versity Press, Cambridge, UK, 1985). [11] R. T. Rockafellar, Convex Analysis (Princeton Land- [5] L. S. Brown, Quantum Field Theory, Revised edition marks in Mathematics and Physics), (Princeton Univer- (Cambridge University Press, Cambridge, UK, 1994). sity Press, Princeton, NJ, 1970). [6] M. E. Peskin and D. V. Schroeder, An Introduction to [12] L. M. Brown (editor), Feynman’s Thesis: A New Ap- Quantum Field Theory, (Westview Press, Boulder, CO, proach to Quantum Theory, (World Scientific Pub Co., 1995). Singapore, 2005). [7] H. Goldstein, C. P. Poole and J. L. Safko Classical [13] In this case J µ serves as ancillary variable that highly Mechanics, 3rd international edition (Addison Wesley, simplifies the calculations. See Ref. [4–6] for a more de- Boston, MA, 2001). tailed discussion about the role of the current term J µ. [8] L. D. Landau and E. M. Lifshitz, Statistical Physics: [14] F. W. Byron and R. W. Fuller, Mathematics of Classical Volume 5 (Course of Theoretical Physics), 3ed edition and Quantum Physics, Revised edition (Dover Pub. Inc., (Butterworth-Heinemann, Oxford, UK, 1975). Mineola, NY, 1992). [9] J. W. Cannon, Connecting thermodynamics to students’