2.2 Table of solved but not verified

Number of problems in this table is 43

Table 2.1: Solved but not verified

#

ODE

CAS classification

Program classification

2310

\[ {}2 y y^{\prime \prime } = y^{3}+2 {y^{\prime }}^{2} \]

i.c.

[[_2nd_order, _missing_x]]

second_order_ode_missing_x

4333

\[ {}\left (1+{y^{\prime }}^{2}\right ) \left (\arctan \left (y^{\prime }\right )+a x \right )+y^{\prime } = 0 \]

[_quadrature]

quadrature

4677

\[ {}y^{\prime }-x^{a} y^{3}+3 y^{2}-x^{-a} y-x^{-2 a}+a \,x^{-1-a} = 0 \]

[_Abel]

abelFirstKind

6264

\[ {}\frac {1}{y}-\frac {x y^{\prime }}{y^{2}} = 0 \]

i.c.

[_separable]

exact, linear, separable, homogeneousTypeD2, first_order_ode_lie_symmetry_lookup

6858

\[ {}{y^{\prime \prime }}^{3} = 12 y^{\prime } \left (x y^{\prime \prime }-2 y^{\prime }\right ) \]

[[_2nd_order, _missing_y]]

second_order_ode_missing_y

7212

\[ {}\left (x^{2}+1\right ) y^{\prime \prime }+1+{y^{\prime }}^{2} = x \]

[[_2nd_order, _missing_y]]

second_order_ode_missing_y

8383

\[ {}y^{\prime }-x^{a} y^{3}+3 y^{2}-x^{-a} y-x^{-2 a}+a \,x^{-1-a} = 0 \]

[_Abel]

abelFirstKind

8406

\[ {}y^{\prime }-\sqrt {\left (b_{4} y^{4}+b_{3} y^{3}+b_{2} y^{2}+b_{1} y+b_{0} \right ) \left (a_{4} x^{4}+a_{3} x^{3}+a_{2} x^{2}+a_{1} x +a_{0} \right )} = 0 \]

[[_1st_order, ‘_with_symmetry_[F(x),G(x)*y+H(x)]‘]]

exactWithIntegrationFactor

8407

\[ {}y^{\prime }-\sqrt {\frac {a_{4} x^{4}+a_{3} x^{3}+a_{2} x^{2}+a_{1} x +a_{0}}{b_{4} y^{4}+b_{3} y^{3}+b_{2} y^{2}+b_{1} y+b_{0}}} = 0 \]

[[_1st_order, ‘_with_symmetry_[F(x),G(x)*y+H(x)]‘]]

exactWithIntegrationFactor

8408

\[ {}y^{\prime }-\sqrt {\frac {b_{4} y^{4}+b_{3} y^{3}+b_{2} y^{2}+b_{1} y+b_{0}}{a_{4} x^{4}+a_{3} x^{3}+a_{2} x^{2}+a_{1} x +a_{0}}} = 0 \]

[[_1st_order, ‘_with_symmetry_[F(x),G(x)*y+H(x)]‘]]

exactWithIntegrationFactor

8814

\[ {}\left (b_{2} y+a_{2} x +c_{2} \right ) {y^{\prime }}^{2}+\left (a_{1} x +b_{1} y+c_{1} \right ) y^{\prime }+a_{0} x +b_{0} y+c_{0} = 0 \]

[_rational, _dAlembert]

dAlembert

8905

\[ {}\left (1+{y^{\prime }}^{2}\right ) \left (\arctan \left (y^{\prime }\right )+a x \right )+y^{\prime } = 0 \]

[_quadrature]

quadrature

9842

\[ {}x^{3} y^{\prime \prime \prime }+x^{2} y^{\prime \prime }+\ln \left (x \right )+2 x y^{\prime }-y-2 x^{3} = 0 \]

[[_3rd_order, _linear, _nonhomogeneous]]

higher_order_ODE_non_constant_coefficients_of_type_Euler

