Ondfunkcio

kompleksvalora funkcio sur kunfigura spaco priskribanta la kvantuman staton de kvantuma stato
(Alidirektita el Ondofunkcio)

Ĉi tiu artikolo diskutas la koncepton de ondfunkcio rilatanta al la kvantummekaniko. La termino havas grave malsaman signifon kiam ĝin estas uzata en la ĉirkaŭteksto de klasika mekaniko aŭ klasika elektromagnetismo.

Difino

redakti

Oni moderne uzas la terminon "ondfunkcio" por temi pri vektorofunkcio 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

redakti

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

redakti

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

redakti

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

redakti

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

redakti

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

redakti

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

redakti

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 bazoprezento. Ĉiuj ondfunkcioj estas alprenitaj al esti ununormigitaj.

Finiaj vektoroj

redakti

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

redakti

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)

redakti

Ĉ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

redakti

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 poziciokoordinato bazo konsistanta de ĉiuj statoj de definitiva pozicio  , estas kutime elekti la dirakan normaligon

 

tiel ke la analoga idento

 

veras.

Vidu ankaŭ

redakti
  NODES