Summary

International Symposium on Nonlinear Theory and its Applications

2010

Session Number:A3L-A

Session:

Number:A3L-A1

Computer assisted proofs of solutions to Nonlinear elliptic partial differential equations

Akitoshi Takayasu,  Shin’ichi Oishi,  Takayuki Kubo,  

pp.135-138

Publication Date:2010/9/5

Online ISSN:2188-5079

DOI:10.34385/proc.44.A3L-A1

PDF download (325.3KB)

Summary:
In this article, a numerical method is presented for computer assisted proofs to the existence and uniqueness of solutions to Dirichlet boundary value problems in a certain class of nonlinear elliptic equations. In a weak formulation of the problem, a weak solution is described as a zero point of a certain nonlinear map. Based on Newton-Kantorovich theorem, a numerical existence and local uniqueness of solutions are proved by our proposed method. Some conditions need to be checked numerically. It is shown that all errors of numerical computations such as discretization errors and rounding errors are figured out by numerical computations with result verification. Finally, an illustrative numerical result is presented for showing the usefulness of proposed method.