Open Collections

Guaranteed eigenvalue estimation for differential operators and its application in mathematical proof

Banff International Research Station for Mathematical Innovation and Discovery

Verified computing is a newly developed methodology to estimate all errors in numerical computing and provide mathematically rigorous results. Recently, there have been several newly developed verified computing methods to give guaranteed eigenvalue estimation for differential operators. In this talk, I will explain basic concepts about verified computing and give a survey on guaranteed eigenvalue estimation methods. Particularly, the newly developed verified eigenvalue estimation method based on finite element method (FEM) will be introduced in detail. Such a method has been successfully applied to various differential operators, for example, the Laplace, the Biharmonic, the Stokes, the Steklov operators. Also, applications of the guaranteed eigenvalue estimation in mathematical proof will be introduced. As an example, I will show the latest result on solution existence proof about the Navier-Stokes equation in 3D space.

Mathematics; Numerical analysis; Computer science; Global analysis

video/mp4

Author affiliation: Niigata University

2019-03-20

Attribution-NonCommercial-NoDerivatives 4.0 International

http://hdl.handle.net/2429/68987

Unreviewed

http://creativecommons.org/licenses/by-nc-nd/4.0/