Partial regularity for $\mathbb{A}$-quasiconvex functionals with Orlicz growth

ملخص تقني: الانتظام الجزئي للدوال ذات التحدب شبه المجموعي-A مع نمو أورليتش (Orlicz)

بيان المشكلة
تتناول الورقة البحثية الانتظام الجزئي للمقللات (minimizers) للدوال التباينية من الشكل:
$$\mathcal{F}[u] := \int_{\Omega} F(Au) \, dx,$$
حيث $\Omega \subset \mathbb{R}^n$ مجموعة مفتوحة محدودة، و $A$ هو مؤثر تفاضلي خطي متجانس من الدرجة الأولى ذو معاملات ثابتة، و $F$ هي دالة تكامل تباينية. تركز الدراسة على نظامي نمو محددين:

1. نمو أورليتش $\Delta_2 \cap \nabla_2$: حيث تحقق دالة النمو $\phi$ شرط التضاعف (doubling condition) وكذلك شرط مرافقها.
2. نمو $L \log L$: وهي حالة حدية حيث $\phi(t) = t \log(1+t)$، والتي تحقق شرط $\Delta_2$ ولكنها تفشل في تحقيق شرط $\nabla_2$.

يعمل المؤثر $A$ على خرائط $u: \Omega \to \mathbb{R}^k$ (أو فضاء متجهي داخلي عام $V$) وتأخذ قيمها في فضاء $W$. ويُفترض أن الدالة $F$ هي دالة $A$-شبه محدبة قوية بالنسبة لـ $\phi$. السؤال المركزي هو ما إذا كانت المقللات المحلية لهذه الدوال هي $C^{1,\alpha}$-منتظمة على مجموعة مفتوحة نسبياً ذات قياس ليبيغي كامل (الانتظام الجزئي)، وتحت أي شروط على المؤثر $A$ يتحقق ذلك.

المنهجية
الاستراتيجية المنهجية الأساسية، والمستوحاة من عمل Conti & Gmeineder [20]، هي استراتيجية الاختزال (reduction argument). بدلاً من تنفيذ إثبات كامل للانتظام الجزئي عبر تقنيات التضخم (blow-up techniques) أو التقريب $A$-هارمونيك مباشرة على المؤثر $A$، يقوم المؤلف باختزال المشكلة إلى نتائج انتظام جزئي معروفة للدوال التي تتضمن التدرج الكامل $\nabla$.

يعتمد الاختزال على مكونين حاسمين:

1. متراجحات من نوع كورن (Korn-type Inequalities): يستخدم المؤلف متراجحات تسمح بالتحكم في التدرج الكامل $\nabla u$ بواسطة المؤثر $Au$ في فضاءات أورليتش.
   • في حالة $\Delta_2 \cap \nabla_2$: تؤدي متراجحات كورن القياسية (Theorem 2.4) إلى أنه إذا كان $Au \in L^\phi$، فإن $\nabla u \in L^\phi$.
   • في حالة $L \log L$: يثبت المؤلف متراجنة كورن معممة (Theorem 5.1) بناءً على عمل Cianchi [19]. تكشف هذه المتراجنة عن "فقدان لوغاريتم واحد": إذا كان $Au \in L^\phi$ مع $\phi(t) = t \log(1+t)$، فإن $\nabla u$ يتم التحكم فيه في فضاء أضعف قليلاً، وتحديداً في فضاء $L^1$ مع وزن لوغاريتمي، مما يستلر تحولاً في إطار شبه التحدب.
2. التحويل إلى دوال التدرج الكامل: من خلال تعريف دالة تكامل جديدة $G(z) = F(\pi_A(z))$، حيث $\pi_A$ هي خريطة خطية تحقق $\pi_A(\nabla v) = Av$، يتم إسقاط المشكلة على دالة تعتمد على $\nabla v$. ويتحقق المؤلف من أن شبه التحدب القوي لـ $F$ بالنسبة لـ $\phi$ يترجم إلى شروط شبه التحدب القوية المناسبة لـ $G$ في أنظمة النمو المعنية.

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

