Decomposition of Schwarzschild Green's Function

Abstract: In this work, we present a full description of the spherically decomposed Green's function of a non-rotating black hole, which naturally splits into three components: the direct part, the quasinormal modes, and the tail. Both the direct part and the tail are contributed by branch cut integrals on the complex-frequency domain, and the quasinormal modes correspond to poles of the Green's function. We show that these different components match the Green's function numerically obtained by solving a time-domain Regge-Wheeler code. In addition, the components of the Green's function also agree with earlier studies in Schwarzschild spacetime with small cosmological constant. The identification of all the various parts of the Schwarzschild Green's function represents an important step towards analyzing direct waves and quasinormal modes in the ringdown stage of binary black hole coalescence, as well as their nonlinear interaction near the merger.

• The paper presents a self-consistent method for decomposing the Schwarzschild Green’s function into direct, quasinormal mode (QNM), and late-time tail components using time-domain analysis
• The direct part is derived from BC integrals on both the positive and negative imaginary axes plus a small arc around zero frequency, resolving issues identified in Leaver's classical formulation
• Decomposition splits Green’s function’s frequency domain into two components, validated against independent time-domain simulations, showing strong agreement.
• follow-up_questions
• How does the decomposition methodology presented in this paper compare to Leaver's 1986 technique for evaluating the direct part?
• What numerical techniques were employed to enhance the reliability of the Quasinormal-Mode decomposition?
• What challenges are anticipated in extending the decomposition framework to Kerr geometries?
• What are the primary analytical advantages of using branch cuts instead of Matsubara modes in this study?
• Find recent papers about Schwarzschild perturbation theory.

Overview

The paper "Decomposition of Schwarzschild Green's Function" (2601.22015) presents a complete, self-consistent prescription for splitting the time-domain Green's function of linear perturbations on a Schwarzschild background into three physically distinct components: the direct part, the quasinormal-mode (QNM) contribution, and the late-time power-law tail. The central technical device is a decomposition of the frequency-domain Green's function into two pieces, $G^{+}$ and $G^{-}$, each carrying branch cuts (BCs) along both the positive and negative imaginary axes (PIA and NIA) of the complex-frequency plane. By constructing time-dependent integration contours adapted to this split, the authors obtain convergent expressions for each component individually — including the direct part, which in Leaver's classical contour formulation [Leaver 1986] arises from a large-arc contribution that is notoriously difficult to evaluate. The decomposition is validated against independent time-domain Regge–Wheeler simulations, with excellent agreement reported across all three regimes.

Motivation and relation to prior work

The motivation stems from black hole spectroscopy: identifying individual QNM overtones in ringdown signals requires that the QNM sum be well defined, yet it is known that both the overtone sum and the tail term diverge before a certain start time, so that searching for overtones before the convergence cut-off is theoretically ill posed. The paper adopts the resolution proposed for Schwarzschild–de Sitter spacetimes, where the cosmological horizon discretizes the imaginary-axis spectrum into Matsubara modes and the Green's function splits into $G^{+}$ and $G^{-}$ components with distinct analytic structures. In the limit $\Lambda \to 0$, those discrete Matsubara modes coalesce into continuous BCs along the imaginary axis; the present work develops precisely this $\Lambda = 0$ analogue, replacing Matsubara residues with BC integrals while retaining the same spacetime partition into causally distinct regions I, II, and III.

A notable conceptual claim is that the BC-based direct part identified here differs fundamentally from Leaver's large-arc direct part. The authors argue their construction is computationally tractable where Leaver's is not, and hence constitutes a more natural spectral decomposition of the Schwarzschild Green's function. This is a substantive claim about methodology rather than physics, but it is supported by the demonstrated numerical agreement.

Theoretical framework

The analysis is restricted to odd-parity (axial) perturbations governed by the Regge–Wheeler equation; even-parity homogeneous solutions follow via the supersymmetric (SUSY) relation to Zerilli perturbations, so no generality is lost at the level of homogeneous solutions. The frequency-domain Green's function for $r > r'$ is built from ingoing (IN) and upgoing (UP) solutions divided by their Wronskian, $$W(\omega) = 2i\omega A^{\mathrm{inc}}_{\mathrm{in}}(\omega)$$.

Using the scattering relation expressing the IN solution in terms of DOWN and UP solutions, the Green's function decomposes as $\tilde{G} = \tilde{G}^{+} + \tilde{G}^{-}$, where only $G^{+}$ contains the incident amplitude and therefore carries the QNM poles; $G^{-}$0 is pole-free. The analytic structure is carefully traced through the radial representations: the Jaffé series for the IN solution is analytic along the imaginary axis, whereas the Leaver $G^{-}$1-series for the UP solution contains the confluent hypergeometric function $G^{-}$2, producing a BC on the NIA, mirrored to a PIA BC in the DOWN solution via conjugation symmetry. Both $G^{-}$3 and $G^{-}$4 individually possess BCs on both imaginary half-axes, but the PIA contributions cancel exactly in the full Green's function, leaving a net BC only on the NIA — which generates the late-time tail.

The contour strategy is time-regime dependent:

