Anisotropic Inviscid Limit for the Navier-Stokes Equations with Transport Noise Between Two Plates

إليك ملخص تقني مفصل لورقة البحث بعنوان "الحد غير المتجانس (Anisotropic) للحد اللزوجي (Inviscid Limit) لمعادلات نافير-ستوكس مع ضوضاء النقل بين صفيحتين" للباحث دانيال جودير (Daniel Goodair).

1. بيان المسألة

تبحث الورقة في الحد اللزوجي (تلاشي اللزوجة) لمعادلات نافير-ستوكس العشوائية ثلاثية الأبعاد الموضعة على نطاق $\mathcal{O} = \mathbb{T}^2 \times (0, 1)$ (قناة بين صفيحتين أفقيتين) مع شروط حدية ديريكليه (Dirichlet) لعدم الانزلاق ($u=0$ عند $\partial\mathcal{O}$).

تكمن الجدة الجوهرية في التحجيم غير المتجانس (Anisotropic scaling) للزوجة والضوضاء:

• اللزوجة: يتم تقسيم اللزوجة المضطربة إلى مكونات أفقية ($\nu_h$) ورأسية ($\nu_z$). يتم أخذ الحد بحيث $\nu_h \to 0$ والنسبة $\nu_z/\nu_h \to 0$. هذا النموذج يحاكي التدفقات الجيوفيزيائية حيث يهيمن الانتشار الأفقي على الانتشار الرأسي بسبب قوة كوريوليس.
• الضوضاء: النظام مدفوع بـ ضوضاء نقل-تمدد (تكامل ستراتونوفيتش)، مشتقة من إطار عمل "النقل عن طريق التمدد العشوائي باللي" (SALT). ومن الأهمية بمكان أن الضوضاء تم تحجيمها بشكل غير متجانس: المكونات الأفقية للضوضاء تم تحجيمها بواسطة $\sqrt{\nu_h}$ والمكونات الرأسية بواسطة $\sqrt{\nu_z}$.
• التحدي: التحجيم غير المتجانس للضوضاء يدمر خاصية خلو التباعد (divergence-free) لدوال الارتباط المكانية ($\nabla \cdot \tilde{\xi}_i \neq 0$). في ديناميكا السوائل العشوائية القياسية، تعد خاصية خلو التباعد ضرورية لتقديرات الطاقة لضمان إلغاء حدود تصحيح "إيتو-ستراتونوفيتش". غياب هذه الخاصية يخلق عقبة تحليلية كبيرة.

الهدف هو إثبات أن متتالية من الحلول المارتينجالية الضعيفة لهذا النظام تتقارب إلى الحل القوي لمعادلة أويلر الحتمية (مع شرط الانزلاق $w \cdot n = 0$) خلال عمر حل أويلر.

2. المنهجية

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

أ. الإطار الرياضي

• تحويل المعادلة: يتم تحويل معادلة ستراتونوفيتش إلى صيغة إيتو. يؤدي هذا إلى إدخال حد تصحيح "إيتو-ستراتونوفيتش" يتضمن المؤثر $\tilde{G}^2$. وبسبب الضوضاء غير المتجانسة، يولد هذا الحد حدوداً متقاطعة بين المشتقات الأفقية والرأسية.
• مصحح الحدود: اتباعاً لعمل ماسمودي (Masmoudi) الحتمي [55]، يقوم المؤلف ببناء مصحح حدود $B$. هذه الدالة مدعومة بالقرب من الصفائح ($z=0$ و $z=1$) ومصممة بحيث يحقق $w + B$ شرط عدم الانزلاق. بعد ذلك، يتم تحليل الفرق $v = u - w - B$.
• تقريب غاليركين (Galerkin Approximation): بما أن الحلول الضعيفة لمعادلات نافير-ستوكس ثلاثية الأبعاد ليست فريدة، يقوم المؤلف ببناء حلول مارتينجالية ضعيفة عبر تقريبات غاليركين. وللتعامل مع عدم وجود فضاء احتمالي واحد لجميع معاملات اللزوجة، يقوم المؤلف ببناء فضاء احتمالي حاصل على الضرب يدعم متتالية من الحلول $(u^k, W^k)$.

ب. التعامل مع الضوضاء غير الخالية من التباعد

الابتكار التقني الأكثر أهمية هو معالجة الحد $\langle (\tilde{\xi}_i \cdot \nabla) f, g \rangle$.

