Critical $p$-Laplace equations with monotone coefficients: Liouville classification and a Schoen-type Harnack inequality

Technische Samenvatting: Kritische p-Laplace-vergelijkingen met Monotone Coëfficiënten

Probleemstelling
Dit artikel onderzoekt positieve zwakke oplossingen van de kritische $p$-Laplace-vergelijking met een niet-autonome niet-lineariteit:
$$-\Delta_p u = u^{p^*-1}h(u), \quad \text{in } \mathbb{R}^n,$$
waarbij $1 < p < n$, $p^* = \frac{np}{n-p}$, en $h$ een positieve, begrensde, continue en niet-toenemende functie is. De studie richt zich op twee onderling verbonden doelstellingen:

1. Liouville-classificatie: Het bepalen van de precieze vorm van positieve volledige oplossingen zonder a priori vervalveronderstellingen op te leggen (bijv. eindige energie of specifieke groeisnelheden).
2. Schaalinvariant Harnack-ongelijkheid: Het vaststellen van een lokale schatting van de vorm $\left(\sup_{B_R} u\right) \left(\inf_{B_{2R}} u\right)^{p-1} \leq C R^{p-n}$ voor niet-negatieve zwakke oplossingen gedefinieerd in $B_{3R}$.

Het werk adresseert een significante kloof in de theorie van quasiliniëre vergelijkingen. In tegenstelling tot het semilineaire geval ($p=2$), mist de $p$-Laplace-operator ($p \neq 2$) een Kelvin-transformatie die de vergelijking behoudt, waardoor klassieke methoden van bewegende vlakken of sferen (moving plane/sphere methods) niet in hun standaardvorm toepasbaar zijn. Bovendien rusten bestaande classificatieresultaten voor de zuiver kritische vergelijking ($h \equiv \text{const}$) vaak op restrictieve aannames (eindige energie, begrensdheid) of specifieke bereiken van $p$. Dit artikel beoogt een classificatie-naar-Harnack-theorie te bieden voor het volledige bereik $1 < p < n$ onder een monotonie-aanname op $h$.

Methodologie
De auteur ontwikkelt een raamwerk dat dient als een quasiliniair tegenhanger van de Kelvin-transformatie en de methode van bewegende sferen, aangepast voor de $p$-Laplace-operator met continue monotone coëfficiënten. De methodologie verloopt in twee hoofdfasen:

1. Globale Classificatie via Invariante Tensoren en Zwakke Bochner-identiteiten:

   • Transformatie: De oplossing $V$ wordt getransformeerd via $w = V^{-1/a}$ (waarbij $a = \frac{n-p}{p}$), wat de vergelijking omzet in een vorm die geschikt is voor stress-tensor-analyse.
   • Stress-tensor en P-functie: De auteur definieert een niet-lineair stressveld $X_w = |\nabla w|^{p-2}\nabla w$ en een gemodificeerde P-functie $Q_w$.
   • Afhandeling van Monotonie: Een cruciale technische innovatie is de decompositie van de getransformeerde coëfficiënt $c_\tau(t)$ in een absoluut continue component en een singuliere (Stieltjes) defect $e_\tau(t)$. Dit stelt de auteur in staat om te handelen met het feit dat $h$ slechts continu en monotoon is, en potentieel een Cantor-deel in zijn afgeleide bevat.
   • Zwakke Bochner-identiteit: Een nieuwe zwakke Bochner-type identiteit wordt afgeleid voor $Q_w$. In tegen tegenstelling tot eerdere benaderingen die vertrouwden op globale integraal-schattingen (bijv. Ou [34]), maakt dit werk gebruik van een lokale puntgewijze coërcitieve term.
   • Multiplier-constructie: Om de groei van $Q_w$ te beheersen en te voorkomen dat positieve maxima naar oneindig ontsnappen, construeert de auteur een specifieke gewichtsfunctie $\phi_{\ell,m}$ door een achterwaartse gewone differentiaalvergelijking op te lossen die is afgestemd op de doel-PDE-ongelijkheid. Dit vervangt de vaste macht-gewichten gebruikt in het zuivere machtsgeval.
   • Rigiditeitsargument: Door een scherpe globale grens $Q_w \leq c_{\tau,0}$ vast te stellen en het gedrag bij minimumpunten te analyseren (met behulp van tangentaal-analyse en punctured-ball barrières), bewijst de auteur dat de oplossing moet samenvallen met een Aubin–Talenti-profiel. Cruciaal is dat zij aantonen dat het bestaan van een dergelijk profiel dwingt dat de coëfficiënt $h$ constant is op het interval van de waarden die door het profiel worden aangenomen.

