On Lions' density patch problem at a critical level of regularity

إليك ملخص تقني مفصل للورقة البحثية بعنوان "حول مشكلة رقعة الكثافة لليونز عند مستوى انتظام حرج" (On Lions' Density Patch Problem at a Critical Level of Regularity) من إعداد ستيفان شكوندريتش وأليساندرو فيوليني.

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

تتناول الورقة البحثية مشكلة رقعة الكثافة (density patch problem) لمعادلات نافييه-ستوكس غير المتجانسة غير القابلة للانضغاط في بعدين فضاءيين ($\mathbb{R}^2$). يتضمن التكوين الفيزيائي منطقة محدودة $D \subset \mathbb{R}^2$ يشغلها سائل متجانس، محاطة بفراغ ($\rho = 0$). يتطور السائل وفقًا للنظام:
$$\begin{cases} \partial_t(\rho u) + \text{div}(\rho u \otimes u) - \nu \Delta u + \nabla P = 0, \\ \partial_t \rho + \text{div}(\rho u) = 0, \\ \text{div } u = 0, \end{cases}$$
مع بيانات أولية $\rho(0, x) = \mathbb{1}_D$ (الدالة المميزة لنطاق ليبشيتز محدود) و $u(0, x) = u_0$.

السؤال المركزي، الذي طرحه في الأصل ب.-ل. ليونز، هو ما إذا كان الانتظام الهندسي للواجهة (حدود الرقعة) يتم الحفاظ عليه بمرور الوقت. وتحديدًا، إذا كان النطاق الأولي $D$ يمتلك حدودًا من نوع ليبشيتز (أو $C^{1,\gamma}$)، فهل يحافظ النطاق المتطور $D_t$ على هذا الانتظام لجميع قيم $t > 0$؟

يركز المؤلفان على إعداد الانتظام الحرج (critical regularity) حيث تنتمي السرعة الأولية $u_0$ إلى فضاء بيزوف المتجانس $\dot{B}^0_{2,1}(\mathbb{R}^2)$. هذا الفضاء حرج لأنه ثابت تحت القياس الطبيعي لمعادلات نافييه-ستوكس، ويمثل العتبة التي تفشل عندها طرق طاقة $L^2$ القياسية في التحكم في هندسة التدفق.

2. المنهجية والأفكاء الرئيسية

يطور المؤلفان إطارًا تحليليًا مبتكرًا يجمع بين عدة تقنيات متقدمة للتغلب على نقص التكامل لِحقل السرعة خارج الرقعة وتدهور معادلة الزخم في منطقة الفراغ.

أ. متباينات غالياردو-نيرني-نيكولسون المحلية

تتمثل إحدى الصعوبات الرئيسية في البعدين في أن تقديرات الطاقة القياسية لا توفر تكامل $L^p$ للسرعة خارج الرقعة (على عكس البعد الثالث حيث يساعد تضمين سوبوليف $H^1 \hookrightarrow L^6$). يثبت المؤلفان بديلًا محليًا وموزونًا زمنيًا لمتباينة غالياردو-نيرني-نيكولسون.

• يظهران أن دعم الكثافة ينتشر بمعدل $\sqrt{t}$، أي أن $\text{supp}(\rho(t)) \subset D + B_{C\sqrt{t}}(0)$.
• داخل هذا الشريط المتوسع، يستنتجان تقديرات من الشكل:
  $$t^{\frac{1}{2} - \frac{1}{p}} \|v\|_{L^p(D_{R,t})} \lesssim t^{1/2} \|\nabla v\|_{L^2} + \|\sqrt{\rho} v\|_{L^2}.$$
  يسمح هذا باستعادة التكامل الحرج محليًا في المكان والزمان، وهو أمر ضروري للتعامل مع الحدود غير الخطية وإثبات الوحدانية.

ب. التفكيك الذري و"اللصق"

لبناء حلول بالانتظام المطلوب من بيانات $L^2$، يستخدم المؤلفان استراتيجية التفكيك الذري (atomic decomposition).

• يقومان بتفكيك السرعة الأولية $u_0 \in L^2$ إلى مجموع من "الذرات" $u_{0,j}$ التي تنتمي إلى فضاءات دون حرجة $\dot{H}^\eta \cap \dot{H}^{-\eta}$.
• يحلان أنظمة نقل-انتشار خطية لكل ذرة.
• من خلال "لصق" هذه الحلول معًا، يبنيان حلاً عالميًا يحقق تساوي الطاقة وخصائص الاستمرارية القوية ($\sqrt{\rho}u \in C([0, \infty); L^2)$)، وهي خصائص لا تضمنها عمليات بناء الحلول الضعيفة القياسية (ليري-هوبف) في وجود الفراغ.

ج. تحويل غاليلي والتقديرات التناقصية

لإثبات انتظام ليبشيتز للسرعة ($\nabla u \in L^1_t L^\infty_x$)، وهو المطلوب للحفاظ على هندسة الرقعة، يستخدم المؤلفان تحويل غاليلي.

• يعرّفان إطارًا متحركًا بالنسبة للزخم المحفوظ $M_j$ لكل مكون ذري.
• في هذا الإطار المتحرك، يكون للحل زخم متوسط صفري، مما يسمح باستخدام متباينات من نوع بوانكاريه للحصول على معدلات تناقص أسرع لنيوفات سوبوليف السالبة.
• تتغلب هذه التقنية على العائق المتمثل في أن بيانات $L^2$ الأولية تؤدي عادةً إلى تناقص غير قابل للتكامل ($\sim 1/t$) لتدرج السرعة. من خلال إزالة مكون الحركة الصلبة، يثبتان أن التشوه المتبقي يتناقص بسرعة كافية لضمان $\int_0^\infty \|\nabla u(t)\|_{L^\infty} dt < \infty$.

د. الوحدانية الضعيفة-القوية

يثبت المؤلفان نتيجة الوحدانية الضعيفة-القوية. إذا كان أحد الحلول هو "حل بيزوف" (المبني) (حيث $\nabla u \in L^1_t L^\infty_x$) والآخر هو أي حل ضعيف "قوي فوري"، فإنهما يتطابقان. يعتمد هذا على متباينة طاقة نسبية مكيفة مع إعداد الرقعة، باستخدام تقديرات التكامل المحلية للتحكم في حدود الخطأ.

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

theorem 1.1 (الوجود الجيد والانتظام)

للبيانات الأولية $\rho_0 = \mathbb{1}_D$ (نطاق ليبشيتز) و $u_0 \in \dot{B}^0_{2,1}(\mathbb{R}^2)$:

1. الوجود والوحدانية: يوجد حل فريد عالمي $(\rho, u)$.
2. انتشار الانتظام: تحقق السرعة $\nabla u \in L^1((0, \infty); L^\infty(\mathbb{R}^2))$. وبناءً على ذلك، فإن خريطة التدفق $X(t, \cdot)$ هي مستمرة ليبشيتز، ويظل النطاق $D_t = X(t, D)$ نطاق ليبشيتز لجميع قيم $t \geq 0$.
3. الانتظام الأعلى: إذا كانت $u_0 \in \dot{B}^\gamma_{2,1}$ لـ $\gamma \in (0, 1)$، فإن $\nabla u \in L^1_t C^\gamma_x$، ويتم الحفاظ على رقعات $C^{1,\gamma}$.

Theorem 1.7 (التقارب طويل الأمد)

يظهر الحل سلوكًا تقاربيًا محددًا:

1. الحركة الصلبة: يتجه حقل السرعة بسرعة أسية نحو متوسط الزخم الثابت $M$ داخل الرقعة:
   $$\|u(t) - M\|_{L^2(D_t)} \lesssim e^{-\lambda t}.$$
2. النطاق التقاربي: تتقارب الرقعة (بمعنى هاوسدورف) نحو نطاق حدي $D_\infty$ بعد طرح الإزاحة الصلبة $Mt$. تتقارب خريطة التدفق بانتظام نحو خريطة $X_\infty$ تحفظ القياس وذات ليبشيتز ثنائية:
   $$\|X(t, \cdot) - Mt - X_\infty(\cdot)\|_{L^\infty(D)} \to 0 \quad \text{عندما } t \to \infty.$$
   يشير هذا إلى أن كل تشوه للرقعة يحدث ضمن نافذة زمنية محدودة، وأن الديناميكيات طويلة الأمد هي مجرد ترجمة صلبة.

4. الأهمية والمساهمات

• حل سؤال ليونز عند الانتظام الحرج: هذه هي أول نتيجة تثبت الحفاظ العالمي لانتظام ليبشيتز (و $C^{1,\gamma}$) لرقعات الكثافة في إطار القياس الحرجي ($\dot{B}^0_{2,1}$) في وجود الفراغ. تطلبت النتائج السابقة انتظامًا أعلى (مثل $H^1$) أو كانت مقتصرة على الإعدادات غير الفراغية.
• التغلب على عقبات التكامل في البعدين: توفر الورقة آلية قوية للتعامل مع نقص التكامل العالمي لـ $L^p$ لرقع السوائل في البعدين من خلال استغلال سرعة الانتشار المحدودة للدعم والتقديرات المحلية.
• الصلابة التقاربية: إن توصيف السلوك طويل الأمد كحركة صلبة مع تشوه إجمالي محدود يعد رؤية فيزيائية هامة. فهو يوضح أن اللزوجة "تجمّد" شكل الرقعة فعليًا بعد فترة انتقالية، تاركة فقط حفظ الزخم ليدفع الحركة.
• الابتكار المنهجي: يوفر الجمع بين التفكيك الذري، وإزاحات غاليلي لإزالة الأنماط الصلبة، وتقديرات الطاقة النسبية المنقحة، مجموعة أدوات قوية لدراسة السوائل غير المتجانسة مع الفراغ، والتي يمكن تطبيقها على مشاكل انتظام حرجة أخرى.

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