gfun
diffeqtohomdiffeq
make a differential equation homogeneous
rectohomrec
make a recurrence homogeneous
Calling Sequence
Parameters
Description
Examples
diffeqtohomdiffeq(deq, y(z))
rectohomrec(rec, u(n))
deq
-
linear differential equation in y(z) with polynomial coefficients
y
name; differential equation function
z
name; variable of the differential equation function y
rec
linear recurrence with polynomial coefficients
u
name; recurrence name
n
name; index of the recurrence u
The diffeqtohomdiffeq(deq, y(z)) command makes the differential equation, deq homogeneous.
If deq is not homogeneous, the diffeqtohomdiffeq function produces a differential equation of order increased by one which is homogeneous and cancels all the solutions of the original equation.
If deq is homogeneous, it is unchanged.
The rectohomrec(rec, u(n)) command makes the recurrence, rec, homogeneous.
If rec is not homogeneous, the rectohomrec function produces a recurrence of order increased by one which is homogeneous and cancels all the solutions of the original equation.
If rec is homogeneous, it is unchanged.
with⁡gfun:
deq≔diff⁡y⁡x,x⁢x−1+2⁢y⁡x−2⁢x−3:
diffeqtohomdiffeq⁡deq,y⁡x
4⁢y⁡x+−4⁢x−11⁢ⅆⅆxy⁡x+−2⁢x2−x+3⁢ⅆ2ⅆx2y⁡x
diffeqtohomdiffeq⁡deq,y⁡0=2,y⁡x
4⁢y⁡x+−4⁢x−11⁢ⅆⅆxy⁡x+−2⁢x2−x+3⁢ⅆ2ⅆx2y⁡x,y⁡0=2,D⁡y⁡0=1
rec≔u⁡n+1=u⁡n+n2+1:
rectohomrec⁡rec,u⁡n
−n2−2⁢n−2⁢u⁡n+2⁢n2+2⁢n+3⁢u⁡n+1+−n2−1⁢u⁡n+2
rectohomrec⁡rec,u⁡0=1,u⁡n
−n2−2⁢n−2⁢u⁡n+2⁢n2+2⁢n+3⁢u⁡n+1+−n2−1⁢u⁡n+2,u⁡0=1,u⁡1=2
See Also
diff
Download Help Document