Skip to main content
SpringerLink
Log in

Verified Solution of the Integral Equations for the Two-Dimensional Dirichlet and Neumann Problem

  • Chapter
Validation Numerics

Part of the book series: Computing Supplementum ((COMPUTING,volume 9))

Abstract

Verified Solution of the Integral Equations for the Two-Dimensional Dirichlet and Neumann Problem. In this article selfvalidating numerical methods for including the Solution of the Dirichlet and Neumann problem in the plane are constructed. Here an additional error analysis to estimate roughly the quality of the computed Solution is obsolete. The so-called verification or E-methods compute a mathematically guaranteed enclosure for the true Solution of these problems.

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

Access this chapter

Log in via an institution
Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 74.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 99.00
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. Alefeld, G., Herzberger, J.: Einführung in die Intervallrechnung. Bibliographisches Institut, Mannheim, 1974.

    MATH  Google Scholar 

  2. Corliss, G. F.: Computing narrow inclusions for definite integrals. In: Kaucher, E., Kulisch, U., Ullrich, C. (eds.) Computer arithmetic-scientific computation and programming languages, pp. 150 – 169. Stuttgart: Teubner 1987.

    Google Scholar 

  3. Delves, L. M., Mohamed, J. L.: Computational methods for integral equations. Cambridge: Cambridge University Press 1985.

    Book  MATH  Google Scholar 

  4. Dobner, H.-J.: Computing narrow inclusions for the Solution of integral equations. Num. Funct. Anal, and Optimiz. 10 (9/10), 923– 936 (1989).

    Article  MathSciNet  Google Scholar 

  5. Dobner, H.-J., Kaucher, E.: Self-validating computations of linear and nonlinear integral equations of the second kind, In: Ullrich, C. (ed.) Contributions to computer arithmetic and self-validating numerical methods, J. C. Baltzer AG, Scientific Publishing Co, 273 – 290, 1990.

    Google Scholar 

  6. Dobner, H.-J.: Contributions to computational analysis. Bull. Austral. Math. Soc. 41, 231 – 235 (1990).

    Article  MathSciNet  MATH  Google Scholar 

  7. Dobner, H.-J.: Numerische Methoden zur verifizierten Lösung von Integralgleichungen. Habilitationsschrift, Universität Karlsruhe 1992.

    Google Scholar 

  8. Fenyö, S., Stolle, H. W.: Theorie und Praxis der linearen Integralgleichungen 4. Basel, Boston, Stuttgart: Birkhäuser 1984.

    Google Scholar 

  9. Kaucher, E., Kulisch, U., Ullrich C. (eds.): Computer arithmetic-scientific computation and programming languages. Stuttgart: Teubner 1987.

    Google Scholar 

  10. Kaucher, E., Miranker, W. L.: Self validating numerics for function space problems. New York: Academic Press 1984.

    MATH  Google Scholar 

  11. Kulisch, U.: Grundlagen des numerischen Rechnens. Bibliographisches Institut, Mannheim 1976.

    MATH  Google Scholar 

  12. Kulisch, U., Miranker, W. L.: Computer arithmetic in theory and practice. New York: Academic Press 1981.

    MATH  Google Scholar 

  13. Kulisch U. (ed.): Wissenschaftliches Rechnen mit Ergebnisverifikation. Braunschweig, Wiesbaden: Vieweg 1989.

    Google Scholar 

  14. Kulisch, U., Miranker W. L. (eds.): A new approach to scientific computation. New York: Academic Press 1983.

    MATH  Google Scholar 

  15. Martensen, E.: Zur numerischen Behandlung des inneren Neumannschen und Robinschen Problems. ZAMM 39, 377 – 380 (1959).

    Article  MATH  Google Scholar 

  16. Martensen, E.: Potentialtheorie. Stuttgart: Teubner 1968.

    MATH  Google Scholar 

  17. Neumaier, A.: Interval methods for systems of equations. Cambridge: Cambridge University Press 1990.

    MATH  Google Scholar 

  18. Nyström, E. J.: Über die praktische Auflösung von linearen Integralgleichungen mit Anwendungen auf Randwertaufgaben der Potentialtheorie. Soc. Scient. Fenn. Comm. Phys.-Math. IV. 75, 1 – 52 (1928).

    Google Scholar 

  19. Rall, L. B.: Automatic differentiation. Berlin, Heidelberg, New York: Springer 1981 (Lecture Notes in Computer Science 120).

    MATH  Google Scholar 

  20. Tricomi, F. G.: Integral equations. New York: Dover Publ. 1985.

    Google Scholar 

  21. Wielandt, H.: Das Iterationverfahren bei nicht selbstadjungierten linearen Eigenwertaufgaben. Math. Z. 50, 93– 143(1943).

    Article  MathSciNet  Google Scholar 

Download references

Author information

Authors and Affiliations

  1. University of Karlsruhe, Kaiserstrasse 12, D-W-7500, Karlsruhe, Federal Republic of Germany

    Hans-Jürgen Dobner

Authors
  1. Hans-Jürgen Dobner
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. Institut für Informatik, Universität Innsbruck, Austria

    R. Albrecht

  2. Institut für Angewandte Mathematik, Universität Karlsruhe, Federal Republic of Germany

    G. Alefeld

  3. Institut für Angewandte und Numerische Mathematik, Technische Universität Wien, Austria

    H. J. Stetter

Additional information

Dedicated to Professor U. Kulisch on the occasion of his 60th birthday

Rights and permissions

Reprints and permissions

Copyright information

© 1993 Springer-Verlag

About this chapter

Cite this chapter

Dobner, HJ. (1993). Verified Solution of the Integral Equations for the Two-Dimensional Dirichlet and Neumann Problem. In: Albrecht, R., Alefeld, G., Stetter, H.J. (eds) Validation Numerics. Computing Supplementum, vol 9. Springer, Vienna. https://doi.org/10.1007/978-3-7091-6918-6_4

Download citation

  • DOI: https://doi.org/10.1007/978-3-7091-6918-6_4

  • Publisher Name: Springer, Vienna

  • Print ISBN: 978-3-211-82451-1

  • Online ISBN: 978-3-7091-6918-6

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation