Artículo

Este artículo es de Acceso Abierto y puede ser descargado en su versión final desde nuestro repositorio
Consulte el artículo en la página del editor
Consulte la política de Acceso Abierto del editor

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