Large time decay of the Oseen flow in exterior domains subject to the Navier slip-with-friction boundary condition

Sintesi Tecnica: Grande Decadimento Temporale del Flusso di Oseen in Domini Esterni Soggetti alla Condizione al Contorno di Navier Slip-with-Friction

Enunciato del Problema
Il saggio investiga il comportamento asintotico del flusso di Oseen, che funge da linearizzazione delle equazioni di Navier-Stokes, in un dominio esterno tridimensionale $\Omega$ (il complemento di un ostacolo limitato). Il fluido è viscoso e incomprimibile. Lo studio si concentra sul sistema soggetto alla condizione al contorno di Navier slip-with-friction (scivolamento con attrito) sulla frontiera dell'ostacolo $\partial\Omega$ e una velocità di uscita $u_\infty$ prescritta all'infinito spaziale.

Le equazioni governanti per la velocità di perturbazione $u$ e la pressione $p$ attorno allo stato stazionario $u_\infty$ sono date dal problema iniziale di Oseen:
$$\partial_t u = \Delta u + \eta \cdot \nabla u - \nabla p, \quad \text{div } u = 0 \quad \text{in } \Omega \times (0, \infty),$$
dove $\eta = -u_\infty$. Le condizioni al contorno sono:
$$\nu \cdot u|_{\partial\Omega} = 0, \quad [(2Du)\nu]_\tau + \alpha u_\tau|_{\partial\Omega} = 0, \quad \lim_{|x|\to\infty} u = 0,$$
dove $\nu$ è la normale unitaria esterna, $Du$ è il gradiente simmetrico e $\alpha(x) \geq 0$ è il coefficiente di attrito, e la sottolineatura $\tau$ indica la componente tangenziale.

Gli obiettivi primari sono duplici:

1. Caratterizzare l'insieme del risolvente dell'operatore di Oseen associato $L$ nel framework $L^q$, analizzando specificamente le proprietà spettrali vicino all'origine nel piano complesso sotto l'influenza della geometria del contorno, del coefficiente di attrito $\alpha$ e dell'uscita $\eta$.
2. Stabilire stime di decadimento $L^q$-$L^r$ per il semigruppo di Oseen $e^{-tL}$ per $t \to \infty$, che sono cruciali per dimostrare la ben-posedness globale del sistema non lineare di Navier-Stokes vicino a uno stato stazionario.

Metodologia
L'analisi impiega una combinazione di teoria spettrale, analisi funzionale e metodi energetici, strutturata come segue:

1. Analisi del Risolvente e Unicità: Il saggio stabilisce prima l'unicità delle soluzioni al sistema del risolvente $(\lambda + L)u = f$ all'interno di classi specifiche di funzioni. Ciò comporta la derivazione di stime di energia moltiplicando l'equazione per la soluzione e integrando sul dominio. Un passaggio critico consiste nel gestire i termini al contorno derivanti dalla condizione di Navier. Gli autori utilizzano la mappa di Weingarten del contorno $\partial\Omega$ per relazionare il tensore di deformazione $Du$ al gradiente $\nabla u$. Nello specifico, utilizzano l'identità:
   $$2\|Du\|_2^2 = \|\nabla u\|_2^2 - \int_{\partial\Omega} [(\nabla N)u] \cdot u \, d\sigma,$$
   dove $-\nabla N$ è la mappa di Weingarten e $\kappa(x)$ rappresenta il suo autovalore minimo (legato alle curvature principali). Questo termine geometrico permette la derivazione di condizioni sotto le quali la parte reale dell'identità energetica è non negativa, garantendo l'unicità.

2. Costruzione del Parametro: Per costruire il risolvente nel dominio esterno, gli autori utilizzano una procedura di cut-off. Combinano l'operatore di soluzione per tutto lo spazio $\mathbb{R}^3$ (risolvente di Oseen) con l'operatore di soluzione per un dominio interno limitato (soggetto alla stessa condizione al contorno). Un operatore di Bogovskii viene impiegato in una regione anulare per correggere la divergenza della soluzione unita, assicurando che la condizione solenoidale sia soddisfatta. Ciò produce una rappresentazione del risolvente che coinvolge un operatore di perturbazione compatta $T_\eta(\lambda)$.

