### Abstract

In this paper, we consider constructive a priori error estimates for a full discrete numerical solution of parabolic initial boundary value problems. Our method is based on the finite element Galerkin method with an inter-polation in time that uses the fundamental solution for semidiscretization in space. Particularly, we present optimal order error estimates for the linear finite element in both space and time directions. These error estimates are sharper than the existing results in the sense of convergence order to exact solutions. Since the sharply constructive error estimates play an essential role in improving the efficiency of the verification costs, our results are expected to contribute to a new development of the numerical proof for parabolic problems. We also present some numerical examples which confirm that our estimates have the exactly the same order of convergence as the a posteriori errors.

Original language | English |
---|---|

Pages (from-to) | 202-212 |

Number of pages | 11 |

Journal | Reliable Computing |

Volume | 25 |

Publication status | Published - 2017 |

### Fingerprint

### Keywords

- Constructive a priori error estimates
- Galerkin methods
- Parabolic problem

### ASJC Scopus subject areas

- Software
- Computational Mathematics
- Applied Mathematics

### Cite this

*Reliable Computing*,

*25*, 202-212.

**Optimal order constructive a priori error estimates for a full discrete approximation of the heat equation.** / Kimura, Takuma; Minamoto, Teruya; Nakao, Mitsuhiro T.

Research output: Contribution to journal › Article

*Reliable Computing*, vol. 25, pp. 202-212.

}

TY - JOUR

T1 - Optimal order constructive a priori error estimates for a full discrete approximation of the heat equation

AU - Kimura, Takuma

AU - Minamoto, Teruya

AU - Nakao, Mitsuhiro T.

PY - 2017

Y1 - 2017

N2 - In this paper, we consider constructive a priori error estimates for a full discrete numerical solution of parabolic initial boundary value problems. Our method is based on the finite element Galerkin method with an inter-polation in time that uses the fundamental solution for semidiscretization in space. Particularly, we present optimal order error estimates for the linear finite element in both space and time directions. These error estimates are sharper than the existing results in the sense of convergence order to exact solutions. Since the sharply constructive error estimates play an essential role in improving the efficiency of the verification costs, our results are expected to contribute to a new development of the numerical proof for parabolic problems. We also present some numerical examples which confirm that our estimates have the exactly the same order of convergence as the a posteriori errors.

AB - In this paper, we consider constructive a priori error estimates for a full discrete numerical solution of parabolic initial boundary value problems. Our method is based on the finite element Galerkin method with an inter-polation in time that uses the fundamental solution for semidiscretization in space. Particularly, we present optimal order error estimates for the linear finite element in both space and time directions. These error estimates are sharper than the existing results in the sense of convergence order to exact solutions. Since the sharply constructive error estimates play an essential role in improving the efficiency of the verification costs, our results are expected to contribute to a new development of the numerical proof for parabolic problems. We also present some numerical examples which confirm that our estimates have the exactly the same order of convergence as the a posteriori errors.

KW - Constructive a priori error estimates

KW - Galerkin methods

KW - Parabolic problem

UR - http://www.scopus.com/inward/record.url?scp=85031100183&partnerID=8YFLogxK

UR - http://www.scopus.com/inward/citedby.url?scp=85031100183&partnerID=8YFLogxK

M3 - Article

AN - SCOPUS:85031100183

VL - 25

SP - 202

EP - 212

JO - Reliable Computing

JF - Reliable Computing

SN - 1385-3139

ER -