Differentialekvationer II R¨akne¨ovning 5 Modellsvar 23.4.2018 (kl 12-14 B222) 1. Visa att matrisen
X(t) =
1 e2t
−1 e2t
∈ R2×2
¨ar inverterbar f¨or varje t ∈ R, och best¨am den inversa matrisen X(t)−1. L¨osning. L˚at t ∈ R. Enligt Linj¨ar Algebra ¨ar X(t) inverterbar i R2×2eftersom
det(X(t)) =
1 e2t
−1 e2t
= 2e2t > 0.
L˚at Y = X(t)−1 =a11 a12 a21 a22
. Villkoret
Y · X(t) =a11 a12 a21 a22
· 1 e2t
−1 e2t
=1 0 0 1
ger det linj¨ara ekvationssystemet
a11− a12= 1 e2t(a11+ a12) = 0 a21− a22= 0 e2t(a21+ a22) = 1.
Den 2. ekvationen ger a12 = −a11 varefter 1. ekvationen ger a11 = 1/2, s˚a att a12 = −1/2. Likas˚a, den 3. ekvationen ger a22= a21, s˚a att den 4. ekvationen ger a22= (1/2)e−2t= a21. Allts˚a
Y = X(t)−1 = 1 2
1 −1
e−2t e−2t
= 1
2e−2te2t −e2t
1 1
.
I uppgifterna 5:2 och 5:3 har matriserna samma karakteristiska polynom (en trippelrot) och samma egenvektorer, men l¨osningarna ¨ar inte identiska.
2. Anv¨and matrismetoden till att l¨osa det linj¨ara DE-systemet
x0(t) =
1 1 0 0 1 1 0 0 1
x(t).
L¨osning. L˚at A =
1 1 0 0 1 1 0 0 1
. Det karakteristiska polynomet ¨ar
p(λ) =
1 − λ 1 0
0 1 − λ 1
0 0 1 − λ
= (1 − λ)
1 − λ 1 0 1 − λ
= (1 − λ)3 = 0,
som har trippelroten λ = 1. Vi best¨ammer motsvarande egenvektorer.
L˚at u = (u1, u2, u3)T 6= 0 satisfiera
(A − I3)u =
0 1 0 0 0 1 0 0 0
u1 u2 u3
=
u2 u3 0
=
0 0 0
.
Detta ger u2 = u3 = 0 och vi v¨aljer u1 = 1, dvs. egenvektorn u = (1, 0, 0)T. Motsvarande l¨osningsfunktion ¨ar t 7→ x1(t) = etu.
Eftersom detta ger endast en linj¨art oberoende egenvektor f¨or λ = 1 s˚a b¨or vi s¨oka v = (v1, v2, v3)T 6= 0 f¨or vilken
(A − I3)2v = 0, samt (A − I3)v 6= 0.
H¨ar ¨ar
(A − I3)2 =
0 1 0 0 0 1 0 0 0
·
0 1 0 0 0 1 0 0 0
=
0 0 1 0 0 0 0 0 0
, (A − I3)v =
v2 v3 0
. Villkoren ovan ger att v3 = 0 samt att v2 6= 0. Vi kan v¨alja (exempelvis) v = (0, 1, 0)T, samt enligt teorin som motsvarande l¨osningsfunktion
t 7→ x2(t) = et v + t(A − I3)v = et
t 1 0
.
F¨or en tredje linj¨art oberoende (generaliserad) egenvektor z = (z1, z2, z3)T 6=
0 f¨or λ = 1 betraktar vi villkoren
(A − I3)3z = 0, samt (A − I3)2z 6= 0.
Eftersom (A−I3)3 = 0 (noll-matrisen) och (A−I3)2z =
z3
0 0
, s˚a kan vi v¨alja (exempelvis) z = (0, 0, 1)T. Motsvarande l¨osningsfunktion ¨ar enligt teorin
t 7→ x3(t) = et z + t(A − I3)z + t2
2(A − I3)2z = et
t2 2
t 1
. 3. Anv¨and matrismetoden till att l¨osa det linj¨ara DE-systemet
x0(t) =
1 1 1 0 1 1 0 0 1
x(t).
L¨osning. L¨osningen ¨ar n¨astan identisk med l¨osningen till uppgift 5:2, s˚a vi anger endast skillnaderna. L˚at B =
1 1 1 0 1 1 0 0 1
, f¨or vilken det karakteristiska polynomet ¨ar (determinanten utvecklad enligt 1. kolumnen)
p(λ) =
1 − λ 1 1
0 1 − λ 1
0 0 1 − λ
= (1 − λ)
1 − λ 1 0 1 − λ
= (1 − λ)3.
Vi har igen trippelroten λ = 1. Betrakta u = (u1, u2, u3)T 6= 0 med (B − I3)u =
0 1 1 0 0 1 0 0 0
u1 u2 u3
=
u2 + u3 u3
0
=
0 0 0
.
Detta ger u2+u3 = u3 = 0, s˚a u2 = 0 och vi v¨aljer u1 = 1. Vi har egenvektorn u = (1, 0, 0)T och l¨osningsfunktionen t 7→ x1(t) = etu.
Betrakta d¨arefter v = (v1, v2, v3)T 6= 0 f¨or vilken (B − I3)2v = 0, samt (B − I3)v 6= 0, d¨ar (B − I3)2 =
0 0 1 0 0 0 0 0 0
. Villkoren ovan ger att v3 = 0 samt att v2 6= 0.
Vi kan v¨alja (exempelvis) v = (0, 1, 0)T, och f˚ar l¨osningsfunktionen t 7→ x2(t) = et v + t(B − I3)v = et
t 1 0
.
F¨or den tredje linj¨art oberoende generaliserade egenvektorn z = (z1, z2, z3)T 6=
0 f¨or λ = 1 betrakta igen
(B − I3)3z = 0, samt (B − I3)2z 6= 0.
H¨ar (B − I3)3 = 0 (noll-matrisen), och v¨alj (exempelvis) z = (0, 0, 1)T samt l¨osningsfunktionen
t 7→ x3(t) = et z + t(B − I3)z + t2
2(B − I3)2z = et
t + t22
t 1
. Notera: enda skillnaden till l¨osningen i uppgift 5:2 kommer av termen
(B − I3)z =
0 1 1 0 0 1 0 0 0
0 0 1
=
1 1 0
.
4. L¨os DE-systemet
x01(t) = x1(t) + x2(t) x02(t) = x1(t) + x2(t).
L¨osning. Karakteristiska polynomet till A =1 1 1 1
¨ ar
p(λ) =
1 − λ 1 1 1 − λ
= (1 − λ)2− 1 = 0, vilket ger egenv¨ardena λ = 0 och λ = 2.
F¨or λ = 0 ger villkoret
1 1 1 1
u1 u2
=u1+ u2 u1+ u2
=0 0
att vi kan v¨alja u = (1, −1)t som egenvektor. F¨or λ = 2 erh˚alls villkoret
−1 1
1 −1
v1 v2
=−v1+ v2 v1− v2
=0 0
,
samt v = (1, 1)t som motsvarande egenvektor. Enligt teorin ¨ar alla l¨osningar t 7→ x(t) = C1u + C2e2tv,
d¨ar C1, C2 ∈ R godtyckliga konstanter.
5. L¨os det icke-homogena linj¨ara DE-systemet x01(t) = x1(t) + x2(t) + e−t x02(t) = x1(t) + x2(t) + et
med formeln f¨or variation av konstanterna (se kompendiet, kapitel 5.5) P˚a- minnelse: motsvarande homogena DE-system l¨oses i uppgift 5:4 och inversen X(t)−1 till en fundamentalmatris X(t) ber¨aknas i uppgift 5:1.
L¨osning. Enligt uppgift 5:4 ¨ar
X(t) = 1 e2t
−1 e2t
en fundamentalmatris av l¨osningar till motsvarande homogena DE-system x01(t) = x1(t) + x2(t)
x02(t) = x1(t) + x2(t).
Enligt metoden med variation av konstanterna (se Kompendiet, sidorna 79- 80; speciellt (5.36)) har det icke-homogena DE-systemet en l¨osning
t 7→ x0(t) = X(t) Z t
X(s)−1b(s)ds,
d¨ar b(s) = e−s es
f¨or s ∈ R. Den inversa matrisen X(s)−1 ber¨aknades i uppgift 5:1, varifr˚an
X(s)−1b(s) = 1 2
1 −1
e−2s e−2s
e−s es
= 1 2
e−s− es e−3s+ e−s
.
Integralfunktionen ovan ber¨aknas koordinatvis: 1. koordinaten ger (1/2)
Z t
(e−s− es)ds = (1/2)(−e−t− et),
medan 2. koordinaten ger (1/2)
Z t
(e−3s+ e−s)ds = (1/2) − (1/3)e−3t− et.
Vi multiplicerar till sist med X(t) och erh˚aller (kort utr¨akning) att x0(t) = X(t)
Z t
X(s)−1b(s)ds = 1 2
1 e2t
−1 e2t
−e−t− et
−(1/3)e−3t− et
= 1 2
−43e−t− 2et
2 3e−t
= 1 6
−4e−t− 6et 2e−t
.
Enligt teorin ¨ar alla l¨osningar till det ursprungliga DE-systemet allts˚a x(t) = C1 1
−1
+ C2e2t1 1
+ 1
6
−4e−t − 6et 2e−t
, d¨ar C1, C2 ∈ R godtyckliga konstanter.
Kommentar: detta icke-homogena DE-system kan (l¨attare) l¨osas genom f¨ors¨oket x0(t) = eta + e−tb, d¨ar a, b ∈ R2 ¨ar ok¨anda vektorer (dvs. 4 ok¨anda koordinater).
6. S¨ok alla l¨osningar y = y(x) till den linj¨ara homogena differentialekvationen y(4)− 2y00+ y = 0
genom att reducera differentialekvationen till ett 4 × 4 linj¨art DE-system, samt d¨arefter l¨osa systemet med matrismetoden.
L¨osning. Reducera DEn till ett DE-system genom substitutionerna z1(x) = y(x), z2(x) = y0(x), z3(x) = y00(x), z4(x) = y(3)(x), varmed allts˚a z10 = z2, z20 = z3, z30 = z4, samt z40 = y(4) = 2y00− y = −z1 + 2z3. Vi erh˚aller allts˚a DE-systemet i matrisformen
z0(x) = Az(x), d¨ar z(x) = (z1(x), z2(x), z3(x), z4(x))T och
A =
0 1 0 0 0 0 1 0 0 0 0 1
−1 0 2 0
∈ R4×4.
Egenv¨arden? Karakteristiska polynomet ¨ar (som utvecklad enligt 1. raden)
p(λ) =
−λ 1 0 0
0 −λ 1 0
0 0 −λ 1
−1 0 2 −λ
= −λ
−λ 1 0
0 −λ 1
0 2 −λ
−
0 1 0
0 −λ 1
−1 2 −λ
= λ2(λ2− 2) + 1 = λ4− 2λ2+ 1 = 0,
dvs. (λ − 1)2(λ + 1)2 = 0. Allts˚a λ = 1 och λ = −1 ¨ar b˚ada dubbelr¨otter.
Egenvektorer? Fallet λ = 1. F¨or u = (u1, u2, u3, u4)T ger
(A − I4)u =
−1 1 0 0
0 −1 1 0
0 0 −1 1
−1 0 2 −1
u1 u2 u3 u4
=
−u1+ u2
−u2+ u3
−u3+ u4
−u1+ 2u3− u4
=
0 0 0 0
villkoret u1 = u2 = u3 = u4 s˚a vi kan v¨alja u = (1, 1, 1, 1)T. Vi s¨oker d¨arefter en generaliserad egenvektor v = (v1, v2, v3, v4)T, inte parallell med u, s˚a att
(A − I4)2v = 0.
En liten utr¨akning ger villkoret
1 −2 1 0
0 1 −2 1
−1 0 3 −2
2 −1 −4 3
v1 v2 v3 v4
=
v1− 2v2 + v3 v2− 2v3 + v4
−v1+ 3v3− 2u4 2v1− v2− 4v3+ 3v4
=
0 0 0 0
.
Gaussisk eliminering samt valet v1 = 0 ger v3 = 2v2 och v4 = 3v2. Vi v¨aljer v = (0, 1, 2, 3)T.
Fallet λ = −1. Som ovan:
(A + I4)w =
1 1 0 0 0 1 1 0 0 0 1 1
−1 0 2 1
w1 w2
w3 w4
=
w1+ w2 w2+ w3
w3+ w4
−w1+ 2w3+ w4
=
0 0 0 0
ger villkoret w2 = −w1, w3 = w1, w4 = −w1, s˚a v¨aljer w = (1, −1, 1, −1)T. F¨or en generaliserad egenvektor t = (t1, t2, t3, t4)T, inte parallell med w, d¨ar
(A + I4)2t = 0 erh˚alls villkoret
1 2 1 0
0 1 2 1
−1 0 3 2 2 −1 4 3
t1
t2 t3 t4
=
t1+ 2t2+ t3
t2+ 2t3+ t4
−t1+ 3t3+ 2t4 2t1− t2+ 4t3+ 3t4
=
0 0 0 0
.
Gaussisk eliminering samt valet t1 = 0 ger t3 = −2t2 och t4 = 3t2. Vi v¨aljer t = (0, 1, −2, 3)T.
Konklusion: alla l¨osningar till det reducerade DE-systemet ¨ar
z(x) = C1exu + C2ex(u + x(A − I4)v) + C3e−xw + C4e−x(t + x(A + I4)t).
L¨osningen y(x) = z1(x) erh˚alls fr˚an den 1. koordinaten ovan (f¨or detta be- r¨akna ¨annu vektorerna (A − I4)v samt (A + I4)t i R4).
Kommentar: den ursprungliga linj¨ara DEn har standardsubstitutionen y(x) = erx, som ger samma karakteristiska ekvation r4− 2r2+ 1 = 0. Mots- varande l¨osningar ¨ar betydligt l¨attare att skriva ut (men denna teori har inte behandlats p˚a kurserna).