formal m-sparse power series solutions for a linear ODE - Maple Help

Online Help

All Products    Maple    MapleSim

Home : Support : Online Help : Mathematics : Differential Equations : Slode : Slode/msparse_series_sol

Slode[msparse_series_sol] - formal m-sparse power series solutions for a linear ODE

Calling Sequence

msparse_series_sol(ode, var, vn, opts)

msparse_series_sol(LODEstr, vn, opts)




linear ODE with polynomial coefficients



dependent variable, for example y(x)



new function in the form vn



optional arguments of the form keyword=value



LODEstruct data structure



The msparse_series_sol command returns a set of m-sparse power series solutions of the given linear ordinary differential equation with polynomial coefficients.


If ode is an expression, then it is equated to zero.


The routine returns an error message if the differential equation ode does not satisfy the following conditions.


ode must be homogeneous and linear in var


ode must have polynomial coefficients in the independent variable of var, for example, x


The coefficients of ode must be either rational numbers or depend rationally on one or more parameters.


A homogeneous linear ordinary differential equation with coefficients that are polynomials in x has a linear space of formal power series solutions n=0vnPnx where Pnx is one of xan, xann!, 1xn, or 1xnn!, a is the expansion point, and the sequence vn satisfies a homogeneous linear recurrence.


This routine selects such formal power series solutions where for an integer m2 there is an integer i such that


vn0 only if nimodm=0, and


vn+1m+i=pnvmn+i for all sufficiently large n, where pn is a rational function.


The m-sparse power series is represented by an FPSstruct data-structure (see Slode[FPseries]):





v0,...,vM are expressions, the initial series coefficients,


M is a nonnegative integer, and


s is an integer such that M+1ms+N.



x=a or 'point'=a


Specifies the expansion point a. The default is a=0. It can be an algebraic number, depending rationally on some parameters, or .


If this option is given, then the command returns a set of m-sparse power series solutions at the given point a. Otherwise, it returns a set of m-sparse power series solutions for all possible points that are determined by Slode[candidate_mpoints](ode,var).




Specifies an integer m0. If this option is given, then the procedure computes a set of m-sparse power series solutions with m=m0 only. Otherwise, it returns a set of m-sparse power series solution for all possible values of m.


If both an expansion point and a sparse order are given, then the command can also compute a set of m-sparse series solutions for an inhomogeneous equation with polynomial coefficients and a right-hand side that is rational in the independent variable x. Otherwise, the equation has to be homogeneous.




Specifies a base name C to use for free variables C[0], C[1], etc. The default is the global name  _C. Note that the number of free variables may be less than the order of the given equation if the expansion point is singular.









Inhomogeneous equations are handled:







See Also

LODEstruct, Slode, Slode[candidate_mpoints], Slode[FPseries]

Download Help Document

Was this information helpful?

Please add your Comment (Optional)
E-mail Address (Optional)
What is ? This question helps us to combat spam