הצגת המקור של הדף "קוונטיזציה שנייה"

ב[[תורת הקוונטים]], '''קוונטיזציה שנייה''' היא פורמליזם לניתוח מערכות קוונטיות מרובות גופים. הרעיונות המרכזיים בה הוצגו בשנת 1927 על ידי [[פול דיראק]]{{הערה|שם=Dirac|{{cite journal| author=Dirac, P. A. M.|date=1927|title=The Quantum Theory of the Emission and Absorption of Radiation|journal=Proceedings of the Royal Society A: Mathematical, Physical and Engineering Sciences 114 (767): 243|bibcode=1927RSPSA.114..243D|doi=10.1098/rspa.1927.0039}}}}, ופותחו, בעיקר על ידי [[ולדימיר פוק]] ו[[פסקואל יורדן]] מאוחר יותר.{{הערה|V. Fock, ''Z. Phys''. '''75''' (1932), 622-647}}{{הערה|M.C. Reed, B. Simon, "Methods of Modern Mathematical Physics, Volume II", Academic Press 1975. Page 328.}}

לפי גישה זו, מערכות קוונטיות מרובות גופים ניתנות לתיאור על ידי בסיס של [[מצב פוק|מצבי פוק]], הנבנים על ידי הכנסת מספר החלקיקים הזהים בעלי מצב קוונטי מסוים למצב הפוק הרלוונטי. פורמליזם הקוונטיזציה השנייה משתמש באופרטורי היצירה וההשמדה כדי לבנות ולנהל את מצבי פוק, ומספק כלי יעיל ושימושי על מנת לפתור בעיות של מערכות קוונטיות מרובות גופים.

==מערכות קוונטיות מרובות גופים==
נקודת הפתיחה של פורמליזם הקוונטיזציה השנייה היא הרעיון של חלקיקים בלתי ניתנים להבחנה ב[[מכניקת הקוונטים]]. בשונה מ[[מכניקה קלאסית]], בה לכל חלקיק יש תכונה ייחודית של וקטור המקום <math>\mathbf{r}_i</math> וקונפיגורציה שונה של וקטורי הבסיס <math>\mathbf{r}_i</math> שמתאימה למערכת מרובת גופים, במכניקת הקוונטים החלקיקים זהים, כך שההחלפה <math>\mathbf{r}_i\leftrightarrow\mathbf{r}_j</math> אינה משפיעה על המצב הקוונטי של המערכת. על כן פונקציית המצב הקוונטי של מערכת מרובת גופים צריכה להיות אינווריאנטית (עד כדי פקטור פאזורי) להחלפה בין שני חלקיקים. לפי [[מכניקה סטטיסטית|סטטיסטיקה]] של חלקיקים, מערכת מרובת גופים יכולה להיות סימטרית או אנטיסימטרית תחת החלפת חלקיקים:

<math>\Psi_B(\cdots,\mathbf{r}_i,\cdots,\mathbf{r}_j,\cdots)=+\Psi_B(\cdots,\mathbf{r}_j,\cdots,\mathbf{r}_i,\cdots)</math> אם החלקיקים הם [[בוזון|בוזונים]] ,
<math>\Psi_F(\cdots,\mathbf{r}_i,\cdots,\mathbf{r}_j,\cdots)=-\Psi_F(\cdots,\mathbf{r}_j,\cdots,\mathbf{r}_i,\cdots)</math> אם החלקיקים הם [[פרמיון|פרמיונים]].

סימטרית החילוף הזו מטילה מגבלה על [[פונקציית גל|פונקציית הגל]] של מערכות מרובות גופים. בכל פעם שחלקיק נוסף או מוסר מהמערכת, על פונקציית הגל לספק את מגבלת הסימטריה הזו. בפורמליזם [[קוונטיזציה ראשונה|הקוונטיזציה הראשונה]], מגבלה זו מובטחת על ידי הצגת פונקציית הגל כצירוף ליניארי של [[פרמננטה|פרמננטות]] (עבור בוזונים) או [[דטרמיננטה|דטרמיננטות]] (עבור פרמיונים) של מצבים של חלקיק בודד. בפורמליזם הקוונטיזציה השנייה, נושא הסימטריה מטופל באופן מיידי על ידי אופרטורי היצירה וההשמדה, דבר שהופך את הסימון לפשוט יותר. 

