Vågpaket

Ett vågpaket utan dispersion (verklig eller imaginär del)
Ett vågpaket med dispersion

Inom fysik är ett vågpaket (eller vågtåg ) en kort "burst" eller " envelopp " av lokaliserad vågverkan som färdas som en enhet. Ett vågpaket kan analyseras till, eller kan syntetiseras från, en oändlig uppsättning av sinusformade komponentvågor av olika vågnummer , med faser och amplituder så att de interfererar konstruktivt endast över ett litet område av rymden, och destruktivt på andra ställen. Varje komponentvågfunktion , och därmed vågpaketet, är lösningar av en vågekvation . Beroende på vågekvationen kan vågpaketets profil förbli konstant (ingen spridning , se figur) eller så kan den ändras (spridning) under fortplantning.

Kvantmekaniken tillskriver vågpaketet en speciell betydelse; det tolkas som en sannolikhetsamplitud , dess norm kvadrerad beskriver sannolikhetstätheten att en partikel eller partiklar i ett visst tillstånd kommer att mätas ha en given position eller rörelsemängd. Vågekvationen är i detta fall Schrödinger-ekvationen , och genom dess tillämpning är det möjligt att härleda tidsutvecklingen för ett kvantmekaniskt system, liknande processen för Hamiltons formalism i klassisk mekanik . Den dispersiva karaktären hos lösningar av Schrödinger-ekvationen har spelat en viktig roll i att förkasta Schrödingers ursprungliga tolkning och acceptera Born-regeln . [ citat behövs ]

I koordinatrepresentationen av vågen (som det kartesiska koordinatsystemet ) specificeras positionen för det fysiska objektets lokaliserade sannolikhet av positionen för paketlösningen. Ju smalare det rumsliga vågpaketet är, och ju bättre lokaliserat vågpaketets position, desto större blir spridningen i vågens rörelsemängd . Denna avvägning mellan spridning i position och spridning i momentum är ett karakteristiskt drag för Heisenbergs osäkerhetsprincip och kommer att illustreras nedan.

Historisk bakgrund

I början av 1900-talet blev det uppenbart att klassisk mekanik hade några stora brister. Isaac Newton föreslog ursprungligen idén att ljus kom i diskreta paket, som han kallade corpuscles , men det vågliknande beteendet hos många ljusfenomen fick snabbt forskare att gynna en vågbeskrivning av elektromagnetism . Det var inte förrän på 1930-talet som ljusets partikelnatur verkligen började bli allmänt accepterad inom fysiken. Utvecklingen av kvantmekaniken – och dess framgång med att förklara förvirrande experimentella resultat – låg till grund för denna acceptans. Således är ett av de grundläggande begreppen i formuleringen av kvantmekaniken att ljus kommer i diskreta buntar som kallas fotoner . Energin hos en foton är en funktion av dess frekvens,

Fotonens energi är lika med produkten av Planck-konstanten , h , och dess frekvens, ν . Detta löste ett problem i klassisk fysik, kallad ultraviolettkatastrofen .

Kvantmekanikens idéer fortsatte att utvecklas under hela 1900-talet. Bilden som utvecklades var av en partikelformig värld, med alla fenomen och materia gjorda av och interagerar med diskreta partiklar; emellertid beskrevs dessa partiklar av en sannolikhetsvåg. Interaktionerna, platserna och all fysik skulle reduceras till beräkningarna av dessa sannolikhetsamplituder.

Världens partikelliknande natur har bekräftats genom experiment under ett sekel, medan de vågliknande fenomenen kunde karakteriseras som konsekvenser av vågpaketaspekten av kvantpartiklar (se våg-partikeldualitet ) . Enligt komplementaritetsprincipen manifesterar de vågliknande och partikelliknande egenskaperna sig aldrig samtidigt, dvs i samma experiment; se dock Afshar-experimentet och den livliga diskussionen kring det.

Grundläggande beteenden

Positionera rymdsannolikhetstätheten för ett initialt Gaussiskt tillstånd instängt i en oändlig potentiell brunn som upplever periodisk kvanttunnel i en centrerad potentialvägg.

Icke-spridande

Som ett exempel på utbredning utan spridning , överväg våglösningar till följande vågekvation från klassisk fysik

där c är hastigheten för vågens utbredning i ett givet medium.

Med hjälp av fysiktidskonventionen, e iωt , har vågekvationen planvågslösningar

var

och

Detta förhållande mellan ω och k bör vara giltigt så att den plana vågen är en lösning på vågekvationen. Det kallas en spridningsrelation .

För att förenkla, överväg bara vågor som utbreder sig i en dimension (utvidgning till tre dimensioner är enkel). Då är den allmänna lösningen

