DifferentialAlgebra[PowerSeriesSolution]  computes formal power series solutions for differential equation ideals

Calling Sequence


PowerSeriesSolution(regchain, initialvalues, opts)
PowerSeriesSolution(conditions, regchain, initialvalues, opts)


Parameters


regchain



a regular differential chain or a list of them representing an ideal

initialvalues



optional, a list or a set of equations specifying initial values for the independent and dependent variables and their derivatives

disregard = ...



optional, to disregard whether the initial values cancel the equations and/or inequations of regchain, the righthandside can be: nothing (default), inequations, equations, all

order = n



optional, a nonnegative integer specifying the order of the series expansion, default value is Order

notation



optional, to request the output to be in any of jet, tjet, diff or Diff notations





Options


•

The opts arguments may contain one or more of the following options.

•

disregard = <nothing (default), inequations, equations, all>. This option permits to restrict the test for the initialvalues (see above).

–

equations: the equations are disregarded; PowerSeriesSolution only checks that the inequations are annihilated by initialvalues.

–

inequations: the inequations are disregarded; PowerSeriesSolution only checks that the equations are annihilated by initialvalues.

–

all: equations and inequations are disregarded.

•

order = n. This option specifies the truncation order for the series expansion; if not given, the value of n used is that of Order.

•

notation = <jet, tjet, diff or Diff>. Specifies the notation used for the result of the function call. If not specified, the notation of regchain is used

•

memout = N. Specifies a memory limit of N MB, for the computation. Default is zero (no memory out).



Description


•

The function call PowerSeriesSolution(regchain, initialvalues, order = n) returns an integral (exponents are nonnegative integers), formal (the convergence issue is not addressed), power series solution of the differential ideal defined by regchain, truncated at order = n. The initialvalues argument provides both the expansion point of the series and the (generalized) initial values. The result is a list of equations (one for each dependent variable) in the diff or the Diff notation (default is diff).


Conditions


•

The function call PowerSeriesSolution(conditions, regchain) returns a list containing two lists, one with equations and another one with inequations, that the initial values must satisfy so that an integral formal power series can be computed. The function call PowerSeriesSolution(conditions, regchain, initialvalues) returns the same system (equations and inequations) but evaluated at the expansion points specified in the given initial values.

•

The list of equations returned is the set of the regular differential chain polynomials which have leading degrees greater than or equal to . See Equations. The list of inequations is the set of initials and separants of the regular differential chain polynomials. See Inequations.


•

The righthandsides of the , such that the are derivatives, provide the arbitrary constants and/or functions the series depends on. They provide also values for the constants which are algebraic over the other ones. The algorithm proceeds as follows.

–

First a generic sum is computed, where each derivative is replaced by its normal form.

–

Second, some substitutions are performed according to the following rules. Consider a derivative , occurring in some term of the generic sum.

–

Last, the resulting expression is evaluated, at the expansion point.

•

The values attributed to the derivatives at the expansion point, cannot be chosen freely. They must satisfy the system , returned by PowerSeriesSolution when using the option conditions. These conditions, which are checked by default, can be disregarded using the option disregard = ...; see the Examples section.

–

If the attributed values are solutions of the system , then, the returned power series are truncated solutions of the differential ideal.

–

If these values do not satisfy , then, the returned power series are not truncated solutions of the differential ideal.

–

If they satisfy , but do not satisfy , then, the returned power series may, or may not, be truncated solutions of the differential ideal. If they are, they do not need to be unique.

•

This command is part of the DifferentialAlgebra package. It can be called using the form PowerSeriesSolution(...) after executing the command with(DifferentialAlgebra). It can also be directly called using the form DifferentialAlgebra[PowerSeriesSolution](...).



Examples


>



A linear ODE


>


 (1) 
The ideal for the ODE for consists of a single element, pick it up
>


 (2) 
There are no constraints on the initial values for linear systems. Here is the generic series; when the order is not specified, it is set to the value of Order
>


 (3) 
The generic series, at up to order 3, the initial values can be entered as a list [...] or a set {...}
>


 (4) 
The initial values can also be expressed directly in jet notation, as in , where the expansion point needs to be specified because it is not the origin. When the order is not specified, the value of Order is used; to illustrate we enter the initial values in jet notation
>


 (5) 


A nonlinear ODE


The ideal for the with contains only one case; pick it up
>


 (6) 
There are conditions to be satisfied by the initial values of a formal power series for this problem
>


 (7) 
The initial values satisfy these conditions; to verify that you can enter these initial values as , or recalling that when the expansion point is not specified it is taken equal to 0, you can also enter them in jet notation and without specifying , as in
>


 (8) 
The series, which turns out to be a polynomial, can thus be computed; to illustrate, instead of jet notation we use here the equivalent, standard Maple notation for initial values
>


 (9) 
The conditions computed imply on the inequation . Let's verify for instance that initial value leads to a contradiction
>


 (10) 
One can still compute a formal series solution around and with , disregarding that the inequations required are not satisfied by using the option disregard = inequations, but the condition , passed to RosenfeldGroebner when computing the ideal, is not satisfied (around ) by the solution returned
>


 (11) 
In the example under consideration, if you do not specify initial values, their default values are used, that is: each function and their derivatives are all taken at the origin and are assumed to be all different from zero. These default values do not annihilate all the equations of each element (regular chain) of the ideal, and thus the series cannot be computed
>


One may still wish to compute a generic formula for the solution, keeping in mind that the initial values must annihilate the equations of the ideal and ignoring for now what these initial values are (say, to be adjusted afterwards). For this purpose use the option disregard = equations (ignore the conditions on the equations)
>


 (12) 


The heat equation


The ranking is orderly. Thus, the formal power series solutions of this equation, involves all the derivatives of the form and where stands for any nonnegative integer. Classically, one says that the solutions of the heat equation depend on two arbitrary functions and . Such a formal power series can be generated by FormalPowerSeries.
>


 (13) 
>


 (14) 
>


 (15) 


A general PDE


The regular differential chains computed by the RosenfeldGroebner function permit to compute integral formal power series solutions of the input system. One considers, here, a polynomial PDE system.
>


 (16) 
>


 (17) 
The radical of the differential ideal generated by syst is an intersection of two differential ideals presented by regular differential chains. The solution set of syst is thus the union of the solution sets of the two chains.
>


 (18) 
Inspecting the lefthand sides of the equations of the first component, one sees that the solutions depend on one arbitrary function , three arbitrary constants , , , and, two constants which are algebraic over the other ones: and .
>


 (19) 
Let us choose some values. Some of them are symbolic, the other ones are numeric. First one verifies that they satisfy the above system. Then, the series is computed.
>


 (20) 
>


 (21) 
>


 (22) 
>


 (23) 
>


 (24) 
These solutions are polynomials. One can plug them into the input equations, and verify the result.
>


 (25) 
>


 (26) 


