Sign-changing solutions to the Yamabe problem on manifolds with boundary

1. Het Probleem

Het artikel behandelt de Yamabe-problematiek op Riemannse variëteiten met rand. Gegeven is een compacte, gladde Riemannse variëteit $(M, g)$ van dimensie $n \ge 3$ met een rand $\partial M$. Het doel is om een conform equivalente metric $\tilde{g} = u^{\frac{4}{n-2}}g$ te vinden die:

1. Een constante scalaire kromming heeft op $M$.
2. Een constante gemiddelde kromming heeft op de rand $\partial M$.

Analytisch komt dit neer op het vinden van een niet-triviale oplossing $u$ voor het volgende niet-lineaire randwaardeprobleem:
$$\begin{cases} -\Delta_g u + c_n R_g u = a_n |u|^{\frac{4}{n-2}} u & \text{op } M, \\ \frac{\partial u}{\partial \nu} + d_n h_g u = b |u|^{\frac{2}{n-2}} u & \text{op } \partial M, \end{cases}$$
waarbij $R_g$ de scalaire kromming is, $h_g$ de gemiddelde kromming van de rand, $\nu$ de uitwaartse eenheidsnormaal, en $a_n, c_n, d_n$ specifieke constanten afhankelijk van de dimensie $n$. De parameter $b \in \mathbb{R}$ bepaalt de gewenste gemiddelde kromming op de rand.

Hoewel de existentie van positieve oplossingen (die corresponderen met een echte metric) goed begrepen is, blijft de existentie van tekenwisselende (nodale) oplossingen grotendeels open. Een tekenwisselende oplossing betekent dat $u$ zowel positieve als negatieve waarden aanneemt; de geconstrueerde "metric" $\tilde{g} = |u|^{\frac{4}{n-2}}g$ is dan een veralgemeende metric.

2. Methodologie

De auteurs hanteren een variatie-benadering. Het probleem wordt geformuleerd als het zoeken van kritieke punten van een energiefunctionaal $J: H^1(M) \to \mathbb{R}$:
$$J(u) = \frac{1}{2} Q(u) - \frac{a_n}{p} \int_M |u|^p dv - \frac{b}{q} \int_{\partial M} |u|^q d\sigma,$$
waarbij $Q(u)$ een kwadratische vorm is die de Dirichlet-energie en krommingstermen bevat, en $p = \frac{2n}{n-2}$, $q = \frac{2(n-1)}{n-2}$ de kritieke Sobolev-exponenten zijn.

De kern van de methode bestaat uit de volgende stappen:

