Complex Analysis and Analytic Continuation

Complex analysis becomes useful in QFT when a calculation depends not only on values along one real line, but on how an object extends through a complex domain. Holomorphy then connects local derivatives to contour integrals; isolated singularities reduce to Laurent data; branches record continuation around non-isolated obstructions; and boundary values turn cuts into discontinuities. A contour rotation is the final step only after all of that geometry and the behavior at infinity have been checked.

This chapter develops those ideas as reusable mathematics. It does not infer amplitude analyticity, unitarity, positivity, sum rules, or Euclidean reconstruction from complex analysis alone. Those physical hypotheses and interpretations remain with Scattering and Foundations.

Parent volume: Mathematical Methods

Enter this chapter

The overview has no hard prerequisite. A reader can begin with elementary calculus and then repair only the capability needed for the intended calculation.

Readiness check	Ready	If unsure	Repair and return
Can you parametrize an oriented curve and compute $\int_\gamma f(z)\,\mathrm dz$?	Begin with Cauchy theory.	Reverse the parametrization and check that the integral changes sign.	Review curve parametrization, then use Holomorphic Functions and Cauchy Theory.
Can you distinguish a pole from a removable singularity and read a residue from a Laurent series?	Enter at residues if Cauchy’s formula is familiar.	Test $z^{-2}\sin z$ and $z^{-2}(e^z-1)$.	Read Cauchy theory, then Laurent Series, Poles, and Residues.
Can you state a branch of $\log z$ by giving both its domain and its argument range?	Enter the continuation route.	Compare the values reached after one counterclockwise circuit around the origin.	Read Cauchy theory, then Branches, Sheets, Analytic Continuation, and Monodromy.
Can you distinguish $F(s+i0)$, $F(s-i0)$, and $\operatorname{Disc}F(s)$?	Enter the dispersion route.	Check the two boundary values of the principal logarithm on the negative real axis.	Read the branch page; use the distributions chapter when the limits exist only weakly.
Can you explain why $k^0\mapsto ik_E^0$ is not legal until poles and arcs have been checked?	Enter the contour-deformation route.	Locate the two Feynman poles before moving the real energy contour.	Read residues and branches, then Contour Deformation, Pinches, and Causal Prescriptions.

Learn also offers a connected Complex and asymptotic methods repair for readers who need a broader capability review before returning here.

Choose a route

The arrows below give a coherent reading order. A plus sign means that both branches are needed before the next page.

Reader goal	Coherent route for the goal	Capability at the end
First graduate encounter	Cauchy theory → residues + branches → contour deformation; add dispersion integrals when cut reconstruction is needed	State the analytic domain, singularities, branch convention, and limiting argument of a core contour calculation
Free-propagator energy integral	Cauchy theory → residues; add branches → contour deformation when rotating the contour	Evaluate pole contributions and distinguish residue evaluation from a legal Wick rotation
Thresholds and analytic continuation	Cauchy theory → branches; add dispersion integrals for reconstruction from cut data	Continue a chosen germ, locate a threshold cut, and keep the sheet convention explicit
Dispersion representation	Cauchy theory → dispersion integrals; branches and distributions are recommended preparation	Derive unsubtracted or subtracted cut representations under stated growth and boundary-value hypotheses
Lorentzian-to-Euclidean contour test	Cauchy theory → residues + branches → contour deformation	Decide whether a proposed rotation crosses a pole, cut, endpoint, or pinch and prove that added arcs vanish
Thermal residue sum	Cauchy theory → residues, then exit to Thermal and Nonequilibrium QFT	Supply the local residue calculation without importing the thermal/KMS interpretation into this chapter

There are five internal hard-dependency edges. Residue calculus, branch structure, and dispersion integrals each require Cauchy theory. Contour deformation requires both residue calculus and branch structure. Branch structure and the distributional boundary-value framework are recommended, but not hard, preparation for the dispersion page.

The chapter’s organizing questions

Each page adds one kind of information that the preceding pages cannot supply by themselves.

Question	Mathematical object	What must remain explicit
Why does local differentiability constrain global values?	Holomorphic function on a domain	Domain, orientation, regularity, and whether a contour is closed
What does an isolated singularity contribute?	Laurent expansion and residue	Punctured neighborhood, pole order, winding number, and arc estimate
Which value is being continued?	Germ, path, branch, and sheet	Starting branch, admissible paths, branch points, cuts, and monodromy
What data live on a cut?	Upper and lower boundary values	Sense of the limit, discontinuity sign, growth, poles, and subtraction data
May the integration path be moved?	Homotopy of oriented contours	Full singular set, endpoints, pinches, regulators, Jacobian, and order of limits

The durable habit is to specify the analytic domain before manipulating a formula. An algebraic expression alone does not say which branch it denotes, which side of a cut supplies its boundary value, or whether an infinite contour can be closed.

Conventions shared across the five pages

Unless a page explicitly says otherwise:

