Global regularity and free boundary geometry in the planar Choné-Rochet model

1. بيان المشكلة والسياق

تتقصى هذه الورقة البحثية انتظام وبنية الهندسة لـ $u$، وهو المقلل الفريد لـ مسألة شوني-روشي (Choné–Rochet) التباينية في البعدين ($\mathbb{R}^2$). تنشأ هذه المسألة في تصميم الآليات والتسعير غير الخطي، وتحديداً في نمذجة تعظيم الربح من قبل محتكر يعمل في ظل معلومات غير متماثلة.

تُعرف المسألة التباينية كالتالي:
$$\min_{u \in K(\Omega)} L[u; \Omega], \quad L[u; \Omega] := \int_{\Omega} \left( \frac{1}{2}|Du - x|^2 + u \right) dx$$
حيث $\Omega \subset \mathbb{R}^2$ هو مجال محدب محدود، و $K(\Omega)$ هي مجموعة الدوال المحدبة غير السالبة على $\Omega$.

السمات الرياضية الرئيسية:

• تؤدي معادلة أويلر-لاغرانج إلى مسألة حدود حرة (free boundary problem) حيث ينقسم المجال إلى ثلاثة مناطق:
  • $\Omega_0$: مجموعة التلامس حيث $u=0$.
  • $\Omega_1$: المنطقة التي يكون فيها $u>0$ ولكن $u$ ليس محدباً بشكل صارم (المنطقة "المسطحة" حيث يكون الهيسيان/المصفوفة المرافقة متدهورة).
  • $\Omega_2$: المنطقة التي يكون فيها $u$ محدباً بشكل صارم ($\Delta u = 3$).
• الواجهة بين $\Omega_1$ و $\Omega_2$ هي الحد الحر (free boundary).
• أثبتت الأعمال السابقة وجود انتظام داخلي من فئة $C^{1,1}$ وانتظام من فئة $C^1$ وصولاً إلى الحدود لمجالات محددة، ولكن ظل الانتظام العالمي من فئة $C^1$ لأي مجال محدب، والهندسة الدقيقة للحد الحر، أسئلة مفتوحة.

2. المنهجية

يستخدم المؤلفون مزيجاً من الطرق التباينية، والتحليل الهندسي، وتقنيات التكبير (blow-up techniques):

