Maximal hypersurfaces with prescribed light-like cones in Lorentz-Minkowski space

1. Probleemstelling en Context

Het artikel onderzoekt de constructie van maximale hypersurfaces (oppervlakken met gemiddelde kromming nul) in de Lorentz-Minkowski-ruimte $L^{N+1}$ die specifieke lichtkegel-singulariteiten vertonen. Deze oppervlakken worden beschreven als grafieken van functies $u: \mathbb{R}^N \to \mathbb{R}$ die voldoen aan de niet-lineaire elliptische vergelijking van de gemiddelde kromming:

$$M_0 u := -\nabla \cdot \left( \frac{\nabla u}{\sqrt{1 - |\nabla u|^2}} \right) = 0$$

De kern van het probleem ligt in het bestuderen van de Dirichlet-problemen met meerdere Dirac-massa's als brontermen. De auteurs zoeken naar zwakke oplossingen voor de vergelijking:

$$M_0 u = \sum_{j=1}^{m_0} \alpha_j \delta_{p_j} \quad \text{in } \mathcal{D}'(\mathbb{R}^N)$$

waarbij:

• $p_j$ de locaties zijn van de singulariteiten (de hoekpunten van de lichtkegels).
• $\alpha_j$ de coëfficiënten (sterkte) van de massa's zijn.
• De oplossing $u$ moet ruimtelijk (spacelike) zijn, wat betekent dat $|\nabla u| < 1$ bijna overal, maar dat $|\nabla u| \to 1$ nadert als $x \to p_j$.
• Er wordt onderscheid gemaakt tussen het geval $N \ge 3$ en het tweedimensionale geval $N=2$, waarbij de asymptotisch gedrag en de variatiestructuur fundamenteel verschillen.

2. Methodologie

De auteurs hanteren een benaderingsprocedure (approximation procedure) om de oplossingen te construeren, aangezien directe methoden voor deze niet-lineaire operator met Dirac-massa's problematisch zijn.

• Reguliere Benadering: De Dirac-massa's $\delta_{p_j}$ worden vervangen door een rij van gladde, niet-negatieve functies $g_n$ (met compacte drager) die zwak convergeren naar de Dirac-maat.
• Bij benadering op begrensde domeinen: Eerst worden oplossingen geconstrueerd op een bal $B_R(0)$ met randvoorwaarden $u=0$ op $\partial B_R(0)$.
• Variatiestelsel: De oplossingen worden gekarakteriseerd als maximalisatoren van een energiefunctionaal. Voor $N \ge 3$ is dit:
  $$J_{R}(w) = \int_{B_R} \left( \sqrt{1 - |\nabla w|^2} - 1 \right) dx - \sum \alpha_j w(p_j)$$
