---
title: Teukolsky Equations in Kerr and Schwarzschild
url: https://www.emergentmind.com/topics/teukolsky-equations
type: topic
---

# Teukolsky Equations in Kerr and Schwarzschild

The Teukolsky equations are decoupled equations for extreme-spin components of massless fields on algebraically special black-hole backgrounds, most prominently Kerr and Schwarzschild. In the Kerr setting, the Teukolsky Master Equation governs linear perturbations of scalar, electromagnetic, and gravitational fields and separates into radial and angular ordinary differential equations for spin weight \(s\); in Schwarzschild, tensorial spin \(\pm1\) and \(\pm2\) formulations arise for the extreme null Maxwell and Weyl components [2407.15947] [2007.13658]. Across the modern literature, the term also encompasses adjoint equations for Hertz potentials, physical-space formulations tied to Chandrasekhar transformations, and a broad family of Teukolsky-like generalizations on non-vacuum or deformed type D spacetimes [1908.09095] [2309.04758].

## 1. Definition, field content, and geometric setting

In Kerr spacetime, the Teukolsky formalism gives a separable description of linear perturbations of Kerr for scalar, electromagnetic, and gravitational fields [2407.15947]. In Newman–Penrose language, the radiative variables are the extreme helicity components: for electromagnetism the extreme Maxwell scalars \(\phi_0,\phi_2\), and for gravity the extreme Weyl scalars \(\psi_0,\psi_4\) or their tensorial counterparts [2002.07228]. In Schwarzschild, the spin \(\pm1\) Teukolsky equations are the equations satisfied by the extreme components \(\alpha\) and \(\underline\alpha\) of the Maxwell field, when expressed with respect to a null frame [1612.07244]. For linearized gravity on Schwarzschild, the corresponding extreme curvature components are the \(S^2\)-tangent symmetric traceless \(2\)-tensors
\[
\alpha_{AB}=W_{A4B4},\qquad \underline\alpha_{AB}=W_{A3B3},
\]
which satisfy the spin \(+2\) and spin \(-2\) Teukolsky equations [2007.13658].

A common structural prerequisite is Petrov type D geometry. A general spherically symmetric spacetime is still Petrov type D, so much of the Newman–Penrose/Teukolsky machinery survives even without the vacuum condition [2309.04758]. Likewise, an axisymmetric metric satisfying the Petrov type D property with additional ansätze can be brought to a Kerr-like form deformed by one radial function \(L(r)\), and in the \(A(r,\theta)=1\) sector the homogeneous wave equations admit separation of variables [2309.06237]. This type-D background structure is the main reason that decoupled equations for extreme-spin fields continue to exist well beyond exact Kerr vacuum.

The geometric interpretation has also been reformulated in terms of a preferred weighted connection. On algebraically special conformal spacetimes admitting a shear-free null geodesic congruence, a \(2\)-complex-dimensional twistor manifold induces a weighted covariant derivative \(\mathscr C_a\), and the scalar wave operators built from \(\mathscr C_a\) reproduce the Teukolsky operators for massless fields [1907.02507]. This identifies the Teukolsky equations as wave equations with respect to a twistor-induced connection rather than only as Newman–Penrose identities.

## 2. Separation on Kerr and the master equation

