PSEUDO: applications of streams and lazy evaluation to integrable models. (English) Zbl 1196.68325
Summary: Procedures to manipulate pseudo-differential operators in MAPLE are implemented in the program PSEUDO to perform calculations with integrable models. We use lazy evaluation and streams to represent and operate with pseudo-differential operators. No order of truncation is needed since terms are produced on demand. We give a series of concrete examples.
MSC:
| 68W30 | Symbolic computation and algebraic computation |
| 47-04 | Software, source code, etc. for problems pertaining to operator theory |
Keywords:
streams; delayed evaluation; lazy evaluation; pseudo-differential operators; integrable models; MAPLE; symbolic computationReferences:
| [1] | Abelson, H.; Sussman, G., Structure and Interpretation of Computer Programs (1996), MIT Press: MIT Press Cambridge, MA · Zbl 0909.68025 |
| [2] | Błaszak, M., Multi-Hamiltonian Theory of Dynamical Systems (1998), Springer-Verlag: Springer-Verlag Berlin · Zbl 0912.58017 |
| [3] | Popowicz, Z., SUSY 2, Comp. Phys. Comm., 100, 277 (1997) · Zbl 1057.81501 |
| [4] | Seiler, W. M., Pseudo differential operators and integrable systems in AXIOM, Comp. Phys. Comm., 79, 329 (1994) · Zbl 0878.65108 |
| [5] | Jenks, R. D.; Sutor, R. S., AXIOM The Scientific Computation System (1992), Springer-Verlag: Springer-Verlag Berlin · Zbl 0758.68010 |
| [6] | Gruntz, D., Infinite structures in Maple, The Maple Technical Newsletter, 1, 19 (1994) |
| [7] | Karczmarczuk, J., Scientific computation and functional programming, Comput. Sci. Eng., 3, 64 (1999) |
| [8] | Peterson, J., Haskel 1.4 Report, Tech. report, Yale Univ., New Haven, Conn. |
| [9] | Watt, S. M., A fixed point method for power series computation, (ISSAC’88. ISSAC’88, Lecture Notes in Comput. Sci., vol. 358 (1989), Springer-Verlag: Springer-Verlag Berlin/New York), 206 |
| [10] | McIlroy, M. D., The music of streams, Inform. Process. Lett., 77, 189 (2001) · Zbl 1003.68025 |
| [11] | McIlroy, M. D., Functional pearls: power series, power serious, J. Funct. Program., 9, 323 (1999) |
| [12] | Karczmarczuk, J., Generating power of lazy semantics, Theoret. Comput. Sci., 187, 203 (1997) · Zbl 0893.68085 |
| [13] | Burge, W. H.; Watt, S. M., Infinite structures in Scratchpad II, (EUROCAL’87. EUROCAL’87, Lecture Notes in Comput. Sci., vol. 378 (1987), Springer-Verlag: Springer-Verlag Berlin/New York), 138 · Zbl 1209.68667 |
| [14] | Gel’fand, I. M.; Dikii, L. A., Fractional powers of operators and Hamiltonian systems, Funct. Anal. Appl., 10, 259 (1976) · Zbl 0356.35072 |
| [15] | Olver, P. J., Applications of Lie Groups to Differential Equations (1993), Springer-Verlag: Springer-Verlag Berlin · Zbl 0785.58003 |
| [16] | Lax, P. D., Periodic solutions of the KdV equation, Comm. Pure Appl. Math., 28, 141 (1975) · Zbl 0295.35004 |
| [17] | Gel’fand, I. M.; Dikii, L. A., Asymptotic behaviour of the resolvent of Sturm-Liouville equations and the algebra of the KdV equations, Russian Math. Surveys, 30, 77 (1975) · Zbl 0334.58007 |
| [18] | Gel’fand, I. M.; Dikii, L. A., The resolvent and Hamiltonian systems, Funct. Anal. Appl., 11, 93 (1977) · Zbl 0412.58018 |
| [19] | Adler, M., On a trace functional for formal pseudo-differential operators and the symplectic strucuture of the KdV type equations, Invent. Math., 50, 219 (1979) · Zbl 0393.35058 |
| [20] | Wilson, G., Commuting flows and conservation laws for Lax equations, Math. Proc. Cambridge Philos. Soc., 86, 131 (1979) · Zbl 0427.35024 |
| [21] | Drinfeld, V. G.; Sokolov, V. V., Lie algebras and equations of KdV type, J. Sov. Math., 30, 1975 (1985) · Zbl 0578.58040 |
| [22] | Cheb-Terrab, E. S.; von Bülow, K., A computational approach for the analytical solving of partial differential equations, Comp. Phys. Comm., 90, 102 (1995) · Zbl 0888.65127 |
| [23] | Brunelli, J. C.; da Costa, G. A.T. F., On the nonlocal equations and nonlocal charges associated with the Harry Dym hierarchy, J. Math. Phys., 43, 6116 (2002) · Zbl 1060.37053 |
This reference list is based on information provided by the publisher or from digital mathematics libraries. Its items are heuristically matched to zbMATH identifiers and may contain data conversion errors. In some cases that data have been complemented/enhanced by data from zbMATH Open. This attempts to reflect the references listed in the original paper as accurately as possible without claiming completeness or a perfect matching.
