Aaltofunktio tai psi-funktio on kompleksiarvoinen funktio , jota käytetään kvanttimekaniikassa kuvaamaan järjestelmän puhdasta tilaa . Aaltofunktion yleisimmät symbolit ovat kreikkalaiset kirjaimet ψ ja Ψ (pienet kirjaimet ja isot kirjaimet psi ). Se on tilavektorin laajennuskerroin kantana (yleensä koordinaattina):
missä on koordinaattikantavektori ja on aaltofunktio koordinaattiesituksessa.
Kööpenhaminan kvanttimekaniikan tulkinnan mukaan hiukkasen löytämisen todennäköisyystiheyden tietyssä pisteessä konfiguraatioavaruudessa tietyllä hetkellä katsotaan olevan yhtä suuri kuin tämän tilan aaltofunktion itseisarvon neliö koordinaatissa. edustus.
Aaltofunktio on vapausasteiden funktio , joka vastaa jotakin työmatkahavainnon maksimijoukkoa . Kun tällainen esitys on valittu, aaltofunktio voidaan johtaa kvanttitilasta.
Tietylle järjestelmälle työmatkan vapausasteiden valinta ei ole yksiselitteistä, ja vastaavasti aaltofunktion määritelmäalue ei myöskään ole ainutlaatuinen. Sitä voidaan pitää esimerkiksi kaikkien hiukkasten sijaintikoordinaattien funktiona koordinaattiavaruudessa tai kaikkien hiukkasten momenttien funktiona liikemääräavaruudessa ; nämä kaksi kuvausta liittyvät toisiinsa Fourier-muunnoksen avulla . Joillakin hiukkasilla, kuten elektroneilla ja fotoneilla , on nollasta poikkeava spin , ja tällaisten hiukkasten aaltofunktio sisältää spinin sisäisenä diskreettinä vapausasteena; myös muita diskreettejä muuttujia, kuten isospin , voidaan harkita eri järjestelmissä . Kun järjestelmällä on sisäiset vapausasteet, aaltofunktio jokaisessa jatkuvan vapausasteen pisteessä (esimerkiksi koordinaattiavaruuden pisteessä) määrittää kompleksiluvun jokaiselle diskreettien vapausasteiden mahdolliselle arvolle (esim. spinin z-komponentti) - nämä arvot näytetään usein vektorisarakkeena (esimerkiksi 2 × 1 ei-relativistiselle elektronille, jolla on spin.
Kvanttimekaniikan superpositioperiaatteen mukaan aaltofunktiot voidaan lisätä ja kertoa kompleksiluvuilla uusien aaltofunktioiden rakentamiseksi ja Hilbert-avaruuden määrittämiseksi . Kahden aaltofunktion välisen Hilbert-avaruuden sisätulo on vastaavien fysikaalisten tilojen päällekkäisyyden mitta, ja sitä käytetään kvanttimekaniikan perustavanlaatuisessa todennäköisyystulkinnassa, Bornin säännössä , joka liittää siirtymän todennäköisyydet tilojen pistetuloon. Schrödingerin yhtälö määrittelee kuinka aaltofunktiot kehittyvät ajan myötä, ja aaltofunktio käyttäytyy kvalitatiivisesti kuten muut aallot , kuten aallot vedessä tai aallot merkkijonossa, koska Schrödingerin yhtälö on matemaattisesti aaltoyhtälön muunnelma . Tämä selittää nimen "aaltofunktio" ja johtaa aalto-hiukkasten kaksinaisuuteen . Kvanttimekaniikan aaltofunktio kuvaa kuitenkin eräänlaista fysikaalista ilmiötä, joka on edelleen avoin erilaisille tulkinnoille ja joka on pohjimmiltaan erilainen kuin klassisten mekaanisten aaltojen [1] [2] [3] [4] [5] [6] [ 7] .
Bornin ei-relativistisen kvanttimekaniikan tilastollisessa tulkinnassa [8] [9] [10] aaltofunktion neliömoduuli on reaaliluku, joka tulkitaan todennäköisyystiheydeksi, jolla hiukkanen mitataan tietyssä paikassa tai tietyssä paikassa. jolla on tietty vauhti tiettynä aikana ja joilla on mahdollisesti tietyt arvot erillisiin vapausasteisiin. Tämän arvon integraalin kaikilla järjestelmän vapausasteilla tulee olla yhtä suuri kuin 1 todennäköisyyslaskennan mukaan. Tätä yleistä vaatimusta , jonka aaltofunktion on täytettävä , kutsutaan normalisointiehdoksi . Koska aaltofunktiolla on monimutkaisia arvoja, vain sen suhteellinen vaihe ja suhteellinen suuruus voidaan mitata – sen arvo erikseen otettuna ei kerro mitään mitattavien havaintojen suuruuksista tai suunnista; aaltofunktioon ψ on tarpeen soveltaa kvanttioperaattoreita , joiden ominaisarvot vastaavat mahdollisten mittaustulosten joukkoja, ja laskea tilastolliset jakaumat mitattavissa oleville suureille.
Albert Einstein väitti vuonna 1905 fotonin taajuuden ja sen energian välisen suhteellisuuden [11] , ja vuonna 1916 vastaavan fotonin liikemäärän ja sen aallonpituuden välisen suhteen [12] , jossa on Planckin vakio . Vuonna 1923 De Broglie ehdotti ensimmäisenä, että relaatio , jota nykyään kutsutaan De Broglien suhteeksi , pätee massiivisille hiukkasille, mikä on tärkein avain ymmärtämiseen, mikä on Lorentzin invarianssi [13] , ja tätä voidaan pitää lähtökohtana. nykyaikaiseen kvanttimekaniikan kehittämiseen. Yhtälöt kuvaavat aalto-hiukkasten kaksinaisuutta sekä massattomille että massiivisille hiukkasille.
1920- ja 1930-luvuilla kvanttimekaniikka kehitettiin käyttämällä laskentaa ja lineaarista algebraa . Louis de Broglie , Erwin Schrödinger ja muut " aaltomekaniikan " kehittäjät käyttivät työssään analyysia . Lineaarisen algebran menetelmiä soveltaneiden joukossa olivat Werner Heisenberg , Max Born ja muut, jotka kehittivät "matriisimekaniikan". Myöhemmin Schrödinger osoitti, että nämä kaksi lähestymistapaa ovat samanarvoisia [14] .
Vuonna 1926 Schrödinger julkaisi kuuluisan aaltoyhtälön, joka on nyt nimetty hänen mukaansa, Schrödinger-yhtälön . Tämä yhtälö perustui klassiseen energian säilymislakiin , mutta kirjoitettiin käyttämällä kvanttioperaattoreita ja de Broglie -relaatioita, ja sen ratkaisut esitettiin kvanttijärjestelmän aaltofunktioilla [15] . Kukaan ei kuitenkaan osannut tulkita tätä [16] . Aluksi Schrödinger ja muut ajattelivat, että aaltofunktiot olivat hiukkasia, jotka jakautuvat avaruuteen, ja suurin osa hiukkasista sijaitsi siellä, missä aaltofunktio oli suuri [17] . Tämän on osoitettu olevan ristiriidassa sirottimesta tulevan aaltopaketin (joka on hiukkanen) joustavan sironnan kanssa, koska se etenee kaikkiin suuntiin [8] . Vaikka hajallaan oleva hiukkanen voi levitä mihin tahansa suuntaan, se ei hajoa palasiksi eikä lennä pois kaikkiin suuntiin. Vuonna 1926 Born esitti tulkintansa todennäköisyysamplitudista [9] [18] . Se yhdistää kvanttimekaniikan laskelmat suoraan kokeessa havaittuihin todennäköisyyksiin. Tämä kuva on nyt hyväksytty osaksi Kööpenhaminan kvanttimekaniikan tulkintaa . Kvanttimekaniikasta on monia muitakin tulkintoja . Vuonna 1927 Hartree ja Fock ottivat ensimmäisen askeleen yrittäessään kuvata N-hiukkasten aaltofunktiota ja kehittivät itsestään johdonmukaisen menettelyn : iteratiivisen algoritmin monipartikkelisen kvanttimekaanisen ongelman ratkaisun approksimoimiseksi. Tämä menetelmä tunnetaan nykyään Hartree-Fock-menetelmänä [19] . Slaterin determinantti ja pysyvä ( matriisit ) olivat osa John C. Slaterin ehdottamaa menetelmää .
Schrödinger työskenteli aaltofunktion yhtälön kanssa, joka täytti relativistisen energian säilymislain ennen kuin hän julkaisi ei-relativistisen version, mutta hylkäsi sen, koska se ennusti negatiivisia todennäköisyyksiä ja negatiivisia energioita . Vuonna 1927 Klein , Gordon ja Fock löysivät myös sen, mutta ottivat huomioon sähkömagneettisen vuorovaikutuksen ja osoittivat, että se on Lorentzin invariantti . Myös De Broglie päätyi samaan yhtälöön vuonna 1928. Tämä relativistinen aaltoyhtälö tunnetaan nykyään yleisimmin Klein-Gordon-yhtälönä [20] .
Vuonna 1927 Pauli löysi fenomenologisesti ei-relativistisen yhtälön kuvaamaan hiukkasia, joiden spin 1/2 sähkömagneettisissa kentissä, jota kutsutaan nykyään Paulin yhtälöksi [21] . Pauli havaitsi, että aaltofunktiota ei kuvattu yhdellä tilan ja ajan kompleksilla, vaan vaadittiin kaksi kompleksilukua, jotka vastaavat fermionin tiloja spinillä +1/2 ja −1/2. Pian sen jälkeen, vuonna 1928, Dirac löysi yhtälön ensimmäisestä onnistuneesta erityissuhteellisuusteorian ja kvanttimekaniikan yhdistämisestä elektroniin sovellettaessa , jota nykyään kutsutaan Diracin yhtälöksi . Tässä tapauksessa aaltofunktio on spinori , jota edustaa neljä monimutkaista komponenttia [19] : kaksi elektronille ja kaksi elektronin antihiukkaselle , positronille . Ei-relativistisessa rajassa Diracin aaltofunktio muistuttaa Paulin aaltofunktiota elektronille. Myöhemmin löydettiin muitakin relativistisia aaltoyhtälöitä .
Kaikki nämä aaltoyhtälöt ovat ikuisen tärkeitä. Schrödingerin yhtälö ja Paulin yhtälö ovat monissa tapauksissa erinomaisia approksimaatioita relativistisille ongelmille. Ne on paljon helpompi ratkaista käytännön ongelmissa kuin niiden relativistiset vastineet.
Klein-Gordonin ja Diracin yhtälöt , koska ne ovat relativistisia, eivät täysin sovita kvanttimekaniikkaa ja erityistä suhteellisuusteoriaa. Kvanttimekaniikan osa-alueella, jossa näitä yhtälöitä tutkitaan samalla tavalla kuin Schrödingerin yhtälöä, jota usein kutsutaan relativistiseksi kvanttimekaniikaksi , vaikka se onkin erittäin onnistunut, sillä on rajoituksensa (katso esim. Lamb shift ) ja käsitteellisiä ongelmia (katso esim. Dirac-meri ).
Suhteellisuusteoria tekee väistämättömäksi, että hiukkasten lukumäärä järjestelmässä ei ole vakio. Täysi yksimielisyys edellyttää kvanttikenttäteoriaa [22] . Tässä teoriassa käytetään myös aaltoyhtälöitä ja aaltofunktioita, mutta hieman eri muodossa. Tärkeimmät kiinnostuksen kohteet eivät ole aaltofunktiot, vaan operaattorit, niin sanotut kenttäoperaattorit (tai yksinkertaisesti kentät , joilla tarkoitamme "operaattoreita") Hilbertin tilaavaruudessa. Osoittautuu, että alkuperäisiä relativistisia aaltoyhtälöitä ja niiden ratkaisuja tarvitaan edelleen Hilbert-avaruuden rakentamiseen. Lisäksi vapaan kentän operaattorit , eli ei-vuorovaikutteisille hiukkasille, täyttävät monissa tapauksissa muodollisesti saman yhtälön kuin kentät (aaltofunktiot).
Siten Klein-Gordon-yhtälö (spin 0 ) ja Dirac-yhtälö (spin 1⁄2 ) pysyvät teoriassa tässä muodossa. Korkeampia spinanalogeja ovat Proca-yhtälö (spin 1 ), Rarita-Schwinger-yhtälö (spin 3⁄2 ) ja yleisemmin Bargmann-Wigner-yhtälöt . Massattomille vapaille kentille esimerkkejä ovat Maxwellin vapaan kentän yhtälöt (spin 1 ) ja Einsteinin vapaan kentän yhtälöt (spin 2 ) kenttäoperaattoreille [23] . Ne kaikki ovat pohjimmiltaan suoraa seurausta Lorentzin invarianssivaatimuksesta . Niiden ratkaisut on muunnettava Lorentz-muunnoksen alla tietyllä tavalla, eli tietyn Lorentz-ryhmän esityksen mukaisesti ja yhdessä joidenkin muiden kohtuullisten vaatimusten, esimerkiksi klusterin hajoamisperiaatteen [24] kanssa, ottaen huomioon huomioon syy -seuraus , riittää muuttamaan yhtälöä.
Tämä koskee vapaan kentän yhtälöitä, kun vuorovaikutuksia ei ole otettu mukaan. Jos Lagrangin tiheys (mukaan lukien vuorovaikutukset) on saatavilla, niin Lagrangin formalismi antaa liikeyhtälön klassisella tasolla. Tämä yhtälö voi olla hyvin monimutkainen ja mahdoton ratkaista. Kaikki ratkaisut viittaavat kiinteään määrään hiukkasia, eikä niissä oteta huomioon termiä "vuorovaikutus", kuten näissä teorioissa ymmärretään, mikä sisältää hiukkasten luomisen ja tuhoamisen ulkoisten potentiaalien sijaan, kuten tavallisessa kvanttiteoriassa ( primäärinen kvantisointi ) . .
Kieleteoriassa tilanne on samanlainen. Esimerkiksi liikemääräavaruuden aaltofunktiolla on Fourier-laajenemiskertoimen rooli hiukkasen (merkkijonon) yleisessä tilassa, jonka liikemäärä ei ole selkeästi määritelty [25] .
Koordinaattiesityksessä aaltofunktio riippuu järjestelmän koordinaateista (tai yleistetyistä koordinaateista). Aaltofunktion fyysinen merkitys on, että sen moduulin neliö on todennäköisyystiheys (diskreettien spektrien tapauksessa yksinkertaisesti todennäköisyys ) järjestelmän havaitsemiseksi tiettynä ajankohtana :
.Joten järjestelmän tietyssä kvanttitilassa, jota kuvaa aaltofunktio , todennäköisyys , että hiukkanen havaitaan konfiguraatioavaruuden äärellisen tilavuuden alueella, on yhtä suuri kuin
.On myös mahdollista mitata aaltofunktion vaihe-ero esimerkiksi Aharonov-Bohmin kokeessa .
Koska hiukkasen havaitsemisen kokonaistodennäköisyys koko avaruudessa on yhtä suuri kuin yksi, niin sen aaltofunktion on täytettävä ns. normalisointiehto, esimerkiksi koordinaatistossa, jonka muoto on:
Yleisessä tapauksessa integrointi tulisi suorittaa kaikille muuttujille, joista aaltofunktio eksplisiittisesti riippuu tässä esityksessä (aikaa lukuun ottamatta).
Aaltofunktioille pätee superpositioperiaate , mikä tarkoittaa, että jos systeemi voi olla aaltofunktioiden kuvaamissa tiloissa ja , niin minkä tahansa kompleksin ja , , se voi olla myös aaltofunktion kuvaamassa tilassa.
.Ilmeisesti voidaan puhua myös minkä tahansa määrän kvanttitilojen superpositiosta (lisäyksestä) eli järjestelmän kvanttitilan olemassaolosta, jota kuvataan aaltofunktiolla.
.Tällaisessa tilassa kertoimen moduulin neliö määrittää todennäköisyyden, että järjestelmä löytyy mitattuna aaltofunktion kuvaamassa tilassa .
Siksi normalisoiduille aaltofunktioille .
Aaltofunktion todennäköisyysmerkitys asettaa tiettyjä rajoituksia tai ehtoja aaltofunktioille kvanttimekaniikan ongelmissa. Näitä vakioehtoja kutsutaan usein aaltofunktion säännöllisyysehdoiksi.
Koordinaattijoukko, joka toimii argumentteina funktiolle, on täydellinen työmatkahavainnon järjestelmä . Kvanttimekaniikassa on mahdollista valita useita täydellisiä havaintoja, jolloin saman tilan aaltofunktio voidaan kirjoittaa eri argumenteista. Aaltofunktion tallentamiseen valitut suureet määräävät aaltofunktion esityksen . Joten koordinaattiesitys, liikemäärän esitys ovat mahdollisia, kvanttikenttäteoriassa käytetään toista kvantisointia ja täyttölukuesitystä tai Fock-esitystä jne.
Jos esimerkiksi atomin elektronin aaltofunktio on annettu koordinaattiesityksessä , niin aaltofunktion moduulin neliö on todennäköisyystiheys löytää elektroni tietystä pisteestä avaruudessa. Jos sama aaltofunktio on annettu impulssiesityksessä , niin sen moduulin neliö on todennäköisyystiheys havaita yksi tai toinen impulssi .
Saman tilan aaltofunktio eri esityksissä vastaa saman vektorin ilmaisua eri koordinaattijärjestelmissä. Myös muilla operaatioilla aaltofunktioilla on analogeja vektorien kielellä. Aaltomekaniikassa käytetään esitystä, jossa psi-funktion argumentit ovat täydellinen järjestelmä jatkuvista työmatkahavainnoista, ja matriisimekaniikassa esitystapaa käytetään, jossa psi-funktion argumentit ovat täydellinen järjestelmä diskreettejä työmatkahavaintoja. Siksi funktionaaliset (aalto-) ja matriisiformulaatiot ovat ilmeisesti matemaattisesti ekvivalentteja.
Aaltofunktio on menetelmä kvanttimekaanisen järjestelmän puhtaan tilan kuvaamiseen. Sekakvanttitilat ( kvanttitilastoissa ) tulisi kuvata käyttämällä tiheysmatriisia .
Koordinaattien funktiona esitettyä aaltofunktiota kutsutaan koordinaatistossa aaltofunktioksi [ 26] .
Mitä tahansa koordinaattiesityksen aaltofunktiota voidaan laajentaa sen liikemäärä-operaattorin ominaisfunktioiden suhteen :
Tuloksena saamme käänteisen Fourier-muunnoksen :
,missä
Laajennuskertoimet ovat yhtä suuria kuin Fourier-muunnos
Funktiota kutsutaan liikemäärän esityksessä hiukkasen aaltofunktioksi , koska on mahdollista, että hiukkasen liikemäärällä on arvoja välillä [27] .
Aaltofunktioiden keskustelussa käytetään luonnollisesti funktioavaruuksien käsitettä . Funktionavaruus on kokoelma funktioita, joilla on yleensä tietyt määrittävät funktiovaatimukset (tässä tapauksessa ne ovat neliöintegroitavia ), joskus joukossa on tietty algebrallinen rakenne (tässä tapauksessa vektoriavaruusrakenne , jossa on sisätulo ) sekä topologia sarjassa. Jälkimmäistä käytetään tässä harvoin, se tarvitaan vain saadakseen tarkka määritelmä siitä, mitä funktioavaruuden suljettu osajoukko tarkoittaa. Jäljempänä päätellään, että aaltofunktioiden funktioavaruus on Hilbert-avaruus . Tämä havainto on kvanttimekaniikan vallitsevan matemaattisen muotoilun perusta.
Aaltofunktiota toiminnallisen tilan elementtinä luonnehtivat osittain seuraavat konkreettiset ja abstraktit kuvaukset.
Tämä samankaltaisuus ei ole sattumaa. Huomioi myös tilojen väliset erot.
Perustiloja luonnehtii joukko kvanttilukuja. Tämä on työmatkahavainnon enimmäisjoukon ominaisarvojen joukko . Fyysisiä havaintoja edustavat lineaariset operaattorit, joita kutsutaan myös havainnoitaviksi, vektoreiden avaruudessa. Maksimaalisuus tarkoittaa, että muita algebrallisesti riippumattomia havaintoja, jotka liikkuvat olemassa olevien kanssa, ei voida lisätä tällaiseen joukkoon. Tällaisen joukon valintaa voidaan kutsua esityksen valinnaksi .
Abstraktit tilat ovat "abstrakteja" vain siinä mielessä, että tietyn eksplisiittisen kuvauksen edellyttämää mielivaltaista valintaa ei anneta. Tai toisin sanoen, työmatkahavainnon maksimijoukon valintaa ei annettu. Mikä on analoginen vektoriavaruuden kanssa ilman annettua kantaa. Näin ollen kvanttitilaa vastaavat aaltofunktiot eivät ole ainutlaatuisia. Tämä epäselvyys heijastaa epäselvyyttä työmatkahavainnon maksimijoukon valinnassa. Yhdelle hiukkaselle, jolla on spin yhdessä ulottuvuudessa, kaksi aaltofunktiota Ψ( x , S z ) ja Ψ( p , Sy ) vastaavat tiettyä tilaa , ne molemmat kuvaavat samaa tilaa.
Jokaisen esitystavan valinnan tulee katsoa määrittelevän ainutlaatuisen toiminnallisen tilan, jossa tätä esitysvalintaa vastaavat aaltofunktiot määritellään. Tämä ero säilyy parhaiten, vaikka voitaisiin väittää, että kaksi tällaista funktioavaruutta ovat matemaattisesti yhtä suuret, kuten ne ovat neliöintegroitavien funktioiden joukko. Voidaan sitten ajatella funktiotiloja tämän joukon kahtena eri kopiona.
On olemassa lisäksi algebrallinen rakenne aaltofunktioiden vektoriavaruuksille ja abstraktille tilaavaruudelle.
Tämä motivoi sisätulon lisäämistä abstraktien kvanttitilojen vektoriavaruuteen, mikä on yhdenmukainen edellä esitettyjen matemaattisten tulosten kanssa, kun siirrytään esitykseen. Se merkitään (Ψ, Φ) tai bra- ja ket -merkinnöillä . Mikä antaa kompleksiluvun. Sisätuotteella funktiotila on esi-Hilbert-avaruus . Sisätulon eksplisiittinen muoto (yleensä integraali tai integraalien summa) riippuu esitystavan valinnasta, mutta kompleksiluku (Ψ, Φ) ei. Suuri osa kvanttimekaniikan fysikaalisesta tulkinnasta tulee Bornin säännöstä . Se sanoo, että havaitsemisen todennäköisyys p mitattaessa tilaa Φ , koska järjestelmä on tilassa Ψ , on
missä Φ ja Ψ oletetaan olevan normalisoituja. Harkitse sirontakoetta . Jos kvanttikenttäteoriassa Φ out kuvaa tilaa "kaukaisessa tulevaisuudessa" ("lähtöaalto") sirottavien hiukkasten välisten vuorovaikutusten päätyttyä, ja Ψ in on tuleva aalto "kaukaisessa menneisyydessä", niin suuret ( Φ out , Ψ in ) , jossa Φ out ja Ψ in vaihtelevat koko saapuvien ja lähtevien aaltojen joukossa, vastaavasti, joita kutsutaan S-matriisiksi tai sirontamatriisiksi . Tämän tietäminen tarkoittaa pohjimmiltaan käsillä olevan ongelman ratkaisemista, ainakin mitä tulee ennusteisiin. Mitattavat suureet, kuten vaimenemisnopeus ja sironnan poikkileikkaukset , lasketaan S-matriisin avulla [29] .
Yllä olevat tulokset heijastavat funktioavaruuksien olemusta, joiden elementit ovat aaltofunktioita. Kuvaus ei kuitenkaan ole vielä valmis. Funktioavaruudelle on toinenkin tekninen vaatimus, nimittäin täydellisyysvaatimus , jonka avulla voidaan ottaa funktioavaruuden sekvenssien rajat ja taata, että jos raja on olemassa, se on funktioavaruuden elementti. Täydellistä esi-Hilbert-avaruutta kutsutaan Hilbert-avaruudeksi . Täydellisyysominaisuus on ratkaiseva kvanttimekaniikan edistyneille lähestymistavoille ja sovelluksille. Esimerkiksi projektiooperaattoreiden olemassaolo tai riippuu tilan täydellisyydestä [30] . Nämä projektiooperaattorit ovat puolestaan välttämättömiä monien hyödyllisten lauseiden, kuten spektrilauseen , muotoiluun ja todistukseen . Tämä ei ole kovin tärkeää kvanttimekaniikan johdanto-osan kannalta, ja tekniset yksityiskohdat ja viittaukset löytyvät alaviitteistä, kuten seuraavista [nb 3] . Avaruus L 2 on Hilbert-avaruus, jonka skalaaritulo esitetään alla. Kuvan esimerkin funktioavaruus on L 2 :n aliavaruus . Hilbert-avaruuden aliavaruutta kutsutaan Hilbert-avaruudeksi, jos se on suljettu.
Siten joukko kaikkia mahdollisia normalisoituja aaltofunktioita järjestelmälle, jossa on tietty kantavalinna, yhdessä nollavektorin kanssa muodostaa Hilbert-avaruuden.
Kaikki kiinnostavat funktiot eivät ole jonkin Hilbert-avaruuden elementtejä, esimerkiksi L 2 . Silmiinpistävin esimerkki on joukko funktioita e 2 πi p · x ⁄ h . Nämä tasoaallot ovat Schrödingerin yhtälön ratkaisuja vapaalle hiukkaselle, mutta ne eivät ole normalisoituja, joten ne eivät kuulu L 2 :een . Mutta siitä huolimatta ne ovat perustavanlaatuisia kvanttimekaniikan kuvauksessa. Niitä voidaan käyttää aaltopakettien avulla normalisoitavien funktioiden ilmaisemiseen . Tietyssä mielessä ne ovat perusta (mutta ei Hilbert-avaruuskanta eikä Hamel -kanta ), jolla kiinnostavat aaltofunktiot voidaan ilmaista. On myös toinen kuvaus: "normalisointi deltafunktioon", jota käytetään usein merkinnän helpottamiseksi, katso alla. Deltafunktiot itsessään eivät myöskään ole neliöintegroitavia.
Yllä oleva kuvaus aaltofunktiot sisältävästä funktioavaruudesta on pääosin matemaattisesti motivoitunut. Toiminnalliset tilat ovat tietyssä mielessä täydellisyytensä vuoksi erittäin suuria . Kaikki toiminnot eivät ole minkään fyysisen järjestelmän realistisia kuvauksia. Esimerkiksi funktioavaruudesta L 2 löytyy funktio, joka saa arvon 0 kaikille rationaaliluvuille ja -i irrationaalisille luvuille [0, 1] . Tämä funktio on neliöintegroitavissa [nb 4] , mutta se tuskin edustaa fyysistä tilaa.
Vaikka päätösavaruus on yleensä Hilbert-avaruus, on monia muita Hilbert-avaruuksia.
Yleisemmin voidaan tarkastella kaikkia toisen asteen Sturm-Liouville- yhtälöiden polynomiratkaisuja Hilbert-avaruuden kontekstissa. Näitä ovat Legendren ja Laguerren polynomit sekä Chebyshev-polynomit, Jacobi-polynomit ja Hermite-polynomit . Ne syntyvät itse asiassa fyysisissä ongelmissa, jälkimmäinen harmonisessa oskillaattorissa , ja mikä muuten on erikoistoimintojen ominaisuuksien sotkuinen labyrintti, näyttää olevan orgaaninen kuva. Katso tätä varten Byron & Fuller (1992 , luku 5).
On myös äärellisulotteisia Hilbert-avaruuksia. Avaruus ℂ n on Hilbertin avaruus, jonka ulottuvuus on n . Sisätuote on näiden tilojen vakiosisätuote. Se sisältää yhden hiukkasen aaltofunktion "spin-osan".
Kun hiukkasia on paljon, tilanne on monimutkaisempi. On tarpeen käyttää tensorituloja ja mukana olevien symmetriaryhmien ( vastaavasti rotaatioryhmät ja Lorentz-ryhmät) esitysteoriaa . Lisää vaikeuksia syntyy relativistisessa tapauksessa, jos hiukkaset eivät ole vapaita [31] . Katso Bethe-Salpeterin yhtälö . Asiaankuuluvat huomautukset viittaavat isospinin käsitteeseen , jonka symmetriaryhmä on SU (2) . 60-luvun ydinvoimamalleissa (jotka ovat edelleen käytössä, katso ydinvoimat ) käytettiin SU(3) -symmetriaryhmää . Tässäkin tapauksessa sisäisiä symmetrioita vastaava osa aaltofunktioista on jossain ℂ n tai tällaisten avaruuksien tensoritulojen aliavaruuksissa.
Järjestelmän äärettömän ulottuvuuden vuoksi vastaavat matemaattiset työkalut ovat funktionaalisen analyysin tutkimuskohteita .
Se, onko aaltofunktio todella olemassa ja mitä se edustaa, ovat tärkeimmät kysymykset kvanttimekaniikan tulkinnassa . Monet kuuluisat edellisen sukupolven fyysikot ymmärsivät tätä ongelmaa, kuten Schrödinger , Einstein ja Bohr . Jotkut puoltavat Kööpenhaminan tulkinnan muotoja tai muunnelmia (esim. Bohr, Wigner ja von Neumann ), kun taas toiset, kuten Wheeler tai Jaynes , omaksuvat klassisemman lähestymistavan [32] ja pitävät aaltofunktiota informaation esityksenä. tarkkailijan mieli ovat sitten todellisuustietomme mittareita. Jotkut, mukaan lukien Schrödinger, Bohm, Everett ja muut, ovat väittäneet, että aaltofunktiolla on oltava objektiivinen fyysinen olemassaolo. Einstein uskoi, että fyysisen todellisuuden täydellisen kuvauksen tulisi viitata suoraan fyysiseen tilaan ja aikaan, toisin kuin aaltofunktio, joka viittaa abstraktiin matemaattiseen avaruuteen [33] .
Sanakirjat ja tietosanakirjat |
---|
Mekaniikan osat | |
---|---|
Jatkuva mekaniikka | |
teorioita | |
sovellettua mekaniikkaa |