הצגת המקור של הדף "יחסי קרמרס–קרוניג"

'''יחסי קרמרס-קרוניג''' הם תכונות [[מתמטיקה|מתמטיות]] המקשרות את החלק ה[[מספר ממשי|ממשי]] והחלק ה[[מספר מדומה|מדומה]] של [[פונקציה מרוכבת]] שהיא [[פונקציה אנליטית|אנליטית]] בחצי המישור העליון. יחסים אלה משמשים לעיתים קרובות לקשר בין החלק הממשי והמדומה של [[פונקציית היגב]] (response function) במערכת [[פיזיקה|פיזיקלית]] מכיוון ש[[סיבתיות]] מבטיחה שפונקציית ההיגב היא אנליטית, ולהפך, אנליטיות מבטיחה סיבתיות במערכת הפיזיקלית.{{הערה|1=John S. Toll, ''Causality and the Dispersion Relation: Logical Foundations'', Physical Review, vol. ''104'', pp. 1760 - 1770 (1956).}} היחסים קרויים על שם [[ראלף קרוניג]]{{הערה|1=R. de L. Kronig, ''On the theory of the dispersion of X-rays,''  J. Opt. Soc. Am., vol. '''12''', pp. 547-557 (1926).}} ו[[הנדריק אנתוני קרמרס]]{{הערה|1=H.A. Kramers, ''La diffusion de la lumiere par les atomes,'' Atti Cong. Intern. Fisica, (Transactions of Volta Centenary Congress) Como,  vol. '''2''', p. 545-557 (1927) .}}.

==הגדרה==

עבור [[פונקציה מרוכבת]] <math>\ \chi(\omega) = \chi_1(\omega) + i \chi_2(\omega)</math> של [[מספר מרוכב|משתנה מרוכב]] <math>\omega </math>, שהיא [[פונקציה אנליטית]] בחצי מישור העליון של <math>\omega </math> ושדועכת מהר יותר לאפס מאשר <math>\ 1/|\omega|</math> ב[[גבול (מתמטיקה)|גבול]] <math>|\omega| \rightarrow \infty</math>, יחסי קרמרס-קרוניג הם:

