# Numerical verification methods for solutions of semilinear elliptic boundary value problems

@article{Nakao2011NumericalVM, title={Numerical verification methods for solutions of semilinear elliptic boundary value problems}, author={Mitsuhiro T. Nakao and Yoshitaka Watanabe}, journal={Nonlinear Theory and Its Applications, IEICE}, year={2011}, volume={2}, pages={2-31} }

This article describes a survey on numerical verification methods for second-order semilinear elliptic boundary value problems introduced by authors and their colleagues. Here “numerical verification” means a computer-assisted numerical method for proving the existence of a solution in a close and explicit neighborhood of an approximate solution. Three kinds of methods based on the infinite dimensional fixed-point theorems using Newton-like operator will be presented. In each verification…

## 37 Citations

### Numerical verification method for positive solutions of elliptic problems

- Mathematics, Computer ScienceJ. Comput. Appl. Math.
- 2020

### Verified computations to semilinear elliptic boundary value problems on arbitrary polygonal domains

- Mathematics
- 2013

In this paper, a numerical verification method is presented for second-order semilinear elliptic boundary value problems on arbitrary polygonal domains. Based on the NewtonKantorovich theorem, our…

### A Method of Verified Computations for Solutions to Semilinear Parabolic Equations Using Semigroup Theory

- MathematicsSIAM J. Numer. Anal.
- 2017

A recursive scheme to extend a time interval in which the validity of the solution can be verified and the existence of a global-in-time solution is demonstrated for a certain semilinear parabolic equation.

### On verified computations of solutions for nonlinear parabolic problems

- Mathematics
- 2014

: We consider the methods for guaranteed computations of solutions for nonlinear parabolic initial-boundary value problems. First, in order to make the basic principle clear, we brieﬂy introduce the…

### Numerical verification methods for a system of elliptic PDEs, and their software library

- Computer Science, MathematicsNonlinear Theory and Its Applications, IEICE
- 2021

Existing verification methods are reformulated using a convergence theorem for simplified Newton-like methods in the direct product space of a computable finite-dimensional space Vh and its orthogonal complement space V⊥ to provide verification methods of solutions to PDEs.

### Rigorous numerical computations for 1D advection equations with variable coefficients

- Mathematics, Computer ScienceJapan Journal of Industrial and Applied Mathematics
- 2019

The provided method is regarded as an efficient application of semigroup theory in a sequence space associated with the Fourier series of unknown functions as well as a foundational approach of verified numerical computations for hyperbolic PDEs.

### Numerical verification method for positiveness of solutions to elliptic equations

- Mathematics, Computer Science
- 2016

A sufficient condition for a solution to an elliptic equation to be positive in the domain of the equation is provided, which can be checked numerically without requiring a complicated computation.

### A simple numerical verification method for differential equations based on infinite dimensional sequential iteration

- Mathematics
- 2013

This paper describes a numerical verification of solutions for infinite dimensional functional equations based on residual form and sequential iteration. Comparing with other verification procedures…

### Verified numerical computation for semilinear elliptic problems with lack of Lipschitz continuity of the first derivative

- Mathematics
- 2016

In this paper, we propose a numerical method for verifying solutions to the semilinear elliptic equation -{\Delta}u=f(u) with homogeneous Dirichlet boundary condition. In particular, we consider the…

### A posteriori verification for the sign-change structure of elliptic problems.

- Mathematics
- 2020

This paper proposes a method for rigorously analyzing the sign-change structure of solutions to elliptic problems subject to one of the three types of homogeneous boundary conditions: Dirichlet,…

## References

SHOWING 1-10 OF 113 REFERENCES

### Computer-assisted proofs for semilinear elliptic boundary value problems

- Mathematics
- 2009

For second-order semilinear elliptic boundary value problems on bounded or unbounded domains, a general computer-assisted method for proving the existence of a solution in a “close” and explicit…

### An Efficient Approach to the Numerical Verification for Solutions of Elliptic Differential Equations

- MathematicsNumerical Algorithms
- 2004

An alternative method to overcome the difficulty of verifying the accuracy of numerical verification methods for solutions of second-order elliptic boundary value problems based on the infinite-dimensional fixed-point theorem is proposed.

### A numerical verification method for the existence of weak solutions for nonlinear boundary value problems

- Mathematics
- 1992

### On very accurate verification of solutions for boundary value problems by using spectral methods

- MathematicsJSIAM Lett.
- 2009

A constructive error estimates for the H 0 -projection into polynomial spaces are derived by using the property of the Legendre polynomials and the Galerkin approximation with higher degree polynoms enables us to get very small residual errors.

### Numerical verifications of solutions for nonlinear elliptic equations

- Mathematics
- 1993

A numerical technique which enables us to verify the existence of weak solutions for nonlinear elliptic boundary value problems is proposed. It is based on the infinite dimensional fixed point…

### Numerical verifications for eigenvalues of second-order elliptic operators

- Mathematics
- 1999

In this paper, we consider a numerical technique to verify the exact eigenvalues and eigenfunctions of second-order elliptic operators in some neighborhood of their approximations. This technique is…

### Solving nonlinear parabolic problems with result verification Part I: one-space dimensional case

- Mathematics
- 1991

### On computational proofs of the existence of solutions to nonlinear parabolic problems

- Mathematics
- 1994

### A Computational Verification Method of Existence of Solutions for Nonlinear Elliptic Equations

- Mathematics
- 1989

### Numerical verifications of solutions for elliptic equations with strong nonlinearity

- Mathematics
- 1991

Numerical methods for automatic proof of the existence and the local uniqueness of weak solutions of elliptic boundary value problems with strongly nonlinear terms are proposed. They are based on the…