Enclosing solutions of an inverse Sturm-Liouville problem for an impedance

Journal of Universal Computer Science

Volumn 4, Issue 2, 1998, Pages 178-192

  Neher, Markus ^a  

^a UNIVERSITY OF KARLSRUHE   (Germany)

Author keywords

Enclosure methods; Inverse Sturm Liouville problem; Validated numerics

Indexed keywords

EID: 33645990228     PISSN: 0958695X     EISSN: None     Source Type: Journal    
DOI: None     Document Type: Article

References (28)

1. Alefeld, G., and Herzberger, J.: Introduction to Interval Computations. Academic Press, New York, 1983.
2. Alefeld, G., Gienger, A., and Potra, F.: Efficient Numerical Validation of Solutions of Nonlinear Systems. SIAM J. Numer. Anal. 31, 252-260, 1994.
3. Barcilon, V.: Iterative Solution of the Inverse Sturm-Liouville Equation. J. Math. Phys. 15, 429-436, 1974.
4. Barnes, D. C.: The Inverse Eigenvalue Problem with Finite Data. SIAM J. Math. Anal. 22, 732-753, 1991.
5. Borg, G.: Eine Umkehrung der Sturm-Liouvilleschen Eigenwertaufgabe. Acta Math. 78, 1-96, 1946.
6. Gel'fand, I. M., and Levitan, B. M.: On the Determination of a Differential Equation from its Spectral Function. Amer. Math. Soc. Transl. Ser. 2, Vol. 1, 253-304, 1951.
7. Gladwell, G. M. L.: Inverse Problems in Vibration. Martinas Nijhoff Publishers, Dordrecht, 1986.
8. Greenberg, L., and Babuška, I.: A Continuous Analogue of Sturm Sequences in the Context of Sturm-Liouville Equations. SIAM J. Numer. Anal. 26, 920-945, 1989.
9. Hald, O. E.: The Inverse Sturm-Liouville Problem and the Rayleigh-Ritz Method. Math. Comp. 32, 687-705, 1978.
10. Hochstadt, H.: The Inverse Sturm-Liouville Problem. Comm. Pure Appl. Math. XXVI, 715-729, 1973.
11. Klatte, R., Kulisch, U., Neaga, M., Ratz, D., Ullrich, Ch.: PASCAL-XSC - Language Reference with Examples. Springer, Berlin, 1992.
12. Klatte, R., Kulisch, U., Lawo, G., Rauch, M., Wiethoff, A.: C-XSC, A C++ Class Library for Extended Scientific Computing. Springer, Berlin/Heidelberg/New York, 1993.
13. Knobel, R., and Lowe, B. D.: An Inverse Sturm-Liouville Problem for an Impedance. ZAMP 44, 433-450, 1993.
14. Kulisch, U., Miranker, W. L.: Computer Arithmetic in Theory and Practice. Academic Press, New York, 1981.
15. Lohner, R.: Enclosing the Solutions of Ordinary Initial- and Boundary- Value Problems. In: Kaucher, E., Kulisch, U., Ullrich, Ch. (eds): Computerarithmetic: Scientific Computation and Programming Languages. Teubner, Stuttgart, pp. 255-286, 1987.
16. Lohner, R.: Computation of Guaranteed Solutions of Ordinary Initial and Boundary Value Problems. In: Cash, J. R., Gladwell, I. (eds): Computational Ordinary Differential Equations. Clarendon Press, Oxford, pp. 425-435, 1992.
17. Lohner, R.: Verified Computing and Programs in PASCAL-XSC. Habilitationsschrift. Universität Karlsruhe, 1994.
18. Lowe, B. D., Pilant, M., and Rundell, W.: The Recovery of Potentials from Finite Spectral Data. SIAM J. Math. Anal. 23, 482-504, 1992.
19. Marti, J. T.: Small Potential Corrections for the Discrete Eigenvalues of the SturmLiouville Problem. Numer. Math. 57, 51-62, 1990.
20. Neher, M.: Inclusion of Eigenvalues and Eigenfunctions of the Sturm-Liouville Problem. In: Atanassova, L., Herzberger, J. (eds): Computer Arithmetic and Enclosure Methods. Elsevier, Amsterdam, pp. 401-408, 1992.
21. Neher, M.: Ein Einschließungsverfahren für das inverse Dirichletproblem. Dissertation. Universität Karlsruhe, 1993.
22. Neher, M.: Enclosing Solutions of an Inverse Sturm-Liouville Problem with Finite Data. Computing 53, 379-395, 1994.
23. Neumaier, A.: Interval Methods for Systems of Equations. Cambridge University Press, Cambridge, 1990.
24. Pöschel, J., and Trubowitz, E.: Inverse Spectral Theory. Academic Press, Orlando, 1987.
25. Rump, S. M.: Solving Algebraic Problems with High Accuracy. In: Kulisch, U., Miranker, W. L. (eds): A New Approach to Scientific Computation. Academic Press, Orlando, pp. 51-120, 1983.
26. Rundell, W., and Sacks, P. E.: The Reconstruction of Sturm-Liouville Operators. Inverse Problems 8, 457-482, 1992.
27. Sacks, P. E.: An Iterative Method for the Inverse Dirichlet Problem. Inverse Problems 4, 1055-1069, 1988.
28. Walter, W. V.: FORTRAN-XSC: A Portable Fortran 90 Module Library for Accurate and Reliable Scientific Computing. In: Albrecht, R., Alefeld, G., Stetter, H. J. (eds.): Validation Numerics - Theory and Applications. Computing Supplementum 9, 265-285, 1993.