El Problema de Valores Propios de Stokes en bolas y anillos en tres dimensiones: Soluciones con Campos Poloidales y Toroidales

Información Básica

• ID del artículo: 2408.06948
• Título: El Problema de Valores Propios de Stokes en bolas y anillos en tres dimensiones: Soluciones con Campos Poloidales y Toroidales
• Autores: Bernd Rummler (Otto-von-Guericke-Universität Magdeburg), Gudrun Thäter (KIT, Karlsruhe Institute of Technology)
• Clasificación: math.AP (Análisis de EDPs)
• Fecha de presentación: Agosto de 2024
• Enlace del artículo: https://arxiv.org/abs/2408.06948v2

Resumen

Este artículo estudia el problema de valores propios de Stokes en bolas abiertas y regiones anulares abiertas en tres dimensiones con condiciones de contorno de Dirichlet homogéneas. Utilizando el marco de campos toroidales y campos poloidales, se construye una descomposición ortogonal del problema de valores propios de Stokes en problemas de funciones propias toroidales y poloidales. Esto proporciona una prueba de la completitud del sistema de funciones propias de Stokes calculadas explícitamente, presentado por uno de los autores en 1999.

Antecedentes y Motivación de la Investigación

1. Problema central: Resolver el problema de valores propios de Stokes en regiones especiales con geometría altamente simétrica (bola abierta y región anular abierta), lo cual tiene una importancia significativa en aplicaciones de mecánica de fluidos.
2. Importancia del problema:
   • Los problemas de flujo en bolas abiertas y regiones anulares juegan un papel importante en aplicaciones
   • Debido a la alta simetría geométrica, se puede obtener información más precisa que en regiones generales
   • Contribuye a la resolución analítica y numérica de problemas de flujo
3. Limitaciones de métodos existentes:
   • Falta de pruebas rigurosas sobre la completitud del sistema de funciones propias del operador de Stokes
   • Necesidad de un método más sistemático para manejar la descomposición de campos vectoriales sin divergencia
4. Motivación de la investigación:
   • Establecer un método general para descomponer campos vectoriales sin divergencia
   • Demostrar la completitud del sistema de funciones propias de valores reales calculado previamente
   • Proporcionar una base teórica para el método de Galerkin de la ecuación de Navier-Stokes

Contribuciones Principales

1. Establecimiento de una teoría de descomposición sistemática: Se propone un marco teórico completo para descomponer campos vectoriales sin divergencia en campos toroidales y campos poloidales
2. Demostración de la completitud del sistema de funciones propias: Se proporciona una prueba rigurosa de completitud para el sistema de funciones propias de Stokes calculado explícitamente en 1999
3. Construcción de descomposición ortogonal: Se descompone ortogonalmente el problema de valores propios de Stokes en problemas independientes de funciones propias toroidales y poloidales
4. Provisión de soluciones explícitas: Se proporcionan expresiones explícitas de las funciones propias de Stokes en bolas abiertas y regiones anulares abiertas, junto con las ecuaciones trascendentales correspondientes

Explicación Detallada de Métodos

Definición de la Tarea

Se estudia el siguiente problema de valores propios de Stokes:

Problema 1: Encontrar soluciones $u$, $\lambda$ y $p$ (para $\sigma: 0 \leq \sigma < 1$) que satisfagan: $-\Delta u + \nabla p = \lambda u \quad \text{y} \quad \div u = \nabla^T \cdot u = 0 \quad \text{en} \quad \Omega_\sigma$ Condiciones de contorno: $u = 0$ en $\partial\Omega_\sigma$

Donde:

• $\Omega_o := \{x \in \mathbb{R}^3 : \|x\|_E < 1\}$ es la bola unitaria abierta
• $\Omega_\sigma := \{x \in \mathbb{R}^3 : \sigma < \|x\|_E < 1\}$ es la región anular abierta

Marco Teórico Central

1. Definición de Campos Toroidales y Poloidales

Definición 4: Se definen los campos toroidales y poloidales como: $t := \text{rot}(\psi x) = \text{grad}\psi \times x$$p := \text{rot}(\text{rot}(\chi x))$

Donde $\psi$ y $\chi$ se denominan potencial toroidal y potencial poloidal, respectivamente.

2. Teorema de Descomposición

Teorema 1 (Teorema de Descomposición): Sea $u \in W_2^2(\Omega_\sigma)$ un campo vectorial sin divergencia definido en $\Omega_\sigma$ que satisface la condición de valor medio esférico. Entonces existen campos vectoriales toroidales $t$ y campos vectoriales poloidales $p$ únicamente determinados, tales que $u = t + p$ (al menos en el sentido de $L^2(\Omega_\sigma)$).

3. Propiedades de Ortogonalidad

Se demuestra la ortogonalidad de campos toroidales y campos poloidales en los sentidos de $L^2(\Omega_\sigma)$ y $W_2^1(\Omega_\sigma)$:

Para cualquier campo toroidal $t$ y campo poloidal $p$: $\int_{\Omega_\sigma} t_s^T p_s dx = 0$

Puntos de Innovación Técnica

1. Aplicación sistemática de la representación de Mie: Se aplica sistemáticamente el método de descomposición de campos sin divergencia introducido por Gustav Mie en 1908 al problema de valores propios de Stokes
2. Uso ingenioso de funciones armónicas esféricas: Se utilizan las funciones propias del operador de Laplace-Beltrami (funciones armónicas esféricas) como herramientas técnicas
3. Garantía de unicidad: Se asegura la unicidad de la descomposición mediante la condición de valor medio nulo en la esfera
4. Derivación de ecuaciones de potencial escalar: Se transforma el problema de valores propios vectoriales en un problema de valores en la frontera de potenciales escalares

Resultados Principales

Ecuaciones de Control del Potencial Escalar

Funciones Propias Toroidales

Problema 3: Para $0 \leq \sigma < 1$, encontrar soluciones $\psi$ y $\lambda$ que satisfagan: $-\Delta\psi = \lambda\psi \quad \text{en} \quad \Omega_\sigma$ Condiciones de contorno: $\psi = 0$ en $\partial\Omega_\sigma$, y satisfaciendo la condición de valor medio

Funciones Propias Poloidales

Problema 4: Encontrar soluciones $\chi$ y $\lambda$ que satisfagan: $-\Delta^2\chi = \lambda\Delta\chi \quad \text{en} \quad \Omega_\sigma$ Condiciones de contorno: $\chi = \frac{\partial\chi}{\partial r} = 0$ en $\partial\Omega_\sigma$

Soluciones Explícitas en la Bola Unitaria

Teorema 3: Para la bola unitaria $\Omega_o$, el sistema completo de funciones propias del operador de Stokes está constituido por:

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

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

2. Campos poloidales: $p_{c,s}^{(j),l,k} := \text{rot}\text{rot}(\chi^{(j),l,k} x)$

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

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

Ecuaciones de Valores Propios en la Región Anular

Para la región anular $\Omega_\sigma$, los valores propios se determinan por las raíces de las siguientes ecuaciones trascendentales:

Campos toroidales: