Abstract:
This paper deals with the index reduction problem for the class of quasi-regular DAE systems. It is shown that any of these systems can be transformed to a generically equivalent first order DAE system consisting of a single purely algebraic (polynomial) equation plus an under-determined ODE (a differential Kronecker representation) in as many variables as the order of the input system. This can be done by means of a Kronecker-type algorithm with bounded complexity. © 2011 Elsevier Ltd.
Registro:
Documento: |
Artículo
|
Título: | A geometric index reduction method for implicit systems of differential algebraic equations |
Autor: | D'Alfonso, L.; Jeronimo, G.; Ollivier, F.; Sedoglavic, A.; Solernó, P. |
Filiación: | Departamento de Ciencias Exactas, Ciclo Básico Común, Universidad de Buenos Aires, Ciudad Universitaria, 1428 Buenos Aires, Argentina Departamento de Matemática, Facultad de Ciencias Exactas y Naturales, Universidad de Buenos Aires, Ciudad Universitaria, 1428 Buenos Aires, Argentina CONICET, Argentina LIX, UMR, CNRS-École Polytechnique no 7161, F-91128 Palaiseau, France LIFL, UMR, CNRS-Université de Lille I no 8022, F-59655 Villeneuve d'Ascq, France
|
Palabras clave: | Geometric resolution; Implicit systems of Differential Algebraic Equations; Index; Kronecker algorithm |
Año: | 2011
|
Volumen: | 46
|
Número: | 10
|
Página de inicio: | 1114
|
Página de fin: | 1138
|
DOI: |
http://dx.doi.org/10.1016/j.jsc.2011.05.012 |
Título revista: | Journal of Symbolic Computation
|
Título revista abreviado: | J. Symb. Comput.
|
ISSN: | 07477171
|
PDF: | https://bibliotecadigital.exactas.uba.ar/download/paper/paper_07477171_v46_n10_p1114_DAlfonso.pdf |
Registro: | https://bibliotecadigital.exactas.uba.ar/collection/paper/document/paper_07477171_v46_n10_p1114_DAlfonso |
Referencias:
- Bostan, A., Chyzak, F., Ollivier, F., Schost, É., Salvy, B., Sedoglavic, A., (2007), pp. 1012-1021. , Fast computation of power series solutions of systems of differential equations, In: Proceedings of the 18th ACM-SIAM Symposium on Discrete Algorithms, New Orleans, Louisiana, USA; Boulier, F., Lazard, D., Ollivier, F., Petitot, M., Computing representation for radicals of finitely generated differential ideals (2009) AAECC, 20 (1), pp. 73-121
- Brenan, K.E., (1983), Stability and convergence for higher index differential algebraic equations with applications to trajectory control. Ph.D. Thesis, Department of Mathematics, University of California; Brenan, K.E., Campbell, S.L.V., Petzold, L.R., Numerical Solution of Initial-Value Problems in Differential-Algebraic Equations (1996) SIAM Classics in Applied Mathematics, 14. , Society for Industrial and Applied Mathematics
- Campbell, S.L.V., Gear, C.W., The index of general nonlinear DAEs (1995) Numerische Mathematik, 72 (2), pp. 173-196
- Cluzeau, T., Hubert, E., Resolvent representation for regular differential ideals (2003) Appl. Algebra Eng. Commun. Comput., 13 (5), pp. 395-425
- Cluzeau, T., Hubert, E., Probabilistic algorithms for computing resolvent representations of regular differential ideals (2008) Appl. Algebra Eng. Commun. Comput., 19 (5), pp. 365-392
- Corless, R.M., Ilie, S., Polynomial cost for solving IVP for high-index DAE (2008) BIT Numerical Mathematics, 48, pp. 29-49
- Dahan, X., Jin, X., Moreno Maza, M., Schost, E., Change of order for regular chains in positive dimension (2008) Theoretical Computer Science, 392, pp. 37-65
- D'Alfonso, L., Jeronimo, G., Massaccesi, G., Solernó, P., On the index and the order of quasi-regular implicit systems of differential equations (2009) Linear Algebra and its Applications, 430 (8-9), pp. 2102-2122
- D'Alfonso, L., Jeronimo, G., Solernó, P., On the complexity of the resolvent representation of some prime differential ideals (2006) Journal of Complexity, 22 (3), pp. 396-430
- D'Alfonso, L., Jeronimo, G., Solernó, P., A linear algebra approach to the differentiation index of generic DAE systems (2008) Applicable Algebra in Engineering, Communication and Computing, 19 (6), pp. 441-473
- Durvye, C., Lecerf, G., A concise proof of the kronecker polynomial system solver from scratch (2007) Expositiones Mathematicae, 26 (2)
- Eisenbud, D., Commutative algebra (1995) Graduate Texts in Mathematics, 150. , Springer-Verlag, New York, With a view toward algebraic geometry
- Fliess, M., Lévine, J., Martin Ph Rouchon, P., (1995), 3, pp. 2704-2709. , Implicit differential equations and Lie-Bäcklund mappings. In: Proceedings of the 34th IEEE Conference on Decision and Control, New Orleans, Louisiana, USA, Dec; Gear, C.W., Differential-algebraic equation index transformations (1988) SIAM Journal on Scientific and Statistical Computing, 9 (1), pp. 39-47
- Gear, C.W., DAEs: ODEs with constraints and invariants (1989) Lecture Notes in Mathematics, 1386, pp. 54-68. , Springer, Numerical Methods for Ordinary Differential Equations
- Giusti, M., Lecerf, G., Salvy, B., A Gröbner free alternative for polynomial system solving (2001) Journal of Complexity, 17 (1), pp. 154-211
- Hodge, W.V.D., Pedoe, D., (1994) Methods of Algebraic Geometry, 2. , Cambridge University Press
- Jacobi, C.G.J., De investigando ordine systematis aequationum differentialum vulgarium cujuscunque (1865) Borchardt Journal für die reine und angewandte Mathematik LXIV, 4, pp. 297-320. , English translation in Jacobi (2009)
- Jacobi, C.G.J., Looking for the order of a system of arbitrary ordinary differential equations (2009) Applicable Algebra in Engineering, Communication and Computing, 20 (1), pp. 7-32. , Translated from the Latin by F. Ollivier
- Johnson, J., Systems of n partial differential equations in n unknown functions: the conjecture of M. Janet (1978) Transactions of the American Mathematical Society, 242, pp. 329-334
- Kolchin, E.R., Differential algebra and algebraic groups (1973) Pure and Applied Mathematics, 54. , Academic Press, New York
- Kondratieva, M.V., Mikhalev, A.V., Pankratiev, E.V., On Jacobi's bound for systems of differential polynomials (1982) Algebra, 79, pp. 75-85
- Kondratieva, M.V., Mikhalev, A.V., Pankratiev, E.V., Jacobi's bound for independent systems of algebraic partial differential equations (2009) AAECC, 20 (1), pp. 65-71
- Kunkel, P., Mehrmann, V.L., (2006) Differential-Algebraic Equations. Analysis and Numerical Solution, , European Mathematical Society
- Kunz, E., (1985) Introduction to Commutative Algebra and Algebraic Geometry, , Birkhäuser
- Lang, S., Algebra (2002) Graduate Texts in Mathematics, 211. , Springer
- Le Vey, G., (1994), Differential algebraic equations a new look at the index. Tech. Rep. 808, Institut de Recherche en Informatique et en Automatique; Lecerf, G., Computing the equidimensional decomposition of an algebraic closed set by means of lifting fibers (2003) Journal of Complexity, 19 (4), pp. 564-596
- Lötstedt, P., Petzold, L.R., Numerical solution of nonlinear differential equations with algebraic constraints I: convergence results for backward differentiation formulas (1986) Mathematics of Computation, 46 (174), pp. 491-516
- Matera, G., Sedoglavic, A., Fast computation of discrete invariants associated to a differential rational mapping (2003) Journal of Symbolic Computation, 36 (3-4), pp. 473-499
- Matsumura, H., Commutative Algebra (1970) Mathematics Lecture Note, 56. , WA Benjamin
- Mattsson, S.E., Söderlind, G., Index reduction in differential-algebraic equations using dummy derivatives (1993) SIAM Journal of Scientific Computing, 14 (3), pp. 677-692
- Mishra, B., (1993) Algorithmic algebra, , Springer-Verlag New York, Inc., New York, NY, USA
- Ollivier, F., Sadik, B., La borne de Jacobi pour une diffiété définie par un système quasi régulier (2007) Comptes Rendus de l'Académie des Sciences, 345 (3), pp. 139-144
- Pantelides, C.C., The consistent initialization of differential-algebraic systems (1988) SIAM Journal on Scientific and Statistical Computing, 9 (2), pp. 213-231
- Petzold, L.R., Lötstedt, P., Numerical solution of nonlinear differential equations with algebraic constraints II: practical implications (1986) SIAM Journal on Scientific and Statistical Computing, 7 (3), pp. 720-733
- Poulsen, M.Z., (2001), Structural analysis of DAEs. PhD thesis, Informatics and Mathematical Modelling, Technical University of Denmark; Pritchard, F.L., On implicit systems of differential equations (2003) Journal of Differential Equations, 194 (2), pp. 328-363
- Pritchard, F.L., Sit, W.Y., On initial value problems for ordinary differential-algebraic equations (2007) Radon Ser. Comput. Appl. Math., 2, pp. 283-340. , Walter de Gruyter, Berlin, Gröbner Bases in Symbolic Analysis
- Pryce, J.D., A simple structural analysis method for DAEs (2001) BIT Numerical Mathematics, 41, pp. 364-394
- Rabier, P.J., Rheinboldt, W.C., A geometric treatment of implicit differential-algebraic equations (1994) Journal of Differential Equations, 109 (1), pp. 110-146
- Reid, G.J., Lin, P., Wittkopf, A.D., Differential elimination-completion algorithms for DAE and PDAE (2001) Studies in Applied Mathematics, 106 (1), pp. 1-45
- Ritt, J.F., Differential Algebra (1950) American Mathematical Society Colloquium Publications, 33. , American Mathematical Society, New York, NY, USA
- Ritt, J.P., Differential equations from the algebraic standpoint (1932) Amer. Math. Soc. Colloq. Publ., 14. , Walter De Gruyter Inc
- Schost, É., Computing parametric geometric resolutions (2003) Applicable Algebra in Engineering, Communication and Computing, 13 (5), pp. 349-393
- Schwartz, J.T., Fast probabilistic algorithms for verification of polynomial identities (1980) Journal of the ACM, 27 (4), pp. 701-717
- Seidenberg, R.A., Some basic theorems in differential algebra (characteristic p arbitrary) (1952) Transactions of the American Mathematical Society, 73, pp. 174-190
- Seiler, W.M., Indices and solvability of general systems of differential equations (1999) Computer Algebra in Scientific Computing, 99, pp. 365-386. , Springer, V.G. Ghanza, E.W. Mayr, E.V. Vorozhtsov (Eds.)
- Shafarevich, I.R., (1994) Basic Algebraic Geometry, 1. , Springer
- von zur Gathen, J., Gerhard, J., (1999) Modern Computer Algebra, , Cambridge University Press, New York
- Zippel, R., Probabilistic algorithms for sparse polynomials (1979) Lecture Notes in Comput. Sci., 72, pp. 216-226. , Springer, Berlin, Symbolic and Algebraic Computation (EUROSAM'79, Internat. Sympos., Marseille, 1979)
Citas:
---------- APA ----------
D'Alfonso, L., Jeronimo, G., Ollivier, F., Sedoglavic, A. & Solernó, P.
(2011)
. A geometric index reduction method for implicit systems of differential algebraic equations. Journal of Symbolic Computation, 46(10), 1114-1138.
http://dx.doi.org/10.1016/j.jsc.2011.05.012---------- CHICAGO ----------
D'Alfonso, L., Jeronimo, G., Ollivier, F., Sedoglavic, A., Solernó, P.
"A geometric index reduction method for implicit systems of differential algebraic equations"
. Journal of Symbolic Computation 46, no. 10
(2011) : 1114-1138.
http://dx.doi.org/10.1016/j.jsc.2011.05.012---------- MLA ----------
D'Alfonso, L., Jeronimo, G., Ollivier, F., Sedoglavic, A., Solernó, P.
"A geometric index reduction method for implicit systems of differential algebraic equations"
. Journal of Symbolic Computation, vol. 46, no. 10, 2011, pp. 1114-1138.
http://dx.doi.org/10.1016/j.jsc.2011.05.012---------- VANCOUVER ----------
D'Alfonso, L., Jeronimo, G., Ollivier, F., Sedoglavic, A., Solernó, P. A geometric index reduction method for implicit systems of differential algebraic equations. J. Symb. Comput. 2011;46(10):1114-1138.
http://dx.doi.org/10.1016/j.jsc.2011.05.012