• الاضطراب التبايني (Variational Perturbation): يستخدم المؤلفون الاضطرابات الأفينية للمقلل (على غرار تقنيات كافاريلي-ليونز) لاستخلاص تقديرات الطاقة. يقومون ببناء منافسين عن طريق "إمالة" الدوال الأفينية الداعمة لتحليل السلوك بالقرب من الحدود وداخل مجموعة التلامس.
• التفكيك الهندسي (Geometric Decomposition): يحللون بنية "الأوراق" (التي تمثل مجموعات التلامس $[x]$ حيث تتفق $u$ مع مستواها الداعم). يميز الإثبات بين "الأوراق ذات النهاية الواحدة" (نهاية واحدة على $\partial\Omega$) و"الأوراق ذات النهايتين" (كلتا النهايتين على $\partial\Omega$).
• تحليل التكبير (Blow-up Analysis): لدراسة الحد الحر، يقوم المؤلفون بعمل حدود التكبير عند النقاط الموجودة على الواجهة. يستخدمون بديل كافاريلي (Caffarelli's alternative) لمسائل العائق لتصنيف النقاط بناءً على كثافتها (0 أو 1/2).
• حجج الصلابة (Rigidity Arguments): مكون حاسم هو إثبات نظرية الصلابة (Theorem 1.5) التي تستبعد وجود "تفردات من نوع الرأس المدبب" (cusp-type singularities) في حدود التكبير، مما يجبر الحل على أن يكون شكلاً تربيعياً محدداً في قطاعات معينة.
• بناء المثال المضاد (Counterexample Construction): لإثبات مثالية نتائج الانتظام الخاصة بهم، يقومون ببناء عائلة محددة من المجالات المحدبة الملساء ذات مقاطع حدودية مسطحة حيث يفشل التدرج في تحقيق أي معامل استمرارية محدد.

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

أ. تقديرات الانتظام العالمي

تحل الورقة مسألة انتظام المقلل $u$ على كامل المجال $\Omega$:

1. الانتظام العالمي من فئة $C^1$ (Theorem 1.1):

   • النتيجة: لأي مجال محدب محدود $\Omega \subset \mathbb{R}^2$، يكون المقلل $u$ من الفئة $C^1(\Omega)$ عالمياً.
   • الأهمية: هذا يسد ثغرة في الأدبيات السابقة (تحديداً بتصحيح حجة غير مكتملة في عمل كارلييه-لاشاند-روبرت [6]) عبر إثبات أن التدرج يمتد باستمرار إلى الحدود، حتى بالنسبة للمجالات غير المحدبة بشكل صارم.

2. الانتظام العالمي من فئة $C^{1,1}$ (Theorem 1.2):

   • النتيجة: إذا كان $\Omega$ محدباً بشكل صارم، أو بشكل عام إذا كانت مجموعة الأصفار $\{u=0\}$ ذات قياس موجب، فإن $u \in C^{1,1}(\Omega)$.
   • الأهمية: هذا يضع حداً موحداً للهيسيان $D^2u$ عالمياً، بشرط أن تمنع الهندسة تشكل مقاطع حدودية "مسطحة" تلمس مجموعة الصفر بطريقة متدهورة.

3. مثالية الانتظام من فئة $C^1$ (Theorem 1.3):

   • النتيجة: يبني المؤلفون مجالاً محدباً محدوداً وأملس مع مقطع حدودي مسطح حيث يفشل التدرج $Du$ في تحقيق أي معامل استمرارية $\omega$ محدد.
   • الأهمية: يثبت هذا أنه بدون افتراضات هندسية إضافية (مثل التحدب الصارم)، فإن الانتظام العالمي من فئة $C^1$ هو أفضل نتيجة ممكنة؛ إذ لا يمكن ضمان الانتظام العالمي من فئة $C^{1,\alpha}$ أو $C^{1,1}$.

ب. هندسة الحد الحر

تطور الورقة بشكل كبير فهم "الحد الحر المروض" $T$، المعرف بأنه الواجهة بين المنطقة شديدة التحدب $\Omega_2$ والمنطقة غير شديدة التحدب $\Omega_1$ حيث تمتلك الأوراق نهاية واحدة بالضبط على الحدود.

1. انتظام الفئة $C^1$ للحد الحر (Theorem 1.4):

   • النتيجة: إذا كان $\Omega$ من الفئة $C^{1,1}$ و $u \in C^{1,1}(\Omega)$، فإن الحد الحر المروض $T$ هو منحنى مدمج من الفئة $C^1$ محلياً.
   • الأهمية: أثبتت النتائج السابقة (مثل أعمال مكنان، رانكين، وتشانغ [17]) فقط أن الحد الحر له بُعد هاوسدورف أقل تماماً من 2. تثبت هذه الورقة أن الحد هو في الواقع منحنى سلس بدون نقاط مفردة (رؤوس مدببة أو زوايا) في المنطقة المروضة.

2. نظرية الصلابة (Theorem 1.5):

   • النتيجة: نتيجة صلابة محلية توضح أنه إذا كانت الدالة المحدبة $u$ تحقق $\Delta u = 1$ في قطاع $D$ وكانت $u=0$ على مقطع من الحدود، فإن $u$ يجب أن تكون دالة تربيعية محددة ($x_2^2/2$) في ذلك القطاع.
   • الأهمية: تُستخدم هذه النظرية لاستبعاد نقاط الكثافة الصفرية (الرؤوس المدببة) في تحليل التكبير، مما يضمن انتظام الحد الحر في كل مكان.

4. الأهمية والأثر

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

باختصار، تقدم هذه الورقة تحليلاً شاملاً ودقيقاً لنموذج شوني-روشي المستوي، حيث تثبت الانتظام العالمي من فئة $C^1$ لجميع المجالات المحدبة، والانتظام العالمي من فئة $C^{1,1}$ للمجالات المحدبة بشكل صارم، وتثبت أن الحد الحر المرتبط بها هو منحنى سلس من الفئة $C^1$.