A partial answer to Brezis' Open Problem 2.1

Technische Samenvatting: Een gedeeltelijk antwoord op Brezis' Open Probleem 2.1

Probleemstelling
Dit artikel behandelt Brezis' Open Probleem 2.1, dat betrekking heeft op de uniciteit van oplossingen voor de Ginzburg–Landau-vergelijking in de eenheidsschijf $\Omega \subset \mathbb{R}^2$ met randvoorwaarden van graad één:
$$\begin{cases} -\Delta u = \frac{1}{\varepsilon^2} u (1 - |u|^2) & \text{in } \Omega, \\ u(x) = x & \text{op } \partial\Omega, \end{cases}$$
waarbij $\varepsilon > 0$ een parameter is. Het staat vast dat er een radiale oplossing $U_\varepsilon(x) = \frac{x}{|x|}f_\varepsilon(|x|)$ bestaat. Het open probleem vraagt of deze radiale oplossing de unieke oplossing is voor elke $\varepsilon > 0$.

Vóór dit werk was uniciteit bekend in twee regimes:

1. Grote $\varepsilon$: Voor $\varepsilon \ge \varepsilon^* := \lambda_1^{-1/2}$ (waarbij $\lambda_1$ de eerste Dirichlet-eigenwaarde van $-\Delta$ in $\Omega$ is), volgt uniciteit uit de strikte convexiteit van het bijbehorende energiefunctional.
2. Kleine $\varepsilon$: Voor $\varepsilon \in (0, \varepsilon_1)$ met $\varepsilon_1$ voldoende klein, werd uniciteit vastgesteld door Pacard en Rivièr.

De moeilijkheid ligt in het intermediaire bereik $\varepsilon \in (\varepsilon_1, \varepsilon^*)$, waar strikte convexiteit faalt en asymptotiek voor kleine parameters niet van toepassing is.

Methodologie
De auteurs breiden de analyse uit naar een algemener kader: het Ginzburg–Landau-systeem op begrensde samenhangende $C^{1,1}$-domeinen $\Omega \subset \mathbb{R}^N$ ($2 \le N \le 4$) met niet-triviale randvoorwaarden $g \in W^{2-1/p, p}(\partial\Omega, \mathbb{R}^m)$ ($g \not\equiv 0$). De bewijsstrategie combineert drie analytische instrumenten:

1. Variatieramewerk en Bestaan: De auteurs stellen het bestaan van zwakke oplossingen vast als kritieke punten van het energiefunctional $E_\varepsilon$ op de affiene ruimte $H^1_g(\Omega; \mathbb{R}^m)$.
2. Strikte Convexiteit voor $\varepsilon \ge \varepsilon^*$: Zij verifiëren opnieuw dat voor $\varepsilon \ge \varepsilon^*$ het energiefunctional strikt convex is, wat uniciteit garandeert. Dit berust op de Poincaré-ongelijkheid en de specifieke structuur van de geliniariseerde operator bij de drempelwaarde.
3. Lokale Analyse en Compactheid voor $\varepsilon < \varepsilon^*$: Om het regime net onder de convexiteitsdrempel aan te pakken, maken de auteurs gebruik van een combinatie van:
   • Compactheid: Zij bewijzen dat elke sequentie van oplossingen $u_n$ die overeenkomt met parameters $\varepsilon_n \to \varepsilon^*$ convergeert (tot een subseqentie) naar de unieke oplossing $u^*$ bij $\varepsilon^*$ in de $W^{2,p}$-topologie. Dit sluit de existentie van "verre" oplossingen uit naarmate $\varepsilon$ de $\varepsilon^*$ nadert.
   • Degeneratie en de Impliciete Functiestelling: Zij analyseren de geliniariseerde operator $L^*$ bij de oplossing $u^*$ wanneer $\varepsilon = \varepsilon^*$. Door te bewijzen dat $L^*$ een isomorfisme is (specifiek dat de kern triviaal is vanwege de niet-verdwijnende randvoorwaarden en de eigenschappen van de eerste eigenfunctie), stellen zij lokale uniciteit vast via de Impliciete Functiestelling.

Belangrijkste Bijdragen en Resultaten
Het primaire resultaat is Stelling 1.1, die stelt dat er een $\delta > 0$ bestaat zodanig dat voor elke $\varepsilon \in (\varepsilon^* - \delta, \infty)$, het Ginzburg–Landau-systeem met niet-triviale randvoorwaarden een unieke zwakke oplossing toelaat.

Dit leidt direct tot Corollary 1.2, het gedeeltelijke antwoord op Brezis' Open Probleem 2.1:

Er bestaat $\delta > 0$ zodanig dat voor elke $\varepsilon \in (\varepsilon^* - \delta, \infty)$, de radiale oplossing $U_\varepsilon$ de unieke oplossing is van het oorspronkelijke probleem (1.1).

Betekenis en Claims
Het artikel claimt een gedeeltelijk antwoord te bieden op Brezis' Open Probleem 2.1 door het bekende bereik van uniciteit onder de convexiteitsdrempel $\varepsilon^*$ uit te breiden. Specifiek toont het aan dat uniciteit standhoudt in een omgeving direct links van $\varepsilon^*$, een gebied waar de standaard strikte convexiteitsargument niet langer beschikbaar is.

De auteurs benadrukken dat hun resultaat niet rust op radiale symmetrie of de specifieke graad-één randvoorwaarde van het oorspronkelijke probleem, maar geldt voor algemene niet-triviale randvoorwaarden op $C^{1,1}$-domeinen in dimensies $N \le 4$. Het bewijs overwint het gebrek aan convexiteit door de niet-degeneratie van de oplossing bij de kritieke drempelwaarde vast te stellen en compactheid te gebruiken om te verzekeren dat er geen andere oplossingsvertakkingen nabij zijn.

Het artikel beweert geen het probleem voor alle $\varepsilon > 0$ op te lossen, noch stelt het nieuwe experimentele toepassingen voor. Het richt zich strikt op de wiskundige kloof in het uniciteitsbewijs voor het intermediaire parameterbereik nabij de convexiteitsdrempel.