A domain hemivariational inequality for 2D and 3D convective Brinkman-Forchheimer extended Darcy equations

إليك ملخص تقني مفصل للورقة البحثية بعنوان "متباينة هيميفارياشينال (Hemivariational Inequality) للمجال لمعادلات برينكمان-فوركمايمر الممتدة لتدفق كونسكتيف دارسي في الأبعاد 2 و3" من إعداد جيوتي جيندال، ساغار غوتام، ومانيل ت. موهان.

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

تتقصى هذه الورقة التحليل الرياضي لمعادلات "برينكمان-فوركمايمر الممتدة لتدفق كونسكتيف دارسي" (CBFeD) غير المستقرة (التي تعتمد على الزمن) في مجالات محدودة ($D \subset \mathbb{R}^d$ حيث $d=2,3$). تقوم هذه المعادلات بنمذجة تدفق السوائل اللزجة غير القابلة للانضغاط عبر أوساط مسامية مشبعة، مع دمج آليات التخميد والضخ.

النظام الحاكم يُعطى بـ:
$$\begin{cases} \partial_t y - \mu \Delta y + (y \cdot \nabla)y + \alpha|y|^{q-1}y + \beta|y|^{r-1}y + \nabla \pi = f + g, \\ \nabla \cdot y = 0, \\ y = 0 \text{ في } \partial D, \quad y(0) = y_0, \end{cases}$$
حيث:

• $y$ هو حقل السرعة، $\pi$ هو الضغط، و $f$ هي قوة خارجية معطاة.
• $\mu > 0$ هي اللزوجة الفعالة (معامل برينكمان).
• $\beta > 0$ هو معامل فوركمايمر (حد التخميد).
• $\alpha < 0$ يمثل آلية ضخ (تعاكس عملية التخميد).
• $r \ge 1$ هو أس الامتصاص (حيث $r=3$ هي الحالة الحرجة).
• $q \in [1, r)$ يتحكم في قوة الضخ.

جدة النموذج:
قوة التأثير $g$ ليست دالة قياسية، بل تحقق متباينة هيميفارياشينال للمجال (Domain HVI):
$$-g(x,t) \in \partial_C j(x, t, y(x,t))$$
حيث $\partial_C j$ هو الاشتقاق الفرعي لكلارك (Clarke subdifferential) لجهد فائق (superpotential) محلي ليبشيتز (locally Lipschitz). وخلافاً لمتباينات HVI الحدودية (حيث يحدث عدم الانتظام عند الحدود فقط)، فإن هذه الـ HVI للمجال تعني أن التأثيرات غير المنتظمة وغير المحدبة تؤثر على النظام في كامل الجزء الداخلي للمجال المكاني $D$.

2. المنهجية

يستخدم المؤلفون إطاراً تحليلياً صارماً يجمع بين التحليل الدالي، وحساب غير المنتظم، ومخططات التقريب.

• الإطار الدالي: تم وضع المشكلة في "ثلاثية جيلفاند" (Gelfand triple) تتضمن فضاءات سوبوليف $V$ (المتجهة لـ $H^1_0$ ذات التباعد الصفري)، و $H$ (المتجهة لـ $L^2$ ذات التباعد الصفري)، وفضاءات $L^p$. كما يعرّف المؤلفون مؤثرات خطية، وثنائية الخطية، وغير خطية تقابل مؤثر لابلاس، والكونسـتـكـشن (convection)، والامتصاص/الضخ.
• تنظيم اشتقاق كلارك (Clarke Subdifferential Regularization): بما أن اشتقاق كلارك الفرعي متعدد القيم وغير منتظم، فلا يمكن تطبيق طرق "غاليركين" القياسية مباشرة. لذا، استحدث المؤلفون تقنية تنظيم:
  1. تقريب الدالة المتقطعة/غير المنتظمة $\theta$ (المتعلقة بالاشتقاق الفرعي) باستخدام "مُلطّف" (mollifier) لإنشاء دالة منتظمة أحادية القيمة $\theta_\varepsilon$.
  2. بناء عائلة من المسائل ذات الأبعاد المحدودة والمنتظمة.
• تقريب غاليركين (Galerkin Approximation):
  • يتم إسقاط المشكلة ذات الأبعاد اللانهائية على فضاءات فرعية ذات أبعاد محدودة، والتي تمتد عبر أول $n$ من الدوال الذاتية لمؤثر ستوكس.
  • وجود الحلول التقريبية: تم إثباته باستخدام نظرية كاراثيودوري للوجود في المعادلات التفاضلية العادية.
  • التقديرات القبلية (A Priori Estimates): تم استخراج تقديرات طاقة موحدة للحلول التقريبية. وتتمثل الصعوبة الرئيسية في التعامل مع الحد التكامل الذي يتضمن الاشتقاق الفرعي المنظم؛ حيث استخدم المؤلفون لمة محددة (اللمة 3.6) للحد من هذا الحد دون فرض شروط مقيدة على اللزوجة $\mu$.
