Variational formulation of hyperbolic conservation laws

ملخص تقني: الصيغة التباينية للقوانين الحفظية الزائدية

بيان المشكلة
تتناول الورقة مسألة تأسيسية طرحها ك. أ. فريدريكسس (K. O. Friedrichs) حول أصل التماثل في أنظمة القوانين الحفظية الزائدية. بينما أثبت فريدريكسس ولاكس (Lax) أن وجود دالة إنتروبيا محدبة تماماً يعني إمكانية جعل النظام متماثلاً (أي يمكن جعل مصفوفات جاكوبي متماثلة بواسطة هسيان الإنتروبيا)، تساءل فريدريكسس عما إذا كان هذا التماثل خاصية جوهرية يمكن اشتقاقها من قوانين الحفظ نفسها، بدلاً من كونها فرضية مفروضة على النظام. ويكتسب هذا الأمر أهمية خاصة في الأنظمة التي تحتوي على $N \geq 3$ معادلات، حيث تشكل شرط التماثل نظاماً محكماً (over-determined) لهسيان الإنتروبيا، وحيث لا توجد دوال إنتروبيا دائماً (مثل الأنظمة "غير المحافظة تماماً").

علاوة على ذلك، تبحث الورقة في اختيار الحلول الضعيفة ذات الصلة فيزيائياً. وبينما يعمل متباينة الإنتروبيا ($\eta_t + \nabla \cdot q_\eta \leq 0$) كمعيار اختيار للقوانين القياسية والأنظمة أحادية البعد، إلا أنها تفشل في ضمان التفرد في الأنظمة متعددة الأبعاد ($N \geq 2$). اقترح دافيرموس (Dafermos) مبدأ "الإنتاج الأقصى للإنتروبيا" (MaxEnt) كمعيار اختيار أقوى، ولكن توجد أمثلة مضادة حيث يفشل هذا المبدأ أيضاً في تقديم حل فريد. تسعى الورقة إلى إعادة صياغة المشكلة لاشتقاق دالة الإنتروبيا ومبدأ (MaxEnt) في آن واحد من خلال إطار تبايني.

المنهجية
يقدم المؤلف صيغة تباينية تعتمد على دالة فعل $I_\eta(u)$ مُعرفة على فضاء من دوال الحالة $u$ ومجموعة من الملحوظات $\eta$.

1. الحلول التباينية: يُعرّف الزوج $(\eta, u)$ كحل تبايني إذا كان $u$ هو مُقلل (minimizer) لدالة الفعل $I_\eta$ ضمن جميع الحالات المقبولة. تُعطى دالة الفعل بـ:
   $$I_\eta(u) = \int_{t_1}^{t_2} \int_\Omega \langle \nabla \eta(u), u_t + \sum_{j=1}^d f_j(u)_{x_j} \rangle_\phi \, dx \, dt$$
   هنا، يتضمن التكامل نواتج غير محافظة (بسبب احتمال وجود انقطاعات في $u$)، والتي تُفسر بمعنى دالماسو، وليفلوخ، ومورات (DLM) باستخدام مسار محدد $\phi$.

2. اشتقاق التماثل: تنظر الورقة في نوعين من الاضطرابات:

   • الاضطرابات الخطية للملحوظة ($\eta_c = \eta + \langle c, u \rangle$): يتطلب اشتراط أن يكون الفعل مُقللاً بالنسبة لهذه الاضطرابات أن يحقق $u$ قوانين الحفظ بالمعنى الضعيف.
   • الاضطرابات الملساء المحلية للحالة ($u + \delta u$): يتطلب اشتراط أن يكون الفعل ثابتاً (stationary) بالنسبة لهذه الاضطرابات الشرط التالي:
     $$D^2\eta(u) A_j(u) = A_j(u)^\top D^2\eta(u)$$
     وهذا هو بالضبط شرط التماثل. وهكذا، يتم اشتقاق وجود دالة إنتروبيا كشرط ضروري لثبات المبدأ التبايني، بدلاً من افتراضها مسبقاً.

