La $\vec{x}_{k+1} = A\vec{x}_k$ være et dynamisk system med en $n \times n$ overgangsmatrise $A$ med $n$ lineært uavhengige egenvektorer. Da er den generelle løsningen for tilstandsvektor $\vec{x}_k$ gitt ved
\vec{x}_k = c_1 \lambda_1^k \vec{v}_1 + c_2 \lambda_2^k \vec{v}_2 + \cdots + c_n \lambda_n^k \vec{v}_n
- $c_i$ er konstanter som ofte bestemmes av startbetingelsen
- $\lambda_i$ er egenverdier (alle ligger mellom -1 og 1, og minst én av egenverdiene er nøyaktig 1)
- $\vec{v}_i$ er egenvektoren til $\lambda_i$.
+ Metode for å finne den generelle løsningen
+ Kort video
Steg 1: Sett opp overgangsmatrisen $A$:
- Første rad, første kolonne ($a_{11}$): Sannsynligheten for at hvis du har alternativ 1 så vil det bli alternativ 1 også ved neste iterasjon.
- Første rad, andre kolonne ($a_{21}$): Sannsynligheten for at hvis du har alternativ 1, så vil det bli alternativ 2 ved neste iterasjon.
- osv.
Eksempel hvis du har tre alternativer:
A = \left( \begin{array}{ccc} \textcolor{red}{\textnormal{alt. 1}} \to \textnormal{alt. 1} & \textcolor{blue}{\textnormal{alt. 2}} \to \textnormal{alt. 1} & \textcolor{green}{\textnormal{alt. 3}} \to \textnormal{alt. 1} \\ \textcolor{red}{\textnormal{alt. 1}} \to \textnormal{alt. 2} & \textcolor{blue}{\textnormal{alt. 2}} \to \textnormal{alt. 2} & \textcolor{green}{\textnormal{alt. 3}} \to \textnormal{alt. 2} \\ \textcolor{red}{\textnormal{alt. 1}} \to \textnormal{alt. 3} & \textcolor{blue}{\textnormal{alt. 2}} \to \textnormal{alt. 3} & \textcolor{green}{\textnormal{alt. 3}} \to \textnormal{alt. 3} \\ \end{array} \right)
Sjekk at alle elementene i $A$ er ikke-negative og at kolonnesummene er lik 1.
Steg 2: Finn egenverdiene $\lambda$ ved å løse den karakteristiske ligningen:
\det(A- \lambda I) = 0
Sjekk at:
- alle egenverdiene ligger mellom -1 og 1
- minst en egenverdi er nøyaktig lik 1
- summen av hoveddiagonalen i $A$ er lik summen av egenverdier
Steg 3: Finn egenvektorene $\vec{v}_i$ til hver egenverdi $\lambda_i$ ved å løse:
(A - \lambda_i I) \vec{v}_i = 0
Sjekk at $A\vec{v}_i = \lambda_i \vec{v}_i$
Steg 4: Sett egenverdiene og egenvektorene inn i uttrykket for generell løsning:
\vec{x}_k = c_1 \lambda_1^k \vec{v}_1 + c_2 \lambda_2^k \vec{v}_2 + \cdots + c_n \lambda_n^k \vec{v}_n
Steg 5: Bestem konstanten $c_i$ ved hjelp av kjent tilstand. Ofte ved start.
Sjekk at løsningen stemmer ved den kjente tilstanden.
Steg 6: La $k \to \infty$ hvis du vil finne likevektstilstanden
+ Eksempel 1: Vann-damp
Vann helles i et glass. I vannflaten vil molekylene enten fordampe eller kondensere. Hvert sekund kondenserer 20% av gassmolekylene og 10% av vannmolekyler fordamper. Ved start er det kun vannmolekyler på overflaten. Finn likevektssituasjonen.
+ Video
+ Steg 1: Finn overgangsmatrisen
Overgangsmatrisen finner vi ved å se på sannsynlighetene for hva som skjer i neste iterasjon:
A = \left( \begin{array}{cc} \textnormal{damp} \to \textnormal{damp} & \textnormal{vann} \to \textnormal{damp} \\ \textnormal{damp} \to \textnormal{vann} & \textnormal{vann} \to \textnormal{vann} \end{array} \right) = \left( \begin{array}{cc} 0.8 & 0.1 \\ 0.2 & 0.9 \end{array} \right)
Dersom $A$ er en gyldig overgangsmatrise:
- Alle elementene må være ikke-negative
- Summen av hver kolonne i $A$ må være 1:
\textnormal{Summen av 1. kolonne: } \quad 0.8 + 0.2 = 1 \\ \textnormal{Summen av 2. kolonne: } \quad 0.1 + 0.9 = 1
Vips, har vi en gyldig overgansmatrise.
+ Steg 2: Finn egenverdiene
Finner alle egenverdiene $\lambda$ ved å løse den karakteristiske ligningen:
\begin{aligned} & \det(A - \lambda I) = 0 \\ \Rightarrow \quad & \left| \begin{array}{cc} 0.8 - \lambda & 0.1 \\ 0.2 & 0.9 - \lambda \end{array} \right| = 0\\ \Rightarrow \quad & (0.8 - \lambda)(0.9 - \lambda) - 0.1 \cdot 0.2 = 0 \\ \Rightarrow \quad & 0.72 - 0.8\lambda - 0.9\lambda + \lambda^2 - 0.02 = 0 \\ \Rightarrow \quad & \lambda^2 - 1.7 \lambda + 0.7 = 0 \end{aligned}
Bruker andregradsformelen:
\begin{aligned} & \lambda = \frac{- (-1.7) \pm \sqrt{(-1.7)^2 - 4 \cdot 1 \cdot 0.7}}{2 \cdot 1} \\ \Rightarrow \qquad & \lambda = \frac{1.7 \pm \sqrt{0.09}}{2} \\ \Rightarrow \qquad & \lambda = \frac{1.7 \pm 0.3}{2} \\ \Rightarrow \qquad & \lambda_1 = \frac{1.7 + 0.3}{2} = 1, \quad \lambda_2 = \frac{1.7 - 0.3}{2} = 0.7 \end{aligned}
Og, vips, har vi to egenverdier, $\lambda_1 = 1$ og $\lambda_2 = 0.7$. Begge ligger mellom -1 og 1 og minst én av dem er nøyaktig 1.
Sjekker at summen av hoveddiagonalen i $A$ er lik summen av egenverdier:
\begin{aligned} & \textnormal{Summen av hoveddiagonalen i } A: \quad &&0.8 + 0.9 = 1.7 \\ & \textnormal{Summen av egenverdier for } A: &&\lambda_1 + \lambda_2 = 1 + 0.7 = 1.7 \end{aligned}
ok
+ Steg 3a: Finn egenvektoren til $\lambda_1 = 1$
For å finne egenvektoren $\vec{v}_1$ til egenverdien $\lambda_1 = -1$ må vi løse:
(A - \lambda_1 I) \vec{v}_1 = 0 \quad \Longleftrightarrow \quad \left( \begin{array}{cc} 0.8-\lambda_1 & 0.1 \\ 0.2 & 0.9-\lambda_1 \end{array} \right) \left( \begin{array}{c} v_1 \\ v_2 \end{array} \right) = \left( \begin{array}{c} 0 \\ 0 \end{array} \right)
Løser ved å bruke radoperasjoner på den utvidete matrisen:
\left( \begin{array}{cc|c} 0.8 - \lambda_1 & 0.1 & 0 \\ 0.2 & 0.9-\lambda_1 & 0 \end{array} \right) = \left( \begin{array}{cc|c} 0.8 - 1 & 0.1 & 0 \\ 0.2 & 0.9 - 1& 0 \end{array} \right) \\ = \left( \begin{array}{cc|c} -0.2 & 0.1 & 0 \\ 0.2 & -0.1 & 0 \end{array} \right) \\ \overset{-5R_1 \to R_1}{\sim} \left( \begin{array}{cc|c} 1 & -0.5 & 0 \\ 0.2 & 0.1 & 0 \end{array} \right) \\ \overset{R_2 - 0.2R_1 \to R_2}{\sim} \left( \begin{array}{cc|c} 1 & -0.5 & 0 \\ 0 & 0 & 0 \end{array} \right)
Siden andre kolonne mangler ledende ener, lar vi $v_2$ være en fri variabel. Den første raden tilsvarer:
v_1 - 0.5v_2 = 0 \quad \Rightarrow \quad v_1 = 0.5v_2
Setter den frie variabelen lik $t$, dvs. $v_2 = t$:
\vec{v}_1 = \left( \begin{array}{c} v_1 \\ v_2 \end{array} \right) = \left( \begin{array}{c} 0.5 \\ 1 \end{array} \right) t
Alle verdier for $t$ gir gyldige egenvektorer. Vi kan for eksempel velge $t = 2$ for å slippe desimaltall:
\vec{v}_1 = \left( \begin{array}{c} v_1 \\ v_2 \end{array} \right) = \left( \begin{array}{c} 1 \\ 2 \end{array} \right)
Sjekker om $A\vec{v}_1 = \lambda_1 \vec{v}_1$ ved hjelp av matrisemultiplikasjon:
\begin{aligned} & A\vec{v}_1 = \left( \begin{array}{cc} 0.8 & 0.1 \\ 0.2 & 0.9 \end{array} \right) \left( \begin{array}{c} 1 \\ 2 \end{array} \right) = \left( \begin{array}{c} 0.8 \cdot 1 + 0.1 \cdot 2 \\ 0.2 \cdot 1 + 0.9 \cdot 2 \end{array} \right) = \left( \begin{array}{c} 1 \\ 2 \end{array} \right) \\ & \lambda_1 \vec{v}_1 = 1 \cdot \left( \begin{array}{c} 1 \\ 2 \end{array} \right) = \left( \begin{array}{c} 1 \\ 2 \end{array} \right) \end{aligned}
ok.
+ Steg 3b: Finn egenvektoren til $\lambda_2 = 0.7$
For å finne egenvektoren $\vec{v}_2$ til egenverdien $\lambda_2 = 0.7$ må vi løse:
(A - \lambda_2 I) \vec{v}_2 = 0 \quad \Longleftrightarrow \quad \left( \begin{array}{cc} 0.8-\lambda_2 & 0.1 \\ 0.2 & 0.9-\lambda_2 \end{array} \right) \left( \begin{array}{c} v_1 \\ v_2 \end{array} \right) = \left( \begin{array}{c} 0 \\ 0 \end{array} \right)
Løser ved å bruke radoperasjoner på den utvidete matrisen:
\left( \begin{array}{cc|c} 0.8 - \lambda_2 & 0.1 & 0 \\ 0.2 & 0.9-\lambda_2 & 0 \end{array} \right) = \left( \begin{array}{cc|c} 0.8 - 0.7 & 0.1 & 0 \\ 0.2 & 0.9-0.7 & 0 \end{array} \right) \\ = \left( \begin{array}{cc|c} 0.1 & 0.1 & 0 \\ 0.2 & 0.2 & 0 \end{array} \right) \\ \overset{10R_1 \to R_1}{\sim} \left( \begin{array}{cc|c} 1 & 1 & 0 \\ 0.2 & 0.2 & 0 \end{array} \right) \\ \overset{R_2 - 0.2R_1 \to R_2}{\sim} \left( \begin{array}{cc|c} 1 & 1 & 0 \\ 0 & 0 & 0 \end{array} \right)
Vi fikk en nullrad akkurat som vi forventet da vi satte determinanten lik null. Siden andre kolonne mangler ledende ener, lar vi $v_2$ være en fri variabel. Den første raden tilsvarer:
v_1 + v_2 = 0 \quad \Rightarrow \quad v_1 = -v_2
Setter den frie variabelen lik $t$, dvs. $v_2 = t$:
\vec{v}_2 = \left( \begin{array}{c} v_1 \\ v_2 \end{array} \right) = \left( \begin{array}{c} -1 \\ 1 \end{array} \right) t
Alle verdier for $t$ gir gyldige egenvektorer. Vi kan for eksempel velge $t = 1$. Og, vips, har vi en egenvektor for egenverdien $\lambda_2 = 0.7$:
\vec{v}_2 = \left( \begin{array}{c} v_1 \\ v_2 \end{array} \right) = \left( \begin{array}{c} -1 \\ 1 \end{array} \right)
Sjekker om $A\vec{v}_2 = \lambda_2 \vec{v}_2$ ved hjelp av matrisemultiplikasjon:
\begin{aligned} & A\vec{v}_2 = \left( \begin{array}{cc} 0.8 & 0.1 \\ 0.2 & 0.9 \end{array} \right) \left( \begin{array}{c} -1 \\ 1 \end{array} \right) = \left( \begin{array}{c} 0.8 \cdot (-1) + 0.1 \cdot 1 \\ 0.2 \cdot (-1) + 0.9 \cdot 1 \end{array} \right) = \left( \begin{array}{c} -0.7 \\ 0.7 \end{array} \right) \\ & \lambda_2 \vec{v}_2 = 0.7 \left( \begin{array}{c} -1 \\ 1 \end{array} \right) = \left( \begin{array}{c} -0.7 \\ 0.7 \end{array} \right) \end{aligned}
ok.
+ Steg 4: Generell løsning
Generell løsning:
\vec{x}_k = c_1 \textcolor{red}{\lambda_1}^k \textcolor{blue}{\vec{v}_1} + c_2 \textcolor{red}{\lambda_2}^k \textcolor{blue}{\vec{v}_2} + \cdots + c_n \textcolor{red}{\lambda_n}^k \textcolor{blue}{\vec{v}_n}
som her blir:
\begin{aligned} & \vec{x}_k = c_1 \cdot \textcolor{red}{1}^k \cdot \textcolor{blue}{\left(\begin{array}{c} 1 \\ 2 \end{array} \right)} + c_2 \cdot \textcolor{red}{0.7}^k \cdot \textcolor{blue}{\left(\begin{array}{c} -1 \\ 1 \end{array} \right)} \\ \Rightarrow \quad & \vec{x}_k = c_1 \left(\begin{array}{c} 1 \\ 2 \end{array} \right) + c_2 \cdot 0.7^k \cdot \left(\begin{array}{c} -1 \\ 1 \end{array} \right) \end{aligned}
+ Steg 5: Bestem konstantene
For å bestemme konstantene, trenger vi en kjent tilstand. Siden vi har fått oppgitt at ved start er det kun vannmolekyler på grenseflaten, har vi:
\vec{x}_0 = \left( \begin{array}{c} \textnormal{damp} \\ \textnormal{vann} \end{array} \right) = \left( \begin{array}{c} 0 \\ 1 \end{array} \right)
Nå kan vi bestemme konstantene $c_1$ og $c_2$:
\begin{aligned} & \vec{x}_0 = c_1 \left(\begin{array}{c} 1 \\ 2 \end{array} \right) + c_2 \cdot 0.7^0 \cdot \left(\begin{array}{c} -1 \\ 1 \end{array} \right) \\ \Rightarrow \quad & \left( \begin{array}{c} 0 \\ 1 \end{array} \right) = c_1 \left(\begin{array}{c} 1 \\ 2 \end{array} \right) + c_2 \left(\begin{array}{c} -1 \\ 1 \end{array} \right) \\ \Rightarrow \quad & \left( \begin{array}{c} 0 \\ 1 \end{array} \right) = \left(\begin{array}{cc} 1 & -1 \\ 2 & 1 \end{array} \right) \left(\begin{array}{c} c_1 \\ c_2 \end{array} \right) \end{aligned}
Løser ved å bruke radoperasjoner på den utvidete matrisen:
\left( \begin{array}{cc|c} 1 & -1 & 0 \\ 2 & 1 & 1 \end{array} \right) \\ \overset{R_2 - 2R_1 \to R_2}{\sim} \left( \begin{array}{cc|c} 1 & -1 & 0 \\ 0 & 3 & 1 \end{array} \right) \\ \overset{R_2/3 \to R_2}{\sim} \left( \begin{array}{cc|c} 1 & -1 & 0 \\ 0 & 1 & \frac{1}{3} \end{array} \right) \\ \overset{R_1 + R_2 \to R_1}{\sim} \left( \begin{array}{cc|c} 1 & 0 & \frac{1}{3} \\ 0 & 1 & \frac{1}{3} \end{array} \right)
som gir $c_1 = c_2 = \frac{1}{3}$. Dermed har vi:
\vec{x}_k = \frac{1}{3} \left(\begin{array}{c} 1 \\ 2 \end{array} \right) + \frac{1}{3} \cdot 0.7^k \cdot \left(\begin{array}{c} -1 \\ 1 \end{array} \right)
Sjekker når $k = 0$:
\vec{x}_0 = \frac{1}{3} \left(\begin{array}{c} 1 \\ 2 \end{array} \right) + \frac{1}{3} \cdot 0.7^0 \cdot \left(\begin{array}{c} -1 \\ 1 \end{array} \right) = \frac{1}{3} \left(\begin{array}{c} 1 \\ 2 \end{array} \right) + \frac{1}{3} \left(\begin{array}{c} -1 \\ 1 \end{array} \right) = \frac{1}{3} \left(\begin{array}{c} 1 - 1 \\ 2 + 1\end{array} \right) = \left(\begin{array}{c} 0 \\ 1 \end{array} \right)
ok
+ Steg 6: Likevekt
Når vi vil finne likevektstilstanden, lar vi $k \to \infty$ in den generelle løsningen:
\vec{v} = \lim_{k \to \infty} \vec{x}_k = \lim_{k \to \infty} \left(\frac{1}{3} \left(\begin{array}{c} 1 \\ 2 \end{array} \right) + \frac{1}{3} \cdot 0.7^k \cdot \left(\begin{array}{c} -1 \\ 1 \end{array} \right) \right) = \frac{1}{3} \left(\begin{array}{c} 1 \\ 2 \end{array} \right)
siden $0.7^k$ går mot null når $k$ går mot $\infty$. Dermed er det likevekt når en tredjedel av molekylene er dampmolekyler og to tredjedeler er vannmolekyler.
+ Eksempel 2: Ja eller nei?
En mann skifter mening hver gang han stilles et spørsmål. Sier han ja, er det 90% sannsynlighet for at han sier nei neste gang. Og sier han nei, er det 90% sannsynlighet for at han sier ja neste gang. Han svarer ja på første spørsmål. Finn likevektssituasjonen.
+ Steg 1: Finn overgangsmatrisen
Overgangsmatrisen finner vi ved å se på sannsynlighetene for hva som skjer i neste iterasjon:
A = \left( \begin{array}{cc} \textnormal{ja} \to \textnormal{ja} & \textnormal{nei} \to \textnormal{ja} \\ \textnormal{ja} \to \textnormal{nei} & \textnormal{nei} \to \textnormal{nei} \end{array} \right) = \left( \begin{array}{cc} 0.1 & 0.9 \\ 0.9 & 0.1 \end{array} \right)
Dersom $A$ er en gyldig overgangsmatrise:
- Alle elementene må være ikke-negative og summen av hver kolonne må være 1.
- Summen av hver kolonne i $A$ må være 1:
\textnormal{Summen av 1. kolonne: } \quad 0.1 + 0.9 = 1 \\ \textnormal{Summen av 2. kolonne: } \quad 0.9 + 0.1 = 1
Vips, har vi en gyldig overgangsmatrise
+ Steg 2: Finn egenverdiene
Finner alle egenverdiene $\lambda$ ved å løse den karakteristiske ligningen:
\begin{aligned} & \det(A - \lambda I) = 0 \\ \Rightarrow \quad & \left| \begin{array}{cc} 0.1 - \lambda & 0.9 \\ 0.9 & 0.1 - \lambda \end{array} \right| \\ \Rightarrow \quad & (0.1 - \lambda)(0.1 - \lambda) - 0.9 \cdot 0.9 = 0 \\ \Rightarrow \quad & 0.01 - 0.1\lambda - 0.1\lambda + \lambda^2 - 0.81 = 0 \\ \Rightarrow \quad & \lambda^2 - 0.2 \lambda - 0.8 = 0 \end{aligned}
Bruker andregradsformelen:
\begin{aligned} & \lambda = \frac{- (-0.2) \pm \sqrt{(-0.2)^2 - 4 \cdot 1 \cdot (-0.8)}}{2 \cdot 1} \\ \Rightarrow \qquad & \lambda = \frac{0.2 \pm \sqrt{3.24}}{2} \\ \Rightarrow \qquad & \lambda = \frac{0.2 \pm 1.8}{2} \\ \Rightarrow \qquad & \lambda_1 = \frac{0.2 + 1.8}{2} = 1, \quad \lambda_2 = \frac{0.2 - 1.8}{2} = -0.8 \end{aligned}
Og, vips, har vi to egenverdier, $\lambda_1 = 1$ og $\lambda_2 = -0.8$. Begge ligger mellom -1 og 1 og minst én av dem er nøyaktig 1.
Sjekker at summen av hoveddiagonalen i $A$ er lik summen av egenverdier:
\begin{aligned} & \textnormal{Summen av hoveddiagonalen i } A: \quad &&0.1 + 0.1 = 0.2 \\ & \textnormal{Summen av egenverdier for } A: &&\lambda_1 + \lambda_2 = 1 - 0.8 = 0.2 \end{aligned}
ok
+ Steg 3a: Finn egenvektoren til $\lambda_1 = 1$
For å finne egenvektoren $\vec{v}_1$ til egenverdien $\lambda_1 = -1$ må vi løse:
(A - \lambda_1 I) \vec{v}_1 = 0 \quad \Longleftrightarrow \quad \left( \begin{array}{cc} 0.1-\lambda_1 & 0.9 \\ 0.9 & 0.1-\lambda_1 \end{array} \right) \left( \begin{array}{c} v_1 \\ v_2 \end{array} \right) = \left( \begin{array}{c} 0 \\ 0 \end{array} \right)
Løser ved å bruke radoperasjoner på den utvidete matrisen:
\left( \begin{array}{cc|c} 0.1 - \lambda_1 & 0.9 & 0 \\ 0.9 & 0.1-\lambda_1 & 0 \end{array} \right) = \left( \begin{array}{cc|c} 0.1 - 1 & 0.9 & 0 \\ 0.9 & 0.1 - 1& 0 \end{array} \right) \\ = \left( \begin{array}{cc|c} -0.9 & 0.9 & 0 \\ 0.9 & -0.9 & 0 \end{array} \right) \\ \overset{-R_1/0.9 \to R_1}{\sim} \left( \begin{array}{cc|c} 1 & -1 & 0 \\ 0.9 & -0.9 & 0 \end{array} \right) \\ \overset{R_2 - 0.9R_1 \to R_2}{\sim} \left( \begin{array}{cc|c} 1 & -1 & 0 \\ 0 & 0 & 0 \end{array} \right)
Siden andre kolonne mangler ledende ener, lar vi $v_2$ være en fri variabel. Den første raden tilsvarer:
v_1 - v_2 = 0 \quad \Rightarrow \quad v_1 = v_2
Setter den frie variabelen lik $t$, dvs. $v_2 = t$:
\vec{v}_1 = \left( \begin{array}{c} v_1 \\ v_2 \end{array} \right) = \left( \begin{array}{c} 1 \\ 1 \end{array} \right) t
Alle verdier for $t$ gir gyldige egenvektorer. Vi kan for eksempel velge $t = 1$ for å slippe desimaltall:
\vec{v}_1 = \left( \begin{array}{c} v_1 \\ v_2 \end{array} \right) = \left( \begin{array}{c} 1 \\ 1 \end{array} \right)
Sjekker om $A\vec{v}_1 = \lambda_1 \vec{v}_1$ ved hjelp av matrisemultiplikasjon:
\begin{aligned} & A\vec{v}_1 = \left( \begin{array}{cc} 0.1 & 0.9 \\ 0.9 & 0.1 \end{array} \right) \left( \begin{array}{c} 1 \\ 1 \end{array} \right) = \left( \begin{array}{c} 0.1 \cdot 1 + 0.9 \cdot 1 \\ 0.9 \cdot 1 + 0.1 \cdot 1 \end{array} \right) = \left( \begin{array}{c} 1 \\ 1 \end{array} \right) \\ & \lambda_1 \vec{v}_1 = 1 \cdot \left( \begin{array}{c} 1 \\ 1 \end{array} \right) = \left( \begin{array}{c} 1 \\ 1 \end{array} \right) \end{aligned}
ok.
+ Steg 3b: Finn egenvektoren til $\lambda_2 = -0.8$
For å finne egenvektoren $\vec{v}_2$ til egenverdien $\lambda_2 = -0.8$ må vi løse:
(A - \lambda_2 I) \vec{v}_2 = 0 \quad \Longleftrightarrow \quad \left( \begin{array}{cc} 0.1-\lambda_2 & 0.9 \\ 0.9 & 0.1-\lambda_2 \end{array} \right) \left( \begin{array}{c} v_1 \\ v_2 \end{array} \right) = \left( \begin{array}{c} 0 \\ 0 \end{array} \right)
Løser ved å bruke radoperasjoner på den utvidete matrisen:
\left( \begin{array}{cc|c} 0.1 - \lambda_2 & 0.9 & 0 \\ 0.9 & 0.1-\lambda_2 & 0 \end{array} \right) = \left( \begin{array}{cc|c} 0.1 - (-0.8) & 0.9 & 0 \\ 0.9 & 0.1 - (-0.8)& 0 \end{array} \right) \\ = \left( \begin{array}{cc|c} 0.9 & 0.9 & 0 \\ 0.9 & 0.9 & 0 \end{array} \right) \\ \overset{R_1/0.9 \to R_1}{\sim} \left( \begin{array}{cc|c} 1 & 1 & 0 \\ 0.9 & 0.9 & 0 \end{array} \right) \\ \overset{R_2 - 0.9R_1 \to R_2}{\sim} \left( \begin{array}{cc|c} 1 & 1 & 0 \\ 0 & 0 & 0 \end{array} \right)
Vi fikk en nullrad akkurat som vi forventet da vi satte determinanten lik null. Siden andre kolonne mangler ledende ener, lar vi $v_2$ være en fri variabel. Den første raden tilsvarer:
v_1 + v_2 = 0 \quad \Rightarrow \quad v_1 = -v_2
Setter den frie variabelen lik $t$, dvs. $v_2 = t$:
\vec{v}_2 = \left( \begin{array}{c} v_1 \\ v_2 \end{array} \right) = \left( \begin{array}{c} -1 \\ 1 \end{array} \right) t
Alle verdier for $t$ gir gyldige egenvektorer. Vi kan for eksempel velge $t = 1$. Og, vips, har vi en egenvektor for egenverdien $\lambda_2 = -0.8$:
\vec{v}_2 = \left( \begin{array}{c} v_1 \\ v_2 \end{array} \right) = \left( \begin{array}{c} -1 \\ 1 \end{array} \right)
Sjekker om $A\vec{v}_2 = \lambda_2 \vec{v}_2$ ved hjelp av matrisemultiplikasjon:
\begin{aligned} & A\vec{v}_2 = \left( \begin{array}{cc} 0.1 & 0.9 \\ 0.9 & 0.1 \end{array} \right) \left( \begin{array}{c} -1 \\ 1 \end{array} \right) = \left( \begin{array}{c} 0.1 \cdot (-1) + 0.9 \cdot 1 \\ 0.9 \cdot (-1) + 0.1 \cdot 1 \end{array} \right) = \left( \begin{array}{c} 0.8 \\ -0.8 \end{array} \right) \\ & \lambda_2 \vec{v}_2 = -0.8 \left( \begin{array}{c} -1 \\ 1 \end{array} \right) = \left( \begin{array}{c} 0.8 \\ -0.8 \end{array} \right) \end{aligned}
ok.
+ Steg 4: Generell løsning
Generell løsning:
\vec{x}_k = c_1 \lambda_1^k \vec{v}_1 + c_2 \lambda_2^k \vec{v}_2 + \cdots + c_n \lambda_n^k \vec{v}_n
som her blir:
\begin{aligned} & \vec{x}_k = c_1 \cdot 1^k \cdot \left(\begin{array}{c} 1 \\ 1 \end{array} \right) + c_2 \cdot (-0.8)^k \cdot \left(\begin{array}{c} -1 \\ 1 \end{array} \right) \\ \Rightarrow \quad & \vec{x}_k = c_1 \left(\begin{array}{c} 1 \\ 1 \end{array} \right) + c_2 \cdot (-0.8)^k \cdot \left(\begin{array}{c} -1 \\ 1 \end{array} \right) \end{aligned}
+ Steg 5: Bestem konstantene
For å bestemme konstantene, trenger vi en kjent tilstand. Her har vi fått oppgitt at mannen svarte ja på første spørsmål, har vi:
\vec{x}_0 = \left( \begin{array}{c} \textnormal{ja} \\ \textnormal{nei} \end{array} \right) = \left( \begin{array}{c} 1 \\ 0 \end{array} \right)
Nå kan vi bestemme konstantene $c_1$ og $c_2$:
\begin{aligned} & \vec{x}_0 = c_1 \left(\begin{array}{c} 1 \\ 1 \end{array} \right) + c_2 \cdot (-0.8)^0 \cdot \left(\begin{array}{c} -1 \\ 1 \end{array} \right) \\ \Rightarrow \quad & \left( \begin{array}{c} 1 \\ 0 \end{array} \right) = c_1 \left(\begin{array}{c} 1 \\ 1 \end{array} \right) + c_2 \left(\begin{array}{c} -1 \\ 1 \end{array} \right) \\ \Rightarrow \quad & \left( \begin{array}{c} 1 \\ 0 \end{array} \right) = \left(\begin{array}{cc} 1 & -1 \\ 1 & 1 \end{array} \right) \left(\begin{array}{c} c_1 \\ c_2 \end{array} \right) \end{aligned}
Løser ved å bruke radoperasjoner på den utvidete matrisen:
\left( \begin{array}{cc|c} 1 & -1 & 1 \\ 1 & 1 & 0 \end{array} \right) \\ \overset{R_2 - R_1 \to R_2}{\sim} \left( \begin{array}{cc|c} 1 & -1 & 1 \\ 0 & 2 & -1 \end{array} \right) \\ \overset{R_2/2 \to R_2}{\sim} \left( \begin{array}{cc|c} 1 & -1 & 1 \\ 0 & 1 & -\frac{1}{2} \end{array} \right) \\ \overset{R_1 + R_2 \to R_1}{\sim} \left( \begin{array}{cc|c} 1 & 0 & \frac{1}{2} \\ 0 & 1 & -\frac{1}{2} \end{array} \right)
som gir $c_1 = \frac{1}{2}$ og $c_2 = -\frac{1}{2}$. Dermed har vi:
\vec{x}_k = \frac{1}{2} \left(\begin{array}{c} 1 \\ 1 \end{array} \right) - \frac{1}{2} \cdot (-0.8)^k \cdot \left(\begin{array}{c} -1 \\ 1 \end{array} \right)
Sjekker når $k = 0$:
\vec{x}_0 = \frac{1}{2} \left(\begin{array}{c} 1 \\ 1 \end{array} \right) - \frac{1}{2} \cdot (-0.8)^0 \cdot \left(\begin{array}{c} -1 \\ 1 \end{array} \right) = \left(\begin{array}{c} \frac{1}{2} \\ \frac{1}{2} \end{array} \right) + \left(\begin{array}{c} \frac{1}{2} \\ -\frac{1}{2} \end{array} \right) = \left(\begin{array}{c} \frac{1}{2} + \frac{1}{2} \\ \frac{1}{2} - \frac{1}{2}\end{array} \right) = \left(\begin{array}{c} 1 \\ 0 \end{array} \right)
ok
+ Steg 6: Likevekt
Dersom du vil finne likevektstilstanden, lar du $k \to \infty$ in den generelle løsningen:
\vec{v} = \lim_{k \to \infty} \vec{x}_k = \lim_{k \to \infty} \left(\frac{1}{2} \left(\begin{array}{c} 1 \\ 1 \end{array} \right) - \frac{1}{2} \cdot (-0.8)^k \cdot \left(\begin{array}{c} -1 \\ 1 \end{array} \right) \right) = \frac{1}{2} \left(\begin{array}{c} 1 \\ 1 \end{array} \right)
siden $(-0.8)^k$ går mot null når $k$ går mot $\infty$. Dermed er det 50% sjanse for at mannen vil svare ja, når han har fått mange nok spørsmål.
+ Eksempel 3: «Ja, kjære!»
En mann svarer alltid «Ja, kjære!» hvis hans første svar er «Ja, kjære!». Dersom han svarer nei på første spørsmål, fortsetter han med det. Finn likevektssituasjonen.
+ Steg 1: Finn overgangsmatrisen
Overgangsmatrisen finner vi ved å se på sannsynlighetene for hva som skjer i neste iterasjon:
A = \left( \begin{array}{cc} \textnormal{ja} \to \textnormal{ja} & \textnormal{nei} \to \textnormal{ja} \\ \textnormal{ja} \to \textnormal{nei} & \textnormal{nei} \to \textnormal{nei} \end{array} \right) = \left( \begin{array}{cc} 1 & 0 \\ 0 & 1 \end{array} \right)
Dersom $A$ er en gyldig overgangsmatrise:
- Alle elementene må være ikke-negative og summen av hver kolonne må være 1.
- Summen av hver kolonne i $A$ må være 1:
\textnormal{Summen av 1. kolonne: } \quad 1 + 0 = 1 \\ \textnormal{Summen av 2. kolonne: } \quad 0 + 1 = 1
Vips, har vi en gyldig overgangsmatrise
+ Steg 2: Finn egenverdiene
Finner alle egenverdiene $\lambda$ ved å løse den karakteristiske ligningen:
\begin{aligned} & \det(A - \lambda I) = 0 \\ \Rightarrow \quad & \left| \begin{array}{cc} 1 - \lambda & 0 \\ 0 & 1 - \lambda \end{array} \right| \\ \Rightarrow \quad & (1 - \lambda)(1 - \lambda) - 0 \cdot 0 = 0 \\ \Rightarrow \quad & (1 - \lambda)^2 = 0 \\ \Rightarrow \quad & \lambda = 1 \end{aligned}
Og, vips, har vi kun en egenverdi som opptrer to ganger, $\lambda_1 = \lambda_2 = 1$. Begge ligger mellom -1 og 1 og minst én av dem er nøyaktig 1.
Sjekker at summen av hoveddiagonalen i $A$ er lik summen av egenverdier:
\begin{aligned} & \textnormal{Summen av hoveddiagonalen i } A: \quad && 1 + 1 = 2 \\ & \textnormal{Summen av egenverdier for } A: &&\lambda_1 + \lambda_2 = 1 + 1 = 2 \end{aligned}
ok
+ Steg 3: Finn egenvektoren til $\lambda = 1$
For å finne egenvektoren $\vec{v}$ til egenverdien $\lambda = 1$ må vi løse:
(A - \lambda_1 I) \vec{v} = 0 \quad \Longleftrightarrow \quad \left( \begin{array}{cc} 1-\lambda & 0 \\ 0 & 1-\lambda \end{array} \right) \left( \begin{array}{c} v_1 \\ v_2 \end{array} \right) = \left( \begin{array}{c} 0 \\ 0 \end{array} \right)
Løser ved å bruke radoperasjoner på den utvidete matrisen:
\left( \begin{array}{cc|c} 1 - \lambda & 0 & 0 \\ 0 & 1-\lambda_1 & 0 \end{array} \right) = \left( \begin{array}{cc|c} 1 - 1 & 0 & 0 \\ 0 & 1 - 1& 0 \end{array} \right) = \left( \begin{array}{cc|c} 0 & 0 & 0 \\ 0 & 0 & 0 \end{array} \right)
Siden både første og andre kolonne mangler ledende ener, lar vi både $v_1$ og $v_2$ være frie variabler. Vi kan sette $v_1 = s$ og $v_2 = t$:
\vec{v}_1 = \left( \begin{array}{c} v_1 \\ v_2 \end{array} \right) = \left( \begin{array}{c} s \\ t \end{array} \right) = \left( \begin{array}{c} 1 \\ 0 \end{array} \right) s + \left( \begin{array}{c} 0 \\ 1 \end{array} \right) t
Alle verdier for $s$ og $t$ gir gyldige egenvektorer. Vi får to egenvektorer for $\lambda = 1$:
\vec{v}_1 = \left( \begin{array}{c} 1 \\ 0 \end{array} \right), \quad \vec{v}_2 = \left( \begin{array}{c} 0 \\ 1 \end{array} \right)
Sjekker om $A\vec{v}_1 = \lambda \vec{v}_1$ og $A\vec{v}_2 = \lambda \vec{v}_2$ ved hjelp av matrisemultiplikasjon:
\begin{aligned} & A\vec{v}_1 = \left( \begin{array}{cc} 1 & 0 \\ 0 & 1 \end{array} \right) \left( \begin{array}{c} 1 \\ 0 \end{array} \right) = \left( \begin{array}{c} 1 \cdot 1 + 0 \cdot 0 \\ 0 \cdot 1 + 1 \cdot 0 \end{array} \right) = \left( \begin{array}{c} 1 \\ 0 \end{array} \right) = \lambda \vec{v}_1 \\ & A\vec{v}_2 = \left( \begin{array}{cc} 1 & 0 \\ 0 & 1 \end{array} \right) \left( \begin{array}{c} 0 \\ 1 \end{array} \right) = \left( \begin{array}{c} 1 \cdot 0 + 0 \cdot 1 \\ 0 \cdot 0 + 1 \cdot 1 \end{array} \right) = \left( \begin{array}{c} 0 \\ 1 \end{array} \right) = \lambda \vec{v}_2 \end{aligned}
ok.
+ Steg 4: Generell løsning
Generell løsning:
\vec{x}_k = c_1 \lambda_1^k \vec{v}_1 + c_2 \lambda_2^k \vec{v}_2 + \cdots + c_n \lambda_n^k \vec{v}_n
som her blir:
\begin{aligned} & \vec{x}_k = c_1 \cdot 1^k \cdot \left(\begin{array}{c} 1 \\ 0 \end{array} \right) + c_2 \cdot 1^k \cdot \left(\begin{array}{c} 0 \\ 1 \end{array} \right) \\ \Rightarrow \quad & \vec{x}_k = c_1 \left(\begin{array}{c} 1 \\ 0 \end{array} \right) + c_2 \left(\begin{array}{c} 0 \\ 1 \end{array} \right) \end{aligned}
+ Steg 5: Bestem konstantene
For å bestemme konstantene, trenger vi en kjent tilstand. Hvis han svarte ja på første spørsmål, har vi:
\vec{x}_0 = \left( \begin{array}{c} \textnormal{ja} \\ \textnormal{nei} \end{array} \right) = \left( \begin{array}{c} 1 \\ 0 \end{array} \right)
Nå kan vi bestemme konstantene $c_1$ og $c_2$:
\begin{aligned} & \vec{x}_0 = c_1 \left(\begin{array}{c} 1 \\ 0 \end{array} \right) + c_2 \left(\begin{array}{c} 0 \\ 1 \end{array} \right) \\ \Rightarrow \quad & \left( \begin{array}{c} 1 \\ 0 \end{array} \right) = c_1 \left(\begin{array}{c} 1 \\ 0 \end{array} \right) + c_2 \left(\begin{array}{c} 0 \\ 1 \end{array} \right) \\ \Rightarrow \quad & \left\{ \begin{array}{l} 1 = c_1 \\ 0 = c_2 \end{array} \right. \\ \Rightarrow \quad & \vec{x}_k = \left(\begin{array}{c} 1 \\ 0 \end{array} \right) \end{aligned}
dvs. at mannen svarer «Ja, kjære!» på alle senere spørsmål.
Hvis mannen svarte «nei» på første spørsmål, blir $c_1 = 0$ og $c_2 = 1$. Da svarer mannen nei på alle senere spørsmål.