HOME

TheInfoList



OR:

Feynman parametrization is a technique for evaluating
loop integral In quantum field theory and statistical mechanics, loop integrals are the integrals which appear when evaluating the Feynman diagrams with one or more loops by integrating over the internal momenta. These integrals are used to determine counterter ...
s which arise from
Feynman diagram In theoretical physics, a Feynman diagram is a pictorial representation of the mathematical expressions describing the behavior and interaction of subatomic particles. The scheme is named after American physicist Richard Feynman, who introduc ...
s with one or more loops. However, it is sometimes useful in integration in areas of
pure mathematics Pure mathematics is the study of mathematical concepts independently of any application outside mathematics. These concepts may originate in real-world concerns, and the results obtained may later turn out to be useful for practical applications, ...
as well.


Formulas

Richard Feynman Richard Phillips Feynman (; May 11, 1918 – February 15, 1988) was an American theoretical physicist, known for his work in the path integral formulation of quantum mechanics, the theory of quantum electrodynamics, the physics of the superflu ...
observed that: :\frac=\int^1_0 \frac which is valid for any complex numbers ''A'' and ''B'' as long as 0 is not contained in the line segment connecting ''A'' and ''B.'' The formula helps to evaluate integrals like: :\begin \int \frac &= \int dp \int^1_0 \frac \\ &= \int^1_0 du \int \frac. \end If ''A''(''p'') and ''B''(''p'') are linear functions of ''p'', then the last integral can be evaluated using substitution. More generally, using the
Dirac delta function In mathematics, the Dirac delta distribution ( distribution), also known as the unit impulse, is a generalized function or distribution over the real numbers, whose value is zero everywhere except at zero, and whose integral over the entire ...
\delta: :\begin \frac&= (n-1)! \int^1_0 du_1 \cdots \int^1_0 du_n \frac \\ &=(n-1)! \int^1_0 du_1 \int^_0 du_2 \cdots \int^_0 du_ \frac. \end This formula is valid for any complex numbers ''A1'',...,''An'' as long as 0 is not contained in their
convex hull In geometry, the convex hull or convex envelope or convex closure of a shape is the smallest convex set that contains it. The convex hull may be defined either as the intersection of all convex sets containing a given subset of a Euclidean space ...
. Even more generally, provided that \text ( \alpha_ ) > 0 for all 1 \leq j \leq n : :\frac = \frac\int_^du_\cdots\int_^du_\frac where the
Gamma function In mathematics, the gamma function (represented by , the capital letter gamma from the Greek alphabet) is one commonly used extension of the factorial function to complex numbers. The gamma function is defined for all complex numbers except ...
\Gamma was used.


Derivation

:\frac = \frac\left(\frac-\frac\right)=\frac\int_B^A \frac. By using the substitution u=(z-B)/(A-B), we have du = dz/(A-B), and z = uA + (1-u)B, from which we get the desired result :\frac = \int_0^1 \frac. In more general cases, derivations can be done very efficiently using the
Schwinger parametrization Schwinger parametrization is a technique for evaluating loop integrals which arise from Feynman diagrams with one or more loops. Using the well-known observation that :\frac=\frac\int^\infty_0 du \, u^e^, Julian Schwinger noticed that one may ...
. For example, in order to derive the Feynman parametrized form of \frac , we first reexpress all the factors in the denominator in their Schwinger parametrized form: :\frac= \int^\infty_0 ds_i \, e^ \ \ \text i =1,\ldots,n and rewrite, : \frac=\int_0^\infty ds_1\cdots \int_0^\infty ds_n \exp\left(-\left(s_1A_1+\cdots+s_nA_n\right)\right). Then we perform the following change of integration variables, : \alpha = s_1+...+s_n, : \alpha_ = \frac; \ i=1,\ldots,n-1, to obtain, : \frac = \int_^d\alpha_1\cdots d\alpha_ \int_^d\alpha\ \alpha^\exp\left(-\alpha\left\ \right). where \int_^d\alpha_1\cdots d\alpha_ denotes integration over the region 0 \leq \alpha_i \leq 1 with \sum_^ \alpha_i \leq 1 . The next step is to perform the \alpha integration. : \int_^d\alpha\ \alpha^\exp(-\alpha x)= \frac\left(\int_^d\alpha\exp(-\alpha x)\right)=\frac. where we have defined x= \alpha_1A_1+\cdots+\alpha_A_+ \left(1-\alpha_-\cdots-\alpha_\right)A_. Substituting this result, we get to the penultimate form, : \frac=\left(n-1\right)!\int_^d\alpha_1\cdots d\alpha_\frac , and, after introducing an extra integral, we arrive at the final form of the Feynman parametrization, namely, : \frac=\left(n-1\right)!\int_^d\alpha_1\cdots\int_^d\alpha_\frac . Similarly, in order to derive the Feynman parametrization form of the most general case, \frac one could begin with the suitable different Schwinger parametrization form of factors in the denominator, namely, : \frac = \frac\int^\infty_0 ds_1 \,s_1^ e^ = \frac\frac\left(\int_^ds_1 e^\right) and then proceed exactly along the lines of previous case.


Alternative form

An alternative form of the parametrization that is sometimes useful is :\frac = \int_^ \frac. This form can be derived using the change of variables \lambda = u / ( 1 - u ) . We can use the
product rule In calculus, the product rule (or Leibniz rule or Leibniz product rule) is a formula used to find the derivatives of products of two or more functions. For two functions, it may be stated in Lagrange's notation as (u \cdot v)' = u ' \cdot v + ...
to show that d\lambda = du/(1-u)^ , then :\begin \frac & = \int^1_0 \frac \\ & = \int^1_0 \frac \frac \\ & = \int_^ \frac \\ \end More generally we have :\frac = \frac\int_^ \frac, where \Gamma is the
gamma function In mathematics, the gamma function (represented by , the capital letter gamma from the Greek alphabet) is one commonly used extension of the factorial function to complex numbers. The gamma function is defined for all complex numbers except ...
. This form can be useful when combining a linear denominator A with a quadratic denominator B , such as in
heavy quark effective theory In quantum chromodynamics, heavy quark effective theory (HQET) is an effective field theory describing the physics of heavy (that is, of mass far greater than the QCD scale) quarks. It is used in studying the properties of hadrons containing a s ...
(HQET).


Symmetric form

A symmetric form of the parametrization is occasionally used, where the integral is instead performed on the interval 1,1, leading to: :\frac = 2\int_^1 \frac.


References

Quantum field theory Richard Feynman {{quantum-stub