Schrödingerekvationen
Schrödingerekvationen är en partiell differentialekvation av central betydelse inom kvantmekaniken. Ekvationen beskriver dynamiken hos ett kvantmekaniskt tillstånd på motsvarande sätt som Newtons andra lag beskriver dynamiken hos mekaniska system inom klassisk fysik. Schrödingerekvationen formulerades i slutet av 1925 av den österrikiske fysikern Erwin Schrödinger[1] mot bakgrund av Louis de Broglies teori om våg-partikeldualitet.
Inom kvantmekaniken beskrivs tillståndet för en partikel, till exempel en elektron, av en vågfunktion. Schrödingerekvationen beskriver partikelns dynamik, det vill säga hur vågfunktionen beter sig över tiden. Flera kvantmekaniska egenskaper och fenomen följer direkt ur Schrödingerekvationen, såsom energikvantisering, superposition och tunneleffekt. I relativistisk kvantmekanik, kvantfältteori, förekommer motsvarande ekvationer, Klein–Gordon-ekvationen och Diracekvationen.
Ekvationen
redigeraAllmän tidsberoende ekvation
redigeraGivet en vågfunktion och en hamiltonoperator , som i allmänhet beror på både rum och tid (och eventuella andra frihetsgrader såsom spinn), ges Schrödingerekvationen i sin mest allmänna form av
Tidsberoende Schrödingerekvationen
där betecknar imaginära enheten, betecknar Plancks konstant delat med och betecknar en partiell tidsderivata.
Tidsoberoende ekvation för stationära tillstånd
redigeraI de fall hamiltonoperatorn är tidsoberoende för ett kvantmekaniskt system är energin konserverad för systemet. I dessa fall kan lösningar till Schrödingerekvationen ovan hittas med hjälp av ansatsen . Från den tidsberoende Schrödingerekvationen följer den tidsoberoende Schrödingerekvationen
Tidsoberoende Schrödingerekvationen för stationära tillstånd
Med andra ord reduceras den tidsberoende Schrödingerekvationen till en tidsoberoende egenvärdesekvation för hamiltonoperatorn med vågfunktionen som egenfunktion och energin som egenvärde. Lösningar på denna form kallas stationära tillstånd eftersom deras sannolikhetstäthet given av är tidsoberoende.
Eftersom den tidsberoende Schrödingerekvationen är linjär är en linjärkombination av flera stationära tillstånd en lösning till Schrödingerekvationen trots att linjärkombinationen själv inte uppfyller den tidsoberoende ekvationen för stationära tillstånd. De stationära tillstånden kan användas som en bas för att beskriva alla lösningar, det vill säga varje lösning till den allmänna Schrödingerekvationen kan skrivas som en linjärkombination av de stationära lösningarna.
Icke-relativistisk partikel i ett elektriskt fält
redigeraFör en icke-relativistisk partikel med potentiell energi i ett elektriskt fält ges Schrödingerekvationen av
Schrödingerekvationen (icke-relativistisk partikel)
där är hamiltonoperatorn för partikeln, partikelns massa och är Laplaceoperatorn. Hamiltonoperatorn kan ses som en summa av den kinetiska energin (med rörelsemängdsoperatorn ) och den potentiella energin för partikeln.
Egenskaper
redigeraSchrödingerekvationen har flera viktiga matematiska egenskaper som hänger samman med fysikaliska fenomen.
Linjäritet och superposition
redigeraSchrödingerekvationens linjäritet innebär att om ett antal vågfunktioner ( är ett index som numrerar de olika vågfunktionerna) uppfyller ekvationen så är även en lösning, där (i allmänhet) är komplexa koefficienter.
Linjäriteten manifesterar superpositionsprincipen. En kvantmekanisk partikel kan befinna sig i en superposition av flera möjliga kvanttillstånd. Dess vågfunktion är då en linjär kombination av dessa kvanttillstånd.
Reella egenvärden/energier
redigeraHamiltonoperatorn som används i Schrödingerekvationen måste alltid vara Hermitesk, vilket bland annat garanterar att egenvärdena (energierna) i den tidsoberoende Schrödingerekvationen är reella.
Lokal konservering av sannolikhetstäthet
redigeraSchrödingerekvationen är förenlig med sannolikhetskonservering. Genom att multiplicera Schrödingerekvationen med den komplexkonjugerade vågfunktionen från höger och vågfunktionen till vänster på den komplexkonjugerade Schrödingerekvationen, och subtrahera resultaten, erhålls kontinuitetsekvationen:
där är sannolikhetstätheten och är sannolikhetsströmmen.
Rumsderivatorer och tidsderivator
redigeraI motsats till vågekvationen har Schrödingerekvationen endast en förstaderivata med avseende på tiden. Andraderivatan med avseende på rumskoordinater i den tidsoberoende ekvationen innebär att tid och rum inte behandlas på samma sätt i ekvationen. Den är alltså inte förenlig med speciella relativitetsteorin.
Intuitiv tolkning av ekvationen
redigeraVågfunktionen ( ) för ett kvantmekaniskt system ger information om sannolikheter för att systemet befinner sig i givna tillstånd; för en enskild partikel kan 'tillståndet' vara att den befinner sig inom en cirkel med centrum i origo och vars radie är en centimeter, under 10 minuter. Sannolikheten förändras med tiden och är också beroende av var partikeln befinner sig; matematiskt innebär detta att vågfunktionen är en funktion som beror av tiden (t) och positionen i rummet (x):
Schrödingerekvationen anger hur vågfunktionen förändras med tiden, vilket matematiskt beskrivs med den partiella derivatan av vågfunktionen med avseende på tiden:
Enligt Schrödingerekvationen beror förändringen på partikelns hastighet och vilka 'hinder' (potentialer) den möter under sin rörelse:
Ett annat sätt att uppfatta Schrödingerekvationen är som en beskrivning av rörelsen hos en partikel som rör sig slumpmässigt (diffunderar) och som stöter på hinder i sin rörelse:
Notera att själva rörelsen hos partikeln inte beskrivs av Schrödingerekvationen – en sådan beskrivning behöver en stokastisk differentialekvation – utan Schrödingerekvationen ger endast information om sannolikheter för att partikeln skall befinna sig på en viss plats vid en viss tidpunkt.
Sannolikheten att partikeln under tio minuter skall röra sig inom cirkeln D, vars centrum är origo och vars radie är en centimeter, ges av dubbelintegralen
som kan beräknas om lösningen till Schrödingerekvationen är känd.
Exempel
redigeraPlan våg
redigeraEn plan våg kan beskrivas endimensionellt. För en fri partikel (V = 0) är den generella lösningen
där är ett vågpaket, det vill säga en fördelning av rörelsemängder, , och är energin hos en partikel med rörelsemängd .
Partikel i låda
redigera"Lådan" består av en potential som är oändlig utanför och konstant inuti lådan. Lösningarna är vågor för fria partiklar som uppfyller randvillkoren att vågfunktionen måste vara noll utanför lådan. Detta leder till stående vågor med kvantiserade energinivåer.
Speciella relativitetsteorin
redigeraAtt denna ekvation inte är kompatibel med speciella relativitetsteorin inses då differentialekvationen är av första ordningen i tiden, men av andra ordningen i variabeln x. Vidare kan sägas att är en komplexvärd funktion (se komplexa tal) och att är stor där partikeln förväntas vara. Max Born postulerade att funktionen motsvarar sannolikheten för att en partikel befinner sig i rumsintervallen och inom tidsintervallen Detta medför att vi kan förstå normaliseringsfaktorn i lösningen ovan, då följande villkor ställs på lösningarna, eftersom en partikel med nödvändighet måste befinna sig någonstans i rummet.
Funktionalanalys
redigeraI kvantmekanik är varje system associerat med ett komplext hilbertrum sådant att de möjliga tillstånden[förtydliga] i systemet är beskrivet av en linjärkombination av enhetsvektorer i en sådan rymd. Respektive tillståndsvektor kodifierar sannolikheterna för utfallen av alla möjliga mätningar applicerade på system. Eftersom systemets tillstånd generellt förändras över tiden, är tillståndsvektorn en funktion över tiden. Schrödingerekvationen ger en kvantitativ beskrivning av förändringen av tillståndsvektorn.
Med användning av Diracs notation kan vi skriva tillståndsvektorn vid tid t som |ψ(t)〉.
Schrödingerekvationen är då:
Formulering utan komplexa tal
redigeraDet här avsnittet behöver källhänvisningar för att kunna verifieras. (2017-09) Åtgärda genom att lägga till pålitliga källor (gärna som fotnoter). Uppgifter utan källhänvisning kan ifrågasättas och tas bort utan att det behöver diskuteras på diskussionssidan. |
Följande tolkning begränsas till fallet då hamiltonoperatorn är linjär, reell och kommuterar (det vill säga att ordningen kan kastas om) med partiell tidsderivering. Formuleringen gör att man slipper komplexa tal som inte går att mäta, vilket underlättar tolkningen. Först delas vågfunktionen upp i sina reella och imaginära delar och :
Därefter ställs ekvationer upp för var och en av dem genom att använda antagandet att är linjär och reell:
Genom att derivera partiellt med avseende på tid i den första ekvationen och applicera hamiltonoperatorn ytterligare en gång i den andra, fås genom att använda antagandet att kommuterar med tidsderivering att
Den första ekvationen kan nu skrivas
Genom att derivera partiellt med avseende på tid i den andra ekvationen och applicera hamiltonoperatorn ytterligare en gång i den första fås på samma sätt även att
Resultatet är en partiell differentialekvation för ett tvådimensionellt vektorfält
med komponenter och där inga komplexa storheter ingår:
För det specifika fallet
fås
Notera att potentialen måste vara tidsoberoende för att formuleringen skall gälla, annars kommuterar den inte med partiell tidsderivering.
Exempel 1
redigeraEn explicit lösning finns i fallet (användningsområdet diskuteras nedan) då potentialen är noll i det endimensionella fallet:
Förekomsten av planvågslösningar med vågutbredningsfart undersöks med ansatsen
Insättning ger kravet
Dvs andraderivatan måste uppfylla Helmholtz ekvation med (begränsade) lösningar
Integration ger (bortsett från konstant och linjär term)
Tillåtna planvågslösningar är därmed harmoniska oscillationer. Sambanden mellan frekvens , vinkelfrekvens , våglängd och cirkulärt vågtal för given vågutbredningsfart blir
Andra vågformer, såsom superpositioner av harmoniska vågor med olika frekvens, kan därför inte utbredas utan att formen ändras: Vågutbredningsfarten är olika för olika frekvenser. Uttrycket för våglängden skiljer sig med en faktor två mot de Broglie-våglängden men inte mot lösningen som erhålls för den traditionella formuleringen av Schrödingerekvationen. Som en kommentar har den plana vågen oändlig utsträckning och saknar början och slut. Dess beskrivning av en punktpartikel är därmed begränsad. Det plana vågor kan göra är att lokalt och approximativt representera en krökt vågfront. Utstrålning från en rörlig punktmassa skulle bättre kunna beskrivas av en Green-funktion, som behöver anpassas till situationen.
Exempel 2
redigeraEn explicit lösning finns även i fallet då potentialen är konstant i det endimensionella fallet:
Förekomsten av planvågslösningar med vågutbredningsfart undersöks enligt tidigare med ansatsen
Användning av inre derivata och insättning ger kravet
där primtecknen avser derivering med avseende på parametern . Testa nu Fouriertransform: De tillåtna värdena på integrationsvariabeln ges efter insättning av lösningarna till den karaktäristiska ekvationen
Genom att införa hjälpvariabeln och parametern fås efter lite algebra villkoren
Om studien begränsas till fallet dvs fås efter rotutdragning och teckenstudier att de fyra tillåtna lösningarna ges av
Insättning ger
Amplituderna bestäms av randvillkor. Ett intressant specialfall fås genom att sätta :
Plana vågor med utbredningsfart kan alltså propagera, men de måste då vara harmoniska med frekvensen eller . Notera skillnaden mot fallet då potentialen var noll och endast en frekvens var tillåten för given utbredningsfart! Med hjälp av trigonometriska summationsformeln fås att
där
Lösningen beskriver en amplitudmodulering. En av de två frekvenserna alltid är lika med , oberoende av (så länge ), vilket kan betraktas som högst anmärkningsvärt.
Se även
redigera- Värmeledningsekvationen
- Hartree-Fock – En approximativ metod för beräkningar på flerelektronsystem, som bygger på Schrödingerekvationen.
- Kvantmekanik
Referenser
redigeraNoter
redigera- ^ Schrödinger, Erwin (1926). Physical Review 28 (1049–1070). Arkiverad från originalet den 17 december 2008. https://web.archive.org/web/20081217040121/http://home.tiscali.nl/physis/HistoricPaper/Schroedinger/Schroedinger1926c.pdf.
Källor
redigeraExterna länkar
redigera- Wikimedia Commons har media som rör Schrödingerekvationen.