Phase mixing estimates for the nonlinear Hartree equation of infinite rank

This paper establishes phase mixing estimates and pointwise decay for the density of the nonlinear Hartree equation around translation-invariant equilibria by deriving a Penrose--Lindhard stability criterion for defocusing short-range potentials and proving these results via a nonlinear iterative scheme and an alternative scattering argument.

The Gist

Imagine a vast, invisible ocean made not of water, but of quantum particles. These particles are constantly moving, bumping into each other, and interacting. In physics, we use a complex mathematical equation (the Hartree equation) to describe how this "quantum ocean" behaves over time.

This paper is about what happens when that ocean is slightly disturbed. Does the disturbance grow into a massive storm (instability), or does it eventually smooth out and disappear (stability)?

Here is a breakdown of the paper's key ideas using everyday analogies:

1. The Setup: A Calm Lake vs. A Stormy Sea

Think of the equilibrium (the state the system is in before we mess with it) as a perfectly calm, flat lake.

• The Disturbance: Imagine throwing a single pebble into this lake. This creates ripples.
• The Question: Will those ripples grow bigger and bigger until the lake is chaotic? Or will they spread out, get smaller, and eventually vanish, leaving the lake calm again?

In the world of quantum particles, "vanishing" doesn't mean the energy disappears; it means the energy spreads out so thinly that the particles stop interacting in a coordinated way. This spreading out is called Phase Mixing.

2. The "Magic Ingredient": The Interaction Potential

The particles in this ocean talk to each other through a force called the interaction potential (denoted as $w$).

• Short-Range vs. Long-Range: Some forces are like a magnet that only works if you are touching it (short-range). Others are like gravity, which works across the whole universe (long-range, like the Coulomb potential).
• The Paper's Focus: This paper looks at short-range interactions. It's like saying, "Let's see what happens if the particles only care about their immediate neighbors."

3. The "Stability Test": The Penrose-Lindhard Criterion

Before the author could prove the ripples would fade, they had to prove the lake was stable to begin with. They developed a precise "stability test" (the Penrose-Lindhard criterion).

• The Analogy: Imagine trying to push a swing. If you push at the wrong time, the swing goes crazy (unstable). If you push at the right time, it just sways gently (stable).
• The Math: The author looked at the "shape" of the calm lake (the equilibrium) and the "strength" of the force between particles. They found a specific mathematical rule (Condition H6) that guarantees the lake won't start oscillating wildly. If this rule is met, the system is linearly stable.

4. The Main Discovery: "Phase Mixing" (The Great Smoothing)

This is the paper's biggest contribution. The author proved that if the system is stable, the ripples (the density of particles) don't just fade; they fade at a very specific, predictable speed.

• The Analogy: Imagine dropping a drop of red dye into a clear river.
  • Phase Mixing: The dye doesn't stay in a blob. It stretches out into a long, thin stream. As it stretches, the red color becomes so faint that from a distance, the water looks clear again.
  • The Result: The paper proves that the "redness" (the disturbance) fades away at a rate of $1/t^d$ (where $t$ is time and $d$ is the number of dimensions).
  • The Bonus: If you look at how fast the dye is spreading (derivatives), it fades even faster! Every time you look at a "sharper" detail, the fading happens one step quicker.

5. The "Scattering" Conclusion

Finally, the paper shows that after a long time, the quantum system forgets it ever had a disturbance.

• The Analogy: Think of a crowded dance floor where everyone is dancing in a complex pattern. If you suddenly change the music, everyone stumbles (the disturbance). But eventually, they all find their rhythm again and start dancing exactly as they did before, as if the music change never happened.
• The Math: The system "scatters." This means the complex quantum state eventually looks exactly like a "free" system where particles aren't interacting at all. The disturbance has effectively vanished into the background.

Summary: Why Does This Matter?

In the real world, we often deal with systems that are too complex to track particle-by-particle (like a gas in a balloon or electrons in a metal).

This paper gives us a guarantee:

1. If the particles interact in a certain "short-range" way...
2. And if the system starts in a stable state...
3. Then, any small disturbance will smooth out and disappear over time, following a precise mathematical rule.

It's like proving that no matter how hard you stir a cup of coffee (as long as the cup is stable), the swirls will eventually settle down, and the coffee will return to being a calm, uniform liquid. The author didn't just say "it settles"; they calculated exactly how fast it settles.

Technical Summary

1. Problem Statement

The paper investigates the long-time asymptotic behavior of the nonlinear Hartree equation describing a system of infinitely many quantum particles in $\mathbb{R}^d$ ($d \ge 3$). The equation governs the evolution of a one-particle density operator $\gamma(t)$:
$$i\partial_t \gamma = [-\Delta + w * \rho_\gamma, \gamma], \quad \gamma|_{t=0} = \gamma_0$$
where $\rho_\gamma(t, x) = \gamma(t, x, x)$ is the spatial density, and $w$ is a two-body interaction potential (a finite positive Borel measure).

The study focuses on the asymptotic stability of the system near a class of translation-invariant equilibria $f = f(-\Delta)$ with finite constant density. Specifically, the authors analyze perturbations $\gamma(t) = f + \gamma_{pert}(t)$ to determine if the system exhibits phase mixing (decay of the density function) and scattering (convergence to free dynamics) under defocusing short-range interactions.

2. Methodology

The authors employ a combination of Fourier-Laplace analysis, spectral theory, and nonlinear iterative schemes to establish their results.

