Variational Openness

ملخص تقني: الانفتاح التبايني (Variational Openness)

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

المنهجية
تقدم الورقة مفهوم "الانفتاح التبايني" (Variational Openness)، والذي يُعرف كامتداد محافظ للإعداد التبايني القياسي. وتتضمن المنهجية الجوهرية ما يلي:

1. إعادة تعريف الصلاحية: بدلاً من تثبيت الآثار (traces) أو السماح باختبارات حدية مستقلة، يتم تعريف فضاء التباين الصالح كـ فضاء رسم بياني (graph subspace) $V_{op} = \text{Graph}(C) \subset V_{bulk} \oplus V_{\\partial}$. حيث يربط مؤثر خطي محدود $C: V_{bulk} \to V_{\\partial}$ بين تباينات الحجم $v$ وتباينات الحدود $w = Cv$.
2. الاستقرار المسقط (Projected Stationarity): يُفرض الاستقرار على التباين الأول الكلي المقيد على هذا الرسم البياني. شرط $\delta S_{bulk} + \delta S_{\\partial} = 0$ لا ينقسم إلى معادلات منفصلة، بل ينتج عنه معادلة توازن مسقطة واحدة في الفضاء المزدوج لفضاء الحجم:
   $$\text{EL}(\phi) + C^*[\Pi_L(\phi) + E_{\\partial}B(\gamma\phi)] = 0$$
   حيث $C^*$ هو المرافق (adjoint) لمؤثر التوافق. يسمح هذا الصياغة بوجود "تبادل فعل تبايني" غير بديهي، حيث يمكن لمساهمات الحجم والحدود أن تلغي بعضها البعض دون أن تتلاشى كل منهما على حدة.
3. التحليل من الدرجة الثانية: تحلل الورقة التباين الثاني على فضاء الرسم البياني الصالح. بالنسبة للاقترانات الحدية الشبيهة بالضغط، يُعرَّف الهيسيان المفتوح (open Hessian) كشكل تربيعي مغلق:
   $$Q_{\Pi}[u] = Q_G[u] - \Pi Q_P^{\\partial}[Cu]$$
   حيث $Q_G$ هو شكل هندسي/حجمي مثبت، و $Q_P^{\\partial}$ هو شكل ضغط حدي مسحوب (pulled back) عبر $C$.
4. التحليل الطيفي: باستخدام طريقة رايلي-ريتز (Rayleigh–Ritz)، تشتق الورقة عتبة حرجة لفقدان الإيجابية (الاستقرار) للهيسيان المفتوح.

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

• التمييز بين الأنظمة: تميز الورقة بين الأنظمة المفتوحة القابلة للفصل (حيث تظل تباينات الحجم والحدود قابلة للاختبار بشكل مستقل، مما يستعيد الشروط الحدية الطبيعية القياسية) والأنظمة المفتوحة المنظمة (حيث ترتبط التباينات بواسطة $C$، مما يتطلب استقراراً مسقطاً).
• فشل الإلغاء المنفصل: ثبت أنه في الأنظمة المنظمة، لا يعني تلاشي التباين الأول الكلي على الرسم البياني التلاشي المنفصل لتعبير أويلر-لاغرانج للحجم وتدفق الحدود. بدلاً من ذلك، يتم موازنة بقايا الحجم غير الصفرية بواسطة التدفق الحدّي المسحوب.
• الصياغات الهندسية وهاملتون-جاكوبي: تم توسيع الإطار ليشمل نظرية هاملتون-جاكوبي والمسائل التباينية الهندسية. في هذه السياقات، يتم سحب مشتق الحدود للفعل (on-shell action) أو موتر الإجهاد الحدّي بواسطة $C^*$، مما يؤدي إلى توازن مسقط بدلاً من شرط نقطي.
• معيار عدم الاستقرار: تم اشتقاق عتبة ضغط حرجة $\Pi_c$:
  $$\Pi_c = \inf_{u \in V_P} \frac{Q_G[u]}{Q_P^{\\partial}[Cu]}$$
  تثبت الورقة أنه عندما يكون $\Pi < \Pi_c$، يظل الهيسيان المفتوح موجباً ومتماسكاً (coercive) على الفضاء الصالح. وعندما يكون $\Pi > \Pi_c$، تُفقد الإيجابية، وتحت فرضيات التراص (compactness)، يظهر قيمة ذاتية سالبة.
• التنظيم الطيفي: يوضح مثال كروي أدنى كيف يعمل مؤثر التوافق $C$ كمنظم لقنوات عدم الاستقرار. فهو يحدد أي الأنماط الحدية (مثل التوافقيات الكروية المحددة) تقترن بالحجم ويمكن أن تزعزع استقرار النظام. الأنماط الواقعة خارج نطاق $C$ لا تشارك في كسر الاستقرار.

الأهمية والادعاءات
تدعي الورقة أن "الانفتاح التبايني" يوفر مبدأً بنيوياً صارماً للمسائل التي يكون فيها الحد مكوناً تباينياً نشطاً ولكن مقيداً بعلاقة توافقية. وتكمن أهمية ذلك في:

1. التوحيد: يحتوي الإطار على حالات حدية ثابتة، وحدود طبيعية، ومسائل الحد الحر الكلاسيكية كحالات حدية (على سبيل المثال، $C=0$ أو القدرة على الاختبار المستقل).
2. آلية التبادل: توضح أن الاستقرار في هذه الأنظمة هو "توازن مسقط" على فضاء تبادل مسموح به، وليس مجرد تلاشٍ منفصل للمصطلحات.
3. التحكم في الاستقرار: تثبت أن مؤثر التوافق $C$ لا ينظم فقط تبادل الفعل من الدرجة الأولى، بل ينظم أيضاً قنوات عدم الاستقرار من الدرجة الثانية، مما يحدد فعلياً الأنماط الطيفية التي يمكن أن تؤدي إلى عدم الاستقرار.

لا تقترح الورقة تطبيقات فيزيائية أو تجارب جديدة، بل تقدم إعادة صياغة لصلاحية واستقرار فئات التبادل (الحجم-الحد) المنظمة ضمن الفيزياء الرياضية أو حساب التباين.