Ole Caprani, Kaj Madsen and
Ole Stauning
For a copy of this paper, either
Abstract
A method to enclose the solution of an integral equation of the
Fredholm type is presented. The enclosure is based on an
interval mean value extension of the integral operator T for
which y=T(y) and y is a solution. If T is a contraction near
y then the method is proven to converge for appropriate initial
conditions. If the region specified by the user does not contain
any solution, then the method may be able to disprove the existence
of solutions in this region. The performance of the algorithm is
demonstrated by numerical examples.IMM Technical Report 19/96