Higher integrability for parabolic double phase equations with an improved gap bound

Technische Samenvatting: Hogere Integrabiliteit voor Parabolische Double Phase Vergelijkingen met een Verbeterde Gap-Grens

Probleemstelling
Het artikel onderzoekt de lokale hogere integrabiliteit van de gradiënt voor Hölder-continue zwakke oplossingen van de parabolische double phase vergelijking:
$$\partial_t u - \text{div}\left(|Du|^{p-2}Du + a(z)|Du|^{q-2}Du\right) = 0$$
in een ruimte-tijd cilinder $\Omega_T = \Omega \times (0, T]$, waarbij $1 < p \le q$. De modulerende coëfficiënt $a(z)$ is een niet-negatieve functie die de overgang regelt tussen $p$-groei (waar $a=0$) en $(p,q)$-groei.

De centrale uitdaging die wordt aangepakt, is de relatie tussen de gap tussen de exponenten $q-p$ en de regulariteit van de coëfficiënt $a$. In de elliptische setting is bekend dat de regulariteit van oplossingen kritisch afhangt van de vraag of de gap voldoet aan een conditie gerelateerd aan het Lavrentiev-fenomeen. De auteurs streven ernaar om een vergelijkbaar resultaat voor hogere integrabiliteit te vestigen voor de parabolische casus onder versoepelde aannames over de coëfficiënt $a$ en een verbeterde gap-conditie.

Methodologie
De auteurs maken gebruik van een raamwerk gebaseerd op intrinsieke geometrie en reverse Hölder-ongelijkheden, aangepast aan de parabolische setting met niet-standaard groeicondities. Belangrijke methodologische componenten zijn:

1. Verzwakte Coëfficiëntklasse ($Z_\kappa$): In plaats van aan te nemen dat $a \in C^{\alpha, \alpha/2}$, werken de auteurs met de klasse $Z_\kappa(\Omega_T)$. Een functie $a$ behoort tot deze klasse als deze een eenzijdige puntwijze begrenzing voldoet:
   $$a(z_1) \le c_a \left( a(z_2) + d_p(z_1, z_2)^\kappa \right)$$
   waarbij $d_p$ de parabolische metriek is. Deze klasse accommodeert coëfficiënten die kunnen verdwijnen en groeien met een snelheid die door $\kappa$ wordt bepaald, inclusief niet-Hölder continue functies zoals $|x|^\kappa$.

2. Slanted Steklov Average: Om de tijdregulariteit van de coëfficiënt $a$ te behandelen zonder de eis van Hölder-continuïteit in de tijd (wat niet gegarandeerd is in $Z_\kappa$ voor $\kappa > 1$), introduceren de auteurs een nieuwe mollificatietechniek genaamd de "slanted Steklov average". Gedefinieerd als:
   $$[u]_h^R(z) = \frac{1}{h} \int_t^{t+h} u(x + (s-t)\zeta, s) \, ds$$
   Deze techniek, gecombineerd met een milde bijna-monotone conditie op $a$ (ofwel voorwaarts of achterwaarts in de tijd), maakt het mogelijk om energie-schattingen en Caccioppoli-ongelijkheden af te leiden zonder de circulaire afhankelijkheden die ontstaan bij standaard Lipschitz-truncatie methoden in deze setting.

3. Intrinsieke Geometrie en Stopping Time: Het bewijs maakt gebruik van intrinsieke cilinders ($Q_{\rho, \lambda}$ voor de $p$-fase en $G_{\rho, \lambda}$ voor de $(p,q)$-fase), waarbij de schaleringsparameter $\lambda$ wordt bepaald door de oplossing van de gradiënt. Een stopping time argument wordt gebruikt om geschikte radii voor deze cilinders te selecteren op basis van de niveausets van de integrand $H(z, |Du|) = |Du|^p + a(z)|Du|^q$.

4. Reverse Hölder-ongelijkheden: De kern van het bewijs bestaat uit het vaststellen van reverse Hölder-ongelijkheden voor zowel de $p$-fase (waar $a$ klein is) als de $(p,q)$-fase (waar $a$ significant is). Deze ongelijkheden rusten op parabolische Sobolev-Poincaré ongelijkheden en Gagliardo-Nirenberg schattingen, aangepast aan de intrinsieke schaling.

Belangrijkste Bijdragen en Resultaten

• Verbeterde Gap-Conditie: Het hoofdbestanddeel (Theorem 1.3) stelt hogere integrabiliteit voor de gradiënt vast onder de gap-conditie:
  $$2 \le p \le q \le p + \frac{q\kappa}{q - 2\gamma}$$
  waarbij $\gamma \in [0, 1)$ de Hölder-exponent van de oplossing $u$ is in de ruimte en $\gamma/q$ in de tijd.

  • De auteurs merken op dat deze conditie puur parabolisch is. Het verschilt van de optimale elliptische gap-bound ($q-p \le \kappa/(1-\gamma)$) en is strikter in die zin dat de toegestane gap kleiner is wanneer $p \ge 2$.
  • De bound reflecteert de tijdregulariteit van de oplossing; de auteurs observeren dat indien de tijdregulariteit verbeterd zou kunnen worden van $\gamma/q$ naar $\gamma/2$, de elliptische gap-conditie herwonnen zou worden.

• Extensie naar $Z_\kappa$ Coëfficiënten: Dit artikel is de eerste die de $Z_\kappa$ klasse (voorheen gebruikt in elliptische double phase problemen) toepast op de parabolische context. Dit maakt de behandeling mogelijk van coëfficiënten die niet noodzakelijkerwijs Hölder-continu zijn in de tijd, mits zij voldoen aan de eenzijdige begrenzing en de milde monotoniciteitsconditie.

• Nieuwe Mollificatie Techniek: De introductie van de slanted Steklov average biedt een mechanisme om energie-schattingen af te leiden zonder aan te nemen dat $a$ Hölder-continu is in de tijd, wat de beperkingen van standaard ruimte-tijd mollificatie overstijgt wanneer $\kappa > 1$.

• Hoofdtheorema: Voor een zwakke oplossing $u$ die lokaal $\gamma$-Hölder continu is in de ruimte en $\gamma/q$ in de tijd, bestaat er een $\epsilon_0 > 0$ zodat voor elk $\epsilon \in (0, \epsilon_0)$:
  $$\fint_{Q_r(z_0)} H(z, |Du|)^{1+\epsilon} \, dz \le c \left( \frac{2 + \|a\|_\infty}{r^{q-2\gamma}} \right)^{1 + \frac{\epsilon q}{2}}$$
  Dit bevestigt de lokale hogere integrabiliteit van de gradiënt in de Orlicz-Sobolev ruimte geassocieerd met de double phase functionaal.

Betekenis en Claims
De auteurs stellen dat hun werk de regulariteitstheorie van niet-uniform elliptische parabolische problemen vooruithelpt door:

1. Regulariteitsaannames te versoepelen: Voorbij de standaard $C^{\alpha, \alpha/2}$ aanname op de coëfficiënt $a$ te gaan naar de bredere $Z_\kappa$ klasse, die materialen met variërende ellipticiteit beter modelleert.
2. De Gap-Conditie te verfijnen: Een gap-bound te bieden die intrinsiek is aan de parabolische aard van de vergelijking, die de toegestane gap tussen $p$ en $q$ expliciet koppelt aan de tijd-Hölder regulariteit van de oplossing.
3. Methodologische Innovatie: Aan te tonen dat de slanted Steklov average een levensvatbaar alternatief is voor Lipschitz-truncatie voor het afleiden van energie-schattingen in situaties waar de regulariteit van de coëfficiënt onvoldoende is voor standaard methoden.

De auteurs geven expliciet aan dat hun benadering zich uitstrekt naar systemen en de singuliere regio ($p < 2$), hoewel het huidige werk beperkt blijft tot scalaire homogene vergelijkingen omdat Hölder-regulariteit voor systemen en de singuliere casus nog niet volledig is gevestigd in de literatuur. Zij merken ook op dat de afgeleide gap-bound mogelijk niet scherp is, aangezien het fenomeen volledig wordt beheerst door de tijd-regulariteit in de parabolische setting.