Global Calderon-Zygmund estimates for irregular double-phase evolution problem with non-divergence data

Technische Samenvatting: Globale Calderón-Zygmund-schattingen voor irreguliere double-phase evolutieproblemen met niet-divergentie-data

Probleemformulering
Dit werk onderzoekt de existentie en globale regulariteit van sterke oplossingen voor een klasse van irreguliere double-phase parabolische vergelijkingen met niet-divergentie-data. Het probleem is gedefinieerd op een begrensd domein $\Omega \subset \mathbb{R}^N$ ($N \ge 2$) over een tijdsinterval $(0, T)$, aangeduid als $Q_T = \Omega \times (0, T)$:

$$\begin{cases} u_t - \text{div} \left( F(z, \nabla u) \nabla u \right) = f(z), & z = (x, t) \in Q_T, \\ u = 0, & \text{op } \partial\Omega \times (0, T), \\ u(x, 0) = u_0(x), & \text{in } \Omega, \end{cases}$$

waarbij de fluxfunctie wordt gegeven door $F(z, \xi) = a(z)|\xi|^{p(z)-2} + b(z)|\xi|^{q(z)-2}$. De exponenten $p(z)$ en $q(z)$ zijn variabel en Lipschitz-continu, terwijl de niet-negatieve modulerende coëfficiënten $a(z)$ en $b(z)$ voldoen aan de voorwaarde $a(z) + b(z) > 0$. Het probleem wordt gekenmerkt door een heterogene groeistructuur: in regio's waar beide coëfficiënten positief zijn, vertoont de flux gemengde groei gestuurd door beide exponenten, terwijl het in regio's waar één van hen verdwijnt, reduceert tot een single-phase model. De data $f$ wordt verondersteld in $L^\sigma(Q_T)$ te liggen met $\sigma > 2$, wat staat voor niet-divergentie vorm forcering.

Methodologie
De auteurs hanteren een regularisatie-aanpak gecombineerd met globale hogere integrabiliteitsschattingen en tweede-orde regulariteitsanalyse. De methodologie verloopt in verschillende stadia:

1. Regularisatie: Het oorspronkelijke probleem wordt benaderd door een familie van geregulariseerde problemen met gladde data en een geregulariseerde flux $F_\epsilon(z, \nabla u)$, waarbij de singulariteit bij $\nabla u = 0$ wordt behandeld door een parameter $\epsilon \in (0, 1)$ te introduceren. Klassieke oplossingen voor deze geregulariseerde problemen worden vastgesteld.
2. A Priori Schattingen: De kern van de analyse bestaat uit het afleiden van uniforme schattingen onafhankelijk van de regularisatieparameter $\epsilon$. Dit wordt bereikt door:
   • De geregulariseerde vergelijking te vermenigvuldigen met specifieke testfuncties die de tijdsafgeleide en tweede-orde ruimtelijke afgeleiden bevatten.
   • De Green-formule te gebruiken om randintegralen af te handelen, die worden ingeschat met behulp van de geometrie van het domein en de regulariteit van de coëfficiënten.
   • Interpolatie-ongelijkheden en puntwijze schattingen voor de Hessiaan-matrix van de oplossing vast te stellen.
   • Hölder- en Young-ongelijkheden toe te passen om de variabele exponenten en de niet-divergentie term $f$ te beheersen.
3. Afhandeling van Niet-Divergentie Data: Een aanzienlijke technische uitdaging die wordt aangepakt, is de aanwezigheid van niet-divergentie data ($f$ niet in divergentie vorm). In tegen tegenstelling tot het elliptische geval, laten parabolische vergelijkingen geen reductie naar divergentie vorm toe via Bogovskiĭ-type regulariteit. De auteurs ontwikkelen specifieke schattingen om de integrabiliteit van $f$ direct over te dragen naar de gradiënt- en fluxtermen.
4. Passage naar de Limiet: Gebruikmakend van de uniforme schattingen, compactheidsargumenten (inclusief het Vitali-convergentiestelling en eigenschappen van Musielak-Orlicz-Sobolev-ruimten), en puntwijze convergentie van gradiënten, gaan de auteurs over naar de limiet wanneer $\epsilon \to 0$ en naarmate de benaderende datasequenties convergeren naar de oorspronkelijke data.