• Linearization and Resolvent Equation:
  The perturbation equation is linearized around the equilibrium. Using the Fourier-Laplace transform, the density $\rho$ is expressed via a resolvent equation:
  $$\hat{\rho}(\lambda, k) = \frac{1}{D(\lambda, k)} \hat{S}(\lambda, k)$$
  where $D(\lambda, k)$ is the Lindhard dielectric function (dispersion relation) and $\hat{S}$ represents the source term (initial data and nonlinear interactions).

• Spectral Stability Criterion (Penrose-Lindhard):
  A crucial step is establishing a precise criterion for the non-existence of oscillatory modes (zeros of $D(\lambda, k)$ in the right half-plane). The authors derive a condition (H6) based on the marginal of the equilibrium distribution, $\phi(u) = \int_{\mathbb{R}^{d-1}} f(u^2 + |v|^2) dv$.

  • The condition requires: $1 - \frac{\hat{w}(0)}{2} \int_{|u|<\Upsilon} \frac{\phi(u)}{(\Upsilon - u)^2} du > 0$.
  • This ensures the linearized operator is invertible and the Green function decays rapidly.

• Green Function Analysis:
  The authors analyze the inverse Laplace transform of $1/D(\lambda, k)$. They prove that under the stability condition, the Green function in Fourier space, $\hat{G}_k(t)$, decomposes into a Dirac delta and a regular part $\hat{G}^r_k(t)$ that exhibits pointwise time decay of order $t^{-N_0}$ (specifically $t^{-d-n}$ for derivatives). Unlike the long-range Coulomb case, the short-range potential ensures no oscillatory components persist in the regular part.

• Nonlinear Iterative Scheme (Bootstrap Argument):
  To handle the nonlinearity, the authors construct a bootstrap argument in weighted norms in Fourier space.

  • They define norms involving weights like $\langle k \rangle^{N_2} \langle k, t \rangle^{N_1}$.
  • A key technical innovation is the choice of coordinates in the nonlinear estimates. They utilize the property that for the potential $V = w * \rho$, the derivative $\partial_p \hat{V}(k) = 0$ (since $V$ depends only on $k$). This allows them to control the nonlinear terms effectively using the coordinates $\partial_p^\alpha \mu(k-p, p)$.

3. Key Contributions

1. Precise Stability Criterion (H6): The paper provides a necessary and sufficient condition for the linear stability of translation-invariant equilibria with finite regularity. This refines previous works which only offered sufficient conditions. It explicitly identifies that certain physically relevant states (like the zero-temperature Fermi gas in $d \le 3$) fail this condition, explaining why their stability is an open problem.
2. Nonlinear Phase Mixing Estimates: The authors establish, for the first time at the nonlinear level, that the density $\rho_\gamma(t)$ and its spatial derivatives decay pointwise in time.
   • The decay rate is $\|\partial_x^n \rho_\gamma(t)\|_{L^\infty_x} \lesssim \varepsilon \langle t \rangle^{-d-n}$.
   • This rate is optimal, matching the decay of free Hartree dynamics, with an additional $t^{-1}$ gain for each spatial derivative.
3. Scattering in Hilbert-Schmidt Space: The paper proves that the solution $\gamma(t)$ scatters to a free state $\gamma_\infty$ in the Hilbert-Schmidt space ($HS$), with a decay rate of $\|\gamma(t) - e^{it\Delta}\gamma_\infty e^{-it\Delta}\|_{HS} \lesssim \varepsilon \langle t \rangle^{-d/2}$.
4. Alternative Proof of Scattering: By leveraging the phase mixing estimates of the density, the authors provide a novel proof of scattering that bypasses some traditional methods used in previous literature.

4. Main Results

Theorem 1.1 (Main Result):
Let $f$ be an equilibrium satisfying smoothness and decay assumptions (H1-H3) and the stability condition (H6). Let $w$ be a defocusing short-range potential satisfying (H4-H5). If the initial perturbation $\gamma_0$ is sufficiently small in a weighted Hilbert-Schmidt space (or weighted $L^\infty L^1$ space for the kernel), then:

• There exists a unique global-in-time solution $\gamma(t)$.
• The density satisfies the optimal phase mixing estimate:
  $$\|\partial_x^n \rho_\gamma(t)\|_{L^\infty_x} \le C \varepsilon \langle t \rangle^{-d-n}$$
  for $0 \le n \le N_3$.
• The solution scatters in the Hilbert-Schmidt space:
  $$\|e^{-it\Delta}\gamma(t)e^{it\Delta} - \gamma_\infty\|_{HS} \le C \varepsilon \langle t \rangle^{-d/2}$$

5. Significance

• Bridging Linear and Nonlinear Stability: This work successfully extends the concept of Landau damping (phase mixing) from classical Vlasov equations and linear quantum systems to the fully nonlinear Hartree equation for infinite-rank density operators.
• Handling Singular Potentials: The framework accommodates singular interaction potentials, including the Dirac delta measure, which is crucial for modeling contact interactions in quantum gases.
• Clarifying Stability Limits: By deriving the precise criterion (H6), the paper clarifies why certain equilibria (like the zero-temperature Fermi gas in low dimensions) are unstable or require different analysis, distinguishing between defocusing and focusing regimes.
• Methodological Advancement: The use of specific coordinate choices in the nonlinear bootstrap argument ($\partial_p$ vs $\partial_k$) offers a robust technique for handling nonlinearities in kinetic equations where the potential depends only on the density.

In summary, the paper establishes the rigorous mathematical foundation for the long-time decay and scattering of quantum many-body systems described by the Hartree equation, confirming that phase mixing persists even in the presence of nonlinear interactions, provided the equilibrium satisfies a specific spectral stability condition.