On $L^p$-semigroup to Stokes equation with dynamic slip boundary condition in the half-space

1. Il Problema Studiato

Il lavoro si concentra sul sistema di Stokes evolutivo in un dominio semi-infinito ($d$-dimensionale, $\Omega = \{x_d > 0\}$), soggetto a una condizione al contorno di scorrimento dinamico (dynamic slip boundary condition).

Il sistema è descritto dalle seguenti equazioni in $(0, T) \times \Omega$:
$$\begin{cases} \partial_t u - \text{div}(2\nu Du) + \nabla \pi = f \\ \text{div } u = 0 \end{cases}$$
Sul bordo $\Gamma = \{x_d = 0\}$, le condizioni sono:
$$\begin{cases} \beta \partial_t u + \alpha u + 2\nu [(Du)n]_\tau = \beta h \\ u \cdot n = 0 \end{cases}$$
Dove:

• $u$ è la velocità, $\pi$ la pressione.
• $n$ è il vettore normale esterno.
• $[(Du)n]_\tau$ rappresenta la componente tangenziale della tensione di taglio.
• $\alpha, \beta, \nu$ sono parametri positivi.
• La presenza del termine $\partial_t u$ nell'equazione al bordo rende la condizione "dinamica", accoppiando l'evoluzione del fluido con quella del bordo.

L'obiettivo principale è sviluppare una teoria $L^p$ (per $p \neq 2$) per questo sistema, che è notoriamente più complessa della teoria Hilbertiana ($L^2$) a causa della mancanza di simmetria e della natura non locale delle condizioni al contorno.

2. Metodologia

Gli autori adottano un approccio elementare ma rigoroso, evitando la "macchina" funzionale analitica pesante (come la $R$-limitatezza e il calcolo $H^\infty$ esplicito), basandosi invece su strumenti classici:

1. Trasformata di Fourier Parziale: Viene applicata rispetto alle coordinate tangenziali $x' \in \mathbb{R}^{d-1}$. Questo permette di ridurre il problema alle equazioni differenziali ordinarie nella direzione normale $x_d$.
2. Formula Esplicita della Risolvente: Nel dominio di Fourier, gli autori derivano una formula esplicita per la risolvente del problema stazionario associato $(\lambda - \Delta)u + \nabla \pi = f$. La soluzione viene espressa in termini di una funzione fondamentale $m_0$ e di multipli di Fourier.
3. Teorema dei Moltiplicatori di Mikhlin: Per ottenere le stime $L^p$, gli autori verificano le condizioni di Mikhlin per i multipli di Fourier derivanti dalla soluzione esplicita. Questo è il cuore della dimostrazione delle stime di regolarità.
4. Decomposizione della Soluzione: La soluzione viene scomposta in una parte che soddisfa le condizioni di Dirichlet omogenee (gestita dalla teoria classica di Stokes) e una parte che gestisce le condizioni al contorno non omogenee (risolta tramite la trasformata di Fourier).

3. Risultati Principali

Il paper stabilisce due teoremi fondamentali e una conseguenza diretta sulla semigruppo:

A. Esistenza e Stime per la Soluzione Debole (Teorema 2.1)

Per dati $f \in L^p_\sigma(\Omega)$ e $h \in L^p(\Gamma)$, esiste una unica soluzione debole $u \in W^{1,p}_\sigma(\Omega)$.
Viene dimostrata la seguente stima di risolvente ottimale:
$$\|u\|_{L^p(\Omega)} + \|u\|_{L^p(\Gamma)} \leq \frac{C_0}{|\lambda|} (\|f\|_{L^p(\Omega)} + \|h\|_{L^p(\Gamma)})$$
Questa stima è indipendente da $\lambda$ (per $|\lambda|$ sufficientemente grande) e da $\alpha$.

B. Regolarità Ottimale per la Soluzione Forte (Teorema 2.2)

Il lavoro fornisce stime di regolarità massima (optimal regularity) per il problema stazionario:

1. Caso debole: Se i dati appartengono a spazi di Sobolev negativi o spazi di Besov frazionari ($f \in W^{-1,p}$, $h \in B^{-1/p,p}_p$), la soluzione soddisfa $u \in W^{1,p}$.
2. Caso forte: Se $f \in L^p$ e $h \in B^{1-1/p,p}_p$, allora la soluzione è forte, ovvero $u \in W^{2,p}(\Omega)$ e il gradiente della pressione $\nabla \pi \in L^p(\Omega)$.
   $$\|u\|_{W^{2,p}(\Omega)} + \|\nabla \pi\|_{L^p(\Omega)} \leq C_2 (\|f\|_{L^p(\Omega)} + \|h\|_{B^{1-1/p,p}_p(\Gamma)})$$
3. Divergenza non nulla: Un contributo significativo è la generalizzazione al caso in cui $\text{div } u = g \neq 0$, preparando il terreno per l'estensione a domini generali.

C. Semigruppo Analitico (Corollario 2.1)

Il sistema genera un semigruppo analitico nello spazio $L^p_\sigma(\Omega) \times L^p_n(\Gamma)$.
Il dominio del generatore è identificato con precisione negli spazi di Besov:
$$D(A) \subset B^{1+1/p-\varepsilon, p}_{p; \sigma, n}(\Omega)$$
Questo risultato è cruciale per lo studio della regolarità delle soluzioni evolutive non lineari.

4. Contributi Chiave e Innovazioni

• Trattamento della Condizione Dinamica: A differenza della letteratura precedente che spesso si limita a condizioni al contorno statiche o a domini limitati, questo lavoro tratta esplicitamente la derivata temporale al bordo in un dominio illimitato (half-space) per $p \neq 2$.
• Approccio Elementare: Gli autori dimostrano che è possibile ottenere risultati di massima regolarità e proprietà di semigruppo analitico utilizzando solo il teorema di Mikhlin, senza ricorrere a tecniche avanzate di calcolo $H^\infty$ o $R$-limitatezza, sebbene questi concetti siano implicitamente presenti.
• Stime Ottimali: Le stime ottenute sono ottimali in termini degli spazi di dati (spazi di Besov e Sobolev negativi), permettendo di trattare dati con bassa regolarità.
• Preparazione per Domini Generali: La trattazione esplicita del caso con divergenza non nulla ($\text{div } u = g$) è un passo necessario per estendere i risultati a domini limitati o generici tramite tecniche di localizzazione e perturbazione.

5. Significato e Applicazioni

Questo lavoro colma una lacuna nella teoria delle equazioni di Stokes con condizioni al contorno dinamiche, fornendo gli strumenti analitici necessari per:

1. Analisi di Non Linearità: Le stime di regolarità ottimali per il problema stazionario sono la base per applicare argomenti di "bootstrap" e ottenere regolarità superiore per problemi evolutivi non lineari (es. Navier-Stokes con condizioni di scorrimento dinamico).
2. Studio degli Attrattori: Come citato nell'introduzione, tali stime sono essenziali per stimare la dimensione degli attrattori globali in problemi di fluidodinamica bidimensionale.
3. Generalizzazione: Fornisce il fondamento teorico per estendere l'analisi a geometrie più complesse rispetto al mezzo spazio, rendendo il modello applicabile a problemi fisici reali in domini limitati.

In sintesi, il paper offre una teoria $L^p$ completa e robusta per il sistema di Stokes con condizioni al contorno dinamiche, combinando tecniche classiche di analisi armonica con una trattazione moderna degli spazi di funzioni, aprendo la strada a ulteriori sviluppi nella fluidodinamica matematica.