Numerical verifications of solutions for nonlinear elliptic equations

DOI10.1007/BF03167208zbMath0784.65082OpenAlexW2054143717MaRDI QIDQ689912

Mitsuhiro T. Nakao, Yoshitaka Watanabe

Publication date: 29 March 1994

Published in: Japan Journal of Industrial and Applied Mathematics (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/bf03167208

zbMATH Keywords

convergenceerror estimatesnumerical examplesfinite elementnonlinear elliptic problemsNewton-like verification method

Mathematics Subject Classification ID

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)

Related Items

Numerical verifications of solutions for elliptic equations in nonconvex polygonal domains, A computer-assisted proof on the stability of the Kolmogorov flows of incompressible viscous fluid, On computational proofs of the existence of solutions to nonlinear parabolic problems, An Approach to The Numerical Verification of Solutions for Nonlinear Elliptic Problems With Local Uniqueness, A numerical verification method for two-coupled elliptic partial differential equations, 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, Improved convergence theorems of Newton's method designed for the numerical verification for solutions of differential equations, Numerical verification of solutions of parametrized nonlinear boundary value problems with turning points, Numerical verification for solutions to partial differential equations, Numerical verification of solutions for nonlinear elliptic problems using an \(L^\infty\) residual method, 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, Verified computations of solutions for nondifferentiable elliptic equations related to MHD equilibria, An enclosure method of eigenvalues for the elliptic operator linearized at an exact solution of nonlinear problems, On very accurate enclosure of the optimal constant in the a priori error estimates for \(H_0^2\)-projection, Numerical verifications for eigenvalues of second-order elliptic operators, NUMERICAL VERIFICATION METHODS FOR SOLUTIONS OF ORDINARY AND PARTIAL DIFFERENTIAL EQUATIONS, Verified numerical computations for an inverse elliptic eigenvalue problem with finite data, On the best constant in the error bound for the \(H_0^1\)-projection into piecewise polynomial spaces, A posteriori and constructive a priori error bounds for finite element solutions of the Stokes equations

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• 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
• The Pseudo-Spectral Method and Path Following in Reaction-Diffusion Bifurcation Studies
• A numerical approach to the proof of existence of solutions for elliptic problems II
• 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 Posteriori Error Bounds for Two-Point Boundary Value Problems
• On the Existence of Positive Solutions of Semilinear Elliptic Equations