Ondfunkcio

Ĉi tiu artikolo diskutas la koncepton de ondfunkcio rilatanta al la kvantummekaniko. La ondofunkcio egalrilatas al probabla amplitudo, ĝenerale kun kompleksaj valoroj. La termino havas grave malsaman signifon, kiam ĝin estas uzata en la ĉirkaŭteksto de kvantuma mekaniko aŭ klasika mekaniko kaj klasika elektromagnetismo.

 Difino 
Oni moderne uzas la terminon "ondfunkcio" por temi pri vektoro aŭ funkcio, kiu priskribas la staton de fizika sistemo
per ĝia elvolvo kiel kombino de aliaj statoj de la sama sistemo. Tipe, ondfunkcio estas:

 aŭ kompleksa vektoro kun fina nombro da komponantoj

,

 aŭ kompleksa vektoro kun senfina nombro da komponantoj

,

 aŭ kompleksa funkcio de unu aŭ pli reela variabloj ("kontinue indicita" kompleksa vektoro)

.

La ondfunkcio provizas ĉian priskribon de la asociita fizika sistemo. Tamen, gravas noti, ke la ondfunkcio asociita kun iu sistemo ne estas unike difinita per tiu sistemo, ĉar multaj malsamaj ondfunkcioj povas priskribi la saman fizikan realaĵon.

 Interpretado 
La fizika interpretado de la ondfunkcio dependas de la ĉirkaŭteksto. Kelkaj ekzemploj estas
provizitaj sube, sekvitaj per detala diskuto de la tri ebloj priskribitaj supre.

 Unu partiklo en unudimensia spaco 
La spaca ondfunkcio asociita kun partiklo en unu dimensio estas kompleksa funkcio  difinita super la reela linio. La kompleksa kvadrato de la ondfunkcio, , estas interpretita kiel la probablodenso asociita kun la partikla pozicio, kaj de ĉi tio la probablo mezuri la partiklan pozicion en la intervalo  estas

.

Ĉi tio kondukas al la normaliga kondiĉo

.

ekde mezuro de la partikla pozicio devas produkti reelan nombron.

 Unu partiklo en tridimensia spaco 
La tridimensia okazo analogas al la unudimensia; la ondfunkcio estas kompleksa funkcio  difinita super tridimensia spaco, kaj ĝia kompleksa kvadrato estas interpretata kiel tridimensia probablodensa funkcio. La probablo, ke mezuro de la partikla pozicio rezultos en valoro kiu estas en la volumeno  estas tial

.

La normaliga kondiĉo estas ankaŭ

kie la antaŭvenanta integralo estas prenita tra ĉiu spaco.

 Du diferencigeblaj partikloj en tridimensia spaco 
En ĉi tiu okazo la ondfunkcio estas kompleksa funkcio de ses spacaj variabloj,

,

kaj  estas la kuna probabla denseca funkcio asociita kun la
pozicioj de ambaŭ partikloj. La probablo, ke la mezuro de la pozicioj de ambaŭ partikloj rezultas "la unua partiklo estas en la regiono R kaj la dua partiklo estas en la regiono S" estas tiam

kie  kaj simile por . La normaliga kondiĉo estas tial

kie la antaŭvenanta integralo estas prenita tra la plena limigo de ĉiuj ses variabloj.

Estas de ega graveco kompreni ke, ĉe dupartiklaj sistemoj, nur la sistemo konsistanta de ambaŭ partikloj havas necese bone difinitan ondfunkcion. Tio signifas, iu probablodensa funkcio pri la pozicio de la unua partiklo kiu ne eksplicite dependas de la pozicio de la dua partiklo povas esti nehavebla. Ĉi tio donas pligrandiĝo al la fenomeno de kvantuma implikeco.

 Unu partiklo en unudimensia momanta spaco 
La ondfunkcio por unudimensia partiklo en la momanta spaco estas kompleksa funkcio  difinita super la reela linio. La kvanto  estas interpretita kiel probablodensa funkcio en momanta spaco, kaj de ĉi tio la probablo de mezuri la partikla momanta rendimenta valoro en la intervalo  estas

.

Ĉi tiu kondukas al la normaliga kondiĉo

ekde mezuro de la partikla momanto ĉiam rezultas en reela nombro.

 Spino 1/2 
La ondfunkcio por duonspina partiklo (ignorante ĝian spaciajn libergradojn) estas kolumna vektoro

.

La signifo de la vektoraj komponantoj dependas sur la bazo, sed ĝenerale 
kaj  estas respektive la koeficientoj de spino supren kaj spino suben en la  direkto. En Diraka notacio ĉi tio estas:

La valoroj  kaj  estas tiam respektive interpretitaj kiel la probablo de ricevanta spino supren aŭ spino suben en la z-a direkto kiam la partikla spino estas mezurata. Ĉi tio kondukas al la normaliga kondiĉo

.

 Interpretado 
Ondfunkcio priskribas la staton de fizika sistemo per elvolvado de ĝi per aliaj statoj de la sama sistemo. Oni signifos la staton de la sistemo sub konsidero kiel  kaj la statoj en kiujn ĝi estas elvolvata kiel . Kolektive la lasta estas referita al kiel bazo aŭ prezento. Ĉiuj ondfunkcioj estas alprenitaj al esti ununormigitaj.

 Finiaj vektoroj 
