Numerical verifications of solutions for nonlinear elliptic equations
From MaRDI portal
(Redirected from Publication:689912)
convergencenumerical exampleserror estimatesfinite elementnonlinear elliptic problemsNewton-like verification method
Numerical computation of solutions to systems of equations (65H10) Nonlinear boundary value problems for linear elliptic equations (35J65) Stability and convergence of numerical methods for boundary value problems involving PDEs (65N12) Finite element, Rayleigh-Ritz and Galerkin methods for boundary value problems involving PDEs (65N30)
Recommendations
Cites work
- scientific article; zbMATH DE number 3854346 (Why is no real title available?)
- scientific article; zbMATH DE number 3874497 (Why is no real title available?)
- scientific article; zbMATH DE number 3933857 (Why is no real title available?)
- scientific article; zbMATH DE number 3596197 (Why is no real title available?)
- scientific article; zbMATH DE number 3801985 (Why is no real title available?)
- A Posteriori Error Bounds for Two-Point Boundary Value Problems
- A method of bivariate interpolation and smooth surface fitting based on local procedures
- 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
- Numerical existence proofs and explicit bounds for solutions of nonlinear elliptic boundary value problems
- On the Existence of Positive Solutions of Semilinear Elliptic Equations
- The Pseudo-Spectral Method and Path Following in Reaction-Diffusion Bifurcation Studies
Cited in
(41)- NUMERICAL VERIFICATION METHODS FOR SOLUTIONS OF ORDINARY AND PARTIAL DIFFERENTIAL EQUATIONS
- On very accurate enclosure of the optimal constant in the a priori error estimates for \(H_0^2\)-projection
- Numerical verifications of solutions for elliptic equations in nonconvex polygonal domains
- Numerical verification of solutions for nonlinear elliptic problems using an L^ residual method
- On very accurate verification of solutions for boundary value problems by using spectral methods
- Numerical verification of solutions of Nekrasov's integral equation
- 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
- A constructive a priori error estimation for finite element discretizations in a non-convex domain using singular functions
- Numerical verifications for solutions to elliptic equations using residual iterations with a higher order finite element
- An enclosure method of eigenvalues for the elliptic operator linearized at an exact solution of nonlinear problems
- Numerical Verification Methods for Solutions of the Free Boundary Problem
- Numerical verification methods for differential equations: computer-assisted proofs based on infinite dimensional sequential iteration
- An Approach to The Numerical Verification of Solutions for Nonlinear Elliptic Problems With Local Uniqueness
- Numerical verification for elliptic boundary value problem with nonconforming \(\mathcal{P}_1\) finite elements
- On the best constant in the error bound for the H₀^1-projection into piecewise polynomial spaces
- Numerical verification method of solutions for elliptic equations and its application to the Rayleigh-Bénard problem
- Improved convergence theorems of Newton's method designed for the numerical verification for solutions of differential equations
- A numerical verification method for the existence of weak solutions for nonlinear boundary value problems
- Verification of a Numerical Solution to a Collocation Problem
- Numerical verification of existence and inclusion of solutions for nonlinear operator equations
- A posteriori and constructive a priori error bounds for finite element solutions of the Stokes equations
- scientific article; zbMATH DE number 4150839 (Why is no real title available?)
- scientific article; zbMATH DE number 524096 (Why is no real title available?)
- A computer-assisted proof on the stability of the Kolmogorov flows of incompressible viscous fluid
- Numerical verifications for eigenvalues of second-order elliptic operators
- scientific article; zbMATH DE number 799237 (Why is no real title available?)
- A new formulation using the Schur complement for the numerical existence proof of solutions to elliptic problems: without direct estimation for an inverse of the linearized operator
- On computational proofs of the existence of solutions to nonlinear parabolic problems
- Verified computations of solutions for nondifferentiable elliptic equations related to MHD equilibria
- An efficient approach to the numerical verification for solutions of elliptic differential equations
- scientific article; zbMATH DE number 440800 (Why is no real title available?)
- scientific article; zbMATH DE number 5785599 (Why is no real title available?)
- Numerical verification of solutions for variational inequalities
- Numerical verification of solutions of parametrized nonlinear boundary value problems with turning points
- Numerical verification of solutions for a simplified Signorini problem
- scientific article; zbMATH DE number 176421 (Why is no real title available?)
- Numerical verification method for positive solutions of elliptic problems
- Numerical verification for solutions to partial differential equations
- Numerical Verification of the Hasselmann equation
- A numerical verification method for two-coupled elliptic partial differential equations
This page was built for publication: Numerical verifications of solutions for nonlinear elliptic equations
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q689912)
