הצגת המקור של הדף "התמרת לז'נדר"

[[קובץ:LegendreTransform.png|שמאל|ממוזער|250px| תיאור גרפי של המעבר מהפונקציה F של הפרמטר x לפונקציה G של הפרמטר s. ניתן לראות כי מתקיים G+F = sx.]]
ב[[מתמטיקה]], ובמקרים מסוימים ב[[פיזיקה]], נרצה לעיתים להציג את המידע הקיים בתלות פונקציונלית <math> \ F(x) </math>, על ידי המשתנה <math> s=F' \left( x \right )</math>, במקום לעשות זאת על ידי המשתנה <math>\ x</math>. בניגוד למעבר הישיר המתקבל על ידי החלפת המשתנה <math>\ x</math> בפונקציה <math>\ x(s)</math>, ניתן לבצע מעבר, אשר עבור פונקציה של משתנה בודד הוא מוגדר באופן הבא:

<math> G \left( s \right) =  sx \left( s \right) - F \left( x \left( s \right) \right) </math> (*)

הפונקציה המתקבלת <math> \ G(s)</math> נקראת '''התמרת לז'נדר''' (או '''טרנספורם לז'נדר''') של <math>\ F(x) </math> על שם [[אדריאן-מארי לז'נדר]]. ניתן לראות את היתרונות של מעבר כזה באופן ברור ב[[תרמודינמיקה]], כפי שיפורט בהמשך.

יש לשים לב שאמנם היה אפשר לחשוב שניתן לייצג את המידע ב־<math>\ F</math> באמצעות הביטוי <math>F \left( x \left( s \right) \right) </math> בלבד, אך בכך למעשה מאבדים חלק מהמידע ב־<math>\ F</math> כי <math>\ s</math> מוגדר עד כדי תוספת קבוע ל־<math>\ x</math>. באופן פיזיקלי, כמפורט בהמשך, ההתמרה היא שנותנת את הפונקציה שיכולה לתאר תנאי לשיווי משקל במשתנים החדשים.

ההגדרה של התמרת לז'נדר עבור פונקציה <math>\ F</math>של <math>\ n </math> משתנים היא:

<math> G \left( s_1 ... s_l , x_{l+1} ... x_n \right) = \sum_{i=1}^l { \partial F \over \partial x_i} x_i - F \left(x_1 ... x_n \right) = \sum_{i=1}^l s_i x_i - F \left(x_1 ... x_n \right) </math>

==תכונות של התמרת לז'נדר==

* סימטריה של ההתמרה – על ידי גזירה של המשוואה (*) לפי <math> \ s </math> (לחלופין אפשר לפי <math> \ x </math>) מתקבל הקשר:
: <math>{dG \over ds} = x \left ( s \right ) + s {dx \over ds} - {dF \over dx} {dx \over ds} </math>.
: על פי הגדרת <math>s = { dF \over dx} ,s</math>, ולכן <math>{ dG \over ds} = x \left( s \right) </math>.
: מתוך המשוואה (*) ומהנגזרות ניתן לראות את הסימטריה של ההתמרה כלומר <math>F,x \leftrightarrow G,s </math>. 
: כתוצאה מסימטריה זו אם נפעיל את הטרנספורם שוב על <math>\ G</math> נקבל את <math>\ F</math>, כלומר טרנספורם לז'נדר הוא ההפוך של עצמו.{{הערה|1=הוכחה ניתן למצוא במאמר R. K. P. Zia, Edward F. Redish, and Susan R. McKay, Making Sense of the Legendre Transform, arXiv:0806.1147v1, physics.ed-ph}}

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

== דוגמה חישובית ==
[[Image:LegendreExample.svg|left|thumb|200px|הפונקציה ''e''<sup>''x''</sup> משורטטת באדום והתמרת לז'נדר שלה בכחול מקווקו.]]
היות שאופרטור הגזירה מותיר את [[אקספוננט|הפונקציה האקספוננציאלית]] <math> f(x) = e^x </math> ללא שינוי, התמרת לז'נדר שלה היא הפונקציה:
:<math>f^*(s) = s ( \ln s - 1 ) </math>,
שכן הנגזרת הראשונה של <math>f(x)</math> לפי ''x'' (שהיא <math>f(x)</math> עצמה) והנגזרת הראשונה של <math>f^*(s)</math> לפי ''s'' (שהיא <math>\ln s</math> ) הן [[פונקציה הפוכה|פונקציות הפוכות]] אחת של השנייה.

==התמרת לז'נדר בפיזיקה==

כדי להבין את השימוש בהתמרת לז'נדר בפיזיקה רצוי להסתכל ראשית על בעיה פשוטה של [[חלקיק]] הנע תחת השפעת [[אנרגיה פוטנציאלית|פוטנציאל]] הנתון על ידי <math>U \left( x \right)</math> ובנוסף מופעל עליו כוח קבוע <math>\ f</math>. ניתן לשאול מהו מיקום  שיווי המשקל. התנאי לשיווי משקל הוא התאפסות הכוח הכולל, נזכור שפועל כח <math>\ f</math> ללא תלות בפוטנציאל, ושגרדיאנט הפוטנציאל הוא מינוס הכח שפועל כתוצאה מהפוטנציאל, מכאן שהמיקום יהיה זה שעבורו   <math> \left. {dU \over dx} \right|_{x_0} = f</math>. מכאן ניתן לבודד את מיקום שיווי המשקל כתלות ב־<math>\ f</math>: <math> x_0 \left( f \right) </math> (המיקום בו יתקבל כח <math>\ -f</math> מהפוטנציאל), בהמשך נרצה להימנע משלב הבידוד.  לחלופין היה ניתן לדרוש שיווי משקל ב־<math>\ x_0</math> כלשהו ולשאול מהו הכוח שייתן שיווי משקל במיקום זה (כעת המיקום נתון). כוח זה הוא כמובן זה שמקיים את אותה התלות <math>f = \left. {dU \over dx} \right|_{x_0} </math>, רק שהפעם התשובה מיוצגת כתלות של <math>\ f</math> ב־<math>\ x</math>: <math> =\left. {dU \over dx} \right|_{x_0} = f</math> <math>f \left( x_0 \right) </math>. ההבדל בין הביטויים הוא שעבור <math>x_0</math> נתון דיי להציבו ב<math> f \left( x_0 \right) </math> לקבלת הכח הדרוש לקיום ש"מ, ועבור כח <math>\ f</math> נתון נצטרך לחלץ את <math> x_0 \left( f \right) </math>  מתוך <math> \left. {dU \over dx} \right|_{x_0} = f</math> . עולה השאלה האם קיימת דרך לקבל [[משוואה]] ישירה גם עבור <math>\ x_0</math>, כלומר ביטוי מפורש שייתן את <math>\ x_0</math> אם נתון <math>\ f</math>. התשובה היא שאכן ניתן, וזהו בדיוק מה שתיתן התמרת לז'נדר של <math>U \left( x_0 \right) </math>. יש לשים לב שמתייחסים כאן לפרמטר של <math>\ U</math> כמיקום שיווי משקל של החלקיק ולא כמיקום המשתנה בזמן.

נראה כיצד ניתן לקבל את <math>\ x_0</math> מתוך ההתמרה. טרנספורם לז'נדר של <math> U \left( x_0 \right) </math> הוא: <math>V \left(f \right) = f x_0 \left( f \right) - U \left( x_0 \left(f \right) \right) </math>.

נגזרת של פונקציה זו נותנת בדיוק את <math> \ x_0</math>: <math> {dV \over df} = x_0 + f {dx_0 \over df} - \left. {dU \over dx} \right|_{x_0} {dx_0 \over df} = x_0 </math>

(במעבר האחרון השתמשנו בהגדרת <math>\ f</math>).

יש לשים לב, גם כאשר <math>\ f</math> קבוע ו־<math>\ x</math> הוא פרמטר חופשי וגם כאשר <math>\ x</math> קבוע ו־<math>\ f</math> פרמטר חופשי, הפוטנציאל הכולל <math>\ U(x) + U_f </math> נמצא במינימום (כאשר <math>\ U_f</math> הוא הפוטנציאל הנובע מהכוח <math>\ f</math>). ניתן לומר שהמידע שמעוניינים לייצג הוא – באילו תנאים מתקבל מינימום של הפוטנציאל הכולל, והוא מוצג בשתי אפשרויות שונות, בכל פעם תחת אילוץ אחר. עם זאת, כמובן שההצגה בעזרת <math>\ V</math>היא שימושית רק אם ניתן לקבל ממנה מידע שיהיה קשה לקבל מתוך <math>\ U</math>.

===דוגמה – פוטנציאל הרמוני===

עבור פוטנציאל הרמוני <math>U(x) = - {1 \over 2} kx^2 </math>

הכוח הנוסף הדרוש בהינתן שיווי משקל ב־<math>\ x_0 </math>: <math> f = \left. {dU \over dx} \right|_{x_0} = -kx_0 </math>

מיקום שיווי המשקל בהינתן כוח נוסף <math>\ f </math>:

<math>\ V(f) = fx_0(f)- U(x_0(f)) = f \left( -{ f \over k} \right) - \left( -{ 1 \over 2} k { f^2 \over k^2} \right) = - { 1 \over 2} { f^2 \over k}</math>

<math>x_0 = {dV \over df} = - {f \over k}</math>

הדוגמה לעיל מובאת כאן רק לצורך ההסבר ואינה מדגימה את השימוש המקובל של התמרת לז'נדר בפיזיקה. השימושיות של התמרת לז'נדר בפיזיקה מוסברת בהמשך.

===שימוש במכניקה===
ב[[מכניקה אנליטית|מכניקה]] נהוג פעמים רבות לאפיין מערכת באמצעות ה[[המילטוניאן]] שלה שהוא התמרת לז'נדר של ה[[לגראנז'יאן]]. לפי ההגדרה:
:: <math>\ H = \sum_i {\partial L \over \partial \dot{q}_i} \dot{q}_i - L(q,\dot{q}) = \sum_i p_i \dot{q}_i - L(q,\dot{q})</math>

כאשר <math>\ H</math> הוא ההמילטוניאן, <math>\ L</math> הלגראנז'יאן, <math>\ q_i</math> [[קואורדינטות מוכללות|הקואורדינטות המוכללות]] ו־<math>\ p_i</math> התנעים הצמודים.

ההבדל בין שני הניסוחים הוא שמשוואות התנועה בפורמליזם הלגראנז'יאני, [[משוואות אוילר-לגראנז']], הן [[משוואות דיפרנציאליות]] מסדר שני המתארות דינמיקה במרחב הקואורדינטות ה־<math>\ n</math>־ממדי, בעוד שמשוואות התנועה הנגזרות מתוך ההמילטוניאן הן משוואות דיפרנציאליות מסדר ראשון המתארות דינמיקה ב[[מרחב פאזה]] <math>\ 2n</math>־ממדי (<math>\ n</math> מספר הקואורדינטות המוכללות במערכת). במילים אחרות, אם נקביל למעבר שעשינו מ־<math>\ x </math> ל־<math>\ s </math> למעלה, המעבר שבוצע כאן הוא מאילוץ על <math>\ q_i</math> ו־<math>\dot{q}_i </math> (<math>\ q_i</math> ו־<math>\dot{q}_i </math> ידועים), לאילוץ על <math>\ q_i</math> ו־<math>\ p_i </math> – נקודת התחלה, הנקבעת במרחב פרמטרים גדול יותר.

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