• a positively oriented simple closed contour runs counterclockwise;

• $\operatorname{Ind}(\gamma,a)$ is the winding number of $\gamma$ about $a$;

• the principal logarithm has $\operatorname{Arg}z\in(-\pi,\pi)$ and a cut on the nonpositive real axis;

• cut discontinuities use

  $$\operatorname{Disc}F(s) = F(s+i0)-F(s-i0);$$

• a boundary value such as $i0$ means a limit from positive $\epsilon$, not an algebraic infinitesimal;

• QFT-facing energy examples use the metric $(+---)$ and the Fourier pair

  $$\widetilde f(p) = \int\mathrm d^d x\,e^{+ip\cdot x}f(x), \qquad f(x) = \int\frac{\mathrm d^d p}{(2\pi)^d} e^{-ip\cdot x}\widetilde f(p);$$

• no contribution from infinity is discarded without an estimate, and no boundary-value, regulator, or parameter limit is exchanged with an integral without a stated justification.

Other sources may reverse the sign of $\operatorname{Disc}$, place the logarithm cut elsewhere, or use the opposite metric. Translate those conventions before comparing formulas.

The QFT-facing pages use two finite regulators. The Cauchy and contour pages start from

$$(p^0)^2-E^2+i\epsilon,$$

whereas the residue page uses the exactly factorized family

$$(p^0-E+i\eta)(p^0+E-i\eta) = (p^0)^2-E^2+2iE\eta+\eta^2.$$

They are not the same expression at finite regulator, and $\epsilon$ and $\eta$ have different dimensions. They approach the same Feynman boundary value. The invariant check is that the $+E$ pole lies below and the $-E$ pole lies above the real axis.

Exact page guide

Holomorphic Functions and Cauchy Theory

Cauchy theory is the foundation/entry page and begins without a hard prerequisite. It distinguishes complex differentiability from ordinary two-variable differentiability, states the integral theorem and integral formula with their winding and domain hypotheses, derives Cauchy inequalities, local Taylor analyticity, and the identity theorem, and relates primitives to path independence and domain topology. Its controlled QFT-facing example is an energy-plane contour integral; the physical propagator interpretation remains in Foundations.

Laurent Series, Poles, and Residues

Residue calculus is a graduate-core page and requires Cauchy theory. It classifies isolated singularities, derives residue formulas for simple and higher-order poles, relates contour integrals to winding numbers, and proves the large-arc estimate used in a propagator-frequency example. Thermal sums and KMS physics are explicit exits rather than hidden assumptions.

Branches, Sheets, Analytic Continuation, and Monodromy

Branches and continuation form a graduate-core page and require Cauchy theory. The page moves from germs and continuation along paths to the monodromy theorem, logarithm and power branches, Riemann sheets, and the equal-mass two-particle threshold. It distinguishes a chosen cut from an intrinsic branch point and keeps physical channel claims with Scattering.

Boundary Values, Discontinuities, and Dispersion Integrals

Dispersion mathematics is the advanced-depth page. It requires Cauchy theory; branches and distributions are recommended. It defines upper and lower boundary values, derives the cut representation from finite keyhole contours, states Plemelj signs, introduces subtraction polynomials, and keeps isolated pole terms explicit. Its equal-mass bubble check shows why the discontinuity alone does not determine subtraction data.

Contour Deformation, Pinches, and Causal Prescriptions

Contour deformation is a graduate-core page and requires both residues and branches. It states finite deformations as homotopies, treats infinite contours as controlled limits, compares Feynman, retarded, and advanced pole placement, performs a finite-$\epsilon$ energy rotation, and exhibits a local pinch model. The page decides whether the mathematical move is legal; Foundations supplies its physical interpretation.

One calculation across the chapter

The equal-mass parameter integral provides a compact coherence check:

$$B(s) = \int_0^1 \operatorname{Log} \left( \frac{m^2-sx(1-x)} {\mu^2} \right) \mathrm dx, \qquad m>0,\quad\mu>0.$$

The principal logarithm fixes a first sheet. The two zeros of $m^2-sx(1-x)$ merge at $x=\tfrac12$ when $s=4m^2$, producing the threshold branch point. On the upper and lower banks of the cut,

$$\operatorname{Disc}B(s) = -2\pi i \sqrt{1-\frac{4m^2}{s}}, \qquad s>4m^2.$$

Because this discontinuity approaches a constant, its unsubtracted dispersion integral diverges logarithmically. For $s\in\mathbb C\setminus[4m^2,\infty)$, one subtraction gives

