5.4 Komplekse egenverdier
Når karakteristisk likning har komplekse røtter: kompleks-konjugerte egenverdier og egenvektorer, rotasjons-skalerings-tolkningen, og broen til komplekse tall (Del 7) og ODE-systemer med svingninger (Del 10).
- Sensor forventer at du løser karakteristisk likning over , oppgir egenverdiene som et konjugert par , og finner konjugerte egenvektorer.
- For det reelle -tilfellet skal du kunne tolke matrisen geometrisk: en skalering med og en rotasjon med .
- Dette er også forkunnskapen for ODE-systemer med svingende løsninger (Del 10).
Utenat-krav (kode E): -formelen med negativ diskriminant, at komplekse egenverdier for reell matrise kommer parvis, og skalering-/rotasjonstolkningen. Ingen kalkulator — de eksakte kompleks-regningene må sitte.
Sist du var her (fra 5.1 og 7.2): egenverdiene er røttene i ; egenrommet er nullrommet til . Et komplekst tall har modulus og argument = vinkelen dets peker danner med den positive realaksen. Nå slipper vi kravet om at røttene skal være reelle.
Frem til nå har vi lett etter reelle egenverdier. Men karakteristisk likning er et polynom, og et polynom med reelle koeffisienter kan ha komplekse røtter. Da finnes det ingen reell retning som bare strekkes av matrisen — i stedet roterer matrisen planet. Tenk på en platespiller eller et hjul som spinner: ingen pil på skiva peker i samme retning etter en kvart omdreining, så det finnes ingen reell egenvektor. Egenverdiene er komplekse nettopp fordi virkningen er en rotasjon.
Kapitlet går i fire løkker: (1) komplekse egenverdier opptrer i konjugerte par, (2) hvordan du finner dem og de tilhørende egenvektorene, (3) den geometriske tolkningen skalering + rotasjon, og (4) reell vs. kompleks diagonalisering.
Løkke 1 — Komplekse egenverdier kommer i konjugerte par (~11 min)
Grunnen er at karakteristisk polynom har reelle koeffisienter, og reelle polynomer har komplekse røtter i konjugerte par.
Du trenger derfor bare å regne ut ett egenvektor-par: finn for , så er gratis for . Det halverer arbeidet.
Finn de komplekse egenverdiene og egenvektorene til , som roterer planet mot klokka.
Egenvektor for : løs med . Andre rad gir , altså . Sett :
Egenvektor for : ta konjugatet, (gratis).
Kontroll (spor/determinant): ✓ og ✓.
Konklusjon: egenverdiene er med egenvektorer og . Ingen reell egenvektor finnes — matrisen roterer, den strekker ikke.
(Innstegsoppgave.) En reell -matrise har egenverdi med egenvektor .
a) Hva er den andre egenverdien?
b) Hva er den tilhørende egenvektoren?
Løkke 2 — Finne egenverdiene og egenvektorene (~12 min)
Er diskriminanten negativ, blir , og du får et konjugert par .
Du radreduserer med kompleks aritmetikk (husk , og at ). For et enkelt konjugert par er hvert egenrom én-dimensjonalt over , utspent av én egenvektor.
Finn de komplekse egenverdiene og en egenvektor for hver til .
Diskriminanten gir det konjugerte paret , .
Egenvektor for : . Andre rad: . Med :
Kontroll: og ✓.
Egenvektor for : konjuger, .
Sluttsvar: med egenvektorer og .
Finn de komplekse egenverdiene til , og en egenvektor for den ene.
Løkke 3 — Geometrisk tolkning: skalering og rotasjon (~13 min)
har karakteristisk likning , altså egenverdiene . Denne matrisen er selve normalformen for komplekse egenverdier: den virker på planet som en ren skalering kombinert med en rotasjon. Kjenner du igjen dette mønsteret ( på diagonalen, over/under), kan du lese av egenverdiene direkte.
Da virker matrisen på planet som:
- en skalering (strekk/krymp) med faktoren , og
- en rotasjon med vinkelen om origo (mot klokka når ).
Er er det en ren rotasjon; er vokser vektorene (spiral utover), og for krymper de (spiral innover).
- : to reelle, forskjellige egenverdier.
- : én reell dobbel egenverdi.
- : et konjugert komplekst par (med ).
Så et raskt blikk på avgjør om du er i det komplekse tilfellet — nyttig når du skal begrunne at reell diagonalisering er umulig.
La . Finn egenverdiene og beskriv virkningen på planet geometrisk.
Polarform av : og (1. kvadrant). Altså .
Geometrisk tolkning: virker på planet som en skalering med faktor og en rotasjon mot klokka. En vektor blir altså litt lengre () og dreid en åttendedels omdreining hver gang virker — gjentatt bruk gir en spiral utover ().
Kontroll: virkningen på er , som har lengde og vinkel — nøyaktig skalering og rotasjon ✓.
La .
a) Finn egenverdiene.
b) Beskriv virkningen på planet (skalering og rotasjon).
Løkke 4 — Reell vs. kompleks diagonalisering (~13 min)
Hvis en reell matrise har ikke-reelle egenverdier, kan den ikke diagonaliseres med en reell matrise og en reell diagonalmatrise . Grunnen: diagonalelementene i måtte være egenverdiene, som er komplekse — og en diagonal matrise av reelle tall kan aldri ha komplekse tall på diagonalen.
Geometrisk: en rotasjon har ingen reell egenvektor (ingen reell retning holdes fast), så det finnes ingen reell basis av egenvektorer å bygge av.
der har de (komplekse) egenvektorene som kolonner og har de (komplekse) egenverdiene på diagonalen — matchet søyle for søyle, akkurat som i det reelle tilfellet (kap. 5.2). Kriteriet er det samme; bare tallkroppen er utvidet fra til .
For et konjugert par er (reelt) og (reelt og positivt). Summen og produktet blir altså reelle — som de må, siden er reell. Bruk dette som rask kontroll på at du har regnet riktig.
Finn egenverdiene til , og avgjør om den er reelt/komplekst diagonaliserbar.
Så (reell) og .
Egenverdier: — tre forskjellige egenverdier.
Egenvektor for : gir , fri: .
Egenvektor for : har , og . Med : ; konjugatet hører til .
Diagonaliserbarhet: tre forskjellige egenverdier ⇒ diagonaliserbar. Men fordi to av dem er komplekse, er den ikke reelt diagonaliserbar — bare over , med
Kontroll: ✓; ✓.
La .
a) Vis at har komplekse egenverdier og finn dem.
b) Kan diagonaliseres reelt? Begrunn.
- Glemmer at komplekse egenverdier kommer parvis: for en reell matrise må og også være med. Oppgir du bare , mangler halve svaret.
- Regnefeil i kompleks aritmetikk: husk , , og .
- Feil eller modulus i skalering-/rotasjonstolkningen: bruk kvadranten (fortegnene til og ), ikke bare .
- Prøver reell diagonalisering der bare kompleks finnes — sjekk diskriminanten først, og skriv eksplisitt at reell diagonalisering er umulig.
- Desimalsvar: gi eksakt form (, ), aldri avrundede tall.
- Glemmer spor/determinant-kontrollen: og skal begge bli reelle.
Blandet oppgavesett (stigende vanskegrad)
La . Finn de komplekse egenverdiene og en egenvektor for den ene. Sjekk svaret mot spor og determinant.
La (rotasjon ). Bruk kompleks diagonalisering til å forklare at .
Vis at matrisen med har egenverdier , og forklar hvorfor virker som en skalering med etterfulgt av en rotasjon.
(Krevende.) La være en reell -matrise. Vis at hvis er en egenverdi med egenvektor , så er en egenverdi med egenvektor .
Begrepsbank til eksamen
Kjernebegrepene om komplekse egenverdier samlet i kortform.
Begrepsbanken er flashcard-/repetisjonsstoff — hopp trygt over ved førstegangslesing; tidsanslaget gjelder kjernestoffet.
Et polynom av grad har nøyaktig røtter i (talt med multiplisitet). Derfor har karakteristisk likning for en -matrise alltid egenverdier over , selv om noen kan være komplekse eller sammenfalle.
En reell matrise kan godt ha komplekse egenverdier — det betyr bare at karakteristisk polynom (med reelle koeffisienter) har komplekse røtter. Fordi koeffisientene er reelle, kommer disse røttene i konjugerte par.
Nøkkeltrikset bak konjugerte par: konjuger . Siden er reell blir det . Konjugering er multiplikativ () og distributiv, så den «kommuterer» med matrisemultiplikasjon når matrisen er reell.
Modulus måler hvor mye matrisen strekker planet per rotasjonssteg. : spiral utover (vekst); : spiral innover (demping); : ren rotasjon på en sirkel.
Argumentet er rotasjonsvinkelen per steg. Positiv imaginærdel () gir rotasjon mot klokka; gir med klokka. Bestem vinkelen med riktig kvadrant, ikke bare .
For en reell -matrise med egenverdier finnes en reell basis der matrisen får normalformen . Dette er den reelle «erstatningen» for diagonalisering når egenverdiene er komplekse: i stedet for en diagonal får du en rotasjon-skalering-blokk.
Komplekse egenverdier i et system (Del 10) gir svingende løsninger: imaginærdelen styrer svingefrekvensen, og realdelen styrer om svingningen vokser (), dempes () eller er ren (). Faseportrettet blir en spiral (eller et senter når ).
En kompleks egenvektor splittes i realdel og imaginærdel . Disse to reelle vektorene utspenner planet der rotasjonen skjer, og gir kolonnene i basisskiftematrisen til den reelle normalformen.
Som i det reelle tilfellet er en egenvektor bare bestemt opp til en skalarfaktor — men nå kan faktoren være kompleks. Derfor kan din egenvektor se ulik ut fra fasitens og likevel være riktig; sjekk ved å se om den ene er et (komplekst) multiplum av den andre, eller sett inn i .
Er (egenverdiene ligger på enhetssirkelen), er virkningen en ren rotasjon — lengder bevares, punktene beveger seg på sirkler. Er , kombineres rotasjonen med en skalering, og banene blir spiraler. Sjekk for å skille tilfellene.
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.