• مبرهنة 1.1 (نمو $\Delta_2 \cap \nabla_2$): تثبت الورقة أنه بالنسبة للدوال ذات نمو $\phi$ حيث $\phi \in \Delta_2 \cap \nabla_2$، يكون المقلل المحلي $u$ هو $C^{1,\alpha}_{loc}$-منتظم جزئياً إذا وفقط إذا كان المؤثر $A$ إهليلجياً (أي أن رمز فورييه الخاص به $A[\xi]$ يكون حقنياً لكل $\xi \neq 0$).

  • يوضح الإثبات أنه تحت فرض الإهليلجية، تسمح متراجنة كورن بالاختزال إلى حالة التدرج الكامل، حيث تحقق الانتظام الجزئي لنمو أورليتش (بالإشارة إلى Diening et al. [28] و Breit & Verde [11]).
  • وعلى العكس، إذا لم يكن $A$ إهليلجياً، فإن وجود دوال غير منتظمة في نواة $A$ (Lemma 2.2) يمنع الانتظام الجزئي.

• مبرهنة 1.2 (نمو $L \log L$): توسع الورقة استراتيجية الاختزال لتشمل الحالة الحدية $\phi(t) = t \log(1+t)$. وتثبت أن الانتظام الجزئي يتحقق إذا وفقط إذا كان $A$ إهليلجياً.

  • نظراً لفقدان الانتظام في متراجنة كورن (Theorem 5.1)، فإن الاختزال لا ينقل المسألة مباشرة إلى نتائج $C^{1,\alpha}$ للتدرجات في $L^\phi$. بدلاً من ذلك، يكيف المؤلف الإطار ليتناسب مع فضاء الدوال ذات التغير المحدود (BV).
  • من خلال استخدام النتائج الحديثة المتعلقة بنمو $p=1$ ونمو $L \log L$ بواسطة Gmeineder & Kristensen [44]، يظهر المؤلف أن مقللات الدالة الأصلية تقابل مقللات BV محلية للدالة المختزلة، وبالتالي ترث الانتظام الجزئي.

• التماسك والوجود (القسم 3): تقدم الورقة معالجة دقيقة لتماسك الدوال على فئات ديريكليه في فضاءات أورليتش-سوبوليف $W^{1,\phi}_A(\Omega)$. وتثبت وجود المقللات تحت فرض شبه التحدب القوي لـ $\phi$، مع توضيح التكافؤ بين التعريف التكامل لـ شبه التحدب القوي والشرط المتعلق بدالة $V$ المساعدة (Theorem 3.6).

الأهمية والادعاءات
تدعي الورقة تقديم نهج موحد للانتظام الجزئي لفئة واسعة من المؤثرات التفاضلية وشروط النمو.

• أمثلية الاختزال: يؤكد المؤلف أن استراتيجية الاختزال، التي طُبقت سابقاً على دوال نمو $p$ من قبل Conti & Gmeineder [20]، قد تم توسيعها بشكل أمثل لتشمل حالة $L \log L$. وتشير الورقة إلى أنه بالنسبة للحالة الحدية $p=1$ (أو النمو دون اللوغاريتمي)، تفشل استراتيجية الاختزال لأن $Au \in L^\phi$ لا يستلزم أن يكون $\nabla u \in L^1_{loc}$، وبالتالي فإن نتائج $L \log L$ تمثل الحد الأقصى لهذه المنهجية المحددة.
• التعميم: تعمم النتائج نظريات الانتظام الجزئي الموجودة من حالة التدرج القياسي ($A=\nabla$) وحالة التدرج المتماثل ($A=\varepsilon$) إلى مؤشرات إهليلجية ذات رتبة ثابتة (constant-rank) arbitrary.
• النطاق: تؤجل الورقة صراحةً استقصاء دوال التكامل ذات النمو الأسي (الطرف الآخر من المقياس) إلى أعمال مستقبلية، مشيرة إلى أن استراتيجية الاختزال هي التركيز الأساسي.

باختصار، تثبت الورقة أن إهليلجية المؤثر التفاضلي $A$ هي الشرط الضروري والكافي للانتظام الجزئي للمقللات في سياق نمو أورليتش، مغطيةً كلاً من أنظمة $\Delta_2 \cap \nabla_2$ القياسية والحالة الحدية الحرجة $L \log L$، وذلك عبر النجاح في اختزال هذه المسائل إلى النتائج المستقرة لدوال التدرج الكامل.