$$B(s)-B(0) = -s \int_{4m^2}^{\infty} \frac{ \sqrt{1-4m^2/s'} }{ s'(s'-s) } \mathrm ds'.$$

This short chain uses four distinct facts:

1. Cauchy theory controls holomorphic parameter dependence away from zeros.
2. Branch analysis fixes the logarithm and locates the threshold.
3. Boundary values determine the discontinuity with a declared sign.
4. Growth determines that one subtraction, and one independent constant, are required.

Residues would have to be added if isolated poles were also present. A contour deformation in an energy variable would require a separate singularity and arc analysis; neither follows merely from writing the dispersion formula.

Standard references for this chain are Ahlfors 1979, Chapters 4–8 and Conway 1978, Chapters IV–IX for complex analysis, Dyatlov 2022, § 5.2.3 and Exercise 5.4(c), PDF for distributional boundary values, Schwartz 2014, § 16.1 and Appendix B.2 for the bubble and Wick-rotation checks, and Zwicky 2016, §§ 2 and 4 for dispersion relations and pinches.

Review prompts

Theorem-hypothesis retrieval. Given a rational integrand and a closed contour, list the poles inside, outside, and on the path before calculating. A successful response records the ambient holomorphy domain, contour orientation, and winding number and stops rather than applying Cauchy’s formula if a pole lies on the path. Repair with the Cauchy page.

Branch declaration. Continue a chosen value of $\log z$ once around the origin and explain why a cut can display one branch but cannot remove the branch point. Success requires the starting germ, path orientation, and $2\pi i$ monodromy. Repair with the branches page.

Singularity diagnosis. Distinguish an isolated pole, a logarithmic branch point, and the two-sided pinch in the local model on the contour page. Success explains which obstruction yields a residue, which requires branch continuation, and which destroys the deformation corridor. Repair with the residue, branch, or contour page matching the missed distinction.

Optional depth — keyhole and subtraction proof. Reconstruct a once-subtracted dispersion formula from finite keyhole contours. Success states the upper/lower bank orientation, existence and domination of boundary values, endpoint and outer limits, winding about the evaluation point, and why the subtraction improves the large-contour behavior. Repair with the dispersion page.

Convention translation. Translate a source that defines $\operatorname{Disc}_{\mathrm{src}}F=F_--F_+$ and uses $e^{+ip^0t}$. Success reverses the discontinuity sign and rederives the half-plane closure from exponential decay rather than copying a diagram. Repair the discontinuity with the dispersion page and the closure with the contour page.

Core synthesis — fresh pole-plus-cut reconstruction. Given a cut discontinuity, one simple pole $(p,r)$ off the cut, and a normalization value at $z_*$, write the corresponding once-subtracted structure. Success keeps the rational pole term, cut integral, and subtraction datum separate, requires $z_*\neq p$, and states the contour hypotheses. Repair residues with the residue page and reconstruction with the dispersion page.

Legality of a rotation. Given a proposed real-to-imaginary energy rotation, state the checks needed before writing $k^0=ik_E^0$. Success names the full singular set, the swept quadrants, uniform arc estimates, the Jacobian, and the order in which regulator and boundary-value limits are taken. Repair with the contour page.

QFT handoffs

The mathematical pages stop where additional physical input begins.

• Scalar Propagators, Ordered Correlators, and Sources supplies the free-field meaning of energy-plane pole prescriptions.
• Wick Rotation and Analytic Continuation adds state, ordering, spectral, and reconstruction hypotheses to the contour criterion.
• Analyticity and Crossing of Amplitudes develops physical channel domains, sheets, boundary values, and crossing.
• Subtracted Dispersion Relations adds amplitude-specific growth, pole, cut, unitarity, and subtraction information.
• Imaginary Time and Matsubara Frequencies treats thermal sums.
• Thermal Density Operators and the KMS Condition develops the KMS interpretation.
• Chemical Potentials as Background Gauge Fields and Holonomies treats finite-density contour and holonomy choices.

The general theorems here are reusable inputs to those pages, not substitutes for their physical assumptions.

To continue within this volume, go to Distributions and Microlocal Methods, where boundary values and localized kernels are treated as continuous functionals on test spaces. To change routes, return to Mathematical Methods.

References

• Lars V. Ahlfors, Complex Analysis, 3rd ed., Chapters 4–8, McGraw–Hill, 1979. Publisher record. The cited chapters develop Cauchy theory, Laurent series, residues, analytic continuation, and multivalued functions.
• John B. Conway, Functions of One Complex Variable I, 2nd ed., Chapters IV–IX, Springer, 1978. Book record. This supplies the structural treatment of integration, singularities, winding numbers, homotopy, and continuation.
• Semyon Dyatlov, Lecture Notes for 18.155: Differential Analysis, MIT, 2022, § 5.2.3 and Exercise 5.4(c). Open PDF. This is the supporting source for distributional boundary values and the $(x\pm i0)^{-1}$ identities.
• Matthew D. Schwartz, Quantum Field Theory and the Standard Model, §16.1 and Appendix B.2, Cambridge University Press, 2014. Book record. This supplies the scalar-bubble and Wick-rotation checks.
• Roman Zwicky, “A Brief Introduction to Dispersion Relations and Analyticity”, §§2 and 4, 2016. This provides a QFT-facing bridge to dispersion relations, thresholds, Landau conditions, and pinch singularities.