החלפת משתנים

חשבון דיפרנציאלי ואינטגרלי רב־משתני מיסודות ראשונים

השיעור האחרון הזה קושר יחד את שני חצאי הקורס. כשמחליפים משתנים באינטגרל באמצעות ההצבה x = g(u), צריך להביא בחשבון את האופן שבו ההצבה מותחת את המרחב. גורם המתיחה הזה הוא דטרמיננטת היעקוביאן ממודול 3, ולכן הנוסחה הסופית היא המקום שבו הנגזרות והאינטגרלים של הקורס נפגשים סוף־סוף.

זוהי ההכללה הרב־משתנית של הצבת u מקורס I. שם, הגורם היה |dx/du|, 'יעקוביאן' בגודל 1×1. כאן הוא |det J_g|, גורם קנה המידה של הנפח: כשהעתקה g דוחסת או מרחיבה קופסאות קטנות ממרחב u אל מרחב x, הדטרמיננטה מכיילת מחדש את האינטגרל כדי שהסכום הכולל יישאר נכון.

ניסיון לבצע אינטגרציה על אזור עגול עם אריחי x-y ריבועיים דומה לריצוף מעגל תנועה עגול בלבנים מלבניות: הקצוות לעולם אינם משתלבים בצורה נקייה. מעבר לקואורדינטות מעגליות (פולריות) העוטפות את המרכז גורם לצורה להסתדר במקומה באופן טבעי. המחיר על המעבר הוא גורם המתיחה, ההופך את אלמנט השטח ל־r dr dθ מכיוון שטבעות רחוקות יותר מהמרכז מכסות שטח רב יותר.

איפה זה ב־MLהנוסחה הבודדת הזו היא הליבה המתמטית של normalizing flows ושל טריק הפרמטריזציה מחדש. flow מעביר צפיפות פשוטה דרך g הפיכה, ו־p_X(x) = p_Z(g⁻¹(x))·|det J_{g⁻¹}| שומר על הסתברות מנורמלת, כשדטרמיננטת היעקוביאן עוקבת אחר הצפיפות לאורך הטרנספורמציה. טריק הפרמטריזציה מחדש ב־VAEs משתמש באותה לוגיקה של החלפת משתנים כדי לדחוף גרדיאנטים דרך שלב הדגימה. חשבון אינפיניטסימלי II מסתיים בדיוק על מפתנו של המידול…
▶ החלפת משתנים
← אינטגרלים משולשיםמרחבי מדגם ומאורעות →