ארגודיות

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

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

תמצית הרעיון[עריכת קוד מקור | עריכה]

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

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

הגדרה[עריכת קוד מקור | עריכה]

יהי  X_\omega[n] תהליך אקראי סטציונרי בזמן בדיד המוגדר בזמנים n\in\mathbb{N}. אזי תהליך זה יקרא ארגודי אם לכל פונקציה חסומה f(\alpha_1,...\,\alpha_k), לכל מספר פרמטרים k, ולכל \omega מתקיים:

 \lim_{N\rightarrow \infty} \frac{1}{N} \sum_{i=1}^N f(X[i],X[i+1],...,X[i+k]) = E[f(X[0],X[1],...,X[k])]

במקרה זה יש לציין גם את אופי ההתכנסות של השוויון הנ"ל.

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

הערה: ההגדרה הובאה לתהליך אקראי בדיד. ניתן להכלילה גם למקרה של תהליך אקראי רציף.

ארגודיות במומנט ראשון ושני[עריכת קוד מקור | עריכה]

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

יהי  X_\omega[n] תהליך אקראי סטציונרי כפי שמוגדר לעיל, ויהי \bar{X}[n] הממוצע הזמני של התהליך על פרק זמן 2N+1:

\bar{X}[n] = \frac{1}{2N+1}\sum_{i=-N}^N X[i]

אזי אם הממוצע הזמני הנ"ל מתכנס לתוחלת התהליך, E[X[n]]=\mu (כאשר התוחלת אינה תלויה בזמן, מפאת היות התהליך סטציונרי), בממוצע ריבועי כאשר N\rightarrow \infty, אומרים שהתהליך הוא ארגודי בממוצע ריבועי במומנט ראשון.

באופן דומה ועבור אותו התהליך, תהי \bar{R}_X[k] פונקציית האוטוקורלציה האמפירית:

 \bar{R}_X[k] = \frac{1}{2N+1} \sum_{i=-N}^N (X[i]-\mu)(X[i+k]-\mu)

אזי אם פונקציה זו מתכנסת לאוטוקורלציה האמיתית, המוגדרת על ידי הסטטיסטיקה של התהליך: R_X[k] = E[X[n]X[n+k]] (שהיא פונקציה של הפרש הזמנים k בלבד, מפאת היות התהליך סטציונרי), לכל k בממוצע ריבועי כאשר N\rightarrow \infty, אומרים שהתהליך הוא ארגודי בממוצע ריבועי במומנט שני.

דוגמאות[עריכת קוד מקור | עריכה]

אינטואיטיבית, משמעות היות התהליך ארגודי היא שדגימותיו בעלות קורלציה נמוכה אחת למשנתה. כך למשל, כדוגמה לתהליך ארגודי במומנט ראשון ניתן לציין תהליך בעל תוחלת 0 שדגימותיו בלתי תלויות ושוות התפלגות. נניח שמדובר בתהליך בו כל דגימה מפולגת ברנולי עם פרמטר p. אזי נצפה שלאחר זמן רב N, כ-pN דגימות תהיינה בעלות הערך 1 בעוד שהשאר תהיינה בעלות הערך 0. לכן, המיצוע הזמני יהיה דומה לתוחלת.

כדוגמה לתהליך שאינו ארגודי, ניתן לציין תהליך אשר דגימותיו נקבעות לפי ערך יחיד. יהיה X[n] תהליך אקראי השווה למשתנה M המפולג ברנולי בעל פרמטר p. כלומר: X[n]=M וכל ערכי התהליך זהים. אזי במקרה זה, בעוד שתוחלת התהליך תהא E[X[n]] = E[M] = p, מיצוע זמני יניב אחד מבין שני ערכים - 0 או 1, שכן ערך זה קבוע לכל זמן. במקרה זה, אין שוויון בין הממוצע הזמני לתוחלת והתהליך אינו ארגודי. בנוסף, ניתן לראות כי במקרה זה יש קורלציה גבוהה מאד בין דגימות התהליך, שכן הן שוות זו לזו.