Tilbake
5.3

5.3 Asymptotisk normalitet og deltametoden

ML-estimatorens tilnærmede normalfordeling og feilforplantning gjennom deriverte — de nye 2024-sjangrene.

45 min
9 oppgaver
Asymptotisk normalitetdeltametoden
Din fremgang i kapitlet
0 / 9 oppgaver
Forkunnskaper: Du må ha ML-estimatorene fra kap. 5.2 (spesielt β^=Xˉ\hat{\beta}=\bar{X} og invariansprinsippet g(θ)^=g(θ^)\widehat{g(\theta)}=g(\hat{\theta})) og sentralgrenseteoremet fra kap. 3.3 — det er CLT som gjør at Xˉ\bar{X} (og dermed mange ML-estimatorer) er tilnærmet normale for stor nn. Fra kap. 5.1 trenger du Var(Xˉ)=σ2/n\text{Var}(\bar{X})=\sigma^2/n.

Sist du var her (oppfrisket):
Xˉμσ/n tilnærmet N(0,1)(CLT),β^=Xˉ med E(Xˉ)=β, Var(Xˉ)=β2n.\frac{\bar{X}-\mu}{\sigma/\sqrt{n}}\ \text{tilnærmet}\ N(0,1)\quad(\text{CLT}), \qquad \hat{\beta}=\bar{X}\ \text{med}\ E(\bar{X})=\beta,\ \text{Var}(\bar{X})=\frac{\beta^2}{n}.

