Porisma

Worked solution

Keep the solution lost when separating a homogeneous equation

Using y=vxy=vx, solve dy/dx=y(x+y)/[x(y−x)]dy/dx=y(x+y)/[x(y-x)].

CJC · Review problems · Question 4

Answer

xy=Aey/xxy=Ae^{y/x}, including A=0A=0 for y=0y=0, on intervals with x≠0x\ne0 and y≠xy\ne x.

Transform using the product rule

With v=y/xv=y/x, y′=v+xv′y^{\prime}=v+xv^{\prime}. Substitution gives v+xv′=v(1+v)/(v−1)v+xv^{\prime}=v(1+v)/(v-1), hence xv′=2v/(v−1)xv^{\prime}=2v/(v-1). The original equation requires x≠0x\ne0 and y≠xy\ne x.

How did this part go?

Separate for nonzero v and combine logarithms

For v≠0v\ne0, ∫(1−1/v)dv=∫2dx/x\int(1-1/v)dv=\int2dx/x, so v−ln⁡∣v∣=2ln⁡∣x∣+Cv-\ln|v|=2\ln|x|+C. Rearranging, ln⁡∣vx2∣=v−C\ln|vx^2|=v-C, hence vx2=Aevvx^2=Ae^v. Substituting back gives xy=Aey/xxy=Ae^{y/x}, where the separated derivation has A≠0A\ne0.

How did this part go?

Restore the equilibrium excluded by division

The division by vv omitted v=0v=0, which means y=0y=0. It satisfies the original equation for x≠0x\ne0 and must be included. Allowing A=0A=0 in the final implicit relation restores this branch. All solutions are understood on intervals satisfying the original exclusions x≠0x\ne0, y≠xy\ne x; the implicit relation must not be used to add a point where the original right-hand side is undefined.

How did this part go?

Common mistakes

Separation can discard the zero solution; it must be checked in the original equation.

Read the hint