Counterexamples to maximal regularity for operators in divergence form

ملخص تقني: أمثلة مضادة للانتظام الأقصى للمؤثرات في صيغة التباعد

بيان المشكلة
تتناول هذه الورقة سؤالين جوههريين يتعلقان بانتظام الحلول للمعادلات التفاضلية الجزئية (PDEs) المتوازنة (parabolic) في صيغة التباعد مع معاملات تعتمد على الزمن. يدرس المؤلفون المسألة الأولية المجردة (CP):
$$\begin{cases} u' - Au = f, & \text{على } (0, 1), \\ u(0) = 0, \end{cases}$$
حيث $A(t)$ هي عائلة من المؤثرات القابلة للقياس بقوة والتي تربط بين فضاء هيلبرت $V$ وفضائه المزدوج $V^*$، وتستوفي شروط التماسك (coercivity) والمحدودية. وتحديداً، يركز المؤلفون على الإعداد الملموس حيث $H = L^2(\mathbb{R}^d)$، و $V = H^1(\mathbb{R}^d)$، و $A(t)v = -\text{div}(B(t)\nabla v)$، حيث $B$ مصفوفة ذات تباعد منتظم (uniformly elliptic).

تستقصي الدراسة مشكلتي انتظام محددتين:

1. المشكلة 1 (الانتظام الأقصى $L^p$ على $V$): بالنسبة لـ $p \in (1, \infty) \setminus \{2\}$، هل تعني حالة $f \in L^p(0, 1; V^*)$ أن الحل الضعيف الوحيد $u$ ينتمي إلى $L^p(0, 1; V)$؟
2. المشكلة 2 (الانتظام الأقصى $L^2$ على $H$): هل تعني حالة $f \in L^2(0, 1; H)$ أن المشتق الزمني للحل يحقق $u' \in L^2(0, 1; H)$؟

