Lipschitz regularity for fully nonlinear elliptic equations with $(p,q)$-growth

Technische Samenvatting: Lipschitz-regulariteit voor volledig niet-lineaire elliptische vergelijkingen met (p, q)-groei

Probleemstelling
Dit artikel onderzoekt de interne en globale Lipschitz-regulariteit van viscositeitsoplossingen voor volledig niet-lineaire elliptische vergelijkingen van de vorm:
$$F(D^2u, Du, x) = f(x, Du) \quad \text{in } \Omega,$$
waarbij de operator $F$ voldoet aan een niet-uniforme ellipticiteitsvoorwaarde met (p, q)-groei. Specifiek mag de ellipticiteitsratio polynomiaal groeien met de gradiëntgrootte $|Du|$, met een gedrag als $1 + |Du|^{q-p}$. De auteurs richten zich op het regime waarin het gat $q-p$ klein is, met als doel vast te stellen dat oplossingen Lipschitz-continu zijn ($u \in \text{Lip}$) onder specifieke beperkingen voor dit gat, gerelateerd aan de Hölder-continuïteit van de coëfficiënten en de a priori regulariteit van de oplossing.

De studie adresseert de uitdaging dat wanneer $|Du|$ groot is, de vergelijking niet-uniform elliptisch wordt, wat mogelijk leidt tot onregelmatig gedrag. Het bewijzen van Lipschitz-regulariteit beperkt de gradiënt effectief, waardoor de vergelijking weer in een uniform elliptisch regime terechtkomt. Het werk behandelt twee primaire structurele voorbeelden:

1. Dubbele-faseproblemen: Volledig niet-lineaire analoga van het variationalle dubbele-fasefunctionaal $\int (|Du|^p + a(x)|Du|^q)dx$.
2. Anisotrope (p, q)-groeiproblemen: Vergelijkingen met verschillende groeisnelheden in verschillende coördinaterichtingen.

Methodologie
Het centrale analytische hulpmiddel dat wordt toegepast is de Ishii-Lions-methode, een techniek met verdubbeling van variabelen die wordt gebruikt om gradiëntgrenzen voor viscositeitsoplossingen af te leiden. De bewijsstrategie omvat de volgende belangrijkste stappen:

1. Reductie tot (0, γ)-groei: De auteurs transformeren eerst het oorspronkelijke (p, q)-groeiprobleem naar een (0, γ)-groeiprobleem (waarbij $\gamma = q-p$) door de vergelijking te delen door $|Du|^p. Dit vereenvoudigt de structurele aannames terwijl de essentiële niet-uniforme ellipticiteit die afhankelijk is van de gradiënt behouden blijft.
2. Schalingsargumenten: Om de normen van de oplossing te behandelen, worden schalingstechnieken toegepast om de oplossing te normaliseren (bijvoorbeeld door aan te nemen dat $\|u\|_{L^\infty} \leq 1$ of $\|u\|_{C^\beta} \leq 1$), terwijl de structurele constanten $\Lambda$ en $C_f$ worden aangepast.
3. Interne schattingen: Voor interne regulariteit construeren de auteurs een argument gebaseerd op het maximumprincipe met een testfunctie van de vorm:
   $$\Phi(x, y) = u(x) - u(y) - L_1 \phi(|x-y|) - \frac{L_2}{2}|x-x_0|^2 - \frac{L_2}{2}|y-x_0|^2.$$
   De lokalisatietermen die $L_2$ bevatten, zijn cruciaal voor het interne geval om het verschil in gradiënten op twee punten te controleren. Het bewijs verloopt via een contradictie, waarbij wordt aangenomen dat het maximum positief is en een contradictie wordt afgeleid voor grote $L_1$ en $L_2$ door de viscositeitsongelijkheden op de maximumpunten te analyseren met behulp van de Pucci-operatoren en de structurele aannames (A1)-(A4).
