An Approach to The Numerical Verification of Solutions for Nonlinear Elliptic Problems With Local Uniqueness
DOI10.1080/01630569908816910zbMATH Open0938.65137OpenAlexW1996282011MaRDI QIDQ4265782FDOQ4265782
Kaori Nagatou, Mitsuhiro T. Nakao, Nobito Yamamoto
Publication date: 5 June 2000
Published in: Numerical Functional Analysis and Optimization (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1080/01630569908816910
existencenumerical examplenonlinear elliptic equationslocal uniquenessEmden equationresult verification
Nonlinear elliptic equations (35J60) Finite element, Rayleigh-Ritz and Galerkin methods for boundary value problems involving PDEs (65N30) Algorithms with automatic result verification (65G20)
Cites Work
- Title not available (Why is that?)
- Title not available (Why is that?)
- PROFIL/BIAS - A fast interval library
- Best constant in Sobolev inequality
- On the solution of interval linear systems
- A numerical verification method for the existence of weak solutions for nonlinear boundary value problems
- Explicit \(H_ 2\)-estimates and pointwise bounds for solutions of second- order elliptic boundary value problems
- Existence and enclosure results for continua of solutions of parameter- dependent nonlinear boundary value problems
- A numerical approach to the proof of existence of solutions for elliptic problems II
- A numerical approach to the proof of existence of solutions for elliptic problems
- A Numerical Verification Method for Solutions of Boundary Value Problems with Local Uniqueness by Banach's Fixed-Point Theorem
- Bounds for eigenvalues of second-order elliptic differential operators
- Numerical verification of solutions for nonlinear elliptic problems using an \(L^\infty\) residual method
- Numerical verifications for solutions to elliptic equations using residual iterations with a higher order finite element
- Numerical verifications of solutions for nonlinear elliptic equations
- Eigenvalue inclusions for second-order ordinary differential operators by a numerical homotopy method
Cited In (21)
- Verified numerical computations for an inverse elliptic eigenvalue problem with finite data
- Numerical verification of the global uniqueness of a positive solution for Nekrasov's equation
- Numerical existence and uniqueness proof for solutions of nonlinear hyperbolic equations
- An enclosure method of eigenvalues for the elliptic operator linearized at an exact solution of nonlinear problems
- Numerical verification method for infinite dimensional eigenvalue problems
- Computer assisted proofs of bifurcating solutions for nonlinear heat convection problems
- The Kantorovich theorem and interior point methods
- Numerical verification method of solutions for elliptic equations and its application to the Rayleigh-Bénard problem
- A computer-assisted existence and multiplicity proof for travelling waves in a nonlinearly supported beam
- Computer-assisted proofs of the existence of a symmetry-breaking bifurcation point for the Kolmogorov problem
- Computer-assisted proofs in PDE: a survey
- A posteriori error bounds for two point boundary value problems: a Green's function approach
- Computer-assisted proofs for semilinear elliptic boundary value problems
- A weak Kantorovich existence theorem for the solution of nonlinear equations
- A numerical method to verify the invertibility of linear elliptic operators with applications to nonlinear problems
- Orbital stability investigations for travelling waves in a nonlinearly supported beam
- VERIFIED NUMERICAL COMPUTATIONS FOR EIGENVALUES OF NON-COMMUTATIVE HARMONIC OSCILLATORS
- An efficient approach to the numerical verification for solutions of elliptic differential equations
- A Theorem for Numerical Verification on Local Uniqueness of Solutions to Fixed-Point Equations
- Computer-assisted equilibrium validation for the diblock copolymer model
- NUMERICAL VERIFICATION METHODS FOR SOLUTIONS OF ORDINARY AND PARTIAL DIFFERENTIAL EQUATIONS
Uses Software
This page was built for publication: An Approach to The Numerical Verification of Solutions for Nonlinear Elliptic Problems With Local Uniqueness
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4265782)
