Skip to content
Tiantan
Articles

Hoe kom je erachter of een transformatie een canonieke transformatie is?

Geplaatst op februari 17, 2021 door admin

We hadden een paar voorbeelden waarin we verondersteld werden de Canonical Transformation te berekenen ( CT), maar we hebben het nooit echt gehad over een voorwaarde die beslist of een transformatie een canonieke is of niet.

Laat me je een voorbeeld geven: we hadden de transformatie: $$ P = q \ cdot \ cot (p), \ qquad Q = \ ln \ left (\ frac {\ sin (p)} {q} \ right). $$ Hoe kan ik zien of deze transformatie canoniek is of niet?

Je hoeft niet de volledige berekening uit te voeren, maar misschien kun je me een hint geven wat ik hier moet laten zien?

Opmerkingen

  • Meer over CT: physics.stackexchange.com/q/69337/2451

Antwoord

Er zijn drie eenvoudige tests om te controleren of een transformatie canoniek is. Houd er rekening mee dat sommige multiplicatieve constanten in bepaalde leerboeken kunnen verschijnen, afhankelijk van de exacte definitie van canonieke transformatie.

Notatie

Laat $ x = (p, q) $ de $ 2n $ variabelen zijn, en de getransformeerde variabelen $ \ tilde {x} (x) = (\ tilde {p} (p, q), \ tilde {q} (p, q)) $.

De methode van de symplectische Jacobiaan

Laat $ J = \ gedeeltelijke \ tilde {x} / \ gedeeltelijke x $ is de Jacobiaanse matrix van de transformatie. Laat bovendien $ \ mathbb {E} $ een $ 2n \ maal 2n $ blokmatrix $$ \ mathbb {E} = \ begin {zijn pmatrix} 0 & 1 \\ -1 & 0 \ end {pmatrix} $$

Dan de transformatie is canoniek als en slechts als

$$ J \ mathbb {E} J ^ T = \ mathbb {E} $$

De methode van Poisson-haakjes

De transformatie is canoniek als en slechts als de fundamentele Poisson-haakjes behouden blijven

$$ \ {\ tilde {p} _i, \ tilde {p} _j \} = 0 \ qquad \ {\ tilde {q} _i, \ tilde {q} _j \} = 0 \ qquad \ {\ tilde {q} _i, \ tilde {p} _j \} = \ delta_ {ij} $$

De methode van de differentiaalvorm van Liouville

Dit is iets minder praktisch, maar ik neem het voor de volledigheid op. De transformatie is canoniek als en slechts als de differentiële vorm $ \ sum_i p_i \ mathrm {d} q_i – \ sum_i \ tilde {p} _i \ mathrm {d} \ tilde {q} _i $ is gesloten.

Reacties

  • Kun je een referentie geven voor de methode van de symplectische Jacobiaan (bij voorkeur een boek)? 🙂

Antwoord

Hint: Poisson-haakjes zijn canonieke invarianten, dit is

$$ \ {F, G \} _ {q, p} = \ {F, G \} _ {Q, P} $$

Reacties

  • dus het is voldoende om aan te tonen dat $ \ {Q, P \} _ {q, p} = 1 $?
  • Ja; dit is de meer robuuste definitie van een CT. Aangezien PBs afgeleid zijn, dwz gehoorzamen aan de kettingregel, hoeft u slechts twee termen eenvoudig te berekenen om de relatie waar u naar vraagt te verifiëren.

Antwoord

Een andere manier (een praktische sneltoets) is om te proberen een genererende functie te vinden. In dit geval zullen we $ F_3 (Q, p) $ gebruiken aangezien $ Q $ en $ p $ meer basale variabelen lijken te zijn. De oorspronkelijke vergelijkingen zijn gelijk aan \ begin {align} P & = q \, \ cot p \ tag {1} \\ q & = e ^ {- Q} \, \ sin p. \ tag {2} \ end {align} Eq. (1) is gelijk aan \ begin {align} P = e ^ {- Q} \, \ cos p. \ tag {3} \ end {align}

Nu van verg. (2) en (3), kunnen we gemakkelijk verifiëren dat $ F_3 (Q, p) = e ^ {- Q} \ cos p $ voldoet aan \ begin {align} P = – \ frac {\ partiële F_3} {\ gedeeltelijk Q}, \ tag {4} \\ q = – \ frac {\ partiële F_3} {\ partiële p}. \ tag {5} \ end {align} Dit betekent voor de gegeven transformatie wordt gegenereerd door deze $ F_3 (Q, p) $, en is daarom canoniek.

Merk op dat de mogelijke functionele vorm van $ F_3 (Q, p) $ kan worden afgeleid uit een trial-and-error-benadering. In dit geval hebben we Eq. (4), $$ F_3 = – \ int P \, dQ = – \ int e ^ {- Q} \ cos p \, dQ = e ^ {- Q} \ cos p, $$ en vervolgens geverifieerd dat het tevreden was Eq . (5).

Antwoord

Het antwoord van Enucatl is voldoende. In het voorbeeld $$ P = q \ cot (p), $$ $$ Q = \ ln \ left (\ frac {\ sin (p)} {q} \ right), $$ gegeven in de vraag, het lijkt erop dat er een niet-overeenkomende dimensie is.

Het argument in $ \ cot $ moet ongeveer $ [p / (p_o)] $ zijn, waar $ p_o $ dimensies van momentum heeft en het argument van de logaritme $ moet zijn $ q_o \ frac {\ sin (p / p “_o)} {q}, $$ $ p” _o $ hoeft niet gelijk te zijn aan $ p_o $. Zelfs als P en Q geen afmetingen van respectievelijk momentum en lengte hebben, doet het er misschien niet toe (bekend als in elk algemeen geval van een canonieke transformatie).

Ik ben benieuwd of de bewerkingen voor dimensionale matching impliciete (zoals de modieuze (wat ik niet leuk vind) manier waarop bepaalde boeken $ c = 1 $ nemen en de relativistische energie van een vrij deeltje $ E = (m ^ 2 + p ^ 2) ^ {1/2} noemen $ in plaats van $ E = (m ^ 2 c ^ 4 + p ^ 2c ^ 2) ^ {1/2} $ etc.).

Geschreven door admin

Geef een reactie Antwoord annuleren

Het e-mailadres wordt niet gepubliceerd. Vereiste velden zijn gemarkeerd met *

Meest recente berichten

  • Met behulp van een balun met een resonerende dipool
  • Wat is het verschil tussen “ kan niet ” en “ kan niet ”? [duplicate]
  • Kunt u zich bij JFK op binnenlandse vluchten tussen terminals aan de airside verplaatsen?
  • “ Zeer gewaardeerd ” of “ zeer gewaardeerd ”
  • Wat betekent ' abstracte ideeën '? [gesloten]

Archief

  • februari 2021
  • januari 2021
  • december 2020
  • november 2020
  • Deutsch
  • Nederlands
  • Svenska
  • Norsk
  • Dansk
  • Español
  • Français
  • Português
  • Italiano
  • Română
  • Polski
  • Čeština
  • Magyar
  • Suomi
  • 日本語
  • 한국어

Auteursrecht Tiantan 2021 | Thema door Theme in Progress | Mogelijk gemaakt door WordPress

Naar boven