Physics · Boek 5 · Bachelor Year 3

Universitaire natuurkunde — jaar 3

Universitaire natuurkunde — jaar 3 · Bachelor Year 3

1Lagrangiaanse mechanica

Probeer de wet van Newton op te schrijven voor een dubbele slinger: twee spankrachten, geen van beide vooraf bekend, beide op elk ogenblik van richting veranderend, en vier scalaire vergelijkingen om te ontwarren, alleen al om te weten hoe twee hoeken evolueren. Doe nu hetzelfde voor een kraal op een draaiende hoepel, een keten van gekoppelde veren, een robotarm. De krachten die een stelsel bijeenhouden — staven, rails, scharnieren — verrichten geen arbeid, en toch dwingt de methode van Newton ons ze door elke berekening mee te slepen. Dit hoofdstuk presenteert de herformulering die Lagrange in 1788 publiceerde: beschrijf het stelsel met de weinige coördinaten die werkelijk kunnen veranderen, schrijf één enkele functie L=EkEpL = E_k - E_p op, en één recept levert de bewegingsvergelijkingen in willekeurige coördinaten, met elke staaf en elke rail al weggewerkt. Beter nog, de nieuwe formulering maakt zichtbaar wat die van Newton verbergt: elke symmetrie van LL levert een behouden grootheid — de impuls uit de homogeniteit van de ruimte, de energie uit die van de tijd — een resultaat van Emmy Noether dat ver buiten de mechanica het ordenende beginsel van de natuurkunde is geworden.

1.1 Van krachten naar coördinaten

Definitie 1.1 (Dwangvoorwaarden, vrijheidsgraden, gegeneraliseerde coördinaten)

Een dwangvoorwaarde is een meetkundige voorwaarde die aan de posities van een stelsel wordt opgelegd — een kraal blijft op zijn draad, de staaf van een slinger houdt een vaste lengte, twee wielen van één as draaien samen. Een dwangvoorwaarde die als een vergelijking f(r1,,rN,t)=0f(\vect r_1, \dots, \vect r_N, t) = 0 tussen de coördinaten (en eventueel de tijd) te schrijven is, heet holonoom. Het aantal onafhankelijke manieren waarop de configuratie nog kan variëren is het aantal vrijheidsgraden nn; elk stel van nn onafhankelijke grootheden q1,,qnq_1, \dots, q_n dat de configuratie volledig vastlegt is een stel gegeneraliseerde coördinaten — hoeken, lengten of een willekeurige handige mengeling. Hun tijdsafgeleiden q˙1,,q˙n\dot q_1, \dots, \dot q_n heten de gegeneraliseerde snelheden.

Voorbeeld 1.2 (Vrijheidsgraden tellen)

Een punt op een tafel: n=2n = 2. Een vlakke slinger met vaste lengte: één hoek, n=1n = 1. Een dubbele slinger: twee hoeken, n=1+1=2n = 1 + 1 = 2. Een kraal op een starre hoepel: één hoek, n=1n = 1 — ook wanneer de hoepel zelf gedwongen wordt te draaien, want de opgelegde rotatie voegt geen vrijheid toe. Een star lichaam dat vrij in de ruimte beweegt: drie coördinaten van zijn zwaartepunt plus drie hoeken, n=6n = 6. Een gas van NN vrije moleculen (punten): n=3Nn = 3N. Elke holonome dwangvoorwaarde neemt één vrijheidsgraad weg: twee punten verbonden door een staaf hebben 3+31=53 + 3 - 1 = 5.

Gegeneraliseerde coördinaten: elk stelsel wordt beschreven door de hoeken die werkelijk kunnen veranderen, niet door de cartesische coördinaten van zijn massa’s. De spankrachten in de staven en de normaalkracht van de hoepel komen er nooit in voor.
Gegeneraliseerde coördinaten: elk stelsel wordt beschreven door de hoeken die werkelijk kunnen veranderen, niet door de cartesische coördinaten van zijn massa’s. De spankrachten in de staven en de normaalkracht van de hoepel komen er nooit in voor.

1.2 Het beginsel van de kleinste actie

Definitie 1.3 (Lagrangiaan en actie)

De lagrangiaan van een mechanisch stelsel waarvan de krachten afleidbaar zijn uit een potentiële energie EpE_p is de functie van de coördinaten, de snelheden en eventueel de tijd

L(q,q˙,t)=EkEp,L(q, \dot q, t) = E_k - E_p ,

de kinetische energie min de potentiële, beide uitgedrukt in de gegeneraliseerde coördinaten. De actie van een denkbare beweging q(t)q(t) tussen vaste eindpunten q(t1)q(t_1) en q(t2)q(t_2) is het getal

S[q]=t1t2L(q(t),q˙(t),t) ⁣dt.S[q] = \int_{t_1}^{t_2} L\big(q(t), \dot q(t), t\big)\,\dd t .

SS is een functionaal: hij verslindt een heel pad en geeft één getal terug, in joulesecondes — de eenheid van de constante van Planck.

Stelling 1.4 (Beginsel van Hamilton en de vergelijkingen van Euler–Lagrange)

Van alle denkbare bewegingen die dezelfde twee eindpunten in dezelfde tijd verbinden, is de werkelijke beweging die welke de actie stationair maakt (het beginsel van Hamilton, of het beginsel van de kleinste actie). Gelijkwaardig: de beweging voldoet aan de vergelijkingen van Euler–Lagrange

 ⁣d ⁣dtLq˙iLqi=0,i=1,,n:\frac{\dd}{\dd t}\frac{\partial L}{\partial\dot q_i} - \frac{\partial L}{\partial q_i} = 0 , \qquad i = 1, \dots, n :

één tweede-ordevergelijking per vrijheidsgraad, in welke coördinaten dan ook gekozen zijn.

Bewijs. Vervorm het pad: qi(t)qi(t)+δqi(t)q_i(t) \to q_i(t) + \delta q_i(t) met δqi(t1)=δqi(t2)=0\delta q_i(t_1) = \delta q_i(t_2) = 0. Tot op eerste orde geldt

δS=t1t2i(Lqiδqi+Lq˙iδq˙i) ⁣dt=t1t2i(Lqi ⁣d ⁣dtLq˙i)δqi ⁣dt,\delta S = \int_{t_1}^{t_2}\sum_i\Big( \frac{\partial L}{\partial q_i}\,\delta q_i + \frac{\partial L}{\partial\dot q_i}\,\delta\dot q_i\Big)\dd t = \int_{t_1}^{t_2}\sum_i\Big( \frac{\partial L}{\partial q_i} - \frac{\dd}{\dd t}\frac{\partial L}{\partial\dot q_i}\Big)\delta q_i\,\dd t ,

na partiële integratie van de tweede term (δq˙i= ⁣d(δqi)/ ⁣dt\delta\dot q_i = \dd(\delta q_i)/\dd t) en het weglaten van de randterm, die op de vaste eindpunten verdwijnt. Is δS=0\delta S = 0 voor elke vervorming, dan moet het haakje op elk ogenblik en voor elke ii nul zijn — was het ergens positief, dan gaf een daar geconcentreerde bult δqi\delta q_i een δS0\delta S \neq 0. Het omgekeerde leest men van dezelfde regel af.

Het beginsel van Hamilton: van alle paden met dezelfde eindpunten en dezelfde duur maakt het werkelijke pad S = ∈t L\, t stationair — vervormingen q van eerste orde veranderen S pas in tweede orde.
Het beginsel van Hamilton: van alle paden met dezelfde eindpunten en dezelfde duur maakt het werkelijke pad S=L ⁣dtS = \int L\,\dd t stationair — vervormingen δq\delta q van eerste orde veranderen SS pas in tweede orde.

Propositie 1.5 (Newton teruggevonden)

Voor een deeltje in cartesische coördinaten is L=12m(x˙2+y˙2+z˙2)Ep(x,y,z)L = \tfrac12 m(\dot x^2 + \dot y^2 + \dot z^2) - E_p(x,y,z), en de vergelijkingen van Euler–Lagrange luiden mx¨=Ep/xm\ddot x = -\partial E_p/\partial x en zo ook voor yy en zz: precies ma=Fm\vect a = \vect F. De lagrangiaanse en de newtoniaanse mechanica stemmen overeen waar beide gelden; de nieuwe vorm overleeft eenvoudigweg een verandering van coördinaten, wat Newtons componentvergelijkingen niet doen.

Bewijs. L/x˙=mx˙\partial L/\partial\dot x = m\dot x, L/x=Ep/x\partial L/\partial x = -\partial E_p/\partial x; de vergelijking van Euler–Lagrange luidt  ⁣d(mx˙)/ ⁣dt+Ep/x=0\dd(m\dot x)/\dd t + \partial E_p/\partial x = 0.

Opmerking 1.6 (Waarom de dwangkrachten verdwijnen)

