Localization for nonlocal gradient-based optimal control problems

ملخص تقني: التوطين لمشكلات التحكم الأمثل القائمة على التدرج غير الموضعي

بيان المشكلة
تبحث هذه الورقة في مشكلات التحكم الأمثل المصاغة ضمن إطار فضاء دالة غير موضعي (nonlocal) يتميز بمعلمتين متميزتين: معلمة كسرية $s \in (0, 1)$ ومعلمة أفق $\delta > 0$. ينتمي متغير التحكم $g$ إلى مجموعة مستساغة $Z_{ad}$، بينما يقع متغير الحالة $u$ في فضاء سوبولف غير موضعي $H^{s,p,\delta}_0(\Omega-\delta; \mathbb{R}^n)$. تخضع الحالة $u$ لتقليل كثافة طاقة غير موضعية $W^{s,\delta}_g$، والتي تعتمد على التحكم $g$. الهدف هو تقليل دالة تكلفة $F(u, g)$ مع مراعاة هذه القيود غير الموضعية.

تتناول الدراسة سيناريوهين أساسيين فيما يتعلق بكثافة الطاقة $W$:

1. الحالة المحدبة: تكون الطاقة محدبة تماماً، وتتمذج تحديداً بواسطة مؤثر $p$-Laplacian غير موضعي (أو طاقة $p$-Dirichlet موزونة).
2. الحالة غير المحدبة: تكون الطاقة متعددة التحدب (polyconvex) أو شبه محدبة (quasiconvex)، وتستوفي معاييد نمو قياسية من نوع $p$. في هذا السياق، توجد الحلول الدنيا ولكنها ليست بالضرورة فريدة.

التحدي الرياضي المركزي هو تحليل "توطين" (localization) هذه المشكلات، وإثبات كيفية تقارب الحلول نحو مشكلات التحكم الأمثل القائمة على المعادلات التفاضلية الجزئية (PDE) الكلاسيكية مع تلاشي عدم الموضعية. ويتم تحقيق ذلك من خلال عمليتين متميزتين للتقارب:

• أخذ المعلمة الكسرية $s \to 1^-$ (مع تثبيت $\delta$).
• أخذ معلمة الأفق $\delta \to 0^+$ (مع تثبيت $s$).

المنهجية والإطار
يستخدم المؤلفون مؤثر تدرج غير موضعي $D^s_\delta$، يتم تعريفه عبر نواة مقطوعة $\rho^s_\delta$ تعمم تدرج ريس (Riesz) الكسري. يعمل هذا المؤثر على دوال معرفة فوق مجال ممتد $\Omega_\delta$ ولكنه يفرض شروط حدودية صفرية على مناطق "القميص" (collar regions) $\Omega_\delta \setminus \Omega$ و $\Omega \setminus \Omega_{-\delta}$.

يعتمد التحليل على عدة أدوات في التحليل الدالي:

• فضاءات سوبولف غير الموضعية: يتم تعريف الفضاءات $H^{s,p,\delta}$ كإغلاق للدوال الناعمة تحت معيار يتضمن التدرج غير الموضعي.
• المتراسات والاشتمالات: يستخدم المؤلفون متباينات بوانكاريه غير الموضعية (التقرير 2.5) ونتائج الاشتمال المتراص (التقرير 2.6) لإثبات محدودية الحالات المستساغة ووجود متتاليات متقاربة.
• التقارب من نوع $\Gamma$ ($\Gamma$-Convergence): للتعامل مع التحليل التقاربي، تستخدم الورقة التقارب من نوع $\Gamma$ لدوال الطاقة. وهذا يضمن أن حد الحلول الدنيا للطاقات غير الموضعية يتوافق مع حل أدنى للطاقة الموضعية الحدية.
• الطريقة المباشرة لحساب التغيرات: في الحالة غير المحدبة، يتم إثبات الوجود باستخدام الطريقة المباشرة، بالاستناد إلى شبه الاستمرار السفلي الضعيف للدوال متعددة التحدب أو شبه المحدبة.

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

1. جودة التحديد في الحالة المحدبة:
   بالنسبة لطاقة $p$-Laplacian غير الموضعية، تكون المجموعة المستساغة للأزواج $(u, g)$ محدبة. يثبت المؤلفون وجود وتفرد الحل الأدنى لمشكلة التحكم الأمثل (النظرية 3.7). ويعتمد ذلك على تراص مؤثر الحل الذي يربط التحكم $g$ بالحالة $u$.

