
Calling Sequence


dsolve(ODE_sys, optional_1, optional_2,...)


Parameters


ODE_sys



system of ODEs; 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 just their names  can also be a ranking

explicit



request the composition of the sets appearing in the solution in the case of nonlinear systems of ODEs

useInt



request the use of Inert integrals instead of performing the integrations involved in the solution

singsol=false



avoid the computation of the singular solutions when the system is nonlinear

mindim=N



avoid the computation of solutions when 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

rif



request that the differential elimination step for nonlinear ODE systems should also be done using the DEtools[Rif] package





Description


•

Given an ODE system, possibly including algebraic constraints and inequations, dsolve returns an exact solution when: 1) it succeeds in uncoupling the system and 2) dsolve's routines for solving a single ODE succeed in solving each of the ODEs 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, whenever the system is consistent, the uncoupling of systems rational in the unknowns and their derivatives is feasible (up to the amount of memory available on your computer).


ODE systems Rational in the unknowns: The solving process



The solving process consists of two steps.


1. The system is first triangularized by using differential algebra techniques for polynomial systems. When the ODE system, rational in the unknowns and their derivatives, contains nonpolynomial coefficients, the triangularizationalso called sequential uncouplingis 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) ODEs or algebraic equations, such that:

–

The union of the nonsingular solutions of each of these ODEs and algebraic equations is equal to the set of general and singular solutions of the original ODE system.

–

Provided that the original ODE system is not subdetermined, one of the ODEs arising in step 1 depends on a single unknown.


2. This ODE depending on a single unknown is solved, and the unknown removed from the other ODEs. Due to nature of the differential elimination process, after removing this single unknown, there is another ODE depending on a single unknown.


Step 2 is repeated until all the ODEs obtained in step 1 are solved, thus arriving at the solution to the original input ODE system.



The output


•

When successful, in the case of linear ODE systems, dsolve returns a single solution set, with all the unknowns expressed in terms of the corresponding independent variable.

•

In the case of nonlinear ODE systems, dsolve, by default, returns sequences of solutions, including the singular solutions of the problem (if any). These singular solutions can be identified by the fact that the dimension of the solution space (the number of integration constants $\mathrm{\_Cn}$ appearing) is less than the dimension of the general solution.

•

In the nonlinear case, each of the solutions is returned as a list, whose elements, in turn, are sets, each containing the (possibly many) solutions found for each of the unknowns of the system. The first set appearing inside each list contains the solution for one unknown expressed in terms of the independent variable. The next sets express other unknowns in terms of the independent variable and possibly also the previously solved unknowns. See the Examples section. In this way, the solution is expressed as compactly as possible, permitting an easy analysis of the solving process. Note that, depending on the solving ordering, the form of the solution can be quite different.

•

When dsolve is successful, in a second step, or even in a first single step, it is usually of interest to obtain a solution in built or explicit format, as a sequence of sets, where each set contains all the unknowns of the problem in solved form, with the righthand sides containing just the independent variable(s) of the problem. To obtain the solution in such explicit format it suffices to add the keyword explicit to the arguments passed to dsolve. Note that solutions expressed in this format do not show how the system was uncoupled/solved, and usually appear much bigger than the default solution format described in the previous paragraph. The explicit format may also take noticeably more time to be compute because the simplification and integration processes involved are more expensive.

•

When dsolve is partially successful, the elements of each "solution list" are either sets or 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 fewer in number or of lower differential order. See the Examples section.



The unknowns of the problem and rankings


•

By default, when only the ODE system is given, dsolve 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 dsolve with an extra argument, specifying which are the solving variables, as a set or as a list containing the names of these unknown functions (for example, $\{f,g,...\}$ ) or the unknown functions (for example, $\{f\left(x\right),g\left(x\right),...\}$ ).

•

For ODE systems rational in the unknowns and their derivatives, when the solving variables are indicated as a set, the ordering chosen by dsolve for uncoupling the system is chosen by the PDEtools[casesplit] command, where the triangularization is performed. When the solving variables are indicated as a list, for instance, $\left[f\,g\,h\right]$, the uncoupling ordering attempted is to obtain an ODE only depending on $h$, another ODE only depending on $\left\{g\,h\right\}$, and another one depending on $\left\{f\,g\,h\right\}$. If such a triangularization is successful, dsolve first solves the ODE for $h$, then the one for $\left\{g\,h\right\}$ (assuming $h$ is known  even if the ODE for $h$ remained unsolved), and finally the one for $\left\{f\,g\,h\right\}$ (assuming $\left\{g\,h\right\}$ are known).

