Kanonický převod

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 .

Definice

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.

Generování funkcí

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.

Generující funkce 1. 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é .

Generující funkce 2. typu

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ý :


Generující funkce 3. typu

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ý :


Generující funkce 4. typu

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ý :

Příklady

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 jako generující funkce

Akce vyjádřená jako funkce souřadnic a hybnosti koncového bodu

definuje kanonickou transformaci Hamiltonovského systému.

Závorky Poisson a Lagrange

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 :

Literatura