diffalg(deprecated)/initial_conditions - Help

diffalg

 initial_conditions
 return the list of the initial conditions of a characterizable differential ideal

 Calling Sequence initial_conditions (J, order)

Parameters

 J - characterizable differential ideal order - (optional) non-negative integer

Description

 • Important: The diffalg package has been deprecated. Use the superseding package DifferentialAlgebra instead.
 • The initial conditions of J are the derivatives that are not derivatives of any leader of its equations (J).
 • If order is present, the function initial_conditions returns the list of the initial conditions of J of order less than order.
 If order is omitted and there are only finitely many initial conditions, the function returns them all.
 If order is omitted and there are infinitely many initial conditions, FAIL is returned.
 • The initial conditions appear in the terms of the power series computed for J.
 • If J is a radical differential ideal presented by a list of characterizable differential ideals  then the function is mapped on all its components.
 • The command with(diffalg,initial_conditions) allows the use of the abbreviated form of this command.

Examples

Important: The diffalg package has been deprecated. Use the superseding package DifferentialAlgebra instead.

 > $\mathrm{with}\left(\mathrm{diffalg}\right):$
 > $R≔\mathrm{differential_ring}\left(\mathrm{derivations}=\left[x,y\right],\mathrm{ranking}=\left[u,v\right]\right):$
 > $\mathrm{p1}≔{v}_{[]}{u}_{x,x}^{2}+{v}_{[]}{u}_{x,x}+{u}_{x}:$
 > $\mathrm{p2}≔{u}_{x,y}:$
 > $\mathrm{p3}≔{u}_{y,y}^{2}-1:$
 > $J≔\mathrm{Rosenfeld_Groebner}\left(\left[\mathrm{p1},\mathrm{p2},\mathrm{p3}\right],\left[{u}_{x}\right],R\right):$
 > $\mathrm{rewrite_rules}\left(J\right)$
 $\left[\left[{{u}}_{{x}{,}{x}}^{{2}}{=}{-}\frac{{{u}}_{{x}{,}{x}}{}{{v}}_{{[}{]}}{+}{{u}}_{{x}}}{{{v}}_{{[}{]}}}{,}{{u}}_{{x}{,}{y}}{=}{0}{,}{{u}}_{{y}{,}{y}}^{{2}}{=}{1}{,}{{v}}_{{y}}{=}{0}\right]{,}\left[{{u}}_{{y}{,}{y}}^{{2}}{=}{1}{,}{{u}}_{{x}}{=}\frac{{1}}{{4}}{}{{v}}_{{[}{]}}{,}{{v}}_{{x}}{=}{-}{2}{,}{{v}}_{{y}}{=}{0}\right]\right]$ (1)
 > $\mathrm{initial_conditions}\left(J\right)$
 $\left[{\mathrm{FAIL}}{,}\left[{\mathrm{_Cu}}{,}{\mathrm{_Cv}}{,}{\mathrm{_Cu_y}}\right]\right]$ (2)