An H-convergence-based implicit function theorem for homogenization of nonlinear non-smooth elliptic systems

Technische Samenvatting: Een op H-convergentie gebaseerde impliciete functiestelling voor homogenisatie van niet-lineaire niet-gladde elliptische systemen

Probleemstelling
Het artikel behandelt de homogenisatie van randwaardeproblemen voor semilineaire elliptische systemen van de tweede orde van de vorm:
$$\partial_{x_i} \left( a_{ij}^{\alpha\beta}(\varepsilon, x)\partial_{x_j}u^\beta(x) + f_i^\alpha(x, u(x)) \right) = 0 \quad \text{in } \Omega,$$
onderworpen aan homogene Dirichlet-randvoorwaarden. Hierbij is $\varepsilon > 0$ een kleine homogenisatieparameter, $\Omega \subset \mathbb{R}^N$ een begrensd Lipschitz-domein, en voldoen de diffusietensoren $a_{ij}^{\alpha\beta}(\varepsilon, \cdot)$ aan de Legendre-ellipticiteitsvoorwaarde. De niet-lineariteit $f_i^\alpha$ wordt verondersteld $C^1$-glad te zijn als afbeelding van $C(\Omega; \mathbb{R}^n)$ naar $L^{p_0}(\Omega)$ met $p_0 > N$.

De diffusietensoren worden verondersteld H-convergent te zijn naar een gehomogeniseerde tensor $\hat{a}_{ij}^{\alpha\beta}$ wanneer $\varepsilon \to 0$. Het centrale probleem is het aantonen van het bestaan en de lokale uniciteit van zwakke oplossingen $u_\varepsilon$ voor het oscillerende probleem (1.1) in de buurt van een niet-ontartte zwakke oplossing $u_0$ van het gehomogeniseerde probleem (1.9), met name door het bewijzen van sterke convergentie $\|u_\varepsilon - u_0\|_\infty \to 0$.

Methodologie
De auteur hanteert een gegeneraliseerde aanpak van de impliciete functiestelling, aangepast voor singuliere perturbaties en homogenisatie, in plaats van de klassieke impliciete functiestelling. De kernmoeilijkheid die wordt aangepakt, is dat de lineariseerde operatoren voor het oscillerende probleem slechts convergeren in de zwakke zin van H-convergentie, en niet met betrekking tot een uniforme operatormeting, wat de directe toepassing van klassieke stellingen uitsluit.

De methodologie verloopt via de volgende stappen:

1. Abstracte Kaderstelling: De randwaardeproblemen worden herschreven als operatorvergelijkingen $A_\varepsilon u + DF(u) = 0$ in geschikte Banachruimten.
2. Benaderende Oplossingen: In plaats van de gehomogeniseerde oplossing $u_0$ als startpunt voor iteratie te gebruiken (wat faalt vanwege gebrek aan regulariteit of convergentie-eigenschappen in de specifieke normen die vereist zijn), construeert de auteur een familie van benaderende oplossingen $\bar{u}_\varepsilon$ gedefinieerd door het lineaire probleem $A_\varepsilon \bar{u}_\varepsilon + DF(u_0) = 0$.
3. Vastpuntargument: Een gegeneraliseerde impliciete functiestelling (gebaseerd op R.J. Magnus) wordt toegepast. Het bewijs maakt gebruik van het vastpuntstelling van Banach op een rij iteraten gedefinieerd door de benaderende oplossingen.
4. Selectie van Functieruimten: De keuze van Banachruimten $U$ en $V$ is cruciaal en hangt af van de dimensie $N$ en de structuur van de diffusietensor:
   • Geval $N=2$: Het bewijs maakt gebruik van Sobolev-ruimten $W^{1,p}_0(\Omega; \mathbb{R}^n)$ met $p > 2$ (Meyers-type schattingen).
   • Geval Triangulaire Systemen ($a_{ij}^{\alpha\beta} = 0$ voor $\alpha > \beta$): Het bewijs maakt gebruik van Sobolev-Morrey-ruimten $W^{1,2,\lambda}_0(\Omega; \mathbb{R}^n)$ met $\lambda > N-2$. Dit maakt het mogelijk om niet-gladde data te behandelen waar standaard Sobolev-inbeddingen zouden kunnen falen of waar de gehomogeniseerde tensor de triangulaire structuur verliest.
