Cost of controllability of the Burgers' equation linearized at a steady shock in the vanishing viscosity limit

إليك ملخص تقني مفصل لورقة "تكلفة التحكم في معادلة بورغرز الخطية عند صدمة مستقرة في حد اللزوجة المتلاشية" للباحث فينسنت لاهورت (Vincent Laheurte).

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

تبحث الورقة في تكلفة التحكم الصفري لمعادلة بورغرز اللزجة أحادية البعد، الخطية حول ملف تعريف صدمة ثابتة، بينما يؤول معامل اللزوجة $\varepsilon$ إلى الصفر (حد اللزوجة المتلاشية).

• النظام: تركز الدراسة على المعادلة الخطية:
  $$\partial_t u_\varepsilon + \partial_x(U_\varepsilon u_\varepsilon) = \varepsilon \partial_{xx} u_\varepsilon$$
  على الفترة $(-L, L)$، حيث $U_\varepsilon$ هو ملف تعريف صدمة لزجة ثابتة تنتقل من $1$إلى$-1$(مركزة عند$\sigma$).
• تكوين التحكم: يعمل التحكم عبر الشروط الحدية ديريكليه (Dirichlet boundary conditions). التركيز الأساسي ينصب على التحكم أحادي الجانب (عند الطرف الأيسر $x=-L$)، مع التوسع إلى التحكم ثنائي الجانب (عند كل من $x=-L$ و $x=L$).
• السؤال الجوهري: بالنسبة لزمن تحكم ثابت $T$، هل تظل تكلفة دفع النظام إلى الصفر محدودة عندما يؤول $\varepsilon \to 0$؟ وإذا لم يكن الأمر كذلك، فما هو الزمن الموحد الأدنى للتحكم $T_{\text{unif}}$ المطلوب لضمان بقاء التكلفة محدودة؟
• السياق: هذه المشكلة هي نظير غير خطي لمشكلة "كورون-غيريرو" (نقل-انتشار مع سرعة ثابتة)، ولكن وجود الصدمة يُدخل نمطاً شبه مستقر (قيمة ذاتية قريبة أسياً من الصفر) مما يعقد استراتيجية التحكم.

2. المنهجية

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

أ. التحليل الطيفي للمؤثر الخطي

المؤثر الخطي هو $L_\varepsilon^\sigma u = \partial_x(U_\varepsilon^\sigma u) - \varepsilon \partial_{xx} u$.

• التحويل: يقوم المؤلف باختزال مسألة القيمة الذاتية غير المتماثلة ذاتياً إلى مؤثر من نوع شرويدنجر بجهد ثابت باستخدام تقنية الترافق التي تتضمن الدوال الزائدية ($\text{sech}$ و $\cosh$).
• توزيع القيم الذاتية:
  • القيمة الذاتية الأولى ($\lambda_{\varepsilon, 0}$): ثبت أنها صغيرة أسياً ($O(e^{-L/\varepsilon})$)، وهو ما يتوافق مع شبه استقرار موضع الصدمة.
  • القيم الذاتية الأعلى ($\lambda_{\varepsilon, k}, k \ge 1$): تتوزع بشكل مشابه لـ "لابلاس" مع إزاحة، تقريباً $\lambda_{\varepsilon, k} \approx \frac{1}{4\varepsilon} + \frac{k^2 \pi^2}{4L^2 \varepsilon}$.
• الدوال الذاتية: تم اشتقاق تقديرات دقيقة للدوال الذاتية ومشتقاتها عند الحدود، وهي ضرورية لطريقة العزوم. يختلف السلوك بشكل كبير اعتماداً على ما إذا كانت الصدمة مركزة ($\sigma=0$) أو مزاحة ($\sigma \neq 0$).

ب. استراتيجية التحكم (نهج ذو خطوتين)

للتعامل مع القيمة الذاتية الصغيرة أسياً، يتم تقسيم زمن التحكم $T$ إلى فترتين $(0, \tau)$ و $(\tau, T)$:

