LinearFunctionalSystems[SeriesSolution] - return the formal series solution of a linear functional system of equations
|
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 , where L is the operator (either differential, difference, or q-difference), 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 ) 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
|
|
|
•
|
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
|
|
>
|
|
>
|
|
>
|
|
>
|
|
| (1) |
>
|
|
>
|
|
>
|
|
| (2) |
|
|
References
|
|
|
Abramov, S. A. "EG-Eliminations." Journal of Difference Equations and Applications, (1999): 393-433.
|
|
|