Nonlinear Theory and Its Applications, IEICE
Online ISSN : 2185-4106
ISSN-L : 2185-4106
Special Section on Verified Numerical Computations, Part II
Numerical verification methods for a system of elliptic PDEs, and their software library
Kouta SekineMitsuhiro T. NakaoShin'ichi Oishi
Author information

2021 Volume 12 Issue 1 Pages 41-74


Since the numerical verification method for solving boundary value problems for elliptic partial differential equations (PDEs) was first developed in 1988, many methods have been devised. In this paper, existing verification methods are reformulated using a convergence theorem for simplified Newton-like methods in the direct product space Vh × V of a computable finite-dimensional space Vh and its orthogonal complement space V. Additionally, the Verified Computation for PDEs (VCP) library is provided, which is a software library written in the C++ programming language. The VCP library is introduced as a software library for numerical verification methods of solutions to PDEs. Finally, numerical examples are presented using the reformulated verification methods and VCP library.

Content from these authors
© 2021 The Institute of Electronics, Information and Communication Engineers
Previous article Next article