A function f(x,y) is homogeneous of degree n if f(tx,ty)=tnf(x,y) for all t>0. Examples: x2+xy is homogeneous of degree 2; xyx2+y2 is of degree 0; xy is of degree 0.
A first-order DE is called homogeneous when it can be written as
dxdy=F(xy),
i.e. the right-hand side depends only on the ratio y/x. Equivalently, dxdy=Q(x,y)P(x,y) where P and Q are homogeneous functions of the same degree.
The substitution
Let y=vx, so v=y/x. Then dxdy=v+xdxdv. Substituting:
v+xdxdv=F(v),
which separates as
F(v)−vdv=xdx.
Integrate, then substitute v=y/x back to recover y as a function of x (or as an implicit relation).
If F(v)=v identically, the equation is degenerate , every line y=vx is a solution.
Recognition
A DE dxdy=Q(x,y)P(x,y) is homogeneous when both P and Q are homogeneous of the same degree. Quick test: replace each x by tx and each y by ty; the equation should be unchanged (the t's cancel).
Examples:
dxdy=x−yx+y , homogeneous (degree 1 on top and bottom). Divide top and bottom by x: dxdy=1−y/x1+y/x.
dxdy=x2−y2xy , homogeneous.
dxdy=x+y , not homogeneous (the right side is degree-1 polynomial, but combined "scalarly" tx+ty=t(x+y), so actually it scales by t1, making it homogeneous? Yes , it is homogeneous of degree 1, but the DE form differs: we need F(y/x). We have dy/dx=x(1+y/x), which has an extra x. Not in the required form.)
The clearer test for the DE: after dividing top and bottom by xn (the common degree), does the right side depend only on y/x? If yes, homogeneous. The example dxdy=x+y becomes dxdy=x(1+y/x) , still has bare x, so not homogeneous.
Worked examples
Example 1. Solve dxdy=xx+y.
Rewrite: dxdy=1+xy. Substitute y=vx: v+xv′=1+v, so xv′=1, i.e. dv=xdx. Integrate: v=ln∣x∣+C. Restore: xy=ln∣x∣+C, so y=x(ln∣x∣+C).
Example 2. Solve dxdy=y+xy−x.
Divide numerator and denominator by x: dxdy=(y/x)+1(y/x)−1. Let v=y/x: v+xv′=v+1v−1. So xv′=v+1v−1−v=v+1(v−1)−v(v+1)=v+1−v2−1. Separate: −(v2+1)(v+1)dv=xdx. Integrate: −21ln(v2+1)−tan−1v=ln∣x∣+C1. Restore: combine the ln terms. (The implicit form is tan−1(y/x)+21ln(x2x2+y2)+ln∣x∣=C2, or equivalently tan−1(y/x)+21ln(x2+y2)=C.)
Example 3. Solve xdxdy=y+xtan(y/x).
Divide by x: dxdy=xy+tan(y/x). Substitute v=y/x: v+xv′=v+tanv, so xv′=tanv, separating to cotvdv=xdx. Integrate: ln∣sinv∣=ln∣x∣+C1, so sinv=Cx. Restore: sin(y/x)=Cx.
Example 4. Solve (x2+y2)dx−2xydy=0.
Rewrite: dxdy=2xyx2+y2. Divide top and bottom by x2: dxdy=2v1+v2 where v=y/x. Substitute y=vx: v+xv′=2v1+v2, so xv′=2v1+v2−v=2v1+v2−2v2=2v1−v2. Separate: 1−v22vdv=xdx. Integrate: −ln∣1−v2∣=ln∣x∣+C1. So ∣1−v2∣⋅∣x∣=C, i.e. x(1−y2/x2)=C, giving x2−y2=Cx. (Hyperbola family.)
Example 5. Solve dxdy=xy+cos2(y/x), y(1)=π/4.
Substitute v=y/x: v+xv′=v+cos2v, so xv′=cos2v. Separate: sec2vdv=xdx. Integrate: tanv=ln∣x∣+C. Apply IC: at x=1, v=π/4, so tan(π/4)=0+C, giving C=1. Particular: tan(y/x)=ln∣x∣+1.
Example 6. Solve (x−y)dy=(x+y)dx.
Rewrite: dxdy=x−yx+y. Substitute: v+xv′=1−v1+v. So xv′=1−v1+v−v=1−v1+v−v(1−v)=1−v1+v2. Separate: 1+v21−vdv=xdx. Integrate: tan−1v−21ln(1+v2)=ln∣x∣+C1. Restore: tan−1(y/x)−21ln(1+y2/x2)=ln∣x∣+C1, simplifying to tan−1(y/x)=lnx2+y2+C.
Try it yourself
dxdy=x−yx+y
dxdy=x(x+y)y(x−y)
xdxdy=y(logy−logx+1)
dxdy=xy−cos2(y/x)
(x2−y2)dxdy=2xy
xcos(y/x)dxdy=ycos(y/x)+x
dxdy=x2−xyy2
(x2+xy)dy=(x2+y2)dx
dxdy=x2−y2xy
y(x+y)dx+(x+2y)dy=0 , verify homogeneity (each term degree 2).
(y2−2xy)dx=(x2−2xy)dy
dxdy=xy+sin(y/x), y(1)=0.
xdxdy−y=x2+y2
Show that dxdy=cx+dyax+by is always homogeneous.
Pitfalls and tricks
Check homogeneity first. Both sides of P/Q must have the same degree.
The substitution is y=vx, not v=xy. Also valid: x=vy if it gives cleaner algebra.
After integration, substitute v=y/x back. The answer should be in terms of x and y.
Watch for degenerate cases where F(v)=v , no separation happens; instead dxdv=0, so v is constant.
Combine logarithms cleanly.ln-form answers often simplify with ln∣x∣+ln∣y/x∣=ln∣y∣ etc.