On the interplay between $(p,q)$-growth and $x$-dependence of the energy integrand: a limit case

إليك ملخص تقني مفصل للورقة البحثية بعنوان "حول التفاعل بين نمو (p, q) واعتماد الطاقة على x: حالة الحد" (On the Interplay Between (p, q)-Growth and x-Dependence of the Energy Integrand: A Limit Case) من إعداد م. إليوتيري، ب. مارشيليني، إ. ماسكولو، وأ. باساريلي دي نابولي.

1. بيان المشكلة

تتقصى هذه الورقة البحثية الانتظام الليبشيتزي المحلي ($W^{1,\infty}_{loc}$) للمقللات المحلية للتكاملات التباينية غير المستقلة ذات الشكل:
$$\mathcal{F}(u) = \int_{\Omega} F(x, Du) \, dx$$
حيث $\Omega \subset \mathbb{R}^n$ ($n \geq 2$) هي مجموعة مفتوحة محدودة. تُظهر كثافة الطاقة $F(x, \xi)$ شروط نمو (p, q)، مما يعني أن النمو بالنسبة لمتغير التدرج $\xi$ محصور بين قوى $p$ و $q$ ($1 < p \leq q$).

التحدي الجوهري الذي تعالجه الورقة هو التفاعل بين:

1. الفجوة في أسس النمو ($q/p$).
2. انتظام المعاملات بالنسبة للمتغير المكاني $x$.

يركز المؤلفون تحديداً على حالة الحد (limit case) حيث تقترب النسبة $q/p$ من العتبة الحرجة المحددة بالبعد $n$ وانتظام سوبوليف $r$ لاعتماد $x$. لقد أثبتت النتائج السابقة (على سبيل المثال في [12]) الانتظام تحت شرط عدم التساوي الصارم:
$$\frac{q}{p} < 1 + \frac{1}{n} - \frac{1}{r}$$
تهدف هذه الورقة إلى إثبات الانتظام عندما تتحقق المساواة:
$$\frac{q}{p} = 1 + \frac{1}{n} - \frac{1}{r}$$
بالإضافة إلى ذلك، تغطي الورقة الحالة التي تؤول فيها $r \to n$ (مسترجعةً نتائج النمو القياسية) وتوحد هذه السيناريوهات.

2. الافتراضات والإطار العملي

يفترض المؤلفون أن دالة كثافة الطاقة $F(x, \xi)$ هي دالة كاراثيودوري (Carathéodory)، ومن الفئة $C^2$ بالنسبة لـ $\xi$، وتلبي:

• الالتقائية والنمو:
  $$\lambda (\mu^2 + |\xi|^2)^{\frac{p-2}{2}} |\zeta|^2 \leq \sum F_{\xi_i \xi_j} \zeta_i \zeta_j \leq \Lambda (\mu^2 + |\xi|^2)^{\frac{q-2}{2}} |\zeta|^2$$
• الاعتماد على $x$ (الانتظام): يتم التحكم في مشتقة $F_{\xi x}$ بواسطة دالة $h(x)$:
  $$|F_{\xi x}(x, \xi)| \leq h(x) (\mu^2 + |\xi|^2)^{\frac{q-1}{2}}$$
  ومن الأهمية بمكان أن $h(x)$ تنتمي إلى فضاء أورليتش-زيجموند (Orlicz-Zygmund space) $L^r \log^\alpha L$، المحدد بشرط التكامل:
  $$\int_{B_R} h^r \log^\alpha(e+h) \, dx < +\infty$$
  حيث $r \geq n$ و $\alpha \geq 0$.

3. المنهجية

يتبع الإثبات استراتيجية مكونة من ثلاث خطوات، وهي نموذجية لنظرية الانتظام في مسائل النمو غير القياسي:

1. التقديرات القبلية (الابتكار الجوهري):
   يستنتج المؤلفون متراجحة كاشيولاري من الدرجة الثانية (second-order Caccioppoli inequality) للمقللات الناعمة. يتضمن ذلك اختبار معادلة أويلر-لاجرانج باستخدام دالة اختبار محددة تتضمن المشتقات الثانية.

   • يستخدمون مخطط تكرار من نوع موزر (Moser-type iteration).
   • يكمن الابتكار في التعامل مع حالة الحد الحرجة. فعندما تساوي $q/p$ الحد الحرج، يفشل التكرار القياسي. يستعين المؤلفون بتحليل دقيق باستخدام متراجحة يونغ وخصائص المرافق الفنشلي (Fenchel conjugate) أو الدالة القطبية لشرط النمو اللوغاريتمي.
   • يميزون بين ثلاث حالات بناءً على المعاملات:
     • الحالة (i): $p=q$ (النمو القياسي) مع $r=n, \alpha > 4n$.
     • الحالة (ii): $p<q$ مع عدم تساوي صارم $q/p < 1 + 1/n - 1/r$ ($r>n, \alpha=0$).
     • الحالة (iii): حالة الحد $q/p = 1 + 1/n - 1/r$ ($r>n, \alpha > 0$).