där vi kan ta ω = kc . Den första termen representerar en våg som fortplantar sig i den positiva x -riktningen eftersom den endast är en funktion av x ct ; den andra termen, som är en funktion av x + ct , representerar en våg som fortplantar sig i den negativa x -riktningen .

Ett vågpaket är en lokaliserad störning som är resultatet av summan av många olika vågformer . Om paketet är starkt lokaliserat behövs fler frekvenser för att tillåta den konstruktiva överlagringen i lokaliseringsregionen och destruktiv överlagring utanför regionen. Från de grundläggande lösningarna i en dimension kan en generell form av ett vågpaket uttryckas som

Som i fallet med planvåg färdas vågpaketet till höger för ω ( k ) = kc , eftersom u ( x , t ) = F ( x ct ) , och till vänster för ω ( k ) = − kc , eftersom u ( x , t ) = F ( x + ct ) .

Faktorn 1 kommer från Fouriertransformkonventioner . Amplituden A ( k ) innehåller koefficienterna för den linjära överlagringen av planvågslösningarna. Dessa koefficienter kan i sin tur uttryckas som en funktion av u ( x , t ) utvärderad vid t = 0 genom att invertera Fouriertransformationsrelationen ovan:

Till exempel att välja

vi får

och slutligen

Den icke-spridande fortplantningen av den verkliga eller imaginära delen av detta vågpaket presenteras i ovanstående animation.

Spridande

Positionera rymdsannolikhetstätheten för ett initialt Gaussiskt tillstånd som rör sig i en dimension med minimalt osäkert, konstant momentum i det fria rummet.

Däremot, som ett exempel på fortplantning, nu med dispersion , överväg istället lösningar till Schrödinger-ekvationen (icke-dimensionaliserad med x , m och ħ satt lika med ett),

ger spridningsförhållandet

Återigen, begränsande uppmärksamheten till en dimension, lösningen till Schrödinger-ekvationen uppfyller initialvillkoret ett vågpaket lokaliserat i rymden vid ursprunget , ses vara

Ett intryck av det dispersiva beteendet hos detta vågpaket erhålls genom att titta på sannolikhetstätheten:

Det är uppenbart att detta dispersiva vågpaket, medan det rör sig med konstant grupphastighet k o , delokaliseras snabbt: det har en bredd som ökar med tiden som 1 + 4 t 2 → 2 t , så till slut diffunderar det till ett obegränsat område av rymden .

Momentumprofilen A ( k ) förblir invariant. Sannolikhetsströmmen är _

Gaussiska vågpaket i kvantmekanik

Superposition av 1D plana vågor (blå) som summerar till att bilda ett kvantgaussiskt vågpaket (rött) som fortplantar sig åt höger medan det sprider sig. Blå prickar följer varje plan vågs fashastighet medan den röda linjen följer den centrala gruppens hastighet.
Positionera rymdsannolikhetstätheten för ett initialt Gaussiskt tillstånd instängt i en oändlig potentiell brunn som upplever periodisk kvanttunnel i en centrerad potentialvägg.
1D Gaussisk vågpaket, visat i det komplexa planet, för a =2 och k =4

Det ovan dispersiva Gaussiska vågpaketet, onormaliserat och precis centrerat vid origo, istället, vid t =0, kan nu skrivas i 3D, nu i standardenheter:

där a är ett positivt reellt tal, kvadraten på vågpaketets bredd ,

Fouriertransformen är också en Gauss i termer av vågnumret, t =0, k -vektorn, (med invers bredd,

så att
dvs det mättar osäkerhetsrelationen ) ,

Varje separat våg roterar endast i tiden, så att den tidsberoende Fourier-transformerade lösningen är

Den inversa Fouriertransformen är fortfarande en Gaussisk, men nu har parametern a blivit komplex, och det finns en övergripande normaliseringsfaktor.

Integralen av Ψ över hela rymden är invariant, eftersom det är den inre produkten av Ψ med tillståndet nollenergi, vilket är en våg med oändlig våglängd, en konstant funktion av rymden. För varje energiegentillstånd η ( x ) , den inre produkten,

ändras endast i tid på ett enkelt sätt: dess fas roterar med en frekvens som bestäms av energin η . När η har noll energi, som den oändliga våglängdsvågen, förändras den inte alls.

Integralen ∫ |Ψ| 2 d 3 r är också invariant, vilket är ett uttalande om bevarande av sannolikhet. Explicit,

där a är bredden av P ( r ) vid t = 0 ; r är avståndet från origo; hastigheten på partikeln är noll; och tidsursprunget t = 0 kan väljas godtyckligt.

