Error estimates with explicit constants for sinc approximation, sinc quadrature and sinc indefinite integration (Q1955635)

The sinc approximation on the whole real line is expressed as \[ F(x)\approx\sum\limits_{j=-n}^n F(jh)s(j,h)(x),\,\,x\in\mathbb R, \tag{e1.1} \] where \(s(j,h)(x)\) is the so-called sinc function defined by \[ s(j,h)(x)=\frac{\sin[\pi(x/h-j)]}{\pi(x/h-j)}, \] and \(h\) is a mesh size appropriately selected depending on \(n\). A variety of approximation formulas can be derived from the sinc approximation. Error estimates with explicit constants are given for approximations of functions, definite integrals and indefinite integrals by means of the sinc approximation. Although in the literature various error estimates have already been given for these approximations, those estimates were basically for examining the rates of convergence, and several constants were left unevaluated. The goal of this present paper is to give more explicit error estimates than the existing estimates mentioned in the literature, by clarifying the explicit forms of the constant. The reason for this is that in order to reinforce the promising schemes with the idea of verified numerical computation, which is a modern tool to design reliable and practical numerical libraries, estimates must be given without any ambiguity. In this paper the authors reveal the explicit form of all constants in a computable form under the same assumptions of the existing theorems: the function to be approximated is analytic in a suitable region. Numerical examples that confirm the theory are also given.