De spankracht van een staaf, de normaalkracht van een rail, staan loodrecht op elke verplaatsing die de dwangvoorwaarde toelaat: zij verrichten geen arbeid in enige beweging die met de voorwaarde verenigbaar is. Omdat de actie is opgebouwd uit energieën die alleen op zulke bewegingen worden geëvalueerd, komen deze krachten nooit in LL voor — dat is het praktische wonder van de methode. De algemene rechtvaardiging (het beginsel van de virtuele arbeid van d’Alembert) wordt hier aangenomen; voor elk stelsel in dit boek kan het recept hieronder rechtstreeks tegen Newton worden getoetst, zoals Propositie 1.5 begon te doen. Wil men een dwangkracht zelf kennen — knapt de staaf? — dan keert men voor die ene kracht naar Newton terug, met de beweging al bekend.

Methode 1.7 (Het lagrangiaanse recept)

(1) Tel de vrijheidsgraden en kies coördinaten qiq_i — hoeken voor rotaties, abscissen langs rails. (2) Druk de posities r(qi,t)\vect r(q_i, t) uit, differentieer naar de tijd om de snelheden te krijgen en schrijf EkE_k; schrijf EpE_p. (3) L=EkEpL = E_k - E_p, waarbij elke additieve constante mag vervallen. (4) Eén vergelijking van Euler–Lagrange per coördinaat. (5) Oogst vóór het oplossen de behouden grootheden: cyclische coördinaten (Definitie 1.10) en de energiefunctie (Propositie 1.14). (6) Toets de limieten: kleine hoeken, uitgeschakelde rotatie, bekende bijzondere gevallen.

Voorbeeld 1.8 (De slinger, in drie regels)

Eén coördinaat θ\theta; v=θ˙eθ\vect v = \ell\dot\theta\,\vect e_\theta, dus Ek=12m2θ˙2E_k = \tfrac12 m\ell^2\dot\theta^2 en Ep=mgcosθE_p = -mg\ell\cos\theta. Dan is L=12m2θ˙2+mgcosθL = \tfrac12 m\ell^2\dot\theta^2 + mg\ell\cos\theta, en  ⁣d(m2θ˙)/ ⁣dt=mgsinθ\dd(m\ell^2\dot\theta)/\dd t = -mg\ell\sin\theta:

θ¨=gsinθ,\ddot\theta = -\frac{g}{\ell}\sin\theta ,

de vergelijking die het volume van jaar 1 uit het moment van de zwaartekracht verkreeg — met de spankracht nooit genoemd.

Voorbeeld 1.9 (Kraal op een draaiende hoepel)

Een kraal met massa mm glijdt op een verticale cirkelvormige hoepel met straal RR die gedwongen wordt met constante ω\omega om zijn verticale middellijn te draaien (Voorbeeld 1.2). Eén coördinaat, de poolhoek θ\theta vanaf het laagste punt. De snelheid van de kraal heeft een component Rθ˙R\dot\theta langs de hoepel en, loodrecht daarop, een component ωRsinθ\omega R\sin\theta door de opgelegde rotatie:

L=12mR2θ˙2+12mω2R2sin2θ+mgRcosθ,mR2θ¨=mω2R2sinθcosθmgRsinθ.L = \tfrac12 mR^2\dot\theta^2 + \tfrac12 m\omega^2R^2\sin^2\theta + mgR\cos\theta , \qquad mR^2\ddot\theta = m\omega^2R^2\sin\theta\cos\theta - mgR\sin\theta .

Evenwichten waar θ¨=0\ddot\theta = 0: het laagste punt θ=0\theta = 0 (en het hoogste, altijd onstabiel), en, zodra ω2>g/R\omega^2 > g/R, een nieuw paar cosθeq=g/ω2R\cos\theta_{\text{eq}} = g/\omega^2R. Schrijven we de vergelijking als mR2θ¨= ⁣dUeff/ ⁣dθmR^2\ddot\theta = -\dd U_{\text{eff}}/\dd\theta met de effectieve potentiële energie

Ueff(θ)=mgRcosθ12mω2R2sin2θU_{\text{eff}}(\theta) = -mgR\cos\theta - \tfrac12 m\omega^2R^2\sin^2\theta

dan wordt de meetkunde zichtbaar: onder de kritische draaisnelheid ωc=g/R\omega_{\text{c}} = \sqrt{g/R} is het laagste punt een put; erboven wordt het een top en gaat de kraal op de helling liggen, steeds hoger naarmate de hoepel sneller draait — het beginsel van de centrifugaalregulateur die stoommachines regelde.

De effectieve potentiaal van de kraal op de draaiende hoepel. Zodra  de waarde √g/R passeert, splitst de enkele put onderaan in twee symmetrische putten: de evenwichtshoek stijgt met de draaisnelheid.
De effectieve potentiaal van de kraal op de draaiende hoepel. Zodra ω\omega de waarde g/R\sqrt{g/R} passeert, splitst de enkele put onderaan in twee symmetrische putten: de evenwichtshoek stijgt met de draaisnelheid.

1.3 Symmetrieën en behoudswetten

Definitie 1.10 (Gegeneraliseerde impuls, cyclische coördinaat)

De gegeneraliseerde impuls geconjugeerd aan de coördinaat qiq_i is

pi=Lq˙i.p_i = \frac{\partial L}{\partial\dot q_i} .

Voor een cartesische coördinaat is dat de gewone impuls mx˙m\dot x; voor een hoek is het een impulsmoment. Een coördinaat die niet in LL voorkomt (al komt haar snelheid er wel in voor) heet cyclisch.

Propositie 1.11 (Cyclische coördinaten geven behoudswetten)

Is qiq_i cyclisch, dan blijft de geconjugeerde impuls behouden: L/qi=0\partial L/\partial q_i = 0 geeft  ⁣dpi/ ⁣dt=0\dd p_i/\dd t = 0. Coördinaten zó kiezen dat er zo veel mogelijk cyclisch zijn is de meest doeltreffende stap bij het oplossen van een mechanicavraagstuk.

Bewijs. Onmiddellijk uit de vergelijking van Euler–Lagrange voor qiq_i.

Voorbeeld 1.12 (Centrale kracht, opgelost door kijken)

Een deeltje in een centrale potentiaal Ep(r)E_p(r), in poolcoördinaten in zijn bewegingsvlak:

L=12m(r˙2+r2φ˙2)Ep(r).L = \tfrac12 m(\dot r^2 + r^2\dot\varphi^2) - E_p(r) .

φ\varphi is cyclisch, dus pφ=mr2φ˙p_\varphi = mr^2\dot\varphi — het impulsmoment — blijft behouden: de perkenwet van Kepler, die het volume van jaar 1 uit de momentvergelijking afleidde, valt hier vanzelf uit vóór er ook maar één vergelijking is opgelost. De overblijvende radiale vergelijking is mr¨=mrφ˙2Ep(r)m\ddot r = mr\dot\varphi^2 - E_p'(r), dat wil zeggen de eendimensionale beweging in de effectieve potentiaal Ep(r)+pφ2/2mr2E_p(r) + p_\varphi^2/2mr^2 van dat volume.

Stelling 1.13 (Stelling van Noether)

Bij elke continue symmetrie van de lagrangiaan hoort een behouden grootheid. Nauwkeurig: laat de verschuiving qiqi+εKi(q)q_i \to q_i + \varepsilon\,K_i(q) de LL tot op eerste orde in ε\varepsilon onveranderd voor alle bewegingen, dan is

Q=ipiKi(q)Q = \sum_i p_i\,K_i(q)

constant langs elke werkelijke beweging. De homogeniteit van de ruimte (invariantie onder translatie) levert de impuls; de isotropie van de ruimte (invariantie onder rotatie) levert het impulsmoment; de homogeniteit van de tijd levert de energie (Propositie 1.14).

Bewijs. Invariantie tot op eerste orde betekent 0=δL=i(qiLKi+q˙iLK˙i)ε0 = \delta L = \sum_i\big(\partial_{q_i}L\,K_i + \partial_{\dot q_i}L\,\dot K_i\big)\varepsilon. Op een werkelijke beweging is qiL=p˙i\partial_{q_i}L = \dot p_i volgens Euler–Lagrange, dus het haakje is i(p˙iKi+piK˙i)= ⁣dQ/ ⁣dt\sum_i(\dot p_iK_i + p_i\dot K_i) = \dd Q/\dd t. Een cyclische coördinaat is het bijzondere geval Ki=δijK_i = \delta_{ij}. Het geval van de tijdverschuiving vergt de aparte berekening van Propositie 1.14; de volledige stelling, voor transformaties die ook tt veranderen of LL met een totale afgeleide wijzigen, wordt in colleges over analytische mechanica bewezen en hier in die algemeenheid aangenomen.

Propositie 1.14 (De energiefunctie)

Langs elke beweging voldoet de energiefunctie

h=iq˙iLq˙iLaan ⁣dh ⁣dt=Lt.h = \sum_i \dot q_i\,\frac{\partial L}{\partial\dot q_i} - L \qquad\text{aan}\qquad \frac{\dd h}{\dd t} = -\frac{\partial L}{\partial t} .

Hangt LL niet expliciet van de tijd af, dan blijft hh behouden. Bevatten bovendien de betrekkingen r(q)\vect r(q) tussen posities en coördinaten de tijd niet — geen opgelegde rotatie, geen bewegende ophanging — dan is EkE_k een kwadratische vorm in de q˙i\dot q_i en geldt h=Ek+Eph = E_k + E_p: de mechanische energie. Bij een tijdafhankelijke dwangvoorwaarde blijft hh nog steeds behouden zodra L/t=0\partial L/\partial t = 0, maar het is niet de energie: de motor die de dwangvoorwaarde afdwingt wisselt arbeid met het stelsel uit.

