Conformal Metrics on the Disk with Prescribed Negative Gaussian Curvature and Boundary Geodesic Curvature

1. Probleemstelling

Het artikel onderzoekt het probleem van het voorschrijven van de Gauss-kromming ($K$) op een oppervlak en de geodetische kromming ($h$) op de rand, via een conformale verandering van de metriek. Specifiek richt de studie zich op de eenheidsschijf $D$ met een voorgeschreven negatieve Gauss-kromming ($K < 0$).

Het probleem wordt wiskundig geformuleerd als een niet-lineaire elliptische partiële differentiaalvergelijking (PDV) met niet-lineaire randvoorwaarden. Als men de conformale factor schrijft als $\rho = e^u$, dan moet de functie $u$ voldoen aan:
$$\begin{cases} -\Delta u = 2K(x)e^u & \text{in } D, \\ \frac{\partial u}{\partial \nu} + 2 = 2h(x)e^{u/2} & \text{op } \partial D, \end{cases}$$
waarbij $\Delta$ de Laplace-Beltrami operator is en $\nu$ de uitwaartse eenheidsnormaal.

De uitdaging:
In tegenstelling tot het geval waarbij $K$ en $h$ positief zijn (of constant), is het geval met negatieve $K$ minder goed begrepen. De belangrijkste moeilijkheid is dat er oplossingen kunnen ontstaan met "blow-up" gedrag waarbij zowel de oppervlakte als de randlengte divergeren (niet begrensd blijven). Dit maakt standaard compactheidsargumenten onmogelijk. Bovendien zijn eerdere methoden, zoals parabolische flows of topologische graden die gebaseerd zijn op de Nirenberg-problemen op de sfeer, niet direct toepasbaar vanwege de specifieke interactie tussen de twee krommingen en het ontbreken van een uniforme massa-voorwaarde.

2. Methodologie

De auteurs hanteren een variational benadering gecombineerd met een verfijde blow-up analyse. De strategie bestaat uit de volgende stappen:

1. Variational Formulering:
   De oplossingen worden gezocht als kritieke punten van een energiefunctionaal $I: H^1(D) \to \mathbb{R}$:
   $$I(u) = \int_D \left(\frac{1}{2}|\nabla u|^2 - 2K(x)e^u\right) + \int_{\partial D} \left(2u - 4h(x)e^{u/2}\right).$$
   Vanwege het ontbreken van de Palais-Smale (PS) conditie (door mogelijke blow-up), kan men niet direct kritieke punten vinden.

2. Perturbatie en Monotoniteitstruc:
   Om dit te omzeilen, introduceren de auteurs een familie van gestoorde functionalen $I_\varepsilon$:
   $$I_\varepsilon(u) = I(u) + \varepsilon T(u),$$
   waarbij $T(u)$ een coercieve term is en $\varepsilon$ een kleine parameter is (die zowel positief als negatief kan zijn).

   • Voor $\varepsilon > 0$ heeft de functionaal een mountain-pass-geometrie.
   • Voor $\varepsilon < 0$ wordt een complexe 3-dimensionale linking-structuur geconstrueerd. Dit is een nieuw en cruciaal onderdeel van hun werk, waarbij ze gebruikmaken van een vergelijking met het geval van constante coëfficiënten.

   Met behulp van Struwe's monotoniteitstruc vinden ze voor bijna elke $\varepsilon$ een begrensde Palais-Smale-rij van oplossingen met een beperkt Morse-index (het aantal negatieve eigenwaarden van de Hessiaan).

3. Blow-up Analyse met Bounded Morse Index:
   De kern van het bewijs ligt in het aantonen dat de gevonden rij oplossingen $u_n$ (voor $\varepsilon_n \to 0$) compact is. De auteurs gebruiken eerdere resultaten (López-Soriano & Ruiz) die aantonen dat als de Morse-index begrensd is, de "blow-up" punten zich beperken tot de rand en de massa/oppervlakte begrensd blijven onder specifieke voorwaarden.
   Ze voeren een verfijde analyse uit van het gedrag van de oplossingen in de buurt van een blow-up punt $p \in \partial D$. Hierbij gebruiken ze:

   • Kazdan-Warner identiteiten: Integralen die noodzakelijke voorwaarden opleggen aan de krommingen.
   • Asymptotische expansie: Een nauwkeurige schatting van de fouttermen in de oplossing.
   • De hulpfunctie $\Phi$: Gedefinieerd als $\Phi(x) = H(x) + \sqrt{H(x)^2 + K(x)}$, waarbij $H$ de harmonische uitbreiding is van $h$.

