三维域上稳态纳维-斯托克斯方程解存在的计算机辅助证明
数值分析
2022-02-09 v2 数值分析
摘要
本文提出一种针对一般三维域上稳态纳维-斯托克斯方程解存在性的计算机辅助验证方法。该方法通过严格计算与误差估计，验证精确解作为牛顿迭代的不动点存在于近似解附近。应用不动点定理所需量的显式值，由新近发展的针对边值问题有限元解及斯托克斯方程特征值问题的定量误差估计获得。
引用
@article{arxiv.2101.03727,
title = {Computer-assisted proof for the stationary solution existence of the Navier-Stokes equation over 3D domains},
author = {Xuefeng Liu and Mitsuhiro T. Nakao and Shin'ichi Oishi},
journal= {arXiv preprint arXiv:2101.03727},
year = {2022}
}
备注
1 figures