Error Constants for the Semi-Discrete Galerkin Approximation of the Linear Heat Equation
AbstractIn this paper, we propose $$L^2(J;H^1_0(\Omega ))$$ L 2 ( J ; H 0 1 ( Ω ) ) and $$L^2(J;L^2(\Omega ))$$ L 2 ( J ; L 2 ( Ω ) ) norm error estimates that provide the explicit values of the error constants for the semi-discrete Galerkin approximation of the linear heat equation. The derivation of these error estimates shows the convergence of the approximation to the weak solution of the linear heat equation. Furthermore, explicit values of the error constants for these estimates play an important role in the computer-assisted existential proofs of solutions to semi-linear parabolic partial differential equations. In particular, the constants provided in this paper are better than the existing constants and, in a sense, the best possible.