On the a posteriori estimates for inverse operators of linear parabolic equations with applications to the numerical enclosure of solutions for nonlinear problems

Takehiko Kinoshita, Takuma Kimura, Mitsuhiro T. Nakao

Research output: Contribution to journalArticle

6 Citations (Scopus)


We consider the guaranteed a posteriori estimates for the inverse parabolic operators with homogeneous initial-boundary conditions. Our estimation technique uses a full-discrete numerical scheme, which is based on the Galerkin method with an interpolation in time by using the fundamental solution for semidiscretization in space. In our technique, the constructive a priori error estimates for a full discretization of solutions for the heat equation play an essential role. Combining these estimates with an argument for the discretized inverse operator and a contraction property of the Newton-type formulation, we derive an a posteriori estimate of the norm for the infinite-dimensional operator. In numerical examples, we show that the proposed method should be more efficient than the existing method. Moreover, as an application, we give some prototype results for numerical verification of solutions of nonlinear parabolic problems, which confirm the actual usefulness of our technique.

Original languageEnglish
Pages (from-to)679-701
Number of pages23
JournalNumerische Mathematik
Issue number4
Publication statusPublished - 2014
Externally publishedYes


ASJC Scopus subject areas

  • Applied Mathematics
  • Computational Mathematics

Cite this