Belangrijkste Bijdragen en Resultaten
Het artikel breidt eerdere resultaten over double-phase problemen (specifiek die in [1]) uit naar het volledige bereik van integrabiliteitsparameters $r \ge 0$ en versterkt de regulariteitsconclusies. De belangrijkste resultaten zijn als volgt samengevat:

• Existentie en Uniciteit: Onder geschikte gap-condities op de variabele exponenten $p(z)$ en $q(z)$ en regulariteitsveronderstellingen op de coëfficiënten $a(z)$ en $b(z)$, bezit het probleem een unieke sterke oplossing $u$.
• Globale Overdracht van Integrabiliteit (Calderón-Zygmund Theorie): De oplossing erft de integrabiliteit van de initiële data en de forceringsterm. Specifiek, als de initiële data voldoet aan een gewogen integrabiliteitsvoorwaarde met betrekking tot $r$, en $f \in L^\sigma(Q_T)$, dan behoudt de double-phase flux deze integrabiliteit globaal in de tijd.
• Hogere Integrabiliteit van de Gradiënt: De gradiënt van de oplossing vertoont zelfverbeterende eigenschappen. Voor elke $s \in (0, \frac{4}{N+2})$ voldoet de gradiënt aan:
  $$|\nabla u|^{2(\min\{p(z), q(z)\}-1)+r+s} \in L^1(Q_T).$$
  Dit geeft aan dat de gradiënt een hogere integrabiliteit bezit dan de natuurlijke energie-ruimte suggereert.
• Tweede-Orde Regulariteit: De oplossing bezit verhoogde tweede-orde ruimtelijke regulariteit. De auteurs bewijzen dat:
  $$F((\cdot, t), \nabla u(\cdot, t))|\nabla u(\cdot, t)|^{r+2} \in L^1(\Omega) \quad \text{voor bijna alle } t \in (0, T),$$
  en
  $$F(z, \nabla u)|\nabla u|^{\frac{r+2}{2}} \in L^2(0, T; W^{1,2}(\Omega)).$$
  Dit impliceert dat de gewogen flux tot een Sobolev-ruimte behoort met betrekking tot de ruimtelijke variabelen.

Betekenis en Omvang
Het artikel beweert een gat in de literatuur te adressen met betrekking tot double-phase parabolische vergelijkingen met niet-divergentie data. Terwijl Calderón-Zygmund-type schattingen voor dergelijke vergelijkingen met divergentie-vorm data of in de elliptische setting zijn vastgesteld (verwijzend naar werken van Kim, Acerbi, Mingione, etc.), waren analoge resultaten voor het geval met niet-divergentie data en variabele exponenten voorheen niet beschikbaar.

De betekenis van dit werk ligt in:

1. Generalisatie: Het uitbreiden van het bereik van de integrabiliteitsparameter $r$ van $r \ge \max\{2, p_+, q_+\}$ (zoals in eerdere werken) naar het volledige bereik $r \ge 0$.
2. Niet-Divergentie Data: Het succesvol afhandelen van de niet-divergentie vorm van de bronterm $f$, wat andere technieken vereist dan het divergentie geval.
3. Irreguliere Coëfficiënten: Het accommoderen van modulerende coëfficiënten $a(z)$ en $b(z)$ die niet noodzakelijkerwijs glad zijn, maar voldoen aan specifieke $L^d$ integrabiliteitsvoorwaarden op hun afgeleiden, afhankelijk van de gap-parameter $\beta$ tussen de exponenten.

De resultaten worden gepresenteerd als verbeteringen en complementen aan de bestaande theorie, waarbij een robuust kader wordt geboden voor de regulariteit van oplossingen van heterogene, variabele-exponent evolutieproblemen die voortkomen uit niet-lineaire elasticiteit en gerelateerde velden. De auteurs stellen geen nieuwe experimentele toepassingen voor, maar bieden het theoretische fundament (existentie en regulariteitsschattingen) dat noodzakelijk is voor de analyse van dergelijke modellen.