Förstakvantisering

Förstakvantisering är en kvantmekanisk formalism för att beskriva tillståndet för ett kvantsystem. Varje partikel i ett kvantsystem beskrivs av en vågfunktion, vars form beror på vilken spinn-orbital partikeln befinner sig i. På grund av ourskiljbarheten hos identiska partiklar måste flerpartikelsystem vara antingen symmetriska (bosoniska system) eller antisymmetriska (fermioniska system) under permutation av partiklarnas identiteter. Inom förstakvantiseringen konstrueras flerpartikeltillstånden med hjälp av determinanter (fermioner) eller permanent (bosoner) av enpartikeltillstånd, vilket garanterar att permutationssymmetrierna uppfylls.

Enpartikelsystem 

Tillståndet för ett enpartikelsystem beskrivs inom första kvantiseringen av en tillståndsvektor . Denna vektor är ett element i ett Hilbertrum, ett fullständigt inre produktrum. Normalt uttrycks denna vektor i en bas av egentillstånd till någon operator, till exempel Hamiltonoperatorn för det system som betraktas. Om  betecknar det :te egentillståndet till en Hamiltonoperator , kan tillståndsvektorn för kvantsystemet uttryckas med hjälp av fullständighetsrelationen som

där  ger sannolikheten att vid en mätning av energin finna systemet i egentillståndet .

Istället för att uttrycka tillståndet  i termer av egentillstånd till Hamiltonoperatorn kan till exempel egentillstånden  till positionsoperatorn  användas:

där  betecknar vågfunktionen för tillståndet och  ger sannolikheten att vid en mätning av positionen finna systemet i egentillståndet , det vill säga vid positionen .

Ett tillstånd  kan alltså beskrivas med olika baser. Vågfunktionen  är en beskrivning i koordinatrepresentationen, där egentillstånden till positionsoperatorn används som bas.

Flerpartikelsystem

Vågfunktioner 
Ett flerpartikeltillstånd kan precis som ett enpartikeltillstånd beskrivas av en tillståndvektor . Detta tillstånd kan i sin tur beskrivas med hjälp av olika baser. Precis som för ett enpartikeltillstånd kan ett flerpartikeltillstånd representeras av en vågfunktion . I motsats till ett enpartikeltillstånd är vågfunktionen för ett -partikelsystem dock en funktion av  olika positioner, en för vardera partikel.

Permutationssymmetrier 

Om systemet består av identiska partiklar måste vågfunktionen vara symmetrisk eller antisymmetrisk under permutation av partiklarnas identiteter. Det innebär att vågfunktionen bara får ändras med en skalär :

vilket medför . Om  betecknar permutationsoperatorn som byter identitet på partiklarna  och , kan denna egenskap hos vågfunktionerna beskrivas som att de är egenfunktioner till 

med egenvärde  för bosoner och med egenvärde  för fermioner. Permutationssymmetrin förändras inte över tiden och måste därför kommutera med Hamiltonoperatorn, . Ourskiljbarheten hos identiska partiklar medför således både villkor på symmetrierna hos vågfunktionerna och hos Hamiltonoperatorn.

Slaterdeterminanter 

För fermioner, vars vågfunktioner är antisymmetriska, kan flerpartikeltillstånd konstrueras utifrån enpartikeltillstånd med hjälp av så kallade Slaterdeterminanter. Betrakta två olika partiklar med positionerna  och  och två olika spinn-orbitaler  och . En första gissning för hur vågfunktionen för totala systemet vore en Hartreeprodukt:

Denna vågfunktion uppfyller emellertid inte kravet om antisymmetri för fermioner och således inte ett tillåtet kvanttillstånd. Istället måste vågfunktionen antisymmetriseras:

Ett tillstånd på denna form kallas Slaterdeterminant eftersom det kan uttryckas som en determinant av en matris med enpartikelvågfunktioner:

På motsvarande sätt kan Slaterdeterminanter konstrueras för -partikelsystem:

Varje Slaterdeterminant är ett egentillstånd till permutationsoperatorn och uppfyller således kravet om antisymmetri. Motsvarande tillstånd kan konstrueras för bosoner, men istället för determinanter används permanent.

Ett allmänt -partikeltillstånd kan uttryckas som en linjärkombination av olika Slaterdeterminanter:

Slaterdeterminanter utgör således en fullständig bas för flerpartikeltillstånd. Rummet som spänns upp av alla möjliga Slaterdeterminanter kallas för Fockrum.

Se även 
 Andrakvantisering

Referenser 
 

Kvantfysik