Boundary regularity for parabolic systems with nonstandard $(p,q)$-growth conditions in smooth convex domains

Technische Samenvatting van "Boundary Regularity for Parabolic Systems with Nonstandard (p, q)-Growth Conditions in Smooth Convex Domains"

Probleemstelling
Dit manuscript onderzoekt de randregulariteit van lokale zwakke oplossingen voor nietlineaire parabolische systemen van de vorm:
$$\partial_t u_i - \text{div}(a(|Du|)Du_i) = f_i, \quad i = 1, \dots, N,$$
gedefinieerd in een ruimte-tijd cilinder $\Omega_T = \Omega \times (0, T)$. Het domein $\Omega \subset \mathbb{R}^n$ ($n \ge 2$) is een begrensde, convexe $C^2$-verzameling. De coëfficiënten $a: \mathbb{R}_{>0} \to \mathbb{R}_{>0}$ zijn van Uhlenbeck-type en voldoen aan nietstandaard $(p, q)$-groeicondities met $2 \le p \le q < p + \frac{4}{n+2}$. De inhomogeniteit $f$ behoort tot $L^{n+2+\sigma}(\Omega_T, \mathbb{R}^N)$ voor een $\sigma > 0$.

Het primaire doel is het vaststellen van een lokale $L^\infty$-gradiënt-schatting (Lipschitz-regulariteit) voor zwakke oplossingen $u$ die verdwijnen op de laterale rand $(\partial \Omega)_T$, als uitbreiding van eerdere resultaten voor het binnenste (interior) naar de rand in de context van nietstandaard groei.

Methodologie
De bewijstrategie volgt een driestapsbenadering, waarbij technieken uit de elliptische en standaard parabolische regulariteitstheorie worden aangepast aan de nietstandaard groeicontext:

1. A Priori Schattingen voor Gladde Oplossingen:
   De auteurs leiden eerst een kwantitatieve $L^\infty$-gradiënt-schatting af voor gladde klassieke oplossingen ($u \in C^3$) met gladde coëfficiënten en gegevens:

   • Het vaststellen van een Caccioppoli-type ongelijkheid met betrekking tot tweede-orde afgeleiden, waarbij gebruik wordt gemaakt van de convexiteit van $\Omega$ en homogene Dirichlet-randvoorwaarden om ongunstige randtermen te elimineren via een differentiaal-geometrische identiteit (Grisvard).
   • Het afleiden van een reverse Hölder-type ongelijkheid. Deze stap rust op de specifieke parameterrelatie $q < p + \frac{4}{n+2}$, die ervoor zorgt dat de Sobolev-inbedding in de parabolische setting (verbetering van integrabiliteit van $p$ naar $p + \frac{4}{n}$) voldoende is om de schatting te sluiten.
   • Het uitvoeren van een Moser-iteratieprocedure om een $L^\infty$-begrensdheid te verkrijgen. Een cruciaal onderdeel is het afhandelen van het "scaling deficit" dat inherent is aan $(p, q)$-groeisystemen, wat voorkomt dat de schatting homogeen is.

2. Benaderingsprocedure:
   Aangezien het hoofdbestek van toepassing is op zwakke oplossingen met niet-gladde gegevens en coëfficiënten, wordt een benaderingsschema geconstrueerd:

   • De coëfficiënten $a$ en de datum $f$ worden gemollifieerd om gladde benaderingen $a_\varepsilon$ en $f_\varepsilon$ te verkrijgen.
   • Er wordt een niet-gedegenereerde $q$-Laplaciaan-achtige term toegevoegd aan de coëfficiënten om $b_\varepsilon$ te definiëren, wat standaard $q$-groeicondities garandeert die de existentie van unieke, reguliere ($C^3$) zwakke oplossingen $u_\varepsilon$ garanderen.
   • Een vergelijkings-schatting wordt bewezen tussen de benaderende oplossingen $u_\varepsilon$ en de oorspronkelijke zwakke oplossing $u$, waarbij de sterke convergentie van de gradiënten $Du_\varepsilon \to Du$ in $L^p$ wordt aangetoond.