4. Rand- en globale schattingen: Voor globale regulariteit combineren de auteurs de Ishii-Lions-methode met een barrièreconstructie (volgend op Birindelli en Demengel). Ze construeren expliciete barrièrefuncties nabij de rand om het gedrag van de oplossing te controleren ten opzichte van de randdata $g \in C^{1,1}$.
   • Een kritisch onderscheid in het globale argument is de afwezigheid van de lokalisatietermen ($L_2$-termen) die in het interne bewijs werden gebruikt. Bijgevolg komt de term "gradiëntverschil" (aanname A2) niet voor in de globale schattingen, wat toestaat dat de structurele aannames in de globale stelling worden versoepeld.

Belangrijkste resultaten
Het artikel stelt de volgende hoofdtheorema's vast met betrekking tot het toelaatbare gat $q-p$ dat vereist is voor Lipschitz-regulariteit:

• Interne regulariteit (Stelling 1.1):

  • Als $u \in L^\infty$ (of slechts continu), geldt Lipschitz-continuïteit als $q - p < \alpha$, waarbij $\alpha$ de Hölder-exponent is van de coëfficiënt $x \mapsto F(\cdot, \cdot, x)$.
  • Als $u \in C^\beta$ a priori, verbetert het toelaatbare gat tot:
    $$q - p < \min \left\{ 1 + \frac{\beta}{2(1-\beta)}, \frac{\alpha}{1-\beta} \right\}.$$
  • De auteurs merken op dat de interne bovengrens voor $C^\beta$-oplossingen iets restrictiever is dan de optimale variationalle bovengrens, vanwege de lokalisatietermen die vereist zijn in het Ishii-Lions-argument.

• Globale regulariteit (Stelling 1.2):

  • Voor een begrensd $C^{1,1}$-gebied $\Omega$ met randdata $g \in C^{1,1}$, volstaat de voorwaarde $q - p < \alpha$ als $u \in L^\infty$.
  • Als $u \in C^\beta$ a priori, geldt globale Lipschitz-regulariteit onder de verbeterde bovengrens:
    $$q - p < \frac{\alpha}{1-\beta}.$$
  • Deze globale bovengrens komt overeen met de scherpe gatvoorwaarden die bekend zijn voor variationalle dubbele-faseproblemen (specifiek die in [6, 12]).

Betekenis en claims
De auteurs positioneren hun werk als een uitbreiding van de regulariteitstheorie vanuit variationalle (divergentie-vorm) settings naar volledig niet-lineaire (niet-divergentie-vorm) vergelijkingen met (p, q)-groei.

• Vergelijking met variationalle theorie: De resultaten herstellen de scherpe gatvoorwaarden die bekend zijn voor het dubbele-faseprobleem in de variationalle setting (bijvoorbeeld $q-p < \alpha/(1-\beta)$ voor $C^\beta$-oplossingen).
• Onderscheid met product-type modellen: Het artikel benadrukt dat hun model (1.3) fundamenteel verschilt van product-type modellen (1.11) die door De Filippis zijn bestudeerd. Bij product-type modellen kan $C^{1,\alpha}$-regulariteit onafhankelijk van het gat $q-p$ worden bereikt vanwege de specifieke productstructuur die het verwijderen van gradiënttermen toestaat. Daarentegen bezit het model van de auteurs deze structuur niet (wanneer $F \neq G$), waardoor de gatvoorwaarden voor $p$ en $q$ essentieel zijn voor regulariteit.
• Nieuwheid in de niet-divergentie setting: De auteurs stellen dat terwijl onregelmatige tegenvoorbeelden goed bekend zijn voor divergentie-vorm vergelijkingen buiten de optimale gaten, er momenteel geen analoge tegenvoorbeelden beschikbaar zijn voor volledig niet-lineaire niet-divergentie vergelijkingen met (p, q)-groei. Derhalve bieden hun resultaten de eerste systematische Lipschitz-regulariteitstheorie voor deze klasse van niet-divergentie vergelijkingen, waarbij de nodige gatvoorwaarden worden vastgesteld die analoog zijn aan het variationalle geval.
• Structurele aannames: Het artikel verduidelijkt dat aanname (A2) (Lipschitz-continuïteit van $F$ met betrekking tot de gradiënt) alleen noodzakelijk is voor de interne schattingen vanwege de lokalisatietechniek, maar niet vereist is voor de globale schattingen, wat een genuanceerd begrip aantoont van de regulariteitsmechanismen in niet-divergentie vergelijkingen.