Bewijs.  ⁣dh/ ⁣dt=i(q¨ipi+q˙ip˙i)i(qiLq˙i+q˙iLq¨i)tL\dd h/\dd t = \sum_i(\ddot q_ip_i + \dot q_i\dot p_i) - \sum_i(\partial_{q_i}L\,\dot q_i + \partial_{\dot q_i}L\,\ddot q_i) - \partial_tL. De termen in q¨i\ddot q_i vallen weg; de vergelijkingen van Euler–Lagrange maken van p˙i\dot p_i een qiL\partial_{q_i}L, wat het volgende paar wegstreept; tL-\partial_tL blijft over. Is Ek=12ajk(q)q˙jq˙kE_k = \tfrac12\sum a_{jk}(q)\dot q_j\dot q_k, dan geeft de identiteit van Euler voor kwadratische vormen q˙iEk/q˙i=2Ek\sum\dot q_i\,\partial E_k/\partial\dot q_i = 2E_k, dus h=2Ek(EkEp)=Ek+Eph = 2E_k - (E_k - E_p) = E_k + E_p.

Voorbeeld 1.15 (De draaiende hoepel bewaart hh, niet EE)

Voor de kraal van Voorbeeld 1.9 bevat LL geen expliciete tt, dus h=12mR2θ˙2+Ueff(θ)h = \tfrac12 mR^2\dot\theta^2 + U_{\text{eff}} (\theta) blijft behouden — maar de mechanische energie E=12mR2θ˙2+12mω2R2sin2θmgRcosθE = \tfrac12 mR^2\dot\theta^2 + \tfrac12 m\omega^2R^2\sin^2\theta - mgR\cos\theta niet: E=h+mω2R2sin2θE = h + m\omega^2R^2\sin^2\theta verandert terwijl de kraal glijdt. Het verschil is de arbeid van de motor die ω\omega constant houdt terwijl de afstand van de kraal tot de as verandert.

1.4 Geladen deeltjes en kleine trillingen

Propositie 1.16 (Lagrangiaan van een geladen deeltje)

In een elektromagnetisch veld beschreven door de potentialen VV en A\vect A (met E=VtA\vect E = -\vect\nabla V - \partial_t\vect A en B=curlA\vect B = \operatorname{\vect{curl}}\vect A, zoals in het volume van jaar 2) levert de lagrangiaan

L=12mv2qV+qvAL = \tfrac12 m\vect v^{\,2} - qV + q\,\vect v\cdot\vect A

via de vergelijkingen van Euler–Lagrange precies de lorentzkracht mv˙=q(E+vB)m\dot{\vect v} = q(\vect E + \vect v\wedge\vect B). De magnetische kracht, die geen arbeid verricht en uit geen gewone potentiële energie volgt, komt binnen via een term lineair in de snelheid; de geconjugeerde impuls wordt p=mv+qA\vect p = m\vect v + q\vect A, niet langer mvm\vect v alleen.

Bewijs. Voor de xx-component: px=mx˙+qAxp_x = m\dot x + qA_x, en xL=qxV+qvxA\partial_xL = -q\,\partial_xV + q\,\vect v\cdot\partial_x\vect A. De vergelijking van Euler–Lagrange geeft mx¨=qxVq ⁣dAx/ ⁣dt+qvxAm\ddot x = -q\,\partial_xV - q\,\dd A_x/\dd t + q\,\vect v\cdot\partial_x\vect A. Langs de beweging is  ⁣dAx/ ⁣dt=tAx+(v)Ax\dd A_x/\dd t = \partial_tA_x + (\vect v\cdot\vect\nabla)A_x, dus mx¨=qEx+q[vxA(v)Ax]m\ddot x = qE_x + q\big[\vect v\cdot\partial_x\vect A - (\vect v\cdot \vect\nabla)A_x\big], en het haakje is de xx-component van v(A)=vB\vect v\wedge(\vect\nabla\wedge\vect A) = \vect v\wedge\vect B — werk beide uit ter controle.

Propositie 1.17 (Kleine trillingen en eigentrillingen)

Nabij een stabiel evenwicht qeqq^{\text{eq}} ontwikkelen we LL tot op tweede orde in de uitwijkingen ui=qiqiequ_i = q_i - q_i^{\text{eq}}: L12miju˙iu˙j12kijuiujL \approx \tfrac12\sum m_{ij}\dot u_i\dot u_j - \tfrac12\sum k_{ij}u_iu_j met constante symmetrische matrices. De bewegingsvergelijkingen zijn lineair, en elke beweging is een superpositie van eigentrillingen: collectieve trillingen ui(t)=aicos(Ωt+ϕ)u_i(t) = a_i\cos(\Omega t + \phi) waarin alle coördinaten met één gemeenschappelijke frequentie meebewegen, terwijl de amplitudes en de frequenties voldoen aan j(kijΩ2mij)aj=0\sum_j(k_{ij} - \Omega^2m_{ij})\,a_j = 0 — een eigenwaardevraagstuk voor matrices, met nn modi voor nn vrijheidsgraden.

Bewijs. Lineaire termen verdwijnen in een evenwicht; de vergelijkingen van Euler–Lagrange van de kwadratische LL luiden jmiju¨j=jkijuj\sum_jm_{ij}\ddot u_j = -\sum_jk_{ij}u_j. Invullen van de proeftrilling geeft het genoemde lineaire stelsel, dat pas een amplitudevector ongelijk nul heeft wanneer det(kijΩ2mij)=0\det(k_{ij} - \Omega^2m_{ij}) = 0: nn waarden van Ω2\Omega^2, alle positief in een stabiel evenwicht. Dat de algemene beweging een superpositie van de modi is, is de simultane diagonalisatie van twee kwadratische vormen, een resultaat uit de lineaire algebra van het wiskundevolume van jaar 2; de volledigheid wordt aangenomen.

Voorbeeld 1.18 (Twee slingers gekoppeld door een veer)

Twee gelijke slingers (massa mm, lengte \ell), met hun gewichten verbonden door een veer met veerconstante kk die ontspannen is als beide recht naar beneden hangen. Voor kleine hoeken geldt

L=12m2(θ˙12+θ˙22)12mg(θ12+θ22)12k2(θ2θ1)2.L = \tfrac12 m\ell^2(\dot\theta_1^2 + \dot\theta_2^2) - \tfrac12 mg\ell(\theta_1^2 + \theta_2^2) - \tfrac12 k\ell^2(\theta_2 - \theta_1)^2 .

De symmetrie suggereert de combinaties s=θ1+θ2s = \theta_1 + \theta_2 en d=θ1θ2d = \theta_1 - \theta_2, die de vergelijkingen ontkoppelen: de modus in fase (θ1=θ2\theta_1 = \theta_2, veer werkloos) bij Ω1=g/\Omega_1 = \sqrt{g/\ell}, en de modus in tegenfase (θ1=θ2\theta_1 = -\theta_2, veer dubbel gerekt) bij Ω2=g/+2k/m\Omega_2 = \sqrt{g/\ell + 2k/m}. Zet één slinger alleen in beweging — een gelijke menging van de twee modi — en de energie verhuist volledig van de ene slinger naar de andere en terug, met de zweeffrequentie (Ω2Ω1)/2π(\Omega_2 - \Omega_1)/2\pi: de demonstratie met gekoppelde slingers, en het mechanisme achter elke resonante energieoverdracht, van afgestemde kringen tot moleculaire trillingen.

De twee eigentrillingen van de gekoppelde slingers. In fase rekt de veer nooit uit en is de frequentie die van de vrije slinger; in tegenfase voelt elk gewicht de veer verdubbeld.
De twee eigentrillingen van de gekoppelde slingers. In fase rekt de veer nooit uit en is de frequentie die van de vrije slinger; in tegenfase voelt elk gewicht de veer verdubbeld.
Een dubbele slinger vastgelegd met een lange belichtingstijd: twee coördinaten, één lagrangiaan, en een beweging die geen formule lang vooruit voorspelt — het apparaat van de kleinste actie uit dit hoofdstuk schrijft de vergelijkingen; de chaos houdt hun oplossingen bescheiden.
Een dubbele slinger vastgelegd met een lange belichtingstijd: twee coördinaten, één lagrangiaan, en een beweging die geen formule lang vooruit voorspelt — het apparaat van de kleinste actie uit dit hoofdstuk schrijft de vergelijkingen; de chaos houdt hun oplossingen bescheiden.

1.5 Opgaven

Oefening 1.1

Tel de vrijheidsgraden en stel gegeneraliseerde coördinaten voor: (a) een deeltje aan de binnenkant van een vaste schaal; (b) een cilinder die zonder slippen langs een vast hellend vlak rolt; (c) een dubbele slinger waarvan het bovenste draaipunt over een horizontale rail schuift; (d) een halter (twee massa’s, starre staaf) in de ruimte; (e) twee kralen op dezelfde vaste cirkelvormige draad. Welke dwangvoorwaarde in deze lijst betreft snelheden in plaats van posities, en waarom is zij toch tot een holonome te integreren?

