PDEtools - Maple Programming Help

Online Help

All Products    Maple    MapleSim


Home : Support : Online Help : Mathematics : Differential Equations : PDEtools : PDEtools/TWSolutions

PDEtools

  

TWSolutions

  

compute Traveling Wave Solutions for autonomous nonlinear partial differential equations (PDEs) and systems of them

 

Calling Sequence

Parameters

Description

Examples

Calling Sequence

TWSolutions(PDEsys)

TWSolutions(PDEsys, vars, function=..., output=ODE, extended, rank_parameters_lower, remove_redundant=..., other_opts)

TWSolutions(functions_allowed)

Parameters

PDEsys

-

a set or list with autonomous nonlinear partial differential equations

vars

-

(optional) the unknown function(s) of the system, could be a ranking (see pdsolve,system)

function = ...

-

(optional) either a mathematical function name on the rhs, or a set or list of them; these functions are used as basis for a power series solution

output = ODE

-

(optional) to return the ODE equivalent to the PDE system and the transformation, instead of solving the PDE system

extended

-

(optional) after transforming the PDE system into an ODE system, instead of computing a power series solution to the ODEs, compute their general solution

rank_parameters_lower

-

(optional) parameters declared as such using the option parameters=... are ranked lower than other solving variables of the problem

other_opts

-

any of the optional arguments accepted by casesplit; typically: parameters={p1,p2,...}, singsol=false

functions_allowed

-

single argument, to see what are the functions allowed as basis for constructing power series solutions

Description

• 

The TWSolutions command computes Traveling Wave Solutions (TWS) for autonomous partial differential equations (PDE) that are rational and nonlinear in the unknowns and their derivatives. An autonomous system is one where the independent variables do not appear explicitly, only through the unknown functions and their derivatives.

• 

A TWS is an exact, closed-form solution, expressed as a finite power series of one of a particular set of functions (default is the hyperbolic tangent, tanh) that has a linear combination of the independent variables as arguments. Concretely, given such an autonomous PDE system with i unknown functions fix1,...,xj of j variables, by default TWSolutions computes solutions of the form

f[i](tau) = Sum(A[i,k]*tau^k, k=0..n[i]);

fiτ=k=0niAi,kτk

(1)
  

where the ni are finite, the Ai,k are constants with respect to the xj and

tau = tanh(Sum(C[k]*x[k], k=0..j));

τ=tanhk=0jCkxk

(2)
  

where the Ck are constants with respect to the xj.

• 

The first argument given to TWSolutions, PDEsys, is a set or list containing one or more autonomous PDEs. The unknowns of the system can be specified anywhere after the first argument, as a set or list of functions - or function names - or as a ranking (see pdsolve,system). If the unknowns of the problem are not specified, only the differentiated unknown functions found in the PDE system are taken as the unknowns.

• 

The mathematical function used to construct the TWS, when not specified, is tanh. To specify a different function, or a list of them to construct different types of solutions at once, use the functions = ... optional argument, where the right-hand side can be the name of a mathematical function or a set or list of them. The possible mathematical functions are: exp, ln, the trigonometric functions sin, cos, tan, csc, sec, cot, the hyperbolic versions of them, JacobiSN, JacobiCN, JacobiDN, JacobiNS, JacobiNC, JacobiND, the corresponding InverseJacobi functions, and the WeierstrassP function.

• 

It is also possible to choose the identity as the "mathematical function" to be used, in which case, instead of a power series of a function of a linear combination of the independent variables, the TWS is constructed as a power series of the linear combination itself, resulting in a polynomial solution to the PDE system.

• 

In some cases, or to perform further analysis and intermediate manipulations, it is useful to compute not the actual solution to the problem posed but just the ODE system equivalent to the given PDE system and the transformation mapping each other. To obtain this type of output use the optional argument output = ODE.

• 

As explained in the previous paragraphs, once the function with which the solution will be constructed is determined, either by default (tanh) or by choice (using the optional argument function = ...), the "TWS" solution is constructed as a power series in that function. This is done by computing the polynomial solutions to the nonlinear ODE system equivalent to the given PDE system. However, a more interesting solution for the PDE system can sometimes be obtained by computing not just polynomial solutions to the nonlinear ODE system but by computing its general solution. To request TWSolutions to attempt this type of solution use the optional argument extended.

• 

