Counterexamples to maximal regularity for operators in divergence form

Technische Samenvatting: Tegenvoorbeelden voor Maximale Regulariteit voor Operatoren in Divergentievorm

Probleemstelling
Dit artikel behandelt twee fundamentele vragen met betrekking tot de regulariteit van oplossingen van parabolische partiële differentiaalvergelijkingen (PDE's) in divergentievorm met tijdsafhankelijke coëfficiënten. De auteurs beschouwen het abstracte Cauchy-probleem (CP):
$$\begin{cases} u' - Au = f, & \text{op } (0, 1), \\ u(0) = 0, \end{cases}$$
waarbij $A(t)$ een sterk meetbare familie van operatoren is die een Hilbertruimte $V$ naar zijn duale ruimte $V^*$ afbeeldt, en die voldoet aan coerciviteits- en begrensdheidsvoorwaarden. Specifiek richten de auteurs zich op de concrete setting waar $H = L^2(\mathbb{R}^d)$, $V = H^1(\mathbb{R}^d)$, en $A(t)v = -\text{div}(B(t)\nabla v)$, waarbij $B$ een uniform elliptische matrixveld is.

De studie onderzoekt twee specifieke regulariteitsproblemen:

1. Probleem 1 (Maximale $L^p$-regulariteit op $V$): Voor $p \in (1, \infty) \setminus \{2\}$, impliceert de voorwaarde $f \in L^p(0, 1; V^*)$ dat de unieke zwakke oplossing $u$ behoort tot $L^p(0, 1; V)$?
2. Probleem 2 (Maximale $L^2$-regulariteit op $H$): Impliceert de voorwaarde $f \in L^2(0, 1; H)$ dat de tijdsafgeleide van de oplossing voldoet aan $u' \in L^2(0, 1; H)$?

Hoewel de theorie van Lions een unieke zwakke oplossing in $L^2(0, 1; V) \cap H^1(0, 1; V^*)$ garandeert onder louter coerciviteit, en er positieve resultaten bestaan voor autonome operatoren of operatoren met voldoende tijdsregulariteit (bijv. continuïteit of Hölder-continuïteit), blijft het gedrag voor algemene tijdsafhankelijke coëfficiënten zonder dergelijke regulariteitsveronderstellingen open. Eerdere tegenvoorbeelden door Dier en Fackler waren abstract en geen differentiaaloperatoren. Dit artikel beoogt tegenvoorbeelden te construeren die echte differentiaaloperatoren zijn.

Methodologie
De aanpak van de auteurs steunt op een specifieke constructie van oplossingen van lineaire, uniform parabolische PDE's met complexe coëfficiënten, oorspronkelijk ontwikkeld door de tweede genoemde auteur in [19]. De methodologie verloopt als volgt:

1. Schaalingssymmetrie Constructie: De auteurs maken gebruik van een zelfgelijkende ansatz voor de oplossing $\zeta(t, x)$ en de coëfficiëntmatrix $B(t, x)$:
   $$\zeta(t, x) = (1-t)^{-\mu/2} e^{-i \log(1-t)/2} w\left(\frac{x}{(1-t)^{1/2}}\right), \quad B(t, x) = a\left(\frac{x}{(1-t)^{1/2}}\right).$$
   Dit reduceert de parabolische PDE tot een elliptische PDE voor de profielfunctie $w$ en het coëfficiëntveld $a$ op $\mathbb{R}^d$.

2. Bestaan van Singuliere Profielen: Verwijzend naar [19], merken de auteurs op dat er voor elke parameter $\mu \in [0, d/2)$ gladde (wegens de oorsprong) uniform elliptische coëfficiënten $a$ en oplossingen $w$ bestaan waarvoor $w$ lokaal Lipschitz is maar specifieke vervalratio's vertoont bij oneindig ($|x|^{-\mu}$). Cruciaal is dat het imaginaire deel van $B$ symmetrisch wordt gekozen, waardoor een sterke koppeling tussen de reële en imaginaire delen van de vergelijking mogelijk is zonder de elliptische voorwaarde te schenden.

3. Lokalisatie en Generatie van Tegenvoorbeelden: Om deze globale oplossingen aan te passen aan het begrensde tijdsinterval $(0, 1)$ en de specifieği probleemsetting, introduceren de auteurs een gladde afkapfunctie $\eta$. Ze definiëren een nieuwe kandidaat-oplossing $u(t, x) = t \zeta(t, x) \eta(x)$ en leiden de bijbehorende forceringsterm $f$ af.

4. Regulariteitsanalyse: De kern van het bewijs behelst het schatten van de integreerbaarheid van $u$ en $f$. Door de parameters $\mu$, $r$ en $s$ zorgvuldig te selecteren, demonstreren de auteurs dat hoewel $f$ een hoge regulariteit bezit (bijv. $f \in L^\infty(0, 1; L^2)$), de oplossing $u$ niet behoort tot specifieke gemengde normruimtes $L^r(0, 1; L^s(\mathbb{R}^d))$.

5. Dualiteit en Interpolatie:

   • Voor Probleem 1 met $p > 2$, impliceert het falen van $L^r(L^s)$ integreerbaarheid direct het falen van $L^p(0, 1; H^1)$ regulariteit via de Sobolev-inbedding.
   • Voor Probleem 1 met $p < 2$, wordt een dualiteitsargument toegepast. De aanname dat maximale regulariteit geldt voor $p$ leidt tot een tegenspraak met de bekende uitkomst voor de duale exponent $p'$.
   • Voor Probleem 2, worden complexe interpolatie en de Sobolev-inbeddingstellingen gebruikt om aan te tonen dat indien $u$ de vereiste tijdsregulariteit ($H^\nu$) bezat, het noodzakelijkerwijs tot de $L^r(L^s)$ ruimte zou behoren, hetgeen reeds bewezen onjuist is.

Belangrijkste Bijdragen en Resultaten

• Theorem 2.4 (Falen van Hogere Integreerbaarheid): Voor dimensies $d \ge 2$ en exponenten $r, s \in (1, \infty)$ waarvoor $\frac{2}{r} + \frac{d}{s} < \frac{d}{2}$ geldt, bestaat er een elliptische matrix $B$ en een forceringsterm $f \in L^\infty(0, 1; L^2)$ waarvoor de unieke oplossing $u$ niet in $L^r(0, 1; L^s)$ zit.
• Theorem 2.5 (Falen van Maximale $L^p$-regulariteit voor Probleem 1): Voor elke $p \in (1, \infty) \setminus \{2\}$ bestaat er een elliptische operator in divergentievorm en een forceringsterm $f \in L^p(0, 1; H^{-1})$ waarvoor de oplossing $u$ niet behoort tot $L^p(0, 1; H^1)$. Dit demonstreert dat het positieve resultaat van Theorem 2.2 (dat regulariteit garandeert voor een kleine omgeving van 2) scherp is en niet uitgebreid kan worden naar de volledige reeks $(1, \infty)$ zonder aanvullende aannames over de tijdsregulariteit van de coëfficiënten.
• Theorem 2.7 (Falen van Maximale $L^2$-regulariteit voor Probleem 2): Voor elke $\nu \in (1/2, 1]$ bestaat er een elliptische operator en een forceringsterm $f \in L^\infty(0, 1; L^2)$ waarvoor de oplossing $u$ niet in de fractie Sobolev-ruimte $H^\nu(0, 1; L^2)$ zit. Dit geeft een negatief antwoord op Lions' probleem voor algemene elliptische operatoren in divergentievorm, waarbij wordt aangetoond dat de oplossing zelfs kan falen om $1/2$-orde tijdsregulariteit te hebben in $L^2$.

Betekenis en Claims
Het artikel claimt de vraag op te lossen of maximale regulariteit geldt voor algemene tijdsafhankelijke divergentievorm-operatoren door expliciete tegenvoorbeelden te leveren die differentiaaloperatoren zijn, in plaats van abstracte operatoren.

• Scherpte van Bestaande Theorie: De resultaten bevestigen dat het kleine interval van $p$ waarvoor maximale $L^p$-regulariteit geldt (Theorem 2.2) optimaal is en niet uitgebreid kan worden naar de volledige reeks $(1, \infty)$ zonder aanvullende aannames over de tijdsregulariteit van de coëfficiënten.
• Beperkingen van de Divergentievorm Structuur: In tegen tegenstelling tot het Kato square root probleem, waar de differentiële structuur positieve resultaten opleverde, laat dit werk zien dat de divergentievorm structuur alleen onvoldoende is om maximale regulariteit te garanderen wanneer coëfficiënten een gebrek aan tijdscontinuïteit vertonen.
• Regulariteit van Coëfficiënten: De auteurs merken op dat hun tegenvoorbeelden steunen op coëfficiënten $B$ die niet continu zijn in de tijd (specifiek: niet continu als afbeeldingen naar $L^\infty$). Ze stellen expliciet dat het vinden van een tegenvoorbeeld voor Probleem 2 met Hölder-continue coëfficiënten (specifiek voor $\nu=1$) een open en interessant probleem blijft, aangezien er positieve resultaten bestaan voor coëfficiënten met iets meer regulariteit (bijv. $C^{1/2+\epsilon}$).

Het artikel sluit af met de erkenning van openstaande vragen, waaronder het geval van symmetrische/hermitische operatoren en de eendimensionale setting ($d=1$), waar het gedrag kan verschillen.