PDEtools - Maple Programming Help

Online Help

All Products    Maple    MapleSim


Home : Support : Online Help : Mathematics : Differential Equations : PDEtools : Symmetries : PDEtools/CharacteristicQ

PDEtools

  

CharacteristicQ

  

compute the characteristic of a point symmetry represented by its infinitesimals

 

Calling Sequence

Parameters

Description

Examples

Calling Sequence

CharacteristicQ(S, DepVars, 'options'='value')

Parameters

S

-

a list with the infinitesimals of a symmetry generator or the corresponding infinitesimal generator operator

DepVars

-

a function or a list of them indicating the dependent variables of the problem

checktype = ...

-

optional - can be true (default) or false, to have or have not inserted a check-of-type for the arguments of the output procedure

expanded = ...

-

optional - can be true or false (default), to have or have not expanded the sums entering the body of the output procedure

jetnotation = ...

-

(optional) can be true (default, the notation found in S), false, jetvariables, jetvariableswithbrackets, jetnumbers or jetODE; to respectively return or not using the different jet notations available

Description

• 

The CharacteristicQ command computes the characteristic of a point symmetry represented by its infinitesimals or the corresponding infinitesimal generator operator. That is, for a PDE problem with n independent and m dependent variables, given a related list of infinitesimals ξ1,...,ξn,η1,...,ηm, CharacteristicQ computes the procedure

mηmj=1nxijⅆumⅆxj

  

where m identifies a dependent variable.

• 

The sum in the body of this operator returned by CharacteristicQ is not expanded unless explicitly requested using the optional argument expanded. Also, jetnotation is used in this operator and a check-of-type for the value of m is automatically inserted unless explicitly requested otherwise with the optional arguments jetnotation = false and/or checktype = false - see the examples below.

• 

To avoid having to remember the optional keywords, if you misspell a keyword, or a portion of it, a matching against the correct keywords is performed, and when there is only one match, the input is automatically corrected.

Examples

with(PDEtools, CharacteristicQ, InfinitesimalGenerator);

CharacteristicQ,InfinitesimalGenerator

(1)

Consider a problem in two independent and two dependent variables u(x, t), v(x, t), and the generic form of infinitesimals for this type of problem

F := [u,v](x,t);

Fux,t,vx,t

(2)

S := [seq(xi[j](x, t, u, v), j = [x, t]), seq(eta[j](x, t, u, v), j = [u, v])];

Sξxx,t,u,v,ξtx,t,u,v,ηux,t,u,v,ηvx,t,u,v

(3)

By default CharacteristicQ returns, fast, an operator in its most abstract form, with a test-type for the value of m and not expanded; essentially, nothing is actually computed until you need it

Q := CharacteristicQ(S, F);

Qm::satisfiesmm::?andm2ηmaddξjdiffym,Xj,j=1..2

(4)

This resulting characteristic is a function that can then be applied to an integer as large as the number of dependent variables of the problem, in this case two

Q(1);

ηux,t,u,vξxx,t,u,vuxξtx,t,u,vut

(5)

Q(2);

ηvx,t,u,vξxx,t,u,vvxξtx,t,u,vvt

(6)

You can instead request to CharacteristicQ for the sum in the mapping to be expanded before returning, or to avoid the check of type of the value of m

CharacteristicQ(S, F, expanded, checktype = false);

mηmξxx,t,u,vdiffym,xξtx,t,u,vdiffym,t

(7)

Instead of passing the symmetry as a list of infinitesimals you can also pass the corresponding infinitesimal generator operator. You construct this operator with InfinitesimalGenerator

G := InfinitesimalGenerator(S, F);

Gf→ξxx,t,u,vxf+ξtx,t,u,vtf+ηux,t,u,vuf+ηvx,t,u,vvf

(8)

This is the same output as (4.4)

CharacteristicQ(G, F);

m::satisfiesmm::?andm2ηmaddξjdiffym,Xj,j=1..2

(9)

To request the output in function instead of jet notation use

Qf := CharacteristicQ(S, F, expanded, checktype = false, jetnotation = false);

Qfmηmξxx,t,ux,t,vx,tdiffym,xξtx,t,ux,t,vx,tdiffym,t

(10)

Compare for instance this output with the output of Q1

Qf(1);

ηux,t,ux,t,vx,tξxx,t,ux,t,vx,txux,tξtx,t,ux,t,vx,ttux,t

(11)

See Also

InfinitesimalGenerator

infinitesimals

PDEtools

ToJet