Autonomní systémy v rovině
Geometrické vlastnosti trajektorií, nelineární systémy
Petr Liška
Masarykova univerzita
20.02.2023
Petr Liška (Masarykova univerzita) Autonomní systémy v rovině 20.02.2023 1 / 8
Lineární autonomní systém
Uvažujme lineární autonomní systém, tj.
x′
= Ax, kde x =
x
y
, A =
a b
c d
. (1)
Věta
Nechť A je regulární matice systému (1) a nechť λ1, λ2 jsou vlastní
čísla matice A. Stacionární bod [0, 0] je
• nestabilní uzel, jsou-li λ1, λ2 ∈ R a λ1 ≥ λ2 > 0;
• stabilní uzel, jsou-li λ1, λ2 ∈ R a λ1 ≤ λ2 < 0;
• sedlo, jsou-li λ1, λ2 ∈ R a λ1 < 0 < λ2;
• nestabilní ohnisko, jsou-li λ1,2 = α ± βi a α > 0;
• stabilní ohnisko, jsou-li λ1,2 = α ± βi a α < 0;
• střed, jsou-li λ1,2 = ±βi.
Petr Liška (Masarykova univerzita) Autonomní systémy v rovině 20.02.2023 2 / 8
Malá odbočka - asymptotická stabilita
Definice
Řešení rovnice
x′
= f(x), (2)
se nazývá asymptoticky stabilní, když je stabilní a když ke každému
t1 ≥ t0 existuje δ = δ(t1) > 0 tak, že pro každé řešení x rovnice (2)
splňující nerovnost |x(t1) − x0(t1)| < δ platí
lim
t→∞
|x(t) − x0(t)| = 0.
Věta
Nulové řešení rovnice (1) je asymptoticky stabilní právě tehdy, když
každý kořen charakteristické rovnice matice A má zápornou reálnou
část.
Petr Liška (Masarykova univerzita) Autonomní systémy v rovině 20.02.2023 3 / 8
Nelineární systém
Petr Liška (Masarykova univerzita) Autonomní systémy v rovině 20.02.2023 4 / 8
Věta
Předpokládejme, že funkce f(x, y), g(x, y) jsou spojité a mají spojité parciální derivace
druhého řádu v okolí bodu [x0, y0] a že f(x0, y0) = g(x0, y0) = 0. Nechť
∂f(x0,y0)
∂x
∂f(x0,y0)
∂y
∂g(x0,y0)
∂x
∂g(x0,y0)
∂y
̸= 0 .
Pak je bod [x0, y0] izolovaným singulárním bodem systému
x′
= f(x, y)
y′
= g(x, y) .
(3)
Přitom je bod [x0, y0] stabilní/nestabilní uzel/ohnisko nebo sedlo pro systém (3), je-li počátek
singulárním bodem stejného typu pro systém
x′
=
∂f(x0, y0)
∂x
x +
∂f(x0, y0)
∂y
y
y′
=
∂g(x0, y0)
∂x
x +
∂g(x0, y0)
∂y
y .
(4)
Je-li však počátek střed pro systém (4), je bod [x0, y0] buď bod rotace nebo ohnisko pro
systém (3)
Petr Liška (Masarykova univerzita) Autonomní systémy v rovině 20.02.2023 5 / 8
Jak se k tomu došlo aneb metoda linearizace
f(x, y) ≈ f(a, b) + fx(a, b)(x − a) + fy(y − a)+
+
1
2
[fxx(a, b)(x−a)2
+2fxy(a, b)(x−a)(x−b)+fyy(a, b)(y −b)2
]+· · ·
f(x) = f(a) + ∆f(a)(x − a) +
1
2
(x − a)T
D2
f(a)(x − a) + · · ·
1
2
(x − a)T
D2
f(a)(x − a) ≤ C ||x − a||2
f(x) = f(x⋆
) + Df(x⋆
)(x − x⋆
) + · · · ,
[Df(x⋆
)]ij =
∂fi
∂xj x=x⋆
Petr Liška (Masarykova univerzita) Autonomní systémy v rovině 20.02.2023 6 / 8
Jak se k tomu došlo aneb metoda linearizace
f(x) ≈ f(x⋆
) + Df(x⋆
)(x − x⋆
)
Uvažujme
x′
= f(x), (5)
kde f(x) je hladká a nechť x⋆ je stac. bod, tj. f(x⋆) = 0, pak
x′
= f(x) = f(x⋆
) + Df(x⋆
)(x − x⋆
) + · · ·
a
x′
≈ Df(x⋆
)(x − x⋆
)
d
dt
(x − x⋆
) ≈ Df(x⋆
)(x − x⋆
)
y′
= Jy (6)
Petr Liška (Masarykova univerzita) Autonomní systémy v rovině 20.02.2023 7 / 8
Uvažujme systémy
x′
=ax + by + P(x, y)
y′
=cx + dy + Q(x, y)
(7)
x′
=ax + by
y′
=cx + dy
(8)
Věta (Grobman-Hartman)
Nemá-li matice systému (8) čistě imaginární vlastní čísla a P a Q mají
spojité parciální derivace, pak existuje bijektivní zobrazení mezi trajektoriemi
rovnice (7) a trajektoriemi rovnice (8) z okolí stacionárního
bodu (7) do okolí bodu (0, 0).
Hartman, P; A lemma in the theory of structural stability of differential
equations. Proc. A.M.S. 11 (4), 1960. 610–620.
Petr Liška (Masarykova univerzita) Autonomní systémy v rovině 20.02.2023 8 / 8