Find the general and singular solutions of the differential equation 9p2(2−y)2=4(3−y), where p=dxdy.
Technique
Equation absent in x: solve for p, separate, integrate; general solution (x−C)2=y2(3−y); singular solution from the p-/C-discriminant, retaining only the branch that satisfies the ODE.
Solution
Here x does not appear explicitly; the equation is solvable for p and separable.
Step 1 — Solve for p and separate variables
p2=9(2−y)24(3−y)⇒p=dxdy=±322−y3−y.
Separate (take the + branch; the − branch gives the same implicit relation):
Thus x+C′=u1/2(3−u). Restoring u=3−y gives 3−u=y, so
x−C=y3−y(C=−C′).
Step 3 — General solution
(x−C)2=y2(3−y)(C arbitrary).
Check (general). Differentiating (x−C)2=y2(3−y) implicitly: 2(x−C)=(6y−3y2)p, and substituting x−C=y3−y back into 9p2(2−y)2−4(3−y) gives 0 identically (CAS-confirmed).
Step 4 — Singular solution
The singular solution is the envelope, obtained from the p-discriminant (or, equivalently, the C-discriminant). Writing the equation as a quadratic in p,
9(2−y)2p2−4(3−y)=0,
there is no linear p term, so eliminating p requires
4(3−y)=0⇒y=3or9(2−y)2=0⇒y=2.
Test each constant (p=0) against the ODE 9p2(2−y)2=4(3−y):
y=3: LHS =0, RHS =4(3−3)=0 — satisfied.
y=2: LHS =0, RHS =4(3−2)=4=0 — rejected.
The C-discriminant of the general solution (∂C[(x−C)2−y2(3−y)]=0⇒x=C) gives y2(3−y)=0, i.e. y=3 (the envelope) together with the spurious double factor y=0 (a node/tac-locus, not a solution — it fails the ODE since 4(3−0)=12=0).
Only y=3 both satisfies the ODE and is tangent to every member of the family (each member meets y=3 at x=C with slope p=0). Hence the singular solution is