[论文解读] Liouville type theorems on the steady Navier-Stokes equations in R3

Zhouping Xin, Deliang Xu|arXiv (Cornell University)|Oct 18, 2017

Navier-Stokes equation solutions参考文献 16被引用 9

一句话总结

本文為 R³ 中的定常不可壓縮 Navier-Stokes 方程建立了 Liouville 型定理，證明任何具有有限 Dirichlet 积分且在無窮遠處速度為零的解，必定恆為零。證明依賴於能量通量的 Hodge 分解，以及一個關鍵洞察：形變矩陣的平方屬於局部 Hardy 空間，從而解決了一個長期存在的開放問題。

ABSTRACT

In this paper we study the Liouville type properties for solutions to the steady incompressible Navier-Stoks equations in $\mathbf{R}^{3}$. It is shown that any solution to the steady Navier-Stokes equations in $\mathbf{R}^{3}$ with finite Dirichlet integral and vanishing velocity field at far fields must be trivial. This solves an open problem. The key ingredients of the proof include a Hodge decomposition of the energy-flux and the observation that the square of the deformation matrix lies in the local Hardy space. As a by-product, we also obtain a Liouville type theorem for the steady density-dependent Navier-Stokes equations.

研究动机与目标

• 解決關於 R³ 中定常 Navier-Stokes 解的平凡性問題，條件為有限 Dirichlet 积分與在無窮遠處衰減。
• 建立三維空間中定常 Navier-Stokes 方程的 Liouville 型性質。
• 作為副產物，將分析推廣至密度依賴的 Navier-Stokes 方程。
• 識別能量通量與形變矩陣的結構性質，這些性質使證明成為可能。

提出的方法

• 對能量通量張量應用 Hodge 分解，以分離其各個分量。
• 證明形變矩陣的平方屬於局部 Hardy 空間，這是關鍵的正則性條件。
• 利用有限 Dirichlet 积分條件來控制速度場的增長。
• 結合無窮遠處的衰減假設與 Hardy 空間嵌入，推導出解的平凡性。
• 透過類似能量與分解論證，將方法推廣至密度依賴的 Navier-Stokes 系統。

实验结果

研究问题

• RQ1 在 R³ 中，定常 Navier-Stokes 方程的解在具有有限 Dirichlet 积分且在無窮遠處衰減時，於何種條件下恆為零？
• RQ2 能量通量張量的結構如何影響解的正則性與衰減性？
• RQ3 形變矩陣的局部 Hardy 空間性質在證明 Liouville 型定理中扮演何種角色？
• RQ4 該方法能否適應於密度依賴的 Navier-Stokes 方程，從而得出類似的剛性結果？
• RQ5 有限能量與在無窮遠處速度為零的組合，是否足以迫使三維定常流中解恆為零？

主要发现

• 任何具有有限 Dirichlet 积分且在無窮遠處速度為零的 R³ 中定常 Navier-Stokes 方程的弱解，必定恆為零。
• 形變矩陣的平方屬於局部 Hardy 空間，這是一個關鍵的技術性結果，使證明得以成立。
• 能量通量的 Hodge 分解提供了細緻的分解，可分離出相關的調和分量。
• 該方法成功推廣至定常密度依賴的 Navier-Stokes 方程，從而得出相應的 Liouville 型定理。
• 該結果解決了三維空間中定常解正則性與剛性問題的一個長期開放問題。