## PDEtools:-declare...

Hello people in mapleprimes,

I have a question about how PDEtools:-declare works.

I declared f__1 as a function of k__1 with the command declare, and

defined f__1 as a function of K__1/L__1, which is k__1,

and, differentiated f__1 with K__1.

But, the form I could get is e_1 and e_2, which contains D(f__1)(k__1).
And, the same thing occurs in e7_2.

How can I have it shown as f__1' or f__1'(k__1), which does not include D of D(f__1).

I hope you will give me a help, and thaks in advance.

18_Sep_2017.mw

## Issue with PDEtools:-Solve...

I have a complicated set of first-order differential equations, which Maple seems capable of solving. So far so good. The obtained solution is fed into another complicated set of first-order differential equations, which, again, Maple seems capable of solving.

But this final (combined) solution cannot possibly be the complete one as it does not contain a specific (sub)solution which DOES satisfy both sets of equations (checked in Maple by evaluating these equations for that specific solution). And there is no warning raised concerning any solutions that may have been lost.

The problem seems to be that the integrational constants associated with solving (in turn) the two sets of equations become messed up together, or erroneously 'reused', in some mysterious way. For if I rename the integration constants of the first solution before feeding it into the second set of equations, then this specific subsolution IS contained in the final solution.

Therefore the following questions:

1.) Could there possibly be some erroneous 'reuse' of integration constants going on? It seems to me that in solving the second set of equations, PDEtools:-Solve would have to make sure that it numbers any new integration constants in such a way that there would be no conflict with the ones obtained in solving the first set of equations.

2.) Is there some (global) variable that determines what letter is assigned for the integration constants? I could use any such to easily switch names between the first and second solving.

PS: I think, it makes little sense to upload any code/worksheet here.

## Solving and Plotting PDE...

Having difficulties solving pde. Below is the problem and its not plotting. Anyone with useful informations. Please

restart;
with(PDEtools, casesplit, declare);
with(DEtools, gensys);
with(Physics);

PDE := diff(theta(x, t), x, x)+beta*theta(x, t)*(diff(theta(x, t), x, x))+beta*((diff(theta(x, t), x))^2)-M^2*theta(x, t)-S[h]*(theta(x, t)^2)+M^2*G*(1+E*theta(x, t))-P[e]*(diff(theta(x, t), x)) = diff(theta(x, t), t);
/ d  / d             \\
|--- |--- theta(x, t)||
\ dx \ dx            //

/ d  / d             \\
+ beta theta(x, t) |--- |--- theta(x, t)||
\ dx \ dx            //

2
/ d             \     2                               2
+ beta |--- theta(x, t)|  - M  theta(x, t) - S[h] theta(x, t)
\ dx            /

2                              / d             \    d
+ M  G (1 + E theta(x, t)) - P[e] |--- theta(x, t)| = ---
\ dx            /    dt

theta(x, t)
BC := theta(x, 0) = 0, Dt(theta(0, t)) = 0, theta(1, t) = 1;
theta(x, 0) = 0, Dt(theta(0, t)) = 0, theta(1, t) = 1
Codes := [beta = .1, M = .1, S[h] = .1, G = .1, P[e] = .1, E = .1];
S1 := pdsolve({BC, subs(Codes, PDE)});
PDEplot(S1, [[t, theta(x, t)], [x, theta(x, t)]], t = 0 .. 1, x = 0 .. 1, iterations = 2, numchar = [10, 10], stepsize = 0.5e-1, numsteps = [-5, 5]);
PDEplot([[t, theta(x, t)], [x, theta(x, t)]], t = 0 .. 1,

x = 0 .. 1, iterations = 2, numchar = [10, 10],

stepsize = 0.05, numsteps = [-5, 5])

## is it possible to change ODE to PDE?...

is it possible to change ODE to PDE?

the ODE has diff(a(t),t) and diff(b(t),t)

how to convert to diff(t, a), diff(t, b) ?

## PDEtools build ...

What's wrong here?

restart; with(PDEtools); PDE2 := diff(u(x, y, t), t\$2) = diff(u(x, y, t), x\$2)+diff(u(x, y, t), y\$2); IBC2s := u(x, 0, t) = 0, u(x, 2, t) = 0, u(0, y, t) = 0, u(4, y, t) = 0, u(x, y, 0) = (.1*(-x^2+4*x))*(-y^2+2*y), (D[3](u))(x, y, 0) = 0; Sol2 := pdsolve({IBC2s, PDE2}); build(Sol2);

Error, invalid input: PDEtools:-build uses a 1st argument, ANS (of type {`=`, PDESolStruc}), which is mis

## Problem aplying the chain rule with dchange...

I have a problem using dchange when my variable depend on two (or more variables) and I would like to apply the chain rule.

For example, when I use the command

I would expect something like

But I get an error saying that the number of new variables and transformation equations must be the same.

Any idea how I could solve it?

Thanls a lot for your help.

## Can I numerically solve a PDE set with one initial...

