2.16.37 Problems 3601 to 3700

Table 2.90: Main lookup table. Sorted sequentially by problem number.

#

ODE

Program classification

CAS classification

Solved?

Verified?

time (sec)

3601

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

riccati, first_order_ode_lie_symmetry_calculated

[[_homogeneous, ‘class G‘], _rational, _Riccati]

0.602

3602

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

riccati, bernoulli, homogeneousTypeD2, exactWithIntegrationFactor, first_order_ode_lie_symmetry_lookup

[[_homogeneous, ‘class D‘], _rational, _Bernoulli]

0.691

3603

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

riccati, homogeneousTypeD2, first_order_ode_lie_symmetry_calculated

[[_homogeneous, ‘class D‘], _rational, _Riccati]

1.47

3604

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

exact, riccati, separable, first_order_ode_lie_symmetry_lookup

[_separable]

0.538

3605

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

riccati, first_order_ode_lie_symmetry_calculated

[[_homogeneous, ‘class G‘], _rational, _Riccati]

1.165

3606

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

riccati

[_rational, _Riccati]

1.024

3607

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

bernoulli, homogeneousTypeD2, first_order_ode_lie_symmetry_lookup

[[_homogeneous, ‘class A‘], _rational, _Bernoulli]

0.748

3608

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

unknown

[‘y=_G(x,y’)‘]

N/A

1.839

3609

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

linear, exactWithIntegrationFactor, first_order_ode_lie_symmetry_lookup

[_linear]

0.743

3610

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

linear, exactWithIntegrationFactor, first_order_ode_lie_symmetry_lookup

[_linear]

0.806

3611

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

linear, homogeneousTypeD2, exactWithIntegrationFactor, first_order_ode_lie_symmetry_lookup

[_linear]

0.788

3612

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

linear, exactWithIntegrationFactor, first_order_ode_lie_symmetry_lookup

[_linear]

0.709

3613

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

exact, linear, separable, homogeneousTypeD2, first_order_ode_lie_symmetry_lookup

[_separable]

0.647

3614

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

exact, linear, separable, homogeneousTypeD2, first_order_ode_lie_symmetry_lookup

[_separable]

0.71

3615

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

linear, homogeneousTypeD2, exactWithIntegrationFactor, first_order_ode_lie_symmetry_lookup

[_linear]

0.964

3616

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

linear, exactWithIntegrationFactor, first_order_ode_lie_symmetry_lookup

[_linear]

0.645

3617

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

linear, exactWithIntegrationFactor, first_order_ode_lie_symmetry_lookup

[_linear]

0.67

3618

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

linear, exactWithIntegrationFactor, first_order_ode_lie_symmetry_lookup

[_linear]

0.613

3619

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

riccati

[_rational, _Riccati]

1.477

3620

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

riccati, bernoulli, homogeneousTypeD2, first_order_ode_lie_symmetry_lookup

[[_homogeneous, ‘class D‘], _rational, _Bernoulli]

0.813

3621

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

bernoulli, homogeneousTypeD2, first_order_ode_lie_symmetry_lookup

[[_homogeneous, ‘class A‘], _rational, _Bernoulli]

0.756

3622

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

bernoulli, homogeneousTypeD2, exactWithIntegrationFactor, first_order_ode_lie_symmetry_lookup

[[_homogeneous, ‘class A‘], _rational, _Bernoulli]

0.921

3623

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

bernoulli, first_order_ode_lie_symmetry_lookup

[_rational, _Bernoulli]

0.968

3624

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

riccati, homogeneousTypeD2

[[_homogeneous, ‘class D‘], _rational, _Riccati]

1.576

3625

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

riccati, bernoulli, homogeneousTypeD2, first_order_ode_lie_symmetry_lookup

[[_homogeneous, ‘class D‘], _rational, _Bernoulli]

0.574

3626

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

riccati, first_order_ode_lie_symmetry_calculated

[_rational, [_Riccati, _special]]

1.111

3627

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

first_order_ode_lie_symmetry_calculated

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

