Lipschitz regularity of solutions to two-phase $p$-Laplacian free boundary problems with right hand side

إليك ملخص تقني مفصل للورقة البحثية بعنوان "الانتظام ليبشيتز للحلول لمسائل الحدود الحرة لـ $p$-laplacian ثنائية الطور مع وجود حد أيمن" من تأليف فاوستو فيراري وكلاوديا ليدرمان.

1. بيان المسألة

تبحث الورقة في انتظام الحلول بالمعنى اللزج (viscosity solutions) لمسألة حد حر ثنائي الطور محكومة بـ مؤثر $p$-laplacian ($\Delta_p u = \text{div}(|\nabla u|^{p-2}\nabla u)$) مع وجود حد أيمن غير صفري ($f$).

تُعرف المسألة المحددة في نطاق محدود $\Omega \subset \mathbb{R}^n$ كالتالي:
$$\begin{cases} \Delta_p u = f, & \text{في } \Omega^+(u) \cup \Omega^-(u), \\ u^+_\nu = G(u^-_\nu, x), & \text{على } F(u) := \partial \Omega^+(u) \cap \Omega, \end{cases}$$
حيث أن:

• $\Omega^+(u) = \{x \in \Omega : u(x) > 0\}$ و $\Omega^-(u) = \{x \in \Omega : u(x) \leq 0\}^\circ$.
• $F(u)$ هو الحد الحر.
• $u^+_\nu$ و $u^-_\nu$ هما المشتقات العمودية الداخلية على الطور الموجب والطور السالب، على التوالي.
• $f \in L^\infty(\Omega)$ مستمرة في الأطوار.
• $G(t, x)$ دالة متزايدة بصرامة تحقق شروطًا تقاربية وانتظامية محددة (موضحة أدناه).

الهدف الرئيسي هو إثبات الاستمرارية الليبشيتزية المحلية (local Lipschitz continuity) للحل $u$، والتي تُعتبر الانتظام الأمثل لهذه الفئة من المسائل.

2. المنهجية

يستخدم المؤلفون استراتيجية مستوحاة من عمل دي سيلفا، فيراري، وسالسا (تحديداً النهج الوارد في [DS] للمؤثرات غير الخطية بالكامل ذات الانتظام المنتظم)، مع تكييفها لتناسب الطبيعة المنفردة/المتدهورة لـ $p$-laplacian. تتضمن المنهجية عدة خطوات رئيسية:

1. إطار الحل بالمعنى اللزج: يتم إجراء التحليل بالكامل ضمن إطار الحلول بالمعنى اللزج. يسمح هذا بنطاق تطبيق أوسع مقارنة بالحلول الكلاسيكية أو الضعيفة، خاصة عند التعامل مع السلوك المنفرد ($1 < p < 2$) أو المتدهور ($p > 2$) للمؤثر.
2. التحجيم والتماسك (Scaling and Compactness): يعتمد البرهان بشكل كبير على حجج الانفجار (blow-up arguments). من خلال إعادة تحجيم الحل $u$ والبيانات ($f$ و $G$)، يحلل المؤلفون سلوك الحل عند المقاييس الصغيرة.
3. التسطح يستلزم الانتظام: أحد الركائز الأساسية للبرهان هي مبدأ "التسطح يستلزم $C^{1,\gamma}$". إذا كان الحل قريباً بما يكفي من "حل ذي مستويين" (ملف خطي $U_\beta(x) = \alpha x^+ - \beta x^-$) في كرة ما، فإن الحد الحر يكون $C^{1,\gamma}$ والحل يكون $C^{1,\gamma}$ حتى الحدود.
4. تحسين النتائج السابقة: يعيد المؤلفون زيارة وتحسين نتائج عملهم السابق ([FL3]). حيث يوسعون نظريات الانتظام $C^{1,\gamma}$ للحدود الحرة المسطحة لتشمل فئات أكثر عمومية من الشروط الحدودية $G$ وحالات محددة (الحالة المتجانسة $f \equiv 0$، الحالة الخطية $p=2$، و $G(t)$ المستقلة عن المتغيرات الأخرى).
5. لمّة بديلة (اللمة 5.2): جوهر برهان ليبشيتز هو لمة بديلة. بالنسبة لحل في كرة ما، فإنه إما:
   • يكون الحل ليبشيتزي بمتدرج محكوم، أو
   • ينخفض معيار $L^\infty$ للحل بشكل كبير عند إعادة التحجيم (مما يعني أن المتدرج صغير).
     من خلال تكرار هذه اللمة، يثبت المؤلفون أن المتدرج لا يمكن أن ينفجر، مما يؤدي إلى إثبات حدود ليبشيتز العالمية.

3. الافتراضات الرئيسية

تتطلب النظرية الرئيسية أن تحقق الدالة $G(t, x)$ ما يلي:

