[论文解读] The Maxwell-Higgs System with Scalar Potential on Subextremal Kerr Spacetimes: Nonlinear wave operators and asymptotic completeness

Bobby Eka Gunara, Mulyanto+1 more|arXiv (Cornell University)|Mar 4, 2026

Advanced Mathematical Physics Problems被引用 0

一句话总结

论文在亚极 Kerr 时空下构建非线性波算子并证明 Maxwell–Higgs 系统在小数据下的渐近完备性，之于非负的规范不变量标量势，在模块化线对非框架下工作。它发展了规范协变辐射数据并建立了 Kerr-Schwarzschild 散射理论，包括 Born 近似，并在解析势下散射映射的实解析性。

ABSTRACT

We construct nonlinear wave operators and prove small-data asymptotic completeness for the Maxwell--Higgs system on the domain of outer communications of every four-dimensional subextremal Kerr black hole $(\mathcal D_{M,a},g_{M,a})$ with $M>0$ and $|a|0$ the same conclusions follow assuming the massive linear package $\Lin_{k}^{(m)}$ for the linear comparison system (in particular, no exponentially growing modes); this fails for an open set of masses due to superradiant instability \cite{ShlapentokhRothmanKGKerr}. We work in the radiative (charge-free) regime; stationary Coulomb (Kerr--Newman) modes are treated separately. Asymptotic states are described by gauge-covariant radiation fields on $\mathcal I^{\pm}\cup\mathcal H^{\pm}$ (and, when $m>0$, an additional timelike/Dollard channel), yielding a gauge-invariant nonlinear scattering map on the residual-gauge quotient. The scattering map is a small-data bijection, is Fréchet differentiable at $0$ with derivative equal to linear Kerr scattering, admits a quadratic (Born) expansion with an $O(\|U\|^{3})$ remainder in the natural asymptotic topology, and is real-analytic for analytic $P$. The nonlinear argument is presented as a transfer principle from a black-box linear estimate package for inhomogeneous Klein--Gordon and charge-free Maxwell fields, verified here in the massless Kerr case (and proved self-contained in Schwarzschild).

研究动机与目标

• Motivate the study of nonlinear scattering for Maxwell–Higgs systems on rotating black hole exteriors.
• Formulate a modular framework reducing nonlinear analysis to a linear estimate package.
• Construct nonlinear wave operators and prove small-data asymptotic completeness on subextremal Kerr (massless case) and Schwarzschild.
• Describe gauge-covariant radiation data and intrinsic scattering on the gauge quotient.
• Explore consequences of potential assumptions, including real-analyticity leading to convergent Born series.

提出的方法

• Adopt Lorenz gauge formulation for the Maxwell–Higgs system on Kerr backgrounds.
• Decompose the problem into a decoupled linear comparison system consisting of charge-free Maxwell equations and Klein–Gordon equations with mass m.
• Prove energy identities, redshift, Morawetz, and r^p-far-region decay estimates to control nonlinearities.
• Define gauge-covariant radiation fields via parallel transport along null generators.
• Construct forward and backward nonlinear wave operators and establish a two-sided nonlinear scattering map on the scattering boundary.
• Show Fréchet differentiability at zero and a quadratic Born expansion for the nonlinear scattering map; demonstrate real-analyticity for analytic P.

实验结果

研究问题

• RQ1 Can nonlinear wave operators be constructed for the Maxwell–Higgs system on subextremal Kerr spacetimes?
• RQ2 Does small-data scattering (asymptotic completeness) hold for massless and massive scalar potentials under a linear comparison package?
• RQ3 How do gauge-covariant radiation data describe asymptotic states across I± and H± in Kerr backgrounds?
• RQ4 What is the relationship between nonlinear scattering maps and the underlying linear Kerr scattering map?
• RQ5 Under what conditions on the scalar potential P does the nonlinear scattering map admit a Born series expansion and real-analyticity?

主要发现

• Existence of forward and backward nonlinear wave operators for the Maxwell–Higgs system on D_{M,a} with |a|<M and mass parameter m^2≥0.
• Small-data asymptotic completeness established for the massless case (m=0) on full subextremal Kerr, and for m^2>0 under a massive linear package Lin_k^(m).
• Two-sided nonlinear scattering operator defined on gauge-equivalence classes of data, with a Fréchet-differentiable derivative equal to the linear Kerr scattering map.
• Quadratic (Born) expansion of the nonlinear scattering map with an O(||U||^3) remainder in the natural asymptotic topology; the map is real-analytic when P is analytic near zero.
• Scattering data described by gauge-covariant radiation fields on I± ∪ H± (and a timelike/Dollard channel for m>0), yielding intrinsic scattering on the residual gauge quotient.
• Schwarzschild case fully verified (including massive channel) and Kerr results contingent on the linear massive Klein–Gordon package; potential assumptions ensure cubic nonlinearity control.