The solving process essentially transforms the given PDE system and related unknowns (functions) and parameters (there may be many, represented by symbol variables, indicated with the optional argument parameters = ...) into an nonlinear algebraic system in these unknowns, parameters, and unknown coefficients of the finite series expansion. To solve that system, an ordering or ranking for these solving variables (unknowns, parameters and coefficients) is chosen. This ordering mixes the three groups of solving variables according to convenience regarding different aspects, resulting into a sequence of solutions organized according to the ranking used. In some cases, however, a sequence of solutions organized according to the different cases for the parameters is preferred - for that purpose use the optional argument rank_parameters_lower; see the examples.

• 

By default, TWSolutions discards constant solutions that are redundant before producing the output. If the optional argument remove_redundant = false is used, no attempt to remove redundant solutions is done. This is of use when any particular solution suffices because it avoids the costly process of removing redundant solutions, which requires running additional differential elimination processes. Alternatively, when the optional argument remove_redundant = true is given, all redundant solutions, even those that are non-constant are removed. Depending on the PDE system, this process may consume from several seconds to minutes.

• 

All the optional arguments accepted by PDEtools,casesplit are accepted by TWSolutions. Of special interest is parameters={p1,p2, ...}, specifying a set of constant parameters that should also be considered solving variables. The solution then splits into cases with respect to these parameters through a differential elimination process (see casesplit, DifferentialAlgebra and DEtools,Rif). All constant parameters present in the system and not specified using this option are considered arbitrary.

• 

Another optional argument of PDEtools,casesplit relevant when using TWSolutions is singsol=false. Its use avoids computing the singular cases with respect to the coefficients Ai,k,Cj when running the differential elimination processes required to solve the problem. Depending on the PDE system, the computation of the singular cases may consume more time than the computation of the general solution. To compute TWS the fastest way (so regardless of receiving redundant constant solutions and ignoring the singular cases), use the combination of optional arguments remove_redundant = false, singsol = false.

The solving process

• 

By default, TWSolutions solves a given system in five steps

  

1. The autonomous PDE system is transformed into a nonlinear ODE system by introducing τ (see above) as new variable, implying

Diff(f[i],x[j]) = C[j]*(1-tau^2)*Diff(f[i],tau);

xjfi=Cjτ2+1τfi

(3)
  

for all xj. The resulting ODE system, polynomial in fiτ and its derivatives, has all the coefficients polynomial in τ and the unknowns Cj.

  

2. To search for solutions fi=k=0niAi,kτk for that ODE system, an upper bound ni for each unknown fi is computed. This is done by substituting fi=τni in the system and assuring that the two terms with the highest powers of τ in each equation have the same degree. That is the so-called balancing of the highest degree terms and leads to a linear system for the ni.

  

3. The complete finite expansion in τ for each fi, containing the unknowns Ai,k, is introduced in the ODE system obtained in step 1, and, by taking coefficients of different powers of τ, a new algebraic nonlinear system for the expansion coefficients Ai,k,Cj is built.

  

4. An elimination process splitting into cases is run through PDEtools,casesplit, which in turn uses DEtools,Rif by default, or DifferentialAlgebra if the optional keyword diffalg is present somewhere in the calling sequence. The ranking used leads to solutions for the Ai,k in terms of the Cj plus, perhaps, additional restrictions on the Cj.

  

5. By default, constant solutions that are redundant are removed.

• 

It is implicit in this itemized description that some of the TWSolutions subroutines can be used to directly compute polynomial solutions for nonlinear ODE systems; that functionality is provided through the DEtools[polysols] command. TWSolutions is also used by pdsolve by default when solving a single PDE, but not by default with PDE systems, in which case it can be used by means of optional arguments - see the HINT option described in pdsolve,system.

• 

Valuable information on each of the steps of the solving process is available at run time through the userinfo mechanism. Setting infolevel[TWSolutions] := 2, or any number from 1 to 5 to display less or more information, it is possible to see the ODE system equivalent to the given PDE system, the upper bounds computed, the solutions obtained for the Ai,k,Cj through differential elimination, and the redundant solutions discarded.

Examples

Load TWSolutions and also the DEtools[diff_table] and the PDEtools[declare] facilities to work with simpler input and enhanced display of equations.

withPDEtools,TWSolutions,declare

TWSolutions,declare

(4)

withDEtools,diff_table

diff_table

(5)

Use U as the differentiation table for the function ux,t.

Udiff_tableux,t:

