$L^p$ Stability of Vortex Patches in Two Dimensional Domains

ملخص تقني: استقرار $L^p$ للرقع الدوامية في النطاقات ثنائية الأبعاد

بيان المشكلة
يتقصى هذا البحث الاستقرار المداري للرقع الدوامية (vortex patches) التي تحكمها معادلات أويلر غير القابلة للانضغاط في بعدين على نطاقات ثابتة $\Omega \subseteq \mathbb{R}^2_+$. تتطور الدوامية $\omega$ وفقاً لـ $\partial_t \omega + u \cdot \nabla \omega = 0$ مع شروط حدود الانزلاق (slip boundary conditions). وبينما يمكن للحلول العامة لمعادلات أويلر ثنائية الأبعاد أن تظهر عدم استقرار (على سبيل المثال، النمو الأسي المزدوج لتدرجات الدوامية)، يمكن إثبات الاستقرار لفئات محددة من البيانات الأولية باستخدام الطرق التباينية.

التحدي المحدد الذي يعالجه البحث هو غياب نظرية موحدة لاستقرار $L^p$ للرقع الدوامية في النطاقات ثنائية الأبعاد العامة التي تعمل دون قيود مسبقة على $L^1$ أو $L^p$ للدوامية. كانت الأعمال السابقة محدودة بقيود محددة:

• أثبت Abe و Choi [1] استقرار ثنائيات قطب لام (Lamb dipoles) في نصف المستوى، لكنهما استلزما قيداً على $L^1$.
• أزال Abe و Choi و Jeong [2] قيد $L^1$، لكن عملهما اقتصر على إطار $L^2$.
• وسع Dong و Luo [9] النتائج لتشمل الأشرطة (strips) ونطاقات الحجم المحدود الضعيفة، لكنهما احتفظا بقيد $L^1$ واقتصرت نتائجهما على استقرار $L^2$.

المنهجية
يستخدم المؤلف إطار عمل تبايني للطاقة المعاقبة (penalized energy variational framework). حيث يعرّف دالة الطاقة المعاقبة كالتالي:
$$E_{p,\lambda}[\omega] = E[\omega] - \frac{1}{p}\lambda \|\omega\|_p^p$$
حيث $E[\omega]$ هي الطاقة الحركية، و $\lambda > 0$ هو معامل. تركز الدراسة على مسألة التقليل (minimization problem):
$$I_{\mu,\lambda}(p) = \inf_{\omega \in K_\mu} \{-E_{p,\lambda}[\omega]\}$$
حيث تتكون الفضاء المقبول $K_\mu$ من دواميات غير سالبة ذات عزم أول ثابت (اندفاع/impulse) $\int_\Omega x_2 \omega \, dx = \mu$، ولكن من الضروري التأكيد على أنها دون فرض حد علوي لـ $L^1$ أو $L^p$.

تتضمن المنهجية الجوهرية ثلاثة مكونات تقنية رئيسية:

1. تقديرات الطاقة ونطاقات المعاملات: إثبات حدود $L^p$ موحدة للمتتاليات المقللة باستخدام متباينة Hölder ومتباينة Young، وتحديد العتبات الحرجة لـ $p$ (تحديداً $p > 4/3$) وشروط $\lambda$ لضمان أن يكون الحد الأدنى سالباً.
2. وجود المقللات (Minimizers): إثبات وجود المقللات وتراصها (compactness). يتطلب ذلك التغلب على فقدان قياس المساحة (spatial scaling) وعدم التباين بالانتقال (translation invariance) في النطاقات العامة.
   • لنصف المستوى ($\mathbb{R}^2_+$): تُستخدم حجج القياس (scaling arguments) لتقليص المسألة إلى صيغة قياسية.
   • للأشرطة ($S$): تم تطوير حجة تراص (concentration-compactness) منقحة. يستخدم المؤلف تناظر Steiner لإثبات التحت-إضافة (subadditivity) الصارمة لدالة الطاقة، مما يستبعد حالة "الانقسام" (dichotomy) في مبدأ التراص الخاص بـ Lions.
   • لنطاقات الحجم المحدود الضعيفة ($D$): يتجاوز المؤلف الحاجة إلى التحت-إضافة الصارمة عبر استغلال معدل الاضمحلال $q$ المتأصل في هندسة النطاق (تحديداً شرط الحجم $\int_{D_l} x_2^q dx < \infty$) لفرض التراص بشكل مباشر.
