On the non-stationary Navier-Stokes flows and reiterated homogenization

ملخص تقني: حول تدفقات من نوع نافييه-ستوكس غير المستقرة والتجانس المتكرر

بيان المشكلة
تتقصى هذه الورقة التجانس المتكرر الحتمي (deterministic reiterated homogenization) لمعادلات من نوع نافييه-ستوكس غير المستقرة (التي تعتمد على الزمن) والمعرفة على مجال محدود ثابت $\Omega \subset \mathbb{R}^N$ (تحديداً $N=2$) عبر فاصل زمني $]0, T[$. تصف المعادلات الحاكمة تدفق السوائل مع معاملات لزوجة تتغير دورياً وبسرعة. يتضمن التدرج النوعي (scaling) لهذه المعاملات مقياسين مجهريين متمايزين، $\varepsilon$ و $\varepsilon^2$، مما يؤدي إلى تعريف:
$$a^\varepsilon_{ij}(x) = a_{ij}\left(\frac{x}{\varepsilon}, \frac{x}{\varepsilon^2}\right)$$
حيث أن $a_{ij}$ هي دوال مستمرة، ومحدودة، ومتماثلة، وإهليلجية منتظمة معرفة على حاصل الضرب لخليتين دوريتين $Y \times Z$. تركز الدراسة على مسألة القيمة الحدية كوشي-ديريكليه (Cauchy-Dirichlet) لسرعة $u^\varepsilon$ وضغط $p^\varepsilon$، والتي تتميز بالمعادلة:
$$\frac{\partial u^\varepsilon}{\partial t} + P^\varepsilon u^\varepsilon + \sum_{j=1}^N u^\varepsilon_j \frac{\partial u^\varepsilon}{\partial x_j} + \nabla p^\varepsilon = f, \quad \text{div } u^\varepsilon = 0$$
مع شروط أولية وحدية صفرية. الهدف الرئيسي هو تحديد السلوك العياني (macroscopic behavior) للمحلول $(u^\varepsilon, p^\varepsilon)$ عندما يؤول $\varepsilon \to 0$.

المنهجية
يعتمد التحليل على طريقة التقارب ثنائي المقياس المتكرر (reiterated two-scale convergence)، وهي امتداد لتقنية التقارب ثنائي المقياس القياسية المصممة للتعامل مع مقاييس تذبذب متعددة. تسير المنهجية عبر الخطوات التالية:

1. الإطار الوظيفي: يتم صياغة المسألة في فضاءات سوبوليف المناسبة، وتحديداً $W(0, T)$، التي تنغرس باستمرار في $C(0, T; H)$ وتنكبض في $L^2(0, T; H)$. تُستخدم الفضاء $V$ (الحقول المتجهة خالية التباعد) ومزدوده للتعامل مع قيد عدم الانضغاط.
2. التقديرات القبلية (A Priori Estimates): باستخدام تماسك الصيغة الثنائية الخطية المرتبطة بالمؤثر $P^\varepsilon$ وخصائص الصيغة الثلاثية الخطية التي تمثل حد الحمل، يضع المؤلفون حدوداً موحدة لمجموعة الحلول $(u^\varepsilon)$ في $W(0, T)$ ولـ $(p^\varepsilon)$ في $L^2(0, T; L^2(\Omega))$.
3. الرصانة والتقارب: بالاستفادة من نتائج الرصانة (compactness) للتقارب ثنائي المقياس المتكرر (المبرهنتين 1 و 2)، يستخرج المؤلفون متتالية تتقارب إلى ثلاثي حدّي $(u_0, u_1, u_2)$. حيث يمثل $u_0$ الحد العياني، بينما يمثل $u_1$ و $u_2$ المصححات المجهرية من الدرجة الأولى والثانية المرتبطة بالمقياسين $y = x/\varepsilon$ و $z = x/\varepsilon^2$ على التوالي.
4. اشتقاق النموذج المجانس: من خلال اختبار الصيغة التباينية باستخدام دالات اختبار متذبذبة محددة وتمرير الحد، يشتق المؤلفون نظاماً مقترناً من المعادلات. يتضمن ذلك حل مسائل الخلية المحلية على خلايا الدورية $Y$ و $Z$ لتعريف دالات المصحح $\chi_{ik}$ و $\eta_{ik}$.
5. تحليل المصحح: تحت فرضيات إضافية على المجال والبيانات، يشتق المؤلفون نتيجة للمصحح، مما يثبت أن تدرج الحل الأصلي يمكن تقريبه بمجموع تدرجات الحل العياني والمصححات المجهرية الموزونة.

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

• النموذج المجانس العياني: تشتق الورقة مسألة حدية عيانية فريدة (المبرهنة 5) من نوع نافييه-ستوكس. المعادلة الحدية لسرعة $u_0$ والضغط $p_0$ هي:
  $$\frac{\partial u_0}{\partial t} + Q u_0 + \sum_{j=1}^N u^0_j \frac{\partial u_0}{\partial x_j} + \nabla p_0 = f$$
  حيث أن $Q$ هو مؤثر تفاضلي مجانس بمعاملات ثابتة $q_{ijkh}$. هذه المعاملات معرفة صراحة عبر تكاملات تتضمن المعاملات الأصلية $a_{ij}$ وحلول مسائل الخلية على $Y$ و $Z$.
• الوحدانية: تثبت الورقة وحدانية الحل للمسألة المجانسة المشتقة (الخاصية 8)، مما يضمن جودة المسألة (well-posedness) للنموذج العياني.
• مبرهنة التقارب: يُثبت أن $u^\varepsilon$ يتقارب ضعيفاً إلى $u_0$ في $W(0, T)$ وأن التدرجات تتقارب تكرارياً بالمعنى ثنائي المقياس إلى مجموع التدرجات العيانية والمجهرية (المبرهنة 4).
• نتيجة المصحح: يتم إثبات نتيجة تقارب قوي للتدرجات (المبرهنة 6). وتحديداً، تحت فرضيات رصانة مناسبة، يتلاشى الخطأ بين التدرج الفعلي $\nabla u^\varepsilon$ والتقريب $\nabla u_0 + \varepsilon \nabla_y u_1 + \varepsilon^2 \nabla_z u_2$ في معيار $L^2$ مع $\varepsilon \to 0$.

الأهمية والنطاق
يضع المؤلف هذا العمل كمساهمة في التحليل الرياضي لتدفقات من نوع نافييه-ستوكس ذات هياكل لزوجة معقدة ومتعددة المقاييس. وتزعم الورقة أنها الأولى التي تتناول التجانس المتكرر للتدفقات غير المستقرة (غير الثابتة زمنياً) غير الخطية في إطار حتمي مع التدرج المحدد $a_{ij}(x/\varepsilon, x/\varepsilon^2)$.

يستند الدافع وراء الدراسة إلى الحاجة لنمذجة التدفقات متعددة الأطوار ذات اللزوجات المتغيرة مكانياً. وبينما يشير المؤلف إلى إمكانية تكييف هذا النهج مع سلوكيات أكثر عمومية (غير دورية) للزوجات، فإن العمل الحالي يقتصر بصرامة على الإطار الدوري.

تحافظ الورقة على نطاق متواضع فيما يتعلق بالمعاملات المعتمدة على الزمن. يصرح المؤلف صراحة بأن الدراسة تفترض أن معاملات اللزوجة $a_{ij}$ تعتمد فقط على المتغيرات المكانية، وليس الزمن. ويقر الخاتمة بأن توسيع هذه النتيات لتشمل لزوجات معتمدة على الزمن هو مهمة صعبة بسبب نقص النتائج الراسخة حول الوحدانية والتقديرات لمثل هذه الحالات في الأدبيات، مشيراً إلى أن عملية التجانس الحالية تظل صالحة بشرط إمكانية إثبات تلك التقديرات ونتائج الوحدانية.

يبني هذا العمل على دراسات المؤلف السابقة حول التدفقات المستقرة (steady-state) والتجانس أحادي المقياس، وكذلك على نظرية التقارب ثنائي المقياس المتكرر التأسيسية التي طورها باحثون آخرون (المشار إليهم بـ [5]، [6]، [8]). توفر النتائج أساساً رياضياً صارماً لتقريب ديناميكا السوائل المعقدة وسريعة التذبذب بنموذج عياني فعال وأبسط.