9956

\[ {}y^{\prime \prime }+a y y^{\prime }+b y^{3} = 0 \]

[[_2nd_order, _missing_x]]

second_order_ode_missing_x

9963

\[ {}y^{\prime \prime }+a y {y^{\prime }}^{2}+b y = 0 \]

[[_2nd_order, _missing_x], [_2nd_order, _reducible, _mu_x_y1]]

second_order_ode_missing_x

10126

\[ {}2 \left (y-a \right ) \left (y-b \right ) \left (y-c \right ) y^{\prime \prime }-\left (\left (y-a \right )^{2} \left (y-b \right ) \left (y-c \right )+\left (y-b \right ) \left (y-c \right )\right ) {y^{\prime }}^{2}+\left (y-a \right )^{2} \left (y-b \right )^{2} \left (y-c \right )^{2} \left (A_{0} +\frac {B_{0}}{\left (y-a \right )^{2}}+\frac {C_{1}}{\left (y-b \right )^{2}}+\frac {D_{0}}{\left (y-c \right )^{2}}\right ) = 0 \]

[[_2nd_order, _missing_x]]

second_order_ode_missing_x

10128

\[ {}\left (4 y^{3}-a y-b \right ) \left (y^{\prime \prime }+f y^{\prime }\right )-\left (6 y^{2}-\frac {a}{2}\right ) {y^{\prime }}^{2} = 0 \]

[[_2nd_order, _missing_x], _Liouville, [_2nd_order, _reducible, _mu_x_y1], [_2nd_order, _reducible, _mu_xy]]

second_order_ode_missing_x

10349

\[ {}a \,x^{2} \left (-1+x \right )^{2} \left (y^{\prime }+\lambda y^{2}\right )+x^{2} b +c x +s = 0 \]

[_rational, _Riccati]

riccati

10384

\[ {}x^{2} y^{\prime } = \left (\alpha \,x^{2 n}+\beta \,x^{n}+\gamma \right ) y^{2}+\left (a \,x^{n}+b \right ) x y+c \,x^{2} \]

[_rational, _Riccati]

riccati

10390

\[ {}\left (x^{2} a +b x +c \right ) y^{\prime } = y^{2}+\left (a x +\mu \right ) y-\lambda ^{2} x^{2}+\lambda \left (b -\mu \right ) x +c \lambda \]

[_rational, _Riccati]

riccati

10391

\[ {}\left (a_{2} x^{2}+b_{2} x +c_{2} \right ) y^{\prime } = y^{2}+\left (a_{1} x +b_{1} \right ) y-\lambda \left (\lambda +a_{1} -a_{2} \right ) x^{2}+\lambda \left (b_{2} -b_{1} \right ) x +\lambda c_{2} \]

[_rational, _Riccati]

riccati

10392

\[ {}\left (a_{2} x^{2}+b_{2} x +c_{2} \right ) y^{\prime } = y^{2}+\left (a_{1} x +b_{1} \right ) y+a_{0} x^{2}+b_{0} x +c_{0} \]

[_rational, _Riccati]

riccati

10394

\[ {}\left (c_{2} x^{2}+b_{2} x +a_{2} \right ) \left (y^{\prime }+\lambda y^{2}\right )+\left (b_{1} x +a_{1} \right ) y+a_{0} = 0 \]

[_rational, _Riccati]

riccati

10398

\[ {}x^{2} \left (x +a \right ) \left (y^{\prime }+\lambda y^{2}\right )+x \left (b x +c \right ) y+\alpha x +\beta = 0 \]

[_rational, _Riccati]

riccati

10400

\[ {}x^{2} \left (x^{2}+a \right ) \left (y^{\prime }+\lambda y^{2}\right )+x \left (x^{2} b +c \right ) y+s = 0 \]

[_rational, _Riccati]

riccati

10404

