4.4.28 · Maths › Multivariable Calculus
Ek vector field F ka line integral usually poore path pe depend karta hai jis par tum chalo. Lekin agar F kisi scalar function f ka gradient hai (ek "conservative" field), toh integral sirf endpoints tak collapse ho jaata hai — beech ka safar cancel ho jaata hai. Yeh ordinary FTC ka multivariable twin hai: ∫ a b g ′ ( x ) d x = g ( b ) − g ( a ) .
Definition Fundamental Theorem for Line Integrals (FTLI)
Maano C ek smooth curve hai point A se point B tak, jo r ( t ) se parametrised hai jahan t ∈ [ a , b ] . Agar f ek scalar function hai jiska gradient ∇ f curve C pe continuous hai, toh
∫ C ∇ f ⋅ d r = f ( r ( b )) − f ( r ( a )) = f ( B ) − f ( A ) .
Vector field F = ∇ f ko conservative kehte hain, aur f uska potential function hai.
Key words cloze karne ke liye:
F = ∇ f matlab F conservative hai.
Integral sirf endpoints pe depend karta hai, path pe nahi.
Ise path independence kehte hain.
Hum ise sirf chain rule aur ordinary FTC se derive karte hain. Kuch yaad nahi karna.
Step 1 — Line integral ko 1D integral ki tarah likho.
Ek parametrised curve pe line integral ki definition se,
∫ C ∇ f ⋅ d r = ∫ a b ∇ f ( r ( t )) ⋅ r ′ ( t ) d t .
Yeh step kyun? Line integral matlab "field ko tiny displacement d r = r ′ ( t ) d t se dot karo", curve ke saath sum karo. Yeh sirf parametrisation substitute karta hai.
Step 2 — Multivariable chain rule pehchano.
Maano g ( t ) = f ( r ( t )) , ek variable ka plain function. Chain rule kehta hai
d t d g = ∇ f ( r ( t )) ⋅ r ′ ( t ) .
Yeh step kyun? Jab t change hota hai, f har coordinate ke through change hota hai: d t d f ( x ( t ) , y ( t ) , z ( t )) = f x x ′ + f y y ′ + f z z ′ , jo exactly dot product ∇ f ⋅ r ′ hai. Yeh proof ka dil hai — integrand secretly ek perfect derivative hai.
Step 3 — Ordinary FTC apply karo.
∫ a b d t d g d t = g ( b ) − g ( a ) .
Yeh step kyun? Jab hum dikh chuke hain ki integrand g ′ ( t ) hai, single-variable FTC kaam khatam kar deta hai.
Step 4 — Substitute back karo.
g ( b ) − g ( a ) = f ( r ( b )) − f ( r ( a )) = f ( B ) − f ( A ) . ■
Worked example Example 1 — Direct application
Maano f ( x , y ) = x 2 y . Compute karo ∫ C ∇ f ⋅ d r jahan C A = ( 1 , 1 ) se B = ( 2 , 3 ) tak kisi bhi path se jaata hai.
Step 1. Pehchano ki F = ∇ f ek gradient ke roop mein diya gaya hai — toh FTLI use karo, path ignore karo.
Kyun? Integrand literally ∇ f hai, toh hume kabhi parametrisation ki zaroorat nahi.
Step 2. Endpoints evaluate karo: f ( 2 , 3 ) = 2 2 ⋅ 3 = 12 , f ( 1 , 1 ) = 1 .
Step 3. ∫ C ∇ f ⋅ d r = 12 − 1 = 11.
Kyun? FTLI kehta hai yeh sirf f ( B ) − f ( A ) hai.
Worked example Example 2 — Pehle potential dhundho
Evaluate karo ∫ C F ⋅ d r jahan F = ( 2 x y , x 2 + 2 y ) , C ( 0 , 0 ) se ( 1 , 2 ) tak.
Step 1 — Conservativeness test karo. 2D mein, F = ( P , Q ) conservative hai (simply connected region pe) iff ∂ P / ∂ y = ∂ Q / ∂ x .
Yahan P y = 2 x , Q x = 2 x . ✓ Equal hain, toh potential exist karta hai.
Kyun? Agar potential f exist karta hai, toh P = f x , Q = f y , aur mixed partials commute karte hain: f x y = f y x .
Step 2 — f banao. f x = 2 x y se, x mein integrate karo: f = x 2 y + h ( y ) .
Kyun? x -component ko "antidifferentiate" karo; integration ka constant y pe depend kar sakta hai.
Step 3 — y -component match karo. f y = x 2 + h ′ ( y ) ko Q = x 2 + 2 y ke barabar hona chahiye, toh h ′ ( y ) = 2 y ⇒ h ( y ) = y 2 .
Is tarah f = x 2 y + y 2 .
Step 4 — FTLI apply karo. f ( 1 , 2 ) = 1 ⋅ 2 + 4 = 6 , f ( 0 , 0 ) = 0 . Answer = 6 − 0 = 6 .
Worked example Example 3 — Closed loop
F = ∇ ( sin ( x y )) unit circle ke around (start = end). Result turant 0 hai, kyunki loop apne start pe wapas aata hai aur f ( B ) − f ( A ) = 0 . Kyun? Closed loop ⇒ A = B .
Common mistake "Line integrals ko hamesha parametrisation chahiye."
Kyun sahi lagta hai: Har baar jab tumne pehle ∫ C F ⋅ d r seekha, tune r ( t ) plug kiya aur messy integrals mein grind kiya.
Fix: Agar F ek gradient hai, uska SABHI cheez skip karo — sirf endpoints matter karte hain. Hamesha pehle conservativeness check karo; yeh 20-minute integral ko 30 seconds mein badal sakta hai.
Common mistake "Koi bhi field
F conservative hai, toh main hamesha sirf endpoints use kar sakta hoon."
Kyun sahi lagta hai: FTLI itna convenient hai ki tum use har jagah apply karna chahte ho.
Fix: FTLI require karta hai F = ∇ f . Agar P y = Q x , toh koi potential exist nahi karta aur integral genuinely path pe depend karta hai. E.g. F = ( − y , x ) mein P y = − 1 = 1 = Q x hai.
Common mistake Domain simply connected hona bhool jaana.
Kyun sahi lagta hai: P y = Q x usually potential guarantee karta hai.
Fix: Hole wale region pe, P y = Q x necessary hai par sufficient nahi. Classic counterexample: F = ( x 2 + y 2 − y , x 2 + y 2 x ) har jagah P y = Q x satisfy karta hai jahan defined hai, phir bhi origin ke around ∮ = 2 π = 0 hai.
Recall Feynman: ek 12-saal ke bacche ko samjhao
Socho tum ek pahaad pe hiking kar rahe ho. Tumhari "height" function f hai. Chalna elevation add aur subtract karta hai jab tum upar neeche jaate ho. Vector field ∇ f har jagah "steepest slope arrow" ki tarah hai. Fundamental Theorem kehta hai: chahe tum neeche ke cabin se upar ke lodge tak kitna bhi ghoomdar raasta lo, total elevation gained sirf (lodge ki height) − (cabin ki height) hai. Ghoomdar path matter nahi karta — sirf wahan matter karta hai jahan tum shuru aur khatam hote ho. Aur agar tum apne cabin pe wapas loop karo, tumhara net elevation change exactly zero hai.
"Gradient In, Endpoints Out." Agar tum integral ke andar ∇ f dekhte ho, path phenko aur do endpoint values subtract karo: f ( end ) − f ( start ) . (FTC jaisi hi shape: g ( b ) − g ( a ) .)
Fundamental Theorem for Line Integrals kya kehta hai? Agar F = ∇ f aur ∇ f curve C pe A se B tak continuous hai, toh ∫ C ∇ f ⋅ d r = f ( B ) − f ( A ) .
FTLI ke proof mein kaun se do ingredients use hote hain? Multivariable chain rule (d t d f ( r ( t )) = ∇ f ⋅ r ′ ) aur ordinary single-variable FTC.
Woh field jiska line integral sirf endpoints pe depend karta hai use kya kehte hain? Conservative (yeh kisi potential f ke liye ∇ f ke barabar hota hai); is property ko path independence kehte hain.
Kisi closed loop ke around conservative field ka line integral kya hota hai? Zero, kyunki start aur end points ek hi hain toh f ( B ) − f ( A ) = 0 .
2D mein F = ( P , Q ) conservative hai ya nahi check karne ka test? Simply connected region pe, ∂ P / ∂ y = ∂ Q / ∂ x .
Akela P y = Q x hamesha kyun sufficient nahi hota? Domain simply connected hona chahiye; hole wale region pe (e.g. origin ke around vortex field) closed-loop integral nonzero ho sakta hai.
F = ( P , Q ) se potential f kaise reconstruct karte hain?P ko x mein integrate karo f = ∫ P d x + h ( y ) pane ke liye, phir y mein differentiate karo aur f y = Q match karo h ( y ) dhundhne ke liye.
depends only on endpoints
Parametrise as 1D integral
FTLI result f B minus f A