Liouville's theorem states that the phase space volume of a Hamiltonian system is conserved over time.يعود تاريخ النظرية إلى عام 1838، عندما كان عالم الرياضيات الفرنسي جوزيف ليوفيل يدرس حركة الكواكب. لاحظ خاصية مدهشة: إذا أخذنا عدة نسخ من نظام ميكانيكي، تختلف قليلاً في شروطها الابتدائية، فإن الحجم الذي تشغله هذه النسخ في فضاء الطور (الإحداثيات + العزم) يبقى ثابتًا مع الزمن. الأمر أشبه بقطيع من الأغنام ينتشر في مرعى، ولكن المساحة التي يشغلها لا تتغير. لاحقًا، في أعمال غيبس وأينشتاين، أصبحت نظرية ليوفيل أساس الميكانيكا الإحصائية (statistical mechanics). وهي تفسر لماذا لا يمكن للإنتروبيا (entropy) في نظام معزول أن تنقص: المسارات المجهرية لا تنضغط.
نشر جوزيف ليوفيل نظريته عام 1838 في مذكرة عن طريقة تغيير الثوابت الاختيارية في الميكانيكا السماوية (celestial mechanics). في الصياغة الحديثة، غالبًا ما ترتبط بهنري بوانكاريه (Henri Poincaré)، الذي استخدم حفظ حجم الطور في دراسات استقرار النظام الشمسي. أما إهرنفست (Ehrenfest) في بداية القرن العشرين، فقد قدم تفسيرًا بصريًا: «مائع النقاط الطورية غير قابل للانضغاط». والنظير الكمومي — معادلة فون نيومان (Von Neumann equation) — يحفظ أيضًا الحجم الاحتمالي، ولكن مع تحفظات بسبب عدم التبادلية (non-commutativity).
تلعب نظرية ليوفيل دورًا محوريًا في فيزياء البلازما (plasma physics) والمسرعات، حيث يكون ضغط الحزم مقيدًا بحفظ الابتعاث (emittance) (معامل متناسب مع حجم الطور). وفي الفيزياء الإحصائية، تفسر لماذا لا تتعارض القابلية المجهرية للعكس مع اللاعكسية العيانية: يُحفظ حجم الطور، ولكن بسبب عدم استقرار المسارات، يختلط إلى درجة تزداد فيها الإنتروبيا الخشنة (coarse-grained entropy) (ما يُسمى بالخلط - mixing). حدود التطبيق: النظرية صحيحة فقط للأنظمة الهاملتونية المعزولة دون تبديد (dissipation) وحقول خارجية تفسد البنية القانونية (canonical structure).
تشكل نظرية ليوفيل أساس الفيزياء الإحصائية (statistical physics) وتصميم مسرعات الجسيمات (particle accelerators): فهي تفسر لماذا لا يمكن تركيز الحزمة (beam) إلى بقعة متناهية الصغر دون فقدان السطوع (brightness).
لولا نظرية ليوفيل، لكانت المحركات الأبدية من النوع الثاني ممكنة. لجزيئات الهواء أن تتجمع تلقائيًا في أحد أركان الغرفة، ولحصلت على طاقة مجانية. لكن حفظ حجم الطور يمنع هذه الخدع — الفوضى دائماً تنتصر.
| hcap(γ_t) | متغير | Half-plane capacity of the Loewner hull at time t — half plane capacity metre squared |
| t | متغير | Time parameter of the Loewner evolution — زمن second |




