First Dirichlet eigenvalue of the weighted 1-Laplacian operator

ملخص تقني: القيمة الذاتية الأولى لـ "ديريكليه" لمؤثر 1-لابلاسيان الموزون

بيان المشكلة
تبحث هذه الورقة في الخصائص الطيفية لمؤثر 1-لابلاسيان (1-Laplacian) الموزون تحت شروط ديريكليه الحدية. وتحديداً، يحلل المؤلفون مسألة القيمة الذاتية التالية:
$$\begin{cases} -\text{div}\left( a(x) \frac{Du}{|Du|} \right) = \Lambda b(x) \frac{u}{|u|} & \text{في } \Omega, \\ u = 0 & \text{على } \partial\Omega, \end{cases}$$
حيث $\Omega \subset \mathbb{R}^N$ ($N \ge 2$) هي نطاق محدود بحدود ليبشيتز (Lipschitz boundary)، و $a(x)$ و $b(x)$ هما دالتا وزن غير سالبتين. الهدف الرئيسي هو إثبات أن القيمة الذاتية الأولى $\Lambda$ لهذه المسألة تتطابق مع ثابت تشيجر الموزون (weighted Cheeger constant) للنطاق. علاوة على ذلك، تتناول الورقة السلوك التقاربي للقيمة الذاتية $\lambda_p$ لمسألة $p$-لابلاسيان الموزونة المقابلة عندما $p \to 1$، بهدف إثبات تقارب كل من القيم الذاتية والدوال الذاتية إلى مسألة النهاية.

المنهجية
يستخدم المؤلفون إجراءً حدياً، من خلال تحليل متتالية مسائل القيم الذاتية لـ $p$-لابلاسيان الموزونة مع اقتراب $p \to 1^+$. تعتمد المنهجية على الإطار التقني التالي:

1. الفضاءات الدالية الموزونة: تُجرى الدراسة ضمن فضاءات سوبوليف الموزونة $W^{1,p}_0(\Omega, a)$ وفضاءات الدوال ذات التباين المحدود الموزونة $BV(\Omega, a)$. تحقق الأوزان $a(x)$ و $b(x)$ شروط تكامل محددة: $a \in W^{1,1}(\Omega)$ مع $a(x) \ge \mu > 0$، و $b \in L^r(\Omega)$ مع $r > N$.
2. نظرية الاقتران لـ "أنسيلوتي" (Anzellotti's Pairing Theory): للتعامل مع الطبيعة المنفردة لـ 1-لابلاسيان (حيث يكون التدرج عبارة عن مقياس رادون)، يوسع المؤلفون نظرية "أنسيلوتي" للاقتران بين الحقول المتجهة وتدرجات دوال $BV$. ويقومون بإثبات صيغة "غرين" موزونة تتضمن الاقتران $(z, Du)$ والأثر للمكون العمودي $[z, \nu]$، مما يسمح بمعالجة الأوزان غير المحدودة والحدود دون اللجوء إلى التوزيعات المجردة لكل حد.
3. الرصانة والتقارب: يتم اشتقاق وجود النهاية من خلال إثبات حدود موحدة لمتتالية الدوال الذاتية لـ $p$. وباستخدام الانغماس المتراص (compact embedding) لـ $BV(\Omega, a)$ في $L^q(\Omega)$، يثبت المؤلفون أن متتالية الدوال الذاتية تتقارب بقوة إلى دالة حدية $u$.
4. التوصيف التبايني: يستخدم المؤلفون صيغة المساحة المشتركة (co-area formula) وخصائص المحيط الموزون لربط الصيغة التباينية لـ 1-لابلاسيان بثابت تشيجر الموزون.

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

• تحديد القيمة الذاتية الأولى: تثبت الورقة أن القيمة الذاتية الأولى لـ 1-لابلاسيان الموزون هي بالضبط ثابت تشيجر الموزون، والمعرف كالتالي:
  $$h_p(\Omega, a, b) = \inf_{E} \frac{P_a(E, \mathbb{R}^N)}{\int_E b(x) dx},$$
  حيث يتم أخذ الحد الأدنى (infimum) عبر المجموعات القابلة للقياس $E \subset \Omega$ ذات المحيط الموزون المحدود، وتمثل $P_a$ المحيط الموزون.
• تقارب القيم الذاتية:
  • بالنسبة للأوزان المستمرة بـ ليبشيتز $a(x)$، يثبت المؤلفون أن النهاية $\lim_{p \to 1} \lambda_p(\Omega, a, b)$ موجودة وتساوي ثابت تشيجر الموزون. في هذه الحالة، يتطابق "ثابت تشيجر الموزون الناعم" (المعرف عبر النطاقات الناعمة) مع ثابت تشيجر الموزون العام.
  • بالنسبة للأوزان العامة (حيث $a \in W^{1,1}(\Omega)$)، تثبت الورقة أن القيمة الذاتية الصغرى لمسألة النهاية هي ثابت تشيجر الموزون، حتى لو لم يتم إثبات وجود نهاية $\lambda_p$ صراحة لجميع المتتاليات.
• محدودية الدوال الذاتية: من النتائج الهامة إثبات أن الدالة الذاتية المرتبطة بالقيمة الذاتية الأولى لـ 1-لابلاسيان هي محدودة ($u \in L^\infty(\Omega)$). وقد تحقق ذلك من خلال حجة تكرار من نوع "موزر" (Moser-type iteration) مكيفة مع السياق الموزون، باستخدام الشرط $b \in L^r(\Omega)$ مع $r > N$.
• تقارب الدوال الذاتية: تتقارب متتالية الدوال الذاتية لـ $p$ المعيرة (بناءً على متتالية جزئية) إلى الدالة الذاتية المعيرة لمسألة النهاية. وتحقق الدالة الحدية تعريف الزوج الذاتي الذي يتضمن حقلاً متجهياً $z \in L^\infty(\Omega, \mathbb{R}^N)$ مع $\|z\|_\infty \le 1$ ودالة $\gamma \in \text{sign}(u)$.

الأهمية والادعاءات
تزعم الورقة توفير أساس صارم للنظرية الطيفية لـ 1-لابلاسيان الموزون، وهي مسألة لم يتم تناولها بشكل كامل في الأدبيات قبل هذا العمل. ومن خلال تحديد القيمة الذاتية الأولى بثابت تشيجر الموزون، يربط المؤلفون بين النظرية الطيفية والتحسين الهندسي (المتباينات الأيزوبريمترية/القياسية) في سياق المؤثرات الموزونة.

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

تخلص الوربة إلى أنه بالنسبة للأوزان ذات استمرارية ليبشيتز، فإن السلوك التقاربي لطيف $p$-لابلاسيان يكون منتظماً، حيث يتقارب إلى ثابت تشيجر المحدد هندسياً، مما يؤكد صحة استخدام حد $p \to 1$ كطريقة قوية لدراسة طيف 1-لابلاسيان.