Consider the Korteweg - de Vries (KdV) Burger's equation that occurs in various physical systems. (Note the simpler input in jet notation as a result of using the diff_table command.)

sysUt+U[]UxpUx,x+qUx,x,x=0

sys:=p2x2ux,t+q3x3ux,t+ux,txux,t+tux,t=0

(6)

Three traveling wave solutions (TWS) are as follows.

TWS_solTWSolutionssys

TWS_sol:=ux,t=_C4,ux,t=325p2tanh_C3t110pxq+_C12q+625p2tanh_C3t110pxq+_C1q+125250_C3q2+3p3qp,ux,t=325p2tanh_C3t+110pxq+_C12q625p2tanh_C3t+110pxq+_C1q+125250_C3q2+3p3qp

(7)

Solutions can be tested as usual using pdetest.

mappdetest,TWS_sol,sys

0,0,0

(8)

Let's consider the same problem but taking p,q as parameters, so splitting into cases with respect to them; five TWS result. To illustrate the userinfo mechanism set

infolevelTWSolutions2

infolevelPDEtools:-TWSolutions:=2

(9)

TWSolutionssys,parameters=p,q

* Using tau = tanh(t*C[2]+x*C[1]+C[0])
* Equivalent ODE system: {-q*C[1]^3*(tau^2-1)*(tau^4-2*tau^2+1)*diff(diff(diff(u(tau),tau),tau),tau)+(-p*C[1]^2*(tau^2-1)^2-q*C[1]^3*(tau^2-1)*(6*tau^3-6*tau))*diff(diff(u(tau),tau),tau)+(-2*p*C[1]^2*(tau^2-1)*tau-q*C[1]^3*(tau^2-1)*(6*tau^2-2)-u(tau)*C[1]*(tau^2-1)-C[2]*(tau^2-1))*diff(u(tau),tau)}
* Ordering for functions: [u(tau)]
* Cases for the upper bounds: [[n[1] = 2]]
* Power series solution [1]: {u(tau) = tau^2*A[1,2]+tau*A[1,1]+A[1,0]}, splitting into cases with respect to the parameters {p, q}

p=0,q=q,ux,t=12_C22qtanh_C2x+_C3t+_C12+8_C23q_C3_C2,p=p,q=0,ux,t=2_C2ptanh_C2x+_C3t+_C1_C3_C2,p=p,q=q,ux,t=_C4,p=p,q=q,ux,t=325p2tanh_C3t110pxq+_C12q+625p2tanh_C3t110pxq+_C1q+125250_C3q2+3p3qp,p=p,q=q,ux,t=325p2tanh_C3t+110pxq+_C12q625p2tanh_C3t+110pxq+_C1q+125250_C3q2+3p3qp

(10)

Among the five solutions above, three were obtained considering the singular cases of the system with respect to the expansion coefficients Ai,k,Cj (see The solving process above). To compute without displaying information, use infolevel[TWSolutions] := 0. To compute more quickly, find only the non-singular solutions using

infolevelTWSolutions0:

TWSolutionssys,parameters=p,q,singsol=false

p=p,q=q,ux,t=325p2tanh_C3t110pxq+_C12q+625p2tanh_C3t110pxq+_C1q+125250_C3q2+3p3qp,p=p,q=q,ux,t=325p2tanh_C3t+110pxq+_C12q625p2tanh_C3t+110pxq+_C1q+125250_C3q2+3p3qp

(11)

The TWS can be computed expanding in series of different functions. The functions allowed are

TWSolutionsfunctions_allowed

JacobiCN,JacobiDN,JacobiNC,JacobiND,JacobiNS,JacobiSN,WeierstrassP,arcsinh,cos,cosh,cot,coth,csc,csch,exp,identity,ln,sec,sech,sin,sinh,tan,tanh

(12)

For example, for p=0, this system also admits sec, JacobiSN, and WeierstrassP type solutions

TWSolutionssys,parameters=p,q,singsol=false,functions=sec,JacobiSN,WeierstrassP

p=p,q=q,ux,t=_C4,p=0,q=q,ux,t=12sec_C2x+_C3t+_C12_C22q+4_C23q_C3_C2,p=0,q=q,ux,t=12JacobiSN_C3x+_C4t+_C2,_C12q_C12_C32+4_C12_C33q+4_C33q_C4_C3

(13)

