On Brezis Open Problem 3.1

Technische Samenvatting: Uniciteit van zwakke harmonische afbeeldingen met een breedtegraad-spoor

Probleemstelling
Dit artikel behandelt een langlopende open vraag betreffende de uniciteit van zwakke harmonische afbeeldingen van de eenheidsschijf $B_1 \subset \mathbb{R}^2$ naar de eenheidssfeer $S^2$. Specifiek wordt het Dirichlet-probleem beschouwd voor de harmonische afbeeldingvergelijking:
$$-\Delta u = |\nabla u|^2 u \quad \text{in } B_1, \quad u|_{\partial B_1} = g_R,$$
waarbij de randtrace $g_R(e^{i\theta}) = (R \cos \theta, R \sin \theta, \sqrt{1-R^2})$ een breedtegraad beschrijft die één keer met constante snelheid wordt doorlopen, met $0 < R < 1$.

In 1983 stelden Brézis en Coron de existentie vast van twee expliciete oplossingen, $u_+$ en $u_-$, die overeenkomen met de conforme en anti-conforme invullingen van de door de randtrace gedefinieerde sferische kapjes. Zij bewezen dat deze afbeeldingen de unieke energie-minimaliseerders zijn binnen hun respectievelijke relatieve homotopieklassen (graden $\pm 1$). De vraag bleef echter of niet-minimaliserende kritieke punten (zadelpunten) konden bestaan voor dezelfde randgegevens. Dit werd formeel geformuleerd als Open Probleem 3.1 in Brézis' lijst "Favorite Open Problems". Het doel van dit artikel is om te bepalen of de twee Brézis–Coron afbeeldingen de volledige verzameling van alle zwakke harmonische afbeeldingen met dit specifieke spoor uitputten.

Methodologie
De auteurs maken gebruik van een "randrigiditeit"-argument dat geometrische analyse, complexe analyse en variationele ongelijkheden combineert. Het bewijs verloopt in twee primaire stadia:

1. Randrigiditeit via hulp-potentialen en isoperimetrische ongelijkheden:

   • Hulp-potentiaal: Geassocieerd met de harmonische afbeelding $u$, definiëren de auteurs een globale potentiaal $X: B_1 \to \mathbb{R}^3$ die voldoet aan $X_x = -u \times u_y$ en $X_y = u \times u_x$. Deze constructie is geworteld in de Gauss-kaart/constante gemiddelde kromming (CMC) correspondentie.
   • Geprojecteerde curve en algebraïsche oppervlakte: Zij analyseren de randcurve $\Gamma = X|_{\partial B_1}$ en de orthogonale projectie $\gamma$ daarvan op het horizontale vlak $x_3=0$. Met behulp van een projectie-Jacobiaan-identiteit bewijzen zij dat de gesigneerde (algebraïsche) oppervlakte ingesloten door $\gamma$ exact $\pi R^2$ is.
   • Pohozaev-identiteit en lengtegrenzen: De Pohozaev-identiteit voor de Hopf-differentiaal levert een exacte integraal grens op voor de lengte van $\Gamma$. Specifiek geldt $\int_0^{2\pi} |u_r(1, \theta)|^2 d\theta = 2\pi R^2$.
   • Isoperimetrische verzadiging: Door de planaire isoperimetrische ongelijkheid toe te passen op de geprojecteerde curve $\gamma$ (die de lengte van $\gamma$ relateert aan de algebraïsche oppervlakte) en deze te vergelijken met de lengte van $\Gamma$, stellen de auteurs een keten van ongelijkheden vast:
     $$4\pi^2 R^2 \leq L_h^2 \leq L^2 \leq 4\pi^2 R^2.$$
     Omdat de ondergrens (afgeleid van de exacte algebraïsche oppervlakte) en de bovengrens (afgeleid van de Pohozaev-identiteit) samenvallen, moeten alle ongelijkheden gelijkheden zijn. Deze "verzadiging" dwingt puntvormige identiteiten af op de rand: $|u_r| \equiv R$ en $u_r \cdot u_\theta \equiv 0$.

2. Conforme Classificatie:

   • Verdwijnende Hopf-differentiaal: De randidentiteiten die hierboven zijn afgeleid, impliceren dat de Hopf-differentiaal $q(z) = u_z \cdot u_z$ verdwijnt op $\partial B_1$. Aangezien $q$ holomorf is in $B_1$, dwingt het maximummodulusprincipe $q \equiv 0$ af in de gehele schijf. Hiermee is de afbeelding zwak conform.
   • Stereografische Projectie en Laurent-reeks: Gebruikmakend van de zuidpool-stereografische projectie, kan de afbeelding worden gerepresenteerd door een complexe functie $w$ op een rand-collar. Het verdwijnen van de Hopf-differentiaal impliceert dat $w$ ofwel holomorf ofwel anti-holomorf is.
   • Uniciteit op de Collar: Gegeven de niet-verdwijnende randafgeleide en de specifieke trace $w(e^{i\theta}) = \rho e^{i\theta}$, toont een Laurent-reeksexpansie aan dat $w$ ofwel $\rho z$ (holomorf) ofwel $\rho/\bar{z}$ (anti-holomorf) moet zijn.
   • Globale Extensie: Door de reële analyticiteit van oplossingen van het elliptische systeem, strekt de identificatie op de collar zich uit naar de gehele schijf, wat leidt tot exact de twee Brézis–Coron afbeeldingen.

Belangrijkste Bijdragen en Resultaten

• Resolutie van Open Probleem 3.1: Het artikel bewijst Stelling 1.1, die stelt dat voor $0 < R < 1$, de enige zwakke harmonische afbeeldingen in $H^1(B_1; S^2)$ met trace $g_R$ de twee expliciete Brézis–Coron afbeeldingen $u_+$ en $u_-$ zijn. Dit geeft een definitief antwoord op de vraag door de existentie van niet-minimaliserende kritieke punten uit te sluiten.
• Mechanisme van Randrigiditeit: De auteurs introduceren een nieuw rigiditeitsargument dat de exacte algebraïsche oppervlakte van een geprojecteerde potentiaalcurve omzet in het verdwijnen van de Hopf-differentiaal. Dit mechanisme isoleert een geometrische eigenschap van het "één keer rond" breedtegraad-spoor die onzichtbaar is voor standaard variationele classificatiemethoden.
• Toepassing op H-systemen: Het artikel leidt Corollary 1.2 af, waarbij het uniciteitsresultaat toepast op twee-dimensionale $H$-systemen (conforme immersies met constante gemiddelde kromming), en classificeert conforme immersies $Y: B_1 \to \mathbb{R}^3$ met voorgeschreven eenheidsnormaal-traces, waarbij wordt aangetoond dat deze rigide translaties moeten zijn van de model-schijven $Z_+$ of $Z_-$.
• Endpoint Analyse: De auteurs analyseren de limieten $R \to 1$ (evenaar) en $R \to 0$ (pool). Zij tonen aan dat het resultaat standhoudt voor $R=1$ (niet-degeneratie), terwijl $R=0$ een gedegenereerd geval vertegenwoordigt waarbij de rand tot een punt inklapt, wat resulteert in enkel de constante afbeelding.

Betekenis
Het artikel biedt een definitief bevestigend antwoord op Brézis' Open Probleem 3.1. De betekenis ligt in het aantonen dat voor het specifieke geval van een eenmaal ronddraaiende breedtegraad, het "multipliciteit"-fenomeen dat wordt waargenomen bij hogere windingen of algemenere niet-convexe randgegevens, niet optreedt. Het bewijs vestigt dat de twee natuurlijke conforme en anti-conforme invullingen alle kritieke punten uitputten, en niet slechts de minimaliseerders.

Het werk benadrukt een speciale geometrische rigiditeit die inherent is aan het eenmaal ronddraaiende spoor, gedreven door de wisselwerking tussen de Pohozaev-identiteit, de Hopf-differentiaal en de scherpe planaire isoperimetrische ongelijkheid. Deze benadering biedt een nieuw perspectief op uniciteitsproblemen in de harmonische kaarttheorie, waarbij onderscheid wordt gemaakt tussen gevallen waar variationele methoden alleen onvoldoende zijn en gevallen waar geometrische rigiditeit uniciteit afdwingt. De auteurs merken op dat dit mechanisme bezwijkt voor hogere windinggetallen ($m \geq 2$), waar meerdere kritieke punten worden verwacht, waarmee de topologische en geometrische grenzen van uniciteit in dit veld worden verduidelijkt.