נוסחת דינקין לתהליכים סטוכסטיים: הסבר

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

פורמלית, Lf(x) הוא הגבול קצר-הזמן של E_x[f(X_h)] פחות f(x), מחולק ב-h

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

עבור t דטרמיניסטי, צורה בסיסית היא E_x[f(X_t)] = f(x) + E_x[∫₀ᵗ Lf(X_s) ds]

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

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

בתנאים מתאימים, אפשר להחליף את t בזמן עצירה τ, כגון היציאה הראשונה מאזור

אז אירועי גבול ושאלות זמן פגיעה הופכים לזהויות תוחלת הכוללות את הגנרטור לפני τ

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

התהליך M_t = f(X_t) - f(X_0) - ∫₀ᵗ Lf(X_s) ds הוא מרטינגל מקומי תחת תנאי התחום המתאימים

לקיחת תוחלות מוצדקות מסירה את תוספת המרטינגל ומפיקה את נוסחת דינקין

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

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

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

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

בחירת f(x) = x, x² או פולינום אחר יכולה להפיק משוואות למומנטים כאשר איברי הגנרטור שנוצרים נסגרים

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

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

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

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

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