Gaussans bredd är den intressanta storhet som kan avläsas från sannolikhetstätheten, | Ψ| 2 ,

Denna bredd växer så småningom linjärt i tiden, som ħt /( m a ) , vilket indikerar vågpaketspridning .

Till exempel, om ett elektronvågspaket initialt är lokaliserat i ett område med atomära dimensioner (dvs. 10 −10 m) fördubblas paketets bredd på cirka 10 −16 s. Uppenbarligen sprider sig partikelvågspaket mycket snabbt (i fritt utrymme): Till exempel, efter 1 ms, kommer bredden att ha vuxit till ungefär en kilometer.

Denna linjära tillväxt är en återspegling av den (tidsinvarianta) momentumosäkerheten: vågpaketet är begränsat till en smal Δ x = a /2 , och har sålunda ett momentum som är osäkert (enligt osäkerhetsprincipen ) med mängden ħ / 2 a , en spridning i hastighet på ħ/m 2 a , och därmed i den framtida positionen med ħt /m 2 a . Osäkerhetsrelationen är då en strikt ojämlikhet, mycket långt ifrån mättnad, faktiskt! Den initiala osäkerheten Δ x Δ p = ħ /2 har nu ökat med en faktor ħt/ma (för stort t ).

Det luftiga vågtåget

I motsats till ovanstående Gaussiska vågpaket, har det observerats att en viss vågfunktion baserad på luftiga funktioner , fortplantar sig fritt utan enveloppspridning och bibehåller sin form. Den accelererar oförvrängd i frånvaro av ett kraftfält: ψ = Ai( B ( x B 3 t 2 )) exp( iB 3 t ( x − 2 B 3 t 2 /3)) . (För enkelhetens skull ħ = 1 , m = 1/2 och B en konstant, jfr icke-dimensionalisering .)

Trunkerad bild av tidsutvecklingen för den luftiga fronten i fasrymden. (Klicka för att animera.)

Ändå finns det ingen dissonans med Ehrenfests teorem i denna kraftfria situation, eftersom tillståndet både är icke-normaliserbart och har ett odefinierat (oändligt) x för alla tider. (I den mån det går att definiera, p ⟩ = 0 för alla tider, trots den uppenbara accelerationen av fronten.)

I fasrymden är detta uppenbart i det rena tillståndet Wigner-kvasisannolikhetsfördelningen av detta vågtåg, vars form i x och p är invariant när tiden fortskrider, men vars egenskaper accelererar åt höger, i accelererande paraboler B ( x B 3 t 2 ) + ( p / B tB 2 ) 2 = 0 ,

Notera att momentumfördelningen som erhålls genom att integrera över alla x är konstant. Eftersom detta är sannolikhetstätheten i momentumrymden är det uppenbart att vågfunktionen i sig inte är normaliserbar.

Under 2018 uppnåddes den första experimentella observationen av den kubiska fasen av accelererande Airy-vågpaket genom ett samarbete mellan forskare från israeliska, tyska och amerikanska universitet.

Gratis propagator

Den smala breddgränsen för den gaussiska vågpaketlösningen som diskuteras är den fria propagatorkärnan K . För andra differentialekvationer brukar detta kallas för Greens funktion, men inom kvantmekaniken är det traditionellt att reservera namnet Greens funktion för tids-Fouriertransformen av K .

Återgå till en dimension för enkelhetens skull, med m och ħ satta lika med ett, när a är den oändliga kvantiteten ε , det Gaussiska initialtillståndet, omskalat så att dess integral är ett,

blir en deltafunktion , δ ( x ) , så att dess tidsutveckling,
ger propagatorn.

Observera att ett mycket smalt initialt vågpaket omedelbart blir oändligt brett, men med en fas som är snabbare oscillerande vid stora värden på x . Detta kan tyckas konstigt - lösningen går från att vara lokaliserad vid ett tillfälle till att vara "överallt" vid alla senare tidpunkter , men det är en återspegling av den enorma momentumosäkerheten hos en lokaliserad partikel, som förklarats ovan.

Observera vidare att normen för vågfunktionen är oändlig, vilket också är korrekt, eftersom kvadraten på en deltafunktion är divergerande på samma sätt.

Faktorn som involverar ε är en oändlig storhet som är till för att säkerställa att integraler över K är väldefinierade. I gränsen som ε → 0 , blir K rent oscillerande, och integraler av K är inte absolut konvergenta. I återstoden av detta avsnitt kommer det att sättas till noll, men för att alla integrationer över mellantillstånd ska vara väl definierade, ska gränsen ε →0 tas först efter att sluttillståndet har beräknats.

Propagatorn är amplituden för att nå punkt x vid tidpunkten t , när man börjar vid origo, x =0. Genom translationsinvarians är amplituden för att nå en punkt x när man börjar vid punkt y samma funktion, bara nu översatt,