•

The concept of "solving ordering" for the unknowns of the problem is thus not different from the concept of "ranking" in differential algebra (for a useful discussion on rankings see rifsimp[ranking]). In fact, the indications of a "solving ordering" accepted by dsolve can be more elaborate, as for instance 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 dsolve decides whether $f$ comes before $g$ (or the opposite), $h$ is ranked third, and then dsolve decides whether $j$ comes before $k$. This flexibility is extremely useful when solving nonlinear ODE systems, where slight changes in the solving ordering can lead to solutions in quite different formats or make an otherwise unsolvable (by dsolve) 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 just described in the previous paragraph for the main solving variables.



ODE systems nonrational in the unknowns


•

The scheme used to solve systems depending on the unknowns in a nonrational manner can be summarized as the following.

1.

The whole system is split into subsystems of ODEs, coupled among themselves but independent of the ODEs of the other subsystems (see PDEtools[splitsys]).

2.

Each subsystem is analyzed, looking for a subsubsystem of ODEs that can be solved without using the other ODEs of the subsystem. This step is repeated until the whole subsystem is solved or until no such subsystem exists, in which case dsolve goes to step 3).

3.

This step consists of three different algebraic algorithms for trying to reduce a subsystem of ODEs to the case treated in Step 2.

•

The scheme summarized above, when successful, usually obtains an answer by solving each uncoupled ODE independently. In some cases it is useful to indicate with which functions dsolve should begin, for example, first $f$ and then $g$. This can be done by giving the second argument (the indeterminate functions) as a list (such as $\left[f\,g\right]$) instead of as a set. Such an indication is considered only when it is equivalent to begin with $f$ or $g$.

•

When one of the uncoupled ODEs cannot be solved by dsolve, the command goes to the next ODE as if the previous one were already solved and the solution contains one or more unsolved ODEs.

•

Concerning the output for nonrational ODE systems, the conventions are the same as those used for rational ODE systems explained some paragraphs above.



Other optional arguments


•

When the ODE system is nonlinear, by default, dsolve's output contains, in separate solution lists or 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 may not be relevant, and also their computation may sometimes be more time consuming than the computation of the general solution. For this reason, an optional argument is provided to override this behavior. By giving singsol=false, these singular solutions are not computed and no time is spent with them.

•

