Homogeneous First-Order Reduction: Substitute y equals v times x

By Vegard Gjerde • Based on Masterful Learning • 10 min read • Published
homogeneous-first-order-reduction differential-equations math learning-strategies

Homogeneous First-Order Reduction uses the substitution y=vxy=vx to turn y′=F(y/x)y^{\prime}=F(y/x) into an equation for v(x)v(x): xv′=F(v)−vxv^{\prime}=F(v)-v. On a nonzero-xx interval, this gives a one-to-one re-expression of the same solutions using the ratio variable v=y/xv=y/x. Use it only when the whole right-hand side depends on y/xy/x alone; if direct xx or yy dependence remains, this is the wrong route.

Unisium hero image titled Homogeneous First-Order Reduction showing the principle equation and a conditions card.
The homogeneous reduction y′=F(y/x), y=vx⇒xv′=F(v)−vy^{\prime}=F(y/x),\ y=vx \Rightarrow xv^{\prime}=F(v)-v applies after the ratio-form check and on an interval where x≠0x\neq 0.

On this page: The Principle | Conditions | Failure Modes | EE Questions | Retrieval Practice | Practice Ground | Solve a Problem | Related Guides | FAQ


The Principle

The move: after recognizing homogeneous first-order form, set y=vxy=vx, treat vv as a function of xx, and rewrite the differential equation in terms of vv and xx.

The invariant: the substitution re-expresses the same solution branch on a nonzero-xx interval; it changes coordinates from yy to the ratio variable v=y/xv=y/x.

Pattern:

y′=F(y/x),y=vx⟶xv′=F(v)−vy^{\prime}=F(y/x),\quad y=vx \quad \longrightarrow \quad xv^{\prime}=F(v)-v

Dividing by xx then gives v′=F(v)−vxv^{\prime}=\frac{F(v)-v}{x}, which is why this reduction usually prepares the equation for separation.

Legal routeIllegal route
y′=1+yx, y=vx⟹v+xv′=1+vy^{\prime}=1+\frac{y}{x},\ y=vx \Longrightarrow v+xv^{\prime}=1+vy′=x+(yx)2, y=vx⟹̸xv′=F(v)−vy^{\prime}=x+\left(\frac{y}{x}\right)^2,\ y=vx \not\Longrightarrow xv^{\prime}=F(v)-v; substitution gives v+xv′=x+v2v+xv^{\prime}=x+v^2, so direct xx dependence remains.

The illegal column is not illegal algebra; it is illegal route selection. The substitution can still be performed, but it does not produce the canonical homogeneous-reduction form because direct xx dependence remains.


Conditions of Applicability

Condition: homogeneousfirst−orderformy′=F(y/x)homogeneous first-order form y^{\prime}=F(y/x); x≠0onworkingintervalx\neq 0 on working interval

Before applying, check: first confirm Homogeneous First-Order Equation Form: the entire right-hand side must depend on y/xy/x alone.

If the condition is violated: the substitution may leave direct xx or yy dependence that does not collapse to xv′=F(v)−vxv^{\prime}=F(v)-v, so the homogeneous-reduction route is not licensed.

  • Work on an interval that does not cross x=0x=0, because v=y/xv=y/x must be defined.
  • After substituting y=vxy=vx, use the product rule y′=v+xv′y^{\prime}=v+xv^{\prime}.
  • If the right-hand side contains direct xx or yy dependence after the ratio check, choose another first-order route instead of forcing this reduction.

Want the complete framework behind this guide? Read Masterful Learning.


Common Failure Modes

Failure mode: see a term y/xy/x and apply y=vxy=vx as a homogeneous reduction without checking the whole right-hand side -> the result still contains direct xx or yy dependence.

Debug: replace every y/xy/x by vv mentally; if direct xx or yy dependence remains in the slope rule, the homogeneous reduction is not the right route.

Failure mode: set y=vxy=vx but differentiate as if vv were constant -> the required xv′xv^{\prime} term disappears.

Debug: say out loud that v=v(x)v=v(x) before differentiating, then use y′=v+xv′y^{\prime}=v+xv^{\prime}.


Elaborative Encoding

Use these questions to build deep understanding. (See Elaborative Encoding for the full method.)

Within the Principle

  • Why does y=vxy=vx turn the ratio y/xy/x into the new variable vv?
  • Why must the derivative become y′=v+xv′y^{\prime}=v+xv^{\prime} instead of only vv?

For the Principle

  • What quick check tells you whether the right-hand side is truly a function of y/xy/x alone?
  • What breaks in the reduction if the working interval crosses x=0x=0?

Between Principles

Generate an Example

  • Create one eligible equation of the form y′=F(y/x)y^{\prime}=F(y/x) and one near miss that contains y/xy/x plus direct xx dependence.

Retrieval Practice

Answer from memory, then click to reveal and check. (See Retrieval Practice for the full method.)

State the move in one sentence: _____Set y equal to v times x in a homogeneous first-order equation, then rewrite the equation as a reduced differential equation for v as a function of x.
Write the canonical pattern: _____y′=F(y/x), y=vx⇒xv′=F(v)−vy^{\prime}=F(y/x),\ y=vx \Rightarrow xv^{\prime}=F(v)-v
State the canonical condition: _____homogeneousfirst−orderformy′=F(y/x);x≠0onworkingintervalhomogeneous first-order form y^{\prime}=F(y/x); x\neq 0 on working interval

Practice Ground

Use these exercises to build move-selection fluency. (See Self-Explanation for how to learn from worked examples.)

Procedure Walkthrough

Starting from y′=1+yxy^{\prime}=1+\frac{y}{x} on an interval where x>0x>0, reach the reduced equation for vv using y=vxy=vx.

StepExpressionOperation
0y′=1+yxy^{\prime}=1+\frac{y}{x}Start from homogeneous first-order form on a nonzero-xx interval.
1y=vx,yx=vy=vx,\quad \frac{y}{x}=vIntroduce the ratio variable.
2y′=v+xv′y^{\prime}=v+xv^{\prime}Differentiate y=vxy=vx with v=v(x)v=v(x).
3v+xv′=1+vv+xv^{\prime}=1+vSubstitute into the original equation.
4xv′=1xv^{\prime}=1Subtract vv to isolate the reduced differential equation.

Drills

Goal Micro-Chain

Reduce the equation using y=vxy=vx. Assume the equation has homogeneous first-order form and x>0x>0.

y′=2+yxy^{\prime}=2+\frac{y}{x}
Reveal
StepExpressionMove
0y′=2+yxy^{\prime}=2+\frac{y}{x}Check that the slope is F(y/x)F(y/x) with F(v)=2+vF(v)=2+v.
1y=vx,y′=v+xv′y=vx,\quad y^{\prime}=v+xv^{\prime}Substitute and differentiate.
2v+xv′=2+vv+xv^{\prime}=2+vReplace y/xy/x by vv.
3xv′=2xv^{\prime}=2Subtract vv.

Reduce the equation using y=vxy=vx. Assume x<0x<0 on the working interval.

y′=(yx)2y^{\prime}=\left(\frac{y}{x}\right)^2
Reveal
StepExpressionMove
0y′=(yx)2y^{\prime}=\left(\frac{y}{x}\right)^2The right-hand side is F(y/x)F(y/x) with F(v)=v2F(v)=v^2.
1y=vx,y′=v+xv′y=vx,\quad y^{\prime}=v+xv^{\prime}Use the product rule for v(x)xv(x)x.
2v+xv′=v2v+xv^{\prime}=v^2Replace y/xy/x by vv.
3xv′=v2−vxv^{\prime}=v^2-vSubtract vv.

Reject or complete the route choice. Assume x>0x>0.

y′=x+(yx)2y^{\prime}=x+\left(\frac{y}{x}\right)^2
Reveal

Reject the homogeneous reduction route. The right-hand side contains direct xx dependence, so it is not a function of y/xy/x alone.

If you substitute anyway, you get

v+xv′=x+v2,v+xv^{\prime}=x+v^2,

which is not the canonical reduced form xv′=F(v)−vxv^{\prime}=F(v)-v.


Reduce the equation using y=vxy=vx. Assume the equation has homogeneous first-order form and x>0x>0.

y′=yx−3y^{\prime}=\frac{y}{x}-3
Reveal
StepExpressionMove
0y′=yx−3y^{\prime}=\frac{y}{x}-3Here F(v)=v−3F(v)=v-3.
1v+xv′=v−3v+xv^{\prime}=v-3Substitute y=vxy=vx and y′=v+xv′y^{\prime}=v+xv^{\prime}.
2xv′=−3xv^{\prime}=-3Subtract vv.

Forward Step

Apply the substitution step once. Assume x≠0x\neq 0 on the interval.

y=vx,y′=4+yxy=vx,\quad y^{\prime}=4+\frac{y}{x}
Reveal

Because v=v(x)v=v(x) and y/x=vy/x=v:

v+xv′=4+vv+xv^{\prime}=4+v

Then the reduced equation is xv′=4xv^{\prime}=4.


Apply the substitution step once. Assume x≠0x\neq 0 on the interval.

y=vx,y′=1+(yx)2y=vx,\quad y^{\prime}=1+\left(\frac{y}{x}\right)^2
Revealv+xv′=1+v2v+xv^{\prime}=1+v^2

so

