[论文解读] Some infinite matrix analysis, a Trotter product formula for dissipative operators, and an algorithm for the incompressible Navier-Stokes equation

Joerg Kampen|arXiv (Cornell University)|Dec 11, 2012

Advanced Mathematical Physics Problems参考文献 11被引用 3

一句话总结

本论文提出了一种针对n-环面上不可压缩Navier-Stokes方程的新型全局数值格式，采用傅里叶空间中的无限维ODE系统，结合Trotter乘积公式处理耗散算子与无限矩阵分析。通过基于时间拉伸的阻尼机制，证明了光滑（多项式衰减）初值下解的全局存在性与一致有界性，确保在任意粘性系数 $ u > 0 $ 下强对偶Sobolev范数下的收敛性。该方法提供了先验估计，并构建了具有严格收敛保证的算法框架。

ABSTRACT

We introduce a global scheme on the n-torus of a controlled incompressible Navier-Stokes equation in terms of a coupled controlled infinite ODE-system of Fourier-modes with smooth data. We construct a scheme of global approximations related to linear partial integrodifferential equations in dual space which are uniformly bounded in dual Sobolev spaces with polynomially decaying modes. The scheme is based on some infinite matrix algebra related to weakly singular integrals, and a Trotter-product formula for dissipative operators which leads to rigorous existence results and a uniform bound for the solutions of the successive approximating linearized equations in dual space which may be otherwise represented as formal solutions in the sense of an iterated Dyson formalism.

研究动机与目标

• 为n-环面上具有光滑初值的不可压缩Navier-Stokes方程开发一种全局收敛的数值格式。
• 建立由Navier-Stokes系统导出的迭代线性偏积分微分方程解的严格先验界。
• 构建一种基于时间拉伸的阻尼机制，以在强对偶Sobolev范数中保持全局上界。
• 在耗散算子与无限维系统背景下，严格证明Euler型Trotter乘积格式的收敛性。
• 基于实与复傅里叶基底定义一种算法框架，确保对任意正粘性系数 $ u > 0$ 在强范数下的收敛性。

提出的方法

• 将Navier-Stokes方程转化为傅里叶空间中的一组无限维ODE系统，将速度模态表示为具有多项式衰减的序列空间中的无限向量。
• 引入一种受控的、自控的格式，通过时间拉伸变换诱导阻尼，利用耗散模态确保全局有界性。
• 该方法依赖于涉及弱奇异积分的无限矩阵代数，并对耗散算子应用Trotter乘积公式以近似解的演化。
• 在复数与实数傅里叶基底中构建格式，以支持在实空间上的数值实现与误差控制。
• 为迭代线性方程导出先验估计，通过强对偶Sobolev空间中的紧致性论证在每一步时间保持界。
• 在附录中严格分析了Euler型Trotter格式的收敛性，参数条件 $r, u, u r^2 = u_0$ 确保了稳定性与有界增长。

实验结果

研究问题

• RQ1 能否为环面上的不可压缩Navier-Stokes方程构造一种全局数值格式，使得光滑初值下解在所有时间保持一致有界？
• RQ2 如何在无限维系统中严格应用耗散算子的Trotter乘积公式，以获得存在性与收敛性结果？
• RQ3 基于时间拉伸的阻尼机制在强对偶Sobolev空间中保持解范数上界的过程中起何种作用？
• RQ4 能否为该格式中的线性化、迭代方程建立先验估计，从而在不依赖外部控制函数的情况下实现全局存在性证明？
• RQ5 基于傅里叶模态的算法框架如何确保对任意粘性系数 $ u > 0$ 在强范数下的收敛性？

主要发现

• 证明了在n-环面上，对具有多项式衰减傅里叶模态的光滑初值，不可压缩Navier-Stokes方程的解具有全局存在性。
• 该格式在 $H^p$ 类型对偶范数中确保了对 $p > rac{n}{2}+1$ 的一致上界，且通过阻尼机制在每一步时间保持该上界。
• 为格式中的线性化、迭代方程建立了先验估计，从而可在强对偶Sobolev空间中实施紧致性论证。
• 当 $ u r^2 = u_0$ 时，Euler型Trotter乘积格式收敛，原始速度分量在长度为 $a$ 的时间区间内增长被 $ u_0 u^2$ 有界，该增长可由小粘性系数抵消。
• 该算法可在实与复傅里叶基底中实现，对任意 $ u > 0$ 均保证在强范数下的收敛性，且外部控制函数为可选，仅影响零模态。
• 分析表明，湍流可被理解为系统的一种动力学性质，与文献中长期存在的观点一致。