return the rational solution of a linear functional system of equations - Maple Help

Online Help

All Products    Maple    MapleSim


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

LinearFunctionalSystems[RationalSolution] - return the rational solution of a linear functional system of equations

Calling Sequence

RationalSolution(sys, vars, opts)

RationalSolution(A, b, x, case, opts)

RationalSolution(A, x, case, opts)

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'

opts

-

optional arguments of the form 'keyword'=value where keyword is one of method, denom, numdegree, hybrid, or use_constraints

Description

• 

The RationalSolution command returns the rational solutions of the given linear functional system of equations with polynomial coefficients. If such a solution does not exist, then the empty list  is returned. If either the denominator or the degree of numerator of rational solutions cannot be bound then FAIL is returned. In this case the problem could be further specified by providing additional equations or by fixing the degree and/or denominator bound in advance using numdegree and denom options.

  

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.

• 

This function computes the universal denominator of the given system by using LinearFunctionalSystems[UniversalDenominator]. Then, by substituting this denominator, it forms the new system of equations to solve for the numerator of the rational solution of the given system. This system is solved using LinearFunctionalSystems[PolynomialSolution] and, consequently, the rational solution of the given system is constructed.

• 

If the option 'use_constraints'='true' is used, then the additional constraints on derivatives are added to the system. Additional constraints are consequences of the given system. They have the form ⅆⅆxyix=pizix, where pi is a polynomial and zix is a new unknown function. Using the constraints may speed up the solving of the system in some cases.

• 

The solution is the list of rational functions in x, corresponding to vars. This solution involves arbitrary constants of the form _c1, _c2, etc.

• 

If the number of linear independent equations of the system is less than the number of the function variables then the denominator and the degree of numerator of rational solutions cannot be bound and FAIL is returned. In this case it is possible either to specify the bounds using options of the form 'numdegree'=n and 'denom'=u or to extend the system by additional equations, in particular giving the desirable value of some of the function variables (see example).

• 

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

• 

This function is part of the LinearFunctionalSystems package, and so it can be used in the form RationalSolution(..) 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[RationalSolution](..).

Options

• 

The optional arguments are method, denom, numdegree, hybrid, and use_constraints.

  

method='quasimodular' or 'ordinary'

  

Indicates the version of EG-eliminations to use.  The default is 'ordinary'.

  

denom=u 

  

Specifies the polynomial u bounding the denominator of rational solutions to be found

  

numdegree=n

  

Sets the upper bound of the degree of the numerator of the polynomial solutions to be found (in respect to the specified denominator).

  

hybrid=true or false

  

Specifies whether to use the hybrid method.  true (default) should be used for LinearFunctionalSystems[UniversalDenominator] (see below), false otherwise (applicable only to differential systems).

  

use_constraints=true or false 

  

Specifies whether RationalSolution function should use additional constraints on derivatives. The default is false. (applicable only to differential systems)

Examples

withLinearFunctionalSystems:

sys:=x+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:

vars:=y1x,y2x,y3x,y4x:

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

(1)

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

RationalSolutionB,x,'difference','quasimodular'

1432057x6_c12x6_c2+399x5_c114x5_c2+987x4_c122x4_c21479x3_c1+14x3_c27524x2_c1+24x2_c2+2520x_c12160_c1x21x+3x+4x,13_c1x+4x+2x2,1432057x5_c12x5_c2+456x4_c116x4_c2+1215x3_c130x3_c2420x2_c1+40x2_c26852x_c1+152x_c26696_c1+96_c2x+1x+2x+4x+3,1432057x2_c12x2_c2+342x_c112x_c2+816_c116_c2x+4x+2

(2)

sys:=xⅆⅆxy1x2y1xy2x:

vars:=y1x,y2x:

The number of variables is bigger than the number of equations

sol:=RationalSolutionsys,vars

sol:=FAIL

(3)

specify options 'denom' and 'numdegree'

RationalSolutionsys,vars,'denom'=x2+32,'numdegree'=2

_c1x2+3,2_c12x2+3x2+32

(4)

or extend the system

sys:=opsys,y2x=1x3:

RationalSolutionsys,vars

155x5_c21x3,1x3

(5)

See Also

LinearFunctionalSystems[PolynomialSolution], LinearFunctionalSystems[Properties], LinearFunctionalSystems[UniversalDenominator]

References

  

Abramov, S. A., and Polyakov, S.P. "Improved universal denominators" Programming and Computer Software 33, N. 3 (2007): 132-138.

  

Abramov, S. A., Bronstein M., Khmelnov D.E. "On regular and logarithmic solutions of ordinary linear differential systems" Proc. of CASC'2005, (2005): 1-12.

  

Abramov, S. A., Bronstein M. "On solutions of linear functional systems" Proc. of ISAAC'2001, (2001): 1-6.

  

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


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