3. الاستقرار المداري: إثبات أن مجموعة المقللات مستقرة مدارياً تحت ديناميكا أويلر. يعتمد هذا على حفظ معايير $L^p$ والعزم الأول على طول مسارات الجسيمات، جنباً إلى جنب مع نظرية التقارب العامة للمتتاليات المقللة.

المساهمات والنتائج الرئيسية
يؤسس هذا البحث نظرية موحدة لاستقرار $L^p$ لثلاثة أنواع محددة من النطاقات: نصف المستوى، والأشرطة بأي عرض، والنطاقات التي تحقق شرط الحجم المحدود الضعيف.

• الوجود والتراص (النظرية 1.4): يثبت المؤلف أنه بالنسبة لمعاملات مناسبة لـ $p, \mu, \lambda$، فإن دالة الطاقة المعاقبة تسمح بوجود مقلل. كل متتالية مقللة تمتلك متتالية جزئية تتقارب بقوة في $L^p$ وفي $L^1$ (بالنسبة للعزم الموزون) إلى مقلل $\omega$.
  • لنصف المستوى $\mathbb{R}^2_+$: صالح لـ $p > 4/3$.
  • للأشرطة: صالح لـ $p > 2$ مع أي $\lambda > 0$، أو لـ $p = 2$ بشرط أن يكون $\lambda > 2\pi^4/L^2$.
  • لنطاقات الحجم المحدود الضعيفة: صالح لـ $p > 4/3$ إذا كان معدل الاضمحلال $q \in [0, 2]$، ولـ $4/3 < p \le q/(q-1)$ إذا كان $q \in (2, 4)$.
• الخصائص الهيكلية: تحقق المقللات المعادلة الإهليلجية $\omega^{p-1} = \lambda(\psi - Wx_2)_+$، حيث $\psi$ هي دالة التيار (stream function) و $W$ ثابت موجب تماماً. كما يُظهر البحث أن المقللات لها دعم متراص (compact support) وتمتلك انتظاماً محدداً ($C^{m,\alpha}$).
• الاستقرار المداري (النظرية 1.5): مجموعة المقللات $S_{\mu,\lambda}$ مستقرة مدارياً. لأي $\epsilon > 0$، يوجد $\delta > 0$ بحيث إذا كانت البيانات الأولية ضمن $\delta$ من مجموعة المقللات (من حيث مسافة $L^p$ ومسافة $L^1$ الموزونة)، فإن الحل يظل ضمن $\epsilon$ من المجموعة لجميع الأوقات.
• التوسيع مع قيد $L^1$ (النظرية 1.7): كملحق، يقدم البحث نتائج استقرار لنطاق الحجم المحدود الضعيف $D$ لجميع قيم $q \ge 0$ و $p > 1$، بشرط فرض حد علوي لـ $L^1$ على الفضاء المقبول.

الأهمية
يدعي البحث أنه يجمع ويوسع المناهج المتبعة في أعمال Abe و Choi [1]، و Abe وآخرون [2]، و Dong و Luo [9] في إطار شامل. تكمن أهميته الأساسية في:

1. إزالة القيود: نجح في إزالة شرط الحد العلوي لـ $L^1$ المسبق لمتطلبات الاستقرار في حالات نصف المستوى والشريط، كما وسع نتائج $L^2$ لتشمل $L^p$ العامة ($p > 4/3$) دون هذه القيود.
2. إطار موحد: يقدم نظرية موحدة تغطي ثلاثة أطر هندسية متميزة (نصف المستوى، الشريط، ونطاقات الحجم المحدود الضعيفة العامة) والتي كانت تُعالج سابقاً بشكل منفصل أو بقيود معينة.
3. استراتيجيات مبتكرة: يقدم العمل استراتيجيات جديدة للتعامل مع فقدان قياس المساحة وعدم التباين بالانتقال. وبشكل خاص، يمثل استخدام معدلات اضمحلال النطاق لفرض التراص في نطاقات الحجم المحدود الضعيفة، واستخدام حجج تناظر Steiner المنقحة للأشرطة، تقدماً منهجياً كبيراً مقارنة بتطبيقات التراص (concentration-compactness) السابقة.

يشير المؤلف إلى أنه بينما توسع النتائج بشكل كبير نطاق الهياكل الدوامية المستقرة المثبتة، لا تزال هناك قيود، لا سيما فيما يتعلق بالعتبة الحرجة $p=4/3$ وضرورة وجود قيود $L^1$ لنطاقات معينة في النطاقات العامة. ويختتم البحث بتحديد الأسئلة المفتوحة المتعلقة بالشروط الهندسية المثلى، ومسائل الحدود الحرة، وفرادة (uniqueness) وهيكل المقللات الدقيق.