Functional calculus on weighted Sobolev spaces for the Laplacian on rough domains

1. Probleemstelling en Context

Het artikel richt zich op de analyse van de Laplace-operator ($\Delta$) op domeinen met minimale randregulariteit, vaak aangeduid als "ruwe domeinen" (rough domains). Traditionele theorieën voor partiële differentiaalvergelijkingen (PDE's) vereisen vaak dat het domein $\mathcal{O} \subset \mathbb{R}^d$ voldoende glad is (bijvoorbeeld $C^2$ of zelfs $C^\infty$) om zekere eigenschappen te garanderen, zoals de maximale regulariteit van oplossingen en de geldigheid van de $H^\infty$-functionale calculus.

Bij domeinen met lagere regulariteit (zoals $C^{1,\lambda}$ of Lipschitz-domeinen) falen deze klassieke resultaten. Specifiek:

• De canonieke domein van de Dirichlet- of Neumann-Laplacian op $L^p(\mathcal{O})$ is geen gesloten deelruimte van de standaard Sobolev-ruimte $W^{2,p}(\mathcal{O})$.
• Afgeleiden van oplossingen van de resolventvergelijking kunnen drastisch exploderen in de buurt van de rand $\partial\mathcal{O}$.
• Om hogere-orde regulariteit te bereiken, moeten vaak extra compatibiliteitsvoorwaarden worden opgelegd aan de data, wat de theorie beperkt.

Het doel van dit onderzoek is het opzetten van een robuuste theorie voor de $H^\infty$-functionale calculus voor de Laplacian op inhomogene gewogen Sobolev-ruimten. Door gewichten van de vorm $w_{\partial\mathcal{O}}^\gamma(x) = \text{dist}(x, \partial\mathcal{O})^\gamma$ in te voeren, kunnen de singulariteiten van de afgeleiden bij de rand worden gecompenseerd, waardoor compatibiliteitsvoorwaarden kunnen worden vermeden.

2. Methodologie

De auteurs hanteren een geavanceerde analytische aanpak die bestaat uit drie hoofdstappen:

A. Gebruik van Gewogen Sobolev-ruimten
In plaats van standaard Sobolev-ruimten, werken ze met ruimten $W^{k,p}(\mathcal{O}, w_{\partial\mathcal{O}}^\gamma)$. De exponent $\gamma$ wordt zorgvuldig gekozen in relatie tot de regulariteit van het domein ($C^{1,\lambda}$) en de integrabiliteit $p$. Dit stelt hen in staat om de "blow-up" van afgeleiden bij de rand te absorberen.

B. Lokalisatie en Diffeomorfismen (De Kerninnovatie)
De standaardmethode om resultaten van het half-ruimte $\mathbb{R}^d_+$ naar een gebogen domein over te brengen, maakt gebruik van lokale coördinaten via diffeomorfismen. Voor ruwe domeinen ($C^{1,\lambda}$ met $\lambda < 1$) faalt de klassieke "straightening" (rechtzetten) omdat de afgeleiden van de transformatie niet voldoende begrensd zijn.

• De auteurs construeren een gevariantieerde Dahlberg-Kenig-Stein pullback (voor Dirichlet) en een admissibele diffeomorfisme (voor Neumann).
• Deze transformaties zijn specifiek ontworpen om de richting van de normaalvector bij de rand invariant te houden (cruciaal voor Neumann-voorwaarden).
• Een belangrijk kenmerk is dat hogere-orde afgeleiden van deze transformaties wel degelijk exploderen bij de rand, maar deze explosie wordt precies gecompenseerd door de gewichten in de Sobolev-ruimten.

C. Perturbatietheorie voor $H^\infty$-calculus
De bewijzen zijn gebaseerd op perturbatietheorema's voor de $H^\infty$-calculus van sectoriale operatoren.

1. Ze starten met het bekende resultaat voor de Laplacian op het half-ruimte $\mathbb{R}^d_+$ (gebaseerd op eerdere werken [70, 72]).
2. Ze behandelen het Laplacian op een speciaal domein (boven de grafiek van een functie) als een perturbatie van het half-ruimte Laplacian via de bovenstaande diffeomorfismen.
3. Omdat de perturbatie-termen soms van dezelfde orde zijn als de Laplacian (vanwege de lage regulariteit), gebruiken ze geavanceerde interpolatieruimten en fractionele domeinen om te voldoen aan de voorwaarden van perturbatietheorema's (zoals Theorema 2.6 uit [36]).
4. Tot slot wordt de lokale regulariteit via een localisatieprocedure (met een eenheidssplitsing) uitgebreid naar willekeurige begrensde domeinen.

3. Belangrijkste Resultaten

Het paper levert twee hoofdstellingen op die de $H^\infty$-calculus garanderen voor de Laplacian op begrensde $C^{1,\lambda}$-domeinen:

Stelling 1.1 (Dirichlet Randvoorwaarden):
Voor een begrensde $C^{1,\lambda}$-domein $\mathcal{O}$, en parameters $p \in (1, \infty)$, $k \in \mathbb{N}_0$, en een gewichtsexponent $\gamma$ binnen een specifiek bereik, heeft de operator $\mu - \Delta_{\text{Dir}}$ een begrensde $H^\infty$-calculus met hoek nul op de ruimte $W^{k,p}(\mathcal{O}, w_{\partial\mathcal{O}}^{\gamma+kp})$.

• Cruciaal trade-off: Lagere domeinregulariteit (kleiner $\lambda$) kan worden gecompenseerd door een grotere gewichtsexponent $\gamma$.
• Dit generaliseert eerdere resultaten die beperkt waren tot $C^2$-domeinen of $k=0$.

Stelling 1.2 (Neumann Randvoorwaarden):
Voor de Neumann-Laplacian wordt een vergelijkbaar resultaat bewezen, maar met een iets ander bereik voor $\gamma$ en afhankelijkheid van de regulariteit van het domein ($C^{1,\lambda}$ of $C^{2,\lambda}$ afhankelijk van $k$ en $\gamma$). Ook hier geldt de begrensde $H^\infty$-calculus.

Gevolgen:

• Maximale Regulariteit: Als directe consequentie wordt maximale $L^q$-regulariteit voor de warmtevergelijking (heat equation) met Dirichlet- of Neumann-voorwaarden bewezen. Dit geldt voor domeinen met minimale gladheid waar klassieke methoden faalden.
• Riesz-transformaties: De auteurs bewijzen de begrensdheid van Riesz-transformaties geassocieerd met de Laplacian op deze gewogen ruimten.
• Spectrale Onafhankelijkheid: Voor het scalair geval ($X=\mathbb{C}$) wordt aangetoond dat het spectrum van de Laplacian onafhankelijk is van $p$, $k$ en $\gamma$, en discreet is in $(0, \infty)$ (voor Dirichlet) of $[0, \infty)$ (voor Neumann).

4. Bijdragen en Innovatie

De belangrijkste bijdragen van dit werk zijn:

1. Uitbreiding naar Ruwe Domeinen: Het is het eerste werk dat een systematische $H^\infty$-calculus theorie opbouwt voor de Laplacian op begrensde $C^{1,\lambda}$-domeinen met gewogen Sobolev-ruimten voor willekeurige $k \geq 0$.
2. Onafhankelijkheid van Regulariteit: De regulariteit van het domein ($C^{1,\lambda}$) is onafhankelijk van de regulariteit $k$ van de Sobolev-ruimte. Dit wordt bereikt door het vermijden van de standaard localisatieprocedure die $C^{k+2}$-domeinen vereist.
3. Nieuwe Diffeomorfismen: De constructie van de specifieke diffeomorfismen (gebaseerd op Dahlberg-Kenig-Stein) die de rand "rechtzetten" terwijl ze de normaalrichting behouden en de singulariteiten van de afgeleiden beheersbaar maken via gewichten, is een methodologische doorbraak.
4. Toepasbaarheid op Stochastische PDE's: De resultaten zijn direct toepasbaar op stochastische partiële differentiaalvergelijkingen (SPDE's) op ruwe domeinen, een gebied waar de theorie vaak beperkt was door de vereiste aan de randgladheid.

5. Significatie

Dit artikel vormt een fundamentele stap in de moderne theorie van partiële differentiaalvergelijkingen op niet-gladde domeinen. Door de $H^\infty$-calculus te vestigen, bieden de auteurs een krachtig raamwerk voor:

• Het bewijzen van existentie, uniciteit en regulariteit van oplossingen voor lineaire en niet-lineaire PDE's en SPDE's.
• Het elimineren van restrictieve compatibiliteitsvoorwaarden die eerder noodzakelijk waren voor ruwe domeinen.
• Het verbinden van de theorie van gewogen ruimten met de moderne operator-theorie (sectoriale operatoren).

De resultaten maken het mogelijk om parabolische problemen op domeinen met minimale gladheid (zoals die vaak voorkomen in fysica en engineering) met dezelfde wiskundige strengheid te analyseren als op gladde domeinen, wat de toepassingsmogelijkheden aanzienlijk vergroot.