بينما تضمن نظرية ليونز (Lions' theory) وجود حل ضعيف وحيد في $L^2(0, 1; V) \cap H^1(0, 1; V^*)$ بمجرد تحقق شرط التماسك، وتوجد نتائج إيجابية للمؤثرات المستقلة عن الزمن (autonomous) أو المؤثرات ذات الانتظام الكافي في الزمن (مثل الاتصال أو الاتصال من نوع هولدر)، إلا أن السلوك للمؤثرات العامة المعتمدة على الزمن دون مثل هذه الافتراضات حول الانتظام يظل مفتوحاً. كانت الأمثلة المضادة السابقة التي قدمها دير وفاكلر (Dier and Fackler) مجردة ولم تكن مؤثرات تفاضلية. تهدف هذه الورقة إلى بناء أمثلة مضادة تكون عبارة عن مؤثرات تفاضلية حقيقية.

المنهجية
يعتمد نهج المؤلفين على بناء محدد لحلول المعادلات التفاضلية الجزئية الخطية المتوازنة ذات المعاملات المركبة، والذي طوره المؤلف الثاني في [19]. تسير المنهجية كما يلي:

1. بناء التماثل القياسي (Scaling Symmetry Construction): يستخدم المؤلفون فرضية (ansatz) ذاتية التشابه للحل $\zeta(t, x)$ ومصفوفة المعاملات $B(t, x)$:
   $$\zeta(t, x) = (1-t)^{-\mu/2} e^{-i \log(1-t)/2} w\left(\frac{x}{(1-t)^{1/2}}\right), \quad B(t, x) = a\left(\frac{x}{(1-t)^{1/2}}\right).$$
   هذا يختزل المعادلة المتوازنة إلى معادلة تفاضلية جزئية إهليلجية (elliptic) لدالة المظهر (profile function) $w$ ومجال المعامل $a$ على $\mathbb{R}^d$.

2. وجود مظهرات مفردة (Singular Profiles): بالاستناد إلى [19]، يشير المؤلفون إلى أنه لأي معامل $\mu \in [0, d/2)$، توجد معاملات $a$ وحلول $w$ منتظمة (بعيداً عن الأصل) وذات تباعد منتظم بحيث يكون $w$ "ليبتشيتز" محلياً (locally Lipschitz) ولكن يُظهر معدلات اضمحلال محددة عند اللانهاية ($|x|^{-\mu}$). والأهم من ذلك، تم اختيار الجزء التخيلي من $B$ ليكون متماثلاً، مما يسمح باقتران قوي بين الأجزاء الحقيقية والتخيلية للمعادلة دون انتهاك شرط التباعد المنتظم.

3. التمركز وتوليد المثال المضاد (Localization and Counterexample Generation): لتكييف هذه الحلول العالمية مع الفاصل الزمني المحدود $(0, 1)$ والإعداد المحدد للمسألة، يقدم المؤلفون دالة قطع سلسة $\eta$. يعرّفون مرشح حل جديد $u(t, x) = t \zeta(t, x) \eta(x)$ ويشتقون حد القوة (forcing term) المقابل $f$.

4. تحليل الانتظام (Regularity Analysis):: يتمثل جوهر البرهان في تقدير قابلية التكامل لـ $u$ و $f$. من خلال اختيار المعاملات $\mu$ و $r$ و $s$ بعناية، يثبت المؤلفون أنه بينما يمتلك $f$ انتظاماً عالياً (مثلاً $f \in L^\infty(0, 1; L^2)$)، فإن الحل $u$ يفشل في الانتماء إلى فضاءات المعايير المختلطة (mixed-norm spaces) $L^r(0, 1; L^s)$.

5. الثنائية والاستكمال (Duality and Interpolation):

   • بالنسبة لـ المشكلة 1 عندما $p > 2$، فإن فشل قابلية التكامل $L^r(L^s)$ يستلزم مباشرة فشل انتظام $L^p(0, 1; H^1)$ عبر تضمين سوبوليف (Sobolev embedding).
   • بالنسبة لـ المشكلة 1 عندما $p < 2$، يتم استخدام حجة ثنائية؛ حيث يؤدي افتراض تحقق الانتظام الأقصى لـ $p$ إلى تناقض مع الفشل المعروف لـ $p'$ (الأس المزدوج).
   • بالنسبة لـ المشكلة 2، تُستخدم طرق الاستكمال المركب ونظريات تضمين سوبوليف لإظهار أنه لو كان $u$ يمتلك الانتظام الزمني المطلوب ($H^\nu$)، فإنه سينتمي بالضرورة إلى فضاء $L^r(L^s)$، وهو ما ثبت بالفعل عدم انتمائه إليه.

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

• النظرية 2.4 (فشل التكامل العالي): للأبعاد $d \ge 2$ والأسس $r, s \in (1, \infty)$ التي تحقق $\frac{2}{r} + \frac{d}{s} < \frac{d}{2}$، توجد مصفوفة إهليلجية $B$ وحد قوة $f \in L^\infty(0, 1; L^2)$ بحيث لا ينتمي الحل الوحيد $u$ للمعادلة في صيغة التباعد إلى $L^r(0, 1; L^s)$.
• النظرية 2.5 (فشل الانتظام الأقصى $L^p$ للمشكلة 1): لكل $p \in (1, \infty) \setminus \{2\}$، يوجد مؤثر إهليجي في صيغة التباعد وحد قوة $f \in L^p(0, 1; H^{-1})$ بحيث لا ينتمي الحل $u$ إلى $L^p(0, 1; H^1)$. هذا يثبت أن النتيجة الإيجابية للنظرية 2.2 (التي تضمن الانتظام لـ $p$ في جوار صغير من 2) هي نتيجة حادة ولا يمكن توسيعها لتشمل جميع قيم $p$.
• النظرية 2.7 (فشل الانتظام الأقصى $L^2$ للمشكلة 2): لكل $\nu \in (1/2, 1]$، يوجد مؤثر إهليجي و $f \in L^\infty(0, 1; L^2)$ بحيث لا ينتمي $u$ إلى فضاء سوبوليف الجزئي $H^\nu(0, 1; L^2)$. يوفر هذا إجابة سلبية لمسألة ليونز للمؤثرات الإهليلجية العامة في صيغة التباعد، مبيناً أن الحل يمكن أن يفشل حتى في تحقيق انتظام زمني من الرتبة $1/2$ في $L^2$.

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

• حدة النظريات الحالية: تؤكد النتائج أن الفترة الصغيرة لـ $p$ التي يتحقق فيها الانتظام الأقصى (النظرية 2.2) هي مثالية ولا يمكن توسيعها لتشمل النطاق الكامل $(1, \infty)$ دون افتراضات إضافية حول الانتظام الزمني للمعاملات.
• محدودية بنية صيغة التباعد: على عكس مسألة جذر كاتو (Kato square root problem)، حيث وفرت البنية التفاضلية نتائج إيجابية، تظهر هذه العملة أن بنية صيغة التباجع وحدها غير كافية لضمان الانتظام الأقصى عندما تفتقر المعاملات إلى الاتصال الزمني.
• انتظام المعاملات: يشير المؤلفون إلى أن الأمثلة المضادة تعتمد على معاملات $B$ ليست مستمرة زمنياً (تحديداً ليست مستمرة كدوال في $L^\infty$). ويصرحون بوضوح أن إيجاد مثال مضاد للمشكلة 2 مع معاملات مستمرة من نوع هولدر (تحديداً لـ $\nu=1$) يظل مسألة مفتوحة ومثيرة للاهتمام، حيث توجد نتائج إيجابية للمعاملات ذات انتظام أعلى قليلاً (مثل $C^{1/2+\epsilon}$).

تختتم الورقة بالإقرار بوجود أسئلة مفتوحة، بما في ذلك حالة المؤثرات المتماثلة/الهيرميتية وحالة البعد الواحد ($d=1$)، حيث قد يختلف السلوك.