scientific article; zbMATH DE number 524105
From MaRDI portal
Publication:4284594
zbMath0802.65111MaRDI QIDQ4284594
Publication date: 11 December 1994
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
numerical examplefinite elementnonlinear boundary value probleminterval arithmeticnonlinear Poisson equationresult verificationresidual iteration
Nonlinear boundary value problems for linear elliptic equations (35J65) Error bounds for boundary value problems involving PDEs (65N15) Finite element, Rayleigh-Ritz and Galerkin methods for boundary value problems involving PDEs (65N30) Interval and finite arithmetic (65G30)
Related Items (23)
New solutions of the Gelfand problem ⋮ An efficient numerical verification method for the Kolmogorov problem of incompressible viscous fluid ⋮ A computer-assisted proof for the Kolmogorov flows of incompressible viscous fluid ⋮ A numerical verification method for two-coupled elliptic partial differential equations ⋮ Computer-assisted proofs for semilinear elliptic boundary value problems ⋮ Numerical verifications for solutions to elliptic equations using residual iterations with a higher order finite element ⋮ Numerical verification of solutions of parametrized nonlinear boundary value problems with turning points ⋮ Numerical verification of solutions for nonlinear elliptic problems using an \(L^\infty\) residual method ⋮ Verified bounds for singular values, in particular for the spectral norm of a matrix and its inverse ⋮ Fast interval matrix multiplication ⋮ Verified computations of solutions for nondifferentiable elliptic equations related to MHD equilibria ⋮ A numerical verification method for nonlinear functional equations based on infinite-dimensional Newton-like iteration ⋮ An enclosure method of eigenvalues for the elliptic operator linearized at an exact solution of nonlinear problems ⋮ Computer-assisted enclosure methods for elliptic differential equations ⋮ Numerical verifications for eigenvalues of second-order elliptic operators ⋮ A numerical method to verify the invertibility of linear elliptic operators with applications to nonlinear problems ⋮ 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 ⋮ On the best constant in the error bound for the \(H_0^1\)-projection into piecewise polynomial spaces ⋮ Orbital stability investigations for travelling waves in a nonlinearly supported beam ⋮ A posteriori and constructive a priori error bounds for finite element solutions of the Stokes equations ⋮ Inclusion method of optimal constant with quadratic convergence for \(H_0^1\)-projection error estimates and its applications ⋮ Verified numerical computations for multiple and nearly multiple eigenvalues of elliptic operators
This page was built for publication:
