Hausdorff øjeblikke
I matematik er Hausdorff-øjebliksproblemet de nødvendige og tilstrækkelige betingelser for, at en sekvens ( m n ) af realer er sekvensen af øjeblikke
mikke=∫01xikkedμ(x){\ displaystyle m_ {n} = \ int _ {0} ^ {1} x ^ {n} \, d \ mu (x) \,}![{\ displaystyle m_ {n} = \ int _ {0} ^ {1} x ^ {n} \, d \ mu (x) \,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/8bf5d33d086fca5126152afc4874e5a3f9909df3)
af et Borel-mål på segmentet [0, 1].
μ{\ displaystyle \ mu}![\ mu](https://wikimedia.org/api/rest_v1/media/math/render/svg/9fd47b2a39f7a7856952afec1f1db72c67af6161)
Problemets navn er forbundet med den tyske matematiker Felix Hausdorff .
I tilfældet m 0 = 1, svarer det til, at der foreligger en reel stokastisk variabel X i intervallet [0, 1], således at for alle n , den forventning af X n er lig med m n .
Dette problem svarer til problemet med Stieljes- øjeblikke, der er defineret i intervallet , det af Toeplitz på og det for Hamburger på, men i modsætning til disse er løsningen, hvis den findes, unik.
[0,∞[{\ displaystyle [0, \ infty [}
{t∈VS∣|t|=1}{\ displaystyle \ {t \ in \ mathbb {C} \ mid \ left | t \ right | = 1 \}}
R{\ displaystyle \ mathbb {R}}![\ mathbb {R}](https://wikimedia.org/api/rest_v1/media/math/render/svg/786849c765da7a84dbc3cce43e96aad58a5868dc)
Det er blevet udvidet til to-dimensionelle rum og afkortede suiter.
Monotone serier
Hausdorff viste, at der findes en løsning, hvis og kun hvis sekvensen ( m n ) er fuldstændig monoton , dvs. hvis dens forskelle sekvenser tilfredsstiller
μ{\ displaystyle \ mu}![\ mu](https://wikimedia.org/api/rest_v1/media/math/render/svg/9fd47b2a39f7a7856952afec1f1db72c67af6161)
(-1)k(Δkm)ikke≥0{\ displaystyle (-1) ^ {k} (\ Delta ^ {k} m) _ {n} \ geq 0}![{\ displaystyle (-1) ^ {k} (\ Delta ^ {k} m) _ {n} \ geq 0}](https://wikimedia.org/api/rest_v1/media/math/render/svg/5e3c27845af84127c5791c5b522e9daa590ee13d)
for alle n , k ≥ 0, hvor Δ er den endelige differensoperator givet af
(Δm)ikke=mikke+1-mikke.{\ displaystyle (\ Delta m) _ {n} = m_ {n + 1} -m_ {n}.}![{\ displaystyle (\ Delta m) _ {n} = m_ {n + 1} -m_ {n}.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/0779ad785a488be8e2ca36ceea18d0687c0361ad)
En sådan betingelse er faktisk nødvendig
(-1)k(Δkm)ikke=∫01xikke(1-x)kdμ(x)≥0{\ displaystyle (-1) ^ {k} (\ Delta ^ {k} m) _ {n} = \ int _ {0} ^ {1} x ^ {n} (1-x) ^ {k} \ , \ mathrm {d} \ mu (x) \ geq 0}![{\ displaystyle (-1) ^ {k} (\ Delta ^ {k} m) _ {n} = \ int _ {0} ^ {1} x ^ {n} (1-x) ^ {k} \ , \ mathrm {d} \ mu (x) \ geq 0}](https://wikimedia.org/api/rest_v1/media/math/render/svg/081e21260db78093c91e70619c1d62774b64c54b)
.
for eksempel
Δ4m6=m6-4m7+6m8-4m9+m10=∫x6(1-x)4dμ(x)≥0{\ displaystyle \ Delta ^ {4} m_ {6} = m_ {6} -4m_ {7} + 6m_ {8} -4m_ {9} + m_ {10} = \ int x ^ {6} (1-x ) ^ {4} \, \ mathrm {d} \ mu (x) \ geq 0}![{\ displaystyle \ Delta ^ {4} m_ {6} = m_ {6} -4m_ {7} + 6m_ {8} -4m_ {9} + m_ {10} = \ int x ^ {6} (1-x ) ^ {4} \, \ mathrm {d} \ mu (x) \ geq 0}](https://wikimedia.org/api/rest_v1/media/math/render/svg/7b9bb09e9441465c1acb5371f203c7d160f62198)
.
Det unikke kan udledes af Weierstrass 'tilnærmelses sætning :
μ{\ displaystyle \ mu}![\ mu](https://wikimedia.org/api/rest_v1/media/math/render/svg/9fd47b2a39f7a7856952afec1f1db72c67af6161)
Bevis for unikhed
Hvis to handlinger (positive) for at have de samme tidspunkter (færdig), deres forskel er en begrænset foranstaltning af forsvindende øjeblikke, så der for enhver polynomium , . Ved tæthed af polynomer i de kontinuerlige funktioner på (for den ensartede norm) følger det, at for hver kontinuerlig funktion kontinuerlig , med andre ord .
[på,b]{\ displaystyle [a, b]}
μ{\ displaystyle \ mu}
P{\ displaystyle P}
∫Pdμ=0{\ displaystyle \ int P \, \ mathrm {d} \ mu = 0}
[på,b]{\ displaystyle [a, b]}
f{\ displaystyle f}
[på,b]{\ displaystyle [a, b]}
∫fdμ=0{\ displaystyle \ int f \, \ mathrm {d} \ mu = 0}
μ=0{\ displaystyle \ mu = 0}![\ mu = 0](https://wikimedia.org/api/rest_v1/media/math/render/svg/3753282c0ad2ea1e7d63f39425efd13c37da3169)
Afkortet suite
Tilnærmelsesproblemerne i fysik fører til brugen af afkortede sekvenser . I dette tilfælde, hvis vi definerer følgende
Hankel-matricer(m0,m1,...,ms){\ displaystyle (m_ {0}, m_ {1}, ..., m_ {p})}![{\ displaystyle (m_ {0}, m_ {1}, ..., m_ {p})}](https://wikimedia.org/api/rest_v1/media/math/render/svg/b6c38762856ecfed222337f4c8c98b5b353888e4)
PÅk=(m(jeg+j))jeg,j=0k,Bk=(m(jeg+j+1))jeg,j=0k,VSk=(m(jeg+j))jeg,j=1k{\ displaystyle A_ {k} = \ left (m _ {(i + j)} \ right) _ {i, j = 0} ^ {k} \ ,, \; \; \; B_ {k} = \ venstre (m _ {(i + j + 1)} \ højre) _ {i, j = 0} ^ {k} \ ,, \; \; \; C_ {k} = \ venstre (m _ {(i + j)} \ højre) _ {i, j = 1} ^ {k}}![{\ displaystyle A_ {k} = \ left (m _ {(i + j)} \ right) _ {i, j = 0} ^ {k} \ ,, \; \; \; B_ {k} = \ venstre (m _ {(i + j + 1)} \ højre) _ {i, j = 0} ^ {k} \ ,, \; \; \; C_ {k} = \ venstre (m _ {(i + j)} \ højre) _ {i, j = 1} ^ {k}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/fc39baf9538557e04e6819f4b0ce01bc003bc6f9)
den nødvendige og tilstrækkelige betingelse for eksistens på er[på,b]{\ displaystyle \ left [a, b \ right]}![{\ displaystyle \ left [a, b \ right]}](https://wikimedia.org/api/rest_v1/media/math/render/svg/f30926fb280a9fdf66fd931e14d4363cb824feaa)
- til s=2k{\ displaystyle p = 2k}
PÅk≥0og(på+b)Bk-1≥påbPÅk-1+VSk{\ displaystyle A_ {k} \ geq 0 \ quad {\ text {and}} \ quad (a + b) \, B_ {k-1} \ geq a \, b \, A_ {k-1} + C_ {k}}![{\ displaystyle A_ {k} \ geq 0 \ quad {\ text {and}} \ quad (a + b) \, B_ {k-1} \ geq a \, b \, A_ {k-1} + C_ {k}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/5824d991b63aabba03e859d560787afcedcb1fab)
- til s=2k+1{\ displaystyle p = 2k + 1}
bPÅk≥Bk≥påPÅk.{\ displaystyle b \, A_ {k} \ geq B_ {k} \ geq a \, A_ {k}.}![{\ displaystyle b \, A_ {k} \ geq B_ {k} \ geq a \, A_ {k}.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/61c5d82e9d9bcf975d8b68212e83d6cb2bcafacb)
Referencer
(fr) Denne artikel er helt eller delvist hentet fra den
engelske Wikipedia- artikel med titlen
" Hausdorff moment problem " ( se listen over forfattere ) .
-
(i) James Alexander Shohat og Jacob Tamarkin , Problemet med øjeblikke , AMS , al. "Matematiske undersøgelser og monografier" ( nr . 1),1943( ISBN 0-8218-1501-6 , læs online ).
-
(da) MG Kerin og AA Nudelman ( oversættelse fra russisk), The Markov Moment Problem and Extreme Problems , AMS, koll. “Oversæt. Matematik. Monografier "( nr . 50)1977Citeret af (i) Raul E. Curto og Lawrence A. Fialkow, " Rekursivitet, positivitet og afkortede tidsproblemer " , Houston Journal of Mathematics , bind. 17, nr . 4,1991( læs online ).
-
(de) F. Hausdorff , “ Summationsmethoden und Momentfolgen. I. ” , Mathematische Zeitschrift , bind. 9,1921, s. 74-109.
-
(de) F. Hausdorff, “ Summationsmethoden und Momentfolgen. II. » , Mathematische Zeitschrift , bind. 9,1921, s. 280-299.
Se også
Arbejder
- (en) William Feller , En introduktion til sandsynlighedsteori og dens anvendelser , bind. 2, John Wiley & Sons ,1971
- (da) Naum Akhiezer ( oversat fra russisk af N. Kemmer), The Classical Moment Problem og nogle relaterede spørgsmål i analyse , New York, Hafner Publishing,1965
Relateret artikel
Metode til øjeblikke (statistisk fysik)
<img src="https://fr.wikipedia.org/wiki/Special:CentralAutoLogin/start?type=1x1" alt="" title="" width="1" height="1" style="border: none; position: absolute;">