system - Maple Help

pdsolve

find exact solutions for systems of partial differential equations (PDEs)

 Calling Sequence pdsolve(PDE_sys, optional_1, optional_2,...)

Parameters

 PDE_sys - system of PDEs; it can contain inequations optional_i - (optional) arguments that can be given in any order and are described as follows funcs - set or list with indeterminate functions or names - can also be a ranking HINT = + - indicate that the PDE system is to be solved by separating the variables by sum HINT = * - indicate that the PDE system is to be solved by separating the variables by product HINT = TWS - indicate that the PDE system is to be solved by computing a traveling wave solution as a power series in tanh(x), where xi represents a linear combination of the independent variables HINT = TWS(foo) - indicate that the PDE system is to be solved by computing a traveling wave solution as a power series in foo, where foo is the name of a mathematical function generalsolution - return only a general solution to the system, or NULL otherwise singsol=false - avoid the computation of the singular solutions when the system is nonlinear mindim=N - avoid the computation of solutions if the dimension of the solution space is less than N parameters=P - P is a list or set of names or functions which are solving variables with priority lower than any other variable diffalg - request that the differential elimination step for all PDE systems be performed by using the DifferentialAlgebra package

Description

 • Given a PDE system, possibly including ODEs, algebraic constraints, and inequations, pdsolve returns an exact solution if: 1) the uncoupling of the system does not require more resources than those available in the computer and 2) the pdsolve routines for solving a PDE subsystem in a single unknown as well as the dsolve routines for solving related ODE systems succeed in solving the PDE and ODE subsystems arising in the uncoupling process. Depending on the complexity of the system, step 2) may not be fully successful. However, step 1) is systematic in that, generally speaking, whenever the system is consistent, the uncoupling is feasible. pdsolve also works with anticommutative variables set using the Physics package using the approach explained in PerformOnAnticommutativeSystem.

The solving process

 1 The system is first uncoupled by using differential algebra techniques for polynomial systems. When the PDE system, rational in the unknowns and their derivatives, contains non-polynomial coefficients, the uncoupling is performed by rewriting the system in polynomial form by using a differential extension approach (see PDEtools[dpolyform]).
 Due to the intrinsic nature of the differential algebra elimination process, this first step always produces (possibly many) PDE subsystems, such that:
 – The equations inside each subsystem satisfy all the integrability conditions;
 – The union of the non-singular solutions of each subsystem is equal to the general and singular solutions of the original system;
 – Provided that the original system is not subdetermined, one of the PDE subsystems depends on a single unknown.
 2 The PDE subsystem for a single unknown is solved, and the unknown removed from all other subsystems. Due to nature of the differential elimination process, after removing this single unknown, there exists a PDE subsystem that depends on a single unknown.
 Step 2 is repeated until all the PDE subsystems obtained in step 1 are solved, thus arriving at the solution to the original input PDE system.
 • When solving each of these PDE subsystems involving a single unknown, two situations may arise: the subsystem consists of only one PDE, or it consists of many PDEs. In the former case, pdsolve solves the problem by using older subroutines. In the latter case, pdsolve uses a set of routines that, at each step, change variables introducing differential invariants as new variables. This approach permits solving the problem when the PDE subsystem is essentially nonlinear.

The output

 • When successful, pdsolve returns a sequence of solution sets, including the singular solutions of the given PDE system. These singular solutions exist only when the system is nonlinear and can be identified by observing that the dimension of the solution space (basically the number of integration constants appearing) is less than the dimension of the general solution.
 • When pdsolve is partially successful, the output is a sequence of sets and lists. The sets contain solutions while the lists also contain unsolved differential equations. It is valuable to have these partial solutions because they may be easier to solve. For example, the unsolved equations may be ODEs instead of PDEs, less in number, or of lower differential order.
 • pdsolve can fail to solve any of the PDE subsystems obtained in step 1 of "The solving process" described above. In such a case, the output consists of a sequences of lists, where each list contains a PDE subsystem. The value of this output is that these PDE subsystems represent the uncoupling (also known as triangularization) of the original system. Depending on the PDE system, this triangularization may represent a relevant step towards solving the problem.

The unknowns of the problem and rankings

 • By default, when only the PDE system is given, pdsolve considers all the unknown functions present in the system as the unknowns of the problem - herein also called the solving variables. This default can be changed by calling pdsolve with an extra argument, specifying the solving variables either as a set or as a list containing the names of these functions or the functions themselves.
 • When the solving variables are indicated as a set, the ordering chosen by pdsolve for uncoupling the system is chosen by the PDEtools[casesplit] command, which performs the triangularization . When the solving variables are indicated as a list, for instance, $\left[f,g,h\right]$, the uncoupling ordering attempted is: to obtain a PDE subsystem depending on only $h$, another PDE subsystem depending on only $\left\{g,h\right\}$, and another one depending on $\left\{f,g,h\right\}$. If such a triangularization is successful, pdsolve first solves the subsystem for $h$, then the one for $\left\{g,h\right\}$ by substituting the solution found for $h$ and solving the resulting system for $g$, and finally the one for $\left\{f,g,h\right\}$ by substituting the solutions found for $\left\{g,h\right\}$ and solving the resulting system for $f$.
 • The concept of "solving ordering" for the unknowns of the problem is not different from the concept of "ranking" in differential algebra (for a useful discussion on rankings, see rifsimp[ranking]). In fact, the "solving ordering" accepted by pdsolve can be more elaborate. Consider the ones used to indicate a "ranking" when using the DifferentialAlgebra or DEtools[Rif] packages. For example, by indicating the unknowns of the problem as in $\left[\left\{f,g\right\},h,\left\{j,k\right\}\right]$, one is indicating that pdsolve must decide whether $f$ comes before $g$ (or the opposite), $h$ is ranked third, and then pdsolve must decide whether $j$ comes before $k$. This flexibility is extremely useful when solving nonlinear PDE systems, where slight changes in the solving ordering can lead to solutions in quite different formats or make an otherwise unsolvable (by pdsolve) problem solvable.
 • In addition to indicating the solving variables or the solving ordering as explained above, one can use the optional argument $\mathrm{parameters}=P$, where $P$ is a set or list of solving variables with less priority, meaning that they always appear at the end of the list of solving variables described in the previous paragraph. When $P$ is given as a list, the rules for choosing a particular ordering inside it are the ones described in the previous paragraph for the main solving variables.

Other optional arguments

 • When the PDE system is nonlinear, by default, pdsolve's output contains, in separate solution sets, the singular solutions of the system. This involves both computing the singular cases (when uncoupling the system inside PDEtools[casesplit]) and solving them. In many applications, however, the computation of the singular cases is not relevant. Also their computation is sometimes more time consuming than the computation of the general solution. For these reasons, an optional argument is provided to override this behavior, so that by giving singsol=false these singular solutions are not computed.
 • When a PDE system is solved, the dimension of the solution space (typically indicated by the number of integration constants present) depends on various factors, not only the "apparent differential order" of the system. In some applications, however, it is the case that the solutions of interest are only those that have at least a minimum number of dimensions. In such a case, to discard solutions with dimensions less than $N$ (some positive integer), use the optional $\mathrm{mindim}=N$ argument. For nonlinear PDE systems, this option may also speed up the computational process since there is no time consumed in computing and solving the lower-dimension cases. For linear PDE systems, where there is only one solution, pdsolve returns NULL if N is greater than the dimension of the solution.
 • It is possible to ask pdsolve to solve a PDE system by trying to separate the variables by sum or product. For this purpose, use the optional argument $\mathrm{HINT}=\mathrm{+}$ or $\mathrm{HINT}=\mathrm{*}$, respectively.
 • It is possible to ask pdsolve to solve a PDE system by computing a Traveling Wave Solution, as a power series expansion in tanh (default) or one of the following functions: exp, ln, sin, cos, tan, their multiplicative inverses csc, sec and cot, the corresponding six hyperbolic functions, arcsinh, the twelve elliptic Jacobi functions, the WeierstrassP function and also the identity function x -> x, useful to compute purely polynomial solutions when they exist.
 • By default, pdsolve performs all differential elimination processes for PDE systems by using the DEtools[Rif] package. This default can be changed by using the optional argument diffalg, anywhere in the calling sequence, which causes the computation to use the DifferentialAlgebra package.
 • For further mathematical conventions related to the output by pdsolve, see the conventions used in solve, dsolve, and int.

Examples

Example 1.

Compute the point symmetries of an ordinary differential equation (ODE), that is, solve the determining PDE system for the infinitesimals of the symmetry generator. Consider example 11 from Kamke's book:

 > $\mathrm{with}\left(\mathrm{PDEtools},\mathrm{casesplit},\mathrm{declare}\right)$
 $\left[{\mathrm{casesplit}}{,}{\mathrm{declare}}\right]$ (1)
 > $\mathrm{with}\left(\mathrm{DEtools},\mathrm{gensys}\right)$
 $\left[{\mathrm{gensys}}\right]$ (2)
 > $\mathrm{declare}\left(y\left(x\right),\mathrm{prime}=x\right)$
 ${y}{}\left({x}\right){}{\mathrm{will now be displayed as}}{}{y}$
 ${\mathrm{derivatives with respect to}}{}{x}{}{\mathrm{of functions of one variable will now be displayed with \text{'}}}$ (3)
 > ${\mathrm{ode}}_{11}≔\frac{{ⅆ}^{2}}{ⅆ{x}^{2}}y\left(x\right)+a{x}^{r}{y\left(x\right)}^{n}=0$
 ${\mathrm{diff}}{}\left({\mathrm{diff}}{}\left({y}{}\left({x}\right){,}{x}\right){,}{x}\right){+}{a}{}{{x}}^{{r}}{}{{y}{}\left({x}\right)}^{{n}}{=}{0}$ (4)

The PDE system satisfied by the symmetries, that is, infinitesimals $\left[\mathrm{\xi },\mathrm{\eta }\right]$ of the symmetry generator, of the ODE above is given by

 > $\mathrm{declare}\left(\left(\mathrm{ξ},\mathrm{η}\right)\left(x,y\right)\right)$
 ${\mathrm{\xi }}{}\left({x}{,}{y}\right){}{\mathrm{will now be displayed as}}{}{\mathrm{\xi }}$
 ${\mathrm{\eta }}{}\left({x}{,}{y}\right){}{\mathrm{will now be displayed as}}{}{\mathrm{\eta }}$ (5)
 > $\mathrm{sys}≔\left[\mathrm{gensys}\left({\mathrm{ode}}_{11},\left[\mathrm{ξ},\mathrm{η}\right]\left(x,y\right)\right)\right]:$
 > $\mathbf{for}\phantom{\rule[-0.0ex]{0.5em}{0.0ex}}\mathrm{_eq}\phantom{\rule[-0.0ex]{0.5em}{0.0ex}}\mathbf{in}\phantom{\rule[-0.0ex]{0.5em}{0.0ex}}\mathrm{sys}\phantom{\rule[-0.0ex]{0.5em}{0.0ex}}\mathbf{do}\phantom{\rule[-0.0ex]{0.5em}{0.0ex}}\mathrm{_eq}=0\phantom{\rule[-0.0ex]{0.5em}{0.0ex}}\mathbf{end do}$
 ${\mathrm{diff}}{}\left({\mathrm{diff}}{}\left({\mathrm{ξ}}{}\left({x}{,}{y}\right){,}{y}\right){,}{y}\right){=}{0}$
 ${\mathrm{diff}}{}\left({\mathrm{diff}}{}\left({\mathrm{η}}{}\left({x}{,}{y}\right){,}{y}\right){,}{y}\right){-}{2}{}\left({\mathrm{diff}}{}\left({\mathrm{diff}}{}\left({\mathrm{ξ}}{}\left({x}{,}{y}\right){,}{x}\right){,}{y}\right)\right){=}{0}$
 ${3}{}{{y}}^{{n}}{}\left({\mathrm{diff}}{}\left({\mathrm{ξ}}{}\left({x}{,}{y}\right){,}{y}\right)\right){}{{x}}^{{r}}{}{a}{+}{2}{}\left({\mathrm{diff}}{}\left({\mathrm{diff}}{}\left({\mathrm{η}}{}\left({x}{,}{y}\right){,}{x}\right){,}{y}\right)\right){-}\left({\mathrm{diff}}{}\left({\mathrm{diff}}{}\left({\mathrm{ξ}}{}\left({x}{,}{y}\right){,}{x}\right){,}{x}\right)\right){=}{0}$
 ${2}{}\left({\mathrm{diff}}{}\left({\mathrm{ξ}}{}\left({x}{,}{y}\right){,}{x}\right)\right){}{{y}}^{{n}}{}{{x}}^{{r}}{}{a}{-}{{y}}^{{n}}{}\left({\mathrm{diff}}{}\left({\mathrm{η}}{}\left({x}{,}{y}\right){,}{y}\right)\right){}{{x}}^{{r}}{}{a}{+}\frac{{\mathrm{η}}{}\left({x}{,}{y}\right){}{a}{}{{x}}^{{r}}{}{{y}}^{{n}}{}{n}}{{y}}{+}\frac{{\mathrm{ξ}}{}\left({x}{,}{y}\right){}{a}{}{{x}}^{{r}}{}{r}{}{{y}}^{{n}}}{{x}}{+}{\mathrm{diff}}{}\left({\mathrm{diff}}{}\left({\mathrm{η}}{}\left({x}{,}{y}\right){,}{x}\right){,}{x}\right){=}{0}$ (6)

This is a second order linear PDE system, with two unknowns $\left\{\mathrm{\eta }\left(x,y\right),\mathrm{\xi }\left(x,y\right)\right\}$ and four equations. Its general solution is given by

 > $\mathrm{sol}≔\mathrm{pdsolve}\left(\mathrm{sys}\right)$
 $\left\{{\mathrm{η}}{}\left({x}{,}{y}\right){=}{-}\frac{{y}{}\mathrm{c__1}{}\left({r}{+}{2}\right)}{{n}{-}{1}}{,}{\mathrm{ξ}}{}\left({x}{,}{y}\right){=}\mathrm{c__1}{}{x}\right\}$ (7)

Since symmetries are defined up to a multiplicative constant, we can drop $\mathrm{c__1}$. Hence, for arbitrary $\left\{a,n,r\right\}$, the ODE has only one point symmetry.

Solutions to PDE systems can be tested by using pdetest (the command tests whether the solution satisfies each PDE in the system).

 > $\mathrm{pdetest}\left(\mathrm{sol},\mathrm{sys}\right)$
 $\left[{0}{,}{0}{,}{0}{,}{0}\right]$ (8)

Now, an interesting question is: Are there other solutions related to particular values of the parameters n and r?

To answer that question one must solve a more difficult, now nonlinear, PDE system by indicating to pdsolve that $n$ and $r$ are parameters.

Also, in this particular problem, from the form of the ODE $y\text{'}\text{'}+a{x}^{r}{y}^{n}=0$, the case $n=1$ is of no interest since the ODE would become linear, and so, computing its symmetries is the same as computing its solution. We are interested in a solution for different values of $n$ and $r$ but also for $n\ne 1$. The first step is then to add this inequation to the PDE system.

 > $\mathrm{sys1}≔\left[\mathrm{op}\left(\mathrm{sys}\right),n\ne 1\right]:$

Next we indicate to pdsolve that $n$ and $r$ are parameters of the problem, thus arriving at the desired solutions.

 > $\mathrm{sol1}≔\mathrm{pdsolve}\left(\mathrm{sys1},\mathrm{parameters}=\left\{n,r\right\}\right)$
 ${\mathrm{sol1}}{≔}\left\{{n}{=}{2}{,}{r}{=}{-5}{,}{\mathrm{η}}{}\left({x}{,}{y}\right){=}{y}{}\left(\mathrm{c__1}{}{x}{+}{3}{}\mathrm{c__2}\right){,}{\mathrm{ξ}}{}\left({x}{,}{y}\right){=}{x}{}\left(\mathrm{c__1}{}{x}{+}\mathrm{c__2}\right)\right\}{,}\left\{{n}{=}{2}{,}{r}{=}{-}\frac{{20}}{{7}}{,}{\mathrm{η}}{}\left({x}{,}{y}\right){=}{-}\frac{{2}{}\left({-}{6}{}\mathrm{c__1}{}{{x}}^{{2}}{-}{98}{}{{x}}^{{8}}{{7}}}{}\mathrm{c__1}{}{a}{}{y}{-}{147}{}\mathrm{c__2}{}{a}{}{x}{}{y}\right)}{{343}{}{x}{}{a}}{,}{\mathrm{ξ}}{}\left({x}{,}{y}\right){=}\mathrm{c__1}{}{{x}}^{{8}}{{7}}}{+}\mathrm{c__2}{}{x}\right\}{,}\left\{{n}{=}{2}{,}{r}{=}{-}\frac{{15}}{{7}}{,}{\mathrm{η}}{}\left({x}{,}{y}\right){=}\frac{{3}{}{{x}}^{{6}}{{7}}}{}\mathrm{c__1}{}{a}{}{y}{+}{x}{}\left(\mathrm{c__2}{}{a}{}{y}{-}\frac{{12}{}\mathrm{c__1}}{{49}}\right)}{{7}{}{a}{}{x}}{,}{\mathrm{ξ}}{}\left({x}{,}{y}\right){=}\mathrm{c__1}{}{{x}}^{{6}}{{7}}}{+}\mathrm{c__2}{}{x}\right\}{,}\left\{{n}{=}{2}{,}{r}{=}{r}{,}{\mathrm{η}}{}\left({x}{,}{y}\right){=}{-}{y}{}\mathrm{c__1}{}\left({r}{+}{2}\right){,}{\mathrm{ξ}}{}\left({x}{,}{y}\right){=}\mathrm{c__1}{}{x}\right\}{,}\left\{{n}{=}{-}{r}{-}{3}{,}{r}{=}{r}{,}{\mathrm{η}}{}\left({x}{,}{y}\right){=}\frac{{y}{}\left(\left(\mathrm{c__1}{}{x}{+}\mathrm{c__2}\right){}{r}{+}{4}{}\mathrm{c__1}{}{x}{+}{2}{}\mathrm{c__2}\right)}{{r}{+}{4}}{,}{\mathrm{ξ}}{}\left({x}{,}{y}\right){=}{x}{}\left(\mathrm{c__1}{}{x}{+}\mathrm{c__2}\right)\right\}{,}\left\{{n}{=}{n}{,}{r}{=}{r}{,}{\mathrm{η}}{}\left({x}{,}{y}\right){=}{-}\frac{{y}{}\mathrm{c__1}{}\left({r}{+}{2}\right)}{{n}{-}{1}}{,}{\mathrm{ξ}}{}\left({x}{,}{y}\right){=}\mathrm{c__1}{}{x}\right\}$ (9)
 > $\mathrm{map}\left(\mathrm{pdetest},\left[\mathrm{sol1}\right],\mathrm{sys1}\right)$
 $\left[\left[{0}{,}{0}{,}{0}{,}{0}\right]{,}\left[{0}{,}{0}{,}{0}{,}{0}\right]{,}\left[{0}{,}{0}{,}{0}{,}{0}\right]{,}\left[{0}{,}{0}{,}{0}{,}{0}\right]{,}\left[{0}{,}{0}{,}{0}{,}{0}\right]{,}\left[{0}{,}{0}{,}{0}{,}{0}\right]\right]$ (10)

So there exist particular values of $n$ and $r$ for which the system has additional solutions. The solution set with $n$ and $r$ integers and with xi linear in $x$ is in fact a particular case of the general solution computed previously, but the other solution sets are not.

Example 2.

Compute the general solution of the following (linear) overdetermined system involving two PDEs, three unknown functions, one of which depends on 2 variables and the other two depend on only 1 variable.

 > $\mathrm{declare}\left(F\left(r,s\right),H\left(r\right),G\left(s\right)\right)$
 ${F}{}\left({r}{,}{s}\right){}{\mathrm{will now be displayed as}}{}{F}$
 ${H}{}\left({r}\right){}{\mathrm{will now be displayed as}}{}{H}$
 ${G}{}\left({s}\right){}{\mathrm{will now be displayed as}}{}{G}$ (11)
 > $\mathrm{sys2}≔\left[-\left(\frac{{\partial }^{2}}{\partial {r}^{2}}F\left(r,s\right)\right)+\frac{{\partial }^{2}}{\partial {s}^{2}}F\left(r,s\right)+\frac{ⅆ}{ⅆr}H\left(r\right)+\frac{ⅆ}{ⅆs}G\left(s\right)+s=0,\frac{{\partial }^{2}}{\partial {r}^{2}}F\left(r,s\right)+2\left(\frac{{\partial }^{2}}{\partial s\partial r}F\left(r,s\right)\right)+\frac{{\partial }^{2}}{\partial {s}^{2}}F\left(r,s\right)-\left(\frac{ⅆ}{ⅆr}H\left(r\right)\right)+\frac{ⅆ}{ⅆs}G\left(s\right)-r=0\right]$
 $\left[{-}\left({\mathrm{diff}}{}\left({\mathrm{diff}}{}\left({F}{}\left({r}{,}{s}\right){,}{r}\right){,}{r}\right)\right){+}{\mathrm{diff}}{}\left({\mathrm{diff}}{}\left({F}{}\left({r}{,}{s}\right){,}{s}\right){,}{s}\right){+}{\mathrm{diff}}{}\left({H}{}\left({r}\right){,}{r}\right){+}{\mathrm{diff}}{}\left({G}{}\left({s}\right){,}{s}\right){+}{s}{=}{0}{,}{\mathrm{diff}}{}\left({\mathrm{diff}}{}\left({F}{}\left({r}{,}{s}\right){,}{r}\right){,}{r}\right){+}{2}{}\left({\mathrm{diff}}{}\left({\mathrm{diff}}{}\left({F}{}\left({r}{,}{s}\right){,}{r}\right){,}{s}\right)\right){+}{\mathrm{diff}}{}\left({\mathrm{diff}}{}\left({F}{}\left({r}{,}{s}\right){,}{s}\right){,}{s}\right){-}\left({\mathrm{diff}}{}\left({H}{}\left({r}\right){,}{r}\right)\right){+}{\mathrm{diff}}{}\left({G}{}\left({s}\right){,}{s}\right){-}{r}{=}{0}\right]$ (12)

The solution for the unknowns G, H is given by the following expression, where determining whether this solution is or is not a general solution, is non-obvious. The userinfo is helpful here to understand the solution process:

 > ${\mathrm{infolevel}}_{\mathrm{pdsolve}}≔3:$
 > $\mathrm{sol}≔\mathrm{pdsolve}\left(\mathrm{sys2}\right)$
 -> Solving ordering for the dependent variables of the PDE system: [F(r,s), H(r), G(s)]
 -> Solving ordering for the independent variables (can be changed using the ivars option): [r, s]
 tackling triangularized subsystem with respect to F(r,s)
 First set of solution methods (general or quasi general solution)
 -> trying differential factorization for linear PDEs ...
 <- differential factorization successful.
 <- First set of solution methods successful
 tackling triangularized subsystem with respect to H(r)
 tackling triangularized subsystem with respect to G(s)
 <- Returning a *general* solution
 $\left\{{F}{}\left({r}{,}{s}\right){=}\mathrm{f__1}{}\left({s}\right){+}\mathrm{f__2}{}\left({r}\right){+}\mathrm{f__3}{}\left({s}{-}{r}\right){-}\frac{{1}}{{12}}{}{{r}}^{{2}}{}\left({r}{-}{3}{}{s}\right){,}{G}{}\left({s}\right){=}{-}\frac{{1}}{{4}}{}{{s}}^{{2}}{-}\left({\mathrm{diff}}{}\left(\mathrm{f__1}{}\left({s}\right){,}{s}\right)\right){+}\mathrm{c__2}{,}{H}{}\left({r}\right){=}{-}\frac{{1}}{{4}}{}{{r}}^{{2}}{+}{\mathrm{diff}}{}\left(\mathrm{f__2}{}\left({r}\right){,}{r}\right){+}\mathrm{c__1}\right\}$ (13)

