An Approach to The Numerical Verification of Solutions for Nonlinear Elliptic Problems With Local Uniqueness
From MaRDI portal
Publication:4265782
Cites work
- scientific article; zbMATH DE number 3933857 (Why is no real title available?)
- scientific article; zbMATH DE number 3491650 (Why is no real title available?)
- A Numerical Verification Method for Solutions of Boundary Value Problems with Local Uniqueness by Banach's Fixed-Point Theorem
- A numerical approach to the proof of existence of solutions for elliptic problems
- A numerical approach to the proof of existence of solutions for elliptic problems II
- A numerical verification method for the existence of weak solutions for nonlinear boundary value problems
- Best constant in Sobolev inequality
- Bounds for eigenvalues of second-order elliptic differential operators
- Eigenvalue inclusions for second-order ordinary differential operators by a numerical homotopy method
- Existence and enclosure results for continua of solutions of parameter- dependent nonlinear boundary value problems
- Explicit \(H_ 2\)-estimates and pointwise bounds for solutions of second- order elliptic boundary value problems
- Numerical verification of solutions for nonlinear elliptic problems using an L^ 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
- On the solution of interval linear systems
- PROFIL/BIAS - A fast interval library
Cited in
(21)- NUMERICAL VERIFICATION METHODS FOR SOLUTIONS OF ORDINARY AND PARTIAL DIFFERENTIAL EQUATIONS
- Numerical verification of the global uniqueness of a positive solution for Nekrasov's equation
- Verified numerical computations for an inverse elliptic eigenvalue problem with finite data
- Numerical existence and uniqueness proof for solutions of nonlinear hyperbolic equations
- Numerical verification method for infinite dimensional eigenvalue problems
- An enclosure method of eigenvalues for the elliptic operator linearized at an exact solution of nonlinear 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
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)