2. التقريب:
   بما أن الدالة الأصلية قد لا تمتلك مقللات ناعمة، يقوم المؤلفون ببناء سلسلة من الدوال الوظيفية المنتظمة $F_k$ (عبر التنعيم والقطع/truncation) التي تستوفي نفس الافتراضات الهيكلية ولكنها تمتلك مقللات ناعمة فريدة $u_k$.

3. العبور إلى النهاية:
   يتم تطبيق التقديرات القبلية المستمدة من الخطوة 1 على التقريبات الناعمة $u_k$. وباستخدام الحدود الموحدة والنشوء السفلي (lower semicontinuity) للمعايير، يظهرون أن السلسلة تتقارب إلى المقلل الأصلي $u$، مع الحفاظ على الانتظام الليبشيتزي.

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

تقدم الورقة نهجاً موحداً يغطي حالة عدم التساوي الصارم، وحالة الحد، وحالة النمو القياسي ($p=q$). تثبت النظريات الرئيسية أن $u \in W^{1,\infty}_{loc}(\Omega)$ تحت الشروط التالية:

النظرية 1.2 (حالة الحد)

إذا تحققت المساواة:
$$\frac{q}{p} = 1 + \frac{1}{n} - \frac{1}{r}$$
مع $r > n$ و $\alpha > 0$، فإن المقلل يكون ليبشيتزياً محلياً. تقدير التدرج هو:
$$\|Du\|_{L^\infty(B_\rho)} \leq G\left( \frac{C}{(R-\rho)^n} \int_{B_R} (1 + |Du|^p) \, dx \right)$$
حيث تُظهر الدالة $G(t)$ نمواً أسياً بسبب الطبيعة الحرجة للحد:
$$G(t) = \exp\left( \frac{r}{2p} \cdot \frac{t^{\frac{2p(r-n)}{\alpha n}}}{1} \right) t^{\frac{r}{n}} + t^{\frac{1}{p}}$$
الأهمية: تؤكد هذه النتيجة أنه حتى عند العتبة الحرجة، يتم الحفاظ على الانتظام بشرط وجود قدر كافٍ من التكامل اللوغاريتمي لـ $x$ (تحديداً $\alpha > 0$).

النظرية 1.3 (حالة $r \to n$)

إذا كان $r=n$ و $p=q$ (النمو القياسي)، ولكن المعاملات تمتلك انتظاماً لوغاريتمياً عالياً ($\alpha > 4n$)، فإن المقلل يكون ليبشيتزياً. وهذا يسترجع وينقح النتائج السابقة للنمو القياسي ذي المعاملات منخفضة الانتظام.

النظرية 1.4 (حالة عدم التساوي الصارم)

إذا كان $q/p < 1 + 1/n - 1/r$ مع $\alpha = 0$، فإن النتيجة تستعيد التقديرات المعروفة من [12]، حيث تكون $G(t)$ ذات نمو حدودي بدلاً من النمو الأسي.

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

• حل حالة الحد: تغلق هذه الورقة فجوة في نظرية الانتظام لمسائل نمو (p, q). فهي توضح أن شرط عدم التساوي الصارم في فجوة النمو ليس ضرورياً؛ إذ يمكن تحقيق حالة الحد مع فرض افتراضات أقوى قليلاً على اعتماد $x$ (تحديداً العامل اللوغاريتمي $\alpha$).
• إطار عمل موحد: من خلال معالجة عدم التساوي الصارم، وحالة الحد، وحالة النمو القياسي ($p=q$) ضمن إطار تحليلي واحد، يقدم المؤلفون فهماً شاملاً لكيفية تعويض انتظام المعاملات لعدم تجانس نمو الطاقة.
• تقدم تقني: يمثل اشتقاق الدالة المحددة $G(t)$ لحالة الحد، والتي تتضمن حدوداً أسية، إنجازاً تقنياً كبيراً في التعامل مع تكرار موزر عند العتبة الحرجة.
• تجنب ظاهرة لافنتيف (Lavrentiev Phenomenon): تضمن النتలు أن المقللات منتظمة بما يكفي لتجنب ظاهرة لافنتيف (حيث يختلف الحد الأدنى للدالة الوظيفية بين الفئات الناعمة وفئات سوبوليف)، وهو عائق شائع في المسائل غير المستقلة.

باختدال، يوسع هذا العمل آفاق نظرية الانتظام للتكاملات التباينية ذات النمو غير القياسي، مثبتاً أن "حالة الحد" قابلة للحل، وموفراً تقديرات كمية دقيقة لتدرج المقللات.