5.848

3628

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

exact, riccati, separable, first_order_ode_lie_symmetry_lookup

[_separable]

1.381

3629

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

exact, linear, differentialType, first_order_ode_lie_symmetry_lookup

[_linear]

0.726

3630

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

riccati

[_rational, _Riccati]

1.112

3631

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

riccati, bernoulli, first_order_ode_lie_symmetry_lookup

[_rational, _Bernoulli]

0.868

3632

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

exact, linear, separable, homogeneousTypeD2, first_order_ode_lie_symmetry_lookup

[_separable]

0.826

3633

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

riccati, first_order_ode_lie_symmetry_calculated

[_rational, _Riccati]

3.77

3634

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

linear, exactWithIntegrationFactor, first_order_ode_lie_symmetry_lookup

[_linear]

0.605

3635

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

riccati, homogeneousTypeD2

[[_homogeneous, ‘class D‘], _rational, _Riccati]

1.354

3636

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

abelFirstKind

[_rational, _Abel]

N/A

61.092

3637

\[ {}x^{n} y^{\prime } = a +b \,x^{n -1} y \]

linear, exactWithIntegrationFactor, first_order_ode_lie_symmetry_lookup

[_linear]

0.692

3638

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

riccati

[_Riccati]

1.288

3639

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

riccati

[_Riccati]

12.794

3640

\[ {}x^{n} y^{\prime } = a^{2} x^{2 n -2}+y^{2} b^{2} \]

riccati, first_order_ode_lie_symmetry_calculated

[[_homogeneous, ‘class G‘], _Riccati]

3.025

3641

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

riccati

[_rational, _Riccati]

1.429

3642

\[ {}x^{k} y^{\prime } = a \,x^{m}+b y^{n} \]

unknown

[_Chini]

N/A

0.528

3643

\[ {}y^{\prime } \sqrt {x^{2}+1} = 2 x -y \]

linear, exactWithIntegrationFactor, first_order_ode_lie_symmetry_lookup

[_linear]

0.746

3644

\[ {}y^{\prime } \sqrt {-x^{2}+1} = 1+y^{2} \]

exact, riccati, separable, first_order_ode_lie_symmetry_lookup

[_separable]

0.656

3645

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

exact, separable, first_order_ode_lie_symmetry_lookup

[_separable]

2.009

3646

\[ {}y^{\prime } \sqrt {a^{2}+x^{2}}+x +y = \sqrt {a^{2}+x^{2}} \]

linear, exactWithIntegrationFactor, first_order_ode_lie_symmetry_lookup

[_linear]

0.826

3647

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

exact, separable, first_order_ode_lie_symmetry_lookup

[_separable]

11.581

3648

\[ {}y^{\prime } \sqrt {b^{2}-x^{2}} = \sqrt {a^{2}-y^{2}} \]

exact, separable, first_order_ode_lie_symmetry_lookup

[_separable]

1.438

3649

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

exact, separable, first_order_ode_lie_symmetry_lookup

[_separable]

9.665

3650

\[ {}x y^{\prime } \sqrt {-a^{2}+x^{2}} = y \sqrt {y^{2}-b^{2}} \]

exact, separable, first_order_ode_lie_symmetry_lookup

[_separable]

1.847

3651

\[ {}y^{\prime } \sqrt {X}+\sqrt {Y} = 0 \]

quadrature

[_quadrature]

0.12

3652

\[ {}y^{\prime } \sqrt {X} = \sqrt {Y} \]

quadrature

[_quadrature]

0.105

3653

\[ {}x^{\frac {3}{2}} y^{\prime } = a +b \,x^{\frac {3}{2}} y^{2} \]

riccati

[_rational, [_Riccati, _special]]

1.547

3654

\[ {}y^{\prime } \sqrt {x^{3}+1} = \sqrt {y^{3}+1} \]

exact, separable, first_order_ode_lie_symmetry_lookup

[_separable]

77.213

3655

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

exact, separable, first_order_ode_lie_symmetry_lookup