Fra matematikken trenger du å derivere en funksjon gg i ett punkt. Et førsteordens Taylor-ledd (g(θ^)g(μ)+g(μ)(θ^μ)g(\hat{\theta})\approx g(\mu)+g'(\mu)(\hat{\theta}-\mu)) er hele det teoretiske verktøyet. Kapitlet er forkunnskap for normaltilnærmet KI i Del 6 og for simuleringskontroll i Del 9.

To ting kan gjøres med en ferdig ML-estimator. For det første: hvordan er den fordelt? For stor nn er svaret nesten alltid «tilnærmet normal» — det gir oss et raskt, normaltilnærmet konfidensintervall (løkke 1). For det andre: hva om vi egentlig er interessert i en funksjon av parameteren — halveringstiden ln2/k\ln 2/k i stedet for raten kk, eller strømningen som avhenger av flere målte størrelser? Da forplanter usikkerheten seg gjennom funksjonen, og deltametoden gir en tilnærmet varians for den avledede størrelsen (løkke 2 for én variabel, løkke 3 for flere).

Hverdagsanker: måler du en rate med litt usikkerhet og regner ut halveringstiden fra den, arver halveringstiden usikkerhet — men hvor mye? Deltametoden svarer ved å gange variansen med kvadratet av stigningstallet til funksjonen i punktet.

Samlet kjernetid ≈ 45 min. Naturlige pausepunkter er markert mellom løkkene.

Løkke 1 — Asymptotisk normalitet og normaltilnærmet KI (~16 min)

ML-estimatoren er asymptotisk normal
Under vanlige regularitetsbetingelser er en ML-estimator tilnærmet normalfordelt for stor nn:

θ^ tilnærmet N(θ, Var(θ^))for stor n.\hat{\theta}\ \text{tilnærmet}\ N\big(\theta,\ \text{Var}(\hat{\theta})\big) \quad\text{for stor } n.

Du trenger ikke utlede dette — det er en konsekvens av sentralgrenseteoremet (kap. 3.3), fordi de fleste ML-estimatorer er (funksjoner av) gjennomsnitt. Konkret for eksponensial: β^=Xˉ\hat{\beta}=\bar{X} er et rent gjennomsnitt, så CLT gir direkte

β^=Xˉ tilnærmet N ⁣(β, β2n),\hat{\beta}=\bar{X}\ \text{tilnærmet}\ N\!\left(\beta,\ \frac{\beta^2}{n}\right),

siden E(Xˉ)=βE(\bar{X})=\beta og Var(Xˉ)=Var(X)/n=β2/n\text{Var}(\bar{X})=\text{Var}(X)/n=\beta^2/n. Tilnærmingen blir bedre jo større nn er.

Normaltilnærmet konfidensintervall
Er θ^\hat{\theta} tilnærmet N(θ,Var(θ^))N(\theta,\text{Var}(\hat{\theta})), gir standard normal-logikk (Del 6) et tilnærmet (1α)(1-\alpha)-konfidensintervall:

θ^ ± zα/2SE(θ^),\hat{\theta}\ \pm\ z_{\alpha/2}\cdot\text{SE}(\hat{\theta}),

der zα/2z_{\alpha/2} er standardnormalens kvantil (z0,025=1,96z_{0{,}025}=1{,}96 for 95 %) og SE=Var(θ^)\text{SE}=\sqrt{\text{Var}(\hat{\theta})}. For eksponensial er SE(β^)=β^/n=Xˉ/n\text{SE}(\hat{\beta})=\hat{\beta}/\sqrt{n}=\bar{X}/\sqrt{n} (vi setter inn estimatet for det ukjente β\beta i standardfeilen). Dette er et raskt tilnærmet intervall — det eksakte χ2n2\chi^2_{2n}-intervallet fra kap. 6.2 er mer presist ved liten nn.

✏️Eksempel 1: normaltilnærmet KI for $\beta$

Levetiden til n=20n=20 pumper er eksponensialfordelt med ukjent forventning β\beta, og gjennomsnittet er xˉ=8\bar{x}=8 år. Bruk at β^=Xˉ\hat{\beta}=\bar{X} er tilnærmet N(β,β2/n)N(\beta,\beta^2/n) til å lage et tilnærmet 95 % konfidensintervall for β\beta.

ML-estimatet er β^=xˉ=8\hat{\beta}=\bar{x}=8. Standardfeilen (med β^\hat{\beta} satt inn for β\beta):
SE(β^)=β^n=820=84,472=1,789.\text{SE}(\hat{\beta})=\frac{\hat{\beta}}{\sqrt{n}}=\frac{8}{\sqrt{20}}=\frac{8}{4{,}472}=1{,}789.

95 %-intervallet bruker z0,025=1,96z_{0{,}025}=1{,}96:
8 ± 1,961,789=8 ± 3,506,8\ \pm\ 1{,}96\cdot 1{,}789 = 8\ \pm\ 3{,}506,
altså tilnærmet [4,49, 11,51][4{,}49,\ 11{,}51] år.

Kommentar: intervallet er bredt fordi n=20n=20 er relativt lite; da er det eksakte χ402\chi^2_{40}-intervallet (kap. 6.2) å foretrekke. Med større nn blir normaltilnærmingen god og de to intervallene nærmer seg hverandre.

📝Oppgave 1

(Innstegsoppgave.) En ML-estimator θ^\hat{\theta} har θ^=50\hat{\theta}=50 og standardfeil SE(θ^)=4\text{SE}(\hat{\theta})=4, og er tilnærmet normalfordelt.

a) Hvilken zz-kvantil bruker du til et 95 % konfidensintervall?

b) Sett opp det tilnærmede 95 %-intervallet.

📝Oppgave 2

Ventetider mellom feil på et kretskort er eksponensialfordelte med forventning β\beta. Med n=25n=25 målinger er xˉ=12\bar{x}=12 timer.

a) Oppgi den tilnærmede fordelingen til β^=Xˉ\hat{\beta}=\bar{X}.

b) Lag et tilnærmet 90 % konfidensintervall for β\beta (bruk z0,05=1,645z_{0{,}05}=1{,}645).

— naturlig pausepunkt —

Løkke 2 — Deltametoden for én variabel (~17 min)

Deltametoden (én variabel)
Ofte er vi interessert i en funksjon g(θ)g(\theta) av parameteren — men vi har bare estimatoren θ^\hat{\theta} med en kjent varians. Deltametoden gir en tilnærmet varians for g(θ^)g(\hat{\theta}):

