The particularsol routine is used to find a particular solution for a nonlinear ordinary differential equation (ODE), or for a non-homogeneous linear ODE without computing the general solution to its homogeneous part.

For nonlinear ODEs, the approach used is to compute symmetries and from there compute invariant (particular) solutions.

For linear ODEs, particularsol tries, in sequence, to compute particular solutions of rational (see DEtools[ratsols]), exponential and d'Alembertian form (see LinearOperators[dAlembertianSolver]). If no particular solution is found, particularsol returns NULL.

When the input is an ODE, the output of particularsol is as dsolve's output, that is, an equation with the unknown $y\left(x\right)$ on the left-hand-side and the (particular) solution on the right-hand-side.

When the input is a list of the coefficients of $y\left(x\right)$ and its derivatives representing a linear ODE, for instance obtained from the ODE using DEtools[convertAlg], the output is not an equation but an expression representing the particular solution - see the examples.

In the case of a linear ODE, while particularsol is useful to compute a particular solution when the general solution of the homogeneous part of the ODE is not known, a particular solution can always be computed if that general solution is known - for that purpose use DEtools[varparam].

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

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

$\mathrm{ode}≔\mathrm{diff}\left(y\left(x\right)\,x\,x\,x\right)-\mathrm{diff}\left(y\left(x\right)\,x\,x\right)y\left(x\right)+{\mathrm{diff}\left(y\left(x\right)\,x\right)}^2=0$

$\mathrm{ode}≔\frac{{\ⅆ}^3}{\ⅆx^3}y\left(x\right)-\left(\frac{{\ⅆ}^2}{\ⅆx^2}y\left(x\right)\right)y\left(x\right)+{\left(\frac{\ⅆ}{\ⅆx}y\left(x\right)\right)}^2=0$

$\mathrm{particularsol}\left(\mathrm{ode}\right)$

$y\left(x\right)=0,y\left(x\right)=\frac{6}{-x+\mathrm{c\_\_1}}$

$\mathrm{NH\_ODE}≔133601600831056948930009536x^3+920184312063950707048658496x^2+\left(-4242610768571010035328624653+3711155578640470803611376x^4-369364944765014363775910745x^3-4028299868602335386591950537x^2-7123173270557941102013850561x\right)y\left(x\right)+\left(158668797683584879758300854-361937570512208809606272361x^4-743569265631618257116222299x^3+253413657274110944226342787x^2+698563894241740551690579371x\right)\mathrm{diff}\left(y\left(x\right)\,x\right)+\left(-3195084416888717732807842-8089797769268184221773945x+14158747037070037877844107x^2+8089797769268184221773945x^3-10963662620181320145036265x^4\right)\mathrm{diff}\left(y\left(x\right)\,\mathrm{`\$`}\left(x\,2\right)\right)$

$\mathrm{NH\_ODE}≔133601600831056948930009536x^3+920184312063950707048658496x^2+\left(3711155578640470803611376x^4-369364944765014363775910745x^3-4028299868602335386591950537x^2-7123173270557941102013850561x-4242610768571010035328624653\right)y\left(x\right)+\left(-361937570512208809606272361x^4-743569265631618257116222299x^3+253413657274110944226342787x^2+698563894241740551690579371x+158668797683584879758300854\right)\left(\frac{\ⅆ}{\ⅆx}y\left(x\right)\right)+\left(-10963662620181320145036265x^4+8089797769268184221773945x^3+14158747037070037877844107x^2-8089797769268184221773945x-3195084416888717732807842\right)\left(\frac{{\ⅆ}^2}{\ⅆx^2}y\left(x\right)\right)$

$\mathrm{p\_sol}≔\mathrm{particularsol}\left(\mathrm{NH\_ODE}\right)$

$\mathrm{p\_sol}≔y\left(x\right)=-\frac{4x^4\left(9x^4+35x^3+49x^2+21x+6\right)}{{\left(x^2-1\right)}^2{\left(x-1\right)}^5}$

$\mathrm{odetest}\left(\mathrm{p\_sol}\,\mathrm{NH\_ODE}\right)$

$0$

$\mathrm{coeff\_list}≔\mathrm{DEtools}\left[\mathrm{convertAlg}\right]\left(\mathrm{NH\_ODE}\,y\left(x\right)\right)$

$\mathrm{coeff\_list}≔\left[\left[3711155578640470803611376x^4-369364944765014363775910745x^3-4028299868602335386591950537x^2-7123173270557941102013850561x-4242610768571010035328624653\,-361937570512208809606272361x^4-743569265631618257116222299x^3+253413657274110944226342787x^2+698563894241740551690579371x+158668797683584879758300854\,-10963662620181320145036265x^4+8089797769268184221773945x^3+14158747037070037877844107x^2-8089797769268184221773945x-3195084416888717732807842\right]\,-133601600831056948930009536x^3-920184312063950707048658496x^2\right]$

$\mathrm{p\_sol}≔\mathrm{particularsol}\left(\mathrm{coeff\_list}\,x\right)$

$\mathrm{p\_sol}≔-\frac{4x^4\left(9x^4+35x^3+49x^2+21x+6\right)}{{\left(x^2-1\right)}^2{\left(x-1\right)}^5}$

$\mathrm{ode}≔\mathrm{diff}\left(y\left(x\right)\,x\,x\right)-y\left(x\right)x=\frac{\left(4x^3+1\right)\ln \left(x\right)}{x\mathrm{sqrt}\left(x\right)}$

$\mathrm{ode}≔\frac{{\ⅆ}^2}{\ⅆx^2}y\left(x\right)-y\left(x\right)x=\frac{\left(4x^3+1\right)\ln \left(x\right)}{x^{\raisebox{1ex}{$3$}\!\left/ \!\raisebox{-1ex}{$2$}\right.}}$

$\mathrm{p\_sol}≔\mathrm{particularsol}\left(\mathrm{ode}\right)$

$\mathrm{p\_sol}≔y\left(x\right)=-4\sqrt{x}\ln \left(x\right)$

$\mathrm{odetest}\left(\mathrm{p\_sol}\,\mathrm{ode}\right)$

$0$