Hostname: page-component-586b7cd67f-rcrh6 Total loading time: 0 Render date: 2024-11-28T19:39:24.239Z Has data issue: false hasContentIssue false
  • English
  • Français

Algorithms for reducing a system of PDEs to standard form, determining the dimension of its solution space and calculating its Taylor series solution

Published online by Cambridge University Press:  16 July 2009

Gregory J. Reid
Gregory J. Reid
Affiliation:
Mathematics Department, University of British Columbia, Vancouver, British Columbia, Canada, V6T 1Y4
Get access Rights & Permissions [Opens in a new window]

Abstract

We present several algorithms, executable in a finite number of steps, which have been implemented in the symbolic language maple. The standard form algorithm reduces a system of PDEs to a simplified standard form which has all of its integrability conditions satisfied (i.e. is involutive). The initial data algorithm uses a system's standard form to calculate a set of initial data that uniquely determines a local solution to the system without needing to solve the system. The number of arbitrary constants and arbitrary functions in the general solution to the system is directly calculable from this set. The taylor algorithm uses a system's standard form and initial data set to determine the Taylor series expansion of its solution about any point to any given finite degree. All systems of linear PDEs and many systems of nonlinear PDEs can be reduced to standard form in a finite number of steps. Our algorithms have simple geometric interpretations which are illustrated through the use of diagrams. The standard form algorithm is generally more efficient than the classical methods due to Janet and Cartan for reducing systems of PDEs to involutive form.

Type
Research Article
Information
European Journal of Applied Mathematics , Volume 2 , Issue 4 , December 1991 , pp. 293 - 318
Copyright
Copyright © Cambridge University Press 1991

Access options

Get access to the full version of this content by using one of the access options below. (Log in options will check for institutional or personal access. Content may require purchase if you do not have access.)

References

Bluman, G. W. 1990 Potential symmetries. Proc. Ann. Seminar Canadian Math. Soc. on Lie Theory, Dfferential Equations & Representation Theory. Montreal, Canada. 85–100.Google Scholar
Bluman, G. W. & Reid, G. J. 1988 New symmetries for ordinary differential equations. IMA J. Appl. Math. 40, 87–94.CrossRefGoogle Scholar
Cartan, E. 1945 Les Systèmes dfférentiels extérieurs et leurs applications geométrics. Herman.Google Scholar
Janet, M. 1920 Sur les systèmes d'équations aux dérivés partielles. J. Math. 3, 65–151.Google Scholar
Lisle, I. G. 1991 Infinitesimal equivalence transformations for classes of differential equations. PhD thesis, University of British Columbia (in preparation).Google Scholar
Ma, A. 1990 Extended group analysis of the wave equation. MSc thesis, University of British Columbia.Google Scholar
Reid, G. J. 1989 Algorithmic determination of Lie symmetry algebras of differential equations. Proc. Ann. Seminar Canadian Math. Soc. on Lie Theory, Differential Equations & Representation Theory. Montreal, Canada.363–372.Google Scholar
Reid, G. J. 1990 A triangularization algorithm which determines the Lie symmetry algebra of any system of PDEs. J. Phys. A: Math. Gen. 23, L853–L859.CrossRefGoogle Scholar
Reid, G. J. 1991 Finding abstract Lie symmetry algebras of differential equations without integrating determining equations. To appear in Euro. J. Appl. Math.CrossRefGoogle Scholar
Reid, G. J. & Boulton, A. 1991 Reduction of systems of differential equations to standard form and their integration using directed graphs. To appear in Proc. Int. Symposium on Symbolic & Algebraic Computation.Google Scholar
Riquier, C. 1910 Les Systèmes d'équations aux dérivés partielles. Gauthier–Villars.Google Scholar
Schwarz, F. 1984 The Riquier–Janet theory and its application to nonlinear evolution equations. Physica 11 D, 243–251.Google Scholar
Spencer, D. C. 1969 Overdetermined systems of linear partial differential equations. Bull. Am. Math. Soc. 75, 179–239.CrossRefGoogle Scholar
Thomas, J. M. 1929 Riquier's existence theorems. Ann. Math. 30(2), 285–321.Google Scholar
Thomas, J. M. 1934 Riquier's existence theorems. Ann. Math. 35(2), 306–311.Google Scholar
Topunov, V. L. 1989 Reducing systems of linear partial differential equations to a passive form. Acta Appl. Math. 16, 191–206.Google Scholar
Tresse, A. 1894 Sur les invariants différentiels des groupes de transformations. Acta Math. 18, 1–88.CrossRefGoogle Scholar
Vessiot, E. 1924 Sur une théorie nouvelle des problèmes généraux d'intégration. Bull. Soc. Math. de France. 52, 336–395.Google Scholar