:<math>\chi_1(\omega) = {1 \over \pi} \mathcal{P} \int \limits_{-\infty}^{\infty} {\chi_2(\omega') \over \omega' - \omega}\,d\omega'</math>
ו-
:<math>\chi_2(\omega) = -{1 \over \pi} \mathcal{P} \int \limits_{-\infty}^{\infty} {\chi_1(\omega') \over \omega' - \omega}\,d\omega',</math>

כאשר <math>\mathcal{P}</math> מציין את [[הערך הראשי של קושי]] (Cauchy principal value).

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

==פיתוח היחסים==

[[קובץ:Contour of KKR.svg|ממוזער|250px|המסילה עליה מתבצעת [[אינטגרל קווי|אינטגרציה קווית]] במישור המרוכב לצורך הסקת יחסי קרמרס-קרוניג.]]
ה[[הוכחה]] מתחילה ביישום [[משפט השארית]] ל[[אינטגרל|אינטגרציה]] מרוכבת. בהינתן פונקציה אנליטית <math>\ \chi(\omega')</math> בחצי המישור העליון, הפונקציה <math>\ \chi(\omega') /( \omega'-\omega)</math>, כאשר <math>\omega</math> הוא [[מספר ממשי]], תהיה גם היא אנליטית בחצי המישור העליון. מ[[משפט השארית]] נובע ש-
:<math> \oint {\chi(\omega') \over \omega'-\omega}\,d\omega' = 0 </math>
לכל [[מסילה (מתמטיקה)|מסילה]] בתוך אזור זה. אנו בוחרים את המסילה לעקוב אחרי [[הישר הממשי]] (real axis), ואז לעקוף מלמעלה את ה[[קוטב (אנליזה מרוכבת)|קוטב]] ב-<math>\omega = \omega'</math>, ואז לעבור בקשת חצי-מעגלית בחצי המישור העליון כאשר [[רדיוס]]ה שואף ל[[אינסוף]]. אזי אנו מפרקים את האינטגרל לחלקיו השונים ותרומותיו לאורך כל חלק משלושת חלקי המסילה. אורך המסילה הקשתית באינסוף פרופורציונלי ל-<math>\ |\omega|</math>, אך תרומתה מתאפסת אם <math>\ \chi(\omega)</math> דועכת יותר מהר מאשר <math>\ 1/|\omega|</math>. לכן אנו נשארים עם הקטע על הישר הממשי וחצי העיגול סביב הקוטב:

:<math>\oint {\chi(\omega') \over \omega'-\omega}\,d\omega' = \mathcal{P} \int \limits_{-\infty}^\infty {\chi(\omega') \over \omega'-\omega}\,d\omega' - i \pi \chi(\omega) = 0.</math>

את האיבר השני באמצע הביטוי מוצאים לפי [[משפט השארית]].{{הערה|1=''Mathematical Methods for Physicists'' G. Arfken (Academic Press, Orlando 1985)}} עם קצת אלגברה, מקבלים ביטוי קומפקטי שנותן את יחסי קרמרס-קרוניג

:<math>\chi(\omega) = {1 \over i \pi} \mathcal{P} \int \limits_{-\infty}^\infty {\chi(\omega') \over \omega'-\omega}\,d\omega'. </math>

הפקטור <math>i</math> (מספר היחידה הדמיוני i<sup>2</sup>=-1) ב[[מכנה]] מרמז לקשר בין החלק הממשי לחלק המדומה של הפונקציה. לבסוף, רושמים את <math>\chi(\omega)</math> כחלק ממשי וחלק מדומה, ומהביטוי לעיל מקבלים את יחסי קרמרס-קרוניג כפי שהם נתונים בסעיף "הגדרה".

==פירוש פיזיקלי וצורה נוספת==

ניתן ליישם את הפורמליזם של קרמרס-קרוניג ל[[פונקציית היגב ליניארית|פונקציות היגב ליניאריות]]. ב[[פיזיקה]], פונקציית ההיגב <math>\chi(t-t')</math> מתארת כיצד תכונה מסוימת <math>P(t)\!</math> של המערכת הפיזיקלית מגיבה לשינוי חיצוני או "כוח" חיצוני <math>F(t')\!</math>, כך ש

<math> P(t) = \int_{-\infty}^{\infty}\chi(t-t') F(t')dt' = \int_{-\infty}^{t}\chi(t-t') F(t')dt'</math>,

השיויון האחרון נכון מכיוון ש  <math>\chi(t-t') = 0\!</math> עבור  <math>t<t'\!</math>. זוהי המשמעות של [[סיבתיות]], הכח  <math>F(t')\!</math> יכול להשפיע רק על העתיד של  <math>P(t)\!</math>.
על ידי שימוש במשפט ה[[קונבולוציה]] הביטוי יכתב במרחב התדר כ
<math>P(\omega) = \chi(\omega) F(\omega)\!</math>.

כדוגמה לשימוש בביטוי <math>P(t)\!</math> יכולה להיות [[זווית]] של [[מטוטלת]] ו- <math>\! F(t)</math> ה[[כוח (פיזיקה)|כוח]] שמפעיל [[מנוע]] המניע את המטוטלת וכך פונקציית ההיגב <math>\chi(t-t')</math> מתאפסת עבור <math>t<t'\!</math> שכן המטוטלת לא יכולה להגיב לפני שההכח החיצוני פעל עליה. ניתן להראות שמתנאי ה[[סיבתיות]], נובע ש[[טרנספורם פורייה]] של <math>\chi(\omega)\!</math> הוא אנליטי בחצי מישור העליון.{{הערה|1=
{{cite book
 | author = John David Jackson
 | year = 1999
 | title = Classical Electrodynamics
 | publisher = Wiley
 | pages = [https://archive.org/details/classicalelectro00jack_0/page/332 332-333]
 | isbn = 0-471-43132-X
 | url = https://archive.org/details/classicalelectro00jack_0/page/332
 }}}}

הוכחה זו ניתן להתחיל מהטיעון הפשוט הבא מכיוון שהפונקציה סיבתית <math>\chi(\tau<0) = 0 </math>
הביטוי הבא הוא טריוויאלי :<math>\chi(\tau) = \chi(\tau) \Theta(\tau) </math>
כאשר <math> \Theta(\tau) </math> היא [[פונקציית המדרגה]].
כעת ניקח טרנספורם פורייה של שני צידי המשוואה על ידי שימוש במשפט ה[[קונבולוציה]] ונקבל כי

<math> \chi(\omega) = \int_{-\infty}^{\infty} \tilde{\Theta} (\omega-\omega') \chi(\omega') \frac{d\omega'}{2\pi} </math>

כאשר הגדרנו את <math> \tilde\Theta(\omega) </math> כטרנספורם פורייה של <math> \Theta(\tau) </math>. על מנת לבצע את הטרנספורם יש להוסיף מקדם [[אינפיניטסימל]]י <math> \epsilon </math>:

<math> \tilde{\Theta}(\omega) = \int_{-\infty}^{\infty} \Theta(\tau) e^{i \omega \tau}d\tau = \int_0^{\infty} e^{i \omega \tau - \epsilon\tau}d\tau = \frac{i}{\omega+i \epsilon} </math>

נציב את הביטוי ונקבל את יחס קרמרס קרוניג. את האינטגרל עם הקוטב האינפיטיסימלי ניתן לרשום באמצעות הביטוי לאינטגרל לא שלם <math>\mathcal{P} \int </math>. כאשר יש לזכור כי הקוטב נמצא בחצי השלילי של [[המישור המרוכב]].

אם אנו משעבדים את המערכת לכוח מחזורי עם [[תדירות]] הגבוהה בהרבה מתדירות ה[[תהודה]] (resonance) הגבוהה ביותר שלה, למערכת לא יהיה זמן להגיב לפני שהאילוץ החליף כיוון, ולכן <math>\chi(\omega)\!</math> מתאפסת כש- <math>\omega\!</math> נהיה מאוד גדול. משיקולים [[פיזיקה|פיזיקליים]] אלה, אנו רואים ש-<math>\chi(\omega)\!</math> מספקת את התנאים עבור קיומם של יחסי קרמרס-קרוניג.

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

נוסחאות אלה לא שימושיות בשחזור פונקציית ההיגב שכן האינטגרלים נעים מ-<math>-\infty</math> עד ל-<math>\infty</math>, ובכך מרמזים שאנו יודעים את ההיגב בתדירויות שליליות. ברוב המערכות, התגובה לתדירויות חיוביות קובעת גם את התגובה לתדירויות שליליות שכן <math>\ \chi(\omega)</math> היא [[טרנספורם פורייה]] של [[פונקציה ממשית]] <math>\ \chi(t-t')</math>, ולכן <math>\ \chi(-\omega) = \chi^*(\omega)</math>. זה אומר ש-<math>\ \chi_1(\omega) </math> היא [[פונקציה זוגית]] של התדירות ו-<math>\ \chi_2(\omega)</math> היא [[פונקציה אי-זוגית]] של התדירות.

על ידי שימוש בתכונות אלה, אפשר לצמצם את טווח האינטגרציה לקטע <math>[0,\infty)</math>. באמצעות היחס הראשון שנותן את החלק הממשי <math>\ \chi_1(\omega)</math> נהפוך את האינטגרל לאינטגרל עם זוגיות מוגדרת על ידי הכפלת המונה והמכנה של האינטגרנד ב-<math>\omega' + \omega</math> ונפריד

:<math> \chi_1(\omega) = {1 \over \pi} \mathcal{P} \int \limits_{-\infty}^\infty {\omega' \chi_2(\omega') \over \omega'^2 - \omega^2}\, d\omega' + {\omega \over \pi} \mathcal{P} \int \limits_{-\infty}^\infty {\chi_2(\omega') \over \omega'^2 - \omega^2}\,d\omega'. </math>

מאחר ש-<math>\ \chi_2(\omega)</math> היא [[פונקציה אי-זוגית]], האינטגרל השני מתאפס ואנו נותרים עם

:<math>\chi_1(\omega) = -{2 \over \pi} \mathcal{P} \int \limits_{0}^{\infty} {\omega' \chi_2(\omega') \over \omega'^2 - \omega^2}\,d\omega'.</math>

פיתוח דומה עבור החלק המדומה נותן

:<math>\chi_2(\omega) = {2 \over \pi} \mathcal{P} \int \limits_{0}^{\infty} {\omega \chi_1(\omega') \over \omega'^2 - \omega^2}\,d\omega' = {2 \omega \over \pi} \mathcal{P} \int \limits_{0}^{\infty} {\chi_1(\omega') \over \omega'^2 - \omega^2}\,d\omega'.</math>

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

===יישום באלקטרומגנטיות עבור מקדם דיאלקטרי===

ב[[אלקטרומגנטיות]] ו[[אופטיקה]], [[חומר דיאלקטרי]] הוא חומר מבודד בעל [[מקדם דיאלקטרי]] יחסי, המתאר כיצד הוא מגיב ל[[שדה חשמלי]] ויוצר [[פולריזציה]] (קיטוב) בחומר. למקדם הדיאלקטרי גם חלק מדומה, הקובע את ה[[בליעת אור|בליעה]] של [[קרינה אלקטרומגנטית]] בחומר. יחסי קרמרס-קרוניג מאפשרים לחשב את בליעת החומר (החלק המדומה) בהינתן מקדם דיאלקטרי כתלות בתדר (החלק הממשי), ולהפך. המקדם הדיאלקטרי היחסי נתון על ידי
: <math>\ \varepsilon_r = 1 + \chi</math>
כאשר <math>\ \chi</math> היא ה[[סוספטיביליות חשמלית|סוספטיביליות החשמלית]] (מניחות) של החומר, המתארת את היחס בין הקיטוב שנוצר בחומר לבין השדה החשמלי:
:<math>\ \vec{P} = \epsilon_0 \chi \vec{E}</math>
מאחר שהשפעת השדה החשמלי על המטענים בחומר איננה מיידית, יש לקחת [[קונבולוציה]] של המניחות עם השדה החשמלי כדי לקבל את הקיטוב:
:<math>\ \vec{P} =\epsilon_0 \int_{-\infty}^{t}{ \chi(t-t') \vec{E}(t') }</math>
גבולות האינטגרציה הן עד זמן t כי החומר לא מגיב לפני שהופעל עליו שדה (<math>\ t-t' < 0</math> ואז <math>\ \chi(t-t'<0)=0</math>). תכונה זו - ה[[סיבתיות]] - מבטיחה אנליטיות של [[טרנספורם פורייה]] של המניחות למרחב התדר, ולכן את קיומם של יחסי קרמרס-קרוניג, מהם ניתן לחלץ את המניחות והמקדם הדיאלקטרי כתלות בתדר.

==הוכחה קשורה במרחב הזמן==
הול והק{{הערה|1={{cite book
 | isbn = 0470192356
 | url = http://books.google.com/books?id=AB2DHvhSHpsC&lpg=PP1&pg=PA331#v=onepage&q=&f=false
 | pages = 331–336
 | author = Stephen H. Hall, Howard L. Heck.
 | year = 2009
 | publisher = Wiley
 | location = Hoboken, N.J.
 | title = Advanced signal integrity for high-speed digital designs
}}}} מציגים הוכחה קשורה ליחסים אלה שלא מערבת [[אינטגרל מסילתי]]. היא מבוססת על העובדות הבאות:
* ניתן לבנות [[תגובה להלם]] [[סיבתיות|סיבתית]] מ[[פונקציה זוגית]] ועוד אותה פונקציה מוכפלת ב[[פונקציית הסימן]].
* חלקים זוגיים ואי-זוגיים של [[פונקציית גל|פונקציית הגל]] במרחב הזמן מתאימים לאינטגרלי פורייה הממשיים והמדומים בהתאמה.
* הכפלה ב[[פונקציית הסימן]] במרחב הזמן מתאימה ל[[קונבולוציה]] עם גרעין הילברט (Hilbert kernel) במרחב התדר.

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

ניתן למצוא גרסה מורחבת ויותר ציורית של הוכחה זו, למשל בלינק זה.{{הערה|1={{cite web
 | url = http://signal-integrity.tm.agilent.com/wp-content/uploads/2009/12/Kramers-Kronig-in-Pictures.htm?
 | title = Kramers-Kronig in Pictures
 }}{{קישור שבור|date=יולי 2020 |bot=InternetArchiveBot |fix-attempted=yes }}}}.

==ראו גם==
* [[משפט השארית]]
* [[טרנספורם הילברט]]
* [[פונקציית היגב ליניארית]]
* [[נפיצה]]

==לקריאה נוספת==
* Mansoor Sheik-Bahae: ''Nonlinear Optics Basics. Kramers–Kronig Relations in Nonlinear Optics'', in: Robert D. Guenther (Ed.): ''Encyclopedia of Modern Optics'', Academic Press, Amsterdam 2005, {{ISBN|0-12-227600-0}}
* Valerio Lucarini, Jarkko J. Saarinen, Kai-Erik Peiponen, and Erik M. Vartiainen : ''Kramers-Kronig relations in Optical Materials Research'', Springer, Heidelberg, 2005, {{ISBN|3-540-23673-2}}
* J. D. Jackson, ''Classical Electrodynamics'', 2nd edition, Wiley, New York (1975), Sec. 7.10, {{ISBN|0-471-43132-X}}.

==הערות שוליים==
{{הערות שוליים|יישור=שמאל}}

[[קטגוריה:אנליזה מרוכבת]]