[Paper Review] Trilinear compensated compactness and Burnett's conjecture in general relativity

Cécile Huneau, Jonathan Luk|arXiv (Cornell University)|Jul 24, 2019

Gas Dynamics and Kinetic Theory4 citations

TL;DR

This paper proves Burnett's conjecture in general relativity by establishing that the high-frequency limit of a sequence of vacuum Einstein solutions, under $π(1)$ symmetry and an elliptic gauge condition, is isometric to a solution of the Einstein–massless Vlasov system. Using microlocal defect measures and a novel trilinear compensated compactness principle for nonlinear wave and elliptic equations, the authors show the limiting stress-energy tensor corresponds to massless particles moving at light speed, with no direct self-interaction beyond gravitational coupling.

ABSTRACT

Consider a sequence of $C^4$ Lorentzian metrics $\{h_n\}_{n=1}^{+\infty}$ on a manifold $\mathcal M$ satisfying the Einstein vacuum equation $\mathrm{Ric}(h_n)=0$. Suppose there exists a smooth Lorentzian metric $h_0$ on $\mathcal M$ such that $h_n o h_0$ uniformly on compact sets. Assume also that on any compact set $K\subset \mathcal M$, there is a decreasing sequence of positive numbers $λ_n o 0$ such that $$\|\partial^α (h_n - h_0)\|_{L^{\infty}(K)} \lesssim λ_n^{1-|α|},\quad |α|\geq 4.$$ It is well-known that $h_0$, which represents a "high-frequency limit", is not necessarily a solution to the Einstein vacuum equation. Nevertheless, Burnett conjectured that $h_0$ must be isometric to a solution to the Einstein-massless Vlasov system. In this paper, we prove Burnett's conjecture assuming that $\{h_n\}_{n=1}^{+\infty}$ and $h_0$ in addition admit a $\mathbb U(1)$ symmetry and obey an elliptic gauge condition. The proof uses microlocal defect measures - we identify an appropriately defined microlocal defect measure to be the Vlasov measure of the limit spacetime. In order to show that this measure indeed obeys the Vlasov equation, we need some special cancellations which rely on the precise structure of the Einstein equations. These cancellations are related to a new "trilinear compensated compactness" phenomenon for solutions to (semilinear) elliptic and (quasilinear) hyperbolic equations.

Motivation & Objective

• To resolve Burnett's conjecture that the high-frequency limit of vacuum Einstein solutions corresponds to a solution of the Einstein–massless Vlasov system.
• To establish that the effective stress-energy tensor in the limit arises from massless particles propagating at the speed of light with no direct interaction.
• To develop and apply a new trilinear compensated compactness framework for analyzing nonlinear interactions in Einstein's equations under high-frequency oscillations.
• To prove that microlocal defect measures associated with the limit spacetime satisfy the Vlasov equation, confirming the effective matter content.
• To extend the framework of compensated compactness to trilinear terms arising from coupled elliptic-hyperbolic systems in general relativity.

Proposed method

• Use of microlocal defect measures to capture the oscillatory behavior of high-frequency gravitational waves in the limit.
• Introduction of a trilinear compensated compactness principle to handle nonlinear interactions between three waves or fields in the Einstein equations.
• Application of pseudo-differential operators and wave-type energy identities to control error terms in the limit.
• Reduction of the problem to a compact set using a $π(1)$ isometry and an elliptic gauge condition to simplify the geometry.
• Derivation of a transport equation for the microlocal defect measure, showing it satisfies the Vlasov equation in the limit.
• Use of homogeneous functions in momentum variables and integration over the light cone to verify the measure's consistency with massless particle dynamics.

Experimental results

Research questions

• RQ1 Can the high-frequency limit of vacuum Einstein solutions be shown to correspond to a solution of the Einstein–massless Vlasov system?
• RQ2 What structural cancellations in the Einstein equations allow the limit to behave like massless matter rather than arbitrary effective stress-energy tensors?
• RQ3 How can compensated compactness techniques be extended from bilinear to trilinear forms in the context of nonlinear hyperbolic and elliptic PDEs?
• RQ4 Under what geometric and analytic conditions does the microlocal defect measure of a sequence of vacuum metrics satisfy the Vlasov equation?
• RQ5 Is the effective matter field in the limit necessarily massless and non-interacting beyond gravitational coupling?

Key findings

• The high-frequency limit $h_0$ of a sequence of vacuum Einstein metrics is isometric to a solution of the Einstein–massless Vlasov system under $π(1)$ symmetry and an elliptic gauge condition.
• The microlocal defect measure associated with the limit spacetime satisfies the Vlasov equation, confirming the effective matter is massless and non-interacting.
• A new trilinear compensated compactness principle is established, which controls the interaction of three fields (two waves and one elliptic component) in the Einstein equations.
• The limiting stress-energy tensor is shown to arise from a measure-valued Vlasov field, consistent with null dust or massless particles moving at light speed.
• The transport equation for the microlocal defect measure is derived and verified using homogeneous test functions and light-cone support conditions.
• The proof relies on precise cancellations in the wave and elliptic parts of the Einstein equations, which are tied to the geometric structure of the spacetime and the gauge choice.