בעיית המומנטים

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

## הגדרה
בניסוח הקלאסי, בעיית המומנטים שואלת, בהינתן סדרה m_0,m_1,m_2,..., האם קיימת מידה חיובית \mu על הישר הממשי, \mathbb{R}, כך ש־m_n=\int_{-\infty}^{\infty} x^n \,d\mu(x).

הבעיה למעשה עוסקת בקיום ויחידות של המידה \mu אבל במונחים של תורת ההסתברות. בעיית המומנטים שקולה לשאלה האם התפלגות נקבעת על פי המומנטים שלה.

ניסוח זה הנקרא גם בעיית המומנטים של המבורגר .

### ניסוחים נוספים
לבעיית המומנטים ניסוחים נוספים הנבדלים בתומך של \mu:
* בעיית המומנטים של סטילטיס
m_n=\int_{0}^{\infty} x^n \,d\mu(x)
* בעיית המומנטים של האוסדורף
m_n=\int_{0}^{1} x^n \,d\mu(x)

## תנאים לקיום מידה
### בניסוח הקלאסי
עבור סדרת מומנטים \{m_n\}_{n=1}^\infty, התנאים ההבאים שקולים:
# קיימת מידה \mu כך ש m_n=\int_{-\infty}^{\infty} x^n \,d\mu(x).
# לכל n\in\mathbb{N} ולכל c_0,...,c_n\in\mathbb{R} מתקיים \sum_{i,j=0}^n m_i+jc_ic_j\geq 0.
# לכל n\in\mathbb{N}, המטריצה H_n\in\mathbb{R}^{n\times n} המוגדרת על ידי (H_n)_{ij}=m_{i+j} היא מטריצה חיובית.

### בניסוח סטילטיס
עבור סדרת מומנטים \{m_n\}_{n=1}^\infty, התנאים ההבאים שקולים:
# קיימת מידה \mu כך ש m_n=\int_{0}^{\infty} x^n \,d\mu(x).
# לכל n\in\mathbb{N} ולכל c_0,...,c_n\in\mathbb{R} מתקיים \sum_{i,j=0}^n m_i+jc_ic_j\geq 0 וגם \sum_{i,j=0}^n m_{i+1}+jc_ic_j\geq 0.
# לכל n\in\mathbb{N}, המטריצות H_n,H'_n\in\mathbb{R}^{n\times n} המוגדרות על ידי (H_n)_{ij}=m_{i+j},(H'_n)_{ij}=m_{i+j+1} הן מטריצות חיוביות.

### בניסוח האוסדורף
הסדרה, \{m_n\}_{n=1}^\infty זו סדרת מומנטים ב[0,1] אם לכל k,n\in\mathbb{N} מתקיים \sum^n_{j=0}(-1)^j{n\choose j}s_{k+j}\geq 0.
## תנאים ליחידות המידה
### בניסוח הקלאסי
המשפטים ההבאים מהווים תנאים ליחידות המידה \mu המקיימת את בעיית המומנטים הקלאסית:
* תהיי \mu מידת הסתברות, כך שלכל n\in\mathbb{N}, המומנט m_n=\int_{-\infty}^{\infty} x^n \,d\mu(x) סופי. אם לטור חזקות \sum_{n=1}^\infty \frac{m_nr^n}{n!} יש רדיוס התכנסות חיובי עבור r חיובי כלשהו אזי \mu מידת ההסתברות היחיד בעל המומנטים \{m_n\}_{n=1}^\infty.
*תהי \{m_n\}_{n=1}^\infty סדרת מומנטים כך שמתקיים \lim_{n\to\infty} \sup \frac{m_{2n}^\frac{1}{2n}}{2n} אז קיימת לכל היותר פונקציית צפיפות אחת, \mu, כך ש m_n=\int_{-\infty}^{\infty} x^n \,d\mu(x).

### בניסוח האוסדורף
היחידות של המידה \mu בבעיית המומנטים בנוסח האוסדורף נובע ממשפט הקירוב של ויירשטראס.

## רקע היסטורי
המונח **בעיית המומנטום** הופיע לראשונה בשנים 1894–1895, במאמרו של המתמטיקאי תומאס יוהאן סטילטיס. המאמר עסק בשברים משולבים ובין היתר, סטילטיס הציג ופתר בו את בעיית המומנטים בניסוח דומה לבעיית מומנטים סטילטיס אך התעסק רק בקיומו של המידה \mu ולא ביחידותו. במאמר, סטילטס טבע את השם 'מומנטים' מעולם המכניקה ממנו שאב השראה לפתרון בעיות אנליטיות שונות.

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

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

## ראו גם
* שיטת המומנטים (תורת ההסתברות)

## לקיראה נוספת

* Christian Berg, Indeterminate moment problems and the theory of entire functions, Journal of Computational and Applied Mathematics, Volume 65, Issues 1–3, 1995, Pages 27-55, ,(1995) https://doi.org/10.1016/0377-0427(95)00099-2.
* Lin, G.D. Recent developments on the moment problem. J Stat Distrib App 4, 5 (2017). https://doi.org/10.1186/s40488-017-0059-2
* Akhiezer, Naum I. (1965). The classical moment problem and some related questions in analysis. New York: Hafner Publishing Co. (translated from the Russian by N. Kemmer)


## קישורים חיצוניים
* 

## הערות שוליים

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