Regularity for monotone Operators and applications to homogenization of $p$-Laplace type equations

ملخص تقني: الانتظام للمؤثرات الرتيبة وتطبيقاته على تجانس معادلات من نوع p-Laplace

بيان المشكلة
تتناول هذه المخطوطة نظرية الانتظام (regularity theory) للحلول للمعادلات التفاضلية الإهليلجية شبه الخطية في صيغة التباعد (divergence form) ذات المعاملات الدورية المتذبذبة بسرعة. وتحديداً، تبحث في المعادلات التي تأتي على الشكل:
$$\nabla \cdot a\left(\frac{x}{\varepsilon}, \nabla u\right) = \nabla \cdot F$$
حيث $\varepsilon \in (0, 1]$ هو معامل صغير، والمؤثر $a(x, \xi)$ يستوفي شروط النمو والرتابة النموذجية لمؤثر $p$-Laplace. ينصب التركيز الأساسي على إثبات تقديرات الانتظام واسعة النطاق الموحدة (تحديداً تقديرات $L^q$ للتدرج وتقديرات Lipschitz) للحلول عندما $p \neq 2$.

تتمثل الصعوبة المركزية المحددة في أنه بينما تسمح نظرية التجانس الكلاسيكية للمعادلة المتذبذبة بالتقارب إلى معادلة متجانسة ذاتية (autonomous) من النوع $\nabla \cdot \bar{a}(\nabla u) = \nabla \cdot F$، فإن الخصائص الهيكلية للمؤثر المتجانس $\bar{a}$ ليست مضمونة لتطابق خصائص المؤثر الأصلي $a$ عندما $p \neq 2$. في الحالة الخطية ($p=2$) أو عندما يكون $p=2$ في السياقات غير الخطية، يحتفظ المؤثر المتجانس برتابة قوية وإهليلجية منتظمة، مما يسمح بتطبيق نظرية الانتظام الكلاسيكية. ومع ذلك، بالنسبة لـ $p \neq 2$، فإن المؤثر المتجانس $\bar{a}$ غالباً ما يستوفي شروط رتابة أضعف (على وجه التحديد، قد يفشل شرط الرتابة القوية (1.3)، ويُستبدل بالشرط الأضعف (1.7)). وبناءً على ذلك، لا يمكن تطبيق نتائج الانتظام الكلاسيكية مباشرة على المعادلة المتجانسة، مما يخلق عائقاً أمام اشتقاق التقديرات الموحدة للمسألة الأصلية المتذبذبة.

المنهجية
يستخدم المؤلفون استراتيجية متعددة الخطوات تجمع بين حجج الاضطراب (perturbation arguments)، ونظرية التجانس، وتحليل مبتكر للمعادلات غير المنتظمة الإهليلجية:

