Dynamics of a nonlocal epidemic model with a new free boundary condition, part 1: Spreading-vanishing dichotomy

ملخص تقني: ديناميكيات نموذج وباء غير محلي مع شرط حد جديد للحدود الحرة، الجزء الأول

بيان المشكلة
تبحث هذه الورقة في الديناميكيات طويلة الأمد لنموذج وباء غير محلي يصف التفاعل بين مسبب المرض (كثافة $u$) والبشر المصابين (كثافة $v$) داخل منطقة وبائية أحادية البعد $[g(t), h(t)]$. تتوسع المنطقة أو تتقلص بمرور الوقت، حيث تمثل $g(t)$ و $h(t)$ حدوداً حرة. يدمج النظام آليات انتشار غير محلية، حيث يتم التحكم في حركة كلا النوعين من خلال مؤثرات تكاملية تتضمن دالات النواة $J_1$ و $J_2$.

يكمن الابتكار الجوهري لهذا العمل في صياغة شرط حد حر جديد. بخلاف النماذج السابقة حيث يتم تحديد معدل توسع الحد بناءً فقط على التدفق الخارجي للأنواع (بما يشبه شرط ستيفان)، أو بناءً فقط على إجمالي عدد السكان الموزون للمصابين، يقترح هذا النموذج شرطاً يكون فيه معدل التوسع $h'(t)$ (و $g'(t)$) متناسباً مع مزيج خطي من:

1. التدفق الخارجي لمسبب المرض $u$ عبر الحد (الذي يمثل الانتشار البيئي، مثل الماء).
2. إجمالي عدد السكان الموزون للأفراد المصابين $v$ داخل المنطقة (الذي يمثل التوسع المدفوع بالبشر).

رياضياً، تُعطى شروط الحدود الحرة كما يلي:
$$h'(t) = \mu \int_{g(t)}^{h(t)} \left[ u(t, x)W_{J_1}(h(t)-x) + \rho v(t, x)W(h(t)-x) \right] dx$$
$$g'(t) = -\mu \int_{g(t)}^{h(t)} \left[ u(t, x)W_{J_1}(h(t)-x) + \rho v(t, x)W(h(t)-x) \right] dx$$
حيث أن $W_{J_1}$ هو التكامل المذيلي لنواة مسبب المرض، و $W$ هي دالة وزن مستقلة عن نواة الانتشار الخاصة بالبشر.

المنهجية
يستخدم المؤلفون إطاراً تحليلياً صارماً يجمع بين نظرية النقطة الثابتة، ومبادئ المقارنة، والتحليل الطيفي:

1. الوجود الجيد (Well-posedness): يتم إثبات وجود ووحدانية الحلول العالمية باستخدام مبرهنة التباين (Contraction Mapping Theorem). حيث يعرّف المؤلفون فضاءً مترياً كاملاً لدالات الحدود $(g, h)$ ويبنون تطبيقاً يعتمد على حل نظام الانتشار-التفاعل المرتبط بحدود ثابتة.
2. مبادئ المقارنة: تم تطوير سلسلة من لزمات المقارنة لتحديد حدود الحل $(u, v)$ والحدود $(g, h)$ باستخدام حلول عليا ودنيا. وتعد هذه المبادئ حاسمة لتحليل السلوك التقاربي وإثبات نتائج الازدواجية.
3. التحليل الطيفي: تعتمد الدراسة بشكل كبير على القيمة الذاتية الرئيسية $\lambda_p$ لمسألة قيمة ذاتية غير محلية مرتبطة معرفة على فاصل محدود. ويحدد إشارة $\lambda_p$ استقرار التوازن الصفري ويحدد ما إذا كان المرض سينتشر أم سيتلاشى.
4. التحليل التقاربي: يتم تحليل السلوك طويل الأمد من خلال التمييز بين سيناريوهين:
   • التلاشي (Vanishing): تتقارب الحدود إلى فاصل محدود، وتضمحل الكثافات إلى الصفر.
   • الانتشار (Spreading): تتوسع الحدود إلى اللانهاية، وتتقارب الكثافات محلياً بانتظام إلى حالة مستقرة موجبة فريدة.

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

1. الوجود العالمي والوحدانية (النظرية 1.1): تثبت الورقة أن النظام غير المحلي المقترح مع شرط الحد الحر المختلط الجديد يقبل حلاً عالمياً وحيداً لجميع قيم $t > 0$، بشرط أن تستوفي البيانات الأولية ودالات النواة شروط الانتظام والإيجابية القياسية.

2. ازدواجية الانتشار والتلاشي (النظرية 1.2): تتسم الديناميكيات طويلة الأمد بازدواجية حادة. اعتماداً على المعلمات، فإن النظام إما:

   • يتلاشى: تظل المنطقة الوبائية محدودة ($g_\infty, h_\infty$ قيم محدودة)، وتتقارب كثافات مسبب المرض والسكان المصابين بانتظام إلى $(0, 0)$.
   • ينتشر: تتوسع المنطقة الوبائية لتشمل الخط الحقيقي بأكمله ($g_\infty = -\infty, h_\infty = +\infty$)، وتتقارب الكثافات محلياً بانتظام إلى حالة مستقرة موجبة فريدة $(u^*, v^*)$.

3. المعايير الحادة للانتشار والتلاشي (النظرية 1.3): يستنتج المؤلفون شروطاً دقيقة تحدد النتيجة التي ستحدث:

   • إذا كان عدد التكاثر الأساسي $R_0 < 1$، يحدث التلاشي دائماً.
   • إذا كان $R_0 \geq (1 + d_1/a)(1 + d_2/b)$، يحدث الانتشار دائماً.
   • في المنطقة المتوسطة ($1 < R_0 < (1 + d_1/a)(1 + d_2/b)$)، تعتمد النتيجة على حجم النطاق الأولي $h_0$ ومعامل التوسع $\mu$:
     • إذا كان $h_0$ كبيراً بما يكفي ($h_0 \geq L^*$)، يحدث الانتشار.
     • إذا كان $h_0$ صغيراً، يوجد عتبة حرجة $\mu^*$ (تعتمد على البيانات الأولية) بحيث يحدث التلاشي عندما يكون $\mu \leq \mu^*$ والانتشار عندما يكون $\mu > \mu^*$.
     • وبالمثل، بالنسبة للنطاقات الصغيرة الثابتة، توجد عتبة لشدة السكان الأولية $\sigma$.

4. عتبة معدل الانتشار (النظرية 1.4): تحدد الورقة عتبة حادة لمعدل الانتشار. من خلال تغيير مقاييس معاملات الانتشار كـ $(d_1, d_2) = s(d_1^0, d_2^0)$، يحدد المؤلفون قيمة حرجة $d^*$ بحيث أنه:

   • إذا كان $s \leq d^*$ (انتشار بطيء)، يحدث الانتشار دائماً (بافتراض $R_0 > 1$).
   • إذا كان $s > d^*$ (انتشار سريع)، تعتمد النتيجة على معامل التوسع، مما يظهر ازدواجية مشابهة لحالة البيانات الأولية.
     يستكمل هذا النتيجة التي توصل إليها نجوينن وفو [30] من خلال حل الحالة التي تتساوى فيها معدلات الانتشار وتوفير عتبة للحالة العامة.

5. الحالة الحرجة $R_0 = 1$: تظهر الورقة أنه إذا كان $R_0 = 1$، فإن التلاشي يحدث عموماً (تذهب الكثافات إلى الصفر)، رغم أن إثبات محدودية الفاصل النهائي يتطلب شروطاً إضافية على دالة الوزن $W$ أو دالة معدل العدوى $G$.

الأهمية والادعاءات
يدعي البحث تقديم أساس نظري شامل لفئة جديدة من نماذج الأوبال التي تدمج الانتشار غير المحلي مع شرط حد حر مختلط مدفوع بيولوجياً. تكمن الأهمية في:

• التوحيد: يجسّر هذا العمل الفجوة بين النماذج المدفوعة بالتدفق فقط (Cao et al. [4]) وتلك المدفوعة بوزن السكان فقط (Long et al. [27])، مما يوفر إطاراً أكثر مرونة لنمذجة الأمراض ذات الانتقال البيئي والموجه بشرياً معاً.
• العتبات الحادة: يوفر اشتقاق العتبات الحادة لحجم النطاق الأولي، ومعامل التوسع، ومعدل الانتشار معايير دقيقة للتنبؤ بنتائج المرض، وهو أمر حيوي لاستراتيجيات السيطرة.
• الصرامة الرياضية: يوسع هذا العمل نظرية مسائل الحدود الحرة غير المحلية، وتحديداً معالجة الجودة الجيدة والديناميكيات التقاربية تحت شروط الحدود الجديدة، مما يسد الثغرات في الأدبيات الحالية المتعلقة بالتفاعل بين الانتشار غير المحلي ومحركات الحدود المختلطة.

يُقدم هذا العمل كجزء أول من سلسلة مكونة من جزئين، حيث سيخصص الجزء الثاني لتحديد سرعات الانتشار الدقيقة ومعدلات الانتشار المتسارع عند حدوث الانتشار.