3.15 problem 15

Internal problem ID [9676]

Book: Handbook of exact solutions for ordinary differential equations. By Polyanin and Zaitsev. Second edition
Section: Chapter 1, section 1.2. Riccati Equation. subsection 1.2.3. Equations Containing Exponential Functions
Problem number: 15.
ODE order: 1.
ODE degree: 1.

CAS Maple gives this as type [_Riccati]

\[ \boxed {y^{\prime }-a \,{\mathrm e}^{\mu x} y^{2}-a b \,{\mathrm e}^{x \left (\lambda +\mu \right )} y+b \lambda \,{\mathrm e}^{\lambda x}=0} \]

Solution by Maple

Time used: 0.0 (sec). Leaf size: 1648

dsolve(diff(y(x),x)=a*exp(mu*x)*y(x)^2+a*b*exp((lambda+mu)*x)*y(x)-b*lambda*exp(lambda*x),y(x), singsol=all)
 

\[ \text {Expression too large to display} \]

Solution by Mathematica

Time used: 6.254 (sec). Leaf size: 902

DSolve[y'[x]==a*Exp[\[Mu]*x]*y[x]^2+a*b*Exp[(\[Lambda]+\[Mu])*x]*y[x]-b*\[Lambda]*Exp[\[Lambda]*x],y[x],x,IncludeSingularSolutions -> True]
 

\begin{align*} y(x)\to \frac {e^{\mu (-x)} \left (a b \log \left (e^{\lambda +\mu }\right ) \left (\left (e^{\lambda +\mu }\right )^x\right )^{\frac {\lambda +\mu }{\log \left (e^{\lambda +\mu }\right )}} \left (2 (\lambda +\mu ) L_{-\frac {\log \left (e^{\lambda +\mu }\right )}{2 (\lambda +\mu )}-\frac {3}{2}}^{\frac {\mu \log \left (e^{\lambda +\mu }\right )}{(\lambda +\mu )^2}+1}\left (\frac {a b \left (\left (e^{\lambda +\mu }\right )^x\right )^{\frac {\lambda +\mu }{\log \left (e^{\lambda +\mu }\right )}} \log \left (e^{\lambda +\mu }\right )}{(\lambda +\mu )^2}\right )+c_1 \left (\log \left (e^{\lambda +\mu }\right )+\lambda +\mu \right ) \operatorname {HypergeometricU}\left (\frac {1}{2} \left (\frac {\log \left (e^{\lambda +\mu }\right )}{\lambda +\mu }+3\right ),\frac {2 (\lambda +\mu )^2+\mu \log \left (e^{\lambda +\mu }\right )}{(\lambda +\mu )^2},\frac {a b \left (\left (e^{\lambda +\mu }\right )^x\right )^{\frac {\lambda +\mu }{\log \left (e^{\lambda +\mu }\right )}} \log \left (e^{\lambda +\mu }\right )}{(\lambda +\mu )^2}\right )\right )-c_1 (\lambda +\mu ) \left ((\lambda +\mu ) \left (a b \left (\left (e^{\lambda +\mu }\right )^x\right )^{\frac {\lambda +\mu }{\log \left (e^{\lambda +\mu }\right )}}+\mu \right )+\log \left (e^{\lambda +\mu }\right ) \left (\mu -a b \left (\left (e^{\lambda +\mu }\right )^x\right )^{\frac {\lambda +\mu }{\log \left (e^{\lambda +\mu }\right )}}\right )\right ) \operatorname {HypergeometricU}\left (\frac {\lambda +\mu +\log \left (e^{\lambda +\mu }\right )}{2 (\lambda +\mu )},\frac {\mu \log \left (e^{\lambda +\mu }\right )}{(\lambda +\mu )^2}+1,\frac {a b \left (\left (e^{\lambda +\mu }\right )^x\right )^{\frac {\lambda +\mu }{\log \left (e^{\lambda +\mu }\right )}} \log \left (e^{\lambda +\mu }\right )}{(\lambda +\mu )^2}\right )-(\lambda +\mu ) \left ((\lambda +\mu ) \left (a b \left (\left (e^{\lambda +\mu }\right )^x\right )^{\frac {\lambda +\mu }{\log \left (e^{\lambda +\mu }\right )}}+\mu \right )+\log \left (e^{\lambda +\mu }\right ) \left (\mu -a b \left (\left (e^{\lambda +\mu }\right )^x\right )^{\frac {\lambda +\mu }{\log \left (e^{\lambda +\mu }\right )}}\right )\right ) L_{-\frac {\lambda +\mu +\log \left (e^{\lambda +\mu }\right )}{2 (\lambda +\mu )}}^{\frac {\mu \log \left (e^{\lambda +\mu }\right )}{(\lambda +\mu )^2}}\left (\frac {a b \left (\left (e^{\lambda +\mu }\right )^x\right )^{\frac {\lambda +\mu }{\log \left (e^{\lambda +\mu }\right )}} \log \left (e^{\lambda +\mu }\right )}{(\lambda +\mu )^2}\right )\right )}{2 a (\lambda +\mu )^2 \left (L_{-\frac {\lambda +\mu +\log \left (e^{\lambda +\mu }\right )}{2 (\lambda +\mu )}}^{\frac {\mu \log \left (e^{\lambda +\mu }\right )}{(\lambda +\mu )^2}}\left (\frac {a b \left (\left (e^{\lambda +\mu }\right )^x\right )^{\frac {\lambda +\mu }{\log \left (e^{\lambda +\mu }\right )}} \log \left (e^{\lambda +\mu }\right )}{(\lambda +\mu )^2}\right )+c_1 \operatorname {HypergeometricU}\left (\frac {\lambda +\mu +\log \left (e^{\lambda +\mu }\right )}{2 (\lambda +\mu )},\frac {\mu \log \left (e^{\lambda +\mu }\right )}{(\lambda +\mu )^2}+1,\frac {a b \left (\left (e^{\lambda +\mu }\right )^x\right )^{\frac {\lambda +\mu }{\log \left (e^{\lambda +\mu }\right )}} \log \left (e^{\lambda +\mu }\right )}{(\lambda +\mu )^2}\right )\right )} \\ y(x)\to \frac {b e^{\mu (-x)} \log \left (e^{\lambda +\mu }\right ) \left (\log \left (e^{\lambda +\mu }\right )+\lambda +\mu \right ) \left (\left (e^{\lambda +\mu }\right )^x\right )^{\frac {\lambda +\mu }{\log \left (e^{\lambda +\mu }\right )}} \operatorname {HypergeometricU}\left (\frac {1}{2} \left (\frac {\log \left (e^{\lambda +\mu }\right )}{\lambda +\mu }+3\right ),\frac {\mu \log \left (e^{\lambda +\mu }\right )}{(\lambda +\mu )^2}+2,\frac {a b \left (\left (e^{\lambda +\mu }\right )^x\right )^{\frac {\lambda +\mu }{\log \left (e^{\lambda +\mu }\right )}} \log \left (e^{\lambda +\mu }\right )}{(\lambda +\mu )^2}\right )}{2 (\lambda +\mu )^2 \operatorname {HypergeometricU}\left (\frac {\lambda +\mu +\log \left (e^{\lambda +\mu }\right )}{2 (\lambda +\mu )},\frac {\mu \log \left (e^{\lambda +\mu }\right )}{(\lambda +\mu )^2}+1,\frac {a b \left (\left (e^{\lambda +\mu }\right )^x\right )^{\frac {\lambda +\mu }{\log \left (e^{\lambda +\mu }\right )}} \log \left (e^{\lambda +\mu }\right )}{(\lambda +\mu )^2}\right )}-\frac {e^{\mu (-x)} \left ((\lambda +\mu ) \left (a b \left (\left (e^{\lambda +\mu }\right )^x\right )^{\frac {\lambda +\mu }{\log \left (e^{\lambda +\mu }\right )}}+\mu \right )+\log \left (e^{\lambda +\mu }\right ) \left (\mu -a b \left (\left (e^{\lambda +\mu }\right )^x\right )^{\frac {\lambda +\mu }{\log \left (e^{\lambda +\mu }\right )}}\right )\right )}{2 a (\lambda +\mu )} \\ \end{align*}