3. Limietovergang:
   De kwantitatieve $L^\infty$-gradiënt-schatting die is afgeleid voor de gladde benaderingen, wordt toegepast op $u_\varepsilon$. Door de limiet $\varepsilon \to 0$ te nemen en gebruik te maken van de lagere halfcontinuïteit van de $L^\infty$-norm en de convergentie van de gegevens, wordt de schatting overgedragen op de oorspronkelijke zwakke oplossing $u$.

Belangrijkste Bijdragen en Resultaten
Het hoofdbestek is Theorem 1.3, dat vaststelt dat voor elke lokale zwakke oplossing $u$ die verdwijnt op de laterale rand, de gradiënt $Du$ essentieel begrensd is in een buurt van de rand. Specifiek, voor elke parabolische cilinder $Q_\rho(z_0)$ gecentreerd rond een randpunt $x_0 \in \partial \Omega$:
$$Du \in L^\infty(\Omega_T \cap Q_\rho(z_0), \mathbb{R}^{Nn}).$$
Het artikel levert een precieze kwantitatieve schatting (Vergelijking 1.6):
$$\sup_{\Omega_T \cap Q_\rho(z_0)} |Du| \le C \left( \left( 1 + \|f\|_{L^{n+2+\sigma}}^{(n+2)(n+2+\sigma)/\sigma} \rho^{n+2} \right) \fint_{\Omega_T \cap Q_{2\rho}(z_0)} (1 + |Du|^p) \, dxdt \right)^{\frac{2p}{4+(p-q)(n+2)}}.$$

Belangrijke technische kenmerken van dit resultaat zijn:

• Parameterbereik: Het resultaat is geldig voor het bereik $2 \le p \le q < p + \frac{4}{n+2}$. Dit bereik komt overeen met recente resultaten voor het binnenste (interior) bij nietstandaard groei, maar is aangepast voor de randsetting.
• Scaling Deficit: De exponent $\frac{2p}{4+(p-q)(n+2)}$ vertegenwoordigt het scaling deficit dat karakteristiek is voor parabolische systemen met nietstandaard groei. Het artikel merkt op dat deze exponent naar oneindig gaat naarmate $q$ de bovengrens $p + \frac{4}{n+2}$ nadert, wat de scherpte van de conditie benadrukt.
• Domeinregulariteit: Het bewijs vereist dat $\Omega$ een $C^2$-domein is. Deze regulariteit is essentieel voor de toepassing van de differentiaal-geometrische identiteit die wordt gebruikt om de randintegralen in de Caccioppoli-schatting te behandelen.
• Data-regulariteit: De inhomogeniteit $f$ wordt aangenomen in $L^{n+2+\sigma}$, wat voldoende is voor de afleiding van de schatting zonder dat zwakke differentieerbaarheid van $f$ vereist is.

Betekenis en Claims
Het artikel positioneert het werk als een rand-tegenhanger van bestaande resultaten voor de binnenste (interior) regulariteit van nietstandaard $(p, q)$-groeiparabolische systemen (verwijzend naar [6, 42]) en breidt de randregulariteitstheorie uit die bekend is voor standaard $p$-groeiparabolische systemen (verwijzend naar [5]) naar de nietstandaard casus.

De auteurs beweren dat dit werk een gat in de literatuur vult met betrekking tot globale (tot aan de rand) regulariteit voor parabolische systemen met nietstandaard groei, een onderwerp waar de resultaten aanzienlijk schaarser zijn dan in de elliptische setting. De geleverde schatting is consistent met eerdere randresultaten in de elliptische $(p, q)$-setting [7] en de parabolische $(p, p)$-casus [5]. Het artikel claimt niet het probleem voor de gedegenereerde casus ($\mu=0$) of voor algemene niet-Uhlenbeck structuren te hebben opgelost, waarbij wordt opgemerkt dat de laatste doorgaans slechts partiële regulariteit toestaat. De focus blijft strikt gericht op het vaststellen van de lokale Lipschitz-begrensdheid onder de gespecificeerde structurele en geometrische aannames.