and we see that the solution given is general, depending on 3 arbitrary functions, $\mathrm{f__1}\left(s\right),\mathrm{f__2}\left(r\right),\mathrm{f__3}\left(s-r\right)$.

 > ${\mathrm{infolevel}}_{\mathrm{pdsolve}}≔1:$
 > $\mathrm{pdetest}\left(\mathrm{sol},\mathrm{sys2}\right)$
 $\left[{0}{,}{0}\right]$ (14)

Example 3.

Compute the solution of the following overdetermined first order linear system of 3 PDEs in a single unknown $f\left(x,y,z,t\right)$.

 > $\mathrm{sys3}≔\left[-y\left(\frac{\partial }{\partial x}f\left(x,y,z,t\right)\right)+{z}^{2}\left(\frac{\partial }{\partial z}f\left(x,y,z,t\right)\right)+3tz\left(\frac{\partial }{\partial t}f\left(x,y,z,t\right)\right)-3{t}^{2}-4f\left(x,y,z,t\right)z=0,-y\left(\frac{\partial }{\partial y}f\left(x,y,z,t\right)\right)-z\left(\frac{\partial }{\partial z}f\left(x,y,z,t\right)\right)-t\left(\frac{\partial }{\partial t}f\left(x,y,z,t\right)\right)+f\left(x,y,z,t\right)=0,-x\left(\frac{\partial }{\partial y}f\left(x,y,z,t\right)\right)-\left(\frac{\partial }{\partial z}f\left(x,y,z,t\right)\right)=0\right]:$
 > $\mathbf{for}\phantom{\rule[-0.0ex]{0.5em}{0.0ex}}\mathrm{_eq}\phantom{\rule[-0.0ex]{0.5em}{0.0ex}}\mathbf{in}\phantom{\rule[-0.0ex]{0.5em}{0.0ex}}\mathrm{sys3}\phantom{\rule[-0.0ex]{0.5em}{0.0ex}}\mathbf{do}\phantom{\rule[-0.0ex]{0.5em}{0.0ex}}\mathrm{_eq}\phantom{\rule[-0.0ex]{0.5em}{0.0ex}}\mathbf{end do}$
 ${-}{y}{}\left({\mathrm{diff}}{}\left({f}{}\left({x}{,}{y}{,}{z}{,}{t}\right){,}{x}\right)\right){+}{{z}}^{{2}}{}\left({\mathrm{diff}}{}\left({f}{}\left({x}{,}{y}{,}{z}{,}{t}\right){,}{z}\right)\right){+}{3}{}{t}{}{z}{}\left({\mathrm{diff}}{}\left({f}{}\left({x}{,}{y}{,}{z}{,}{t}\right){,}{t}\right)\right){-}{3}{}{{t}}^{{2}}{-}{4}{}{f}{}\left({x}{,}{y}{,}{z}{,}{t}\right){}{z}{=}{0}$
 ${-}{y}{}\left({\mathrm{diff}}{}\left({f}{}\left({x}{,}{y}{,}{z}{,}{t}\right){,}{y}\right)\right){-}{z}{}\left({\mathrm{diff}}{}\left({f}{}\left({x}{,}{y}{,}{z}{,}{t}\right){,}{z}\right)\right){-}{t}{}\left({\mathrm{diff}}{}\left({f}{}\left({x}{,}{y}{,}{z}{,}{t}\right){,}{t}\right)\right){+}{f}{}\left({x}{,}{y}{,}{z}{,}{t}\right){=}{0}$
 ${-}{x}{}\left({\mathrm{diff}}{}\left({f}{}\left({x}{,}{y}{,}{z}{,}{t}\right){,}{y}\right)\right){-}\left({\mathrm{diff}}{}\left({f}{}\left({x}{,}{y}{,}{z}{,}{t}\right){,}{z}\right)\right){=}{0}$ (15)

The solving technique makes use of differential invariants and the solution is given by

 > $\mathrm{sol}≔\mathrm{pdsolve}\left(\mathrm{sys3}\right)$
 ${\mathrm{sol}}{≔}\left\{{f}{}\left({x}{,}{y}{,}{z}{,}{t}\right){=}\frac{{3}{}{{t}}^{{2}}{}{x}}{{x}{}{z}{-}{y}}{+}\frac{{{t}}^{{3}}{{2}}}{}\mathrm{c__1}}{\sqrt{{x}{}{z}{-}{y}}}\right\}$ (16)
 > $\mathrm{pdetest}\left(\mathrm{sol},\mathrm{sys3}\right)$
 $\left[{0}{,}{0}{,}{0}\right]$ (17)

Example 4.

Compute the solution of the following nonlinear system, consisting of Burgers' equation and a possible potential.

 > $\mathrm{declare}\left(u\left(x,t\right),v\left(x,t\right)\right)$
 ${u}{}\left({x}{,}{t}\right){}{\mathrm{will now be displayed as}}{}{u}$
 ${v}{}\left({x}{,}{t}\right){}{\mathrm{will now be displayed as}}{}{v}$ (18)
 > $\mathrm{sys4}≔\left[\frac{\partial }{\partial t}u\left(x,t\right)+2u\left(x,t\right)\left(\frac{\partial }{\partial x}u\left(x,t\right)\right)-\left(\frac{{\partial }^{2}}{\partial {x}^{2}}u\left(x,t\right)\right)=0,\frac{\partial }{\partial t}v\left(x,t\right)=-v\left(x,t\right)\left(\frac{\partial }{\partial x}u\left(x,t\right)\right)+v\left(x,t\right){u\left(x,t\right)}^{2},\frac{\partial }{\partial x}v\left(x,t\right)=-u\left(x,t\right)v\left(x,t\right)\right]$
 $\left[{\mathrm{diff}}{}\left({u}{}\left({x}{,}{t}\right){,}{t}\right){+}{2}{}{u}{}\left({x}{,}{t}\right){}\left({\mathrm{diff}}{}\left({u}{}\left({x}{,}{t}\right){,}{x}\right)\right){-}\left({\mathrm{diff}}{}\left({\mathrm{diff}}{}\left({u}{}\left({x}{,}{t}\right){,}{x}\right){,}{x}\right)\right){=}{0}{,}{\mathrm{diff}}{}\left({v}{}\left({x}{,}{t}\right){,}{t}\right){=}{-}{v}{}\left({x}{,}{t}\right){}\left({\mathrm{diff}}{}\left({u}{}\left({x}{,}{t}\right){,}{x}\right)\right){+}{v}{}\left({x}{,}{t}\right){}{{u}{}\left({x}{,}{t}\right)}^{{2}}{,}{\mathrm{diff}}{}\left({v}{}\left({x}{,}{t}\right){,}{x}\right){=}{-}{u}{}\left({x}{,}{t}\right){}{v}{}\left({x}{,}{t}\right)\right]$ (19)

Apart from the solution to the general or main case, nonlinear systems usually have singular solutions, which solve the subsystems appearing during the splitting into cases of the differential elimination process. Depending on the case, the computation of the singular cases may be quite time consuming. To compute only the solution to the general case, one can give the optional argument singsol = false.

 > $\mathrm{sol}≔\mathrm{pdsolve}\left(\mathrm{sys4},\left[u,v\right],\mathrm{singsol}=\mathrm{false}\right)$
 $\left\{{u}{}\left({x}{,}{t}\right){=}{-}\frac{\sqrt{{{\mathrm{_c}}}_{{1}}}{}\left({\left({\mathrm{exp}}{}\left(\sqrt{{{\mathrm{_c}}}_{{1}}}{}{x}\right)\right)}^{{2}}{}\mathrm{c__1}{-}\mathrm{c__2}\right)}{{\left({\mathrm{exp}}{}\left(\sqrt{{{\mathrm{_c}}}_{{1}}}{}{x}\right)\right)}^{{2}}{}\mathrm{c__1}{+}\mathrm{c__2}}{,}{v}{}\left({x}{,}{t}\right){=}\mathrm{c__3}{}{\mathrm{exp}}{}\left({{\mathrm{_c}}}_{{1}}{}{t}\right){}\mathrm{c__1}{}{\mathrm{exp}}{}\left(\sqrt{{{\mathrm{_c}}}_{{1}}}{}{x}\right){+}\frac{\mathrm{c__3}{}{\mathrm{exp}}{}\left({{\mathrm{_c}}}_{{1}}{}{t}\right){}\mathrm{c__2}}{{\mathrm{exp}}{}\left(\sqrt{{{\mathrm{_c}}}_{{1}}}{}{x}\right)}\right\}$ (20)
 > $\mathrm{pdetest}\left(\mathrm{sol},\mathrm{sys4}\right)$
 $\left[{0}{,}{0}{,}{0}\right]$ (21)

Without giving singsol = false, pdsolve attempts to compute the solutions to both the general and singular cases, in this example leading to

 > $\mathrm{pdsolve}\left(\mathrm{sys4},\left[u,v\right]\right)$
 * Using tau = tanh(t*C[2]+x*C[1]+C[0])
 * Equivalent ODE system: {C[1]^2*(tau^2-1)^2*diff(diff(u(tau),tau),tau)+(2*C[1]^2*(tau^2-1)*tau+2*u(tau)*C[1]*(tau^2-1)+C[2]*(tau^2-1))*diff(u(tau),tau)}
 * Power series solution [1]: {u(tau) = tau*A[1,1]+A[1,0]}
 $\left\{{u}{}\left({x}{,}{t}\right){=}{-}\mathrm{c__2}{}{\mathrm{tanh}}{}\left(\mathrm{c__2}{}{x}{+}\mathrm{c__3}{}{t}{+}\mathrm{c__1}\right){-}\frac{\mathrm{c__3}}{{2}{}\mathrm{c__2}}{,}{v}{}\left({x}{,}{t}\right){=}{0}\right\}{,}\left\{{u}{}\left({x}{,}{t}\right){=}{-}\frac{\sqrt{{{\mathrm{_c}}}_{{1}}}{}\left({\left({{ⅇ}}^{\sqrt{{{\mathrm{_c}}}_{{1}}}{}{x}}\right)}^{{2}}{}\mathrm{c__1}{-}\mathrm{c__2}\right)}{{\left({{ⅇ}}^{\sqrt{{{\mathrm{_c}}}_{{1}}}{}{x}}\right)}^{{2}}{}\mathrm{c__1}{+}\mathrm{c__2}}{,}{v}{}\left({x}{,}{t}\right){=}\mathrm{c__3}{}{{ⅇ}}^{{{\mathrm{_c}}}_{{1}}{}{t}}{}\mathrm{c__1}{}{{ⅇ}}^{\sqrt{{{\mathrm{_c}}}_{{1}}}{}{x}}{+}\frac{\mathrm{c__3}{}{{ⅇ}}^{{{\mathrm{_c}}}_{{1}}{}{t}}{}\mathrm{c__2}}{{{ⅇ}}^{\sqrt{{{\mathrm{_c}}}_{{1}}}{}{x}}}\right\}$ (22)

In the singular case above, $v=0$, only Burgers' equation remains in the system and the solution computed is a Traveling Wave Solution. The introduction of a potential $v$ in the system leads to the general solution only when $v$ is different from zero.