In the WeierstrassP type solution above, you see the parameter q expressed in terms of the other constants _C entering the solution. To compute a solution where all solving variables are instead expressed as functions of the parameters use the optional argument rank_parameters_lower

TWSolutionssys,parameters=p,q,singsol=false,functions=WeierstrassP,rank_parameters_lower

p=p,q=q,ux,t=_C6

(14)

To compute just the nonlinear ODE system equivalent to this PDE system and the transformation mapping each other use the optional argument output = ODE. For example, for sec

TWSolutionssys,parameters=p,q,singsol=false,function=sec,output=ODE

q_C13τ3τ21ⅆ3ⅆτ3uτ+3q_C13τ22τ21ⅆ2ⅆτ2uτ+6qτ3_C13q_C13τ+uτ_C1τ+_C2τⅆⅆτuττ21p_C12τ2τ21ⅆ2ⅆτ2uτp_C12τ2τ21ⅆⅆτuτ,τ=sec_C1x+_C2t+_C3,uτ=ux,t

(15)

You can also indicate the identity as the function to be used; this is the corresponding nonlinear ODE problem to be solved

TWSolutionssys,parameters=p,q,singsol=false,function=identity,output=ODE

q_C13ⅆ3ⅆτ3uτp_C12ⅆ2ⅆτ2uτ+uτ_C1+_C2ⅆⅆτuτ,τ=_C1x+_C2t+_C3,uτ=ux,t

(16)

A PDE system example: The generalized Hirota-Satsuma coupled KdV equations. To work with simpler input and enhanced mathematical display, use the diff_table and declare commands.

Vdiff_tablevx,t:

Wdiff_tablewx,t:

declareu,v,wx,t

ux,twill now be displayed asu

vx,twill now be displayed asv

wx,twill now be displayed asw

(17)

pde1Vt+1Vx,x,x2+3U[]Vx=0

pde1:=vt+12vx,x,x+3uvx=0

(18)

pde2Wt+1Wx,x,x2+3U[]Wx=0

pde2:=wt+12wx,x,x+3uwx=0

(19)

pde3Ut1Ux,x,x43U[]Ux3xW[]V[]2=0

pde3:=ut14ux,x,x3uux+6vvx3wx=0

(20)

syspde1,pde2,pde3:

This system was proposed by Satsuma and Hirota, who found its three soliton-type solutions and showed that the well-known Hirota-Satsuma coupled KdV equation is a special case of this system with w=0 and xx12 , tt12 . Eleven non-singular traveling wave solutions are computed as follows.

solTWSolutionssys,singsol=false

sol:=u=tanh_C2x+_C3t+_C12_C22+13_C23_C3_C2,v=133_C24+6_C2_C3tanh_C2x+_C3t+_C132_C53_C24+6_C2_C3,w=_C5tanh_C2x+_C3t+_C1+_C4,u=tanh_C2x+_C3t+_C12_C22+13_C23_C3_C2,v=133_C24+6_C2_C3tanh_C2x+_C3t+_C1+32_C53_C24+6_C2_C3,w=_C5tanh_C2x+_C3t+_C1+_C4

(21)

A PDE example with all its terms being nonlinear and for which an extended TWS can be computed (that is, one constructed by computing not just a polynomial but a general solution to the equivalent nonlinear ODE)

pdeUt2=2U[]Ux21+U[]2Ux,x

pde:=ut2=2uux2u2+1ux,x

(22)

TWSolutionspde,output=ODE

uτ2+1_C12τ212uτ,τ+_C22τ2122uτ_C12τ212uτ2+2uτ2+1_C12τ21uττ,τ=tanh_C1x+_C2t+_C3,uτ=u

(23)

TWSolutionspde,extended

u=tan_C42ln12_C52_C1lntanh_C4x+_C5t+_C3+1tanh_C4x+_C5t+_C312_C2_C42_C52

(24)

A simpler extended solution using the identity as the function used to construct the PDE solution

TWSolutionspde,function=identity,output=ODE

uτ2+1_C12uτ,τ+2uτ_C12+_C22uτ2,τ=_C1x+_C2t+_C3,uτ=u

(25)

TWSolutionspde,function=identity,extended

u=tan_C42ln_C52_C1_C4x+_C5t+_C3+_C2_C42_C52

(26)

See Also

DEtools

DEtools/diff_table

DEtools[polysols]

pdetest

PDEtools

PDEtools[casesplit]

PDEtools[declare]

pdsolve

pdsolve/system

 


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