搜索:
 
 当前位置:>首页 -> 学术报告
3-13天元基金几何与随机分析及其应用交叉讲座之104【刘雪峰】
报告题目:Approach to the stationary solution existence proof for Navier-Stokes equation by using verified computing

报告人:刘雪峰   Niigata University, Japan

报告时间:3月13日 10:30-11:30

报告地点:5107

摘要:

As one of the Millennium Prize Problems, the problem of existence and smoothness of the NavierStokes equation problem draws the attention of mathematican from the world. To solve the this problem, a breakthrough with new mathematical theory and new technique is expected. On one hand, the computer-assisted proof utilizing verified computing, which aims to give rigorous estimation for all error appearing in numerial compuations, provides a new approch to the solution existence proof to Navier-Stokes equation. In this talk, I will explain the basic idea of verified computing and show the latest progress in this field, which includes my recent research on rigorous error estimation for finite element method solution of dfferential equations.

Keyword: Navier-Stokes equation, finite element method, computer-assited proof 
  科大主页 | 国家数学与交叉科学中心(合肥) | 中科院吴文俊数学重点实验室 |
中科院数学与系统科学研究院 | 北京国际数学研究中心 | 安徽省数学会