Stochastic Compressible Euler Equations with Frictional Damping: Existence of $L^\infty$ Martingale Solutions and Asymptotic Porous Medium-Like Behavior

إليك ملخص تقني مفصل للورقة البحثية بعنوان: "معادلات أويلر القابلة للانضغاط العشوائية مع التخميد الاحتكاكي: وجود حلول مارتينجال في فضاء $L^\infty$ والسلوك التقاربي الشبيه بالوسط المسامي."

1. تعريف المشكلة

يتقصى المؤلفون معادلات أويلر القابلة للانضغاط، متساوية الحرارة، أحادية البعد، الخاضعة لتخميد خطي (احتكاكي) وقوة عشوائية ضربية بيضاء في الزمن. يصف النظام تطور كثافة المائع $\rho$ والزخم $m = \rho u$ على فترة محدودة $x \in [0, 1]$.

المعادلات التفاضلية الجزئية العشوائية (SPDEs) الحاكمة هي:
$$\begin{cases} d\rho + \partial_x m \, dt = 0 \\ dm + \partial_x \left( \frac{m^2}{\rho} + p(\rho) \right) dt = -\alpha m \, dt + \sigma(x, \rho, m) \, dW(t) \end{cases}$$
حيث أن:

• $p(\rho) = \kappa \rho^\gamma$ هو قانون الضغط لغاز متعدد المضلعات ($\gamma > 1$).
• $\alpha > 0$ هو معامل التخميد الاحتكاكي.
• $W(t)$ هو حركة براونية قياسية.
• $\sigma(x, \rho, m)$ هو معامل الضوضاء الضربيه الذي يستوفي شروط ليبشيتز والدعم المتراص المحددة.
• الشروط الحدية: تُفرض شروط ديريكليه على الزخم: $m(t, 0) = m(t, 1) = 0$.
• البيانات الأولية: بيانات أولية في $L^\infty$ للكثافة $\rho_0$ والسرعة $m_0$ ذات كثافة وسرعة محدودة.

التحديات الرئيسية التي تمت معالجتها هي غياب الانتظام العالمي لمعادلات أويل_ر القابلة للانضغاط، وجود حالات الفراغ، عدم خطية القوة العشوائية، والحاجة إلى إثبات السلوك التقاربي طويل الأمد في سياق عشوائي.

2. المنهجية

تنقسم استراتيجية الإثبات إلى مرحلتين رئيسيتين: الوجود والتقارب طويل الأمد.

أ. وجود حلول مارتينجال عالمية في الزمن في فضاء $L^\infty$

لإثبات وجود الحلول، يستخدم المؤلفون مخطط تقريب ذو مستويين:

1. التنظيم البارابولي (مستوى $\epsilon$):

   • يتم تعزيز النظام الهيبيربولي (النقلي) بحدود لزوجة اصطناعية ($\epsilon \partial_{xx} \rho$ و $\epsilon \partial_{xx} m$) لإنشاء نظام بارابولي.
   • يتم تنظيم البيانات الأولية ومعاملات الضوضاء لضمان النعومة والتوافق مع الشروط الحدية.

2. مخطط تقسيم الزمن (مستوى $\tau$):

   • يتم تقسيم الفترة الزمنية $[0, T]$ إلى خطوات بحجم $\tau$.
   • يُستخدم مخطط تقسيم لي-تروتر (Lie-Trotter splitting scheme) لفصل المكونات الحتمية والعشوائية.
     • المشكلة الفرعية الحتمية: تحل معادلات أويلر اللزجة والمخمدة عبر خطوة زمنية.
     • المشكلة الفرعية العشوائية: تُحدث الزخم عبر التكامل العشوائي مع إبقاء الكثافة ثابتة.
   • يتم إنشاء استكمال مستمر (continuous interpolant) بين هذه الخطوات.

3. الرصانة والعبور إلى النهاية (Compactness and Limit Passage):

   • حدود $L^\infty$ الموحدة: يستخدم المؤلفون نظرية المناطق الثابتة (باستخدام المكونات الريمانية) ودعم الضوضاء المتراص لاستخلاص حدود $L^\infty$ موحدة للحلول التقريبية، مستقلة عن $\epsilon$ و $\tau$.
   • تقديرات الإنتروبيا: يتم اشتقاق تقديرات حادة للعزوات العليا للإنتروبيا للتحكم في الحدود العشوائية.
   • الرصانة (Tightness) وتمثيل سكوروخود: يتم إثبات رصانة قوانين الحلول التقريبية في الفضاءات الدالية المناسبة (مثل $C_w,loc \cap H^{-2}$). تُستخدم نظرية تمثيل سكوروخود (Skorohod Representation Theorem) للحصول على تقارب شبه مؤكد في فضاء احتمالي جديد.
   • الرصانة التعويضية (Compensated Compactness): تُستخدم نظرية قياس يونج (Young measure) والرصانة التعويضية العشوائية (امتداداً للنظرية الحتمية لـ Lions و Perthame و Souganidis) للعبور إلى النهاية $\epsilon \to 0$ في الحدود غير الخطية، واستعادة متباينة الإنتروبيا للنظام الهيبيربولي الأصلي.
   • الوحدانية المسارية (Pathwise Uniqueness): يتم استدعاء مبرهنة جيونجي-كريلو (Gyöngy-Krylov theorem) لترقية حل المارتينجال إلى حل مساري في فضاء الاحتمالات الأصلي.

ب. السلوك التقاربي طويل الأمد

لتحليل سلوك الحل عند $t \to \infty$، يركز المؤلفون على اضمحلال الحل نحو حالة مستقرة ثابتة.

