Regularizing effects for an elliptic system of singular equations

ملخص تقني: الآثار التنظيمية لنظام إهليلجي من المعادلات المنفردة

بيان المسألة
تبحث الورقة في نظام من معادلتين إهليلجيتين شبه خطيتين، مرتبطتين ومنفردتين، معرفتين على نطاق محدود $\Omega \subset \mathbb{R}^d$ ($d \geq 3$). النظام هو:
$$\begin{cases} -\text{div}(A(x)Du) + v^{1-\theta}u^{r-1} = \frac{f(x)}{u^\gamma} & \text{in } \Omega \\ -\text{div}(A(x)Dv) = \frac{u^r}{v^\theta} & \text{in } \Omega \\ u, v > 0 \text{ in } \Omega, \quad u=v=0 \text{ on } \partial\Omega \end{cases}$$
حيث $A(x)$ مصفوفة متناظرة وإهليلجية منتظمة. تحقق المعلمات أن $r \geq 2$، و$\gamma \in (0, 1)$، و$\theta \in [0, 1)$. الدالة $f$ هي دالة غير سالبة في $F_m(\Omega)$.

يُطلق على هذا النظام وصف "مزدوج الانفراد" لأن كلتا المعادلتين تحتويان على حدود منفردة: المعادلة الأولى تتميز بحد منفرد في حد التفاعل ($u^{-\gamma}$)، والمعادلة الثانية تتميز بحد منفرد في حد المصدر ($v^{-\theta}$). تم نمذجة هذا الهيكل بناءً على نظام "شرودنجر-ماكسويل" (Schrödinger-Maxwell)، ولكنه يُدخل انفرادات في كلا المكونين. الهدف الأساسي هو إثبات وجود حلول موجبة ذات طاقة محدودة وتحديد كيف يؤدي تكامل المعطى (تحديداً الأس $m$) إلى "آثار تنظيمية"، مما يعطي حلولاً ذات تكامل أعلى مما تضمنه عادةً نظرية المعادلات الإهليلجية المنفردة الفردية.

المنهجية
يستخدم المؤلف مخطط تقريب مدمجاً مع تقديرات مسبقة (a priori estimates)، متجنباً الطرق التباينية لصالح حجج النقطة الثابتة وتقديرات الطاقة المباشرة.

