משוואת דיראק
משוואת דיראק היא משוואת גלים בפיזיקה קוונטית יחסותית. את המשוואה ניסח הפיזיקאי הבריטי פול דיראק בשנת 1928, והיא מתארת חלקיקים אלמנטריים בעלי ספין 1/2, שעימם נמנים האלקטרונים. המשוואה ניבאה את קיומם של אנטי-חלקיקים עוד לפני שאלה התגלו נסיונית, והיוותה השראה לניסויים שבהם נתגלה הפוזיטרון. משוואת דיראק מתארת חלקיק בודד, ללא יצירה וחיסול של חלקיקים (בהיבט זה מטפלת תורת השדות הקוונטית). המשוואה מספקת ניבויים טובים לגבי המומנט המגנטי של האלקטרון ומסבירה תצפיות של הקווים הספקטרליים של האטום.
רקע
משוואת שרדינגר איננה לוקחת בחשבון את תורת היחסות. כדי לקבל הכללה יחסותית למשוואה, היא חייבת להיות סימטרית בנגזרות, כלומר הנגזרות בזמן ובמקום צריכות להיות מאותו סדר. על פי תורת היחסות, התנע והאנרגיה הם רכיבים של 4 וקטור התנע-אנרגיה (ראה תורת היחסות הפרטית) ומקיימים את הקשר
- הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle \ E^2=m^2c^4+p^2c^2}
כאשר הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle \ m} היא מסת המנוחה של החלקיק, הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle \ c} היא מהירות האור בריק, ו- הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle \ p} הוא אופרטור התנע. משימוש בקשר זה מתקבלת משוואת קליין-גורדון:
- הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle -\hbar^2 \frac{\partial^2 \psi}{\partial t^2}=(m^2c^4-c^2\hbar^2\nabla^2)\psi}
הקבוע הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle \hbar} הוא קבוע פלאנק. משוואה זאת היא הכללה ישירה של משוואת שרדינגר. עם זאת, הנגזרת השנייה לפי הזמן במשוואה זאת מצריכה תנאי התחלה על הנגזרת של פונקציית הגל, ולכן אי אפשר להגדיר צפיפות הסתברות שהיא גם חיובית וגם האינטגרל שלה נשמר. הבעייתיות של משוואה זאת היוותה את המוטיבציה לפיתוח משוואת דיראק, אך בהמשך נעשה בה שימוש בתורת השדות בתור משוואה של חלקיקים עם ספין אפס.
ההמילטוניאן של דיראק
כאלטרנטיבה לפיתוח המוביל למשוואת קליין-גורדון, הציע דיראק את ההמילטוניאן הבא
- הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle H=(\boldsymbol{\alpha} \cdot \mathbf{p})c+\beta mc^2}
אפשר להראות שכדי לקבל משוואה שהנגזרות המקומיות והזמניות שלה הן שתיהן מסדר ראשון, שגם מקיימת את הקשר היחסותי בין האנרגיה לתנע, האופרטורים המסומנים כ-הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle \boldsymbol{\alpha}, \beta} צריכים להיות יוניטריים ולקיים את יחס האנטי חילופיות
- הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle \alpha_i^2=\beta^2=1}
- הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle \ \lbrace \alpha_i,\alpha_j \rbrace = 2\delta_{ij}}
אופרטורים המקיים את הדרישות הללו חייבים, בהצגה מטריצית, להיות מיוצגים על ידי מטריצות 4X4 לפחות. לא ניתן למצוא סט של ארבע מטריצות בלתי תלויות מסדר נמוך יותר שכולן מקיימות את האנטי-חילופיות. הפרשנות הפיזיקלית של הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle \boldsymbol{\alpha}, \beta} היא שהם אופרטורים הפועלים במרחב המכפלה בין אופרטורי בורגיות לבין אופרטורי הספין. קיימות הצגות שקולות לאופרטורים הללו, והמעבר בין ההצגות שקול לטרנספורמצית סיבוב במרחב הדו ממדי של הבורגיות. בהצגה הסטנדרטית:
- הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle \alpha_j = \rho_1 \otimes \sigma = \begin{pmatrix} 0 & \boldsymbol{\sigma}_j \\ \boldsymbol{\sigma}_j & 0 \end{pmatrix}}
- הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle \beta = \rho_3 \otimes \mathbf{1} = \begin{pmatrix} \mathbf{1}_2 & 0 \\ 0 & -\mathbf{1}_2 \end{pmatrix}}
הצגה נפוצה נוספת היא ההצגה הבורגית:
- הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle \alpha_j = \rho_3 \otimes \sigma}
- הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle \beta = -\rho_1 \otimes \mathbf{1}}
כאן הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle \mathbf{1}} מסמל את אופרטור היחידה במרחב הדו ממדי, והאופרטור הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle \sigma = \frac{2}{\hbar} S} מיוצג על ידי מטריצות פאולי.
כדי לכלול בהמילטוניאן את האינטרקציה של החלקיק עם השדה האלקטרומגנטי מבצעים את ההחלפה
- הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle p \rightarrow p - \frac{e}{c}A}
משוואת דיראק
המשוואה המתקבלת מההמילטוניאן של דיראק היא
- הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle [(\boldsymbol{\alpha \cdot p})c+\beta mc^2]|\psi \rangle = E|\psi \rangle }
באופן מפורש נכתבת המשוואה כך
- הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle \left(\beta mc^2 + \sum_{j = 1}^3 \alpha_j p_j \, c\right) \psi (\mathbf{x},t) = i \hbar \frac{\partial\psi}{\partial t} (\mathbf{x},t) }
כאשר הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle \ \mathbf{x}} ו-הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle \ t} הן קואורדינטות המרחב והזמן בהתאמה. כתוצאה מההגדרה של ההמילטוניאן, על פונקציית הגל הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle \ \psi (\mathbf{x},t) } להיות מבוטאת כספינור ארבע-ממדי.
בפיתוח של המשוואה בקירוב הלא יחסותי, עם ההמילטוניאן הכולל את האינטרקציה עם השדה האלקטרומגנטי, מקבלים משוואה הכוללת באופן טבעי תיקונים שקודם לכן היה צורך להכניס משיקולים חיצוניים לתאוריה. בפיתוח עד סדר שני מתקבלים התיקונים היחסותיים לאנרגיה הקינטית והתיקון של אינטרקצית ספין מסילה.
פתרונות שליליים לאנרגיה
ההמילטוניאן של דיראק כולל את המכפלה הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle \boldsymbol{\alpha \cdot p}} . מכיוון שהערכים העצמיים של מטריצות פאולי הם הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle \pm 1} , הרי שהפתרונות לאנרגיה יכולים לקבל ערכים שליליים. יתרה מכך, האנרגיה של המערכת לא חסומה מלמטה כלומר למערכת כזאת אין מצב יסוד, פתרון שאיננו מתקבל על הדעת מבחינה פיזיקלית.
תוצאה מוזרה זו הובילה את דיראק למסקנה כי מצב היסוד של המערכת, או מצב הריק, הוא מצב שבו כל מצבי האנרגיה השליליים מאוכלסים (הים של דיראק). במצב שבו כל הרמות השליליות מאוכלסות, עקרון האיסור של פאולי ימנע מפרמיון מלרדת לרמות האנרגיה הנמוכות.
המסקנה מתיאור זה היא שכדי ליצור חור בים של דיראק יש להשקיע אנרגיה של לכל הפחות הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle \ 2mc^2} (פעמיים מסת המנוחה של חלקיק) ותוצאה של יצירת חור תהיה יצירת זוג של חלקיק ואנטי חלקיק. דיראק ייחס בתחילה את החלקיק החיובי החזוי לפרוטונים, שהיו אז החלקיקים החיוביים הידועים היחידים, למרות שלחלקיקים החזויים צריכה הייתה להיות מסה זהה למסתו של האלקטרון.
עובדת קיום החלקיקים החיוביים אומתה בניסוי עם גילוי הפוזיטרון בשנת 1932. כשנשאל דיראק מדוע לא העז וחזה את קיום הפוזיטרון ענה "פחדנות לשמה!".
כתיב יחסותי
את משוואות דיראק ניתן לכתוב בצורה אינווריאנטית לורנץ באמצעות מטריצות גאמה של דיראק. המשוואה היא הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle \ \left( i \hbar \gamma^\mu \partial_\mu - m c \right) \psi = 0} או ביחידות בהן הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle \ \hbar = 1 = c} הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle \ \left( i \gamma^\mu \partial_\mu - m \right) \psi = 0}
הלגראנז'יאן של דיראק הוא הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle \ L = \bar{\psi} \left( i \hbar c \gamma^\mu \partial_\mu - mc^2 \right) \psi} כאשר הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle \bar{\psi} = \psi^\dagger \gamma^0} .
ראו גם