2. Harnack-ongelijkheid via Deconcentratie en Potentiaaltheorie:

   • Tegenspraakargument: Het bewijs van de Harnack-ongelijkheid verloopt via een tegenspraak, waarbij wordt aangenomen dat een sequentie van oplossingen de schatting schendt.
   • Blow-up Analyse: Een herschalingsprocedure identificeert een limiterende volledige oplossing. De classificatieresultaat (Theorem 1.1) wordt vervolgens toegepast op deze limiet.
   • First-Contact Mechanisme: In plaats van te vertrouwen op een voorlopige "neck estimate" (zoals in Qin–Zhang [35]), hanteert de auteur een "first-contact" argument gecombineerd met potentiaaltheoretische deconcentratie.
   • Kilpeläinen–Malý Schattingen: Gebruikmakend van de theorie van niet-lineaire potentialen (specifiek Wolff-potentialen), leidt de auteur een uniforme grens af op de bronterm nabij het contactpunt. Dit vestigt de noodzakelijke controle over de coëfficiënt om de Harnack-ongelijkheid toe te passen, waardoor de noodzaak voor a priori neck-estimates effectief wordt weggenomen.

Belangrijkste Bijdragen en Resultaten

• Theorem 1.1 (Classificatie van Genormaliseerde Profielen): Voor elke $\tau \in [0, \infty]$, elke genormaliseerde, begrensde, positieve volledige oplossing aan de vergelijking met de geschaalde niet-lineariteit $g_\tau$, moet een Aubin–Talenti-profiel zijn:
  $$V(x) = \left(1 + \gamma_\tau |x|^{p'}\right)^{-a}.$$
  Bovendien, indien $0 < \tau < \infty$, impliceert het bestaan van een dergelijke oplossing dat $h(s) = h(\tau)$ voor alle $0 < s \leq \tau$. Dit vestigt een rigiditeitstheorema voor zowel de oplossing als de coëfficiënt.

• Theorem 1.2 (Schaalinvariante Harnack-ongelijkheid): Voor niet-negatieve zwakke oplossingen in $B_{3R}$ geldt de volgende schatting:
  $$\left(\sup_{B_R} u\right) \left(\inf_{B_{2R}} u\right)^{p-1} \leq C R^{p-n}.$$
  Dit resultaat wordt vastgesteld zonder de aanname van eindige energie of specifiek gedrag in de limiet naar oneindig.

• Corollary 1.4 (Onbeperkte Liouville-stelling): Elke positieve volledige oplossing aan de oorspronkelijke vergelijking is een Aubin–Talenti-profiel (op schaling en translatie na), en de coëfficiënt $h$ is constant op het bereik van de oplossing.

• Equivalentie van Eigenschappen: Het artikel toont aan dat voor de zuur kritische vergelijking de onbeperkte Liouville-classificatie equivalent is aan de Schoen-type Harnack-ongelijkheid.

Betekenis en Claims
De auteur claimt dat hun argumenten de eerste quasiliniëre tegenhangers vormen van de Kelvin-transformatie en de methode van bewegende sferen die beschikbaar zijn voor algemene $1 < p < n$ met louter continue monotone coëfficiënten.

• Methodologische Vooruitgang: Het werk biedt alternatieve bewijzen voor klassieke resultaten in het semilineaire geval ($p=2$) en breidt deze uit naar de quasiliniëre setting waar standaard conform-invariante instrumenten falen. De introductie van de zwakke Bochner-identiteit met een op maat gemaakte multiplier en de behandeling van singuliere Stieltjes-maten in de coëfficiënt worden gepresenteerd als nieuwe analytische instrumenten.
• Verwijdering van Aannames: De resultaten bieden een "volledig onbeperkte" Liouville-stelling, waarbij de noodzaak voor eindige energie, begrensdheid of voorgeschreven groeisnelheden die de eerdere classificatieresultaten voor $p \neq 2$ kenmerkten, wordt weggenomen.
• Structureel Inzicht: Het artikel benadrukt dat de interactie tussen Liouville-stellingen en Harnack-ongelijkheden fundamenteel is. De classificatie van blow-up profielen wordt getoond als onmisbaar voor het vestigen van de Harnack-schatting wanneer de niet-lineariteit niet van zuur macht-type is.

Het artikel stelt geen nieuwe toepassingen of experimentele voorstellen voor, maar positioneert zich als een fundamentele bijdrage aan de compactheidstheorie voor kritische elliptische vergelijkingen, waarbij de brug wordt geslagen tussen de goed begrepen semilineaire casus en de meer rigide quasiliniëre setting.