3. Regolarità vicino all'Origine: Il nucleo dell'analisi del decadimento risiede nel comportamento del risolvente $(\lambda + L)^{-1}$ vicino a $\lambda = 0$, in particolare lungo l'asse immaginario. Gli autori dimostrano che, sotto specifiche condizioni su $\alpha$ e sulla curvatura di $\partial\Omega$, il risolvente è analitico in un intorno dell'origine (escludendo l'origine stessa per il caso Stokes) e soddisfa specifiche stime di continuità di Hölder nella norma $L^q$.

4. Decadimento dell'Energia Locale: Utilizzando la regolarità del risolvente lungo l'asse immaginario, il saggio deriva stime di decadimento dell'energia locale. Ciò viene ottenuto esprimendo il semigruppo tramite l'integrale di Dunford e applicando un lemma che relaziona il tasso di decadimento della trasformata di Fourier inversa alla regolarità della funzione nel dominio della frequenza (specificamente, il modulo di continuità del risolvente).

Contributi Chiave e Risultati

• Caratterizzazione dell'Insieme del Risolvente:
  Il saggio stabilisce che l'insieme del risolvente $\rho(-L)$ contiene il semipiano destro (escludendo l'origine) sotto la condizione:
  $$\alpha(x) \geq \frac{\eta \cdot \nu(x)}{2} \quad \text{per ogni } x \in \partial\Omega.$$
  Inoltre, se è soddisfatta una condizione più forte che coinvolge la curvatura del contorno:
  $$\alpha(x) + \kappa(x) \geq \frac{\eta \cdot \nu(x)}{2},$$
  dove $\kappa(x)$ è il minimo delle curvature principali, l'insieme del risolvente contiene la regione $\mathbb{C} \setminus S_\eta$, dove $S_\eta = \{ \lambda \in \mathbb{C} : |\eta|^2 \text{Re } \lambda + (\text{Im } \lambda)^2 \leq 0 \}$. Questo estende i risultati precedentemente noti per la condizione no-slip al caso di Navier slip-with-friction.

• Stime di Decadimento $L^q$-$L^r$:
  Il risultato principale (Teorema 2.2) fornisce stime di decadimento per il semigruppo di Oseen. Per dati iniziali $f \in L^q_\sigma(\Omega)$, la soluzione soddisfa:
  $$\|\nabla^j e^{-tL}f\|_r \leq C t^{-\frac{j}{2} - \frac{3}{2}(\frac{1}{q} - \frac{1}{r})} \|f\|_q$$
  per $j=0$, e un tasso leggermente modificato che coinvolge $(1+t)$ per $j=1$. Queste stime valgono per $t \to \infty$ sotto la condizione $\alpha(x) \geq \frac{\eta \cdot \nu(x)}{2}$.

• Recupero dei Risultati Noti:
  I risultati recuperano le stime di decadimento note per il semigruppo di Stokes ($\eta=0$) sotto full slip ($\alpha=0$) e il semigrupo di Oseen sotto la condizione no-slip ($\alpha \to \infty$) come casi particolari.

Significatività e Rivendicazioni
Il saggio sostiene di colmare una lacuna nella letteratura esistente riguardante il problema esterno con uscita non nulla ($u_\infty \neq 0$) sotto condizioni al contorno di Navier, poiché i lavori precedenti assumevano ampiamente un'uscita nulla per tali condizioni al contorno.

La significatività risiede in:

1. Colmare il Gap: I risultati interpolano tra i regimi di full slip ($\alpha=0$) e no-slip ($\alpha \to \infty$), fornendo un quadro unificato per le stime di decadimento a lungo termine.
2. Intuizione Geometrica: L'analisi evidenzia il ruolo della geometria del contorno (tramite la mappa di Weingarten e le curvature principali) nel determinare le proprietà spettrali dell'operatore di Oseen, in particolare la forma del insieme del risolvente vicino all'origine.
3. Fondamento per la Stabilità Non Lineare: Le stime di decadimento $L^q$-$L^r$ stabilite sono presentate come uno strumento necessario per investigare la ben-posedness globale e la stabilità del sistema non lineare di Navier-Stokes in domini esterni con condizioni al contorno di scivolamento, specialmente per dati iniziali vicini a uno stato stazionario.

Gli autori osservano che, sebbene i tassi di decadimento per il gradiente ($j=1$) siano ottimali per il caso Stokes sotto no-slip, l'ottimalità per il caso di Oseen con uscita non nulla non è rivendicata a causa della diversa struttura di decadimento spaziale (struttura di scia o wake structure) del flusso stazionario di Oseen. Inoltre, la dipendenza della costante di decadimento dal coefficiente di attrito $\alpha$ rimane una questione aperta a causa della mancanza di stime a priori uniformi in domini limitati per piccoli valori di $\alpha$.