The DFactorsols routine returns a basis of solutions of a linear ODE. Using bases of linear equations determined by DEtools[DFactor], it factorizes the equation into smaller parts.

There are two possible calling sequences. The first calling sequence accepts a linear differential equation in diff or $\mathrm{D}$ form as the first argument and the variable in the differential equation as the second argument.

The second form of the calling sequence accepts the list of coefficients of a linear ode as the first argument, the right-hand side of such an equation for the second argument, and the independent variable of the lode as the third argument. This form of calling sequence is convenient for programming with the DFactorsols routine.

In the second calling sequence, the list of coefficients is given in order from low differential order to high differential order and does not include the nonhomogeneous term.

In the case of a homogeneous equation, a basis is returned in the form of a list. In the nonhomogeneous case, the return value is a two-element list, with the first element a basis for the homogeneous case and the second element a particular solution.

This function is part of the DEtools package, and so it can be used in the form DFactorsols(..) only after executing the command with(DEtools). However, it can always be accessed through the long form of the command by using DEtools[DFactorsols](..).

$\mathrm{with}\left(\mathrm{DEtools}\right)\:$

$\mathrm{ode}≔\left(t^2+t\right)\mathrm{diff}\left(z\left(t\right)\,\mathrm{`\$`}\left(t\,3\right)\right)-\left(t^2-2\right)\mathrm{diff}\left(z\left(t\right)\,\mathrm{`\$`}\left(t\,2\right)\right)-\left(t+2\right)\mathrm{diff}\left(z\left(t\right)\,t\right)=0\:$

$\mathrm{DFactorsols}\left(\mathrm{ode}\,z\left(t\right)\right)$

$\left[1\,\ln \left(t\right)\,{\ⅇ}^t\right]$

$\mathrm{ode}≔\left(t^2+t\right)\mathrm{diff}\left(z\left(t\right)\,\mathrm{`\$`}\left(t\,3\right)\right)-\left(t^2-2\right)\mathrm{diff}\left(z\left(t\right)\,\mathrm{`\$`}\left(t\,2\right)\right)-\left(t+2\right)\mathrm{diff}\left(z\left(t\right)\,t\right)=3t{\left(t+1\right)}^2\:$

$\mathrm{DFactorsols}\left(\mathrm{ode}\,z\left(t\right)\right)$

$\left[\left[1\,\ln \left(t\right)\,{\ⅇ}^t\right]\,-\frac{1}{3}{t}^3-\frac{3}{2}{t}^2-3t\right]$

$\mathrm{ode}≔\left(t^2+t\right){\mathrm{D}}^{\left(3\right)}\left(z\right)\left(t\right)-\left(t^2-2\right){\mathrm{D}}^{\left(2\right)}\left(z\right)\left(t\right)-\left(t+2\right)\mathrm{D}\left(z\right)\left(t\right)=3t{\left(t+1\right)}^2\:$

$\mathrm{DFactorsols}\left(\mathrm{ode}\,z\left(t\right)\right)$

$\left[\left[1\,\ln \left(t\right)\,{\ⅇ}^t\right]\,-\frac{1}{3}{t}^3-\frac{3}{2}{t}^2-3t\right]$

$\mathrm{ode\_list}≔\left[0\,-\left(t+2\right)\,-\left(t^2-2\right)\,t^2+t\right]\:$

$\mathrm{DFactorsols}\left(\mathrm{ode\_list}\,3t{\left(t+1\right)}^2\,t\right)$

$\left[\left[1\,\ln \left(t\right)\,{\ⅇ}^t\right]\,-\frac{1}{3}{t}^3-\frac{3}{2}{t}^2-3t\right]$

$\mathrm{ode}≔\mathrm{diff}\left(z\left(t\right)\,\mathrm{`\$`}\left(t\,3\right)\right)-\mathrm{diff}\left(z\left(t\right)\,\mathrm{`\$`}\left(t\,2\right)\right)-t\mathrm{diff}\left(z\left(t\right)\,t\right)+tz\left(t\right)\:$

$\mathrm{DFactorsols}\left(\mathrm{ode}\,z\left(t\right)\right)$

$\left[{\ⅇ}^t\,\left(\int \mathrm{AiryAi}\left(t\right){\ⅇ}^{-t}\ⅆt\right){\ⅇ}^t\,\left(\int \mathrm{AiryBi}\left(t\right){\ⅇ}^{-t}\ⅆt\right){\ⅇ}^t\right]$

$\mathrm{ode}≔\mathrm{diff}\left(z\left(t\right)\,\mathrm{`\$`}\left(t\,3\right)\right)-\mathrm{diff}\left(z\left(t\right)\,\mathrm{`\$`}\left(t\,2\right)\right)-t\mathrm{diff}\left(z\left(t\right)\,t\right)+\left(t-1\right)z\left(t\right)\:$

$\mathrm{DFactorsols}\left(\mathrm{ode}\,z\left(t\right)\right)$

$\left[\mathrm{AiryAi}\left(t\right)\,\mathrm{AiryBi}\left(t\right)\,-\mathrm{AiryAi}\left(t\right)\left(\int \mathrm{AiryBi}\left(t\right){\ⅇ}^t\ⅆt\right)+\left(\int \mathrm{AiryAi}\left(t\right){\ⅇ}^t\ⅆt\right)\mathrm{AiryBi}\left(t\right)\right]$