• Variatie-structuur en Invarianten:

  • Ze definiëren de Nehari-variëteit $N$ (waarop $J'(u)u = 0$) en de verzameling $E$ van functies die zowel een positief als een negatief deel hebben dat ook in $N$ ligt (dus tekenwisselende kandidaat-oplossingen).
  • Ze introduceren twee conformale invarianten:
    • $\mu_1(M) = \inf_{u \in N} J(u)$: De laagste energie voor positieve oplossingen.
    • $\mu_2(M) = \inf_{u \in E} J(u)$: De laagste energie voor tekenwisselende oplossingen.
  • Het doel is om te bewijzen dat $\mu_2(M)$ wordt bereikt door een daadwerkelijke oplossing.

• Minimax-karakterisering:

  • Ze gebruiken een min-max principe om $\mu_2(M)$ te karakteriseren via een familie van paden in de functionale ruimte die de kegel van positieve functies ($P_+$) en negatieve functies ($P_-$) verbinden.
  • Ze bewijzen dat als $\mu_2(M) < \mu_1(M) + \mu_1(B_b)$ (waarbij $B_b$ een bolkap is die conform equivalent is aan de halfruimte), dan wordt het infimum bereikt.

• Analyse van Compactheid en Gradient Flow:

  • Een groot obstakel is het verlies van compactheid door "blow-up" fenomenen (concentratie van energie).
  • Voor $b \ge 0$ bewijzen de auteurs dat de kegels $P_+$ en $P_-$ strikt positief invariant zijn onder de negatieve gradientstroom van $J$. Dit stelt hen in staat om een Palais-Smale-reeks te construeren die op een veilige afstand blijft van de kegels van positieve/negatieve functies.
  • Ze analyseren het gedrag van deze reeksen en tonen aan dat als de energie onder een bepaalde drempel ligt, de reeks convergeert naar een tekenwisselende oplossing in plaats van te "ontsnappen" naar een positieve oplossing of te verdwijnen.

• Schattings van Testfuncties:

  • Om de ongelijkheid $\mu_2(M) < \mu_1(M) + \mu_1(B_b)$ te verifiëren, construeren ze een specifieke testfunctie. Deze bestaat uit een lineaire combinatie van een bestaande positieve oplossing $u_0$ en een "bubble" $W_\varepsilon$ (een geschaalde versie van de standaard oplossing op de halfruimte), gecentreerd rond een niet-umbilisch punt op de rand.
  • Ze voeren een nauwkeurige asymptotische analyse uit van de energie van deze testfunctie voor kleine $\varepsilon$.

3. Belangrijkste Resultaten

Hoofdstelling (Theorem 1.1):
Als de volgende voorwaarden gelden:

1. $b \ge 0$ (de gemiddelde kromming op de rand is niet-negatief),
2. $n \ge 7$ (dimensie van de variëteit),
3. $M$ heeft een niet-umbilisch punt $\xi \in \partial M$ (een punt op de rand waar de hoofdkrommingen niet allemaal gelijk zijn),

dan heeft het probleem (1.1) een tekeningwisselende oplossing met minimale energie (een "least-energy nodal solution").

Technische details van de bewijzen:

• Voldoende dimensie: De voorwaarde $n \ge 7$ is cruciaal voor de schattingen van de interactie-integralen tussen de positieve oplossing en de bubble. Voor lagere dimensies domineren andere termen die de ongelijkheid kunnen verstoren.
• Niet-umbiliciteit: De aanwezigheid van een niet-umbilisch punt zorgt ervoor dat de krommingstermen in de energie-expansie een gunstig teken hebben, wat nodig is om de energie van de tekenwisselende testfunctie onder de drempel $\mu_1(M) + \mu_1(B_b)$ te drukken.
• Beperking voor $b < 0$: De auteurs merken op dat hun methode niet werkt voor $b < 0$, omdat de invariantie van de kegels $P_+$ en $P_-$ dan niet gegarandeerd is. Het bestaan van nodale oplossingen voor $b < 0$ blijft een open probleem.

4. Bijdrage en Significantie

• Oplossing van een open probleem: Dit werk vult een belangrijke lacune in de literatuur over de Yamabe-problematiek op variëteiten met rand. Waar de existentie van positieve oplossingen al lang bewezen was, was het bestaan van tekenwisselende oplossingen voor dit specifieke randprobleem onbekend.
• Nieuwe techniek: De auteurs combineren variatie-methoden met een zorgvuldige analyse van de invariantie van kegels onder gradientstromen. Dit is een verfijning van eerdere technieken die vooral voor gesloten variëteiten (zonder rand) zijn gebruikt.
• Conformale invarianten: Het artikel benadrukt de rol van conformale invarianten ($\mu_1$ en $\mu_2$) als centrale objecten in de analyse, en koppelt deze direct aan de geometrie van de rand (via de niet-umbiliciteit).
• Toepassingsgebied: De resultaten zijn relevant voor de differentiaalmeetkunde en de theorie van partiële differentiaalvergelijkingen, met name in de context van conformale meetkunde en de studie van niet-lineaire elliptische problemen met kritieke groei.

Samenvattend biedt dit artikel een rigoureus bewijs voor het bestaan van de laagst-energetische tekenwisselende oplossingen voor de Yamabe-problematiek op variëteiten met rand, onder specifieke geometrische en dimensionale voorwaarden, en introduceert het krachtige nieuwe methodologische middelen om de compactheid in dit complexe randwaardeprobleem te beheersen.