return the logarithmic solution of a linear system of differential equations - Maple Help

Online Help

All Products    Maple    MapleSim


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

LinearFunctionalSystems[LogarithmicSolution] - return the logarithmic solution of a linear system of differential equations

Calling Sequence

LogarithmicSolution(sys, vars, opts)

LogarithmicSolution(A, x, case, opts)

Parameters

sys

-

list of equations; linear differential system

vars

-

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

A

-

Matrix with rational elements

x

-

independent variable

case

-

'differential'; indicates the case of the system

opts

-

(optional) expression of the form hybrid=b where b is 'true' (default) if LinearFunctionalSystems[UniversalDenominator] (see below) should use hybrid method, false otherwise

Description

• 

The LogarithmicSolution function returns the logarithmic solutions (that is, the solutions in Q(x)[log(x)]) of the specified linear differential system of equations with polynomial coefficients). If such a solution does not exist, then NULL is returned. If the denominator of the solutions cannot be bound then FAIL 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 and the independent variable x).

  

The matrix form specifies the system Lyx=Ayx, where L is the differential operator, yx is the vector of the functions to solve for, and A is a rational matrix.

  

For the matrix form of the calling sequence, the case of the system must be specified as 'differential'.

• 

Logarithmic solution is a global problem which is an analog of the local one of finding regular solutions (see LinearFunctionalSystems[RegularSolution]). The logarithmic solutions are of the form m=0kgmxlogxm where the gmx are rational functions.

  

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

• 

The function first computes a universal denominator of the solution using LinearFunctionalSystems[UniversalDenominator]. Then the found denominator is substituted into the system and the resulted system is solved for the solution in Q[x][log(x)], which is performed by an algorithm analogous to one used in LinearFunctionalSystems[RegularSolution].

• 

The error conditions associated with LogarithmicSolution include all those generated by LinearFunctionalSystems[Properties] as well as the following:

1. 

The system must be homogeneous.

2. 

The case must be differential.

• 

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

Examples

withLinearFunctionalSystems:

sys:=ⅆⅆxy1xx=y2x,ⅆⅆxy2x=0:vars:=y1x,y2x

vars:=y1x,y2x

(1)

vars:=y1x,y2x:

LogarithmicSolutionsys,vars

lnx_c1+_c2,_c1

(2)

A:=Matrix1xx2x2,x1x21,12x1x2,x42x

A:=1xx2x21xx2112x1x2x42x

(3)

LogarithmicSolutionA,x,'differential',hybrid='false'

0,0

(4)

See Also

LinearFunctionalSystems[MatrixTriangularization], LinearFunctionalSystems[Properties], LinearFunctionalSystems[RationalSolution], LinearFunctionalSystems[RegularSolution], LinearFunctionalSystems[UniversalDenominator]


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