Fractional higher differentiability of solutions to strongly nonlinear Stokes systems

Titel: Fractionale hogere differentieerbaarheid van oplossingen aan sterk niet-lineaire Stokes-systemen

1. Het Probleem

Het artikel onderzoekt de regulariteits eigenschappen van lokale oplossingen $(u, \pi)$ aan stationaire Stokes-systemen die worden beheerst door een algemene klasse van niet-per se macht-achtige (power-type) niet-lineariteiten. Het systeem wordt gegeven door:
$$\begin{cases} -\text{div } a(x, Eu) + \nabla \pi = f \\ \text{div } u = 0 \end{cases}$$
in een open verzameling $\Omega \subset \mathbb{R}^n$ ($n \geq 2$).

• Variabelen: $u$ is de snelheid van het fluïdum, $\pi$ is de druk, $Eu = \frac{1}{2}(\nabla u + (\nabla u)^T)$ is de symmetrische gradiënt (de vervormingssnelheid), en $f$ is een externe kracht.
• Operator: De functie $a(x, P)$ beschrijft de deviatorische spannings tensor en voldoet aan ellipticiteits- en groeivoorwaarden. In tegenstelling tot eerdere werken die zich vaak beperkten tot $p$-Laplacian systemen (waar $a(x, P) \sim |P|^{p-2}P$), behandelt dit artikel systemen met sterk niet-lineair gedrag dat niet noodzakelijk polynomiaal is.
• Kernvraag: Onder welke voorwaarden op de data $f$ en de operator $a$ bezitten de oplossingen fractionele differentieerbaarheid? Specifiek wordt gezocht naar de eigenschap dat een niet-lineaire transformatie van de symmetrische gradiënt, namelijk $V(Eu)$, behoort tot een Besov-ruimte.

2. Methodologie en Functionele Raamwerk

De auteurs hanteren een geavanceerd functioneel raamwerk gebaseerd op Orlicz- en Orlicz-Sobolev-ruimten, aangezien de groei van de operator wordt beschreven door algemene Young-functies $\phi$ en $\psi$ in plaats van machten $t^p$.

• Functionele Ruimten:
  • De data $f$ behoort tot een lokale Orlicz-ruimte $L^\psi_{loc}$.
  • De oplossing $u$ behoort tot een lokale Orlicz-Sobolev-ruimte $W^{1,\phi}_{loc}$.
  • De regulariteit wordt uitgedrukt in termen van lokale Besov-ruimten $B^{\sigma, 2, \infty}_{loc}$ voor $V(Eu)$ en $B^{\varrho, \tilde{\phi}, \infty}_{loc}$ voor de druk $\pi$.
