research30 min studyLesson 673 in Physics

Feynman parameter combination of denominators

Combine propagators, complete the loop-momentum square, and preserve analytic prescriptions and regulator assumptions.

On this page

What you’ll understand

  • Derive the two-denominator Feynman identity.
  • Complete the shifted bubble denominator with the correct mass and invariant signs.
  • Identify when a loop-momentum shift requires a translation-invariant regulator.

Products of propagators obstruct a simple radial loop integration because their quadratic forms are centered at different momenta. Feynman parameters combine those denominators into one quadratic form before shifting the integration variable. The transformation is algebraic, but its safe use inside a divergent integral requires a regulator and an analytic prescription. A correct parameter identity cannot rescue a lost Feynman i0, an invalid momentum shift, or a denominator whose singularity has been crossed without specifying continuation.

Derive rather than memorize the parameter identity

For positive Euclidean quantities A and B, integrate the derivative of the reciprocal of xA+(1−x)BxA+(1-x)B between zero and one. The endpoints immediately give the identity for 1/(AB)1/(AB). When A equals B, the parameter integral is simply constant, so the apparent difference denominator in an antiderivative is removable. The positivity assumption makes the elementary derivation uncomplicated. Minkowski denominators instead use a shared causal prescription and analytic continuation, rather than an arbitrary real-axis integral through poles.

For higher powers or more propagators, the general identity introduces positive parameters constrained to sum to one. Gamma-function factors reflect powers and the simplex volume. They are not graph symmetry factors: one comes from an integration identity and the other from Wick counting. Keeping these origins separate prevents multiplying by a spurious factorial. The same identity can be derived through Schwinger parameters, where each inverse power is a Laplace integral and an overall scale is separated from normalized ratios.

1AB=∫01dx[xA+(1−x)B]2,1ABC=2∫01dx∫01−xdy1[xA+yB+(1−x−y)C]3\frac1{AB}=\int_0^1\frac{dx}{[xA+(1-x)B]^2},\qquad \frac1{ABC}=2\int_0^1dx\int_0^{1-x}dy\frac1{[xA+yB+(1-x-y)C]^3}
A, B, and C have a common energy-squared dimension when they represent propagator denominators. The equations hold directly for positive Euclidean denominators and extend with consistent analytic prescriptions.↔ Scroll wide equations horizontally.

Complete the square with a declared routing

Use Minkowski signature (+−−−)(+---) and equal-mass denominators D1=k2−m2+i0D_1=k^2-m^2+i0 and D2=(k+p)2−m2+i0D_2=(k+p)^2-m^2+i0. Weight the first by x and the second by one minus x. Completing the square shifts the loop variable to ℓ=k+(1−x)p\ell=k+(1-x)p and leaves the mass combination Δ=m2−x(1−x)p2\Delta=m^2-x(1-x)p^2. The sign of the invariant follows from the original metric and routing; replacing it by a plus without Wick rotation changes the threshold structure.

For a spacelike invariant p2=−Q2p^2=-Q^2, the mass combination becomes m2+x(1−x)Q2m^2+x(1-x)Q^2, positive for a positive mass and real Euclidean external momentum. This is a convenient domain in which to integrate first. Timelike amplitudes are then continued with the causal prescription. The maximum of the parameter product is one quarter, which later identifies the equal-mass threshold. A negative intermediate mass combination above threshold is not an instruction to take an absolute value inside a logarithm.

xD1+(1−x)D2=ℓ2−Δ+i0,ℓ=k+(1−x)p,Δ=m2−x(1−x)p2xD_1+(1-x)D_2=\ell^2-\Delta+i0,\qquad \ell=k+(1-x)p,\qquad \Delta=m^2-x(1-x)p^2
k, p, and ell have energy units and Delta has energy-squared units. The same positive infinitesimal survives because the two weights sum to one; it controls subsequent logarithm branches.↔ Scroll wide equations horizontally.

The regulator must permit the shift

A convergent integral over all momentum space is invariant under a change of integration variable. For a divergent integral, that statement must be interpreted inside the chosen regulator. Dimensional regularization is translation invariant and supports the shifts used in standard loop reductions. A hard cutoff centered at one momentum origin is not unchanged by simply shifting the domain. Boundary terms can matter, especially in superficially divergent tensor expressions and in checks of gauge identities.

