Summary
2011 International Symposium on Nonlinear Theory and Its Applications
2011
Session Number:A2L-A
Session:
Number:A2L-A3
On verified computation of laplacian eigenvalues over polygonal domain
Xuefeng Liu, Shin’ichi Oishi,
pp.86-89
Publication Date:2011/9/4
Online ISSN:2188-5079
DOI:10.34385/proc.45.A2L-A3
PDF download (318.3KB)
Summary:
For the eigenvalue problem of Laplace operator over general polygonal domain Ω ⊂ R2, we consider developing numerical method to give verified upper and lower bounds for the leading eigenvalues on polygonal domain with any shape. As all the error, such as the error in space approximation and the one in rounding computation of floating-point number, is totally estimated, the computation result is mathematically correct. Such kind of result can help us explore the solution of nonlinear partial differential equations.