Intuition The big picture (WHY classify at all?)Before you can solve a differential equation you must know what kind of animal you're holding . The method you reach for (separation, integrating factor, characteristic equation, numerical scheme) depends entirely on the equation's type . Classification is the triage step: cheap to do, and it tells you instantly which tools are even legal.
Four independent questions sort almost every ODE:
Order — how many derivatives deep?Degree — what power is the highest derivative raised to (after cleaning up)?Linear or nonlinear — does the unknown function and its derivatives appear "politely" (first power, not multiplied together, no weird functions of them)?Autonomous or non-autonomous — does the independent variable t t t x x x explicitly ?
WHY this matters: the order equals the number of arbitrary constants in the general solution, and the number of initial conditions you must supply.
Worked example Finding order
d y d x + y = x \dfrac{dy}{dx} + y = x d x d y + y = x y ′ y' y ′ order 1 .y ′ ′ + 5 y ′ + 6 y = 0 y'' + 5y' + 6y = 0 y ′′ + 5 y ′ + 6 y = 0 y ′ ′ y'' y ′′ order 2 .( d 3 y d x 3 ) 2 + y ′ = sin x \left(\dfrac{d^3y}{dx^3}\right)^2 + y' = \sin x ( d x 3 d 3 y ) 2 + y ′ = sin x y ′ ′ ′ y''' y ′′′ order 3 .
Why this step? In the last one the square is on the third derivative — but the power doesn't change the order; only which derivative is highest matters for order.
The degree of an ODE is the power of the highest-order derivative , after the equation has been made a polynomial in all its derivatives (clear radicals and fractions involving derivatives). If it cannot be written as such a polynomial, the degree is undefined .
WHY the cleanup first (HOW): 1 + ( y ′ ) 2 \sqrt{1+(y')^2} 1 + ( y ′ ) 2 then read the exponent of the highest derivative.
Worked example Degree with a radicald 2 y d x 2 = 1 + ( d y d x ) 2 \dfrac{d^2y}{dx^2} = \sqrt{1 + \left(\dfrac{dy}{dx}\right)^2} d x 2 d 2 y = 1 + ( d x d y ) 2 Why this step? Square to kill the root:
( d 2 y d x 2 ) 2 = 1 + ( d y d x ) 2 . \left(\dfrac{d^2y}{dx^2}\right)^2 = 1 + \left(\dfrac{dy}{dx}\right)^2. ( d x 2 d 2 y ) 2 = 1 + ( d x d y ) 2 . y ′ ′ y'' y ′′ 2 2 2 order 2, degree 2 .
Worked example Degree undefinedy ′ ′ + sin ( y ′ ) = 0 y'' + \sin(y') = 0 y ′′ + sin ( y ′ ) = 0 Why this step? sin ( y ′ ) \sin(y') sin ( y ′ ) not a polynomial in y ′ y' y ′ degree is undefined . Order is still 2.
An n n n linear if it can be written
a n ( x ) y ( n ) + a n − 1 ( x ) y ( n − 1 ) + ⋯ + a 1 ( x ) y ′ + a 0 ( x ) y = g ( x ) , a_n(x)\,y^{(n)} + a_{n-1}(x)\,y^{(n-1)} + \dots + a_1(x)\,y' + a_0(x)\,y = g(x), a n ( x ) y ( n ) + a n − 1 ( x ) y ( n − 1 ) + ⋯ + a 1 ( x ) y ′ + a 0 ( x ) y = g ( x ) , a k ( x ) a_k(x) a k ( x ) g ( x ) g(x) g ( x ) x x x only .
Intuition What "linear" really demands (the 3 rules)The unknown y y y all its derivatives must appear:
to the first power only (no y 2 y^2 y 2 ( y ′ ) 2 (y')^2 ( y ′ ) 2
never multiplied together (no y y ′ y\,y' y y ′ y ′ y ′ ′ y'\,y'' y ′ y ′′ never inside a nonlinear function (no sin y \sin y sin y e y e^y e y y \sqrt{y} y ln y ′ \ln y' ln y ′
Coefficients a k ( x ) a_k(x) a k ( x ) anything in x x x x 2 x^2 x 2 sin x \sin x sin x e x e^x e x y y y not about x x x
Worked example Spotting the difference
Equation
Linear?
Why
y ′ ′ + x 2 y ′ + ( cos x ) y = e x y'' + x^2 y' + (\cos x)y = e^x y ′′ + x 2 y ′ + ( cos x ) y = e x ✅ Linear
y , y ′ , y ′ ′ y,y',y'' y , y ′ , y ′′ x x x
y ′ + y 2 = x y' + y^2 = x y ′ + y 2 = x ❌ Nonlinear
y 2 y^2 y 2
y y ′ ′ = 1 y\,y'' = 1 y y ′′ = 1 ❌ Nonlinear
y ⋅ y ′ ′ y\cdot y'' y ⋅ y ′′
y ′ = sin y y' = \sin y y ′ = sin y ❌ Nonlinear
sin y \sin y sin y
y ′ ′ + 3 y ′ + 2 y = 0 y'' + 3y' + 2y = 0 y ′′ + 3 y ′ + 2 y = 0 ✅ Linear
textbook constant-coefficient linear
Why this matters: linear ODEs obey superposition — if y 1 , y 2 y_1,y_2 y 1 , y 2 c 1 y 1 + c 2 y 2 c_1y_1+c_2y_2 c 1 y 1 + c 2 y 2
Definition Autonomous ODEAn ODE is autonomous if the independent variable (call it t t t not appear explicitly — the right-hand side depends on y y y y ′ = f ( y ) (autonomous) , y ′ = f ( t , y ) (non-autonomous) . y' = f(y) \quad\text{(autonomous)}, \qquad y' = f(t,y)\quad\text{(non-autonomous)}. y ′ = f ( y ) (autonomous) , y ′ = f ( t , y ) (non-autonomous) .
Intuition WHY autonomy is special"Autonomous" = the rules don't change over time . A ball rolling on a fixed landscape: where it goes next depends only on where it is , not on what the clock says . Consequences:
The slope field has identical arrows along every horizontal (t t t time-translates of each other: if y ( t ) y(t) y ( t ) y ( t + c ) y(t+c) y ( t + c )
You can study them with phase lines / phase portraits (plot y ′ y' y ′ y y y equilibria where f ( y ) = 0 f(y)=0 f ( y ) = 0 sin t \sin t sin t
Worked example Sorting by autonomy
y ′ = y ( 1 − y ) y' = y(1-y) y ′ = y ( 1 − y ) t t t autonomous (logistic).y ′ = y + e t y' = y + e^{t} y ′ = y + e t t t t e t e^t e t non-autonomous .y ′ ′ + ω 2 y = 0 y'' + \omega^2 y = 0 y ′′ + ω 2 y = 0 t t t autonomous (it's also linear!).y ′ ′ + ω 2 y = cos ( γ t ) y'' + \omega^2 y = \cos(\gamma t) y ′′ + ω 2 y = cos ( γ t ) cos γ t \cos\gamma t cos γ t non-autonomous .
Why this step? Autonomy and linearity are independent axes — an equation can be any of the four combinations.
Common mistake Steel-manned classic errorsMistake 1 — "degree = order." Feels right because both are about the highest derivative. Fix: order = which derivative is highest; degree = power on it. ( y ′ ′ ′ ) 2 (y''')^2 ( y ′′′ ) 2
Mistake 2 — "ugly x x x Feels right because x 2 y ′ x^2 y' x 2 y ′ Fix: linearity only inspects how y \mathbf{y} y x 2 y ′ + e x y = tan x x^2 y' + e^x y = \tan x x 2 y ′ + e x y = tan x linear .
Mistake 3 — reading degree off an equation with sin ( y ′ ) \sin(y') sin ( y ′ ) Feels right to say "degree 1, it's just y ′ y' y ′ Fix: sin ( y ′ ) \sin(y') sin ( y ′ ) y ′ y' y ′ degree undefined .
Mistake 4 — "autonomous means no x x x Feels right but the test is only about explicit appearance of the independent variable. y ′ = y ⋅ x y' = y\cdot x y ′ = y ⋅ x x x x y ′ = y ⋅ y ′ ′ y'=y\cdot y'' y ′ = y ⋅ y ′′ t t t
Mistake 5 — "linear forces autonomous." Fix: y ′ = y + e t y'=y+e^t y ′ = y + e t and non-autonomous. The two classifications are orthogonal.
Recall Feynman: explain to a 12-year-oldImagine a recipe that tells a number how to change. Order = how many times you've already changed it before you decide the next change (speed? acceleration?). Degree = is the most-changed thing squared, cubed, or just plain? Linear = the recipe treats the number gently — never squares it, never multiplies its changes together, never puts it inside a sine. Autonomous = the recipe doesn't peek at the clock; it only looks at where you are right now. Knowing these four facts is like checking a animal's size, teeth, and legs before deciding how to catch it.
Mnemonic Remember the four checks"Old Dogs Love Adventure" → O rder (highest derivative), D egree (its power, after cleanup), L inear (y enters gently), A utonomous (no clock / no explicit t t t
What does the order of an ODE measure? The order of the highest derivative appearing in it.
What does the degree of an ODE measure? The power of the highest-order derivative, after writing the equation as a polynomial in all derivatives (clearing radicals/fractions of derivatives).
When is the degree of an ODE undefined ? When it cannot be expressed as a polynomial in its derivatives, e.g.
sin ( y ′ ) \sin(y') sin ( y ′ ) or
ln ( y ′ ′ ) \ln(y'') ln ( y ′′ ) appears.
State the three conditions for an ODE to be linear. (1)
y y y and all derivatives to first power, (2) never multiplied together, (3) never inside a nonlinear function; coefficients may depend on
x x x only.
Is x 2 y ′ ′ + ( sin x ) y ′ + e x y = tan x x^2 y'' + (\sin x)y' + e^x y = \tan x x 2 y ′′ + ( sin x ) y ′ + e x y = tan x Yes — ugly
x x x -coefficients are allowed;
y , y ′ , y ′ ′ y,y',y'' y , y ′ , y ′′ all enter to the first power.
Why is y y ′ ′ = 1 y\,y'' = 1 y y ′′ = 1 Because
y y y and
y ′ ′ y'' y ′′ are multiplied together, violating the no-products rule.
Define an autonomous ODE. One in which the independent variable does not appear explicitly:
y ′ = f ( y ) y'=f(y) y ′ = f ( y ) , not
f ( t , y ) f(t,y) f ( t , y ) .
Key property of solutions of an autonomous ODE? Time-translation invariance — if
y ( t ) y(t) y ( t ) is a solution, so is
y ( t + c ) y(t+c) y ( t + c ) .
Classify y ′ = y ( 1 − y ) y'=y(1-y) y ′ = y ( 1 − y ) First order, degree 1, nonlinear (because of
y 2 y^2 y 2 ), autonomous.
Classify ( y ′ ′ ′ ) 2 + y ′ = sin x (y''')^2 + y' = \sin x ( y ′′′ ) 2 + y ′ = sin x Order 3, degree 2, nonlinear, non-autonomous.
Why does linearity guarantee superposition? Because a linear combination of homogeneous solutions, plugged in, splits over the linear operator:
L [ c 1 y 1 + c 2 y 2 ] = c 1 L [ y 1 ] + c 2 L [ y 2 ] = 0 L[c_1y_1+c_2y_2]=c_1L[y_1]+c_2L[y_2]=0 L [ c 1 y 1 + c 2 y 2 ] = c 1 L [ y 1 ] + c 2 L [ y 2 ] = 0 .
Are linearity and autonomy independent classifications? Yes — an ODE can be any of the four combinations (e.g.
y ′ = y + e t y'=y+e^t y ′ = y + e t is linear & non-autonomous).
non-polynomial e.g. sin y'
Autonomous vs Non-autonomous
Triage step for method choice
Number of arbitrary constants
Polynomial in derivatives
First power, no products, no odd functions
Intuition Hinglish mein samjhoDekho, kisi bhi differential equation ko solve karne se pehle uska "type" pehchaanna sabse zaroori hai — ye triage jaisa hai. Char sawaal pucho: Order matlab sabse high derivative kaun sa hai (y', y'', y'''...). Degree matlab us highest derivative ki power kya hai — lekin power tabhi padho jab equation derivatives mein polynomial ban jaye (radical ya fraction hata ke). Agar sin ( y ′ ) \sin(y') sin ( y ′ ) undefined ho jaati hai.
Linear vs nonlinear sabse important split hai. Linear ka matlab: y y y first power mein aaye, aapas mein multiply na ho, aur kisi nonlinear function (jaise sin y \sin y sin y e y e^y e y y 2 y^2 y 2 x x x x 2 x^2 x 2 cos x \cos x cos x e x e^x e x y kaise enter karta hai , x kaise nahi. Linear hone ka bada fayda: superposition — do solutions ka combination bhi solution hota hai, isiliye linear equations almost hamesha solve ho jaati hain.
Autonomous vs non-autonomous matlab: kya independent variable t t t x x x y ′ = f ( y ) y'=f(y) y ′ = f ( y ) y y y autonomous — jaise ek fixed landscape par ball ludhak rahi ho, agla kadam sirf "kahan ho" par depend karta hai, "ghadi kya keh rahi" par nahi. Inke solutions time-shift karne par same rehte hain, aur inko phase line se study karte hain (equilibria nikaalo jahan f ( y ) = 0 f(y)=0 f ( y ) = 0 independent hain — koi equation linear bhi ho sakti hai aur non-autonomous bhi (jaise y ′ = y + e t y'=y+e^t y ′ = y + e t
