An alternative approach to norm bound computation for inverses of linear operators in Hilbert spaces
type: Item
instance of: scholarly article
title: An alternative approach to norm bound computation for inverses of linear operators in Hilbert spaces
zbMATH Open document ID: 1506.65069
author: Takehiko Kinoshita
author: Yoshitaka Watanabe
author: Mitsuhiro T. Nakao
published in: Journal of Differential Equations
publication date: 2019-03-26T00:00:00Z
Mathematics Subject Classification ID: 65J10
Mathematics Subject Classification ID: 65G20
Mathematics Subject Classification ID: 35P15
Mathematics Subject Classification ID: 47F05
zbMATH DE Number: 7041840
zbMATH Keywords: numerical verification
zbMATH Keywords: solvability of linear problem
zbMATH Keywords: differential operators
describes a project that uses: INTLAB
MaRDI profile type: Publication
full work available at URL: j.jde.2018.10.027
OpenAlex ID: W2899096038
cites work: Computer-assisted methods for the study of stationary solutions in dissipative systems, applied to the Kuramoto-Sivashinski equation
cites work: Non-symmetric low-index solutions for a symmetric boundary value problem
cites work: Two novel methods and multi-mode periodic solutions for the Fermi-Pasta-Ulam model
cites work: Q4162607
cites work: Validated Continuation for Equilibria of PDEs
cites work: A Framework for the Numerical Computation and A Posteriori Verification of Invariant Objects of Evolution Equations
cites work: Analytic estimates and rigorous continuation for equilibria of higher-dimensional PDEs
cites work: Rigorous computation of smooth branches of equilibria for the three dimensional Cahn-Hilliard equation
cites work: Efficient rigorous numerics for higher-dimensional PDEs via one-dimensional estimates
cites work: Q3470840
cites work: Rigorous numerics for analytic solutions of differential equations: the radii polynomial approach
cites work: On theL2a PrioriError Estimates to the Finite Element Solution of Elliptic Problems with Singular Adjoint Operator
cites work: On very accurate enclosure of the optimal constant in the a priori error estimates for \(H_0^2\)-projection
cites work: Some Remarks on the Rigorous Estimation of Inverse Linear Elliptic Operators
cites work: Determination of the Babuska-Aziz constant for the linear triangular finite element
cites work: A constructive a priori error estimation for finite element discretizations in a non-convex domain using singular functions
cites work: A priori error estimates for Lagrange interpolation on triangles.
cites work: Verified eigenvalue evaluation for the Laplacian over polygonal domains of arbitrary shape
cites work: Numerical verification of stationary solutions for Navier-Stokes problems
cites work: Numerical verification method for infinite dimensional eigenvalue problems
cites work: On the best constant in the error bound for the \(H_0^1\)-projection into piecewise polynomial spaces
cites work: Q4860584
cites work: Numerical verification of solutions for nonlinear elliptic problems using an \(L^\infty\) residual method
cites work: Q2765619
cites work: Q2765426
cites work: NUMERICAL VERIFICATION METHODS FOR SOLUTIONS OF ORDINARY AND PARTIAL DIFFERENTIAL EQUATIONS
cites work: A numerical method to verify the invertibility of linear elliptic operators with applications to nonlinear problems
cites work: Guaranteed error bounds for finite element approximations of noncoercive elliptic problems and their applications
cites work: Some remarks on the behaviour of the finite element solution in nonsmooth domains
cites work: Some considerations of the invertibility verifications for linear elliptic operators
cites work: Numerical verification of existence and inclusion of solutions for nonlinear operator equations
cites work: Existence and multiplicity proofs for semilinear elliptic boundary value problems by computer assistance
cites work: Q4949347
cites work: Verified bounds for singular values, in particular for the spectral norm of a matrix and its inverse
cites work: Rigorous numerics in dynamics
cites work: Global smooth solution curves using rigorous branch following
cites work: A numerical verification of nontrivial solutions for the heat convection problem
cites work: A computer-assisted instability proof for the Orr-Sommerfeld problem with Poiseuille flow
cites work: A posteriori estimates of inverse operators for boundary value problems in linear elliptic partial differential equations
cites work: Verified Computations of Eigenvalue Exclosures for Eigenvalue Problems in Hilbert Spaces
cites work: Norm bound computation for inverses of linear operators in Hilbert spaces
cites work: A numerical verification method for nonlinear functional equations based on infinite-dimensional Newton-like iteration
cites work: Numerical verifications of solutions for elliptic equations in nonconvex polygonal domains
cites work: Error estimation with guaranteed accuracy of finite element method in nonconvex polygonal domains.
cites work: On error estimation of finite element approximations to the elliptic equations in nonconvex polygonal domains
DOI: 10.1016/J.JDE.2018.10.027
description: scientific article; zbMATH DE number 7041840