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

מתוך ויקיפדיה, האנציקלופדיה החופשית

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

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

רקע[עריכת קוד מקור | עריכה]

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

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

( הוא אורך הגל).

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

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

ניסוח מתמטי[עריכת קוד מקור | עריכה]

בהינתן סט של קואורדינטות קנוניות והמילטוניאן עבור מערכת פיזיקלית כך שמתקיימים משוואות המילטון הפונקציה המנהלת של המילטון (Hamilton's principal function, פירוט בהמשך) הפותרת את משוואת המילטון-יעקובי:

[1]

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

אם ההמילטוניאן לא תלוי ישירות בזמן הפונקציה הקרקטריסטית של המילטון (Hamilton's characteristic function) הפותרת את משוואת המילטון-יעקובי הלא תלויה בזמן:

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

פיתוח באמצעות פונקציה יוצרת[עריכת קוד מקור | עריכה]

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

פעולה ופונקציות המילטון[עריכת קוד מקור | עריכה]

הנגזרת המלאה לפי הזמן של הפונקציה המנהלת של המילטון מקיימת:

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

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

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

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

דוגמאות[עריכת קוד מקור | עריכה]

מתנד הרמוני חד ממדי[עריכת קוד מקור | עריכה]

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

ומכאן וכן . היא האנרגיה הנשמרת של המערכת, ו- היא הפאזה הנשמרת אף היא.

הקשר למשוואת שרדינגר[עריכת קוד מקור | עריכה]

נכתוב את משוואת המילטון־יעקובי הלא תלויה בזמן עבור מערכת קואורדינטות קרטזיות:

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

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

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

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

הערות שוליים[עריכת קוד מקור | עריכה]

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