2.16.45 Problems 4401 to 4500

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

#

ODE

Program classification

CAS classification

Solved?

Verified?

time (sec)

4401

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

riccati

[_rational, _Riccati]

2.211

4402

\[ {}u^{\prime }+u^{2} = \frac {c}{x^{\frac {4}{3}}} \]

riccati

[_rational, [_Riccati, _special]]

0.856

4403

\[ {}u^{\prime }+b u^{2} = \frac {c}{x^{4}} \]

riccati

[_rational, [_Riccati, _special]]

0.313

4404

\[ {}u^{\prime }-u^{2} = \frac {2}{x^{\frac {8}{3}}} \]

riccati

[_rational, [_Riccati, _special]]

1.391

4405

\[ {}\frac {\sqrt {f \,x^{4}+c \,x^{3}+c \,x^{2}+b x +a}\, y^{\prime }}{\sqrt {a +b y+c y^{2}+c y^{3}+f y^{4}}} = -1 \]

exact, separable, first_order_ode_lie_symmetry_lookup

[_separable]

96.521

4406

\[ {}{y^{\prime }}^{2}-5 y^{\prime }+6 = 0 \]

quadrature

[_quadrature]

0.249

4407

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

quadrature

[_quadrature]

0.291

4408

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

quadrature

[_quadrature]

0.854

4409

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

dAlembert

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

0.858

4410

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

quadrature

[_quadrature]

2.165

4411

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

quadrature

[_quadrature]

0.504

4412

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

quadrature

[_quadrature]

2.484

4413

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

quadrature

[_quadrature]

2.289

4414

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

quadrature

[_quadrature]

1.679

4415

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

quadrature

[_quadrature]

5.812

4416

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

quadrature

[_quadrature]

0.461

4417

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

clairaut

[[_1st_order, _with_linear_symmetries], _Clairaut]

0.26

4418

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

clairaut

[[_1st_order, _with_linear_symmetries], _rational, _Clairaut]

4.908

4419

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

bernoulli, dAlembert, homogeneousTypeD2, first_order_ode_lie_symmetry_lookup

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

5.283

4420

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

dAlembert

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

0.856

4421

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

dAlembert

[_dAlembert]

90.835

4422

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

dAlembert

[[_1st_order, _with_linear_symmetries], _dAlembert]

38.324

4423

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

unknown

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

N/A

3.847

4424

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

dAlembert

[[_homogeneous, ‘class C‘], _dAlembert]

91.131

4425

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

dAlembert

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

0.322

4426

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

separable

[_separable]

0.897

4427

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

exact, differentialType, homogeneousTypeD2, first_order_ode_lie_symmetry_calculated

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

9.542

4428

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

first_order_ode_lie_symmetry_calculated

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

2.41

4429

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

exactByInspection, homogeneousTypeD2, first_order_ode_lie_symmetry_calculated

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

1.359

4430

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

homogeneousTypeD, homogeneousTypeD2, first_order_ode_lie_symmetry_lookup

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

1.28

4431

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

homogeneousTypeD2, first_order_ode_lie_symmetry_calculated

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

1.447

4432

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

first_order_ode_lie_symmetry_calculated

[[_homogeneous, ‘class G‘], _dAlembert]

5.064

4433

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

homogeneousTypeD2, exactWithIntegrationFactor, first_order_ode_lie_symmetry_calculated

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

2.806

4434

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

exactByInspection, homogeneousTypeD2, first_order_ode_lie_symmetry_calculated

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

3.474

4435

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

homogeneousTypeD2, exactWithIntegrationFactor, first_order_ode_lie_symmetry_calculated

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

1.985

4436

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

homogeneousTypeD2, first_order_ode_lie_symmetry_calculated

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

2.615

4437

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

i.c.

bernoulli, homogeneousTypeD2, exactWithIntegrationFactor, first_order_ode_lie_symmetry_lookup

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

1.574

4438

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

i.c.

homogeneousTypeD, homogeneousTypeD2, first_order_ode_lie_symmetry_lookup

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

1.81

4439

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

i.c.

homogeneousTypeD, homogeneousTypeD2, first_order_ode_lie_symmetry_lookup

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

3.86

4440

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

i.c.