Ondfunkcio kiu estas vektoro  kun  komponantoj priskribas kiel al esprimi la stato de la fizika sistemo  kiel la lineara kombinaĵo de finie multaj bazaj eroj , kie  trairas de  al . En aparta la ekvacio

,

kiu estas rilato inter kolumnaj vektoroj, estas ekvivalento al

,

kiu estas rilato inter la statoj de fizika sistemo. Oni priatentu: per pasi inter ĉi tiuj esprimoj oni devas koni la uzitan bazon, kaj de ĉi tie, du kolumnaj vektoroj kun la sama komponantoj povas prezenti du malsamaj statoj de la sistemo se iliaj asociitaj bazaj statoj estas malsamaj. Ekzemplo de ondfunkcio kiu estas finia vektoro estas la spinaj statoj de duonspina partiklo, kiel oni priskribis supre.

La fizika signifo de la komponantoj de  estas donita per la ondfunkcia kolapsa postulato:

Se la statoj  havas klarajn, definitivajn valorojn, , de iu dinamika variablo (e.g. momanto, pozicio, ktp) kaj mezuro de tiuj variabloj estas plenumita sur sistemo en la stato

tiam la probablo de mezuro  estas , kaj se la mezura rendimento , la sistemo estas restita en la stato .

 Malfiniaj vektoroj 
Vektorojn malfiniajn kun diskreta indekso oni prilaboras sammaniere, kiel finajn vektorojn, esceptante, ke oni etendas la sumo super ĉiuj bazaj eroj. Tiel:

estas ekvivalento al

,

kie laŭ onidiroj la pli supra sumo inkluzivas ĉiuj komponantoj de . La interpretado de la komponantoj estas la sama kiel la finia okazo (apliki la kolapsa postulato).

 Kontinue indeksitaj vektoroj (funkcioj) 
Ĉe kontinua indekso, la sumo estas anstataŭigita per integralo; ekzemplo de ĉi tio estas la spaca ondfunkcio de partiklo en unu dimensio, kiu elvolvas la fizika stato de la partiklo, , en terminoj de statoj kun definitiva pozicio, . Tial

.

Priatentu, ke,  estas ne la sama kiel . La antaŭa estas
la reala stato de la partiklo, dum la lasta estas simple ondfunkcio priskribanta kiel al esprimi la antaŭa kiel kompono de statoj kun definitiva pozicio. En ĉi tiu okazo, la baza stato povas esti esprimita kiel

kaj de ĉi tie la spaca ondfunkcio asociita kun  estas .

 Formalismo 
Oni atentu pri izolita fizika sistemo; la permesitaj statoj de ĉi tiu sistemo (kio estas la statoj kiu la sistemo povis okupi laŭ la fizikaj leĝoj) formas vektora spaco . Tio estas,

1. Se  kaj  estas du statoj kiu apartenas al , ĝi estas alprenita kiu ajna kompono

ankaŭ apartenas al .

kaj,

2. La vektoraj spacaj aksiomoj (kio estas la ordinaraj reguloj de vektora algebro) estas kontentigita.

En ĉi tiu ĉirkaŭteksto la ondfunkcio asociita kun aparta stato povas esti vidita kiel elvolvaĵo de la stato en bazo por la vektora spaco . Ekzemple,

estas bazo por la spaco asociita kun la spino de spino-1/2 partiklo kaj sekve la spina stato de tia partiklo povas esti skribita unike kiel

.

Iam estas utile elvolvi la staton de fizika sistemo per statoj kiu estas ne permesitaj, kaj de ĉi tie, ne en . Ekzemplo de ĉi tiu estas la spaca ondfunkcio asociita kun partiklo en unu dimensio kiu elvolvas la staton de la partiklo per statoj kun definitiva pozicio. Ĉi tiuj statoj estas malpermesitaj, tamen, ĉar ili atencas la necertecan principon. Bazoj kiel ĉi tiuj estas nomataj kiel nepropraj bazoj.

Ĉiu hilberta spaco havas enan produton, sed la naturo de la ena produto dependas de la speco de bazo uzata. Kiam estas kalkuleble multaj bazaj eroj  ĉiuj el kiuj apartenas al ,  estas ekipita kun la unika ena produto kiu faras ĉi tiun bazon al esti ortornormalan, kio estas,

Kiam ĉi tiu estas farita, la ena produto de  kun la elvolvaĵo de ajna vektoro estas

.

Se la bazaj eroj konsistigas kontinuaĵon, kiel, ekzemple, la pozicio aŭ koordinato bazo konsistanta de ĉiuj statoj de definitiva pozicio , estas kutime elekti la dirakan normaligon

tiel ke la analoga idento

veras.

 Vidu ankaŭ 

 Onda paketo
 Bosono - partiklo kun simetria ondfunkcio sub permuto
 Fermiono - partiklo kun malsimetria ondfunkcio sub permuto
 Kvantuma mekaniko
 Ekvacio de Schrödinger

Kategorio:Kvantummekaniko