Il Problema degli Autovalori di Stokes su sfere e anuli in tre dimensioni: Soluzioni con Campi Poloidali e Toroidali

Informazioni Fondamentali

• ID Articolo: 2408.06948
• Titolo: The Stokes Eigenvalue Problem on balls and annuli in three dimensions: Solutions with Poloidal and Toroidal Fields
• Autori: Bernd Rummler (Otto-von-Guericke-Universität Magdeburg), Gudrun Thäter (KIT, Karlsruhe Institute of Technology)
• Classificazione: math.AP (Analisi delle EDP)
• Data di Presentazione: Agosto 2024
• Link dell'Articolo: https://arxiv.org/abs/2408.06948v2

Riassunto

Questo articolo affronta il problema degli autovalori di Stokes in sfere aperte e regioni anulari aperte in tre dimensioni con condizioni al contorno di Dirichlet omogenee. Utilizzando il framework dei campi toroidali e poloidali, gli autori costruiscono una decomposizione ortogonale del problema degli autovalori di Stokes nei problemi di autofunzioni toroidali e poloidali. Questo fornisce una dimostrazione della completezza del sistema di autofunzioni di Stokes calcolato esplicitamente da uno degli autori nel 1999.

Contesto di Ricerca e Motivazione

1. Problema Centrale: Risolvere il problema degli autovalori di Stokes in regioni speciali con geometria altamente simmetrica (sfere aperte e regioni anulari aperte), che ha importanza significativa nelle applicazioni di meccanica dei fluidi.
2. Importanza del Problema:
   • I problemi di flusso in sfere aperte e regioni anulari aperte svolgono un ruolo importante nelle applicazioni
   • Grazie all'elevata simmetria geometrica, è possibile ottenere informazioni più precise rispetto a regioni generali
   • Facilita la risoluzione analitica e numerica dei problemi di flusso
3. Limitazioni dei Metodi Esistenti:
   • Mancanza di una dimostrazione rigorosa della completezza del sistema di autofunzioni dell'operatore di Stokes
   • Necessità di un approccio più sistematico per gestire la decomposizione di campi vettoriali a divergenza nulla
4. Motivazione della Ricerca:
   • Stabilire un metodo generale per la decomposizione di campi vettoriali a divergenza nulla
   • Provare la completezza del sistema di autofunzioni reali calcolato precedentemente
   • Fornire fondamenti teorici per il metodo di Galerkin dell'equazione di Navier-Stokes

Contributi Principali

1. Stabilimento di una Teoria di Decomposizione Sistematica: Propone un framework teorico completo per la decomposizione di campi vettoriali a divergenza nulla in campi toroidali e poloidali
2. Dimostrazione della Completezza del Sistema di Autofunzioni: Fornisce una dimostrazione rigorosa della completezza del sistema di autofunzioni di Stokes calcolato esplicitamente nel 1999
3. Costruzione di una Decomposizione Ortogonale: Decompone il problema degli autovalori di Stokes in problemi indipendenti di autofunzioni toroidali e poloidali
4. Fornitura di Soluzioni Esplicite: Fornisce espressioni esplicite delle autofunzioni di Stokes in sfere aperte e regioni anulari aperte e le corrispondenti equazioni trascendentali

Dettagli del Metodo

Definizione del Problema

Si studia il seguente problema degli autovalori di Stokes:

Problema 1: Trovare soluzioni $u$, $\lambda$ e $p$ (per $\sigma: 0 \leq \sigma < 1$) che soddisfano: $-\Delta u + \nabla p = \lambda u \quad \text{e} \quad \div u = \nabla^T \cdot u = 0 \quad \text{in} \quad \Omega_\sigma$ Condizioni al contorno: $u = 0$ su $\partial\Omega_\sigma$

Dove:

• $\Omega_o := \{x \in \mathbb{R}^3 : \|x\|_E < 1\}$ è la sfera unitaria aperta
• $\Omega_\sigma := \{x \in \mathbb{R}^3 : \sigma < \|x\|_E < 1\}$ è la regione anulare aperta

Framework Teorico Centrale

1. Definizione di Campi Toroidali e Poloidali