1. الانتظام المحلي للمؤثرات المتدهورة: يثبت المؤلفون أولاً تقديرات من نوع "كالديرون-زايغوند" (Calderón-Zygmund) المحلية للمعادلات الذاتية $\nabla \cdot a(\nabla u) = \nabla \cdot F$ تحت فرضية رتابة أضعف (الفرضية 2) من الرتابة القوية القياسية (الفرضية 1). ويتم تحقيق ذلك عبر نسخة معدلة من طريقة تكرار "موزر" (Moser's iteration) مكيفة للمؤثرات غير المنتظمة الإهليلجية، باستخدام فرق الكسور (difference quotients) والاشتقاقات الاجتماعية الكسرية (fractional Sobolev embeddings). تثبت هذه الخطوة أن حلول المعادلة المتجانسة تمتلك الانتظام اللازم رغم الشروط الهيكلية الأضعف.
2. التجانس والمصححات: تقوم الورقة ببناء المصححات (correctors) ومصححات التدفق (flux correctors) للمسألة المتذبذبة. وتتمثل المساهمة النظرية الحاسمة في إثبات أن المؤثر المتجانس $\bar{a}$ يستوفي الفرضية 2 الأضعف (والفرضية 3 في الحالة غير المتدهورة)، حتى لو كان المؤثر الأصلي $a$ يستوفي الفرضية 1 الأقوى. وقد تم إثبات هذا الاستقرار تحت التجانس باستخدام صيغ الخلية وخصائص المؤثرات الرتيبة.
3. الاضطراب الكبير-النطاق: لنقل الانتظام من المعادلة المتجانسة مرة أخرى إلى المعادلة المتذبذبة، يستخدم المؤلفون توسعاً ثنائي السعة (two-scale expansion) وحجة اضطراب. ويقومون بمقارنة الحل $u$ للمعادلة المتذبذبة بحل $v$ للمعادلة المتجانسة. ومن خلال إثبات معدلات التقارب الكمية (عبر التقديرات على حدود الباقي المتعلقة بالمصححات)، يظهرون أن انتظام الحل المتجانس ينتقل إلى الحل المتذبذب على المقاييس الكبيرة.
4. تقنيات الدالة العظمى: يعتمد اشتقاق تقديرات $L^q$ العالمية على تقنيات الدالة العظمى (تحديداً الدوال العظمى المقطوعة) ونظرية "كالديرون-زايغوند" معممة مكيفة لإعداد $p$-Laplace، متبعين نهج أعمال "أفيلانييدا ولين" (Avellaneda and Lin) ولكن مع توسيعها للحالة غير الخطية والمتدهورة.

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

• النظرية 1.1 (الانتظام المحلي): يثبت المؤلفون تقديرات $L^q$ محلية لتدرج الحلول للمعادلات الذاتية التي تستوفي شرط الرتابة الأضعف (الفرضية 2). وتعتبر هذه النتيجة هامة لأنها تزيل شرط الرتابة القوية (1.3)، الذي غالباً ما يُفقد في عملية التجانس عندما $p \neq 2$. يسري هذا التقدير لجميع قيم $q \in [p, \infty)$.
• النظرية 1.2 (تقديرات $L^q$ الموحدة واسعة النطاق): بالنسبة للمعادلة المتذبذبة ذات المعاملات الدورية، يثبت المؤلفون تقديرات "كالديرون-زايغوند" موحدة. ومن الأهمية بمكان أن الثابت $C$ في التقدير مستقل عن $\varepsilon$. وتعد هذه النتيجة جديدة لمعادلات من نوع $p$-Laplace ذات المعاملات المتذبذبة حيث $p \neq 2$.
• النظرية 1.3 (تقديرات Lipschitz الموحدة): في الحالة غير المتدهورة ($\mu = 1$)، يستنتج المؤلفون تقديرات Lipschitz موحدة للحلول للمعادلة المتجانسة ($F \equiv 0$). وهذا يوسع النتائج الرائدة لـ "أفيلانييدا ولين" من الأنظمة الخطية إلى المعادلات الإهليلجية غير الخطية وغير المتدهورة.
• استقرار الفرضيات: توضح الورقة أن فئة المؤثرات التي تستوفي الفرضية 2 الأضعف (والفرضية 3) مغلقة تحت عملية التجانس. وهذا يبرر فرضيات الانتظام المطلوبة لحل المعادلة المتجانسة في الأعمال السابقة (مثل [23]) ويسمح بتطبيق نظرية الانتظام المطورة على فئة أوسع من المؤثرات، بما في ذلك مؤثرات "فينسلر $p$-Laplacian" ومؤثرات "orthotropic $p$-Laplace".

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

يؤكد المؤلفون أن نهجهم يتغلب على غياب الرتابة القوية في المؤثر المتجانس من خلال تطوير نظرية انتظام للمعادلات غير المنتظمة الإهليلجية لا تعتمد على تقنيات الخطية (linearization). وهذا يسمح لهم باستعادة نتائج الانتظام واسع النطاق التي تم الحصول عليها سابقاً في [59] تحت فرضيات مشروطة، ولكن الآن دون تلك القيود الإضافية. والنتائج قابلة للتطبيق على نطاق واسع من المؤثرات المتدهرة، بما في ذلك مؤثر "orthotropic $p$-Laplace"، الذي يستوفي الفرضيات الأضعف ولكن ليس الرتابة القوية القياسية.

لا تدعي المخطوطة أنها تحل مشكلة المعاملات العشوائية في حالة $p \neq 2$ العامة دون فرضيات إضافية، مشيرة إلى أن مثل هذه النتائج (كما في [23]) تعتمد حالياً على قيود نموذجية محددة. ومع ذلك، فإنها تضع الإطار الحتمي الضروري (انتظام المؤثر المتجانس) الذي قد يتطلبه التوسع العشوائي (stochastic extension).