Control of the Schrödinger equation in $\mathbb{R}^3$: The critical case

إليك ملخص تقني مفصل لورقة البحث بعنوان "التحكم في معادلة شرودنجر في $\mathbb{R}^3$: الحالة الحرجة" للباحث ب. براز إي سيلفا وآخرون.

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

تتناول الورقة البحثية التحكم الصفري المحلي (local null controllability) لمعادلة شرودنجر غير الخطية ذات الطاقة الحرجة (C-NLS) في ثلاثة أبعاد مكانية ($\mathbb{R}^3$). يُعطى النظام كالتالي:
$$\begin{cases} i\partial_t u + \Delta u \pm |u|^4 u = f(x, t), & \text{في } \mathbb{R}^3 \times [0, T], \\ u(x, 0) = u_0(x) \in H^1(\mathbb{R}^3), \end{cases}$$
حيث أن اللاخطية $|u|^4 u$ هي "حرجة طاقياً" لأنها تحافظ على ثبات القياس لدالة الطاقة المرتبطة بها.

مشكلة التحكم: بالنظر إلى زمن $T > 0$ وحالة أولية صغيرة $u_0 \in H^1(\mathbb{R}^3)$، هل يوجد مدخل تحكم $f(x, t)$، مدعوم في منطقة محددة (تحديداً خارج كرة كبيرة $B_R(0)$)، بحيث يحقق الحل $u$ الشرط الصفري $u(x, T) = 0$؟

يركز المؤلفون على الحالة التي يكون فيها التحكم على شكل $f(x, t) = \phi(x)h(x, t)$، حيث $\phi$ هي دالة قطع (cutoff function) ناعمة تكون $0$داخل الكرة$B_R$و$1$خارج$B_{R+1}$.

2. المنهجية

تعتمد استراتيجية الإثبات على مزيج من نظرية الوجود والوحدانية (well-posedness)، وحجج التناظر (duality arguments)، وطرق الاضطراب (perturbation methods). وتتكون المنهجية من ثلاث مراحل رئيسية:

أ. الوجود والوحدانية عبر تقديرات ستريتز (Strichartz Estimates)

للتعامل مع اللاخطية الحرجة في الفضاء بأكمله $\mathbb{R}^3$، يثبت المؤلفون وجود الحل المحلي لمسألة كوشي في فضاء $H^1$.

• الأدوات: يستخدمون تقديرات ستريتز لمؤثر شرودنجر الخطي في $\mathbb{R}^3$.
• الأزواج المقبولة: يعرّفون الأزواج $(q, r)$ المقبولة في $L^2$ و $H^1$ للتحكم في المعايير المختلطة للزمان والمكان (مثل $L^{10}_t L^{10}_x$).
• حجة النقطة الثابتة: باستخدام مبدأ التمام (Banach Fixed Point Theorem) على كرة مناسبة في الفضاء $C([0, T]; H^1) \cap L^{10}([0, T]; L^{10})$، يثبتون وجود ووحدانية الحلول المحلية للبيانات الأولية الصغيرة.
• التعديل التبديدي: لإثبات الوجود العالمي للمشكلة الخطية للتحكم، يقدمون حداً معدلاً للتخميد يتضمن المؤثر $\Lambda^{-1}$ (وهو تشاكل بين $H^1$ و $H^{-1}$) لضمان اضمحلال الطاقة، مما يمنع حدوث انفجار في زمن محدد.

ب. التحكم الخطي عبر طريقة هيلبرت للوحدانية (HUM)

يثبت المؤلفون أن معادلة شرودنجر الخطية المرتبطة هي قابلة للتحكم صفرياً.

• التناظر: من خلال طريقة هيلبرت للوحدانية (HUM)، يكافئ التحكم الصفري للنظام الأمامي متباينة الرصد (observability inequality) للنظام المرافق (الخلفي):
  $$i\partial_t v + \Delta v = 0, \quad v(T) = v_0.$$
• متباينة الرصد: يهدفون إلى إثبات:
  $$\|v_0\|_{H^{-1}}^2 \leq C \int_0^T \|\phi v(t)\|_{H^{-1}}^2 dt.$$
• تقنية الإثبات: يتضمن إثبات هذه المتباينة حجة تناقض مدمجة مع:
  1. خاصية الاستمرار الفريد (Unique Continuation Property): استخدام تقدير كارليمان (من أعمال سابقة لـ [21]) لإظهار أنه إذا تلاشى حل ما في منطقة التحكم (حيث $\phi=1$)، فيجب أن يتلاشى في كل مكان.
  2. حجة التراص والوحدانية (Compactness-Uniqueness Argument): يقومون ببناء متتالية من الحلول، واستخراج الحدود الضعيفة، ثم استخدام خاصية الاستمرار الفريد لإظهار أن الحد هو صفر، مما يؤدي إلى تناقض إذا كانت متباينة الرصد خاطئة.
  3. خصائص التنعيم (Smoothing Properties): يستفيدون من خصائص التنعيم المحلية لمعادلة شرودنجر للتعامل مع الانتظام في $H^{-1}$.

