במערכת פיזיקאלית המתוארת על ידי קואורדינטות מוכללות, מרחב הפאזה הוא מרחב בעל ממדים - מימד אחד לכל קואורדינטה מוכללת ומימד אחד לכל תנע הצמוד לקואורדינטה מוכללת: , כאשר הלגראנז'יאן של המערכת. כל נקודה במרחב הפאזה מייצגת מצב מוגדר מסוים של המערכת, וכאשר המערכת נעה הנקודה המתאימה לכל מצב מגדירה עקומה הנקראת מסלול הפאזה.
אלמנט נפח אינפיניטסימלי במרחב הפאזה ניתן לרשום כ-, ולכן נפח מסוים במרחב הפאזה, היכול לייצג קונפיגורציות של מערכת מרובת חלקיקים (צבר) הוא . משפט ליוביל טוען שהנפח אינווריאנטי תחת טרנספורמציות קנוניות[1]. טרנספורמציה קנונית מעבירה את הקוארינטות והתנעים המוכללים לקואורדינטות ותנעים מוכללים חדשים באופן שמשמר את משוואות המילטון. בפרט, מכיוון שהתקדמות בזמן - מעבר מהקואורדינטות לערכיהן לאחר זמן : - היא טרנספורמציה קנונית, ניתן לראות שהנפח במרחב הפאזה נשמר בזמן.
רוצים להראות שהנפח במונחי הקואורדינטות הקודמות זהה לנפח במונחי הקואורדינטות החדשות . ניתן להעביר את האינטגרל השני להיות אינטגרל במונחי הקואורדינטות הישנות בעזרת היעקוביאן:
, ולכן נותר רק להראות שהיעקוביאן הוא 1.
נשתמש בכללים של יעקוביאנים כדי לקבל: .
כל טרנספורמציה קנונית ניתן לרשום במונחי פונקציה יוצרת כלשהי, למשל כך שהקואורדינטות האחרות מתקבלות ממנה: . לכן האיבר בדטרמיננטה שבמונה בשורה ה- ובעמודה ה- הוא . האיבר ה- בדטרמיננטה שבמכנה הוא , כלומר היעקוביאן שבמכנה הוא שחלוף של זה שבמונה, ולכן הדטרמיננטות שלהם זהות. קיבלנו כי ולכן הנפחים שווים.
עבור צבר של מצבים שונים של מערכת פיזיקלית מסוימת, נגדיר את פונקציית צפיפות ההסתברות במרחב הפאזה כך ש- היא ההסתברות למצוא את המערכת במצב מסוים שנמצא באלמנט הנפח . מכיוון שהתקדמות בזמן היא טרנספורמציה קנונית, והנפח במרחב הפאזה קבוע תחת טרנספורמציות קנוניות, נקבל כי הנפח שתופסים מספר מצבים במרחב הפאזה, המתפתחים בזמן באופן קלאסי (על-פי משוואות המילטון) נשמר בזמן, ולכן צפיפות ההסתברות לאורך מסלול ההתפתחות בזמן, גם היא קבועה בזמן[2]:
כאשר ההמילטוניאן, סוגרי פואסון, והקשר ידוע ממכינקה המילטונית.
זוהי משוואת ליוביל המתארת את התפתחות צפיפות ההסתברות במרחב הפאזה בזמן. בצורה שקולה ניתן לרשום:
למשוואה זו, הנכונה למכניקה הקלאסית הנשלטת על-ידי משוואות המילטון, יש מקבילה במכניקת הקוונטים, משוואת פון-נוימן[3]:
עבור מערכות שנמצאות בשיווי משקל, צפיפות ההסתברות אינה תלויה מפורשות בזמן: . במקרה זה, משוואת ליוביל הופכת להיות:
פתרון כללי לכך הוא שצפיפות ההסתברות היא פונקציה של ההמילטוניאן[4]:
במכניקה סטטיסטית, פונקציית צפיפות זאת מתארת את ההסתברויות השונות למצוא את המערכת במצב מסוים בצבר כלשהו. במערכת הסגורה, האנרגיה קבועה ולכן ההמילטוניאן יכול להיות שווה רק לערך כלשהו, . לפיכך, צפיפות ההסתברות גם היא קבועה עבור המצבים הזמינים (אלה הנותנים את אותה האנרגיה):
, וכאשר המצבים בדידים ההסתברות זהה לכל המצבים הזמינים: , זוהי פונקציית ההסתברות בצבר המיקרוקנוני שמראה את ההנחה היסודית של המכניקה הסטטיסטית - בשיווי משקל במערכת סגורה כל המצבים הזמינים הם שווי הסתברות.