קירוב זומפרלד

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

כאשר הטמפרטורה ההופכית <math>\beta </math> גבוהה ביחס ל <math>\varepsilon- \mu
</math>, ניתן לקרב את האינטגרל<ref>.</ref><ref></ref> במונחי <math>\beta</math>:

<math display="block">{\displaystyle \int _{-\infty }^{\infty }{\frac {H(\varepsilon )}{e^{\beta (\varepsilon -\mu )}+1}}\,\mathrm {d} \varepsilon =
\int _{-\infty }^{\mu }H(\varepsilon )\,\mathrm {d} \varepsilon +
{\frac {\pi ^{2}}{6}}\left({\frac {1}{\beta}}\right)^{2}H^{\prime }(\mu )+
O\left({\frac {1}{\beta}}\right)^{4}}</math>

כאשר <math>{\displaystyle H^{\prime }(\mu )}</math> מייצג את הנגזרת של הפונקציה <math>{\displaystyle H(\varepsilon )}</math> בנקודה <math>\varepsilon = \mu</math>, והסימון <math>O\left(\frac{1}{\beta}\right)^4</math> מייצג איברים נוספים מסדר רביעי ומעלה של <math>\frac{1}{\beta}</math>. קירוב זה תקף אך ורק אם <math>H(\varepsilon)</math> שואף לאפס כאשר <math>\varepsilon \rightarrow - \infty</math>, ועולה פולינומית לכל היותר ב-<math>\varepsilon</math> כאשר <math>\varepsilon \rightarrow \infty</math>. 

ניתן לבצע קירוב זה גם כאשר תחומי האינטגרל הם מאפס לאינסוף. השינוי היחיד בקירוב יהיה שהאינטגרל של האיבר הראשון יהיה מאפס ל-<math>\mu</math>.

