SYSTEM AV DIFFERENTIALEKVATIONER 1.Undersökning av den kritiska punktens karaktär för plana, linjära, homogena, autonoma systemTill del 4, olinjärt exempel.
De rubricerade systemen är av typen X' = AX , där Dessa system har origo som enda kritisk punkt och används som modellexempel i Kap. 10 i kursboken, där olinjära system linjariseras lokalt och därmed återförs till system av denna typ. Vi skall undersöka följande specialfall :
x' = 2x + y y' = ax + by med begynnelsevillkoret x(0)=x0, y(0)=y0.
Genom att variera parametrarna a och b kan man få vart och ett av
de sex huvudfallen:
(Se stabilitetsanalysen i avsnitt. 10.2 med figuren 10.18 på sid. 455 i kursboken.)
I den följande sessionen används värdena a=-3 och b=-1, vilket ger tau = 1 (tau = trace(A) eller spåret för A) och det(A) = 1.
Placeras dessa värden in i det tau-det-plan som visas i figur 10.18 finner man att
detta system ger fallet instabil spiral för den kritiska punkten (0,0)
.
Som begynnelsepunkt används (x0,y0)=(0,-2).
Det följande är utformat som en Maplesession.
1. Vi börjar med restart-kommandot:
>
restart;
Följande paket behöver laddas ner:
>
with(plots):with(DEtools):
Här anges parametervärdena för a och b i systemet, samt
begynnelsevärdena för en sökt lösning, x0=x(0) och y0=y(0).
>
a:=-3;b:=-1;
Systemet skrivs formellt som en mängd ({}-parenteser ytterst) .
Derivatorna x' och y' anges med diff-operationen, där deriveringsvariabeln t måste synas.
>
sys1:={diff(x(t),t)= 2*x(t)+y(t),diff(y(t),t)=a*x(t)+b*y(t)} ;
2.
I nästa steg anges riktningsfältet, dvs det vektorfält som systemets högerled bildar.
Man använder kommandot DEplot och matar in bl.a. namnet på systemet (sys1) och intervallen i
>
dirfield:=DEplot(sys1,{x(t),y(t)},t=0..5 ,x=-20..30,y=-20..30,
3.
För att få grafen för lösningskurvan behöver vi ange begynnelsevärdena, dvs begynnelsepunkten,
>
IC1:=[[x(0)=x0,y(0)=y0]];
>
sol1:=DEplot(sys1,{x(t),y(t)},t=0..25,x=-20..30,y=-20..30,IC1,
>
display([dirfield,sol1]);
En lösningskurva bör vara en kurva som utgår från den punkt som anges av begynnelsevärdena,
Som synes avlägsnar sig kurvan utåt från startpunkten (0,-2). Ett annat sätt att konstatera att det är en instabil spiral är att lösa systemet analytiskt.
4.
Om man vill ha en explicit analytisk lösning användes dsolve-kommandot.
>
IC2:={x(0)=x0,y(0)=y0};
Att lösningskurvan här blev en instabil spiral visar sig bero på att lösningarna innehåller
Genomför själv liknande Maplesessioner, med nedanstående värden på parametrarna
Parametervärdena är valda så att man genomlöper samtliga sex olika typer
av beteende nära den kritiska punkten (0,0).
I del 3 kan man studera en sammanställning av utfallen i de sex fallen.
|
SYSTEM AV DIFFERENTIALEKVATIONER 3.SammanställningHär nedan finns ett tau-det-diagram (jfr fig 10.18, s. 455 i kursboken). Var och ett av de sex fallen i del 2 svara mot de sex punkterna i diagrammet nedan.
|