In Boyer–Lindquist coordinates, the Teukolsky Master Equation for a massless field \(\Psi\) of spin weight \(s\) on Kerr is written as
\[
\begin{aligned}
&\left[\frac{(r^2+a^2)^2}{\Delta}-a^2\sin^2\theta\right]\partial_t^2\Psi +\frac{4Mar}{\Delta}\,\partial_t\partial_\phi\Psi +\left[\frac{a^2}{\Delta}-\frac{1}{\sin^2\theta}\right]\partial_\phi^2\Psi\\
&\quad-\Delta^{-s}\partial_r\!\left(\Delta^{s+1}\partial_r\Psi\right) -\frac1{\sin\theta}\partial_\theta\!\left(\sin\theta\,\partial_\theta\Psi\right)\\
&\quad-2s\left[\frac{a(r-M)}{\Delta}+\frac{i\cos\theta}{\sin^2\theta}\right]\partial_\phi\Psi -2s\left[\frac{M(r^2-a^2)}{\Delta}-r-ia\cos\theta\right]\partial_t\Psi\\
&\quad+(s^2\cot^2\theta-s)\Psi=0,
\end{aligned}
\]
with
\[
\Delta=r^2-2Mr+a^2,\qquad \Sigma=r^2+a^2\cos^2\theta
\]
[0903.3617]. The separated ansatz
\[
\Psi_m(\omega;t,r,\theta,\phi)=e^{im\phi}e^{-i\omega t}S_m(\omega;\theta)R_m(\omega;r)
\]
reduces the problem to the angular Teukolsky equation
\[
\frac1{\sin\theta}\frac{d}{d\theta}\!\left(\sin\theta\,\frac{dS_m}{d\theta}\right) +\left(a^2\omega^2\cos^2\theta-2a\omega s\cos\theta -\frac{m^2+s^2+2ms\cos\theta}{\sin^2\theta}+E_m\right)S_m=0
\]
and the radial Teukolsky equation
\[
\Delta^{-s}\frac{d}{dr}\left(\Delta^{s+1}\frac{dR_m}{dr}\right) +\left(\frac{K^2-2is(r-M)K}{\Delta}+4is\omega r-A_m\right)R_m=0,
\]
where
\[
K=(r^2+a^2)\omega-am,\qquad A_m=E_m+a^2\omega^2-2am\omega-s(s+1)
\]
[0903.3617].

