We gratefully acknowledge support from
the Simons Foundation and member institutions.
Full-text links:

Download:

Current browse context:

cs.SC

Change to browse by:

cs

References & Citations

DBLP - CS Bibliography

Bookmark

(what is this?)
CiteULike logo BibSonomy logo Mendeley logo del.icio.us logo Digg logo Reddit logo ScienceWISE logo

Computer Science > Symbolic Computation

Title: A Root-Free Splitting-Lemma for Systems of Linear Differential Equations

Abstract: We consider the formal reduction of a system of linear differential equations and show that, if the system can be block-diagonalised through transformation with a ramified Shearing-transformation and following application of the Splitting Lemma, and if the spectra of the leading block matrices of the ramified system satisfy a symmetry condition, this block-diagonalisation can also be achieved through an unramified transformation. Combined with classical results by Turritin and Wasow as well as work by Balser, this yields a constructive and simple proof of the existence of an unramified block-diagonal form from which formal invariants such as the Newton polygon can be read directly. Our result is particularly useful for designing efficient algorithms for the formal reduction of the system.
Subjects: Symbolic Computation (cs.SC)
Cite as: arXiv:1911.05837 [cs.SC]
  (or arXiv:1911.05837v1 [cs.SC] for this version)

Submission history

From: Eckhard Pflügel [view email]
[v1] Sat, 2 Nov 2019 16:29:48 GMT (12kb)

Link back to: arXiv, form interface, contact.