4.6.6 · D3 · Maths › Ordinary Differential Equations › Exact equations — exactness condition, finding potential fun
Intuition Yeh page kis liye hai
Parent note ne tumhe machinery di thi: ∂ M / ∂ y = ∂ N / ∂ x test karo, phir hill F ( x , y ) rebuild karo aur F = c likho. Yahan hum us machinery ko har tarah ki equation pe stress-test karte hain jo tumhe mil sakti hai : seedhi-saadhi equations, sign-flipped wali, zero coefficient wali, test fail karne wali, sirf ek trick ke baad exact banne wali, aur ek real word problem.
Shuru karne se pehle, do reminders plain words mein taaki koi symbol unearned na ho:
M woh coefficient hai jo d x ke aage baitha hai ; N woh coefficient hai jo d y ke aage hai. Inhe ek hill F ki do slopes samjho: kitni steep hai jab tum east step karo (M = F x ) aur jab north step karo (N = F y ).
∂ M / ∂ y (padho "partial of M with respect to y ", likha jaata hai M y ) matlab hai: x ko ek fixed number maan ke freeze karo, phir M ko sirf y ko variable treat karke differentiate karo. Yahi partial derivative hai.
Har exact-equation problem in cells mein se ek mein aati hai. Neeche ke examples mein cell label diya gaya hai jise woh cover karta hai, taaki milke koi gap na rahe.
#
Cell (scenario class)
Isme kya tricky hai
Example
A
Polynomial, cleanly exact
baseline mechanics
Ex 1
B
Mixed transcendental (exp, trig, log)
unusual functions ko integrate karna
Ex 2
C
Negative / sign-flipped coefficients
signs test mein survive karni chahiye
Ex 3
D
Ek coefficient sirf ek variable ka pure function hai
ek partial derivative zero hai
Ex 4
E
Sirf implicit solution (can't isolate y )
answer F = c ke roop mein rehta hai
Ex 5
F
Not exact — test fails
method refuse karna padega
Ex 6
G
Not exact but fixable by an [[Integrating Factors for ODEs
integrating factor]]
rescue karo phir solve karo
H
Real-world word problem + initial condition
constant c pin karo
Ex 8
Hum degenerate limit bhi cover karte hain (kya hota hai jab M ya N poora vanish ho jaaye) Ex 4 ke andar, aur geometry (solution as level curves ) Ex 1 aur Ex 8 ke figures mein.
Solve karo ( 3 x 2 y + 2 x y ) d x + ( x 3 + x 2 + 2 y ) d y = 0.
Forecast: Padhne se pehle guess karo — kya yeh test pass karega? Aur kya answer mein x 3 y term hogi? Apna guess note karo.
Identify karo: M = 3 x 2 y + 2 x y , N = x 3 + x 2 + 2 y .
Step 1 — Exactness test karo. Kyun yeh step? Ek aisi hill rebuild karne ka koi fayda nahi jo exist hi nahi karti.
x freeze karo, M ko y mein differentiate karo: har term se y hat jaata hai, milta hai M y = 3 x 2 + 2 x .
y freeze karo, N ko x mein differentiate karo: N x = 3 x 2 + 2 x .
Match karte hain ⟹ exact .
Step 2 — M ko x mein integrate karo. Kyun? F x = M , toh x -derivative undo karne se F milta hai ek y -only piece tak.
F = ∫ ( 3 x 2 y + 2 x y ) d x + g ( y ) = x 3 y + x 2 y + g ( y ) .
Step 3 — y mein differentiate karo aur N se match karo. Kyun? Bacha hua g ( y ) M ko invisible hai; sirf F y = N usse reveal kar sakta hai.
F y = x 3 + x 2 + g ′ ( y ) = ! x 3 + x 2 + 2 y ⇒ g ′ ( y ) = 2 y .
Dhyan do ki N ka x 3 + x 2 part pehle se F ke andar tha — isse dobara integrate mat karo (yahi double-counting trap hai).
Step 4 — g ′ integrate karo. g ( y ) = y 2 .
Answer: x 3 y + x 2 y + y 2 = c .
Verify karo: F = x 3 y + x 2 y + y 2 lo. Toh F x = 3 x 2 y + 2 x y = M ✓ aur F y = x 3 + x 2 + 2 y = N ✓. Differential d F original equation exactly rebuild karta hai.
Figure mein contour lines F = c dikhaye gaye hain: ODE kehta hai "aisa move karo ki height kabhi na badle," toh har solution curve inhi level curves mein se ek hai.
Solve karo ( 2 x y + ln y ) d x + ( 1 x 2 + y x + e y ) d y = 0 , y > 0.
Forecast: Ek ln y hai x / y ke saamne. Kya cross-derivatives sach mein line up honge? Guess karo haan/nahi.
Identify karo: M = 2 x y + ln y , N = x 2 + y x + e y .
Step 1 — Test karo. Kyun? Usi wajah se — kaam shuru karne se pehle check karo.
M y = 2 x + y 1 (kyunki ∂ y ln y = 1/ y ). N x = 2 x + y 1 . Match ⟹ exact .
Step 2 — M ko x mein integrate karo (y constant treat karo, toh ln y sirf ek number hai jo x se multiply ho raha hai):
F = ∫ ( 2 x y + ln y ) d x + g ( y ) = x 2 y + x ln y + g ( y ) .
Step 3 — N se match karo: Kyun? F y ka N ke barabar hona zaroori hai.
F y = x 2 + y x + g ′ ( y ) = ! x 2 + y x + e y ⇒ g ′ ( y ) = e y .
Step 4 — Integrate karo: g ( y ) = e y .
Answer: x 2 y + x ln y + e y = c .
Verify karo: F x = 2 x y + ln y = M ✓. F y = x 2 + x / y + e y = N ✓.
Common mistake Yeh cell jis sign trap ko target karta hai
Jab ek coefficient minus sign carry karta hai, students aksar use M y ya N x ke andar kho dete hain aur galat "not exact" declare kar dete hain. Test signs ki parwah karta hai — unhe carry karo.
Solve karo ( 2 x − y sin ( x y )) d x − x sin ( x y ) d y = 0.
Forecast: N negative hai. Kya negative sign exactness tod deta hai? Guess karo.
Identify karo: M = 2 x − y sin ( x y ) , N = − x sin ( x y ) .
Step 1 — Test karo. Kyun? Signs matter karte hain; carefully verify karo.
M y : − y sin ( x y ) ko y mein product rule se differentiate karo (x freeze karo):
M y = − [ sin ( x y ) + y cos ( x y ) ⋅ x ] = − sin ( x y ) − x y cos ( x y ) .
N x : − x sin ( x y ) ko x mein differentiate karo (y freeze karo):
N x = − [ sin ( x y ) + x cos ( x y ) ⋅ y ] = − sin ( x y ) − x y cos ( x y ) .
Match karte hain ⟹ exact — minus sign dono sides pe survive kar gaya.
Step 2 — Is baar N ko y mein integrate karo (yeh simpler hai; symmetric route hamesha allowed hai). x freeze karo:
F = ∫ − x sin ( x y ) d y + h ( x ) = cos ( x y ) + h ( x ) ,
kyunki ∂ y cos ( x y ) = − x sin ( x y ) .
Step 3 — M se match karo: Kyun? Ab F x = M use karo h ( x ) find karne ke liye.
F x = − y sin ( x y ) + h ′ ( x ) = ! 2 x − y sin ( x y ) ⇒ h ′ ( x ) = 2 x .
Step 4 — Integrate karo: h ( x ) = x 2 .
Answer: cos ( x y ) + x 2 = c .
Verify karo: F x = − y sin ( x y ) + 2 x = M ✓. F y = − x sin ( x y ) = N ✓.
Intuition Degenerate case
Agar M sirf x pe depend karta hai, toh M y = 0 . Agar N sirf y pe depend karta hai, toh N x = 0 . Phir test 0 = 0 read karta hai — automatically exact . Yeh secretly ek separable equation hai! Exactness, separability ko apne andar ek special limiting case ki tarah contain karti hai.
Solve karo cos x d x + 1 + y 2 1 d y = 0.
Forecast: M mein koi y nahi, N mein koi x nahi. Guess karo test kya dega.
Identify karo: M = cos x , N = 1 + y 2 1 .
Step 1 — Test karo. Kyun? Hamesha. M y = 0 (koi y present nahi), N x = 0 (koi x present nahi). 0 = 0 ⟹ exact (degenerate cell).
Step 2 — M ko x mein integrate karo: F = sin x + g ( y ) .
Step 3 — N se match karo: F y = g ′ ( y ) = ! 1 + y 2 1 ⇒ g ′ ( y ) = 1 + y 2 1 .
Step 4 — Integrate karo: g ( y ) = arctan y (woh angle jiska tangent y hai; yeh 1/ ( 1 + y 2 ) ka antiderivative hai).
Answer: sin x + arctan y = c .
Verify karo: F x = cos x = M ✓, F y = 1/ ( 1 + y 2 ) = N ✓. Aur wakai equation separate ho gayi thi: cos x d x = − 1 + y 2 d y , same result.
Solve karo ( y cos x + 2 x y ) d x + ( sin x + x 2 − 3 ) d y = 0.
Forecast: F = c find karne ke baad, kya tum y ke liye cleanly solve kar sakte ho? Step 5 se pehle haan/nahi guess karo.
Identify karo: M = y cos x + 2 x y , N = sin x + x 2 − 3.
Step 1 — Test karo. M y = cos x + 2 x , N x = cos x + 2 x . Match ⟹ exact .
Step 2 — M ko x mein integrate karo: F = y sin x + x 2 y + g ( y ) .
Step 3 — N se match karo: F y = sin x + x 2 + g ′ ( y ) = ! sin x + x 2 − 3 ⇒ g ′ ( y ) = − 3.
Step 4 — Integrate karo: g ( y ) = − 3 y .
Answer: y sin x + x 2 y − 3 y = c .
Step 5 — Kya hum y isolate kar sakte hain? Factor karo: y ( sin x + x 2 − 3 ) = c , toh yahan hum kar sakte hain : y = sin x + x 2 − 3 c . (Bahut saare problems mein tum nahi kar sakte — tab F ( x , y ) = c hi final, correct answer hota hai.)
Verify karo: F x = y cos x + 2 x y = M ✓, F y = sin x + x 2 − 3 = N ✓.
Test karo ( 3 x 2 + y ) d x + ( x 2 y − x ) d y = 0.
Forecast: Kya yeh pass karega? Computing se pehle guess karo.
Identify karo: M = 3 x 2 + y , N = x 2 y − x .
Step 1 — Test karo. M y = 1. N x = 2 x y − 1. Yeh equal nahi hain (yeh sirf tabhi coincide karte hain jab 2 x y = 2 ho, identically nahi). ⟹ not exact .
Conclusion: M ko integrate karke N se mat match karo — koi single hill F exist nahi karti. Tumhe pehle ek integrating factor chahiye hoga.
Verify karo: M y − N x = 1 − ( 2 x y − 1 ) = 2 − 2 x y = 0 as a function ✓ (non-exact confirmed).
Intuition Integrating factor kyun kaam karta hai
Agar M d x + N d y = 0 test fail karta hai, toh hum poori equation ko ek cleverly chosen μ ( x ) ya μ ( y ) se multiply karte hain. μ se multiply karne se solution curves nahi badalti (humne sirf "stay level" rule scale kiya hai), lekin yeh dono coefficients ko ek genuine F ki partials bana sakta hai. Ek standard shortcut: agar N M y − N x sirf x pe depend karta hai, toh μ ( x ) = e ∫ N M y − N x d x .
Solve karo ( y 2 + 2 x y ) d x − x 2 d y = 0.
Forecast: Integrating factor kis variable pe depend karega? x ya y guess karo.
Identify karo: M = y 2 + 2 x y , N = − x 2 .
Step 1 — Test karo. M y = 2 y + 2 x , N x = − 2 x . Equal nahi ⟹ exact nahi.
Step 2 — μ ( x ) try karo. Kyun? Check karo ki shortcut ratio sirf x wala hai ya nahi.
N M y − N x = − x 2 ( 2 y + 2 x ) − ( − 2 x ) = − x 2 2 y + 4 x ,
jisme abhi bhi y hai — sirf x wala nahi . Toh μ ( x ) fail; μ ( y ) try karo.
Step 3 — μ ( y ) try karo. Mirror shortcut: M N x − M y sirf y wala hona chahiye.
M N x − M y = y 2 + 2 x y − 2 x − ( 2 y + 2 x ) = y ( y + 2 x ) − 4 x − 2 y .
Hmm, abhi bhi mixed hai. Iske bajaaye factor directly spot karo: μ = 1/ y 2 se multiply karo:
( 1 + y 2 x ) d x − y 2 x 2 d y = 0.
Re-test karo: naya M ∗ = 1 + 2 x / y , naya N ∗ = − x 2 / y 2 .
M y ∗ = − 2 x / y 2 , N x ∗ = − 2 x / y 2 . Match ⟹ ab exact hai . 1/ y 2 kyun? Kyunki − x 2 / y 2 asal mein x 2 / y ka ∂ y hai, jo potential hint karta hai.
Step 4 — M ∗ ko x mein integrate karo: F = x + y x 2 + g ( y ) .
Step 5 — N ∗ se match karo: F y = − y 2 x 2 + g ′ ( y ) = ! − y 2 x 2 ⇒ g ′ ( y ) = 0 ⇒ g = const .
Answer: x + y x 2 = c .
Verify karo: F x = 1 + 2 x / y = M ∗ ✓, F y = − x 2 / y 2 = N ∗ ✓. y 2 se wapas multiply karne par original equation milti hai, toh solution curves unchanged hain.
Worked example Example 8 — ek conservative force field
Ek particle plane mein move karta hai taaki uski motion hamesha ek hidden energy F ( x , y ) ki level curve pe rahe. Measurements se differential relation milta hai
( 2 x + y ) d x + ( x + 2 y ) d y = 0 ,
aur particle point ( x , y ) = ( 1 , 2 ) (units: metres) se guzarta hai. Woh energy contour find karo jis par woh ride karta hai.
Forecast: Yeh ek symmetric field hai (M aur N x ↔ y ke under roles swap karte hain). Guess karo kya F mein ek x y term hogi.
Identify karo: M = 2 x + y , N = x + 2 y .
Step 1 — Test karo. Kyun? Confirm karo ki ek potential/energy exist karti hai (ek conservative field ). M y = 1 , N x = 1. Match ⟹ exact , toh ek energy F exist karti hai.
Step 2 — M ko x mein integrate karo: F = x 2 + x y + g ( y ) .
Step 3 — N se match karo: F y = x + g ′ ( y ) = ! x + 2 y ⇒ g ′ ( y ) = 2 y ⇒ g ( y ) = y 2 .
Step 4 — General energy: F = x 2 + x y + y 2 . General solution x 2 + x y + y 2 = c .
Step 5 — Initial condition apply karo ( 1 , 2 ) : Kyun? Specific contour pin karne ke liye, poori family nahi (units: m²).
c = 1 2 + ( 1 ) ( 2 ) + 2 2 = 1 + 2 + 4 = 7.
Answer: x 2 + x y + y 2 = 7.
Verify karo: F x = 2 x + y = M ✓, F y = x + 2 y = N ✓. ( 1 , 2 ) plug karo: 1 + 2 + 4 = 7 ✓ (units m² ek energy contour ke liye consistent hain).
Red dot ( 1 , 2 ) hai; highlighted ellipse woh single contour x 2 + x y + y 2 = 7 hai jis par particle rehta hai. Paas ki patli curves aur energy levels c hain.
Recall Kaun sa example kaun sa cell cover karta hai?
Ex1 = A (poly) ::: Ex2 = B (transcendental)
Ex3 = C (signs) ::: Ex4 = D (degenerate / separable)
Ex5 = E (implicit-only) ::: Ex6 = F (non-exact refusal)
Ex7 = G (integrating factor rescue) ::: Ex8 = H (word problem + IC)
T-I-D-M-I-C : T est (M y = N x ), I ntegrate M , D ifferentiate in y , M atch N , I ntegrate g ′ , C onstant (koi bhi initial condition apply karo).