Common integrals in quantum field theory

Short description: none

Common integrals in quantum field theory are all variations and generalizations of Gaussian integrals to the complex plane and to multiple dimensions.[1]: 13–15 Other integrals can be approximated by versions of the Gaussian integral. Fourier integrals are also considered.

## Contents

* 1 Variations on a simple Gaussian integral
* 1.1 Gaussian integral
* 1.2 Slight generalization of the Gaussian integral
* 1.3 Integrals of exponents and even powers of x
* 1.4 Integrals with a linear term in the argument of the exponent
* 1.5 Integrals with an imaginary linear term in the argument of the exponent
* 1.6 Integrals with a complex argument of the exponent
* 2 Gaussian integrals in higher dimensions
* 2.1 Example: Simple Gaussian integration in two dimensions
* 2.1.1 Diagonalize the matrix
* 2.1.1.1 Eigenvalues of A
* 2.1.1.2 Eigenvectors of A
* 2.1.1.3 Construction of the orthogonal matrix
* 2.1.1.4 Diagonal matrix
* 2.1.1.5 Numerical example
* 2.1.2 Rescale the variables and integrate
* 2.2 Integrals with complex and linear terms in multiple dimensions
* 2.2.1 Integrals with a linear term in the argument
* 2.2.2 Integrals with an imaginary linear term
* 2.2.3 Integrals with a complex quadratic term
* 2.3 Integrals with differential operators in the argument
* 3 Integrals that can be approximated by the method of steepest descent
* 4 Integrals that can be approximated by the method of stationary phase
* 5 Fourier integrals
* 5.1 Dirac delta distribution
* 5.2 Fourier integrals of forms of the Coulomb potential
* 5.2.1 Laplacian of 1/r
* 5.2.2 Yukawa potential: the Coulomb potential with mass
* 5.2.3 Modified Coulomb potential with mass
* 5.2.4 Longitudinal potential with mass
* 5.2.5 Transverse potential with mass
* 5.2.6 Angular integration in cylindrical coordinates
* 6 Bessel functions
* 6.1 Integration of the cylindrical propagator with mass
* 6.1.1 First power of a Bessel function
* 6.1.2 Squares of Bessel functions
* 6.2 Integration over a magnetic wave function
* 7 See also
* 8 References

## Variations on a simple Gaussian integral

### Gaussian integral

The first integral, with broad application outside of quantum field theory, is the Gaussian integral. G≡∫−∞∞e−12x2dx

In physics the factor of 1/2 in the argument of the exponential is common.

Note that, if we let r=x2+y2 be the radius, then we can use the usual polar coordinate change of variables (which in particular renders dxdy=rdrdθ) to get G2=(∫−∞∞e−12x2dx)⋅(∫−∞∞e−12y2dy)=2π∫0∞re−12r2dr=2π∫0∞e−wdw=2π.

Thus we obtain ∫−∞∞e−12x2dx=2π.

### Slight generalization of the Gaussian integral

∫−∞∞e−12ax2dx=2πa where we have scaled x->xa.

### Integrals of exponents and even powers of x

∫−∞∞x2e−12ax2dx=−2dda∫−∞∞e−12ax2dx=−2dda(2πa)12=(2πa)121a and ∫−∞∞x4e−12ax2dx=(−2dda)(−2dda)∫−∞∞e−12ax2dx=(−2dda)(−2dda)(2πa)12=(2πa)123a2

In general ∫−∞∞x2ne−12ax2dx=(2πa)121an(2n−1)(2n−3)⋯5⋅3⋅1=(2πa)121an(2n−1)!!

Note that the integrals of exponents and odd powers of x are 0, due to odd symmetry.

### Integrals with a linear term in the argument of the exponent

∫−∞∞exp⁡(−12ax2+Jx)dx

This integral can be performed by completing the square: (−12ax2+Jx)=−12a(x2−2Jxa+J2a2−J2a2)=−12a(x−Ja)2+J22a

Therefore: ∫−∞∞exp⁡(−12ax2+Jx)dx=exp⁡(J22a)∫−∞∞exp⁡[−12a(x−Ja)2]dx=exp⁡(J22a)∫−∞∞exp⁡(−12aw2)dw=(2πa)12exp⁡(J22a)

### Integrals with an imaginary linear term in the argument of the exponent

The integral ∫−∞∞exp⁡(−12ax2+iJx)dx=(2πa)12exp⁡(−J22a) is proportional to the Fourier transform of the Gaussian where J is the conjugate variable of x.

