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

@article{Sekine2019ANF, title={A new formulation for the numerical proof of the existence of solutions to elliptic problems}, author={Kouta Sekine and Mitsuhiro T. Nakao and Shin'ichi Oishi}, journal={ArXiv}, year={2019}, volume={abs/1910.00759} }

Infinite-dimensional Newton methods can be effectively used to derive numerical proofs of the existence of solutions to partial differential equations (PDEs). In computer-assisted proofs of PDEs, the original problem is transformed into the infinite Newton-type fixed point equation $w = - {\mathcal L}^{-1} {\mathcal F}(\hat{u}) + {\mathcal L}^{-1} {\mathcal G}(w)$, where ${\mathcal L}$ is a linearized operator, ${\mathcal F}(\hat{u})$ is a residual, and ${\mathcal G}(w)$ is a local Lipschitz…

## One Citation

## References

SHOWING 1-10 OF 22 REFERENCES

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 numerical approach to the proof of existence of solutions for elliptic problems

- Mathematics
- 1988

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…

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

- Mathematics
- 1988

This paper is a continuation of the preceding study ([2]) in which we described an automatic proof by computer, utilizing Schauder’s fixed point theorem, of the existence of weak solutions for…

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 posteriori estimates of inverse operators for boundary value problems in linear elliptic partial differential equations

- MathematicsMath. Comput.
- 2013

This paper presents constructive a posteriori estimates of inverse operators for boundary value problems in linear elliptic partial differential equations (PDEs) on a bounded domain. This type of…

Numerical verification of existence and inclusion of solutions for nonlinear operator equations

- Mathematics
- 1995

Guaranteed error bounds for finite element approximations of noncoercive elliptic problems and their applications

- Mathematics, Computer Science
- 2008

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…

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.