Le Problème aux Valeurs Propres de Stokes sur les boules et les anneaux en trois dimensions : Solutions avec Champs Poloidaux et Toroidaux

Informations Fondamentales

• ID de l'article: 2408.06948
• Titre: The Stokes Eigenvalue Problem on balls and annuli in three dimensions: Solutions with Poloidal and Toroidal Fields
• Auteurs: Bernd Rummler (Otto-von-Guericke-Universität Magdeburg), Gudrun Thäter (KIT, Karlsruhe Institute of Technology)
• Classification: math.AP (Analyse des EDP)
• Date de soumission: Août 2024
• Lien de l'article: https://arxiv.org/abs/2408.06948v2

Résumé

Cet article étudie le problème aux valeurs propres de Stokes dans les domaines de boule ouverte et d'anneau ouvert en trois dimensions avec conditions aux limites de Dirichlet homogènes. En utilisant le cadre des champs toroidaux et poloidaux, les auteurs construisent une décomposition orthogonale du problème aux valeurs propres de Stokes en problèmes de fonctions propres toroidales et poloidales. Ceci fournit une preuve de la complétude du système de fonctions propres de Stokes calculé explicitement par l'un des auteurs en 1999.

Contexte et Motivation de la Recherche

1. Problème central: Résoudre le problème aux valeurs propres de Stokes dans des domaines spéciaux présentant une géométrie hautement symétrique (boule ouverte et anneau ouvert), ce qui revêt une importance capitale dans les applications en mécanique des fluides.
2. Importance du problème:
   • Les problèmes d'écoulement dans les domaines de boule ouverte et d'anneau ouvert jouent un rôle important dans les applications
   • En raison de la symétrie géométrique élevée, on peut obtenir des informations plus précises que dans les domaines généraux
   • Cela facilite la résolution analytique et numérique des problèmes d'écoulement
3. Limitations des méthodes existantes:
   • Absence de preuve rigoureuse de la complétude du système de fonctions propres de l'opérateur de Stokes
   • Nécessité d'une approche plus systématique pour traiter la décomposition des champs vectoriels sans divergence
4. Motivation de la recherche:
   • Établir une méthode générale pour décomposer les champs vectoriels sans divergence
   • Prouver la complétude du système de fonctions propres réelles calculé précédemment
   • Fournir une base théorique pour la méthode de Galerkin appliquée aux équations de Navier-Stokes

Contributions Principales

1. Établissement d'une théorie de décomposition systématique: Proposition d'un cadre théorique complet pour la décomposition des champs vectoriels sans divergence en champs toroidaux et poloidaux
2. Preuve de la complétude du système de fonctions propres: Fourniture d'une preuve rigoureuse de complétude pour le système de fonctions propres de Stokes calculé explicitement en 1999
3. Construction d'une décomposition orthogonale: Décomposition orthogonale du problème aux valeurs propres de Stokes en problèmes indépendants de fonctions propres toroidales et poloidales
4. Fourniture de solutions explicites: Expressions explicites des fonctions propres de Stokes dans les domaines de boule ouverte et d'anneau ouvert, ainsi que les équations transcendantales correspondantes

Explication Détaillée de la Méthode

Définition du Problème

Étude du problème aux valeurs propres de Stokes suivant:

Problème 1: Trouver les solutions $u$, $\lambda$ et $p$ (pour $\sigma: 0 \leq \sigma < 1$) satisfaisant: $-\Delta u + \nabla p = \lambda u \quad \text{et} \quad \div u = \nabla^T \cdot u = 0 \quad \text{dans} \quad \Omega_\sigma$ Conditions aux limites: $u = 0$ sur $\partial\Omega_\sigma$

Où:

• $\Omega_o := \{x \in \mathbb{R}^3 : \|x\|_E < 1\}$ est la boule unité ouverte
• $\Omega_\sigma := \{x \in \mathbb{R}^3 : \sigma < \|x\|_E < 1\}$ est l'anneau sphérique ouvert

Cadre Théorique Principal

1. Définition des Champs Toroidaux et Poloidaux

Définition 4: Les champs toroidaux et poloidaux sont définis par: $t := \text{curl}(\psi x) = \text{grad}\psi \times x$$p := \text{curl}(\text{curl}(\chi x))$

Où $\psi$ et $\chi$ sont respectivement appelés potentiel toroidal et potentiel poloidal.

2. Théorème de Décomposition

Théorème 1 (Théorème de décomposition): Soit $u \in W_2^2(\Omega_\sigma)$ un champ vectoriel sans divergence défini sur $\Omega_\sigma$ satisfaisant la condition de moyenne sphérique. Alors il existe un champ vectoriel toroidal $t$ et un champ vectoriel poloidal $p$ uniquement déterminés tels que $u = t + p$ (au moins au sens de $L^2(\Omega_\sigma)$).

3. Propriétés d'Orthogonalité

Preuve de l'orthogonalité des champs toroidaux et poloidaux au sens de $L^2(\Omega_\sigma)$ et $W_2^1(\Omega_\sigma)$:

Pour tout champ toroidal $t$ et champ poloidal $p$: $\int_{\Omega_\sigma} t_s^T p_s dx = 0$

Points d'Innovation Technique

1. Application systématique de la représentation de Mie: Application systématique de la méthode de décomposition des champs sans divergence introduite par Gustav Mie en 1908 au problème aux valeurs propres de Stokes
2. Utilisation ingénieuse des harmoniques sphériques: Utilisation des fonctions propres de l'opérateur de Laplace-Beltrami (harmoniques sphériques) comme outil technique
3. Garantie d'unicité: Assurance de l'unicité de la décomposition par la condition de moyenne nulle sur la sphère
4. Dérivation des équations de potentiel scalaire: Transformation du problème aux valeurs propres vectorielles en problèmes aux valeurs limites de potentiels scalaires

Résultats Principaux

Équations de Contrôle des Potentiels Scalaires

Fonctions Propres Toroidales

Problème 3: Pour $0 \leq \sigma < 1$, trouver les solutions $\psi$ et $\lambda$ satisfaisant: $-\Delta\psi = \lambda\psi \quad \text{dans} \quad \Omega_\sigma$ Conditions aux limites: $\psi = 0$ sur $\partial\Omega_\sigma$, et satisfaisant la condition de moyenne

Fonctions Propres Poloidales

Problème 4: Trouver les solutions $\chi$ et $\lambda$ satisfaisant: $-\Delta^2\chi = \lambda\Delta\chi \quad \text{dans} \quad \Omega_\sigma$ Conditions aux limites: $\chi = \frac{\partial\chi}{\partial r} = 0$ sur $\partial\Omega_\sigma$

Solutions Explicites dans la Boule Unité

Théorème 3: Pour la boule unité $\Omega_o$, le système complet de fonctions propres de l'opérateur de Stokes est constitué par:

1. Champs toroidaux: $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)$

Valeurs propres: $\lambda^{(j),l,k} = (\mu^j_{l+\frac{1}{2}})^2$, multiplicité $(2l+1)$

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

Où: $\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$

Valeurs propres: $\lambda^{(j),l,k} = (\mu^j_{l+\frac{3}{2}})^2$, multiplicité $(2l+1)$

Équations aux Valeurs Propres dans l'Anneau Sphérique

Pour l'anneau sphérique $\Omega_\sigma$, les valeurs propres sont déterminées par les racines des équations transcendantales suivantes:

Champs toroidaux: