On a posteriori estimates of inverse operators for linear parabolic initial-boundary value problems

DOI10.1007/s00607-011-0180-xzbMath1246.65173OpenAlexW2054838492MaRDI QIDQ411417

Takehiko Kinoshita, Mitsuhiro T. Nakao, Takuma Kimura

Publication date: 4 April 2012

Published in: Computing (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s00607-011-0180-x

zbMATH Keywords

error estimatesnumerical examplesinverse operatorslinear parabolic differential equationsGalerkin finite element methodsnumerically verified estimates

Mathematics Subject Classification ID

Initial-boundary value problems for second-order parabolic equations (35K20) Finite element, Rayleigh-Ritz and Galerkin methods for initial value and initial-boundary value problems involving PDEs (65M60) Error bounds for initial value and initial-boundary value problems involving PDEs (65M15) Method of lines for initial value and initial-boundary value problems involving PDEs (65M20) Error analysis and interval analysis (65G99)

Related Items

Numerical verification for solutions to partial differential equations ⋮ A Method of Verified Computations for Solutions to Semilinear Parabolic Equations Using Semigroup Theory ⋮ A posteriori estimates of inverse operators for initial value problems in linear ordinary differential equations ⋮ On the a posteriori estimates for inverse operators of linear parabolic equations with applications to the numerical enclosure of solutions for nonlinear problems ⋮ Error constants for the semi-discrete Galerkin approximation of the linear heat equation ⋮ Numerical verification for existence of a global-in-time solution to semilinear parabolic equations ⋮ Rigorous a-posteriori analysis using numerical eigenvalue bounds in a surface growth model ⋮ Rigorous numerical verification of uniqueness and smoothness in a surface growth model

Uses Software

• INTLAB

Cites Work

• Unnamed Item
• Unnamed Item
• A posteriori estimates of inverse operators for initial value problems in linear ordinary differential equations
• Solving nonlinear parabolic problems with result verification. I: One- space dimensional case
• On the best constant in the error bound for the \(H_0^1\)-projection into piecewise polynomial spaces
• Numerical existence and uniqueness proof for solutions of semilinear parabolic equations
• A numerical method to verify the invertibility of linear elliptic operators with applications to nonlinear problems
• On the Smoothing Property of the Galerkin Method for Parabolic Equations