Conservative and dissipative sectors in a nonlinear scalar model for the gravitational self-force problem

This paper investigates the decomposition of the second-order scalar self-force into conservative and dissipative sectors within a nonlinear scalar toy model, identifying multiple Hamiltonian-compatible definitions for the conservative component while noting that infrared divergences restrict the results to unbound scattering trajectories.

The Gist

Imagine you are trying to predict the path of a tiny spaceship flying past a massive black hole. In a perfect, simple universe, the spaceship would follow a smooth, predictable curve called a "geodesic." But in our real, messy universe, the spaceship isn't just a passive passenger; it has its own gravity (or in this paper's simplified version, its own "charge"). As it moves, it creates ripples in the fabric of space and time. These ripples bounce back and hit the spaceship, pushing and pulling on it. This is called self-force.

The problem is that this self-force is complicated. It has two distinct personalities:

1. The Conservative Part: This is like a spring or a pendulum. It stores energy and moves things back and forth without losing any energy to the outside world. It's predictable and reversible.
2. The Dissipative Part: This is like friction or air resistance. It steals energy from the spaceship and radiates it away (like gravitational waves). It's irreversible; you can't get that energy back.

Physicists want to separate these two personalities to understand the motion better. For simple, linear situations (where things are small and weak), this separation is easy and everyone agrees on how to do it. But when things get nonlinear (stronger, more complex interactions), the rules get fuzzy. There are many ways to draw the line between "conservative" and "dissipative," and they don't always agree.

The Paper's Mission: Finding the "Hamiltonian" Rule

The authors of this paper are trying to solve a specific puzzle: How do we define the "conservative" part of this messy self-force so that it follows the strict laws of a "Hamiltonian" system?

Think of a Hamiltonian as the ultimate "rulebook" for a game. If a system is Hamiltonian, it means:

• It has a hidden "energy score" (the Hamiltonian) that stays constant if you ignore friction.
• The rules are reversible (you can play the movie backward and it still makes sense).
• It's mathematically elegant and easier to solve.

The authors ask: Can we find a way to split the messy self-force into a "conservative" piece that has its own perfect rulebook, and a "dissipative" piece that handles the energy loss?

The Toy Model: A Scalar Field

To figure this out without getting bogged down in the terrifying complexity of real gravity, they use a toy model.

• Instead of a black hole and a star, they imagine a charged particle moving through a nonlinear scalar field (think of it as a stretchy, rubbery medium that the particle is swimming through).
• The particle interacts with this rubbery medium, which pushes back on it.
• They look at this interaction up to a "second order," meaning they are looking at the first ripple the particle makes, and then the second ripple that happens because the first ripple pushed back on the particle.

The Three Ways to Split the Force

The authors test three different "recipes" (or mathematical filters) to separate the conservative force from the dissipative one. They use special mathematical tools called projection operators (think of them as sieves or filters) to sift through the messy data.

1. The "Symmetrized" Recipe: This method takes the messy force and forces it to be perfectly symmetrical. It's like taking a messy pile of laundry and folding every shirt perfectly in half.

   • Result: This works! It creates a conservative force that follows the Hamiltonian rulebook. However, it doesn't look "time-symmetric" (it treats the past and future slightly differently), which feels a bit weird for a conservative system, but it works mathematically.

2. The "Time-Even" Recipe: This method tries to make the force look exactly the same whether time runs forward or backward. It's like watching a movie and demanding that the forward and backward versions look identical.

   • Result: This also works! It creates a valid Hamiltonian system. Interestingly, this recipe includes some effects that the "Symmetrized" one leaves out, but both are mathematically valid.

3. The "Iterated Time-Even" Recipe: This is the most intuitive idea. It tries to build the conservative force step-by-step, using only the "time-symmetric" parts at every single step. It's like trying to build a house using only perfectly straight bricks, checking for straightness at every layer.

   • Result: It fails. The authors discovered that this seemingly simple recipe leads to an infinite explosion (a mathematical infinity). When they tried to calculate the force for a particle stuck in a closed orbit (like a planet going around a star), the math blew up. The "tail" of the force (the part that remembers the past) never dies out fast enough, causing the total energy to become infinite.

The Big Conclusion

The paper concludes that:

• There is no single, unique way to define the "conservative" part of the self-force at this level of complexity.
• You have to choose a recipe. The "Symmetrized" and "Time-Even" recipes both work and give you a valid Hamiltonian system (a system with a perfect rulebook).
• The "Iterated Time-Even" recipe, which sounds the most logical, is actually broken for bound orbits because it leads to infinite results.
• The choice between the working recipes is a matter of pragmatism, not fundamental truth. It depends on which one makes the math easier for the specific problem you are trying to solve. For example, if you are calculating gravitational waves for the LISA space telescope, the "Symmetrized" recipe might be the easiest tool for the job.

A Note on Bound Orbits

The authors also warn that their results mostly apply to scattering orbits (objects flying past each other and leaving). If you try to apply these rules to bound orbits (objects stuck in a loop, like a planet around a star), you run into "infrared divergences."

Imagine a planet orbiting forever. It constantly emits ripples. Over an infinite amount of time, those ripples pile up. In the second-order math, this pile-up becomes so massive that the equations break down. The paper admits that for these eternal loops, the math is currently too broken to give a clean answer, so they restrict their findings to objects that fly by and leave.

Summary

In short, the authors took a complex problem about how objects push themselves around in space, simplified it into a rubber-band model, and found that there are multiple valid ways to separate the "reversible" motion from the "energy-losing" motion. They found that the most obvious way to do it actually breaks the math, but two other clever ways work perfectly, giving physicists new tools to calculate the motion of binary systems in our universe.

Technical Summary

