An eigenvalue problem for a nonlocal quasilinear anisotropic equation in fractional Orlicz Sobolev spaces without the $\Delta_2$--condition

إليك ملخص تقني مفصل للورقة البحثية بعنوان "مسألة القيمة الذاتية لمعادلة غير موضعية شبه خطية متباينة في فضاءات أورليخ-سوبوليف الكسرية بدون شرط $\Delta_2$" من تأليف جوليان فرنانديز بوندر، مارتين س. غوزمان، وخوان ف. سبيداليتي.

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

تتقصى الورقة البحثية وجود وسلوك تقاربي للقيم الذاتية لفئة من المؤثرات غير الموضعية، شبه الخطية، والمتباينة المعرفة في سياق فضاءات أورليخ-سوبوليف الكسرية.

المؤثر الرئيسي المدروس هو $L_a^s$، المعرف للدالة $u$ كـ:
$$L_a^s u(x) = 2 \text{p.v.} \int_{\mathbb{R}^n} a\left(x, y, \frac{u(x) - u(y)}{|x-y|^s}\right) \frac{dy}{|x-y|^{n+s}}$$
حيث $s \in (0, 1)$ هو الرتبة الكسرية، و $a(x, y, \xi)$ هي دالة نواة تحقق شروطاً بنيوية محددة (التقابل، التماثل، الرتابة، والنمو).

مسألة القيمة الذاتية المرتبطة هي:
$$\begin{cases} L_a^s u = \lambda g(u) & \text{في } \Omega \\ u = 0 & \text{في } \mathbb{R}^n \setminus \Omega \end{cases}$$
حيث $\Omega \subset \mathbb{R}^n$ مجموعة مفتوحة محدودة، $\lambda$ هي القيمة الذاتية، و $g$ هو حد مصدر غير خطي.

التحدي الجوهري:
تتم الدراسة في سياق فضاءات أورليخ-سوبوليف الكسرية ($W^{s, M}_0(\Omega)$) الناتجة عن دالة يونغ $M$. والأهم من ذلك، أن المؤلفين لا يفترضون شرط $\Delta_2$ على دالة يونغ $M$ (أو مرافقها $\bar{M}$).

• التبعات: بدون شرط $\Delta_2$، يكون فضاء أورليخ $L_M$ بشكل عام غير منعكس (non-reflexive) وغير قابل للفصل (non-separable). وبناءً عليه، تفشل الطرق المتغيرة القياسية (مثل نظرية لوشتيرنيك-شنايرل مان الكلاسيكية) أو تدرج الدوال الطاقية المرتبطة بها، نظراً لأن بنية الفضاء المزدوج أكثر تعقيداً.

2. المنهجية

للتغلب على نقص الانعكاس والقابلية للفصل، يستخدم المؤلفون مزيجاً متطوراً من التحليل الدالي والتقنيات المتغيرة:

1. الأنظمة المتكاملة (Complementary Systems):
   يستخدم المؤلفون نظرية الأنظمة المتكاملة (التي قدمها غوسيز وطورها آخرون). يقومون ببناء نظام $(W^{s, M}_0, W^{s, E}_0; W^{-s, \bar{M}}, W^{-s, \bar{E}})$ حيث $E_M$ هو غلق الدوال المحدودة في $L_M$. يتيح لهم ذلك العمل مع الفضاء الجزئي القابل للفصل $W^{s, E}_0$ مع الاحتفاظ ببنية الازدواج الضرورية للتحليل في الفضاء الأكبر غير المنعكس.

2. شبه رتابة المؤثر (Pseudomonotonicity):
   الإنجاز التقني المركزي هو إثبات أن المؤثر $L_a^s$ هو شبه رتيب (pseudomonotone) بالنسبة للطبولوجيا الضعيفة $\sigma(W^{s, M}_0, W^{-s, \bar{E}})$.

