V Hamiltonian mechanice , kanonická transformace (také transformace kontaktu ) je transformace kanonických proměnných, která nemění obecný tvar Hamiltonian rovnic pro nějaký Hamiltonian. Kanonické transformace mohou být také zavedeny v kvantovém případě, protože nemění formu Heisenbergových rovnic . Umožňují redukovat problém s určitým hamiltoniánem na problém s jednodušším hamiltoniánem v klasickém i kvantovém případě. Kanonické transformace tvoří skupinu .
Proměny
, kde je počet stupňů volnosti ,se říká, že jsou kanonické , pokud tato transformace překládá hamiltonovské rovnice hamiltonovskou funkcí :
do Hamiltonových rovnic s Hamiltonovou funkcí :
Proměnné a se nazývají nové souřadnice a hybnosti, zatímco a se nazývají staré souřadnice a hybnost.
Z invariance Poincarého-Cartanova integrálu a Lee Hua-chungovy věty o jeho jedinečnosti lze získat:
kde konstanta se nazývá valence kanonické transformace, je totální diferenciál nějaké funkce (předpokládá se, že a jsou také vyjádřeny v termínech starých proměnných). Říká se tomu generující funkce kanonické transformace. Kanonické transformace jsou určovány generující funkcí a valenci jedna ku jedné.
Kanonické transformace, pro které se nazývají univalentní . Vzhledem k tomu, že různé pro danou generující funkci mění výrazy pro nové souřadnice přes staré a také pro hamiltonián pouze konstantou, jsou často uvažovány pouze univalentní kanonické transformace.
Generující funkce může být často vyjádřena nikoli pomocí starých souřadnic a momentů, ale pomocí libovolných dvou ze čtyř proměnných a výběr je pro každou z nich nezávislý . Ukázalo se, že je vhodné to vyjádřit tak, že pro každou je proměnná nová a druhá stará. Existuje lemma, které říká, že to lze udělat vždy. Diferenciál funkce má explicitní formu totálního diferenciálu, když je vyjádřen v podmínkách starých a nových souřadnic . Při použití jiných dvojic souřadnic je vhodné přejít na funkce, jejichž diferenciál bude mít explicitní tvar celkového diferenciálu pro odpovídající proměnné. Chcete-li to provést, musíte provést Legendre transformace původní funkce . Výsledné funkce se nazývají generující funkce kanonické transformace v odpovídajících souřadnicích. V případě, že je volba souřadnic pro všechny stejná , existují čtyři možnosti výběru proměnných, odpovídající funkce jsou obvykle označeny čísly:
kde jsou pro jednoduchost zavedeny vektory starých souřadnic a hybností , , a podobně pro nové souřadnice a momenty. Takové generující funkce se označují jako generující funkce 1., 2., 3. nebo 4. typu.
Nechť je libovolná nedegenerovaná funkce starých souřadnic, nových souřadnic a času:
navíc je dáno určité číslo , pak dvojice definuje kanonickou transformaci podle pravidla
Spojení s původní generující funkcí:
Kanonickou transformaci lze získat pomocí funkce, jako je tato, pokud je jakobián nenulový :
Kanonické transformace doplněné touto podmínkou se nazývají volné .
Nechť je libovolná nedegenerovaná funkce starých souřadnic, nových impulsů a času:
navíc je dáno určité číslo , pak dvojice definuje kanonickou transformaci podle pravidla
Spojení s původní generující funkcí:
Kanonickou transformaci lze získat pomocí funkce, jako je tato, pokud je jakobián nenulový :
Nechť je libovolná nedegenerovaná funkce starých momentů, nových souřadnic a času:
navíc je dáno určité číslo , pak dvojice definuje kanonickou transformaci podle pravidla
Spojení s původní generující funkcí:
Kanonickou transformaci lze získat pomocí funkce, jako je tato, pokud je jakobián nenulový :
Nechť je libovolná nedegenerovaná funkce starých impulsů, nových impulsů a času:
navíc je dáno určité číslo , pak dvojice definuje kanonickou transformaci podle pravidla
Spojení s původní generující funkcí:
Kanonickou transformaci lze získat pomocí funkce, jako je tato, pokud je jakobián nenulový :
1. Transformace identity
lze získat z:
2. Pokud nastavíte
pak výsledná transformace bude vypadat takto:
Rozdělení kanonických proměnných na souřadnice a momenty je tedy z matematického hlediska podmíněné.
3. Transformujte inverzi
lze získat z:
4. Bodové transformace (transformace, ve kterých jsou nové souřadnice vyjádřeny pouze starými souřadnicemi a časem, ale ne starými impulsy.)
Vždy je lze nastavit pomocí:
pak
Zejména pokud
kde je ortogonální matice :
pak
Funkce také vede k bodovým transformacím:
pak
Zejména funkce
nastavuje přechod z kartézských do válcových souřadnic .
5. Lineární transformace systémových proměnných s jedním stupněm volnosti:
je univalentní kanonická transformace pro
generující funkce:
Takové transformace tvoří zvláštní lineární grupu .
Akce vyjádřená jako funkce souřadnic a hybnosti koncového bodu
definuje kanonickou transformaci Hamiltonovského systému.
Nezbytnou a postačující podmínkou pro to, aby transformace byly kanonické, lze zapsat pomocí Poissonových závorek :
Nezbytnou a postačující podmínkou pro kanonickost transformace je navíc splnění libovolných funkcí a podmínek:
kde a jsou Poissonovy závorky ve starých a nových souřadnicích.
V případě univalentních kanonických transformací:
a o Poissonových závorkách se říká, že jsou při takových transformacích invariantní. Někdy jsou kanonické transformace definovány tímto způsobem (v tomto případě jsou pouze univalentní transformace považovány za kanonické transformace).
Podobně nutnou a postačující podmínku pro kanonikitu transformací lze zapsat pomocí Lagrangeových závorek :