xv′=1+v2−v.xv^{\prime}=1+v^2-v.

Which equation is eligible for homogeneous first-order reduction on an interval where x>0x>0?

A. y′=sin⁡(y/x)+2y^{\prime}=\sin(y/x)+2
B. y′=sin⁡(y/x)+xy^{\prime}=\sin(y/x)+x

Reveal

A is eligible because the whole right-hand side is a function of y/xy/x alone: F(v)=sin⁡v+2F(v)=\sin v+2.

B is not eligible because the direct xx term remains after y/xy/x becomes vv.


A student writes the derivative step below. What is wrong?

y=vx⟹y′=vy=vx \quad \Longrightarrow \quad y^{\prime}=v
Reveal

The step treats vv as a constant. In this reduction, vv is a function of xx, so the product rule gives

y′=v+xv′.y^{\prime}=v+xv^{\prime}.

Transition Identification

What move happened in this transition? Assume x>0x>0.

y′=5+yx⟶v+xv′=5+vy^{\prime}=5+\frac{y}{x} \quad \longrightarrow \quad v+xv^{\prime}=5+v
Reveal

The homogeneous reduction substitution was applied: y=vxy=vx, so y/x=vy/x=v and y′=v+xv′y^{\prime}=v+xv^{\prime}.


What is missing from this worked chain?

y′=1+yx⟶v+xv′=1+vy^{\prime}=1+\frac{y}{x} \quad \longrightarrow \quad v+xv^{\prime}=1+v
Reveal

The chain should state the condition: the equation has homogeneous first-order form, and the working interval must have x≠0x\neq 0 so v=y/xv=y/x is defined.


Solve a Problem

Apply what you’ve learned with Problem Solving.

Problem: Starting from y′=1+(yx)2−yxy^{\prime}=1+\left(\frac{y}{x}\right)^2-\frac{y}{x} on an interval where x>0x>0, reach the reduced equation for vv using Homogeneous First-Order Reduction.

Full solution
StepExpressionMove
0y′=1+(yx)2−yxy^{\prime}=1+\left(\frac{y}{x}\right)^2-\frac{y}{x}Confirm homogeneous first-order form on a nonzero-xx interval.
1y=vx,yx=vy=vx,\quad \frac{y}{x}=vIntroduce the ratio variable.
2y′=v+xv′y^{\prime}=v+xv^{\prime}Differentiate y=vxy=vx with v=v(x)v=v(x).
3v+xv′=1+v2−vv+xv^{\prime}=1+v^2-vSubstitute into the equation.
4xv′=1+v2−2vxv^{\prime}=1+v^2-2vSubtract vv from both sides.


FAQ

What is Homogeneous First-Order Reduction?

Homogeneous First-Order Reduction is the substitution y=vxy=vx applied to a first-order ODE whose slope depends only on y/xy/x. It rewrites y′=F(y/x)y^{\prime}=F(y/x) as xv′=F(v)−vxv^{\prime}=F(v)-v, an equation for the ratio variable v(x)v(x).

When is the substitution y equals v x valid?

It is valid for this reduction when the equation has homogeneous first-order form and the working interval avoids x=0x=0. The nonzero-xx condition makes v=y/xv=y/x meaningful on the whole interval being solved.

Why does y prime become v plus x v prime?

Because vv is not a constant. The substitution means y=v(x)xy=v(x)x, so the product rule gives y′=v+xv′y^{\prime}=v+xv^{\prime}.

Is homogeneous reduction the same as separation of variables?

No. Homogeneous reduction changes variables from yy to v=y/xv=y/x. The reduced equation may then become separable, but that is a later route decision, not the same move.

What is the fastest way to reject a near miss?

Replace y/xy/x by vv in the slope rule. If direct xx or yy dependence remains, the equation is not in homogeneous first-order form and the homogeneous reduction route is not licensed.


How This Fits in Unisium

Within the differential equations subdomain, Unisium treats homogeneous reduction as a route-selection move: recognize the ratio-form equation, check the nonzero-xx interval, then execute y=vxy=vx without dropping the product-rule term. The Unisium Study System pairs that condition check with retrieval practice, self-explanation, and compact problem-solving chains so the substitution becomes fluent without hiding the legality check.

Ready to practice differential equations with structure? See Unisium’s 14-day free trial or explore the complete framework in Masterful Learning.

Masterful Learning book cover

Masterful Learning

The book behind these guides: a study system for physics, math, & programming built on retrieval, connection, explanation, and problem solving.

Ready to apply this strategy?

Unisium turns these evidence-based techniques into guided study sessions for math and physics. Places are limited during early access. Check current availability to start a trial; joining the mailing list is optional.

See plans and availability Read More Guides

Already have access? Sign in