• العبور إلى النهاية (Passage to the Limit):
  • باستخدام نظرية بانخ-ألاوغو (Banach-Alaoglu)، تم استخراج متتاليات فرعية متقاربة ضعيفاً.
  • استُخدمت لمة "أوبن-لاين" (Aubin-Lions) للتماسك (compactness lemma) للحصول على تقارب قوي في $L^2(0,T; H)$، وهو أمر بالغ الأهمية للتعامل مع حد الكونسـتـكـشن غير الخطي $(y \cdot \nabla)y$.
  • تم إثبات أن النهاية تحقق متباينة الهيميفارياشينال الأصلية باستخدام خصائص اشتقاق كلارك الفرعي ونظرية إيغوروف (Egorov's theorem).

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

أ. وجود الحلول الضعيفة

تثبت الورقة وجود حلول ضعيفة لمعادلات CBFeD غير المستقرة في الأبعاد 2 و3 مع متباينات HVI للمجال لـ جميع أسس الامتصاص المقبولة $r \ge 1$ واللزوجة الفعالة $\mu > 0$.

• الأهمية: خلافاً للأعمال السابقة (مثل ميغورسكي وآخرون) التي تطلبت شروطاً مقيدة على معامل اللزوجة (مثل $\mu > C \|l\|$) للتعامل مع HVI، يثبت هذا العمل الوجود دون أي قيود كهذه على $\mu$.

ب. مساواة الطاقة

يثبت المؤلفون أن الحلول الضعيفة تحقق مساواة الطاقة (حفظ الطاقة في المعنى التكاملي) تحت شروط محددة:

• في البعد 2: لجميع قيم $r \ge 1$.
• في البعد 3: لجميع قيم $r \ge 3$.
• الطريقة: استخدموا تقنية تقريب تتضمن فضاءات محدودة الأبعاد تمتد عبر أول $n$ من الدوال الذاتية لمؤثر ستوكس (اتباعاً لمنهج [12])، بدلاً من الاعتماد على تقريب غاليركين القياسي الذي غالباً ما يفشل في الحفاظ على مساواة الطاقة في البعد 3 لبعض الأسس.
• ملاحظة: بالنسبة لـ $r \in [1, 3)$ في البعد 3، لم يتم إثبات مساواة الطاقة بسبب نقص الانتظام الكافي في الحدود غير الخطية.

ج. وحدانية الحلول

تثبت الورقة وحدانية الحلول الضعيفة، وهو تقدم كبير حيث أن مسألة الوحدانية لمشكلات نوع نافير-ستوكس في البعد 3 تظل بشكل عام مسألة مفتوحة.

• البعد 2: فريدة لجميع قيم $r \ge 1$.
• البعد 3: فريدة لجميع قيم $r \ge 3$.
• الحالة الحرجة ($r=3$ في البعد 3): تتحقق الوحدانية بشرط إضافي وهو $2\beta\mu > 1$.
• الآلية: يعتمد الإثبات على الطبيعة المبددة لـ حد الامتصاص $\beta|y|^{r-1}y$ وشرط الرتابة (الفرضية 3.4 والشرط 3.63). يوضح المؤلفون أن حد الامتصاص يوفر سيطرة كافية للتغلب على لاخطية حد الكونسـتـكـشن، بخلاف معادلات نافير-ستوكس الكلاسيكية حيث تظل الوحدانية غير معروفة.

4. الأهمية والتأثير

• سد الفجوة النظرية: تعد هذه الدراسة واحدة من أولى الدراسات التي تتناول متباينات الهيميفارياشينال من نوع المجال لمعادلات CBFeD. ركزت الأدبيات السابقة إلى حد كبير على متباينات HVI من النوع الحدودي أو معادلات نافير-ستوكس القياسية.
• تخفيف قيود اللزوجة: من خلال تجنب القيود الاصطناعية على معامل اللزوجة $\mu$، تصبح النتائج أكثر قابلية للتطبيق فيزيائياً على نطاق واسب من تدفقات الأوساط المسامية.
• التوسع إلى نافير-ستوكس: يمتد التحليل إلى معادلات نافير-ستوكس غير المستقرة في البعد 3 (حيث أن الحالة التي يكون فيها $\alpha=\beta=0$ لا تغطى مباشرة، لكن الإطار مع $\beta > 0$ يوفر مساراً للفهم). وتحديداً، توفر النتائج لـ $r \ge 3$ في البعد 3 فئة من معادلات نافير-ستوكس المعدلة التي يتم إثبات الوجود العالمي والوحدانية لها بشكل صارم.
• الدقة الرياضية: توفر الورقة نموذجاً قوياً للتعامل مع الحدود غير المنتظمة وغير المحدبة في ديناميكا السوائل باستخدام اشتقاقات كلارك الفرعية، مما يقدم مخططاً للدراسات المستقبلية حول التفاعلات المعقدة بين السوائل والهياكل أو مسائل التلامس في الأوساط المسامية.

5. الخاتمة

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