Large-scale harmonic measures and nontangential maximal functions in periodic homogenization

1. Probleemstelling en Motivatie

Het artikel behandelt de regelbaarheid van oplossingen voor elliptische operatoren met periodieke coëfficiënten in een begrensde domein $\Omega$. De operator is gedefinieerd als:
$$L_\varepsilon = -\nabla \cdot (A(x/\varepsilon)\nabla)$$
waarbij $\varepsilon \ll \text{diam}(\Omega)$ een microscopische schaalparameter is en $A$ een reële, symmetrische matrix is die voldoet aan uniforme ellipticiteit en begrensdheid. De coëfficiënten $A$ worden verondersteld te zijn alleen begrensd en meetbaar (zonder lokale gladheidsaannames zoals Hölder-continuïteit), maar wel periodiek.

De auteurs bestuderen de $L^p$-Dirichlet-, Neumann- en regulariteitsproblemen voor deze operatoren. Het centrale probleem is het ontbreken van uniforme schattingen voor de niet-tangentiële maximale functies (nontangential maximal functions) wanneer de coëfficiënten onregelmatig zijn op de schaal $\varepsilon$.

• In het geval van gladde coëfficiënten ($\varepsilon=1$) zijn dergelijke schattingen goed begrepen voor Lipschitz- en $C^1$-domeinen.
• Bij periodieke homogenisatie met ruwe coëfficiënten falen de klassieke schattingen direct omdat de oplossingen op de $\varepsilon$-schaal sterk oscilleren.

De hoofdvraag is: Kunnen er uniforme schattingen worden bewezen voor "grootschalige" (large-scale) niet-tangentiële maximale functies, zonder extra gladheidsvoorwaarden op $A$, en welke vorm moeten deze functies aannemen?

2. Methodologie

De auteurs ontwikkelen een nieuwe aanpak die de analyse splitst in twee schalen: een grootschalige analyse (gedreven door de periodieke structuur) en een kleinschalige analyse (die lokale gladheid vereist).

Belangrijkste methodologische componenten:

• Grootschalige Niet-Tangentiële Maximale Functies:
  In plaats van de klassieke maximale functie $N(F)(Q) = \sup_{X \in \Gamma(Q)} |F(X)|$, definiëren de auteurs een grootschalige variant $N_\varepsilon(F)(Q)$ die alleen supremums neemt voor punten $X$ die op een afstand $\delta(X) \geq 10\varepsilon$ van de rand liggen. Dit omzeilt de singulariteiten en oscillaties direct aan de rand veroorzaakt door de ruwe coëfficiënten.
  $$N_\varepsilon(F)(Q) = \sup \{ |F(X)| : X \in \Gamma(Q) \text{ en } \delta(X) \geq 10\varepsilon \}$$
  Een vergelijkbare definitie geldt voor de gemodificeerde maximale functie $\widetilde{N}_\varepsilon$.

• Grootschalige $L_\varepsilon$-Harmonische Maat:
  De auteurs introduceren de grootschalige $L_\varepsilon$-harmonische maat $\omega^X_\varepsilon$, gedefinieerd als een gemiddelde over een randbal met straal $\varepsilon$:
  $$\omega^X_\varepsilon(Q) := \frac{\omega^X_\varepsilon(\Delta_\varepsilon(Q))}{\sigma(\Delta_\varepsilon(Q))}$$
  Ze bewijzen dat deze maat voldoet aan een omgekeerde Hölder-ongelijkheid (Reverse Hölder inequality) en een verdubbelingseigenschap, zelfs zonder gladheid van $A$. Dit is cruciaal voor het bewijzen van $L^p$-schattingen voor het Dirichlet-probleem.

• Differentie-operator en Periodiciteit:
  Voor de regulariteits- en Neumann-problemen maken ze gebruik van een differentie-operator $Q_\varepsilon(u) = \frac{u(x+\varepsilon e_d) - u(x)}{\varepsilon}$. Door de periodiciteit van $A$ in de transversale richting (na lokalisatie tot een graf-domein), blijkt dat als $u_\varepsilon$ een oplossing is, ook $Q_\varepsilon(u_\varepsilon)$ een oplossing is voor een vergelijkbaar probleem. Dit stelt hen in staat om schattingen voor de gradient terug te brengen naar randdata en een randlaag-term.

