شرح مبرهنة الإيقاف الاختياري في التمويل

يكون الزمن العشوائي τ زمن إيقاف عندما يكون الحدث {τ ≤ t} معلومًا من المعلومات F_t المتاحة حتى الزمن t

قد يتوقف المتداول بعد بلوغ حاجز، لكنه لا يستطيع تعريف τ باستخدام سعر الغد ثم الادعاء بأن المعلومة كانت معروفة اليوم

يمنع التعريف النظر إلى المستقبل، لكنه لا يضمن وحده إمكان تبادل التوقعات مع قاعدة إيقاف غير محدودة

العملية الموقوفة هي M_{t∧τ}: تتبع M حتى τ ثم تبقى عند القيمة التي توقفت عندها

بالنسبة إلى مارتينجال وزمن إيقاف، تكون العملية الموقوفة نفسها مارتينجالًا تحت تكامل معتاد عند كل t ثابت

أما الانتقال من كل t منتهٍ إلى القيمة النهائية العشوائية M_τ فيتطلب ضبطًا إضافيًا للحد

تفترض الصيغ الشائعة أن τ محدود، أو أن M محدود، أو أن عائلة العمليات الموقوفة متكاملة بانتظام

قد تستخدم صيغ الزمن المتقطع E[τ] منتهيًا مع زيادات محدودة بما يكفي، لكن الفروض الدقيقة تختلف من مبرهنة إلى أخرى

بالنسبة إلى أزمنة إيقاف σ ≤ τ، تعطي الصيغة القوية E[M_τ | F_σ] = M_σ عندما تتحقق الشروط المطلوبة

في لعبة عملة عادلة، تبدو مضاعفة الرهان بعد كل خسارة وكأنها تضمن ربح وحدة واحدة عند أول فوز

زمن الإيقاف غير محدود، وتتزايد الخسائر المؤقتة والائتمان المطلوب بلا حد، كما أن القيم الموقوفة ليست متكاملة بانتظام

لذلك لا يناقض الربح المجاني الظاهري مبرهنة الإيقاف الاختياري؛ بل يخالف الشروط التي تبرر أخذ النهاية

تملك المسيرة العشوائية الموقوفة عند أحد حاجزين منتهيين قيمًا موقوفة محدودة، مما يجعل تطبيق الإيقاف الاختياري ممكنًا

وقد يحل التعبير عن القيمة الموقوفة المتوقعة بدلالة قيمتي الحد احتمال بلوغ الحاجز العلوي أولًا

يجب إدراج التجاوز والقفزات والخصم والانجراف والأفق اللانهائي بدل استخدام أبسط صيغة لمسيرة محدودة دون تصريح

تسمح المطالبة الأمريكية لحاملها باختيار زمن تمرين من مجموعة المعلومات المؤهلة

تحت قياس تسعير تكون قيمتها أعظم توقع للمردود المخصوم عبر أزمنة التمرين المسموح بها، في ظل شروط مناسبة

مغلف سنيل هو أصغر مارتينجال فائق يهيمن على عملية المردود، ويحدد منطقة تمرين مثلى عندما توجد

حدد الترشيح والقياس والعملية الموقوفة والأفق والمردود وأزمنة الإيقاف المؤهلة وصيغة المبرهنة المستخدمة

تحقق من التحديد أو التكامل المنتظم أو الشرط البديل الدقيق قبل استبدال التوقع الموقوف بقيمته الابتدائية

في المحاكاة، اكتشف النظر إلى المستقبل والتحيز الناتج عن السقف والمسارات التي لم توقفها نهاية الأفق والتجاوز، وافحص اتساق الخصم والتدفقات النقدية