Lagranges ekvationer

Lagranges ekvationer är ett centralt begrepp inom analytisk mekanik och används för att bestämma rörelsen för ett mekaniskt system. Ekvationerna kan härledas ur Newtons rörelselagar och fick via förarbete av Leonhard Euler sin slutgiltiga formulering 1788 av Joseph Louis Lagrange.

För ett mekaniskt system med $n$ frihetsgrader kan systemets läge beskrivas av $n$ generaliserade koordinater ${q}_{i}$. De generaliserade koordinaternas tidsderivator ${\dot {q}}_{i}$ benämns generaliserade hastigheter. För ett konservativt system, det vill säga ett system där den mekaniska energin bevaras, kan Lagrangefunktionen $L$ definieras som skillnaden mellan den kinetiska och den potentiella energin. Lagrangefunktionen kan då uttryckas som en funktion av de generaliserade koordinaterna och hastigheterna som satisfierar Lagranges ekvationer och har formen

${\operatorname {d} \over \operatorname {d} \!t}\left({\frac {\partial L}{\partial {\dot {q}}_{i}}}\right)-{\frac {\partial L}{\partial q_{i}}}=0,\qquad i=1,2,\dots ,n\qquad (1)$

Lösningen till ekvationssystemet med gällande begynnelsevillkor ger de generaliserade koordinaterna som funktioner av tiden, vilket bestämmer systemets rörelse.

Exempel

Vi ska använda Lagranges ekvation för att lösa problemet med en endimensionell harmonisk oscillator (utan dämpning). Vi har följande:

$L=T-V={\frac {1}{2}}m{\dot {x}}^{2}-{\frac {1}{2}}kx^{2},\qquad (2)$

där $T$ är kinetisk energi och $V$ potentiell energi, $k$ är en konstant.

och

${\partial {L} \over \partial {x}}=-kx$

${\operatorname {d} \over \operatorname {d} \!t}\left({\frac {\partial L}{\partial {\dot {x}}}}\right)={\operatorname {d} \over \operatorname {d} \!t}\left(m{\dot {x}}\right)=m{\ddot {x}}.\qquad (3)$

Efter substitution av ekvation (3) i ekvation (1) får vi:

$m{\ddot {x}}+kx=0,\qquad (4)$

som är identisk med Newtons rörelseekvation, det vill säga $F=ma$.

Problemet ovan är rätt enkelt och går att lösa med Newtons formalism. Lagranges ekvationer är mer användbara vid lösning av mer avancerade problem. Dessa problem brukar ha fler än två koordinater vilket gör ekvation (1) mest lämplig att använda. Som ett exempel löser vi rörelseekvationerna för en partikel med massan m som rör sig på en sfärisk yta och påverkas av en konservativ kraft $F=F_{\theta }$ ,$\theta$ och $\phi$ är vinklar, $\ F_{\theta }$ är en konstant kraften i $\theta$ riktning . Här får vi:

$T={1 \over 2}mv_{\theta }^{2}+{\frac {1}{2}}mv_{\phi }^{2}$

$={\frac {1}{2}}mR^{2}{\dot {\theta }}^{2}+{\frac {1}{2}}mR^{2}\sin ^{2}(\theta ){\dot {\phi }}^{2}\qquad (5)$

$V=-FR\theta .$

Vi har definierat den potentiella energin så att $V=0$ när $\theta =\phi =0$. Observera att de sfäriska koordinaterna $\theta$ och $\phi$ behandlas som kartesiska koordinater vid beräkning med Lagrangeformalismen. Lagrange-ekvationen ges då av

$L=T-V={\frac {1}{2}}mR^{2}{\dot {\theta }}^{2}+{\frac {1}{2}}mR^{2}\sin ^{2}(\theta ){\dot {\phi }}^{2}+F_{\theta }+F_{\theta }R\theta \qquad (6)$

Nu räknar vi ut de partiella derivator som ingår i Lagrange-ekvationen (ekvation 1) som följande

${\partial L \over \partial \theta }=mR^{2}{\dot {\phi }}^{2}\sin(\theta )\cos(\theta )+F_{\theta }R\$

${\partial L \over \partial \phi }=0$

${\operatorname {d} \over \operatorname {d} \!t}\left({\frac {\partial L}{\partial {\dot {\theta }}}}\right)={\operatorname {d} \over \operatorname {d} \!t}\left(mR^{2}{\dot {\theta }}\right)=mR^{2}{\ddot {\theta }}\qquad (7)$

