Critical concave-convex problems in Carnot groups

Titel: Kritieke Concave-Convexe Problemen in Carnot-groepen

Auteurs: Mattia Galeotti en Eugenio Vecchi

---

1. Het Probleem

De auteurs onderzoeken de existentie en multipliciteit van positieve zwakke oplossingen voor een Dirichlet-randwaardeprobleem gedefinieerd op een open, begrensd en samenhangend domein $\Omega$ binnen een Carnot-groep $G$. Het probleem wordt gegeven door:

$$\begin{cases} -\Delta_G u = \lambda u^q + u^{2^*_Q - 1} & \text{in } \Omega, \\ u > 0 & \text{in } \Omega, \\ u = 0 & \text{op } \partial\Omega. \end{cases}$$

Belangrijke componenten:

• $\Delta_G$: De sub-Laplaciaan op de Carnot-groep, een tweede-orde differentiaaloperator die voldoet aan de Hørmander-voorwaarde.
• $\lambda > 0$: Een parameter.
• $q \in (0, 1)$: De exponent voor de sublineaire (concave) term.
• $2^*_Q = \frac{2Q}{Q-2}$: De kritieke Sobolev-exponent, waarbij $Q$ de homogene dimensie van de groep is. De term $u^{2^*_Q - 1}$ vertegenwoordigt de kritieke (convexe) niet-lineariteit.
• Context: Dit is een generalisatie van het klassieke probleem van Ambrosetti-Brezis-Cerami naar de setting van sub-Riemannse meetkunde (Carnot-groepen). Het probleem combineert een sublineaire term (die de existentie van oplossingen voor kleine $\lambda$ faciliteert) met een kritieke term (die compactheidsproblemen veroorzaakt).

---

2. Methodologie

De bewijsvoering combineert variatiële methoden met specifieke schattingen die uniek zijn voor de sub-Riemannse setting. De aanpak volgt de volgende stappen:

A. Variatiële Setting en Functieruimtes

De auteurs werken in de Folland-Stein ruimte $S^1_0(\Omega)$, de voltooiing van $C^\infty_0(\Omega)$ onder de norm $\|u\| = \|\nabla_G u\|_{L^2}$. Ze definiëren de bijbehorende functionaal:
$$I_\lambda(u) = \frac{1}{2} \int_\Omega |\nabla_G u|^2 - \frac{\lambda}{q+1} \int_\Omega |u|^{q+1} - \frac{1}{2^*_Q} \int_\Omega |u|^{2^*_Q}.$$

B. De Variatiële Perron-methode (Eerste Oplossing)

Om de eerste oplossing te vinden, gebruiken de auteurs een variatiële variant van de Perron-methode, gebaseerd op het werk van Struwe.

1. Definitie van de drempel $\Lambda$: Ze definiëren $\Lambda := \sup\{\lambda > 0 : (P_\lambda) \text{ heeft een zwakke oplossing}\}$.
2. Boven- en Onderoplossingen:
   • Ze construeren een onderoplossing via de unieke oplossing van het puur sublineaire probleem ($-\Delta_G u = \lambda u^q$).
   • Ze construeren een bovenoplossing door gebruik te maken van de oplossing voor een grotere parameter $\lambda' > \lambda$.
3. Existentie: Door de vergelijking van boven- en onderoplossingen (Lemma 2.6) wordt de existentie van een eerste oplossing $u_\lambda$ bewezen voor $0 < \lambda \leq \Lambda$.

C. Lokale Minimale Eigenschap (Uitdaging: Randregulariteit)

Een cruciaal punt in de klassieke Euclidische theorie (Brezis-Nirenberg) is dat de eerste oplossing een lokaal minimum is in de $C^1$-topologie, wat impliceert dat het ook een lokaal minimum is in de $H^1$-topologie.