[_separable]

9.26

3656

\[ {}y^{\prime } \sqrt {-x^{4}+1} = \sqrt {1-y^{4}} \]

exact, separable, first_order_ode_lie_symmetry_lookup

[_separable]

2.47

3657

\[ {}y^{\prime } \sqrt {x^{4}+x^{2}+1} = \sqrt {1+y^{2}+y^{4}} \]

exact, separable, first_order_ode_lie_symmetry_lookup

[_separable]

3.326

3658

\[ {}y^{\prime } \sqrt {X} = 0 \]

quadrature

[_quadrature]

0.059

3659

\[ {}y^{\prime } \sqrt {X}+\sqrt {Y} = 0 \]

quadrature

[_quadrature]

0.099

3660

\[ {}y^{\prime } \sqrt {X} = \sqrt {Y} \]

quadrature

[_quadrature]

0.085

3661

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

exact, separable, first_order_ode_lie_symmetry_lookup

[_separable]

6.859

3662

\[ {}y^{\prime } \left (4 x^{3}+\operatorname {a1} x +\operatorname {a0} \right )^{\frac {2}{3}}+\left (\operatorname {a0} +\operatorname {a1} y+4 y^{3}\right )^{\frac {2}{3}} = 0 \]

exact, separable, first_order_ode_lie_symmetry_lookup

[_separable]

0.793

3663

\[ {}X^{\frac {2}{3}} y^{\prime } = Y^{\frac {2}{3}} \]

quadrature

[_quadrature]

0.128

3664

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

riccati, bernoulli, first_order_ode_lie_symmetry_lookup

[_Bernoulli]

10.263

3665

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

exact, linear, separable, homogeneousTypeD2, first_order_ode_lie_symmetry_lookup

[_separable]

4.974

3666

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

exact, linear, separable, homogeneousTypeD2, first_order_ode_lie_symmetry_lookup

[_separable]

1.358

3667

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

exact, linear, separable, homogeneousTypeD2, first_order_ode_lie_symmetry_lookup

[_separable]

1.652

3668

\[ {}\left (\operatorname {a0} +\operatorname {a1} \sin \left (x \right )^{2}\right ) y^{\prime }+\operatorname {a2} x \left (\operatorname {a3} +\operatorname {a1} \sin \left (x \right )^{2}\right )+\operatorname {a1} y \sin \left (2 x \right ) = 0 \]

exact, linear, first_order_ode_lie_symmetry_lookup

[_linear]

1.44

3669

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

exact, linear, first_order_ode_lie_symmetry_lookup

[_linear]

0.624

3670

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

linear, homogeneousTypeD2, exactWithIntegrationFactor, first_order_ode_lie_symmetry_lookup

[_linear]

0.815

3671

\[ {}y y^{\prime }+x = 0 \]

exact, separable, differentialType, homogeneousTypeD2, first_order_ode_lie_symmetry_lookup

[_separable]

0.987

3672

\[ {}y y^{\prime }+x \,{\mathrm e}^{x^{2}} = 0 \]

exact, separable, first_order_ode_lie_symmetry_lookup

[_separable]

0.475

3673

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

unknown

[_rational, [_Abel, ‘2nd type‘, ‘class A‘]]

N/A

0.399

3674

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

homogeneousTypeD2, first_order_ode_lie_symmetry_calculated

[[_homogeneous, ‘class A‘], _rational, [_Abel, ‘2nd type‘, ‘class A‘]]

11.408

3675

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

exact, separable, first_order_ode_lie_symmetry_lookup

[_separable]

0.954

3676

\[ {}y y^{\prime }+f \left (x \right ) = g \left (x \right ) y \]

unknown

[[_Abel, ‘2nd type‘, ‘class A‘]]

N/A

0.362

3677

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

bernoulli, homogeneousTypeD2, exactWithIntegrationFactor, first_order_ode_lie_symmetry_lookup

[[_homogeneous, ‘class D‘], _rational, _Bernoulli]

1.223

3678

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

