מכניקה המילטונית

מכניקה המילטוניאנית היא פורמליזם מתמטי בפיזיקה קלאסית, המהווה הרחבה ושכתוב של מכניקה לגראנז'יאנית. הפורמליזם מתאר מערכות דינמיות באמצעות קואורדינטות כלליות ותנע קנוני (זוגות משתנים המכונים "קואורדינטות פאזיות"), ומבוסס על פונקציה אחת מרכזית, ההמילטוניאן, המייצגת לרוב את האנרגיה הכוללת של המערכת. השיטה נוסחה על ידי המתמטיקאי והפיזיקאי האירי ויליאם רואן המילטון במאה ה־19, והיא מהווה בסיס לא רק למכניקה קלאסית מתקדמת אלא גם לפיתוחים מרכזיים במכניקה סטטיסטית, בתורת השדות ובמכניקת הקוונטים.

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

נגדיר את האנרגיה הלגרנז'יאנית:

התנע הקנוני (הצמוד) מוגדר כ־

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

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

 משוואות המילטון 
 שימוש באויילר לגרנז 
נחשב דיפרנציאל של ההמילטוניאן מתוך ההגדרה:

מאחר ש־, האיברים עם  מבטלים זה את זה, ולכן

מן העבר השני, כתלות במשתנים הבלתי תלויים  מתקיים

השוואת המקדמים של ,  ו־ נותנת:

באמצעות משוואות אוילר–לגראנז'  נקבל
 ולפיכך:

 שימוש בעקרון הפעולה הסטציונרית 

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

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

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

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

הקשר הזה נכון במערכות לא־יחסותיות כאשר כל התנאים הבאים מתקיימים:



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

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



הצבת ההגדרות והנחות התלות מובילות, באמצעות משפט אוילר לפונקציות הומוגניות, לכך ש:

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

האנרגיה הקינטית ניתנת בצורתה הכללית:

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

 פונקציות יוצרות וסוגרי פואסון 
 פונקציות יוצרות 
במכניקה המילטוניאנית, פונקציה יוצרת (Generating function) היא כלי מתמטי המאפשר לבצע טרנספורמציה קנונית בין קבוצות שונות של קואורדינטות ותנע מוכלל. כלומר, ניתן לעבור מתיאור של מערכת במשתנים  למערכת משתנים אחרת  תוך שמירה על הצורה הקנונית של משוואות המילטון.

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

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

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

 סוגרי פואסון 
סוגר פואסון (Poisson bracket) הוא מבנה מתמטי המגדיר מעין "סוגר קומוטטיבי" בין שתי פונקציות על מרחב הפאזה של מערכת המילטוניאנית. אם  ו־ הן שתי פונקציות, סוגר פואסון שלהן מוגדר כ־

הגדרה זו מקיימת תכונות אלגבריות המזכירות חבורת לי: היא אנטי־סימטרית (), מקיימת את כלל לייבניץ, ואת זהות יעקובי.

סוגר פואסון ממלא תפקיד מרכזי במכניקה קלאסית מכמה סיבות:

משוואות המילטון עצמן ניתנות לכתיבה באמצעות סוגרי פואסון:
.

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

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

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

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

כאשר  פרמטר אינפיניטסימלי קטן.

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

זהו ניסוח מודרני של משפט נתר במסגרת מכניקה המילטוניאנית.

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

כאשר  הוא ההמילטוניאן של המערכת.

במקרה שבו  אינו תלוי בזמן באופן מפורש (כלומר ), מקבלים:

 נגזרות מסדר גבוה 
החלת הפעולה שוב ושוב מניבה נגזרות גבוהות יותר:

 טור טיילור של ההתפתחות בזמן 
הפיתוח בטור סביב  נותן:

צורה קומפקטית משתמשת באופרטור לי:

 דוגמה: גוף בשדה כבידה אחיד 
נבחן תנועה בממד אחד לאורך  עם המילטוניאן

כאשר  מסת הגוף ו־ תאוצת הכבידה.

נחשב את סוגרי פואסון:

כעת נשתמש בטור טיילור:

עבור התנע:

כי האיברים מסדר גבוה מתאפסים (הכוח קבוע).

עבור המקום:

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

 משוואת המילטון–יעקובי 
משוואת המילטון–יעקובי היא ניסוח מתמטי שקול למכניקה המילטוניאנית, ומשמשת כגשר חשוב בין מכניקה קלאסית למכניקה קוונטית. המשוואה מציגה את הדינמיקה של מערכת באמצעות פונקציה סקלרית יחידה, הנקראת הפונקציה המייצרת הראשית (Hamilton’s principal function).

 צורה כללית 
נתון המילטוניאן של מערכת:

כאשר  הם הקואורדינטות המוכללות,  התנעים המוכללים, ו־ מספר דרגות החופש.

מגדירים את פונקציית הפעולה (Hamilton’s principal function):

שמקיימת את התנאי

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

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

 חשיבות והקשרים 

פתרון המשוואה מאפשר למצוא ישירות את מסלולי המערכת באמצעות גזירת .

המשוואה מהווה ניסוח שקול למשוואות המילטון, אך לעיתים קל יותר למצוא את  מאשר את  ו־ ישירות.

מהווה בסיס למעבר למשוואת שרדינגר במכניקה קוונטית: אם נציב

במשוואת שרדינגר, נקבל בקירוב הקלאסי את משוואת המילטון–יעקובי.

קשורה ישירות למשפט נתר: סימטריות של הפוטנציאל מובילות לקבועי תנועה המופיעים בפונקציה .

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

כאשר  הוא קבוע האנרגיה.

אז משוואת המילטון–יעקובי הופכת ל:

זוהי צורה סטטית של המשוואה, שבה  נקראת פונקציית המילטון המקדימה (Hamilton’s characteristic function).

 דוגמאות 

מתנד הרמוני חד־ממדי
ההמילטוניאן:

משוואת המילטון–יעקובי הסטטית היא:

זו משוואה דיפרנציאלית רגילה שניתן לפתור עבור , ומשם לחלץ את הפתרון הדינמי.

חלקיק בשדה כבידה אחיד

משוואת המילטון–יעקובי:

הפרדת משתנים נותנת פתרון מהצורה  עם

 קישורים חיצוניים 

קטגוריה:מכניקה אנליטית
קטגוריה:מכניקה
קטגוריה:פיזיקה תאורטית