By again completing the square we see that the Fourier transform of a Gaussian is also a Gaussian, but in the conjugate variable. The larger a is, the narrower the Gaussian in x and the wider the Gaussian in J. This is a demonstration of the uncertainty principle.

This integral is also known as the Hubbard–Stratonovich transformation used in field theory.

### Integrals with a complex argument of the exponent

The integral of interest is (for an example of an application see Relation between Schrödinger's equation and the path integral formulation of quantum mechanics) ∫−∞∞exp⁡(12iax2+iJx)dx.

We now assume that a and J may be complex.

Completing the square (12iax2+iJx)=12ia(x2+2Jxa+(Ja)2−(Ja)2)=−12ai(x+Ja)2−iJ22a.

By analogy with the previous integrals ∫−∞∞exp⁡(12iax2+iJx)dx=(2πia)12exp⁡(−iJ22a).

This result is valid as an integration in the complex plane as long as a is non-zero and has a semi-positive imaginary part. See Fresnel integral.

## Gaussian integrals in higher dimensions

The one-dimensional integrals can be generalized to multiple dimensions.[2] ∫exp⁡(−12x⋅A⋅x+J⋅x)dnx=(2π)ndet⁡Aexp⁡(12J⋅A−1⋅J)

Here A is a real positive definite symmetric matrix.

This integral is performed by diagonalization of A with an orthogonal transformation D=O−1AO=OTAO where D is a diagonal matrix and O is an orthogonal matrix. This decouples the variables and allows the integration to be performed as n one-dimensional integrations.

This is best illustrated with a two-dimensional example.

### Example: Simple Gaussian integration in two dimensions

The Gaussian integral in two dimensions is ∫exp⁡(−12Aijxixj)d2x=(2π)2det⁡A where A is a two-dimensional symmetric matrix with components specified as A=[accb] and we have used the Einstein summation convention.

#### Diagonalize the matrix

The first step is to diagonalize the matrix.[3] Note that Aijxixj≡xTAx=xT(OOT)A(OOT)x=(xTO)(OTAO)(OTx) where, since A is a real symmetric matrix, we can choose O to be orthogonal, and hence also a unitary matrix. O can be obtained from the eigenvectors of A. We choose O such that: D ≡ OTAO is diagonal.

##### Eigenvalues of A

To find the eigenvectors of A one first finds the eigenvalues λ of A given by [accb][uv]=λ[uv].

The eigenvalues are solutions of the characteristic polynomial (a−λ)(b−λ)−c2=0 λ2−λ(a+b)+ab−c2=0, which are found using the quadratic equation: λ±=12(a+b)±12(a+b)2−4(ab−c2).=12(a+b)±12a2+2ab+b2−4ab+4c2.=12(a+b)±12(a−b)2+4c2.

##### Eigenvectors of A

Substitution of the eigenvalues back into the eigenvector equation yields v=−(a−λ±)uc,v=−cu(b−λ±).

From the characteristic equation we know a−λ±c=cb−λ±.

Also note a−λ±c=−b−λ∓c.

The eigenvectors can be written as: [1η−a−λ−cη],[−b−λ+cη1η] for the two eigenvectors. Here η is a normalizing factor given by, η=1+(a−λ−c)2=1+(b−λ+c)2.

It is easily verified that the two eigenvectors are orthogonal to each other.

##### Construction of the orthogonal matrix

The orthogonal matrix is constructed by assigning the normalized eigenvectors as columns in the orthogonal matrix

O=[1η−b−λ+cη−a−λ−cη1η].

Note that det(O) = 1.

If we define sin⁡(θ)=−a−λ−cη then the orthogonal matrix can be written O=[cos⁡(θ)−sin⁡(θ)sin⁡(θ)cos⁡(θ)] which is simply a rotation of the eigenvectors with the inverse: O−1=OT=[cos⁡(θ)sin⁡(θ)−sin⁡(θ)cos⁡(θ)].

##### Diagonal matrix

The diagonal matrix becomes D=OTAO=[λ−00λ+] with eigenvectors [10],[01]

##### Numerical example

A=[2111]

The eigenvalues are λ±=32±52.

The eigenvectors are 1η[1−12−52],1η[12+521] where η=52+52.

Then O=[1η1η(12+52)1η(−12−52)1η]O−1=[1η1η(−12−52)1η(12+52)1η]

The diagonal matrix becomes D=OTAO=[λ−00λ+]=[32−520032+52] with eigenvectors [10],[01]

#### Rescale the variables and integrate

With the diagonalization the integral can be written ∫exp⁡(−12xTAx)d2x=∫exp⁡(−12∑j=12λjyj2)d2y where y=OTx.

Since the coordinate transformation is simply a rotation of coordinates the Jacobian determinant of the transformation is one yielding d2y=d2x

The integrations can now be performed: ∫exp⁡(−12xTAx)d2x=∫exp⁡(−12∑j=12λjyj2)d2y=∏j=12(2πλj)1/2=((2π)2∏j=12λj)1/2=((2π)2det⁡(O−1AO))1/2=((2π)2det⁡(A))1/2 which is the advertised solution.

### Integrals with complex and linear terms in multiple dimensions

With the two-dimensional example it is now easy to see the generalization to the complex plane and to multiple dimensions.

#### Integrals with a linear term in the argument

∫exp⁡(−12xT⋅A⋅x+JT⋅x)dx=(2π)ndet⁡Aexp⁡(12JT⋅A−1⋅J)

#### Integrals with an imaginary linear term

∫exp⁡(−12xT⋅A⋅x+iJT⋅x)dx=(2π)ndet⁡Aexp⁡(−12JT⋅A−1⋅J)

#### Integrals with a complex quadratic term

∫exp⁡(i2xT⋅A⋅x+iJT⋅x)dx=(2πi)ndet⁡Aexp⁡(−i2JT⋅A−1⋅J)

### Integrals with differential operators in the argument

As an example consider the integral[1]: 21‒22 ∫exp⁡[∫d4x(−12φA^φ+Jφ)]Dφ where A^ is a differential operator with φ and J functions of spacetime, and Dφ indicates integration over all possible paths. In analogy with the matrix version of this integral the solution is ∫exp⁡[∫d4x(−12φA^φ+Jφ)]Dφ∝exp⁡(12∫d4xd4yJ(x)D(x−y)J(y)) where A^D(x−y)=δ4(x−y) and D(x − y), called the propagator, is the inverse of A^, and δ4(x−y) is the Dirac delta function.

Similar arguments yield ∫exp⁡[∫d4x(−12φA^φ+iJφ)]Dφ∝exp⁡(−12∫d4xd4yJ(x)D(x−y)J(y)), and ∫exp⁡[i∫d4x(12φA^φ+Jφ)]Dφ∝exp⁡(−i2∫d4xd4yJ(x)D(x−y)J(y)).

See Path-integral formulation of virtual-particle exchange for an application of this integral.

## Integrals that can be approximated by the method of steepest descent

In quantum field theory n-dimensional integrals of the form ∫−∞∞exp⁡(−1ℏf(q))dnq appear often. Here ℏ is the reduced Planck constant and f is a function with a positive minimum at q=q0. These integrals can be approximated by the method of steepest descent.

For small values of the Planck constant, f can be expanded about its minimum ∫−∞∞exp⁡[−1ℏ(f(q0)+12(q−q0)2f′′(q−q0)+⋯)]dnq.Here f′′ is the n by n matrix of second derivatives evaluated at the minimum of the function.

If we neglect higher order terms this integral can be integrated explicitly. ∫−∞∞exp⁡[−1ℏ(f(q))]dnq≈exp⁡[−1ℏ(f(q0))](2πℏ)ndet⁡f′′.

## Integrals that can be approximated by the method of stationary phase

A common integral is a path integral of the form ∫exp⁡(iℏS(q,q˙))Dq where S(q,q˙) is the classical action and the integral is over all possible paths that a particle may take. In the limit of small ℏ the integral can be evaluated in the stationary phase approximation. In this approximation the integral is over the path in which the action is a minimum. Therefore, this approximation recovers the classical limit of mechanics.

## Fourier integrals

### Dirac delta distribution

The Dirac delta distribution in spacetime can be written as a Fourier transform[1]: 23 ∫d4k(2π)4exp⁡(ik(x−y))=δ4(x−y).

In general, for any dimension N ∫dNk(2π)Nexp⁡(ik(x−y))=δN(x−y).

### Fourier integrals of forms of the Coulomb potential

#### Laplacian of 1/r

While not an integral, the identity in three-dimensional Euclidean space −14π∇2(1r)=δ(𝐫)wherer2=𝐫⋅𝐫is a consequence of Gauss's theorem and can be used to derive integral identities. For an example see Longitudinal and transverse vector fields.

This identity implies that the Fourier integral representation of 1/r is ∫d3k(2π)3exp⁡(i𝐤⋅𝐫)k2=14πr.

#### Yukawa potential: the Coulomb potential with mass

The Yukawa potential in three dimensions can be represented as an integral over a Fourier transform[1]: 26, 29 ∫d3k(2π)3exp⁡(i𝐤⋅𝐫)k2+m2=e−mr4πr where r2=𝐫⋅𝐫,k2=𝐤⋅𝐤.

See Static forces and virtual-particle exchange for an application of this integral.

In the small m limit the integral reduces to ⁠1/4πr⁠.

To derive this result note: ∫d3k(2π)3exp⁡(i𝐤⋅𝐫)k2+m2=∫0∞k2dk(2π)2∫−11dueikruk2+m2=2r∫0∞kdk(2π)2sin⁡(kr)k2+m2=1ir∫−∞∞kdk(2π)2eikrk2+m2=1ir∫−∞∞kdk(2π)2eikr(k+im)(k−im)=1ir2πi(2π)2im2ime−mr=14πre−mr

#### Modified Coulomb potential with mass

∫d3k(2π)3(k^⋅r^)2exp⁡(i𝐤⋅𝐫)k2+m2=e−mr4πr[1+2mr−2(mr)2(emr−1)] where the hat indicates a unit vector in three dimensional space. The derivation of this result is as follows: ∫d3k(2π)3(k^⋅r^)2exp⁡(i𝐤⋅𝐫)k2+m2=∫0∞k2dk(2π)2∫−11du u2eikruk2+m2=2∫0∞k2dk(2π)21k2+m2[1krsin⁡(kr)+2(kr)2cos⁡(kr)−2(kr)3sin⁡(kr)]=e−mr4πr[1+2mr−2(mr)2(emr−1)]

Note that in the small m limit the integral goes to the result for the Coulomb potential since the term in the brackets goes to 1.

#### Longitudinal potential with mass

∫d3k(2π)3k^k^exp⁡(i𝐤⋅𝐫)k2+m2=12e−mr4πr([𝟏−r^r^]+{1+2mr−2(mr)2(emr−1)}[𝟏+r^r^]) where the hat indicates a unit vector in three dimensional space. The derivation for this result is as follows: ∫d3k(2π)3k^k^exp⁡(i𝐤⋅𝐫)k2+m2=∫d3k(2π)3[(k^⋅r^)2r^r^+(k^⋅θ^)2θ^θ^+(k^⋅ϕ^)2ϕ^ϕ^]exp⁡(i𝐤⋅𝐫)k2+m2=e−mr4πr{1+2mr−2(mr)2(emr−1)}{𝟏−12[𝟏−r^r^]}+∫0∞k2dk(2π)2∫−11dueikruk2+m212[𝟏−r^r^]=12e−mr4πr[𝟏−r^r^]+e−mr4πr{1+2mr−2(mr)2(emr−1)}{12[𝟏+r^r^]}=12e−mr4πr([𝟏−r^r^]+{1+2mr−2(mr)2(emr−1)}[𝟏+r^r^])

Note that in the small m limit the integral reduces to 1214πr[𝟏−r^r^].

#### Transverse potential with mass

∫d3k(2π)3[𝟏−k^k^]exp⁡(i𝐤⋅𝐫)k2+m2=12e−mr4πr{2(mr)2(emr−1)−2mr}[𝟏+r^r^]

In the small mr limit the integral goes to 1214πr[𝟏+r^r^].

For large distance, the integral falls off as the inverse cube of r 14πm2r3[𝟏+r^r^].

For applications of this integral see Darwin Lagrangian and Darwin interaction in a vacuum.

#### Angular integration in cylindrical coordinates

There are two important integrals. The angular integration of an exponential in cylindrical coordinates can be written in terms of Bessel functions of the first kind[4][5]: 113 ∫02πdφ2πexp⁡(ipcos⁡(φ))=J0(p) and ∫02πdφ2πcos⁡(φ)exp⁡(ipcos⁡(φ))=iJ1(p).

For applications of these integrals see Magnetic interaction between current loops in a simple plasma or electron gas.

## Bessel functions

### Integration of the cylindrical propagator with mass

#### First power of a Bessel function

∫0∞kdkk2+m2J0(kr)=K0(mr).

See Abramowitz and Stegun.[6]: §11.4.44

For mr≪1, we have[5]: 116 K0(mr)->−ln⁡(mr2)+0.5772.

For an application of this integral see Two line charges embedded in a plasma or electron gas.

#### Squares of Bessel functions

The integration of the propagator in cylindrical coordinates is[4] ∫0∞kdkk2+m2J12(kr)=I1(mr)K1(mr).

For small mr the integral becomes ∫o∞kdkk2+m2J12(kr)->12[1−18(mr)2].

For large mr the integral becomes ∫o∞kdkk2+m2J12(kr)->12(1mr).

For applications of this integral see Magnetic interaction between current loops in a simple plasma or electron gas.

In general, ∫0∞kdkk2+m2Jν2(kr)=Iν(mr)Kν(mr)ℜ(ν)>−1.

### Integration over a magnetic wave function

The two-dimensional integral over a magnetic wave function is[6]: §11.4.28 2a2n+2n!∫0∞drr2n+1exp⁡(−a2r2)J0(kr)=M(n+1,1,−k24a2).

Here, M is a confluent hypergeometric function. For an application of this integral see Charge density spread over a wave function.

## See also

* Relation between Schrödinger's equation and the path integral formulation of quantum mechanics

## References

1. ↑ 1.0 1.1 1.2 1.3 A. Zee (2003). Quantum Field Theory in a Nutshell. Princeton University. ISBN 0-691-01019-6.
2. ↑ Frederick W. Byron and Robert W. Fuller (1969). Mathematics of Classical and Quantum Physics. Addison-Wesley. ISBN 0-201-00746-0.
3. ↑ Herbert S. Wilf (1978). Mathematics for the Physical Sciences. Dover. ISBN 0-486-63635-6. https://archive.org/details/mathematicsforph0000wilf_w9m6.
4. ↑ 4.0 4.1 (in English) Table of Integrals, Series, and Products (8 ed.). Academic Press, Inc.. 2015. ISBN 978-0-12-384933-5.
5. ↑ 5.0 5.1 Jackson, John D. (1998). Classical Electrodynamics (3rd ed.). Wiley. ISBN 0-471-30932-X.
6. ↑ 6.0 6.1 M. Abramowitz; I. Stegun (1965). Handbook of Mathematical Functions. Dover. ISBN 0486-61272-4. https://archive.org/details/handbookofmathe000abra.

* v
* t
* e

Branches of physics

Divisions|

* Theoretical
* Phenomenology
* Computational
* Experimental
* Applied

Classical|

| Classical mechanics|

* Continuum
* Solid
* Fluid
* Acoustics

|

Electrodynamics|

* Electrostatics
* Magnetostatics
* Plasma physics
* Accelerator physics

Statistical mechanics|

* Thermodynamics
* Condensed matter
* Materials
* Mesoscopic
* Polymers
* Soft
* Solid-state

Modern|

| Quantum mechanics|

* Quantum electrodynamics
* Quantum field theory
* Quantum gravity
* Quantum information

|

Relativity|

* General
* Special

Particle physics|

* Astroparticle
* Nuclear
* Quantum chromodynamics

Atomic, molecular
and optical physics|

* Atomic physics
* Molecular physics
* Optics
* Photonics
* Quantum optics

Cosmology|

* Astrophysics
* Nuclear
* Celestial mechanics
* Solar
* Heliophysics
* Space physics

Interdisciplinary|

* Biophysics
* Agrophysics
* Medical
* Neurophysics
* Engineering
* Geophysics
* Atmospheric
* Cloud
* Materials science
* Mathematical physics
* Physical chemistry
* Chemical physics
* Physical oceanography
* Quantum computing
* Social physics
* Econophysics

See also|

* History of physics
* Nobel Prize in Physics
* Timeline of physics discoveries
* Theory of everything

* v
* t
* e

Integrals

Types of integrals|

* Riemann integral
* Lebesgue integral
* Burkill integral
* Bochner integral
* Daniell integral
* Darboux integral
* Henstock–Kurzweil integral
* Haar integral
* Hellinger integral
* Khinchin integral
* Kolmogorov integral
* Lebesgue–Stieltjes integral
* Pettis integral
* Pfeffer integral
* Riemann–Stieltjes integral
* Regulated integral

Integration methods|

* Integration by parts
* Integration by substitution
* Inverse function integration
* Order of integration (calculus)
* trigonometric substitution
* Integration by partial fractions
* Integration by reduction formulae
* Integration using parametric derivatives
* Integration using Euler's formula
* Differentiation under the integral sign
* Contour integration
* Numerical integration

Improper integrals|

* Improper integral
* Gaussian integral

Stochastic integrals|

* Itô integral
* Russo–Vallois integral
* Stratonovich integral
* Skorokhod integral

0.00

(0 votes)

Original source: https://en.wikipedia.org/wiki/Common integrals in quantum field theory. Read more

|

Retrieved from "https://handwiki.org/wiki/index.php?title=Physics:Common_integrals_in_quantum_field_theory&oldid=4349158"
*[v]: View this template
*[t]: Discuss this template
*[e]: Edit this template