Oplossing

Oplossing van Oefening 1.1.

(a) 2 (twee hoeken op het oppervlak van de schaal). (b) 1: de abscis xx langs de helling, want de draaihoek ligt door het rollen aan haar vast, x=Rϕx = R\phi. (c) 3: XX, θ1\theta_1, θ2\theta_2. (d) 5: drie voor het middelpunt, twee voor de richting van de staaf. (e) 2: elk één hoek. De rolvoorwaarde is een betrekking tussen snelheden, x˙=Rϕ˙\dot x = R\dot\phi; in dit vlakke vraagstuk is zij meteen te integreren tot x=Rϕ+constx = R\phi + \text{const}, en dus holonoom. (Voor een bal die op een vlak rolt is zij niet integreerbaar, en heeft de lagrangiaanse mechanica een uitbreiding nodig.)

Oefening 1.2

Voor de vlakke slinger (Voorbeeld 1.8): (a) controleer de dimensies van LL en van pθ=L/θ˙p_\theta = \partial L/\partial\dot\theta; (b) benoem pθp_\theta natuurkundig; (c) leid de periode voor kleine hoeken af; (d) bereken de actie SS van één volledige kleine trilling met amplitude θ0\theta_0 — en verklaar het antwoord vóór u rekent (wat is het tijdgemiddelde van EkEpE_k - E_p voor een harmonische trilling?).

Oplossing

Oplossing van Oefening 1.2.

(a) [L]=J[L] = \mathrm{J}; [pθ]=kgm2/s[p_\theta] = \mathrm{kg}\,\mathrm{m}^{2}/\mathrm{s} — een impulsmoment, want θ\theta is dimensieloos. (b) pθ=m2θ˙p_\theta = m\ell^2\dot\theta is het impulsmoment van het gewicht om het draaipunt. (c) θ¨=(g/)θ\ddot\theta = -(g/\ell)\theta geeft T=2π/gT = 2\pi\sqrt{\ell/g}. (d) Met EpE_p gemeten vanaf het evenwicht heeft een harmonische trilling gelijke tijdgemiddelde kinetische en potentiële energie, dus L=0\langle L\rangle = 0 en S=0S = 0 over een hele periode — de berekening bevestigt het: S=0T12m2θ02[ω2sin2ωt(g/)cos2ωt] ⁣dt=0S = \int_0^T\tfrac12 m\ell^2\theta_0^2[\omega^2\sin^2 \omega t - (g/\ell)\cos^2\omega t]\,\dd t = 0 omdat ω2=g/\omega^2 = g/\ell.

Oefening 1.3

Een machine van Atwood: de massa’s m1m_1 en m2m_2 hangen aan een ideaal koord over een massaloze katrol. (a) Kies één coördinaat en schrijf LL. (b) Bepaal de versnelling. (c) De aanpak van Newton had de spankracht nodig — waar is die gebleven? (d) Hoe zou u de spankracht terugvinden zodra de beweging bekend is?

Oplossing

Oplossing van Oefening 1.3.

(a) Zij xx de daling van m1m_1 (zodat m2m_2 met xx stijgt): L=12(m1+m2)x˙2+(m1m2)gxL = \tfrac12(m_1 + m_2)\dot x^2 + (m_1 - m_2)gx. (b) (m1+m2)x¨=(m1m2)g(m_1 + m_2)\ddot x = (m_1 - m_2)g: a=(m1m2)g/(m1+m2)a = (m_1 - m_2)g/(m_1 + m_2). (c) De spankracht grijpt aan beide uiteinden van een onrekbaar koord aan: in elke toegelaten verplaatsing heffen haar arbeiden elkaar op, dus komt zij nooit in LL voor. (d) Newton op m1m_1 alleen: T=m1(ga)=2m1m2g/(m1+m2)T = m_1(g - a) = 2m_1m_2g/(m_1 + m_2).

Oefening 1.4

Een vrij deeltje in cilindercoördinaten: L=12m(r˙2+r2φ˙2+z˙2)L = \tfrac12 m(\dot r^2 + r^2\dot\varphi^2 + \dot z^2). (a) Welke coördinaten zijn cyclisch, en welke impulsen blijven behouden? (b) Waarom blijft prp_r niet behouden, hoewel er geen kracht werkt? (c) Schrijf de vergelijking van Euler–Lagrange voor rr op en duid de term mrφ˙2mr\dot\varphi^2. (d) Ga na dat een rechte lijn met constante snelheid eraan voldoet.

Oplossing

Oplossing van Oefening 1.4.

(a) φ\varphi en zz: pφ=mr2φ˙p_\varphi = mr^2\dot\varphi (het impulsmoment om de as) en pz=mz˙p_z = m\dot z blijven behouden. (b) rr komt in LL voor via r2φ˙2r^2\dot\varphi^2 en is dus niet cyclisch: p˙r=mrφ˙20\dot p_r = mr\dot\varphi^2 \neq 0. Daar is niets mis mee — pr=mr˙p_r = m\dot r is de radiale component van een constante vector p\vect p, en een component langs een draaiende richting hoeft niet constant te zijn. (c) mr¨=mrφ˙2m\ddot r = mr\dot\varphi^2: de centrifugale term, de prijs van coördinaten die aan draaiende richtingen vastzitten. (d) Voor een lijn op afstand bb met snelheid vv doorlopen: r=b2+v2t2r = \sqrt{b^2 + v^2t^2}, r2φ˙=bvr^2\dot\varphi = bv; dan is r¨=b2v2/r3=r(bv/r2)2=rφ˙2\ddot r = b^2v^2/r^3 = r(bv/r^2)^2 = r\dot\varphi^2.

Oefening 1.5 ★★

Een blok met massa mm glijdt over het wrijvingsloze vlak (hoek α\alpha) van een wig met massa MM, die zelf vrij over een wrijvingsloze vloer kan schuiven. (a) Kies twee coördinaten: de abscis XX van de wig en de afstand ss die het blok langs het vlak heeft afgelegd; schrijf LL. (b) Welke coördinaat is cyclisch, en welke behoudswet drukt zij uit? (c) Bepaal de twee versnellingen. (d) Toets de limieten MM \to \infty en α90\alpha \to 90^\circ.

Oplossing

Oplossing van Oefening 1.5.

(a) Positie van het blok (X+scosα, ssinα)(X + s\cos\alpha,\ -s\sin\alpha), dus

L=12MX˙2+12m(X˙2+2X˙s˙cosα+s˙2)+mgssinα.L = \tfrac12 M\dot X^2 + \tfrac12 m\big(\dot X^2 + 2\dot X\dot s\cos\alpha + \dot s^2\big) + mgs\sin\alpha .

(b) XX is cyclisch: P=(M+m)X˙+ms˙cosαP = (M + m)\dot X + m\dot s\cos\alpha blijft behouden — de totale horizontale impuls, want er werkt geen uitwendige horizontale kracht. (c) De vergelijking voor ss luidt s¨+X¨cosα=gsinα\ddot s + \ddot X\cos\alpha = g\sin\alpha; met X¨=ms¨cosα/(M+m)\ddot X = -m\ddot s\cos\alpha/(M + m) uit (b),

s¨=(M+m)gsinαM+msin2α,X¨=mgsinαcosαM+msin2α.\ddot s = \frac{(M + m)g\sin\alpha}{M + m\sin^2\alpha} , \qquad \ddot X = -\frac{mg\sin\alpha\cos\alpha}{M + m\sin^2\alpha} .

(d) MM \to \infty: s¨gsinα\ddot s \to g\sin\alpha, het vaste hellend vlak; α90\alpha \to 90^\circ: s¨g\ddot s \to g, X¨0\ddot X \to 0 — vrije val langs een verticale wand, zonder duw tegen de wig.

Oefening 1.6 ★★

De bolslinger: een gewicht aan een staaf met lengte \ell, vrij in beide hoeken (θ\theta vanaf de neerwaartse verticaal, φ\varphi eromheen). (a) Schrijf LL. (b) Benoem de cyclische coördinaat en de behouden pφp_\varphi. (c) Herleid de beweging van θ\theta tot een effectieve potentiaal en schets die. (d) Vind voor de kegelbeweging θ=θ0\theta = \theta_0 de betrekking cosθ0=g/ω2\cos\theta_0 = g/\ell\omega^2 van de kegelslinger uit het volume van jaar 1 terug.

Oplossing

Oplossing van Oefening 1.6.

(a) L=12m2(θ˙2+sin2θφ˙2)+mgcosθL = \tfrac12 m\ell^2(\dot\theta^2 + \sin^2\theta\,\dot\varphi^2) + mg\ell\cos\theta. (b) φ\varphi is cyclisch: pφ=m2sin2θφ˙p_\varphi = m\ell^2\sin^2\theta\,\dot\varphi, het verticale impulsmoment. (c) Na eliminatie van φ˙\dot\varphi blijft 12m2θ˙2+Ueff(θ)\tfrac12 m\ell^2\dot\theta^2 + U_{\text{eff}}(\theta) behouden, met