Var(g(θ^))  [g(μ)]2Var(θ^),\text{Var}\big(g(\hat{\theta})\big)\ \approx\ \big[g'(\mu)\big]^2\,\text{Var}(\hat{\theta}),

der gg' evalueres i forventningen μ=E(θ^)\mu=E(\hat{\theta}) (parameterverdien, ikke i en enkelt observasjon).

Taylor-argumentet (én linje): siden θ^\hat{\theta} ligger nær μ\mu, gir en førsteordens Taylor-utvikling g(θ^)g(μ)+g(μ)(θ^μ)g(\hat{\theta})\approx g(\mu)+g'(\mu)(\hat{\theta}-\mu). Dette er en lineær funksjon av θ^\hat{\theta}, og variansen av a+bθ^a+b\hat{\theta} er b2Var(θ^)b^2\text{Var}(\hat{\theta}) — med b=g(μ)b=g'(\mu) får vi formelen. Den deriverte kvadreres — det er den vanligste feilen å glemme.

Arbeidsflyten (fire steg)

1. Identifiser gg — hvilken funksjon av parameteren spør oppgaven om? (halveringstid, hale-sannsynlighet, areal, …)

2. Deriver g(θ)g'(\theta).

3. Sett inn i formelen: [g(μ)]2Var(θ^)[g'(\mu)]^2\,\text{Var}(\hat{\theta}), evaluert i forventningen (bruk estimatet hvis den sanne verdien er ukjent).

4. Tolk usikkerheten — oppgi standardfeilen Var(g(θ^))\sqrt{\text{Var}(g(\hat{\theta}))} og eventuelt et tilnærmet intervall.

Kobling: en Monte Carlo-simulering (kap. 9.2) kan kontrollere delta-svaret — trekk mange θ^\hat{\theta}-verdier, regn g(θ^)g(\hat{\theta}) og sammenlign den empiriske variansen med delta-formelen.

✏️Eksempel 2: halveringstid fra en estimert rate

En nedbrytningsrate kk (per døgn) estimeres med k^\hat{k}, som har forventning E(k^)=k=0,03E(\hat{k})=k=0{,}03 og varians Var(k^)=v=0,0001\text{Var}(\hat{k})=v=0{,}0001. Halveringstiden er T=ln2kT=\dfrac{\ln 2}{k}. Bruk deltametoden til å finne en tilnærmet varians (og standardfeil) for T^=ln2k^\hat{T}=\dfrac{\ln 2}{\hat{k}}.

Steg 1 — identifiser gg. g(k)=ln2k=ln2k1g(k)=\dfrac{\ln 2}{k}=\ln 2\cdot k^{-1}.

Steg 2 — deriver. g(k)=ln2k2=ln2k2g'(k)=-\ln 2\cdot k^{-2}=-\dfrac{\ln 2}{k^2}.

Steg 3 — sett inn (evaluert i k=0,03k=0{,}03):
Var(T^)[g(k)]2v=(ln2k2)2v=(ln2)2k4v.\text{Var}(\hat{T})\approx [g'(k)]^2\,v = \left(\frac{\ln 2}{k^2}\right)^2 v = \frac{(\ln 2)^2}{k^4}\,v.
Tallverdier: (ln2)2=0,4805(\ln 2)^2=0{,}4805, k4=(0,03)4=8,1107k^4=(0{,}03)^4=8{,}1\cdot 10^{-7}, så
Var(T^)0,48050,00018,110759,3.\text{Var}(\hat{T})\approx \frac{0{,}4805\cdot 0{,}0001}{8{,}1\cdot 10^{-7}} \approx 59{,}3.

Steg 4 — tolk. Standardfeilen er 59,37,70\sqrt{59{,}3}\approx 7{,}70 døgn. Til sammenligning er selve halveringstiden T=ln2/0,0323,1T=\ln 2/0{,}03\approx 23{,}1 døgn, så usikkerheten er betydelig (≈ 33 % av verdien). Fortegnet på gg' spiller ingen rolle — det kvadreres bort.

📝Oppgave 3

En rate θ\theta estimeres med θ^\hat{\theta}, som har forventning μ=5\mu=5 og varians Var(θ^)=0,04\text{Var}(\hat{\theta})=0{,}04. Vi er interessert i g(θ)=θ2g(\theta)=\theta^2.

a) Finn g(θ)g'(\theta).

b) Bruk deltametoden til å finne den tilnærmede variansen til θ^2\hat{\theta}^2.

c) Oppgi standardfeilen.

