formal power series solutions for a linear ODE - Maple Help

Online Help

All Products    Maple    MapleSim


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

Slode[FPseries] - formal power series solutions for a linear ODE

Slode[FTseries] - formal Taylor series solutions for a linear ODE

Calling Sequence

FPseries(ode, var, vn, opts)

FTseries(ode, var, vn, opts)

FPseries(LODEstr, vn, opts)

FTseries(LODEstr, vn, opts)

Parameters

ode

-

linear ODE with polynomial coefficients

LODEstr

-

LODEstruct data structure

var

-

dependent variable, for example yx

vn

-

new function in the form vn

opts

-

optional arguments of the form keyword=value

Description

• 

The FPseries and FTseries commands return a power series solution of the given linear ordinary differential equation with polynomial coefficients which must be homogeneous or inhomogeneous with a right hand side that is a polynomial, a rational function, or a "nice" power series (see LODEstruct) in the independent variable x.

• 

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 linear in var

– 

ode must have polynomial coefficients in x

– 

ode must be homogeneous or have a right-hand side that is rational or a "nice" power series in 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. In the case of an inhomogeneous equation with a right-hand side that is a "nice" power series, vn satisfies an inhomogeneous linear recurrence.

• 

The routines choose a polynomial basis depending on the expansion point. If a is a rational or algebraic number, then the basis is xan for FPseries and xann! for FTseries. If a=, then the basis is 1xn for FPseries and 1xnn! for FTseries.

• 

Both routines then build a linear recurrence Rvn=0 for the sequence of coefficients of the series solution in the chosen basis. They determine the number M of initial values of this sequence so that it is possible to calculate any element from these initial values using the recurrence (taking into account the order and the zeros of the leading coefficients of the recurrence), and calculate these initial values.

• 

The formal power series is represented by an FPSstruct data structure:

FPSstructv0+v1P1x+...+vMPMx+n=M+1vnPnx,Rvn;

  

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

• 

In the case of an inhomogeneous equation with a rational right hand side the commands work similarly. In the case of a "nice" power series right hand side the recurrence Rvn is inhomogeneous.

Options

• 

x=a or 'point'=a

  

Specifies the expansion point in the case of a homogeneous equation or an inhomogeneous equation with rational right-hand side. The default is a=0. It can be an algebraic number, depending rationally on some parameters, or . In the case of a "nice" series right-hand side the expansion point is given by the right-hand side and cannot be changed.

• 

'terms'=N

  

Specifies a nonnegative integer N, the required number of initial terms of the series solutions. If this option is given, then the routine compares it with the determined number M and, if M<N, calculates the first N initial coefficients.

• 

'free'=C

  

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.

Examples

withSlode&colon;

ode:=3x26x&plus;3&DifferentialD;&DifferentialD;x&DifferentialD;&DifferentialD;xyx&plus;12x12&DifferentialD;&DifferentialD;xyx&plus;6yx

ode:=3x26x&plus;3&DifferentialD;2&DifferentialD;x2yx&plus;12x12&DifferentialD;&DifferentialD;xyx&plus;6yx

(1)

FPseriesode&comma;yx&comma;vn

FPSstruct_C1x&plus;_C0&plus;n&equals;2&infin;vnxn&comma;n2nvn&plus;2n2&plus;2nvn1&plus;n2nvn2

(2)

FPseriesode&comma;yx&comma;vn&comma;x&equals;1

FPSstructn&equals;0&infin;vnx1n&comma;n2&plus;3n&plus;2vn

(3)

FTseriesode&comma;yx&comma;vn&comma;&apos;free&apos;&equals;A&comma;&apos;terms&apos;&equals;2

FPSstructA0&plus;A1x&plus;122A0&plus;4A1x2&plus;n&equals;3&infin;vnxnn&excl;&comma;vn2nvn1&plus;n2nvn2

(4)

Some inhomogeneous examples:

FPseriesode&equals;x14&comma;yx&comma;vn&comma;x&equals;1

FPSstruct190x14&plus;n&equals;5&infin;vnx1n&comma;3n2&plus;9n&plus;6vn

(5)

FPseriesode&equals;n&equals;3&infin;1xn&comma;yx&comma;vn

FPSstruct_C0x&plus;_C1x2&plus;n&equals;3&infin;vnxn&comma;3n29n&plus;6vn&plus;3n29n&plus;6vn2&plus;6n2&plus;18n12vn11

(6)

See Also

LODEstruct, Slode, Slode[msparse_series_sol], Slode[series_by_leastsquare]


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