The angular equation is the equation for spin-weighted spheroidal harmonics. In the conventions used in the parametrized quasi-normal-mode literature,
\[
\frac{1}{S(y)}\frac{d}{dy}\left[(1-y^2)S'(y)\right] +a^2\omega^2 y^2-2sa\omega y +B_{\ell m}+s-\frac{(m+sy)^2}{1-y^2}=0,
\]
while the radial Teukolsky equation is written as
\[
\frac{1}{{}^sR(r)}\frac{d}{dr}\left[\Delta^{s+1}R'(r)\right]+V(r)=0 ,
\]
with
\[
V(r)=2is\,\frac{dK}{dr}-{}_{s}A_{\ell m} +\frac{1}{\Delta}\left(K^2-isK\frac{d\Delta}{dr}\right)
\]
[2407.15947]. Quasinormal modes are separated solutions whose radial part is purely ingoing at the event horizon and purely outgoing at infinity, while the angular part is regular on the sphere [2407.15947].

Several modern developments preserve this separability structure while modifying the operator. A parameterized Kerr framework deforms the radial potential by
\[
\delta V(r)=\frac{1}{\Delta}\sum_{k=-3}^{4}\alpha^{(k)} \left(\frac{r}{r_+}\right)^k ,
\]
leading to linear shifts
\[
\delta\omega_{n\ell m}=\sum_k d_{\omega,n\ell m}^{(k)}\,\alpha^{(k)}, \qquad \delta B_{\ell m}=\sum_k d_{B,\ell m}^{(k)}\,\alpha^{(k)}
\]
[2407.15947]. A later parameterized framework modifies both radial and angular equations through separable deformations \(\eta_1(r)\) and \(\eta_2(\theta)\), keeping the same Kerr background but altering the master equation itself [2511.02274]. These constructions retain Kerr separability as the organizing principle.

## 3. Spin reversal, Teukolsky–Starobinsky identities, and exact structures

A central internal symmetry of separated Teukolsky theory is spin reversal. Under separation of variables, spin-reversal for the Teukolsky Master Equation is accomplished through the so-called Teukolsky–Starobinsky identities, with associated angular and radial Teukolsky–Starobinsky constants [2102.06734]. For the separated angular and radial ODEs, repeated application of first-order operators maps spin \(+s\) solutions to spin \(-s\) solutions and conversely [2102.06734]. If the Teukolsky–Starobinsky constant is nonzero, this correspondence is invertible up to multiplication by the constant.

For physical perturbation theory, these identities are indispensable because they tie together the Hertz potential and the observable extreme Newman–Penrose scalar. In canonical quantization on Kerr, the basic pair is
\[
\Psi=({}_{-s}\phi,\ {}_{s}\psi),
\]
where \({}_{-s}\phi\) is a Hertz potential and \({}_{s}\psi\) is an NP scalar satisfying the spin-\(s\) Teukolsky equation [2307.07467]. The canonical commutation relations can be implemented if and only if the Teukolsky–Starobinsky constants are positive, which is the case both for gravitational perturbations and Maxwell fields [2307.07467].

The sign of the radial Teukolsky–Starobinsky constant is therefore not a minor technicality. For spins \(s\in\{\tfrac12,1,\tfrac32,2\}\), the radial constant is strictly positive for real separated Kerr modes [2102.06734]. However, contrary to popular belief, these constants can be negative for spin larger than \(2\) [2102.06734]. The common argument for universal nonnegativity fails because the radial spin-reversal operators are related by complex conjugation, not by an adjointness relation of the type available in the angular problem [2102.06734]. The consequence is a novel form of energy amplification which occurs for non-superradiant frequencies when \(s>2\) [2102.06734]. That result corrects a persistent misconception in the separated theory.

The exact analytic structure of the separated equations has also been studied through confluent Heun theory. Both the angular and radial Teukolsky equations on Kerr can be transformed into confluent Heun equations [0903.3617]. For \(|s|=\tfrac12\) and \(|s|=1\), there exists a class of simultaneous angular/radial polynomial solutions in which the polynomiality conditions for the two separated equations coincide, determining the separation constant \(E_m\) as a function of \(\omega\) while leaving the complex frequency unconstrained; the result is a continuous spectrum in the sense of that special exact family [0903.3617]. The paper is explicit that this is not the generic Kerr quasinormal-mode problem but a special exact family of one-way-wave solutions [0903.3617].

## 4. Physical-space formulations on Schwarzschild

On Schwarzschild, the Teukolsky equations have been reformulated in fully tensorial, physical-space terms. For the Maxwell system, the exterior Schwarzschild spacetime
\[
\mathcal S_e=\{(t,r,\omega)\in \mathbb R\times (2M,\infty)\times \mathbb S^2\}
\]
with
\[
g_e=-(1-\mu)\,dt^2+(1-\mu)^{-1}dr^2+r^2 g_{\mathbb S^2},\qquad \mu=\frac{2M}{r}
\]
supports a null decomposition of a Maxwell field \(F\) into extreme components \(\alpha,\underline\alpha\) and middle components \(\rho,\sigma\) [1612.07244]. From the null Maxwell system one derives the tensorial spin \(\pm1\) Teukolsky equations for \(r\alpha_A\) and \(r\underline\alpha_A\):
\[
\nabla_{\underline L}\nabla_L(r\alpha_A) +\frac{2}{r}\left(1-\frac{3M}{r}\right)\nabla_{\underline L}(r\alpha_A) -(1-\mu)\slashed\Delta(r\alpha_A) +\frac{1-\mu}{r^2}\,r\alpha_A=0,
\]
\[
\nabla_{\underline L}\nabla_L(r\underline\alpha_A) -\frac{2}{r}\left(1-\frac{3M}{r}\right)\nabla_L(r\underline\alpha_A) -(1-\mu)\slashed\Delta(r\underline\alpha_A) +\frac{1-\mu}{r^2}\,r\underline\alpha_A=0
\]
[1612.07244].

A key structural point is that these equations are not directly amenable to Morawetz estimates because of the bad first-order term
\[
\pm \frac{2}{r}\left(1-\frac{3M}{r}\right)\nabla(r\cdot),
\]
whose sign changes at the photon sphere \(r=3M\) [1612.07244]. Pasqualotto’s solution is a Chandrasekhar-type differential transformation
\[
\phi_A:=\frac{r^2}{1-\mu}\nabla_{\underline L}(r\alpha_A),\qquad \underline\phi_A:=\frac{r^2}{1-\mu}\nabla_L(r\underline\alpha_A),
\]
which converts the Teukolsky variables into fields satisfying the tensorial Fackerell–Ipser equation
\[
\nabla_{\underline L}\nabla_L \phi_A-(1-\mu)\slashed\Delta\phi_A+\frac{1-\mu}{r^2}\phi_A=0
\]
and similarly for \(\underline\phi\) [1612.07244]. This transformed equation admits standard redshift, energy, Morawetz, and \(r^p\)-weighted estimates, and the transformed quantities vanish on the \(\ell=0\) Coulomb sector [1612.07244]. The same paper proves inverse polynomial decay for the transformed fields and transfers it back to \(\alpha,\underline\alpha\), obtaining quantitative decay for the full Maxwell system modulo the stationary Coulomb tail [1612.07244].

For gravitational perturbations on Schwarzschild, an analogous strategy underlies a full scattering theory for the spin \(\pm2\) Teukolsky equations [2007.13658]. The spin \(+2\) and spin \(-2\) equations for \(r\Omega^2\alpha\) and \(r\Omega^2\underline\alpha\) contain first-order null derivative terms that obstruct a direct Lagrangian energy method [2007.13658]. A physical-space Chandrasekhar transformation converts the Teukolsky fields into Regge–Wheeler variables satisfying
\[
\Box_g \Psi-\Omega^2\slashed{\Delta}\Psi+\frac{\Omega^2}{r^2}(3\Omega^2+1)\Psi=0,
\]
and the Regge–Wheeler scattering theory is then transplanted back to the Teukolsky fields [2007.13658]. The resulting forward and backward maps are unitary Hilbert-space isomorphisms between Cauchy data spaces and radiation-field spaces for both spin sectors [2007.13658]. The same paper also treats the Teukolsky–Starobinsky correspondence at the level of scattering data and derives a mixed scattering theorem that isolates the radiative degrees of freedom relevant for linearised Einstein scattering on Schwarzschild [2007.13658].

These Schwarzschild results are important because they show that, even when direct multiplier methods fail at the Teukolsky level, differential transformations can restore robust physical-space estimates and even asymptotic completeness.

## 5. Extensions beyond vacuum Kerr

A major direction of recent research is the extension of Teukolsky theory beyond vacuum Kerr. On a general spherically symmetric spacetime
\[
ds^2=A(r)dt^2-\frac{D(r)^2}{A(r)}dr^2-r^2(d\theta^2+\sin^2\theta\,d\varphi^2),
\]
one obtains a unified Teukolsky-like master equation for massless fields of spin
\[
s=0,\ \pm \tfrac12,\ \pm 1,\ \pm 2
\]
[2309.04758]. After a rescaling \(\psi^{(s)}=r^{|s|-s}\Phi^{(s)}\), the unified equation becomes
\[
\Bigl\{ [\Delta-2(1+s)\gamma+\mu] [D-(1+2s)\rho] -[\delta-2(1+s)\alpha](\bar\delta+2s\alpha) -(1+3s+2s^2)\Psi_2 +\bigl(|s|-3|s|^2+2|s|^3\bigr)\Phi_{11} -2\delta_s\Lambda \Bigr\}\psi^{(s)}=\mathcal T^{(s)}.
\]
The extra curvature terms involving \(\Phi_{11}\) and \(\Lambda\) are the clean mathematical signature of the non-vacuum extension [2309.04758].

For axisymmetric type D non-vacuum backgrounds, a specific class of metrics becomes conformal to Kerr deformed by one radial function \(L(r)\), and in the \(A(r,\theta)=1\) sector the perturbed Weyl-scalar equations admit separation under an explicitly chosen separable tetrad gauge [2309.06237]. The resulting generalized spin \(-2\) radial equation is
\[
L^{-2}\frac{d}{dr}\!\left(L^2\frac{dR_{\ell m\omega}^{(-2)}}{dr}\right) + \left[ \frac{K^2}{L} +\frac{2iK L'}{L} -8i\omega r +2am\omega -a^2\omega^2 -\lambda^{(-2)} \right]R_{\ell m\omega}^{(-2)} = G_{\ell m\omega}^{(-2)}(r),
\]
which is literally the Kerr spin-\(-2\) radial Teukolsky equation with \(\Delta\) replaced by a general radial function \(L(r)\) [2309.06237].

That generalization has been extended to all spins \(0,\pm \tfrac12,\pm1,\pm2\) in a deformed Kerr spacetime with metric
\[
ds^2=\frac{L(r)}{\Sigma}\left(dt-a\sin^2\theta\,d\varphi\right)^2-\frac{\Sigma}{L(r)}\,dr^2-\Sigma\,d\theta^2-\frac{\sin^2\theta}{\Sigma}\left[(r^2+a^2)\,d\varphi-a\,dt\right]^2
\]
[2412.17878]. After a \(\rho^{|s|-s}\) rescaling and, for spin \(\pm2\), the same separable gauge, the unified master equation takes the compact form
\[
\begin{aligned}
&\Big[\Delta-(2s+1)\gamma-\bar\gamma+\mu\Big] \Big[D-2s\epsilon-(2s+1)\rho\Big] \\
&\quad -\Big[\bar\delta-(2s+1)\alpha+\bar\beta-\pi\Big] \Big[\delta-2s\beta-(2s+1)\tau\Big] \\
&\quad -(1+3s+2s^2)\Psi_2-2(1-3|s|+2|s|^2)\Lambda \Bigg\}\,\psi^{(s)} = T^{(s)}.
\end{aligned}
\]
The angular equation remains exactly the spin-weighted spheroidal-harmonic equation of Kerr, while the radial equation is modified by \(L(r)\), \(L'(r)\), and \(L''(r)\) [2412.17878]. The paper also analyzes the singular-point structure of the generalized radial ODE, showing that simple zeros or poles of \(L\) become regular singular points and \(r=\infty\) remains an irregular singular point of rank \(1\) [2412.17878].

Higher-derivative gravity provides another route to generalized Teukolsky equations. The so-called universal Teukolsky equations are identities valid on any four-dimensional spacetime in any theory; theory dependence enters through the Ricci tensor or effective stress tensor on the right-hand side [2304.02663]. When specialized perturbatively to rotating black holes close to Kerr in higher-derivative gravity, they reduce to four coupled equations for \(\delta\Psi_0,\delta\Psi_4\) and their conjugates, which can then be decoupled perturbatively into modified second-order radial equations [2304.02663]. This framework has been applied to six-derivative gravity to compute quasinormal-mode shifts for spinning black holes [2304.02663].

A further important extension is Kerr–Newman. There, the difficulty is the coupling between spin-\(1\) electromagnetic and spin-\(2\) gravitational perturbations. Because spin-weighted spheroidal harmonics of different spins are not related in the right way by the relevant angular operators, standard mode separation breaks down [2002.07228]. The physical-space resolution is not a single decoupled scalar equation but a coupled hierarchy of gauge-invariant tensorial Teukolsky-type and Regge–Wheeler-type equations suited to multiplier methods [2002.07228].

## 6. Sources, nonlinear perturbations, and quantum theory

The classical separability of the homogeneous Teukolsky operator does not by itself solve the sourced problem. For generic extended sources in Kerr, the right-hand side is not naturally separated because background quantities such as
\[
\Sigma=r^2+a^2\cos^2\theta,\qquad \zeta=r-ia\cos\theta,\qquad \rho=-\frac{1}{\zeta}
\]
mix radial and angular dependence [2402.00604]. A recent analytic framework addresses this by decomposing the source into the angular basis adapted to separability, using Newman–Penrose, GHP, Held formalism, spin-weighted spherical harmonic recoupling, and a truncated Fourier expansion of \(\Sigma^{-n}\) [2402.00604]. In a proof-of-concept example for the spin \(-2\) equation sourced by the stress-energy tensor of a stationary ideal gas cloud around Kerr, the source is analytically separated into spin-weighted harmonic modes, and for \(a=0.9\), \(r=r_+\approx1.436M\), and Fourier order \(k=8\), the error in the \(\Sigma^{-6}\) approximation is below \(0.5\%\) near the horizon [2402.00604]. This makes sourced Teukolsky calculations more tractable in second-order perturbation theory, self-force problems, and nonlinear quasinormal-mode studies [2402.00604].

A complementary nonlinear framework treats higher-order Kerr perturbations by combining a sourced adjoint spin \(-2\) Teukolsky equation with transport equations along principal null geodesics [1908.09095]. A generic sourced metric perturbation is decomposed as
\[
h_{ab}=({\mathcal L}_\xi g)_{ab}+\dot g_{ab}+x_{ab}+\operatorname{Re}(\mathcal{S}^\dagger \Phi)_{ab},
\]
where \(({\mathcal L}_\xi g)_{ab}\) is pure gauge, \(\dot g_{ab}\) is a Kerr zero mode, \(x_{ab}\) is a corrector tensor determined by transport equations, and \(\Phi\) satisfies the sourced adjoint Teukolsky equation
\[
\mathcal{O}^\dagger \Phi = \eta
\]
[1908.09095]. In outgoing Kerr–Newman coordinates, the relevant auxiliary equations reduce to ordinary differential equations in \(r\), so the hard part of the sourced Einstein problem is again a separable scalar Teukolsky equation [1908.09095]. This same decomposition iterates order by order in nonlinear perturbation theory [1908.09095].

At the quantum level, the Teukolsky formalism supports a canonical quantization for integer spins \(s=1,2\) on Kerr [2307.07467]. The Teukolsky operator can be written in GHP-covariant form as
\[
{}_{s}\mathcal O\,{}_{s}\psi = \left[g^{ab}(\Theta_a+2sB_a)(\Theta_b+2sB_b)-4s^2\Psi_2\right]{}_{s}\psi =0,
\]
while the adjoint equation for the Hertz potential is \({}_{s}\mathcal O^\dagger\,{}_{-s}\phi=0\) [2307.07467]. The corresponding Teukolsky action yields a conserved symplectic form, and the Hadamard parametrix for the Teukolsky operator can be constructed by exploiting its charged Klein–Gordon form [2307.07467]. The same work proves that the canonical energy of Teukolsky fields equals twice the canonical energy of the reconstructed gravitational perturbation for compactly supported data [2307.07467].

## 7. Conceptual themes, controversies, and significance

Several recurring themes unify this body of work. First, the Teukolsky equations are powerful because they isolate extreme-spin radiative degrees of freedom in a form compatible with separation of variables or, failing that, with physical-space transformations [2407.15947] [1612.07244]. Second, the price of this decoupling is that the resulting equations often carry unfavorable first-order terms, gauge subtleties, or couplings to lower-spin sectors. The Schwarzschild Maxwell and gravitational analyses make explicit that direct Morawetz estimates at the Teukolsky level can fail and that Chandrasekhar-type transformations are the decisive remedy [1612.07244] [2007.13658].

Third, several common misconceptions require qualification. The first is that the decoupled equation for a gauge-invariant quantity is itself unique in non-vacuum backgrounds. In fact, for gravitational perturbations on general spherically symmetric non-vacuum spacetimes, different gauge choices produce different decoupled equations for the same gauge-invariant Weyl scalar \(\Psi_4^B\); the gauge dependence resides in the source sector, and the ambiguity disappears in vacuum [2309.04758]. The second is that the radial Teukolsky–Starobinsky constants are always nonnegative. That statement is correct for spins up to \(2\) but false for spin larger than \(2\) [2102.06734]. The third is that all Teukolsky generalizations preserve the simple Kerr picture of a single scalar equation. Kerr–Newman and non-vacuum type D settings show that this is generally too optimistic: one often obtains a structured coupled hierarchy rather than a fully decoupled scalar equation [2002.07228] [2309.06237].

Finally, the significance of the Teukolsky equations lies in their persistence across diverse research programs. They remain central to black-hole ringdown and quasinormal-mode calculations on Kerr and modified Kerr backgrounds [2407.15947] [2511.02274]. They provide the organizing scalar PDE in nonlinear reconstruction schemes [1908.09095]. They admit a twistor-geometric reinterpretation that explains the appearance of weighted derivatives, curvature potentials, and hidden symmetries [1907.02507]. And in physical-space stability theory, they serve as the curvature-level starting point from which Fackerell–Ipser or Regge–Wheeler equations, decay estimates, and scattering theories are constructed [1612.07244] [2007.13658].

Taken together, these developments suggest that “Teukolsky equations” names not only the original Kerr master equation but an entire framework for treating extreme-spin fields on algebraically special black-hole spacetimes: separated or transformed, vacuum or sourced, classical or quantum, exact Kerr or perturbatively deformed.

Source: https://www.emergentmind.com/topics/teukolsky-equations