I am wondering if I can use MAPLE to solve PDE set with one initial value problem for "q" and a boundary condition problem for "p". "q" need to be integrated over time, and for each time step, after updating "q", I need to solve poisson equation for "p":

diff(q(x,y,t),t)=-diff(p(x,y,t),x)*diff(q(x,y,t),y)/cos(xy)+diff(p(x,y,t),y)*diff(q(x,y,t),x)/cos(y)+b*cos(y)^2*diff(p(x,y,t),x)+F(x,y)

diff(p(x,y,t),x,x)+diff(p(x,y,t),y,y)+c(y)*p(x,y,t)=q(x,y,t)

IC: q(x,y,0)=q0(x,y)

BC: periodic in x, second type BC in y.

Many Thanks!

Wanying

## Solving a non linear system of PDE...

I want to solve the following non linear PDE

SS := [diff(u(x, y, t), t)-0.625e-1*(diff(u(x, y, t), x, x)+diff(u(x, y, t), y, y))-6*(diff(u(x, y, t)*(diff(v(x, y, t), x)), x)+diff(u(x, y, t)*(diff(v(x, y, t), y)), y)) - 2*(u(x, y, t))(1-u(x, y, t))=0, diff(v(x, y, t), t)-(diff(v(x, y, t), x, x))-(diff(v(x, y, t), y, y))+16*v(x, y, t) -u(x, y, t)=0]

when i use the command

sol := pdsolve(SS, [u, v], singsol = false)

maple give the error message

Error, (in pdsolve) found the independent variables {t, x, y} also present in the names of the functions of the system []

## How do I express bc for PDE...

I have a PDE with boundary conditions, from a NASA paper.  I always seem to have problems expressing the bc.

PDE := diff(u(x, t), t) = (1/4)*exp(2)*exp(-u(x, t))*(diff(diff(u(x, t), x), x))/(x^2+2);

The initial/boundary conditions are

@t=0, u(x, t) = 2-2*ln(-x^2+2)

@x=0, diff(u(x,t),x)=0  ## this is the bc I have problem expressing

@x=1, u(x,t) = 2+ln(1+t)

The exact solution given in the paper:

2 + ln(1+t) - 2*ln(2-x^2)

I tried

ics := u(x, 0) = 2*(1-ln(2-x^2));

bcs := D[1](u(0,t))=0, u(1,t)=2+ln(1+t);

PDEtools[Solve]([PDE,ics,bcs]); ## no solution

How do I do this?

Tom Dean

## How do I obtain a simplified system automatically...

HI everyone,

As can be seen from the attached file, the first three equations of Eq. (5) will render some of the other equations (and other terms) redundant. How can I obtain a simplified system automatically?

Thanks.

Pdesample.mw

## Does TWS command of Maple solves system of ODEs ?...

Dear all

I am trying to solve system of ODEs by TWS command for traveling wave solution, but an error is showing. When I enter sinlge ODE or PDE the command does not show any error. Why it is showing error for system of ODEs ?

 >
 >
 >
 >
 >

## PDETools Invariants Command Not Recognizing Rotati...

Hi, I'm trying to use Maple to construct some examples of symmetry solutions for certain nonlinear PDE's.  As a warm up, however, I'm working through the commands just for the heat equation in 3d: u[t]-u[x,x]-u[y,y]-u[z,z]=0

I've gotten Maple to produce both determining equations for the symmetry infinitesimal generators via the DeterminingPDE command.  I've also gotten the command Infinitesimals to work too.

However, when I next use PDETools Invariants command, it correctly outputs invariants for most of the generator output of Infinitesimals EXCEPT it won't output anything for the simple rotation generators yd[x]-xd[y].  It will, however, output invariants if the rotation is between an independent and the dependent coordinate.

An example:
with(PDETools)
S:=[_xi[x]=y, _xi[y]=-x, _eta[u]=0]
Invariants(S,u(x,y))

*Above returns nothing, But if you instead have _xi[x]=x and _xi[y]=y then it returns the right invariants.

## A problem about the "Infinitesimals" in pdetools...

There is an example in the help of maple, that is to solve the symmetries of the equation ut=uxx using the order "Infinitesimals".

But the result i can't understand.

I solved by hand and find  _eta[u](x, t, u)=cu+b(x,t), where b(x,t) is a solution of the ut=uxx.

While in maple, b is only two exponential function which are also the solution of ut=uxx.

why?

## How I can use Differential Algebra package to obta...

Dear All

I need to reduce system of differential equation system into triangular system which I came to know can be done using Maple package "DifferentialAlgebra", but I do not know how to use this package for triangularization.

The differential system is DetSys derived from  some PDE:

 >
 >
 (1)
 >
 (2)
 >
 (3)
 >
 (4)
 >
 (5)
 >

Regards

Hello, I am using PDEtools to evaluate an equation but got system inconsistent in respect of a parameter used after the command map(pdsolve). I am afraid the result sebsequently given may not be correct, did I do something wrong?

Thanks.

test.mw

 1 2 3 Page 1 of 3
﻿