===קוונטיזציה ראשונה של מערכות רב גופיות===
נסתכל על בסיס שלם של פונקציות גל של חלקיק בודד, <math>\psi_{\alpha}(\mathbf{r})</math> (כאשר <math>\alpha</math> יכולה להיות שילוב של כמה מספרים קוונטיים). פונקציית הגל המייצגת מצב N-חלקיקי היא:

<math>\Psi[\mathbf{r}_i]=\prod_{i=1}^{N}\psi_{\alpha_i}(\mathbf{r}_i)\equiv \psi_{\alpha_1}\otimes\psi_{\alpha_2}\otimes\cdots\otimes\psi_{\alpha_N}</math>

כאשר החלקיק ה-i מיוצג על ידי המצב <math> \alpha_i</math>. פונקציית הגל <math> \Psi </math> לא סימטרית או אנטי-סימטרית, ולכן באופן כללי לא מתאימה לתיאור של מערכת רב גופית עבור חלקיקים זהים. למרות זאת, ניתן להעביר אותה להצגה הסימטרית שלה על ידי אופרטורי הסימטריזציה שלה, המסומנים <math>\mathcal{S} (\mathcal{A}) </math>. 

עבור בוזונים, פונקציית הגל תהפוך לסימטרית:

<math>\Psi_B[\mathbf{r}_i]=\mathcal{N}\mathcal{S}\Psi[\mathbf{r}_i]=\mathcal{N}\sum_{\pi\in S_N}\prod_{i=1}^{N}\psi_{\alpha_{\pi(i)}}(\mathbf{r}_i)=\mathcal{N}\sum_{\pi\in S_N}\psi_{\alpha_{\pi(1)}}\otimes\psi_{\alpha_{\pi(2)}}\otimes\cdots\otimes\psi_{\alpha_{\pi(N)}}</math>

בעוד שעבור פרמיונים, פונקציית הגל תהפוך לאנטי-סימטרית:

<math>\Psi_F[\mathbf{r}_i]=\mathcal{N}\mathcal{A}\Psi[\mathbf{r}_i]=\mathcal{N}\sum_{\pi\in S_N}(-1)^\pi\prod_{i=1}^{N}\psi_{\alpha_{\pi(i)}}(\mathbf{r}_i)=\mathcal{N}\sum_{\pi\in S_N}(-1)^\pi\psi_{\alpha_{\pi(1)}}\otimes\psi_{\alpha_{\pi(2)}}\otimes\cdots\otimes\psi_{\alpha_{\pi(N)}}</math>

כאשר <math>\pi</math> הוא איבר בחבורת הפרמטוציות על N-גופים (או [[חבורת סימטריות| חבורת הסימטריות]]), <math>S_{N}</math>, המבצע [[פרמוטציה]] בין המצבים <math>\alpha_i</math>, וכן <math>(-1)^\pi</math> מצביעה על סימן הפרמוטציה. <math>\mathcal{N}</math> מסמן את אופרטור הנורמליזציה, המנרמל את פונקציית הגל.

===קוונטיזציה שנייה של מצבי פוק===
קוונטיזציה ראשונה של פונקציות גל כוללת סימטריזציה מסובכת, היות שהשפה של קוונטיזציה ראשונה היא גדושה בחלקיקים שבלתי ניתנים להבחנה ביניהם. בשפה של קוונטיזציה ראשונה, מערכת רב גופית מתוארת על ידי שאילת שאלות כגון "איזה חלקיק נמצא באיזה מצב", אך אלה לא שאלות פיזיקליות, כיוון שהחלקיקים הם זהים, וזה בלתי אפשרי להבחין איזה חלקיק נמצא באיזה מצב. המצבים הלכאורה שונים <math>\psi_1\psi_2</math> וכן <math>\psi_2\psi_1</math> הם למעשה יתירות של אותו המצב של המערכת הרב גופית. על כן, הסימטריזציה (או האנטי-סימטריזציה) צריכה להוריד את היתירות הזו שנוצרה בתיאור של קוונטיזציה ראשונה. 