3. Belangrijkste Resultaten

Het hoofdstuk resulteert in de volgende existentie-stellingen:

Stelling 1.1 (Hoofdstelling):
Er bestaat een oplossing voor het probleem (1.1) onder de volgende aannames:

• $K \in C^2(D)$ en $h \in C^2(\partial D)$ met $K < 0$.
• Voorwaarde (a): $\min_{\partial D} h > \max_{\partial D} \sqrt{|K|}$.
• En ofwel voorwaarde (b-) of (b+):
  • (b-): $\partial_\nu \Phi(x) < 0$ voor alle $x \in \partial D$ waar $\partial_\tau \Phi(x) = 0$.
  • (b+): $\partial_\nu \Phi(x) > 0$ voor alle $x \in \partial D$ waar $\partial_\tau \Phi(x) = 0$.

Hierbij staan $\partial_\tau$ en $\partial_\nu$ respectievelijk voor de tangentiële en uitwaartse normale afgeleide.

Verfijning (Stelling 2.1):
De auteurs tonen aan dat voorwaarde (a) kan worden verzwakt als men gebruikmaakt van voorwaarde (b-), mits er een punt bestaat waar de schaal-invariante functie $D(x) = h(x)/\sqrt{|K(x)|} > 1$ en bepaalde afgeleiden niet nul zijn.

Noodzakelijkheid:
De auteurs illustreren dat hun voorwaarden essentieel zijn. Zonder voorwaarde (a) of de juiste tekenen van de afgeleiden van $\Phi$, kunnen er tegenstrijdigheden ontstaan (bijvoorbeeld via de Kazdan-Warner identiteit) die het bestaan van oplossingen uitsluiten.

4. Bijdragen aan de Wetenschap

1. Oplossing voor Negatieve Kromming: Het artikel vult een belangrijke lacune in de literatuur op door het bestaan van conformale metrieken met negatieve Gauss-kromming op de schijf te bewijzen zonder symmetrie-aannames. Eerdere werken vereisten vaak symmetrie of beperkten zich tot positieve kromming.
2. Nieuwe Linking-Structuur: De constructie van de 3-dimensionale linking-structuur voor $\varepsilon < 0$ is een nieuw technisch instrument dat specifiek is ontworpen voor dit type variatieproblemen met negatieve kromming.
3. Verfijde Compactheidsanalyse: Het artikel biedt een robuust bewijs voor compactheid in een regime waar de massa niet van tevoren begrensd is. Ze tonen aan dat de beperking van de Morse-index voldoende is om de divergentie van oppervlakte en lengte te voorkomen, mits de geometrische voorwaarden op $\Phi$ worden voldaan.
4. Interactie tussen Rand en Binnen: Het werk benadrukt de complexe interactie tussen de Gauss-kromming in het inwendige en de geodetische kromming op de rand, wat leidt tot nieuwe obstructies die niet voorkomen in het klassieke Nirenberg-probleem op de sfeer.

5. Significatie

Deze resultaten zijn significant voor de differentiaalmeetkunde en de theorie van partiële differentiaalvergelijkingen. Ze tonen aan dat variatiemethoden, zelfs in complexe regimes met divergerende oplossingen, succesvol kunnen worden toegepast door slimme perturbaties en diepgaande analyse van het "blow-up" gedrag. De gevonden voorwaarden (betreffende $\Phi$ en zijn afgeleiden) geven een scherp inzicht in de geometrische beperkingen die nodig zijn om een voorgeschreven kromming te realiseren op een oppervlak met rand. Dit opent de deur voor verdere onderzoek naar niet-constante krommingen op andere oppervlakken met rand.