📝Oppgave 4

Levetiden til en komponent er eksponensialfordelt med forventning β\beta, og β^=Xˉ\hat{\beta}=\bar{X} har Var(β^)=β2/n\text{Var}(\hat{\beta})=\beta^2/n. Vi vil estimere pålitelighetstallet R=P(X>t)=et/βR=P(X>t)=e^{-t/\beta} for en fast tid tt.

a) Skriv RR som en funksjon g(β)g(\beta) og finn g(β)g'(\beta).

b) Bruk deltametoden til å finne Var(R^)\text{Var}(\hat{R}) uttrykt ved β\beta, tt og nn.

c) Regn ut R^\hat{R} og standardfeilen når t=10t=10, β^=8\hat{\beta}=8 og n=20n=20.

— naturlig pausepunkt —

Løkke 3 — Deltametoden for flere variable (~12 min)

Deltametoden for flere uavhengige variable
Avhenger en avledet størrelse av flere målte, uavhengige størrelser — g(X,Y)g(X,Y) — forplantes usikkerheten fra hver:

Var(g(X,Y))  (gx)2Var(X)+(gy)2Var(Y),\text{Var}\big(g(X,Y)\big)\ \approx\ \Big(\frac{\partial g}{\partial x}\Big)^2\text{Var}(X) + \Big(\frac{\partial g}{\partial y}\Big)^2\text{Var}(Y),

der de partiellderiverte evalueres i forventningene (μX,μY)(\mu_X,\mu_Y). Hvert ledd er en «egen» deltametode; leddene legges sammen fordi variablene er uavhengige (ingen kovarians). Dette er standard feilforplantning i ingeniørfag — usikkerheten i et sluttresultat bygges opp av usikkerheten i hver innmåling, vektet med kvadratet av følsomheten g/x\partial g/\partial x.

✏️Eksempel 3: areal fra to uavhengige målinger

Et rektangulært panel har målt bredde XX og høyde YY, uavhengige, med μX=8\mu_X=8, Var(X)=0,25\text{Var}(X)=0{,}25, μY=5\mu_Y=5, Var(Y)=0,16\text{Var}(Y)=0{,}16 (alt i cm og cm2^2). Arealet er A=XYA=XY. Finn en tilnærmet varians og standardfeil for A^=XY\hat{A}=XY.

Identifiser gg og deriver. g(x,y)=xyg(x,y)=xy, så gx=y\dfrac{\partial g}{\partial x}=y og gy=x\dfrac{\partial g}{\partial y}=x.

Sett inn i forventningene (μX,μY)=(8,5)(\mu_X,\mu_Y)=(8,5): gx=μY=5g_x=\mu_Y=5 og gy=μX=8g_y=\mu_X=8. Da
Var(A^)μY2Var(X)+μX2Var(Y)=520,25+820,16=6,25+10,24=16,49.\text{Var}(\hat{A})\approx \mu_Y^2\,\text{Var}(X)+\mu_X^2\,\text{Var}(Y)=5^2\cdot 0{,}25 + 8^2\cdot 0{,}16 = 6{,}25 + 10{,}24 = 16{,}49.

Tolk. Standardfeilen er 16,494,06\sqrt{16{,}49}\approx 4{,}06 cm2^2, mens selve arealet er A=85=40A=8\cdot 5=40 cm2^2 — en relativ usikkerhet på ≈ 10 %. Merk hvordan begge målingene bidrar: høydens usikkerhet (10,2410{,}24) veier tyngst her fordi bredden μX=8\mu_X=8 forsterker den.

📝Oppgave 5

En strømningsrate estimeres som forholdet R=VTR=\dfrac{V}{T} mellom målt volum VV og målt tid TT, uavhengige, med μV=100\mu_V=100, Var(V)=4\text{Var}(V)=4, μT=20\mu_T=20, Var(T)=1\text{Var}(T)=1.

a) Finn de partiellderiverte av g(v,t)=v/tg(v,t)=v/t.

b) Bruk deltametoden til å finne Var(R^)\text{Var}(\hat{R}).

