Weak Solutions for Inviscid SQG with Lorentz Data

ملخص تقني: الحلول الضعيفة لمعادلة SQG غير اللزجة ببيانات لورنتز

بيان المشكلة
تتناول الورقة البحثية الوجود العالمي للحلول الضعيفة لمعادلة السطح شبه الجيوستروفية (SQG) غير اللزجة في $\mathbb{R}^2$ وفي النطاقات المحدودة الملساء. تصف المعادلة انتقال كمية قياسية $\theta$ بواسطة حقل سرعة $u$ مشتق من $\theta$ عبر مؤثر تكامل مفرد من الرتبة صفر:
$$\partial_t \theta + u \cdot \nabla \theta = 0, \quad u = \nabla^\perp \Lambda^{-1} \theta,$$
حيث $\Lambda = (-\Delta)^{1/2}$.

يكمن التحدي المركزي في انتظام البيانات الأولية. بينما عُرف وجود حلول ضعيفة عالمية للبيانات في $L^2$، تظل المسألة مفتوحة للبيانات ذات الانتظام الأدنى. أثبتت النتائج السابقة وجود حلول للبيانات في فضاءات ليبيج $L^p$ حيث $p > 4/3$ أو لفضاء ليبيج الحرج $L^{4/3}$. ومع ذلك، فإن فضاء ليبيج الحرج $L^{4/3}$ ليس أكبر فضاء يمكن فيه التحكم في الهاملتوني (طاقة سوبولف السالبة). يهدف المؤلفون إلى بناء حلول ضعيفة عالمية لبيانات في فضاء لورنتز الحرج $L^{4/3, 2}$، والذي يحتوي $L^{4/3}$ بشكل صارم (بما أن $L^{4/3} = L^{4/3, 2} \subsetneq L^{4/3, 2}$ - ملاحظة: النص الأصلي ذكر $L^{4/3, 4/3}$).

تتمثل الصعوبة الحرجة عند هذا المستوى من الانتظام في أن حاصل الضرب $u\theta$ غير محدد بالمعنى الكلاسيكي، كما أن التقارب الضعيف في فضاءات سوبولف السالبة الطبيعية لا يحافظ تلقائياً على الهاملتوني التربيعي $H(\theta) = \frac{1}{2}\|\Lambda^{-1/2}\theta\|_{L^2}^2$. علاوة على ذلك، قد تتركز المتتاليات في فضاءات $L^{4/3, 2}$، مما قد يؤدي إلى فقدان الطاقة أو عدم الوحدانية.

المنهجية
يستخدم المؤلفون مخطط تنظيم (regularization scheme) مصمماً خصيصاً لخصائص فضاءات لورنتز، متجنبين إضافة اللزوجة.

1. مخطط التنظيم:

   • يتم تنظيم مؤثر السرعة $\Lambda^{-1}$ عن طريق قطع تمثيل شبه مجموعة الحرارة (heat semigroup) الخاص به: $\Lambda^{-1}_{\epsilon_1} f = c_0 \int_{\epsilon_1}^\infty e^{s\Delta} f s^{-1/2} ds$.
   • يتم تنعيم البيانات الأولية $\theta_0$ عبر شبه مجموعة الحرارة: $\theta_0^{\epsilon_2} = e^{\epsilon_2 \Delta} \theta_0$.
   • ينتج عن ذلك تسلسل من المعادلات التقريبية ذات سرعات ملساء وغير تباعدية، والتي تمتلك حلولاً سلسة عالمية.

2. تماثل اللاخطية:

   • للتعامل مع تفرد النواة (kernel) التي تشبه $K(x,y) \sim |x-y|^{-3}$، يقوم المؤلفون بتماثل حد النقل. بالنسبة لدالة اختبار $\phi$، يتم إعادة كتابة حد $\int u \cdot \nabla \theta \phi$ باستخدام عدم تماثل النواة (في $\mathbb{R}^2$) أو شكل متماثل (في النطاقات المحدودة).
   • يقلل هذا من رتبة تفرد النواة من الدرجة 2 إلى الدرجة 1 ($|x-y|^{-1}$)، مما يجعل الصيغة التربيعية مستمرة على $L^{4/3, 2} \times L^{4/3, 2}$.