===שימוש בתרמודינמיקה===

[[קובץ:Isolated.png|שמאל|ממוזער|150px|סכימה של מערכת מבודדת מהסביבה.]]

במערכת סגורה ומבודדת מהסביבה (עם קירות אדיאבטיים – אינם מעבירים חום), התנאי לשיווי משקל במערכת הוא שה[[אנטרופיה]] מגיעה לערכה המקסימלי האפשרי בתנאי שה[[אנרגיה]] והנפח לא משתנים ([[החוק השני של התרמודינמיקה]]). בתנאים אלו, ומתוך התנאי לשיווי משקל, ה[[טמפרטורה]] במערכת ניתנת על ידי <math> \beta = \left( { \partial S \over \partial E} \right)_V </math> (כאשר <math>\beta = {1 \over {k_B}T} </math>) והיא חייבת להיות זהה בכל חלקי המערכת.

לעומת זאת, מערכת שבה קובעים את הטמפרטורה של המערכת ולא את האנרגיה הכוללת שלה היא קלה הרבה יותר למימוש בניסויים ולכן עולה הצורך למצוא את התנאי לשיווי משקל עבור מערכת כזו. אפשר לדמיין מערכת כזו כמערכת סגורה אך מצומדת לאמבט חום (בעזרת קירות דיאתרמיים – מעבירים חום) שמחייב אותה להגיע לטמפרטורה של האמבט (לדוגמה כוס תה מכוסה העומדת באוויר). באמבט הכוונה למערכת גדולה מאוד יחסית למערכת A כך שהחלפת אנרגיה עם המערכת A לא יכולה לגרום לשינוי טמפרטורה באמבט. המערכת הכוללת (אמבט + מערכת) היא מערכת סגורה ובמערכת כזו, מתוך הדרישה לשיווי משקל – מקסימום אנטרופיה (כוללת), חייב להתקיים שהטמפרטורה בכל המערכת שווה, לכן יתבצע [[מעבר חום]] בין המערכת לאמבט עד אשר הטמפרטורה תשתווה לזו של האמבט (וכוס התה תתקרר).