2. الوجود في الحالة غير المحدبة:
   عندما تكون الطاقة متعددة التحدب أو شبه محدبة، تكون المجموعة المستساغة عموماً غير محدبة، ولا يمكن ضمان تفرد الحالة $u$ بالنسبة لـ $g$ ثابت. ومع ذلك، يثبت المؤلفون وجود زوج أمثل واحد على الأقل $(u, g)$ (النظرية 3.12) من خلال إثبات محدودية مجموعة الحالات المستساغة والارتباط الضعيف لمجموعة القيود.

3. التوطين عندما $s \to 1^-$:
   مع تثبيت $\delta$، توضح الورقة أنه مع اقتراب $s$ من $1^-$، تتقارب التدرجات غير الموضعية بقوة نحو التدرج الكلاسيكي.

• الحالة المحدبة: تتقارب الحلول الدنيا لمشكلات التحكم غير الموضعية بقوة (للحالات والتدرجات) وضعفاً (للتحكمات) نحو الحل الأدنى الفريد لمشكلة التحكم $p$-Laplacian المحلية المقابلة (النظرية 4.10). علاوة على ذلك، تتقارب قيم دالة التكلفة.
• الحالة غير المحدبة: نظراً لعدم تفرد الحالة، لا يمكن ضمان التقارب الكامل للمحللات الدنيا. بدلاً من ذلك، يثبت المؤلفون نتيجة "التقليل النسبي" (الاستنتاج 4.11)، حيث يوضح أن أي حد لمتتالية من الحلول الدنيا غير الموضعية هو حل أدنى بالنسبة لمجموعة الأزواج المستساغة محلياً والتي يمكن تقريبها بواسطة الحلول غير الموضعية.
• التقارب القوي للتحكمات: النتيجة الهامة هي أن متغيرات التحكم $g_s$ تتقارب بقوة في $L^r$ لأي $r \in [1, \infty)$، وليس فقط ضعفاً (النظرية 4.12). ويتم اشتقاق ذلك من البنية المحددة لدالة التكلفة وعنصر التنظيم (regularization term).

4. التوطين عندما $\delta \to 0^+$:
   مع تثبيت $s$، تحلل الورقة الحد عند تلاشي الأفق $\delta \to 0^+$. وتماثل النتائج تلك الخاصة بحالة $s \to 1^-$. تتقارب التدرجات غير الموضعية إلى التدرج الكلاسيكي، وتتقارب مشكلات التحكم الأمثل غير الموضعية إلى نظيراتها الموضعية (النظرية 4.19). وكما في حالة $s \to 1$، يتم إثبات التقارب القوي للتحكمات (النظرية 4.21).

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

تكمن أهمية هذا العمل في:

• التعميم: تجاوز الطاقات المحدبة تماماً لتشمل المواد والنماذج الموصوفة بطاقات شبه محدبة أو متعددة التحدب، وهي ضرورية للمرونة غير الخطية.
• التوطين المزدوج: تقديم تحليل صارم للتقارب عبر معلمتين مختلفتين ($s$ و $\delta$)، مما يوفر مرونة في كيفية تقريب النماذج غير الموضعية بالمعادلات التفاضلية الموضعية.
• التقارب القوي للتحكمات: إثبات التقارب القوي لمتغيرات التحكم، وهو نتيجة أقوى من التقارب الضعيف المعتاد في العديد من تطبيقات التقارب من نوع $\Gamma$.

يشير المؤلفون بتواضع إلى أنه بينما يضمن التقارب من نوع $\Gamma$ تقارب الحلول الدنيا، فإنه لا يوفر معدلات التقارب. ويقترحون أن العمل المستقبلي يمكن أن يستخدم نظرية الانتظام (regularity theory) لاستعادة معدلات التقارب. بالإضافة إلى ذلك، حددوا دراسة مشكلات التحكم ذات دوال التكلفة غير المحدبة (التي تتطلب شروط الأمثلية من الدرجة الثانية) والحدود المتزامنة ($s \to 1$ و $\delta \to 0$) كتوجهات بحثية مستقبلية محتملة.