We're sorry but this page doesn't work properly without JavaScript enabled. Please enable it to continue.
Feedback

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

00:00

Formal Metadata

Title
Guaranteed eigenvalue estimation for differential operators and its application in mathematical proof
Title of Series
Number of Parts
22
Author
License
CC Attribution - NonCommercial - NoDerivatives 4.0 International:
You are free to use, copy, distribute and transmit the work or content in unchanged form for any legal and non-commercial purpose as long as the work is attributed to the author in the manner specified by the author or licensor.
Identifiers
Publisher
Release Date
Language

Content Metadata

Subject Area
Genre
Abstract
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.