On very accurate enclosure of the optimal constant in the a priori error estimates for \(H_0^2\)-projection

DOI10.1016/j.cam.2009.12.044zbMath1190.65166OpenAlexW2026357264MaRDI QIDQ964975

Mitsuhiro T. Nakao, Takehiko Kinoshita

Publication date: 21 April 2010

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

Full work available at URL: https://doi.org/10.1016/j.cam.2009.12.044

zbMATH Keywords

finite element methodspectral methodLegendre polynomialsconstructive a priori error estimatesnonlinear fourth-order elliptic problems

Mathematics Subject Classification ID

Spectral, collocation and related methods for boundary value problems involving PDEs (65N35) Boundary value problems for higher-order elliptic equations (35J40) Error bounds for boundary value problems involving PDEs (65N15) Finite element, Rayleigh-Ritz and Galerkin methods for boundary value problems involving PDEs (65N30)

Related Items

Efficient approaches for verifying the existence and bound of inverse of linear operators in Hilbert spaces ⋮ An alternative approach to norm bound computation for inverses of linear operators in Hilbert spaces ⋮ Direct numerical methods dedicated to second-order ordinary differential equations ⋮ Inclusion method of optimal constant with quadratic convergence for \(H_0^1\)-projection error estimates and its applications

Uses Software

• INTERVAL_ARITHMETIC

Cites Work

• Unnamed Item
• Unnamed Item
• Numerical verifications of solutions for nonlinear elliptic equations
• A numerical verification method for the existence of weak solutions for nonlinear boundary value problems
• On the best constant in the error bound for the \(H_0^1\)-projection into piecewise polynomial spaces
• Numerical verifications of solutions for elliptic equations in nonconvex polygonal domains
• Techniques of scientific computing (Part 2)
• Numerical verification of solutions for nonlinear elliptic problems using an \(L^\infty\) residual method
• Numerical verifications for solutions to elliptic equations using residual iterations with a higher order finite element
• A computer-assisted instability proof for the Orr-Sommerfeld problem with Poiseuille flow
• Algorithm 763: INTERVAL_ARITHMETIC