[论文解读] The existence theorem for steady Navier--Stokes equations in the axially symmetric case

Mikhail V. Korobkov, Konstantin Pileckas+1 more|arXiv (Cornell University)|Oct 28, 2011

Advanced Mathematical Modeling in Engineering参考文献 8被引用 4

一句话总结

本文在三維有界區域中，於相對寬鬆的通量條件下，建立了穩態納維-斯托克斯方程弱軸對稱解的存在性，該區域具有多重連通邊界。證明顯示，當總通量為零時，解存在，且所有邊界元件皆與對稱軸相交，或通量較小的元件足夠接近對稱軸，從而推廣了先前要求每個邊界元件通量為零的結果。

ABSTRACT

We study the nonhomogeneous boundary value problem for Navier-Stokes equations of steady motion of a viscous incompressible fluid in a three-dimensional bounded multiply connected domain. We prove that this problem has a solution in some axially symmetric cases, in particular, when all components of the boundary intersect the axis of symmetry.

研究动机与目标

• 解決長期懸而未決的問題：在三維有界區域中，具有多重連通邊界且通量總和為零但非零的條件下，穩態納維-斯托克斯方程弱解的存在性問題。
• 推廣先前要求每個邊界元件通量為零的解存在結果，此條件排除了具有匯與源等物理相關配置的情況。
• 在軸對稱假設下建立存在性定理，特別是在所有邊界元件皆與對稱軸相交，或僅部分元件具有小通量的情況下。
• 為分析具有複雜幾何形狀與非平凡邊界條件的軸對稱黏性不可壓縮流動，提供嚴謹的理論框架。

提出的方法

• 利用變分法與在索伯列夫空間 $W^{1,2}(Ω)$ 中的弱形式化方法，分析靜止納維-斯托克斯系統。
• 對區域 $\Omega$ 與邊界資料 $\mathbf{a}$ 強制軸對稱性，將三維問題簡化為關於 $x_3$-軸旋轉不變的系統。
• 應用相容性條件 $\sum_{j=0}^N \mathcal{F}_j = 0$，其中 $\mathcal{F}_j = \int_{\Gamma_j} \mathbf{a} \cdot \mathbf{n} \, dS$，允許個別通量非零，只要總通量為零。
• 在加權索伯列夫空間中使用緊緻性論證與先驗估計，以處理非線性對流項 $(\mathbf{u} \cdot \nabla)\mathbf{u}$。
• 引入涉及等高集與次水平集連通分支的拓撲論證，以控制速度場在對稱軸附近的行為。
• 依賴斯托克斯系統理論與對稱函數空間中的勒雷-施勞德固定點定理，證明在所述通量條件下解的存在性。

实验结果

研究问题

• RQ1 在邊界通量滿足何種條件時，三維有界區域中具有多重連通邊界的穩態納維-斯托克斯方程存在弱軸對稱解？
• RQ2 當各個邊界元件具有非零通量，但總通量為零時，能否建立解的存在性？
• RQ3 軸對稱性在放寬對每個邊界元件的傳統零通量條件中發揮何種作用？
• RQ4 在非與對稱軸相交的邊界元件上，小通量如何影響納維-斯托克斯系統的可解性？
• RQ5 當所有邊界元件皆與對稱軸相交時，即使個別通量較大，是否仍可構造出解？

主要发现

• 本文證明在軸對稱與總通量為零的條件下，穩態納維-斯托克斯方程至少存在一個弱軸對稱解 $\mathbf{u} \in W^{1,2}(\Omega)$。
• 當所有邊界元件 $\Gamma_j$ 均與對稱軸相交時，即使個別通量 $\mathcal{F}_j$ 為任意大，解依然存在。
• 當僅 $M$ 個元件與軸相交，而其餘 $N-M$ 個元件的通量 $|\mathcal{F}_j|$ 小於依黏度與區域幾何形狀而定的小閾值 $\delta = \delta(\nu, \Omega)$ 時，解亦存在。
• 在無旋轉的軸對稱情形（$u_\theta = 0$）下，解繼承此性質，確保無方位向渦度。
• 此結果推廣了先前要求對所有 $j \geq 1$ 滿足 $\mathcal{F}_j = 0$ 的存在性定理，因而允許包含匯與源等物理上合理的配置。
• 證明依賴於拓撲與泛函分析工具，包括等高集連通性與對稱索伯列夫空間中的緊緻性，以控制非線性項與邊界行為。