Ueff(θ)=pφ22m2sin2θmgcosθ:U_{\text{eff}}(\theta) = \frac{p_\varphi^2}{2m\ell^2\sin^2\theta} - mg\ell\cos\theta :

een wand bij θ=0\theta = 0 en θ=π\theta = \pi (voor pφ0p_\varphi \neq 0) met één minimum ertussen — het gewicht nutateert tussen twee cirkels. (d) In het minimum is θ˙=0\dot\theta = 0 met θ=θ0\theta = \theta_0 constant: pφ2cosθ0/m2sin3θ0=mgsinθ0p_\varphi^2\cos\theta_0/m\ell^2\sin^3\theta_0 = mg\ell\sin\theta_0; invullen van pφ=m2sin2θ0ωp_\varphi = m\ell^2\sin^2\theta_0\,\omega geeft ω2cosθ0=g\ell\omega^2\cos\theta_0 = g.

Oefening 1.7 ★★

Een slinger (massa mm, lengte \ell) hangt aan een wagentje met massa MM dat vrij over een horizontale rail rolt. (a) Schrijf met de coördinaten XX (wagentje) en θ\theta de lagrangiaan LL op. (b) Wat blijft behouden, en waarom natuurkundig? (c) Lineariseer voor kleine θ\theta en toon aan dat de trillingsfrequentie Ω=(1+m/M)g/\Omega = \sqrt{(1 + m/M)\,g/\ell} bedraagt. (d) Verklaar de limieten MM \to \infty en M0M \to 0 — waarom verhoogt een licht wagentje de frequentie?

Oplossing

Oplossing van Oefening 1.7.

(a) Gewicht in (X+sinθ, cosθ)(X + \ell\sin\theta,\ -\ell\cos\theta):

L=12(M+m)X˙2+mcosθX˙θ˙+12m2θ˙2+mgcosθ.L = \tfrac12(M + m)\dot X^2 + m\ell\cos\theta\,\dot X\dot\theta + \tfrac12 m\ell^2\dot\theta^2 + mg\ell\cos\theta .

(b) XX is cyclisch: (M+m)X˙+mcosθθ˙(M + m)\dot X + m\ell\cos\theta\,\dot\theta blijft behouden — de horizontale impuls van het hele stelsel (de rail duwt alleen verticaal). (c) Kleine hoeken: (M+m)X¨+mθ¨=0(M + m)\ddot X + m\ell\ddot\theta = 0 en θ¨+X¨+gθ=0\ell\ddot\theta + \ddot X + g\theta = 0; na eliminatie van X¨\ddot X is θ¨[1m/(M+m)]=gθ\ell\ddot\theta\,[1 - m/(M + m)] = -g\theta, dus Ω2=(M+m)g/M=(1+m/M)g/\Omega^2 = (M + m)g/M\ell = (1 + m/M)\,g/\ell. (d) MM \to \infty: het vaste draaipunt, Ω2=g/\Omega^2 = g/\ell. Kleine MM: het wagentje wijkt tegengesteld aan het gewicht terug, de slingerbeweging verloopt om een punt tussen beide (het vaste massamiddelpunt), wat de effectieve slinger verkort — vandaar de hogere frequentie, die divergeert als M0M \to 0.

Oefening 1.8 ★★

Een deeltje met lading qq in een uniform veld B=Bez\vect B = B\vect e_z, beschreven door A=12Br\vect A = \tfrac12\vect B\wedge\vect r. (a) Schrijf LL in cartesische coördinaten. (b) Leid de bewegingsvergelijkingen af en ga na dat zij de cyclotroncirkel bij ωc=qB/m\omega_{\text{c}} = qB/m beschrijven. (c) Bereken de geconjugeerde impulsen pxp_x en pyp_y: zijn zij mx˙m\dot x en my˙m\dot y? Blijven zij behouden? (d) Toon aan dat LL in cilindercoördinaten φ\varphi cyclisch heeft, en benoem de behouden pφp_\varphi voor een cirkel met de as als middelpunt.

Oplossing

Oplossing van Oefening 1.8.

(a) A=12B(y,x,0)\vect A = \tfrac12 B(-y, x, 0): L=12m(x˙2+y˙2+z˙2)+12qB(xy˙yx˙)L = \tfrac12 m(\dot x^2 + \dot y^2 + \dot z^2) + \tfrac12 qB(x\dot y - y\dot x). (b) De vergelijking voor xx:  ⁣d(mx˙12qBy)/ ⁣dt=12qBy˙\dd(m\dot x - \tfrac12 qBy)/\dd t = \tfrac12 qB\dot y, dat wil zeggen mx¨=qBy˙m\ddot x = qB\dot y; evenzo my¨=qBx˙m\ddot y = -qB\dot x: cirkelbeweging bij ωc=qB/m\omega_{\text{c}} = qB/m, met z˙\dot z constant. (c) px=mx˙12qBymx˙p_x = m\dot x - \tfrac12 qBy \neq m\dot x; noch xx noch yy is cyclisch (L/x=12qBy˙\partial L/\partial x = \tfrac12 qB\dot y), dus blijft geen van beide impulsen behouden — alleen combinaties als mx˙qBym\dot x - qBy (ga na dat de afgeleide ervan verdwijnt). (d) In cilindercoördinaten is Aφ=12BrA_\varphi = \tfrac12 Br: L=12m(r˙2+r2φ˙2+z˙2)+12qBr2φ˙L = \tfrac12 m(\dot r^2 + r^2\dot\varphi^2 + \dot z^2) + \tfrac12 qBr^2\dot\varphi; φ\varphi is cyclisch, pφ=mr2φ˙+12qBr2p_\varphi = mr^2\dot\varphi + \tfrac12 qBr^2. Op een cirkel met straal RR rond de as is φ˙=ωc\dot\varphi = -\omega_{\text{c}}, dus pφ=qBR2+12qBR2=12qBR2p_\varphi = -qBR^2 + \tfrac12 qBR^2 = -\tfrac12 qBR^2.

Oefening 1.9 ★★

Voor de kraal op de draaiende hoepel (Voorbeeld 1.9): (a) bereken de energiefunctie hh en ga met de bewegingsvergelijking na dat zij behouden blijft; (b) bereken de mechanische energie EE en toon aan dat Eh=mω2R2sin2θE - h = m\omega^2R^2\sin^2\theta; (c) bepaal het vermogen dat de motor levert als functie van θ\theta en θ˙\dot\theta; (d) bepaal de frequentie van kleine trillingen om het gekantelde evenwicht wanneer ω2>g/R\omega^2 > g/R, en toon aan dat zij naar nul gaat als ω2g/R\omega^2 \to g/R — de vertraging die de splitsing van de put aankondigt.

Oplossing

Oplossing van Oefening 1.9.