Technical Summary: Conservative and Dissipative Sectors in a Nonlinear Scalar Model for the Gravitational Self-Force Problem

Problem Statement
In the study of binary systems, particularly in the small mass-ratio regime relevant to gravitational wave astronomy, the motion of a small body is governed by the gravitational self-force. A common strategy to analyze this motion is to decompose the self-force into "conservative" and "dissipative" sectors. While this decomposition is unambiguous in linear theories—typically defined by time-reversal symmetry (time-even vs. time-odd components)—it becomes subtle in nonlinear theories. In nonlinear contexts, multiple criteria for defining these sectors (e.g., time-reversal invariance, Hamiltonian structure, or orbit-averaged conservation laws) do not necessarily coincide, and different prescriptions may yield different results at higher orders.

The primary challenge addressed in this paper is the lack of a generally accepted, unique definition for the second-order conservative self-force that simultaneously satisfies the requirement of being a Hamiltonian dynamical system. The authors investigate whether natural definitions exist for this component and, if so, whether they are unique.

Methodology
To address these questions without the full complexity of general relativity, the authors employ a nonlinear scalar field toy model. They consider a point-like body with a scalar charge coupled to a nonlinear scalar field. This model captures the essential features of the second-order gravitational self-force while allowing for more tractable calculations.

The methodology proceeds through the following steps:

1. Field Transformations and Effective Fields: Utilizing a nonperturbative method developed in previous works [31–35], the authors map the physical field (which diverges at the particle's location) to a "dressed" or "effective" field that is source-free and well-behaved in the point-particle limit. This involves a generating functional $W$ that defines singular $n$-point functions ($G^S_2, G^S_3$) to absorb the singular self-field contributions.
2. Expansion and Self-Force Derivation: The effective field is expanded in powers of the scalar charge $\hat{q}$. The second-order self-force is derived in terms of retarded and advanced Green's functions and specific 3-point functions.
3. Projection Operators: To isolate conservative sectors, the authors introduce three projection operators acting on the $n$-point functionals:
   • $P_{Sym}$: Symmetrizes the arguments of the $n$-point function.
   • $P_{gEven}$ (Global Time-Even): Averages the functional over time orientations (swapping retarded and advanced Green's functions).
   • $P_{iEven}$ (Iterated Time-Even): Replaces all Green's functions within the functional with their time-symmetric (conservative) counterparts before evaluation.
4. Hamiltonian Formalism: The authors apply a recent result [30] stating that finite-dimensional dynamical systems with perturbative, nonlocal-in-time interactions admit a local Hamiltonian description if and only if the governing $n$-point functions are fully symmetric. They use this criterion to test which combinations of the projection operators yield valid conservative sectors.

Key Contributions and Results
The paper identifies and analyzes three distinct definitions for the second-order conservative self-force, each constructed by applying specific combinations of the projection operators to the effective field:

1. The Iterated Time-Even Sector ($C_{iEven}$): This sector is constructed by solving the field equations at each order using only the conservative (time-symmetric) Green's function. While conceptually simple, the authors demonstrate that this definition is not viable. In theories with massive fields or curved spacetimes (where "tails" exist), the associated 3-point function involves integrals over unbounded spacetime volumes that suffer from infrared divergences. Appendix C provides an explicit calculation in a massive scalar field model showing that the integral diverges exponentially.

2. The Time-Even Sector ($C_{Even}$): This sector is defined by applying the global time-even projection ($P_{gEven}$) followed by symmetrization ($P_{Sym}$). The resulting 3-point function is fully symmetric and yields a well-behaved, finite field. The dynamics are Hamiltonian. However, the source term for the second-order field in this sector includes products of first-order dissipative fields, which are time-even.

3. The Symmetrized Sectors ($C_{\pm}$): These sectors are defined by applying only the symmetrization operator ($P_{Sym}$) to the retarded ($+$) or advanced ($-$) effective fields. These definitions also yield fully symmetric 3-point functions and admit Hamiltonian descriptions. Unlike the time-even sector, the source terms for these fields include products of first-order conservative and dissipative fields (which are time-odd).

Significance and Claims
The paper establishes that:

• Non-Uniqueness: There is no unique, natural definition for the second-order conservative self-force that satisfies the Hamiltonian property. Multiple distinct definitions ($C_{Even}$ and $C_{\pm}$) exist, and they differ by terms that are time-odd but still contribute to the conservative sector in a Hamiltonian framework.
• Hamiltonian Structure: The requirement that the conservative sector be Hamiltonian necessitates that the governing $n$-point functions be fully symmetric. This restricts the possible definitions but does not eliminate the ambiguity.
• Physical Equivalence: The authors argue that the choice of prescription is a pragmatic issue rather than a matter of principle. Since the total self-force is the physical observable, different prescriptions merely reshuffle terms between the conservative and dissipative sectors.
• Practical Implications: For specific applications, such as computing gravitational waveforms for extreme mass-ratio inspirals (EMRIs) at post-1-adiabatic order, the symmetrized prescription ($C_{\pm}$) may offer calculational advantages. In the context of phase-space averaging (used to compute secular evolution), contributions from fully symmetric 3-point functions vanish. Thus, using the symmetrized sector minimizes the number of terms required in the dissipative sector to obtain the correct physical result.
• Limitations: The results are currently restricted to unbound (scattering) trajectories. The authors note that for bound orbits, infrared divergences arise in the second-order fields for all considered conservative sectors due to the eternal interaction and continuous radiation emission, preventing a straightforward definition of finite sectors in that regime.

In summary, the paper provides a rigorous framework for decomposing the second-order self-force in a nonlinear toy model, demonstrating that while Hamiltonian conservative sectors exist, they are not unique. The choice among them depends on the specific computational goals, with the symmetrized sector offering potential efficiency in orbit-averaged calculations.