6.2 Diagonalisering, Aⁿ og lim Aⁿv (Markov)
A = PDP⁻¹, Aⁿ = PDⁿP⁻¹, og lim Aⁿv via egenvektordekomponering — Markov-langtidsgrensen som var fast slutteksamensstoff før regimeskiftet.
- Diagonalisering og langtidsgrensen (sjanger B/C) — å skrive , regne , og bestemme for en Markov-prosess — dukker opp i 12 av 20 arkiverte sett (60 %), med Markov-kontekst (befolkning, bestand, andeler) i 2007, 2008, 2016, 2019, 2022 og 2024. Matrise-kvadratrot og spektralbasis (sjanger C) i 3 sett.
- Men: 0 av 3 sett i V2025, som for egenverdier ellers. Dette er beredskap — fullt dekket fordi det hviler tungt på formelsamlingen og var karakterskiller i alle gamle sett, men prioritert etter det nye tyngdepunktet.
- Fasiten aksepterer to gyldige veier for : (a) egenvektordekomponering (ryddigst — 2022/2024), og (b) full diagonalisering. Vi viser begge; velg den raskeste.
- Ingen offisiell fasit i arkivet (⚠️) — metoden er faglig standard.
Prioritet: beredskap. Målet er at du kan splitte en startvektor i egenvektorer og lese langtidsgrensen direkte av den dominerende egenverdien.
Sist du var her (kap. 6.1): egenverdiene løses fra ; egenvektorene er nullrommet til ; egenvektorer for ulike egenverdier er lineært uavhengige. Alt dette bruker vi nå.
Å gange en matrise med seg selv mange ganger — — er tungt direkte, men lett hvis vi bytter til egenvektorbasis. I den basisen er bare en diagonalmatrise som strekker hver egenretning med sin egenverdi, og da blir trivielt: strekk hver retning med . Dette er hele ideen bak diagonalisering.
Den viktigste anvendelsen er langtidsoppførsel: en Markov-prosess (andeler som flyttes rundt hvert år) styres av matrisen , og tilstanden etter år er . Splitter vi i egenvektorer, ser vi umiddelbart hva som skjer når : ledd med dør ut, og bare den stasjonære komponenten () overlever. Vi bygger dette i tre løkker: (1) diagonalisering ; (2) ; (3) via egenvektordekomponering, med Markov.
Løkke 1 — Diagonalisering (~18 min)
der er en diagonalmatrise med egenverdiene på diagonalen, og er matrisen som har de tilhørende egenvektorene som søyler (i samme rekkefølge). Likningen sier at er «samme avbildning som , sett i egenvektorbasisen». Merk rekkefølgen: egenverdien i søyle av hører til egenvektoren i søyle av .
En -matrise er diagonaliserbar hvis og bare hvis den har lineært uavhengige egenvektorer. To tilstrekkelige situasjoner:
- har forskjellige egenverdier (da er egenvektorene automatisk uavhengige), eller
- geometrisk multiplisitet algebraisk multiplisitet for hver egenverdi.
Er disse uavhengige egenvektorene funnet, settes de som søyler i , og blir diagonal med egenverdiene.
Diagonaliser .
Egenvektorer. : , egenvektor . : , egenvektor .
Sett sammen (egenvektorer som søyler, egenverdier i samme rekkefølge):
Konklusjon: . To forskjellige egenverdier ⇒ er diagonaliserbar.
Diagonaliser : finn , og .
Løkke 2 — Potenser: (~14 min)
Det tunge er dermed redusert til å opphøye tall i -te potens på diagonalen. Dette er hele nyttegjøringen av diagonalisering: gjentatt matrisemultiplikasjon blir triviell i egenvektorbasisen.
En diagonalmatrise har tall bare på hoveddiagonalen og null ellers. Å opphøye den i -te potens gjøres inngang for inngang: . Dette gjelder bare for diagonalmatriser — for en generell matrise må man diagonalisere først.
Bruk diagonaliseringen fra Eksempel 1 til å finne et lukket uttrykk for når .
Regn de to produktene:
Konklusjon: . (Sjekk : ✓.)
La . Finn egenverdiene og bruk til å skrive på lukket form.
Løkke 3 — via egenvektordekomponering og Markov (~18 min)
Koeffisientene finnes ved å løse dette lineære systemet (radreduksjon). Poenget: siden , blir — hvert ledd utvikler seg uavhengig, styrt av sin egenverdi.
Med avgjør størrelsen på egenverdiene grensen ledd for ledd:
- : leddet — dør ut.
- : leddet — den stasjonære komponenten overlever.
- : leddet divergerer (vokser ubegrenset).
For en Markov-matrise (der og alle andre ) er derfor , komponenten langs egenvektoren for .
En stokastisk matrise har ikke-negative innganger, og hver søyle summerer til — søylene er sannsynlighets-/andelsfordelinger for hvor «massen» flyttes neste steg. En slik matrise har alltid som egenverdi, og alle egenverdier oppfyller . Tilstanden etter steg er .
Den stasjonære fordelingen er egenvektoren for , skalert slik at komponentene summerer til . Den oppfyller — fordelingen endrer seg ikke lenger fra steg til steg. For en Markov-matrise der de øvrige egenverdiene har , er den stasjonære fordelingen langtidsgrensen , uavhengig av startfordelingen .
En Markov-matrise er (søylesum ). Skriv startvektoren som lineærkombinasjon av egenvektorene og bestem .
Egenvektorer. : gir , egenvektor . : gir , egenvektor .
Dekomponering. Løs : og , så . Altså .
Grensen. . Andre ledd , så
Konklusjon: systemet nærmer seg den stasjonære fordelingen — uansett startfordeling, siden bare -komponenten overlever.
To byer utveksler innbyggere hvert år etter Markov-matrisen (søylesum ). Finn den stasjonære fordelingen ved egenvektordekomponering, og forklar hva den betyr.
- Regne direkte i stedet for å splitte startvektoren i egenvektorbasis. Dekomponeringen er nesten alltid raskere for .
- Glemme hvilke ledd som overlever. dør ut, gir den stasjonære komponenten, divergerer. Ikke la et -ledd forsvinne.
- Feil rekkefølge i . Det er (egenvektorer) til venstre og til høyre — bytter du om, får du feil svar. Sjekk med : da må bli .
- Anta diagonaliserbarhet uten å sjekke. Uten uavhengige egenvektorer finnes ikke . En defekt egenverdi (geom. < alg. multiplisitet) sperrer diagonaliseringen.
- Ikke skalere den stasjonære fordelingen. Egenvektoren for må skaleres til komponentsum for å være en fordeling.
Eksamensrettet oppgavepulje
Stigende vanskegrad. Diagonaliser, regn potenser, og les langtidsgrenser av den dominerende egenverdien.
La . Finn og .
Avgjør om er diagonaliserbar, og begrunn.
Diagonaliser og skriv på lukket form.
En Markov-prosess har (søylesum ) og start . Bestem ved egenvektordekomponering.
La være diagonaliserbar med egenverdier , og og tilhørende egenvektorer . En vektor er .
a) Skriv .
b) Finnes ?
c) Hva blir ?
Begrepsbank
Kjernebegrepene fra kapitlet samlet som oppslag og flashcards.
Begrepsbanken er flashcard-/repetisjonsstoff — den gjentar det du nettopp har lest. Hopp trygt over ved førstegangslesing; tidsanslaget for kapitlet gjelder kjernestoffet.
En egenbasis er en basis for som helt består av egenvektorer for . En slik finnes nettopp når er diagonaliserbar. I egenbasisen er representert ved diagonalmatrisen — det er derfor egenbasisen gjør enkelt.
Den dominerende egenverdien er den med størst tallverdi . Den styrer langtidsoppførselen: vokser (eller krymper) hovedsakelig langs egenvektoren for den dominerende egenverdien. Er den dominerende egenverdien (Markov), stabiliserer systemet seg mot den stasjonære fordelingen.
En overgangsmatrise beskriver hvordan en tilstand fordeles til neste steg: inngang er andelen som går fra tilstand til tilstand . Er alle andeler ikke-negative og hver søyle summerer til , er den en stokastisk (Markov-) matrise. Tilstanden etter steg er .
En Markov-kjede konvergerer mot samme stasjonære fordeling uansett startfordeling når er enkel og alle andre egenverdier har (dette gjelder blant annet når alle innganger er strengt positive). Da dør startavviket ut geometrisk, med hastighet bestemt av den nest-største .
En reell symmetrisk matrise kan skrives der har ortonormale egenvektorsøyler (så ). Dette er spektralteoremet i praksis: symmetriske matriser er ikke bare diagonaliserbare, men diagonaliserbare med en ortogonal (vinkelbevarende) basisbytte.
Er med ikke-negative egenverdier, kan man definere en kvadratrot , der . Da er . Samme idé gir enhver funksjon av via funksjonen på diagonalen (sjanger C).
To matriser og er similære når for en inverterbar — de er samme avbildning i ulike baser. Similære matriser har samme egenverdier, spor og determinant. Diagonalisering er det spesielle tilfellet der er diagonal.
En defekt matrise har en egenverdi med geometrisk multiplisitet mindre enn algebraisk — den mangler egenvektorer og kan ikke diagonaliseres. Standardeksempel: . For slike bruker man Jordan-form (utenfor pensum); potensberegning krever da andre teknikker.
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 Universitetet i Oslo. Dette er ikke offisielt studiemateriell. Les mer.