substitute an algebraic function into a holonomic one
algebraicsubs(deq, eq, y(z), ini)
linear differential equation in y(z) with polynomial coefficients
algebraic equation in y(z)
name; holonomic function name
name; variable of the holonomic function y
(optional) set; specify computation of initial conditions for the resulting differential equation
The gfun[algebraicsubs](deq, eq, y(z)) command returns a differential equation satisfied by the composition f@g where f is the holonomic function defined by the equation deq and g is the algebraic equation defined by eq. The composition is holonomic by closure properties of holonomic functions.
Let d1 be the differential order of deq, and d2 be the degree of eq. If the equation deq is homogeneous, then the order of f@g is at most d1⁢d2. Otherwise, it is at most d1+1⁢d2.
If initial conditions are specified using ini, the algebraicsubs function attempts to compute initial conditions for the resulting differential equation.
Initial conditions can be present in the differential equation if a set is specified, in the same way as initial conditions are specified for dsolve. In the case of a polynomial equation, they are specified in the optional parameter ini as a set, using the same syntax as for dsolve.
The differential equation satisfied by cos(t).
deq ≔ D2⁡f⁡t+f⁡t:
The algebraic equation satisfied by sqrt(1-4*t).
eq ≔ algfuntoalgeq⁡1−4⁢t,f⁡t:
The differential equation satisfied by cos(sqrt(1-4*t)).
Download Help Document