3. اشتقاق متباينة الإنتروبيا وMaxEnt: من خلال قصر مجموعة الملحوظات على تلك التي تحقق شرط التماثل (أي دوال الإنتروبيا)، تتبسط دالة الفعل لتصبح إجمالي تغير الإنتروبيا بالإضافة إلى تدفق الحدود. إن خاصية التقليل للحل التبايني تقتضي أن الحل يقلل معدل إنتاج الإنتروبيا (أو يعظم تبدد الإنتروبيا) بالنسبة للاضطرابات المحلية. وهذا يعطي نسخة محلية من مبدأ (MaxEnt) لدافيرموس مباشرة من الصيغة التباينية.

المساهمات والنتائج الرئيسية

• اشتقاق الإنتروبيا: تجيب الورقة على سؤال فريدريكسس من خلال إظهار أنه بالنسبة للأنظمة التي تقبل حلاً تباينياً، فإن دالة الإنتروبيا ليست فرضية خارجية بل هي كائن أقصى (extremal object) مشتق من المبدأ التبايني. وقد ثبت أن هسيان دالة الإنتروبيا هو المُماثل (symmetrizer) لمصفوفات جاكوبي للنظام.
• تصنيف الأنظمة: تميز الصيغة بين "الأنظمة الإنتروبية" (التي تقبل مجموعة غير فارغة من الملحوظات/الإنتروبيات وبالتالي حلول تباينية) و"الأنظمة غير الإنتروبية" (حيث تكون مجموعة الملحوظات فارغة، ولا يوجد حل تبايني).
• مبدأ MaxEnt المحلي: توضح الورقة أن المبدأ التبايني يستلزم نسخة محلية من معيار (MaxEnt) لدافيرموس. وتحديداً، يقلل الحل التبايني معدل إنتاج الإنتروبيا المحلي بين جميع الحلول الضعيفة التي تتفق مع الحل حتى زمن معين.
• القيود على التفرد: تقر الورقة بأنه على الرغم من أن الصيغة التباينية توفر إطاراً صارماً لاشتقاق الإنتروبيا ومبدأ (MaxEnt)، إلا أنها لا تحل تلقائياً مشكلة التفرد في الأنظمة متعددة الأبعاد. وتستشهد بأعمال حديثة (مثل أعمال دي ليليس، سيكيليهيدي، تشيودارولي، إلخ) تظهر أن حتى مبدأ (MaxEnt) يفشل في اختيار حل فريد لبعض البيانات الأولية في معادلات أويلر الإيزنتروبية. وتُلاحظ أن الصيغة التباينية أكثر تقييداً من معيار (MaxEnt) المحلي، لكن وجود فضاء مناسب للاضطرابات $W$ يضمن التفرد يظل مسألة مفتوحة.

الأهمية
تدعي الورقة أهميتها في توفير إطار نظري موحد:

1. اشتقاق التماثل: إنها تنقل وضع الإنتروبيا من كونها قيداً فيزيائياً مفروضاً إلى نتيجة رياضية لمبدأ تبايني، مما يعالج استقصاء فريدريكسس حول أصل التماثل.
2. توحيد مبادئ الاختيار: إنها تربط بين مفهوم الحلول الضعيفة، ووجود دوال الإنتروبيا، ومعيار اختيار (MaxEnt) ضمن بنية تباينية واحدة.
3. توضيح النطاق: إنها تحدد بوضوح فئة الأنظمة التي يمكن تطبيق مثل هذه الصيغة عليها (الأنظمة الإنتروبية) وتسلط الضوء على قيود مبادئ الاختيار الحالية في ضمان التفرد لقوانين الحفظ الزائدية متعددة الأبعاد.

يُقدم العمل كخطوة نحو فهم أعمق للبنية الرياضية لقوانين الحفظ الزائدية، تكريماً للإرث الذي تركه بيتر لاكس والعمل التأسيسي لفريدريكسس، مع الاعتراف بأن "الفضيحة العلمية" المتمثلة في عدم التفرد في التدفقات الانضغاطية متعددة الأبعاد تظل تحدياً مفتوحاً.