[[קובץ:System_bath.png|שמאל|ממוזער|200px| סכימה של מערכת ואמבט חום המופרדים ביניהם על ידי קיר דיאתרמי.]]

השאלה הנשאלת היא – במערכת כזו בה ידועה הטמפרטורה, כיצד נוכל לדעת למה שווים הפרמטרים האחרים של המערכת כאשר היא מגיעה לשיווי משקל? בצורה מדויקת השאלה היא זו: ידוע כיצד לנסח את התנאי לשיווי משקל עבור המערכת הכוללת כי ידוע שהאנטרופיה הכוללת (של המערכת המבודדת A+Bath) צריכה להגיע לערך מקסימלי, אבל היינו רוצים לנסח תנאי לשיווי משקל הכולל פרמטרים ידועים של המערכת בלבד (במקרה הזה הנפח והטמפרטורה) במערכת הלא מבודדת A.

באמצעות [[#הקשר בין תנאי שיווי משקל לטרנספורם לז'נדר|הקשר בין תנאי שיווי משקל לטרנספורם לז'נדר]] אפשר להראות שהתנאי של מקסימום האנטרופיה של המערכת הכוללת גורר את התנאי שהפונקציה <math> \tilde{F} \left( \beta , V \right) </math> של המערכת <math>\ A</math> מגיעה למינימום, כאשר <math>\tilde{F}</math> היא: <math>\tilde{F} ( \beta ,V) = \beta E - \tilde{S} </math>

יש לציין שנעשה כאן שימוש באנטרופיה חסרת יחידות <math>\tilde{S} = {S \over k_B} </math> כיוון שכך הסימטריה בין הפונקציות להתמרות לז'נדר שלהן נראית באופן ברור. נראה שעבור פונקציה זו בדיוק מתקיים <math>E = \left( { \partial \tilde{F} \over \partial \beta } \right)_V </math>, באופן זהה למה שהפונקציות <math> \ U</math> ו־<math>\ V </math> קיימו במקרה של חלקיק יחיד.

הוכחה:

מצד אחד [[דיפרנציאל שלם|הדיפרנציאל השלם]] של המערכת הוא

<math> d \tilde{F} ( \beta , V) = \beta dE + Ed \beta - d \tilde{S} = \beta (TdS -PdV) +Ed \beta -d \tilde{S} = dS/k_B -\beta PdV + Ed \beta - d \tilde{S} = - \beta PdV + Ed \beta </math>

מצד שני, על פי הגדרת הדיפרנציאל השלם של פונקציה מרובת משתנים:

<math> d \tilde{F} (\beta ,V) = \left( { \partial \tilde{F} \over \partial \beta} \right)_V d \beta + \left( { \partial \tilde{F} \over \partial V} \right)_\beta dV </math>

מהשוואת מקדמים ניתן לראות כי

<math>\left( { \partial \tilde{F} \over \partial \beta} \right)_V = E </math>

לכן <math>\tilde{F} </math> היא אכן הפונקציה, שבמערכת עם <math>\ \beta , V </math> קבועים הנגזרת החלקית שלה ביחס ל־<math>\ \beta </math> נותנת את האנרגיה. זו בדיוק התכונה שצריכה לקיים הפונקציה שהיא התמרת לז'נדר של <math>\ S(E,V) </math> ביחס למשתנה <math>\ E </math>, ואכן, על פי הגדרת הטרנספורם,

<math> \tilde{F} (\beta ,V) = E \left( { \partial \tilde{S} \over \partial E} \right)_V - \tilde{S} (E \beta , V) ,V) = E \beta - \tilde{S} </math>

(כאשר הזהות <math> \beta (E) = \left( { \partial S \over \partial E } \right)_V</math> ידועה מהניתוח של מערכת מבודדת).

יש לציין שבתרמודינמיקה נהוג להשתמש בגודל בעל היחידות של אנרגיה <math>\ F= \tilde{F} ( \beta,V) / \beta </math> והוא נקרא [[האנרגיה החופשית של הלמהולץ]] (גם נחזיר את היחידות של <math>\ S</math>):
<math> \ F(T,V) = E(T,V) -TS(T,V) </math>

כאשר מעוניינים להציג את תנאי שיווי המשקל במערכת עם לחץ <math>\ P</math> וטמפרטורה <math>\ T</math> קבועים, ניתן לבצע התמרת לז'נדר של <math>\ S </math> גם ביחס ל־<math>\ V </math>:

<math> \tilde{G} (T,P) = V \left( { \partial \tilde{S} \over \partial V} \right)_E + E \left( { \partial \tilde{S} \over \partial E} \right)_V - \tilde{S}(E( \beta,P),V( \beta,P)) = V {1 \over k_B T} P + E {1 \over k_B T} - \tilde{S} </math>

<math>\Rightarrow G = k_B T \tilde{G} = E - TS + PV </math>

זו נקראת [[האנרגיה החופשית של גיבס]].

כדי לקבל את פונקציית שיווי המשקל כתלות ב־<math>\ S </math> ו־<math>\ P </math> יש להתייחס ל־<math>\ S </math> כפרמטר בלתי תלוי ולכן יש לבצע את ההתמרה על <math>\ E(S,V)</math> (במקום <math>\ S(E,V) </math> שממנה התחלנו קודם). נבצע טרנספורם של <math>\ E(S,V) </math> ביחס ל־<math>\ V </math>:

<math> h(S,P) = V \left( { \partial \tilde{E} \over \partial V } \right)_S -E(S,V(S,P)) = -PV - E </math>

הגודל הנקרא [[אנתלפיה]] הוא

<math>\ H = -h = E +PV </math>

==== הקשר בין תנאי שיווי משקל לטרנספורם לז'נדר ====
<!-- יש קישור לכאן -->
ניתן להדגים די בפשטות מדוע טרנספורם לז'נדר אכן נותן את התנאי לשיווי משקל תחת התנאים השונים. להלן הוכחה לקשר זה עבור האנרגיה החופשית.

כל שנדרש להראות הוא, שבתנאים של טמפרטורה ונפח קבועים במערכת A, תנאי שיווי המשקל הדורש מקסימום אנטרופיה במערכת הכוללת (מערכת A +אמבט B), גורר את התנאי שהאנרגיה החופשית של הלמהולץ של המערכת A צריכה להגיע למינימום. נצא מנקודת הנחה שהמערכת הכוללת (A+B) נמצאת בשיווי משקל, כלומר האנרגיה הכוללת במערכת התחלקה בין המערכת A והאמבט B בצורה שממקסמת את האנטרופיה הכוללת (הטמפרטורות שוות). במילים אחרות, שינוי בחלוקת האנרגיה יכול רק לגרום לירידת האנטרופיה הכוללת. נראה שזה גורר עלייה באנרגיה החופשית של המערכת A:

<div style="direction: ltr;">

<math> \ dS_{tot} = dS_A + dS_B </math>

<math> \ dS_B = {dE_B \over T_B} = - {dE_A \over T_B} </math>

<math>0 \ge dS_{tot} = dS_A + dS_B = { T_B dS_A - dE_A \over T_B} </math>

<math> T_A = T_B \rightarrow T_A dS_A - dE_A \le 0 </math>

<math>\ F_A \equiv E_A - T_A S_A </math> נגדיר

<math> \Rightarrow dF_A \ge 0 </math>

</div>

==קישורים חיצוניים==
{{ויקישיתוף בשורה}}
* {{MathWorld}}

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

[[קטגוריה:אנליזה פונקציונלית]]
[[קטגוריה:תרמודינמיקה]]