bernoulli, exactWithIntegrationFactor, first_order_ode_lie_symmetry_lookup

[_rational, _Bernoulli]

0.854

3679

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

bernoulli, exactWithIntegrationFactor, first_order_ode_lie_symmetry_lookup

[_Bernoulli]

1.502

3680

\[ {}y y^{\prime } = \operatorname {a0} +\operatorname {a1} y+\operatorname {a2} y^{2} \]

quadrature

[_quadrature]

1.535

3681

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

exact, bernoulli, separable, first_order_ode_lie_symmetry_lookup

[_separable]

1.19

3682

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

bernoulli, exactWithIntegrationFactor, first_order_ode_lie_symmetry_lookup

[_Bernoulli]

21.66

3683

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

quadrature

[_quadrature]

0.248

3684

\[ {}y y^{\prime } = \sqrt {y^{2}-a^{2}} \]

quadrature

[_quadrature]

0.211

3685

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

unknown

[NONE]

N/A

1.201

3686

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

homogeneousTypeMapleC, first_order_ode_lie_symmetry_calculated

[[_homogeneous, ‘class C‘], _rational, [_Abel, ‘2nd type‘, ‘class A‘]]

6.916

3687

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

exact, separable, first_order_ode_lie_symmetry_lookup

[_separable]

0.658

3688

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

exact, differentialType, homogeneousTypeD2, first_order_ode_lie_symmetry_calculated

[[_homogeneous, ‘class A‘], _exact, _rational, [_Abel, ‘2nd type‘, ‘class A‘]]

2.407

3689

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

homogeneousTypeD2, exactWithIntegrationFactor, first_order_ode_lie_symmetry_calculated

[[_homogeneous, ‘class A‘], _rational, [_Abel, ‘2nd type‘, ‘class A‘]]

0.863

3690

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

exactByInspection, homogeneousTypeD2, first_order_ode_lie_symmetry_calculated

[[_homogeneous, ‘class A‘], _rational, [_Abel, ‘2nd type‘, ‘class A‘]]

0.908

3691

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

exact, differentialType, homogeneousTypeD2, first_order_ode_lie_symmetry_calculated

[[_homogeneous, ‘class A‘], _exact, _rational, [_Abel, ‘2nd type‘, ‘class A‘]]

1.351

3692

\[ {}1-y^{\prime } = x +y \]

linear, exactWithIntegrationFactor, first_order_ode_lie_symmetry_lookup

[[_linear, ‘class A‘]]

0.459

3693

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

homogeneousTypeD2, exactWithIntegrationFactor

[[_homogeneous, ‘class D‘], _rational, [_Abel, ‘2nd type‘, ‘class A‘]]

1.059

3694

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

exactWithIntegrationFactor

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

1.849

3695

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

homogeneousTypeD2, first_order_ode_lie_symmetry_calculated

[[_homogeneous, ‘class A‘], _dAlembert]

1.217

3696

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

homogeneousTypeMapleC, first_order_ode_lie_symmetry_calculated

[[_homogeneous, ‘class C‘], _rational, [_Abel, ‘2nd type‘, ‘class A‘]]

1.18

3697

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

exact, differentialType, first_order_ode_lie_symmetry_calculated

[[_homogeneous, ‘class C‘], _exact, _rational, [_Abel, ‘2nd type‘, ‘class A‘]]

0.888

3698

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

homogeneousTypeMapleC, first_order_ode_lie_symmetry_calculated

[[_homogeneous, ‘class C‘], _rational, [_Abel, ‘2nd type‘, ‘class A‘]]

1.21

3699

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

homogeneousTypeMapleC, first_order_ode_lie_symmetry_calculated

[[_homogeneous, ‘class C‘], _rational, [_Abel, ‘2nd type‘, ‘class A‘]]

1.207

3700

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

exactByInspection, homogeneousTypeD2, first_order_ode_lie_symmetry_calculated

[[_homogeneous, ‘class A‘], _rational, [_Abel, ‘2nd type‘, ‘class A‘]]

0.872