Hausdorff measure of the free boundary for the $p$-obstacle problem with subcritical exponents

إليك ملخص تقني مفصل للورقة البحثية بعنوان "القياس الهندسي (Hausdorff measure) للحد الحر لمسألة العائق من نوع p مع الأسس دون الحرجة" للباحثين جينج يو وجون تشنغ.

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

تتقصى الورقة فئة من مسائل العائق شبه الخطية (quasilinear obstacle problems) التي تتضمن مؤثر الـ $p$-Laplacian مع معاملات متغيرة وحد مصدر غير خطي محدد. تُصاغ المسألة في إيجاد دالة غير سالبة $u \in W^{1,p}_0(\Omega)$ تحقق:

$$\begin{cases} \text{div}\left(a(x)|\nabla u|^{p-2}\nabla u\right) = m_1\chi_{\{u>0\}} - m_2 u^{\lambda-1}\chi_{\{u>0\}} & \text{في } \Omega, \\ u \geq 0 & \text{في } \Omega, \\ u = 0 & \text{على } \partial\Omega, \end{cases}$$

المعلمات والشروط الرئيسية:

• النطاق: $\Omega \subset \mathbb{R}^N$ ($N \geq 2$) هو نطاق محدود وأملس.
• المؤثر: الـ $p$-Laplacian مع معامل متغير $a(x) \in C^2(\Omega)$، يحقق $0 < a_0 \leq a(x) \leq a_1$.
• الأسس: $2 \leq p < \lambda < p^*$، حيث $p^* = \frac{Np}{N-p}$ (إذا كان $p < N$) أو $+\infty$ (إذا كان $p=2, N=2$). وهذا يضع اللاخطية في النطاق دون الحرج (subcritical).
• الثوابت: $m_1, m_2 > 0$.
• الحد الحر (Free Boundary): المجموعة $\Upsilon_+ := \partial\{u > 0\} \cap \Omega$.

يكمن التحدي الرئيسي في اقتران الحد فوق الخطي $u^{\lambda-1}$ والدالة المميزة $\chi_{\{u>0\}}$، مما يؤدي إلى تدمير التماسك (coercivity) لدالة الطاقة المرتبطة، مما يجعل تقنيات التقليل (minimization) القياسية غير قابلة للتطبيق.

2. المنهجية

يستخدم المؤلفون نهجاً تحليلياً متعدد المراحل يجمع بين الطرق التباينية، ونظرية الانتظام (regularity theory)، والنظرية الهندسية للمقاييس:

1. الوجود عبر الجزاء وممر الجبل (Penalty and Mountain Pass):

   • بما أن دالة الطاقة $J(u)$ تفتقر إلى التماسك، فقد استحدث المؤلفون طريقة الجزاء (penalty method). قاموا بتقريب الدالة المميزة المتقطعة $\chi_{\{u>0\}}$ بدالة رتيبة ملساء $\chi_\varepsilon(u)$.
   • عرّفوا دالة جزاء $J_\varepsilon(u)$ وطبقوا مبرهنة ممر الجبل (Mountain Pass Lemma) لإثبات وجود نقطة حرجة $u_\varepsilon$.
   • تحققوا من شرط بالاي-سمال (Palais-Smale condition) لضمان وجود حل غير بديهي للمسألة المعاقبة.

2. الانتظام والحدود الموحدة:

   • تقديرات $L^\infty$: باستخدام تكرار من نوع دي جورجي-ناش (تحديداً اللمة 3 المتعلقة بالتسلسلات التكرارية)، أثبتوا أن الحلول محدودة بانتظام في $L^\infty(\Omega)$، وبشكل مستقل عن معامل الجزاء $\varepsilon$.
   • الاستمرارية هولدر (Hölder Continuity): من خلال مقارنة الحل $u$ بدالة $p$-harmonic $v$ واستخدام متباينات من نوع كاشيولي (Caccioppoli-type inequalities)، أثبتوا الاستمرارية المحلية من النوع $C^{0,\alpha}$ للدالة $u$.
   • انتظام التدرج: من خلال حجج تكرارية دقيقة تتضمن اللمات 4 و5 و6 (التي تتعلق بالتقريبات الـ $p$-harmonic وفضاءات كامبانو)، قاموا بترقية الانتظام إلى استمرارية محلية من النوع $C^{1,\alpha}$.

3. تحليل الحد الحر:

   • النمو الأمثل وعدم التدهور: أثبتوا أنه بالقرب من الحد الحر، تظهر الحلول نمواً أمثلاً من الرتبة $|x-y|^{\frac{p}{p-1}}$ وتستوفي شرط عدم التدهور (أي أن الحل لا يتلاشى بسرعة كبيرة جداً).
   • المسامية (Porosity): باستخدام النمو الأمثل وعدم التدهور، أثبتوا أن الحد الحر مسامي محلياً (locally porous).
   • تقديرات القياس: لتقدير قياس هاوسدورف، قاموا بتحليل مستويات تدرج الحلول المعاقبة. اشتقوا حداً أدنى كمياً للتدرج والمؤثر الثاني (اللمة 7) واستخدموا حجة نظرية القياس (اللمة 8) لتحديد حد أعلى لقياس ليبيج للمجموعات التي يكون فيها التدرج صغيراً.

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

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

1. توسيع نتائج الوجود والانتظام: لقد وسعوا نتائج الوجود والانتظام من حالة لابلاس القياسية ($p=2$) والمعاملات الثابتة إلى الـ $p$-Laplacian شبه الخطي ذي المعاملات المتغيرة واللاخطيات دون الحرجة العامة. وقد تغلب هذا على الصعوبات التقنية المتعلقة بعدم تجانس المؤثر وعدم وجود التماسك.
2. قياس هاوسدورف للحد الحر: أثبتوا أنه بالنسبة لحل واحد على الأقل، فإن الحد الحر $\Upsilon_+$ له قياس هاوسدورف محلي محدود ذو أبعاد $(N-1)$. وقد تحقق ذلك من خلال إثبات المسامية المحلية للحد الحر واستخدام تقديرات قياس ليبيج لمستويات تدرج الدوال، مما يعد توسيعاً للأعمال السابقة التي كانت مقتصرة على $p=2$ أو أنواع محددة من العوائق.

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

• اللمة 1: وجود حل ضعيف غير سالب واحد على الأقل لمسألة العائق (1).
• اللمة 2: حدود $L^\infty$ موحدة لجميع الحلول الضعيفة.
• المبرهنة 1: انتظام محلي من النوع $C^{1,\alpha}$ لجميع الحلول الضعيفة.
• المبرهنة 2: الحد الحر $\Upsilon_+$ مسامي محلياً مع ثابت مسامية يعتمد على معلمات المسألة.
• المبرهنة 3: الحد الحر يمتلك قياس هاوسدورف محلي محدود من الأبعاد $(N-1)$. وتحديداً، لأي مجموعة متراصة $K \subset \Omega$، فإن $\mathcal{H}^{N-1}(K \cap \Upsilon_+) < \infty$.

5. الأهمية

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

• التعميم: إنها تتجاوز حالة $p=2$ الكلاسيكية والمعاملات الثابتة، وتتناول التعقيدات التي تفرضها المعاملات المتغيرة وبنية الـ $p$-Laplacian.
• الرؤية الهندسية: من خلال إثبات قياس هاوسدورف المحدود من الأبعاد $(N-1)$، يؤكد المؤلفون أن الحد الحر "رقيق" من منظور نظري القياس، حيث يتصرف مثل سطح (hypersurface) محلياً. وهذا أمر بالغ الأهمية لفهم الواجهة الفيزيائية في النماذج الموصوفة بمثل هذه المعادلات (مثل ترشيح السوائل أو فيزياء البلازما).
• متانة المنهجية: إن الجمع بين مبرهنة ممر الجبل مع طرق الجزاء، وما تبع ذلك من استخدام تكرارات دي جورجي-ناش وحجج المسامية، يوفر إطاراً قوياً لتحليل مسائل الحدود الحرة المماثلة ذات النمو دون الحرج والتي تفتقر إلى التماسك.