Fractional higher differentiability of solutions to strongly nonlinear Stokes systems

Titolo

Frazionaria di Differenziabilità Superiore delle Soluzioni a Sistemi di Stokes Fortemente Non Lineari

1. Il Problema

Il lavoro si concentra sull'analisi della regolarità delle soluzioni locali $(u, \pi)$ a sistemi di tipo Stokes stazionari governati da una classe generale di non linearità, che non sono necessariamente di tipo potenza. Il sistema è dato da:
$$\begin{cases} -\text{div } a(x, Eu) + \nabla \pi = f \\ \text{div } u = 0 \end{cases}$$
in un aperto $\Omega \subset \mathbb{R}^n$ ($n \ge 2$).

• Variabili: $u$ è la velocità del fluido, $\pi$ è la pressione, $Eu = \frac{1}{2}(\nabla u + (\nabla u)^T)$ è il gradiente simmetrico (tensore di deformazione), e $f$ è una forza esterna.
• Operatore: La funzione $a(x, P)$ rappresenta lo sforzo deviatorico e soddisfa condizioni di ellitticità e crescita definite tramite funzioni di Young $\phi$ e $\psi$. A differenza dei modelli classici (es. fluidi di potenza $p$-Laplaciano), qui $a$ può avere comportamenti fortemente non lineari e non polinomiali.
• Sfida: Stabilire proprietà di differenziabilità frazionaria per il gradiente simmetrico $Eu$ e per la pressione $\pi$, considerando che l'operatore può essere degenere e che i dati $f$ appartengono a spazi di integrabilità specifici.

2. Metodologia e Strumenti Matematici

Gli autori adottano un quadro funzionale basato sugli spazi di Orlicz e di Orlicz-Sobolev, essenziali per gestire la non linearità non polinomiale dell'operatore.

