Numerical verifications of solutions for nonlinear elliptic equations
From MaRDI portal
Publication:689912
DOI10.1007/BF03167208zbMATH Open0784.65082OpenAlexW2054143717MaRDI QIDQ689912FDOQ689912
Authors: Yoshitaka Watanabe, Mitsuhiro T. Nakao 
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
Recommendations
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)
Cites Work
- On the Existence of Positive Solutions of Semilinear Elliptic Equations
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- A numerical verification method for the existence of weak solutions for 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 Posteriori Error Bounds for Two-Point Boundary Value Problems
- Title not available (Why is that?)
- 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
- Title not available (Why is that?)
- A method of bivariate interpolation and smooth surface fitting based on local procedures
Cited In (41)
- 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^\infty\) 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
- 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
- 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 verifications for solutions to elliptic equations using residual iterations with a higher order finite element
- A constructive a priori error estimation for finite element discretizations in a non-convex domain using singular functions
- 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_0^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
- Title not available (Why is that?)
- A posteriori and constructive a priori error bounds for finite element solutions of the Stokes equations
- Title not available (Why is that?)
- A computer-assisted proof on the stability of the Kolmogorov flows of incompressible viscous fluid
- Title not available (Why is that?)
- Numerical verifications for eigenvalues of second-order elliptic operators
- 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
- On computational proofs of the existence of solutions to nonlinear parabolic problems
- An efficient approach to the numerical verification for solutions of elliptic differential equations
- Title not available (Why is that?)
- Title not available (Why is that?)
- Numerical verification of solutions for variational inequalities
- Numerical verification of solutions of parametrized nonlinear boundary value problems with turning points
- Title not available (Why is that?)
- Numerical verification of solutions for a simplified Signorini problem
- Numerical verification for solutions to partial differential equations
- Numerical Verification of the Hasselmann equation
- Numerical verification method for positive solutions of elliptic problems
- A numerical verification method for two-coupled elliptic partial differential equations
- NUMERICAL VERIFICATION METHODS FOR SOLUTIONS OF ORDINARY AND 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)
