An Approach to The Numerical Verification of Solutions for Nonlinear Elliptic Problems With Local Uniqueness

DOI10.1080/01630569908816910zbMath0938.65137OpenAlexW1996282011MaRDI QIDQ4265782

Nobito Yamamoto, Kaori Nagatou, Mitsuhiro T. Nakao

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

zbMATH Keywords

numerical exampleexistencelocal uniquenessnonlinear elliptic equationsresult verificationEmden equation

Mathematics Subject Classification ID

Nonlinear elliptic equations (35J60) Finite element, Rayleigh-Ritz and Galerkin methods for boundary value problems involving PDEs (65N30) Algorithms with automatic result verification (65G20)

Related Items (18)

VERIFIED NUMERICAL COMPUTATIONS FOR EIGENVALUES OF NON-COMMUTATIVE HARMONIC OSCILLATORS ⋮ A posteriori error bounds for two point boundary value problems: a Green's function approach ⋮ Computer-assisted proofs for semilinear elliptic boundary value problems ⋮ Numerical verification method of solutions for elliptic equations and its application to the Rayleigh-Bénard problem ⋮ Numerical verification method for infinite dimensional eigenvalue problems ⋮ Computer assisted proofs of bifurcating solutions for nonlinear heat convection problems ⋮ Computer-assisted equilibrium validation for the diblock copolymer model ⋮ An enclosure method of eigenvalues for the elliptic operator linearized at an exact solution of nonlinear 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 ⋮ NUMERICAL VERIFICATION METHODS FOR SOLUTIONS OF ORDINARY AND PARTIAL DIFFERENTIAL EQUATIONS ⋮ The Kantorovich theorem and interior point methods ⋮ A computer-assisted existence and multiplicity proof for travelling waves in a nonlinearly supported beam ⋮ Verified numerical computations for an inverse elliptic eigenvalue problem with finite data ⋮ Numerical existence and uniqueness proof for solutions of nonlinear hyperbolic equations ⋮ Computer-assisted proofs of the existence of a symmetry-breaking bifurcation point for the Kolmogorov problem ⋮ Computer-assisted proofs in PDE: a survey ⋮ Orbital stability investigations for travelling waves in a nonlinearly supported beam

Uses Software

• PROFIL/BIAS

Cites Work

• Unnamed Item
• Unnamed Item
• Numerical verifications of solutions for nonlinear elliptic equations
• Eigenvalue inclusions for second-order ordinary differential operators by a numerical homotopy method
• On the solution of interval linear systems
• Bounds for eigenvalues of second-order elliptic differential operators
• 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
• Best constant in Sobolev inequality
• PROFIL/BIAS - A fast interval library
• Numerical verification of solutions for nonlinear elliptic problems using an \(L^\infty\) residual method
• Existence and enclosure results for continua of solutions of parameter- dependent nonlinear boundary value problems
• Numerical verifications for solutions to elliptic equations using residual iterations with a higher order finite element
• 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

This page was built for publication: An Approach to The Numerical Verification of Solutions for Nonlinear Elliptic Problems With Local Uniqueness