On Non-Lipschitz Path-Dependent SDEs with Weighted Running Extrema: Existence, Uniqueness, and Strong Convergence Rates

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

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

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

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

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

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