טרנספורמציה קנונית

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

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

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

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

השוויון הזה מחייב ש:

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

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

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

שוויון זה יכול להתקיים רק אם:

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

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

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

שוויון זה יכול להתקיים רק אם:

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

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

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

בנוסף מתקיים:

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

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

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

.

באופן דומה ניתן להראות ש-.

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

משפט ליוביל 

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

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

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

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

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

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