HOME

TheInfoList



OR:

Feynman parametrization is a technique for evaluating loop integrals 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 introduced ...
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. It was introduced by
Julian Schwinger Julian Seymour Schwinger (; February 12, 1918 – July 16, 1994) was a Nobel Prize-winning American theoretical physicist. He is best known for his work on quantum electrodynamics (QED), in particular for developing a relativistically invariant ...
and
Richard Feynman Richard Phillips Feynman (; May 11, 1918 – February 15, 1988) was an American theoretical physicist. He is best known for his work in the path integral formulation of quantum mechanics, the theory of quantum electrodynamics, the physics of t ...
in 1949 to perform calculations in
quantum electrodynamics In particle physics, quantum electrodynamics (QED) is the Theory of relativity, relativistic quantum field theory of electrodynamics. In essence, it describes how light and matter interact and is the first theory where full agreement between quant ...
.


Formulas

Richard Feynman 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 mathematical analysis, the Dirac delta function (or distribution), also known as the unit impulse, is a generalized function on the real numbers, whose value is zero everywhere except at zero, and whose integral over the entire real line ...
\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, 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 Γ, capital Greek alphabet, Greek letter gamma) is the most common extension of the factorial function to complex numbers. Derived by Daniel Bernoulli, the gamma function \Gamma(z) is defined ...
\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. 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 Γ, capital Greek alphabet, Greek letter gamma) is the most common extension of the factorial function to complex numbers. Derived by Daniel Bernoulli, the gamma function \Gamma(z) is defined ...
. This form can be useful when combining a linear denominator A with a quadratic denominator B , such as in heavy quark effective theory (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.


Notes


References


further books

* Michael E. Peskin and Daniel V. Schroeder , ''An Introduction To Quantum Field Theory'', Addison-Wesley, Reading, 1995. * Silvan S. Schweber, ''Feynman and the visualization of space-time processes'', Rev. Mod. Phys, 58, p.449 ,1986 doi:10.1103/RevModPhys.58.449 * Vladimir A. Smirnov: ''Evaluating Feynman Integrals'', Springer, ISBN 978-3-54023933-8 (Dec.,2004). * Vladimir A. Smirnov: ''Feynman Integral Calculus'', Springer, ISBN 978-3-54030610-8 (Aug.,2006). * Vladimir A. Smirnov: ''Analytic Tools for Feynman Integrals'', Springer, ISBN 978-3-64234885-3 (Jan.,2013). * Johannes Blümlein and Carsten Schneider (Eds.): ''Anti-Differentiation and the Calculation of Feynman Amplitudes'', Springer, ISBN 978-3-030-80218-9 (2021). * Stefan Weinzierl: ''Feynman Integrals: A Comprehensive Treatment for Students and Researchers'', Springer, ISBN 978-3-030-99560-7 (Jun., 2023). Quantum field theory Richard Feynman {{quantum-stub