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

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

בזמן t, ההחלטה אינה פשוט אם G_t חיובי, אלא אם הוא עולה על הערך המותנה של ההמתנה עם אותו מידע עתידי

ערך העצירה האופטימלי הוא הסופרמום המהותי של E[G_τ | F_t] על פני זמני עצירה מותרים τ שאינם מוקדמים מ־t

מעטפת סנל Y דומיננטית ב־G ומקיימת E[Y_t | F_s] ≤ Y_s עבור s ≤ t

כל סופרמרטינגל אחר שדומיננטי בכל G_t חייב גם הוא להיות דומיננטי ב־Y, ולכן Y הוא החסם העליון הזול ביותר העקבי דינמית

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

בזמן דיסקרטי סופי, קבעו Y_N = G_N וחשבו Y_n = max(G_n, E[Y_{n+1} | F_n])

האיבר הראשון הוא ערך המימוש; השני הוא ערך ההמשך לאחר מיצוע החלטת המחר האופטימלית באמצעות המידע של היום

לכן אינדוקציה לאחור אינה קיצור דרך לתמחור שנוסף מבחוץ — היא הבנייה הדיסקרטית של המעטפת עצמה

מועמד טבעי הוא τ* = inf{t : Y_t = G_t}, הזמן הראשון שבו המעטפת נוגעת בתשלום המיידי

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

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

בתנאים מתאימים, מעטפת סופרמרטינגל מקבלת צורת Doob–Meyer: Y = M - A, כאשר A צפוי ועולה

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

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

תחת מידת תמחור, השתמשו בתשלום האמריקאי המהוון כ־G; המעטפת נותנת את תהליך הערך העקבי ללא־ארביטראז׳ במסגרת שלמה ואידאלית

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

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

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

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

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