Skip to content
Licensed Unlicensed Requires Authentication Published by De Gruyter (O) September 25, 2009

Formale Methoden für implizite dynamische Systeme (A Formal Approach for Implicit Dynamic Systems)

A Formal Approach for Implicit Dynamic Systems
  • Kurt Schlacher and Kurt Zehetleitner

Abstract

Die Modellierung komplexer dynamischer Systeme führt oft auf Sätze von algebraischen Gleichungen und gewöhnlichen Differentialgleichungen. Dieser Beitrag präsentiert nun Methoden für implizite Systeme basierend auf der formalen Theorie von gewöhnlichen Differentialgleichungen. Es wird gezeigt, dass gewisse implizite Systeme, man nennt sie formal integrable, Eigenschaften aufweisen, die viele Untersuchungen ohne Überführung in eine explizite Form gestatten. Dabei wird ein dynamisches System als eine Untermannigfaltigkeit mit einer speziellen geometrischen Struktur aufgefasst. Die Form der Gleichungen entspricht dann lediglich einer speziellen Parametrierung dieser Untermannigfaltigkeit. Da man unter gewissen Regularitätsannahmen jedes implizite System in ein formal integrables überführen kann, stellt diese Klasse ein natürliches Bindeglied zwischen den expliziten und den impliziten Systemen dar. Auf Basis dieser Betrachtung werden zuerst Ergebnisse für den allgemeinen Fall präsentiert, dann werden Systeme, die linear in den Ableitungen sind, ausführlicher untersucht. Zum Abschluss wird die Theorie auf den linearen und zeitinvarianten Fall angewandt.

Abstract

The modelling of complex systems leads often to sets of algebraic and ordinary differential equations. This contribution presents methods for implicit systems based on the formal theory of ordinary differential equations. It will be shown that certain implicit systems, also called formally integrable, offer properties, which permit many investigations without being transformed to the explicit form. Here, a dynamic system is identified with a submanifold with a certain geometric structure. The form of the equations corresponds merely to a special parametrization of this submanifold. Since any implicit system can be transformed to a formally integrable one, provided certain regularity conditions are met, this type of system appears to be a connecting link between explicit and implicit systems. Based on this consideration we present results for the general case, investigate systems, which are linear in the derivatives, in more detail, and finish with the application of the theory to the linear and time invariant case.

:
Published Online: 2009-09-25
Published in Print: 2004-09-01

© 2004 Oldenbourg Wissenschaftsverlag GmbH

Downloaded on 1.6.2023 from https://www.degruyter.com/document/doi/10.1524/auto.52.9.446.41665/html
Scroll to top button