To see the cases, pass to PDEtools[casesplit] the same arguments passed to pdsolve.

 > $\mathrm{casesplit}\left(\mathrm{sys4},\left[u,v\right]\right)$
 ${\mathrm{casesplit/ans}}{}\left(\left[{u}{}\left({x}{,}{t}\right){=}{-}\frac{{\mathrm{diff}}{}\left({v}{}\left({x}{,}{t}\right){,}{x}\right)}{{v}{}\left({x}{,}{t}\right)}{,}{\mathrm{diff}}{}\left({\mathrm{diff}}{}\left({v}{}\left({x}{,}{t}\right){,}{x}\right){,}{x}\right){=}{\mathrm{diff}}{}\left({v}{}\left({x}{,}{t}\right){,}{t}\right)\right]{,}\left[{v}{}\left({x}{,}{t}\right){\ne }{0}\right]\right){,}{\mathrm{casesplit/ans}}{}\left(\left[{\mathrm{diff}}{}\left({\mathrm{diff}}{}\left({u}{}\left({x}{,}{t}\right){,}{x}\right){,}{x}\right){=}{2}{}{u}{}\left({x}{,}{t}\right){}\left({\mathrm{diff}}{}\left({u}{}\left({x}{,}{t}\right){,}{x}\right)\right){+}{\mathrm{diff}}{}\left({u}{}\left({x}{,}{t}\right){,}{t}\right){,}{v}{}\left({x}{,}{t}\right){=}{0}\right]{,}\left[{}\right]\right)$ (23)

Example 5.