• Het probleem: In Carnot-groepen is $C^{1,\alpha}$-regulariteit tot aan de rand (vooral bij karakteristieke punten) een open en moeilijk vraagstuk. De klassieke stelling van Brezis-Nirenberg is hier niet direct toepasbaar.
• De oplossing: De auteurs volgen een meer variatiële aanpak, geïnspireerd door Alama. Ze bewijzen direct dat $u_\lambda$ een lokaal minimum is in de $S^1_0(\Omega)$-topologie (de natuurlijke energie-norm), zonder beroep te doen op $C^1$-regulariteit. Dit wordt gedaan door een contradictie-argument te gebruiken met gesneden functies en Taylor-ontwikkelingen.

D. De Tweede Oplossing (Tarantello-methode)

Om een tweede oplossing te vinden voor $0 < \lambda < \Lambda$, gebruiken ze een aanpak van Tarantello:

1. Ekeland's Variatieprincipe: Ze passen dit toe op een geschikte verzameling van paden (minimax-probleem).
2. Asymptotische Gedrag: Ze maken gebruik van fijne asymptotische expansies van de minimizers van de Sobolev-ongelijkheid (de "Aubin-Talenti"-achtige functies in Carnot-groepen, zoals beschreven in eerdere werken [34]).
3. Minimax-niveau: Ze tonen aan dat het minimax-niveau $\ell_0$ strikt ligt tussen de energie van de eerste oplossing en de kritieke drempel $I_\lambda(u_\lambda) + \frac{1}{Q}S_G^{Q/2}$. Dit garandeert dat de gevonden kritieke punt een tweede, niet-triviale oplossing is.

---

3. Belangrijkste Resultaten

Hoofdstelling (Theorema 1.1):
Er bestaat een kritieke parameter $\Lambda > 0$ zodanig dat:

• A) Voor $\lambda > \Lambda$ bestaat er geen zwakke oplossing.
• B) Voor $\lambda \in (0, \Lambda]$ bestaat er minimaal één zwakke oplossing.
• C) Voor $\lambda \in (0, \Lambda)$ bestaan er minimaal twee verschillende positieve zwakke oplossingen.

Technische Bijdragen:

1. Generalisatie: Het resultaat generaliseert de klassieke theorie van Ambrosetti-Brezis-Cerami naar de setting van Carnot-groepen, inclusief de sub-Riemannse sub-Laplaciaan.
2. Omzeiling van Regulariteitsproblemen: Het artikel biedt een robuust alternatief voor de bewijstechniek van Brezis-Nirenberg door de lokale minimaliteit direct in de Sobolev-norm te bewijzen, waardoor het gebrek aan randregulariteit in Carnot-groepen geen belemmering vormt.
3. Multipliciteit: Het bewijs van de tweede oplossing is strikt afhankelijk van de specifieke asymptotische eigenschappen van de minimizers van de Sobolev-ongelijkheid in deze groepen.

---

4. Significatie en Impact

• Geometrische Relevantie: Het probleem is fundamenteel voor het begrip van kritieke vergelijkingen in sub-Riemannse meetkunde. Het raakt aan de CR-Yamabe-problematiek (in het geval van de Heisenberg-groep), hoewel dit artikel zich richt op begrensde domeinen.
• Methodologische Vooruitgang: De aanpak toont aan dat variatiële methoden, zelfs zonder volledige $C^1$-regulariteit, succesvol kunnen worden toegepast op kritieke problemen in niet-Euclidische ruimtes. Dit opent de deur voor verdere studies naar kritieke vergelijkingen in andere sub-Riemannse structuren waar expliciete minimizers niet bekend zijn.
• Toepassingsgebied: De resultaten zijn relevant voor de analyse van partiële differentiaalvergelijkingen op groepen met schalingseigenschappen, wat toepassingen heeft in controletheorie, geometrische analyse en de studie van singuliere vergelijkingen.

Samenvattend biedt dit artikel een volledig beeld van de multipliciteit van oplossingen voor een klassiek type niet-lineair probleem, aangepast aan de complexe geometrie van Carnot-groepen, en overbrugt het de kloof tussen de klassieke Euclidische theorie en de sub-Riemannse wereld.