On a semi-discrete model of Maxwell's equations in three and two dimensions

ملخص تقني: نموذج شبه منفصل يحافظ على البنية الهندسية لمعادلات ماكسويل

بيان المشكلة
إن بناء نماذج منفصلة تحافظ على البنى الهندسية والطوبولوجية الجوهرية لمشكلات الفيزياء الرياضية أمر ضروري لتحقيق محاكاة عددية موثوقة ومتسقة فيزيائياً. وبينما تناولت دراسات عديدة عملية التقطيع (discretization) للنظرية الكهرومغناطيسية باستخدام الحساب الخارجي، معتمدة غالباً على مخططات الشبكة (lattice schemes) أو صيغ ويتني (Whitney forms)، تتناول هذه الورقة الحاجة إلى صياغة شبه منفصلة (semi-discrete) حيث يتم تقطيع المتغيرات المكانية بينما يظل الزمن مستمراً. والهدف هو تطوير إطار عمل لمعادلات ماكسويل في كل من الأبعاد الثلاثة والثنائية يلتزم بصرامة بالبنى الجبرية والطوبولوجية للحساب الخارجي المنفصل (DEC) دون استخدام صيغ ويتني أو خرائط دي رام (de Rham maps) بين التشكيلات (cochains) والصيغ التفاضلية.

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

1. بناء النموذج التوافقي: تم تعريف نموذج توافقي لـ $\mathbb{R}^3$ كمتسلسلة سلاسل ثلاثية الأبعاد $C^{(3)}$ ناتجة عن حاصل الضرب التنسوري لعناصر أساس صفرية وأحادية الأبعاد. كما تم تقديم متسلسلة تشكيل ثنائية $K^{(3)}$ لتمثيل الصيغ المنفصلة (الصيغ من الدرجة 0، 1، 2، و3) بمعاملات حقيقية.
2. المؤثرات المنفصلة: تم تعريف العمليات الأساسية للحساب الخارجي على هذه المتسلسلات:
   • تم تعريف مؤثر الاندفاع (coboundary operator) $d_c$ عبر الثنائية مع مؤثر الحدود $\partial$، ليكون نظيراً منزلاً للمشتق الخارجي.
   • تم تعريف حاصل الضرب $\cup$ ومؤثر هودج المنفصل (discrete Hodge star operator) ($*$) على عناصر الأساس في $K^{(3)}$. ومن الجدير بالذكر أن مؤثر هودج المنفصل يظهر إزاحة في المؤشرات عند تطبيقه مرتين ($** \neq \text{Id}$)، وهو اختلاف جوهري عن الحالة المستمرة.
   • تم تعريف المتغير التراجعي (codifferential) $\delta_c$ كمترافق لـ $d_c$ بالنسبة لضرب داخلي محدد، وتم بناء لابلاس المنفصل (discrete Laplacian) $\Delta_c$ كـ $d_c\delta_c + \delta_cd_c$.
3. الصياغة شبه المنفصلة: تمت صياغة معادلات ماكسويل باستبدال المشتقات المكانية بالمؤثر المنفصل $d_c$ مع الاحتفاظ بالمشتق الزمني المستمر $\frac{d}{dt}$. كما تم تكييف العلاقات التكوينية مع الإعداد المنفصل باستخدام مؤثر هودج المعرف، مما نتج عنه نظم من المعادلات التفاضلية الفرقية.
4. الاختزال إلى البعد الثاني وتحليل الطارة (Torus): تم اختزال النموذج ثلاثي الأبعاد إلى إعداد ثنائي الأبعاد على طارة توافقية. تم تحويل المعادلات التفاضلية الجزئية المستمرة إلى نظام من المعادلات التفاضلية العادية (ODEs) الخطية من الدرجة الأولى ذات معاملات ثابتة، مما يسمح بالحل التحليلي.

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

• الحفاظ على الهندسة: نجحت الورقة في بناء نموذج شبه منفصل يحافظ على البنية الجوهرية للحساب الخارجي. وقد استُخلصت النظائر المنفصلة لقانون فاراداي، وقانون أمبير، وقوانين غاوس، والعلاقات التكوينية.
• مبرهنة بوينتنج: تم اشتقاق نظير منفصل لمبرهنة بوينتنج (الفرضية 3.1)، مما يثبت حفظ الطاقة الكهرومغناطيسية ضمن الإطار الجبري المنفصل. وقد تم إثبات المتطابقة $d_c(E \cup H) = -\frac{1}{2}\frac{d}{dt}(E \cup D + B \cup H) - E \cup J$.
• معادلات الموجة: استنتجت الورقة معادلات موجية شبه منفصلة للمجال الكهربائي، والمجال المغناطيسي، والجهود الكهرومغناطيسية. وتأخذ هذه المعادلات شكل معادلات تفاضلية-فرقية تتضمن لابلاس المنفصل $\Delta_c$ والمشتق الزمني الثاني، مع دمج عامل الإزاحة المتأصل في مؤثر هودج المنفصل.
• الثبات تحت التحويل القياسي (Gauge Invariance): تم تعريف نظير شبه منفصل للتحويل القياسي، مما يوضح أن الصيغة أحادية البعد للمجال الكهربائي تظل ثابتة تحت تحويلات محددة للجهود القياسية والمتجهة.
• الحل الصريح على الطارة: كتطبيق محدد، تم تطبيق النموذج على طارة توافقية (شبكة $2 \times 2$ مع شروط حدودية دورية). في حالة عدم وجود مصادر ($Q=0, J=0$)، يختزل النظام إلى نظام معادلات تفاضلية عادية خطية متجانسة. توفر الورقة تعبيراً صريحاً للحل العام عبر حساب القيم الذاتية والمتجهات الذاتية لمصفوفة النظام. وُجدت القيم الذاتية لتكون $0$(تكرار 3)، و$\pm 2$(تكرار 2)، و$\pm 2\sqrt{2}i$ (تكرار 1)، مما يؤدي إلى حل يتكون من حدود ثابتة، وأسية، وتذبذبية.

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