4.6.6 · D2 · HinglishOrdinary Differential Equations
Visual walkthrough — Exact equations — exactness condition, finding potential function
4.6.6 · D2· Maths › Ordinary Differential Equations › Exact equations — exactness condition, finding potential fun
Pehli line se pehle, main characters ka naam le leta hoon taaki koi symbol bina bataye na aa jaye.
Step 1 — Hill aur uski contour lines dekho
KYA. Ek hill draw karo aur use equal heights par slice karo. Har slice, floor par project hoke, ek contour line banaati hai — un spots ka set jahan ek fixed value ke barabar hoti hai.
KYUN. Exact equations ki poori theory ek sentence hai: "chalo taaki tumhari height kabhi na badle." Use precise banane ke liye pehle hume dekhna hoga ki "same height" floor par kaisi dikhti hai: ek contour. Baaki sab kuch isi ek picture se nikalta hai.
PICTURE.
Right mein tum floor dekhte ho teen contour lines ke saath. Har ek par ek label hota hai jaise : us curve par har point hill par exactly same height par hai. Ek contour ke saath chalo toh tumhari height freeze ho jaati hai; usse cross karo toh tumhari height badal jaati hai.
Step 2 — "Level rehna" ko mein badlo
KYA. Floor par ek tiny step lo: thoda East, , aur thoda North, . Height total differential ke barabar badlati hai: Ab demand karo ki hum contour par hi rahein: height nahi badlni chahiye, isliye .
KYUN. Yahan differential equation paida hoti hai. "Ek contour par rehna" literally matlab hai "," aur likho toh aur mein ek equation milti hai. East slope ko aur North slope ko naam dene se yeh parent ki form ban jaati hai.
PICTURE.
Chota step vector contour ke saath lagta hai (red). East mein chadna height gain karta hai; North mein chalna gain karta hai; level rehne ke liye yeh cancel hone chahiye.
Step 3 — Fingerprint: kyun
KYA. Agar aur sach mein ek hill ke do slopes hain, toh wo independent nahi ho sakte — dono ka ek parent hai. Har ek ko doosri direction mein differentiate karo:
\frac{\partial N}{\partial x} \;=\; \frac{\partial}{\partial x}\!\left(\frac{\partial F}{\partial y}\right).$$ Dono "East-slope ka North direction mein slope" vs "North-slope ka East direction mein slope" hain — same mixed second slope, bas alag order mein bana. **KYUN.** Humein ek **sasta test** chahiye jo hum $F$ dhundhne se *pehle* chala sakein. Ek real hill ek fingerprint chhodti hai: uski curvature clockwise ya counter-clockwise maapne par same answer aata hai. Yahi [[Clairaut's Theorem (Equality of Mixed Partials)]] hai. **PICTURE.** ![[deepdives/dd-maths-4.6.06-d2-s03.png]] Chota square hill ke same far corner tak do routes dikhata hai. Route A: East step karo phir dekho North-slope kaise badli. Route B: North step karo phir dekho East-slope kaise badli. Ek smooth hill ke liye dono routes identical corner height par pahunchte hain — isliye do mixed slopes equal hote hain. > [!formula] Exactness condition (test) > $$\boxed{\;\frac{\partial M}{\partial y} \;=\; \frac{\partial N}{\partial x}\;}$$ > Ise padho: *"cross-differentiate karo — $dx$-coefficient ko $y$ se differentiate karo, aur $dy$-coefficient ko $x$ se; dono match karne chahiye."* Agar nahi milte, koi single hill $F$ exist nahi karti aur neeche ki recipe forbidden hai. > [!mistake] $M$ ko $x$ se differentiate mat karo > $M$ $dx$ ke saath hai, isliye lagta hai yeh $x$ se tied hai. Lekin fingerprint ek **cross** hai: $M$ ko $y$ se, $N$ ko $x$ se. Yeh $F_{xy}=F_{yx}$ ko mirror karta hai, $F_{xx}$ ko nahi. --- ## Step 4 — Hill rebuild karo: $M$ ko $x$ mein integrate karo **KYA.** Hum har jagah East slope jaante hain: $F_x = M$. Height khud recover karne ke liye, **East-slope ko undo karo** $x$ mein integrate karke: $$F(x,y) \;=\; \int M\,dx \;+\; g(y).$$ **KYUN.** Integration slope lene ka reverse hai, isliye yeh slope se height rebuild karta hai. Lekin jab hum $x$ *mein* integrate karte hain, koi bhi cheez jo sirf $y$ par depend karti hai woh invisible thi (uska East-slope zero hai). Isliye hume ek unknown $y$-only piece $g(y)$ carry karni padti hai — "integration ka constant jo $y$ par depend kar sakta hai." **PICTURE.** ![[deepdives/dd-maths-4.6.06-d2-s04.png]] Hum ek North-line ke saath East mein march karte hain, slope add karke height recover karte hain (East-slope curve ke neeche filled area). Har alag North-line alag base height se shuru ho sakti hai — woh vertical shift precisely $g(y)$ hai, har blue profile ki unknown lift ki tarah draw ki gayi. > [!mistake] $g(y)$ ek plain "$+C$" nahi hai > Normal integral mein ek number add hota hai. Yahan frozen variable $y$ constant ke andar ride kar sakta hai, isliye hum $g(y)$ likhte hain, ek poori function. Ise drop karna answer ke real terms delete kar deta hai. --- ## Step 5 — $F_y = N$ use karke leftover patch karo **KYA.** Hum North slope bhi jaante hain: $F_y = N$. Rebuilt $F$ ko $y$ mein differentiate karo aur use $N$ ke barabar force karo: $$\frac{\partial}{\partial y}\!\left(\int M\,dx\right) \;+\; g'(y) \;=\; N.$$ Pehla term already known hai (yeh Step 4 se nikla). $N$ mein jo kuch *bacha hua* hai woh $g'(y)$ hona chahiye. Use $y$ mein ek baar integrate karo $g(y)$ paane ke liye. **KYUN.** Step 4 ne hill ko har jagah pin kar diya *sivaay* uske $y$-only wobble ke. Second slope $N$ exactly woh extra information hai jo us wobble ko fix karti hai. Exactness (Step 3) guarantee karti hai ki leftover sirf $y$ par depend karta hai — warna koi $g(y)$ use absorb nahi kar sakta. **PICTURE.** ![[deepdives/dd-maths-4.6.06-d2-s05.png]] Left: Step 4 ki hill North axis ke saath ek unknown vertical wobble ke saath. Right: $F_y$ ko $N$ se match karna wobble hata deta hai — surface apni ek sahi shape mein snap ho jaati hai. > [!mistake] Jo already $F$ mein hai use dobara integrate mat karo > $N$ ka woh part jo $\partial_y\!\int M\,dx$ se produce hua hai woh **already** tumhare $F$ mein hai. Sirf *remainder* $g'(y)$ banta hai. Carefully subtract karo, warna double-count ho jaayega. --- ## Step 6 — Contour se solution padho **KYA.** Jab $F$ poori tarah rebuild ho jaaye, ODE ne kaha tha $dF=0$, yaani $F$ motion ke saath constant hai. Toh solution simply hai: $$\boxed{\,F(x,y) = c\,}.$$ **KYUN.** Humein $y$ explicitly solve karne ki zarurat nahi thi. Equation *thi* "ek contour par raho"; contour ki height ko $c$ naam dena poora answer hai. Alag starting points alag $c$ dete hain — contour curves ki ek poori family. **PICTURE.** ![[deepdives/dd-maths-4.6.06-d2-s06.png]] Reconstructed hill aur uske neeche uska contour map: har curve ek solution $F=c$ hai. Apna initial point choose karo, woh ek contour par land karta hai, aur wahi contour *the* solution hai. Chalo parent ke Example 1 par machine chalate hain, $(2xy+3)\,dx + (x^2-1)\,dy = 0$: > [!example] Recipe, ek line per step > - **Test:** $M_y = 2x = N_x$ ✓ (ek hill exist karti hai). > - **$M$ integrate karo:** $F = \int(2xy+3)\,dx + g(y) = x^2y + 3x + g(y)$. > - **$N$ se match karo:** $F_y = x^2 + g'(y) = x^2 - 1 \Rightarrow g'(y) = -1 \Rightarrow g(y) = -y$. > - **Solution:** $\;x^2 y + 3x - y = c.$ --- ## Step 7 — Degenerate case: jab fingerprint fail kare **KYA.** $y\,dx - x\,dy = 0$ lo, toh $M=y$, $N=-x$. Tab $M_y = 1$ lekin $N_x = -1$. Dono agree nahi karte. **KYUN dikhao.** Tumhe kabhi aise equation par rebuild launch nahi karni chahiye jiske paas koi hill nahi — Step 4 ek aisa leftover carry karta jo *dono* $x$ aur $y$ par depend karta, aur koi $g(y)$ use absorb nahi kar sakta. Fingerprint ko fail hote dekhna tumhe protect karta hai. **PICTURE.** ![[deepdives/dd-maths-4.6.06-d2-s07.png]] Do mixed-slope routes ab *alag* heights par land karte hain (square close nahi hota). Koi single hill nahi. Rescue ek multiplier $\mu = 1/x^2$ hai, jo use $d(y/x)=0$ mein badal deta hai — yeh [[Integrating Factors for ODEs]] ki kahani hai. > [!recall]- Kaunsi special families secretly exact hain? > [[Separable Equations]] aur [[Linear First-Order ODEs]] dono ko exact form mein massage kiya ja sakta hai (kabhi kabhi pehle ek integrating factor ki zarurat hoti hai). Exactness umbrella idea hai; woh uske neeche corners hain. Aur ek exact field precisely ek **curl-free / conservative** field hai — dekho [[Conservative Vector Fields & Potential Functions]]. --- ## Ek-picture summary ![[deepdives/dd-maths-4.6.06-d2-s08.png]] Ek image, poori derivation: left par hill $F$ apne contours mein flow karti hai; "level rehna" $M\,dx+N\,dy=0$ paida karta hai; mixed-slope square test $M_y=N_x$ deta hai; $M$ integrate karna phir $N$ se patch karna $F$ rebuild karta hai; aur answer contour $F=c$ hai. > [!recall]- Feynman: poora walkthrough ek dost ko batao > Ek hill imagine karo. Woh lines draw karo jo equal heights trace karti hain — contours. Equation $M\,dx+N\,dy=0$ ek chalne ka rule hai: "aise chalo ki tumhari height kabhi na badle." Yeh tabhi possible hai jab do numbers $M$ aur $N$ ke peeche ek real hill exist kare. Check karne ke liye, tum hill ka twist do taraon se measure karte ho — East-chadho-phir-North-feel-karo versus North-chadho-phir-East-feel-karo. Ek genuine smooth hill dono taraf se same answer deti hai, jo test $M_y = N_x$ hai. Jab woh pass ho jaaye, tum hill rebuild karte ho: East mein chalo slope add karte hue (yeh $F$ recover karta hai sivaay is baat ke ki har North-line kitni oonchi se shuru hoti hai, ek unknown lift $g(y)$), phir North slope $N$ use karo us lift ko fix karne ke liye. Taiyaar hill ka contour, $F=c$, *hi* tumhara answer hai. Aur agar do twist-measurements disagree karein, koi hill nahi hai — pehle tum ek magic multiplier dhundho jo ek banaye. > [!mnemonic] Poora page chhe beats mein > **Dekho → Level rehno → Fingerprint → Integrate → Patch → Contour padho.** ($ \text{contour}\to dF=0\to M_y=N_x\to \int M\,dx\to F_y=N\to F=c$.) --- ## Recall check "Contour par rehna" $M\,dx+N\,dy=0$ kyun ban jaata hai? ::: Level rehna matlab $dF=0$; $dF = F_x\,dx + F_y\,dy$ likhna aur $F_x=M$, $F_y=N$ rakhna $M\,dx+N\,dy=0$ deta hai. $M_y = N_x$ geometrically kya hai? ::: Hill ka mixed second slope dono taraon se maapne par same hota hai (Clairaut); yeh fingerprint hai ki ek single hill $F$ exist karti hai. $M$ ko $x$ mein integrate karne par $g(y)$ kyun bachta hai? ::: Sirf $y$ par depend karne wali koi bhi function ka East-slope zero hota hai, isliye woh $M$ ko invisible hoti hai; hum use unknown carry karte hain aur $F_y=N$ se fix karte hain. $(2xy+3)dx+(x^2-1)dy=0$ ke liye $F$ kya hai? ::: $F = x^2y + 3x - y$, isliye solution hai $x^2y+3x-y=c$. Kya $y\,dx - x\,dy=0$ exact hai? ::: Nahi: $M_y=1\ne N_x=-1$; mixed-slope square close nahi hota, isliye koi hill exist nahi karti (integrating factor chahiye).