M 2 M = sup E M 2 t. E X t = lim. niin martingaalikonvergenssilauseen oletukset ovat voimassa, eli löydämme satunnaismuuttujan M, joka toteuttaa ehdon

Samankaltaiset tiedostot
4. Martingaalit ja lokaalit martingaalit

funktiojono. Funktiosarja f k a k (x x 0 ) k

III. SARJATEORIAN ALKEITA. III.1. Sarjan suppeneminen. x k = x 1 + x 2 + x ,

5. Stokastinen integrointi

3. Markovin prosessit ja vahva Markovin ominaisuus

X k+1 X k X k+1 X k 1 1

V. POTENSSISARJAT. V.1. Abelin lause ja potenssisarjan suppenemisväli. a k (x x 0 ) k M

Tehtävä 3. Määrää seuraavien jonojen raja-arvot 1.

Matematiikan ja tilastotieteen laitos Stokastiset differentiaaliyhtälöt Ratkaisuehdotelma Harjoitukseen 5

Sattuman matematiikkaa III

Tehtävä 2 Todista luennoilla annettu kaava: jos lukujen n ja m alkulukuesitykset. ja m = k=1

Riemannin sarjateoreema

termit on luontevaa kirjoittaa summamuodossa. Tällöin päädymme lukusarjojen teoriaan: a k = s.

Todennäköisyysjakaumat 1/5 Sisältö ESITIEDOT: todennäköisyyslaskenta, määrätty integraali

7. Tasaisen rajoituksen periaate

Matemaattinen Analyysi

Matematiikan tukikurssi

Differentiaali- ja integraalilaskenta 1 Ratkaisut 1. viikolle /

