Regularity for monotone Operators and applications to homogenization of $p$-Laplace type equations

Technische Samenvatting: Regulariteit voor Monotone Operatoren en Toepassingen op de Homogenisatie van $p$-Laplace-type Vergelijkingen

Probleemstelling
Het manuscript behandelt de regulariteitstheorie voor oplossingen van quasilineaire elliptische vergelijkingen in divergentievorm met snel oscillerende periodieke coëfficiënten. Specifiek wordt onderzoek gedaan naar vergelijkingen van de vorm:
$$\nabla \cdot a\left(\frac{x}{\varepsilon}, \nabla u\right) = \nabla \cdot F$$
waarbij $\varepsilon \in (0, 1]$ een kleine parameter is, en de operator $a(x, \xi)$ voldoet aan groei- en monotoniciteitsvoorwaarden die gebaseerd zijn op de $p$-Laplace-operator. De primaire focus ligt op het vaststellen van uniforme grootschalige regulariteitsschattingen (specifiek $L^q$-schattingen voor de gradiënt en Lipschitz-schattingen) voor oplossingen wanneer $p \neq 2$.

Een centrale moeilijkheid die wordt geïdentificeerd, is dat hoewel de klassieke homogenisatietheorie toestaat dat de oscillerende vergelijking convergeert naar een gehomogeniseerde autonome vergelijking $\nabla \cdot \bar{a}(\nabla u) = \nabla \cdot F$, de structurele eigenschappen van de gehomogeniseerde operator $\bar{a}$ niet gegarandeerd overeenkomen met die van de oorspronkelijke operator $a$ wanneer $p \neq 2$. In het lineaire geval ($p=2$) of wanneer $p=2$ in nietlineaire settings, behoudt de gehomogeniseerde operator sterke monotoniciteit en uniforme ellipticiteit, wat de toepassing van de klassieke regulariteitstheorie mogelijk maakt. Echter, voor $p \neq 2$ voldoet de gehomogeniseerde operator $\bar{a}$ doorgaans aan zwakkere monotoniciteitsvoorwaarden (specifiek kan de sterke monotoniciteitsvoorwaarde (1.3) falen, vervangen door de zwakkere voorwaarde (1.7)). Bijgevolg kunnen klassieke regulariteitsresultaten niet direct worden toegepast op de gehomogeniseerde vergelijking, wat een barrière vormt voor het afleiden van uniforme schattingen voor het oorspronkelijke oscillerende probleem.

Methodologie
De auteurs hanteren een meerstapsstrategie die perturbatieargumenten, homogenisatietheorie en een nieuwe analyse van niet-uniform elliptische vergelijkingen combineert:

1. Lokale Regulariteit voor Degeneratieve Operatoren: De auteurs stellen eerst lokale Calderón-Zygmund-type schattingen vast voor autonome vergelijkingen $\nabla \cdot a(\nabla u) = \nabla \cdot F$ onder een zwakkere monotoniciteitsveronderstelling (Aanname 2) dan de standaard sterke monotoniciteit (Aanname 1). Dit wordt bereikt via een variant van de Moser-iteratiemethode, aangepast voor niet-uniform elliptische operatoren, gebruikmakend van verschilquotiënten en fractionele Sobolev-inbeddingen. Deze stap bewijst dat oplossingen van de gehomogeniseerde vergelijking de noodzakelijke regulariteit bezitten, ondanks de zwakkere structurele voorwaarden.
2. Homogenisatie en Correctoren: Het artikel construeert correctoren en flux-correctoren voor het oscillerende probleem. Een cruciale theoretische bijdrage is het bewijs dat de gehomogeniseerde operator $\bar{a}$ de zwakkere Aanname 2 voldoet (en Aanname 3 in het niet-degeneratieve geval), zelfs als de oorspronkelijke operator $a$ de sterkere Aanname 1 vervult. Deze stabiliteit onder homogenisatie wordt vastgesteld met behulp van celformules en eigenschappen van monotone operatoren.
3. Grootschalige Perturbatie: Om de regulariteit van de gehomogeniseerde vergelijking terug te transfereren naar de oscillerende vergelijking, maken de auteurs gebruik van een twee-schaal expansie en een perturbatieargument. Ze vergelijken de oplossing $u$ van de oscillerende vergelijking met een oplossing $v$ van de gehomogeniseerde vergelijking. Door kwantitatieve convergentiesnelheden vast te stellen (via schattingen op de residu-termen met betrekking tot de correctoren), tonen ze aan dat de regulariteit van de gehomogeniseerde oplossing overtroffen wordt door de oscillerende oplossing op grote schaal.
4. Maximale Functie Technieken: De afleiding van globale $L^q$-schattingen berust op technieken met maximale functies (specifiek getrunceerde maximale functies) en een gegeneraliseerde Calderón-Zygmund theorie, aangepast aan de $p$-Laplace-setting, in de geest van het werk van Avellaneda en Lin, maar uitgebreid naar het nietlineaire, degeneratieve geval.

