Overview of the LinearFunctionalSystems Package - Maple Help

Online Help

All Products    Maple    MapleSim


Home : Support : Online Help : Mathematics : Packages : LinearFunctionalSystems

Overview of the LinearFunctionalSystems Package

 

Calling Sequence

Description

List of LinearFunctionalSystems Package Commands

Examples

References

Calling Sequence

LinearFunctionalSystems[command](arguments)

command(arguments)

Description

• 

The LinearFunctionalSystems package is useful for solving the following types of problems.

  

*   Find polynomial solutions of a linear functional system of equations with polynomial coefficients.

  

*   Find rational solutions of a linear functional system of equations with polynomial coefficients.

  

*   Find formal power series solutions of a linear functional system of equations with polynomial coefficients.

  

*   Find the universal denominator of the rational solutions of a linear functional system of equations with polynomial coefficients

  

*   Transform a matrix recurrence system into an equivalent system with nonsingular leading or trailing matrix.

• 

For a given linear functional system of equations, the main functionality of this package is to transform the given system into an equivalent system with a nonsingular leading or trailing matrix. The construction of this equivalent system can be solved by using the EG-elimination algorithm by S.A. Abramov.

• 

Each command in the LinearFunctionalSystems package can be accessed by using either the long form or the short form of the command name in the command calling sequence.

  

As the underlying implementation of the LinearFunctionalSystems package is a module, it is also possible to use the form LinearFunctionalSystems:-command to access a command from the package. For more information,  see Module Members.

List of LinearFunctionalSystems Package Commands

• 

The following is a list of available commands.

AreSameSolution

CanonicalSystem

ExtendRegularSolution

ExtendSeries

HomogeneousSystem

IsSolution

LogarithmicSolution

MatrixTriangularization

PolynomialSolution

Properties

Rank

RationalSolution

RegularSolution

SeriesSolution

UniversalDenominator

 

  

To display the help page for a particular LinearFunctionalSystems command, see Getting Help with a Command in a Package.

Examples

withLinearFunctionalSystems:

MMatrix2,4,1,1,n+1,0,1,1,0,n+1:

MatrixTriangularizationM,2,n,'trail'

11n+10110n+1,table,00,,

(1)

MatrixTriangularizationM,2,n,'lead'

11n+10n2n+200,table,00,,

(2)

sysx+3x+6x+1x+5xy1x+1x1x+2x+3x+6x+1y1xxx6+11x5+41x4+65x3+50x236y2x+6x+2x+3x+6x+1xy4x,x+6x+2y2x+1x2y2x,x+6x+1x+5xy3x+1+x+6x+1x1y1xxx5+7x4+11x3+4x25x+6y2xy3xx+6x+1x+5x+x+6x+1x3x+3y4x,x+6y4x+1+x2y2xx+6y4x:

varsy1x,y2x,y3x,y4x:

PolynomialSolutionsys,vars

0,0,_c1,0

(3)

RationalSolutionsys,vars

_c1x1x+2x+4x+3,0,12020x5_c2+200x4_c2+700x3_c2+1000x2_c2+5x_c1+480x_c2+4_c1xx+1x+2x+4x+3,0

(4)

solSeriesSolutionsys,vars

sol:=x40320_c1116217150_c5+Ox2,362880x_c2362880_c2+Ox2,_c3+x362880_c49273742900_c5+Ox2,_c5+Ox2

(5)

ExtendSeriessol,5

x40320_c1116217150_c5+xx140320_c1+4483575_c5+xx1x220160_c12697100100_c5+xx1x2x36720_c1+3617800800_c5+xx1x2x3x41680_c129234804800_c5+Ox6,362880x_c2362880_c2181440xx1_c2+60480xx1x2_c215120xx1x2x3_c2+3024xx1x2x3x4_c2+Ox6,_c3+x362880_c49273742900_c5+xx1181440_c4+693785800_c5+xx1x260480_c4271091801800_c5+xx1x2x315120_c4+512225225_c5+xx1x2x3x43024_c440511144144000_c5+Ox6,_c5+Ox6

(6)

BMatrix4,4,x2+3x+1x1x+2x+5x,26x3+29x2+8x1+x5+9x4x+2x+5x+1,x1,x1x3+7x2+14x+9x+2x+5,x1x+1x+5x,x1x+12x+5,0,x1x+1x+5,x1x+5,x1xx+1x+5,x,x3+3x25x5x+5,x1xx+5,x1x+1x+5,1,x1x+4x+5:

PolynomialSolutionB,x,'difference'

x_c1,0,x_c1+2_c1,_c1

(7)

RationalSolutionB,x,'difference'

x6_c1+7x5_c1109x4_c1+x4_c2+353x3_c13x3_c2+2268x2_c119x2_c2840x_c1+7x_c2+720_c16_c2x21x+3x+4x,4120_c1_c2x+4x+2x2,x5_c1+8x4_c1105x3_c1+x3_c2260x2_c1+2x2_c2+764x_c17x_c2+1272_c111_c2x+1x+2x+4x+3,x2_c1+6x_c1112_c1+_c2x+4x+2

(8)

solSeriesSolutionB,x,'difference'

sol:=x5040_c1+101464516_c5+9352654_c6_c4+Ox2,16335367_c6+4083847_c5+40320_c2+x40320_c274400314_c514880067_c6+Ox2,1288358_c5+4507652_c6+40320_c3+2_c4+x1288358_c54507652_c640320_c3_c4+Ox2,_c4+x59852_c6+66158_c5+Ox2

(9)

ExtendSeriessol,5

x5040_c1+101464516_c5+9352654_c6_c4+xx15040_c193148516_c58521054_c6+xx1x22520_c1+84598532_c5+7678658_c6+xx1x2x3840_c124875532_c52235558_c6+xx1x2x3x4210_c1+207641128_c5+18412132_c6+Ox6,16335367_c6+4083847_c5+40320_c2+x40320_c274400314_c514880067_c6+xx16712387_c6+33561914_c5+20160_c2+xx1x26720_c2495847_c51983367_c6+xx1x2x31680_c2+2132714_c5+426547_c6+xx1x2x3x4336_c217407_c569607_c6+Ox6,1288358_c5+4507652_c6+40320_c3+2_c4+x1288358_c54507652_c640320_c3_c4+xx1677258_c5+2283752_c6+20160_c3+xx1x26720_c3250058_c5781352_c6+xx1x2x31680_c3+72758_c5+202952_c6+xx1x2x3x4336_c38614_c52100_c6+Ox6,_c4+x59852_c6+66158_c5+xx159852_c666158_c5+xx1x28552_c5+1500_c6+xx1x2x310052_c612158_c5+xx1x2x3x43218_c5+2372_c6+Ox6

(10)

References

  

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

See Also

module

UsingPackages

with

 


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