• (P1) متزايدة بصرامة و $G(t, x) \to \infty$ عندما $t \to \infty$.
• (P2) خطية تقاربية: $\frac{\partial G}{\partial t} \to 1$ و $\frac{\partial^2 G}{\partial t^2} = O(1/t)$ عندما $t \to \infty$.
• (P3) استمرارية هولدر منتظمة في $x$.
• (P4) (تحديداً للحالة غير المتجانسة $f \not\equiv 0$ و $p \neq 2$): $G(t, x) \equiv G(t)$ بحيث تكون $t^{-1}G(t)$ متناقصة بصرامة لـ $t$ الكبيرة. هذا الشرط يعالج الصعوبات التقنية الناجمة عن وجود حد أيمن غير صفري مقترن بغير خطية $p$-laplacian.

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

النظرية 1.1: الانتظام الأمثل (الاستمرارية الليبشيتزية)

تنص النتيجة الأساسية على أنه إذا كان $u$ حلاً بالمعنى اللزج للمسألة (1.1) في $B_1$ ويحقق الافتراضات الخاصة بـ $f$ و $G$، فإن $u$ يكون مستمراً ليبشيتزياً محلياً. وتحديداً:
$$\|\nabla u\|_{L^\infty(B_{1/2})} \leq C(\|u\|_{L^\infty(B_{3/4})} + 1)$$
حيث تعتمد $C$ على البعد $n$، و $p$، و $\|f\|_\infty$، و $G$.

• الأهمية: هذا هو أول برهان على الاستمرارية الليبشيتزية لمسألة $p$-laplacian ثنائية الطور العامة مع وجود حد أيمن غير صفري. كما أنه جديد حتى في الحالة المتجانسة ($f \equiv 0$) لـ $p \neq 2$ عام، حيث ركزت الأدبيات السابقة غالباً على حالة $p=2$ (الخطية) أو المينيمات (minimizers) المتغيرة (variational).

النظرية 1.2: الاستمرارية الهولدرية المحلية

قبل إثبات الاستمرارية الليبشيتزية، يثبت المؤلفون الاستمرارية الهولدرية المحلية ($u \in C^{0,\alpha}$) لفئة أوسع من المسائل حيث تحقق $G$ شرط نمو خطي ($\sigma t \leq G(t, x) \leq \sigma^{-1} t$). هذه النتيجة ذات أهمية مستقلة وتعمل كخطوة تمهيدية لبرهان ليبشيتز.

النظريات 3.5، 3.7، و 3.9: نتائج التسطح المنقحة

يثبت المؤلفون أن "التسطح يستلزم $C^{1,\gamma}$" تحت افتراضات مخففة:

• النظرية 3.5: تنطبق عندما $f \equiv 0$ مع $G$ أكثر عمومية (تحقق الشرط H3').
• النظرية 3.7: تنطبق عندما $p=2$ (مؤثر لابلاس) مع $G$ عامة.
• النظرية 3.9: تنطبق عندما تكون $G$ مستقلة عن المتغيرات الأخرى ($G(t, x) \equiv G(t)$) مع $f \not\equiv 0$.
  هذه التحسينات هي أدوات تقنية حاسمة تسمح للنظرية الرئيسية بالتعامل مع البنية المحددة لـ $p$-laplacian مع وجود حدود مصادر غير صفرية.

5. الأهمية والمساهمات

• الانتظام الأمثل للمؤثرات غير الخطية: تحل الورقة مسألة الانتظام الأمثل للحلول في مسائل الحدود الحرة لـ $p$-laplacian ثنائية الطور التي تتضمن مصادر غير صفرية. قبل ذلك، لم تكن صيغ الرتابة (monotonicity formulas) (المستخدمة لـ $p=2$ في [CJK]) متاحة لـ $p \neq 2$، مما جعل البرهان أكثر صعوبة بشكل كبير.
• التعامل مع المؤثرات المنفردة/المتدهورة: نجح المؤلفون في تكييف تقنيات من نظرية الانتظام المنتظم لتناسب $p$-laplacian، الذي يكون منفرداً عندما $1 < p < 2$ ومتدهوراً عندما $p > 2$. إن وجود حد أيمن غير صفري ($f \not\equiv 0$) يجعل عامل $|\nabla u|^{p-2}$ في بنية المؤثر غير مهمل، وهي صعوبة تغلب عليها المؤلفون من خلال التحجيم الدقيق واستخدام الورقة المرافقة [FL3].
• عمومية الحل بالمعنى اللزج: من خلال العمل حصرياً مع الحلول بالمعنى اللزج، تنطبق النتائج على فئة أوسع من الحلول مقارنة بتلك التي يتم الحصول عليها عبر الطرق التباينية (variational methods)، مما يزيد من قابلية تطبيق النظرية.
• جديد حتى في الحالة المتجانسة: يشير المؤلفون إلى أن نتائجهم جديدة حتى عندما تكون $f \equiv 0$ لـ $p$ عام، حيث كانت الأدبيات الموجودة حول الاستمرارية الليبشيتزية عبر الحد الحر تقتصر إلى حد كبير على الحالة الخطية أو الإعدادات التباينية المحددة.

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