• Gekwantificeerde Convergentie en Homogenisatie:
  Voor $C^1$-domeinen combineren ze de grootschalige schattingen met bekende resultaten voor de gehomogeneerde operator $L_0 = -\nabla \cdot (\bar{A}\nabla)$. Ze gebruiken de foutanalyse van homogenisatie (convergentiesnelheden) om de oplossing $u_\varepsilon$ te decomponeren in een gehomogeneerde oplossing $u_0$ en correctietermen.

• Real-variable Argumenten:
  Ze passen aangepaste versies van de "real-variable argumenten" (van Caffarelli-Peral en anderen) toe, specifiek ontworpen voor grootschalige schattingen, om de bereik van $p$ uit te breiden van $p=2$ naar $1 < p < \infty$.

3. Belangrijkste Resultaten

Het artikel levert uniforme $L^p$-schattingen voor de grootschalige maximale functies, onafhankelijk van $\varepsilon$.

Hoofdstellingen:

1. Dirichlet-probleem (Stelling 1.1):
   Voor een begrensde Lipschitz-domein en $A$ periodiek en meetbaar, geldt voor $2-\delta < p \leq \infty$:
   $$\|N_\varepsilon(u_\varepsilon)\|_{L^p(\partial\Omega)} \leq C \|S_\varepsilon(f)\|_{L^p(\partial\Omega)}$$
   waarbij $S_\varepsilon(f)$ een lokale maximum-operator op de rand is. Voor $C^1$-domeinen geldt dit voor alle $1 < p \leq \infty$.

2. Regulariteits- en Neumann-problemen (Stelling 1.2 en 1.3):
   Voor Lipschitz-domeinen geldt voor $1 < p < 2+\delta$:
   $$\|\widetilde{N}_\varepsilon(\nabla u_\varepsilon)\|_{L^p(\partial\Omega)} \leq C \|f\|_{W^{1,p}(\partial\Omega)} \quad (\text{Regulariteit})$$
   $$\|\widetilde{N}_\varepsilon(\nabla u_\varepsilon)\|_{L^p(\partial\Omega)} \leq C \|g\|_{L^p(\partial\Omega)} \quad (\text{Neumann})$$
   Voor $C^1$-domeinen worden deze resultaten uitgebreid naar het volledige bereik $1 < p < \infty$.

3. Herstel van Klassieke Resultaten (Corollarium 1.4):
   Als er extra regulariteit wordt aangenomen op de coëfficiënten (bijv. Hölder-continuïteit), kunnen de grootschalige schattingen worden "geüpgraded" naar de klassieke volledige schaal (full-scale) schattingen voor $N(u_\varepsilon)$ en $\widetilde{N}(\nabla u_\varepsilon)$. Dit herstelt eerdere resultaten voor Lipschitz-domeinen en levert nieuwe resultaten op voor $C^1$-domeinen over het volledige bereik van $p$.

4. Convexe Domeinen:
   De resultaten gelden ook voor convexe domeinen, aangezien de benodigde geometrische eigenschappen (zoals de regelbaarheid van de gehomogeneerde operator) daar ook gelden.

4. Significatie en Bijdrage

De bijdrage van dit werk is fundamenteel voor de theorie van periodieke homogenisatie en de regelbaarheid van elliptische vergelijkingen met ruwe coëfficiënten:

• Overbrugging van Schalen: Het artikel lost het probleem op dat ruwe coëfficiënten de klassieke nontangentiële maximale functies ongedefinieerd of onbegrensd maken op de microscopische schaal. Door de definitie van "grootschalige" functies te introduceren, creëren ze een brug tussen de microscopische onregelmatigheid en de macroscopische regelbaarheid.
• Minimale Aannames: Het is een van de eerste werken dat uniforme $L^p$-schattingen bewijst voor periodieke operatoren met alleen meetbare coëfficiënten, zonder de gebruikelijke Hölder-continuïteit of VMO (Vanishing Mean Oscillation) aannames.
• Nieuwe Technieken: De introductie van de grootschalige harmonische maat en de toepassing van differentie-operatoren in combinatie met Rellich-schattingen biedt een nieuw raamwerk voor het analyseren van randwaardeproblemen in homogenisatie.
• Optimaliteit: De bereik van $p$ die wordt bereikt is optimaal en komt overeen met wat bekend is voor de Laplace-operator in gladde domeinen, wat aantoont dat de periodieke structuur de regelbaarheid op grootschalig niveau volledig herstelt, zelfs bij zeer ruwe lokale coëfficiënten.

Samenvattend biedt dit artikel een complete theorie voor de regelbaarheid van randwaardeproblemen voor periodieke elliptische operatoren met ruwe coëfficiënten, waarbij het onderscheid tussen microscopische en macroscopische schalen centraal staat.