== קירוב זומרפלד במודל האלקטרון החופשי ==
שימוש נפוץ לקירוב זומרפלד הוא חישוב תכונות אלקטרוניות שונות, כגון קיבול חום במתכות, שבהן תקף מודל האלקטרון החופשי. בחישובים אלה הפונקציה <math>{\displaystyle H(\varepsilon )}</math> מייצגת את צפיפות המצבים הקוונטיים עבור יחידת אנרגיה. בנוסף, <math>\beta
</math> מזוהה עם הטמפ' ההופכית ו-<math>\mu
</math> כפוטנציאל הכימי. מכאן שהקירוב הנ"ל תקף עבור מערכות בהן <math>\beta
</math> גבוהה (כלומר טמפ' נמוכה). 

על פי מודל האלקטרון החופשי ניתן לקרב את האלקטרונים במתכת לגז פרמיונים. עבור גז כזה, ניתן להוכיח כי התלות של הפוטנציאל הכימי בטמפרטורה היא<ref></ref>:

<math display="block">\mu = \varepsilon_F\left[1-\frac{1}{3}\left(\frac{\pi k_B T}{2 \varepsilon _F}\right)^2\right]</math>כאשר <math>\varepsilon _F</math> היא אנרגיית פרמי, <math>T</math> היא הטמפטורה ו<math>k_B
</math> הוא קבוע בולצמן. מכאן שהפוטנציאל הכימי מזוהה עם <math>\varepsilon _F</math> עד כדי תיקון מסדר שני של <math>T</math>. נשים לב ש- <math>\varepsilon _F = k_BT_F </math>, כאשר <math>T_F</math> היא טמפרטורת פרמי שערכה עבור רוב המתכות הוא מסדר גודל של <math>10^4K</math><ref></ref>. לשם השוואה, טמפרטורה החדר הנה <math>293K</math>, כלומר מסדר גודל של <math>10^{2}K</math>. מכאן שעבור מרבית השימושים הפרקטיים, ניתן להניח כי הטמפטורה אכן נמוכה, ושקירוב זומרפלד אכן מדויק גם בסדרים הנמוכים. 

== פיתוח הקירוב מסדר שני בטמפרטורה ==
אנחנו מעוניינים לפתח את האינטגרל עד הסדר השני בטמפ', כלומר <math>\tau^2
</math>, כאשר <math>\beta^{-1}=\tau=k_BT</math> היא התוצר של המכפלה של הטמפ' בקבוע בולצמן. נתחיל בהחלפת המשתנים <math>\tau x=\varepsilon -\mu</math>:

: <math display="block">I=\int_{-\infty}^\infty \frac{H(\varepsilon)}{e^{\beta(\varepsilon - \mu)} + 1}\,\mathrm{d}\varepsilon = \tau\int_{-\infty}^\infty \frac{H(\mu+\tau x)}{e^{x} + 1}\,\mathrm{d}x </math>

נפצל את האינטגרל לשניים, <math>I=I_1+I_2</math>, ונשכתב את <math>I_1</math> בעזרת החלפת המשתנה <math>x\rightarrow-x</math>:

: <math display="block">I= \underbrace{\tau\int_{-\infty}^0 \frac{H(\mu+\tau x)}{e^{x} + 1}\,\mathrm{d}x}_{I_1} + 
 \underbrace{\tau\int_{0}^\infty \frac{H(\mu+\tau x)}{e^{x} + 1}\,\mathrm{d}x}_{I_2}</math><math display="block">I_1=\tau\int_{-\infty}^0 \frac{H(\mu+\tau x)}{e^{x} + 1}\,\mathrm{d}x
=\tau\int_0^\infty \frac{H(\mu-\tau x)}{e^{-x} + 1}\,\mathrm{d}x\, </math>

לאחר מכן, נבצע טריק אלגברי על המכנה של <math>I_1
</math>:<math display="block">\frac{1}{e^{-x}+1} = 1-\frac{1}{e^x+1}</math>

ונקבל:<math display="block">I_1=\tau\int_{0}^\infty H(\mu-\tau x)\,\mathrm{d}x
-\tau\int_0^{\infty} \frac{H(\mu-\tau x)}{e^{x} + 1}\,\mathrm{d}x\, </math>

עתה נחבר את שני האינטגרלים ונציב בחזרה את המשתנה המקורי, <math>-\tau \mathrm{d}x = \mathrm{d}\varepsilon </math>, באיבר הראשון של <math>I_1</math>:

: <math display="block">I=\int_{-\infty}^\mu H(\varepsilon)\,\mathrm{d}\varepsilon
+\tau\int_0^{\infty} \frac{H(\mu+\tau x)-H(\mu-\tau x)}{e^{x} + 1}\,\mathrm{d}x\, </math>

ניתן לפתח את המונה באיבר השני בעזרת קירוב טיילור מסדר ראשון, בהינתן ש- <math>\tau<<\mu
</math> (כלומר קטן דיו מ-<math>\mu
</math>):

<math display="block">\Delta H= H(\mu+\tau x)-H(\mu-\tau x) \approx 2\tau x H'(\mu)+\cdots </math>נציב ונקבל:<math display="block">I=\int_{-\infty}^\mu H(\varepsilon)\,\mathrm{d}\varepsilon
+2\tau^2 H'(\mu)\int_0^{\infty} \frac{x\mathrm{d}x}{e^{x} + 1}\,</math>ערכו של האינטגרל המסוים באיבר השני הוא<ref></ref>:<math display="block">\int_0^{\infty} \frac{x\mathrm{d}x}{e^{x} + 1}=\frac{\pi^2}{12}</math>ומכאן ש:

: <math display="block">I=\int_{-\infty}^\infty \frac{H(\varepsilon)}{e^{\beta(\varepsilon - \mu)} + 1}\,\mathrm{d}\varepsilon \approx\int_{-\infty}^\mu H(\varepsilon)\,\mathrm{d}\varepsilon
+\frac{\pi^2}{6\beta^2} H'(\mu)\,</math>

== פיתוח הקירוב עבור סדרים גבוהים יותר ==
נרצה לפתח לטור את האינטגרל:

<math display="block">\int^\infty_{-\infty} d\varepsilon H(\varepsilon)f(\varepsilon),
f(\varepsilon)=\frac{1}{e^{\beta(\varepsilon-\mu)} + 1}</math>תחת ההנחה שכאשר <math>\varepsilon \rightarrow -\infty </math> הפונקציה <math>H(\varepsilon) </math> דועכת לאפס, וכאשר <math>\varepsilon \rightarrow +\infty </math>, הפונקציה אינה מתבדרת חזק יותר מאשר <math>f </math> דועכת. אם כן נגדיר:<math display="block">K(\varepsilon) \equiv \int^\varepsilon_{-\infty} H(\varepsilon')d\varepsilon' </math>כך ש:
<math display="block">H(\varepsilon) = \frac{dK(\varepsilon)}{d \varepsilon} </math>עתה נוכל לבצע אינטגרציה בחלקים ולקבל:
<math display="block">\int^\infty_{-\infty}H(\varepsilon)f(\varepsilon)d\varepsilon = 
\cancelto{0}{K(\varepsilon)\left(-\frac{\partial f}{\partial \varepsilon}\right)}\Biggr|^\infty_{-\infty} +
\int^\infty_{-\infty} K(\varepsilon)\left(-\frac{\partial f}{\partial \varepsilon}\right)d\varepsilon=
\int^\infty_{-\infty} K(\varepsilon)\left(-\frac{\partial f}{\partial \varepsilon}\right)d\varepsilon </math>כאשר האיבר הראשון הראשון מתבטל מתוך ההנחה שלנו לגבי ההתנהגות של <math>H(\varepsilon) </math> באינסוף. 

נשים לב ש- <math>f </math> שואפת לאפס כאשר <math>\varepsilon </math> גדול מאוד מ- <math>\mu </math> <math>(\varepsilon -\mu >> \beta) </math>, ושואפת לאחד כאשר <math>\varepsilon </math> קטן מאוד מ- <math>\mu </math>, ולכן עיקר התרומה שלה לאינטגרל היא כאשר <math>\varepsilon \approx \mu </math>. בהנחה ש- <math>H(\varepsilon) </math> אינה סינגולרית ואינה משתנה מהר מידי באזור <math>\varepsilon = \mu </math>, הגיוני להניח כי עבור פיתוח של <math>K(\varepsilon) </math> בטור טיילור סביב <math>\varepsilon = \mu </math>, נקבל כי האיברים הראשונים הם המשמעותיים ביותר. במקרים בו ההנחה הזו אינה מתקיימת הקירוב עדיין תקף, אך אינו שימושי כיוון שנצטרך לחשב כמות גדולה של איברים בטור.

אם כן נפתח את <math>K(\varepsilon) </math> סביב <math>\varepsilon = \mu </math>:<math display="block">K(\varepsilon) = K(\mu) + \sum^\infty_{n=1} \left[\frac {\left(\varepsilon - \mu \right)^n} {n!}\right]
\left[\frac {d^n K(\varepsilon)}{d \varepsilon^n}\right]_{\varepsilon = \mu}</math>

עכשיו נוכל להציב את <math>K(\varepsilon) </math> באינטגרל. נשים לב שהאיבר המוביל יניב רק <math>K(\mu) </math>, כיוון ש:

<math display="block">\int^\infty_{-\infty} \left(-\frac{\partial f}{\partial \varepsilon} \right) d \varepsilon = 1 </math>

בנוסף על כך, כיוון ש- <math>\partial f / \partial \varepsilon </math> היא פונקציה זוגית סביב <math>\mu </math>, כל האיברים שבהם <math>n </math> אי-זוגי יתאפסו. אם כן, לאחר הצבת הטור והחלפת משתנים מ- <math>K(\varepsilon) </math> בחזרה ל- <math>H(\varepsilon) </math> נקבל:

<math display="block">\int^\infty_{-\infty}H(\varepsilon)f(\varepsilon)d\varepsilon = 
\int^\mu_{-\infty}H(\varepsilon)d\varepsilon
+ \sum^\infty_{n=1}\int^\infty_{-\infty} \frac{(\varepsilon - \mu)^{2n}}{(2n)!} 
\left(-\frac{\partial f}{\partial \varepsilon}\right) d \varepsilon
\frac{d^{2n-1}}{d \varepsilon^{2n-1}} H(\varepsilon)\big\vert_{\varepsilon = \mu} </math>את האינטגרל שמופיע בסכום נוכל להציג כטמפ' בחזקת <math>n </math> המוכפלת באינטגרל חסר ממדים. נוכל לבצע החלפת משתנים <math>(\varepsilon - \mu)/ \tau = x </math> ולהציג אותו כך:

<math display="block">a_n \tau^{2n} = \int^\infty_{-\infty} \frac{(\varepsilon - \mu)^{2n}}{(2n)!} 
\left(-\frac{\partial f}{\partial \varepsilon}\right) d \varepsilon =
\tau^{2n} \cdot \int^\infty_{-\infty} \frac{x^{2n}}{(2n)!} \left(-\frac{d}{dx} \frac{1}{e^x+1}\right)dx </math>

בעזרת מניפולציות אלגבריות, ניתן לפשט את המקדמים <math>a_n</math> לצורה:<math display="block">a_n = \left(2- \frac{1}{2^{2(n-1)}}\right) \zeta(2n)</math>כאשר <math>\zeta</math> הנה פונקציית זטא של רימן.

אז לבסוף קיבלנו את הפיתוח המבוקש:

<math display="block">\int^\infty_{-\infty}H(\varepsilon)f(\varepsilon)d\varepsilon = 
\int^\mu_{-\infty}H(\varepsilon)d\varepsilon
+ \sum^\infty_{n=1}a_n \tau^{2n}
\frac{d^{2n-1}}{d \varepsilon^{2n-1}} H(\varepsilon)\big\vert_{\varepsilon = \mu} </math>

עבור פיתוח מסדר ראשון נקבל:<math display="block">{\displaystyle \int _{-\infty }^{\infty }{ {H(\varepsilon )} f(\varepsilon)}\mathrm {d} \varepsilon =
\int _{-\infty }^{\mu }H(\varepsilon )\,\mathrm {d} \varepsilon +
{\frac {\pi ^{2}}{6}}\tau^{2}H^{\prime }(\mu )+O\left(\tau \right)^{4}}</math> 

:

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

<math display="block">
\int_{-\infty}^{\infty} \frac{d\epsilon}{2\pi} e^{\tau\epsilon/2\pi} \left\{ \frac{1}{1+e^{\beta(\epsilon-\mu)}}-\theta(-\epsilon)\right\}= \frac 1{\tau}\left\{ \frac{(\frac{\tau T}{2})}{\sin(\frac{\tau T}{2})} e^{\tau\mu/2\pi}-1\right\}, \quad 0<\tau T/2\pi< 1
</math>כאשר <math>k_BT=\beta^{-1}</math> ופונקציית המדרגה <math>-\theta(-\epsilon)</math> מחסרות את תרומת הטמפ' האפסיות. פיתוח בחזקות של <math>\tau</math> ייתן לנו לדוגמה:

: <math display="block">
\int_{-\infty}^\infty \frac{d\epsilon}{2\pi}\left\{ \frac{1}{1+e^{\beta(\epsilon-\mu)}}-\theta(-\epsilon)\right\} =\left(\frac{\mu}{2\pi}\right)
</math><math display="block">
\int_{-\infty}^\infty \frac{d\epsilon}{2\pi}\left(\frac{\epsilon}{2\pi}\right)\left\{ \frac{1}{1+e^{\beta(\epsilon-\mu)}}-\theta(-\epsilon)\right\} =\frac{1}{2!}\left(\frac{\mu}{2\pi}\right)^2+\frac{T^2}{4!}
</math><math display="block">
\int_{-\infty}^\infty \frac{d\epsilon}{2\pi}\frac 1{2!}\left(\frac{\epsilon}{2\pi}\right)^2\left\{ \frac{1}{1+e^{\beta(\epsilon-\mu)}}-\theta(-\epsilon)\right\} =\frac{1}{3!}\left(\frac{\mu}{2\pi}\right)^3+\left(\frac{\mu}{2\pi}\right)\frac{T^2}{4!}
</math><math display="block">
\int_{-\infty}^\infty \frac{d\epsilon}{2\pi}\frac1{3!}\left(\frac{\epsilon}{2\pi}\right)^3\left\{ \frac{1}{1+e^{\beta(\epsilon-\mu)}}-\theta(-\epsilon)\right\} =\frac{1}{4!}\left(\frac{\mu}{2\pi}\right)^4+\frac{1}{2!}\left(\frac{\mu}{2\pi}\right)^2\frac{T^2}{4!}+\frac 78\frac{T^4}{6!}
</math><math display="block">
\int_{-\infty}^\infty \frac{d\epsilon}{2\pi}\frac 1{4!} \left(\frac{\epsilon}{2\pi}\right)^4\left\{ \frac{1}{1+e^{\beta(\epsilon-\mu)}}-\theta(-\epsilon)\right\} =\frac{1}{5!}\left(\frac{\mu}{2\pi}\right)^5+\frac{1}{3!}\left(\frac{\mu}{2\pi}\right)^3\frac{T^2}{4!}+\left(\frac{\mu}{2\pi}\right) \frac 78\frac{T^4}{6!}
</math><math display="block">
\int_{-\infty}^\infty \frac{d\epsilon}{2\pi}\frac 1{5!}\left(\frac{\epsilon}{2\pi}\right)^5\left\{ \frac{1}{1+e^{\beta(\epsilon-\mu)}}-\theta(-\epsilon)\right\}=\frac{1}{6!}\left(\frac{\mu}{2\pi}\right)^6+\frac{1}{4!}\left(\frac{\mu}{2\pi}\right)^4\frac{T^2}{4!}+\frac{1}{2!} \left(\frac{\mu}{2\pi}\right)^2 \frac 78\frac{T^4}{6!}+ \frac{31}{24} \frac{T^6}{8!}
</math>

ניתן ליצור פונקציה יוצרת דומה עבור המומנטים האי זוגיים של פונקציית בוזה-איינשטיין:

<math display="block">
\int_0^\infty \frac{d\epsilon}{2\pi}\sinh(\epsilon \tau/\pi) \frac {1}{e^{\beta\epsilon}-1}
= \frac 1{4\tau}\left\{1- \frac{\tau T}{\tan \tau T}\right\}, \quad 0< \tau T<\pi
</math>

== מקורות ==
<div class="mw-content-ltr">
* Sommerfeld, A. (1928). "Zur Elektronentheorie der Metalle auf Grund der Fermischen Statistik". Zeitschrift für Physik. 47 (1–2): 1–3.
* הספר . פרק 2 The Sommerfeld Theory of Metals ו- Appendix C.
</div>

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

קטגוריה:תורת השדות הקוונטית