I gränsen när t är litet går propagatorn till en deltafunktion

men bara i betydelsen distributioner : Integralen av denna kvantitet multiplicerad med en godtycklig differentierbar testfunktion ger testfunktionens värde vid noll.

För att se detta, notera att integralen över hela rummet av K är lika med 1 hela tiden,

eftersom denna integral är den inre produkten av K med den enhetliga vågfunktionen. Men fasfaktorn i exponenten har en rumslig derivata som inte är noll överallt utom vid origo, och så när tiden är liten finns det snabba fasavbrott vid alla utom en punkt. Detta är strikt sant när gränsen ε →0 tas i slutet.

Så fortplantningskärnan är den (framtida) tidsutvecklingen av en deltafunktion, och den är kontinuerlig på sätt och vis: den går till den initiala deltafunktionen vid små tidpunkter. Om den initiala vågfunktionen är en oändligt smal spik vid position y ,

det blir den oscillerande vågen,

Nu, eftersom varje funktion kan skrivas som en viktad summa av sådana smala spikar,

0 tidsutvecklingen för varje funktion ψ bestäms av denna fortplantningskärna K ,

Detta är alltså ett formellt sätt att uttrycka den grundläggande lösningen eller den allmänna lösningen . Tolkningen av detta uttryck är att amplituden för en partikel som ska hittas vid punkt x vid tidpunkten t är amplituden som den startade vid y , gånger amplituden som den gick från y till x , summerad över alla möjliga startpunkter . Med andra ord är det en faltning av kärnan K med det godtyckliga initiala villkoret ψ 0 ,

Eftersom amplituden för att resa från x till y efter en tid t + t ' kan betraktas i två steg, lyder propagatorn kompositionens identitet,

vilket kan tolkas enligt följande: amplituden för att resa från x till z i tiden t + t ' är summan av amplituden för att resa från x till y i tiden t , multiplicerad med amplituden för att resa från y till z i tiden t ', summerat över alla möjliga mellantillstånd y . Detta är en egenskap hos ett godtyckligt kvantsystem, och genom att dela upp tiden i många segment gör det att tidsutvecklingen kan uttryckas som en vägintegral .

Analytisk fortsättning till diffusion

Spridningen av vågpaket inom kvantmekaniken är direkt relaterad till spridningen av sannolikhetstätheter i diffusion . För en partikel som går slumpmässigt , uppfyller sannolikhetstäthetsfunktionen vid vilken punkt som helst diffusionsekvationen ( se även värmeekvationen) ,

där faktorn 2, som kan tas bort genom att skala om antingen tid eller rum, endast är för bekvämlighet.

En lösning av denna ekvation är den spridande gaussiska,

och eftersom integralen av ρ t är konstant medan bredden blir smal vid små tidpunkter, närmar sig denna funktion en deltafunktion vid t = 0,
återigen endast i betydelsen distributioner, så att
för varje smidig testfunktion f .

Den spridande Gaussian är fortplantningskärnan för diffusionsekvationen och den lyder faltningsidentiteten ,

som tillåter diffusion att uttryckas som en vägintegral. Propagatorn är exponentialen för en operator H ,
som är den oändliga diffusionsoperatorn,

En matris har två index, vilket i kontinuerligt utrymme gör den till en funktion av x och x '. I det här fallet, på grund av translationsinvarians, beror matriselementet K endast på skillnaden i positionen, och ett bekvämt missbruk av notation är att referera till operatorn, matriselementen och funktionen av skillnaden med samma namn:

Translationsinvarians innebär att kontinuerlig matrismultiplikation,

är i huvudsak faltning,

Exponentialen kan definieras över ett intervall av t: n som inkluderar komplexa värden, så länge som integraler över fortplantningskärnan förblir konvergenta,

Så länge som den reella delen av z är positiv, för stora värden på x , minskar K exponentiellt, och integraler över K är verkligen absolut konvergenta.

Gränsen för detta uttryck för z som närmar sig den rena imaginära axeln är ovanstående Schrödinger-propagator som stött på,

som illustrerar ovanstående tidsutveckling av Gausserna.

Från den grundläggande identiteten av exponentiering, eller vägintegration,

gäller för alla komplexa z- värden, där integralerna är absolut konvergenta så att operatorerna är väldefinierade.

Således kvantutveckling av en Gauss, som är den komplexa diffusionskärnan K ,

uppgår till det tidsutvecklade tillståndet,

Detta illustrerar ovanstående diffusiva form av de komplexa gaussiska lösningarna,

Se även

Anmärkningar

Anteckningar

externa länkar