ncku-talk2018-09-20

Colloquium

DATE 2018-09-20　16:10-17:00

PLACE 數學館3174教室

SPEAKER 劉雪峰副教授（日本新潟大學）

TITLE Approach to the Solution Existence Proof for Navier-Stokes Equation by Using Verified Computing

ABSTRACT As one of the Millennium Prize Problems, the problem of existence and smoothness of the Navier-Stokes equation problem draws the attention of mathematician 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 numerical computations, provides a new approach 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 eigenvalue bounds for differential operators using finite element methods.

Colloquium

DATE	2018-09-20　16:10-17:00

PLACE	數學館3174教室

SPEAKER	劉雪峰副教授（日本新潟大學）

TITLE	Approach to the Solution Existence Proof for Navier-Stokes Equation by Using Verified Computing

ABSTRACT	As one of the Millennium Prize Problems, the problem of existence and smoothness of the Navier-Stokes equation problem draws the attention of mathematician 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 numerical computations, provides a new approach 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 eigenvalue bounds for differential operators using finite element methods.