Das Stokes-Eigenwertproblem auf Kugeln und Ringbereichen in drei Dimensionen: Lösungen mit poloidalen und toroidalen Feldern

Grundinformationen

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

Zusammenfassung

In diesem Artikel wird das Stokes-Eigenwertproblem mit homogenen Dirichlet-Randbedingungen in offenen Kugelgebieten und offenen Ringbereichen im dreidimensionalen Raum untersucht. Mit Hilfe des Rahmens toroidaler und poloidaler Felder wird eine orthogonale Zerlegung des Stokes-Eigenwertproblems in toroidale und pololdale Eigenfunktionsprobleme konstruiert. Dies liefert einen Beweis für die Vollständigkeit des von einem der Autoren 1999 angegebenen Systems explizit berechneter Stokes-Eigenfunktionen.

Forschungshintergrund und Motivation

1. Kernproblem: Lösung des Stokes-Eigenwertproblems in speziellen Gebieten mit hoher geometrischer Symmetrie (offene Kugeln und offene Ringbereiche), was in Strömungsmechanik-Anwendungen von großer Bedeutung ist.
2. Problemrelevanz:
   • Strömungsprobleme in offenen Kugeln und Ringbereichen spielen eine wichtige Rolle in Anwendungen
   • Aufgrund der hohen geometrischen Symmetrie können präzisere Informationen als in allgemeinen Gebieten gewonnen werden
   • Trägt zur analytischen und numerischen Lösung von Strömungsproblemen bei
3. Limitierungen bestehender Methoden:
   • Mangel an strengem Beweis für die Vollständigkeit des Systems von Eigenfunktionen des Stokes-Operators
   • Bedarf nach systematischerer Methode zur Behandlung der Zerlegung divergenzfreier Vektorfelder
4. Forschungsmotivation:
   • Etablierung einer allgemeinen Methode zur Zerlegung divergenzfreier Vektorfelder
   • Beweis der Vollständigkeit des zuvor berechneten reellwertigen Eigenfunktionssystems
   • Bereitstellung einer theoretischen Grundlage für die Galerkin-Methode der Navier-Stokes-Gleichungen

Kernbeiträge

1. Etablierung einer systematischen Zerlegungstheorie: Präsentation eines vollständigen theoretischen Rahmens zur Zerlegung divergenzfreier Vektorfelder in toroidale und pololdale Felder
2. Beweis der Vollständigkeit des Eigenfunktionssystems: Bereitstellung eines strengen Vollständigkeitsbeweises für das 1999 explizit berechnete Stokes-Eigenfunktionssystem
3. Konstruktion orthogonaler Zerlegungen: Orthogonale Zerlegung des Stokes-Eigenwertproblems in unabhängige toroidale und pololdale Eigenfunktionsprobleme
4. Bereitstellung expliziter Lösungen: Explizite Ausdrücke für Stokes-Eigenfunktionen in offenen Kugeln und Ringbereichen sowie entsprechende transzendente Gleichungen

Detaillierte Methodendarstellung

Problemformulierung

Untersuchung des folgenden Stokes-Eigenwertproblems:

Problem 1: Gesucht werden Lösungen $u$, $\lambda$ und $p$ (für $\sigma: 0 \leq \sigma < 1$), die erfüllen: $-\Delta u + \nabla p = \lambda u \quad \text{und} \quad \div u = \nabla^T \cdot u = 0 \quad \text{in} \quad \Omega_\sigma$ Randbedingung: $u = 0$ auf $\partial\Omega_\sigma$

Wobei:

• $\Omega_o := \{x \in \mathbb{R}^3 : \|x\|_E < 1\}$ die offene Einheitskugel ist
• $\Omega_\sigma := \{x \in \mathbb{R}^3 : \sigma < \|x\|_E < 1\}$ der offene Kugelring ist

Theoretischer Kernrahmen

1. Definition toroidaler und poloidaler Felder

Definition 4: Toroidale und pololdale Felder werden definiert als: $t := \text{curl}(\psi x) = \text{grad}\psi \times x$$p := \text{curl}(\text{curl}(\chi x))$

wobei $\psi$ und $\chi$ jeweils als toroidales Potential und poloidales Potential bezeichnet werden.

2. Zerlegungssatz

Satz 1 (Zerlegungssatz): Sei $u \in W_2^2(\Omega_\sigma)$ ein divergenzfreies Vektorfeld auf $\Omega_\sigma$, das die Bedingung des sphärischen Mittelwerts erfüllt. Dann existieren eindeutig bestimmte toroidale Vektorfelder $t$ und pololdale Vektorfelder $p$, so dass $u = t + p$ (mindestens im Sinne von $L^2(\Omega_\sigma)$).

3. Orthogonalitätseigenschaften

Beweis der Orthogonalität toroidaler und poloidaler Felder im Sinne von $L^2(\Omega_\sigma)$ und $W_2^1(\Omega_\sigma)$:

Für beliebige toroidale Felder $t$ und pololdale Felder $p$: $\int_{\Omega_\sigma} t_s^T p_s dx = 0$

Technische Innovationen

1. Systematische Anwendung der Mie-Darstellung: Systematische Anwendung der von Gustav Mie 1908 eingeführten Zerlegungsmethode divergenzfreier Felder auf das Stokes-Eigenwertproblem
2. Geschickte Nutzung sphärischer Harmonischer: Verwendung der Eigenfunktionen des Laplace-Beltrami-Operators (sphärische Harmonische) als technisches Werkzeug
3. Eindeutigkeitsgarantie: Sicherung der Eindeutigkeit der Zerlegung durch Verschwindungsbedingungen des Mittelwerts auf der Sphäre
4. Herleitung skalarer Potentialgleichungen: Umwandlung des Vektor-Eigenwertproblems in ein Randwertproblem für skalare Potentiale

Hauptergebnisse

Kontrollgleichungen für skalare Potentiale

Toroidale Eigenfunktionen

Problem 3: Für $0 \leq \sigma < 1$ werden Lösungen $\psi$ und $\lambda$ gesucht, die erfüllen: $-\Delta\psi = \lambda\psi \quad \text{in} \quad \Omega_\sigma$ Randbedingungen: $\psi = 0$ auf $\partial\Omega_\sigma$ und Erfüllung der Mittelwertbedingung

Pololdale Eigenfunktionen

Problem 4: Gesucht werden Lösungen $\chi$ und $\lambda$, die erfüllen: $-\Delta^2\chi = \lambda\Delta\chi \quad \text{in} \quad \Omega_\sigma$ Randbedingungen: $\chi = \frac{\partial\chi}{\partial r} = 0$ auf $\partial\Omega_\sigma$

Explizite Lösungen in der Einheitskugel

Satz 3: Für die Einheitskugel $\Omega_o$ besteht das vollständige Eigenfunktionssystem des Stokes-Operators aus:

1. Toroidale Felder: $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)$

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

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

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

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

Eigenwertgleichungen im Kugelring

Für den Kugelring $\Omega_\sigma$ werden Eigenwerte durch die Nullstellen der folgenden transzendenten Gleichungen bestimmt:

Toroidale Felder: