Optimal regularity at the free boundary in one-dimensional first-order mean field games

ملخص تقني: الانتظام الأمثل عند الحدود الحرة في ألعاب المجال المتوسط من الدرجة الأولى في بُعد واحد

بيان المشكلة
تتناول هذه الورقة البحثية انتظام الحلول لـ "ألعاب المجال المتوسط" (Mean Field Games - MFG) من الدرجة الأولى في بُعد واحد، ذات الكثافة ذات الدعم المتراص والاقتران القوي. يُحكم النظام بمعادلتي هاميلتون-جاكوبي والاستمرارية:
$$\begin{cases} -u_t + \frac{1}{2}u_x^2 = m^\theta & \text{في } \mathbb{R} \times (0, T), \\ m_t - (m u_x)_x = 0 & \text{في } \mathbb{R} \times (0, T), \end{cases}$$
حيث $\theta > 0$، و $m$ هي كثافة الوكلاء، و $u$ هي دالة القيمة. تركز الدراسة على الحالة التي يكون فيها للـ $m$ دعم متراص، مما يخلق حدوداً حرة بين الطور الموجب ($m>0$) والطور الصفري. السؤال المركزي هو تحديد الانتظام الحاد لدالة القيمة $u$، والضغط $p = m^\theta$، ومنحنيات الحدود الحرة نفسها، لا سيما عند الواجهة حيث تتلاشى الكثافة.

أثبتت الأعمال السابقة أن الحلول تمتلك سرعة انتشار محدودة وأن الحدود الحرة هي من فئة $C^{1,1}$. ومع ذلك، ظل الانتظام الدقيق للضغط ودالة القيمة عبر الحدود الحرة مسألة مفتوحة. تشير الورقة إلى أنه بالنسبة لحل "بارينبلات" (Barenblatt) المتشابه ذاتياً الصريح، فإن الضغط يكون "ليبتشيتز" (Lipschitz) ولكنه ليس من فئة $C^1$ عبر الحدود، بينما دالة القيمة هي من فئة $C^{1,1/2}$ ولكنها ليست أكثر سلاسة. الهدف هو إثبات أن هذه الحدود حادة وتتحقق عموماً تحت افتراضات عدم الانحلال القياسية على البيانات الأولية.

المنهجية
يسير البرهان باستخدام الإحداثيات اللاغرانجية (Lagrangian coordinates)، مستخدماً تغييراً متفردًا للمتغيرات لتحويل مسألة الحدود الحرة إلى مسألة انتظام داخلي لمعادلة إهليلجية متدهورة.

1. الصياغة اللاغرانجية: يتم إعادة صياغة النظام باستخدام خريطة الخصائص $\gamma(y,t)$، حيث $y$ هو الإحداثي الأولي. تقابل الحدود الحرة نقاط النهاية الثابتة $y=0$ و $y=b$ في الفضاء اللاغرانجي. تحقق $\gamma$ معادلة إهليلجية متدهورة زمانياً ومكانياً:
   $$\gamma_{tt} + \theta p_0 \gamma_y^{-(2+\theta)} \gamma_{yy} = p_0' \gamma_y^{-(1+\theta)}.$$
   هنا ينشأ التدهور من التلاشي الخطي للضغط الأولي $p_0(y) \sim y$ عند النهايات.

2. تغيير المتغيرات المتفرد: للتعامل مع هذا التدهور، يقدم المؤلف إحداثي المسافة "الجذر التربيعي" $y = r^2/4$. هذا التحويل يحول التلاشي الخطي لـ $p_0$ إلى سلوك تربيعي في $r$. وبناءً عليه، يُعاد صياغة التدهور كوزن شعاعي $W(r) \sim r^{N-1}$ في بُعد فعال $N = 4 + 2/\theta$. تصبح المعادلة معادلة في صيغة التباعد (divergence-form) مع وزن يحاكي "اليعقوبي الشعاعي" (radial Jacobian) في البُعد $N$.

