הלמה של איטו

מתוך ויקיפדיה, האנציקלופדיה החופשית
קפיצה אל: ניווט, חיפוש

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

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

 dX_t= \sigma_t\,dB_t + \mu_t\,dt

כאשר \sigma_t\, ו- \mu_t\, הם משתנים התלויים פונקציונלית בזמן, המייצגים בדרך כלל את התוחלת וסטיית התקן של המשתנה המקרי \ X, ו- \ B_t מסמל תהליך בראוני סטנדרטי (המוכר גם בשם תהליך וינר).

הלמה קובעת שאם \ f:[a,b] \times \mathbb{R} \to \mathbb{R} היא פונקציה גזירה ברציפות פעמיים \ \left( C^2 \right) אזי הדיפרנציאל הסטוכסטי של \ f(X_t) קיים (ומהווה גם הוא תהליך איטו) ומתקיים:


\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, הנוסחא המלאה (הדו-ממדית) היא:


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
P mathematics.svg ערך זה הוא קצרמר בנושא מתמטיקה. אתם מוזמנים לתרום לוויקיפדיה ולהרחיב אותו.