Kvadrattisten kartoitusten, kuten logististen kartoitusten, iteraatioiden tutkimus on olennainen osa satunnaisdynaamisten järjestelmien analysointia. Kvadrattiset kartoitukset määritellään yhtälöllä Fθ(x)=θx(1x)F_\theta(x) = \theta x(1 - x), missä 0x10 \leq x \leq 1 ja θ\theta on parametri, joka vaikuttaa kartoituksen käyttäytymiseen. Tällaisen järjestelmän iteraatiot voivat johtaa moniin mielenkiintoisiin ja monimutkaisiin dynamiikan piirteisiin, erityisesti silloin, kun kartoitukset ovat satunnaisia ja niiden parametrit seuraavat tiettyjä jakautumia.

Yksi keskeinen tulos on, että kvadrattisten kartoitusten iteraatiot voivat saavuttaa tasapainotilan, joka on itse asiassa invariantti jakauma. Tällöin järjestelmän käyttäytyminen ei enää muutu ajan myötä, vaan se jakautuu tietyllä tavalla, joka voidaan kuvata tietyillä matemaattisilla kaavoilla. Tällainen invariantti jakauma voi olla esimerkiksi Gaussin jakautuma, jos alkuperäisten satunnaismuuttujien jakautuma on sopiva.

Esimerkissä 3.1 oletetaan, että satunnaisprosessin alkuarvot (U0,U1,,Uk1)(U_0, U_1, \dots, U_{k-1}) ovat jakautuneet tietyllä tavanomaisella jakaumalla π\pi, ja sen perusteella voidaan todeta, että saatu satunnaisprosessin {Un}\{ U_n \} jakautuma on Gaussin jakauma, jos prosessiin liittyvä nomiaalinen yhtälö (3.17) sijoittuu yksikköympyrän sisään kompleksitasossa.

Tämä tulos liittyy eräänlaiseen satunnaisdynaamisen järjestelmän vakautukseen, jossa iteraatioiden tulokset lähestyvät tiettyä jakaumaa, riippumatta siitä, mitä alkuperäisiä arvoja järjestelmässä käytetään. Sama pätee myös esimerkkiin 3.2, jossa vastaava tulos voidaan johtaa.

Tässä yhteydessä on myös tärkeää ymmärtää, että tämä vakaus ei ole satunnainen vaan seurausta tietyistä matemaattisista ominaisuuksista, kuten prosessin siirtymätodennäköisyyksistä ja niiden asymptoottisesta käyttäytymisestä. Tällaisessa prosessissa, jossa siirtymät määräytyvät satunnaisten muuttujien CnC_n mukaan, voidaan käyttää Induktiivista menetelmää ja erilaisia teoreemoja kuten Proposition 7.1 ja Lemma 4.1, jotka auttavat hahmottamaan invarianttien jakaumojen luonteen.

Erityisesti Lemma 4.1 tarjoaa hyödyllisen työkalun kvadrattisten kartoitusten analysointiin. Lemma osoittaa, että tietyillä ehtojen täyttyessä kartoitus FθF_\theta säilyttää tietyt rajat [u,v][u, v] invariantteina, ja näin ollen tämä väli voi toimia satunnaismuuttujan arvon rajoitteena, joka saattaa lähestyä vakaa jakauma ajan myötä. Tämä on keskeistä, koska se osoittaa, että tietyt satunnaiset prosessit voivat konvergoida vakaisiin jakautumiin, jotka eivät riipu alkuperäisistä arvoista.

Itse asiassa, jos μ\mu ja λ\lambda ovat tietyt rajat, kuten 1<μ<λ<41 < \mu < \lambda < 4, ja CnC_n on satunnaismuuttuja, jonka jakautuma on vakio ja täyttää tietyt ehdot, kuten h(θ)h(\theta), joka on jatkuva ja positiivinen tietyllä välin alueella, niin voidaan osoittaa, että järjestelmän Markovin prosessi XnX_n saavuttaa yksiselitteisen invariantin jakauman π\pi, jonka tuki sijaitsee alueella [u0,v0][u_0, v_0], jossa u0u_0 ja v0v_0 ovat tietyt rajat, jotka määritellään Lemma 4.1:ssa.

Tämän perusteella voidaan todeta, että prosessit, jotka seuraavat tätä satunnaista käyttäytymistä ja jossa parametrit ovat tietyllä välillä, lähestyvät invarianttia jakaumaa, ja tämä lähestyminen tapahtuu tietyllä nopeudella, joka määräytyy prosessin siirtymätodennäköisyyksien avulla. Tätä lähestymistä voidaan mitata kaavalla p(n)(x,B)π(B)|p^{(n)}(x, B) - \pi(B)|, joka kuvaa kuinka hyvin siirtymätodennäköisyys ja invariantti jakauma lähestyvät toisiaan ajan myötä.