riccati, bernoulli, exactByInspection, homogeneousTypeD2, first_order_ode_lie_symmetry_lookup

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

1.472

4441

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

homogeneousTypeMapleC, first_order_ode_lie_symmetry_calculated

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

1.886

4442

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

first_order_ode_lie_symmetry_calculated

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

1.258

4443

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

quadrature

[_quadrature]

0.13

4444

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

first_order_ode_lie_symmetry_calculated

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

1.178

4445

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

homogeneousTypeMapleC, first_order_ode_lie_symmetry_calculated

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

1.878

4446

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

first_order_ode_lie_symmetry_calculated

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

1.141

4447

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

exact, linear, separable, homogeneousTypeMapleC, first_order_ode_lie_symmetry_lookup

[_separable]

2.137

4448

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

first_order_ode_lie_symmetry_calculated

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

1.178

4449

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

homogeneousTypeMapleC, first_order_ode_lie_symmetry_calculated

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

1.835

4450

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

exact, differentialType, homogeneousTypeMapleC, first_order_ode_lie_symmetry_calculated

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

5.572

4451

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

i.c.

first_order_ode_lie_symmetry_calculated

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

2.444

4452

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

homogeneousTypeMapleC, first_order_ode_lie_symmetry_calculated

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

3.75

4453

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

i.c.

homogeneousTypeMapleC, exactWithIntegrationFactor, first_order_ode_lie_symmetry_calculated

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

4.445

4454

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

homogeneousTypeMapleC, first_order_ode_lie_symmetry_calculated

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

1.932

4455

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

exact

[_exact, _rational]

0.43

4456

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

exact

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

0.494

4457

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

exact

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

0.262

4458

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

exact

[_exact]

0.45

4459

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

exact

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

0.364

4460

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

exact

[_exact]

1.805

4461

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

exact

[_exact]

1.616

4462

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

exact

[_exact]

0.403

4463

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

exact

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

0.998

4464

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

exact

[_exact]

0.685

4465

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

i.c.

exact

[_exact, _Bernoulli]

1.176

4466

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

i.c.

exact

[_separable]

31.728

4467

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

i.c.

exact

[_exact]

3.813

4468

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

exact

[_separable]

1.007

4469

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

exact

[_separable]

0.883

4470

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

exact

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

0.29

4471

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

exact

[_separable]

0.407

4472

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

exact

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

0.377

4473

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

exact

[_separable]

0.804

4474

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

exact

[_separable]

0.34

4475

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

first_order_ode_lie_symmetry_calculated

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

3.148

4476

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

exact

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

0.328

4477

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

exact

[_exact]

0.353

4478

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

exact

[_rational, _Bernoulli]

0.24

4479

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

exact

[_exact]

0.333

4480

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

exact

[_exact]

0.341

4481

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

exactByInspection, first_order_ode_lie_symmetry_calculated

[[_1st_order, _with_linear_symmetries], _rational]

2.471

4482

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

exact

[_rational]

0.397

4483

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

exact

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

0.32

4484

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

exact

[_exact]

0.739

4485

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

exact

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

0.317

4486

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

exact

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

0.508

4487

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

exact

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

0.293

4488

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

exact

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

0.45

4489

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

exact

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

0.445

4490

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

exact

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

0.308

4491

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

exact

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

0.264

4492

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

exactByInspection

[_rational]

1.223

4493

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

exact

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

0.378

4494

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

exact

[_exact, _rational]

0.435

4495

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

exact, linear, differentialType, first_order_ode_lie_symmetry_lookup

[_linear]

0.864

4496

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

quadrature

[_quadrature]

0.48

4497

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

riccati, bernoulli, exactWithIntegrationFactor, first_order_ode_lie_symmetry_lookup

[_Bernoulli]

1.133

4498

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

linear, exactWithIntegrationFactor, first_order_ode_lie_symmetry_lookup

[_linear]

0.774

4499

\[ {}r^{\prime } = \left (r+{\mathrm e}^{-\theta }\right ) \tan \left (\theta \right ) \]

linear, exactWithIntegrationFactor, first_order_ode_lie_symmetry_lookup

[_linear]

1.231

4500

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

linear, exactWithIntegrationFactor, first_order_ode_lie_symmetry_lookup

[_linear]

0.866