When an ODE system, is solved, the dimension of the solution space (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 dimension less than N (a positive integer) use the mindim=N optional argument. For nonlinear ODE systems, this option may also speed up the computational process since there is no time consumed in computing and solving the lowerdimension cases. For linear ODE systems, in which case there is only one solution, dsolve returns NULL if you specify a value of N greater than the dimension of this single solution.

•

By default, dsolve performs all differential elimination processes for linear ODE systems by using the DEtools[rifsimp] package, and uses the DifferentialAlgebra package for nonlinear systems. This default can be changed by giving the optional argument rif or RIF. In this case, the computation runs using the Rif package, independent of the type of the PDE system.

•

For further mathematical conventions related to the output by dsolve, see the conventions used in solve, dsolve, and int.




Examples


>

$\mathrm{PDEtools}\left[\mathrm{declare}\right]\left(\left(x\,y\,z\,f\,g\right)\left(t\right)\,\mathrm{prime}=t\right)$

${x}{}\left({t}\right){}{\mathrm{will\; now\; be\; displayed\; as}}{}{x}$
 
${y}{}\left({t}\right){}{\mathrm{will\; now\; be\; displayed\; as}}{}{y}$
 
${z}{}\left({t}\right){}{\mathrm{will\; now\; be\; displayed\; as}}{}{z}$
 
${f}{}\left({t}\right){}{\mathrm{will\; now\; be\; displayed\; as}}{}{f}$
 
${g}{}\left({t}\right){}{\mathrm{will\; now\; be\; displayed\; as}}{}{g}$
 
${\mathrm{derivatives\; with\; respect\; to}}{}{t}{}{\mathrm{of\; functions\; of\; one\; variable\; will\; now\; be\; displayed\; with\; \text{'}}}$
 (1) 
A linear system of ODEs:
>

$\mathrm{sys1}\u2254\left[\mathrm{diff}\left(x\left(t\right)\,t\right)=y\left(t\right)\,\mathrm{diff}\left(y\left(t\right)\,t\right)=x\left(t\right)\right]$

${\mathrm{sys1}}{\u2254}\left[{\mathrm{x\text{'}}}{=}{y}{\,}{\mathrm{y\text{'}}}{=}{}{x}\right]$
 (2) 
>

$\mathrm{sol1}\u2254\mathrm{dsolve}\left(\mathrm{sys1}\right)$

${\mathrm{sol1}}{\u2254}\left\{{x}{=}{\mathrm{\_C1}}{}{\mathrm{sin}}{}\left({t}\right){+}{\mathrm{\_C2}}{}{\mathrm{cos}}{}\left({t}\right){\,}{y}{=}{\mathrm{\_C1}}{}{\mathrm{cos}}{}\left({t}\right){}{\mathrm{\_C2}}{}{\mathrm{sin}}{}\left({t}\right)\right\}$
 (3) 
For linear systems, as above, the solution is returned as a single set, with all the unknowns in solved form, expressed in terms of the independent variable of the problem.
These ODE system solutions can be verified by using odetest, which, when the solution is correct, returns zero for each of the ODEs of the system.
>

$\mathrm{odetest}\left(\mathrm{sol1}\,\mathrm{sys1}\right)$

$\left[{0}{\,}{0}\right]$
 (4) 
A nonlinear system:
>

$\mathrm{sys2}\u2254\left[\mathrm{diff}\left(f\left(t\right)\,t\right)=\mathrm{cos}\left(f\left(t\right)\right)\,\mathrm{diff}\left(g\left(t\right)\,t\right)={f\left(t\right)}^{\frac{1}{2}}\,\mathrm{diff}\left(h\left(t\right)\,t\,t\right)=\frac{g\left(t\right)}{f\left(t\right)}\right]$

${\mathrm{sys2}}{\u2254}\left[{\mathrm{f\text{'}}}{=}{\mathrm{cos}}{}\left({f}\right){\,}{\mathrm{g\text{'}}}{=}{}\sqrt{{f}}{\,}{\mathrm{h\text{'}\text{'}}}{=}\frac{{g}}{{f}}\right]$
 (5) 
>

$\mathrm{sol2}\u2254\mathrm{dsolve}\left(\mathrm{sys2}\right)$

${\mathrm{sol2}}{\u2254}\left[\left\{{f}{=}{\mathrm{arctan}}{}\left(\frac{{{\ⅇ}}^{{2}{}{t}}{}{{\mathrm{\_C4}}}^{{2}}{}{1}}{{{\ⅇ}}^{{2}{}{t}}{}{{\mathrm{\_C4}}}^{{2}}{+}{1}}{\,}\frac{{2}{}{{\ⅇ}}^{{t}}{}{\mathrm{\_C4}}}{{{\ⅇ}}^{{2}{}{t}}{}{{\mathrm{\_C4}}}^{{2}}{+}{1}}\right)\right\}{\,}\left\{{g}{=}{\textstyle {\int}}{}\sqrt{{f}}\phantom{\rule[0.0ex]{0.3em}{0.0ex}}{\textstyle {\ⅆ}}{t}{+}{\mathrm{\_C3}}\right\}{\,}\left\{{h}{}\left({t}\right){=}{\textstyle {\int}}{\textstyle {\int}}\frac{{g}}{{f}}\phantom{\rule[0.0ex]{0.3em}{0.0ex}}{\textstyle {\ⅆ}}{t}\phantom{\rule[0.0ex]{0.3em}{0.0ex}}{\textstyle {\ⅆ}}{t}{+}{\mathrm{\_C1}}{}{t}{+}{\mathrm{\_C2}}\right\}\right]$
 (6) 
In the solution above, $f$ is solved as a function of $t$, then $g\left(t\right)$ is expressed in terms of $\left\{t\,f\left(t\right)\right\}$ and $h\left(t\right)$ is expressed in terms of $\left\{t\,f\left(t\right)\,g\left(t\right)\right\}$. In this example, each of these sets contain only one solution for each of the unknowns $\left\{f\,g\,h\right\}$. In other cases, many solutions can appear in each of these sets. Solutions like this one above can also be tested using odetest.
>

$\mathrm{odetest}\left(\mathrm{sol2}\,\mathrm{sys2}\right)$

$\left[{0}{\,}{0}{\,}{0}\right]$
 (7) 
To obtain solution sets (in this example there is only one, but typically there can be many) with $\left\{f\,g\,h\right\}$ expressed as explicit functions of $t$, one can give the extra argument explicit, as follows.
>

$\mathrm{sol22}\u2254\mathrm{dsolve}\left(\mathrm{sys2}\,\mathrm{explicit}\right)$

${\mathrm{sol22}}{\u2254}\left\{{f}{=}{\mathrm{arctan}}{}\left(\frac{{{\ⅇ}}^{{2}{}{t}}{}{{\mathrm{\_C4}}}^{{2}}{}{1}}{{{\ⅇ}}^{{2}{}{t}}{}{{\mathrm{\_C4}}}^{{2}}{+}{1}}{\,}\frac{{2}{}{{\ⅇ}}^{{t}}{}{\mathrm{\_C4}}}{{{\ⅇ}}^{{2}{}{t}}{}{{\mathrm{\_C4}}}^{{2}}{+}{1}}\right){\,}{g}{=}{\textstyle {\int}}{}\sqrt{{\mathrm{arctan}}{}\left(\frac{{{\ⅇ}}^{{2}{}{t}}{}{{\mathrm{\_C4}}}^{{2}}{}{1}}{{{\ⅇ}}^{{2}{}{t}}{}{{\mathrm{\_C4}}}^{{2}}{+}{1}}{\,}\frac{{2}{}{{\ⅇ}}^{{t}}{}{\mathrm{\_C4}}}{{{\ⅇ}}^{{2}{}{t}}{}{{\mathrm{\_C4}}}^{{2}}{+}{1}}\right)}\phantom{\rule[0.0ex]{0.3em}{0.0ex}}{\textstyle {\ⅆ}}{t}{+}{\mathrm{\_C3}}{\,}{h}{}\left({t}\right){=}{\textstyle {\int}}{\textstyle {\int}}\frac{{\textstyle {\int}}{}\sqrt{{\mathrm{arctan}}{}\left(\frac{{{\ⅇ}}^{{2}{}{t}}{}{{\mathrm{\_C4}}}^{{2}}{}{1}}{{{\ⅇ}}^{{2}{}{t}}{}{{\mathrm{\_C4}}}^{{2}}{+}{1}}{\,}\frac{{2}{}{{\ⅇ}}^{{t}}{}{\mathrm{\_C4}}}{{{\ⅇ}}^{{2}{}{t}}{}{{\mathrm{\_C4}}}^{{2}}{+}{1}}\right)}\phantom{\rule[0.0ex]{0.3em}{0.0ex}}{\textstyle {\ⅆ}}{t}{+}{\mathrm{\_C3}}}{{\mathrm{arctan}}{}\left(\frac{{{\ⅇ}}^{{2}{}{t}}{}{{\mathrm{\_C4}}}^{{2}}{}{1}}{{{\ⅇ}}^{{2}{}{t}}{}{{\mathrm{\_C4}}}^{{2}}{+}{1}}{\,}\frac{{2}{}{{\ⅇ}}^{{t}}{}{\mathrm{\_C4}}}{{{\ⅇ}}^{{2}{}{t}}{}{{\mathrm{\_C4}}}^{{2}}{+}{1}}\right)}\phantom{\rule[0.0ex]{0.3em}{0.0ex}}{\textstyle {\ⅆ}}{t}\phantom{\rule[0.0ex]{0.3em}{0.0ex}}{\textstyle {\ⅆ}}{t}{+}{\mathrm{\_C1}}{}{t}{+}{\mathrm{\_C2}}\right\}$
 (8) 
Some polynomial nonlinear systems and their answers in implicit (default) or explicit form:
>

$\mathrm{sys3}\u2254\left\{\mathrm{diff}\left(x\left(t\right)\,t\right)=x\left(t\right)\left(x\left(t\right)+y\left(t\right)\right)\,\mathrm{diff}\left(y\left(t\right)\,t\right)=y\left(t\right)\left(x\left(t\right)+y\left(t\right)\right)\right\}$

${\mathrm{sys3}}{\u2254}\left\{{\mathrm{x\text{'}}}{=}{}{x}{}\left({x}{+}{y}\right){\,}{\mathrm{y\text{'}}}{=}{y}{}\left({x}{+}{y}\right)\right\}$
 (9) 
>

$\left[\mathrm{dsolve}\left(\mathrm{sys3}\right)\right]$

$\left[\left[\left\{{x}{=}{0}\right\}{\,}\left\{{y}{=}\frac{{1}}{{}{t}{+}{\mathrm{\_C1}}}\right\}\right]{\,}\left[\left\{{x}{=}\frac{{\mathrm{tanh}}{}\left(\frac{{\mathrm{\_C2}}{+}{t}}{{\mathrm{\_C1}}}\right)}{{\mathrm{\_C1}}}\right\}{\,}\left\{{y}{=}{}\frac{{{x}}^{{2}}{+}{\mathrm{x\text{'}}}}{{x}}\right\}\right]\right]$
 (10) 
>

$\left[\mathrm{dsolve}\left(\mathrm{sys3}\,\mathrm{explicit}\right)\right]$

$\left[\left\{{x}{=}{0}{\,}{y}{=}\frac{{1}}{{}{t}{+}{\mathrm{\_C1}}}\right\}{\,}\left\{{x}{=}\frac{{\mathrm{tanh}}{}\left(\frac{{\mathrm{\_C2}}{+}{t}}{{\mathrm{\_C1}}}\right)}{{\mathrm{\_C1}}}{\,}{y}{=}{}\frac{{1}}{{\mathrm{\_C1}}{}{\mathrm{tanh}}{}\left(\frac{{\mathrm{\_C2}}{+}{t}}{{\mathrm{\_C1}}}\right)}\right\}\right]$
 (11) 
The computation of the singular solution shown above (the one with only one integration constant) can be avoided by giving the extra argument singsol=false.
>

$\mathrm{dsolve}\left(\mathrm{sys3}\,\mathrm{singsol}=\mathrm{false}\right)$

$\left[\left\{{x}{=}\frac{{\mathrm{tanh}}{}\left(\frac{{\mathrm{\_C2}}{+}{t}}{{\mathrm{\_C1}}}\right)}{{\mathrm{\_C1}}}\right\}{\,}\left\{{y}{=}{}\frac{{{x}}^{{2}}{+}{\mathrm{x\text{'}}}}{{x}}\right\}\right]$
 (12) 
Note also the difference in the output when we explicitly request a particular solving ordering to be used by giving the solving variables as a list.
>

$\left[\mathrm{dsolve}\left(\mathrm{sys3}\,\left[x\,y\right]\right)\right]$

$\left[\left[\left\{{y}{=}{0}\right\}{\,}\left\{{x}{=}\frac{{1}}{{t}{+}{\mathrm{\_C1}}}\right\}\right]{\,}\left[\left\{{y}{=}\frac{{\mathrm{tan}}{}\left(\frac{{\mathrm{\_C2}}{+}{t}}{{\mathrm{\_C1}}}\right)}{{\mathrm{\_C1}}}\right\}{\,}\left\{{x}{=}\frac{{}{{y}}^{{2}}{+}{\mathrm{y\text{'}}}}{{y}}\right\}\right]\right]$
 (13) 
>

$\left[\mathrm{dsolve}\left(\mathrm{sys3}\,\left[y\,x\right]\right)\right]$

$\left[\left[\left\{{x}{=}{0}\right\}{\,}\left\{{y}{=}\frac{{1}}{{}{t}{+}{\mathrm{\_C1}}}\right\}\right]{\,}\left[\left\{{x}{=}\frac{{\mathrm{tanh}}{}\left(\frac{{\mathrm{\_C2}}{+}{t}}{{\mathrm{\_C1}}}\right)}{{\mathrm{\_C1}}}\right\}{\,}\left\{{y}{=}{}\frac{{{x}}^{{2}}{+}{\mathrm{x\text{'}}}}{{x}}\right\}\right]\right]$
 (14) 
In the former solution, by specifying the solving ordering $\left[x\,y\right]$ the triangularization leads to a solution for $y$, then a solution for $x$ expressed as a function of $y$. In the latter solution, it is the opposite.
>

$\mathrm{sys4}\u2254\left\{{\mathrm{diff}\left(x\left(t\right)\,t\right)}^{2}+{\mathrm{diff}\left(y\left(t\right)\,t\right)}^{2}={x\left(t\right)}^{2}+{y\left(t\right)}^{2}\,\frac{\mathrm{diff}\left(y\left(t\right)\,t\right)}{y\left(t\right)}=\frac{\mathrm{diff}\left(x\left(t\right)\,t\right)}{x\left(t\right)}\right\}$

${\mathrm{sys4}}{\u2254}\left\{\frac{{\mathrm{y\text{'}}}}{{y}}{=}\frac{{\mathrm{x\text{'}}}}{{x}}{\,}{{\mathrm{x\text{'}}}}^{{2}}{+}{{\mathrm{y\text{'}}}}^{{2}}{=}{{x}}^{{2}}{+}{{y}}^{{2}}\right\}$
 (15) 
>

$\mathrm{dsolve}\left(\mathrm{sys4}\right)$

$\left[\left\{{x}{=}{\mathrm{\_C2}}{}{{\ⅇ}}^{{t}}\right\}{\,}\left\{{y}{=}{\mathrm{\_C1}}{}{{\ⅇ}}^{{t}}\right\}\right]{,}\left[\left\{{x}{=}{\mathrm{\_C2}}{}{{\ⅇ}}^{{}{t}}\right\}{\,}\left\{{y}{=}{\mathrm{\_C1}}{}{{\ⅇ}}^{{}{t}}\right\}\right]{,}\left[\left\{{x}{=}{x}\right\}{\,}\left\{{y}{=}{\mathrm{I}}{}{x}{\,}{y}{=}{\mathrm{I}}{}{x}\right\}\right]$
 (16) 
Here, the system contains two solutions the general one, of dimension 2 (depends on $\left\{\mathrm{\_C1}\,\mathrm{\_C2}\right\}$), and a singular one, of lower dimension. In turn, in each of these solutions, one of the two functions $x$ or $y$ can assume two different values. The explicit format of this solution involves four explicit solution sets.
>

$\mathrm{dsolve}\left(\mathrm{sys4}\,\mathrm{explicit}\right)$

$\left\{{x}{=}{\mathrm{\_C2}}{}{{\ⅇ}}^{{t}}{\,}{y}{=}{\mathrm{\_C1}}{}{{\ⅇ}}^{{t}}\right\}{,}\left\{{x}{=}{\mathrm{\_C2}}{}{{\ⅇ}}^{{}{t}}{\,}{y}{=}{\mathrm{\_C1}}{}{{\ⅇ}}^{{}{t}}\right\}{,}\left\{{x}{=}{x}{\,}{y}{=}{\mathrm{I}}{}{x}\right\}{,}\left\{{x}{=}{x}{\,}{y}{=}{\mathrm{I}}{}{x}\right\}$
 (17) 
>

$\mathrm{map}\left(\mathrm{odetest}\,\left[\right]\,\mathrm{sys4}\right)$

$\left[\left\{{0}\right\}{\,}\left\{{0}\right\}{\,}\left\{{0}\right\}{\,}\left\{{0}\right\}\right]$
 (18) 
An example from Kamke's textbook  number 22  containing two singular solutions and where dsolve is only partially successful in obtaining the general solution:
>

$\mathrm{sys5}\u2254\left\{\mathrm{diff}\left(x\left(t\right)\,t\right)=\frac{1}{2}{x\left(t\right)}^{2}\frac{1}{24}y\left(t\right)\,\mathrm{diff}\left(y\left(t\right)\,t\right)=2x\left(t\right)y\left(t\right)3z\left(t\right)\,\mathrm{diff}\left(z\left(t\right)\,t\right)=3x\left(t\right)z\left(t\right)\frac{1}{6}{y\left(t\right)}^{2}\right\}$

${\mathrm{sys5}}{\u2254}\left\{{\mathrm{x\text{'}}}{=}\frac{{{x}}^{{2}}}{{2}}{}\frac{{y}}{{24}}{\,}{\mathrm{y\text{'}}}{=}{2}{}{y}{}{x}{}{3}{}{z}{\,}{\mathrm{z\text{'}}}{=}{3}{}{x}{}{z}{}\frac{{{y}}^{{2}}}{{6}}\right\}$
 (19) 
>

$\mathrm{sol5}\u2254\mathrm{dsolve}\left(\mathrm{sys5}\right)$

${{\mathrm{sol5}}{\u2254}\left[\left\{{y}{=}{0}\right\}{\,}\left\{{x}{=}\frac{{2}}{{2}{}{\mathrm{\_C1}}{}{t}}\right\}{\,}\left\{{z}{=}{0}\right\}\right]{,}\left[\left\{{y}{=}\frac{{256}}{{\left({\mathrm{\_C1}}{}{t}{+}{\mathrm{\_C2}}\right)}^{{4}}}\right\}{\,}\left\{{x}{=}\frac{{\mathrm{y\text{'}}}{}\frac{\sqrt{{3}}{}{{y}}^{\raisebox{1ex}{${3}$}\!\left/ \!\raisebox{1ex}{${2}$}\right.}}{{3}}}{{2}{}{y}}{\,}{x}{=}\frac{{\mathrm{y\text{'}}}{+}\frac{\sqrt{{3}}{}{{y}}^{\raisebox{1ex}{${3}$}\!\left/ \!\raisebox{1ex}{${2}$}\right.}}{{3}}}{{2}{}{y}}\right\}{\,}\left\{{z}{=}\frac{{2}{}{y}{}{x}}{{3}}{}\frac{{\mathrm{y\text{'}}}}{{3}}\right\}\right]{,}\left[\left\{{y}{=}\left({{\ⅇ}}^{{\textstyle {\int}}{\mathrm{\_g}}{}\left({\mathrm{\_f}}\right)\phantom{\rule[0.0ex]{0.3em}{0.0ex}}{\textstyle {\ⅆ}}{\mathrm{\_f}}{+}{\mathrm{\_C2}}}\right)\phantom{\rule[0.0ex]{0.3em}{0.0ex}}{\&where}\phantom{\rule[0.0ex]{0.3em}{0.0ex}}\left[\left\{{{\mathrm{\_g}}}_{{\mathrm{\_f}}}{=}\frac{\sqrt{{}\frac{{{\mathrm{\_f}}}^{{2}}{}\left({3}{}{{\mathrm{\_f}}}^{{2}}{}{\mathrm{\_g}}{}\left({\mathrm{\_f}}\right){+}{12}{}{\mathrm{\_f}}{}{5}{}{\mathrm{\_g}}{}\left({\mathrm{\_f}}\right)\right){}{\left({\mathrm{\_f}}{}{\mathrm{\_g}}{}\left({\mathrm{\_f}}\right){+}{4}\right)}^{{2}}}{{{\mathrm{\_g}}{}\left({\mathrm{\_f}}\right)}^{{3}}}}{}\sqrt{{15}}{}{{\mathrm{\_g}}{}\left({\mathrm{\_f}}\right)}^{{3}}}{{20}{}{{\mathrm{\_f}}}^{{2}}}{+}\frac{{{\mathrm{\_g}}{}\left({\mathrm{\_f}}\right)}^{{2}}}{{2}}{+}\frac{{\mathrm{\_g}}{}\left({\mathrm{\_f}}\right)}{{\mathrm{\_f}}}\right\}{\,}\left\{{\mathrm{\_f}}{=}\frac{{\mathrm{y\text{'}}}}{{{y}}^{\raisebox{1ex}{${3}$}\!\left/ \!\raisebox{1ex}{${2}$}\right.}}{\,}{\mathrm{\_g}}{}\left({\mathrm{\_f}}\right){=}\frac{{2}{}{{y}}^{\raisebox{1ex}{${3}$}\!\left/ \!\raisebox{1ex}{${2}$}\right.}}{\frac{{2}{}{y}{}{\mathrm{y\text{'}\text{'}}}}{{\mathrm{y\text{'}}}}{}{3}{}{\mathrm{y\text{'}}}}\right\}{\,}\left\{{t}{=}{\textstyle {\int}}\frac{{\mathrm{\_g}}{}\left({\mathrm{\_f}}\right)}{{\mathrm{\_f}}{}\sqrt{{{\ⅇ}}^{{\textstyle {\int}}{\mathrm{\_g}}{}\left({\mathrm{\_f}}\right)\phantom{\rule[0.0ex]{0.3em}{0.0ex}}{\textstyle {\ⅆ}}{\mathrm{\_f}}{+}{\mathrm{\_C2}}}}}\phantom{\rule[0.0ex]{0.3em}{0.0ex}}{\textstyle {\ⅆ}}{\mathrm{\_f}}{+}{\mathrm{\_C1}}{\,}{y}{=}{{\ⅇ}}^{{\textstyle {\int}}{\mathrm{\_g}}{}\left({\mathrm{\_f}}\right)\phantom{\rule[0.0ex]{0.3em}{0.0ex}}{\textstyle {\ⅆ}}{\mathrm{\_f}}{+}{\mathrm{\_C2}}}\right\}\right]\right\}{\,}\left\{{x}{=}\frac{{}{2}{}{\mathrm{y\text{'}\text{'}\text{'}}}{}{y}{+}{3}{}{\mathrm{y\text{'}\text{'}}}{}{\mathrm{y\text{'}}}}{{}{12}{}{\mathrm{y\text{'}\text{'}}}{}{y}{+}{15}{}{{\mathrm{y\text{'}}}}^{{2}}}\right\}{\,}\left\{{z}{=}\frac{{}{4}{}{\mathrm{y\text{'}\text{'}\text{'}}}{}{{y}}^{{2}}{+}{18}{}{\mathrm{y\text{'}\text{'}}}{}{\mathrm{y\text{'}}}{}{y}{}{15}{}{{\mathrm{y\text{'}}}}^{{3}}}{{}{36}{}{\mathrm{y\text{'}\text{'}}}{}{y}{+}{45}{}{{\mathrm{y\text{'}}}}^{{2}}}\right\}\right]}}$
 (20) 
In above there are three lists, each one containing a different solution.
–

The first list, depending on a single arbitrary constant $\mathrm{\_C1}$, is a onedimensional (1D) singular solution. This list contains three sets, each with the value of a single unknown (here $\left\{x\,y\,z\right\}$) expressed as a function of the independent variable $t$.

–

The second list is a 2D singular solution that depends on $\left\{\mathrm{\_C1}\,\mathrm{\_C2}\right\}$. We see that $y$ is solved in terms of $t$, a set with two possible values for $x$ expressed in terms of $\left\{t\,y\right\}$, and then $z$ is solved in terms of $\left\{t\,x\,y\right\}$.

–

The third list is the general (3D) solution to the ODE system. We see that $y$ is not fully solved but instead reduced to a first order ODE in $\mathrm{\_g}\left(\mathrm{\_f}\right)$ (see ODESolStruc). Then, assuming y(t) is known despite the fact that the ODE was not fully solved, we have $x$ expressed as a function of $\left\{t\,y\right\}$ and finally $z$ expressed as a function of $\left\{t\,x\,y\right\}$.

The value of such a partially successful output is in that it provides two fully integrated solutions (the singular ones, of dimensions 1 and 2) plus the general solution up to solving a single first order ODE. If you could find the solution to that remaining ODE, you could use buildsol to complete the process leading to the general solution in fully integrated form.
In examples like this one, by calling dsolve with the extra argument explicit, you receive the lists with fully solved cases composed into sequences of solution sets, with all the unknowns in solved form, but the partially successful case remains as the list displayed above.


References



ChebTerrab, E. S. "A Computational Approach for the Exact Solving of Systems of Partial Differential Equations." submitted to Computer Physics Communications, (2001).