ج. التحكم غير الخطي عبر الاضطراب

بمجرد إثبات التحكم الخطي، يتم توسيع النتيجة لتشمل النظام غير الخطي.

• حجة الاضطراب: اتباعاً لمنهج إي. زوازوا، يعرّف المؤلفون دالة $B$ تربط البيانات الأولية للنظام المرافق بالبيانات الأولية للنظام غير الخطي.
• النقطة الثابتة: يظهرون أنه بالنسبة للبيانات الأولية الصغيرة $u_0$ بما يكفي، فإن المؤثر $B$ هو تقارب (contraction) في كرة صغيرة في $H^{-1}$. وباستخدام مبدأ التمام، توجد نقطة ثابتة، والتي تقابل تحكماً $h$ يقود النظام غير الخطي إلى الصفر.

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

1. أول تحكم صفري محلي في النظام الحرج: هذه هي النتيجة الأولى التي تثبت التحكم الصفري المحلي لـ معادلة شرودنجر ذات الطاقة الحرجة ($|u|^4 u$) في الفضاء بأكمله $\mathbb{R}^3$ عند مستوى $H^1$. كانت النتائج السابقة تقتصر بشكل كبير على الحالات دون الحرجة أو النطاقات المحدودة.
2. تخفيف إطار الوجود والوحدانية: بينما تُطور نظرية الـ C-NLS غالباً في الفضاء المتجانس $\dot{H}^1$، يوضح المؤلفون أن توافر تقديرات ستريتز في $\mathbb{R}^3$ يسمح لهم بالعمل مباشرة في الفضاء غير المتجانس $H^1(\mathbb{R}^3)$. وهذا يمثل تحسيناً تقنياً هاماً لمشاكل التحكم.
3. التعامل مع الفضاء بأكمله: تعالج الورقة صعوبات التحكم في النطاقات غير المحدودة ($\mathbb{R}^3$) بدلاً من النطاقات المحدودة أو المتشعبات المتراصة. ويظهرون أن شرط التحكم الهندسي (GCC) مستوفى طبيعياً من خلال اختيار دعم التحكم (خارج كرة)، مما يتجنب الحاجة إلى قيود هندسية معقدة مطلوبة في النطاقات المحدودة.
4. التوسع إلى اللاخطية الحرجة: تسد الورقة الفجوة بين نظرية التحكم لـ NLS دون الحرجة وحالة النظام الحرج، وهي حالة صعبة للغاية بسبب احتمال الانفجار ونقص التراص.

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

• المبرهنة 1.1 (التحكم الصفري المحلي): لأي $T > 0$، يوجد $\delta > 0$ بحيث لأي بيانات أولية $u_0 \in H^1(\mathbb{R}^3)$ تحقق $\|u_0\|_{H^1} \leq \delta$، يوجد تحكم $h \in C([0, T]; H^1(\mathbb{R}^3))$ مدعوم في $\mathbb{R}^3 \setminus B_R(0)$ بحيث يكون حل $u$ لمعادلة C-NLS هو $u(T) = 0$.
• المبرهنة 1.2 (التحكم الخطي): معادلة شرودنجر الخطية مع نفس هيكل التحكم هي قابلة للتحكم الصفري تماماً في $H^1$ لأي بيانات أولية.

5. الأهمية والتوجهات المستقبلية

• الأثر النظري: تعمق هذه النتائج فهم التفاعل بين التشتت، واللاخطية، والتحكم في الأنظمة الحرجة. وهي تؤكد أن الطبيعة "الحرجة" للاخطية لا تمنع التحكم المحلي إذا كانت البيانات الأولية صغيرة.
• المسائل المفتوحة: يحدد المؤلفون عدة اتجاهات بحثية مستقبلية:
  • الاستقرار (Stabilization): هل يمكن تصميم قانون تحكم تغذية راجعة (feedback control) لاستقرار النظام تقاربياً نحو الصفر؟
  • التحكم العالمي (Global Control): هل يمكن توسيع النتيجة لتشمل البيانات الكبيرة (التحكم العالمي)، ربما من خلال دمج التحكم المحلي مع الاستقرار العالمي؟
  • شروط التحكم الهندسي (Geometric Control Conditions): استقصاء مجموعات تحكم أكثر عمومية (thick sets) تحقق متباينة الرصد في $\mathbb{R}^3$.

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