Belangrijkste Bijdragen en Resultaten

• Theorem 1.1 (Lokale Regulariteit): De auteurs bewijzen lokale $L^q$-schattingen voor de gradiënt van oplossingen van autonome vergelijkingen die voldoen aan de zwakkere monotoniciteitsvoorwaarde (Aanname 2). Dit resultaat is significant omdat het de vereiste van sterke monotoniciteit (1.3) wegneemt, die vaak verloren gaat bij homogenisatie voor $p \neq 2$. De schatting geldt voor alle $q \in [p, \infty)$.
• Theorem 1.2 (Uniforme Grootchalige $L^q$ Schattingen): Voor de oscillerende vergelijking met periodieke coëfficiënten stellen de auteurs uniforme Calderón-Zygmund schattingen vast. Cruciaal is dat de constante $C$ in de schatting onafhankelijk is van $\varepsilon$. Dit resultaat is nieuw voor $p$-Laplace-type vergelijkingen met oscillerende coëfficiënten waar $p \neq 2$.
• Theorem 1.3 (Uniforme Lipschitz Schattingen): In het niet-degeneratieve geval ($\mu = 1$) leiden de auteurs uniforme Lipschitz-schattingen af voor oplossingen van de homogene vergelijking ($F \equiv 0$). Dit breidt de baanbrekende resultaten van Avellaneda en Lin uit van lineaire systemen naar nietlineaire, niet-degeneratieve elliptische vergelijkingen.
• Stabiliteit van Aannames: Het artikel toont aan dat de klasse van operatoren die voldoet aan de zwakkere Aanname 2 (en Aanname 3) gesloten is onder homogenisatie. Dit rechtvaardigt de regulariteitsveronderstellingen vereist voor de gehomogeniseerde oplossing in eerdere werken (bijv. [23]) en maakt de toepassing van de ontwikkelde regulariteitstheorie mogelijk op een bredere klasse van operatoren, inclusief Finsler $p$-Laplacians en orthotrope $p$-Laplace operatoren.

Betekenis en Claims
Het artikel claimt de eerste algemene onvoorwaardelijke uniforme/grootschalige regulariteitsresultaten van het type Calderón-Zygmund te bieden voor $p$-Laplace-type vergelijkingen met oscillerende coëfficiënten wanneer $p \neq 2$. Voorafgaand aan dit werk waren dergelijke resultaten ofwel beperkt tot het lineaire geval ($p=2$), of vereisten ze voorwaardelijke aannames (bijv. de aanname dat de gehomogeniseerde operator sterke monotoniciteit behoudt, wat over het algemeen niet waar is).

De auteurs benadrukken dat hun aanpak de afwezigheid van sterke monotoniciteit in de gehomogeniseerde operator overwint door een regulariteitstheorie voor niet-uniform elliptische vergelijkingen te ontwikkelen die niet steunt op linearisatietechnieken. Hierdoor kunnen zij de grootschalige regulariteitsresultaten die eerder onder voorwaardelijke aannames in [59] werden verkregen, terugwinnen, maar nu zonder deze extra restricties. De resultaten zijn toepasbaar op een breed scala aan degeneratieve elliptische operatoren, inclusief de orthotrope $p$-Laplace operator, die de zwakkere aannames voldoet maar niet de standaard sterke monotoniciteit.

Het manuscript claimt het probleem voor willekeurige coëfficiënten in het algemene $p \neq 2$ geval niet op te lossen zonder verdere aannames, waarbij wordt opgemerkt dat dergelijke resultaten (zoals in [23]) momenteel steunen op specifieke modelbeperkingen. Het stelt echter het noodzakelijke deterministische kader (regulariteit van de gehomogeniseerde operator) vast dat vereist zou zijn voor dergelijke stochastische uitbreidingen.