בשפה של קוונטיזציה שנייה, במקום לשאול שאלות בסגנון "איזה חלקיק נמצא באיזה מצב", השאלות נהיות "כמה חלקיקים נמצאים בכל מצב". היות שתיאור זה לא מתייחס לאינדקס החלקיקי, הוא לא מכיל מידע מיותר, ולכן מביא לתיאור פשוט ומדויק יותר של המערכת הרב גופית. בגישה זו, מערכת רב גופית מיוצגת על ידי בסיס מספרי אכלוס, כאשר מצב בסיס מסומן על ידי מספרי האכלוס, כלומר:

<math>|[n_{\alpha}]\rang\equiv|n_1,n_2,\cdots, n_{\alpha}, \cdots \rang,</math>

אומר שישנם <math> n_{\alpha}</math> חלקיקים במצב <math> \alpha </math>. מספרי האכלוס מסתכמים למספר החלקיקים הכולל, כלומר <math> \sum_\alpha n_{\alpha} = N</math>. עבור [[פרמיון|פרמיונים]], מספר אכלוס <math> n_{\alpha}</math> יכול להיות 0 או 1, לפי [[עקרון האיסור של פאולי]], בעוד שעבור [[בוזון|בוזונים]], הוא יכול להיות כל [[מספר שלם]] אי-שלילי. 

מצבי מספרי האכלוס <math>|[n_{\alpha}]\rang</math> נקראים גם [[מצב פוק|מצבי פוק]]. כל מצבי פוק יוצרים בסיס שלם של [[מרחב הילברט]] עבור מערכת רב גופית, שנקרא [[מרחב פוק]]. כל מצב במערכת רב גופית קוונטית גנרית ניתן לתיאור על ידי [[צירוף ליניארי]] של מצבי פוק. 

מצב פוק בו כל מספרי האכלוס הם אפס נקרא [[מצב הריק]], והוא המצב עם האנרגיה הנמוכה ביותר, והוא מסומן <math>|0\rangle\equiv|\cdots,0_\alpha,\cdots\rangle</math>. מצב פוק עם ערך אחד שונה מ0 נקרא מצב בעל מוד יחיד, ומסומן <math>|n_\alpha\rangle\equiv|\cdots,0,n_\alpha,0,\cdots\rangle</math>. במונחים של פונקציות גל של קוונטיזציה ראשונה, מצב הריק הוא היחידה של המכפלה הטנזורית. מצב של חלקיק יחיד מצומצם לפונקציית הגל שלו: <math>|1_\alpha\rangle=\psi_\alpha</math>. בעבור מצב כללי של אופן יחיד של מערכת רב גופית, נקבל את המכפלה הטנזורית של פונקציות הגל של האופן הזה, כגון: <math>|n_\alpha\rangle=\psi_\alpha^{\otimes n}</math>. בעבור מצבים בעלי אופנים מרובים, פונקציית הגל של קוונטיזציה ראשונה דורש סימטריזציה המתאימה לסטטיסטיקה החלקיקית, כגון: <math>|1_1,1_2\rangle=\frac{\psi_1\psi_2+\psi_2\psi_1}{\sqrt{2}}</math> עבור מצב בוזוני, ו- <math>|1_1,1_2\rangle=\frac{\psi_1\psi_2-\psi_2\psi_1}{\sqrt{2}}</math> עבור מצב פרמיוני. במקרה הכללי, הנרמול יהיה <math>\sqrt{\tfrac{\prod_{\alpha}n_\alpha!}{N!}}</math>, כאשר N הוא המספר הכולל של חלקיקים. 

==ראו גם==
*[[קוונטיזציה (פיזיקה)|קוונטיזציה]]
*[[קוונטיזציה ראשונה]]

==הערות שוליים==
{{הערות שוליים|יישור=שמאל}}

[[קטגוריה:מכניקת הקוונטים]]