הלמה של איטו
במתמטיקה, הלמה של איטו היא למה המשמשת לחישוב הדיפרנציאל של תהליך סטוכסטי מסוג איטו. ללמה של איטו שימושים רבים, למשל בחישובים הכרוכים במערכות פיזיקליות בהן מתבצעת תנועה בראונית, ובשוק ההון בתמחור אופציות לפי מודל בלק ושולס. נקראת על שם המתמטיקאי היפני קיושי איטו.
בצורתה הבסיסית ביותר עוסקת הלמה של איטו בתהליכים סטוכסטיים המכונים "תהליכי איטו", בעלי מבנה של משוואה דיפרנציאלית סטוכסטית מהסוג:
כאשר ו- הם משתנים התלויים פונקציונלית בזמן, המייצגים בדרך כלל את התוחלת וסטיית התקן של המשתנה המקרי , ו- מסמל תהליך בראוני סטנדרטי (המוכר גם בשם תהליך וינר).
הלמה קובעת שאם הפענוח נכשל (שגיאת המרה. השרת ("https://wikimedia.org/api/rest_") השיב: "Cannot get mml. Server problem."): {\displaystyle \ f:[a,b]\times \mathbb {R} \to \mathbb {R} } היא פונקציה גזירה ברציפות פעמיים הפענוח נכשל (שגיאת המרה. השרת ("https://wikimedia.org/api/rest_") השיב: "Cannot get mml. Server problem."): {\displaystyle \ \left(C^{2}\right)} אזי הדיפרנציאל הסטוכסטי של הפענוח נכשל (שגיאת המרה. השרת ("https://wikimedia.org/api/rest_") השיב: "Cannot get mml. Server problem."): {\displaystyle \ f(X_{t})} קיים (ומהווה גם הוא תהליך איטו) ומתקיים:
- הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle \begin{align} df(X_t) &= f^\prime(X_t)\,dX_t + \frac{1}{2}f^{\prime\prime}(X_t)\sigma^2_t\,dt\\ &= f^\prime(X_t)\sigma_t\,dB_t + \left(f^\prime(X_t)\mu_t+\frac{1}{2}f^{\prime\prime}(X_t)\sigma^2_t\right)\,dt. \end{align} }
כאשר f היא פונקציה גם של X וגם של t, הנוסחא המלאה (הדו-ממדית) היא:
- הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle df(t,X_t) =\left(\frac{\partial f}{\partial t} + \mu_t \frac{\partial f}{\partial x} + \frac{1}{2}\sigma_t^2\frac{\partial^2f}{\partial x^2}\right)dt+ \sigma_t \frac{\partial f}{\partial x}\,dB_t }
21531500הלמה של איטו