Compute the solutions of the following overdetermined linear system of 38 PDEs that arises when computing point symmetries for the wave equation (more like an exercise concerning the solving of a system with many equations). The system is given by

 > $\mathrm{declare}\left(\left(\mathrm{ξ},\mathrm{η}\right)\left(x,y,z,t,u\right)\right)$
 ${\mathrm{\xi }}{}\left({x}{,}{y}{,}{z}{,}{t}{,}{u}\right){}{\mathrm{will now be displayed as}}{}{\mathrm{\xi }}$
 ${\mathrm{\eta }}{}\left({x}{,}{y}{,}{z}{,}{t}{,}{u}\right){}{\mathrm{will now be displayed as}}{}{\mathrm{\eta }}$ (24)
 > $\mathrm{sys5}≔\left[\frac{\partial }{\partial u}{\mathrm{ξ}}_{1}\left(x,y,z,t,u\right)=0,\frac{\partial }{\partial x}{\mathrm{ξ}}_{1}\left(x,y,z,t,u\right)-\left(\frac{\partial }{\partial y}{\mathrm{ξ}}_{2}\left(x,y,z,t,u\right)\right)=0,\frac{\partial }{\partial u}{\mathrm{ξ}}_{2}\left(x,y,z,t,u\right)=0,-\left(\frac{\partial }{\partial y}{\mathrm{ξ}}_{1}\left(x,y,z,t,u\right)\right)-\left(\frac{\partial }{\partial x}{\mathrm{ξ}}_{2}\left(x,y,z,t,u\right)\right)=0,\frac{\partial }{\partial u}{\mathrm{ξ}}_{3}\left(x,y,z,t,u\right)=0,\frac{\partial }{\partial x}{\mathrm{ξ}}_{1}\left(x,y,z,t,u\right)-\left(\frac{\partial }{\partial z}{\mathrm{ξ}}_{3}\left(x,y,z,t,u\right)\right)=0,-\left(\frac{\partial }{\partial y}{\mathrm{ξ}}_{3}\left(x,y,z,t,u\right)\right)-\left(\frac{\partial }{\partial z}{\mathrm{ξ}}_{2}\left(x,y,z,t,u\right)\right)=0,-\left(\frac{\partial }{\partial z}{\mathrm{ξ}}_{1}\left(x,y,z,t,u\right)\right)-\left(\frac{\partial }{\partial x}{\mathrm{ξ}}_{3}\left(x,y,z,t,u\right)\right)=0,\frac{\partial }{\partial u}{\mathrm{ξ}}_{4}\left(x,y,z,t,u\right)=0,\frac{\partial }{\partial t}{\mathrm{ξ}}_{3}\left(x,y,z,t,u\right)-\left(\frac{\partial }{\partial z}{\mathrm{ξ}}_{4}\left(x,y,z,t,u\right)\right)=0,\frac{\partial }{\partial t}{\mathrm{ξ}}_{2}\left(x,y,z,t,u\right)-\left(\frac{\partial }{\partial y}{\mathrm{ξ}}_{4}\left(x,y,z,t,u\right)\right)=0,\frac{\partial }{\partial t}{\mathrm{ξ}}_{1}\left(x,y,z,t,u\right)-\left(\frac{\partial }{\partial x}{\mathrm{ξ}}_{4}\left(x,y,z,t,u\right)\right)=0,-\left(\frac{\partial }{\partial x}{\mathrm{ξ}}_{1}\left(x,y,z,t,u\right)\right)+\frac{\partial }{\partial t}{\mathrm{ξ}}_{4}\left(x,y,z,t,u\right)=0,\frac{{\partial }^{2}}{\partial {y}^{2}}{\mathrm{η}}_{1}\left(x,y,z,t,u\right)+\frac{{\partial }^{2}}{\partial {z}^{2}}{\mathrm{η}}_{1}\left(x,y,z,t,u\right)-\left(\frac{{\partial }^{2}}{\partial {t}^{2}}{\mathrm{η}}_{1}\left(x,y,z,t,u\right)\right)+\frac{{\partial }^{2}}{\partial {x}^{2}}{\mathrm{η}}_{1}\left(x,y,z,t,u\right)=0,\frac{{\partial }^{2}}{\partial {u}^{2}}{\mathrm{η}}_{1}\left(x,y,z,t,u\right)=0,\frac{{\partial }^{2}}{\partial x\partial u}{\mathrm{η}}_{1}\left(x,y,z,t,u\right)+\frac{{\partial }^{2}}{\partial {x}^{2}}{\mathrm{ξ}}_{1}\left(x,y,z,t,u\right)=0,\frac{{\partial }^{2}}{\partial y\partial x}{\mathrm{ξ}}_{1}\left(x,y,z,t,u\right)+\frac{{\partial }^{2}}{\partial y\partial u}{\mathrm{η}}_{1}\left(x,y,z,t,u\right)=0,-\left(\frac{{\partial }^{2}}{\partial {y}^{2}}{\mathrm{ξ}}_{1}\left(x,y,z,t,u\right)\right)+\frac{{\partial }^{2}}{\partial x\partial u}{\mathrm{η}}_{1}\left(x,y,z,t,u\right)=0,\frac{{\partial }^{2}}{\partial z\partial x}{\mathrm{ξ}}_{1}\left(x,y,z,t,u\right)+\frac{{\partial }^{2}}{\partial z\partial u}{\mathrm{η}}_{1}\left(x,y,z,t,u\right)=0,\frac{{\partial }^{2}}{\partial z\partial y}{\mathrm{ξ}}_{1}\left(x,y,z,t,u\right)=0,-\left(\frac{{\partial }^{2}}{\partial {z}^{2}}{\mathrm{ξ}}_{1}\left(x,y,z,t,u\right)\right)+\frac{{\partial }^{2}}{\partial x\partial u}{\mathrm{η}}_{1}\left(x,y,z,t,u\right)=0,-\left(\frac{{\partial }^{2}}{\partial u\partial t}{\mathrm{η}}_{1}\left(x,y,z,t,u\right)\right)-\left(\frac{{\partial }^{2}}{\partial x\partial t}{\mathrm{ξ}}_{1}\left(x,y,z,t,u\right)\right)=0,\frac{{\partial }^{2}}{\partial y\partial t}{\mathrm{ξ}}_{1}\left(x,y,z,t,u\right)=0,\frac{{\partial }^{2}}{\partial z\partial t}{\mathrm{ξ}}_{1}\left(x,y,z,t,u\right)=0,\frac{{\partial }^{2}}{\partial {t}^{2}}{\mathrm{ξ}}_{1}\left(x,y,z,t,u\right)+\frac{{\partial }^{2}}{\partial x\partial u}{\mathrm{η}}_{1}\left(x,y,z,t,u\right)=0,-\left(\frac{{\partial }^{2}}{\partial {z}^{2}}{\mathrm{ξ}}_{2}\left(x,y,z,t,u\right)\right)+\frac{{\partial }^{2}}{\partial y\partial u}{\mathrm{η}}_{1}\left(x,y,z,t,u\right)=0,\frac{{\partial }^{2}}{\partial z\partial t}{\mathrm{ξ}}_{2}\left(x,y,z,t,u\right)=0,\frac{{\partial }^{2}}{\partial {t}^{2}}{\mathrm{ξ}}_{2}\left(x,y,z,t,u\right)+\frac{{\partial }^{2}}{\partial y\partial u}{\mathrm{η}}_{1}\left(x,y,z,t,u\right)=0,\frac{{\partial }^{2}}{\partial {t}^{2}}{\mathrm{ξ}}_{3}\left(x,y,z,t,u\right)+\frac{{\partial }^{2}}{\partial z\partial u}{\mathrm{η}}_{1}\left(x,y,z,t,u\right)=0,\frac{{\partial }^{3}}{\partial {x}^{2}\partial u}{\mathrm{η}}_{1}\left(x,y,z,t,u\right)=0,\frac{{\partial }^{3}}{\partial y\partial x\partial u}{\mathrm{η}}_{1}\left(x,y,z,t,u\right)=0,\frac{{\partial }^{3}}{\partial {y}^{2}\partial u}{\mathrm{η}}_{1}\left(x,y,z,t,u\right)=0,\frac{{\partial }^{3}}{\partial z\partial x\partial u}{\mathrm{η}}_{1}\left(x,y,z,t,u\right)=0,\frac{{\partial }^{3}}{\partial z\partial y\partial u}{\mathrm{η}}_{1}\left(x,y,z,t,u\right)=0,\frac{{\partial }^{3}}{\partial {z}^{2}\partial u}{\mathrm{η}}_{1}\left(x,y,z,t,u\right)=0,\frac{{\partial }^{3}}{\partial x\partial u\partial t}{\mathrm{η}}_{1}\left(x,y,z,t,u\right)=0,\frac{{\partial }^{3}}{\partial y\partial u\partial t}{\mathrm{η}}_{1}\left(x,y,z,t,u\right)=0,\frac{{\partial }^{3}}{\partial z\partial u\partial t}{\mathrm{η}}_{1}\left(x,y,z,t,u\right)=0\right]$
 $\left[{\mathrm{diff}}{}\left({{\mathrm{ξ}}}_{{1}}{}\left({x}{,}{y}{,}{z}{,}{t}{,}{u}\right){,}{u}\right){=}{0}{,}{\mathrm{diff}}{}\left({{\mathrm{ξ}}}_{{1}}{}\left({x}{,}{y}{,}{z}{,}{t}{,}{u}\right){,}{x}\right){-}\left({\mathrm{diff}}{}\left({{\mathrm{ξ}}}_{{2}}{}\left({x}{,}{y}{,}{z}{,}{t}{,}{u}\right){,}{y}\right)\right){=}{0}{,}{\mathrm{diff}}{}\left({{\mathrm{ξ}}}_{{2}}{}\left({x}{,}{y}{,}{z}{,}{t}{,}{u}\right){,}{u}\right){=}{0}{,}{-}\left({\mathrm{diff}}{}\left({{\mathrm{ξ}}}_{{1}}{}\left({x}{,}{y}{,}{z}{,}{t}{,}{u}\right){,}{y}\right)\right){-}\left({\mathrm{diff}}{}\left({{\mathrm{ξ}}}_{{2}}{}\left({x}{,}{y}{,}{z}{,}{t}{,}{u}\right){,}{x}\right)\right){=}{0}{,}{\mathrm{diff}}{}\left({{\mathrm{ξ}}}_{{3}}{}\left({x}{,}{y}{,}{z}{,}{t}{,}{u}\right){,}{u}\right){=}{0}{,}{\mathrm{diff}}{}\left({{\mathrm{ξ}}}_{{1}}{}\left({x}{,}{y}{,}{z}{,}{t}{,}{u}\right){,}{x}\right){-}\left({\mathrm{diff}}{}\left({{\mathrm{ξ}}}_{{3}}{}\left({x}{,}{y}{,}{z}{,}{t}{,}{u}\right){,}{z}\right)\right){=}{0}{,}{-}\left({\mathrm{diff}}{}\left({{\mathrm{ξ}}}_{{3}}{}\left({x}{,}{y}{,}{z}{,}{t}{,}{u}\right){,}{y}\right)\right){-}\left({\mathrm{diff}}{}\left({{\mathrm{ξ}}}_{{2}}{}\left({x}{,}{y}{,}{z}{,}{t}{,}{u}\right){,}{z}\right)\right){=}{0}{,}{-}\left({\mathrm{diff}}{}\left({{\mathrm{ξ}}}_{{1}}{}\left({x}{,}{y}{,}{z}{,}{t}{,}{u}\right){,}{z}\right)\right){-}\left({\mathrm{diff}}{}\left({{\mathrm{ξ}}}_{{3}}{}\left({x}{,}{y}{,}{z}{,}{t}{,}{u}\right){,}{x}\right)\right){=}{0}{,}{\mathrm{diff}}{}\left({{\mathrm{ξ}}}_{{4}}{}\left({x}{,}{y}{,}{z}{,}{t}{,}{u}\right){,}{u}\right){=}{0}{,}{\mathrm{diff}}{}\left({{\mathrm{ξ}}}_{{3}}{}\left({x}{,}{y}{,}{z}{,}{t}{,}{u}\right){,}{t}\right){-}\left({\mathrm{diff}}{}\left({{\mathrm{ξ}}}_{{4}}{}\left({x}{,}{y}{,}{z}{,}{t}{,}{u}\right){,}{z}\right)\right){=}{0}{,}{\mathrm{diff}}{}\left({{\mathrm{ξ}}}_{{2}}{}\left({x}{,}{y}{,}{z}{,}{t}{,}{u}\right){,}{t}\right){-}\left({\mathrm{diff}}{}\left({{\mathrm{ξ}}}_{{4}}{}\left({x}{,}{y}{,}{z}{,}{t}{,}{u}\right){,}{y}\right)\right){=}{0}{,}{\mathrm{diff}}{}\left({{\mathrm{ξ}}}_{{1}}{}\left({x}{,}{y}{,}{z}{,}{t}{,}{u}\right){,}{t}\right){-}\left({\mathrm{diff}}{}\left({{\mathrm{ξ}}}_{{4}}{}\left({x}{,}{y}{,}{z}{,}{t}{,}{u}\right){,}{x}\right)\right){=}{0}{,}{-}\left({\mathrm{diff}}{}\left({{\mathrm{ξ}}}_{{1}}{}\left({x}{,}{y}{,}{z}{,}{t}{,}{u}\right){,}{x}\right)\right){+}{\mathrm{diff}}{}\left({{\mathrm{ξ}}}_{{4}}{}\left({x}{,}{y}{,}{z}{,}{t}{,}{u}\right){,}{t}\right){=}{0}{,}{\mathrm{diff}}{}\left({\mathrm{diff}}{}\left({{\mathrm{η}}}_{{1}}{}\left({x}{,}{y}{,}{z}{,}{t}{,}{u}\right){,}{y}\right){,}{y}\right){+}{\mathrm{diff}}{}\left({\mathrm{diff}}{}\left({{\mathrm{η}}}_{{1}}{}\left({x}{,}{y}{,}{z}{,}{t}{,}{u}\right){,}{z}\right){,}{z}\right){-}\left({\mathrm{diff}}{}\left({\mathrm{diff}}{}\left({{\mathrm{η}}}_{{1}}{}\left({x}{,}{y}{,}{z}{,}{t}{,}{u}\right){,}{t}\right){,}{t}\right)\right){+}{\mathrm{diff}}{}\left({\mathrm{diff}}{}\left({{\mathrm{η}}}_{{1}}{}\left({x}{,}{y}{,}{z}{,}{t}{,}{u}\right){,}{x}\right){,}{x}\right){=}{0}{,}{\mathrm{diff}}{}\left({\mathrm{diff}}{}\left({{\mathrm{η}}}_{{1}}{}\left({x}{,}{y}{,}{z}{,}{t}{,}{u}\right){,}{u}\right){,}{u}\right){=}{0}{,}{\mathrm{diff}}{}\left({\mathrm{diff}}{}\left({{\mathrm{η}}}_{{1}}{}\left({x}{,}{y}{,}{z}{,}{t}{,}{u}\right){,}{u}\right){,}{x}\right){+}{\mathrm{diff}}{}\left({\mathrm{diff}}{}\left({{\mathrm{ξ}}}_{{1}}{}\left({x}{,}{y}{,}{z}{,}{t}{,}{u}\right){,}{x}\right){,}{x}\right){=}{0}{,}{\mathrm{diff}}{}\left({\mathrm{diff}}{}\left({{\mathrm{ξ}}}_{{1}}{}\left({x}{,}{y}{,}{z}{,}{t}{,}{u}\right){,}{x}\right){,}{y}\right){+}{\mathrm{diff}}{}\left({\mathrm{diff}}{}\left({{\mathrm{η}}}_{{1}}{}\left({x}{,}{y}{,}{z}{,}{t}{,}{u}\right){,}{u}\right){,}{y}\right){=}{0}{,}{-}\left({\mathrm{diff}}{}\left({\mathrm{diff}}{}\left({{\mathrm{ξ}}}_{{1}}{}\left({x}{,}{y}{,}{z}{,}{t}{,}{u}\right){,}{y}\right){,}{y}\right)\right){+}{\mathrm{diff}}{}\left({\mathrm{diff}}{}\left({{\mathrm{η}}}_{{1}}{}\left({x}{,}{y}{,}{z}{,}{t}{,}{u}\right){,}{u}\right){,}{x}\right){=}{0}{,}{\mathrm{diff}}{}\left({\mathrm{diff}}{}\left({{\mathrm{ξ}}}_{{1}}{}\left({x}{,}{y}{,}{z}{,}{t}{,}{u}\right){,}{x}\right){,}{z}\right){+}{\mathrm{diff}}{}\left({\mathrm{diff}}{}\left({{\mathrm{η}}}_{{1}}{}\left({x}{,}{y}{,}{z}{,}{t}{,}{u}\right){,}{u}\right){,}{z}\right){=}{0}{,}{\mathrm{diff}}{}\left({\mathrm{diff}}{}\left({{\mathrm{ξ}}}_{{1}}{}\left({x}{,}{y}{,}{z}{,}{t}{,}{u}\right){,}{y}\right){,}{z}\right){=}{0}{,}{-}\left({\mathrm{diff}}{}\left({\mathrm{diff}}{}\left({{\mathrm{ξ}}}_{{1}}{}\left({x}{,}{y}{,}{z}{,}{t}{,}{u}\right){,}{z}\right){,}{z}\right)\right){+}{\mathrm{diff}}{}\left({\mathrm{diff}}{}\left({{\mathrm{η}}}_{{1}}{}\left({x}{,}{y}{,}{z}{,}{t}{,}{u}\right){,}{u}\right){,}{x}\right){=}{0}{,}{-}\left({\mathrm{diff}}{}\left({\mathrm{diff}}{}\left({{\mathrm{η}}}_{{1}}{}\left({x}{,}{y}{,}{z}{,}{t}{,}{u}\right){,}{t}\right){,}{u}\right)\right){-}\left({\mathrm{diff}}{}\left({\mathrm{diff}}{}\left({{\mathrm{ξ}}}_{{1}}{}\left({x}{,}{y}{,}{z}{,}{t}{,}{u}\right){,}{t}\right){,}{x}\right)\right){=}{0}{,}{\mathrm{diff}}{}\left({\mathrm{diff}}{}\left({{\mathrm{ξ}}}_{{1}}{}\left({x}{,}{y}{,}{z}{,}{t}{,}{u}\right){,}{t}\right){,}{y}\right){=}{0}{,}{\mathrm{diff}}{}\left({\mathrm{diff}}{}\left({{\mathrm{ξ}}}_{{1}}{}\left({x}{,}{y}{,}{z}{,}{t}{,}{u}\right){,}{t}\right){,}{z}\right){=}{0}{,}{\mathrm{diff}}{}\left({\mathrm{diff}}{}\left({{\mathrm{ξ}}}_{{1}}{}\left({x}{,}{y}{,}{z}{,}{t}{,}{u}\right){,}{t}\right){,}{t}\right){+}{\mathrm{diff}}{}\left({\mathrm{diff}}{}\left({{\mathrm{η}}}_{{1}}{}\left({x}{,}{y}{,}{z}{,}{t}{,}{u}\right){,}{u}\right){,}{x}\right){=}{0}{,}{-}\left({\mathrm{diff}}{}\left({\mathrm{diff}}{}\left({{\mathrm{ξ}}}_{{2}}{}\left({x}{,}{y}{,}{z}{,}{t}{,}{u}\right){,}{z}\right){,}{z}\right)\right){+}{\mathrm{diff}}{}\left({\mathrm{diff}}{}\left({{\mathrm{η}}}_{{1}}{}\left({x}{,}{y}{,}{z}{,}{t}{,}{u}\right){,}{u}\right){,}{y}\right){=}{0}{,}{\mathrm{diff}}{}\left({\mathrm{diff}}{}\left({{\mathrm{ξ}}}_{{2}}{}\left({x}{,}{y}{,}{z}{,}{t}{,}{u}\right){,}{t}\right){,}{z}\right){=}{0}{,}{\mathrm{diff}}{}\left({\mathrm{diff}}{}\left({{\mathrm{ξ}}}_{{2}}{}\left({x}{,}{y}{,}{z}{,}{t}{,}{u}\right){,}{t}\right){,}{t}\right){+}{\mathrm{diff}}{}\left({\mathrm{diff}}{}\left({{\mathrm{η}}}_{{1}}{}\left({x}{,}{y}{,}{z}{,}{t}{,}{u}\right){,}{u}\right){,}{y}\right){=}{0}{,}{\mathrm{diff}}{}\left({\mathrm{diff}}{}\left({{\mathrm{ξ}}}_{{3}}{}\left({x}{,}{y}{,}{z}{,}{t}{,}{u}\right){,}{t}\right){,}{t}\right){+}{\mathrm{diff}}{}\left({\mathrm{diff}}{}\left({{\mathrm{η}}}_{{1}}{}\left({x}{,}{y}{,}{z}{,}{t}{,}{u}\right){,}{u}\right){,}{z}\right){=}{0}{,}{\mathrm{diff}}{}\left({\mathrm{diff}}{}\left({\mathrm{diff}}{}\left({{\mathrm{η}}}_{{1}}{}\left({x}{,}{y}{,}{z}{,}{t}{,}{u}\right){,}{u}\right){,}{x}\right){,}{x}\right){=}{0}{,}{\mathrm{diff}}{}\left({\mathrm{diff}}{}\left({\mathrm{diff}}{}\left({{\mathrm{η}}}_{{1}}{}\left({x}{,}{y}{,}{z}{,}{t}{,}{u}\right){,}{u}\right){,}{x}\right){,}{y}\right){=}{0}{,}{\mathrm{diff}}{}\left({\mathrm{diff}}{}\left({\mathrm{diff}}{}\left({{\mathrm{η}}}_{{1}}{}\left({x}{,}{y}{,}{z}{,}{t}{,}{u}\right){,}{u}\right){,}{y}\right){,}{y}\right){=}{0}{,}{\mathrm{diff}}{}\left({\mathrm{diff}}{}\left({\mathrm{diff}}{}\left({{\mathrm{η}}}_{{1}}{}\left({x}{,}{y}{,}{z}{,}{t}{,}{u}\right){,}{u}\right){,}{x}\right){,}{z}\right){=}{0}{,}{\mathrm{diff}}{}\left({\mathrm{diff}}{}\left({\mathrm{diff}}{}\left({{\mathrm{η}}}_{{1}}{}\left({x}{,}{y}{,}{z}{,}{t}{,}{u}\right){,}{u}\right){,}{y}\right){,}{z}\right){=}{0}{,}{\mathrm{diff}}{}\left({\mathrm{diff}}{}\left({\mathrm{diff}}{}\left({{\mathrm{η}}}_{{1}}{}\left({x}{,}{y}{,}{z}{,}{t}{,}{u}\right){,}{u}\right){,}{z}\right){,}{z}\right){=}{0}{,}{\mathrm{diff}}{}\left({\mathrm{diff}}{}\left({\mathrm{diff}}{}\left({{\mathrm{η}}}_{{1}}{}\left({x}{,}{y}{,}{z}{,}{t}{,}{u}\right){,}{t}\right){,}{u}\right){,}{x}\right){=}{0}{,}{\mathrm{diff}}{}\left({\mathrm{diff}}{}\left({\mathrm{diff}}{}\left({{\mathrm{η}}}_{{1}}{}\left({x}{,}{y}{,}{z}{,}{t}{,}{u}\right){,}{t}\right){,}{u}\right){,}{y}\right){=}{0}{,}{\mathrm{diff}}{}\left({\mathrm{diff}}{}\left({\mathrm{diff}}{}\left({{\mathrm{η}}}_{{1}}{}\left({x}{,}{y}{,}{z}{,}{t}{,}{u}\right){,}{t}\right){,}{u}\right){,}{z}\right){=}{0}\right]$ (25)
 > $\mathrm{nops}\left(\mathrm{sys5}\right)$
 ${38}$ (26)

