Liitännäismuuttujat ovat muuttujapareja, jotka liittyvät matemaattisesti toisiinsa Fourier-muunnoksen kautta . [1] [2] tai yleisesti ottaen Pontrjaginin kaksinaisuuden avulla . Kaksinaisuussuhde johtaa luonnollisesti epävarmuussuhteeseen, jota kutsutaan fysiikassa Heisenbergin epävarmuusperiaatteeksi . Matemaattisesti konjugaattimuuttujat ovat osa symplektistä perustaa ja epävarmuussuhde vastaa symplektistä muotoa . Lisäksi liitännäismuuttujat liittyvät toisiinsa käyttämällä Noetherin lausetta , jonka mukaan jos suljetun fyysisen järjestelmän ominaisuudet ovat muuttumattomia jonkin adjointmuuttujan muutoksen vaikutuksesta, silloin toinen adjointmuuttuja kyseisessä fyysisessä järjestelmässä säilyy ajan myötä.
Kanonisesti konjugoituja muuttujia on monenlaisia:
Klassisessa fysiikassa johdannaiset ovat konjugoituja muuttujia, joiden arvo on erilainen. Kvanttimekaniikassa nämä samat muuttujaparit yhdistetään Heisenbergin epävarmuusperiaatteella .
Kvanttimekaniikassa konjugoidut muuttujat realisoidaan havainnoitavien pareina, joiden operaattorit eivät kommutoi. Perinteisessä terminologiassa niitä kutsutaan "yhteensopimattomiksi havaittaviksi". Tarkastellaan esimerkiksi koordinaatin ja liikemäärän antamia mitattavia suureita . Kvanttimekaanisessa formalismissa kaksi havaittavaa ja vastaavat operaattoreita ja , jotka välttämättä täyttävät kanonisen kommutointisuhteen :
[ x ^ , s ^ ] = x ^ s ^ − s ^ x ^ = i ℏ {\displaystyle [{\widehat {x}},{\widehat {p\,}}]={\widehat {x}}{\widehat {p\,}}-{\widehat {p\,}}{ \widehat {x}}=i\hbar }Jokaiselle kahden operaattorin nollasta poikkeavalle kommutaattorille on olemassa "epävarmuusperiaate", joka tässä esimerkissämme voidaan ilmaista seuraavasti:
Δ x Δ s ≥ ℏ / 2 {\displaystyle \Delta x\,\Delta p\geq \hbar /2}Tässä sumeassa merkinnässä ja merkitsee "epävarmuutta" samanaikaisessa määrittelyssä ja . Tarkempi ja tilastollisesti täydellisempi lausunto, joka sisältää keskihajonnan , kuuluu:
σ x σ s ≥ ℏ / 2 {\displaystyle \sigma _{x}\sigma _{p}\geq \hbar /2}Yleisemmin kaikille kahdelle havaittavalle, jotka vastaavat operaattoreita ja , yleinen epävarmuusperiaate saadaan seuraavasti:
σ A 2 σ B 2 ≥ ( yksi 2 i ⟨ [ A ^ , B ^ ] ⟩ ) 2 {\displaystyle {\sigma _{A}}^{2}{\sigma _{B}}^{2}\geq \left({\frac {1}{2i}}\left\langle \left[{ \widehat {A)),{\widehat {B}}\right]\right\rangle \right)^{2}}Sen mukaan voidaan valita kaksi operaattoria, jotka määrittävät kullekin matemaattisen muodon siten, että pari sen tyydyttää. Tämä operaattoreiden valinta heijastaa yhtä monista vastaavista (isomorfisista) esityksistä yleisestä algebrallisesta perusrakenteesta, joka kuvaa kvanttimekaniikkaa (Heisenberg Lie -algebra , vastaavaa ryhmää kutsutaan Heisenberg-ryhmäksi ).
Hamiltonin nestemekaniikassa ja kvanttihydrodynamiikassa itse " toiminta " (tai "nopeuspotentiaali") on " tiheyden " (tai " todennäköisyystiheyden ") konjugaattimuuttuja .