משפט בלוך

מתוך ויקיפדיה, האנציקלופדיה החופשית
סכימה של החלק הממשי של גל בלוך בממד אחד
גל בלוך שְווה פוטנציאל בסריג צורן (סיליקון)

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

המשפט קרוי על שם הפיזיקאי פליקס בלוך שפרסם אותו בשנת 1928[1].

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

ניסוח מתמטי[עריכת קוד מקור | עריכה]

למשפט מספר ניסוחים שקולים.

ניסוח ראשון[עריכת קוד מקור | עריכה]

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

פונקציית בלוך

כאשר לפונקציה יש את אותה המחזוריות של הסריג, כלומר לכל בסריג ולכל הזזה סריגית מתקיים .

פונקציות גל אלו הן פונקציות עצמיות של ההמילטוניאן עבור האלקטרונים.

ניסוח שני[עריכת קוד מקור | עריכה]

בהינתן המילטוניאן כנ"ל, קיים וקטור , כך שהפונקציות העצמיות של ההמילטוניאן מקיימות:

לכל הזזה סריגית .

הוכחה[עריכת קוד מקור | עריכה]

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

.

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

כאשר היא פונקציה עצמית גם של ההמילטוניאן.

מכיוון שהזזה ב- ואחריה הזזה ב- שקולה להזזה ב-, מתקיים:

ולכן:

הפונקציה היחידה בעלת תכונה זו היא אקספוננט, ולכן:

.

לסיום:

וזה הניסוח השני של המשפט.

בנוסף להוכחה שהוצגה כאן, קיימות הוכחות אחרות, בהן בונים באופן מפורש את הפונקציות העצמיות.

גזירת הניסוח הראשון[עריכת קוד מקור | עריכה]

נכפיל את אגף ימין ואת אגף שמאל ב־:

נגדיר:

ולכן:

כלומר הפונקציה היא פונקציה מחזורית והמחזוריות שלה זהה למחזוריות הסריג.

לפי ההגדרה של נקבל:

מ.ש.ל

לקריאה נוספת[עריכת קוד מקור | עריכה]

  • Felix Bloch, "Über die Quantenmechanik der Elektronen in Kristallgittern," Z. Physik 52, 555-600 (1928).
  • Ashcroft and Mermin, Solid state physics (chapter 8)

הערות שוליים[עריכת קוד מקור | עריכה]

  1. ^ יש לציין כי תכונות דומות של פתרונות של משוואות דיפרנציאליות היו ידועות בתקופה מוקדמת יותר