Näin ollen, kun tarkastellaan kvadrattisten kartoitusten iteraatioita satunnaisdynaamisissa järjestelmissä, on tärkeää huomioida, että vaikka järjestelmän alkuarvot voivat olla satunnaisia, niiden kehityksellä on tietty vakautusmekanismi, joka mahdollistaa järjestelmän saavuttavan tasapainotilan, jossa satunnaismuuttujan jakauma ei enää muutu ajan myötä. Tämä vakautuminen voi ilmetä monin eri tavoin, mutta se seuraa aina tietyistä matemaattisista ehdoista, kuten satunnaismuuttujien jakautumista ja niiden vuorovaikutuksesta.

Miten löytää rajattu funktio, joka täyttää Poissonin yhtälön?

Poissonin yhtälön ratkaiseminen on keskeinen ongelma monilla stokastisilla ja dynaamisilla alueilla, erityisesti satunnaisissa dynaamisissa järjestelmissä ja Markovin prosesseissa. Olipa kysymys lineaarisista systeemeistä tai monimutkaisemmista, epälineaarisista järjestelmistä, tietyt edellytykset ja menetelmät voivat auttaa ratkaisemaan tällaisia ongelmia.

Annetaan funktio hh ja oletetaan, että meidän pitää löytää rajoitettu funktio gg, joka täyttää Poissonin yhtälön:

Tg=htaig=h~+TgTg = h \quad \text{tai} \quad g = h̃ + T g

Missä h~(x)=h(x)λhh̃(x) = h(x) - \lambda h. Tässä, λh\lambda h on kyseisen funktion odotusarvo Markovin prosessissa. Voimme iteratiivisesti kirjoittaa:

g=h~+Th~+T2g==h~+Th~+T2h~++Tnh~+Tn+1gg = h̃ + T h̃ + T^2 g = \cdots = h̃ + T h̃ + T^2 h̃ + \cdots + T^n h̃ + T^{n+1} g

Tämä antaa meille mahdollisuuden tarkastella äärettömän summan muotoa:

g=n=0Tnh~g = \sum_{n=0}^{\infty} T^n h̃

Tässä vaiheessa kysymykseksi tulee äärettömän summan konvergenssi ja rajoitettavuus. Jos Tnh~T^n h̃ konvergoi jollain tavalla ja summan jäsenten arvot pysyvät rajattuina, voimme päätellä, että gg on rajoitettu ja täyttää Poissonin yhtälön. Tämä voi usein olla mahdollista, kun XnX_n -prosessi konvergoi jakautumaan π\pi-toksiseen jakautumaan jollain riittävän nopealla tavalla.

Esimerkissä 3.1 tarkastellaan tilannetta, jossa tilat ovat väli, ja oletetaan, että Theoreemi 5.1 pätee. Tässä tilassa ja siirtymätoiminnossa p(n)(x,J)p(n)(x, J) voidaan osoittaa konvergoivan piihin hyvin tietyin edellytyksin, ja äärettömän summan jäsenten hallinta saadaan aikaan tietyllä nopeudella.

Toinen esimerkki (3.2) käsittelee rajoitetun välin [c,d][c, d] tilaa ja samankaltaista prosessia, jossa Xn+1=αn+1XnX_{n+1} = \alpha_{n+1} X_n. Tässä tapauksessa, kun h(z)=zh(z) = z ja h~(z)=zyπ(dy)h̃(z) = z - \int y \pi(dy), voidaan analysoida summan konvergenssia ja saada n-konsistentti estimaatti.

On myös tärkeää huomata, että teoreettisesti voimme laajentaa tätä tutkimusta ja estimoida esimerkiksi r-hetkiset momentit mrm_r, kuten esimerkissä 3.3. Näissä tilanteissa estimoidaan hetkien arvoja integraalien avulla, ja saamme vastaavat n-konsistentit estimaatit, jotka perustuvat rinnakkaisiin summiin ja siirtymäprosessin käytettävyyteen.

Suffisienssi- ja konvergenssiteoreemojen avulla voidaan myös tarkastella yleisempiä tilanteita, joissa π\pi-jakautuma on invariantti ja estimaatit noudattavat oikeita käyttäytymismalleja. Esimerkiksi korollaarissa 3.3, jossa analysoidaan, että Markovin prosessille on olemassa sääntö, joka takaa n-konsistentin estimoinnin.

Lisäksi on tärkeää, että useimmissa tilanteissa voidaan todeta, että äärettömän summan konvergenssi ja rajoittavuus voidaan taata, kun siirtymäprosessin nopeus täyttää tietyt ehdot. Jos nämä ehdot ovat voimassa, äärettömän summan rajoittuvat jäsenet varmistavat, että gg-funktio on rajattu ja täyttää Poissonin yhtälön.

On hyvä ymmärtää, että kun käsitellään n-konsistentteja estimaatteja, meillä on useita mahdollisuuksia analysoida ja hallita estimoinnin tarkkuutta eri tilanteissa. Käytännössä tämä tarkoittaa, että prosessien pitkäaikainen käyttäytyminen voidaan arvioida hyvin, kunhan tilojen ja siirtymätoimintojen ominaisuudet ovat tunnettuja ja täyttävät tarvittavat ehdot. Tämä koskee erityisesti tilanteita, joissa käytetään satunnaisia dynaamisia järjestelmiä ja Markovin prosesseja arvioimaan erilaisia stokastisia ominaisuuksia, kuten odotusarvoja tai momentteja.