• De Niet-Lineaire Transformatie $V(Eu)$:
  Om de differentieerbaarheid te analyseren, gebruiken de auteurs de uitdrukking:
  $$V(P) = \sqrt{\frac{\phi'(|P|)}{|P|}} P$$
  Deze transformatie is cruciaal om de mogelijke degeneratie van de differentiaaloperator te hanteren.
• Aannames:
  • De operator $a(x, P)$ voldoet aan monotonie en groei voorwaarden gedefinieerd door $\phi$.
  • Er is een fractionele differentieerbaarheid in de variabele $x$ voor de operator $a$, gekenmerkt door een exponent $\alpha \in (0, 1]$.
  • De integrabiliteit van de data $f$ wordt gekoppeld aan de niet-lineariteit via een interpolatie-ongelijkheid tussen de Young-functies $\phi$, $\psi$ en de Sobolev-conjugaat $\phi_n$.
• Technische Hulpmiddelen:
  • Bogovskiĭ-operator: Gebruikt om divergentie-vrije testfuncties te construeren, essentieel voor Stokes-systemen.
  • Modulaire Poincaré-Sobolev-ongelijkheid: Een nieuw bewezen type ongelijkheid in Orlicz-ruimten voor domeinen met eindige maat, die een scherpere schatting mogelijk maakt dan standaard norm-ongelijkheden.
  • Iteratie-lemma's en regularisatie: Het bewijs verloopt in twee stappen: eerst worden a priori schattingen bewezen onder extra regulariteitsaannames (gladde data), en vervolgens wordt een regularisatie-argument (mollificatie) gebruikt om deze resultaten uit te breiden naar het algemene geval.

3. Belangrijkste Bijdragen en Resultaten

Hoofdstelling (Stelling 4.1):
De auteurs bewijzen dat de niet-lineaire uitdrukking $V(Eu)$ en de druk $\pi$ behoren tot specifieke Besov-ruimten, mits de data $f$ voldoet aan een scherpere integrabiliteitsvoorwaarde dan die nodig is voor het bestaan van zwakke oplossingen.

• Resultaat voor de Snelheid (Symmetrische Gradiënt):
  $$V(Eu) \in B^{\sigma, 2, \infty}_{loc}(\Omega, \mathbb{R}^{n \times n})$$
  Waarbij de regulariteitsindex $\sigma$ wordt bepaald door:
  $$\sigma = \min\left\{ \alpha, \theta, \frac{\theta s'_\phi}{2} \right\}$$
  Hierbij is $\alpha$ de gladheidsindex van $a$ in $x$, $\theta$ een parameter die de integrabiliteit van $f$ relateert aan $\phi$, en $s'_\phi$ de geconjugeerde van het bovenste Simonenko-index van $\phi'$.

• Resultaat voor de Druk:
  $$\pi \in B^{\varrho, \tilde{\phi}, \infty}_{loc}(\Omega)$$
  Waarbij $\varrho = \frac{\sigma}{\max\{1, i'_\phi/2\}}$. De druk wordt dus ook fractioneel differentieerbaar verklaard in termen van Orlicz-Besov ruimten.

• Parallelle Resultaten voor Elliptische Systemen:
  Het artikel biedt ook analoog resultaten voor het "plaine" elliptische systeem $-\text{div } a(x, Eu) = f$ (Stelling 4.2), waarbij de bewijzen worden vereenvoudigd omdat de divergentie-vrije voorwaarde ontbreekt.

• Speciale Gevallen:
  De theorie omvat en generaliseert bekende resultaten voor $p$-Laplacian systemen ($\phi(t) = t^p$). Voor $1 < p < 2$ en $p \geq 2$ worden de optimale voorwaarden voor de data $f$ afgeleid, inclusief het kritieke geval waar $p$ overeenkomt met de dimensie $n$.

4. Significatie en Impact

• Generalisatie van Bestaande Literatuur:
  Dit werk breekt het paradigma van puur polynominale groei. Het biedt een uniforme theorie voor systemen met willekeurige Young-functies, wat essentieel is voor modellen van niet-Newtonse vloeistoffen met complexe reologische eigenschappen (bijv. shear-thinning of shear-thickening vloeistoffen die niet door een enkele macht $p$ worden beschreven).
• Optimaliteit van Voorwaarden:
  De auteurs tonen aan dat de vereiste integrabiliteit van de data $f$ (via de parameter $\theta$) scherp is. De resultaten recoveren bekende optimaliteit voor de $p$-Laplace vergelijking en breiden deze uit naar Stokes-systemen.
• Nieuwe Functionele Inequaliteiten:
  De introductie en toepassing van de modulaire Poincaré-Sobolev-ongelijkheid in Orlicz-ruimten (Stelling 5.2) is een significant technisch bijdrage. Deze ongelijkheid omzeilt de beperkingen van eerdere theorieën die vaak vereisten dat de Young-functie aan de $\Delta_2$-voorwaarde moet voldoen of specifiek gedrag bij nul moet hebben.
• Drukregulariteit:
  Een zeldzame en waardevolle bijdrage is de expliciete behandeling van de regulariteit van de druk $\pi$ in het kader van Orlicz-Besov ruimten. Veel eerdere werken focusten uitsluitend op de snelheid, terwijl de druk in Stokes-systemen vaak een eigen regulariteitsprobleem vormt.

Conclusie:
Dit artikel levert een fundamentele bijdrage aan de theorie van niet-lineaire partiële differentiaalvergelijkingen. Het stelt een robuust raamwerk op voor het analyseren van de regulariteit van oplossingen aan Stokes-systemen met zeer algemene niet-lineariteiten, waarbij het de relatie tussen de gladheid van de operator, de integrabiliteit van de data en de regulariteit van de oplossing (zowel snelheid als druk) kwantificeert via fractionele ruimten.