1. مخطط التقريب: يتم تنظيم الحدود المنفردة عن طريق تقريب المعطى $f$ (بوضع $f_n = \min\{f, n\}$) والمقامات المنفردة (استبدال $u^\gamma$ بـ $(u + 1/n)^\gamma$ و $v^\theta$ بـ $(v + 1/n)^\theta$). ينتج عن ذلك سلسلة من الأنظمة غير المنفردة (10).
2. وجود الحلول التقريبية: لكل $n$، يتم إثبات وجود حل ضعيف وحيد ومحدود وموجب $(u_n, v_n)$. ويتحقق ذلك من خلال تعريف دالة على $H^1_0(\Omega$ وتطبيق نظرية "شودر" للنقطة الثابتة (Schauder's fixed point theorem). يعتمد الإثبات على القابلية للحل المنفصل للمعادلات مع معاملات مجمدة وعلى تماسك (compactness) الدالة الناتجة.
3. التقديرات المسبقة (A Priori Estimates): جوهر التحليل يتضمن اشتقاق تقديرات موحدة للسلسلة $(u_n, v_n)$ بناءً على فئة التكامل $m$ لـ $f$.
   • تقديرات الطاقة: من خلال اختبار المعادلات باستخدام $u_n$ و $v_n$، يثبت المؤلف المحدودية في $H^1_0(\Omega)$.
   • تقديرات التكامل: باستخدام دوال اختبار من الشكل $u_n^\delta$ و $v_n^\delta$، يشتق المؤلف حدوداً في فضاءات $L^p(\Omega)$. تعتمد هذه الحدود بشكل حاسم على العلاقة بين $m$ و $\gamma$ و $\theta$ و $r$.
4. المرور إلى النهاية (Passage to the Limit): باستخدام التماسك الناتج عن التقديرات المسبقة ونظرية 3.4 (تقارب التدرجات لتسلسلات ذات مقاييس رادون محدودة)، تتقارب سلسلة جزئية إلى نهاية $(u, v)$. يتعامل المؤلف بعناية مع تقارب الحدود المنفردة باستخدام لمّة "فاتو" (Fatou's lemma)، ونظرية التقارب المحدود، وتقنيات قطع (truncation) محددة لإثبات أن النهاية تحقق النظام بمعنى ضعيف أو بمعنى الطاقة المحدودة.

المساهمات والنتائج الرئيسية
تقدم الورقة نتائج الوجود والتنظيم للحلول $(u, v) \in H^1_0(\Omega) \times H^1_0(\Omega)$ عبر نطاقات مختلفة من تكامل المعطى $m$:

• الحالة $m \geq d/2$:

  • إذا كان $m > d/2$، فإن الحل $u$ يكون محدوداً ($u \in L^\infty(\Omega)$)، و$v$ يكون محدوداً أيضاً.
  • إذا كان $m = d/2$، ينتمي $u$ إلى كل $L^p(\Omega)$ لـ $p < \infty$، و$v \in L^\infty(\Omega)$.
  • تستعيد هذه النتائج وتوسع نظريات المحدودية المعروفة للمعادلات المنفردة الفردية وأنظمة "شرودنجر-ماكسويل" غير المنفردة.

• الحالة $m < d/2$ (المعطيات في الفضاء المزدوج):

  • عندما ينتمي $f$ إلى الفضاء المزدوج للمعادلة الأولى، وتحديداً $(\frac{2^*}{1-\gamma})' \leq m < d/2$، يقبل النظام حلاً ذا طاقة محدودة.
  • يكتسب الحل $u$ تكاملاً أعلى، وتحديداً $u \in L^{m^{**}(1+\gamma)}(\Omega)$.
  • إذا كان $r=2$، يتم توصيف انتظام $v$ صراحةً بناءً على $m$ و $\theta$ و $\gamma$. وتحت شروط محددة على البعد والمعلمات، يتم إثبات الموجبية الصارمة لـ $u$ في كامل النطاق $\Omega$.

• الحالة $m < d/2$ (المعطيات خارج الفضاء المزدوج):

  • مساهمة هامة هي التعامل مع المعطيات $f$ التي لا تنتمي إلى الفضاء المزدوج للمعادلة الأولى (أي $m < (\frac{2^*}{1-\gamma})'$).
  • النظرية 2.7: إذا كان $(\frac{r}{1-\gamma})' \leq m < (\frac{2^*}{1-\gamma})'$ و $r > 2^*$، يوجد حل ذو طاقة محدودة مع $u \in L^r(\Omega)$.
  • النظرية 2.8: إذا كان $(\frac{r+1}{1-\gamma})' \leq m < (\frac{2^*}{1-\gamma})'$، و $r > 2^*-1$، و $\theta=0$، يوجد حل مع $u \in L^{r+1}(\Omega)$.
  • الأهمية: تشير الورقة إلى أنه بالنسبة للمعادلات المنفردة الفردية، لا يمكن ضمان وجود حلول ذات طاقة محدودة عموماً إلا عندما يكون المعطى في الفضاء المزدوج. هنا، يسمح هيكل الارتباط بوجود حلول حتى عندما يكون $f$ أقل انتظاماً، بشرط أن يكون $r$ كبيراً بما يكفي.

• التكامل الأعلى (النظرية 2.10):

  • تحت شرط $(r+\gamma)' \leq m < d/2$ و $r \geq \frac{d}{d-2} - \gamma$، يظهر الحل $u$ تكاملاً أعلى، حيث ينتمي إلى $L^{r+1+\gamma}(\Omega)$. يوضح هذا "الأثر التنظيمي" حيث يعمل انفراد المعادلة الأولى، بالاقتران مع الارتباط، على تحسين تكامل الحل بما يتجاوز المعايير القياسية للمعادلات الفردية.

الأهمية والادعاءات
تدعي الورقة تحسين النتائج الموجودة للمعادلات الإهليلجية الفردية والأنظمة غير المنفردة. وتحديداً:

1. توسيع نظرية الوجود: تثبت وجود حلول ذات طاقة محدودة للمعطيات $f$ خارج الفضاء المزدوج للمعادلة الأولى، وهو سيناريو تفشل فيه المعادلات المنفردة الفردية عادةً في تقديم مثل هذه الحلول.
2. مكاسب الانتظام: تُحدد كمياً كيف يترجم تكامل $f$ إلى تكامل أعلى للحل $u$، مع توفير أسات (exponents) صريحة لمختلف نطاقات $m$.
3. سياق الانفراد المزدوج: تعالج الورقة التحديات المحددة لنظام يكون فيه كلا المعادلتين منفردتين، وهو إطار تمت دراسته بشكل أقل مقارنة بالمعادلات المنفردة الفردية أو الأنظمة التي تحتوي على مكون منفرد واحد فقط.
4. الدقة المنهجية: يوفر العمل إطاراً قوياً باستخدام التقريب والتقديرات المسبقة للتعامل مع غياب البنية التباينية ووجود الانفرادات في كلتا المعادلتين، مما يضمن تقارب التدرجات وموجبية الحلول دون الاعتماد على مبادئ الحد الأقصى القوية التي قد لا تنطبق لجميع خيارات المعلمات.

يؤكد المؤلف أن النتائج مشتقة من خلال تقديرات مسبقة صارمة وحجج النقطة الثابتة، متجنباً فرضات انتظام الحدود $\partial\Omega$ بما يتجاوز كونها محدودة، معتمداً بدلاً من ذلك على التضمين المتساوي (isometric embedding) لـ $H^1_0(\Omega)$ في $H^1(\mathbb{R}^d)$.