Mikä on heikon ja vahvan suurten lukumäärien lain ero?

Lasketaan, että XnX_n on riippumattomien ja identtisesti jakautuneiden satunnaismuuttujien jono, jonka keskiarvo on μ\mu ja varianssi σ2\sigma^2 on äärellinen. Tällöin heikon lain mukaan voidaan todistaa seuraava:

limnSnn=μprobabilistisesti\lim_{n \to \infty} \frac{S_n}{n} = \mu \quad \text{probabilistisesti}

Tämä tarkoittaa, että SnS_n, joka on satunnaismuuttujien summa, jakautuu lähestymään keskiarvoa μ\mu suurella todennäköisyydellä, mutta se ei takaa, että tämä tapahtuu täydellisesti. Vahvassa laissa puolestaan väitämme, että satunnaismuuttujien summa SnS_n konvergoi μ\mu kohti lähes varmasti, eli

limnSnn=μla¨hes varmasti\lim_{n \to \infty} \frac{S_n}{n} = \mu \quad \text{lähes varmasti}

Tämä ero heikon ja vahvan lain välillä ei ole vain teoreettinen. Se tuo esiin mielenkiintoisen seikan satunnaismuuttujien käyttäytymisestä pitkällä aikavälillä. Heikko laki antaa meille vain todennäköisyyksien näkökulman, kun taas vahva laki tuo esiin tilanteen, jossa tämä konvergenssi tapahtuu lähes varmasti.

Kun tarkastellaan Chebyshevin epätasa-arvoa, voimme käyttää sitä vahvan lain todistamisessa. Chebyshevin epätasa-arvo tarjoaa meille tavan rajata satunnaismuuttujien poikkeamia keskiarvostaan. Käyttämällä tätä, voidaan arvioida, kuinka suuri osa satunnaismuuttujista poikkeaa merkittävästi keskiarvostaan pitkällä aikavälillä. Tämä puolestaan auttaa perustelemaan Borel-Cantelli-lemman käyttöä, jonka avulla voidaan väittää, että vain äärettömän pieni osa tapahtumista poikkeaa merkittävästi keskiarvosta.

Jatkamme tällä pohdinnalla, joka vie meidät edelleen vahvempiin tuloksiin. Esimerkiksi seuraavassa väittämässä, joka koskee i.i.d. satunnaismuuttujia, voidaan todeta, että jos satunnaismuuttujien keskiarvo E(Xn)E(X_n) on äärellinen, niin summan keskitetty jono Snn\frac{S_n}{n} lähestyy tätä keskiarvoa, mutta vain heikosti. Sen sijaan, jos satunnaismuuttujien keskiarvo E(Xn)E(X_n) on äärettömän suuri, voidaan sanoa, että summa SnS_n konvergoi äärettömyyteen vahvasti.

Toisaalta, jos meillä on nollahypoteesi, jossa satunnaismuuttujilla on nolla-keskiarvo ja äärellinen varianssi, silloin Sn/nS_n / \sqrt{n} lähestyy normaalijakaumaa, kuten keskeinen lauseke suurista lukumääristä osoittaa. Tämä viittaa siihen, että pitkässä juoksussa satunnaismuuttujien jakautuminen saavuttaa normaalin muodon, joka on keskeinen käsite tilastotieteessä ja todennäköisyyslaskennassa.

Tärkeä huomio tässä on se, että vaikka heikko laki osoittaa, että summan arvo keskittyy keskiarvon ympärille pitkällä aikavälillä, vahva laki kertoo meille, että tämä keskittyminen tapahtuu lähes varmasti. Tällöin emme enää tarkastele vain todennäköisyyksiä, vaan myös satunnaismuuttujien tarkkaa käyttäytymistä suurten nn-arvojen kohdalla.

Tässä yhteydessä on syytä muistaa, että vaikka vahva laki tarjoaa vahvemman väitteen, sen käyttö edellyttää tiettyjä ehtoja, kuten satunnaismuuttujien riippumattomuutta ja identtistä jakautumista. Myös jakautumisen hetkelliset ominaisuudet, kuten varianssin äärellisyys, voivat olla ratkaisevia tulosten kannalta.

Näitä perusperiaatteita sovelletaan useilla eri alueilla, kuten taloustieteissä ja ekologiassa, missä satunnaismuuttujien jonoilla voi olla laajempia vaikutuksia dynaamisiin systeemeihin. Esimerkiksi satunnaisprosessien käyttäytyminen markkinoilla tai populaatioiden kehityksessä voi usein mallintaa vahvalla suuret lukumäärien lailla. Tässä ympäristössä on tärkeää ymmärtää, että vaikka satunnaismuuttujat voivat vaihdella arvojensa mukaan, pitkällä aikavälillä ne konvergoivat tiettyihin arvoihin, joita voidaan käyttää ennustamiseen ja strategisten päätösten tueksi.