Definizione 4: Si definiscono i campi toroidali e poloidali come: $t := \text{curl}(\psi x) = \text{grad}\psi \times x$$p := \text{curl}(\text{curl}(\chi x))$

dove $\psi$ e $\chi$ sono rispettivamente denominati potenziale toroidale e potenziale poloidale.

2. Teorema di Decomposizione

Teorema 1 (Teorema di Decomposizione): Sia $u \in W_2^2(\Omega_\sigma)$ un campo vettoriale a divergenza nulla definito su $\Omega_\sigma$ che soddisfa la condizione di media sferica. Allora esistono un campo vettoriale toroidale $t$ e un campo vettoriale poloidale $p$ univocamente determinati tali che $u = t + p$ (almeno nel senso di $L^2(\Omega_\sigma)$).

3. Proprietà di Ortogonalità

Si dimostra l'ortogonalità dei campi toroidali e poloidali nel senso di $L^2(\Omega_\sigma)$ e $W_2^1(\Omega_\sigma)$:

Per qualsiasi campo toroidale $t$ e campo poloidale $p$: $\int_{\Omega_\sigma} t_s^T p_s dx = 0$

Punti di Innovazione Tecnica

1. Applicazione Sistematica della Rappresentazione di Mie: Applica sistematicamente il metodo di decomposizione di campi a divergenza nulla introdotto da Gustav Mie nel 1908 al problema degli autovalori di Stokes
2. Utilizzo Abile delle Armoniche Sferiche: Sfrutta le autofunzioni dell'operatore di Laplace-Beltrami (armoniche sferiche) come strumento tecnico
3. Garanzia di Unicità: Assicura l'unicità della decomposizione attraverso la condizione di media nulla sulla sfera
4. Derivazione di Equazioni di Potenziale Scalare: Trasforma il problema degli autovalori vettoriali in un problema di valori al contorno per potenziali scalari

Risultati Principali

Equazioni di Controllo del Potenziale Scalare

Autofunzioni Toroidali

Problema 3: Per $0 \leq \sigma < 1$, trovare soluzioni $\psi$ e $\lambda$ che soddisfano: $-\Delta\psi = \lambda\psi \quad \text{in} \quad \Omega_\sigma$ Condizioni al contorno: $\psi = 0$ su $\partial\Omega_\sigma$ e soddisfa la condizione di media

Autofunzioni Poloidali

Problema 4: Trovare soluzioni $\chi$ e $\lambda$ che soddisfano: $-\Delta^2\chi = \lambda\Delta\chi \quad \text{in} \quad \Omega_\sigma$ Condizioni al contorno: $\chi = \frac{\partial\chi}{\partial r} = 0$ su $\partial\Omega_\sigma$

Soluzioni Esplicite nella Sfera Unitaria

Teorema 3: Per la sfera unitaria $\Omega_o$, il sistema completo di autofunzioni dell'operatore di Stokes è costituito da:

1. Campi Toroidali: $t_{c,s}^{(j),l,k} := \text{curl}\left(\frac{J_{l+\frac{1}{2}}(\mu^j_{l+\frac{1}{2}}r)}{\sqrt{r}} Z_l^k x\right)$

Autovalori: $\lambda^{(j),l,k} = (\mu^j_{l+\frac{1}{2}})^2$, molteplicità $(2l+1)$

2. Campi Poloidali: $p_{c,s}^{(j),l,k} := \text{curl}\text{curl}(\chi^{(j),l,k} x)$

Dove: $\chi^{(j),l,k} = \left(\frac{J_{l+\frac{1}{2}}(\mu^j_{l+\frac{3}{2}}r)}{\sqrt{r}} - \frac{\mu^j_{l+\frac{3}{2}} J_{l-\frac{1}{2}}(\mu^j_{l+\frac{3}{2}}) r^l}{2l+1}\right) Z_l^k$

Autovalori: $\lambda^{(j),l,k} = (\mu^j_{l+\frac{3}{2}})^2$, molteplicità $(2l+1)$

Equazioni degli Autovalori nell'Anulo Sferico

Per l'anulo sferico $\Omega_\sigma$, gli autovalori sono determinati dalle radici delle seguenti equazioni trascendentali:

Campi Toroidali: