Existence of variational solutions to doubly nonlinear systems in nondecreasing domains

ملخص تقني: وجود الحلول التباينية للأنظمة ثنائية اللاخطية في النطاقات غير المتناقصة

بيان المشكلة
تتناول الورقة مسألة كوشي-ديريكليه (Cauchy–Dirichlet) للأنظمة البارابولية ثنائية اللاخطية من الشكل:
$$\partial_t (|u|^{q-1}u) - \text{div}(D_\xi f(x, u, Du)) = -D_u f(x, u, Du)$$
المعرفة في نطاق غير أسطواني محدود $E \subset \mathbb{R}^{n+1}$ (حيث $n \ge 2$). يُفترض أن النطاق $E$ غير متناقص بالنسبة للزمن، مما يعني أن الشرائح الزمنية $E_t$ تحقق $E_s \subset E_t$ لـ $0 \le s \le t < T$. المعاملات تحقق $q \in (0, \infty)$ و $p \in (1, \infty)$.

يُفترض في الدالة المدمجة $f(x, u, \xi)$ ما يلي:

1. أنها قابلة للتكامل في $x$ بالنسبة لـ $(u, \xi)$ الثابتين.
2. أنها محدبة في $(u, \xi)$.
3. أنها تحقق شرط التماسك (coercivity) من الدرجة $p$: $\nu|\xi|^p \le f(x, u, \xi)$.
   ومن الجدير بالذكر أن المؤلفين لا يفرضون شرط نمو علوي محدد على $f$ بالنسبة لنتيجة الوجود الأساسية، مما يسمح بالنمو الأسي أو النمو غير القياسي.

المنهجية
يعتمد إثبات الوجود على نسخة غير خطية من طريقة الحركات التقليلية (المعروفة أيضاً باسم طريقة إقليد (implicit Euler scheme) أو حركات دي جورجي التقليلية). تجمع هذه المنهجية بين تقنيات من أعمال سابقة حول المعادلات ثنائية اللاخطية في النطاقات الأسطوانية (Böglein et al. [17]) والأنظمة البارابولية في النطاقات غير الأسطوانية (Böglein et al. [19]).

تتضمن الإجراءات ما يلي:

1. التقطيع الزمني: تقسيم الفاصل الزمني $(0, T)$ إلى خطوات حجمها $h_\ell = T/\ell$.
2. التقليل التكراري: عند كل خطوة زمنية، يتم بناء تسلسل من الدوال $u_{\ell, i}$ عن طريق تقليل دالة تباينية إهليلجية:
   $$F_\ell[w; u_{\ell, i-1}] = \int_\Omega f(x, w, Dw) \, dx + \frac{1}{h_\ell} \int_\Omega b[u_{\ell, i-1}, w] \, dx$$
   حيث $b[u, v]$ هو حد حدودي محدد يتعلق بتحدب دالة القوة $|v|^{q+1}$.
3. تقديرات الطاقة والتقارب: يستنتج المؤلفون تقديرات طاقة موحدة للتدخلات (interpolations) ثابتة الجزء (piecewise constant) لـ $u_\ell$. وباستخدام حجج التراص (تحديداً اللمّا 3.11 المتعلقة بتقارب $|u_\ell|^{(q+1)/2}$)، يثبتون وجود دالة حدية $u$.
4. التعامل مع النطاقات غير الأسطوانية: الجانب التقني الرئيسي هو إدارة النطاق المتغير زمنياً. تسمح الطبيعة غير المتناقصة لـ $E$ للمؤلفين بتوسيع خرائط المقارنة واستخدام الافتراض $L^{n+1}(\partial E) = 0$ لضمان أن الخريطة الحدية تحقق الشروط الحدودية الجانبية الصحيحة.
5. المتراجحة التباينية: يتم إثبات أن الخريطة الحدية تحقق متراجحة تباينية، والتي تعمل كتعريف للحل التبايني في هذا السياق.

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

1. الوجود في النطاقات غير المتناقصة (النظرية 2.3):
   تثبت الورقة وجود حل تبايني $u \in C^0([0, T]; L^{q+1}(\Omega, \mathbb{R}^N)) \cap V^p_q(E)$.

   • العمومية: على عكس النتائج السابقة المقيدة بالنطاقات الأسطوانية أو الحلول غير السالبة، تنطبق هذه النتيجة على نطاقات عامة غير أسطوانية تكون غير متناقصة في الزمن وتسمح بحلول ذات إشارة أو قيم اتجاهية.
   • افتراضات ضعيفة على $f$: يظل إثبات الوجود قائماً دون شرط نمو علوي لـ $f$، بالاعتماد فقط على التحدب والتماسك.
   • الانتظام: يمتلك الحل مشتقة زمنية ضعيفة للمصطلح $|u|^{q-1}u$ في فضاء مزدوج محدد، ويكون الحل مستمراً في الزمن بالنسبة لمعيار $L^{q+1}$.

2. وجود المشتقة الزمنية في الفضاء المزدوج (النظرية 2.5):
   تحت افتراضات إضافية—تحديداً أن النطاق يحقق شرط كثافة القياس (مرتبط بكون المتمم $p$-fat بشكل منتظم) وأن $f$ تحقق شرط نمو $p$ القياسي—يثبت المؤلفون أن المصطلح $|u|^{q-1}u$ يقبل مشتقة زمنية توزيعية في الفضاء المزدوج $(V^{p,0}(E))'$.

3. الاستمرار في الزمن:
   يؤكد المؤلفون أن أي حل تبايني يكون مستمراً في الزمن بقيم في $L^{q+1}(\Omega, \mathbb{R}^N)$. وقد تم تحقيق ذلك عن طريق اختبار المتراجحة التباينية باستخدام عملية تنعيم زمني (time-mollification) للحل، وهي تقنية تم تكييفها مع الإعداد غير الأسطواني.

الأهمية والادعاءات
تضع هذه الورقة نفسها كتعميم للنظريات الموجودة للأنظمة ثنائية اللاخطية.

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

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