Visual walkthrough — Lagrangian L = T − V

2.1.4 · D2 · Physics › Analytical Mechanics › Lagrangian L = T − V

---

Step 0 — Ek idea, koi symbol nahi

Figure dekho. Red curve woh path hai jo nature actually leti hai. Patli black curves imaginary competitors hain — woh routes jinhe object le sakta tha par nahi liya. Humara poora kaam ek aisa rule dhundhna hai jo red wale ko bheed mein se alag kare.

Ise baad mein Generalized Coordinates and Constraints se jodenге; abhi sochо "$q$ = position."

---

Step 1 — Har path ko EK number do: action

KYA. Paths ko compare karne ke liye ek scoreboard chahiye: ek number per curve, taki hum pooch sakein "kaunsi curve best score karti hai?" Woh number hai action $S$.

YEH KYUN, koi simpler cheez kyun nahi? Ek instant ki energy kaafi nahi — ek path poori history hai, isliye uska score har moment se information gather karna chahiye. Woh mathematical tool jo "ek continuous stretch par koi quantity add karta hai" woh hai integral $\int$. Isliye hi integral aata hai aur sirf kuch points ka sum nahi: time continuous hai, isliye hume addition ka continuous version chahiye.

PICTURE. Har instant par $L$ number compute karo (Step 2 mein batayenge $L$ kya hai), $L$ ko time ke against plot karo, aur neeche ka area shade karo. Woh shaded area hi action hai.

Alag-alag paths alag-alag shaped $L$-curves dete hain, isliye alag areas, isliye alag scores. Acha — ab hum unhe compete kara sakte hain.

---

Step 2 — $L$ kya hai? Moving-energy minus stored-energy

KYA. Jis height ko hum integrate karte hain woh hai $L=T-V$: kinetic energy minus potential energy, us path par us instant par measure ki gayi.

YEH DO energies kyun, minus kyun? Abhi minus justify nahi karte — woh poori derivation ka payoff hai (Step 8). Abhi sirf definition hold karo. Kinetic energy $T$ measure karta hai object kitni tez chal raha hai; potential energy $V$ measure karta hai kitna stored push usmein hai (gravity mein height, spring mein stretch).

PICTURE. Ek frozen instant par do stacked bars: ek $T$ bar aur ek $V$ bar. Us instant par $L$ ki value hai $T$ ki top minus $V$ ki top.

---

Step 3 — Competing paths: real wale ko wiggle karo

KYA. Real path $q(t)$ lo aur ek tiny wiggle $\delta q(t)$ add karke ek nearby fake path banao. Fake path hai $q(t)+\delta q(t)$.

KYUN. "Stationary" (humara target condition) ka matlab hai: path ko thoda nudge karo aur score barely bade. Bilkul valley ke bottom ki tarah — ek taraf qadam rakho aur tumhari height barely badlegi. Yeh test karne ke liye hume ek controlled small nudge chahiye, aur $\delta q$ exactly wahi nudge hai.

Fixed endpoints kyun? Hum same start event aur same end event ke beech ke routes compare kar rahe hain — sawaal yeh hai ki tum kis raaste se jate ho, na ki tum kahan pahunchte ho. Isliye wiggle dono ends par zero honi chahiye: $\delta q(t_1)=0,\delta q(t_2)=0.$

PICTURE. Red true path, ek black wiggled path usse chuati hui, aur unke beech vertical gap $\delta q$ — dono ends par pinned shut.

Valley analogy load-bearing intuition hai: valley ke bilkul bottom par ground flat hoti hai — pehla-order change har direction mein zero hota hai. Stationary action = sab paths ke space mein action-valley ke bottom par khada hona.

---

Step 4 — Score kaise badalti hai: $S$ vary karo

KYA. Change $\delta S$ = (wiggled path ka score) − (true path ka score) compute karo, $\delta q$ mein sirf first order rakhke.

KYUN. Kyunki poora game hi $\delta S=0$ hai. $\delta S$ ka formula nikalna zaroori hai use zero karne se pehle.

Wiggle dono cheezein badalta hai — position ($q\to q+\delta q$) aur velocity ($\dot{q}\to \dot{q}+\delta \dot{q}$). Kisi ingredient mein tiny change $L$ ko badalta hai (rate jis par $L$ us ingredient par react karta hai) × (change ka size) se — woh "reaction rate" ek partial derivative $\partial L/\partial q$ hai. Isliye partial derivatives aate hain: woh measure karte hain ki $L$ apne har knob par alag-alag kitni sensitively react karta hai.

