Computing standard canonical forms of regular linear time varying DAEs via a preliminary stage
Fuente:
arXiv
Salvato in:
| Autori principali: | , , |
|---|---|
| Natura: | Preprint |
| Pubblicazione: |
2025
|
| Soggetti: | |
| Accesso online: | |
| Tags: |
Aggiungi Tag
Nessun Tag, puoi essere il primo ad aggiungerne!!
|
| _version_ | 1866916893829365760 |
|---|---|
| author | Schwarz, Diana Estévez Lamour, René März, Roswitha |
| author_facet | Schwarz, Diana Estévez Lamour, René März, Roswitha |
| contents | For regular linear time-invariant DAEs the corresponding matrix pencil is regular and the computation of a standard canonical form is well-understood. Although the investigation of linear DAEs with time-varying coefficients is more complex, it is analogously related to the examination of pairs of time-dependent matrix functions.
We show how the computation of a standard canonical form (SCF) for linear time-varying DAEs becomes possible if a suitable block structure of the pair of matrix functions is found in a preliminary stage. Starting from this preliminary stage, an iterative process delivers an SCF. This iteration terminates in finitely many steps due to the nilpotency of an involved matrix. The corresponding transformation matrix functions can be provided systematically, which leads also to new representations of the canonical subspaces and projectors related to the original DAE.
We demonstrate how the structured canonical forms resulting in the tractability and strangeness frameworks and some DAEs in Hessenberg form from applications can be transformed into this preliminary stage and discuss some examples. |
| format | Preprint |
| id |
arxiv_https___arxiv_org_abs_2508_08921 |
| institution | arXiv |
| publishDate | 2025 |
| record_format | arxiv |
| spellingShingle | Computing standard canonical forms of regular linear time varying DAEs via a preliminary stage Schwarz, Diana Estévez Lamour, René März, Roswitha Classical Analysis and ODEs 15A99, 34A09, 34A12, 34A30 For regular linear time-invariant DAEs the corresponding matrix pencil is regular and the computation of a standard canonical form is well-understood. Although the investigation of linear DAEs with time-varying coefficients is more complex, it is analogously related to the examination of pairs of time-dependent matrix functions. We show how the computation of a standard canonical form (SCF) for linear time-varying DAEs becomes possible if a suitable block structure of the pair of matrix functions is found in a preliminary stage. Starting from this preliminary stage, an iterative process delivers an SCF. This iteration terminates in finitely many steps due to the nilpotency of an involved matrix. The corresponding transformation matrix functions can be provided systematically, which leads also to new representations of the canonical subspaces and projectors related to the original DAE. We demonstrate how the structured canonical forms resulting in the tractability and strangeness frameworks and some DAEs in Hessenberg form from applications can be transformed into this preliminary stage and discuss some examples. |
| title | Computing standard canonical forms of regular linear time varying DAEs via a preliminary stage |
| topic | Classical Analysis and ODEs 15A99, 34A09, 34A12, 34A30 |
| url | https://arxiv.org/abs/2508.08921 |