z z 0 (m 1)! g(m 1) (z0) k=0 Siksi kun funktioon f(z) sovelletaan Cauchyn integraalilausetta, on voimassa: sin(z 2 dz = (z i) n+1 k=0

Joulukuun vaativammat valmennustehtävät ratkaisut

Perustehtäviä. Sarjateorian tehtävät 10. syyskuuta 2005 sivu 1 / 24

Luku 11. Jatkuvuus ja kompaktisuus

Seuraava topologisluonteinen lause on nk. Bairen lause tai Bairen kategorialause, n=1

JOHDATUS LUKUTEORIAAN (syksy 2017) HARJOITUS 1, MALLIRATKAISUT

Olkoot X ja Y riippumattomia satunnaismuuttujia, joiden odotusarvot, varianssit ja kovarianssi ovat

6. Sovelluksia stokastiselle integroinnille

Sekalaiset tehtävät, 11. syyskuuta 2005, sivu 1 / 13. Tehtäviä

Luku 2. Jatkuvuus ja kompaktisuus

9 Lukumäärien laskemisesta

Analyysi 1. Harjoituksia lukuihin 1 3 / Syksy Osoita täsmällisesti perustellen, että joukko A = x 4 ei ole ylhäältä rajoitettu.

6.4. Feynmanin Kacin kaava. Edellisessä osassa näytimme, että tietyin oletuksin. on Dirichlet n reuna-arvotehtävän.

8. Avoimen kuvauksen lause

3. Täydellisyys ja Banachin avaruus. ominaisuutta sanotaan täydellisyydeksi. Toisena esimerkkinä mainitaan avaruus

Täydellisyysaksiooman kertaus

MATEMATIIKAN JA TILASTOTIETEEN LAITOS

Konvergenssilauseita

Reaaliluvut. tapauksessa metrisen avaruuden täydellisyyden kohdalla. 1 fi.wikipedia.org/wiki/reaaliluku 1 / 13

HY / Matematiikan ja tilastotieteen laitos Vektorianalyysi I, syksy 2017 Harjoitus 1 Ratkaisuehdotukset. I.1. Todista Cauchyn-Schwarzin epäyhtälö

Todista raja-arvon määritelmään perustuen seuraava lause: Jos lukujonolle a n pätee lima n = a ja lima n = b, niin a = b.

3 Lukujonon raja-arvo

Matematiikan ja tilastotieteen laitos Reaalianalyysi I Harjoitus Malliratkaisut (Sauli Lindberg)

2 Taylor-polynomit ja -sarjat

HY, MTL / Matemaattisten tieteiden kandiohjelma Todennäköisyyslaskenta IIb, syksy 2017 Harjoitus 1 Ratkaisuehdotuksia

3 Lukujonon raja-arvo

Sarjoja ja analyyttisiä funktioita

Epäyhtälöt ovat yksi matemaatikon voimakkaimmista

=p(x) + p(y), joten ehto (N1) on voimassa. Jos lisäksi λ on skalaari, niin

MS-A0402 Diskreetin matematiikan perusteet Esimerkkejä ym., osa I

Ylioppilastutkintolautakunta S tudentexamensnämnden

IV. TASAINEN SUPPENEMINEN. f(x) = lim. jokaista ε > 0 ja x A kohti n ε,x N s.e. n n

x k x j < ε Seuraavat kolme lausetta kertovat Cauchy jonojen perusominaisuudet. kaikilla n m ε. x k y + y x j < ε 2 + ε 2 = ε.

1 sup- ja inf-esimerkkejä

Funktiojonon tasainen suppeneminen

HY, MTO / Matemaattisten tieteiden kandiohjelma Tilastollinen päättely II, kevät 2018 Harjoitus 6A Ratkaisuehdotuksia.

MS-A0402 Diskreetin matematiikan perusteet

2 b 1 + b 1 x. = b 1 (x 4) (x 2) b 1 (x 2)

TAMPEREEN YLIOPISTO Pro gradu -tutkielma. Hannu Pajula. Stirlingin luvuista

5. Potenssisarjat 5.1. Määritelmä ja suppeneminen

Johdatus lukuteoriaan Harjoitus 1 syksy 2008 Eemeli Blåsten. Ratkaisuehdotelma

STOKASTISET DIFFERENTIAALIYHTÄLÖT 115

8. Avoimen kuvauksen lause

MATEMATIIKAN JA TILASTOTIETEEN LAITOS

STOKASTISET DIFFERENTIAALIYHTÄLÖT 7

5 Funktion jatkuvuus ANALYYSI A, HARJOITUSTEHTÄVIÄ, KEVÄT Määritelmä ja perustuloksia

1 sup- ja inf-esimerkkejä

4.3 Moniulotteinen Riemannin integraali

k S P[ X µ kσ] 1 k 2.

Luento 2. S Signaalit ja järjestelmät 5 op TKK Tietoliikenne Laboratorio 1. Jean Baptiste Joseph Fourier ( )

802328A LUKUTEORIAN PERUSTEET OSA II BASICS OF NUMBER THEORY PART II. Tapani Matala-aho MATEMATIIKKA/LUTK/OULUN YLIOPISTO

Hanoin tornit. Merkitään a n :llä pienintä tarvittavaa määrää siirtoja n:lle kiekolle. Tietysti a 1 = 1. Helposti nähdään myös, että a 2 = 3:

Sarjat ja integraalit

Sallitut apuvälineet: kirjoitusvälineet, laskin sekä käsinkirjoitettu, A4-kokoinen lunttilappu ja MAOL taulukkokirjaa

reaalifunktioiden ominaisuutta, joiden perusteleminen on muita perustuloksia hankalampaa. Kalvoja täydentää erillinen moniste,

Lineaariavaruudet. Span. Sisätulo. Normi. Matriisinormit. Matriisinormit. aiheita. Aiheet. Reaalinen lineaariavaruus. Span. Sisätulo.

MATA172 Sami Yrjänheikki Harjoitus Totta vai Tarua? Lyhyt perustelu tai vastaesimerkki!

Tenttiin valmentavia harjoituksia

V ar(m n ) = V ar(x i ).

Eksponenttifunktio. Johdanto. Määritelmä. Pekka Alestalo Matematiikan ja systeemianalyysin laitos Aalto-yliopisto

Tehtävä 1. Oletetaan että uv on neliö ja (u, v) = 1. Osoita, että kumpikin luvuista u ja v on. p 2j i. p j i

Matemaattisen analyysin tukikurssi

Todennäköisyyslaskenta IIa, syys lokakuu 2019 / Hytönen 3. laskuharjoitus, ratkaisuehdotukset

d ) m d (I n ) = 2 d n d. Koska tämä pätee kaikilla

KOMPLEKSIANALYYSI I KURSSI SYKSY 2012

MS-C1540 Euklidiset avaruudet

Ominaisvektoreiden lineaarinen riippumattomuus

Analyysi 1. Harjoituksia lukuihin 4 7 / Syksy Tutki funktion f(x) = x 2 + x 2 jatkuvuutta pisteissä x = 0 ja x = 1.

6. Lineaariset operaattorit

Matriisiteoria Harjoitus 1, kevät Olkoon. cos α sin α A(α) = . sin α cos α. Osoita, että A(α + β) = A(α)A(β). Mikä matriisi A(α)A( α) on?

Matematiikan tukikurssi

HY / Matematiikan ja tilastotieteen laitos Tilastollinen päättely II, kevät 2017 Harjoitus 1 Ratkaisuehdotuksia Tehtäväsarja I

MS-C1350 Osittaisdifferentiaaliyhtälöt Harjoitukset 5, syksy Mallivastaukset

Matematiikan johdantokurssi, syksy 2016 Harjoitus 11, ratkaisuista

Eksponentti- ja logaritmiyhtälö