c) Oppgi R^\hat{R} og standardfeilen.

Begrepsbank til eksamen

Asymptotisk normalitet og deltametodens formler, i kortform.

Begrepsbanken er flashcard-/repetisjonsstoff — den gjentar det du nettopp har lest. Hopp trygt over ved førstegangslesing; tidsanslaget gjelder kjernestoffet.

Resultatkort: ML asymptotisk normal

For stor nn er en ML-estimator tilnærmet N(θ,Var(θ^))N(\theta,\text{Var}(\hat{\theta})) (konsekvens av CLT — utledes ikke). For eksponensial: β^=Xˉ\hat{\beta}=\bar{X} tilnærmet N(β,β2/n)N(\beta,\beta^2/n). Gir et raskt normaltilnærmet KI θ^±zα/2SE\hat{\theta}\pm z_{\alpha/2}\text{SE}.

Formelkort: normaltilnærmet KI
θ^±zα/2SE(θ^)\hat{\theta}\pm z_{\alpha/2}\,\text{SE}(\hat{\theta}), med z0,025=1,96z_{0{,}025}=1{,}96 (95 %) eller z0,05=1,645z_{0{,}05}=1{,}645 (90 %). For eksponensial: SE(β^)=Xˉ/n\text{SE}(\hat{\beta})=\bar{X}/\sqrt{n}. Ved liten nn er det eksakte χ2n2\chi^2_{2n}-intervallet (kap. 6.2) mer presist.
Formelkort: deltametoden (én variabel)
Var(g(θ^))[g(μ)]2Var(θ^)\text{Var}(g(\hat{\theta}))\approx[g'(\mu)]^2\text{Var}(\hat{\theta}), med gg' evaluert i forventningen μ\mu. Fra Taylor g(θ^)g(μ)+g(μ)(θ^μ)g(\hat{\theta})\approx g(\mu)+g'(\mu)(\hat{\theta}-\mu). Arbeidsflyt: identifiser gg, deriver, sett inn, tolk. Den deriverte kvadreres.
Formelkort: deltametoden (flere variable)

For uavhengige X,YX,Y: Var(g(X,Y))gx2Var(X)+gy2Var(Y)\text{Var}(g(X,Y))\approx g_x^2\text{Var}(X)+g_y^2\text{Var}(Y), partiellderiverte evaluert i (μX,μY)(\mu_X,\mu_Y). Standard feilforplantning: hver innmålings usikkerhet vektes med kvadratet av følsomheten og legges sammen.

Oppskriftskort: deltametodens arbeidsflyt

Fire steg: (1) identifiser funksjonen gg oppgaven spør om; (2) deriver g(θ)g'(\theta) (eller partiellderiverte); (3) sett inn [g(μ)]2Var(θ^)[g'(\mu)]^2\text{Var}(\hat{\theta}), evaluert i forventningen; (4) tolk usikkerheten via standardfeilen Var(g(θ^))\sqrt{\text{Var}(g(\hat{\theta}))}. En Monte Carlo-simulering (kap. 9.2) kan kontrollere svaret.

Feilkort: de to delta-fellene

(1) Glem ikke kvadratetgg' — det er [g(μ)]2[g'(\mu)]^2, ikke g(μ)g'(\mu). (2) Evaluer gg' i forventningen μ=E(θ^)\mu=E(\hat{\theta}) (eller estimatet), aldri i en enkelt observasjon. En Monte Carlo-simulering (kap. 9.2) kan kontrollere svaret.

Repetisjonsoppgaver
Din fremgang
0 / 4 oppgaver
Symbol- og formelliste

Dette kapitlet er skrevet av Anthropics toppmodeller (Claude Opus og Claude Fable) og er foreløpig ikke manuelt gjennomgått — kvalitetskontrollen gjøres av uavhengige KI-agenter, og innmeldte feil rettes fortløpende. Funnet en feil? Meld fra, så retter vi den. Les mer om hvordan innholdet lages.

Skolesaga er en uavhengig læringsressurs og er ikke tilknyttet eller godkjent av Norges teknisk-naturvitenskapelige universitet. Dette er ikke offisielt studiemateriell. Les mer.