36.29 problem 1100

Internal problem ID [3804]

Book: Ordinary differential equations and their solutions. By George Moseley Murphy. 1960
Section: Various 36
Problem number: 1100.
ODE order: 1.
ODE degree: 6.

CAS Maple gives this as type [[_1st_order, _with_symmetry_[F(x),G(x)*y+H(x)]]]

Solve \begin {gather*} \boxed {\left (y^{\prime }\right )^{6}+f \relax (x ) \left (y-a \right )^{4} \left (y-b \right )^{3}=0} \end {gather*}

Solution by Maple

Time used: 0.126 (sec). Leaf size: 68

dsolve(diff(y(x),x)^6+f(x)*(y(x)-a)^4*(y(x)-b)^3 = 0,y(x), singsol=all)
 

\[ \int _{}^{y \relax (x )}\frac {1}{\left (\textit {\_a} -a \right )^{\frac {2}{3}} \sqrt {\textit {\_a} -b}}d \textit {\_a} +\int _{}^{x}-\frac {\left (f \left (\textit {\_a} \right ) \left (-y \relax (x )+a \right )^{4} \left (-y \relax (x )+b \right )^{3}\right )^{\frac {1}{6}}}{\left (y \relax (x )-a \right )^{\frac {2}{3}} \sqrt {y \relax (x )-b}}d \textit {\_a} +c_{1} = 0 \]

Solution by Mathematica

Time used: 124.383 (sec). Leaf size: 561

DSolve[(y'[x])^6 +f[x] (y[x]-a)^4 (y[x]-b)^3==0,y[x],x,IncludeSingularSolutions -> True]
 

\begin{align*} y(x)\to \text {InverseFunction}\left [-\frac {3 \sqrt [3]{a-\text {$\#$1}} \sqrt {\frac {\text {$\#$1}-b}{a-b}} \text {Hypergeometric2F1}\left (\frac {1}{3},\frac {1}{2},\frac {4}{3},\frac {a-\text {$\#$1}}{a-b}\right )}{\sqrt {b-\text {$\#$1}}}\&\right ]\left [\int _1^x-\sqrt [6]{f(K[1])}dK[1]+c_1\right ] \\ y(x)\to \text {InverseFunction}\left [-\frac {3 \sqrt [3]{a-\text {$\#$1}} \sqrt {\frac {\text {$\#$1}-b}{a-b}} \text {Hypergeometric2F1}\left (\frac {1}{3},\frac {1}{2},\frac {4}{3},\frac {a-\text {$\#$1}}{a-b}\right )}{\sqrt {b-\text {$\#$1}}}\&\right ]\left [\int _1^x\sqrt [6]{f(K[2])}dK[2]+c_1\right ] \\ y(x)\to \text {InverseFunction}\left [-\frac {3 \sqrt [3]{a-\text {$\#$1}} \sqrt {\frac {\text {$\#$1}-b}{a-b}} \text {Hypergeometric2F1}\left (\frac {1}{3},\frac {1}{2},\frac {4}{3},\frac {a-\text {$\#$1}}{a-b}\right )}{\sqrt {b-\text {$\#$1}}}\&\right ]\left [\int _1^x-\sqrt [3]{-1} \sqrt [6]{f(K[3])}dK[3]+c_1\right ] \\ y(x)\to \text {InverseFunction}\left [-\frac {3 \sqrt [3]{a-\text {$\#$1}} \sqrt {\frac {\text {$\#$1}-b}{a-b}} \text {Hypergeometric2F1}\left (\frac {1}{3},\frac {1}{2},\frac {4}{3},\frac {a-\text {$\#$1}}{a-b}\right )}{\sqrt {b-\text {$\#$1}}}\&\right ]\left [\int _1^x\sqrt [3]{-1} \sqrt [6]{f(K[4])}dK[4]+c_1\right ] \\ y(x)\to \text {InverseFunction}\left [-\frac {3 \sqrt [3]{a-\text {$\#$1}} \sqrt {\frac {\text {$\#$1}-b}{a-b}} \text {Hypergeometric2F1}\left (\frac {1}{3},\frac {1}{2},\frac {4}{3},\frac {a-\text {$\#$1}}{a-b}\right )}{\sqrt {b-\text {$\#$1}}}\&\right ]\left [\int _1^x-(-1)^{2/3} \sqrt [6]{f(K[5])}dK[5]+c_1\right ] \\ y(x)\to \text {InverseFunction}\left [-\frac {3 \sqrt [3]{a-\text {$\#$1}} \sqrt {\frac {\text {$\#$1}-b}{a-b}} \text {Hypergeometric2F1}\left (\frac {1}{3},\frac {1}{2},\frac {4}{3},\frac {a-\text {$\#$1}}{a-b}\right )}{\sqrt {b-\text {$\#$1}}}\&\right ]\left [\int _1^x(-1)^{2/3} \sqrt [6]{f(K[6])}dK[6]+c_1\right ] \\ y(x)\to a \\ y(x)\to b \\ \end{align*}