3. إزالة المحور: تتمثل الخطوة الحاسمة في إثبات أن "المحور الشعاعي" ($r=0$) هو محور قابل للإزالة في فضاء سوبوليف الموزون لأن البُعد الفعال $N > 2$. يسمح هذا بتوسيع الحل عن طريق الانعكاس الزوجي عبر المحور دون فرض شروط حدودية إضافية. وبذلك تُختزل المسألة في دراسة الانتظام الداخلي لحل زوجي لمعادلة إهليلجية موزونة.

4. التعزيز التدريجي للانتظام (Regularity Bootstrap):

   • الانتظام المماسي: باستخدام تقديرات "شاودر" (Schauder) الموزونة الحديثة للحلول الزوجية (Sire–Terracini–Vita)، يثبت المؤلف أن أثر الحل عند المحور سلس زمنياً ($C^\infty$). وهذا يعني أن منحنيات الحدود الحرة $\gamma_L(t)$ و $\gamma_R(t)$ سلسة.
   • الانتظام العمودي: لاستعادة الانتظام في المتغير المكاني، يستخدم المؤلف عملية "هبوط منتظم-متفرد" (regular-singular descent). من خلال تحليل المعادلة في المتغير اللاغرانجي الأصلي $y$، تُختزل المسألة إلى بنية معادلة تفاضلية عادية (ODE) منتظمة-متفردة. يضمن عدم قابلية التكامل للحل المتجانس المتفرد أن الحل يرث انتظام حد المصدر، مما يسمح باشتقاق المشتقات العمودية من الرتب العليا.

المساهمات والنتائج الرئيسية
تثبت الورقة نتائج الانتظام المثلى التالية (النظرية 1.1) تحت افتراضات عدم الانحلال القياسية على الضغط الأولي $p_0$ (تحديداً، تلاشي $p_0$ خطياً عند الحدود وكونه من فئة $C^{1,\sigma}$):

• سلاسة الحدود الحرة: منحنيات الحدود الحرة $\gamma_L(t)$ و $\gamma_R(t)$ هي من فئة $C^\infty$ في الزمن.
• انتظام الضغط: الضغط $p = m^\theta$ متصل بانتظام "ليبتشيتز" عالمياً ($W^{1,\infty}$) عبر الحدود الحرة. داخل الطور الموجب، إذا كان $p_0$ من فئة $C^{\ell,\sigma}$، فإن $p$ يكون من فئة $C^{\ell,\sigma}$ حتى الحدود الحرة.
• انتظام دالة القيمة: دالة القيمة $u$ هي من فئة $C^{1,1/2}$ عالمياً. داخل الطور الموجب، إذا كان $p_0$ من فئة $C^{\ell,\sigma}$، فإن $u$ يكون من فئة $C^{\ell+1,\sigma}$ حتى الحدود الحرة.
• الحدة: تؤكد هذه النتائج أن حد "ليبتشيتز" للضغط وحد $C^{1,1/2}$ لدالة القيمة هما حدان حادان ولا يمكن تحسينهما، مما يطابق سلوك حلول "بارينبلات" المتشابهة ذاتياً.

الأهمية
تحسم هذه الورقة الأسئلة المفتوحة المتعلقة بانتظام ألعاب المجال المتوسط من الدرجة الأولى ذات الدعم المتراص، والتي ظلت دون حل في المرجع [4]. وتوضح وجود تشابه بنيوي عميق بين هذه الألعاب ومعادلة الوسط المسامي (Porous Medium Equation - PME)، حيث يؤدي التلاشي الخطي للضغط وافتراضات عدم الانحلال إلى سلوك مشابه في انتظام الحدود الحرة. ومع ذلك، تشير الورقة إلى أن سياق ألعاب المجال المتوسط يستبدل التبديد البارابولي في معادلة الوسط المسامي ببنية "هاميلتون-جاكوبي/الاستمرارية".

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