Esitetään tehtävälle kaksi hieman erilaista ratkaisua. Ratkaisutapa 1. Lähdetään sieventämään epäyhtälön vasenta puolta:

Kuinka määritellään 2 3?

C (4) 1 x + C (4) 2 x 2 + C (4)

KOMPLEKSIANALYYSI I KURSSI SYKSY 2012

Oletetaan sitten, että γ(i) = η(j). Koska γ ja η ovat Jordan-polku, ne ovat jatkuvia injektiivisiä kuvauksia kompaktilta joukolta, ja määrittävät

3.6 Su-estimaattorien asymptotiikka

Insinöörimatematiikka D

Transkriptio:

Matematiian ja tilastotieteen laitos Stoastiset differentiaaliyhtälöt Rataisuehdotelma Harjoituseen 7 1. Näytä, että uvaus M M M 2, un M 2 M = sup E M 2 t 2 t 0 on normi jouossa M 2 = { M : M on martingaali ja M M 2 < }. Rataisuehdotus: Helpoin ja nopein todistus tälle, on äyttää martingaalionvergenssilausetta. Oloon M M 2. Tällöin X t := M 2 t on integroituva aiilla t, joten erityisesti X on alimartingaali. Alimartingaaliominaisuuden nojalla t E X t on asvava funtio, sillä E X t = E E X t F s ) E X s aina, un t s. Kosa M 2 = sup E X t, niin asvavuuden taia M 2 = lim E X t = lim E M 2 t. Kosa Doobin martingaaliepäyhtälön nojalla E sup s t M s M 0 ) 2 4 sup E M t M 0 ) 2 < niin martingaalionvergenssilauseen oletuset ovat voimassa, eli löydämme satunnaismuuttujan M, joa toteuttaa ehdon lim E M t M ) 2 = 0. Kolmioepäyhtälön avulla näemme siten, että t M 2 = lim E M 2 t = lim E M t M + M ) 2 = E M 2 Kosa E M 2 = M 2 2 on tavallinen L 2 -normin neliö, niin M = M 2. Kosa oiea puoli määrää normin, niin myös vasen puoli on normi. Täydellisyyden vuosi osoitamme, että E X 2 =: X 2 2 määrittelee normin toisen momentin omaavien satunnaismuuttujien jouossa. Kosa X 2 on positiivinen satunnaismuuttuja, niin X 2 2 0. Jos X 2 2 = E X 2 = 0, niin 0 = E X 2 E X 2 [ X 2 ε 2 ] ) ε 2 P X ε )

joaisella ε > 0. Siispä P X ε ) = 0 joaisella ε > 0, joten P X > 0 ) P X 1/n ) = 0 n N + joten P X = 0 ) = 1 eli X = 0 melein varmasti. Edelleen λx 2 2 = λ 2 X 2 2, joten λx 2 = λ X 2. Kolmioepäyhtälön osoittamiseen sovellamme Cauchyn Schwarzin epäyhtälöä, jona avulla X + Y 2 2 = X 2 2 + 2E XY + Y 2 2 X 2 2 + 2 X 2 Y 2 + Y 2 2 = X 2 + Y 2 ) 2. 2. Näytä, että un H Π 3 X), niin τ n = inf{ t > 0 : ˆ t on pysähdysheti ja että τ n melein varmasti. Rataisuehdotus: Meritsemme Y t := ˆ t 0 0 H 2 s d X > n } H 2 s d X. Kun H Π 3 X), niin Y t < melein varmasti joaisella t 0. Tästä seuraa integraalin määritelmän nojalla, että Y t on jatuva prosessi, sillä ˆ Y t+h Y t = Hs 2 [ s t, t + h] ] d X s joten dominoidun suppenemisen lauseen nojalla Y t+h Y t, un h 0. Siispä Y on oiealta jatuva. Vasemmalta jatuvuus osoitetaan samalla tavalla. Edelleen H t ja X t ovat ennustettavia, joten Y t on ainain adaptoitu filtraation F t suhteen. Nyt τ n = inf{ t > 0 : Y t [n, ) } on luentojen Lauseen 3.13 muaan F t )-pysähdysheti, sillä vaia Lause on muotoiltu Brownin liieelle, todistusessa tarvitsemme ainoastaan prosessin jatuvuutta ja adaptoituvuutta. Edelleen τ n τ n+1 on selviö, joten jäljellä on väite τ n. Tämäin seuraa prosessin Y t jatuvuudesta, sillä jos τ n τ, niin Y t = joaisella t τ. Tällaiset polut eivät ole jatuvia, joten τ = melein varmasti.

