للمؤثر الحقيقي المضاد للتناظر والقابل للعكس A، يكون J=A(−A²)⁻¹ᐟ² متعامداً ومربعه −I. تستخدم صيغة شرودنغر ذات الطاقة الموجبة للتطور exp(tA) الضرب المركب i=−J عندما H=a(−A²)¹ᐟ².
المدخلات والبنية المطلوب بناؤها
ليكن V فضاءً حقيقياً محدود الأبعاد ذا جداء داخلي، وليكن A مؤثراً خطياً حقيقياً يحقق Aᵀ=−A. تأمل التدفق الموجّه U(t)=exp(tA). افترض بدايةً أن A قابل للعكس. الهدف بناء J يحقق J²=−I وJᵀJ=I، بحيث يمكن توسيع الضرب بسكالر حقيقي إلى الضرب المركب المعتاد.
هذا إعادة بناء مشروطة انطلاقاً من ديناميكيات معطاة. الجداء الداخلي الحقيقي والمولد وتوجّه الزمن مدخلات. في نموذج الموناد المفرد وازدواجية الزمن، يمكن لتدفق كهذا أن يمثل نشاطاً داخلياً متماسكاً، بينما تتطلب المشاهدات المكتملة واجهة إضافية. إحداثيات متجهاته ليست الأدوار الزمنية الستة المتداخلة، والبنية المركبة المعتادة ليست الوحدة المركبة المنشطرة المستخدمة في وصف زمني زائدي.
الخطوة ١: إثبات التعامد وتعريف المقدار
اشتق U(t)ᵀU(t). بما أن U̇=AU، يكون المشتق Uᵀ(Aᵀ+A)U=0. عند t=0 يكون الجداء I، ولذلك يحفظ التدفق المعيار الحقيقي لكل t.
احسب بعد ذلك −A²=AᵀA. لأي v غير صفري، يكون شكله التربيعي ⟨v,−A²v⟩=‖Av‖²>0 لأن A قابل للعكس. لذا فإن −A² موجب التعيين وله جذر تربيعي موجب وحيد Ω. يتبادل هذا الجذر مع A: يحفظ المؤثران كتل الدوران الحقيقية الثابتة نفسها، أو، على نحو مكافئ، فإن Ω دالة طيفية في −A² الذي يتبادل بالفعل مع A.
يقيس Ω مقادير معدلات الدوران. وتوفر موجبيته التطبيع القطبي المحدد المستخدم في الخطوة التالية.
الخطوة ٢: التحقق من جميع هويات البنية المركبة
ضع J=AΩ⁻¹. باستخدام التبادل، ربّعه فنحصل على J²=A²Ω⁻²=−I. وبأخذ المنقول نحصل على Jᵀ=Ω⁻¹Aᵀ=−Ω⁻¹A=−J. لذلك JᵀJ=−J²=I. وينتج التحليل A=JΩ مباشرة.
عرّف (r+is)v=rv+sJv. يعيد ضرب تأثيرين سكلاريين من هذا النوع واستخدام J²=−I إنتاج قاعدة الضرب المركب المعتادة. يتيح التوافق مع المعيار الحقيقي تفسيراً بفضاء هيلبرت مركب. وفق اصطلاح خطية الجداء الداخلي في متغيره الثاني، تحقق h(x,y)=⟨x,y⟩+i⟨Jx,y⟩ الخطية المركبة المطلوبة والعلاقة h(x,x)=‖x‖².
العامل القطبي وحيد للمؤثر المعطى القابل للعكس A، لأن Ω محدد بصورة وحيدة باشتراط موجبيته. قد توجد بنى مركبة أخرى على V، لكنها لا يلزم أن تكون التوجّه القطبي لهذا التدفق.
الخطوة ٣: حساب مثال ذي ترددين
على مستوى حقيقي، لتكن J0(x,y)=(−y,x). إذا كان A=ωJ0 مع ω≠0، كان −A²=ω²I، ومن ثم Ω=|ω|I وJ=sgn(ω)J0. يزيل التطبيع القطبي السرعة مع الاحتفاظ بالتوجّه.
في أربعة أبعاد حقيقية، خذ A=diag(2J0,−3J0) بوحدات مختارة لمقلوب الزمن. عندئذ Ω=diag(2I,3I) وJ=diag(J0,−J0). يدور المستويان بمعدلين مختلفين وفي توجّهين متعاكسين، ومع ذلك فإن J²=−I على الفضاء كله. يبين ذلك صراحة لماذا يؤدي استبدال Ω بتردد واحد مفترض إلى فقد المعلومات.
افتح الرسم بالحجم الكامل ←
لا تحدد عينة متقطعة من أي من التدفقين A على نحو وحيد: فقد تنتج دورات كاملة إضافية بين العينات مصفوفة التحديث نفسها. ولذلك يحتاج استنتاج مولد من سجلات مصدر متقطعة إلى نطاق للتردد أو قاعدة أخرى لفك التفاف الطور.
الخطوة ٤: ضبط إشارة شرودنغر بصورة صريحة
يحقق التطور الحقيقي ψ̇=Aψ=JΩψ. إذا كانت الوحدة التخيلية المركبة المختارة تعمل وفق i=J، كان i aψ̇=−aΩψ. في ذلك الاصطلاح يكون الهاملتوني H=−aΩ. لا يتسق الإبقاء على i=J وعلى التدفق الأمامي نفسه، مع تسمية الهاملتوني في الوقت ذاته H=+aΩ.
للهاملتوني الموجب المعتاد، اختر بدلاً من ذلك الضرب المركب i=−J، مع a>0 مقياساً للفعل. عندئذ:
H=aΩ≥0, exp(−itH/a)=exp(tJΩ)=U(t)
هذا اختيار معلن للاصطلاح والتوجّه. لا تحدد المبرهنة المحدودة قيمة a ولا تشتق سهماً ترموديناميكياً. يجب أن ينعكس أي تغيير في توجّه الزمن أو الاصطلاح المركب أو اصطلاح إشارة الطاقة بصورة متسقة في جميع المعادلات.
الخطوة ٥: معالجة الأنماط الساكنة بدلاً من عكسها
إذا كانت لـA نواة غير صفرية، فإن −A² يكون غير سالب فقط، ولا يكون Ω⁻¹ معرّفاً على النواة. المتمم المتعامد لـker A ثابت تحت المؤثر، وينطبق البناء السابق على ذلك القطاع الديناميكي. أما على النواة، فالتدفق ساكن ولا يزودنا بتوجّه للطور.
لا تستطيع نواة حقيقية أحادية البُعد أن تحمل أي J يحقق J²=−I: لا يمكن لعدد حقيقي أن يكون مربعه −1. تستطيع نواة ثنائية البُعد أن تحمل دوران ربع دورة، لكن اختياره بيانات إضافية. وعموماً، يجب أن يكون بُعد فضاء حقيقي يحمل بنية مركبة زوجياً. لذا فإن إلحاق قطاع ساكن يختبر ما إذا كانت دعوى انتقاء طور على الفضاء كله قد زودت البناء ضمنياً بمعلومات لا تحملها ديناميكياته.
تتطلب النسخ اللانهائية الأبعاد مجالات للمؤثرات وبناءً قطبياً دقيقاً. ينبغي ألا تُنقل صيغة المعكوس المحدودة إلى قطاعات التردد الصفري أو المؤثرات غير المحدودة دون هذا التحليل.
الخطوة ٦: تتبع التناظر وعكس الزمن
إذا تبادل تناظر حقيقي R مع A، فإنه يتبادل مع −A² وΩ وJ. لذلك يقع الطور المنتقى في مبدّل تناظرات المصدر هذه. هذه هي الفائدة العملياتية لاشتقاق J من المولد بدلاً من إسناد اصطلاح سكلاري غير مرتبط به.
لانعكاس متعامد K يحقق KAK⁻¹=−A، يبقى المقدار دون تغيير بينما KJK⁻¹=−J. بعد اختيار أي من الاصطلاحين المركبين المرتبطين، يأخذ K مرافق السكالر التخيلي ويكون مضاداً للخطية. يبرهن K(x,y)=(x,−y) ذلك مباشرة على مستوى واحد. ويجعله حفظ المعيار عندئذ مضاداً للوحدوية في الوصف المركب المعاد بناؤه. تتعلق العبارة بهذه العملية على هذا الحامل، وليست قانون التحول لكل نوع من أنواع الجسيمات.
النتيجة ومسألة الاكتمال
يوفر الحساب طوراً قطبياً وحيداً على الجزء غير الساكن من تدفق حقيقي موجّه ومحدد، مع اصطلاح شرودنغر صريح ذي طاقة موجبة. وهو يفصل معدلات الدوران والتوجّه وحرية القطاع الساكن والتطبيع الفيزيائي للفعل.
لبناء نموذج كمي للموناد المفرد وازدواجية الزمن، يجب أن يحدد المصدر نفسه أيضاً الكميات المرصودة المسموحة، وتركيب الأنظمة الفرعية، والحالات، وأداة للاكتمال. لا ينتقي حامل ذو طور وحده احتمالات بورن، ولا يفسر أي تماسك يبقى في السجلات المتاحة للرصد. تحدد مسألة الطور والتركيب هذا الهدف التالي. يوفر البرهان الحالي مدخلاً محدداً لها، دون الخلط بين J²=−I والعلاقة المركبة المنشطرة المختلفة j²=+1.
مقالات ذات صلة بالإنجليزية
- Selecting phase by polar decomposition
Polar decomposition of an oriented real dynamical generator selects an ordinary complex structure on its nonzero-frequency sector. Zero modes, symmetry compatibility, and discrete logarithm branches remain separate inputs.
- Completion, commutants, and positive frequency
This guide follows completion, compatible complex structures and positive-frequency selection through their separate mathematical roles. Finite examples connect the framework to SMM/DTT while keeping causal readout and physical calibration as additional constructions.
- Real-commutant phase selection: a paper guide
An oriented real orthogonal flow can select an ordinary complex structure on its dynamic sector. Planar examples explain residual zero-mode freedom, time-reversal antilinearity and the extra balancing rule needed for composite systems.