|
PDEtools[mapde] - map a PDE into a PDE with a different format
|
|
Calling Sequence
|
|
mapde(PDE, into, f)
|
|
|
Parameters
|
|
|
PDE
|
-
|
partial differential equation
|
|
into
|
-
|
string, one of noF, homo, ccoeff, canom, and canop
|
|
f
|
-
|
(optional) name of the indeterminate function
|
|
|
|
|
|
Description
|
|
|
•
|
Given a PDE, mapde's main goal is to map it into another PDE with a different format, perhaps easier to solve. (Of the options mentioned above, homo and ccoeff are not yet implemented.)
|
|
noF
|
no explicit dependence on the indeterminate function
|
|
homo
|
homogeneous PDE
|
|
ccoeff
|
DE with constant coefficients for the higher derivatives
|
|
canom
|
canonical form with only one mixed derivative
|
|
canop
|
canonical form with only pure (no mixed) derivatives
|
|
|
|
•
|
The options canom and canop only work with linear second order PDEs with only two differentiation variables. The mapde command always succeeds as long as the coefficients are constant. With variable coefficients, mapde succeeds only sometimes; in those cases, the mapping is realized through a nonlinear transformation which appears as the algebraic inversion of the solution of a pair of auxiliary first order PDEs. However, the system does not always succeed in solving that auxiliary problem.
|
|
•
|
The option noF, at present, only works when the received PDE is a homogeneous function of the indeterminate function and its derivatives. In these cases, mapde introduces the indeterminate function as equal to the exponential of another (auxiliary) function.
|
|
•
|
This function is part of the PDEtools package, and so it can be used in the form mapde(..) only after executing the command with(PDEtools). However, it can always be accessed through the long form of the command by using PDEtools[mapde](..).
|
|
|
|
Examples
|
|
|
>
|
|
|
>
|
|
|
| (1) |
|
>
|
|
|
![`&where`(f(x, y, z) = _F1(x)*_F2(y)*_F3(z), [{(diff(_F1(x), x))^3 = _c[1]*_F1(x)^3, diff(_F2(y), `$`(y, 2)) = _c[2]*_F2(y), diff(_F3(z), z) = _c[1]*_F3(z)/_c[2]}])](/support/helpjp/helpview.aspx?si=8705/file02531/math154.png)
| (2) |
Here is the solution after mapping the PDE into 'noF'.
|
>
|
|
|
| (3) |
|
>
|
|
|
![ans := `&where`(_F1(x, y, z) = _F2(x)+_F3(y)+_F4(z), [{diff(_F2(x), x) = _c[1], diff(_F3(y), `$`(y, 2)) = _c[1]^3/_c[3]-(diff(_F3(y), y))^2, diff(_F4(z), z) = _c[3]}])](/support/helpjp/helpview.aspx?si=8705/file02531/math170.png)
| (4) |
|
>
|
|
|
![_F1(x, y, z) = _c[1]*x+_C1-_c[1]^(3/2)*y/_c[3]^(1/2)-ln(2)+(1/2)*ln(_c[3]*(_C2*exp(2*_c[1]^(3/2)*y/_c[3]^(1/2))-_C3)^2/_c[1]^3)+_c[3]*z+_C4](/support/helpjp/helpview.aspx?si=8705/file02531/math177.png)
| (5) |
The solution to the original PDE can be obtained by taking the exponential of the above.
|
>
|
|
|
| (6) |
|
>
|
|
|
| (7) |
|
>
|
|
|
| (8) |
Case of variable coefficients (an easy example)
|
>
|
|
|
| (9) |
Here is the solution after mapping the PDE into canop. Note that the transformation is nonlinear.
|
>
|
|
|
| (10) |
|
>
|
|
|
| (11) |
|
|
Download Help Document
Was this information helpful?
