Lipschitz regularity for fully nonlinear elliptic equations with $(p,q)$-growth

ملخص تقني: الانتظام ليبشيتز (Lipschitz Regularity) للمعادلات الإهليلجية غير الخطية بالكامل ذات نمو (p, q)

بيان المشكلة
تبحث هذه الورقة في انتظام ليبشيتز الداخلي والعالمي للحلول الرؤيوية (viscosity solutions) للمعادلات الإهليلجية غير الخطية بالكامل من الشكل:
$$F(D^2u, Du, x) = f(x, Du) \quad \text{في } \Omega,$$
حيث يحقق المؤثر $F$ شرط إهليلجية غير منتظمة مع نمو $(p, q)$. وتسمح نسبة الإهليلجية بالنمو بشكل متعدد الحدود مع مقدار التدرج $|Du|$، حيث تسلك سلوك $1 + |Du|^{q-p}$. يركز المؤلفون على النظام الذي يكون فيه الفارق $q-p$ صغيراً، بهدف إثبات أن الحلول متصلة ليبشيتز ($u \in \text{Lip}$) تحت قيود محددة على هذا الفارق بالنسبة لانتظام هولدر (Hölder continuity) للمعاملات والانتظام القبلي للحل.

تتناول الدراسة التحدي المتمثل في أنه عندما تكون $|Du|$ كبيرة، تصبح المعادلة غير إهليلجية بشكل غير منتظم، مما قد يؤدي إلى سلوك غير منتظم. إن إثبات انتظام ليبشيتز يعمل فعلياً على حصر التدرج، مما يعيد المعادلة إلى نظام إهليلجي منتظم. يتناول العمل نموذجين هيكليين رئيسيين:

1. مشكلات الطور المزدوج (Double Phase Problems): نظائر غير خطية بالكامل لتابع الطور المزدوج التبايني $\int (|Du|^p + a(x)|Du|^q)dx$.
2. مشكلات نمو (p, q) متباين الخواص (Anisotropic): معادلات تتضمن معدلات نمو مختلفة في اتجاهات إحداثية مختلفة.

المنهجية
الأداة التحليلية الجوهرية المستخدمة هي طريقة إيشي-ليونز (Ishii-Lions method)، وهي تقنية مضاعفة المتغيرات تُستخدم لاستخلاص حدود التدرج للحلول الرؤيوية. تتضمن استراتيجية الإثبات الخطوات الرئيسية التالية:

1. الاختزال إلى نمو $(0, \gamma)$: يقوم المؤلفون أولاً بتحويل مشكلة نمو $(p, q)$ الأصلية إلى مشكلة نمو $(0, \gamma)$ (حيث $\gamma = q-p$) عن طريق قسمة المعادلة على $|Du|^p$. يبسط هذا الإجراء الافتراضات الهيكلية مع الحفاظ على عدم الانتظام الجوهري المعتمد على التدرج.
2. حجج القياس (Scaling Arguments): للتعامل مع معايير (norms) الحل، تُطبق تقنيات القياس لتوحيد الحل (على سبيل المثال، بافتراض $\|u\|_{L^\infty} \leq 1$ أو $\|u\|_{C^\beta} \leq 1$) مع ضبط الثوابت الهيكلية $\Lambda$ و $C_f$.
3. التقديرات الداخلية: بالنسبة للانتظام الداخلي، يبني المؤلفون حجة مبدأ القيمة العظمى باستخدام دالة اختبار من الشكل:
   $$\Phi(x, y) = u(x) - u(y) - L_1 \phi(|x-y|) - \frac{L_2}{2}|x-x_0|^2 - \frac{L_2}{2}|y-x_0|^2.$$
   تعد حدود التوطين (localization terms) التي تتضمن $L_2$ حاسمة في الحالة الداخلية للتحكم في فرق التدرجات عند نقطتين. يسير الإثبات عن طريق التناقض، بافتراض أن القيمة العظمى موجبة واستخلاص تناقض لقيم كبيرة لـ $L_1$ و $L_2$ من خلال تحليل عدم المساواة الرؤيوية عند نقاط القيمة العظمى باستخدام مؤثرات بوشي (Pucci operators) والافتراضات (A1)-(A4).
4. التقديرات العالمية والحدودية: بالنسبة للانتظام العالمي، يجمع المؤلفون بين طريقة إيشي-ليونز وبناء الحاجز (barrier construction) (اتباعاً لبيرينديل وديمينجيل). يقومون ببناء دوال حاجز صريحة بالقرب من الحدود للتحكم في سلوك الحل بالنسبة للبيانات الحدية $g \in C^{1,1}$.
   • تمييز حاسم في الحجة العالمية هو غياب حدود التوطين ($L_2$ terms) المستخدمة في الإثبات الداخلي. وبناءً على ذلك، فإن حد "فرق التدرج" (الافتراض A2) لا يظهر في التقديرات العالمية، مما يسمح بتخفيف الافتراضات الهيكلية في المبرهنة العالمية.

النتائج الرئيسية
تثبت الورقة المبرهنات الرئيسية التالية المتعلقة بالفارق المسموح به $q-p$ المطلوب لانتظام ليبشيتز:

• الانتظام الداخلي (المبرهنة 1.1):

  • إذا كان $u \in L^\infty$ (أو مجرد مستمر)، فإن اتصال ليبشيتز يتحقق إذا كان $q - p < \alpha$، حيث $\alpha$ هو أس هولدر للمعامل $x \mapsto F(\cdot, \cdot, x)$.
  • إذا كان $u \in C^\beta$ قبلياً، فإن الفارق المسموح به يتحسن إلى:
    $$q - p < \min \left\{ 1 + \frac{\beta}{2(1-\beta)}, \frac{\alpha}{1-\beta} \right\}.$$
  • يشير المؤلفون إلى أن الحد الداخلي لحلول $C^\beta$ أكثر تقييداً قليلاً من الحد الأمثل في المسائل التباينية بسبب حدود التوطين المطلوبة في حجة إيشي-ليونز.

• الانتظام العالمي (المبرهنة 1.2):

  • بالنسبة لنطاق $\Omega$ من نوع $C^{1,1}$ محدود مع بيانات حدية $g \in C^{1,1}$، فإن الشرط $q - p < \alpha$ يكفي لانتظام ليبشيتز إذا كان $u \in L^\infty$.
  • إذا كان $u \in C^\beta$ قبلياً، فإن انتظام ليبشيتز العالمي يتحقق تحت الحد المحسن:
    $$q - p < \frac{\alpha}{1-\beta}.$$
  • يتوافق هذا الحد العالمي مع شروط الفارق الحادة المعروفة لمسائل الطور المزدوج التباينية (تحديداً في [6, 12]).

الأهمية والادعاءات
يضع المؤلفون عملهم كإمتداد لنظرية الانتظام من السياقات التباينية (صيغة التباعد/divergence form) إلى المعادلات غير الخطية بالكامل (صيغة عدم التباعد/non-divergence form) ذات نمو $(p, q)$.

• المقارنة مع النظرية التباينية: تستعيد نتائجهم شروط الفارق الحادة المعروفة لمسألة الطور المزدوج في السياق التبايني (على سبيل المثال، $q-p < \alpha/(1-\beta)$ لحلول $C^\beta$).
• التمييز عن نماذج النوع الضرب (Product-Type Models): توضح الورقة أن نموذجهم (1.3) يختلف جوهرياً عن نماذج النوع الضرب (1.11) التي درسها دي فيليبس. في نماذج النوع الضرب، يمكن تحقيق انتظام $C^{1,\alpha}$ بشكل مستقل عن الفارق $q-p$ بسبب البنية الضربية المحددة التي تسمح بإزالة حدود التدرج. في المقابل، نموذج المؤلفين لا يمتلك هذه البنية (عندما $F \neq G$)، مما يجعل شروط الفارق بين $p$ و $q$ ضرورية للانتظام.
• الجدة في سياق عدم التباعد: يذكر المؤلفون أنه بينما تُعرف الأمثلة المضادة غير المنتظمة جيداً لمعادلات صيغة التباعد خارج الفوارق المثلى، لا تتوفر حالياً أمثلة مضادة مماثلة للمعادلات غير الخطية بالكامل من نوع عدم التباعد مع نمو $(p, q)$. وبالتالي، توفر نتائجهم أول نظرية منتظمة ليبشيتز منهجية لهذا النوع من معادلات عدم التباعد، واضعة شروط الفارق الضرورية المماثلة للحالة التباينية.
• الافتراضات الهيكلية: توضح الورقة أن الافتراض (A2) (استمرارية ليبشيتز لـ $F$ بالنسبة للتدرج) ضروري فقط للتقديرات الداخلية بسبب تقنية التوطين، ولكنه ليس مطلوباً للتقديرات العالمية، مما يظهر فهماً دقيقاً لآليات الانتظام في معادلات عدم التباعد.