Verification methods for fredholm integral equations

Abstract

In this paper verification methods for Fredholm integral equations are considered. By these methods the numerical approximation is computed together with mathematically guaranteed error bounds of high quality. The foundations for such numerics is described and then applied to Fredholm integral equations. We conclude by some numerical examples demonstrating the effectiveness of such new numerical schemes.

Keywords:

• Verification method
• Guaranteed error bound
• Fredholm integral equation

C.R. CATEGORIES::

• G.1.0
• G.1.2
• G.1.9
• G.4