אופרטור הצפיפות

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

הפורמליזם של אופרטור הצפיפות הוצג על ידי ג'ון פון נוימן בשנת 1927.

==הגדרה==
אופרטור הצפיפות הוא כלי מתמטי שנועד לטיפול במערכת קוונטית הנמצאת במצב מעורב (mixed state), כלומר צבר של מערכות הנמצאות במצבים קוונטים שונים המתפלגים סטטיסטית. זאת בניגוד למערכת הנמצאת במצב טהור (pure state).
אופרטור הצפיפות יכול לשמש גם לטיפול במערכת שהמצב שלה אינו ידוע בוודאות.

נניח שהמערכת יכולה להמצא בכל אחד מן המצבים <math>|\psi_i\rangle</math>, כאשר ההסתברות להמצא במצב <math>|\psi_i\rangle</math> נתונה על ידי <math>\ w_i </math>.
אופרטור הצפיפות עבור מערכת זו מוגדר על ידי
<math display="block">\hat\rho = \sum_i w_i |\psi_i\rangle\langle \psi_i | </math>

==תכונות==
* אופרטור הצפיפות הוא אופרטור הרמיטי.
* לאופרטור הצפיפות עקבה 1: <math> tr(\hat\rho)= 1 </math>. כמו כן מתקיים <math> tr(\hat\rho^2)\le1</math> כאשר שוויון מתקבל עבור מערכת במצב טהור.
* במצב טהור אופרטור הצפיפות הוא אופרטור הטלה, כלומר מקיים <math>\hat\rho^2=\hat\rho</math>.
* ההתפתחות בזמן של אופרטור הצפיפות נתונה על ידי:
<div style="text-align: center;">
<math>i\hbar \frac{\partial \hat\rho}{\partial t} = -[\hat\rho,\mathcal{H}]</math>
</div>

==שימושים==
השימוש העיקרי של אופרטור הצפיפות הוא חישוב ערכי תצפית של גדלים פיזיקליים. 

ערך התצפית, כלומר הערך הממוצע המתקבל במדידת גודל פיזיקלי המתואר על ידי אופרטור <math>\ A</math> נתון על ידי:
<math display="block"> \lang A\rang = \sum_i w_i \lang \psi_i | A | \psi_i \rang = tr(\hat \rho A) </math>
ביטוי זה מכיל מיצוע כפול - על ההסתברות למציאת המערכת או החלקיק במצב <math>|\psi_i\rang </math>, ועל תוצאות המדידה האפשריות עבור מצב זה.

===מכניקה סטטיסטית קוונטית===
בעזרת אופרטור הצפיפות ניתן לטפל בתכונות סטטיסטיות של מערכות קוונטיות - מכניקה סטטיסטית קוונטית. את הגודל הבסיסי של הפיזיקה הסטטיסטית, האנטרופיה, ניתן להביע בעזרת אופרטור הצפיפות באופן הבא:
<div style="text-align: center;">
<math> S = -k_B tr (\hat \rho \ln \hat\rho) </math>.
</div> 
האנטרופיה של מצב טהור שווה לאפס, ואילו עבור מצב מעורב האנטרופיה גדולה מאפס.

עבור מערכת בשיווי משקל תרמודינמי, ניתן לכתוב את אופרטור הצפיפות על פי הצבר הרלוונטי. כך לדוגמה, עבור מערכת קנונית, <math> \hat \rho=\frac{1}{Z} e^{-\beta\mathcal{H}} </math>, כאשר <math> \mathcal{H} </math> הוא ההמילטוניאן ו-<math>Z=tr(e^{-\beta\mathcal{H}})</math> היא פונקציית החלוקה.

==דוגמה==
נתבונן במערכת של חלקיקים בעלי ספין 1/2. נניח כי 80% מהחלקיקים במצב <math>|\uparrow_z\rang</math> (ספין up בכיוון z) והשאר במצב <math>|\downarrow_x\rang</math> (ספין down בכיוון x). אופרטור הצפיפות המתאר את המערכת הוא:
<math display="block">\hat \rho= 0.8|\uparrow_z\rang\lang\uparrow_z|+0.2|\downarrow_x\rang\lang\downarrow_x|</math>
המטריצה המתאימה לאופרטור כאשר עובדים בבסיס המצבים העצמיים של <math>S_z</math> היא:
<div style="text-align: center;">
<math>
\rho = \begin{pmatrix}
0.9&-0.1\\
-0.1&0.1
\end{pmatrix}
</math>
</div>
ערך התצפית של מדידת הספין בכיוון x יהיה:
<div style="text-align: center;">
<math>
\lang S_x \rang = tr(S_x\rho) = \frac{\hbar}{2}tr
\begin{pmatrix}
-0.1&0.1\\
0.9&-0.1
\end{pmatrix}=-0.1\hbar
</math>
</div>
כלומר, קיבלנו שערך התצפית של <math>S_x</math> הוא <math> -\frac{\hbar}{10}</math> (הערך של פעולת <math>S_x</math> על <math>|\downarrow_x\rang</math>) כפול ההסתברות לקבל אותו (<math>0.2</math>).

==לקריאה נוספת==
<div style="direction: ltr;">
* Claude Cohen-Tannoudji, Quauntum Mechanics (Complement E<sub>III</sub>)
* J.J. Sakurai, Modern Quantum Mechanics (פרק 3.4)
* R.K. Pathria, Statistical Mechanics (פרק 5.1)
</div>
==קישורים חיצוניים==

==הערות שוליים==

קטגוריה:פיזיקה סטטיסטית
קטגוריה:מכניקת הקוונטים