3. تقديرات فضاء لورنتز والتماسك:

   • التحكم في الطرف النهائي (Endpoint Control): يثبت المؤلفون التقدير الحاد $\|\Lambda^{-1/2} f\|_{L^2} \lesssim \|f\|_{L^{4/3, 2}}$. ويوضحون أن أس لورنتز الثانوي $q=2$ هو الأمثل؛ حيث يفشل التقدير لـ $L^{4/3, q}$ مع $q > 2$.
   • القطع عند السعة العالية: الأداة التقنية الرئيسية هي المعامل $\tau_M(f) = \|(|f|-M)_+\|_{L^{4/3, 2}}$. يوضح المؤلفون أن $\tau_M$ محفوظ بواسطة شبه مجموعة الحرارة والنقل الحافظ للقياس. والأهم من ذلك، أن $\tau_M$ شبه مستمر سفلياً ضعيفاً.
   • الحدود الموحدة: يحافظ مخطط التقريب على دوال التوزيع للبيانات الأولية (حتى عملية التنعيم الأولية)، مما يضمن أن $\tau_M(\theta(t)) \leq \tau_M(\theta_0)$ موحداً في الزمن ومعلمات التنظيم.
   • التقديرات الموزونة: باستخدام الحدود الموحدة لـ $\tau_M$، يبني المؤلفون دالة وزن $\Phi$ متزايدة بحيث يظل معيار لورنتز الموزون محدوداً في الزمن بشكل موحد. هذا يمنع تركز الكتلة ويضمن التماسك.

4. العبور إلى النهاية (Passage to the Limit):

   • يثبت المؤلفون التماسك المكاني (في $\mathbb{R}^2$) واضمحلال الحدود (في النطاقات المحدودة) للتعامل مع عدم التماسك في النطاق.
   • من خلال تقسيم النوى التربيعية إلى أجزاء قريبة من القطر وأجزاء بعيدة عن القطر، يستخدم المؤلفون الحدود الموحدة لـ $\tau_M$ للتحكم في مساهمة الجزء القريب من القطر، بينما يتقارب الجزء البعيد عن القطر عبر حجج التماسك القياسية.

النتائج الرئيسية
تثبت النظرية الرئيسية (النظرية 1.1) ما يلي لأي بيانات أولية $\theta_0 \in L^{4/3, 2}(\Omega)$:

1. الوجود العالمي: يوجد حل ضعيف عالمي $\theta \in L^\infty_{loc}([0, \infty); L^{4/3, 2}(\Omega)) \cap C([0, \infty); \mathcal{D}'(\Omega))$.
2. حفظ الهاملتوني: يتم حفظ طاقة سوبولف السالبة تماماً لجميع الأوقات:
   $$\|\theta(t)\|_{\dot{H}^{-1/2}(\Omega)} = \|\theta_0\|_{\dot{H}^{-1/2}(\Omega)}.$$
3. التحكم التوزيعي: يحقق الحل حداً موحداً للقطع عند السعة العالية: $\tau_M(\theta(t)) \leq \tau_M(\theta_0)$ لجميع $M \geq 0$.
4. حد المعيار الموزون: يوجد وزن $\Phi$ مستقل عن الزمن بحيث يظل معيار لورنتز الموزون للحل محدوداً بالبيانات الأولية.

الأهمية والادعاءات
تدعي الورقة حل مسألة وجود الحلول الضعيفة الحافظة للهاملتوني عند نهاية لورنتز $L^{4/3, 2}$. وتتجلى أهمية ذلك في:

• توسيع نطاق الوجود المعروف إلى ما وراء فضاء ليبيج الحرج $L^{4/3}$ إلى فضاء لورنتز الأكبر $L^{4/3, 2}$، مما يسمح ببيانات أولية "أكثر خشونة".
• إثبات أن أس لورنتز الثانوي $q=2$ هو العتبة الحادة للتحكم في الهاملتوني عبر المؤثر $\Lambda^{-1/2}$.
• تجنب اللزوجة، والاعتماد بدلاً من ذلك على تقريب مصمم يحافظ على بنية دالة التوزيع للبيانات، وهو أمر ضريد للحفاظ على هوية الهاملتوني في النهاية.
• النتيجة مكملة لنتائج عدم الوحدانية الأخيرة للحلول الضعيفة ذات الانتظام الأعلى قليلاً ($L^{\bar{p}}$ مع $\bar{p} > 4/3$)؛ حيث يبني المؤلفون هنا فئة محددة من الحلول التي تحفظ طاقة الثوابت.

يؤكد المؤلفون أنه بينما الحلول الضعيفة عند هذا المستوى من الانتظام ليست فريدة (كما تظهر طرق التكامل المتصل Convex Integration)، فإن بناؤهم يوفر فئة كانونية من الحلول التي تحفظ ثابت الطاقة الفيزيائي.