Małgorzata Moczurad

2papers

2 Papers

NAMar 12, 2016
On the Petras algorithm for verified integration of piecewise analytic functions

Małgorzata Moczurad, Piotr Zgliczyński

We consider the algorithm for verified integration of piecewise analytic functions given by Petras. The analysis of the algorithm contained in Patras' paper is limited to a narrow class of functions and gives upper bounds only. We present an estimation of the complexity (measured by a number of evaluations of an integrand) of the algorithm, both upper and lower bounds, for a wider class of functions. We show examples with complexity $Θ(|\ln\eps|/\eps^{p-1})$, for any $p >1$, where $\eps$ is the desired accuracy of the computed integral.