# A numerical approach to the proof of existence of solutions for elliptic problems

@article{Nakao1988ANA, title={A numerical approach to the proof of existence of solutions for elliptic problems}, author={Mitsuhiro T. Nakao}, journal={Japan Journal of Applied Mathematics}, year={1988}, volume={5}, pages={313-332} }

In this paper, we describe a method which proves by computers the existence of weak solutions for linear elliptic boundary value problems of second order. It is shown that we can constitute the computing procedures to verify the existence, uniqueness and inclusion set of a solution based on Schauder’s fixed point theorem. Using the finite element approximations for some simple Poisson’s equations and the results of error estimates, we generate iteratively a set sequence composed of functions…

## 72 Citations

Numerical Verification Methods for the Solutions of Nonlinear Elliptic and Evolution Problems

- Mathematics
- 1992

In this paper, we consider a numerical technique to enclose the solutions with guaranteed error bounds for nonlinear elliptic bundary value problems as well as its extension to the evolution…

Computer assisted proofs of solutions to Nonlinear elliptic partial di ff erential equations

- Mathematics
- 2010

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…

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.

Numerical verification method for positive solutions of elliptic problems

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

Numerical existence theorem for solutions of two-point boundary value problems of nonlinear differential equations

- Mathematics
- 2010

In this paper, a numerical method is presented for verifying the existence and uniqueness of solutions to two-point boundary value problems of nonlinear ordinary differential equations. Taking into…

A COMPUTATIONAL VERIFICATION METHOD OF SOLUTION WITH UNIQUENESS FOR OBSTACLE PROBLEMS

- Mathematics
- 1998

A numerical method for automatic proof of the existence of solutions for variational inequalities is proposed. It is based on the infinite di mensional fixed point theorem and computable error…

Numerical Verification Method of Solutions for Elliptic Variational Inequalities

- Mathematics
- 2021

In this chapter, we propose numerical techniques which enable us to verify the existence of solutions for the free boundary problems governed by two kinds of elliptic variational inequalities. Based…

Numerical Existence Proofs and Guaranteed Error Bounds for Solutions to Two-Point Boundary Value Problems (Recent Developments of Numerical Analysis and Numerical Computation Algorithms)

- Mathematics
- 2010

Abstract –In this article, a numerical method is presented for verifying the existence and the uniqueness of solutions to two-point boundary value problems of second order ordinary differential…

Numerical verification for existence of a global-in-time solution to semilinear parabolic equations

- MathematicsJ. Comput. Appl. Math.
- 2017

A Numerical Method to Verify the Invertibility of Linear Elliptic Operators with Applications to Nonlinear Problems

- MathematicsComputing
- 2004

A numerical method to verify the invertibility of second-order linear elliptic operators by using the projection and the constructive a priori error estimates based upon the existing verification method originally developed by one of the authors is proposed.