On the a posteriori estimates for inverse operators of linear parabolic equations with applications to the numerical enclosure of solutions for nonlinear problems
DOI10.1007/S00211-013-0575-ZzbMATH Open1293.35062OpenAlexW2008377138WikidataQ59396255 ScholiaQ59396255MaRDI QIDQ2454037FDOQ2454037
Authors: Takehiko Kinoshita, Takuma Kimura, Mitsuhiro T. Nakao 
Publication date: 12 June 2014
Published in: Numerische Mathematik (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/s00211-013-0575-z
Recommendations
- On a posteriori estimates of inverse operators for linear parabolic initial-boundary value problems
- A posteriori estimates of inverse operators for initial value problems in linear ordinary differential equations
- Numerical verifications of solutions for nonlinear parabolic equations in one-space dimensional case
- Reliable and efficient a posteriori error estimates for finite element approximations of the parabolic \(p\)-Laplacian
- scientific article; zbMATH DE number 5785599
A priori estimates in context of PDEs (35B45) Initial-boundary value problems for second-order parabolic equations (35K20) Error bounds for initial value and initial-boundary value problems involving PDEs (65M15) Finite element, Rayleigh-Ritz and Galerkin methods for initial value and initial-boundary value problems involving PDEs (65M60) Theoretical approximation in context of PDEs (35A35)
Cites Work
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Computer-assisted existence proofs for two-point boundary value problems
- Solving nonlinear parabolic problems with result verification. I: One- space dimensional case
- On the Smoothing Property of the Galerkin Method for Parabolic Equations
- 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 a posteriori estimates of inverse operators for linear parabolic initial-boundary value problems
- Title not available (Why is that?)
- A posteriori estimates of inverse operators for initial value problems in linear ordinary differential equations
- Computer-assisted proofs for semilinear elliptic boundary value problems
- Title not available (Why is that?)
- Constructive a priori error estimates for a full discrete approximation of the heat equation
Cited In (12)
- On a posteriori estimates of inverse operators for linear parabolic initial-boundary value problems
- Rigorous numerical inclusion of the blow-up time for the Fujita-type equation
- A posteriori estimates of inverse operators for initial value problems in linear ordinary differential equations
- Constructive error analysis of a full-discrete finite element method for the heat equation
- A Method of Verified Computations for Solutions to Semilinear Parabolic Equations Using Semigroup Theory
- Rigorous FEM for One-Dimensional Burgers Equation
- A posteriori estimates of inverse operators for boundary value problems in linear elliptic partial differential equations
- Rigorous numerics for nonlinear heat equations in the complex plane of time
- Numerical verification for existence of a global-in-time solution to semilinear parabolic equations
- Numerical verification of solutions for nonlinear parabolic problems
- Error constants for the semi-discrete Galerkin approximation of the linear heat equation
- Numerical verification for solutions to partial differential equations
Uses Software
This page was built for publication: On the a posteriori estimates for inverse operators of linear parabolic equations with applications to the numerical enclosure of solutions for nonlinear problems
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2454037)
