Continuum Functional Equations and Controlled Truncations
Continuum functional methods rewrite QFT as exact identities or flows for correlation functions and effective actions. Their practical power comes from finite closures; their principal risk is that a precisely solved closure can be mistaken for a precisely solved theory. This chapter develops a common inference sequence: exact equation, declared external inputs, retained and omitted structures, symmetry and renormalization tests, branch and numerical solution, analytic interpretation, independent benchmark, and separated errors.
Enter this chapter
Section titled “Enter this chapter”Begin with Schwinger–Dyson Hierarchies and Renormalization Inputs to derive a correlation hierarchy and identify the inputs needed to solve it.
Helpful background. Review Interacting Fields, Asymptotic Observables, and Effective Descriptions and Schwinger–Dyson Identities for interacting observables and functional integration-by-parts identities.
Topics
Section titled “Topics”- Schwinger–Dyson Hierarchies and Renormalization Inputs — Separates exact identities from boundary and renormalization data.
- Closure, Symmetry Constraints, and Branch Selection — Chooses a finite system while retaining symmetry constraints.
- 2PI and nPI Effective Actions — Uses propagators and higher vertices as variational variables.
- Bethe–Salpeter and Faddeev Bound-State Equations — Extracts bound-state poles from coupled integral equations.
- Functional-RG Applications and Cross-Checks — Applies functional flows with explicit truncation checks.
- Coupled Propagator, Vertex, and Bound-State Systems — Maintains consistent vertices across propagators and bound-state kernels.
- Complex-Momentum, Spectral, and Real-Time Information — Tests analytic continuation to physical spectral information.
- Functional-Method Validation and Error Control — Separates closure, numerical, and interpretation errors.
- Gauge Fixing, BRST Constraints, and the Gribov Problem — Accounts for local gauge identities and global gauge-fixing limitations.
How the ideas fit together
Section titled “How the ideas fit together”Self-consistency and exactness are different properties. A finite 2PI approximation can determine a propagator through its own stationarity equation, yet it still omits higher structures in the full functional. Solving that equation to tiny residuals controls numerical error, not the omitted physics. Bound-state kernels must be compatible with the same self-energy and symmetry identities; fitting them independently can spoil cancellations. Comparison with another method is strongest when its dominant approximations differ. Cornwall, Jackiw, and Tomboulis 1974, §§ II–III.
Where to go next
Section titled “Where to go next”Continue to Resurgence and Transseries to identify factorial growth and construct its Borel transform.
References
Section titled “References”- Cornwall, John M., R. Jackiw, and E. Tomboulis. “Effective Action for Composite Operators.” Physical Review D 10 (1974): 2428–2445. DOI.