${\operatorname {d} \over \operatorname {d} \!t}\left({\frac {\partial L}{\partial {\dot {\phi }}}}\right)={\operatorname {d} \over \operatorname {d} \!t}\left(mR^{2}{\dot {\phi }}\sin ^{2}(\theta )\right)=mR^{2}\left(2{\dot {\theta }}{\dot {\phi }}\sin(\theta )\cos(\theta )+{\ddot {\phi }}\sin ^{2}(\theta )\right)$.

Tillämpar vi ekvation (1) för $\theta$ och $\phi$ finner vi att rörelsen beskrivs av följande ekvationer

$F_{\theta }=mR\left({\ddot {\theta }}-{\dot {\phi }}^{2}\sin(\theta )\cos(\theta )\right)\qquad (8)$

$0=mR^{2}\sin(\theta )\left({\ddot {\phi }}\sin(\theta )+2{\dot {\theta }}{\dot {\phi }}\cos(\theta )\right)\qquad (9)$

där ekvation (9) relateras till att vridmomentet är lika med hastigheten för vinkelmomentets förändring och (8) relateras till arbete i en roterande referensram.

Härledning av Lagranges ekvationer med hjälp av Eulers lagar

Vi studerar ett system av $n_{k}$ stela kroppar som utför plan rörelse.

Eulers rörelselagar för en godtycklig kropp $k$ lyder

$F^{k}=m_{k}{\dot {v}}_{G_{k}}\qquad (10)$

$M_{G_{k}}^{k}=I_{G_{k}}{\dot {\omega }}_{k}\qquad (11)$

där $F^{k}$ är den totala kraften på kroppen $k$ , $M_{G_{k}}^{k}$det totala momentet av alla laster på kroppen $k$ m.a.p dess masscentrum $G_{k},$ $m_{k}$ kroppens massa, $I_{G_{k}}$kroppens masströghetsmoment m.a.p $G_{k},$ $v_{G_{k}}$hastigheten för $G_{k}$och $\omega _{k}$kroppens vinkelhastighet.

För att kunna härleda Lagranges ekvationer (rörelseekvationerna för ett system med n frihetsgrader) med hjälp av Eulers formler ska vi introducera virtuella effekten vilken innehåller helt godtyckliga skalärer av generaliserade koordinater ${\dot {q}}_{i}^{\star }$, $i=1,....,n.$ Genom att välja dessa koordinater på ett lämpligt sätt, kan vi får fram $n$ differentialekvationer, nämligen samtliga rörelseekvationer för systemet.

Tvångskrafter

Tvångskrafter är de krafter som orsakas av kinematiska tvång (kinematiska tvång är de krafter som motverkar en kroppsrörelse). Exempel på tvångskrafter är krafterna mellan två kroppar som är sammankopplade med en gångjärnsled, för ett hjul som glider är friktionskraften en tvångskraft eftersom den motverkar hjulets rörelse.

Den totala kraften $F^{k}$på kropp $k$ kan delas upp i tvångskrafter $F^{\text{tvång}}$ samt övriga krafter $F^{\text{tvång}}$. Momentet $M_{G_{k}}^{k}$ kan delas upp på liknande sätt så att Eulers lagar (10) och (11) kan skrivas som

$F^{{\text{tvång}},k}+F^{{\text{ej tvång}},k}=m_{k}{\dot {v}}_{G_{k}}\qquad (12)$

$M_{G_{k}}^{{\text{tvång}},k}+M_{G_{k}}^{{\text{ej tvång}},k}=I_{G_{k}}{\dot {\omega }}_{k}\qquad (13)$.

Virtuell hastighet, vinkelhastighet och effekt

När man studerar en masspunkt med en frihetsgrad kan man enkelt manipulera Newtons andra lag för att bli av med de obekanta tvångskrafterna. Nu när vi studerar system av flera stela kroppar är det svårt att se rent geometriskt hur Eulers lagar kan manipuleras. Av den anledning för vi in begreppet virtuell hastighet, vinkelhastighet och effekt.

Den virtuella hastigheten $v_{G_{k}}^{\star }$för kropp $k's$ masscentrum och den virtuella vinkelhastigheten $\omega _{k}^{\star }$ för kropp $k,k=1,....,n_{k},$ är helt enkelt godtyckliga hastigheter respektive vinkelhastigheter som gör att de kinematiska tvången är uppfyllda då tiden tänks fixerad. Detta innebär att $v_{G_{k}}^{\star }$kan skrivas som en linjär kombination av tangentvektorerna ${\partial {r_{G_{k}}}/\partial t}$:

$v_{G_{k}}^{\star }=\sum _{i=1}^{n}{\partial {r_{G_{k}}} \over \partial q_{i}}{\dot {q}}_{i}^{\star }{\overset {(6)}{=}}\sum _{i=1}^{n}{\partial {v_{G_{k}}} \over \partial {\dot {q}}_{i}}{\dot {q}}_{i}^{\star },\qquad (14)$

där ${\dot {q}}_{i}^{\star },i=1,....,n,$ är godtyckliga skalärer. Detta uttryck liknar det i (14) för den verkliga hastigheten $v_{G_{k}}$men termen ${\partial {r_{G_{k}}}/\partial t}$ är inte med eftersom tiden är fixerad. På liknande sätt kan den virtuella vinkelhastigheten $\omega _{k}^{\star }$ skrivas som

$w_{k}^{\star }=\sum _{i=1}^{n}{\partial {\theta _{k}} \over \partial q_{i}}{\dot {q}}_{i}^{\star }{\overset {(8)}{=}}\sum _{i=1}^{n}{\partial {\omega _{k}} \over \partial {\dot {q}}_{i}}{\dot {q}}_{i}^{\star },\qquad (15)$

Den verkliga effekten $P_{tot}$ av alla laster på de $n_{k}$ kropparna i systemet definieras som summan av totala kraften på alla kroppar k multiplicerat med kropparnas hastighet plus summan av alla moment på systemet multiplicerat med deras vinkelhastigheten. Den verkliga effekten $P_{tot}$ av alla laster på systemet fås genom att ersätta de verkliga hastigheterna och vinkelhastigheterna med virtuella. Man kan dra slutsatsen att tvångslasternas totala virtuella effekt är noll. Vi utesluter beviset för denna slutsats och hänvisar den intresserade läsaren till boken Elementär mekanik, del 2: stelkroppsmekanik av P. Christensen. Vi får på så sätt att:

$P_{tot}^{\star }=\sum _{k=1}^{n_{k}}{\biggl (}F^{k}v_{G_{k}}^{\star }+M_{G_{k}}^{k}\omega _{k}^{\star }{\biggr )}=0\qquad (16)$

Det är detta samband vi ska utnyttja för att härleda Lagranges ekvationer.

Lagranges ekvationer

I mekaniska system verkar virtuella krafter vinkelrät mot kroppens rörelse, detta medför att det totala arbetet som utförs av virtuella krafter i sådana system summeras till noll och det totala arbetet utförs endast av de icke-virtuella krafterna. Härledningen nedan visar rörelse ekvationer för ett mekanisk system där alla virtuella krafter summeras till noll.

Den totala virtuella effekten av tvångslasterna på hela systemet av $n_{k}$ kroppar ges av (16). Om vi i detta uttryck sätter in hur de virtuella hastigheterna och vinkelhastigheterna ser ut enligt (14) och (15) får vi

$\sum _{k=1}^{n_{k}}\sum _{i=1}^{n}{\biggl (}F^{{\text{tvång}},k}{\partial {v_{G_{k}}} \over \partial {\dot {q}}_{i}}+M_{G_{k}}^{{\text{tvång}},k}{\partial {\omega _{k}} \over \partial {\dot {q}}_{i}}{\biggr )}{\dot {q}}_{i}^{\star }=0,$

där ${\dot {q}}_{i}^{\star }$ är godtyckliga. Om vi först väljer ${\dot {q}}_{1}^{\star }=1$ och övriga ${\dot {q}}_{i}^{\star }=0$, får vi

$\sum _{k=1}^{n_{k}}{\biggl (}F^{{\text{tvång}},k}{\partial {v_{G_{k}}} \over \partial {\dot {q}}_{1}}+M_{G_{k}}^{{\text{tvång}},k}{\partial {\omega _{k}} \over \partial {\dot {q}}_{1}}{\biggr )}=0$

Väljer vi sedan ${\dot {q}}_{2}^{\star }=1$och övriga ${\dot {q}}_{i}^{\star }=0,$ o.s.v., drar vi slutsatsen att

$\sum _{k=1}^{n_{k}}{\biggl (}F^{{\text{tvång}},k}{\partial {v_{G_{k}}} \over \partial {\dot {q}}_{i}}+M_{G_{k}}^{{\text{tvång}},k}{\partial {\omega _{k}} \over \partial {\dot {q}}_{i}}{\biggr )}=0,i=1,.....,n.\qquad (17)$

Insättning av Eulers lagar (10) och (11) ger

$\sum _{k=1}^{n_{k}}{\biggl (}m_{k}{\dot {v}}_{G_{k}}{\partial {v_{G_{k}}} \over \partial {\dot {q}}_{i}}+I_{G_{k}}{\dot {\omega }}_{k}{\partial {\omega _{k}} \over \partial {\dot {q}}_{i}}{\biggr )}=\sum _{k=1}^{n_{k}}{\biggl (}F^{{\text{ ej tvång}},k}{\partial {v_{G_{k}}} \over \partial {\dot {q}}_{i}}+M_{G_{k}}^{{\text{ej tvång}},k}{\partial {\omega _{k}} \over \partial {\dot {q}}_{i}}{\biggr )},\qquad (18)$

för $i=1,....,n$ kan vänsterledet skrivas om i termer av den kinetiska energin, vilken för kropp $k$ är

$T_{k}={\frac {1}{2}}m_{k}v_{G_{k}}v_{G_{k}}+{\frac {1}{2}}I_{G_{k}}\omega _{k}\omega _{k},$

så att

${\partial {T_{k}} \over \partial q_{i}}={\frac {m_{k}}{2}}{\biggl (}{\partial {v_{G_{k}}} \over \partial q_{i}}v_{G_{k}}+v_{G_{k}}{\partial {v_{G_{k}}} \over \partial q_{i}}{\biggr )}+{\frac {I_{G_{k}}}{2}}{\biggl (}{\partial {\omega _{k}} \over \partial q_{i}}\omega _{k}+\omega _{k}{\partial {\omega _{k}} \over \partial q_{i}}{\biggr )}=m_{k}v_{G_{k}}{\partial {v_{G_{k}}} \over \partial q_{i}}+I_{G_{k}}\omega _{k}{\partial {\omega _{k}} \over \partial q_{i}}.\qquad (19)$

På samma sätt fås

${\partial {T_{k}} \over \partial {\dot {q}}_{i}}=m_{k}v_{G_{k}}{\partial {v_{G_{k}}} \over \partial {\dot {q}}_{i}}+I_{G_{k}}\omega _{k}{\partial {\omega _{k}} \over \partial {\dot {q}}_{i}}.\qquad (20)$

Tidsderiverar vi detta får vi

${d \over dt}{\biggl (}{\partial {T_{k}} \over \partial {\dot {q}}_{i}}{\biggr )}=m_{k}{\dot {v}}_{G_{k}}{\partial {v_{G_{k}}} \over \partial {\dot {q}}_{i}}+m_{k}v_{G_{k}}{d \over dt}{\biggl (}{\partial {\omega _{G_{k}}} \over \partial {\dot {q}}_{i}}{\biggr )}+I_{G_{k}}{\dot {\omega }}_{k}{\partial \omega _{k} \over \partial {\dot {q}}_{i}}+I_{G_{k}}\omega _{k}{d \over dt}{\biggl (}{\partial \omega _{k} \over \partial {\dot {q}}_{i}}{\biggr )}=$

$=m_{k}{\dot {v}}_{G_{k}}{\partial {v_{G_{k}}} \over \partial {\dot {q}}_{i}}+m_{k}v_{G_{k}}{\partial {v_{G_{k}}} \over \partial q_{i}}+I_{G_{k}}{\dot {\omega }}_{k}{\partial \omega _{k} \over \partial {\dot {q}}_{i}}+I_{G_{k}}\omega _{k}{\partial \omega _{k} \over \partial q_{i}}.\qquad (21)$

Därmed fås ur (21) och (19) att

$m_{k}{\dot {v}}_{G_{k}}{\partial v_{G_{k}} \over \partial {\dot {q}}_{i}}+I_{G_{k}}{\dot {\omega }}_{k}{\partial \omega _{k} \over \partial {\dot {q}}_{i}}={d \over dt}{\biggl (}{\partial {T_{k}} \over \partial {\dot {q}}_{i}}{\biggr )}-{\partial {T_{k}} \over \partial q_{i}},$

så att (9) kan skrivas

${d \over dt}{\biggl (}{\partial {T} \over \partial {\dot {q}}_{i}}{\biggr )}-{\partial T \over \partial q_{i}}=\sum _{k=1}^{n_{k}}{\biggl (}F^{{\text{ ej tvång}},k}{\partial {v_{G_{k}}} \over \partial {\dot {q}}_{i}}+M_{G_{k}}^{{\text{ ej tvång}},k}{\partial {\omega _{k}} \over \partial {\dot {q}}_{i}}{\biggr )},i=1,.....,n,\qquad (22)$

där $T$ är systemets totala kinetiska energi: $T=\sum _{k=1}^{n_{k}}T_{k}$.

Systemet är oberoende av tvångskrafter som vi skulle visa. Ekvation (22) kallas Lagranges ekvation .

Källor

• Goldstein H. (1980) Classical Mechanics, 2:a uppl, Addison-Wesley, ISBN 0-201-02969-3.
• Classical Dynamics Of Particles And Systems Marion, Thornton.