משפט העצירה האופציונלית במימון: הסבר

זמן אקראי τ הוא זמן עצירה כאשר האירוע {τ ≤ t} ידוע מתוך מידע F_t הזמין עד זמן t

סוחר יכול לעצור לאחר שמחסום הושג, אך אינו יכול להגדיר את τ באמצעות מחיר המחר ולטעון שהוא היה ידוע היום

ההגדרה מונעת הצצה קדימה; היא אינה מבטיחה כשלעצמה שאפשר להחליף תוחלות עם כלל עצירה חסר חסם

התהליך העצור הוא M_{t∧τ}: הוא עוקב אחר M עד τ ואז נשאר בערך שבו נעצר

עבור מרטינגל וזמן עצירה, התהליך העצור הוא בעצמו מרטינגל תחת אינטגרביליות סטנדרטית בכל t קבוע

המעבר מכל t סופי לערך הסופי האקראי M_τ דורש שליטה נוספת בגבול

גרסאות נפוצות מניחות ש-τ חסום, ש-M חסום או שמשפחת התהליכים העצורים אינטגרבילית במידה אחידה

גרסאות בזמן בדיד יכולות להשתמש ב-E[τ] סופי יחד עם תוספות חסומות במידה מתאימה, אך ההיפותזות המדויקות משתנות לפי המשפט

עבור זמני עצירה σ ≤ τ, צורה חזקה נותנת E[M_τ | F_σ] = M_σ כאשר התנאים הנדרשים מתקיימים

במשחק הטלת מטבע הוגן, הכפלת ההימור אחרי כל הפסד נראית כמבטיחה יחידת רווח אחת בניצחון הראשון

זמן העצירה אינו חסום, ההפסדים שבדרך והאשראי הנדרש גדלים ללא גבול, והערכים העצורים אינם אינטגרביליים במידה אחידה

לכן הרווח החופשי לכאורה אינו סותר עצירה אופציונלית; הוא מפר את התנאים שמצדיקים לקיחת הגבול

להלך אקראי שנעצר באחד משני מחסומים סופיים יש ערכים עצורים חסומים, ולכן אפשר להחיל עליו עצירה אופציונלית

כתיבת הערך העצור הצפוי במונחי שני ערכי הגבול יכולה לפתור את ההסתברות לפגיעה ראשונה במחסום העליון

יש לכלול overshoot, קפיצות, היוון, drift ואופק אינסופי במקום להשתמש בשקט בנוסחת ההלך החסום הפשוטה ביותר

תביעה אמריקאית מאפשרת למחזיק לבחור זמן עצירה למימוש מתוך קבוצת המידע המותרת

תחת מידת תמחור, ערכה היא הסופרמום של תוחלת התשואה המהוונת על פני זמני עצירה מותרים, תחת תנאים מתאימים

מעטפת Snell היא הסופרמרטינגל הקטן ביותר ששולט בתהליך התשואה ומזהה אזור מימוש אופטימלי כאשר כזה קיים

ציינו את הסינון, המידה, התהליך העצור, האופק, התשואה, זמני העצירה המותרים ואת גרסת המשפט שבה משתמשים

אמתו חסימות, אינטגרביליות אחידה או תנאי חלופי מדויק לפני החלפת תוחלת עצורה בערך ההתחלתי שלה

בסימולציות, גלו הצצה קדימה, הטיה שנוצרה מחיתוך, מסלולים שלא נעצרו באופק, overshoot והאם ההיוון ותזרימי המזומן נשארים עקביים