LinearFunctionalSystems - Maple Programming Help

Online Help

All Products    Maple    MapleSim


Home : Support : Online Help : Mathematics : Factorization and Solving Equations : LinearFunctionalSystems : LinearFunctionalSystems/SeriesSolution

LinearFunctionalSystems

  

SeriesSolution

  

return the formal series solution of a linear functional system of equations

 

Calling Sequence

Parameters

Description

Examples

References

Calling Sequence

SeriesSolution(sys, vars, method)

SeriesSolution(A, b, x, case, method)

SeriesSolution(A, x, case, method)

Parameters

sys

-

list of equations; linear functional system

vars

-

list of function variables such as [y1(x), y2(x), ...]; variables to solve for

A

-

Matrix with rational elements

b

-

Vector with rational elements

x

-

independent variable

case

-

name indicating the case of the system; one of 'differential', 'difference', or 'qdifference'

method

-

(optional) name indicating the version of EG-eliminations to use; one of 'quasimodular' or 'ordinary', the latter being the default

Description

• 

The SeriesSolution function returns the initial terms of the formal series solutions from the specified linear functional system of equations with polynomial coefficients. If such a solution does not exist, then the empty list  is returned.

  

The system parameter is entered either in list form (a list of equations sys and a list of function variables vars to solve for), or in matrix form (matrix A, vector b, and the independent variable x, where the vector b is optional).

  

The matrix form specifies the system Lyx=Ayx+b, where L is the operator (either differential, difference, or q-difference), yx is the vector of the functions to solve for, A is a rational matrix, and b is a rational vector (right-hand side).

  

For the matrix from of the calling sequence, the case of the system must be specified as one of 'differential', 'difference', or 'qdifference'. If b is not specified, the system is assumed to be homogeneous.

• 

The function computes the matrix recurrence system corresponding to the given system. This matrix recurrence system is represented by its explicit matrix (the matrix n by n*m, where n is the order of the system, with the leading and trailing matrix being of size n by n). Then, the function triangularizes the leading matrix using LinearFunctionalSystems[MatrixTriangularization] in order to bound the number of the initial terms of the solution in such a way that the recurrences for the rest terms' coefficients have an invertible leading matrix and then builds these initial terms.

• 

The solution is the list of series expansions in x, corresponding to vars. The order term (for example Ox6) is the last term in the series.

  

The solution involves arbitrary constants of the form _c1, _c2, etc.

• 

The solution has an attribute which is a table with the following indices:

'initial'

-

the list of initial terms

'degree'

-

the formal degree of the initial terms

'recurrence'

-

the corresponding recurrence

'coefficients'

-

the coefficients of the initial terms in a proper basis (depending on the case)

'lead'

-

the leading shift of the recurrence

'trail'

-

the trailing shift of the recurrence

'variable'

-

the independent variable of the given system

'the_case'

-

'differential', 'difference' or 'qdifference'

'homogeneous'

-

true if the given system is homogeneous, false otherwise

'index'

-

the index of the last arbitrary constant

'q_par'

-

the q parameter used

  

Note: This data is used by LinearFunctionalSystems[ExtendSeries] in order to extend the number of computed initial terms.

• 

The error conditions associated with SeriesSolution are the same as those which are generated by LinearFunctionalSystems[Properties].

• 

This function is part of the LinearFunctionalSystems package, and so it can be used in the form SeriesSolution(..) only after executing the command with(LinearFunctionalSystems). However, it can always be accessed through the long form of the command by using the form LinearFunctionalSystems[SeriesSolution](..).

Examples

withLinearFunctionalSystems:

sysⅆⅆxy1xy2x,ⅆⅆxy2xy3xy4x,ⅆⅆxy3xy5x,ⅆⅆxy4x2y1x2xy2xy5x,ⅆⅆxy5xx2y1x2xy3xy6x,ⅆⅆxy6xx2y2x+2y3x:

varsy1x,y2x,y3x,y4x,y5x,y6x:

SeriesSolutionsys,vars

3_c2+_c5+Ox,3_c6+_c3+Ox,12_c4+Ox,_c1+12_c4+Ox,_c5+Ox,_c3+Ox

(1)

sysy2xx2+3y2xx+2y2x2y1xx24y1xx+y1x+1x2+y1x+1x,y2x+1y1x:

varsy1x,y2x:

SeriesSolutionsys,vars

_c1+x2_c2+_c1+Ox2,x_c1+Ox2

(2)

References

  

Abramov, S. A. "EG-Eliminations." Journal of Difference Equations and Applications, (1999): 393-433.

See Also

LinearFunctionalSystems[ExtendSeries]

LinearFunctionalSystems[MatrixTriangularization]

LinearFunctionalSystems[PolynomialSolution]

LinearFunctionalSystems[Properties]

LinearFunctionalSystems[RationalSolution]

 


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