The Stokes Eigenvalue Problem on balls and annuli in three dimensions: Solutions with Poloidal and Toroidal Fields

Basic Information

• Paper ID: 2408.06948
• Title: The Stokes Eigenvalue Problem on balls and annuli in three dimensions: Solutions with Poloidal and Toroidal Fields
• Authors: Bernd Rummler (Otto-von-Guericke-Universität Magdeburg), Gudrun Thäter (KIT, Karlsruhe Institute of Technology)
• Classification: math.AP (Analysis of PDEs)
• Submission Date: August 2024
• Paper Link: https://arxiv.org/abs/2408.06948v2

Abstract

This paper investigates the Stokes eigenvalue problem with homogeneous Dirichlet boundary conditions in three-dimensional open balls and open annular regions. Utilizing the framework of toroidal and poloidal fields, the authors construct an orthogonal decomposition of the Stokes eigenvalue problem into toroidal and poloidal eigenfunction problems. This provides a proof for the completeness of the explicit system of Stokes eigenfunctions presented by one of the authors in 1999.

Research Background and Motivation

1. Core Problem: Solving the Stokes eigenvalue problem in special regions with high geometric symmetry (open balls and open annular regions), which is of significant importance in fluid mechanics applications.
2. Problem Significance:
   • Flow problems in open balls and open annular regions play important roles in applications
   • The high geometric symmetry enables obtaining more precise information compared to general domains
   • Facilitates analytical and numerical solutions of flow problems
3. Limitations of Existing Methods:
   • Lack of rigorous proofs for the completeness of Stokes operator eigenfunction systems
   • Need for more systematic approaches to handle decomposition of divergence-free vector fields
4. Research Motivation:
   • Establish a general method for decomposing divergence-free vector fields
   • Prove the completeness of previously computed real-valued eigenfunction systems
   • Provide theoretical foundations for Galerkin methods of the Navier-Stokes equations

Core Contributions

1. Established Systematic Decomposition Theory: Proposed a complete theoretical framework for decomposing divergence-free vector fields into toroidal and poloidal fields
2. Proved Completeness of Eigenfunction Systems: Provided rigorous completeness proofs for the Stokes eigenfunction system explicitly computed in 1999
3. Constructed Orthogonal Decomposition: Orthogonally decomposed the Stokes eigenvalue problem into independent toroidal and poloidal eigenfunction problems
4. Provided Explicit Solutions: Derived explicit expressions for Stokes eigenfunctions in open balls and open annular regions along with corresponding transcendental equations

Detailed Methodology

Problem Formulation

The paper studies the following Stokes eigenvalue problem:

Problem 1: Find solutions $u$, $\lambda$, and $p$ (for $\sigma: 0 \leq \sigma < 1$) satisfying: $-\Delta u + \nabla p = \lambda u \quad \text{and} \quad \div u = \nabla^T \cdot u = 0 \quad \text{in} \quad \Omega_\sigma$ Boundary condition: $u = 0$ on $\partial\Omega_\sigma$

Where:

• $\Omega_o := \{x \in \mathbb{R}^3 : \|x\|_E < 1\}$ is the open unit ball
• $\Omega_\sigma := \{x \in \mathbb{R}^3 : \sigma < \|x\|_E < 1\}$ is the open annular ball

Core Theoretical Framework

1. Definition of Toroidal and Poloidal Fields

Definition 4: Toroidal and poloidal fields are defined as: $t := \text{curl}(\psi x) = \text{grad}\psi \times x$$p := \text{curl}(\text{curl}(\chi x))$

where $\psi$ and $\chi$ are called the toroidal and poloidal potentials, respectively.

2. Decomposition Theorem

Theorem 1 (Decomposition Theorem): Let $u \in W_2^2(\Omega_\sigma)$ be a divergence-free vector field defined on $\Omega_\sigma$ satisfying the spherical mean value condition. Then there exist uniquely determined toroidal vector field $t$ and poloidal vector field $p$ such that $u = t + p$ (at least in the $L^2(\Omega_\sigma)$ sense).

3. Orthogonality Properties

The orthogonality of toroidal and poloidal fields in the $L^2(\Omega_\sigma)$ and $W_2^1(\Omega_\sigma)$ senses is established:

For any toroidal field $t$ and poloidal field $p$: $\int_{\Omega_\sigma} t_s^T p_s dx = 0$

Technical Innovations

1. Systematic Application of Mie Representation: Systematically applies the divergence-free field decomposition method introduced by Gustav Mie in 1908 to the Stokes eigenvalue problem
2. Clever Use of Spherical Harmonics: Utilizes eigenfunctions of the Laplace-Beltrami operator (spherical harmonics) as technical tools
3. Uniqueness Guarantee: Ensures uniqueness of decomposition through vanishing mean value conditions on the sphere
4. Derivation of Scalar Potential Equations: Transforms the vector eigenvalue problem into boundary value problems for scalar potentials

Main Results

Governing Equations for Scalar Potentials

Toroidal Eigenfunctions

Problem 3: For $0 \leq \sigma < 1$, find solutions $\psi$ and $\lambda$ satisfying: $-\Delta\psi = \lambda\psi \quad \text{in} \quad \Omega_\sigma$ Boundary conditions: $\psi = 0$ on $\partial\Omega_\sigma$ and satisfying the mean value condition

Poloidal Eigenfunctions

Problem 4: Find solutions $\chi$ and $\lambda$ satisfying: $-\Delta^2\chi = \lambda\Delta\chi \quad \text{in} \quad \Omega_\sigma$ Boundary conditions: $\chi = \frac{\partial\chi}{\partial r} = 0$ on $\partial\Omega_\sigma$

Explicit Solutions in the Unit Ball

Theorem 3: For the unit ball $\Omega_o$, the complete eigenfunction system of the Stokes operator consists of:

1. Toroidal Fields: $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)$

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

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

where: $\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$

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

Eigenvalue Equations in Annular Balls

For the annular ball $\Omega_\sigma$, eigenvalues are determined by the roots of the following transcendental equations:

Toroidal Fields: