התמרת לז'נדר
במתמטיקה, ובמקרים מסוימים בפיזיקה, נרצה לעיתים להציג את המידע הקיים בתלות פונקציונלית , על ידי המשתנה , במקום לעשות זאת על ידי המשתנה . בניגוד למעבר הישיר המתקבל על ידי החלפת המשתנה בפונקציה , ניתן לבצע מעבר, אשר עבור פונקציה של משתנה בודד הוא מוגדר באופן הבא:
(*)
הפונקציה המתקבלת נקראת התמרת לז'נדר (או טרנספורם לז'נדר) של על שם אדריאן-מארי לז'נדר. ניתן לראות את היתרונות של מעבר כזה באופן ברור בתרמודינמיקה, כפי שיפורט בהמשך.
יש לשים לב שאמנם היה אפשר לחשוב שניתן לייצג את המידע ב־הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle \ F} באמצעות הביטוי הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle F \left( x \left( s \right) \right) } בלבד, אך בכך למעשה מאבדים חלק מהמידע ב־הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle \ F} כי הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle \ s} מוגדר עד כדי תוספת קבוע ל־הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle \ x} . באופן פיזיקלי, כמפורט בהמשך, ההתמרה היא שנותנת את הפונקציה שיכולה לתאר תנאי לשיווי משקל במשתנים החדשים.
ההגדרה של התמרת לז'נדר עבור פונקציה של הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle \ n } משתנים היא:
הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle 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) }
תכונות של התמרת לז'נדר
- סימטריה של ההתמרה – על ידי גזירה של המשוואה (*) לפי הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle \ s } (לחלופין אפשר לפי ) מתקבל הקשר:
- הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle {dG \over ds} = x \left ( s \right ) + s {dx \over ds} - {dF \over dx} {dx \over ds} } .
- על פי הגדרת הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle s = { dF \over dx} ,s} , ולכן הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle { dG \over ds} = x \left( s \right) } .
- מתוך המשוואה (*) ומהנגזרות ניתן לראות את הסימטריה של ההתמרה כלומר הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle F,x \leftrightarrow G,s } .
- כתוצאה מסימטריה זו אם נפעיל את הטרנספורם שוב על הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle \ G} נקבל את הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle \ F} , כלומר טרנספורם לז'נדר הוא ההפוך של עצמו.[1]
- הטרנספורם קיים רק עבור פונקציות שהנגזרת השנייה שלהם תמיד חיובית או תמיד שלילית (אחרת לא ניתן להגדיר ציר הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle \ s} באופן חד ערכי).
דוגמה חישובית
היות ואופרטור הגזירה מותיר את הפונקציה האקספוננציאלית הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle f(x) = e^x } ללא שינוי, התמרת לז'נדר שלה היא הפונקציה:
- ,
שכן הנגזרת הראשונה של הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle f(x)} לפי x (שהיא הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle f(x)} עצמה) והנגזרת הראשונה של הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle f^*(s)} לפי s (שהיא הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle \ln s} ) הן פונקציות הפוכות אחת של השנייה.
התמרת לז'נדר בפיזיקה
כדי להבין את השימוש בהתמרת לז'נדר בפיזיקה רצוי להסתכל ראשית על בעיה פשוטה של חלקיק הנע תחת השפעת פוטנציאל הנתון על ידי הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle U \left( x \right)} ובנוסף מופעל עליו כוח קבוע הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle \ f} . ניתן לשאול מהו מיקום שיווי המשקל. התנאי לשיווי משקל הוא התאפסות הכוח הכולל, נזכור שפועל כח הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle \ f} ללא תלות בפוטנציאל, ושגרדיאנט הפוטנציאל הוא מינוס הכח שפועל כתוצאה מהפוטנציאל, מכאן שהמיקום יהיה זה שעבורו . מכאן ניתן לבודד את מיקום שיווי המשקל כתלות ב־הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle \ f} : הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle x_0 \left( f \right) } (המיקום בו יתקבל כח הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle \ -f} מהפוטנציאל), בהמשך נרצה להימנע משלב הבידוד. לחלופין היה ניתן לדרוש שיווי משקל ב־הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle \ x_0} כלשהו ולשאול מהו הכוח שייתן שיווי משקל במיקום זה (כעת המיקום נתון). כוח זה הוא כמובן זה שמקיים את אותה התלות הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle f = \left. {dU \over dx} \right|_{x_0} } , רק שהפעם התשובה מיוצגת כתלות של הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle \ f} ב־הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle \ x} : הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle =\left. {dU \over dx} \right|_{x_0} = f} . ההבדל בין הביטויים הוא שעבור הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle x_0} נתון דיי להציבו בהפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle f \left( x_0 \right) } לקבלת הכח הדרוש לקיום ש"מ, ועבור כח הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle \ f} נתון נצטרך לחלץ את הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle x_0 \left( f \right) } מתוך הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle \left. {dU \over dx} \right|_{x_0} = f} . עולה השאלה האם קיימת דרך לקבל משוואה ישירה גם עבור הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle \ x_0} , כלומר ביטוי מפורש שייתן את הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle \ x_0} אם נתון הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle \ f} . התשובה היא שאכן ניתן, וזהו בדיוק מה שתיתן התמרת לז'נדר של הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle U \left( x_0 \right) } . יש לשים לב שמתייחסים כאן לפרמטר של הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle \ U} כמיקום שיווי משקל של החלקיק ולא כמיקום המשתנה בזמן.
נראה כיצד ניתן לקבל את הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle \ x_0} מתוך ההתמרה. טרנספורם לז'נדר של הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle U \left( x_0 \right) } הוא: הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle V \left(f \right) = f x_0 \left( f \right) - U \left( x_0 \left(f \right) \right) } .
נגזרת של פונקציה זו נותנת בדיוק את הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle \ x_0} : הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle {dV \over df} = x_0 + f {dx_0 \over df} - \left. {dU \over dx} \right|_{x_0} {dx_0 \over df} = x_0 }
(במעבר האחרון השתמשנו בהגדרת הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle \ f} ).
יש לשים לב, גם כאשר קבוע ו־הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle \ x} הוא פרמטר חופשי וגם כאשר הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle \ x} קבוע ו־הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle \ f} פרמטר חופשי, הפוטנציאל הכולל הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle \ U(x) + U_f } נמצא במינימום (כאשר הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle \ U_f} הוא הפוטנציאל הנובע מהכוח הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle \ f} ). ניתן לומר שהמידע שמעוניינים לייצג הוא – באילו תנאים מתקבל מינימום של הפוטנציאל הכולל, והוא מוצג בשתי אפשרויות שונות, בכל פעם תחת אילוץ אחר. עם זאת, כמובן שההצגה בעזרת הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle \ V} היא שימושית רק אם ניתן לקבל ממנה מידע שיהיה קשה לקבל מתוך הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle \ U} .
דוגמה – פוטנציאל הרמוני
עבור פוטנציאל הרמוני הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle U(x) = - {1 \over 2} kx^2 }
הכוח הנוסף הדרוש בהינתן שיווי משקל ב־הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle \ x_0 } : הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle f = \left. {dU \over dx} \right|_{x_0} = -kx_0 }
מיקום שיווי המשקל בהינתן כוח נוסף הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle \ f } :
הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle \ 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}}
הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle x_0 = {dV \over df} = - {f \over k}}
הדוגמה לעיל מובאת כאן רק לצורך ההסבר ואינה מדגימה את השימוש המקובל של התמרת לז'נדר בפיזיקה. השימושיות של התמרת לז'נדר בפיזיקה מוסברת בהמשך.
שימוש במכניקה
במכניקה נהוג פעמים רבות לאפיין מערכת באמצעות ההמילטוניאן שלה שהוא התמרת לז'נדר של הלגראנז'יאן. לפי ההגדרה:
- הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle \ 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})}
כאשר הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle \ H} הוא ההמילטוניאן, הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle \ L} הלגראנז'יאן, הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle \ q_i} הקואורדינטות המוכללות ו־הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle \ p_i} התנעים הצמודים.
ההבדל בין שני הניסוחים הוא שמשוואות התנועה בפורמליזם הלגראנז'יאני, משוואות אוילר-לגראנז', הן משוואות דיפרנציאליות מסדר שני המתארות דינמיקה במרחב הקואורדינטות ה־הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle \ n} ־ממדי, בעוד שמשוואות התנועה הנגזרות מתוך ההמילטוניאן הן משוואות דיפרנציאליות מסדר ראשון המתארות דינמיקה במרחב פאזה הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle \ 2n} ־ממדי (הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle \ n} מספר הקואורדינטות המוכללות במערכת). במילים אחרות, אם נקביל למעבר שעשינו מ־הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle \ x } ל־הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle \ s } למעלה, המעבר שבוצע כאן הוא מאילוץ על הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle \ q_i} ו־הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle \dot{q}_i } ( ו־הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle \dot{q}_i } ידועים), לאילוץ על הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle \ q_i} ו־הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle \ p_i } – נקודת התחלה, הנקבעת במרחב פרמטרים גדול יותר.
לפורמליזם ההמילטוניאני קיים יתרון לעיתים קרובות על פני הפורמליזם הלגנז'יאני, המוקדם יותר, כיוון שבמקרים רבים ההמילטוניאן שווה לאנרגיה של המערכת ולכן הוא מקנה הבנה פיזיקלית עמוקה יותר של המערכת. ניתן גם לקבל את ההמילטוניאן ללא תלות בהגדרת הלגראנז'יאן של המערכת.
שימוש בתרמודינמיקה
במערכת סגורה ומבודדת מהסביבה (עם קירות אדיאבטיים – אינם מעבירים חום), התנאי לשיווי משקל במערכת הוא שהאנטרופיה מגיעה לערכה המקסימלי האפשרי בתנאי שהאנרגיה והנפח לא משתנים (החוק השני של התרמודינמיקה). בתנאים אלו, ומתוך התנאי לשיווי משקל, הטמפרטורה במערכת ניתנת על ידי (כאשר הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle \beta = {1 \over {k_B}T} } ) והיא חייבת להיות זהה בכל חלקי המערכת.
לעומת זאת, מערכת שבה קובעים את הטמפרטורה של המערכת ולא את האנרגיה הכוללת שלה היא קלה הרבה יותר למימוש בניסויים ולכן עולה הצורך למצוא את התנאי לשיווי משקל עבור מערכת כזו. אפשר לדמיין מערכת כזו כמערכת סגורה אך מצומדת לאמבט חום (בעזרת קירות דיאתרמיים – מעבירים חום) שמחייב אותה להגיע לטמפרטורה של האמבט (לדוגמה כוס תה מכוסה העומדת באוויר). באמבט הכוונה למערכת גדולה מאוד יחסית למערכת A כך שהחלפת אנרגיה עם המערכת A לא יכולה לגרום לשינוי טמפרטורה באמבט. המערכת הכוללת (אמבט + מערכת) היא מערכת סגורה ובמערכת כזו, מתוך הדרישה לשיווי משקל – מקסימום אנטרופיה (כוללת), חייב להתקיים שהטמפרטורה בכל המערכת שווה, לכן יתבצע מעבר חום בין המערכת לאמבט עד אשר הטמפרטורה תשתווה לזו של האמבט (וכוס התה תתקרר).
השאלה הנשאלת היא – במערכת כזו בה ידועה הטמפרטורה, כיצד נוכל לדעת למה שווים הפרמטרים האחרים של המערכת כאשר היא מגיעה לשיווי משקל? בצורה מדויקת השאלה היא זו: ידוע כיצד לנסח את התנאי לשיווי משקל עבור המערכת הכוללת כי ידוע שהאנטרופיה הכוללת (של המערכת המבודדת A+Bath) צריכה להגיע לערך מקסימלי, אבל היינו רוצים לנסח תנאי לשיווי משקל הכולל פרמטרים ידועים של המערכת בלבד (במקרה הזה הנפח והטמפרטורה) במערכת הלא מבודדת A.
באמצעות הקשר בין תנאי שיווי משקל לטרנספורם לז'נדר אפשר להראות שהתנאי של מקסימום האנטרופיה של המערכת הכוללת גורר את התנאי שהפונקציה הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle \tilde{F} \left( \beta , V \right) } של המערכת הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle \ A} מגיעה למינימום, כאשר הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle \tilde{F}} היא: הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle \tilde{F} ( \beta ,V) = \beta E - \tilde{S} }
יש לציין שנעשה כאן שימוש באנטרופיה חסרת יחידות הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle \tilde{S} = {S \over k_B} } כיוון שכך הסימטריה בין הפונקציות להתמרות לז'נדר שלהן נראית באופן ברור. נראה שעבור פונקציה זו בדיוק מתקיים הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle E = \left( { \partial \tilde{F} \over \partial \beta } \right)_V } , באופן זהה למה שהפונקציות הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle \ U} ו־הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle \ V } קיימו במקרה של חלקיק יחיד.
הוכחה:
מצד אחד הדיפרנציאל השלם של המערכת הוא
הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle 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 }
מצד שני, על פי הגדרת הדיפרנציאל השלם של פונקציה מרובת משתנים:
הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle 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 }
מהשוואת מקדמים ניתן לראות כי
הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle \left( { \partial \tilde{F} \over \partial \beta} \right)_V = E }
לכן הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle \tilde{F} } היא אכן הפונקציה, שבמערכת עם הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle \ \beta , V } קבועים הנגזרת החלקית שלה ביחס ל־הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle \ \beta } נותנת את האנרגיה. זו בדיוק התכונה שצריכה לקיים הפונקציה שהיא התמרת לז'נדר של הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle \ S(E,V) } ביחס למשתנה הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle \ E } , ואכן, על פי הגדרת הטרנספורם,
הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle \tilde{F} (\beta ,V) = E \left( { \partial \tilde{S} \over \partial E} \right)_V - \tilde{S} (E \beta , V) ,V) = E \beta - \tilde{S} }
(כאשר הזהות הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle \beta (E) = \left( { \partial S \over \partial E } \right)_V} ידועה מהניתוח של מערכת מבודדת).
יש לציין שבתרמודינמיקה נהוג להשתמש בגודל בעל היחידות של אנרגיה הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle \ F= \tilde{F} ( \beta,V) / \beta } והוא נקרא האנרגיה החופשית של הלמהולץ (גם נחזיר את היחידות של הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle \ S} ): הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle \ F(T,V) = E(T,V) -TS(T,V) }
כאשר מעוניינים להציג את תנאי שיווי המשקל במערכת עם לחץ הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle \ P} וטמפרטורה הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle \ T} קבועים, ניתן לבצע התמרת לז'נדר של הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle \ S } גם ביחס ל־הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle \ V } :
הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle \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} }
הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle \Rightarrow G = k_B T \tilde{G} = E - TS + PV }
זו נקראת האנרגיה החופשית של גיבס.
כדי לקבל את פונקציית שיווי המשקל כתלות ב־הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle \ S } ו־הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle \ P } יש להתייחס ל־הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle \ S } כפרמטר בלתי תלוי ולכן יש לבצע את ההתמרה על הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle \ E(S,V)} (במקום הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle \ S(E,V) } שממנה התחלנו קודם). נבצע טרנספורם של הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle \ E(S,V) } ביחס ל־הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle \ V } :
הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle h(S,P) = V \left( { \partial \tilde{E} \over \partial V } \right)_S -E(S,V(S,P)) = -PV - E }
הגודל הנקרא אנתלפיה הוא
הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle \ H = -h = E +PV }
הקשר בין תנאי שיווי משקל לטרנספורם לז'נדר
ניתן להדגים די בפשטות מדוע טרנספורם לז'נדר אכן נותן את התנאי לשיווי משקל תחת התנאים השונים. להלן הוכחה לקשר זה עבור האנרגיה החופשית.
כל שנדרש להראות הוא, שבתנאים של טמפרטורה ונפח קבועים במערכת A, תנאי שיווי המשקל הדורש מקסימום אנטרופיה במערכת הכוללת (מערכת A +אמבט B), גורר את התנאי שהאנרגיה החופשית של הלמהולץ של המערכת A צריכה להגיע למינימום. נצא מנקודת הנחה שהמערכת הכוללת (A+B) נמצאת בשיווי משקל, כלומר האנרגיה הכוללת במערכת התחלקה בין המערכת A והאמבט B בצורה שממקסמת את האנטרופיה הכוללת (הטמפרטורות שוות). במילים אחרות, שינוי בחלוקת האנרגיה יכול רק לגרום לירידת האנטרופיה הכוללת. נראה שזה גורר עלייה באנרגיה החופשית של המערכת A:
הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle \ dS_{tot} = dS_A + dS_B }
הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle \ dS_B = {dE_B \over T_B} = - {dE_A \over T_B} }
הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle T_A = T_B \rightarrow T_A dS_A - dE_A \le 0 }
הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle \ F_A \equiv E_A - T_A S_A } נגדיר
הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle \Rightarrow dF_A \ge 0 }
קישורים חיצוניים
- התמרת לז'נדר, באתר MathWorld (באנגלית)
הערות שוליים
- ^ הוכחה ניתן למצוא במאמר R. K. P. Zia, Edward F. Redish, and Susan R. McKay, Making Sense of the Legendre Transform, arXiv:0806.1147v1, physics.ed-ph
35398033התמרת לז'נדר