scientific article; zbMATH DE number 1254298

Modules, bimodules and ideals in associative algebras (16D99) Analytical theory of ordinary differential equations: series, transformations, transforms, operational calculus, etc. (34A25) Linear ordinary differential equations and systems (34A30) Transformation and reduction of ordinary differential equations and systems, normal forms (34C20) Dynamics induced by flows and semiflows (37C10)

Review text

Let an Ore polynomial ring \(k[X;\sigma,\delta]\) and a nonzero pseudolinear map \(\theta: K\to K\), where \(K\) is a \(\sigma,\delta\)-compatible extension of the field \(k\), be given. Hence, we have the ring \(k[\theta]\) of operators \(K\to K\). It is assumed that if a first-order equation \(Fy= 0\), \(F\in k[\theta]\), has a nonzero solution in a \(\sigma,\delta\)-compatible extension of the field \(k\), then the equation has a nonzero solution on \(K\). These solutions form the set \({\mathcal H}_k\subset K\) of hyperexponential elements. An equation \(Py= 0\), \(P\in k[\theta]\) is called completely factorable if \(P\) can be decomposed in the product of first-order operators over \(k\). The solutions of all completely factorable equations form the linear space \({\mathcal A}_k\subset K\) of d'Alembertian elements. It is known that if \(L\in k[\theta]\) and \(f\in{\mathcal H}_k\) then all the hyperexponential solutions to the equation (1) \(Ly= f\) have the form \(uf\), \(u\in k\). In this paper, the authors search for d'Alembertian solutions to an equation of the form (1) with \(f\in{\mathcal A}_k\). They show that in the general case the search can be reduced to \(k\)-problems and to the search for hyperexponential solutions to the homogeneous equations of order \(\leq\text{ord }L\) over \(k\). If the equation \(Ly= 0\) has no hyperexponential solutions then the search for solutions to (1) can be reduced only to \(k\)-problems. If (1) has a solution of height \(r\), then by solving only \(k\)-problems one can find a solution of height \(\geq r\). Moreover, the authors describe some algorithms and implementation in MAPLE 5.3 of one of them. The implementation is oriented towards an arbitrary Ore polynomial ring. For the entire collection see [Zbl 0903.00081].

Recommendations

Cited in

(15)

Describes a project that uses

Uses Software

Maple

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4227348)