1. طريقة تبدد الإنتروبيا:

   • يعرفون دالة إنتروبيا معدلة $\eta^*$ مرتبطة بالطاقة الميكانيكية بالنسبة للحالة المستقرة.
   • بتطبيق صيغة إيتو على النظام المنظم، يشتقون معادلة توازن الإنتروبيا (تتحقق المساواة للنظام المنظم، والمتباينة للحل النهائي).

2. تقديرات الاضمحلال:

   • على مستوى التوقع: يثبتون أولاً الاضمحلال الأسي لـ $L^2$ norm للحل في التوقع ($\mathbb{E}[\|\cdot\|_{L^2}^2]$) باستخدام متباينة غرونوال، بشرط أن تكون شدة الضوضاء صغيرة نسبياً مقارنة بالتخميد.
   • على المستوى المساري: للانتقال من التوقع إلى التقارب شبه المؤكد، يشتقون تقديرات العزم الرابع للإنتروبيا.
   • التحكم في التكامل العشوائي: تتمثل الخطوة الحاسمة في حصر حد التكامل العشوائي في معادلة الطاقة. يستخدمون نتيجة حديثة لـ يوسكوفيتش [58] فيما يتعلق بالاضمحلال شبه المؤكد للتكاملات العشوائية. ومن خلال إظهار أن الدالة المدمجة تحقق شروط نمو محددة (عبر حدود العزم الرابع)، يثبتون أن مساهمة الضوضاء العشوائية تتلاشى شبه مؤكد عند $t \to \infty$.

3. تقريب الوسط المسامي:

   • يوضح المؤلفون أن الحد طويل الأمد لنظام أويلر العشوائي يُقرب جيداً بواسطة حل معادلة الوسط المسامي (Porous Medium Equation - PME) الحتمية:
     $$\partial_t \rho = \partial_{xx} p(\rho)$$
   • يتقارب الزخم نحو الملف الشخصي الذي تتنبأ به قانون دارسي ($m \approx -\frac{1}{\alpha} \partial_x p(\rho)$).

3. المساهمات الرئيسية

1. أول نتيجة تقارب مساري: هذا هو أول إثبات صارم لـ التقارب الأسي شبه المؤكد (almost sure exponential convergence) نحو حالة مستقرة لمعادلات أويلر القابلة للانضغاط متساوية الحرارة مع تخميد خطي. ركزت الأدبيات السابقة حول السوائل القابلة للانضغاط العشوائية غالباً على وجود مقاييس ثابتة أو استقرار إحصائي دون إثبات تقارب المسارات.
2. حلول مارتينجال في $L^\infty$: يثبت المؤلفون وجود حلول مارتينجال عالمية في الزمن في فضاء $L^\infty$ على نطاق محدود مع شروط ديريكليه. يعد هذا تحسيناً كبيراً عن الأعمال السابقة (مثل Berthelin & Vovelle) التي تعاملت غالباً مع بيانات $L^2$ أو نطاقات دورية.
3. إطار تقني مبتكر:
   • تطوير مخطط تقسيم "لي-تروتر" مستمر متكيف مع المعادلات التفاضلية الجزئية العشوائية.
   • اشتقاق تقديرات إنتروبيا حادة للعزوات العليا للتحكم في الضوضاء العشوائية في الحد طويل الأمد.
   • تطبيق مبرهنة يوسكوفيتش لإثبات تلاشي التأثيرات العشوائية في النظام التقاربي.
   • ربط ديناميكيات أويلر المخمدة عشوائياً بمعادلة الوسط المسامي الحتمية.

4. النتائج الرئيسية

• مبرهنة 1.1 (الوجود): تحت فرضيات البيانات الأولية المحدودة ومعامل ضوضاء ذي دعم متراص وثابت ليبشيتز صغير، يوجد حل إنتروبيا ضعيف مارتينجال عالمي في الزمن للنظام.
• مبرهنة 1.2 (الاضمحلال الأسي): يتقارب الحل $(\rho, m)$ شبه مؤكد وبسرعة أسية نحو حالة مستقرة ثابتة $(\rho^*, 0)$، حيث $\rho^*$ هي الكتلة الأولية الكلية. وتحديداً:
  $$\int_0^1 \left( (\rho(t) - \rho^*)^2 + m(t)^2 \right) dx \leq C_0 e^{-rt} \quad \text{a.s.}$$
• مبرهنة 1.3 (تقريب الوسط المسامي): يتم تقريب الحل العشوائي جيداً وبشكل تقاربي بواسطة الحل الكلاسيكي لمعادلة الوسط المسامي الحتمية ذات الكتلة الأولية نفسها. الخطأ بين حل أويلر العشوائي وحل الوسط المسامي يتلاشى أسياً مع الزمن.

5. الأهمية

يجسر هذا العمل فجوة حرجة بين ديناميكا السوائل الحتمية والتحليل العشوائي.

• الأهمية الفيزيائية: يوفر أساساً رياضياً صارماً لفهم كيف تؤثر التقلبات العشوائية (مثل تدفق الدم أو النماذج الجوية) على الاستقرار طويل الأمد للتدفقات القابلة للانضغاط. ويؤكد أن التخميد الاحتكاكي القوي يمكن أن يكبح الاضطرابات العشوائية، مما يؤدي إلى توازن يشبه السلوك الحتمي.
• التقدم الرياضي: تقدم التقنيات المطورة للتعامل مع التفاعل بين حدود $L^\infty$، والضوضاء العشوائية، والاضمحلال طويل الأمد، مجموعة أدوات جديدة لتحليل الأنظمة الهيبيربولية العشوائية الأخرى. تتحدى هذه النتيجة التصور بأن الأنظمة العشوائية تمتلك فقط توازنات إحصائية، مظهرة أن التقارب المساري نحو حالة حتمية ممكن تحت شروط توازن محددة بين التخميد والضوض_ة.