课题基金 / 基金详情

Computer-assisted proof for stationary solution existence of Navier-Stokes equation on 3D domain

Computer-assisted proof for stationary solution existence of Navier-Stokes equation on 3D domain
3D域上Navier-Stokes方程平稳解存在性的计算机辅助证明
批准号：
18K03411
负责人：
LIU Xuefeng
金额：
$2.83万
依托单位：
Niigata University
依托单位国家：
日本
项目类别：
Grant-in-Aid for Scientific Research (C)
财政年份：
2018
资助国家：
日本
项目状态：
已结题
起止时间：
2018-04-01 至 2022-03-31
来源：
https://kaken.nii.ac.jp/en/grant/KAKENHI-PROJECT-18K03411/
关键词：
非線形偏微分方程式有限要素法精度保証付き数値計算誤差評価固有値問題非圧縮条件Hypercircleナビエ・ストークス方程式計算機援用証明厳密計算ライブラリHypercirle法ナビエストークス方程式Hypercircle法事前誤差評価Stokes方程式

项目摘要

项目成果

LIU Xuefeng的其他基金

相似基金

相关文献

中文摘要
翻译
点击翻译按钮获取中文摘要
英文摘要
期刊论文(47)
专著(0)
科研奖励(0)
会议论文
微分作用素の固有関数の誤差評価と形状最適化への応用
微分算子本征函数的误差评估及其在形状优化中的应用
DOI： --
发表时间： 2021
期刊：
影响因子： --
作者： [Joshi Ashish, Peters Robert, 劉 雪峰]
通讯作者： 劉 雪峰
非凸領域における境界値問題に対する局所誤差評価
非凸区域边值问题的局部误差评估
DOI： --
发表时间： 2021
期刊：
影响因子： --
作者： [K. Miyoshi, A. Shiota, S. Kato, S. Yamamoto, K. Fujiwara, and Shijo Nishigori, 中野 泰河]
通讯作者： 中野 泰河
精度保証付き数値計算の基礎
保证精度的数值计算基础
DOI： --
发表时间： 2018
期刊：
影响因子： --
作者： [鈴木剛, 渡邉真莉, 魯楊帆, 野原実, 高木英典, 片山尚幸, 澤博, 藤澤正美, 金井輝人, 石井順久, 板谷治郎, 溝川貴司, 辛埴, 岡﨑浩三, 大石進一編著]
通讯作者： 大石進一編著
Explicit Finite Element Error Estimates for Nonhomogeneous Neumann Problems
非齐次诺依曼问题的显式有限元误差估计
DOI： 10.21136/am.2018.0095-18
发表时间： 2018
期刊： Applications of Mathematics
影响因子： 0.7
作者： [Li Qin, Liu Xuefeng]
通讯作者： Liu Xuefeng
共 46 条
    High-precision eigenvalue estimation for the Biharmonic differential operator
    • 批准号：
      26800090
    • 项目类别：
      Grant-in-Aid for Young Scientists (B)
    • 资助金额：
      $2.33万
    • 财政年份：
      2014
    • 负责人：
      LIU Xuefeng
    • 依托单位：
      Niigata University
    Verified eigenvalue estimation for elliptic differential operators and its application in non-linear problems
    • 批准号：
      23740092
    • 项目类别：
      Grant-in-Aid for Young Scientists (B)
    • 资助金额：
      $2.08万
    • 财政年份：
      2011
    • 负责人：
      LIU Xuefeng
    • 依托单位：
      Waseda University
    海外基金