Local-in-time strong solvability of Navier--Stokes type variational inequalities by Rothe's method

ملخص تقني: القابلية للحل القوي محلياً في الزمن لمتراجحات النوع نافييه-ستوكس التباينية باستخدام طريقة روث (Rothe's Method)

بيان المشكلة
تتناول الورقة البحثية وجود وفرادة الحلول القوية محلياً في الزمن لفئة من المتراجحات التباينية البارامترية في إطار فضاء هيلبرت. تُصاغ المشكلة كبحث عن دالة $u: [0, T] \to V$ بحيث يكون $u(0) = u_0$، ولأي زمن تقريباً $t \in (0, T)$، تتحقق المتراجحة التالية لجميع $v \in V$:
$$(\partial_t u(t), v - u(t)) + a(u(t), v - u(t)) + \langle B(u(t), u(t)), v - u(t) \rangle + \varphi(v) - \varphi(u(t)) \geq (f(t), v - u(t))$$
حيث $V \subset H \subset V'$ هي ثلاثية جيلفاند (Gelfand triple). يمثل الحد $a(\cdot, \cdot)$ صيغة ثنائية خطية محدودة ومتماسكة مرتبطة بمؤثر خطي $A$. ويمثل الحد $B: V \times V \to V'$ نوعاً من اللاخطية من نوع "نافييه-ستوكس" (مؤثر ثنائي خطي محدود)، بينما يمثل $\varphi: V \to (-\infty, +\infty]$ دالة محدبة، ومنتظمة، وشبه مستمرة سفلياً، تمثل اللاخطيات الرتيبة (مثل قيود العوائق أو شروط الاحتكاك الحدودية).

التحدي الرئيسي الذي تعالجه الورقة هو غياب "خاصية الإلغاء" القياسية $\langle B(u, v), v \rangle = 0$، والتي تُطلب عادةً في تحليل معادلات نافييه-ستوكس لاستخلاص تقديرات الطاقة. وينشأ غياب هذه الخاصية في التطبيقات التي تتضمن شروطاً حدودية أوسع، مثل شروط الحدود التسريبية من نوع الاحتكاك (LBCF)، حيث لا يتم فرض عدم النفاذية بشكل صارم أو حيث لا يتم تحديد الضغط.

المنهجية
يستخدم المؤلف طريقة روث (التقطيع الزمني) بدلاً من طريقة غاليركين (التقطيع المكاني). يتضمن النهج ما يلي:

1. التقطيع شبه الضمني (Semi-implicit Discretization): يتم بناء مخطط لخطوات الزمن حيث يتم التعامل مع حد الحمل (convection term) بشكل شبه ضمني. وتحديداً، يتم أخذ سرعة الحمل من الخطوة الزمنية السابقة ($u_{n-1}$)، بينما يظهر الحل $u_n$ بشكل ضمني في الوسيط الثاني لـ $B$ وفي الحد الرتيب $\varphi$. وهذا يختلف عن المخططات الضمنية الكاملة أو تلك التي تتطلب تقليص اللاخطية.
2. تحليل نوع أوسين الساكن (Stationary Oseen-Type Analysis): عند كل خطوة زمنية، تتقلص المشكلة إلى حل متراجحة تباينية ساكنة من نوع أوسين. ويتم إثبات قابلية الحل والانتظام لهذه المسائل الساكنة باستخدام نظرية المؤثرات شبه الرتيبة وفرضيات الانتظام المحددة.
3. التقديرات القبلية (A Priori Estimates): يتم اشتقاق تقديرات موحدة للحلول المنفصلة. ومن الأهمية بمكان أن اشتقاق هذه التقديرات يتطلب قصر الفاصل الزمني إلى زمن وجود محلي $T^* < T$ للتحكم في نمو الحدود اللاخطية في ظل غياب خاصية الإلغاء.
4. مرور الحد (Limit Passage): مع اقتراب الخطوة الزمنية من الصفر $\Delta t \to 0$، تُستخدم حجج التراص (مبرهنة أوبين-ليون) وتقنيات التقارب الضعيف للمرور إلى الحد واستعادة الحل القوي للمسألة المستمرة.

الافتراضات والفرضيات الرئيسية
تضع الورقة النتائج تحت خمس فرضيات محددة (H1–H5):

• (H1) شرط نمو مخفف لـ $B$ يسمح بحد يتضمن معايير في $V$ و $H$ (تحديداً $|\langle B(u, v), v \rangle| \leq C \|u\|_V \|v\|_V \|v\|_H^\beta \|v\|_V^{1-\beta}$)، وهو ما يحل محل خاصية الإلغاء الصارمة.
• (H2) شبه رتابة $B$ بالنسبة للتقارب الضعيف.
• (H3) و (H4) خصائص الانتظام لـ $B$ التي ترسم في $H$ عندما يكون أحد وسيطيه في فضاء ذو انتظام أعلى $W$ (عادةً $H^2$).
• (H5) فرضية الانتظام الإهليلجي للمسألة الساكنة: إذا كان $f \in H$ يحقق المتراجحة التباينية للمؤثر $A + \partial\varphi$، فإن الحل $u$ ينتمي إلى فضاء الانتظام الأعلى $W$. يفترض هذا أن مسألة ستوكس الساكنة المقابلة تمتلك بنية انتظام أفضل من $V$.

النتائج الرئيسية
تثبت الورقة مبرهنتين رئيسيتين تتعلقان بالقابلية للحل القوي محلياً في الزمن:

1. المبرهنة 2.1: لأجل $f \in L^2(0, T; H)$ و $u_0 \in D(\varphi)$، يوجد زمن $T^* \in (0, T]$ وحل فريد $u$ بحيث:
   $$u \in H^1(0, T^*; H) \cap L^\infty(0, T^*; V) \cap L^2(0, T^*; W)$$
   هذه الفئة تقابل إطار الانتظام الأقصى لـ $L^2$.
2. المبرهنة 2.2: تحت افتراضات أقوى ($f \in W^{1,1}(0, T; H)$ و $u_0 \in W \cap D(\partial\varphi)$ مع شروط التوافق)، يوجد حل فريد $u$ بحيث:
   $$u \in W^{1,\infty}(0, T^*; H) \cap H^1(0, T^*; V) \cap L^\infty(0, T^*; W)$$
   هذه الفئة تقابل انتظام كيسيليف-لادجين-لي (Kiselev–Ladyzhenskaya). يحقق الحل المتراجحة التباحية لجميع $t \in [0, T^*)$ مع استبدال المشتق الزمني بالمشتق الأيمن.

التطبيقات والأمثلة
يتم تطبيق الإطار على عدة مسائل ملموسة حيث تفشل خاصية الإلغاء أو لا تُفترض:

• مسائل العوائق في الانتشار-الحمل: بما في ذلك الحالات ذات حقول السرعة المحددة.
• مسائل نيومان غير الخطية: التي تتضمن شروط حدودية فرعية (مثل مسائل سينوري أو الاحتكاك).
• مسائل نافييه-ستوكس مع شروط حدودية من نوع الاحتكاك: وتحديداً شرط الحدود التسريبية من نوع الاحتكاك (LBCF) وشروط الانزلاق، حيث يتم تخفيف شرط عدم النفاذية.
• سوائل بينغهام (Bingham Fluids): مع شروط انزلاق مثالية.

الأهمية والادعاءات
يدعي المؤلف أن هذا العمل يوسع نظرية نوع نافييه-ستوكس للمتراجحات التباينية بثلاث طرق محددة:

1. الأبعاد: يتضمن الحالة ثلاثية الأبعاد ($d=3$)، في حين أن نتائج الحل القوي السابقة غالباً ما اعتمدت على خاصية الإلغاء في البعد الثنائي.
2. الشروط الحدودية: يخفف من شرط اشتراط خاصية الإلغاء $\langle B(u, v), v \rangle = 0$، مما يسمح بشروط حدودية (مثل LBCF) لا تحقق هذه الخاصية.
3. الانتظام: يثبت انتظاماً مكانياً أعلى ($H^2$-type، أي $W$) للحل، بشرط أن تسمح مسألة ستوكس الساكنة المقابلة بهذا الانتظام.

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