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

{{מקורות|נושא=מדעי הטבע|תאריך=27 בספטמבר 2024}}
ב[[מכניקת הקוונטים]], '''משפט הלמן-פיינמן''' קושר בין ה[[נגזרת]] של האנרגיה הכוללת ביחס לפרמטר מסוים לבין [[ערך תצפית (תורת הקוונטים)|ערך התצפית]] של נגזרת ה[[המילטוניאן]] ביחס לאותו פרמטר. הוא הוכח באופן בלתי תלוי על ידי כמה פיזיקאים, ביניהם פול גוטינגר (1932), [[וולפגנג פאולי]] (1933), הנס הלמן (1937) ו[[ריצ'רד פיינמן]] (1939).

המשפט קובע ש-:

:<math>\frac{\mathrm{d} E_{\lambda}}{\mathrm{d}{\lambda}}=\bigg\langle\psi_\lambda\bigg|\frac{\mathrm{d}\hat{H}_{\lambda}}{\mathrm{d}\lambda}\bigg|\psi_\lambda\bigg\rangle,</math>

כאשר

* <math>\hat{H}_{\lambda}</math> הוא [[אופרטור]] ההמילטוניאן ה[[אופרטור הרמיטי|הרמיטי]], התלוי בפרמטר רציף <math>\lambda\,</math>,
* <math>|\psi_\lambda\rangle</math> היא [[מצב עצמי]] (פונקציה עצמית של ההמילטוניאן), התלויה ב-<math>\lambda</math>,
* <math>E_{\lambda}</math> היא האנרגיה (ערך עצמי) של המצב <math>|\psi_\lambda\rangle</math>, כלומר מתקיים <math>\hat{H}_{\lambda}|\psi_\lambda\rangle = E_{\lambda}|\psi_\lambda\rangle</math>.

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

:<math>\hat{H}_{\lambda}|\psi_\lambda\rangle = E_{\lambda}|\psi_\lambda\rangle,</math>
:<math>\langle\psi_\lambda|\psi_\lambda\rangle = 1 \Rightarrow \frac{\mathrm{d}}{\mathrm{d}\lambda}\langle\psi_\lambda|\psi_\lambda\rangle =0.</math>

ההוכחה נובעת אז מיידית דרך יישום של [[כלל לייבניץ לנגזרת מכפלה|כלל המכפלה לנגזרות]] לערך התצפית של ההימלטוניאן כפונקציה של <math>\lambda</math>:

:<math>
\begin{align}
\frac{\mathrm{d} E_{\lambda}}{\mathrm{d}\lambda} &= \frac{\mathrm{d}}{\mathrm{d}\lambda}\langle\psi_\lambda|\hat{H}_{\lambda}|\psi_\lambda\rangle \\
&=\bigg\langle\frac{\mathrm{d}\psi_\lambda}{\mathrm{d}\lambda}\bigg|\hat{H}_{\lambda}\bigg|\psi_\lambda\bigg\rangle + \bigg\langle\psi_\lambda\bigg|\hat{H}_{\lambda}\bigg|\frac{\mathrm{d}\psi_\lambda}{\mathrm{d}\lambda}\bigg\rangle + \bigg\langle\psi_\lambda\bigg|\frac{\mathrm{d}\hat{H}_{\lambda}}{\mathrm{d}\lambda}\bigg|\psi_\lambda\bigg\rangle \\
&=E_{\lambda}\bigg\langle\frac{\mathrm{d}\psi_\lambda}{\mathrm{d}\lambda}\bigg|\psi_\lambda\bigg\rangle + E_{\lambda}\bigg\langle\psi_\lambda\bigg|\frac{\mathrm{d}\psi_\lambda}{\mathrm{d}\lambda}\bigg\rangle + \bigg\langle\psi_\lambda\bigg|\frac{\mathrm{d}\hat{H}_{\lambda}}{\mathrm{d}\lambda}\bigg|\psi_\lambda\bigg\rangle \\
&=E_{\lambda}\frac{\mathrm{d}}{\mathrm{d}\lambda}\langle\psi_\lambda|\psi_\lambda\rangle + \bigg\langle\psi_\lambda\bigg|\frac{\mathrm{d}\hat{H}_{\lambda}}{\mathrm{d}\lambda}\bigg|\psi_\lambda\bigg\rangle \\
&=\bigg\langle\psi_\lambda\bigg|\frac{\mathrm{d}\hat{H}_{\lambda}}{\mathrm{d}\lambda}\bigg|\psi_\lambda\bigg\rangle.
\end{align}
</math>

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

:<math>\hat{H}_{l}=-\frac{\hbar^{2}}{2\mu r^2}\left(\frac{\mathrm{d}}{\mathrm{d}r}\left(r^{2}\frac{\mathrm{d}}{\mathrm{d}r}\right)-l(l+1)\right) -\frac{Ze^{2}}{r},</math>

והוא תלוי ב[[מספר קוונטי זוויתי|מספר הקוונטי הזוויתי]] הבדיד <math>l</math>, הקשור ל[[תנע זוויתי|תנע הזוויתי]] של האלקטרון. התייחסות פורמלית ל-<math>l</math> כאל פרמטר רציף מאפשרת לחשב את הנגזרת של ההמילטוניאן לפיו:

:<math>\frac{\partial \hat{H}_{l}}{\partial l} = \frac{\hbar^{2}}{2\mu r^{2}}(2l+1).</math>

משפט הלמן-פיינמן מאפשר לחשב כעת את ערך התצפית של <math>\frac{1}{r^{2}}</math> בעבור אטומים דמויי מימן:

:<math>
\begin{align}
\bigg\langle\psi_{nl}\bigg|\frac{1}{r^{2}}\bigg|\psi_{nl}\bigg\rangle &= \frac{2\mu}{\hbar^{2}}\frac{1}{2l+1}\bigg\langle\psi_{nl}\bigg|\frac{\partial \hat{H}_{l}}{\partial l}\bigg|\psi_{nl}\bigg\rangle \\
&=\frac{2\mu}{\hbar^{2}}\frac{1}{2l+1}\frac{\partial E_{n}}{\partial l} \\
&=\frac{2\mu}{\hbar^{2}}\frac{1}{2l+1}\frac{\partial E_{n}}{\partial n}\frac{\partial n}{\partial l} \\
&=\frac{2\mu}{\hbar^{2}}\frac{1}{2l+1}\frac{Z^{2}\mu e^{4}}{\hbar^{2}n^{3}} \\
&=\frac{Z^{2}\mu^{2}e^{4}}{\hbar^{4}n^{3}(l+1/2)}.
\end{align}
</math>

כדי לחשב פורמלית את נגזרת האנרגיה, חייב להיות קשר מסוים בין <math>n</math> ל-<math>l</math>. המספרים הקוונטיים הללו הם באופן כללי בלתי תלויים, אבל בחישוב כאן השינויים האינפיניטסימליים בהם חייבים לשמור על המצב העצמי המשותף שהם מציינים, ולפיכך לשמור על מספר הצמתים בחלק הרדיאלי של פונקציית הגל קבוע. מספר הצמתים בפונקציית הגל הרדיאלית הוא <math>n-l+1</math>, ולפיכך <math> \partial n/\partial l=1</math>.

ערכי התצפית <math>\langle\frac{1}{r^2}\rangle</math> ו-<math>\langle\frac{1}{r}\rangle</math> (את האחרון ניתן לקבוע בקלות באמצעות [[המשפט הויריאלי]]) משמשים מקרה בסיס עבור יחס קרמרס (Kramers’s Relation), שמאפשר לקבוע את כל ערכי התצפית מהצורה <math>\langle r^s \rangle</math> של האלקטרון באטום דמוי מימן עבור ערכים שלמים של <math>s</math>. יחס זה חשוב מאוד לחישוב [[תורת ההפרעות (מכניקת הקוונטים)|תיקונים הפרעתיים]] ל[[ספקטרום]] אטום המימן. בפרט, קביעת ערך התצפית <math>\langle\frac{1}{r^3}\rangle</math> מאפשרת לכמת את האפקט של [[אינטראקציית ספין-מסילה]], שבתורו מהווה חלק מהותי בחישוב פיצול [[המבנה הדק]].

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