A useful workflow first records the propagator prescription and regulator, then combines denominators, shifts the loop, integrates it, and finally studies parameter endpoints. Ultraviolet poles may arise from the momentum integral while infrared or threshold behavior can appear through the remaining parameters. The quadratic lab can inspect the shape of the parameter product after recentering, but it does not implement a complex logarithm, a causal contour deformation, or a general Feynman-parameter integral.

x(1−x)=14−(x−12)2,0≤x(1−x)≤14(0≤x≤1)x(1-x)=\frac14-\left(x-\frac12\right)^2,\qquad 0\leq x(1-x)\leq\frac14\quad(0\leq x\leq1)
The parameter x and the displayed product are dimensionless. The bound follows from completing a scalar square; using it to infer a physical cut additionally needs the propagator mass and invariant conventions above.↔ Scroll wide equations horizontally.

Check the identity on simple denominators

Take positive Euclidean denominators A=E∗2A=E_*^2 and B=4E∗2B=4E_*^2. Evaluate the parameter integral directly and compare it with their reciprocal product.

  1. The combined denominator is E∗2(4−3x)E_*^2(4-3x). Its inverse square supplies an overall factor E∗−4E_*^{-4}, which must remain outside the dimensionless parameter integral.

  2. An antiderivative of (4−3x)−2(4-3x)^{-2} is [3(4−3x)]−1[3(4-3x)]^{-1}. Evaluating it at one and zero gives (1/3)(1−1/4)=1/4(1/3)(1-1/4)=1/4.

  3. Restoring units gives 1/(4E∗4)1/(4E_*^4). Direct multiplication yields 1/(AB)=1/(E∗2 4E∗2)1/(AB)=1/(E_*^2\,4E_*^2), the same value, confirming both the normalization and parameter orientation.

The result

The parameter integral equals 1/(4E_*⁴), exactly matching the reciprocal of the two positive denominators.

Explore the model

Interactive lab

Interactive lab · function

Inspect the centered parameter product

Reset and set coefficient a=−1a=-1, position u=0u=0; predict y zero. Repeat from Reset with both controls a=−1a=-1, u=0.5u=0.5; predict y −0.25. Adding one quarter by hand gives the parameter product x(1−x)x(1-x) with u=x−1/2u=x-1/2. This parabola lab does not combine propagators or preserve a complex i0 prescription for an integral.

Inspect the centered parameter productThis lab uses only y = ax². Playback traces the curve within the fixed integration interval from 0 to x; it does not estimate numerical error or change the chosen point. Current readings: y at chosen x: 0.608; Tangent slope · 2ax: 1.35; Signed area · ax³/3: 0.182. All parameters are adjustable with the labeled controls below.−2.4−1.201.22.4−9−4.504.59xy(x, ax²)
y = ax²TangentSigned integral
y at chosen x
0.608
Tangent slope · 2ax
1.35
Signed area · ax³/3
0.182
t = 0 s

This lab uses only y = ax². Playback traces the curve within the fixed integration interval from 0 to x; it does not estimate numerical error or change the chosen point. Parameter changes pause playback and recompute the model at the current elapsed time. Reset restores both parameters and returns time to zero. Playback starts paused. Adjust either parameter, then choose Play or Step.

Look forCompleting a square exposes the parameter domain, while causal continuation remains a separate step.

Check your understanding

For denominators k²−m²+i0 and (k+p)²−m²+i0, what remains after the stated square completion?

Try it yourself

Use the three-denominator identity with A=B=C=2E∗2A=B=C=2E_*^2. Evaluate the simplex integral and verify its prefactor without using a loop momentum calculation.

Take a moment to make a prediction or work it out on paper. Open a hint when you need one.

Give me a hint

The denominator is independent of both parameters; the integration triangle has area one half.

Compare with the solution

Every weighted sum equals 2E∗22E_*^2, so the inverse cube is 1/(8E∗6)1/(8E_*^6). The triangle has area one half and the identity supplies a prefactor two. Their product gives 2(1/2)/(8E∗6)=1/(8E∗6)2(1/2)/(8E_*^6)=1/(8E_*^6), matching 1/(ABC)1/(ABC). Omitting the prefactor two would give half the correct result; it comes from parameterization rather than any diagram symmetry.

Take it with you

  • Feynman-parameter factorials and graph symmetry factors have different origins.
  • Square completion must preserve momentum routing, metric signs, and the common causal prescription.
  • A shift of a divergent integral is justified within a regulator, not by formal algebra alone.

Read further

Original sources and deeper explanations to follow at your own pace.

Optional progress, saved in this browser when available. Revisit any lesson at any time.

Lesson not marked complete.