(a) h=θ˙L/θ˙L=12mR2θ˙212mω2R2sin2θmgRcosθ=12mR2θ˙2+Ueffh = \dot\theta\,\partial L/\partial\dot\theta - L = \tfrac12 mR^2\dot\theta^2 - \tfrac12 m\omega^2R^2\sin^2\theta - mgR\cos\theta = \tfrac12 mR^2\dot\theta^2 + U_{\text{eff}};  ⁣dh/ ⁣dt=θ˙[mR2θ¨+Ueff(θ)]=0\dd h/\dd t = \dot\theta\,[mR^2\ddot\theta + U_{\text{eff}}'(\theta)] = 0 volgens de bewegingsvergelijking. (b) E=12mR2θ˙2+12mω2R2sin2θmgRcosθ=h+mω2R2sin2θE = \tfrac12 mR^2\dot\theta^2 + \tfrac12 m\omega^2R^2\sin^2\theta - mgR\cos\theta = h + m\omega^2R^2\sin^2\theta. (c) P= ⁣dE/ ⁣dt=mω2R2sin2θθ˙P = \dd E/\dd t = m\omega^2R^2\sin2\theta\,\dot\theta: positief zolang de kraal van de as weg klimt (de motor werkt tegen de traagheid van de kraal in), negatief op de terugweg. (d) Ueff=mgRcosθmω2R2cos2θU_{\text{eff}}'' = mgR\cos\theta - m\omega^2R^2\cos2\theta; bij cosθeq=g/ω2R\cos\theta_{\text{eq}} = g/\omega^2R is dit mω2R2sin2θeqm\omega^2R^2\sin^2\theta_{\text{eq}}, dus ωosc=ωsinθeq=ω1(g/ω2R)20\omega_{\text{osc}} = \omega\sin\theta_{\text{eq}} = \omega\sqrt{1 - (g/\omega^2R)^2} \to 0 als ω2g/R\omega^2 \to g/R: de terugdrijvende kracht vervlakt precies wanneer de putten samenvloeien.

Oefening 1.10 ★★★

De gelijkbenige dubbele slinger (m1=m2=mm_1 = m_2 = m, 1=2=\ell_1 = \ell_2 = \ell). (a) Toon aan dat voor kleine hoeken L=12m2(2θ˙12+2θ˙1θ˙2+θ˙22)12mg(2θ12+θ22)L = \tfrac12 m\ell^2(2\dot\theta_1^2 + 2\dot\theta_1\dot\theta_2 + \dot\theta_2^2) - \tfrac12 mg\ell(2 \theta_1^2 + \theta_2^2). (b) Schrijf de twee bewegingsvergelijkingen op. (c) Bepaal de eigenfrequenties Ω±2=(22)g/\Omega_\pm^2 = (2 \mp \sqrt2)\,g/\ell en de vorm van elke modus (θ2=±2θ1\theta_2 = \pm\sqrt2\,\theta_1). (d) Bij grote amplitude is dit stelsel een standaardvoorbeeld van chaos: leg in enkele regels uit wat de analyse voor kleine hoeken breekt, en waarom er geen enkele behoudswet verloren gaat.

Oplossing

Oplossing van Oefening 1.10.

(a) Posities x2=(sinθ1+sinθ2)x_2 = \ell(\sin\theta_1 + \sin\theta_2) enzovoort; houden we de kwadratische termen, dan is de gemengde snelheidsterm m2θ˙1θ˙2m\ell^2\dot\theta_1\dot\theta_2, wat de vermelde LL geeft. (b) 2θ¨1+θ¨2=2ω02θ12\ddot\theta_1 + \ddot\theta_2 = -2\omega_0^2\theta_1 en θ¨1+θ¨2=ω02θ2\ddot\theta_1 + \ddot\theta_2 = -\omega_0^2\theta_2, met ω02=g/\omega_0^2 = g/\ell. (c) Invullen van θi=aicosΩt\theta_i = a_i\cos\Omega t: det(2ω022Ω2Ω2Ω2ω02Ω2)=Ω44ω02Ω2+2ω04=0\det\begin{pmatrix} 2\omega_0^2 - 2\Omega^2 & -\Omega^2\\ -\Omega^2 & \omega_0^2 - \Omega^2\end{pmatrix} = \Omega^4 - 4\omega_0^2\Omega^2 + 2\omega_0^4 = 0, dus Ω±2=(22)ω02\Omega_\pm^2 = (2 \mp \sqrt2)\omega_0^2; de tweede regel geeft a2/a1=Ω2/(ω02Ω2)=±2a_2/a_1 = \Omega^2/(\omega_0^2 - \Omega^2) = \pm\sqrt2: de gewichten samen (trage modus), de gewichten tegengesteld (snelle modus). (d) Bij grote amplitude maken de koppelingen in sin\sin en cos\cos de vergelijkingen niet-lineair; oplossingen zijn niet meer superponeerbaar, en naburige begincondities lopen exponentieel uiteen (chaos). De energie blijft nog steeds exact behouden — LL bevat de tijd niet expliciet — chaos gaat over voorspelbaarheid, niet over behoud.

Oefening 1.11 ★★★

De brachistochroon. Een kraal glijdt zonder wrijving vanuit rust in de oorsprong langs een kromme y(x)y(x) (yy naar beneden) naar een punt (a,b)(a, b). (a) Toon met behoud van energie aan dat de daaltijd T=0a(1+y2)/2gy ⁣dxT = \int_0^a\sqrt{(1 + y'^2)/2gy}\,\dd x bedraagt — een functionaal, waarin xx de rol van de tijd speelt. (b) De integrand F(y,y)F(y, y') bevat geen expliciete xx: toon aan dat h=yF/yFh = y'\,\partial F/\partial y' - F constant is langs de optimale kromme (dezelfde berekening als in Propositie 1.14). (c) Leid y(1+y2)=2ry(1 + y'^2) = 2r af voor een constante rr, en ga na dat de cycloïde x=r(ϕsinϕ)x = r(\phi - \sin\phi), y=r(1cosϕ)y = r(1 - \cos\phi) eraan voldoet. (d) Toon aan dat de kraal er πr/g\pi\sqrt{r/g} over doet om de onderkant van één boog te bereiken, en vergelijk met de rechte glijbaan naar hetzelfde punt.

Oplossing

Oplossing van Oefening 1.11.

(a) v=2gyv = \sqrt{2gy} en  ⁣ds=1+y2 ⁣dx\dd s = \sqrt{1 + y'^2}\,\dd x leveren de functionaal. (b) De berekening van Propositie 1.14 met xx in de rol van de tijd:  ⁣dh/ ⁣dx=F/x=0\dd h/\dd x = -\partial F/\partial x = 0. (c) h=1/2gy(1+y2)h = -1/\sqrt{2gy(1 + y'^2)}, dus y(1+y2)=2ry(1 + y'^2) = 2r. Voor de cycloïde is y=sinϕ/(1cosϕ)y' = \sin\phi/(1 - \cos\phi) en 1+y2=2/(1cosϕ)1 + y'^2 = 2/(1 - \cos\phi), dus y(1+y2)=2ry(1 + y'^2) = 2r. (d)  ⁣dt= ⁣ds/v=r/g ⁣dϕ\dd t = \dd s/v = \sqrt{r/g}\,\dd\phi (alle afhankelijkheid van ϕ\phi valt weg), dus wordt het laagste punt (ϕ=π\phi = \pi) bereikt in πr/g\pi\sqrt{r/g} — vanaf welk beginpunt ook: de cycloïde is tevens de tautochroon. De rechte glijbaan naar (πr,2r)(\pi r, 2r) kost π2+4r/g3.72r/g\sqrt{\pi^2 + 4}\,\sqrt{r/g} \approx 3.72\sqrt{r/g}, zo’n 18%18\% meer dan πr/g\pi\sqrt{r/g}.

Oefening 1.12 ★★★

Fermat als kleinste actie. Licht in een middenstof met index n(y)n(y) legt de weg tussen twee punten in de kortste tijd af (volume van jaar 2). (a) Toon aan dat de looptijd langs y(x)y(x) gelijk is aan T=1cn(y)1+y2 ⁣dxT = \tfrac1c\int n(y)\sqrt{1 + y'^2}\,\dd x. (b) Omdat de integrand geen expliciete xx bevat, gebruikt u de behouden hh van de vorige opgave om aan te tonen dat n(y)/1+y2=constn(y)\big/\sqrt{1 + y'^2} = \text{const}, en ga na dat dit de wet van Snellius nsini=constn\sin i = \text{const} is voor een straal gemeten vanaf de verticaal. (c) Boven een heet wegdek groeit de index met de hoogte als n(y)n0(1+βy)n(y) \approx n_0(1 + \beta y); toon aan dat een bijna horizontale straal buigt met kromtestraal R1/βR \approx 1/\beta. (d) Vanaf welke afstand ziet een bestuurder met de ogen op 1.2m1.2\,\mathrm{m} boven het wegdek de “waterplas” als luchtspiegeling, met β=1.2×105m1\beta = 1.2 \times 10^{-5}\,\mathrm{m}^{-1}?

Oplossing

Oplossing van Oefening 1.12.

(a)  ⁣dt= ⁣ds/(c/n)\dd t = \dd s/(c/n). (b) h=n(y)/1+y2h = -n(y)/\sqrt{1 + y'^2} blijft behouden; 1/1+y2=cosθ1/\sqrt{1 + y'^2} = \cos\theta (met θ\theta de hellingshoek) =sini= \sin i voor ii vanaf de verticaal: nsini=constn\sin i = \text{const} — de wet van Snellius, continu toegepast. (c) Voor een bijna horizontale straal geeft ncosθconstn\cos\theta \approx \text{const} met kleine θ\theta dat θ ⁣dθ= ⁣dn/nβ ⁣dy\theta\,\dd\theta = \dd n/n \approx \beta\,\dd y; omdat  ⁣dy=θ ⁣dx\dd y = \theta\,\dd x, is de kromming  ⁣dθ/ ⁣dx=β\dd\theta/\dd x = \beta, dus R=1/β83kmR = 1/\beta \approx 83\,\mathrm{km}, met een buiging omhoog (naar grotere nn). (d) Een straal vanuit het oog die na die kromming met straal RR rakend aan het wegdek loopt, raakt het op d=2hR=2×1.2×8.3e4450md = \sqrt{2hR} = \sqrt{2 \times 1.2 \times 8.3e4} \approx 450\,\mathrm{m}: verder dan die afstand ziet men het wegdek zelf niet — men ziet omhoog gebroken hemel, de glinsterende “waterplas”.

De slinger van Foucault in het Panthéon te Parijs. Gegeneraliseerde coördinaten, een dwangvoorwaarde en een langzaam draaiend assenstelsel: de rotatie van de zaal duikt op in de bewegingsvergelijkingen — en de drift van het slingervlak laat een kelder de omwenteling van de aarde meten. Foto: Olga Khomitsevich, CC BY 2.0.
De slinger van Foucault in het Panthéon te Parijs. Gegeneraliseerde coördinaten, een dwangvoorwaarde en een langzaam draaiend assenstelsel: de rotatie van de zaal duikt op in de bewegingsvergelijkingen — en de drift van het slingervlak laat een kelder de omwenteling van de aarde meten. Foto: Olga Khomitsevich, CC BY 2.0.

1.6 Vraagstuk: De bezem die op zijn kop blijft staan

Probleem 1.1

Weekendvraagstuk — De omgekeerde slinger van Kapitza

Een starre slinger kan stabiel boven zijn draaipunt staan wanneer dat draaipunt snel genoeg op en neer wordt geschud — een verschijnsel dat Kapitza in 1951 analyseerde, opvallend genoeg om op een goocheltruc te lijken, en het beginsel waarmee oscillerende elektrische velden losse ionen vangen. We modelleren de slinger als een puntmassa mm aan het uiteinde van een massaloze starre staaf met lengte =40cm\ell = 40\,\mathrm{cm}; θ\theta is de hoek vanaf de neerwaartse verticaal en g=9.81m/s2g = 9.81\,\mathrm{m}/\mathrm{s}^{2}.

Deel I — De starre slinger. Het draaipunt wordt eerst vastgehouden.

  1. Schrijf de lagrangiaan en de bewegingsvergelijking op.
  2. Geef de frequentie f0f_0 van kleine trillingen om θ=0\theta = 0, en haar waarde.
  3. Toon aan dat hier h=Eh = E geldt, en gebruik het behoud ervan om de minimale beginsnelheid van het gewicht onderaan te vinden die het tot de top brengt.
  4. Lineariseer de vergelijking nabij θ=π\theta = \pi (stel θ=π+ϵ\theta = \pi + \epsilon) en toon aan dat ϵ¨=+(g/)ϵ\ddot\epsilon = +(g/\ell)\epsilon: hoe snel groeit een aanvankelijke helling van een milligraad? Geef de tijd waarin zij met een factor ee groeit.
  5. Een bezem op een vingertop valt in ongeveer een seconde om en blijft toch nooit alleen staan: zeg in één zin wat de gelineariseerde vergelijking over het evenwicht θ=π\theta = \pi zegt.

Deel II — Het draaipunt geschud. Het draaipunt trilt nu verticaal, met hoogte ys(t)=acosΩty_{\text{s}}(t) = a\cos\Omega t, waarbij a=2.0cma = 2.0\,\mathrm{cm} en Ω\Omega instelbaar is.

  1. Schrijf de coördinaten van het gewicht op en toon aan dat v2=2θ˙22aΩsin(Ωt)sinθθ˙+a2Ω2sin2Ωt\vect v^{\,2} = \ell^2\dot\theta^2 - 2a\Omega\ell\sin(\Omega t)\sin\theta\,\dot\theta + a^2\Omega^2\sin^2\Omega t.
  2. Toon aan dat twee lagrangianen die een totale tijdsafgeleide  ⁣dF(q,t)/ ⁣dt\dd F(q,t)/\dd t verschillen, dezelfde vergelijkingen van Euler–Lagrange geven.
  3. Herleid de lagrangiaan met deze vrijheid tot L=12m2θ˙2maΩ2cos(Ωt)cosθ+mgcosθL = \tfrac12 m \ell^2\dot\theta^2 - ma\Omega^2\ell\cos(\Omega t)\cos\theta + mg\ell\cos\theta. (Aanwijzing: sin(Ωt)sinθθ˙\sin(\Omega t)\sin\theta\,\dot\theta vormt samen met een term cos(Ωt)cosθ\cos(\Omega t)\cos\theta een totale afgeleide; termen die alleen van tt afhangen mogen vervallen.)
  4. Leid de bewegingsvergelijking af

    θ¨=gsinθ+aΩ2cos(Ωt)sinθ.\ddot\theta = -\frac{g}{\ell}\sin\theta + \frac{a\Omega^2}{\ell}\cos(\Omega t)\sin\theta .

    Duid de tweede term als het vervangen van de zwaartekracht door g+y¨sg + \ddot y_{\text{s}}: de slinger zit in een lift.

  5. Blijft de energiefunctie hh nu behouden? En de energie? Wat pompt er energie in en uit?
  6. In het regime van Kapitza geldt aa \ll \ell en Ωω0=g/\Omega \gg \omega_0 = \sqrt{g/\ell}: ga dit na voor a=2cma = 2\,\mathrm{cm}, =40cm\ell = 40\,\mathrm{cm} en Ω/2π=40Hz\Omega/2\pi = 40\,\mathrm{Hz}, en leg natuurkundig uit waarom het gewicht de aandrijving dan niet kan volgen.

Deel III — Snel en traag gescheiden. Zoek de beweging als θ(t)=Θ(t)+ξ(t)\theta(t) = \Theta(t) + \xi(t): een trage drift Θ\Theta plus een kleine rimpel ξ\xi op de aandrijffrequentie.

  1. Toon aan, door aan weerszijden alleen de grootste term te houden, dat de rimpel voldoet aan ξ¨+(aΩ2/)cos(Ωt)sinΘ\ddot\xi \approx +(a\Omega^2/\ell)\cos(\Omega t) \sin\Theta, met Θ\Theta bevroren op de tijdschaal van de aandrijving.
  2. Leid ξ(t)=(a/)cos(Ωt)sinΘ\xi(t) = -(a/\ell)\cos(\Omega t)\sin\Theta af en ga na dat de amplitude ervan klein is, van de orde a/a/\ell.
  3. Ontwikkel sinθ=sin(Θ+ξ)\sin\theta = \sin(\Theta + \xi) tot op eerste orde in ξ\xi en vul dit in de bewegingsvergelijking in.
  4. Middel over één aandrijfperiode, met Θ\Theta vastgehouden: toon met cosΩt=0\langle\cos\Omega t\rangle = 0 en cos2Ωt=12\langle\cos^2\Omega t\rangle = \tfrac12 aan dat

    Θ¨=gsinΘa2Ω222sinΘcosΘ.\ddot\Theta = -\frac{g}{\ell}\sin\Theta - \frac{a^2\Omega^2}{2\ell^2}\sin\Theta\cos\Theta .
  5. Toon aan dat dit een beweging in de effectieve potentiaal is

    Ueff(Θ)=mg(cosΘ+a2Ω24gsin2Θ).U_{\text{eff}}(\Theta) = mg\ell\Big({-\cos\Theta} + \frac{a^2\Omega^2}{4g\ell}\sin^2\Theta\Big) .
  6. Vergelijk met de kraal op de draaiende hoepel (Voorbeeld 1.9): dezelfde wiskunde, maar het tegengestelde teken van de nieuwe term — wat doet het schudden met het onderste evenwicht dat de rotatie niet deed?
  7. Schets UeffU_{\text{eff}} voor trage en voor snelle aandrijving, en beschrijf in elk geval elk evenwicht en zijn stabiliteit.

Deel IV — De bezem gaat staan.

  1. Ontwikkel UeffU_{\text{eff}} nabij Θ=π\Theta = \pi en toon aan dat de omgekeerde stand precies stabiel is wanneer

    a2Ω2>2g.a^2\Omega^2 > 2g\ell .
  2. Bereken de kritische aandrijffrequentie fc=Ωc/2πf_{\text{c}} = \Omega_{\text{c}}/2\pi voor onze slinger, en de piekwaarden van de snelheid aΩca\Omega_{\text{c}} en de versnelling aΩc2a\Omega_{\text{c}}^2 (in eenheden van gg) die zij van het draaipunt eist.
  3. Bepaal bij Ω=2Ωc\Omega = 2\Omega_{\text{c}} de frequentie van het trage wiegen van de staande slinger om Θ=π\Theta = \pi, en haar waarde; ga na dat zij inderdaad traag is vergeleken met de aandrijving.
  4. Nog steeds bij Ω=2Ωc\Omega = 2\Omega_{\text{c}}: hoe groot is de rimpelamplitude ξ\xi in graden bij een Θ\Theta iets naast π\pi, voor a/=0.05a/\ell = 0.05? Zou een foto de truc verraden?
  5. Hoever mag de bezem uit de verticaal hellen en toch terugkeren? Toon aan dat de staande put zich uitstrekt over Θπ<arccos(2g/a2Ω2)|\Theta - \pi| < \arccos(2g\ell/a^2\Omega^2), en evalueer dit bij Ω=2Ωc\Omega = 2\Omega_{\text{c}}.
  6. Een jongleur die een bezem op een stilstaande vingertop balanceert houdt hem ook overeind — met welk geheel ander mechanisme? Noem het kenmerk van de slinger van Kapitza dat geen terugkoppeling nodig heeft.
  7. Vat het genoemde resultaat samen: een draaipunt dat met amplitude 2cm2\,\mathrm{cm} bij 45Hz45\,\mathrm{Hz} wordt geschud — tweemaal de kritische frequentie — houdt een slinger van 40cm40\,\mathrm{cm} ondersteboven, in een put die tot zo’n 7575^\circ uit de verticaal reikt en die zachtjes wiegt bij ongeveer 1.4Hz1.4\,\mathrm{Hz}. Waar in de natuurkunde wordt dezelfde uitgemiddelde vangst gebruikt om één geladen deeltje vast te houden?
Oplossing

Oplossing van Probleem 1.1.

1. L=12m2θ˙2+mgcosθL = \tfrac12 m\ell^2\dot\theta^2 + mg\ell\cos\theta; θ¨=(g/)sinθ\ddot\theta = -(g/\ell)\sin\theta. 2. f0=g//2π=0.79Hzf_0 = \sqrt{g/\ell}/2\pi = 0.79\,\mathrm{Hz}. 3. De ophanging staat vast, dus h=E=12m2θ˙2mgcosθh = E = \tfrac12 m\ell^2\dot\theta^2 - mg\ell\cos\theta; van onder naar boven geldt 12mv2=2mg\tfrac12 mv^2 = 2mg\ell: v=2g=4.0m/sv = 2\sqrt{g\ell} = 4.0\,\mathrm{m}/\mathrm{s}. 4. ϵ¨=+(g/)ϵ\ddot\epsilon = +(g/\ell)\epsilon: ϵet/τ\epsilon \propto \eu^{t/\tau} met τ=/g=0.20s\tau = \sqrt{\ell/g} = 0.20\,\mathrm{s}. 5. Het omgekeerde evenwicht bestaat, maar is exponentieel onstabiel: elke helling, hoe klein ook, vermenigvuldigt zich elke 0.2s0.2\,\mathrm{s} met ee. 6. Gewicht in (sinθ, acosΩtcosθ)(\ell\sin\theta,\ a\cos\Omega t - \ell\cos\theta); differentiëren en kwadrateren geeft de vermelde v2\vect v^{\,2}, met de gemengde term 2aΩsin(Ωt)sinθθ˙-2a\Omega\ell\sin(\Omega t)\sin\theta\,\dot\theta. 7. Is L=L+ ⁣dF(q,t)/ ⁣dtL' = L + \dd F(q,t)/\dd t, dan verandert de actie met F(q2,t2)F(q1,t1)F(q_2, t_2) - F(q_1, t_1), een constante onder variaties met vaste eindpunten: dezelfde stationaire paden, dezelfde vergelijkingen. 8. De gemengde term is maΩsin(Ωt)sinθθ˙= ⁣d[maΩsin(Ωt)cosθ]/ ⁣dtmaΩ2cos(Ωt)cosθ-ma\Omega\ell\sin(\Omega t)\sin\theta\, \dot\theta = \dd[ma\Omega\ell\sin(\Omega t)\cos\theta]/\dd t - ma\Omega^2\ell\cos(\Omega t)\cos\theta; laten we de totale afgeleide en de termen in tt alleen vallen (12ma2Ω2sin2Ωt\tfrac12 ma^2\Omega^2\sin^2\Omega t en mgacosΩt-mga\cos\Omega t), dan blijft de vermelde LL over. 9. m2θ¨=mgsinθ+maΩ2cos(Ωt)sinθm\ell^2\ddot\theta = -mg\ell\sin\theta + ma\Omega^2\ell\cos(\Omega t)\sin\theta. Omdat y¨s=aΩ2cosΩt\ddot y_{\text{s}} = -a\Omega^2\cos\Omega t, is dit θ¨=[(g+y¨s)/]sinθ\ddot\theta = -[(g + \ddot y_{\text{s}})/\ell]\sin\theta: in het assenstelsel van het draaipunt trilt de schijnbare zwaartekracht. 10. LL hangt nu expliciet van tt af: hh blijft niet behouden en EE evenmin — de schudder voert via het draaipunt energie aan en af. 11. a/=0.05a/\ell = 0.05; Ω=251rad/s\Omega = 251\,\mathrm{rad}/\mathrm{s} tegen ω0=4.9rad/s\omega_0 = 4.9\,\mathrm{rad}/\mathrm{s}: verhouding 5151. In één aandrijfperiode (25ms25\,\mathrm{ms}) verandert de zwaartekracht θ˙\dot\theta nauwelijks: het gewicht is te traag om te volgen en trilt alleen mee. 12. ξ¨\ddot\xi is de grootste afgeleide (Ω2\propto\Omega^2) en de aandrijving de grootste krachtterm: ξ¨=(aΩ2/)cos(Ωt)sinΘ\ddot\xi = (a\Omega^2/\ell)\cos(\Omega t)\sin\Theta. 13. Tweemaal integreren bij vaste Θ\Theta: ξ=(a/)cos(Ωt)sinΘ\xi = -(a/\ell)\cos(\Omega t)\sin\Theta, met een amplitude van hoogstens a/=0.05a/\ell = 0.05: een trilling van twee graden. 14. sinθsinΘ+ξcosΘ\sin\theta \approx \sin\Theta + \xi\cos\Theta, dus

Θ¨+ξ¨=g(sinΘ+ξcosΘ)+aΩ2cosΩt(sinΘ+ξcosΘ).\ddot\Theta + \ddot\xi = -\frac{g}{\ell}(\sin\Theta + \xi\cos\Theta) + \frac{a\Omega^2}{\ell}\cos\Omega t\,(\sin\Theta + \xi\cos\Theta) .

15. Middelen doodt ξ¨\ddot\xi, cosΩt\langle\cos\Omega t\rangle en ξ\langle\xi\rangle; de overlevende gemengde term is (aΩ2/)cosΘξcosΩt=(a2Ω2/22)sinΘcosΘ(a\Omega^2/\ell)\cos\Theta\,\langle\xi\cos\Omega t\rangle = -(a^2\Omega^2/2\ell^2)\sin\Theta\cos\Theta, wat de vermelde vergelijking voor Θ\Theta geeft. 16. Θ¨=(1/m2)Ueff(Θ)\ddot\Theta = -(1/m\ell^2)\,U_{\text{eff}}'(\Theta) met Ueff=mg[cosΘ+(a2Ω2/4g)sin2Θ]U_{\text{eff}} = mg\ell[-\cos\Theta + (a^2\Omega^2/4g\ell) \sin^2\Theta] — differentieer ter controle. 17. Dezelfde term in sin2\sin^2 als bij de hoepel, maar met het tegengestelde teken: de rotatie groef putten op de flanken en kon de bodem alleen vlakker maken; het verticale schudden maakt de put onderaan juist stijver en graaft een nieuwe put bovenaan. 18. Trage aandrijving (a2Ω2<2ga^2\Omega^2 < 2g\ell): minimum bij Θ=0\Theta = 0, maximum bij π\pi — niets nieuws. Snelle aandrijving: minima bij 00 en π\pi, gescheiden door maxima bij cosΘ=2g/a2Ω2\cos\Theta^* = -2g\ell/a^2\Omega^2; zowel de hangende als de staande slinger trilt stabiel. 19. Nabij π\pi, met Θ=π+ϵ\Theta = \pi + \epsilon: ϵ¨=[g/a2Ω2/22]ϵ\ddot\epsilon = [g/\ell - a^2\Omega^2/2\ell^2]\,\epsilon; stabiliteit vergt een negatief haakje: a2Ω2>2ga^2\Omega^2 > 2g\ell. 20. Ωc=2g/a=140rad/s\Omega_{\text{c}} = \sqrt{2g\ell}/a = 140\,\mathrm{rad}/\mathrm{s}: fc=22Hzf_{\text{c}} = 22\,\mathrm{Hz}; pieksnelheid aΩc=2.8m/sa\Omega_{\text{c}} = 2.8\,\mathrm{m}/\mathrm{s}, piekversnelling aΩc2=392m/s240ga\Omega_{\text{c}}^2 = 392\,\mathrm{m}/\mathrm{s}^{2} \approx 40g. 21. ωtraag=a2Ω2/22g/\omega_{\text{traag}} = \sqrt{a^2\Omega^2/2\ell^2 - g/\ell}; bij Ω=2Ωc\Omega = 2\Omega_{\text{c}} is a2Ω2=8ga^2\Omega^2 = 8g\ell, dus ωtraag=3g/=8.6rad/s\omega_{\text{traag}} = \sqrt{3g/\ell} = 8.6\,\mathrm{rad}/\mathrm{s}: 1.4Hz1.4\,\mathrm{Hz}, dertig keer trager dan de aandrijving van 45Hz45\,\mathrm{Hz}. 22. ξmax=(a/)sinΘ\xi_{\max} = (a/\ell)\sin\Theta: bij 1010^\circ uit de verticaal is ξmax=0.05sin170=8.7mrad0.5\xi_{\max} = 0.05\sin170^\circ = 8.7\,\mathrm{mrad} \approx 0.5^\circ — op een gewone foto staat de bezem doodstil. 23. De staande put reikt tot de flankerende maxima: Θπ<arccos(2g/a2Ω2)|\Theta - \pi| < \arccos(2g\ell/a^2\Omega^2); bij Ω=2Ωc\Omega = 2\Omega_{\text{c}} is arccos14=75\arccos\tfrac14 = 75^\circ — een opmerkelijk vergevingsgezinde put. 24. De jongleur gebruikt terugkoppeling: de ogen meten de helling, de hand versnelt zijwaarts om haar op te heffen. De stabilisatie van Kapitza werkt in open lus — de aandrijving weet nooit waar de slinger staat. 25. Geschud met 45Hz45\,\mathrm{Hz} en een amplitude van 2cm2\,\mathrm{cm} staat de slinger van 40cm40\,\mathrm{cm} omgekeerd in een put van 7575^\circ en wiegt hij met 1.4Hz1.4\,\mathrm{Hz}. Dezelfde uitgemiddelde effectieve potentiaal, gemaakt met een oscillerend elektrisch quadrupoolveld in plaats van een geschud draaipunt, sluit losse ionen op in de val van Paul — het werkpaard van atoomklokken en van kwantumcomputers met gevangen ionen.

Begrippen gedefinieerd in dit hoofdstuk

Bekijk alle 431 begrippen in de begrippenlijst