A proof of Vishik's nonuniqueness Theorem for the forced 2D Euler equation

إليك ملخص تقني مفصل لورقة "إثبات نظرية فيشيك لعدم الوحدانية لمعادلات أويلر ثنائية الأبعاد القسرية" (A Proof of Vishik's Nonuniqueness Theorem for the Forced 2D Euler Equation) للباحثين أنجيل كاسترو، دانيال فاراكو، فرانسيسكو مينغوال، وماركوس سوليرا.

1. بيان المشكلة

تتناول الورقة مسألة عدم وحدانية الحلول (non-uniqueness of solutions) لمعادلات أويلر ثنائية الأبعاد القسرية في فئة الدوامات $L^1 \cap L^p$ حيث $2 < p < \infty$.

• السياق: تضمن نظرية يودوفيتش (Yudovich's theorem) وحدانية الحلول لمعادلات أويلر ثنائية الأبعاد إذا كانت الدوامة تنتمي إلى $L^\infty$ (أو $L^1 \cap L^\infty$). ومع ذلك، لا يزال من المسائل المفتوحة ما إذا كانت الوحدانية تتحقق لفئة $L^p$ ذات الـ $p$ المحدود في غياب القوة (forcing).
• التحدي: بينما أثبت فيشيك (Vishik) سابقاً عدم الوحدانية لمعادلة أويلر ثنائية الأبعاد القسرية، إلا أن برهانه اعتمد على بناء معقد للغاية لدوامة غير مستقرة تعتمد على ملفات تعريف ذات قانون القوة ($\omega \sim |x|^{-\alpha}$).
• الهدف: يسعى المؤلفون لتقديم برهان أبسط وأكثر سهولة في الوصول إليه لنظرية فيشيك عبر بناء نوع مختلف من الدوامات غير المستقرة (ذات دعم متراص وتدريج ثابت جزئياً في البداية) وإثبات أنها تؤدي إلى عدم الوحدانية في النظام القسري.

2. المنهجية

يتبع البرهان استراتيجية فيشيك المكونة من ثلاث خطوات، لكنه يقدم تبسيطات جوهرية في بناء الدوامة غير المستقرة. ينقسم البرهان إلى ثلاث مراحل رئيسية:

الخطوة 1: بناء دوامة غير مستقرة (عدم الاستقرار الأويلري)

بدلاً من تعديل دوامات قانون القوة، يقوم المؤلفون ببناء ملف تعريف دوامة ثابت جزئياً ثم يعملون على تنظيمه (regularization).

1. فرضية الثبات الجزئي: يعرّفون دوامة متناظرة شعاعياً $\bar{\omega}$ تكون ثابتة في منطقتين حلقيتين وصفر في مكان آخر:
   $$\bar{w}(r) = \begin{cases} c & 0 < r \le r_1 \\ -1 & r_1 < r \le r_2 \\ 0 & r > r_2 \end{cases}$$
   يتم اختيار المعاملات $c, r_1, r_2$ بحيث يكون متوسط الدوامة صفراً (لضمان سرعة $L^2$) ويكون الدعم متراصاً.
2. تحليل الاستقرار الخطي: يحللون معادلة أويلر الخطية حول هذه الحالة الخلفية. بالنسبة للدوامات المتناظرة شعاعياً، يختزل الاستقرار الخطي إلى معادلة رايلي للاستقرار (Rayleigh stability equation).
   • بالنسبة لملف تعريف ثابت جزئياً، يكون المشتق $\partial_r \bar{w}$ عبارة عن مجموع دلتا ديراك عند $r_1$ و $r_2$.
   • يؤدي هذا إلى اختزال مسألة القيم الذاتية لانهائية الأبعاد إلى نظام خطي محدود الأبعاد (مصفوفة $2 \times 2$ تسمى $A$).
   • يقومون بحساب كثير الحدود المميز لـ $A$ صراحةً، ويظهرون أنه بالنسبة لمعاملات محددة (وتردد $n \ge 2$)، تمتلك القيم الذاتية جزءاً حقيقياً موجباً ($\Re \lambda > 0$)، مما يثبت عدم الاستقرار الخطي.
3. التنظيم (Regularization/Fixed Point Argument): بما أن الدوامة ذات الثبات الجزئي ليست سلسة، فإنهم يبنون تقريباً سلساً $\bar{\omega}_\epsilon$ عن طريق تنعيم (mollifying) ملف السرعة بالقرب من نقاط الانقطاع ($r_1, r_2$).
   • يستخدمون حجة النقطة الثابتة (fixed-point argument) في المتغيرات المعاد قياسها لإثبات أنه بالنسبة لقيمة $\epsilon$ صغيرة بما يكفي، تحتفظ الدوامة المنظمة بالقيمة الذاتية غير المستقرة ($\Im z_\epsilon > 0$).
   • ينتج عن ذلك دوامة سلسة، ذات دعم متراص، وغير مستقرة $\bar{\Omega} \in C^\infty_c$.

الخطوة 2: عدم الاستقرار ذاتي التشابه (Self-Similar Instability)

يقوم المؤلفون بدمج الدوامة غير المستقرة $\bar{\Omega}$ في حل ذاتي التشابه لمعادلة أويلر القسرية.

• القياس (Scaling): يقدمون إحداثيات ذاتية التشابه $(\tau, X)$ حيث $\tau = \frac{1}{ab} \log t$ و $X = x / (abt)^{1/a}$.
• الحل الخلفي: يعرفون حلاً خلفياً $\omega_0(t,x) = (abt)^{-1} \bar{\Omega}(X)$ وقوة مقابلة $f$ بحيث يكون $\omega_0$ حلاً دقيقاً.
• الاستمرارية الطيفية: يحللون المؤثر الخطي $L_b$ في الإحداثيات ذاتية التشابه. باستخدام نظرية المؤثرات (خصائص فريدولم والاضطرابات المتراصة)، يثبتون أنه مع اقتراب المعامل $b \to 0$، يتقارب طيف المؤثر ذاتي التشابه $L_b$ إلى طيف مؤثر أويلر $L$.
• النتيجة: بما أن $L$ يمتلك قيمة ذاتية غير مستقرة، فإن $L_b$ يمتلك أيضاً قيمة ذاتية غير مستقرة $\lambda$ مع $\Re \lambda > 0$ لقيم $b > 0$ صغيرة. وهذا يعني وجود حل ينمو أسياً في الزمن ذاتي التشابه $\tau$ (والذي يقابل $t \to 0$).

الخطوة 3: عدم الاستقرار غير الخطي

تتحكم الخطوة الأخيرة في الحدود غير الخطية لضمان استمرار عدم الاستقرار الخطي في المعادلة غير الخطية الكاملة.

• التفكيك: يبحثون عن حل على هيئة $\omega = \omega_0 + \epsilon \omega_{lin} + \epsilon^2 \omega_{cor}$.
• صيغة دوهامل (Duhamel Formula): باستخدام صيغة دوهامل، يعاملون الحدود غير الخطية كقوة مضافة للتصحيح $\omega_{cor}$.
• تقديرات الطاقة: يضعون حدوداً صارمة في فضاء سوبوليف موزون $Y$ (يتضمن $L^2$، وتدرجات $L^4$، ومعايير موزونة).
  • من المهم ملاحظة أن الدعم المتراص للدوامة التي بنوها يبسط هذه التقديرات مقارلة بعمل فيشيك الأصلي.
  • يثبتون أن حد التصحيح $\omega_{cor}$ يتلاشى بشكل أسرع من حد عدم الاستقرار الخطي مع $t \to 0$ (تحديداً $\|\omega_{cor}\| = o(e^{\Re \lambda \tau})$).
• الخلاصة: يسمح هذا ببناء حلين متميزين ($\omega_0$ و $\omega_0 + \epsilon \omega_{lin} + \dots$) يبدآن من نفس البيانات الأولية الصفرية، مما يثبت عدم الوحدانية.

3. المساهمات الرئيسية

1. تبسيط بناء الدوامات غير المستقرة: المساهمة الأساسية هي استبدال بناء فيشيك المعقد لدوامة قانون القوة بـ فرضية ثابتة جزئياً. هذا يختزل التحليل الطيفي للمؤثر الخطي إلى جبر خطي أساسي (حل مسألة القيمة الذاتية لمصفوفة $2 \times 2$).
2. تنظيم النقطة الثابتة: يقدمون حجة نقطة ثابتة انسيابية لتنظيم الدوامة ذات الثبات الجزئي إلى واحدة سلسة مع الحفاظ على عدم الاستقرار، متجنبين المطابقة التقاربية المعقدة المطلوبة في الأعمال السابقة.
3. برهان مكتفٍ بذاته: تقدم الورقة برهاناً أكثر شفافية واكتفاءً ذاتياً لنظرية فيشيك، مما يجعل آلية عدم الوحدانية (عبر القوة وعدم الاستقرار ذاتي التشابه) أكثر سهولة للفهم الرياضي.
4. المتانة للتعميمات: يشير المؤلفون إلى أن بناؤهم متين ومرن، مما يوحي بإمكانية تكييفه مع سياقات أكثر تفردًا مثل معادلات السطح شبه الجيوستروفي (SQG) المعممة، حيث يكون قانون بيو-سافار غير محلي ومنفرد.

4. النتائج الرئيسية

• النظرية 1.1: لأي $2 < p < \infty$، توجد قوة سلسة ذات دعم متراص $f \in L^1_t(L^1 \cap L^p)$ بحيث تسمح معادلة أويلר ثنائية الأبعاد القسرية مع بيانات أولية صفرية ($\omega|_{t=0} = 0$) بوجود حلين متميزين على الأقل في الفئة $L^\infty_t(L^1 \cap L^p)$.
• الدقة (Sharpness): توضح هذه النتيجة دقة نظرية يودوفيش للوحدانية، حيث تظهر أن الوحدانية تفشل فوراً إذا سُمح للدوامة بأن تكون في $L^p$ ($p < \infty$) بدلاً من $L^\infty$، بشرط وجود قوة مناسبة.
• الانتظام (Regularity): الحلول المبنية سلسة ($C^\infty$) لـ $t > 0$، وإن كان الانتظام يتدهور مع اقتراب $t \to 0$.

5. الأهمية

• الوضوح النظري: من خلال تبسيط بناء "بذرة" الدوامة غير المستقرة، تزيل الورقة الغموض عن آلية عدم الوحدانية في المعادلات المائعية القسرية. فهي توضح أن الصعوبة الجوهرية تكمن في الخصائص الطيفية للمؤثر الخطي، والتي يمكن التقاطها عبر ملفات تعريف هندسية بسيطة.
• التأثير على نافيير-ستوكس: يسلط المؤلفون الضوء على أن بناء الدوامة غير المستقرة الخاص بهم يتوافق مع متطلبات إثبات عدم الوحدانية لحلول ليري (Leray solutions) لمعادلات نافيير-ستوكس ثلاثية الأبعاد القسرية (كما فعل ألبريتون، بروي، وكولومبو)، مما يقدم مساراً بديلاً وربما أبسط لهذه النتيجة.
• الاتجاهات المستقبلية: تفتح المنهجية الباب للتحقيق في عدم الوحدانية في معادلات أخرى من نوع السكالر النشط، وتحديداً معادلة السطح شبه الجيوستروفي (SQG) وتعميماتها، حيث يمثل غياب التنعيم في العلاقة بين السرعة والدوامة تحديات جديدة.

باختما، تقدم هذه الورقة برهاناً صارماً، مبسطاً، وأنيقاً لعدم الوحدانية لمعادلة أويلر ثنائية الأبعاد القسرية، مستفيدة من بناء دوامة ثابتة جزئياً لتجاوز التعقيدات التقنية للبراهين السابقة مع الحفاظ على الرؤية الفيزيائية الجوهرية لعدم الاستقرار ذاتي التشابه.