5. Regulariteitshulpmiddelen: De bewijzen zijn sterk afhankelijk van maximale regulariteitsschattingen voor lineaire elliptische systemen met niet-gladde data (Meyers- en Morrey-schattingen) om de nodige compactheid en continuïteitseigenschappen in de gekozen functieruimten te garanderen.

Belangrijkste Bijdragen en Resultaten
Het hoofdresultaat is Stelling 1.1, die stelt dat als $u_0$ een niet-ontartte zwakke oplossing is van het gehomogeniseerde probleem (d.w.z. de lineariseerde gehomogeniseerde operator is inverteerbaar), er voor voldoende kleine $\varepsilon$ een unieke zwakke oplossing $u_\varepsilon$ bestaat voor het oorspronkelijke probleem zodanig dat $\|u_\varepsilon - u_0\|_\infty < \delta$ en $\|u_\varepsilon - u_0\|_\infty \to 0$ wanneer $\varepsilon \to 0$.

Specifieke technische bijdragen omvatten:

• Verzachting van Gladheidsaannames: Het resultaat geldt zonder aanvullende gladheid van de rand van het domein $\partial\Omega$, de diffusiecoëfficiënten $a_{ij}^{\alpha\beta}$, de niet-lineariteit $f$ of de oplossing $u_0$ te vereisen. Het biedt ruimte voor niet-gladde data ($L^\infty$-coëfficiënten).
• Geen Globale Uniciteit Vereist: De stelling vestigt lokale uniciteit in de buurt van $u_0$ zonder globale uniciteit van oplossingen voor het niet-lineaire probleem aan te nemen.
• Omgaan met Niet-Triangulaire Homogenisatie: In het geval van triangulaire systemen (voorwaarde 1.8) merkt de auteur op dat de gehomogeniseerde tensor $\hat{a}_{ij}^{\alpha\beta}$ over het algemeen niet triangulair is. Het gebruik van Sobolev-Morrey-ruimten stelt het bewijs in staat om door te gaan ondanks dit verlies van structuur in de limiet.
• Sterke $L^\infty$-Convergentie: Het resultaat garandeert convergentie in de $L^\infty$-norm, wat sterker is dan de standaard zwakke $H^1$-convergentie die typisch is in de homogenisatietheorie.
• Hölder-continuïteit: Als bijproduct (Opmerking 1.7) wordt aangetoond dat de oplossingen $u_\varepsilon$ Hölder-continu zijn.

Betekenis en Claims
Het artikel claimt dat dit resultaat zelfs in het lineaire geval (waarbij $f$ onafhankelijk is van $u$) nieuw is. In het lineaire geval, terwijl het lemma van Lax-Milgram unieke zwakke oplosbaarheid in $W^{1,2}_0$ garandeert, is het niet onmiddellijk duidelijk dat oplossingen tot $L^\infty$ behoren of dat ze sterk convergeren in $L^\infty$ onder H-convergentie met niet-gladde data.

De auteur benadrukt dat de aanpak de kloof overbrugt tussen de theorie van singuliere perturbaties en de homogenisatietheorie door gebruik te maken van benaderende oplossingen die via linearisatie zijn geconstrueerd, in plaats van asymptotische expansies die correctoren bevatten. Dit vermijdt de noodzaak van gladmakende operatoren en aanvullende regulariteitsaannames over $u_0$.

Het artikel stelt expliciet dat het geen convergentiesnelheid biedt voor $\|u_\varepsilon - u_0\|_\infty \to 0$ vanwege de niet-gladheid van de data, in contrast met gevallen waar gladde data snelheden toestaan zoals $O(\varepsilon)$ of $O(\varepsilon^\omega)$. Het werk wordt gepresenteerd als een fundamenteel bestaan- en lokale uniciteitsresultaat voor niet-gladde, niet-periodieke homogenisatie van niet-lineaire systemen.