×

navierstokes公司

swMATH ID: 40625
软件作者： 范登伯格（van den Berg）、扬·布韦（Jan Bouwe）；马克西姆·布雷登；Jean-Philippe Lessard；伦奈特·范·维恩
描述： Navier-Stokes流中的自发周期轨道。本文提出了一种获得三环面上强迫自治Navier-Stokes方程中周期轨道存在性的构造性证明的一般方法。在引入几何衰减傅里叶系数的Banach空间上的找零问题后，应用Newton-Kantorovich定理获得存在性的（计算机辅助）证明。验证算子可压缩性所需的分析估计是完全通用的，模型的对称性用于减小待解决问题的规模。作为应用，我们证明了具有Taylor-Green强迫的Navier-Stokes方程中存在自发周期轨道。
主页： https://www.math.vu.nl/~janbouwe/code/navierstokes/
关键词： Navier-Stokes方程;周期轨道;对称性破坏;计算机辅助证明
相关软件： 国际实验室;RODES公司;盖勒普;Ck分析;阿达95;Matlab公司;阿伯;github;戴恩西上校;DLMF公司;开普勒98;毕尔巴鄂结晶服务器;FEniCS公司;切布冯;CAPD（机顶盒）
引用于： 11文件

标准条款

1出版物描述软件，包括1出版物以zbMATH为单位 年份
Navier-Stokes流中的自发周期轨道。 Zbl 1475.35247号
范登伯格、扬·布韦;马克西姆·布列登;Jean-Philippe Lessard;伦奈特·范·维恩
2021
全部的 前5名

19位作者引用

三 马克西姆·布列登
2 吉安尼·阿里奥利
2 汉斯·弗里德里奇·科赫
2 Jean-Philippe Lessard
2 范登伯格、扬·布韦
1 特里斯坦·巴克马斯特
1 冈萨罗Cao-Labora
1 菲利波·加佐拉
1 哈维尔·戈梅斯·塞拉诺
1 彼得·卡利塔
1 谢恩·开普勒
1 克里斯蒂安·库恩
1 刘雪峰
1 米雷斯·詹姆斯（Jason D.Mireles-James）。
1 Nakao，Mitsuhiro T。
1 小西，神道
1 伦奈特·范·维恩
1 彼得·兹格利钦斯基
1 张天豪
全部的 前5名

9连载

2 数学流体力学杂志
2 SIAM应用动力系统杂志
1 应用数学季刊
1 生理学D
1 数学与应用杂志。诺伊维埃梅·塞里
1 动力学和微分方程杂志
1 非线性科学杂志
1 非线性科学与数值模拟中的通信
1 不动点理论与应用杂志
全部的 前5名

11个领域引用

7 偏微分方程（35-XX）
7 数值分析（65-XX）
5 流体力学（76-XX）
4 计算机科学（68至XX）
三 常微分方程（34-XX）
三 动力系统和遍历理论（37至XX）
2 概率论与随机过程（60-XX）
1 近似值和展开值（41至XX）
1 欧氏空间的调和分析（42至XX）
1 算子理论（47-XX）
1 统计力学，物质结构（82-XX）

按年份列出的引文