Group-theoretic and equivalence-symmetry analysis of a susceptible–infected–AIDS HIV model

ملخص تقني: التحليل المجموعي وتناظر التكافؤ لنموذج فيروس نقص المناعة البشرية (HIV) من نوع "المعرضب - المصاب - الإيدز" (SICA)

بيان المشكلة
غالبًا ما تخلط النمذجة الرياضية لانتقال فيروس نقص المناعة البشرية، لا سيما ضمن إطار (SICA)، بين مفهومين متمايزين في تحليل التناظر: تناظرات نقطة لي (Lie point symmetries) (وهي تحويلات تنقل الحلول من نموذج ثابت واحد إلى حلول لنفس النموذج) وتحويلات التكافؤ (equivalence transformations) (وهي تحويلات تنقل نموذجًا من عائلة معينة إلى نموذج آخر عبر ضبط كل من الحالات والمعلمات). هذا الخلط يمكن أن يؤدي إلى اختزالات غير صالحة، مثل افتراض أن مقاييس السكان هي تناظرات لنظام ذي معلمات ثابتة بينما هي ليست كذلك. تعالج هذه الورقة هذا الأمر من خلال التمييز الصارم بين هذين المفهومين لنموذج HIV قياسي ثلاثي المكونات، بهدف وضع قالب قابل لإعادة الإنتاج لتحليل التناظر، يتجنب افتراض وجود تكاملات أولية غير موجودة أو الخطأ في تحديد تكافؤات عائلة النماذج كثوابت ديناميكية.

المنهجية
يستخدم المؤلف نهج تحليل مجموعات "لي" (Lie group) بشكل منهجي:

1. صياغة النموذج: تم تعريف نموذج (SICA) حتمي بمتغيرات حالة هي $S$ (المعرضب)، $I$ (المصاب)، و $A$ (الإيدز)، محكومة بكل من التجنيد ($\Sigma$)، والانتقال ($\gamma$)، والوفاة الطبيعية ($\alpha$)، والتطور ($\omega$)، والوفاة الناجمة عن الإيدز ($\delta$).
2. التحليل الديناميكي: يثبت المؤلف أولاً الثبات الأمامي للمجال (octant) غير السالب، وحدودية الحلول، ووجود توازن خالي من المرض وتوازن متوطن يفصل بينهما رقم التكاثر الأساسي ($R_0$).
3. اختبار تناظر نقطة لي: باستخدام الامتداد الأول للمجالات المتجهة، يختبر المؤلف المولدات المرشحة مباشرة ضد المعادلات المحددة. ويختبر المؤلف تحديدًا ترجمة الزمن ومقاييس السكان البديهية (المقياس الموحد لجميع الحالات ومقياس الفئات المصابة) مع تثبيت المعلمات.
4. بناء مجموعة التكافؤ: إدراكًا بأن مقاييس السكان تفشل كتناظرات نقطية، يوسع المؤلف التحليل ليشمل الفضاء المشترك (الحالة-المعلمة). حيث يقوم ببناء مجموعة تكافؤ حيث تتحول المعلمات جنبًا إلى جنب مع متغيرات الحالة للحفاظ على شكل المعادلات التفاضلية.
5. الاختزال غير البعدي: من خلال تحديد الثوابت المشتركة لمولدات التمدد المتبادلة ضمن مجموعة التكافؤ، يستنتج المؤلف نموذجًا مُختزلًا غير بعدي.
6. التحقق العددي: يتم التحقق من النتائج النظرية من خلال تجارب عددية مستقلة، حيث تتم مقارنة مسارات نموذج أساسي ونموذج محول تم رسم خرائط له عبر الثوابت المستمدة.

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

• رفض تناظرات المقياس البسيطة: يثبت التحليل أنه بالنسبة لنموذج ذي معلمات ثابتة، فإن التناظر النقطي الأولي الوحيد المقبول هو ترجمة الزمن ($X_0 = \partial_t$). إن الافتراضات الشائعة بأن مقاييس السكان (مثل $S \to kS, I \to kI$) هي تناظرات ثبت خطؤها؛ حيث تعطي المعادلات المحددة بقايا غير صفرية بسبب حد التجنيد الثابت ($\Sigma$) وحد الانتقال الثنائي ($\gamma SI$).
• تحديد مجموعة التكافؤ: تمت استعادة مقاييس السكان كـ تحويلات تكافؤ. فعندما يتم إعادة قياس المعلمات ($\Sigma, \gamma, \alpha, \omega, \delta$) بالتزامن مع تغير السكان، يشكل النظام مجموعة تكافؤ قابلة للحل بثلاث معلمات. تتكون هذه المجموعة من ترجمة الزمن، وتمدد الزمن (تقليص معدلات المعلمات)، وتمدد السكان (إعادة قياس الحالات ومعلمات محددة).
• الاختزال البعدي: تؤدي الثوابت المشتركة للتمددين المتبادلين إلى تقليص معلمات النظام الخمسة الأصلية ($\Sigma, \gamma, \alpha, \omega, \delta$) إلى ثلاث معلمات غير بعدية مستقلة:
  • $\beta = \gamma\Sigma/\alpha^2$ (قوة الانتقال بالنسبة للمقياس الديموغرافي)
  • $q = \omega/\alpha$ (معدل التطور بالنسبة للوفاة الطبيعية)
  • $d = \delta/\alpha$ (الوفاة الزائدة الناجمة عن الإيدز بالنسبة للوفاة الطبيعية)
    الزمن غير البعدي هو $\tau = \alpha t$، والسكان يتم قياسهم بواسطة $\Sigma/\alpha$.
• ديناميكيات النموذج المختزل: يعيد النظام المختزل بدقة الديناميكيات الوبائية للنظام الكامل. وهو يحافظ على التفرع عبر النقطة (transcritical bifurcation) عند $R_0 = 1$، حيث يفقد التوازن الخالي من المرض استقراره ويظهر توازن متوطن فريد. رقم التكاثر الأساسي في الشكل المختزل هو $R_0 = \beta / (1+q)$.
• التأكيد العددي: تؤكد تجربة عددية مستقلة صحة مجموعة التكافؤ إلى عشر خانات عشرية تقريبًا (أقصى فرق هو $3.9 \times 10^{-11}$)، مما يثبت أن النماذج ذات الأبعاد المختلفة تنهار على مدار واحد مختزل واحد عند رسم خرائط لها عبر الثوابت المستمدة.
• تحليل الحساسية: تستنتج الورقة مؤشرات حساسية تحليلية دقيقة لـ $R_0$، حيث تظهر أن الانتقال ($\gamma$) والتجنيد ($\Sigma$) يمتلكان مرونة وحدة، بينما يعمل الوفاة الطبيعية ($\alpha$) كأقوى عامل تخميد.

الأهمية والادعاءات
يزعم المؤلف أن مساهمته الرئيسية هي منهجية وليست اكتشاف آلية وبائية جديدة. تكمن أهميتها في:

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

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