• Region I ($G^{-}$5): the standard Leaver contour yields the QNM poles plus the NIA-BC tail.
• Region II ($G^{-}$6): separate contours for $G^{-}$7 (upper half-plane, quarter-circle arcs flanking the imaginary axis) and $G^{-}$8 (lower half-plane, with a small detour around the singular point $G^{-}$9). No poles are enclosed; the direct part comes entirely from the PIA/NIA BCs and the small arc.
• Region III ($G^{+}$0): contours in the upper half-plane give exact cancellation between the $G^{+}$1 and $G^{+}$2 BC contributions, yielding a vanishing Green's function as required by causality.

This regime-dependent validity is important: the direct-part contour ceases to converge for $G^{+}$3 because the factor $G^{+}$4 no longer suppresses the PIA integrand, and symmetrically the tail integral diverges for $G^{+}$5. The decomposition is therefore piecewise in time, not globally valid — a limitation the authors state explicitly.

Numerical implementation

The authors implement the Mano–Suzuki–Takasugi (MST) formalism independently in Julia, following the framework of previous MST-based calculations, using arbitrary-precision arithmetic from Nemo.jl. The renormalized angular momentum $G^{+}$6 is obtained by solving the infinite continued-fraction characteristic equation with a numerical continuation strategy along trajectories in the complex-$G^{+}$7 plane, which robustly tracks the physical branch along the imaginary axis and the small circular contour. Complementary representations are used where more efficient: the Jaffé series for the IN solution (no $G^{+}$8 required), and the Leaver $G^{+}$9-series at high frequency; at low frequency along the NIA, where the $G^{-}$0-series converges poorly, the MST method is used instead for the branch-cut strength $G^{-}$1 and Wronskian. The branch cut is displaced by $G^{-}$2 to the right of the imaginary axis, with left-side values recovered by complex-conjugation symmetry.

QNM frequencies come from the BlackHolePerturbationToolkit's qnm module; the derivative $G^{-}$3 entering the residue formula is computed via Richardson extrapolation. Frequency-domain quantities are cached and interpolated before performing the contour integrals.

Validation against time-domain simulation

An independent second-order leapfrog finite-difference solver on a uniform tortoise-coordinate grid approximates the delta-function source with a narrow Gaussian profile; late-time tail computations use 128-bit Double64 arithmetic when noise contaminates the signal, and convergence tests in Gaussian widths, time step, and grid spacing confirm reliability. Representative parameters are $G^{-}$4, domain $G^{-}$5, $G^{-}$6, Gaussian widths $G^{-}$7, with source and observer at $G^{-}$8 and $G^{-}$9 for $\Lambda \to 0$0.

Three results stand out:

1. Direct part: excellent agreement between the BC-derived direct waveform and the simulated Green's function throughout Region II, i.e., the interval $\Lambda \to 0$1. This validates the claim that the direct part is computable from imaginary-axis BCs alone, with no QNM content.
2. Tail: the NIA-BC tail matches the simulated waveform at late times. During the QNM-dominated phase, direct comparison is obscured by oscillations, so the authors apply the QNM filter of Ma et al. to remove overtones $\Lambda \to 0$2–$\Lambda \to 0$3 from the simulated waveform; the filtered signal then agrees well with the theoretical tail prediction.
3. Full reconstruction: the sum of QNM and tail contributions, starting at $\Lambda \to 0$4, overlaps precisely with the numerically simulated waveform, demonstrating end-to-end reconstruction of the Schwarzschild Green's function from first principles.

The authors also note consistency with the Post-Minkowski analysis of a concurrent work, in which the direct part is dominated by the $\Lambda \to 0$5 branch point — consistent with the small-arc contribution appearing here alongside the imaginary-axis BCs.

Limitations and open questions

Several limitations are conceded explicitly. First, each component's contour representation is valid only within its time window: the direct-part integral diverges beyond $\Lambda \to 0$6 and the tail integral before it, so the decomposition is inherently piecewise and the cancellation of pre-cut-off divergences is handled by construction rather than resolved analytically. Second, the validation uses a single configuration ($\Lambda \to 0$7, $\Lambda \to 0$8, $\Lambda \to 0$9); systematic dependence on radius, angular number, and spin weight is not explored. Third, the treatment covers only the odd-parity sector, relying on the SUSY relation for polar perturbations — adequate for homogeneous solutions but not directly addressing sourced even-parity Green's functions. Fourth, extension to Kerr, which the authors argue should share the same analytic structure, faces substantial obstacles: reduced symmetry requiring many more independent quantities along the BCs, coupled $\Lambda = 0$0-modes, and spheroidal–spherical harmonic basis mismatches complicating time-domain validation. Whether the BC-based direct part remains computationally advantageous in Kerr is left open, as is the quantitative prediction of dynamically excited QNMs and direct waves for plunging-particle sources.

Conclusion

This paper completes the program, initiated in Schwarzschild–de Sitter spacetime, of defining and computing the direct part, QNMs, and tail of a black hole Green's function as separately meaningful objects, now in the $\Lambda = 0$1 limit where Matsubara modes become imaginary-axis branch cuts. The direct part emerges from BC integrals on both imaginary half-axes plus a small arc around $\Lambda = 0$2, the tail from the net NIA BC, and the QNMs from the poles of $\Lambda = 0$3 alone. Numerical agreement with time-domain Regge–Wheeler evolution validates the full reconstruction. The framework provides a rigorous foundation for analyzing early-time direct waves and overtone-resolved ringdown, and its extension to Kerr — where the payoff for spectroscopy and nonlinear mode coupling would be greatest — remains the principal open problem.