Critical quasi-linear Schrödinger system with $p$-Laplacian

Technische Samenvatting: Classificatie van Positieve Oplossingen voor een Kritisch Quasi-lineair Schrödinger-systeem met de p-Laplace-operator

Probleemstelling
Dit artikel onderzoekt de kwalitatieve eigenschappen en de classificatie van positieve zwakke oplossingen $(u, v)$ van het $D^{1,p}(\mathbb{R}^N)$-kritische quasi-lineaire Schrödinger-systeem met betrekking tot de p-Laplace-operator:
$$\begin{cases} -\Delta_p u = u^\alpha v^\beta & \text{in } \mathbb{R}^N, \\ -\Delta_p v = u^\beta v^\alpha & \text{in } \mathbb{R}^N, \end{cases}$$
waarbij $1 < p < N$, $N \ge 2$, en de exponenten voldoen aan $0 \le \alpha \le \beta$ met $\alpha + \beta = p^* - 1$. Hierbij is $p^* = \frac{Np}{N-p}$ de Sobolev-kritische exponent, en de oplossingen behoren tot de ruimte $D^{1,p}(\mathbb{R}^N)$, gedefinieerd als de voltooiing van $C_0^\infty(\mathbb{R}^N)$ onder de norm $\|\nabla u\|_{L^p}$.

De studie behandelt de generalisatie van uniciteit en classificatieresultaten die eerder zijn vastgesteld voor het semi-lineaire geval ($p=2$) door Li en Ma [48] en Quittner en Souplet [58] naar het volledig quasi-lineaire regime $1 < p < N$.

Methodologie en Technische Uitdagingen
De auteurs maken gebruik van de methode van bewegende vlakken (method of moving planes) om radiale symmetrie en monotoniciteit vast te stellen. Echter, het uitbreiden van deze methode van $p=2$ naar $1 < p < N$ brengt aanzienlijke analytische hindernissen met zich mee vanwege de niet-lineaire aard van de p-Laplace-operator ($\Delta_p u = \text{div}(|\nabla u|^{p-2}\nabla u)$). Het artikel identificeert vier primaire moeilijkheden:

1. Niet-lineariteit: Lineaire operaties kunnen niet worden uitgewisseld met $\Delta_p$, en standaard vergelijkingsprincipes afgeleid van maximumprincipes zijn niet direct toepasbaar.
2. Afwezigheid van Kelvin-transformaties: Het gebrek aan conformale invariantie voor $p \neq 2$ verhindert het gebruik van Kelvin-transformaties, wat het noodzakelijk maakt om scherpe asymptotische schattingen voor zowel de oplossingen als hun gradiënten af te leiden.
3. Gebrek aan Groen-representatie: De afwezigheid van een Groen-integraalrepresentatieformule sluit indirecte methoden gebaseerd op equivalente integraalvergelijkingen uit.
4. Singuliere/Gedegenereerde Ellipticiteit: De operator is singulier elliptisch voor $1 < p < 2$ en gedegenereerd elliptisch voor $p > 2$, wat een aparte behandeling vereist aangezien er geen uniforme sterke vergelijkingsprincip bestaat.

Om deze problemen te overwinnen, doen de auteurs het volgende:

• Vaststellen van regulariteit en scherpe asymptotische schattingen voor $(u, v)$ en $(|\nabla u|, |\nabla v|)$ zonder gebruik te maken van Kelvin-transformaties.
• Gebruik maken van De Giorgi-Moser-Nash iteratietechnieken om voorlopige vervalbounds af te leiden.
• Toepassen van schalingsargumenten en dubbelingslemma's (doubling lemmas) om deze bounds te verfijnen tot scherpe schattingen.
• Toepassen van gewogen Poincaré-type ongelijkheden en Hardy-Sobolev ongelijkheden om de procedure van bewegende vlakken te hanteren in aanwezigheid van kritieke verzamelingen (waar gradiënten verdwijnen).
• De singuliere ($1 < p < 2$) en gedegenereerde ($p > 2$) gevallen apart bespreken door de methode van bewegende vlakken en vergelijkingsprincipes dienovereenkomstig aan te passen.

Belangrijkste Bijdragen en Resultaten

1. Regulariteit en Scherpe Asymptotische Schattingen (Stelling 1.3):
   De auteurs bewijzen dat elke positieve zwakke oplossing $(u, v)$ behoort tot $C^{1,\theta}_{\text{loc}}(\mathbb{R}^N) \cap L^\infty(\mathbb{R}^N)$. Cruciaal is dat zij scherpe tweezijdige bounds vaststellen voor de oplossingen en hun gradiënten voor grote $|x|$:
   $$\frac{c_0}{1 + |x|^{\frac{N-p}{p-1}}} \le u(x), v(x) \le \frac{C_0}{1 + |x|^{\frac{N-p}{p-1}}},$$
   $$\frac{c'_0}{|x|^{\frac{N-1}{p-1}}} \le |\nabla u(x)|, |\nabla v(x)| \le \frac{C'_0}{|x|^{\frac{N-1}{p-1}}}.$$
   Deze schattingen worden afgeleid zonder Kelvin-transformaties, waarmee een gat in de literatuur voor algemene $p$ wordt opgevuld.

2. Radiale Symmetrie en Monotoniciteit (Stelling 1.4):
   Met behulp van de methode van bewegende vlakken bewijst het artikel dat alle positieve oplossingen radiaal symmetrisch en strikt afnemend zijn rondom een punt $x_0 \in \mathbb{R}^N$. Dit resultaat geldt voor het volledige bereik $1 < p < N$. Het bewijs behelst het aantonen dat de oplossingen symmetrisch zijn ten opzichte van een hypervlak in elke richting, wat uiteindelijk convergeert naar een uniek centrum van symmetrie.

3. Uniciteit en Volledige Classificatie:
   De auteurs demonstreren dat $u \equiv v$. Bijgevolg reduceert het systeem tot de enkele kritische p-Laplace vergelijking $-\Delta_p u = u^{p^*-1}$. Door gebruik te maken van bestaande classificatieresultaten voor de enkele vergelijking (bijv. van Sciunzi [59] en Vetois [71]), biedt het artikel de volledige classificatie van positieve oplossingen:
   $$u(x) = v(x) = \left[ \lambda^{\frac{1}{p-1}} \left( N^{\frac{1}{p}} \left( \frac{N-p}{p-1} \right)^{\frac{p-1}{p}} \right) \lambda^{\frac{p}{p-1}} + |x-x_0|^{\frac{p}{p-1}} \right]^{-\frac{N-p}{p}},$$
   waarbij $\lambda > 0$ en $x_0 \in \mathbb{R}^N$ willekeurige parameters zijn.

Betekenis en Omvang
Het artikel beweert de uniciteitsresultaten die bekend zijn voor het semi-lineaire geval ($p=2$) uit te breiden naar het algemene quasi-lineaire geval ($1 < p < N$). Het adresseert specifisch de technische leegte veroorzaakt door de afwezigheid van conformale invariantie en Kelvin-transformaties in de p-Laplace setting. Door scherpe asymptotische gedragingen vast te stellen en het gedegenereerde/singuliere karakter van de operator apart te behandelen, biedt het werk een rigoureuze basis voor de classificatie van oplossingen van kritische quasi-lineaire systemen. De resultaten verenigen het begrip van dergelijke systemen over het gehele bereik van $p$, waarbij wordt bevestigd dat ondanks de verhoogde complexiteit van de operator, het kwalitatieve gedrag (radiale symmetrie, monotoniciteit en uniciteit tot opschaling en translatie) consistent blijft met het semi-lineaire geval.