משפט ארנפסט
במכניקת הקוונטים, משפט ארנפסט (על שם הפיזיקאי פאול ארנפסט) הוא משפט המקשר בין הנגזרת של ערך התצפית של אופרטור פיזיקלי כלשהו, עם הקומוטטור שלו עם ההמילטוניאן של המערכת.תבנית:הערה
המשפט אומר כי מתקיים:תבנית:הערה
כאשר הוא אופרטור פיזיקלי, ו- הוא ערך התצפית שלו.
משפט ארנפסט מופיע רבות בתמונת הייזנברג בתור ערך התצפית של משוואת התנועה של הייזנברג. כמו כן, הוא מהווה תמיכה מתמטית לעקרון ההתאמה של בוהר.
משפט ארנפסט דומה מאוד למשפט ליוביל על המילטוניאנים תבנית:אנ, כאשר מחליפים את הקומוטטור בסוגרי פואסון. לפי כלל האצבע של דיראק, טענות במכניקת הקוונטים שמכילות קומוטטור מתאימות לטענות מהמכניקה הקלאסית כאשר מחליפים בין הקומוטטור וסוגרי פואסון, מוכפלים ב- iħ.
הוכחה בתמונת שרדינגר
תהי מערכת קוונטית הנמצאת במצב קוונטי . נרצה לחשב את הנגזרת בזמן של ערך התצפית של האופרטור A, והיא לפי הגדרה:
כאשר האינטגרציה היא על כל המרחב. כשנפעיל את משוואת שרדינגר, נקבל:
והיות ואופרטור ההמילטוניאן הרמיטי, מתקיים גם
כשנציב את שתי המשוואות האחרונות במשוואה הראשונה, נקבל את המשפט:
במקרים בהם האופרטור A אינו תלוי בזמן, האיבר האחרון מתאפס.
הוכחה בתמונת הייזנברג
בתמונת הייזנברג, הנגזרת טריוויאלית. תמונת הייזנברג מקדמת בזמן את המערכת באמצעות אופרטורים ולא מצבים על ידי משוואת התנועה של הייזנברג:
ניתן להוכיח מכאן את משפט ארנפסט בקלות באמצעות הפעלת נגזרת האופרטור באופן הבא:
ניתן להוציא את הנגזרת מהביטוי הראשון היות שוקטורי מצב בתמונת הייזנברג הם בלתי תלויים בזמן. על כן:
דוגמה
עבור חלקיק גדול הנע בפוטנציאל V, ההמילטוניאן הוא
כאשר x הוא מיקום החלקיק.
נרצה לחשב את השינוי הרגעי בתנע p. נעשה זאת תוך שימוש במשפט ארנפסט:
כאשר המעבר השני נובע מכך שאופרטור התנע חילופי עם עצמו ואינו תלוי מפורשות בזמן.תבנית:הערה. נשתמש בכך שמתקיים ונקבל:
נפעיל על הביטוי השני את כלל לייבניץ ונקבל:
וזהו החוק השני של ניוטון. זוהי דוגמה לעקרון ההתאמה של בוהר. באופן דומה, ניתן לבדוק את השינוי בזמן של ערך התצפית של המקום:
אכן, שוב קיבלנו התאמה לעקרון מהמכניקה הקלאסית.