OrthogonalSeries - Maple Programming Help

Online Help

All Products    Maple    MapleSim


Home : Support : Online Help : Mathematics : Power Series : OrthogonalSeries Package : OrthogonalSeries/Derivate

OrthogonalSeries

  

Derivate

  

take derivative of a series

 

Calling Sequence

Parameters

Description

Examples

Calling Sequence

Derivate(S, x, option_operator, optional_root)

Derivate(S, x1,.., xn, option_operator, optional_root)

Derivate(S, [x1,.., xn], option_operator, optional_root)

Parameters

S

-

orthogonal series

x, x1, .., xn

-

names

option_operator

-

(optional) equation of the form operator = operator_name, where operator_name is chosen from: deltastruct, nablastruct, hypdiff, invqstruct, qstruct, struct, and structural

optional_root

-

(optional) equation of the form root = val where val is a symbol representing a root of the polynomial associated with the expansion family

Description

• 

The Derivate(S, x) calling sequence applies to the series S the differential, difference or q-difference operator with respect to the variable x. The operator is determined by the hypergeometric type of the polynomials depending on x in the series. For example, if ChebyshevT(n, x) and Charlier(m, a, y) appear in the series S, then Derivate(S, x) differentiates S with respect to x and Derivate(S, y) applies to S the delta difference operator with respect to y.

• 

The Derivate(S, x1,.., xn) and Derivate(S, [x1,.., xn]) calling sequences are equivalent to the recursive calling sequence Derivate(...Derivate(S, x1),..., xn).

• 

The operator=operator_name option allows the user to apply a special difference/differential operator to a series. The Derivate(S, x1,.., xn, operator=operator_name) and Derivate(S, [x1,.., xn], operator=operator_name) calling sequences are equivalent to the recursive Derivate(...Derivate(S, x1, operator=operator_name)..., xn, operator=operator_name) calling sequence.

• 

If operator_name is:

  

deltastruct or nablastruct, then the discrete delta-structural or nabla-structural operator, respectively, is applied.

  

hypdiff, then the hypergeometric operator is applied to the continuous, discrete, or q-discrete polynomial.

  

invqstruct or qstruct, then the 1/q-structural or q-structural operator, respectively, is applied.

  

struct, then the structural differential operator is applied.

  

structural, then the structural differential (for continuous hypergeometric polynomials), the discrete nabla-structural (for discrete hypergeometric polynomials), or the q-structural (for q-discrete hypergeometric polynomials) operator is applied.

• 

The operator type can be incompatible with the polynomial to which it is applied.  For example, the q-structural operator with respect to x cannot be applied (in general or with the OrthogonalSeries package) to a series S expanded in terms of the Hermite polynomials HermiteH(n, x). In such a case, an error message is returned.

• 

This command is part of the OrthogonalSeries package, so it can be used in the form Derivate(..) only after executing the command with(OrthogonalSeries). However, it can always be accessed through the l ong form of the command by using OrthogonalSeries[Derivate](..).

Examples

withOrthogonalSeries:

SCreateun,m,ChebyshevTn,x,GegenbauerCm,a,y

S:=m=0∞n=0∞un,mChebyshevTn,xGegenbauerCm,a,y

(1)

DerivateS,x,y

m=0∞n=0∞2an+1un+1,m+1ChebyshevUn,xGegenbauerCm,a+1,y

(2)

S1Createun,m,ChebyshevTn,x,GegenbauerCm,a,y

S1:=m=0∞n=0∞un,mChebyshevTn,xGegenbauerCm,a,y

(3)

DerivateS1,x;DerivateS1,y;DerivateS1,x,y

m=0∞n=0∞n+1un+1,mChebyshevUn,xGegenbauerCm,a,y

m=0∞n=0∞2aun,m+1ChebyshevTn,xGegenbauerCm,a+1,y

m=0∞n=0∞2an+1un+1,m+1ChebyshevUn,xGegenbauerCm,a+1,y

(4)

The structural operator for Laguerre polynomials in x with the parameter a is xddx and the hypergeometric operator is xd2dx2xa1ddx. We verify these results by using the ApplyOperator and DerivateRepresentation procedures.

S1Create1,2,3,4,LaguerreLm,a,x

S1:=LaguerreL0,a,x+2LaguerreL1,a,x+3LaguerreL2,a,x+4LaguerreL3,a,x

(5)

S2DerivateS1,x,operator=structural

S2:=2a2LaguerreL0,a,x+43aLaguerreL1,a,x+64aLaguerreL2,a,x+12LaguerreL3,a,x

(6)

DerivativeRepresentationS2,x;ApplyOperatorxd,d,x,S1

2+aLaguerreL0,a+1,x+2+aLaguerreL1,a+1,x+184aLaguerreL2,a+1,x+12LaguerreL3,a+1,x

2+aLaguerreL0,a+1,x+2+aLaguerreL1,a+1,x+184aLaguerreL2,a+1,x+12LaguerreL3,a+1,x

(7)

S3DerivateS1,x,operator=hypdiff

S3:=2LaguerreL1,a,x6LaguerreL2,a,x12LaguerreL3,a,x

(8)

DerivativeRepresentationS3,x,x;ApplyOperatorxd2xa1d,d,x,S1

2LaguerreL1,a,x6LaguerreL2,a,x12LaguerreL3,a,x

2LaguerreL0,2+a,x2LaguerreL1,2+a,x+18LaguerreL2,2+a,x12LaguerreL3,2+a,x

(9)

Find the structural operators for Charlier polynomials.

SCreateun,Charliern,12,x

S:=n=0∞unCharliern,12,x

(10)

DerivateS,x

n=0∞2n+1un+1Charliern,12,x

(11)

DerivateS,x,operator=structural

n=0∞nunun+1nun+1Charliern,12,x

(12)

DerivateS,x,operator=nablastruct

n=0∞nunun+1nun+1Charliern,12,x

(13)

DerivateS,x,operator=deltastruct

n=0∞n+1un+1Charliern,12,x

(14)

Find the structural operators for Moak q-polynomials.

SCreateun,Moakn,2,13,x

S:=n=0∞unMoakn,2,13,x

(15)

RDerivateS,x,operator=qstruct

R:=117u1Moak0,2,13,x+n=1∞127un113n1127un132132nun13n13n+3+2132nun13n+32132nun13n+32132nun9413n+31344n13n+1un+1+9413n+31344nun+1+941344n13n+1un+1941344nun+1Moakn,2,13,x

(16)

SimplifyCoefficientsR,collect,u,simplify

117u1Moak0,2,13,x+n=1∞118+37183n29nun+193n127un1+1432n+2+135227n729481nun+1Moakn,2,13,x

(17)

Find the partial structural operators for Jacobi polynomials.

SCreateun,JacobiPn,12,13,x

S:=n=0∞unJacobiPn,12,13,x

(18)

SimplifyCoefficientsDerivateS,x,operator=struct,root=1,collect,u

n=0∞12144n3+540n2+506nun12n+2312n+11+12144n3756n21184n561un+112n+2312n+11JacobiPn,12,43,x

(19)

SimplifyCoefficientsDerivateS,x,operator=struct,root=1,collect,u

n=0∞13216n3+810n2+759nun12n+2312n+11+13216n3+1098n2+1641n+748un+112n+2312n+11JacobiPn,32,13,x

(20)

See Also

ChebyshevT

ChebyshevU

GegenbauerC

JacobiP

LaguerreL

OrthogonalSeries

OrthogonalSeries[Create]

OrthogonalSeries[DerivativeRepresentation]

OrthogonalSeries[SimplifyCoefficients]

 


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