test the solution of a linear functional system - Maple Help

Online Help

All Products    Maple    MapleSim


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

LinearFunctionalSystems[IsSolution] - test the solution of a linear functional system

LinearFunctionalSystems[AreSameSolution] - test if solutions of a linear functional system are equivalent

Calling Sequence

IsSolution(sol, sys, vars)

IsSolution(sol, A, b, x, case)

IsSolution(sol, A, x, case)

AreSameSolution(sol, sol1, x)

Parameters

sol

-

solution to be checked

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

-

the independent variable, for example x

case

-

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

sol1

-

solution to be compared with

Description

• 

The IsSolution function returns true if sys is a linear functional system of equations with polynomial coefficients and sol is the solution of the linear functional system. Otherwise, the quasidegrees (see below) of the results of substitution are 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 IsSolution substitutes sol for the function variables and checks the result. If the given solutions is correct then 'true' is returned. Otherwise, for each component of the result of the substitution is computed and its quasidegree is returned. If the component is a polynomial then the quasidegree is the ordinary degree of the polynomial. If the component is in the form xλpx where px is a polynomial and lamdba is an algebraic number then the quasidegree is  equal to λ+degreepx,x. If the component is rational then the quasidegree is equal to the difference of the quasidegree of the numerator and the quasidegree of the denominator. If the component is a polynomial in lnx (as a result of the substitution of a regular solution) then the quasidegree is the list of quasidegrees of the coefficients in respect of lnx. Otherwise the quasidegree is undefined and FAIL is returned.

• 

The AreSameSolution function returns true if the solutions sol and sol1 are equivalent. Otherwise, false is returned.

  

The function checks that the numbers of linear independent solutions in sol and sol1 are equal, as well as the degrees in x.

• 

The error conditions associated with these functions 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 IsSolution(..) 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[IsSolution](..).

Examples

withLinearFunctionalSystems:

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

vars:=y1x,y2x,y3x,y4x,y5x,y6x:

sol:=PolynomialSolutionsys,vars

sol:=x_c3+_c2,_c3,x2_c3x_c2+_c1,x2_c3+x_c2_c1,2x_c3_c2,x3_c3+x2_c22x_c12_c3

(1)

IsSolutionsol,sys,vars

true

(2)

sol1:=_c1+x_c3,_c3,_c2+x_c1x2_c3,_c2x_c1+x2_c3,_c12x_c3,2_c3+2x_c2x2_c1+x3_c3

sol1:=x_c3_c1,_c3,x2_c3+x_c1_c2,x2_c3x_c1+_c2,2x_c3+_c1,x3_c3x2_c1+2x_c22_c3

(3)

IsSolutionsol1,sys,vars

true

(4)

AreSameSolutionsol,sol1,x

true

(5)

sol1:=1

sol1:=1

(6)

IsSolutionsol,sys,vars

0,∞,∞,1,3,∞

(7)

sol2:=sol1_c1=0|sol1_c1=0

sol2:=x_c3,_c3,x2_c3_c2,x2_c3+_c2,2x_c3,x3_c3+2x_c22_c3

(8)

IsSolutionsol2,sys,vars

true

(9)

AreSameSolutionsol1,sol2,x

false

(10)

sol1:=xlnx+1

sol1:=xlnx+1

(11)

IsSolutionsol,sys,vars

0,0,∞,∞,1,1,3,3,∞

(12)

See Also

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