مبرهنة ليوفيل (ميكانيك هاملتوني)

مبرهنة ليوفيل مبرهنة رياضياتية للعالم والرياضياتي الفرنسي جوزيف ليوفيل وهي مبرهنة رياضية تعطي معادلة تربط بين تطور حجم volume مجموعة نقاط مبدئية (initial condition) لنظام معين (system) في الزمن وهذا الحجم.

الحجم في فضاء يتجاوز بعده 3 
لنفرض أنه لدينا مجموعة نقاط  حجم هذه المجموعة في فضاء بعده n يمكن فهمه على أنه دالة نسميها  من ال  وهي دالة تنسب لكل مجموعة من حجمها. ومن البديهي أنه على هذه الدالة أن تكون موجبة دائما حيث أنه لا وجود لحجم سالب. وبهذا يكون حجم المجموعة :

مبرهنة ليوفيل 

فلنفرض أنه لدينا النظام التالي:

و مجموعة من النقاط البدئية  يمكن أن ننسب لها حجما

و إذا فرضنا أن  هي مجموعة حلول النظام the set of the flows فإن مبرهنة ليوفيل تقول ما يلي:

حيث

مراجع 

مبرهنات في الأنظمة الحركية
ميكانيك هاملتوني