1. الخطوة 1 (القضاء على النمط شبه المستقر): يتم تطبيق تحكم في الزمن $(0, \tau)$ خصيصاً لإلغاء إسقاط الحالة الابتدائية على الدالة الذاتية الأولى ($\psi_{\varepsilon, 0}$). تتطلب هذه الخطوة معالجة دقيقة لتجنب إعادة إثارة الأنماط الأخرى.
2. الخطوة 2 (التحكم في البقية): بمجرد إلغاء النمط الأول، يتم التحكم في النظام المتبقي باستخدام طريقة العزوم (بناء عائلة متناغمة ثنائية لـ $e^{\lambda_{\varepsilon, k} t}$). يضمن التبديد القوي للأنماط العليا ($\lambda_{\varepsilon, k} \gg 1$) أن تكون تكلفة هذه الخطوة الثانية صغيرة أسياً ($O(e^{-C/\varepsilon})$) بشرط أن يكون $T - \tau$ كبيراً بما يكفي.

ج. الحد الأدنى عبر التحليل المركب

لإثبات ضرورة وجود زمن أدنى، يستخدم المؤلف تقنيات التحليل المركب (تحليل عامل هادامارد وخصائص الدوال الكلية من النوع الأسي).

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

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

أ. التحكم أحادي الجانب (الطرف الأيسر فقط)

تحدد الورقة حدوداً حادة للزمن الموحد الأدنى للتحكم $T_{\text{unif}}$:

• الحالة $\sigma \ge 0$ (الصدمة في المركز أو على يمينه):
  $$(4\sqrt{2} - 2)L \le T_{\text{unif}} \le 4\sqrt{3}L$$
• الحالة $\sigma < 0$ (الصدمة على يسار المركز):
  $$(4\sqrt{2} - 2)L + 8|\sigma| \le T_{\text{unif}} \le 4(2|\sigma| + \sqrt{4\sigma^2 + 3L^2})$$
• الأهمية: الحد الأدنى للزمن أكبر تماماً من الزمن المطلوب للنظام ذي السرعة غير اللزجة ($T > L + |\sigma|$). وهذا يؤكد وجود "عائق في الزمن القصير" حيث يكون النظام اللزج قابلاً للتحكم، ولكن التكلفة تنفجر عندما يؤول $\varepsilon \to 0$ إذا كان $T$ صغيراً جداً. هذا العائق ناتج عن صعوبة التحكم في موضع الصدمة شبه المستقر ضد حد النقل.

ب. التحكم ثنائي الجانب (كلا الطرفين)

عند توفر التحكم عند كل من $x=-L$ و $x=L$:

• النتيجة: يقل الزمن الموحد الأدنى بشكل ملحوظ:
  $$T_{\text{unif}}^{\text{TS}} \in [L, 2\sqrt{3}L]$$
• الآلية: تسمح تناظر المسألة بفصل التحكم إلى أنماط زوجية وفردية. يمكن القضاء على النمط "السيئ" (شبه المستقر/الزوجي) بكفاءة، كما يساعد حد النقل في التحكم في كلا نصفي المجال في آن واحد.
• الأهمية: يختفي عائق الحد الأدنى (أو يتقلص إلى قيد النظام غير اللزج التافه $T > L$). التحكم من الجانبين يلغي انفجار التكلفة المرتبط بموضع الصدمة.

ج. بناء تحكم صريح

تقدم الورقة برهاناً بنائياً للحدود العليا. فهي تبني صراحة تحكماً مقبولاً $h_\varepsilon$ بحيث:

1. يتقارب في $L^2$ نحو التحكم الأمثل للنظام غير اللزوي في الحد غير اللزج عندما $\varepsilon \to 0$.
2. يحقق تقدير التكلفة:
   $$\|h_\varepsilon\|_{L^2} \le \left( \frac{C}{\sqrt{T - T^*}} + C e^{-C/\varepsilon} \right) \|u_0\|_{L^2}$$
   حيث $T^*$ هو الزمن الأدنى المستنتج.

4. الأهمية والتداعيات

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

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