arXivDaily arXiv每日学术速递 周一至周五更新
arXiv math/0701341math.AP
收藏

Navier-斯托克斯方程强解存在的数值逼近的一个后验条件

An a posteriori condition on the numerical approximations of the Navier-Stokes equations for the existence of a strong solution

Masoumeh Dashti, James C. Robinson

摘要:

在他们2006年的论文中,Chernyshenko等人证明了三维Navier-斯托克斯方程的足够光滑的强解对于初始条件和强迫函数的足够小的变化是鲁棒的。他们还证明了如果存在一个正则的足够强的强解,那么Galerkin逼近收敛于它,然后利用这些结果得出结论,一个足够正则的强解的存在可以用足够精细的数值计算来验证。在本文中,我们研究了具有最小正则性要求的解是强的,这比Chernyshenko等人(2006)中考虑的解更不正则。我们证明了一个类似的鲁棒性结果,并证明了与收敛数值计算和强解的存在性有关的结果的有效性。

英文摘要:

In their 2006 paper, Chernyshenko et al prove that a sufficiently smooth strong solution of the 3d Navier-Stokes equations is robust with respect to small enough changes in initial conditions and forcing function. They also show that if a regular enough strong solution exists then Galerkin approximations converge to it. They then use these results to conclude that the existence of a sufficiently regular strong solution can be verified using sufficiently refined numerical computations. In this paper we study the solutions with minimal required regularity to be strong, which are less regular than those considered in Chernyshenko et al (2006). We prove a similar robustness result and show the validity of the results relating convergent numerical computations and the existence of the strong solutions.

机构、总结、中文摘要均由AI分析而来,可能存在错误,请以论文正文为准。

↑