Skip to main content
Log in

Kernel-Splitting Technique for Enclosing the Solution of Fredholm Equations of the First Kind

  • Published:
Reliable Computing

Abstract

We derive a numerical method for solving linear Fredholm integral equations of the first kind. Based on series expansion techniques, the kernel of the corresponding integral equation is splitted into a finite rank degenerate part and an infinite dimensional, normwise small remainder. By enclosing the remainder term, the original problem, is transformed into a degenerate set-valued problem. For this problem, we derive a numerical method that provides a rigorous control of approximation and roundoff errors. We show that this approach provides a regularization scheme.

This is a preview of subscription content, log in via an institution to check access.

Access this article

Price excludes VAT (USA)
Tax calculation will be finalised during checkout.

Instant access to the full article PDF.

Similar content being viewed by others

References

  1. Caprani O., Madsen, K., and Rall, L. B.: Integration of Interval Functions, SIAM J. on Math. Anal. 12 (1981), pp. 321-341.

    Google Scholar 

  2. Delves, L. M. and Mohamed, J. L.: Computational Methods for Integral Equations, Cambridge University Press, Cambridge, 1985.

    Google Scholar 

  3. Dobner, H.-J.: Bounds of High Quality for First Kind Volterra Integral Equations, Reliable Computing 2(1) (1996), pp. 33-45.

    Google Scholar 

  4. Fenyö, S. and Stolle, H. W.: Theorie und Praxisder linearen Integralgleichungen, Vol. 4, Birkhäuser, Basel, 1984.

    Google Scholar 

  5. Fischer, H.-C.: Automatic Differentiation and Applications, in: Adams, E. and Kulisch, U. (eds), Computing with Automatic Result Verification, Academic Press, Boston, 1993, pp. 105-142.

    Google Scholar 

  6. Hammer, R., Hocks, M., Kulisch U., and Ratz, D.: Numerical Toolbox for Verified Computing I, Springer, Berlin, 1993.

    Google Scholar 

  7. Kaucher, E. and Baumhof, C.: A Verified Computation of Fourier-Representation of Sotions for Functional Equations, Computing Suppl. 9 (1993), pp. 101-115.

    Google Scholar 

  8. Kaucher, E. and Miranker, W. L.: Self-Validating Numerics for Function Space Problems, Academic Press, New York, 1984.

    Google Scholar 

  9. Kress, R.: Linear Integral Equations, Springer, Berlin, 1989.

    Google Scholar 

  10. Kulisch, U. and Miranker, W. L.: Computer Arithmetic in Theory and Practice, Academic Press, New York, 1981.

    Google Scholar 

  11. Moore, R. E.: Interval Analysis, Prentice Hall, Englewood Cliffs, 1966.

    Google Scholar 

Download references

Author information

Authors and Affiliations

Authors

Rights and permissions

Reprints and permissions

About this article

Cite this article

Dobner, HJ. Kernel-Splitting Technique for Enclosing the Solution of Fredholm Equations of the First Kind. Reliable Computing 8, 469–479 (2002). https://doi.org/10.1023/A:1021316610483

Download citation

  • Issue Date:

  • DOI: https://doi.org/10.1023/A:1021316610483

Keywords

Navigation