• في الحالات القياسية حيث $\nabla \cdot \xi_i = 0$، فإن الحد $\langle (\xi_i \cdot \nabla)(\xi_i \cdot \nabla)u, u \rangle + \|(\xi_i \cdot \nabla)u\|^2$ يتلاشى.
• هنا، ولأن $\nabla \cdot \tilde{\xi}_i \neq 0$، فإن هذا الحد لا يتلاشى. يستنتج المؤلف حداً باستخدام متراجحة يونغ (Young's Inequality):
  $$\langle (\tilde{\xi}_i \cdot \nabla)(\tilde{\xi}_i \cdot \nabla)u, u \rangle + \|(\tilde{\xi}_i \cdot \nabla)u\|^2 \leq C(\nu_h + \nu_z)\|u\|^2 + \delta(\nu_h \|\nabla_h u\|^2 + \nu_z \|\partial_z u\|^2)$$
  الحدود التي تتضمن $\delta$ يتم استيعابها في حدود التبديد اللزوجي ($\nu_h \Delta_h$ و $\nu_z \Delta_z$)، بينما يتلاشى الحد المتبقي عندما $\nu \to 0$.

ج. تقديرات الطاقة

يعتمد البرهان على تقدير طاقة الفرق $v_t = u_t - w_t - B_t$. يستنتج المؤلف متطابقة طاقة تتضمن:

1. الحدود غير الخطية: يتم التعامل معها عبر متباينات غالياردو-نيرني (Gagliardo-Nirenberg) والبنية المحددة لمصحح الحدود.
2. الحدود اللزوجية: تُستخدم لاستيعاب الحدود "السيئة" الناجمة عن الضوضاء غير الخالية من التباعد.
3. الحدود العشوائية: يتم التحكم فيها باستخدام متراجحة بوركهولدر-ديفيد-غاندي (Burkholder-Davis-Gundy). يضمن التحجيم غير المتجانس تلاشي حدود الضوضاء في الحد النهائي.

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

1. تحجيم الضوضاء غير المتجانس: تقدم الورقة وتحلل بدقة نموذج ضوضاء نقل حيث تتناسب شدة الضوضاء مع الجذر التربيعي للزوجات الاتجاهية المقابلة ($\sqrt{\nu_h}$ و $\sqrt{\nu_z}$). هذا إعداد مبتكر في ديناميكا السوائل العشوائية.
2. التغلب على الضوضاء غير الخالية من التباعد: يقدم العمل أول معالجة دقيقة لضوضاء النقل-التمدد حيث تكون دوال الارتباط المكانية ليست خالية من التباعد. ويوضح أن "أخطاء" هذه الحدود يمكن التحكم بها بواسطة اللزوجة غير المتجانسة، بشرما كانت النسبة $\nu_z/\nu_h \to 0$.
3. توسيع معيار كاتو (Kato's Criterion): توسع الورقة النتائج الحتمية لماسمودي [55] (التي أثبتت الحد اللزوجي لنافير-ستوكس غير المتجانس بدون ضوضاء) لتشمل الإطار العشوائي. وتؤكد أن التقارب إلى معادلة أويلر يظل قائماً حتى مع وجود ضوضاء النقل، بشرط أن تتلاشى الضوضاء بالمعدل الصحيح.
4. بناء الحلول المارتينجالية: تثبت الورقة وجود حلول مارتينجالية ضعيفة لمعادلات نافير-ستوكس العشوائية غير المتجانسة مع ضوضاء غير خالية من التباعد، وهي نتيجة لم تكن متاحة سابقاً في الأدبيات.

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

تنص النظرية 3.2 على أنه لأي متتاليات من اللزوجات $(\nu_h^k)$ و $(\nu_z^k)$ بحيث $\nu_h^k \to 0$ و $\nu_z^k/\nu_h^k \to 0$:

• يوجد فضاء احتمالي مرشح ومتتالية من الحلول المارتينجالية الضعيفة $(u^k, W^k)$ لمعادلات نافير-ستوكس العشوائية.
• التقارب: تتقارب $u^k$ إلى الحل القوي $w$ لمعادلة أويلر الحتمية في الفضاء $L^2(\Omega; L^\infty([0, T]; L^2_\sigma))$.
• تقارب التدرج: تتقارب التدرجات الموزونة إلى الصفر:
  $$\nu_h^k \sum_{j=1}^2 \|\partial_j u^k\|_{L^2} \to 0 \quad \text{و} \quad \nu_z^k \|\partial_z u^k\|_{L^2} \to 0$$
  وهذا يعني أن تبديد الطاقة في الطبقة الحدية يتلاشى في الحد النهائي، مما يحقق النظير العشوائي لمعيار كاتو.

5. الأهمية

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

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