• Spazi Funzionali: Le soluzioni e i dati sono trattati negli spazi $W^{1, \phi}_{loc}$ e $L^\psi_{loc}$. Vengono utilizzati gli spazi di Besov ($B^{\sigma, 2, \infty}_{loc}$) e di Orlicz-Besov per caratterizzare la regolarità frazionaria.
• Espressione Non Lineare: Un elemento critico è l'uso dell'espressione $V(Eu) = \sqrt{\frac{\phi'(|Eu|)}{|Eu|}} Eu$. Questa trasformazione è necessaria per gestire la possibile degenerazione dell'operatore differenziale e per ottenere stime di regolarità ottimali.
• Disuguaglianze Chiave:
  • Viene dimostrata una nuova versione della disuguaglianza di Poincaré-Sobolev in spazi di Orlicz, in forma modulare, su domini di misura finita. Questa disuguaglianza utilizza una variante della funzione coniugata di Sobolev ($\phi_{0,n}$) definita in modo da evitare restrizioni sulla funzione $\phi$ vicino allo zero.
  • Vengono impiegati operatori di Bogovskiĭ adattati agli spazi di Orlicz per costruire funzioni di prova a divergenza nulla.
  • Si utilizzano tecniche di differenze finite ($\tau_h$) e iterazione di lemmi standard per ottenere stime a priori.
• Strategia di Prova:
  1. Stime A Priori: Si assume inizialmente una regolarità più forte per $a$ e $f$ per derivare stime in spazi di Besov.
  2. Approssimazione: Si rimuovono le ipotesi di regolarità aggiuntive tramite un processo di regolarizzazione (mollificazione) e un argomento di compattezza, sfruttando la convergenza delle soluzioni approssimate.
  3. Analisi della Pressione: La regolarità di $\pi$ è trattata considerando la prima equazione del sistema come un'equazione in cui $f$ e $u$ sono noti, e $\pi$ è l'unica incognita.

3. Contributi Chiave e Risultati Principali

A. Regolarità Frazionaria del Gradiente Simmetrico

Il risultato principale (Teorema 4.1) stabilisce che l'espressione non lineare $V(Eu)$ appartiene localmente a uno spazio di Besov $B^{\sigma, 2, \infty}_{loc}(\Omega, \mathbb{R}^{n \times n})$.

• Parametro di Regolarità: L'esponente di regolarità frazionaria $\sigma$ è dato da:
  $$\sigma = \min\left\{ \alpha, \theta, \frac{\theta s'_\phi}{2} \right\}$$
  dove:
  • $\alpha$ è l'esponente di Hölder (o regolarità frazionaria) della funzione $a$ rispetto alla variabile spaziale $x$.
  • $\theta$ è un parametro di interpolazione che lega la crescita dell'operatore ($\phi$) all'integrabilità del dato $f$ ($\psi$).
  • $s'_\phi$ è l'indice di Simonenko coniugato della funzione di Young $\phi$.
• Condizione sui Dati: Il dato $f$ deve appartenere a uno spazio di Orlicz $L^\psi_{loc}$ che è "più piccolo" (in senso di integrabilità) rispetto a quello richiesto per la semplice esistenza di soluzioni deboli. La relazione tra $\phi$, $\psi$ e la coniugata di Sobolev $\phi_n$ è data da una disuguaglianza di interpolazione (Eq. 4.11).

B. Regolarità della Pressione

Viene dimostrata anche la regolarità frazionaria della pressione $\pi$, che appartiene a uno spazio di Besov di tipo Orlicz $B^{\varrho, \tilde{\phi}, \infty}_{loc}(\Omega)$, con un esponente $\varrho$ dipendente da $\sigma$ e dagli indici di Simonenko.

C. Generalizzazione e Nuove Frontiere

• Caso $p$-Laplaciano: I risultati recuperano e migliorano i risultati noti per il sistema di Stokes $p$-Laplaciano (incluso il caso $1 < p < 2$, spesso più difficile).
• Non Linearità Generali: Il lavoro si estende a funzioni di Young arbitrarie (es. crescita esponenziale o logaritmica), coprendo casi non trattati dalla teoria classica basata su potenze.
• Sistemi Ellittici: Risultati paralleli sono ottenuti per il sistema ellittico associato senza vincolo di divergenza nulla (Eq. 1.2).

D. Esempi Espliciti

Gli autori forniscono esempi concreti (Esempi 4.7 e 4.8) per casi di crescita polinomiale ($\phi(t) = t^p$) e crescita mista polinomiale-logaritmica, calcolando esplicitamente le condizioni su $f$ necessarie per ottenere la regolarità frazionaria.

4. Significato e Impatto

Questo lavoro rappresenta un avanzamento significativo nella teoria della regolarità per sistemi di fluidi non newtoniani:

1. Ottimalità: Le condizioni sull'integrabilità del dato $f$ sono quasi ottimali, estendendo risultati noti per l'equazione $p$-Laplaciana al contesto dei sistemi di Stokes.
2. Quadro Unificato: Fornisce un quadro teorico unificato che tratta simultaneamente casi di crescita polinomiale, esponenziale e logaritmica, superando le limitazioni dei metodi basati solo su potenze.
3. Strumenti Innovativi: La nuova disuguaglianza di Poincaré-Sobolev modulare in spazi di Orlicz su domini a misura finita è uno strumento tecnico di per sé di grande valore per future ricerche in analisi non lineare.
4. Applicabilità: I risultati hanno implicazioni dirette per la modellazione matematica di fluidi complessi (es. fluidi non newtoniani, sangue, polimeri) dove le relazioni sforzo-deformazione non seguono leggi di potenza semplici.

In sintesi, il documento stabilisce che la regolarità delle soluzioni a sistemi di Stokes fortemente non lineari è determinata da un bilanciamento preciso tra la non linearità dell'operatore, la regolarità spaziale dei coefficienti e l'integrabilità della forza esterna, fornendo stime quantitative in spazi di Besov e Orlicz-Besov.