3. Näytä Kunitan Watanaben epäyhtälön todistusen puuttuva osa eli X, Y t X, Y s ) 2 X t X s ) Y t Y s ) tarastelemalla martingaalin X + λy varianssiprosessia reaaliluvun λ funtiona. Rataisuehdotus: Tarastellaan vihjeen muaisesti martingaalin X + λy varianssiprosessia. Tämä on lasettavissa X + λy t = X + λy, X + λy t = X t + λ 2 Y t + 2λ X, Y t =: p t λ) joten pλ) := p t λ) p s λ) =: aλ 2 + bλ + c on toisen asteen polynomi. Tiedämme perusoulun tiedoilla, että funtiolla p on 0, 1 tai 2 nollaohtaa. Kosa pλ) = X + λy t X + λy s 0, niin polynomilla p on oreintaan 1 nollaohta. Tämä taroittaa polynomin p disriminantti b 2 4ac 0. Siispä 4 X, Y t X, Y s ) 2 4 X t X s ) Y t Y s ) eli väite seuraa. 4. Näytä, että jos H, K bπ 1 ja X on jatuva ja rajoitettu martingaali, niin HK X = H K X) Rataisuehdotus: Oloon nyt H = H 1 + + H n K = K 1 + + K n, missä H j t) = C j [ t I j ] ja K j t) = D j [ t I j ], missä välit I j = a j, a j+1 ] ovat erillisiä. Tällöin Ht)Kt) = j C j D j [ t I j ], joten HK X) t = j C j D j Xa j+1 t) Xa j ))[ t > a j ] Kosa Y t = K X) t = j D j Xa j+1 t) Xa j ))[ t > a j ], ja H Y ) t = j C j Y a j+1 t) Y a j ))[ t > a j ], niin voimme lasea, että Y a j ) = D Xa +1 a j ) Xa ))[ a j > a ] = <j D Xa +1 ) Xa ))

ja siten Y a j+1 t)[ t > a j ] = D Xa +1 a j+1 t) Xa ))[ t > a j ][ t a j+1 > a ] = D Xa +1 a j+1 t) Xa ))[ t > a j a ][ j ] ) = D Xa +1 ) Xa )) + D j Xa j+1 t) Xa j )) [ t > a j ] <j = Y a j )[ t > a j ] + D j Xaj+1 t) Xa j ) ) [ t > a j ]. Siispä Y aj+1 t) Y a j ) ) [ t > a j ] = D j Xaj+1 t) Xa j ) ) [ t > a j ], joten H Y ) t = j = j C j Y a j+1 t) Y a j ))[ t > a j ] C j D j Xa j+1 t) Xa j ))[ t > a j ] = HK X) t. 5. Näytä, että jos määrittelemme ovarianssiprosessin erotusten tulojen summan raja-arvona, niin M, A t = 0, un M on jatuva rajoitettu martingaali ja A on jatuva rajoitetusti heilahteleva prosessi. Rataisuehdotus: Määritellään approsimoiva prosessi V M, A) n t) alusi. Meritään t,n = 2 n ja I,n = t,n, t +1,n ]. Meritään seuraavassa t +at,n ) := [ t > t,n ] at t +1,n ) at,n ) ), joa on eräänlainen ataistu differenssi. Tällöin määrittelemme t +V M, A) n t,n )[ t I,n ] := t +Mt,n ) t +At,n ) joaisella ja n. Tämä määrää ysiäsitteisen prosessin V M, A) n t) = t +V M, A) n t,n )[ t > t,n ]

unhan asetamme V M, A) n 0) = 0. Haluamme osoittaa, että tämä prosessi suppenee ohti nollaprosessia, joten määrittelemme avusi p-varianssin äsitteen. Sanomme, että prosessi X on p-varianssi, jos X p pt) := sup n t +V M, A) n t,n ) p [ t > t,n ] on äärellisenä olemassa stoastisen suppenemisen mielessä. Tiedämme jo, että martingaaleilla on 2-varianssi. Lisäsi loaalisti rajoitetusti heilahtelevalla prosessilla on 1-varianssi. Lisäsi havaitsemme, että supremum voidaan orvata raja-arvolla n. Määräämme arvion prosessin V M, A) 1-varianssille, eli arvioimme summaa t +Mt ) t +At ) [ t > t ]. Soveltamalla Cauchyn Schwarzin epäyhtälöä saamme arvion ) 2 t +Mt ) t +At ) [ t > t ] t +Mt ) 2 [ t > t ] t +At ) 2 [ t > t ] M 2 2 A 1 1 sup + At ) Kosa A on jatuva, niin oiea puoli on tasaisesti rajoitettu, joten V M, A) 1 M 2 2 A 1 1 lim sup n sup + At,n ) Kun n, niin prosessin A jatuvuuden nojalla sup + At,n ) 0. Olemme siten päätelleet, että V M, A) 1 = 0. Kosa väite seuraa. M, A t V M, A) 1 t) = 0