Abstract
We discuss the relation between perturbation and differentiation indices for overdetermined systems of differential equations based on the formal theory. We show how the Cartan normal form of an involutive system can be used to extend the notion of an underlying equation from differential algebraic equations to partial differential equations. This allows us to generalise results of Campbell and Gear on the relation between perturbation and differentiation indices to systems of partial differential equations.
This work has been supported by Deutsche Forschungsgemeinschaft, Landesgraduiertenförderung Baden-Württemberg and INTAS grant 99-1222.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
Similar content being viewed by others
References
J. Belanger, M. Hausdorf and W.M. Seiler. A MuPAD library for differential equations. This proceedings.
K.E. Brenan, S.L. Campbell, and L.R. Petzold. Numerical Solution of Initial-Value Problems in Differential-Algebraic Equations. Classics in Applied Mathematics 14. SIAM, Philadelphia, 1996.
J. Calmet, M. Hausdorf, and W.M. Seiler. A constructive introduction to involution. In Proc. Int. Symp. Applications of Computer Algebra-ISACA’ 2000. World Scientific, Singapore, to appear.
S.L. Campbell and C.W. Gear. The index of general nonlinear DAEs. Numer. Math., 72:173–196,1995.
E. Hairer, C. Lubich, and M. Roche. The Numerical Solution of DifferentialAlgebraic Equations by Runge-Kutta Methods. Lecture Notes in Mathematics 1409. Springer-Verlag, Berlin, 1989.
E. Hairer and G. Wanner. Solving Ordinary Differential Equations II. Springer Series in Computational Mathematics 14. Springer-Verlag, Berlin, 1996.
M. Hausdorf and W.M. Seiler. An efficient algebraic algorithm for the geometric completion to involution. Preprint Universität Mannheim, 2000.
P. Kunkel and V. Mehrmann. Canonical forms for linear differential-algebraic equations with variable coefficients. J. Comp. Appl. Math., 56:225–251, 1994.
P. Kunkel and V. Mehrmann. A new look at pencils of matrix valued functions. Lin. Alg. Appl., 212/213:215–248, 1994.
A. Pazy. Semigroups of Linear Operators and Applications to Partial Differential Equations. Applied Mathematical Sciences 44. Springer, New York, 1983.
J.F. Pommaret. Systems of Partial Differential Equations and Lie Pseudogroups. Gordon & Breach, London, 1978.
P.J. Rabier and W.C. Rheinboldt. A geometric treatment of implicit differential algebraic equations. J. Diff. Eq., 109:110–146, 1994.
S. Reich. On an existence and uniqueness theory for nonlinear differential-algebraic equations. Circ. Sys. Sig. Proc., 10:343–359, 1991.
M. Renardy and R.C. Rogers. An Introduction to Partial Differential Equations. Texts in Applied Mathematics 13. Springer, New York, 1993.
W.M. Seiler. Analysis and Application of the Formal Theory of Partial Differential Equations. PhD thesis, School of Physics and Materials, Lancaster University, 1994.
W.M. Seiler. Momentum versus position projections for constrained Hamiltonian systems. Num. Algo., 19:223–234, 1998.
W.M. Seiler. Indices and solvability for general systems of differential equations. In V.G. Ghanza, E.W. Mayr, and E.V. Vorozhtsov, editors, Computer Algebra in Scientific Computing-CASC’ 99, pages 365–385. Springer, Berlin, 1999.
W.M. Seiler. Numerical integration of constrained Hamiltonian systems using Dirac brackets. Math. Comp., 68:661–681, 1999.
W.M. Seiler. A combinatorial approach to involution and δ-regularity. Preprint Universität Mannheim, 2000.
W.M. Seiler. Completion to involution and semi-discretisations. Appl. Num. Math., to appear, 2001.
M.E. Taylor. Pseudodifferential Operators. Princeton Mathematical Series 34. Princeton University Press, Princeton, 1981.
F. Verhulst. Nonlinear Differential Equations and Dynamical Systems. Springer, Berlin, 2nd edition, 1996.
C. Zuily. Uniqueness and Non-Uniqueness in the Cauchy Problem. Progress in Mathematics 33. Birkhäuser, Boston, 1983.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2001 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Hausdorf, M., Seiler, W.M. (2001). Perturbation versus Differentiation Indices. In: Ganzha, V.G., Mayr, E.W., Vorozhtsov, E.V. (eds) Computer Algebra in Scientific Computing CASC 2001. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-56666-0_24
Download citation
DOI: https://doi.org/10.1007/978-3-642-56666-0_24
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-62684-5
Online ISBN: 978-3-642-56666-0
eBook Packages: Springer Book Archive