An algorithm computing the regular formal solutions to a system of linear differential equations
type: Item
instance of: scholarly article
title: An algorithm computing the regular formal solutions to a system of linear differential equations
zbMATH Open document ID: 0951.34066
author: Moulay A. Barkatou
author: Eckhard Pflügel
published in: Journal of Symbolic Computation
publication date: 2000-05-08T00:00:00Z
review text: The authors consider the first-order linear differential system \[ x{dY\over dx}= A(x)Y.\tag{1} \] It writes \(A= x^{-q}(A_0+ A_1x+\cdots)\), \(A_0\neq 0\), for the series expansion of \(A\), where the coefficients are matrices over a subfield \(K\) of the field of complex numbers. There exists a basis of \(n\) formal solutions of the form \[ y_i(t)= e^{q_i(t)} t^{\lambda_i} z_i(t),\quad i= 1,\dots, n, \] where \(t^{r_i}= x\) for positive integers \(r_i,q_i\in t^{-1} \overline{K}[t^{-1}]\), \(\lambda_i\in\overline K\) and \(z_i\in\overline Kt^n[\log(t)]\). These solutions form the columns of a formal fundamental matrix solution to (1) which can be written as \[ U(t)= H(t) t^\Lambda e^{Q(t)} \] with \(t^r= x\) for a positive integer \(r, H\in M_n\overline Kt\) is a formal matrix power series, \(\Lambda\in M_n\overline K\) is a constant matrix with eigenvalues \(\lambda_1,\dots, \lambda_n\) and \(Q= \text{diag}(q_1,\dots, q_n)\). The problem is to find a nonzero solution to (1) of the form \[ y(x)= x^\lambda \sum^\infty_{i=0} g_i x^i,\quad g_0\neq 0, \] or decide that there is no such solution. Insight is gained if one considers systems of the more general form, \(D\theta(Y)= NY\), where \(\theta= x{d\over dx}\), \(D\) and \(N\) are formal power series matrices without a pole. Note that the matrix \(D^{-1}\) may have a pole. The main result is then within software MAPLE, an algorithm is developed giving the solutions to be \[ y_s(x)= h_s(x)+ \log(x) h_{s- 1}(x)+\cdots+ {\log^{s- 1}(x)\over(s- 1)!} h_1(x), \] with \(h_i\in \overline K((x))^n\).
Mathematics Subject Classification ID: 34M25
Mathematics Subject Classification ID: 34A25
Mathematics Subject Classification ID: 34A30
zbMATH DE Number: 1440304
zbMATH Keywords: linear differential equations
zbMATH Keywords: regular formal solutions
zbMATH Keywords: formal matrix power series
reviewed by: John Schmeelk
describes a project that uses: DESIR
describes a project that uses: Maple
MaRDI profile type: Publication
full work available at URL: jsco.1999.0315
OpenAlex ID: W2052387938
cites work: An algorithm for computing a companion block diagonal form for a system of linear differential equations
cites work: An algorithm to compute the exponential part of a formal fundamental matrix solution of a linear differential system
cites work: On rational solutions of systems of linear differential equations
cites work: Q5508985
cites work: Q5330830
cites work: Formes super-irréductibles des systèmes différentiels linéaires. (Super-irreducible forms of linear differential systems)
cites work: Q5843703
cites work: Q3972727
cites work: The order of a singularity in Fuchs' theory
cites work: Q4226957
cites work: On the latest version of DESIR-II
cites work: Liouvillian solutions of linear differential equations with Liouvillian coefficients
cites work: Convergent solutions of ordinary linear homogeneous differential equations in the neighborhood of an irregular singular point
cites work: Über regulär-singuläre Lösungen von Systemen linearer Differentialgleichungen. I.
cites work: Q5555887
DOI: 10.1006/JSCO.1999.0315
Recommended article: Q5385133
Recommended article: Algorithms for regular solutions of higher-order linear differential systems
Recommended article: On the computation of simple forms and regular solutions of linear difference systems
Recommended article: Q4230681
Recommended article: A New Approach for Computing Regular Solutions of Linear Difference Systems
Recommended article: Q4234314
Recommended article: Formal solutions of linear differential and difference equations
Recommended article: Computing the regularization of a linear differential-algebraic system
Recommended article: Q3342912
Recommended article: Simple forms of higher-order linear differential systems and their applications in computing regular solutions
description: scientific article; zbMATH DE number 1440304