• Grensprocessen:
  • Voor $N \ge 3$: De limiet wordt genomen als $R \to \infty$ (om het hele $\mathbb{R}^N$ te dekken) en vervolgens als $n \to \infty$ (om de Dirac-massa's te herstellen). Hierbij wordt gebruikgemaakt van uniforme bounds en classificaties van geïsoleerde singulariteiten.
  • Voor $N = 2$: De variatiemethode faalt omdat de energiefunctionaal divergeert. De auteurs normaliseren de oplossing door het maximum te verschuiven ($\tilde{u} = u - \max u$) om een lokaal uniform begrenste rij te verkrijgen die convergeert naar een oplossing die naar $-\infty$ gaat op oneindig.
• Vergelijkingsprincipes en Herordening: Er wordt gebruikgemaakt van het symmetrisch dalend herordenen (symmetric decreasing rearrangement) en vergelijkingsprincipes (comparison principles) om bounds te verkrijgen en de uniciteit en regulariteit te waarborgen.

3. Belangrijkste Resultaten

A. Het geval $N \ge 3$ (Meerdere positieve Dirac-massa's)

• Bestaans- en Uniciteitsstelling (Stelling 1.1): Voor elke eindige verzameling van punten $P_{m_0}$ en positieve coëfficiënten $\alpha_j > 0$, bestaat er een unieke zwakke oplossing $u \in C^2(\mathbb{R}^N \setminus P_{m_0}) \cap C^{0,1}(\mathbb{R}^N)$.
• Asymptotisch Gedrag:
  • Op oneindig: $u(x) \sim c_N \alpha_0 |x|^{2-N}$ (waarbij $\alpha_0 = \sum \alpha_j$).
  • Bij de singulariteiten: $|\nabla u| \to 1$ en de oplossing vertoont een kegelvormig gedrag. De toppen van de kegels bevinden zich op verschillende hoogtes $\lambda_j$, waarbij $|\lambda_j - \lambda_k| < |p_j - p_k|$.
• Variatiekarakterisering: De oplossing is de unieke maximalisator van de energiefunctionaal $J_\infty$ op de ruimte $X_\infty(\mathbb{R}^N)$. Dit bevestigt een conjectuur uit eerder werk [7].
• Regulariteit: De oplossing is klassiek ($C^2$) overal behalve op de punten $P_{m_0}$.

B. Het geval $N = 2$ (Twee dimensies)

• Andere Asymptotiek: In tegenstelling tot $N \ge 3$, gaat de oplossing naar $-\infty$ op oneindig met een logaritmisch gedrag: $u(x) \sim -\frac{\alpha_0}{2\pi} \ln|x|$.
• Mislukken van Variatiemethode: De energiefunctionaal is niet goed gedefinieerd (divergent) voor $N=2$. De oplossing wordt dus niet gevonden als een kritiek punt van een functionaal, maar via een normalisatieprocedure.
• Resultaat (Stelling 1.2): Er bestaat een unieke oplossing (binnen de klasse van functies met de specifieke logaritmische asymptoot) die lichtkegel-singulariteiten vertoont bij $P_{m_0}$.

C. Gemengde Massa's en Oneindige Aantal Singulariteiten

• Positieve en Negatieve Massa's (Stelling 1.3): Voor het geval $M_0 u = \sum \alpha_j \delta_{p_j} - \sum \beta_j \delta_{q_j}$, wordt een scherpere voldoende voorwaarde afgeleid om $C^2$-regulariteit te garanderen. De voorwaarde voorkomt dat er "lichtachtige segmenten" ontstaan die twee singulariteiten verbinden (waarbij de gradiënt 1 zou worden).
• Oneindig Aantal Lichtkegels (Stelling 5.2): De constructie wordt uitgebreid naar het geval van oneindig veel singulariteiten ($\sum \alpha_j < \infty$), mits de punten een clusterpunt hebben. Er bestaat een minimale positieve oplossing met de juiste asymptotische eigenschappen.

4. Significatie en Bijdragen

Dit artikel levert een aanzienlijke bijdrage aan de theorie van niet-lineaire partiële differentiaalvergelijkingen in de Lorentz-geometrie:

1. Bevestiging van Conjectures: Het lost twee open vragen op uit [7]:
   • Het bevestigt dat de variatieoplossing (maximalisator van de energie) overeenkomt met de zwakke oplossing van de vergelijking.
   • Het verduidelijkt hoe regulariteitsaannames kunnen worden versterkt om klassieke oplossingen te garanderen, zelfs bij meerdere singulariteiten.
2. Omgaan met Singulariteiten: Het biedt een robuuste methode (via benadering en herordening) om om te gaan met Dirac-massa's in een degenererende elliptische operator, waarbij de gradiënt de grens 1 nadert.
3. Dimensionale Verschillen: Het benadrukt en analyseert fundamentele verschillen tussen $N=2$ en $N \ge 3$, met name wat betreft de variatiestructuur en het gedrag op oneindig.
4. Toepassingen: De resultaten zijn relevant voor de Born-Infeld-theorie (elektromagnetisme) en de studie van initiële data voor de Einstein-vergelijkingen in de algemene relativiteitstheorie, waar maximale hypersurfaces een cruciale rol spelen.

Kortom, het artikel biedt een complete karakterisering van maximale hypersurfaces met voorgeschreven lichtkegel-singulariteiten in de Lorentz-Minkowski-ruimte, zowel voor eindige als oneindige verzamelingen van singulariteiten, en voor verschillende dimensies.