PICTURE. Do side-by-side sensitivity slopes: $L$ kitna chadhta hai jab tum $q$ push karte ho, aur $L$ kitna chadhta hai jab tum $\dot{q}$ push karte ho.

Do terms mushkil hain: ek $\delta q$ hold karta hai, doosra $\delta \dot{q}$ hold karta hai. Abhi common $\delta q$ factor out nahi kar sakte. Yeh fix karna Step 5 hai.

---

Step 5 — Integration by parts: har term mein $\delta q$ lao

KYA. Doosre term ko rewrite karo taaki woh bhi $\delta \dot{q}$ ki jagah plain $\delta q$ multiply kare.

YEH TOOL KYUN? $\delta \dot{q}$, $\delta q$ ka derivative hai. Integration by parts exactly woh tool hai jo ek integral ke andar ek factor se derivative hata ke doosre par rakh deta hai — yeh product rule ka reverse hai. Exactly yahi surgery chahiye thi: yeh time-derivative ko $\delta q$ se hata deta hai taaki hum $\delta q$ sab cheez se factor out kar sakein.

$\delta \dot{q}=\frac{d}{dt}\delta q$ use karke:

= \underbrace{\left[\frac{\partial L}{\partial \dot q}\,\delta q\right]_{t_1}^{t_2}}_{\text{boundary term}} - \int_{t_1}^{t_2} \frac{d}{dt}\!\left(\frac{\partial L}{\partial \dot q}\right)\delta q\,dt$$ **Boundary term mar jata hai.** Yeh sirf do endpoints par evaluate hota hai — aur wahan $\delta q = 0$ hai (Step 3, pinned ends). Isliye fixed endpoints matter karte the: wahi reason hai ki boundary term vanish ho jaata hai aur sirf clean integral bachta hai. **PICTURE.** Boundary term $t_1$ aur $t_2$ par do dots ki tarah dikhaya gaya hai, dono pinned wiggle se zero ho jaate hain; interior integral bachta hai. ![[deepdives/dd-physics-2.1.04-d2-s06.png]] > [!formula] Parts ke baad, boundary kill hone ke baad > $$\int_{t_1}^{t_2}\frac{\partial L}{\partial\dot q}\,\delta\dot q\,dt = -\int_{t_1}^{t_2}\frac{d}{dt}\!\left(\frac{\partial L}{\partial\dot q}\right)\delta q\,dt$$ > - $\left[\;\cdot\;\right]_{t_1}^{t_2}$ ::: "top end par evaluate karo minus bottom end par" — dono yahan $0$ dete hain > - $\dfrac{d}{dt}\!\left(\dfrac{\partial L}{\partial\dot q}\right)$ ::: derivative $\delta q$ ki jagah velocity-sensitivity par shift ho gayi > - minus sign ::: derivative move karne ki cost (product-rule bookkeeping) --- ## Step 6 — $\delta q$ factor out karo aur "any wiggle" lemma use karo **KYA.** Step 5 ko Step 4 mein substitute karo. Ab *dono* terms $\delta q$ multiply karte hain, to ise bahar nikalo: $$\delta S = \int_{t_1}^{t_2}\left(\frac{\partial L}{\partial q} - \frac{d}{dt}\frac{\partial L}{\partial \dot q}\right)\delta q\,dt.$$ **"Arbitrary wiggle" argument kyun?** Humne demand ki thi ki $\delta S = 0$ *true* path ke liye. Lekin $\delta q$ **koi bhi** tiny pinned bump ho sakta hai — start ke paas bump, middle ke paas bump, kahin bhi. Agar bracket kahin nonzero hota, hum wahan ek bump choose kar sakte the matching sign ke saath, integral ko nonzero banate — contradiction. Score *har* possible bump ke liye zero ho, iska ek hi tarika hai: bracket khud har jagah zero ho. (Yeh **fundamental lemma of the calculus of variations** hai.) **PICTURE.** Ek jagah rakhki spotlight bump; agar bracket (background sign ki tarah dikhaya gaya) wahan nonzero hai, to shaded area nonzero hai — isliye bracket poore along flat zero hona chahiye. ![[deepdives/dd-physics-2.1.04-d2-s07.png]] > [!formula] Euler–Lagrange equation > $$\boxed{\;\frac{d}{dt}\frac{\partial L}{\partial \dot q} - \frac{\partial L}{\partial q} = 0\;}$$ > - $\dfrac{d}{dt}\dfrac{\partial L}{\partial\dot q}$ ::: "velocity-response" ki rate of change — yeh mass × acceleration banega > - $\dfrac{\partial L}{\partial q}$ ::: "position-response" — yeh force banega > - $=0$ ::: dono true path par har instant balance karne chahiye Yeh master result hai; iska apna dedicated treatment [[Euler–Lagrange Equation]] aur [[Principle of Least Action]] mein dekho. --- ## Step 7 — $L = T - V$ daalo aur Newton ko aate dekho **KYA.** Sabse simple case lo: ek particle ek dimension mein, position $x$, kinetic energy $T=\tfrac12 m\dot x^2$, potential $V=V(x)$. To $L=\tfrac12 m\dot x^2 - V(x)$. Euler–Lagrange ke do pieces compute karo. **YEH CASE PEHLE KYUN?** Yeh sabse saaf jagah hai apni machine ko us cheez ke against check karne ki jis par hum already trust karte hain — [[Newton's Second Law]]. Agar abstract result yahan $F=ma$ reproduce karta hai, to poora construction validated hai. Har piece compute karo (yaad rakho: $x$ aur $\dot x$ independent knobs hain, Step 2): $$\frac{\partial L}{\partial \dot x} = m\dot x,\qquad \frac{d}{dt}\big(m\dot x\big)= m\ddot x,\qquad \frac{\partial L}{\partial x} = -\frac{dV}{dx} = F.$$ $\dfrac{d}{dt}\dfrac{\partial L}{\partial\dot x} - \dfrac{\partial L}{\partial x} = 0$ mein plug karo: $$m\ddot x - F = 0 \quad\Longrightarrow\quad \boxed{F = m\ddot x}.$$ **PICTURE.** Left par abstract EL boxes right par concrete Newton boxes mein morph ho jaate hain, arrow by arrow. ![[deepdives/dd-physics-2.1.04-d2-s08.png]] > [!formula] Term-by-term dictionary > $$\underbrace{\frac{d}{dt}(m\dot x)}_{\text{= } m\ddot x \text{ (mass}\times\text{accel)}} - \underbrace{\Big(-\frac{dV}{dx}\Big)}_{\text{= force } F} = 0$$ > - $m\dot x$ ::: yeh exactly **generalized momentum** $p=\partial L/\partial\dot x$ hai (dekho [[Generalized Momentum and Conservation]]) > - $m\ddot x$ ::: mass times acceleration > - $-dV/dx$ ::: force = potential hill ki slope ka minus (cheezein downhill roll karti hain) > [!mistake] $T-V$ kyun aur $T+V$ kyun nahi? (ab hum dekh sakte hain) > Step 7 ko $L=T+V$ ke saath karo. Tab $\partial L/\partial x = +dV/dx = -F$, aur Euler–Lagrange deta hai $m\ddot x + F = 0$ — **galat sign**, anti-physics. Sirf **minus** in $T-V$ hi force term ko woh sign deta hai jo Newton demand karta hai. Woh ek minus hi definition ka poora reason hai. (Contrast karo total energy $E=T+V$ aur [[Hamiltonian H = T + V|Hamiltonian]] se — alag object, alag kaam.) --- ## Step 8 — Har case: signs, degenerate inputs, limits Hume tumhe kabhi aisa scenario face nahi karne dena jo humne nahi dikhaya. **Case $V=0$ (free particle).** Tab $\partial L/\partial x = 0$, isliye $\dfrac{d}{dt}(m\dot x)=0$: momentum constant hai, motion ek straight line hai constant speed par. Action picture mein $V$ bar gayab ho jaata hai aur $L=T$ akela reh jaata hai. **Case $F=0$ region par lekin $V\neq 0$ constant.** Ek flat potential ($V=$const) ki slope zero hoti hai, isliye $-dV/dx=0$: same straight-line motion. *$V$ mein constant add karne se kuch nahi badalega* — sirf $V$ ki **slope** matter karti hai, isliye potential energy ka ek arbitrary zero hota hai. **Force ka sign.** Agar potential right ki taraf *upar* slope kare ($dV/dx>0$), tab $F=-dV/dx<0$ *left* push karta hai — downhill. Agar right ki taraf *neeche* slope kare, force right push karta hai. Kisi bhi case mein: **lower potential ki taraf.** Dono signs summary figure mein dikhaye gaye hain. **Degenerate wiggle $\delta q \equiv 0$.** Tab $\delta S=0$ trivially *kisi bhi* path ke liye — yeh hume kuch nahi batata. Isliye lemma insist karta hai ki $\delta q$ *sab* nonzero bumps pe range kare; "arbitrary" essential hai, decorative nahi. **Many coordinates ka limit.** Steps 3–6 mein "ek dimension" ka koi use nahi kiya. Har coordinate ke liye ek independent wiggle $\delta q_i$ ke saath repeat karo aur tumhe *har* coordinate ke liye ek Euler–Lagrange equation milti hai — woh interfere nahi karte kyunki har bump independently choose kiya jaata hai. > [!recall]- Cases self-check karo > Agar $V$ constant hai, to motion kya hogi? ::: straight line, constant velocity — constant $V$ ki zero slope hai isliye zero force. > Jab $V$ right ki taraf upar slope kare to force kis taraf point karta hai? ::: left ki taraf, yaani lower potential ki taraf ($F=-dV/dx<0$). > $\delta q$ arbitrary kyun hona chahiye, ek fixed shape kyun nahi? ::: ek single fixed wiggle ek equation deta hai; sirf *sab* wiggles poore bracket ko har jagah vanish hone par majboor karte hain. > $n$ coordinates ke liye kitni EL equations? ::: exactly $n$ — ek independent wiggle each. --- ## Ek picture summary ![[deepdives/dd-physics-2.1.04-d2-s09.png]] Flow top to bottom padho: **many paths** → har ek ko ek **score** milta hai ($T-V$ ke neeche area) → demand karo ki **wiggle kuch na badale** → **integration by parts + pinned ends** → **Euler–Lagrange** → $T-V$ plug in karo → **$F=ma$**. ```mermaid flowchart TD A["Many possible paths q of t"] --> B["Score each path S = integral of L dt"] B --> C["L = T minus V at each instant"] C --> D["Wiggle true path by delta q, ends pinned to zero"] D --> E["First order change delta S in two terms"] E --> F["Integration by parts, boundary term dies"] F --> G["Factor delta q, arbitrary wiggle lemma"] G --> H["Euler Lagrange equation"] H --> I["Insert T minus V, one particle"] I --> J["Newton F = m a recovered"] ``` > [!recall]- Feynman retelling — poora walkthrough plain words mein > Ek graph banao *object kahan hai* against *time*. Real trip ek curve hai; imagine karo almost-identical fake curves ki ek bheed uske aaround, sab same do dots par start aur end karte hue. > > Har curve ko ek **score** do: har moment par "moving-energy minus stored-energy" lo, aur use poore trip mein add karo — woh total hi *action* hai. Nature ki chosen curve woh hai jo scores ki *valley ke bottom* par baithti hai: use ek baal bhar bhi kisi direction mein nudge karo aur score badalne se mana kar deta hai. > > Ise use karne ke liye, real curve ko ek tiny amount se wiggle karo jo dono ends par zero par glued ho. Dekho score kitna shift hota hai. Shift ka ek piece awkward hai kyunki usme wiggle itself ki jagah wiggle ki *slope* involve hoti hai — isliye hum ek clean trick use karte hain (integration by parts) us slope ko hata dene ke liye, aur glued-down ends bacha hua boundary junk gayab kar dete hain. > > Ab poora shift hai (koi bracket) times (wiggle), trip mein add hua. Chunki hum chahe *kahin* bhi wiggle kar sakte hain aur shift phir bhi zero rehna chahiye, bracket *har jagah* zero hona chahiye. Woh bracket-equals-zero hi **Euler–Lagrange equation** hai. > > Aakhir mein, real energies daalo — moving ke liye $\tfrac12 m v^2$, stored ke liye $V$ — aur equation "mass times acceleration equals minus the slope of the potential" ugal deta hai, jo ki sirf **$F=ma$** hai. "Moving minus stored" mein *minus* hi woh hai jo force ko sahi taraf push karne wala sign deta hai. Yahi poora show hai. --- ## Connections - [[Euler–Lagrange Equation]] — Step 6 ka boxed result, apne terms par. - [[Principle of Least Action]] — Steps 3–4 ki $\delta S = 0$ demand. - [[Generalized Coordinates and Constraints]] — $q$ kya ho sakta hai; constraint forces kyun vanish hoti hain. - [[Generalized Momentum and Conservation]] — Step 7 ka $m\dot x = \partial L/\partial\dot x$. - [[Hamiltonian H = T + V]] — woh $T+V$ object jo Lagrangian *nahi* hai. - [[Newton's Second Law]] — Step 7 mein sanity check ke roop mein recover kiya gaya.