• هذه الخاصية ضرورية للمرور إلى النهاية في الحدود غير الخطية عندما لا يكون الفضاء منعكساً.
• يعتمد الإثبات على رتابة النواة $a$، وشروط النمو، و"خاصية القطعة" (segment property) المحددة للنطاق $\Omega$.

3. تقريب غاليركين (Galerkin Approximation):
   بما أن الفضاء الكامل ليس قابلاً للفصل، لا يمكن للمؤلفين تطبيق نظرية النقاط الحرجة القياسية مباشرة. بدلاً من ذلك، يستخدمون تقريب من نوع غاليركين:

• يقومون بتقييد المسألة على تسلسل من الفضاءات الجزئية ذات الأبعاد المحدودة $V_k$ التي تمتد عبر مجموعة جزئية كثيفة قابلة للعد في $W^{s, E}_0$.
• في هذه الفضاءات ذات الأبعاد المحدودة، تنطبق نظرية لوشتيرنيك-شنايرل مان القياسية، مما ينتج تسلسلاً من الأزواج (القيمة الذاتية، الدالة الذاتية) $(\lambda_{k}^i, u_{k}^i)$.

4. مرور النهاية (Limit Passage):
   باستخدام شبه رتابة $L_a^s$ وخصائص التراص للاندماج $W^{s, M}_0(\Omega) \hookrightarrow E_M(\Omega)$، يثبت المؤلفون أن تسلسل الأزواج التقريبية يتقارب (ضمن تسلسل جزئي) إلى زوج حقيقي في الفضاء غير منتهي الأبعاد.

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

• تعميم المؤثرات غير الموضعية: تعمم الورقة النتائج السابقة المتعلقة بـ $p$-laplacian الكسري و $m$-laplacian الكسري إلى إطار متباين بالكامل ونمو غير قياسي محدد بواسطة دالة $a(x, y, \xi)$ عامة.
• إزالة شرط $\Delta_2$: هذه هي المساهمة النظرية الأكثر أهمية. نجح المؤلفون في إثبات وجود تسلسل لانهائي من القيم الذاتية دون اشتراط أن تحقق دالة يونغ $M$ شرط $\Delta_2$. وهذا يوسع نطاق تطبيق نظرية القيم الذاتية ليشمل الفضاءات ذات النمو البطيء جداً أو السريع جداً (مثل النمو الأسي) حيث يفشل الانعكاس القياسي.
• شبه الرتابة في الفضاءات غير المنعكسة: يوفر إثبات شبه رتابة $L_a^s$ في الطبولوجيا المحددة $\sigma(W^{s, M}_0, W^{-s, \bar{E}})$ إطاراً قوياً لحل المسائل غير الموضعية في فضاءات أورليخ غير المنعكسة.
• السلوك التقاربي: توضح الورقة بدقة سلوك القيم الذاتية والدوال الذاتية مع اقتراب المؤشر $k \to \infty$.

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

مبرهنة 4.10 (النتيجة الرئيسية):
ليكن $\Omega$ نطاقاً مفتوحاً محدوداً يحقق خاصية القطعة. يوجد تسلسل من الأزواج $\{(\lambda_i, u_i)\}_{i=1}^\infty$ للمسألة (1.4) بحيث:

1. الوجود: كل $(\lambda_i, u_i)$ هو حل بمعنى التوزيعات، حيث $u_i \in \text{Dom}(L_a^s) \subset W^{s, M}_0(\Omega)$.
2. تقارب القيم الذاتية: القيم الذاتية تؤول إلى اللانهاية:
   $$\lambda_i \to +\infty \quad \text{عندما } i \to \infty$$
3. تقارب الدوال الذاتية: الدوال الذاتية تتقارب إلى الصفر في الطبولوجيا الضعيفة:
   $$u_i \to 0 \quad \text{في } \sigma(W^{s, M}_0(\Omega), W^{-s, \bar{E}}(\Omega)) \quad \text{عندما } i \to \infty$$

5. الأهمية والتأثير

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

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