The solution is given by

 > $\mathrm{sol}≔\mathrm{pdsolve}\left(\mathrm{sys5}\right)$
 $\left\{{{\mathrm{η}}}_{{1}}{}\left({x}{,}{y}{,}{z}{,}{t}{,}{u}\right){=}\frac{\mathrm{c__13}{}\left(\mathrm{c__10}{}{\left({\mathrm{exp}}{}\left(\sqrt{{{\mathrm{_c}}}_{{3}}}{}{z}\right)\right)}^{{2}}{+}\mathrm{c__11}\right){}\left(\mathrm{c__8}{}{\left({\mathrm{exp}}{}\left(\sqrt{{{\mathrm{_c}}}_{{2}}}{}{y}\right)\right)}^{{2}}{+}\mathrm{c__9}\right){}\left(\mathrm{c__6}{}{\left({\mathrm{exp}}{}\left(\sqrt{{{\mathrm{_c}}}_{{1}}}{}{x}\right)\right)}^{{2}}{+}\mathrm{c__7}\right){}{\mathrm{cos}}{}\left(\sqrt{{-}{{\mathrm{_c}}}_{{1}}{-}{{\mathrm{_c}}}_{{2}}{-}{{\mathrm{_c}}}_{{3}}}{}{t}\right){+}\mathrm{c__12}{}\left(\mathrm{c__10}{}{\left({\mathrm{exp}}{}\left(\sqrt{{{\mathrm{_c}}}_{{3}}}{}{z}\right)\right)}^{{2}}{+}\mathrm{c__11}\right){}\left(\mathrm{c__8}{}{\left({\mathrm{exp}}{}\left(\sqrt{{{\mathrm{_c}}}_{{2}}}{}{y}\right)\right)}^{{2}}{+}\mathrm{c__9}\right){}\left(\mathrm{c__6}{}{\left({\mathrm{exp}}{}\left(\sqrt{{{\mathrm{_c}}}_{{1}}}{}{x}\right)\right)}^{{2}}{+}\mathrm{c__7}\right){}{\mathrm{sin}}{}\left(\sqrt{{-}{{\mathrm{_c}}}_{{1}}{-}{{\mathrm{_c}}}_{{2}}{-}{{\mathrm{_c}}}_{{3}}}{}{t}\right){+}{u}{}{\mathrm{exp}}{}\left(\sqrt{{{\mathrm{_c}}}_{{1}}}{}{x}\right){}{\mathrm{exp}}{}\left(\sqrt{{{\mathrm{_c}}}_{{2}}}{}{y}\right){}{\mathrm{exp}}{}\left(\sqrt{{{\mathrm{_c}}}_{{3}}}{}{z}\right){}\left(\mathrm{c__1}{}{t}{+}\mathrm{c__2}{}{x}{+}\mathrm{c__3}{}{y}{+}\mathrm{c__4}{}{z}{+}\mathrm{c__5}\right)}{{\mathrm{exp}}{}\left(\sqrt{{{\mathrm{_c}}}_{{2}}}{}{y}\right){}{\mathrm{exp}}{}\left(\sqrt{{{\mathrm{_c}}}_{{3}}}{}{z}\right){}{\mathrm{exp}}{}\left(\sqrt{{{\mathrm{_c}}}_{{1}}}{}{x}\right)}{,}{{\mathrm{ξ}}}_{{1}}{}\left({x}{,}{y}{,}{z}{,}{t}{,}{u}\right){=}{-}\frac{{1}}{{2}}{}\mathrm{c__2}{}{{x}}^{{2}}{+}\left({-}\mathrm{c__1}{}{t}{-}\mathrm{c__3}{}{y}{-}\mathrm{c__4}{}{z}{+}\mathrm{c__17}\right){}{x}{+}\frac{{1}}{{2}}{}\left({-}{{t}}^{{2}}{+}{{y}}^{{2}}{+}{{z}}^{{2}}\right){}\mathrm{c__2}{+}\mathrm{c__16}{}{t}{+}\mathrm{c__15}{}{z}{+}\mathrm{c__14}{}{y}{+}\mathrm{c__18}{,}{{\mathrm{ξ}}}_{{2}}{}\left({x}{,}{y}{,}{z}{,}{t}{,}{u}\right){=}{-}\frac{{1}}{{2}}{}\mathrm{c__3}{}{{y}}^{{2}}{+}\left({-}\mathrm{c__1}{}{t}{-}\mathrm{c__2}{}{x}{-}\mathrm{c__4}{}{z}{+}\mathrm{c__17}\right){}{y}{+}\frac{{1}}{{2}}{}\left({-}{{t}}^{{2}}{+}{{x}}^{{2}}{+}{{z}}^{{2}}\right){}\mathrm{c__3}{+}\mathrm{c__20}{}{t}{+}\mathrm{c__19}{}{z}{-}\mathrm{c__14}{}{x}{+}\mathrm{c__21}{,}{{\mathrm{ξ}}}_{{3}}{}\left({x}{,}{y}{,}{z}{,}{t}{,}{u}\right){=}{-}\frac{{1}}{{2}}{}\mathrm{c__4}{}{{z}}^{{2}}{+}\left({-}\mathrm{c__1}{}{t}{-}\mathrm{c__2}{}{x}{-}\mathrm{c__3}{}{y}{+}\mathrm{c__17}\right){}{z}{+}\frac{{1}}{{2}}{}\left({-}{{t}}^{{2}}{+}{{x}}^{{2}}{+}{{y}}^{{2}}\right){}\mathrm{c__4}{+}\mathrm{c__22}{}{t}{-}\mathrm{c__19}{}{y}{-}\mathrm{c__15}{}{x}{+}\mathrm{c__23}{,}{{\mathrm{ξ}}}_{{4}}{}\left({x}{,}{y}{,}{z}{,}{t}{,}{u}\right){=}{-}\frac{{1}}{{2}}{}\mathrm{c__1}{}{{t}}^{{2}}{+}\left({-}\mathrm{c__2}{}{x}{-}\mathrm{c__3}{}{y}{-}\mathrm{c__4}{}{z}{+}\mathrm{c__17}\right){}{t}{+}\frac{{1}}{{2}}{}\left({-}{{x}}^{{2}}{-}{{y}}^{{2}}{-}{{z}}^{{2}}\right){}\mathrm{c__1}{+}\mathrm{c__20}{}{y}{+}\mathrm{c__22}{}{z}{+}\mathrm{c__16}{}{x}{+}\mathrm{c__24}\right\}$ (27)
 > $\mathrm{pdetest}\left(\mathrm{sol},\mathrm{sys5}\right)$
 $\left[{0}{,}{0}{,}{0}{,}{0}{,}{0}{,}{0}{,}{0}{,}{0}{,}{0}{,}{0}{,}{0}{,}{0}{,}{0}{,}{0}{,}{0}{,}{0}{,}{0}{,}{0}{,}{0}{,}{0}{,}{0}{,}{0}{,}{0}{,}{0}{,}{0}{,}{0}{,}{0}{,}{0}{,}{0}{,}{0}{,}{0}{,}{0}{,}{0}{,}{0}{,}{0}{,}{0}{,}{0}{,}{0}\right]$ (28)

Example 6.

The following is a nonlinear PDE system example in five unknowns, containing four PDEs, extracted from Landau and Lifshitz's "Fluid Mechanics" book. To obtain enhanced display and simplify the input

 > ${\mathrm{PDEtools}}_{\mathrm{declare}}\left(\left(u,w,\mathrm{Τ}\right)\left(x,z,t\right),p\left(x,z\right),\mathrm{Ts}\left(z\right)\right)$
 ${u}{}\left({x}{,}{z}{,}{t}\right){}{\mathrm{will now be displayed as}}{}{u}$
 ${w}{}\left({x}{,}{z}{,}{t}\right){}{\mathrm{will now be displayed as}}{}{w}$
 ${\mathrm{Τ}}{}\left({x}{,}{z}{,}{t}\right){}{\mathrm{will now be displayed as}}{}{\mathrm{Τ}}$
 ${p}{}\left({x}{,}{z}\right){}{\mathrm{will now be displayed as}}{}{p}$
 ${\mathrm{Ts}}{}\left({z}\right){}{\mathrm{will now be displayed as}}{}{\mathrm{Ts}}$ (29)
 > $\mathrm{with}\left(\mathrm{DEtools},\mathrm{diff_table}\right)$
 $\left[{\mathrm{diff_table}}\right]$ (30)
 > $U≔\mathrm{diff_table}\left(u\left(x,z,t\right)\right):$$W≔\mathrm{diff_table}\left(w\left(x,z,t\right)\right):$
 > $P≔\mathrm{diff_table}\left(p\left(x,z\right)\right):$$T≔\mathrm{diff_table}\left(\mathrm{Τ}\left(x,z,t\right)\right):$

