מתנד הרמוני קוונטי (נקרא גם אוסצילטור הרמוני קוונטי) הוא התוצאה של טיפול קוונטי בבעיה הפיזיקלית של מתנד הרמוני. האוסצילטור ההרמוני הקוונטי הוא אחד מהמודלים הפיזיקליים החשובים ביותר בפיזיקה קוונטית ובפיזיקה המודרנית, מאחר שבעיות פיזיקליות רבות ניתן להציג (במדויק או בקירוב) כאוסף של אוסצילטורים קוונטים. היתרון הגדול של האוסצילטור ההרמוני הקוונטי הוא שזו מערכת שהפיזיקאים יודעים לפתור במדויק.
מקרה פשוט של אוסצילטור הרמוני חד-ממדי הוא חלקיק בעל מסהm, אשר נמצא תחת השפעת פוטנציאל (ליתר דיוק: אנרגיה פוטנציאלית) . לכן, ההמילטוניאן של המערכת הוא
כאשר x הוא אופרטור המקום של החלקיק, ו־p הוא אופרטור התנע הצמוד לו (בהצגת המקום, ). האיבר הראשון (השמאלי יותר) מייצג את האנרגיה הקינטית של החלקיק ואילו האיבר השני מייצג את האנרגיה הפוטנציאלית שלו כתוצאה מכוח חיצוני המופעל עליו.
במכניקת הקוונטים, פתרון של בעיה הוא מציאת המצבים העצמיים של המערכת והדרך בה הם מתפתחים בזמן. כדי לעשות זאת יש לפתור את משוואת שרדינגר ולמצוא את המצבים העצמיים של אופרטור ההמילטוניאן, שנקראים גם המצבים העצמיים של האנרגיה. הפתרון מתקבל באמצעות הפרדת משתנים: אם מציבים במשוואת שרדינגר , מתקבלת משוואת שרדינגר הבלתי תלויה בזמן, .
אפשר לפתור את המשוואה הדיפרנציאלית בבסיס המקום, תוך שימוש בשיטת פרובניוס (פתרון מד"ר על ידי פיתוח לטור חזקות), ומתקבלת משפחה של פתרונות,
הפתרונות מתאימים למספר הקוונטיn, שיכול להיות כל מספר שלם אי־שלילי (0,1,2,3 וכן הלאה)
ששת הפתרונות הראשונים (n=0 עד n=5) מוצגים באיור שמשמאל. אלו הם גרפים של פונקציות הגל. הפונקציות Hn הן פולינומי הרמיט:
בפתרון בשיטת פרוביניוס, הקוונטיזציה של האנרגיות והערכים שלהן נובעים מהתנאי המתמטי שהפתרונות יהיו פולינומים סופיים ולא יתבדרו (השוו עם תנאי השפה של בור פוטנציאל אינסופי).
האנרגיות העצמיות (ראו: ערך עצמי) המתאימות לכל אחד מהפתרונות הן
.
ספקטרום האנרגיה ממחיש שני מאפיינים נפוצים במערכות קוונטיות:
האנרגיות "מקוונטטות", כלומר: הן יכולות לקבל רק ערכים בדידים ולא משתנות ברציפות. האנרגיות קופצות במנת האנרגיה ("קוונט של אנרגיה") הבסיסית כל פעם, כלומר: . ספקטרום האנרגיות הדיסקרטי הוא מאפיין של מערכות קוונטיות רבות, ולמעשה הוא נובע מכך שהמערכת היא מערכת קשורה ובמובן מסוים חסומה. נקדיש לכך דיון נוסף בפסקה על אופרטורי סולם.
האנרגיה המינימלית של המערכת איננה אפס, אלא , שנקראת "אנרגיית מצב היסוד" או "אנרגיית נקודת האפס" (באנגלית: "ground state energy" או "zero-point energy"). אף על פי שעובדה זו לא נראית רבת חשיבות, יש לה השלכות חשובות ביותר כאשר מבצעים קוונטיזציה לשדות ומקרבים אותם על ידי אוסצילטורים הרמוניים. בהקשר זה, אנרגיית מצב היסוד נקראת גם אנרגיית הריק, וניתן אף למדוד אותה במעבדה (למשל, באפקט קזימיר).
צפיפות ההסתברות של פונקציית הגל של מצב היסוד מרוכזת בראשית, ומכאן שהחלקיק נמצא רוב הזמן בתחתית בור הפוטנציאל, קרוב לראשית, כפי שניתן לצפות ממצב בעל אנרגיה נמוכה. ככל שהאנרגיה של החלקיק גדלה, צפיפות ההסתברות מתרחקת מן המרכז, ומתרכזת בנקודות המפנה הקלאסיות, בהן האנרגיה העצמית מתלכדת עם האנרגיה הפוטנציאלית. מסקנות אלה עקביות עם התיאור הקלאסי של אוסצילטור הרמוני, בו חלקיק אנרגטי נמצא רוב הזמן בנקודות המפנה, שם מהירותו מתאפסת תוך כדי שהוא משנה כיוון. המסקנה העיקרית מדיון זה הוא שעקרון ההתאמה של נילס בוהר מתקיים, כנדרש.
שיטת אופרטורי הסולם
הפתרון המפורש בבסיס המקום, באמצעות שיטת פרובניוס, הוא ישיר ומיידי, אך הוא די מסורבל וארוך. שיטת "אופרטורי הסולם", שהמציא פול דיראק, מאפשרת לחלץ את ספקטרום האנרגיות מבלי לפתור באופן ישיר את המשוואה הדיפרנציאלית. יתרה מכך, ניתן להכליל אותה לבעיות מסובכות יותר, בעיקר בתורת השדות הקוונטית.
בשיטה זו מוגדרים שני אופרטורים המאפשרים לעבור ממצב עצמי אחד לאחר, תוך שינוי של n ב-: אופרטור אחד מוריד את המערכת למצב אנרגטי נמוך יותר ("מדעיך את המערכת"), ואופרטור אחר מעלה את המערכת למצב אנרגטי גבוה יותר ("מעורר את המערכת"). השם הכללי של אופרטורים אלו הוא "אופרטורי חיסול ויצירה" (לפעמים "השמדה" במקום "חיסול"): כאשר אופרטור יצירה מעלה מצב ואופרטור חיסול מוריד מצב. מקור השם הוא בתורת השדות הקוונטית בה אנו מייחסים לכל דרגת עירור (כלומר: קוונטת אנרגיה) פוטון עם תדירות ואנרגיה . אזי העלאת מצב שקולה ליצירת פוטון ואילו הורדת מצב לחיסול פוטון.
האופרטורים הללו, a והצמוד ההרמיטי שלו a†, מוגדרים באמצעות האופרטורים x ו־p:
האופרטור a איננו אופרטור הרמיטי שכן הצמוד ההרמיטי שלו איננו שווה לו. בהגדרת a† כצמוד ההרמיטי של a נעזרנו בעובדה שהאופרטורים x ו־p (שמייצגים גדלים הניתנים למדידה) הם אכן הרמיטיים.
כאשר הסוגרים המרובעים מסמנים את הקומוטטור, שמוגדר כ
.
תוך שימוש בהגדרות לעיל אפשר להוכיח את הזהויות הבאות:
.
אלו הן הזהויות החשובות ביותר בשיטת אופרטורי הסולם, והן מייצגות את הדינמיקה של הבעיה - במונחים של a ו־a†, במקום במונחים של x ו־p.
הוכחה
יהי מצב עצמי של ההמילטוניאן עם אנרגיה עצמית E. המכפלה הפנימית של כל "קט" (ket) עם עצמו היא א-שלילית, ולכן
.
נבטא את באמצעות ההמילטוניאן:
,
כלומר .
כאשר () הוא "קט" האפס (כלומר: הקט בעל נורמה ששווה לאפס), הביטוי האחרון הופך לשוויון. מכאן שקיימת אנרגיה E כך ש . אפשר להראות שמכך נובע שקיים מצב עצמי (ששונה מאפס) עם האנרגיה הזו. מצב זה נקרא "מצב היסוד" (n = 0) ותיאור מתמטי מפורש שלו (בבסיס המקום) ניתן בפסקה הקודמת.
תוך שימוש בזהויות לעיל, אפשר להראות שיחסי החילוף של a ו־a† עם H הם
.
כך, אם () איננו "קט" האפס, השוויון הבא מתקיים:
.
באותו אופן אפשר להראות ש-
.
במילים אחרות, a פועל על מצב עצמי בעל אנרגיה E כדי ליצור (עד כדי קבוע כפלי) מצב עצמי עם אנרגיה , ואילו a† פועל על מצב עצמי עם אנרגיה E כדי ליצור מצב עצמי עם . מסיבה זו a נקרא "אופרטור הורדה" או "אופרטור חיסול" ואילו a† נקרא "אופרטור העלאה" או "אופרטור יצירה". כאמור, בתורת השדות הקוונטית זוג האופרטורים הללו נקראים אופרטורי חיסול ויצירה בהתאמה, מאחר שהם משמשים לחיסול ויצירה של "חלקיקים" הנושאים את קוונטת האנרגיה הבסיסית.
אופרטורי הסולם מקיימים את יחסי היצירה והחיסול הבאים:
בהינתן מצב עצמי (של האנרגיה) כלשהו, ניתן "להוריד" אותו באמצעות הפעלת האופרטור a עליו וכך ליצור מצב עצמי אחר, עם פחות אנרגיה. באמצעות הפעלה חוזרת ונשנית של אופרטור ההורדה, זה נראה כאילו ניתן להפיק מצבים עם אנרגיות שליליות נמוכות כרצוננו. ברם, אפשרות זו סותרת את הדרישה שהוכחנו קודם: . מכאן נובע שקיים מצב עצמי עם אנרגיית היסוד ("מצב היסוד"), המסומן ב־ כך ש
.
כאשר 0 מסמן את "קט" האפס. זאת, על אף ש.
במקרה זה, הפעלה חוזרת ונשנית של אופרטור ההורדה תפיק את "קט" האפס - כלומר: לא כלום - ולא תיצור מצבי אנרגיה נוספים. יתרה מכך, הראינו ש
לבסוף, אם נפעיל על את אופרטור ההעלאה ונדאג לנרמל את המצב המתקבל בכל שלב, אנו יכולים ליצור את כל סט המצבים העצמיים האינסופי (אך הבן מנייה) של האנרגיות , כך ש
שמתאים לספקטרום האנרגיות שמצאנו בפסקה הקודמת באופן ישיר.
שיטת הקוואזי-תנע
שיטה נוספת לחשב את האנרגיה של אוסילטור הרמוני היא באמצעות הקוואזי-תנע המוגדר באופן הבא:
.
באמצעות הצבת הקוואזי-תנע במשוואת שרדינגר הבלתי תלויה בזמן נקבל משוואה הדומה למשוואה הקלאסית, ומכאן מקור השם קוואזי-תנע
כעת, משום שלפונקציית הגל ברמה ה-n יש n אפסים (משפט כללי בתורת שטורם-ליוביל), נוכל לכתוב את הקוואזי-תנע כצירוף של n קטבים וחלק אנליטי, כאשר את מקדמי הקטבים ניתן לחשב ממשפט השארית (או מאינטגרציה מסביב ל-0 במישור המרוכב) להיות . על ידי הצבה במשוואה ולקיחת x לאינסוף, קל לראות שהחלק האנליטי של P ליניארי בx. מכאן, על ידי השוואת החלק הקבוע ניתן לקבל את האנרגיה E להיות בדיוק האנרגיה הקוונטית. הגבול הקלאסי מתקבל ישירות מלקיחת להיות זניח ביחס לקבועים אחרים. יתרה מכך, השוואת החלק הקוטבי ל-0 נותן את האפסים של פולינומי הרמיט והבנה פיזיקלית שלהם בתור המצב הסטטי של חלקיקים (חלקיקי הקטבים) עם פוטנציאל מרכזי דוחה משאר החלקיקים ופוטנציאל הרמוני לחלקיק מסוים. [1]
מצבים קוהרנטיים
במצבים העצמיים מתקיים שערכי התצפית של המקום והתנע הם 0. אנחנו מעוניינים בחיפוש מצבים שערכי התצפית שלהם יתנהגו כמו אוסצילטור הרמוני קלאסי. נסתכל על המצבים הבאים:
כדי לייצר את המצב הקוהרנטי יש להפעיל את אופרטור ההעתקה על מצב היסוד
כאשר
.
מצבים אלה מקיימים:
.
סט המצבים הקוהרנטים איננו אורתונורמלי אלא בקירוב, שכן . ביטוי זה שונה מאפס אך דועך מהר, ככל שהמצבים מתרחקים זה מזה.
סט המצבים הקוהרנטים שלם "יתר על המידה", ואפילו יש בו "מצבים מיותרים" שכן .
כעת, נסתכל על משוואות של אופרטורי הסולם (תמונת הייזנברג):
שפתרונן מיידי
ואז אופרטורי המקום והתנע יקבלו את התלות הזמנית הבאה:
כעת נוכל להשתמש במצבים הקוהרנטים ולראות שהם אכן מתנהגים כמו אוסצילטור הרמוני קלאסי. נשים לב ש
ולכן
כאשר הצבנו .
כך קיבלנו שחבילת הגלים של המצב הקוהרנטי מתנודדת בתדירות זוויתית , מופע ומשרעת.
אוסצילטור הרמוני רב-ממדי
אוסצילטור הרמוני חד-ממדי ניתן ואף מתבקש להכליל לאוסצילטור של N-ממדים, כאשר N = 1, 2, 3, ...
בממד אחד, המיקום של החלקיק תואר באמצעות קואורדינטה אחת בלבד, x. ב-N ממדים, אנו נתאר את מיקומו באמצעות N קואורדינטות, שנסמן כ x1, ..., xN. לכל קואורדינטה נגדיר תנע צמוד מתאים ונסמן p1, ..., pN את N התנעים שקיבלנו.
נזכיר שוב שכל הקואורדינטות והתנעים בעצם אופרטורים הרמיטיים הניתנים למדידה. אופרטורים אלה מקיימים את יחסי החילוף הקנוניים:
מהצגה זו ברור שאוסצילטור הרמוני N-ממדי הוא בעצם שקול ל-N אוסצילטורים חד-ממדיים בלתי תלויים (ובלתי מצומדים) בעלי אותה מסה m ותדירות תנודה (כלומר: אותו "קבוע הקפיץ"). במקרה זה, ניתן להסתכל על הקואורדינטות x1, ..., xN כאוסף המקומות של N חלקיקים, ולמזלנו הרב - מאחר שהפוטנציאלים מופרדים - אפשר לפתור את הבעיה עבור כל חלקיק, או אוסצילטור בנפרד. בשפה מקצועית, אנו אומרים שבכך "ליכסנו את הבעיה" מאחר שהתהליך של מציאת אופני תנודה או קואורדינטות נורמליות בלתי תלויות הוא אנלוגי לתהליך של לכסון מטריצה.
מסקנה זו הופכת את הפתרון לישיר ומיידי. את המערכת מאפיינים N-יות של מספרים קוונטים: כאשר ni מסמן את דרגת העירור של האוסצילטור ה-i, כלומר: אם הוא בדרגת עירור ni אזי האנרגיה שלו היא והוא במצב העצמי המתאים. המצב המתאים ל-N לעיל הוא מכפלה טנזורית של המצבים העצמיים של כל אוסצילטור חד-ממדי המתאים לדרגת העירור שלו
עם אנרגיה עצמית
.
בשיטת אופרטורי הסולם, אנו מגדירים סט של N אופרטורים (ו-N צמודים):
.
ובאופן אנלוגי למקרה החד-ממדי אפשר להראות שהאופרטורים ai ו a†i מורידים ומעלים (בהתאמה) את דרגת העירור של האוסצילטור ה-i. רמות האנרגיה של המערכת הן, אם כן
.
כמו במקרה החד-ממדי, ספקטרום האנרגיות הוא מקוונטט (ולא רציף). אנרגיית היסוד היא N פעמים כפול אנרגיית היסוד של אוסצילטור חד-ממדי, כמצופה מכך שהמערכת שקולה ל-N אוסצילטורים שכאלה. ברם, ישנו הבדל אחד בין הספקטרום החד-ממדי לזה הרב-ממדי והוא שהספקטרום הרב-ממדי מנוון, כלומר: יש 2 מצבים קוונטים שונים בעלי אותה אנרגיה עצמית, בעוד שבספקטרום החד-ממדי לכל אנרגיה היה מצב עצמי אחד בלבד.
ניתן לחשב את דרגת הניוון בקלות יחסית. נתבונן, לדוגמה, במקרה התלת-ממדי.
נגדיר: n = n1 + n2 + n3.
כל המצבים עם n נתון הם מנוונים. עבור n נתון, נבחר n1 כלשהו. לפיכך,
n2 + n3 = n − n1. ישנן n − n1 + 1 קבוצות אפשריות {n2, n3}. המשתנה n2 יכול לקבל את הערכים 0 עד n − n1, ולכל n2 הערך של n3 נקבע ביחידות. לכן, דרגת הניוון היא (הסכימה היא רק על n1):
יישומים
תנודות בגביש
תנודות בגביש (סריגמוצק, lattice) ניתן לתאר כאוסף אוסצילטורים מצומדים
כאשר הקואורדינטה xi הוא המיקום של האטום ה-i בסריג ביחס לנקודת שיווי המשקל שלו בסריג.
הסכימה כאן נעשית רק על זוגות שכנים סמוכים, ואף על פי שזהו בדרך כלל רק קירוב - ברוב המקרים זהו קירוב מוצדק. קירוב זה מתאים למודל שבו כל שני חלקיקים שכנים סמוכים בגביש מחוברים ביניהם בקפיץ (דמיינו רשת תלת-ממדית של קוביות, בה בכל קודקוד יש חלקיק וכל צלע היא קפיץ).
מסתבר שישנה מערכת קואורדינטות בה ניתן להציג את הבעיה כאוסף של N אוסצילטורים בלתי-תלויים. בקואורדינטות אלה ההמילטוניאן מלוכסן ואפשר להפעיל מיידית את הפתרון שמצאנו קודם. ברם, לא ניתן עוד לפרש את ה"אוסצילטורים" והפתרונות שקיבלנו כאמפליטודות התנודה של חלקיק מסוים בגביש, אלא כעירורים קולקטיביים בהם כל הגביש רוטט באופן תנודה כלשהו. לעירורים או אופני תנודה אלה קוראים "פונונים Phonons" ומתייחסים אליהם כאל חלקיקים, מאחר שכמו פוטונים, ניתן ליחס להם תכונות חלקיקיות (אנרגיה, תנע, העברת קוונט אנרגיה, יצירת זרם פונונים). את הפונונים ניתן למצוא במוצקים רבים ולהם אפקטים חשובים ביותר, שאינם ניתנים להזנחה. חקר השפעת הפונונים על התנודות בגביש ועל תכונות כגון פיזורי בראג, קיבול חום ומוליכות הוא ענף חשוב של פיזיקה של מצב מוצק.