הלמה של איטו

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

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

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

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

כאשר f היא פונקציה גם של X וגם של t, הנוסחא המלאה (הדו-ממדית) היא:

תהליכים סטוכסטיים
איטו