The PDE system is:

 > $\mathrm{e1}≔{U}_{x}+{W}_{z}=0$
 ${\mathrm{diff}}{}\left({u}{}\left({x}{,}{z}{,}{t}\right){,}{x}\right){+}{\mathrm{diff}}{}\left({w}{}\left({x}{,}{z}{,}{t}\right){,}{z}\right){=}{0}$ (31)
 > $\mathrm{e2}≔{U}_{t}+{U}_{[]}{U}_{x}+{W}_{[]}{U}_{z}=-{P}_{x}+\mathrm{σ}\left({U}_{x,x}+{U}_{z,z}\right)$
 ${u}{}\left({x}{,}{z}{,}{t}\right){}\left({\mathrm{diff}}{}\left({u}{}\left({x}{,}{z}{,}{t}\right){,}{x}\right)\right){+}\left({\mathrm{diff}}{}\left({u}{}\left({x}{,}{z}{,}{t}\right){,}{z}\right)\right){}{w}{}\left({x}{,}{z}{,}{t}\right){+}{\mathrm{diff}}{}\left({u}{}\left({x}{,}{z}{,}{t}\right){,}{t}\right){=}{-}\left({\mathrm{diff}}{}\left({p}{}\left({x}{,}{z}\right){,}{x}\right)\right){+}{\mathrm{σ}}{}\left({\mathrm{diff}}{}\left({\mathrm{diff}}{}\left({u}{}\left({x}{,}{z}{,}{t}\right){,}{x}\right){,}{x}\right){+}{\mathrm{diff}}{}\left({\mathrm{diff}}{}\left({u}{}\left({x}{,}{z}{,}{t}\right){,}{z}\right){,}{z}\right)\right)$ (32)
 > $\mathrm{e3}≔{W}_{t}+{U}_{[]}{W}_{x}+{W}_{[]}{W}_{z}=-{P}_{z}+\mathrm{σ}\left({W}_{x,x}+{W}_{z,z}\right)+\mathrm{σ}\mathrm{ρ}\left({T}_{[]}-\mathrm{Ts}\left(z\right)\right)$
 ${u}{}\left({x}{,}{z}{,}{t}\right){}\left({\mathrm{diff}}{}\left({w}{}\left({x}{,}{z}{,}{t}\right){,}{x}\right)\right){+}{w}{}\left({x}{,}{z}{,}{t}\right){}\left({\mathrm{diff}}{}\left({w}{}\left({x}{,}{z}{,}{t}\right){,}{z}\right)\right){+}{\mathrm{diff}}{}\left({w}{}\left({x}{,}{z}{,}{t}\right){,}{t}\right){=}{-}\left({\mathrm{diff}}{}\left({p}{}\left({x}{,}{z}\right){,}{z}\right)\right){+}{\mathrm{σ}}{}\left({\mathrm{diff}}{}\left({\mathrm{diff}}{}\left({w}{}\left({x}{,}{z}{,}{t}\right){,}{x}\right){,}{x}\right){+}{\mathrm{diff}}{}\left({\mathrm{diff}}{}\left({w}{}\left({x}{,}{z}{,}{t}\right){,}{z}\right){,}{z}\right)\right){+}{\mathrm{σ}}{}{\mathrm{ρ}}{}\left({\mathrm{Τ}}{}\left({x}{,}{z}{,}{t}\right){-}{\mathrm{Ts}}{}\left({z}\right)\right)$ (33)
 > $\mathrm{e4}≔{T}_{t}+{U}_{[]}{T}_{x}+{W}_{[]}{T}_{z}={T}_{x,x}+{T}_{z,z}$
 $\left({\mathrm{diff}}{}\left({\mathrm{Τ}}{}\left({x}{,}{z}{,}{t}\right){,}{x}\right)\right){}{u}{}\left({x}{,}{z}{,}{t}\right){+}\left({\mathrm{diff}}{}\left({\mathrm{Τ}}{}\left({x}{,}{z}{,}{t}\right){,}{z}\right)\right){}{w}{}\left({x}{,}{z}{,}{t}\right){+}{\mathrm{diff}}{}\left({\mathrm{Τ}}{}\left({x}{,}{z}{,}{t}\right){,}{t}\right){=}{\mathrm{diff}}{}\left({\mathrm{diff}}{}\left({\mathrm{Τ}}{}\left({x}{,}{z}{,}{t}\right){,}{x}\right){,}{x}\right){+}{\mathrm{diff}}{}\left({\mathrm{diff}}{}\left({\mathrm{Τ}}{}\left({x}{,}{z}{,}{t}\right){,}{z}\right){,}{z}\right)$ (34)
 > $\mathrm{sys}≔\left[\mathrm{e1},\mathrm{e2},\mathrm{e3},\mathrm{e4}\right]:$

This system represents a 2-D (coordinates x, z) fluid layer, open to air, subjected to a vertical temperature gradient (Nabla of T(x,z,t)) and embedded in a gravitational field. The constants sigma and rho are related to the viscosity, thermal diffusivity, the gravitational constant, and the coefficient of thermal expansion. A set of traveling wave solutions can be computed for this system in 2 seconds (typical PC 2 GigaHertz, 2004). The nonsingular case after removing redundant constant solutions:

 > $\left[\mathrm{pdsolve}\left(\mathrm{sys},\left[u,w,\mathrm{Τ},p,\mathrm{Ts}\right],\mathrm{HINT}=\mathrm{TWS},\mathrm{singsol}=\mathrm{false}\right)\right]$
 * Using tau = tanh(t*C[3]+x*C[1]+z*C[2]+C[0])
 * Equivalent ODE system: {(-C[1]*(tau^2-1)*u(tau)-C[2]*(tau^2-1)*w(tau)-C[3]*(tau^2-1)-2*C[1]^2*(tau^2-1)*tau-2*C[2]^2*(tau^2-1)*tau)*diff(Tau(tau),tau)+(-C[1]^2*(tau^2-1)^2-C[2]^2*(tau^2-1)^2)*diff(diff(Tau(tau),tau),tau), -C[1]*(tau^2-1)*diff(u(tau),tau)-C[2]*(tau^2-1)*diff(w(tau),tau), -sigma*(C[1]^2*(tau^2-1)^2+C[2]^2*(tau^2-1)^2)*diff(diff(u(tau),tau),tau)-C[1]*(tau^2-1)*diff(p(tau),tau)+(-C[1]*(tau^2-1)*u(tau)-C[2]*(tau^2-1)*w(tau)-C[3]*(tau^2-1)-sigma*(2*C[1]^2*(tau^2-1)*tau+2*C[2]^2*(tau^2-1)*tau))*diff(u(tau),tau), -sigma*(C[1]^2*(tau^2-1)^2+C[2]^2*(tau^2-1)^2)*diff(diff(w(tau),tau),tau)-C[2]*(tau^2-1)*diff(p(tau),tau)+(-C[1]*(tau^2-1)*u(tau)-C[2]*(tau^2-1)*w(tau)-C[3]*(tau^2-1)-sigma*(2*C[1]^2*(tau^2-1)*tau+2*C[2]^2*(tau^2-1)*tau))*diff(w(tau),tau)-sigma*rho*(Tau(tau)-Ts(tau))}
 * Power series solution [1]: {Tau(tau) = tau*A[3,1]+A[3,0], Ts(tau) = tau^3*A[5,3]+tau^2*A[5,2]+tau*A[5,1]+A[5,0], p(tau) = tau^2*A[4,2]+tau*A[4,1]+A[4,0], u(tau) = tau*A[1,1]+A[1,0], w(tau) = tau*A[2,1]+A[2,0]}
 * Power series solution [2]: {Tau(tau) = tau^3*A[3,3]+tau^2*A[3,2]+tau*A[3,1]+A[3,0], Ts(tau) = tau*A[5,1]+A[5,0], p(tau) = tau^2*A[4,2]+tau*A[4,1]+A[4,0], u(tau) = tau*A[1,1]+A[1,0], w(tau) = tau*A[2,1]+A[2,0]}
 $\left[\left\{{\mathrm{Τ}}{}\left({x}{,}{z}{,}{t}\right){=}\mathrm{c__10}{,}{\mathrm{Ts}}{}\left({z}\right){=}\mathrm{c__10}{,}{p}{}\left({x}{,}{z}\right){=}\mathrm{c__9}{,}{u}{}\left({x}{,}{z}{,}{t}\right){=}\mathrm{c__5}{,}{w}{}\left({x}{,}{z}{,}{t}\right){=}\mathrm{c__7}\right\}{,}\left\{{\mathrm{Τ}}{}\left({x}{,}{z}{,}{t}\right){=}\mathrm{c__8}{,}{\mathrm{Ts}}{}\left({z}\right){=}{-}\frac{{2}{}\mathrm{c__6}{}\left({\mathrm{c__2}}^{{4}}{+}{2}{}{\mathrm{c__2}}^{{2}}{}{\mathrm{c__3}}^{{2}}{+}{\mathrm{c__3}}^{{4}}\right){}{{\mathrm{tanh}}{}\left(\mathrm{c__2}{}{x}{+}\mathrm{c__3}{}{z}{+}\mathrm{c__4}{}{t}{+}\mathrm{c__1}\right)}^{{3}}}{\mathrm{c__2}{}\mathrm{c__3}{}{\mathrm{ρ}}}{-}\frac{\mathrm{c__6}{}\left({\mathrm{c__2}}^{{3}}{}\mathrm{c__5}{+}{\mathrm{c__2}}^{{2}}{}\mathrm{c__3}{}\mathrm{c__7}{+}\mathrm{c__2}{}{\mathrm{c__3}}^{{2}}{}\mathrm{c__5}{+}{\mathrm{c__3}}^{{3}}{}\mathrm{c__7}{+}{\mathrm{c__2}}^{{2}}{}\mathrm{c__4}{+}{\mathrm{c__3}}^{{2}}{}\mathrm{c__4}\right){}{{\mathrm{tanh}}{}\left(\mathrm{c__2}{}{x}{+}\mathrm{c__3}{}{z}{+}\mathrm{c__4}{}{t}{+}\mathrm{c__1}\right)}^{{2}}}{\mathrm{c__2}{}\mathrm{c__3}{}{\mathrm{σ}}{}{\mathrm{ρ}}}{+}\frac{{2}{}\mathrm{c__6}{}\left({\mathrm{c__2}}^{{4}}{+}{2}{}{\mathrm{c__2}}^{{2}}{}{\mathrm{c__3}}^{{2}}{+}{\mathrm{c__3}}^{{4}}\right){}{\mathrm{tanh}}{}\left(\mathrm{c__2}{}{x}{+}\mathrm{c__3}{}{z}{+}\mathrm{c__4}{}{t}{+}\mathrm{c__1}\right)}{\mathrm{c__2}{}\mathrm{c__3}{}{\mathrm{ρ}}}{+}\frac{{\mathrm{c__2}}^{{3}}{}\mathrm{c__5}{}\mathrm{c__6}{+}{\mathrm{c__2}}^{{2}}{}\mathrm{c__3}{}\mathrm{c__6}{}\mathrm{c__7}{+}\mathrm{c__2}{}{\mathrm{c__3}}^{{2}}{}\mathrm{c__5}{}\mathrm{c__6}{+}\mathrm{c__2}{}\mathrm{c__3}{}\mathrm{c__8}{}{\mathrm{ρ}}{}{\mathrm{σ}}{+}{\mathrm{c__3}}^{{3}}{}\mathrm{c__6}{}\mathrm{c__7}{+}{\mathrm{c__2}}^{{2}}{}\mathrm{c__4}{}\mathrm{c__6}{+}{\mathrm{c__3}}^{{2}}{}\mathrm{c__4}{}\mathrm{c__6}}{\mathrm{c__2}{}\mathrm{c__3}{}{\mathrm{σ}}{}{\mathrm{ρ}}}{,}{p}{}\left({x}{,}{z}\right){=}{-}\frac{\mathrm{c__6}{}{\mathrm{σ}}{}\left({\mathrm{c__2}}^{{2}}{+}{\mathrm{c__3}}^{{2}}\right){}{{\mathrm{tanh}}{}\left(\mathrm{c__2}{}{x}{+}\mathrm{c__3}{}{z}{+}\mathrm{c__4}{}{t}{+}\mathrm{c__1}\right)}^{{2}}}{\mathrm{c__2}}{-}\frac{\mathrm{c__6}{}\left(\mathrm{c__2}{}\mathrm{c__5}{+}\mathrm{c__3}{}\mathrm{c__7}{+}\mathrm{c__4}\right){}{\mathrm{tanh}}{}\left(\mathrm{c__2}{}{x}{+}\mathrm{c__3}{}{z}{+}\mathrm{c__4}{}{t}{+}\mathrm{c__1}\right)}{\mathrm{c__2}}{+}\mathrm{c__9}{,}{u}{}\left({x}{,}{z}{,}{t}\right){=}\mathrm{c__6}{}{\mathrm{tanh}}{}\left(\mathrm{c__2}{}{x}{+}\mathrm{c__3}{}{z}{+}\mathrm{c__4}{}{t}{+}\mathrm{c__1}\right){+}\mathrm{c__5}{,}{w}{}\left({x}{,}{z}{,}{t}\right){=}{-}\frac{\mathrm{c__2}{}\mathrm{c__6}{}{\mathrm{tanh}}{}\left(\mathrm{c__2}{}{x}{+}\mathrm{c__3}{}{z}{+}\mathrm{c__4}{}{t}{+}\mathrm{c__1}\right)}{\mathrm{c__3}}{+}\mathrm{c__7}\right\}\right]$ (35)

