Regularity and Decay for Navier-Slip Fluid-Structure Interaction in Exterior Domains

Sintesi Tecnica: Regolarità e Decadimento per l'Interazione Fluido-Struttura con Scorrimento di Navier in Domini Esterni

Enunciato del Problema
Questo articolo investiga il moto linearizzato di un corpo rigido sferico immerso in un fluido incomprimibile e viscoso che occupa l'intero spazio tridimensionale ($\mathbb{R}^3$). Il sistema è governato dalle equazioni di Navier-Stokes accoppiate a equazioni differenziali ordinarie che descrivono la dinamica traslazionale e rotazionale del corpo rigido. Una caratteristica critica di questo studio è l'imposizione di condizioni al contorno di scorrimento di Navier (Navier slip) con attrito all'interfaccia fluido-struttura, a differenza delle classiche condizioni di non scorrimento (Dirichlet). Gli autori si concentrano sul sistema linearizzato attorno allo stato di quiete, dove la velocità del fluido, la pressione e le velocità traslazionale e angolare del corpo evolvono secondo un sistema accoppiato in un dominio esterno $\Omega = \mathbb{R}^3 \setminus B$, dove $B$ è una palla.

Metodologia
L'analisi è condotta all'interno del quadro della teoria dei semigruppi e della regolarità massima $L^q$. Gli autori definiscono un operatore fluido-struttura $A_{\alpha,q}$ che agisce su uno spazio di Banach $X_q$ che incapsula la velocità del fluido, la velocità traslazionale e la velocità angolare. La metodologia procede attraverso fasi chiave:

1. Formulazione dell'Operatore: Il sistema viene riformulato su tutto lo spazio $\mathbb{R}^3$ estendendo la velocità del corpo rigido all'interno della sfera. Ciò permette l'uso di una decomposizione di Helmholtz-Weyl adattata all'interazione fluido-struttura, facilitando la definizione del generatore $A_{\alpha,q}$.
2. Teoria $L^2$: Gli autori stabiliscono prima l'autoaggiunzione e la positività definita dell'operatore nell'ambito dello spazio di Hilbert ($q=2$). Ciò si basa su una specifica forma bilineare che coinvolge il tensore del tasso di deformazione e il termine di attrito sul bordo.
3. Localizzazione e Stime A Priori: Per estendere i risultati a spazi $L^q$ generali ($1 < q < \infty$), gli autori impiegano una tecnica di localizzazione. Essi uniscono i risultati noti per l'operatore di Stokes nello spazio intero e in domini limitati. Fondamentalmente, derivano una disuguaglianza di tipo Korn generalizzata per la condizione di scorrimento di Navier con attrito, che limita il gradiente completo della velocità tramite il gradiente simmetrico e il termine di scorrimento sul bordo.
4. Settorialità e Analiticità: La prova che il semigruppo sia limitato e analitico si basa sull'instaurazione della settorialità dell'operatore. Per $q=2$, ciò segue dall'autoaggiunzione. Per $1 < q < 3/2$, è derivata da stime di regolarità massima uniformi nel tempo. I risultati per gli intervalli rimanenti di $q$ sono ottenuti tramite interpolazione e argomenti di dualità.
5. Stime di Decadimento: Le velocità di decadimento sono derivate combinando la regolarità stabilita con metodi energetici. Un passaggio chiave consiste nel chiudere la stima energetica usando la disuguaglianza di tipo Korn e la disuguaglianza di Gagliardo-Nirenberg, seguiti da un argomento di tipo Gronwall per determinare i tassi di decadimento temporale per tempi grandi.

Contributi Principali e Risultati
L'articolo stabilisce i seguenti risultati principali per il sistema fluido-struttura linearizzato sotto condizioni di scorrimento di Navier in un dominio esterno:

• Forte Regolarità $L^q$: Gli autori dimostrano l'esistenza di soluzioni forti uniche per il sistema linearizzato con regolarità massima $L^q$. Nello specifico, per dati iniziali che soddisfano le appropriate condizioni di compatibilità e forze esterne in $L^q$, la soluzione $(v, \pi, \ell, \omega)$ soddisfa stime in spazi tali come $L^q(0, T; W^{2,q}(\Omega))$ e $W^{1,q}(0, T; L^q(\Omega))$.
• Semigruppo Analitico Limitato: L'operatore fluido-struttura genera un semigruppo analitico limitato sul sottospazio $X_q$ per tutti $1 < q < \infty$. Questa è un'estensione significativa, poiché i risultati precedenti per le condizioni di scorrimento erano ampiamente limitati a domini limitati.
• Stime di Decadimento $L^q-L^r$ Ottimali: L'articolo deriva tassi di decadimento ottimali per la soluzione quando $t \to \infty$. Per dati iniziali in $L^r$, la velocità e le sue derivate decadono con tassi che dipendono dalla differenza tra $1/r$ e $1/q$. Nello specifico, gli autori mostrano:
  • $\|v(t)\|_{L^q} \sim t^{-\frac{3}{2}(\frac{1}{r} - \frac{1}{q})}$ per tempi brevi e regimi specifici di tempo grande.
  • Stime raffinate per le velocità traslazionale e angolare $(\ell, \omega)$ e le loro derivate temporali, mostrando tassi di decadimento di $(1+t)^{-\frac{1}{2} - \frac{3}{2}(\frac{1}{r} - \frac{1}{m})}$ per grandi $m$.
  • Sono fornite anche stime per il gradiente di pressione e le derivate spaziali del secondo ordine, distinguendo tra comportamenti a breve termine ($t \le 1$) e a lungo termine ($t \ge 1$).

Significatività
Gli autori affermano che questi risultati forniscono una base rigorosa per la costruzione di soluzioni forti per il corrispondente sistema non lineare. Stabilendo la regolarità forte $W^{2,1}_q$ e le soluzioni di tipo Kato per il problema linearizzato, questo lavoro consente l'applicazione di argomenti di punto fisso al problema completo di interazione fluido-struttura non lineare. L'articolo nota che, sebbene la regolarità del semigruppo e il decadimento siano ben compresi per il caso di non scorrimento in domini esterni, tali risultati sono stati limitati nel contesto dello scorrimento, in particolare riguardo alla natura illimitata del dominio. Questo lavoro colma tale lacuna sfruttando la regolarità geometrica della sfera per gestire l'impostazione del dominio esterno sotto condizioni di scorrimento di Navier.