formal power series solutions with rational coefficients for a linear ODE
linear ODE with polynomial coefficients
dependent variable, for example y(x)
optional arguments of the form keyword=value
LODEstruct data structure
The rational_series_sol command returns one formal power series solution or a set of formal power series solutions of the given linear ordinary differential equation with polynomial coefficients. The ODE must be either homogeneous or inhomogeneous with a right-hand side that is a polynomial, a rational function, or a "nice" power series (see LODEstruct) in the independent variable x.
If ode is an expression, then it is equated to zero.
The command returns an error message if the differential equation ode does not satisfy the following conditions.
ode must be linear in var
ode must be homogeneous or have a right-hand side that is rational or a "nice" power series in x
The coefficients of ode must be polynomial in the independent variable of var, for example, x, over the rational number field which can be extended by one or more parameters.
A homogeneous linear ordinary differential equation with coefficients that are polynomials in x has a linear space of formal power series solutions ∑n=0∞⁡v⁡n⁢Pn⁡x where Pn⁡x is one of x−an, x−ann!, 1xn, or 1xn⁢n!, a is the expansion point, and the sequence v⁡n satisfies a homogeneous linear recurrence. In the case of an inhomogeneous equation with a right-hand side that is a "nice" power series, v⁡n satisfies an inhomogeneous linear recurrence.
The command selects such formal power series solutions where v⁡n is a rational function for all sufficiently large n.
x=a or 'point'=a
Specifies the expansion point in the case of a homogeneous equation or an inhomogeneous equation with rational right-hand side. It can be an algebraic number, depending rationally on some parameters, or ∞. In the case of a "nice" series right-hand side the expansion point is given by the right-hand side and cannot be changed.
If this option is given, then the command returns one formal power series solution at a with rational coefficients if it exists; otherwise, it returns NULL. If a is not given, it returns a set of formal power series solutions with rational coefficients for all possible points that are determined by Slode[candidate_points](ode,var,'type'='rational').
Specifies a base name C to use for free variables C, C, etc. The default is the global name _C. Note that the number of free variables may be less than the order of the given equation.
Specifies a name for the summation index in the power series. The default value is the global name _n.
ode1 ≔ 2⁢x⁢x−1⁢ⅆⅆx⁢ⅆⅆx⁢y⁡x+7⁢x−3⁢ⅆⅆx⁢y⁡x+2⁢y⁡x=0
ode2 ≔ 3−x⁢ⅆⅆx⁢ⅆⅆx⁢y⁡x−ⅆⅆx⁢y⁡x
An inhomogeneous equation:
ode3 ≔ −2⁢y⁡x+−2⁢x+2⁢x2⁢ⅆ3ⅆx3⁢y⁡x+13⁢x−2⁢x2−5⁢ⅆ2ⅆx2⁢y⁡x+12−7⁢x⁢ⅆⅆx⁢y⁡x=136⁢x3+∑n=4∞x−n⁢−12+13⁢n2+4⁢n4−17⁢n3+14⁢nn−2⁢n−3⁢n−1⁢n
Download Help Document