For p = constant, this system also admits solutions in terms of the WeierstrassP elliptic function; this is last in the sequence of nonsingular solutions (operand [-1]).

 > ${\mathrm{pdsolve}\left(\mathrm{sys},\left[u,w,\mathrm{Τ},p,\mathrm{Ts}\right],\mathrm{HINT}=\mathrm{TWS}\left(\mathrm{WeierstrassP}\right),\mathrm{singsol}=\mathrm{false},\mathrm{remove_redundant}=\mathrm{false}\right)}_{-1}$
 * Using tau = WeierstrassP(t*C[3]+x*C[1]+z*C[2]+C[0])
 * Equivalent ODE system: {diff(u(tau),tau)*C[1]+diff(w(tau),tau)*C[2], (C[1]*diff(p(tau),tau)+(u(tau)*C[1]+w(tau)*C[2]+C[3])*diff(u(tau),tau))*(4*tau^3-tau*C[-1]-C[-2])^(1/2)-sigma*(4*tau^3-tau*C[-1]-C[-2])*(C[1]^2+C[2]^2)*diff(diff(u(tau),tau),tau)-1/2*sigma*(12*tau^2-C[-1])*(C[1]^2+C[2]^2)*diff(u(tau),tau), (u(tau)*C[1]+w(tau)*C[2]+C[3])*diff(Tau(tau),tau)*(4*tau^3-tau*C[-1]-C[-2])^(1/2)+(-6*tau^2*C[1]^2+1/2*C[-1]*C[1]^2-6*tau^2*C[2]^2+1/2*C[-1]*C[2]^2)*diff(Tau(tau),tau)+(-4*tau^3*C[1]^2-4*tau^3*C[2]^2+tau*C[-1]*C[1]^2+tau*C[-1]*C[2]^2+C[-2]*C[1]^2+C[-2]*C[2]^2)*diff(diff(Tau(tau),tau),tau), (C[2]*diff(p(tau),tau)+(u(tau)*C[1]+w(tau)*C[2]+C[3])*diff(w(tau),tau))*(4*tau^3-tau*C[-1]-C[-2])^(1/2)-sigma*(4*tau^3-tau*C[-1]-C[-2])*(C[1]^2+C[2]^2)*diff(diff(w(tau),tau),tau)-1/2*sigma*(12*tau^2-C[-1])*(C[1]^2+C[2]^2)*diff(w(tau),tau)-sigma*rho*(Tau(tau)-Ts(tau))}
 * Power series solution [1]: {Tau(tau) = tau*A[3,1]+A[3,0], Ts(tau) = tau^3*A[5,3]+tau^2*A[5,2]+tau*A[5,1]+A[5,0], p(tau) = tau^2*A[4,2]+tau*A[4,1]+A[4,0], u(tau) = tau*A[1,1]+A[1,0], w(tau) = tau*A[2,1]+A[2,0]}
 * Power series solution [2]: {Tau(tau) = tau^2*A[3,2]+tau*A[3,1]+A[3,0], Ts(tau) = tau^2*A[5,2]+tau*A[5,1]+A[5,0], p(tau) = tau*A[4,1]+A[4,0], u(tau) = tau*A[1,1]+A[1,0], w(tau) = tau*A[2,1]+A[2,0]}
 * Power series solution [3]: {Tau(tau) = tau^3*A[3,3]+tau^2*A[3,2]+tau*A[3,1]+A[3,0], Ts(tau) = tau*A[5,1]+A[5,0], p(tau) = tau^2*A[4,2]+tau*A[4,1]+A[4,0], u(tau) = tau*A[1,1]+A[1,0], w(tau) = tau*A[2,1]+A[2,0]}
 * Power series solution [4]: {Tau(tau) = tau*A[3,1]+A[3,0], Ts(tau) = tau^3*A[5,3]+tau^2*A[5,2]+tau*A[5,1]+A[5,0], p(tau) = tau*A[4,1]+A[4,0], u(tau) = tau*A[1,1]+A[1,0], w(tau) = tau*A[2,1]+A[2,0]}
 * Power series solution [5]: {Tau(tau) = tau*A[3,1]+A[3,0], Ts(tau) = tau*A[5,1]+A[5,0], p(tau) = tau^2*A[4,2]+tau*A[4,1]+A[4,0], u(tau) = tau*A[1,1]+A[1,0], w(tau) = tau*A[2,1]+A[2,0]}
 * Power series solution [6]: {Tau(tau) = tau*A[3,1]+A[3,0], Ts(tau) = tau^2*A[5,2]+tau*A[5,1]+A[5,0], p(tau) = tau^2*A[4,2]+tau*A[4,1]+A[4,0], u(tau) = tau*A[1,1]+A[1,0], w(tau) = tau*A[2,1]+A[2,0]}
 * Power series solution [7]: {Tau(tau) = tau^2*A[3,2]+tau*A[3,1]+A[3,0], Ts(tau) = tau*A[5,1]+A[5,0], p(tau) = tau^2*A[4,2]+tau*A[4,1]+A[4,0], u(tau) = tau*A[1,1]+A[1,0], w(tau) = tau*A[2,1]+A[2,0]}
 * Power series solution [8]: {Tau(tau) = tau^3*A[3,3]+tau^2*A[3,2]+tau*A[3,1]+A[3,0], Ts(tau) = tau^2*A[5,2]+tau*A[5,1]+A[5,0], p(tau) = tau*A[4,1]+A[4,0], u(tau) = tau*A[1,1]+A[1,0], w(tau) = tau*A[2,1]+A[2,0]}
 $\left\{{\mathrm{Τ}}{}\left({x}{,}{z}{,}{t}\right){=}{\mathrm{WeierstrassP}}{}\left(\mathrm{c__6}{}{t}{+}\mathrm{c__4}{}{x}{+}{I}{}\mathrm{c__4}{}{z}{+}\mathrm{c__3}{,}\mathrm{c__2}{,}\mathrm{c__1}\right){}\mathrm{c__11}{+}\mathrm{c__13}{,}{\mathrm{Ts}}{}\left({z}\right){=}{\mathrm{WeierstrassP}}{}\left(\mathrm{c__6}{}{t}{+}\mathrm{c__4}{}{x}{+}{I}{}\mathrm{c__4}{}{z}{+}\mathrm{c__3}{,}\mathrm{c__2}{,}\mathrm{c__1}\right){}\mathrm{c__11}{+}\mathrm{c__13}{,}{p}{}\left({x}{,}{z}\right){=}\mathrm{c__12}{,}{u}{}\left({x}{,}{z}{,}{t}\right){=}{\mathrm{WeierstrassP}}{}\left(\mathrm{c__6}{}{t}{+}\mathrm{c__4}{}{x}{+}{I}{}\mathrm{c__4}{}{z}{+}\mathrm{c__3}{,}\mathrm{c__2}{,}\mathrm{c__1}\right){}\mathrm{c__8}{+}\mathrm{c__7}{,}{w}{}\left({x}{,}{z}{,}{t}\right){=}{I}{}{\mathrm{WeierstrassP}}{}\left(\mathrm{c__6}{}{t}{+}\mathrm{c__4}{}{x}{+}{I}{}\mathrm{c__4}{}{z}{+}\mathrm{c__3}{,}\mathrm{c__2}{,}\mathrm{c__1}\right){}\mathrm{c__8}{+}\frac{{I}{}\left(\mathrm{c__4}{}\mathrm{c__7}{+}\mathrm{c__6}\right)}{\mathrm{c__4}}\right\}$ (36)

Example 7.

Both dsolve and pdsolve can now solve PDEs that involve anticommutative variables set using the Physics package using the approach explained in PerformOnAnticommutativeSystem.

 > $\mathrm{with}\left(\mathrm{Physics},\mathrm{Setup}\right)$
 $\left[{\mathrm{Setup}}\right]$ (37)

Set first $\mathrm{\theta }$ and $Q$ as suffixes for variables of type/anticommutative (see Setup)

 > $\mathrm{Setup}\left(\mathrm{anticommutativepre}=\left\{\mathrm{θ},Q\right\}\right)$
 $\mathrm{* Partial match of \text{'}}\mathrm{anticommutativepre}\mathrm{\text{'} against keyword \text{'}}\mathrm{anticommutativeprefix}\text{'}$
 $\mathrm{_______________________________________________________}$
 $\left[{\mathrm{anticommutativeprefix}}{=}\left\{{Q}{,}{\mathrm{\theta }}\right\}\right]$ (38)

A PDE system example with two unknown anticommutative functions of four variables, two commutative and two anticommutative; to avoid redundant typing in the input that follows and redundant display of information on the screen let's use PDEtools:-diff_table and PDEtools:-declare

 > $\mathrm{PDEtools}:-\mathrm{declare}\left(Q\left(x,y,{\mathrm{θ}}_{1},{\mathrm{θ}}_{2}\right)\right)$
 ${Q}{}\left({x}{,}{y}{,}{{\mathrm{\theta }}}_{{1}}{,}{{\mathrm{\theta }}}_{{2}}\right){}{\mathrm{will now be displayed as}}{}{Q}$ (39)
 > $q≔\mathrm{PDEtools}:-\mathrm{diff_table}\left(Q\left(x,y,{\mathrm{θ}}_{1},{\mathrm{θ}}_{2}\right)\right):$

Now we can enter derivatives directly as the function's name indexed by the differentiation variables and see the display the same way; two PDEs

 > ${\mathrm{pde}}_{1}≔{q}_{x,y,{\mathrm{θ}}_{1}}+{q}_{x,y,{\mathrm{θ}}_{2}}-{q}_{y,{\mathrm{θ}}_{1},{\mathrm{θ}}_{2}}=0$
 ${\mathrm{diff}}{}\left({\mathrm{diff}}{}\left({\mathrm{diff}}{}\left({Q}{}\left({x}{,}{y}{,}{{\mathrm{θ}}}_{{1}}{,}{{\mathrm{θ}}}_{{2}}\right){,}{x}\right){,}{y}\right){,}{{\mathrm{θ}}}_{{1}}\right){+}{\mathrm{diff}}{}\left({\mathrm{diff}}{}\left({\mathrm{diff}}{}\left({Q}{}\left({x}{,}{y}{,}{{\mathrm{θ}}}_{{1}}{,}{{\mathrm{θ}}}_{{2}}\right){,}{x}\right){,}{y}\right){,}{{\mathrm{θ}}}_{{2}}\right){-}{\mathrm{diff}}{}\left({\mathrm{diff}}{}\left({\mathrm{diff}}{}\left({Q}{}\left({x}{,}{y}{,}{{\mathrm{θ}}}_{{1}}{,}{{\mathrm{θ}}}_{{2}}\right){,}{y}\right){,}{{\mathrm{θ}}}_{{1}}\right){,}{{\mathrm{θ}}}_{{2}}\right){=}{0}$ (40)
 > ${\mathrm{pde}}_{2}≔{q}_{{\mathrm{θ}}_{1}}=0$
 ${\mathrm{diff}}{}\left({Q}{}\left({x}{,}{y}{,}{{\mathrm{θ}}}_{{1}}{,}{{\mathrm{θ}}}_{{2}}\right){,}{{\mathrm{θ}}}_{{1}}\right){=}{0}$ (41)

The solution to this system:

 > $\mathrm{pdsolve}\left(\left[{\mathrm{pde}}_{1},{\mathrm{pde}}_{2}\right]\right)$
 ${Q}{}\left({x}{,}{y}{,}{{\mathrm{θ}}}_{{1}}{,}{{\mathrm{θ}}}_{{2}}\right){=}\mathrm{f__1}{}\left({x}{,}{y}\right){}{\mathrm{_λ1}}{+}\left(\mathrm{f__6}{}\left({x}\right){+}\mathrm{f__5}{}\left({y}\right)\right){}{{\mathrm{θ}}}_{{2}}$ (42)

This solution involves an anticommutative constant $\mathrm{_lambda2}$, analogous to the commutative constants $\mathrm{_Cn}$ where n is an integer. The arbitrary functions introduced are all commutative, as usual and the Grasmannian parity of the left and right-hand sides is preserved:

 > $\mathrm{Physics}:-\mathrm{GrassmannParity}\left(\right)$
 ${1}{=}{1}$ (43)

References

 Cheb-Terrab, E.S. "A Computational Approach for the Exact Solving of Systems of Partial Differential Equations". Submitted to Computer Physics Communications, 2001.