\[ {}x^{2} \left (a \,x^{n}-1\right ) \left (y^{\prime }+\lambda y^{2}\right )+\left (p \,x^{n}+q \right ) x y+r \,x^{n}+s = 0 \]

[_rational, _Riccati]

riccati

10416

\[ {}y^{\prime } = y^{2}+a \,{\mathrm e}^{8 \lambda x}+b \,{\mathrm e}^{6 \lambda x}+c \,{\mathrm e}^{4 \lambda x}-\lambda ^{2} \]

[_Riccati]

riccati

10505

\[ {}2 y^{\prime } = \left (\lambda +a -a \sin \left (\lambda x \right )\right ) y^{2}+\lambda -a -a \sin \left (\lambda x \right ) \]

[_Riccati]

riccati

10567

\[ {}y^{\prime } = y^{2}+\lambda \arccos \left (x \right )^{n} y-a^{2}+a \lambda \arccos \left (x \right )^{n} \]

[_Riccati]

riccati

11030

\[ {}2 \left (a \,x^{3}+x^{2} b +c x +d \right ) y^{\prime \prime }+\left (3 x^{2} a +2 b x +c \right ) y^{\prime }+\lambda y = 0 \]

[[_2nd_order, _with_linear_symmetries], [_2nd_order, _linear, ‘_with_symmetry_[0,F(x)]‘]]

second_order_change_of_variable_on_x_method_1, second_order_change_of_variable_on_x_method_2

11415

\[ {}\cos \left (\theta \right ) v^{\prime }+v = 3 \]

i.c.

[_separable]

exact, linear, separable, first_order_ode_lie_symmetry_lookup

13904

\[ {}y^{\prime \prime }+y = \delta \left (t \right ) \]

i.c.

[[_2nd_order, _linear, _nonhomogeneous]]

second_order_laplace

13905

\[ {}y^{\prime \prime }+4 y^{\prime }-12 y = \delta \left (t \right ) \]

i.c.

[[_2nd_order, _linear, _nonhomogeneous]]

second_order_laplace

13908

\[ {}y^{\prime \prime }-12 y^{\prime }+45 y = \delta \left (t \right ) \]

i.c.

[[_2nd_order, _linear, _nonhomogeneous]]

second_order_laplace

13910

\[ {}y^{\prime \prime \prime \prime }-16 y = \delta \left (t \right ) \]

i.c.

[[_high_order, _linear, _nonhomogeneous]]

higher_order_laplace

14390

\[ {}y^{\prime }+y \cot \left (x \right ) = y^{4} \]

i.c.

[_Bernoulli]

bernoulli, first_order_ode_lie_symmetry_lookup

14999

\[ {}x^{2} y^{\prime } \cos \left (y\right )+1 = 0 \]

i.c.

[_separable]

exact, separable, first_order_ode_lie_symmetry_lookup

15000

\[ {}x^{2} y^{\prime }+\cos \left (2 y\right ) = 1 \]

i.c.

[_separable]

exact, separable, first_order_ode_lie_symmetry_lookup

15006

\[ {}x^{2} y^{\prime }+\sin \left (2 y\right ) = 1 \]

i.c.

[_separable]

exact, separable, first_order_ode_lie_symmetry_lookup

15046

\[ {}2 x y^{\prime }+y = \left (x^{2}+1\right ) {\mathrm e}^{x} \]

i.c.

[_linear]

linear, exactWithIntegrationFactor, first_order_ode_lie_symmetry_lookup

15098

\[ {}x = \ln \left (y^{\prime }\right )+\sin \left (y^{\prime }\right ) \]

[_quadrature]

quadrature

15107

\[ {}y = \arcsin \left (y^{\prime }\right )+\ln \left (1+{y^{\prime }}^{2}\right ) \]

[_quadrature]

quadrature

15217

\[ {}y^{3} y^{\prime \prime } = -1 \]

i.c.

[[_2nd_order, _missing_x], [_2nd_order, _reducible, _mu_x_y1]]

second_order_ode_missing_x