In this review and methodological article we discuss the main ideas of the integral invariants theory. This theory was originated by Poincare and Cartan. We show how ideas of this theory connect such different fields of mathematical physics as Hamiltonian dynamics, optics and hydrodynamics. We focus our attention on the results that are rarely expounded in the textbooks.
معرّف الورقة : 2507.02878العنوان : المتغيرات التكاملية والأنظمة الهاميلتونيةالمؤلف : أوليج زوبيليفيتش (معهد ستيكلوف الرياضي بأكاديمية العلوم الروسية)التصنيف : math.HO (التاريخ والنظرة العامة)، math-ph (الفيزياء الرياضية)، math.MP (الفيزياء الرياضية)تاريخ النشر : 28 أكتوبر 2025 (arXiv v7)رابط الورقة : https://arxiv.org/abs/2507.02878 هذه ورقة استقصائية ومنهجية تناقش الأفكار الرئيسية لنظرية المتغيرات التكاملية. تم تأسيس هذه النظرية بواسطة بوانكاريه وكارتان، وتوضح الورقة كيف تربط هذه النظرية بين ديناميكا هاميلتون والبصريات والديناميكا المائعة وغيرها من مجالات الفيزياء الرياضية، مع التركيز على النتائج التي نادراً ما تُشرح في الكتب المدرسية.
تهدف هذه الورقة إلى عرض منهجي للأفكار الأساسية لنظرية المتغيرات التكاملية وتطبيقاتها الواسعة في الفيزياء الرياضية، خاصة تلك النتائج العميقة التي تُغفل عادة في المراجع القياسية.
الوحدة النظرية : توفر نظرية المتغيرات التكاملية إطاراً موحداً يربط بين مجالات فيزيائية تبدو غير مترابطة (الميكانيكا الهاميلتونية، البصريات الهندسية، ميكانيكا الموائع)منظور حديث للنظرية الكلاسيكية : على الرغم من أن هذه النظرية نشأت في نهاية القرن التاسع عشر، فإن محتواها الهندسي والطوبولوجي العميق لا يزال ذا أهمية كبيرة في الفيزياء الرياضية الحديثةالقيمة التعليمية : يتم تجاهل العديد من النتائج المهمة في الكتب المدرسية القياسية، وتملأ هذه الورقة هذه الفجوة التعليميةغالباً ما تركز الكتب المدرسية الموجودة على الجوانب الجبرية لميكانيكا هاميلتون، مع تجاهل المنظور الهندسي للأشكال التفاضلية والمتغيرات التكاملية أعمال بوانكاريه وكارتان الأصلية متفرقة وتفتقر إلى عرض منهجي حديث غالباً ما يتم فصل الروابط بين نظرية المتغيرات التكاملية والمجالات الأخرى (مثل ميكانيكا الموائع) في التدريس الهدف من المؤلف هو تقديم استقصاء منهجي وحديث وموجه نحو الحدس الهندسي لنظرية المتغيرات التكاملية، مع التأكيد على دورها الموحد في مختلف المجالات الفيزيائية.
كورقة استقصائية، تتضمن المساهمات الرئيسية للورقة:
العرض المنهجي : توفير إطار عمل كامل لنظرية المتغيرات التكاملية من الأساسيات إلى التطبيقات المتقدمةالروابط بين التخصصات : عرض صريح لكيفية توحيد هذه النظرية لديناميكا هاميلتون والبصريات الهندسية (معادلة الهاملتون-جاكوبي) وديناميكا الموائع (نظريات هيلمهولتز وكيلفن)تجميع النتائج النادرة : جمع النتائج التي نادراً ما تظهر في الكتب المدرسية لكنها مهمة نظرياً، مثل:
نظرية مشتقة لاي في الحالات غير المستقلة عن الزمن إثبات بناء لنظرية دربو الخصائص المميزة لمعادلة هاملتون-جاكوبي الارتباط بين مبدأ غاوس ومعادلة الهاملتون-جاكوبي المساهمة المنهجية : توفير طريقة منهجية للتعلم وتطبيق النظرية من خلال العديد من المسائل والنظرياتالمنظور الهندسي : التأكيد على المعنى الهندسي الجوهري للأشكال التفاضلية والهندسة الحادة والمتغيرات التكامليةتعتمد الورقة على لغة الهندسة التفاضلية الحديثة، مع استخدام الأشكال التفاضلية ومشتقة لاي كأدوات أساسية، لبناء نظرية المتغيرات التكاملية بشكل منهجي.
تعريف المفاهيم الأساسية :
تدفق الطور: g t : M → M g^t: M \to M g t : M → M ، يحقق d d t g t ( x ^ ) = v ( g t ( x ^ ) ) \frac{d}{dt}g^t(\hat{x}) = v(g^t(\hat{x})) d t d g t ( x ^ ) = v ( g t ( x ^ )) ، g 0 ( x ^ ) = x ^ g^0(\hat{x}) = \hat{x} g 0 ( x ^ ) = x ^ مشتقة لاي: L v ω = d d t ∣ t = 0 ( g t ) ∗ ω L_v\omega = \frac{d}{dt}\big|_{t=0} (g^t)^*\omega L v ω = d t d t = 0 ( g t ) ∗ ω صيغة كارتان الهوموتوبية: L v ω = d ( i v ω ) + i v ( d ω ) L_v\omega = d(i_v\omega) + i_v(d\omega) L v ω = d ( i v ω ) + i v ( d ω ) النظريات الرئيسية :
النظرية 1 (الصيغة الأساسية): d d t ∣ t = 0 ∫ g t ( Σ ) ω = ∫ Σ L v ω \frac{d}{dt}\big|_{t=0}\int_{g^t(\Sigma)}\omega = \int_{\Sigma}L_v\omega d t d t = 0 ∫ g t ( Σ ) ω = ∫ Σ L v ω النظرية 2 (المتغيرات التكاملية): ω \omega ω متغير تكاملي إذا وفقط إذا كان التكامل ∫ g t ( Σ ) ω \int_{g^t(\Sigma)}\omega ∫ g t ( Σ ) ω مستقلاً عن t t t لأي متعدد فرعي k k k -بعدي Σ \Sigma Σ النظرية 3 (المتغيرات التكاملية النسبية): إذا كان L v ω = d Ω L_v\omega = d\Omega L v ω = d Ω و ∂ Σ = ∅ \partial\Sigma = \emptyset ∂ Σ = ∅ ، فإن التكامل ∫ g t ( Σ ) ω \int_{g^t(\Sigma)}\omega ∫ g t ( Σ ) ω محفوظالنتائج الرئيسية :
إذا كان للنظام تكامل أول F F F وشكل m m m -غير متغير ω = λ ∧ d F \omega = \lambda \wedge dF ω = λ ∧ d F ، فإن الشكل المقيد λ ∣ Z \lambda|_Z λ ∣ Z (حيث Z = { F = const } Z = \{F = \text{const}\} Z = { F = const } ) هو متغير تكاملي للنظام المقيد إذا كان للنظام m − 2 m-2 m − 2 تكاملات أولى مستقلة وشكل حجم غير متغير، فيمكن تكامل النظام في شكل مغلق النظرية الموسعة :
بالنسبة للنظام غير المستقل عن الزمن x ˙ = v ( t , x ) \dot{x} = v(t,x) x ˙ = v ( t , x ) ، نقدم فضاء الطور الموسع M ~ = ( t 1 , t 2 ) × M \tilde{M} = (t_1, t_2) \times M M ~ = ( t 1 , t 2 ) × M والحقل المتجه الموسع v ~ = ( 1 , v 1 , … , v m ) T \tilde{v} = (1, v^1, \ldots, v^m)^T v ~ = ( 1 , v 1 , … , v m ) T .
النظرية 4 (صيغة مشتقة لاي غير المستقلة عن الزمن):
L v ~ ω = ∂ ω ∂ t + L v ω + ( d t ) ∧ i ∂ v ∂ t ω L_{\tilde{v}}\omega = \frac{\partial\omega}{\partial t} + L_v\omega + (dt) \wedge i_{\frac{\partial v}{\partial t}}\omega L v ~ ω = ∂ t ∂ ω + L v ω + ( d t ) ∧ i ∂ t ∂ v ω
النظرية 5 (المتغيرات التكاملية غير المستقلة عن الزمن):
d d t ∫ G t 0 t ( A ) ω ( t , ⋅ ) = ∫ G t 0 t ( A ) ( ∂ ω ∂ t ( t , ⋅ ) + L v ( t , ⋅ ) ω ( t , ⋅ ) ) \frac{d}{dt}\int_{G^t_{t_0}(A)}\omega(t,\cdot) = \int_{G^t_{t_0}(A)}\left(\frac{\partial\omega}{\partial t}(t,\cdot) + L_{v(t,\cdot)}\omega(t,\cdot)\right) d t d ∫ G t 0 t ( A ) ω ( t , ⋅ ) = ∫ G t 0 t ( A ) ( ∂ t ∂ ω ( t , ⋅ ) + L v ( t , ⋅ ) ω ( t , ⋅ ) )
التطبيق على ديناميكا الموائع :
النظرية 8 : تؤسس حفظ التكامل عندما يحقق حقل المتجه A ( t , x ) A(t,x) A ( t , x ) معادلة تفاضلية جزئية معينة، مما يؤدي إلى:
نظرية كيلفن للدوران (عندما ∂ A ∂ t + ( curl A ) × v = grad ψ \frac{\partial A}{\partial t} + (\text{curl }A) \times v = \text{grad }\psi ∂ t ∂ A + ( curl A ) × v = grad ψ ) نظرية هيلمهولتز للدوامة (عندما ∂ A ∂ t + curl ( A × v ) + v div A = 0 \frac{\partial A}{\partial t} + \text{curl}(A \times v) + v\text{div}A = 0 ∂ t ∂ A + curl ( A × v ) + v div A = 0 ) معادلة الاستمرارية (عندما ∂ f ∂ t + div ( f v ) = 0 \frac{\partial f}{\partial t} + \text{div}(fv) = 0 ∂ t ∂ f + div ( f v ) = 0 ) الطريقة المبتكرة :
بناء عائلة الأشكال: Ω ( t , x ) = t ω 1 + ( 1 − t ) ω \Omega(t,x) = t\omega_1 + (1-t)\omega Ω ( t , x ) = t ω 1 + ( 1 − t ) ω تعريف حقل المتجه: i v ( t , x ) Ω ( t , x ) = − α i_{v(t,x)}\Omega(t,x) = -\alpha i v ( t , x ) Ω ( t , x ) = − α ، حيث ω 1 − ω = d α \omega_1 - \omega = d\alpha ω 1 − ω = d α إثبات أن ( G 0 t ) ∗ Ω ( t , ⋅ ) (G^t_0)^*\Omega(t,\cdot) ( G 0 t ) ∗ Ω ( t , ⋅ ) مستقل عن t t t ، وبالتالي G 0 1 G^1_0 G 0 1 يحول الشكل ذا المعاملات الثابتة ω 1 \omega_1 ω 1 إلى ω \omega ω هذه الطريقة البناءة لا توفر فقط إثباتاً للنظرية، بل توفر أيضاً خوارزمية لإيجاد إحداثيات حادة عملياً.
المحتوى العميق للنظرية 17 :
حل معادلة هاملتون-جاكوبي S ( t , x ) S(t,x) S ( t , x ) وتمثيله البياني Γ = { p i = ∂ S ∂ x i } \Gamma = \{p_i = \frac{\partial S}{\partial x^i}\} Γ = { p i = ∂ x i ∂ S } هو متعدد فرعي غير متغير على Γ \Gamma Γ ، تتبسط صيغة بوانكاريه-كارتان: α ∣ Γ = d S \alpha|_\Gamma = dS α ∣ Γ = d S هذا يعطي المعنى الهندسي لتكامل الفعل:
S ( t , x ( t ) ) − S ( t 0 , x ( t 0 ) ) = ∫ t 0 t L ( τ , x ( τ ) , x ˙ ( τ ) ) d τ S(t,x(t)) - S(t_0,x(t_0)) = \int_{t_0}^t L(\tau, x(\tau), \dot{x}(\tau))d\tau S ( t , x ( t )) − S ( t 0 , x ( t 0 )) = ∫ t 0 t L ( τ , x ( τ ) , x ˙ ( τ )) d τ توحيد البصريات والهندسة :
معادلة الهاملتون-جاكوبي: ∣ ∇ f ∣ 2 = g i j ∂ f ∂ x i ∂ f ∂ x j = 1 |\nabla f|^2 = g^{ij}\frac{\partial f}{\partial x^i}\frac{\partial f}{\partial x^j} = 1 ∣∇ f ∣ 2 = g ij ∂ x i ∂ f ∂ x j ∂ f = 1 النظرية 18 : إذا حققت f f f معادلة الهاملتون-جاكوبي، فإن الخطوط المتعامدة التي تنطلق من الأسطح متساوية القيمة تحافظ على عموديتها، وتغير f f f على طول الخط الجيوديسي يساوي طول القوسالنظرية 20 (مبدأ غاوس): متعدد الفرعي المتكون من عائلة الخطوط الجيوديسية التي تنطلق من نقطة واحدة في لحظة معينة يكون متعامداً مع الخطوط الجيوديسيةهذا يؤسس الارتباط العميق بين البصريات الهندسية (انتشار الموجة الأمامية) والهندسة الريمانية (الخطوط الجيوديسية).
نأخذ في الاعتبار نظام هاميلتون:
x ˙ i = ∂ H ∂ p i , p ˙ i = − ∂ H ∂ x i \dot{x}^i = \frac{\partial H}{\partial p_i}, \quad \dot{p}_i = -\frac{\partial H}{\partial x^i} x ˙ i = ∂ p i ∂ H , p ˙ i = − ∂ x i ∂ H
النظرية 11 (متغير بوانكاريه-كارتان التكاملي):
نقدم الشكل α = p i d x i − H d t \alpha = p_i dx^i - H dt α = p i d x i − H d t ، ثم:
i w ~ d α = 0 i_{\tilde{w}}d\alpha = 0 i w ~ d α = 0 (حيث w ~ \tilde{w} w ~ هو حقل المتجه في فضاء الطور الموسع)بالعكس، إذا كان i u d α = 0 i_u d\alpha = 0 i u d α = 0 ، فإن u = λ ( t , z ) w ~ u = \lambda(t,z)\tilde{w} u = λ ( t , z ) w ~ النظرية 12 (المتغير التكاملي النسبي):
L w ~ α = d F , F = p i ∂ H ∂ p i − H L_{\tilde{w}}\alpha = dF, \quad F = p_i\frac{\partial H}{\partial p_i} - H L w ~ α = d F , F = p i ∂ p i ∂ H − H
النظرية 13 : التكامل على منحنى مغلق ∫ g τ ( γ ) α \int_{g^\tau(\gamma)}\alpha ∫ g τ ( γ ) α محفوظالنظرية 14 : التكامل على سطح ثنائي الأبعاد ∫ g τ ( Σ ) d α \int_{g^\tau(\Sigma)}d\alpha ∫ g τ ( Σ ) d α محفوظالنظرية 15 : حفظ الشكل الحاد: ∫ G t 0 t ( Σ ) β \int_{G^t_{t_0}(\Sigma)}\beta ∫ G t 0 t ( Σ ) β محفوظ (حيث β = d p i ∧ d x i \beta = dp_i \wedge dx^i β = d p i ∧ d x i )النتيجة 2 : تدفق الطور هو تحويل حاد: ( G t 0 t ) ∗ β = β (G^t_{t_0})^*\beta = \beta ( G t 0 t ) ∗ β = β التعريف 3 (التحويل القانوني):
التحويل ( t , x , p ) ↦ ( t , X , P ) (t,x,p) \mapsto (t,X,P) ( t , x , p ) ↦ ( t , X , P ) قانوني إذا:
d z P i ∧ d z X i = d p i ∧ d x i d_zP_i \wedge d_zX^i = dp_i \wedge dx^i d z P i ∧ d z X i = d p i ∧ d x i
النظرية 21 (حفظ الشكل الهاميلتوني):
تحت التحويل القانوني، تحتفظ معادلات هاملتون بالشكل:
P ˙ i = − ∂ K ∂ X i , X ˙ i = ∂ K ∂ P i \dot{P}_i = -\frac{\partial K}{\partial X^i}, \quad \dot{X}^i = \frac{\partial K}{\partial P_i} P ˙ i = − ∂ X i ∂ K , X ˙ i = ∂ P i ∂ K
حيث هاملتونيان جديد:
K ( t , X , P ) = ( P i ∂ X i ∂ t + ∂ S ∂ t + H ) ∣ ( x , p ) ↦ ( X , P ) K(t,X,P) = \left(P_i\frac{\partial X^i}{\partial t} + \frac{\partial S}{\partial t} + H\right)\bigg|_{(x,p) \mapsto (X,P)} K ( t , X , P ) = ( P i ∂ t ∂ X i + ∂ t ∂ S + H ) ( x , p ) ↦ ( X , P )
التحويلات القانونية الحرة : إذا كان det ( ∂ X i ∂ p j ) ≠ 0 \det\left(\frac{\partial X^i}{\partial p_j}\right) \neq 0 det ( ∂ p j ∂ X i ) = 0 ، فإنه توجد دالة توليد S 1 ( t , x , X ) S_1(t,x,X) S 1 ( t , x , X ) تحقق:
p i = ∂ S 1 ∂ x i , P i = − ∂ S 1 ∂ X i p_i = \frac{\partial S_1}{\partial x^i}, \quad P_i = -\frac{\partial S_1}{\partial X^i} p i = ∂ x i ∂ S 1 , P i = − ∂ X i ∂ S 1
التكامل الكامل : إذا حققت S ( t , x , b ) S(t,x,b) S ( t , x , b ) (حيث b b b معاملات):
معادلة هاملتون-جاكوبي: H ( t , x , ∂ S ∂ x ) + ∂ S ∂ t = 0 H(t,x,\frac{\partial S}{\partial x}) + \frac{\partial S}{\partial t} = 0 H ( t , x , ∂ x ∂ S ) + ∂ t ∂ S = 0 شرط عدم التحلل: det ( ∂ 2 S ∂ x ∂ b ) ≠ 0 \det\left(\frac{\partial^2 S}{\partial x\partial b}\right) \neq 0 det ( ∂ x ∂ b ∂ 2 S ) = 0 فيمكن تكامل النظام في شكل مغلق.
النظرية 22 (تقويم حقل المتجه الهاميلتوني):
إذا كان d H ( z ~ ) ≠ 0 dH(\tilde{z}) \neq 0 d H ( z ~ ) = 0 ، فإنه توجد إحداثيات قانونية محلية ( X , P ) (X,P) ( X , P ) بحيث H = X 1 H = X^1 H = X 1 .
النظرية 23 (البنية الحادة على سطح الطاقة):
على سطح الطاقة E h = { H = h } E_h = \{H = h\} E h = { H = h } ، نأخذ مقطعاً عرضياً Y Y Y (حيث w ( z ) ∉ T z Y w(z) \notin T_zY w ( z ) ∈ / T z Y )، فإن الشكل المقيد β ′ = β ∣ Y \beta' = \beta|_Y β ′ = β ∣ Y غير متحلل، و ( Y , β ′ ) (Y, \beta') ( Y , β ′ ) هو متعدد فرعي حاد.
النظرية 24 (تحويل مقطع بوانكاريه):
تحويل الإرجاع الأول من Y 1 Y_1 Y 1 إلى Y 2 Y_2 Y 2 هو Q : Y 1 → Y 2 Q: Y_1 \to Y_2 Q : Y 1 → Y 2 وهو تحويل حاد: Q ∗ β 2 = β 1 Q^*\beta_2 = \beta_1 Q ∗ β 2 = β 1 .
تؤكد الورقة دائماً على المعنى الهندسي للأشكال التفاضلية، وليس العمليات الجبرية البحتة. على سبيل المثال، من خلال حفظ التكامل لتعريف المتغيرات، وليس معادلات مشتقة لاي المجردة.
توفر عدة نظريات (مثل نظرية دربو ومعادلة هاملتون-جاكوبي) طرقاً بناءة للإثبات، لا توفر فقط إثباتاً للوجود، بل توفر أيضاً مسارات للحساب العملي.
من خلال التطبيقات الملموسة (ديناميكا الموائع والبصريات)، تعرض الورقة المعنى الفيزيائي للنظرية المجردة، مما يعزز قابلية الفهم.
تتضمن الورقة 9 مشاكل مصممة بعناية، توجه القارئ للاستكشاف النشط للمعاني العميقة للنظرية.
من خلال تأسيس المراسلات بين حقول المتجه والأشكال التفاضلية:
f ↔ ω f 3 = f d x 1 ∧ d x 2 ∧ d x 3 f \leftrightarrow \omega^3_f = f dx^1 \wedge dx^2 \wedge dx^3 f ↔ ω f 3 = fd x 1 ∧ d x 2 ∧ d x 3 A ↔ ω A 1 = A i d x i A \leftrightarrow \omega^1_A = A_i dx^i A ↔ ω A 1 = A i d x i A ↔ ω A 2 = A 1 d x 2 ∧ d x 3 + A 2 d x 3 ∧ d x 1 + A 3 d x 1 ∧ d x 2 A \leftrightarrow \omega^2_A = A_1 dx^2 \wedge dx^3 + A_2 dx^3 \wedge dx^1 + A_3 dx^1 \wedge dx^2 A ↔ ω A 2 = A 1 d x 2 ∧ d x 3 + A 2 d x 3 ∧ d x 1 + A 3 d x 1 ∧ d x 2 النظرية 7 تعطي:
∂ ω A 1 ∂ t + L v ω A 1 = ω ∂ A ∂ t + ( curl A ) × v 1 + d ( v , A ) \frac{\partial \omega^1_A}{\partial t} + L_v\omega^1_A = \omega^1_{\frac{\partial A}{\partial t} + (\text{curl }A) \times v} + d(v,A) ∂ t ∂ ω A 1 + L v ω A 1 = ω ∂ t ∂ A + ( curl A ) × v 1 + d ( v , A )
هذا يؤدي مباشرة إلى نظرية كيلفن للدوران ونظرية هيلمهولتز للدوامة في شكل متغير تكاملي.
معادلة الهاملتون-جاكوبي ∣ ∇ f ∣ 2 = 1 |\nabla f|^2 = 1 ∣∇ f ∣ 2 = 1 تصف انتشار الموجة الأمامية. النظرية 18 تثبت:
الأشعة الضوئية (الخطوط الجيوديسية) التي تنطلق من الأسطح متساوية الطور تحافظ على عموديتها على الأسطح المسار البصري يساوي المسافة الهندسية هذا يوحد مبدأ فيرما (البصريات) ونظرية الخطوط الجيوديسية (الهندسة).
القسم 5.1 يعرض كيفية استخدام تكامل الطاقة H = h H = h H = h لتقليل ترتيب النظام:
على سطح الطاقة E h E_h E h ، استخدم p 1 = g ( x 1 , … , x m , p 2 , … , p m , h ) p_1 = g(x^1, \ldots, x^m, p_2, \ldots, p_m, h) p 1 = g ( x 1 , … , x m , p 2 , … , p m , h ) خذ x 1 x^1 x 1 كمعامل زمني جديد احصل على نظام هاميلتون ( 2 m − 2 ) (2m-2) ( 2 m − 2 ) -بعدي، مع هاملتونيان H = − g ( T + T 0 , x 2 , … , x m , p 2 , … , p m , h ) \mathcal{H} = -g(T+T_0, x^2, \ldots, x^m, p_2, \ldots, p_m, h) H = − g ( T + T 0 , x 2 , … , x m , p 2 , … , p m , h ) تستخدم الورقة بشكل منهجي:
التفاضل الخارجي: d ω d\omega d ω الضرب الداخلي (المشتقة الداخلية): i v ω i_v\omega i v ω مشتقة لاي: L v ω = d i v ω + i v d ω L_v\omega = di_v\omega + i_vd\omega L v ω = d i v ω + i v d ω الانسحاب: ( g t ) ∗ ω (g^t)^*\omega ( g t ) ∗ ω بالنسبة لمعادلة هاملتون-جاكوبي العامة:
u t + f ( t , x , u , ∂ u ∂ x ) = 0 u_t + f(t,x,u,\frac{\partial u}{\partial x}) = 0 u t + f ( t , x , u , ∂ x ∂ u ) = 0
نقدم نظام الخصائص:
ξ ˙ = p i ∂ f ∂ p i − f , p ˙ i = − ∂ f ∂ x i − ∂ f ∂ ξ p i , x ˙ i = ∂ f ∂ p i \dot{\xi} = p_i\frac{\partial f}{\partial p_i} - f, \quad \dot{p}_i = -\frac{\partial f}{\partial x^i} - \frac{\partial f}{\partial \xi}p_i, \quad \dot{x}^i = \frac{\partial f}{\partial p_i} ξ ˙ = p i ∂ p i ∂ f − f , p ˙ i = − ∂ x i ∂ f − ∂ ξ ∂ f p i , x ˙ i = ∂ p i ∂ f
النظرية 25 : الحل u ( t , x ) u(t,x) u ( t , x ) وتمثيله البياني G = { ξ = u ( t , x ) , p i = ∂ u ∂ x i } G = \{\xi = u(t,x), p_i = \frac{\partial u}{\partial x^i}\} G = { ξ = u ( t , x ) , p i = ∂ x i ∂ u } هو متعدد فرعي غير متغير لنظام الخصائص.
تعتمد الورقة بشكل أساسي على الأدبيات الكلاسيكية:
بوانكاريه 7 : "الطرق الجديدة في ميكانيكا السماويات" (1899) - العمل الأساسي لنظرية المتغيرات التكامليةإ. كارتان 2 : "دروس في المتغيرات التكاملية" (1922) - التنظيم المنهجي لطريقة الأشكال التفاضليةف. أرنولد 1 : "الطرق الرياضية للميكانيكا الكلاسيكية" (1989) - منظور الهندسة الحادة الحديثةهوفر وزيهندر 4 : "المتغيرات الحادة والديناميكا الهاميلتونية" (1994) - نظرية المتغيرات الحادة الحديثةسبيفاك 8 : "الفيزياء لعلماء الرياضيات" (2010) - تصحيح رياضي من منظور الفيزيائيينالمساهمة الفريدة للورقة هي:
إعادة صياغة النظرية الكلاسيكية باستخدام اللغة الحديثة التأكيد على النتائج التي يتم تجاهلها في الكتب المدرسية (مثل الحالات غير المستقلة عن الزمن وتطبيقات ديناميكا الموائع) توفير إثباتات بناءة وطرق حسابية تأسيس إطار عمل موحد لمختلف المجالات الفيزيائية الوحدة النظرية : توفر نظرية المتغيرات التكاملية لغة موحدة لفهم أنظمة هاميلتون والبصريات الهندسية وديناميكا الموائعالجوهر الهندسي : الهندسة الحادة والأشكال التفاضلية هي الإطار الطبيعي لفهم قوانين الحفظالقيمة العملية : توفر طريقة دالة التوليد وطريقة الخصائص أدوات عملية لحل معادلة هاملتون-جاكوبيالأهمية التعليمية : عرض منهجي للعديد من النتائج المهمة لكن المفقودة في الكتب المدرسيةتوضح الورقة البنية متعددة المستويات لنظرية المتغيرات التكاملية:
المستوى المحلي : مشتقة لاي وصيغة كارتانالمستوى العام : حفظ التكامل والتحويلات الحادةمستوى التطبيق : قوانين الحفظ الفيزيائية والبنى الهندسيةعلى الرغم من أن هذه الورقة استقصائية، إلا أنها تشير ضمنياً إلى عدة اتجاهات بحثية:
المتغيرات التكاملية للأنظمة اللانهائية الأبعاد (المعادلات التفاضلية الجزئية) الطرق الطوبولوجية (تماثل فلوير) وتفسير المتغيرات التكاملية الأساس النظري للطرق العددية (المكاملات الحادة) التطبيقات على نظرية التحكم والتحسين البنية الواضحة : من التعريفات الأساسية إلى التطبيقات المتقدمة، المنطق محكمالمحتوى الشامل : يغطي الأنظمة المستقلة وغير المستقلة عن الزمن، والتطبيقات الفيزيائية المختلفة، والنظرية المحلية والعامةالاكتفاء الذاتي : بخلاف الهندسة التفاضلية الأساسية، يتم شرح جميع المعارف المطلوبة في الورقةتصميم المشاكل : 9 مشاكل مصممة بعناية توجه التعلم النشطالإثبات البناء : مثل إثبات نظرية دربو لا يثبت فقط الوجود، بل يوفر طريقة البناءوجهات نظر متعددة : يتم شرح نفس النتيجة من زوايا جبرية وهندسية وفيزيائيةالنظرية غير المستقلة عن الزمن : النقاش التفصيلي للحالات التي تعتمد على الزمن (القسم 3)، والتي غالباً ما يتم تجاهلها في الكتب المدرسيةتطبيقات ديناميكا الموائع : تأسيس واضح للارتباط بين نظريات هيلمهولتز وكيلفن والمتغيرات التكامليةمبدأ غاوس : إعادة تفسير النتيجة الهندسية الكلاسيكية من منظور معادلة هاملتون-جاكوبياستخدام لغة الهندسة التفاضلية والهندسة الحادة الحديثة، مما يسهل على القراء المعاصرين فهم النتائج الكلاسيكية.
القيود على الأبعاد المحدودة : لم يتم تناول الأنظمة اللانهائية الأبعاد (مثل المتغيرات التكاملية لمعادلة KdV)غياب الطرق الطوبولوجية : لم يتم مناقشة تماثل فلوير والسعة الحادة وغيرها من أدوات الطوبولوجيا الحادة الحديثةعدم وجود مراسلات كمية : لم يتم استكشاف الارتباط مع ميكانيكا الكم (مثل تكميم وايل)ديناميكا الموائع : يتم إعطاء النظريات الأساسية فقط، دون الخوض في ديناميكا الدوامة المعقدةالبصريات : النقاش حول معادلة الهاملتون-جاكوبي أقصر نسبياً، ولم يتم تناول الظواهر المعقدة مثل الخطوط الكاوستيكيةالطرق العددية : لم يتم مناقشة بناء المكاملات الحادة والتحليلعلى الرغم من وجود مشاكل، إلا أن هناك نقصاً في الأمثلة المحددة المحلولة بالكامل (مثل التكامل الكامل للأنظمة المحددة).
تركز المراجع بشكل أساسي على الأعمال الكلاسيكية، مع نقص في الأدبيات المهمة من العقدين الماضيين (مثل نظرية الصلابة الحادة لبولتيروفيتش).
مورد تعليمي : توفير مادة تكميلية قيمة لتعلم ميكانيكا هاميلتونجسر بين التخصصات : توضيح الوحدة الرياضية للظواهر الفيزيائية المختلفةنموذج منهجي : عرض كيفية إعادة صياغة النظرية الكلاسيكية باستخدام اللغة الحديثةالفيزياء النظرية : توفير فهم هندسي عميق لقوانين الحفظالرياضيات التطبيقية : توفير طرق بناءة وأدوات عمليةالحساب العددي : الحفاظ على البنية الحادة هو مفتاح تصميم الخوارزميات عالية الدقة على المدى الطويلجميع النظريات لها إثباتات تفصيلية أو خطوط إثبات واضحة الطرق البناءة (مثل نظرية دربو) يمكن تطبيقها مباشرة على الحسابات تصميم المشاكل يساعد القارئ على التحقق المستقل من النظرية دورات الدراسات العليا : ميكانيكا هاميلتون والهندسة الحادة وطرق الفيزياء الرياضيةالندوات المتخصصة : نقاش متعمق لنظرية المتغيرات التكامليةمواد التعلم الذاتي : مرجع منهجي لتعلم الطرق الهندسية للميكانيكا الكلاسيكيةالفيزياء النظرية : دراسة قوانين الحفظ والأنظمة القابلة للتكاملالهندسة التفاضلية : تطبيقات الهندسة الحادة والهندسة بواسونالمعادلات التفاضلية الجزئية : معادلة هاملتون-جاكوبي وطريقة الخصائصميكانيكا السماويات : حسابات المدارات والنظرية الاضطرابيةنظرية التحكم : معادلة هاملتون-جاكوبي-بيلمان للتحكم الأمثلالحساب العددي : تصميم المكاملات الحادة والخوارزميات الهندسيةالصيغة L v ω = d i v ω + i v d ω L_v\omega = di_v\omega + i_vd\omega L v ω = d i v ω + i v d ω هي أداة أساسية في الورقة. عمقها يكمن في:
التبسيط الجبري : تحويل مشتقة لاي (التي تتطلب التدفق) إلى عمليات جبرية بحتةحكم الأشكال المغلقة : إذا كان d ω = 0 d\omega = 0 d ω = 0 ، فإن L v ω = d i v ω L_v\omega = di_v\omega L v ω = d i v ω يكون تلقائياً شكلاً دقيقاًالحفاظ على البنية الحادة : بالنسبة للشكل الحاد β \beta β ، L w β = 0 ⇔ i w d β + d i w β = 0 ⇔ i w β = − d z H L_w\beta = 0 \Leftrightarrow i_wd\beta + di_w\beta = 0 \Leftrightarrow i_w\beta = -d_zH L w β = 0 ⇔ i w d β + d i w β = 0 ⇔ i w β = − d z H صيغة النظرية 4 :
L v ~ ω = ∂ ω ∂ t + L v ω + ( d t ) ∧ i ∂ v ∂ t ω L_{\tilde{v}}\omega = \frac{\partial\omega}{\partial t} + L_v\omega + (dt) \wedge i_{\frac{\partial v}{\partial t}}\omega L v ~ ω = ∂ t ∂ ω + L v ω + ( d t ) ∧ i ∂ t ∂ v ω
توضح أن الاعتماد على الزمن يجلب حداً إضافياً i ∂ v ∂ t ω i_{\frac{\partial v}{\partial t}}\omega i ∂ t ∂ v ω . هذا الحد حاسم في تطبيقات ديناميكا الموائع:
بالنسبة للسوائل المثالية، ∂ v ∂ t = − ∇ p + القوى الخارجية \frac{\partial v}{\partial t} = -\nabla p + \text{القوى الخارجية} ∂ t ∂ v = − ∇ p + القوى الخارجية هذا يشرح لماذا تتطلب نظرية كيلفن افتراض القوى الكامنة النظرية 17 تكشف عن طبيعتين متكافئتين لمعادلة هاملتون-جاكوبي:
منظور المعادلة التفاضلية الجزئية : H ( t , x , ∂ S ∂ x ) + ∂ S ∂ t = 0 H(t,x,\frac{\partial S}{\partial x}) + \frac{\partial S}{\partial t} = 0 H ( t , x , ∂ x ∂ S ) + ∂ t ∂ S = 0 منظور هندسي : الرسم البياني { p = ∂ S ∂ x } \{p = \frac{\partial S}{\partial x}\} { p = ∂ x ∂ S } هو متعدد فرعي غير متغيرهذه الطبيعة الثنائية هي أساس طريقة الخصائص، وتشرح أيضاً لماذا تكون معادلة هاملتون-جاكوبي مهمة جداً في نظرية التحكم والتحسين.
على الرغم من أن الورقة لم تناقش بشكل صريح، إلا أن محتواها يرتبط ارتباطاً عميقاً بعدة نظريات حديثة:
القسم 5.1 حول اختزال الطاقة هو حالة خاصة من اختزال مارسدن-واينشتاين الحاد (اختزال الفعل S 1 S^1 S 1 ).
التكامل الكامل لمعادلة هاملتون-جاكوبي يتوافق مع خريطة اللحظة للأنظمة القابلة للتكامل، مما يولد تليف لاغرانجي.
تكامل الشكل بوانكاريه-كارتان على المدارات المغلقة هو نظير كلاسيكي لدالة الفعل في تماثل فلوير.
على الرغم من عدم ذكرها، فإن المتغيرات التكاملية هي الأساس لتعريف السعة الحادة (عرض غروموف وغيرها).
توفير فهم هندسي عميق لقوانين الحفظ في الميكانيكا الكلاسيكية شرح لماذا تكون البنية الحادة حاسمة في التكميم توحيد الظواهر الفيزيائية التي تبدو مختلفة (الميكانيكا والبصريات وديناميكا الموائع) عرض تطبيقات طبيعية للهندسة التفاضلية في الفيزياء توفير أمثلة ملموسة وحافز لدراسة الهندسة الحادة ربط نظرية المعادلات التفاضلية الجزئية (معادلة هاملتون-جاكوبي) بالهندسة التفاضلية البنية الحادة المحفوظة هي مفتاح تصميم الخوارزميات المستقرة على المدى الطويل طريقة التوليد توفر إلهاماً لبناء المكاملات الحادة المتغيرات التكاملية توفر معايير للتحقق من صحة الطرق العددية هذه ورقة استقصائية متميزة تحقق بنجاح:
عرض منهجي لنظرية المتغيرات التكاملية باستخدام اللغة الحديثة الكشف عن الوحدة العميقة بين ديناميكا هاميلتون والبصريات الهندسية وديناميكا الموائع تجميع النتائج المهمة لكن المفقودة في الكتب المدرسية توفير طرق بناءة وأدوات عملية القيود الرئيسية هي عدم تغطية التطورات الحديثة (الأنظمة اللانهائية الأبعاد والطوبولوجيا الحادة والمراسلات الكمية)، لكن كمرجع منهجي لنظرية المتغيرات التكاملية الكلاسيكية وكمادة تعليمية، تتمتع هذه الورقة بقيمة دائمة. بالنسبة للقراء الذين يرغبون في فهم الأساس الهندسي العميق لميكانيكا هاميلتون، هذه مرجع لا غنى عنه.
ف. أرنولد: الطرق الرياضية للميكانيكا الكلاسيكية (سبرينجر، 1989) - الكتاب المرجعي القياسي للهندسة الحادة الحديثة إ. كارتان: دروس في المتغيرات التكاملية (هيرمان، 1922) - العمل الأساسي لنظرية المتغيرات التكاملية ن. كوشين وآخرون: الديناميكا المائعة النظرية (1963) - مرجع تطبيقات ديناميكا الموائع ه. هوفر وإ. زيهندر: المتغيرات الحادة والديناميكا الهاميلتونية (بيركهاوسر، 1994) - الهندسة الحادة الحديثة ه. بوانكاريه: الطرق الجديدة في ميكانيكا السماويات (1899) - أصل نظرية المتغيرات التكاملية