determine m-points for m-sparse power series solutions
homogeneous linear ODE with polynomial coefficients
dependent variable, for example y(x)
LODEstruct data structure
The candidate_mpoints command determines for all positive integers m candidate points for m-sparse power series solutions of the given homogeneous linear ordinary differential equation with polynomial coefficients, called m-points.
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 homogeneous and linear in var
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.
This command returns a list of lists with three elements:
an integer mi>1, the sparse order;
a LODEstruct representing an mi-sparse differential equation with constant coefficients which is a right factor of the given equation;
a set of candidate mi-points.
The list is sorted by sparse order.
If for some sparse-order m the given equation has a nontrivial m-sparse right factor with constant coefficients, then the equation has m-sparse power series solutions at an arbitrary point, and these solutions are solutions of this right factor. If the set of candidate m-points is not empty, then the equation may or may not have m-sparse power series solutions at such a point, but it does not have m-sparse power series solutions at any point outside this set.
ode ≔ 2+x2⁢ⅆ3ⅆx3⁢y⁡x−2⁢ⅆ2ⅆx2⁢y⁡x⁢x+2+x2⁢ⅆⅆx⁢y⁡x−2⁢x⁢y⁡x
Download Help Document