![Page 1: Matematika IV - Univerzita Karlova · 2017. 3. 5. · Matematika IV Frisch a Samuelson: Systém je dynamický, jestliže jeho chování v case jeˇ urceno funkcionální rovnicí,](https://reader035.vdocuments.net/reader035/viewer/2022062318/6118abe19b3c31793b34eaa3/html5/thumbnails/1.jpg)
Matematika IV
Diferencní rovniceDiferenciální rovnice
Matematika IV Program
![Page 2: Matematika IV - Univerzita Karlova · 2017. 3. 5. · Matematika IV Frisch a Samuelson: Systém je dynamický, jestliže jeho chování v case jeˇ urceno funkcionální rovnicí,](https://reader035.vdocuments.net/reader035/viewer/2022062318/6118abe19b3c31793b34eaa3/html5/thumbnails/2.jpg)
Matematika IV
Diferencní rovnice
Diferenciální rovnice
Matematika IV Program
![Page 3: Matematika IV - Univerzita Karlova · 2017. 3. 5. · Matematika IV Frisch a Samuelson: Systém je dynamický, jestliže jeho chování v case jeˇ urceno funkcionální rovnicí,](https://reader035.vdocuments.net/reader035/viewer/2022062318/6118abe19b3c31793b34eaa3/html5/thumbnails/3.jpg)
Matematika IV
Diferencní rovniceDiferenciální rovnice
Matematika IV Program
![Page 4: Matematika IV - Univerzita Karlova · 2017. 3. 5. · Matematika IV Frisch a Samuelson: Systém je dynamický, jestliže jeho chování v case jeˇ urceno funkcionální rovnicí,](https://reader035.vdocuments.net/reader035/viewer/2022062318/6118abe19b3c31793b34eaa3/html5/thumbnails/4.jpg)
Matematika IV
Frisch a Samuelson:Systém je dynamický, jestliže jeho chování v case jeurceno funkcionální rovnicí, jejíž neznámé závisípodstatným zpusobem na case.
Matematika IV Program
![Page 5: Matematika IV - Univerzita Karlova · 2017. 3. 5. · Matematika IV Frisch a Samuelson: Systém je dynamický, jestliže jeho chování v case jeˇ urceno funkcionální rovnicí,](https://reader035.vdocuments.net/reader035/viewer/2022062318/6118abe19b3c31793b34eaa3/html5/thumbnails/5.jpg)
XII. Diferencní rovnice
XII. Diferencní rovnice
Leonardo Fibonacci (asi 1175–1250)
Matematika IV XII. Diferencní rovnice
![Page 6: Matematika IV - Univerzita Karlova · 2017. 3. 5. · Matematika IV Frisch a Samuelson: Systém je dynamický, jestliže jeho chování v case jeˇ urceno funkcionální rovnicí,](https://reader035.vdocuments.net/reader035/viewer/2022062318/6118abe19b3c31793b34eaa3/html5/thumbnails/6.jpg)
XII. Diferencní rovnice
Leonardo Fibonacci (asi 1175–1250)
Matematika IV XII. Diferencní rovnice
![Page 7: Matematika IV - Univerzita Karlova · 2017. 3. 5. · Matematika IV Frisch a Samuelson: Systém je dynamický, jestliže jeho chování v case jeˇ urceno funkcionální rovnicí,](https://reader035.vdocuments.net/reader035/viewer/2022062318/6118abe19b3c31793b34eaa3/html5/thumbnails/7.jpg)
XII. Diferencní rovnice
DefiniceNecht’ k ∈ N, p1, . . . ,pk ∈ R, pk 6= 0, a necht’ dále {an}∞n=1je posloupnost reálných císel. Lineární diferencní rovnicík -tého rádu s konstantními koeficienty budeme rozumetrovnici
y(n+k)+p1y(n+k−1)+ · · ·+pky(n) = an, n ∈ N, (1)
kde neznámou je posloupnost {y(n)}∞n=1.
Rešením rovnice (1) rozumíme každou posloupnost{y(n)}∞n=1 splnující (1) pro každé n ∈ N. Pokud chceme,aby rešení rovnice (1) splnovalo podmínky
y(1) = y1, . . . , y(k) = yk , (2)
kde císla y1, . . . , yk ∈ R jsou predem dána (tzv. pocátecnípodmínky), pak hovoríme o pocátecní úloze.
Matematika IV XII. Diferencní rovnice
![Page 8: Matematika IV - Univerzita Karlova · 2017. 3. 5. · Matematika IV Frisch a Samuelson: Systém je dynamický, jestliže jeho chování v case jeˇ urceno funkcionální rovnicí,](https://reader035.vdocuments.net/reader035/viewer/2022062318/6118abe19b3c31793b34eaa3/html5/thumbnails/8.jpg)
XII. Diferencní rovnice
DefiniceNecht’ k ∈ N, p1, . . . ,pk ∈ R, pk 6= 0, a necht’ dále {an}∞n=1je posloupnost reálných císel. Lineární diferencní rovnicík -tého rádu s konstantními koeficienty budeme rozumetrovnici
y(n+k)+p1y(n+k−1)+ · · ·+pky(n) = an, n ∈ N, (1)
kde neznámou je posloupnost {y(n)}∞n=1.Rešením rovnice (1) rozumíme každou posloupnost{y(n)}∞n=1 splnující (1) pro každé n ∈ N.
Pokud chceme,aby rešení rovnice (1) splnovalo podmínky
y(1) = y1, . . . , y(k) = yk , (2)
kde císla y1, . . . , yk ∈ R jsou predem dána (tzv. pocátecnípodmínky), pak hovoríme o pocátecní úloze.
Matematika IV XII. Diferencní rovnice
![Page 9: Matematika IV - Univerzita Karlova · 2017. 3. 5. · Matematika IV Frisch a Samuelson: Systém je dynamický, jestliže jeho chování v case jeˇ urceno funkcionální rovnicí,](https://reader035.vdocuments.net/reader035/viewer/2022062318/6118abe19b3c31793b34eaa3/html5/thumbnails/9.jpg)
XII. Diferencní rovnice
DefiniceNecht’ k ∈ N, p1, . . . ,pk ∈ R, pk 6= 0, a necht’ dále {an}∞n=1je posloupnost reálných císel. Lineární diferencní rovnicík -tého rádu s konstantními koeficienty budeme rozumetrovnici
y(n+k)+p1y(n+k−1)+ · · ·+pky(n) = an, n ∈ N, (1)
kde neznámou je posloupnost {y(n)}∞n=1.Rešením rovnice (1) rozumíme každou posloupnost{y(n)}∞n=1 splnující (1) pro každé n ∈ N. Pokud chceme,aby rešení rovnice (1) splnovalo podmínky
y(1) = y1, . . . , y(k) = yk , (2)
kde císla y1, . . . , yk ∈ R jsou predem dána (tzv. pocátecnípodmínky), pak hovoríme o pocátecní úloze.
Matematika IV XII. Diferencní rovnice
![Page 10: Matematika IV - Univerzita Karlova · 2017. 3. 5. · Matematika IV Frisch a Samuelson: Systém je dynamický, jestliže jeho chování v case jeˇ urceno funkcionální rovnicí,](https://reader035.vdocuments.net/reader035/viewer/2022062318/6118abe19b3c31793b34eaa3/html5/thumbnails/10.jpg)
XII. Diferencní rovnice
Pokud an = 0 pro každé n ∈ N, pak rovnice (1) má tvar
y(n+ k)+ p1y(n+ k − 1)+ · · ·+ pky(n) = 0, n ∈ N. (3)
Tato rovnice se nazývá homogenní.
Matematika IV XII. Diferencní rovnice
![Page 11: Matematika IV - Univerzita Karlova · 2017. 3. 5. · Matematika IV Frisch a Samuelson: Systém je dynamický, jestliže jeho chování v case jeˇ urceno funkcionální rovnicí,](https://reader035.vdocuments.net/reader035/viewer/2022062318/6118abe19b3c31793b34eaa3/html5/thumbnails/11.jpg)
XII. Diferencní rovnice
Veta 1Pocátecní úloha (1), (2) má práve jedno rešení.
Veta 2Množina rešení rovnice (3) tvorí vektorový podprostordimenze k prostoru všech reálných posloupností.
PoznámkaBázi prostoru rešení rovnice (3) se ríká též fundamentálnísystém rešení rovnice (3).
DefiniceCharakteristickým polynomem rovnice (3) budemerozumet polynom
λ 7→ λk + p1λk−1 + · · ·+ pk−1λ+ pk .
Matematika IV XII. Diferencní rovnice
![Page 12: Matematika IV - Univerzita Karlova · 2017. 3. 5. · Matematika IV Frisch a Samuelson: Systém je dynamický, jestliže jeho chování v case jeˇ urceno funkcionální rovnicí,](https://reader035.vdocuments.net/reader035/viewer/2022062318/6118abe19b3c31793b34eaa3/html5/thumbnails/12.jpg)
XII. Diferencní rovnice
Veta 1Pocátecní úloha (1), (2) má práve jedno rešení.
Veta 2Množina rešení rovnice (3) tvorí vektorový podprostordimenze k prostoru všech reálných posloupností.
PoznámkaBázi prostoru rešení rovnice (3) se ríká též fundamentálnísystém rešení rovnice (3).
DefiniceCharakteristickým polynomem rovnice (3) budemerozumet polynom
λ 7→ λk + p1λk−1 + · · ·+ pk−1λ+ pk .
Matematika IV XII. Diferencní rovnice
![Page 13: Matematika IV - Univerzita Karlova · 2017. 3. 5. · Matematika IV Frisch a Samuelson: Systém je dynamický, jestliže jeho chování v case jeˇ urceno funkcionální rovnicí,](https://reader035.vdocuments.net/reader035/viewer/2022062318/6118abe19b3c31793b34eaa3/html5/thumbnails/13.jpg)
XII. Diferencní rovnice
Veta 1Pocátecní úloha (1), (2) má práve jedno rešení.
Veta 2Množina rešení rovnice (3) tvorí vektorový podprostordimenze k prostoru všech reálných posloupností.
PoznámkaBázi prostoru rešení rovnice (3) se ríká též fundamentálnísystém rešení rovnice (3).
DefiniceCharakteristickým polynomem rovnice (3) budemerozumet polynom
λ 7→ λk + p1λk−1 + · · ·+ pk−1λ+ pk .
Matematika IV XII. Diferencní rovnice
![Page 14: Matematika IV - Univerzita Karlova · 2017. 3. 5. · Matematika IV Frisch a Samuelson: Systém je dynamický, jestliže jeho chování v case jeˇ urceno funkcionální rovnicí,](https://reader035.vdocuments.net/reader035/viewer/2022062318/6118abe19b3c31793b34eaa3/html5/thumbnails/14.jpg)
XII. Diferencní rovnice
Veta 1Pocátecní úloha (1), (2) má práve jedno rešení.
Veta 2Množina rešení rovnice (3) tvorí vektorový podprostordimenze k prostoru všech reálných posloupností.
PoznámkaBázi prostoru rešení rovnice (3) se ríká též fundamentálnísystém rešení rovnice (3).
DefiniceCharakteristickým polynomem rovnice (3) budemerozumet polynom
λ 7→ λk + p1λk−1 + · · ·+ pk−1λ+ pk .
Matematika IV XII. Diferencní rovnice
![Page 15: Matematika IV - Univerzita Karlova · 2017. 3. 5. · Matematika IV Frisch a Samuelson: Systém je dynamický, jestliže jeho chování v case jeˇ urceno funkcionální rovnicí,](https://reader035.vdocuments.net/reader035/viewer/2022062318/6118abe19b3c31793b34eaa3/html5/thumbnails/15.jpg)
XII. Diferencní rovnice
Veta 3Necht’ λ1, . . . , λs jsou všechny navzájem ruzné reálnékoreny charakteristického polynomu rovnice (3) snásobnostmi r1, . . . , rs. Necht’ ξ1, . . . , ξl jsou všechnynavzájem ruzné koreny charakteristického polynomurovnice (3) s kladnou imaginární cástí a násobnostmiq1, . . . ,ql , pricemž ξj = µj(cos νj + i sin νj), µj > 0,νj ∈ 〈0,2π), j = 1, . . . , l . Pak následující posloupnosti tvoríbázi prostoru rešení rovnice (3):
Matematika IV XII. Diferencní rovnice
![Page 16: Matematika IV - Univerzita Karlova · 2017. 3. 5. · Matematika IV Frisch a Samuelson: Systém je dynamický, jestliže jeho chování v case jeˇ urceno funkcionální rovnicí,](https://reader035.vdocuments.net/reader035/viewer/2022062318/6118abe19b3c31793b34eaa3/html5/thumbnails/16.jpg)
XII. Diferencní rovnice
Veta 3Necht’ λ1, . . . , λs jsou všechny navzájem ruzné reálnékoreny charakteristického polynomu rovnice (3) snásobnostmi r1, . . . , rs. Necht’ ξ1, . . . , ξl jsou všechnynavzájem ruzné koreny charakteristického polynomurovnice (3) s kladnou imaginární cástí a násobnostmiq1, . . . ,ql , pricemž ξj = µj(cos νj + i sin νj), µj > 0,νj ∈ 〈0,2π), j = 1, . . . , l . Pak následující posloupnosti tvoríbázi prostoru rešení rovnice (3):
Matematika IV XII. Diferencní rovnice
![Page 17: Matematika IV - Univerzita Karlova · 2017. 3. 5. · Matematika IV Frisch a Samuelson: Systém je dynamický, jestliže jeho chování v case jeˇ urceno funkcionální rovnicí,](https://reader035.vdocuments.net/reader035/viewer/2022062318/6118abe19b3c31793b34eaa3/html5/thumbnails/17.jpg)
XII. Diferencní rovnice
Veta 3Necht’ λ1, . . . , λs jsou všechny navzájem ruzné reálnékoreny charakteristického polynomu rovnice (3) snásobnostmi r1, . . . , rs. Necht’ ξ1, . . . , ξl jsou všechnynavzájem ruzné koreny charakteristického polynomurovnice (3) s kladnou imaginární cástí a násobnostmiq1, . . . ,ql , pricemž ξj = µj(cos νj + i sin νj), µj > 0,νj ∈ 〈0,2π), j = 1, . . . , l . Pak následující posloupnosti tvoríbázi prostoru rešení rovnice (3):
Matematika IV XII. Diferencní rovnice
![Page 18: Matematika IV - Univerzita Karlova · 2017. 3. 5. · Matematika IV Frisch a Samuelson: Systém je dynamický, jestliže jeho chování v case jeˇ urceno funkcionální rovnicí,](https://reader035.vdocuments.net/reader035/viewer/2022062318/6118abe19b3c31793b34eaa3/html5/thumbnails/18.jpg)
XII. Diferencní rovnice
{λn1}, {nλn
1}, . . . {nr1−1λn1},
...{λn
s}, {nλns}, . . . {nrs−1λn
s},{µn
1 cos ν1n}, {nµn1 cos ν1n}, . . . {nq1−1µn
1 cos ν1n},{µn
1 sin ν1n}, {nµn1 sin ν1n}, . . . {nq1−1µn
1 sin ν1n},...
{µnl cos νln}, {nµn
l cos νln}, . . . {nql−1µnl cos νln},
{µnl sin νln}, {nµn
l sin νln}, . . . {nql−1µnl sin νln}
Matematika IV XII. Diferencní rovnice
![Page 19: Matematika IV - Univerzita Karlova · 2017. 3. 5. · Matematika IV Frisch a Samuelson: Systém je dynamický, jestliže jeho chování v case jeˇ urceno funkcionální rovnicí,](https://reader035.vdocuments.net/reader035/viewer/2022062318/6118abe19b3c31793b34eaa3/html5/thumbnails/19.jpg)
XII. Diferencní rovnice
{λn1}, {nλn
1}, . . . {nr1−1λn1},
...{λn
s}, {nλns}, . . . {nrs−1λn
s},{µn
1 cos ν1n}, {nµn1 cos ν1n}, . . . {nq1−1µn
1 cos ν1n},{µn
1 sin ν1n}, {nµn1 sin ν1n}, . . . {nq1−1µn
1 sin ν1n},...
{µnl cos νln}, {nµn
l cos νln}, . . . {nql−1µnl cos νln},
{µnl sin νln}, {nµn
l sin νln}, . . . {nql−1µnl sin νln}
Matematika IV XII. Diferencní rovnice
![Page 20: Matematika IV - Univerzita Karlova · 2017. 3. 5. · Matematika IV Frisch a Samuelson: Systém je dynamický, jestliže jeho chování v case jeˇ urceno funkcionální rovnicí,](https://reader035.vdocuments.net/reader035/viewer/2022062318/6118abe19b3c31793b34eaa3/html5/thumbnails/20.jpg)
XII. Diferencní rovnice
{λn1}, {nλn
1}, . . . {nr1−1λn1},
...{λn
s}, {nλns}, . . . {nrs−1λn
s},{µn
1 cos ν1n}, {nµn1 cos ν1n}, . . . {nq1−1µn
1 cos ν1n},{µn
1 sin ν1n}, {nµn1 sin ν1n}, . . . {nq1−1µn
1 sin ν1n},...
{µnl cos νln}, {nµn
l cos νln}, . . . {nql−1µnl cos νln},
{µnl sin νln}, {nµn
l sin νln}, . . . {nql−1µnl sin νln}
Matematika IV XII. Diferencní rovnice
![Page 21: Matematika IV - Univerzita Karlova · 2017. 3. 5. · Matematika IV Frisch a Samuelson: Systém je dynamický, jestliže jeho chování v case jeˇ urceno funkcionální rovnicí,](https://reader035.vdocuments.net/reader035/viewer/2022062318/6118abe19b3c31793b34eaa3/html5/thumbnails/21.jpg)
XII. Diferencní rovnice
{λn1}, {nλn
1}, . . . {nr1−1λn1},
...{λn
s}, {nλns}, . . . {nrs−1λn
s},{µn
1 cos ν1n}, {nµn1 cos ν1n}, . . . {nq1−1µn
1 cos ν1n},{µn
1 sin ν1n}, {nµn1 sin ν1n}, . . . {nq1−1µn
1 sin ν1n},...
{µnl cos νln}, {nµn
l cos νln}, . . . {nql−1µnl cos νln},
{µnl sin νln}, {nµn
l sin νln}, . . . {nql−1µnl sin νln}
Matematika IV XII. Diferencní rovnice
![Page 22: Matematika IV - Univerzita Karlova · 2017. 3. 5. · Matematika IV Frisch a Samuelson: Systém je dynamický, jestliže jeho chování v case jeˇ urceno funkcionální rovnicí,](https://reader035.vdocuments.net/reader035/viewer/2022062318/6118abe19b3c31793b34eaa3/html5/thumbnails/22.jpg)
XII. Diferencní rovnice
{λn1}, {nλn
1}, . . . {nr1−1λn1},
...{λn
s}, {nλns}, . . . {nrs−1λn
s},{µn
1 cos ν1n}, {nµn1 cos ν1n}, . . . {nq1−1µn
1 cos ν1n},{µn
1 sin ν1n}, {nµn1 sin ν1n}, . . . {nq1−1µn
1 sin ν1n},...
{µnl cos νln}, {nµn
l cos νln}, . . . {nql−1µnl cos νln},
{µnl sin νln}, {nµn
l sin νln}, . . . {nql−1µnl sin νln}
Matematika IV XII. Diferencní rovnice
![Page 23: Matematika IV - Univerzita Karlova · 2017. 3. 5. · Matematika IV Frisch a Samuelson: Systém je dynamický, jestliže jeho chování v case jeˇ urceno funkcionální rovnicí,](https://reader035.vdocuments.net/reader035/viewer/2022062318/6118abe19b3c31793b34eaa3/html5/thumbnails/23.jpg)
XII. Diferencní rovnice
{λn1}, {nλn
1}, . . . {nr1−1λn1},
...{λn
s}, {nλns}, . . . {nrs−1λn
s},{µn
1 cos ν1n}, {nµn1 cos ν1n}, . . . {nq1−1µn
1 cos ν1n},{µn
1 sin ν1n}, {nµn1 sin ν1n}, . . . {nq1−1µn
1 sin ν1n},...
{µnl cos νln}, {nµn
l cos νln}, . . . {nql−1µnl cos νln},
{µnl sin νln}, {nµn
l sin νln}, . . . {nql−1µnl sin νln}
Matematika IV XII. Diferencní rovnice
![Page 24: Matematika IV - Univerzita Karlova · 2017. 3. 5. · Matematika IV Frisch a Samuelson: Systém je dynamický, jestliže jeho chování v case jeˇ urceno funkcionální rovnicí,](https://reader035.vdocuments.net/reader035/viewer/2022062318/6118abe19b3c31793b34eaa3/html5/thumbnails/24.jpg)
XII. Diferencní rovnice
{λn1}, {nλn
1}, . . . {nr1−1λn1},
...{λn
s}, {nλns}, . . . {nrs−1λn
s},{µn
1 cos ν1n}, {nµn1 cos ν1n}, . . . {nq1−1µn
1 cos ν1n},{µn
1 sin ν1n}, {nµn1 sin ν1n}, . . . {nq1−1µn
1 sin ν1n},...
{µnl cos νln}, {nµn
l cos νln}, . . . {nql−1µnl cos νln},
{µnl sin νln}, {nµn
l sin νln}, . . . {nql−1µnl sin νln}
Matematika IV XII. Diferencní rovnice
![Page 25: Matematika IV - Univerzita Karlova · 2017. 3. 5. · Matematika IV Frisch a Samuelson: Systém je dynamický, jestliže jeho chování v case jeˇ urceno funkcionální rovnicí,](https://reader035.vdocuments.net/reader035/viewer/2022062318/6118abe19b3c31793b34eaa3/html5/thumbnails/25.jpg)
XII. Diferencní rovnice
Veta 4Necht’ posloupnosti{y1(n)}∞n=1, {y2(n)}∞n=1, . . . , {y k(n)}∞n=1 tvorí fundamentálnísystém rešení rovnice (3). Necht’ posloupnost {z(n)}∞n=1je rešením rovnice (1). Potom posloupnost {y(n)}∞n=1 rešírovnici (1), práve když existují konstanty c1, . . . , ck ∈ Rtakové, že
y(n) = z(n) + c1y1(n) + · · ·+ cky k(n)
pro každé n ∈ N.
Rešení {z(n)}∞n=1 z predchozí vety se tradicne nazývápartikulární rešení.
Matematika IV XII. Diferencní rovnice
![Page 26: Matematika IV - Univerzita Karlova · 2017. 3. 5. · Matematika IV Frisch a Samuelson: Systém je dynamický, jestliže jeho chování v case jeˇ urceno funkcionální rovnicí,](https://reader035.vdocuments.net/reader035/viewer/2022062318/6118abe19b3c31793b34eaa3/html5/thumbnails/26.jpg)
XII. Diferencní rovnice
Veta 4Necht’ posloupnosti{y1(n)}∞n=1, {y2(n)}∞n=1, . . . , {y k(n)}∞n=1 tvorí fundamentálnísystém rešení rovnice (3). Necht’ posloupnost {z(n)}∞n=1je rešením rovnice (1). Potom posloupnost {y(n)}∞n=1 rešírovnici (1), práve když existují konstanty c1, . . . , ck ∈ Rtakové, že
y(n) = z(n) + c1y1(n) + · · ·+ cky k(n)
pro každé n ∈ N.
Rešení {z(n)}∞n=1 z predchozí vety se tradicne nazývápartikulární rešení.
Matematika IV XII. Diferencní rovnice
![Page 27: Matematika IV - Univerzita Karlova · 2017. 3. 5. · Matematika IV Frisch a Samuelson: Systém je dynamický, jestliže jeho chování v case jeˇ urceno funkcionální rovnicí,](https://reader035.vdocuments.net/reader035/viewer/2022062318/6118abe19b3c31793b34eaa3/html5/thumbnails/27.jpg)
XII. Diferencní rovnice
Veta 5 (rovnice se speciální pravou stranou)Necht’ posloupnost {an}∞n=1 v rovnici (1) splnuje
an = αn(P(n) cos(νn) + Q(n) sin(νn)),
kde α, ν ∈ R a P,Q jsou polynomy. Pak existuje rešenírovnice (1) ve tvaru
z(n) = nmαn(R(n) cos(νn) + S(n) sin(νn)),
kde R a S jsou vhodné polynomy stupne ne vetšího nežmax{st P, st Q} a m ∈ N ∪ {0} udává, jakou násobnostmá císlo α(cos ν + i sin ν) jakožto korencharakteristického polynomu rovnice (3).
Matematika IV XII. Diferencní rovnice
![Page 28: Matematika IV - Univerzita Karlova · 2017. 3. 5. · Matematika IV Frisch a Samuelson: Systém je dynamický, jestliže jeho chování v case jeˇ urceno funkcionální rovnicí,](https://reader035.vdocuments.net/reader035/viewer/2022062318/6118abe19b3c31793b34eaa3/html5/thumbnails/28.jpg)
XII. Diferencní rovnice
Veta 5 (rovnice se speciální pravou stranou)Necht’ posloupnost {an}∞n=1 v rovnici (1) splnuje
an = αn(P(n) cos(νn) + Q(n) sin(νn)),
kde α, ν ∈ R a P,Q jsou polynomy. Pak existuje rešenírovnice (1) ve tvaru
z(n) = nmαn(R(n) cos(νn) + S(n) sin(νn)),
kde R a S jsou vhodné polynomy stupne ne vetšího nežmax{st P, st Q} a m ∈ N ∪ {0} udává, jakou násobnostmá císlo α(cos ν + i sin ν) jakožto korencharakteristického polynomu rovnice (3).
Matematika IV XII. Diferencní rovnice
![Page 29: Matematika IV - Univerzita Karlova · 2017. 3. 5. · Matematika IV Frisch a Samuelson: Systém je dynamický, jestliže jeho chování v case jeˇ urceno funkcionální rovnicí,](https://reader035.vdocuments.net/reader035/viewer/2022062318/6118abe19b3c31793b34eaa3/html5/thumbnails/29.jpg)
XIII. Základní pojmy teorie diferenciálních rovnic
XIII. Základní pojmy teorie diferenciálníchrovnic
trepka velkáprvoci — nálevníci — chudoblanní
a = 2.309, b = a/375
Matematika IV XIII. Základní pojmy teorie diferenciálních rovnic
![Page 30: Matematika IV - Univerzita Karlova · 2017. 3. 5. · Matematika IV Frisch a Samuelson: Systém je dynamický, jestliže jeho chování v case jeˇ urceno funkcionální rovnicí,](https://reader035.vdocuments.net/reader035/viewer/2022062318/6118abe19b3c31793b34eaa3/html5/thumbnails/30.jpg)
XIII. Základní pojmy teorie diferenciálních rovnic
trepka velká
prvoci — nálevníci — chudoblannía = 2.309, b = a/375
Matematika IV XIII. Základní pojmy teorie diferenciálních rovnic
![Page 31: Matematika IV - Univerzita Karlova · 2017. 3. 5. · Matematika IV Frisch a Samuelson: Systém je dynamický, jestliže jeho chování v case jeˇ urceno funkcionální rovnicí,](https://reader035.vdocuments.net/reader035/viewer/2022062318/6118abe19b3c31793b34eaa3/html5/thumbnails/31.jpg)
XIII. Základní pojmy teorie diferenciálních rovnic
trepka velkáprvoci — nálevníci — chudoblanní
a = 2.309, b = a/375
Matematika IV XIII. Základní pojmy teorie diferenciálních rovnic
![Page 32: Matematika IV - Univerzita Karlova · 2017. 3. 5. · Matematika IV Frisch a Samuelson: Systém je dynamický, jestliže jeho chování v case jeˇ urceno funkcionální rovnicí,](https://reader035.vdocuments.net/reader035/viewer/2022062318/6118abe19b3c31793b34eaa3/html5/thumbnails/32.jpg)
XIII. Základní pojmy teorie diferenciálních rovnic
trepka velkáprvoci — nálevníci — chudoblanní
a = 2.309, b = a/375
Matematika IV XIII. Základní pojmy teorie diferenciálních rovnic
![Page 33: Matematika IV - Univerzita Karlova · 2017. 3. 5. · Matematika IV Frisch a Samuelson: Systém je dynamický, jestliže jeho chování v case jeˇ urceno funkcionální rovnicí,](https://reader035.vdocuments.net/reader035/viewer/2022062318/6118abe19b3c31793b34eaa3/html5/thumbnails/33.jpg)
XIII. Základní pojmy teorie diferenciálních rovnic
0
2
4
6
8
10
12
14
y
5 10 15 20
Matematika IV XIII. Základní pojmy teorie diferenciálních rovnic
![Page 34: Matematika IV - Univerzita Karlova · 2017. 3. 5. · Matematika IV Frisch a Samuelson: Systém je dynamický, jestliže jeho chování v case jeˇ urceno funkcionální rovnicí,](https://reader035.vdocuments.net/reader035/viewer/2022062318/6118abe19b3c31793b34eaa3/html5/thumbnails/34.jpg)
XIII. Základní pojmy teorie diferenciálních rovnic
DefiniceDiferenciální rovnicí rozumíme rovnici tvaru
F (x , y , y ′, y ′′, . . . , y (n)) = 0, (4)
kde F je reálná funkce n + 2 promenných.
Rešením diferenciální rovnice (4) rozumíme funkci ydefinovanou na nejakém neprázdném otevrenémintervalu I, která má v každém bode intervalu I vlastnín-tou derivaci a jejíž hodnoty spolu s hodnotami derivacísplnují rovnici (4) v každém bode intervalu I, tj. pro každéx ∈ I platí
F(x , y(x), y ′(x), . . . , y (n)(x)
)= 0.
Matematika IV XIII. Základní pojmy teorie diferenciálních rovnic
![Page 35: Matematika IV - Univerzita Karlova · 2017. 3. 5. · Matematika IV Frisch a Samuelson: Systém je dynamický, jestliže jeho chování v case jeˇ urceno funkcionální rovnicí,](https://reader035.vdocuments.net/reader035/viewer/2022062318/6118abe19b3c31793b34eaa3/html5/thumbnails/35.jpg)
XIII. Základní pojmy teorie diferenciálních rovnic
DefiniceDiferenciální rovnicí rozumíme rovnici tvaru
F (x , y , y ′, y ′′, . . . , y (n)) = 0, (4)
kde F je reálná funkce n + 2 promenných.Rešením diferenciální rovnice (4) rozumíme funkci ydefinovanou na nejakém neprázdném otevrenémintervalu I, která má v každém bode intervalu I vlastnín-tou derivaci a jejíž hodnoty spolu s hodnotami derivacísplnují rovnici (4) v každém bode intervalu I, tj. pro každéx ∈ I platí
F(x , y(x), y ′(x), . . . , y (n)(x)
)= 0.
Matematika IV XIII. Základní pojmy teorie diferenciálních rovnic
![Page 36: Matematika IV - Univerzita Karlova · 2017. 3. 5. · Matematika IV Frisch a Samuelson: Systém je dynamický, jestliže jeho chování v case jeˇ urceno funkcionální rovnicí,](https://reader035.vdocuments.net/reader035/viewer/2022062318/6118abe19b3c31793b34eaa3/html5/thumbnails/36.jpg)
XIII. Základní pojmy teorie diferenciálních rovnic
DefiniceJe-li funkce y rešením rovnice (4) na intervalu I a funkcey rešením rovnice (4) na intervalu I, kde I ⊂ I, I 6= I ay(x) = y(x) pro všechna x ∈ I, pak ríkáme, že rešení y jeprodloužením rešení y na interval I.
Rešení rovnice (4), které nemá prodloužení, nazývámemaximálním rešením rovnice (4).
Matematika IV XIII. Základní pojmy teorie diferenciálních rovnic
![Page 37: Matematika IV - Univerzita Karlova · 2017. 3. 5. · Matematika IV Frisch a Samuelson: Systém je dynamický, jestliže jeho chování v case jeˇ urceno funkcionální rovnicí,](https://reader035.vdocuments.net/reader035/viewer/2022062318/6118abe19b3c31793b34eaa3/html5/thumbnails/37.jpg)
XIII. Základní pojmy teorie diferenciálních rovnic
DefiniceJe-li funkce y rešením rovnice (4) na intervalu I a funkcey rešením rovnice (4) na intervalu I, kde I ⊂ I, I 6= I ay(x) = y(x) pro všechna x ∈ I, pak ríkáme, že rešení y jeprodloužením rešení y na interval I.Rešení rovnice (4), které nemá prodloužení, nazývámemaximálním rešením rovnice (4).
Matematika IV XIII. Základní pojmy teorie diferenciálních rovnic
![Page 38: Matematika IV - Univerzita Karlova · 2017. 3. 5. · Matematika IV Frisch a Samuelson: Systém je dynamický, jestliže jeho chování v case jeˇ urceno funkcionální rovnicí,](https://reader035.vdocuments.net/reader035/viewer/2022062318/6118abe19b3c31793b34eaa3/html5/thumbnails/38.jpg)
XIII. Základní pojmy teorie diferenciálních rovnic
DefiniceRovnice tvaru
y (n) = f (x , y , y ′, . . . , y (n−1)),
kde f je reálná funkce n + 1 promenných, se nazývádiferenciální rovnice (n-tého rádu) vyrešená vzhledem knejvyšší derivaci.
Matematika IV XIII. Základní pojmy teorie diferenciálních rovnic
![Page 39: Matematika IV - Univerzita Karlova · 2017. 3. 5. · Matematika IV Frisch a Samuelson: Systém je dynamický, jestliže jeho chování v case jeˇ urceno funkcionální rovnicí,](https://reader035.vdocuments.net/reader035/viewer/2022062318/6118abe19b3c31793b34eaa3/html5/thumbnails/39.jpg)
XIII. Základní pojmy teorie diferenciálních rovnic
Matematika IV XIII. Základní pojmy teorie diferenciálních rovnic
![Page 40: Matematika IV - Univerzita Karlova · 2017. 3. 5. · Matematika IV Frisch a Samuelson: Systém je dynamický, jestliže jeho chování v case jeˇ urceno funkcionální rovnicí,](https://reader035.vdocuments.net/reader035/viewer/2022062318/6118abe19b3c31793b34eaa3/html5/thumbnails/40.jpg)
XIII. Základní pojmy teorie diferenciálních rovnic
Matematika IV XIII. Základní pojmy teorie diferenciálních rovnic
![Page 41: Matematika IV - Univerzita Karlova · 2017. 3. 5. · Matematika IV Frisch a Samuelson: Systém je dynamický, jestliže jeho chování v case jeˇ urceno funkcionální rovnicí,](https://reader035.vdocuments.net/reader035/viewer/2022062318/6118abe19b3c31793b34eaa3/html5/thumbnails/41.jpg)
XIV. Diferenciální rovnice se separovanýmipromennými
Diferenciální rovnice se separovanými promennými jerovnice tvaru
y ′ = g(y)h(x). (5)
Matematika IV XIV. Diferenciální rovnice se separovanými promennými
![Page 42: Matematika IV - Univerzita Karlova · 2017. 3. 5. · Matematika IV Frisch a Samuelson: Systém je dynamický, jestliže jeho chování v case jeˇ urceno funkcionální rovnicí,](https://reader035.vdocuments.net/reader035/viewer/2022062318/6118abe19b3c31793b34eaa3/html5/thumbnails/42.jpg)
XIV. Diferenciální rovnice se separovanýmipromennými
Diferenciální rovnice se separovanými promennými jerovnice tvaru
y ′ = g(y)h(x). (5)
Matematika IV XIV. Diferenciální rovnice se separovanými promennými
![Page 43: Matematika IV - Univerzita Karlova · 2017. 3. 5. · Matematika IV Frisch a Samuelson: Systém je dynamický, jestliže jeho chování v case jeˇ urceno funkcionální rovnicí,](https://reader035.vdocuments.net/reader035/viewer/2022062318/6118abe19b3c31793b34eaa3/html5/thumbnails/43.jpg)
XIV.1. Základní metoda rešení
Metoda rešení pro g a h spojité na svých definicníchoborech
1. Urcíme maximální otevrené intervaly obsažené vdefinicním oboru funkce h. (Tím máme vymezenymaximální intervaly, na kterých mužeme hledat rešení.)
2. Najdeme všechny nulové body funkce g. Je-li g(c) = 0,pak na každém intervalu z 1. kroku je funkce y(x) = c tzv.singulárním (též stacionárním) rešením rovnice (5).
3. Urcíme maximální otevrené intervaly, na kterých jefunkce g nenulová.
Matematika IV XIV. Diferenciální rovnice se separovanými promennými
![Page 44: Matematika IV - Univerzita Karlova · 2017. 3. 5. · Matematika IV Frisch a Samuelson: Systém je dynamický, jestliže jeho chování v case jeˇ urceno funkcionální rovnicí,](https://reader035.vdocuments.net/reader035/viewer/2022062318/6118abe19b3c31793b34eaa3/html5/thumbnails/44.jpg)
XIV.1. Základní metoda rešení
Metoda rešení pro g a h spojité na svých definicníchoborech
1. Urcíme maximální otevrené intervaly obsažené vdefinicním oboru funkce h. (Tím máme vymezenymaximální intervaly, na kterých mužeme hledat rešení.)
2. Najdeme všechny nulové body funkce g. Je-li g(c) = 0,pak na každém intervalu z 1. kroku je funkce y(x) = c tzv.singulárním (též stacionárním) rešením rovnice (5).
3. Urcíme maximální otevrené intervaly, na kterých jefunkce g nenulová.
Matematika IV XIV. Diferenciální rovnice se separovanými promennými
![Page 45: Matematika IV - Univerzita Karlova · 2017. 3. 5. · Matematika IV Frisch a Samuelson: Systém je dynamický, jestliže jeho chování v case jeˇ urceno funkcionální rovnicí,](https://reader035.vdocuments.net/reader035/viewer/2022062318/6118abe19b3c31793b34eaa3/html5/thumbnails/45.jpg)
XIV.1. Základní metoda rešení
Metoda rešení pro g a h spojité na svých definicníchoborech
1. Urcíme maximální otevrené intervaly obsažené vdefinicním oboru funkce h. (Tím máme vymezenymaximální intervaly, na kterých mužeme hledat rešení.)
2. Najdeme všechny nulové body funkce g. Je-li g(c) = 0,pak na každém intervalu z 1. kroku je funkce y(x) = c tzv.singulárním (též stacionárním) rešením rovnice (5).
3. Urcíme maximální otevrené intervaly, na kterých jefunkce g nenulová.
Matematika IV XIV. Diferenciální rovnice se separovanými promennými
![Page 46: Matematika IV - Univerzita Karlova · 2017. 3. 5. · Matematika IV Frisch a Samuelson: Systém je dynamický, jestliže jeho chování v case jeˇ urceno funkcionální rovnicí,](https://reader035.vdocuments.net/reader035/viewer/2022062318/6118abe19b3c31793b34eaa3/html5/thumbnails/46.jpg)
XIV.1. Základní metoda rešení
Metoda rešení pro g a h spojité na svých definicníchoborech
1. Urcíme maximální otevrené intervaly obsažené vdefinicním oboru funkce h. (Tím máme vymezenymaximální intervaly, na kterých mužeme hledat rešení.)
2. Najdeme všechny nulové body funkce g. Je-li g(c) = 0,pak na každém intervalu z 1. kroku je funkce y(x) = c tzv.singulárním (též stacionárním) rešením rovnice (5).
3. Urcíme maximální otevrené intervaly, na kterých jefunkce g nenulová.
Matematika IV XIV. Diferenciální rovnice se separovanými promennými
![Page 47: Matematika IV - Univerzita Karlova · 2017. 3. 5. · Matematika IV Frisch a Samuelson: Systém je dynamický, jestliže jeho chování v case jeˇ urceno funkcionální rovnicí,](https://reader035.vdocuments.net/reader035/viewer/2022062318/6118abe19b3c31793b34eaa3/html5/thumbnails/47.jpg)
XIV.1. Základní metoda rešení
4. Vezmeme interval I z 1. kroku a interval J ze 3. kroku.
Tedy h je na I spojitá a g je na J spojitá a nenulová.Budeme hledat rešení rovnice (5), jejichž definicní obor jeobsažen v intervalu I a mají hodnoty v intervalu J. Je-li ytakové rešení, pak pro každé x ∈ Dy platí
y ′(x)g(y(x))
= h(x).
Necht’ H je primitivní funkce k funkci h na intervalu I a Gje primitivní funkce k funkci 1/g na J. Potom existujekonstanta C ∈ R taková, že platí
G(y(x)) = H(x) + C
na definicním oboru rešení y , který nalezneme vnásledujícím kroku.
Matematika IV XIV. Diferenciální rovnice se separovanými promennými
![Page 48: Matematika IV - Univerzita Karlova · 2017. 3. 5. · Matematika IV Frisch a Samuelson: Systém je dynamický, jestliže jeho chování v case jeˇ urceno funkcionální rovnicí,](https://reader035.vdocuments.net/reader035/viewer/2022062318/6118abe19b3c31793b34eaa3/html5/thumbnails/48.jpg)
XIV.1. Základní metoda rešení
4. Vezmeme interval I z 1. kroku a interval J ze 3. kroku.Tedy h je na I spojitá a g je na J spojitá a nenulová.
Budeme hledat rešení rovnice (5), jejichž definicní obor jeobsažen v intervalu I a mají hodnoty v intervalu J. Je-li ytakové rešení, pak pro každé x ∈ Dy platí
y ′(x)g(y(x))
= h(x).
Necht’ H je primitivní funkce k funkci h na intervalu I a Gje primitivní funkce k funkci 1/g na J. Potom existujekonstanta C ∈ R taková, že platí
G(y(x)) = H(x) + C
na definicním oboru rešení y , který nalezneme vnásledujícím kroku.
Matematika IV XIV. Diferenciální rovnice se separovanými promennými
![Page 49: Matematika IV - Univerzita Karlova · 2017. 3. 5. · Matematika IV Frisch a Samuelson: Systém je dynamický, jestliže jeho chování v case jeˇ urceno funkcionální rovnicí,](https://reader035.vdocuments.net/reader035/viewer/2022062318/6118abe19b3c31793b34eaa3/html5/thumbnails/49.jpg)
XIV.1. Základní metoda rešení
4. Vezmeme interval I z 1. kroku a interval J ze 3. kroku.Tedy h je na I spojitá a g je na J spojitá a nenulová.Budeme hledat rešení rovnice (5), jejichž definicní obor jeobsažen v intervalu I a mají hodnoty v intervalu J.
Je-li ytakové rešení, pak pro každé x ∈ Dy platí
y ′(x)g(y(x))
= h(x).
Necht’ H je primitivní funkce k funkci h na intervalu I a Gje primitivní funkce k funkci 1/g na J. Potom existujekonstanta C ∈ R taková, že platí
G(y(x)) = H(x) + C
na definicním oboru rešení y , který nalezneme vnásledujícím kroku.
Matematika IV XIV. Diferenciální rovnice se separovanými promennými
![Page 50: Matematika IV - Univerzita Karlova · 2017. 3. 5. · Matematika IV Frisch a Samuelson: Systém je dynamický, jestliže jeho chování v case jeˇ urceno funkcionální rovnicí,](https://reader035.vdocuments.net/reader035/viewer/2022062318/6118abe19b3c31793b34eaa3/html5/thumbnails/50.jpg)
XIV.1. Základní metoda rešení
4. Vezmeme interval I z 1. kroku a interval J ze 3. kroku.Tedy h je na I spojitá a g je na J spojitá a nenulová.Budeme hledat rešení rovnice (5), jejichž definicní obor jeobsažen v intervalu I a mají hodnoty v intervalu J. Je-li ytakové rešení, pak pro každé x ∈ Dy platí
y ′(x)g(y(x))
= h(x).
Necht’ H je primitivní funkce k funkci h na intervalu I a Gje primitivní funkce k funkci 1/g na J. Potom existujekonstanta C ∈ R taková, že platí
G(y(x)) = H(x) + C
na definicním oboru rešení y , který nalezneme vnásledujícím kroku.
Matematika IV XIV. Diferenciální rovnice se separovanými promennými
![Page 51: Matematika IV - Univerzita Karlova · 2017. 3. 5. · Matematika IV Frisch a Samuelson: Systém je dynamický, jestliže jeho chování v case jeˇ urceno funkcionální rovnicí,](https://reader035.vdocuments.net/reader035/viewer/2022062318/6118abe19b3c31793b34eaa3/html5/thumbnails/51.jpg)
XIV.1. Základní metoda rešení
4. Vezmeme interval I z 1. kroku a interval J ze 3. kroku.Tedy h je na I spojitá a g je na J spojitá a nenulová.Budeme hledat rešení rovnice (5), jejichž definicní obor jeobsažen v intervalu I a mají hodnoty v intervalu J. Je-li ytakové rešení, pak pro každé x ∈ Dy platí
y ′(x)g(y(x))
= h(x).
Necht’ H je primitivní funkce k funkci h na intervalu I a Gje primitivní funkce k funkci 1/g na J.
Potom existujekonstanta C ∈ R taková, že platí
G(y(x)) = H(x) + C
na definicním oboru rešení y , který nalezneme vnásledujícím kroku.
Matematika IV XIV. Diferenciální rovnice se separovanými promennými
![Page 52: Matematika IV - Univerzita Karlova · 2017. 3. 5. · Matematika IV Frisch a Samuelson: Systém je dynamický, jestliže jeho chování v case jeˇ urceno funkcionální rovnicí,](https://reader035.vdocuments.net/reader035/viewer/2022062318/6118abe19b3c31793b34eaa3/html5/thumbnails/52.jpg)
XIV.1. Základní metoda rešení
4. Vezmeme interval I z 1. kroku a interval J ze 3. kroku.Tedy h je na I spojitá a g je na J spojitá a nenulová.Budeme hledat rešení rovnice (5), jejichž definicní obor jeobsažen v intervalu I a mají hodnoty v intervalu J. Je-li ytakové rešení, pak pro každé x ∈ Dy platí
y ′(x)g(y(x))
= h(x).
Necht’ H je primitivní funkce k funkci h na intervalu I a Gje primitivní funkce k funkci 1/g na J. Potom existujekonstanta C ∈ R taková, že platí
G(y(x)) = H(x) + C
na definicním oboru rešení y , který nalezneme vnásledujícím kroku.
Matematika IV XIV. Diferenciální rovnice se separovanými promennými
![Page 53: Matematika IV - Univerzita Karlova · 2017. 3. 5. · Matematika IV Frisch a Samuelson: Systém je dynamický, jestliže jeho chování v case jeˇ urceno funkcionální rovnicí,](https://reader035.vdocuments.net/reader035/viewer/2022062318/6118abe19b3c31793b34eaa3/html5/thumbnails/53.jpg)
XIV.1. Základní metoda rešení
5. Nyní zafixujeme C a nalezneme maximální neprázdnéotevrené intervaly obsažené v množine
{x ∈ I; H(x) + C ∈ G(J)}.
Na každém z techto intervalu rešení musí mít tvar
y(x) = G−1(H(x) + C),
kde G−1 znací funkci inverzní k funkci G. Ta existuje,nebot’ G je na intervalu J bud’ rostoucí nebo klesající.
Matematika IV XIV. Diferenciální rovnice se separovanými promennými
![Page 54: Matematika IV - Univerzita Karlova · 2017. 3. 5. · Matematika IV Frisch a Samuelson: Systém je dynamický, jestliže jeho chování v case jeˇ urceno funkcionální rovnicí,](https://reader035.vdocuments.net/reader035/viewer/2022062318/6118abe19b3c31793b34eaa3/html5/thumbnails/54.jpg)
XIV.1. Základní metoda rešení
5. Nyní zafixujeme C a nalezneme maximální neprázdnéotevrené intervaly obsažené v množine
{x ∈ I; H(x) + C ∈ G(J)}.
Na každém z techto intervalu rešení musí mít tvar
y(x) = G−1(H(x) + C),
kde G−1 znací funkci inverzní k funkci G. Ta existuje,nebot’ G je na intervalu J bud’ rostoucí nebo klesající.
Matematika IV XIV. Diferenciální rovnice se separovanými promennými
![Page 55: Matematika IV - Univerzita Karlova · 2017. 3. 5. · Matematika IV Frisch a Samuelson: Systém je dynamický, jestliže jeho chování v case jeˇ urceno funkcionální rovnicí,](https://reader035.vdocuments.net/reader035/viewer/2022062318/6118abe19b3c31793b34eaa3/html5/thumbnails/55.jpg)
XIV.1. Základní metoda rešení
6. Z rešení nalezených v 5. kroku a singulárních rešení z2. kroku „slepíme“ všechna maximální rešení rovnice (5).
Necht’ y1 a y2 jsou rešení rovnice (5), první na intervalu(a,b) a druhé na intervalu (b, c), pricemž b ∈ Dh.Predpokládejme, že
limx→b−
y1(x) = limx→b+
y2(x) = α ∈ Dg.
Pak funkce
y(x) =
y1(x), x ∈ (a,b);α, x = b;y2(x), x ∈ (b, c);
je rešením rovnice (5) na intervalu (a, c).
Matematika IV XIV. Diferenciální rovnice se separovanými promennými
![Page 56: Matematika IV - Univerzita Karlova · 2017. 3. 5. · Matematika IV Frisch a Samuelson: Systém je dynamický, jestliže jeho chování v case jeˇ urceno funkcionální rovnicí,](https://reader035.vdocuments.net/reader035/viewer/2022062318/6118abe19b3c31793b34eaa3/html5/thumbnails/56.jpg)
XIV.1. Základní metoda rešení
6. Z rešení nalezených v 5. kroku a singulárních rešení z2. kroku „slepíme“ všechna maximální rešení rovnice (5).Necht’ y1 a y2 jsou rešení rovnice (5), první na intervalu(a,b) a druhé na intervalu (b, c), pricemž b ∈ Dh.
Predpokládejme, že
limx→b−
y1(x) = limx→b+
y2(x) = α ∈ Dg.
Pak funkce
y(x) =
y1(x), x ∈ (a,b);α, x = b;y2(x), x ∈ (b, c);
je rešením rovnice (5) na intervalu (a, c).
Matematika IV XIV. Diferenciální rovnice se separovanými promennými
![Page 57: Matematika IV - Univerzita Karlova · 2017. 3. 5. · Matematika IV Frisch a Samuelson: Systém je dynamický, jestliže jeho chování v case jeˇ urceno funkcionální rovnicí,](https://reader035.vdocuments.net/reader035/viewer/2022062318/6118abe19b3c31793b34eaa3/html5/thumbnails/57.jpg)
XIV.1. Základní metoda rešení
6. Z rešení nalezených v 5. kroku a singulárních rešení z2. kroku „slepíme“ všechna maximální rešení rovnice (5).Necht’ y1 a y2 jsou rešení rovnice (5), první na intervalu(a,b) a druhé na intervalu (b, c), pricemž b ∈ Dh.Predpokládejme, že
limx→b−
y1(x) = limx→b+
y2(x) = α ∈ Dg.
Pak funkce
y(x) =
y1(x), x ∈ (a,b);α, x = b;y2(x), x ∈ (b, c);
je rešením rovnice (5) na intervalu (a, c).
Matematika IV XIV. Diferenciální rovnice se separovanými promennými
![Page 58: Matematika IV - Univerzita Karlova · 2017. 3. 5. · Matematika IV Frisch a Samuelson: Systém je dynamický, jestliže jeho chování v case jeˇ urceno funkcionální rovnicí,](https://reader035.vdocuments.net/reader035/viewer/2022062318/6118abe19b3c31793b34eaa3/html5/thumbnails/58.jpg)
XIV.1. Základní metoda rešení
6. Z rešení nalezených v 5. kroku a singulárních rešení z2. kroku „slepíme“ všechna maximální rešení rovnice (5).Necht’ y1 a y2 jsou rešení rovnice (5), první na intervalu(a,b) a druhé na intervalu (b, c), pricemž b ∈ Dh.Predpokládejme, že
limx→b−
y1(x) = limx→b+
y2(x) = α ∈ Dg.
Pak funkce
y(x) =
y1(x), x ∈ (a,b);α, x = b;y2(x), x ∈ (b, c);
je rešením rovnice (5) na intervalu (a, c).
Matematika IV XIV. Diferenciální rovnice se separovanými promennými
![Page 59: Matematika IV - Univerzita Karlova · 2017. 3. 5. · Matematika IV Frisch a Samuelson: Systém je dynamický, jestliže jeho chování v case jeˇ urceno funkcionální rovnicí,](https://reader035.vdocuments.net/reader035/viewer/2022062318/6118abe19b3c31793b34eaa3/html5/thumbnails/59.jpg)
XIV.2. Autonomní diferenciální rovnice
XIV.2. Autonomní diferenciální rovnice
Autonomní diferenciální rovnice jsou diferenciální rovnicenezávisející explicitne na promenné x (na „case“).Autonomní diferenciální rovnice prvního rádu vyrešenávzhledem k nejvyšší derivaci je tedy rovnice tvaru
y ′ = g(y). (6)
Veta 6Každé rešení rovnice (6), kde g je libovolná funkce, jemonotónní.
PoznámkaJe-li funkce y rešením rovnice (6) na intervalu (a,b), pakpro každé c ∈ R je funkce x 7→ y(x + c),x ∈ (a− c,b − c), rovnež jejím rešením.
Matematika IV XIV. Diferenciální rovnice se separovanými promennými
![Page 60: Matematika IV - Univerzita Karlova · 2017. 3. 5. · Matematika IV Frisch a Samuelson: Systém je dynamický, jestliže jeho chování v case jeˇ urceno funkcionální rovnicí,](https://reader035.vdocuments.net/reader035/viewer/2022062318/6118abe19b3c31793b34eaa3/html5/thumbnails/60.jpg)
XIV.2. Autonomní diferenciální rovnice
XIV.2. Autonomní diferenciální rovniceAutonomní diferenciální rovnice jsou diferenciální rovnicenezávisející explicitne na promenné x (na „case“).Autonomní diferenciální rovnice prvního rádu vyrešenávzhledem k nejvyšší derivaci je tedy rovnice tvaru
y ′ = g(y). (6)
Veta 6Každé rešení rovnice (6), kde g je libovolná funkce, jemonotónní.
PoznámkaJe-li funkce y rešením rovnice (6) na intervalu (a,b), pakpro každé c ∈ R je funkce x 7→ y(x + c),x ∈ (a− c,b − c), rovnež jejím rešením.
Matematika IV XIV. Diferenciální rovnice se separovanými promennými
![Page 61: Matematika IV - Univerzita Karlova · 2017. 3. 5. · Matematika IV Frisch a Samuelson: Systém je dynamický, jestliže jeho chování v case jeˇ urceno funkcionální rovnicí,](https://reader035.vdocuments.net/reader035/viewer/2022062318/6118abe19b3c31793b34eaa3/html5/thumbnails/61.jpg)
XIV.2. Autonomní diferenciální rovnice
XIV.2. Autonomní diferenciální rovniceAutonomní diferenciální rovnice jsou diferenciální rovnicenezávisející explicitne na promenné x (na „case“).Autonomní diferenciální rovnice prvního rádu vyrešenávzhledem k nejvyšší derivaci je tedy rovnice tvaru
y ′ = g(y). (6)
Veta 6Každé rešení rovnice (6), kde g je libovolná funkce, jemonotónní.
PoznámkaJe-li funkce y rešením rovnice (6) na intervalu (a,b), pakpro každé c ∈ R je funkce x 7→ y(x + c),x ∈ (a− c,b − c), rovnež jejím rešením.
Matematika IV XIV. Diferenciální rovnice se separovanými promennými
![Page 62: Matematika IV - Univerzita Karlova · 2017. 3. 5. · Matematika IV Frisch a Samuelson: Systém je dynamický, jestliže jeho chování v case jeˇ urceno funkcionální rovnicí,](https://reader035.vdocuments.net/reader035/viewer/2022062318/6118abe19b3c31793b34eaa3/html5/thumbnails/62.jpg)
XIV.2. Autonomní diferenciální rovnice
XIV.2. Autonomní diferenciální rovniceAutonomní diferenciální rovnice jsou diferenciální rovnicenezávisející explicitne na promenné x (na „case“).Autonomní diferenciální rovnice prvního rádu vyrešenávzhledem k nejvyšší derivaci je tedy rovnice tvaru
y ′ = g(y). (6)
Veta 6Každé rešení rovnice (6), kde g je libovolná funkce, jemonotónní.
PoznámkaJe-li funkce y rešením rovnice (6) na intervalu (a,b), pakpro každé c ∈ R je funkce x 7→ y(x + c),x ∈ (a− c,b − c), rovnež jejím rešením.
Matematika IV XIV. Diferenciální rovnice se separovanými promennými
![Page 63: Matematika IV - Univerzita Karlova · 2017. 3. 5. · Matematika IV Frisch a Samuelson: Systém je dynamický, jestliže jeho chování v case jeˇ urceno funkcionální rovnicí,](https://reader035.vdocuments.net/reader035/viewer/2022062318/6118abe19b3c31793b34eaa3/html5/thumbnails/63.jpg)
XIV.2. Autonomní diferenciální rovnice
Lemma 7Necht’ a,b ∈ R, a < b, funkce g je spojitá a kladná na〈a,b) a má v bode b zleva kladnou limitu. Pak
∫ ba
1g
konverguje.
Lemma 8Necht’ funkce g je spojitá na 〈a,b〉, kladná na 〈a,b),g(b) = 0 a g′−(b) existuje vlastní. Pak
∫ ba
1g diverguje.
Matematika IV XIV. Diferenciální rovnice se separovanými promennými
![Page 64: Matematika IV - Univerzita Karlova · 2017. 3. 5. · Matematika IV Frisch a Samuelson: Systém je dynamický, jestliže jeho chování v case jeˇ urceno funkcionální rovnicí,](https://reader035.vdocuments.net/reader035/viewer/2022062318/6118abe19b3c31793b34eaa3/html5/thumbnails/64.jpg)
XIV.2. Autonomní diferenciální rovnice
Lemma 7Necht’ a,b ∈ R, a < b, funkce g je spojitá a kladná na〈a,b) a má v bode b zleva kladnou limitu. Pak
∫ ba
1g
konverguje.
Lemma 8Necht’ funkce g je spojitá na 〈a,b〉, kladná na 〈a,b),g(b) = 0 a g′−(b) existuje vlastní. Pak
∫ ba
1g diverguje.
Matematika IV XIV. Diferenciální rovnice se separovanými promennými
![Page 65: Matematika IV - Univerzita Karlova · 2017. 3. 5. · Matematika IV Frisch a Samuelson: Systém je dynamický, jestliže jeho chování v case jeˇ urceno funkcionální rovnicí,](https://reader035.vdocuments.net/reader035/viewer/2022062318/6118abe19b3c31793b34eaa3/html5/thumbnails/65.jpg)
XV. Lineární diferenciální rovnice prvníhorádu
Lineární diferenciální rovnicí prvního rádu rozumímerovnici tvaru
y ′ + p(x)y = q(x), (7)
kde p,q jsou funkce na daném intervalu (a,b).V dalším budeme predpokládat, že p,q jsou spojitéfunkce. Pak každé rešení rovnice (7) je trídy C1.Zobrazení L : C1(a,b)→ C(a,b),
L(y) = y ′ + py
je lineární.
Matematika IV XV. Lineární diferenciální rovnice prvního rádu
![Page 66: Matematika IV - Univerzita Karlova · 2017. 3. 5. · Matematika IV Frisch a Samuelson: Systém je dynamický, jestliže jeho chování v case jeˇ urceno funkcionální rovnicí,](https://reader035.vdocuments.net/reader035/viewer/2022062318/6118abe19b3c31793b34eaa3/html5/thumbnails/66.jpg)
XV. Lineární diferenciální rovnice prvníhorádu
Lineární diferenciální rovnicí prvního rádu rozumímerovnici tvaru
y ′ + p(x)y = q(x), (7)
kde p,q jsou funkce na daném intervalu (a,b).
V dalším budeme predpokládat, že p,q jsou spojitéfunkce. Pak každé rešení rovnice (7) je trídy C1.Zobrazení L : C1(a,b)→ C(a,b),
L(y) = y ′ + py
je lineární.
Matematika IV XV. Lineární diferenciální rovnice prvního rádu
![Page 67: Matematika IV - Univerzita Karlova · 2017. 3. 5. · Matematika IV Frisch a Samuelson: Systém je dynamický, jestliže jeho chování v case jeˇ urceno funkcionální rovnicí,](https://reader035.vdocuments.net/reader035/viewer/2022062318/6118abe19b3c31793b34eaa3/html5/thumbnails/67.jpg)
XV. Lineární diferenciální rovnice prvníhorádu
Lineární diferenciální rovnicí prvního rádu rozumímerovnici tvaru
y ′ + p(x)y = q(x), (7)
kde p,q jsou funkce na daném intervalu (a,b).V dalším budeme predpokládat, že p,q jsou spojitéfunkce.
Pak každé rešení rovnice (7) je trídy C1.Zobrazení L : C1(a,b)→ C(a,b),
L(y) = y ′ + py
je lineární.
Matematika IV XV. Lineární diferenciální rovnice prvního rádu
![Page 68: Matematika IV - Univerzita Karlova · 2017. 3. 5. · Matematika IV Frisch a Samuelson: Systém je dynamický, jestliže jeho chování v case jeˇ urceno funkcionální rovnicí,](https://reader035.vdocuments.net/reader035/viewer/2022062318/6118abe19b3c31793b34eaa3/html5/thumbnails/68.jpg)
XV. Lineární diferenciální rovnice prvníhorádu
Lineární diferenciální rovnicí prvního rádu rozumímerovnici tvaru
y ′ + p(x)y = q(x), (7)
kde p,q jsou funkce na daném intervalu (a,b).V dalším budeme predpokládat, že p,q jsou spojitéfunkce. Pak každé rešení rovnice (7) je trídy C1.
Zobrazení L : C1(a,b)→ C(a,b),
L(y) = y ′ + py
je lineární.
Matematika IV XV. Lineární diferenciální rovnice prvního rádu
![Page 69: Matematika IV - Univerzita Karlova · 2017. 3. 5. · Matematika IV Frisch a Samuelson: Systém je dynamický, jestliže jeho chování v case jeˇ urceno funkcionální rovnicí,](https://reader035.vdocuments.net/reader035/viewer/2022062318/6118abe19b3c31793b34eaa3/html5/thumbnails/69.jpg)
XV. Lineární diferenciální rovnice prvníhorádu
Lineární diferenciální rovnicí prvního rádu rozumímerovnici tvaru
y ′ + p(x)y = q(x), (7)
kde p,q jsou funkce na daném intervalu (a,b).V dalším budeme predpokládat, že p,q jsou spojitéfunkce. Pak každé rešení rovnice (7) je trídy C1.Zobrazení L : C1(a,b)→ C(a,b),
L(y) = y ′ + py
je lineární.
Matematika IV XV. Lineární diferenciální rovnice prvního rádu
![Page 70: Matematika IV - Univerzita Karlova · 2017. 3. 5. · Matematika IV Frisch a Samuelson: Systém je dynamický, jestliže jeho chování v case jeˇ urceno funkcionální rovnicí,](https://reader035.vdocuments.net/reader035/viewer/2022062318/6118abe19b3c31793b34eaa3/html5/thumbnails/70.jpg)
XV.1. Homogenní rovnice
XV.1. Homogenní rovnice
Homogenní lineární diferenciální rovnicí prvního rádubudeme rozumet rovnici tvaru
y ′ + p(x)y = 0.
Maximální rešení homogenní rovnice:
y(x) = Ke−P(x), x ∈ (a,b), K ∈ R,
kde P je primitivní funkce k p na intervalu (a,b).Všechna rešení homogenní rovnice tvorí vektorovýpodprostor prostoru C1(a,b) dimenze 1 (dim Ker L = 1).
Matematika IV XV. Lineární diferenciální rovnice prvního rádu
![Page 71: Matematika IV - Univerzita Karlova · 2017. 3. 5. · Matematika IV Frisch a Samuelson: Systém je dynamický, jestliže jeho chování v case jeˇ urceno funkcionální rovnicí,](https://reader035.vdocuments.net/reader035/viewer/2022062318/6118abe19b3c31793b34eaa3/html5/thumbnails/71.jpg)
XV.1. Homogenní rovnice
XV.1. Homogenní rovnice
Homogenní lineární diferenciální rovnicí prvního rádubudeme rozumet rovnici tvaru
y ′ + p(x)y = 0.
Maximální rešení homogenní rovnice:
y(x) = Ke−P(x), x ∈ (a,b), K ∈ R,
kde P je primitivní funkce k p na intervalu (a,b).Všechna rešení homogenní rovnice tvorí vektorovýpodprostor prostoru C1(a,b) dimenze 1 (dim Ker L = 1).
Matematika IV XV. Lineární diferenciální rovnice prvního rádu
![Page 72: Matematika IV - Univerzita Karlova · 2017. 3. 5. · Matematika IV Frisch a Samuelson: Systém je dynamický, jestliže jeho chování v case jeˇ urceno funkcionální rovnicí,](https://reader035.vdocuments.net/reader035/viewer/2022062318/6118abe19b3c31793b34eaa3/html5/thumbnails/72.jpg)
XV.1. Homogenní rovnice
XV.1. Homogenní rovnice
Homogenní lineární diferenciální rovnicí prvního rádubudeme rozumet rovnici tvaru
y ′ + p(x)y = 0.
Maximální rešení homogenní rovnice:
y(x) = Ke−P(x), x ∈ (a,b), K ∈ R,
kde P je primitivní funkce k p na intervalu (a,b).
Všechna rešení homogenní rovnice tvorí vektorovýpodprostor prostoru C1(a,b) dimenze 1 (dim Ker L = 1).
Matematika IV XV. Lineární diferenciální rovnice prvního rádu
![Page 73: Matematika IV - Univerzita Karlova · 2017. 3. 5. · Matematika IV Frisch a Samuelson: Systém je dynamický, jestliže jeho chování v case jeˇ urceno funkcionální rovnicí,](https://reader035.vdocuments.net/reader035/viewer/2022062318/6118abe19b3c31793b34eaa3/html5/thumbnails/73.jpg)
XV.1. Homogenní rovnice
XV.1. Homogenní rovnice
Homogenní lineární diferenciální rovnicí prvního rádubudeme rozumet rovnici tvaru
y ′ + p(x)y = 0.
Maximální rešení homogenní rovnice:
y(x) = Ke−P(x), x ∈ (a,b), K ∈ R,
kde P je primitivní funkce k p na intervalu (a,b).Všechna rešení homogenní rovnice tvorí vektorovýpodprostor prostoru C1(a,b) dimenze 1 (dim Ker L = 1).
Matematika IV XV. Lineární diferenciální rovnice prvního rádu
![Page 74: Matematika IV - Univerzita Karlova · 2017. 3. 5. · Matematika IV Frisch a Samuelson: Systém je dynamický, jestliže jeho chování v case jeˇ urceno funkcionální rovnicí,](https://reader035.vdocuments.net/reader035/viewer/2022062318/6118abe19b3c31793b34eaa3/html5/thumbnails/74.jpg)
XV.2. Nehomogenní rovnice
XV.2. Nehomogenní rovnice
Maximální rešení rovnice (7):
y(x) =(∫ x
x0
q(t)eP(t) dt)
e−P(x)+Ke−P(x), x ∈ (a,b), K ∈ R,
kde x0 ∈ (a,b) a P je primitivní funkce k p na intervalu(a,b).Maximální rešení rovnice (7) splnující pocátecnípodmínku y(x0) = y0:
y(x) =(∫ x
x0
q(t)eP(t) dt)
e−P(x) + y0e−P(x), x ∈ (a,b),
kde P(x0) = 0, tj. P(x) =∫ x
x0p(t) dt .
Matematika IV XV. Lineární diferenciální rovnice prvního rádu
![Page 75: Matematika IV - Univerzita Karlova · 2017. 3. 5. · Matematika IV Frisch a Samuelson: Systém je dynamický, jestliže jeho chování v case jeˇ urceno funkcionální rovnicí,](https://reader035.vdocuments.net/reader035/viewer/2022062318/6118abe19b3c31793b34eaa3/html5/thumbnails/75.jpg)
XV.2. Nehomogenní rovnice
XV.2. Nehomogenní rovnice
Maximální rešení rovnice (7):
y(x) =(∫ x
x0
q(t)eP(t) dt)
e−P(x)+Ke−P(x), x ∈ (a,b), K ∈ R,
kde x0 ∈ (a,b) a P je primitivní funkce k p na intervalu(a,b).
Maximální rešení rovnice (7) splnující pocátecnípodmínku y(x0) = y0:
y(x) =(∫ x
x0
q(t)eP(t) dt)
e−P(x) + y0e−P(x), x ∈ (a,b),
kde P(x0) = 0, tj. P(x) =∫ x
x0p(t) dt .
Matematika IV XV. Lineární diferenciální rovnice prvního rádu
![Page 76: Matematika IV - Univerzita Karlova · 2017. 3. 5. · Matematika IV Frisch a Samuelson: Systém je dynamický, jestliže jeho chování v case jeˇ urceno funkcionální rovnicí,](https://reader035.vdocuments.net/reader035/viewer/2022062318/6118abe19b3c31793b34eaa3/html5/thumbnails/76.jpg)
XV.2. Nehomogenní rovnice
XV.2. Nehomogenní rovnice
Maximální rešení rovnice (7):
y(x) =(∫ x
x0
q(t)eP(t) dt)
e−P(x)+Ke−P(x), x ∈ (a,b), K ∈ R,
kde x0 ∈ (a,b) a P je primitivní funkce k p na intervalu(a,b).Maximální rešení rovnice (7) splnující pocátecnípodmínku y(x0) = y0:
y(x) =(∫ x
x0
q(t)eP(t) dt)
e−P(x) + y0e−P(x), x ∈ (a,b),
kde P(x0) = 0, tj. P(x) =∫ x
x0p(t) dt .
Matematika IV XV. Lineární diferenciální rovnice prvního rádu
![Page 77: Matematika IV - Univerzita Karlova · 2017. 3. 5. · Matematika IV Frisch a Samuelson: Systém je dynamický, jestliže jeho chování v case jeˇ urceno funkcionální rovnicí,](https://reader035.vdocuments.net/reader035/viewer/2022062318/6118abe19b3c31793b34eaa3/html5/thumbnails/77.jpg)
XV.2. Nehomogenní rovnice
Pro každé x0 ∈ (a,b) a každé y0 ∈ R existuje práve jednomaximální rešení y rovnice (7), které splnuje pocátecnípodmínku y(x0) = y0. Toto rešení je navíc definováno nacelém (a,b).
Matematika IV XV. Lineární diferenciální rovnice prvního rádu
![Page 78: Matematika IV - Univerzita Karlova · 2017. 3. 5. · Matematika IV Frisch a Samuelson: Systém je dynamický, jestliže jeho chování v case jeˇ urceno funkcionální rovnicí,](https://reader035.vdocuments.net/reader035/viewer/2022062318/6118abe19b3c31793b34eaa3/html5/thumbnails/78.jpg)
XVI. Lineární diferenciální rovnice
DefiniceLineární diferenciální rovnicí n-tého rádu rozumímerovnici
y (n)(t)+an−1(t)y (n−1)(t)+ · · ·+a1(t)y ′(t)+a0(t)y(t) = f (t),(8)
kde a0, . . . ,an−1 a f jsou funkce spojité na danémintervalu (a,b).Homogenní rovnicí príslušnou k rovnici (8) rozumímerovnici
y (n)(t) + an−1(t)y (n−1)(t) + · · ·+ a1(t)y ′(t) + a0(t)y(t) = 0.(9)
Matematika IV XVI. Lineární diferenciální rovnice
![Page 79: Matematika IV - Univerzita Karlova · 2017. 3. 5. · Matematika IV Frisch a Samuelson: Systém je dynamický, jestliže jeho chování v case jeˇ urceno funkcionální rovnicí,](https://reader035.vdocuments.net/reader035/viewer/2022062318/6118abe19b3c31793b34eaa3/html5/thumbnails/79.jpg)
XVI. Lineární diferenciální rovnice
DefiniceLineární diferenciální rovnicí n-tého rádu rozumímerovnici
y (n)(t)+an−1(t)y (n−1)(t)+ · · ·+a1(t)y ′(t)+a0(t)y(t) = f (t),(8)
kde a0, . . . ,an−1 a f jsou funkce spojité na danémintervalu (a,b).
Homogenní rovnicí príslušnou k rovnici (8) rozumímerovnici
y (n)(t) + an−1(t)y (n−1)(t) + · · ·+ a1(t)y ′(t) + a0(t)y(t) = 0.(9)
Matematika IV XVI. Lineární diferenciální rovnice
![Page 80: Matematika IV - Univerzita Karlova · 2017. 3. 5. · Matematika IV Frisch a Samuelson: Systém je dynamický, jestliže jeho chování v case jeˇ urceno funkcionální rovnicí,](https://reader035.vdocuments.net/reader035/viewer/2022062318/6118abe19b3c31793b34eaa3/html5/thumbnails/80.jpg)
XVI. Lineární diferenciální rovnice
DefiniceLineární diferenciální rovnicí n-tého rádu rozumímerovnici
y (n)(t)+an−1(t)y (n−1)(t)+ · · ·+a1(t)y ′(t)+a0(t)y(t) = f (t),(8)
kde a0, . . . ,an−1 a f jsou funkce spojité na danémintervalu (a,b).Homogenní rovnicí príslušnou k rovnici (8) rozumímerovnici
y (n)(t) + an−1(t)y (n−1)(t) + · · ·+ a1(t)y ′(t) + a0(t)y(t) = 0.(9)
Matematika IV XVI. Lineární diferenciální rovnice
![Page 81: Matematika IV - Univerzita Karlova · 2017. 3. 5. · Matematika IV Frisch a Samuelson: Systém je dynamický, jestliže jeho chování v case jeˇ urceno funkcionální rovnicí,](https://reader035.vdocuments.net/reader035/viewer/2022062318/6118abe19b3c31793b34eaa3/html5/thumbnails/81.jpg)
Každé rešení rovnice (8) je trídy Cn.
Zobrazení L : Cn(a,b)→ C(a,b),
L(y) = y (n) + an−1y (n−1) + · · ·+ a1y ′ + a0y
je lineární.
Matematika IV XVI. Lineární diferenciální rovnice
![Page 82: Matematika IV - Univerzita Karlova · 2017. 3. 5. · Matematika IV Frisch a Samuelson: Systém je dynamický, jestliže jeho chování v case jeˇ urceno funkcionální rovnicí,](https://reader035.vdocuments.net/reader035/viewer/2022062318/6118abe19b3c31793b34eaa3/html5/thumbnails/82.jpg)
Každé rešení rovnice (8) je trídy Cn.Zobrazení L : Cn(a,b)→ C(a,b),
L(y) = y (n) + an−1y (n−1) + · · ·+ a1y ′ + a0y
je lineární.
Matematika IV XVI. Lineární diferenciální rovnice
![Page 83: Matematika IV - Univerzita Karlova · 2017. 3. 5. · Matematika IV Frisch a Samuelson: Systém je dynamický, jestliže jeho chování v case jeˇ urceno funkcionální rovnicí,](https://reader035.vdocuments.net/reader035/viewer/2022062318/6118abe19b3c31793b34eaa3/html5/thumbnails/83.jpg)
XVI.1. Struktura prostoru rešení
XVI.1. Struktura prostoru rešení
Veta 9Necht’ t0 ∈ (a,b) a z0, . . . , zn−1 ∈ R. Pak existuje právejedno maximální rešení y rovnice (8), které splnujepodmínky
y(t0) = z0, y ′(t0) = z1, . . . , y (n−1)(t0) = zn−1.
Toto rešení je navíc definováno na celém intervalu (a,b).
Matematika IV XVI. Lineární diferenciální rovnice
![Page 84: Matematika IV - Univerzita Karlova · 2017. 3. 5. · Matematika IV Frisch a Samuelson: Systém je dynamický, jestliže jeho chování v case jeˇ urceno funkcionální rovnicí,](https://reader035.vdocuments.net/reader035/viewer/2022062318/6118abe19b3c31793b34eaa3/html5/thumbnails/84.jpg)
XVI.1. Struktura prostoru rešení
XVI.1. Struktura prostoru rešení
Veta 9Necht’ t0 ∈ (a,b) a z0, . . . , zn−1 ∈ R. Pak existuje právejedno maximální rešení y rovnice (8), které splnujepodmínky
y(t0) = z0, y ′(t0) = z1, . . . , y (n−1)(t0) = zn−1.
Toto rešení je navíc definováno na celém intervalu (a,b).
Matematika IV XVI. Lineární diferenciální rovnice
![Page 85: Matematika IV - Univerzita Karlova · 2017. 3. 5. · Matematika IV Frisch a Samuelson: Systém je dynamický, jestliže jeho chování v case jeˇ urceno funkcionální rovnicí,](https://reader035.vdocuments.net/reader035/viewer/2022062318/6118abe19b3c31793b34eaa3/html5/thumbnails/85.jpg)
XVI.1. Struktura prostoru rešení
Veta 10(i) Množina všech maximálních rešení rovnice (9) tvorí
vektorový podprostor prostoru Cn((a,b)) dimenze n.
(ii) Necht’ yp je nejaké maximální rešení rovnice (8). Pakmnožina všech maximálních rešení rovnice (8) mátvar{
yp+yh; yh je rešením rovnice (9) na intervalu (a,b)}.
Matematika IV XVI. Lineární diferenciální rovnice
![Page 86: Matematika IV - Univerzita Karlova · 2017. 3. 5. · Matematika IV Frisch a Samuelson: Systém je dynamický, jestliže jeho chování v case jeˇ urceno funkcionální rovnicí,](https://reader035.vdocuments.net/reader035/viewer/2022062318/6118abe19b3c31793b34eaa3/html5/thumbnails/86.jpg)
XVI.1. Struktura prostoru rešení
Veta 10(i) Množina všech maximálních rešení rovnice (9) tvorí
vektorový podprostor prostoru Cn((a,b)) dimenze n.(ii) Necht’ yp je nejaké maximální rešení rovnice (8). Pak
množina všech maximálních rešení rovnice (8) mátvar{
yp+yh; yh je rešením rovnice (9) na intervalu (a,b)}.
Matematika IV XVI. Lineární diferenciální rovnice
![Page 87: Matematika IV - Univerzita Karlova · 2017. 3. 5. · Matematika IV Frisch a Samuelson: Systém je dynamický, jestliže jeho chování v case jeˇ urceno funkcionální rovnicí,](https://reader035.vdocuments.net/reader035/viewer/2022062318/6118abe19b3c31793b34eaa3/html5/thumbnails/87.jpg)
XVI.1. Struktura prostoru rešení
PoznámkaBáze prostoru maximálních rešení rovnice (9) senazývá fundamentální systém rešení rovnice (9).
Jsou-li funkce y1, . . . , yn lineárne nezávislá maximálnírešení rovnice (9), pak již tvorí fundamentální systém.Abychom vyrešili nehomogenní rovnici (8), najdemefundamentální systém y1, . . . , yn pro rovnici (9)a jedno („partikulární“) rešení yp rovnice (8).Všechna rešení rovnice (8) pak budou mít tvary = yp + c1y1 + · · ·+ cnyn, kde c1, . . . , cn ∈ R.
Matematika IV XVI. Lineární diferenciální rovnice
![Page 88: Matematika IV - Univerzita Karlova · 2017. 3. 5. · Matematika IV Frisch a Samuelson: Systém je dynamický, jestliže jeho chování v case jeˇ urceno funkcionální rovnicí,](https://reader035.vdocuments.net/reader035/viewer/2022062318/6118abe19b3c31793b34eaa3/html5/thumbnails/88.jpg)
XVI.1. Struktura prostoru rešení
PoznámkaBáze prostoru maximálních rešení rovnice (9) senazývá fundamentální systém rešení rovnice (9).Jsou-li funkce y1, . . . , yn lineárne nezávislá maximálnírešení rovnice (9), pak již tvorí fundamentální systém.
Abychom vyrešili nehomogenní rovnici (8), najdemefundamentální systém y1, . . . , yn pro rovnici (9)a jedno („partikulární“) rešení yp rovnice (8).Všechna rešení rovnice (8) pak budou mít tvary = yp + c1y1 + · · ·+ cnyn, kde c1, . . . , cn ∈ R.
Matematika IV XVI. Lineární diferenciální rovnice
![Page 89: Matematika IV - Univerzita Karlova · 2017. 3. 5. · Matematika IV Frisch a Samuelson: Systém je dynamický, jestliže jeho chování v case jeˇ urceno funkcionální rovnicí,](https://reader035.vdocuments.net/reader035/viewer/2022062318/6118abe19b3c31793b34eaa3/html5/thumbnails/89.jpg)
XVI.1. Struktura prostoru rešení
PoznámkaBáze prostoru maximálních rešení rovnice (9) senazývá fundamentální systém rešení rovnice (9).Jsou-li funkce y1, . . . , yn lineárne nezávislá maximálnírešení rovnice (9), pak již tvorí fundamentální systém.Abychom vyrešili nehomogenní rovnici (8), najdemefundamentální systém y1, . . . , yn pro rovnici (9)a jedno („partikulární“) rešení yp rovnice (8).Všechna rešení rovnice (8) pak budou mít tvary = yp + c1y1 + · · ·+ cnyn, kde c1, . . . , cn ∈ R.
Matematika IV XVI. Lineární diferenciální rovnice
![Page 90: Matematika IV - Univerzita Karlova · 2017. 3. 5. · Matematika IV Frisch a Samuelson: Systém je dynamický, jestliže jeho chování v case jeˇ urceno funkcionální rovnicí,](https://reader035.vdocuments.net/reader035/viewer/2022062318/6118abe19b3c31793b34eaa3/html5/thumbnails/90.jpg)
XVI.2. Metoda variace konstant
XVI.3. Metoda variace konstant
Veta 11 (variace konstant)Necht’ funkce y1, . . . , yn tvorí fundamentální systém rešenírovnice (9). Existují-li funkce c1, . . . , cn mající na (a,b)vlastní derivaci a splnující soustavu rovnic
c′1y1 + · · ·+ c′nyn = 0...
c′1y (n−2)1 + · · ·+ c′ny (n−2)
n = 0
c′1y (n−1)1 + · · ·+ c′ny (n−1)
n = f
na intervalu (a,b), pak funkceyp(t) = c1(t)y1(t) + · · ·+ cn(t)yn(t), t ∈ (a,b), je rešenímrovnice (8).
Matematika IV XVI. Lineární diferenciální rovnice
![Page 91: Matematika IV - Univerzita Karlova · 2017. 3. 5. · Matematika IV Frisch a Samuelson: Systém je dynamický, jestliže jeho chování v case jeˇ urceno funkcionální rovnicí,](https://reader035.vdocuments.net/reader035/viewer/2022062318/6118abe19b3c31793b34eaa3/html5/thumbnails/91.jpg)
XVI.2. Metoda variace konstant
Veta 11 (variace konstant)Necht’ funkce y1, . . . , yn tvorí fundamentální systém rešenírovnice (9). Existují-li funkce c1, . . . , cn mající na (a,b)vlastní derivaci a splnující soustavu rovnic
c′1y1 + · · ·+ c′nyn = 0...
c′1y (n−2)1 + · · ·+ c′ny (n−2)
n = 0
c′1y (n−1)1 + · · ·+ c′ny (n−1)
n = f
na intervalu (a,b), pak funkceyp(t) = c1(t)y1(t) + · · ·+ cn(t)yn(t), t ∈ (a,b), je rešenímrovnice (8).
Matematika IV XVI. Lineární diferenciální rovnice
![Page 92: Matematika IV - Univerzita Karlova · 2017. 3. 5. · Matematika IV Frisch a Samuelson: Systém je dynamický, jestliže jeho chování v case jeˇ urceno funkcionální rovnicí,](https://reader035.vdocuments.net/reader035/viewer/2022062318/6118abe19b3c31793b34eaa3/html5/thumbnails/92.jpg)
XVI.2. Metoda variace konstant
DefiniceNecht’ funkce y1, . . . , yn tvorí fundamentální systém rešenírovnice (9). Pak matici (ci presneji maticovou funkci)
U(t) =
y1(t) y2(t) . . . yn(t)y ′1(t) y ′2(t) . . . y ′n(t)...
.... . .
...
y (n−1)1 (t) y (n−1)
2 (t) . . . y (n−1)n (t)
, t ∈ (a,b)
nazýváme fundamentální maticí rovnice (9).
Veta 12Necht’ U(t) je fundamentální maticí rovnice (9). Pakmatice U(t) je regulární pro každé t ∈ (a,b).
Matematika IV XVI. Lineární diferenciální rovnice
![Page 93: Matematika IV - Univerzita Karlova · 2017. 3. 5. · Matematika IV Frisch a Samuelson: Systém je dynamický, jestliže jeho chování v case jeˇ urceno funkcionální rovnicí,](https://reader035.vdocuments.net/reader035/viewer/2022062318/6118abe19b3c31793b34eaa3/html5/thumbnails/93.jpg)
XVI.2. Metoda variace konstant
DefiniceNecht’ funkce y1, . . . , yn tvorí fundamentální systém rešenírovnice (9). Pak matici (ci presneji maticovou funkci)
U(t) =
y1(t) y2(t) . . . yn(t)y ′1(t) y ′2(t) . . . y ′n(t)...
.... . .
...
y (n−1)1 (t) y (n−1)
2 (t) . . . y (n−1)n (t)
, t ∈ (a,b)
nazýváme fundamentální maticí rovnice (9).
Veta 12Necht’ U(t) je fundamentální maticí rovnice (9). Pakmatice U(t) je regulární pro každé t ∈ (a,b).
Matematika IV XVI. Lineární diferenciální rovnice
![Page 94: Matematika IV - Univerzita Karlova · 2017. 3. 5. · Matematika IV Frisch a Samuelson: Systém je dynamický, jestliže jeho chování v case jeˇ urceno funkcionální rovnicí,](https://reader035.vdocuments.net/reader035/viewer/2022062318/6118abe19b3c31793b34eaa3/html5/thumbnails/94.jpg)
XVI.3. Rovnice s konstantními koeficienty
XVI.3. Rovnice s konstantními koeficienty
DefiniceLineární diferenciální rovnicí n-tého rádu s konstantnímikoeficenty rozumíme rovnici
y (n)(t) + an−1y (n−1)(t) + · · ·+ a1y ′(t) + a0y(t) = f (t), (10)
kde a0, . . . ,an−1 ∈ R a f je funkce spojitá na danémintervalu (a,b).Homogenní rovnicí príslušnou k rovnici (10) rozumímerovnici
y (n)(t) + an−1y (n−1) + · · ·+ a1y ′(t) + a0y(t) = 0. (11)
Matematika IV XVI. Lineární diferenciální rovnice
![Page 95: Matematika IV - Univerzita Karlova · 2017. 3. 5. · Matematika IV Frisch a Samuelson: Systém je dynamický, jestliže jeho chování v case jeˇ urceno funkcionální rovnicí,](https://reader035.vdocuments.net/reader035/viewer/2022062318/6118abe19b3c31793b34eaa3/html5/thumbnails/95.jpg)
XVI.3. Rovnice s konstantními koeficienty
XVI.3. Rovnice s konstantními koeficienty
DefiniceLineární diferenciální rovnicí n-tého rádu s konstantnímikoeficenty rozumíme rovnici
y (n)(t) + an−1y (n−1)(t) + · · ·+ a1y ′(t) + a0y(t) = f (t), (10)
kde a0, . . . ,an−1 ∈ R a f je funkce spojitá na danémintervalu (a,b).
Homogenní rovnicí príslušnou k rovnici (10) rozumímerovnici
y (n)(t) + an−1y (n−1) + · · ·+ a1y ′(t) + a0y(t) = 0. (11)
Matematika IV XVI. Lineární diferenciální rovnice
![Page 96: Matematika IV - Univerzita Karlova · 2017. 3. 5. · Matematika IV Frisch a Samuelson: Systém je dynamický, jestliže jeho chování v case jeˇ urceno funkcionální rovnicí,](https://reader035.vdocuments.net/reader035/viewer/2022062318/6118abe19b3c31793b34eaa3/html5/thumbnails/96.jpg)
XVI.3. Rovnice s konstantními koeficienty
XVI.3. Rovnice s konstantními koeficienty
DefiniceLineární diferenciální rovnicí n-tého rádu s konstantnímikoeficenty rozumíme rovnici
y (n)(t) + an−1y (n−1)(t) + · · ·+ a1y ′(t) + a0y(t) = f (t), (10)
kde a0, . . . ,an−1 ∈ R a f je funkce spojitá na danémintervalu (a,b).Homogenní rovnicí príslušnou k rovnici (10) rozumímerovnici
y (n)(t) + an−1y (n−1) + · · ·+ a1y ′(t) + a0y(t) = 0. (11)
Matematika IV XVI. Lineární diferenciální rovnice
![Page 97: Matematika IV - Univerzita Karlova · 2017. 3. 5. · Matematika IV Frisch a Samuelson: Systém je dynamický, jestliže jeho chování v case jeˇ urceno funkcionální rovnicí,](https://reader035.vdocuments.net/reader035/viewer/2022062318/6118abe19b3c31793b34eaa3/html5/thumbnails/97.jpg)
XVI.3. Rovnice s konstantními koeficienty
PoznámkaMaximální rešení rovnice (11) jsou definována nacelém R.
DefiniceCharakteristickým polynomem rovnice (11) rozumímepolynom
χ(λ) = λn + an−1λn−1 + · · ·+ a1λ+ a0.
Matematika IV XVI. Lineární diferenciální rovnice
![Page 98: Matematika IV - Univerzita Karlova · 2017. 3. 5. · Matematika IV Frisch a Samuelson: Systém je dynamický, jestliže jeho chování v case jeˇ urceno funkcionální rovnicí,](https://reader035.vdocuments.net/reader035/viewer/2022062318/6118abe19b3c31793b34eaa3/html5/thumbnails/98.jpg)
XVI.3. Rovnice s konstantními koeficienty
PoznámkaMaximální rešení rovnice (11) jsou definována nacelém R.
DefiniceCharakteristickým polynomem rovnice (11) rozumímepolynom
χ(λ) = λn + an−1λn−1 + · · ·+ a1λ+ a0.
Matematika IV XVI. Lineární diferenciální rovnice
![Page 99: Matematika IV - Univerzita Karlova · 2017. 3. 5. · Matematika IV Frisch a Samuelson: Systém je dynamický, jestliže jeho chování v case jeˇ urceno funkcionální rovnicí,](https://reader035.vdocuments.net/reader035/viewer/2022062318/6118abe19b3c31793b34eaa3/html5/thumbnails/99.jpg)
XVI.3. Rovnice s konstantními koeficienty
Veta 13 (tvar fundamentálního systému)Necht’ λ1, . . . , λs jsou všechny navzájem ruzné reálnékoreny polynomu χ s násobnostmi r1, . . . , rs. Necht’α1 + β1i , . . . , αl + βl i jsou všechny navzájem ruzné korenypolynomu χ s kladnou imaginární cástí a násobnostmiq1, . . . ,ql , kde α1, . . . , αl , β1, . . . , βl ∈ R. Pak následujícífunkce tvorí fundamentální systém rešení rovnice (11):
eλ1t , teλ1t , . . . t r1−1eλ1t ,...
eλs t , teλs t , . . . t rs−1eλs t ,eα1t cos β1t , teα1t cos β1t , . . . tq1−1eα1t cos β1t ,eα1t sin β1t , teα1t sin β1t , . . . tq1−1eα1t sin β1t ,
...eαl t cos βl t , teαl t cos βl t , . . . tql−1eαl t cos βl t ,eαl t sin βl t , teαl t sin βl t , . . . tql−1eαl t sin βl t
Matematika IV XVI. Lineární diferenciální rovnice
![Page 100: Matematika IV - Univerzita Karlova · 2017. 3. 5. · Matematika IV Frisch a Samuelson: Systém je dynamický, jestliže jeho chování v case jeˇ urceno funkcionální rovnicí,](https://reader035.vdocuments.net/reader035/viewer/2022062318/6118abe19b3c31793b34eaa3/html5/thumbnails/100.jpg)
XVI.3. Rovnice s konstantními koeficienty
Veta 14 (speciální pravá strana)Necht’
f (t) = eµt · (P(t) cos νt + Q(t) sin νt) , t ∈ R,
kde µ, ν ∈ R a P,Q jsou polynomy. Pak existuje rešenírovnice (10) ve tvaru
yp(t) = tmeµt · (R(t) cos νt + S(t) sin νt) , t ∈ R,
kde R,S jsou polynomy stupne ne vetšího nežmax{st P, st Q} a m ∈ N ∪ {0} udává, jakou násobnostmá císlo µ+ iν jakožto koren charakteristickéhopolynomu príslušné homogenní rovnice.
Matematika IV XVI. Lineární diferenciální rovnice
![Page 101: Matematika IV - Univerzita Karlova · 2017. 3. 5. · Matematika IV Frisch a Samuelson: Systém je dynamický, jestliže jeho chování v case jeˇ urceno funkcionální rovnicí,](https://reader035.vdocuments.net/reader035/viewer/2022062318/6118abe19b3c31793b34eaa3/html5/thumbnails/101.jpg)
XVII. Soustavy diferenciálních rovnic
Matematika IV XVII. Soustavy diferenciálních rovnic
![Page 102: Matematika IV - Univerzita Karlova · 2017. 3. 5. · Matematika IV Frisch a Samuelson: Systém je dynamický, jestliže jeho chování v case jeˇ urceno funkcionální rovnicí,](https://reader035.vdocuments.net/reader035/viewer/2022062318/6118abe19b3c31793b34eaa3/html5/thumbnails/102.jpg)
Matematika IV XVII. Soustavy diferenciálních rovnic
![Page 103: Matematika IV - Univerzita Karlova · 2017. 3. 5. · Matematika IV Frisch a Samuelson: Systém je dynamický, jestliže jeho chování v case jeˇ urceno funkcionální rovnicí,](https://reader035.vdocuments.net/reader035/viewer/2022062318/6118abe19b3c31793b34eaa3/html5/thumbnails/103.jpg)
0
20
40
60
80
y
20 40 60 80 100 120 140x
Matematika IV XVII. Soustavy diferenciálních rovnic
![Page 104: Matematika IV - Univerzita Karlova · 2017. 3. 5. · Matematika IV Frisch a Samuelson: Systém je dynamický, jestliže jeho chování v case jeˇ urceno funkcionální rovnicí,](https://reader035.vdocuments.net/reader035/viewer/2022062318/6118abe19b3c31793b34eaa3/html5/thumbnails/104.jpg)
0
20
40
60
80
y
20 40 60 80 100 120 140x
Matematika IV XVII. Soustavy diferenciálních rovnic
![Page 105: Matematika IV - Univerzita Karlova · 2017. 3. 5. · Matematika IV Frisch a Samuelson: Systém je dynamický, jestliže jeho chování v case jeˇ urceno funkcionální rovnicí,](https://reader035.vdocuments.net/reader035/viewer/2022062318/6118abe19b3c31793b34eaa3/html5/thumbnails/105.jpg)
0
20
40
60
80
y
20 40 60 80 100 120 140x
Matematika IV XVII. Soustavy diferenciálních rovnic
![Page 106: Matematika IV - Univerzita Karlova · 2017. 3. 5. · Matematika IV Frisch a Samuelson: Systém je dynamický, jestliže jeho chování v case jeˇ urceno funkcionální rovnicí,](https://reader035.vdocuments.net/reader035/viewer/2022062318/6118abe19b3c31793b34eaa3/html5/thumbnails/106.jpg)
Soustavou diferenciálních rovnic (prvního rádu) rozumímesoustavu
x ′1 = f1(t , x1, x2, . . . , xn),
x ′2 = f2(t , x1, x2, . . . , xn),
...
x ′n = fn(t , x1, x2, . . . , xn),
(12)
kde fi , i = 1, . . . ,n, jsou dané funkce definované naneprázdné otevrené množine G ⊂ R× Rn a hledanýmobjektem jsou funkce x1, . . . , xn definované na jistémotevreném intervalu.
Matematika IV XVII. Soustavy diferenciálních rovnic
![Page 107: Matematika IV - Univerzita Karlova · 2017. 3. 5. · Matematika IV Frisch a Samuelson: Systém je dynamický, jestliže jeho chování v case jeˇ urceno funkcionální rovnicí,](https://reader035.vdocuments.net/reader035/viewer/2022062318/6118abe19b3c31793b34eaa3/html5/thumbnails/107.jpg)
XVII.1. Základní pojmy, veta o existenci a jednoznacnosti
XVII.1. Základní pojmy, veta o existenci ajednoznacnosti
Vektorový tvar soustavy:
x ′ = f (t ,x), (13)
kde x = [x1, x2, . . . , xn], x ′ = [x ′1, x′2, . . . , x
′n] a
f = [f1, f2, . . . , fn].
Matematika IV XVII. Soustavy diferenciálních rovnic
![Page 108: Matematika IV - Univerzita Karlova · 2017. 3. 5. · Matematika IV Frisch a Samuelson: Systém je dynamický, jestliže jeho chování v case jeˇ urceno funkcionální rovnicí,](https://reader035.vdocuments.net/reader035/viewer/2022062318/6118abe19b3c31793b34eaa3/html5/thumbnails/108.jpg)
XVII.1. Základní pojmy, veta o existenci a jednoznacnosti
XVII.1. Základní pojmy, veta o existenci ajednoznacnosti
Vektorový tvar soustavy:
x ′ = f (t ,x), (13)
kde x = [x1, x2, . . . , xn], x ′ = [x ′1, x′2, . . . , x
′n] a
f = [f1, f2, . . . , fn].
Matematika IV XVII. Soustavy diferenciálních rovnic
![Page 109: Matematika IV - Univerzita Karlova · 2017. 3. 5. · Matematika IV Frisch a Samuelson: Systém je dynamický, jestliže jeho chování v case jeˇ urceno funkcionální rovnicí,](https://reader035.vdocuments.net/reader035/viewer/2022062318/6118abe19b3c31793b34eaa3/html5/thumbnails/109.jpg)
XVII.1. Základní pojmy, veta o existenci a jednoznacnosti
DefiniceRešením soustavy (12) rozumíme vektorovou funkcix = [x1, . . . , xn] definovanou na otevrenémneprázdném intervalu I ⊂ R s hodnotami v Rn
takovou, že pro každé t ∈ I existují vlastní derivacex ′1(t), . . . , x
′n(t), a platí x ′(t) = f
(t ,x(t)
).
Maximální rešení soustavy (12) je takové rešení xdefinované na intervalu I, které již nelze prodloužit, tj.je-li y rešení definované na intervalu J, I ⊂ J ay(t) = x(t) pro každé t ∈ I, pak J = I.Pocátecní úlohou pro (12) rozumíme úlohu, kdyhledáme rešení x soustavy (12) splnující navícpredem zadanou podmínku x(t0) = x0, kde[t0,x0] ∈ G (tzv. pocátecní podmínka).
Matematika IV XVII. Soustavy diferenciálních rovnic
![Page 110: Matematika IV - Univerzita Karlova · 2017. 3. 5. · Matematika IV Frisch a Samuelson: Systém je dynamický, jestliže jeho chování v case jeˇ urceno funkcionální rovnicí,](https://reader035.vdocuments.net/reader035/viewer/2022062318/6118abe19b3c31793b34eaa3/html5/thumbnails/110.jpg)
XVII.1. Základní pojmy, veta o existenci a jednoznacnosti
DefiniceRešením soustavy (12) rozumíme vektorovou funkcix = [x1, . . . , xn] definovanou na otevrenémneprázdném intervalu I ⊂ R s hodnotami v Rn
takovou, že pro každé t ∈ I existují vlastní derivacex ′1(t), . . . , x
′n(t), a platí x ′(t) = f
(t ,x(t)
).
Maximální rešení soustavy (12) je takové rešení xdefinované na intervalu I, které již nelze prodloužit, tj.je-li y rešení definované na intervalu J, I ⊂ J ay(t) = x(t) pro každé t ∈ I, pak J = I.
Pocátecní úlohou pro (12) rozumíme úlohu, kdyhledáme rešení x soustavy (12) splnující navícpredem zadanou podmínku x(t0) = x0, kde[t0,x0] ∈ G (tzv. pocátecní podmínka).
Matematika IV XVII. Soustavy diferenciálních rovnic
![Page 111: Matematika IV - Univerzita Karlova · 2017. 3. 5. · Matematika IV Frisch a Samuelson: Systém je dynamický, jestliže jeho chování v case jeˇ urceno funkcionální rovnicí,](https://reader035.vdocuments.net/reader035/viewer/2022062318/6118abe19b3c31793b34eaa3/html5/thumbnails/111.jpg)
XVII.1. Základní pojmy, veta o existenci a jednoznacnosti
DefiniceRešením soustavy (12) rozumíme vektorovou funkcix = [x1, . . . , xn] definovanou na otevrenémneprázdném intervalu I ⊂ R s hodnotami v Rn
takovou, že pro každé t ∈ I existují vlastní derivacex ′1(t), . . . , x
′n(t), a platí x ′(t) = f
(t ,x(t)
).
Maximální rešení soustavy (12) je takové rešení xdefinované na intervalu I, které již nelze prodloužit, tj.je-li y rešení definované na intervalu J, I ⊂ J ay(t) = x(t) pro každé t ∈ I, pak J = I.Pocátecní úlohou pro (12) rozumíme úlohu, kdyhledáme rešení x soustavy (12) splnující navícpredem zadanou podmínku x(t0) = x0, kde[t0,x0] ∈ G (tzv. pocátecní podmínka).
Matematika IV XVII. Soustavy diferenciálních rovnic
![Page 112: Matematika IV - Univerzita Karlova · 2017. 3. 5. · Matematika IV Frisch a Samuelson: Systém je dynamický, jestliže jeho chování v case jeˇ urceno funkcionální rovnicí,](https://reader035.vdocuments.net/reader035/viewer/2022062318/6118abe19b3c31793b34eaa3/html5/thumbnails/112.jpg)
XVII.1. Základní pojmy, veta o existenci a jednoznacnosti
Veta 15 (Peanova veta o existenci rešení)Necht’ G ⊂ R× Rn je otevrená neprázdná množina af : G→ Rn je spojitá na G. Pak pro každé [t0,x0] ∈ Gexistuje maximální rešení x rovnice (13) splnujícíx(t0) = x0.
Matematika IV XVII. Soustavy diferenciálních rovnic
![Page 113: Matematika IV - Univerzita Karlova · 2017. 3. 5. · Matematika IV Frisch a Samuelson: Systém je dynamický, jestliže jeho chování v case jeˇ urceno funkcionální rovnicí,](https://reader035.vdocuments.net/reader035/viewer/2022062318/6118abe19b3c31793b34eaa3/html5/thumbnails/113.jpg)
XVII.1. Základní pojmy, veta o existenci a jednoznacnosti
Veta 16 (o existenci a jednoznacnosti rešení)Necht’ G ⊂ R× Rn je otevrená neprázdná množinaa f : G→ Rn je spojitá na G a navíc splnuje následujícípodmínku:(D) Pro každé i ∈ {1, . . . ,n} platí, že parciální derivace fi
podle druhé, tretí, . . . , (n + 1)-ní promenné (tj.∂fi∂x1, . . . , ∂fi
∂xn) jsou spojité na G.
Jestliže [t0,x0] ∈ G, potom existuje práve jednomaximální rešení x rovnice (13) splnující x(t0) = x0.
Matematika IV XVII. Soustavy diferenciálních rovnic
![Page 114: Matematika IV - Univerzita Karlova · 2017. 3. 5. · Matematika IV Frisch a Samuelson: Systém je dynamický, jestliže jeho chování v case jeˇ urceno funkcionální rovnicí,](https://reader035.vdocuments.net/reader035/viewer/2022062318/6118abe19b3c31793b34eaa3/html5/thumbnails/114.jpg)
XVII.2. Vlastnosti maximálních rešení
XVII.2. Vlastnosti maximálních rešení
Veta 17 (opouštení kompaktu)Necht’ G ⊂ R× Rn je neprázdná a otevrená množina,zobrazení f : G→ Rn je spojité, x je maximální rešenírovnice (13) definované na intervalu (α, β), t0 ∈ (α, β),K ⊂ G je kompaktní a [t0,x(t0)] ∈ K . Pak existujíτ1 ∈ (α, t0) a τ2 ∈ (t0, β) taková, že [τ1,x(τ1)] /∈ Ka [τ2,x(τ2)] /∈ K .
Matematika IV XVII. Soustavy diferenciálních rovnic
![Page 115: Matematika IV - Univerzita Karlova · 2017. 3. 5. · Matematika IV Frisch a Samuelson: Systém je dynamický, jestliže jeho chování v case jeˇ urceno funkcionální rovnicí,](https://reader035.vdocuments.net/reader035/viewer/2022062318/6118abe19b3c31793b34eaa3/html5/thumbnails/115.jpg)
XVII.2. Vlastnosti maximálních rešení
XVII.2. Vlastnosti maximálních rešení
Veta 17 (opouštení kompaktu)Necht’ G ⊂ R× Rn je neprázdná a otevrená množina,zobrazení f : G→ Rn je spojité, x je maximální rešenírovnice (13) definované na intervalu (α, β), t0 ∈ (α, β),K ⊂ G je kompaktní a [t0,x(t0)] ∈ K . Pak existujíτ1 ∈ (α, t0) a τ2 ∈ (t0, β) taková, že [τ1,x(τ1)] /∈ Ka [τ2,x(τ2)] /∈ K .
Matematika IV XVII. Soustavy diferenciálních rovnic
![Page 116: Matematika IV - Univerzita Karlova · 2017. 3. 5. · Matematika IV Frisch a Samuelson: Systém je dynamický, jestliže jeho chování v case jeˇ urceno funkcionální rovnicí,](https://reader035.vdocuments.net/reader035/viewer/2022062318/6118abe19b3c31793b34eaa3/html5/thumbnails/116.jpg)
XVII.2. Vlastnosti maximálních rešení
Lemma 18Necht’ a,b ∈ R, a < b, a funkce g je definovaná naintervalu (a,b). Funkce g má v bode b zleva vlastní limitupráve tehdy, když splnuje Bolzanovu-Cauchyovupodmínku
∀ε ∈ R, ε > 0 ∃δ ∈ R, δ > 0 ∀s, t ∈ P−(b, δ) : |g(t)− g(s)| < ε.
Matematika IV XVII. Soustavy diferenciálních rovnic
![Page 117: Matematika IV - Univerzita Karlova · 2017. 3. 5. · Matematika IV Frisch a Samuelson: Systém je dynamický, jestliže jeho chování v case jeˇ urceno funkcionální rovnicí,](https://reader035.vdocuments.net/reader035/viewer/2022062318/6118abe19b3c31793b34eaa3/html5/thumbnails/117.jpg)
XVII.2. Vlastnosti maximálních rešení
Veta 19 (spojitá závislost na pocátecníchpodmínkách)Necht’ G ⊂ R× Rn je neprázdná otevrená množina,f : G→ Rn je spojité a splnuje na G podmínku (D)z Vety 16.
Necht’ x je maximální rešení soustavy (13)definované na (α, β) a t0 ∈ (α, β). Necht’ dále〈τ1, τ2〉 ⊂ (α, β) je uzavrený interval obsahující t0. Pak prokaždé ε > 0 existuje δ > 0 takové, že pro každé y0 ∈ Rn
splnující ‖y0 − x(t0)‖ < δ platí: Každé maximální rešení ysoustavy (13) splnující pocátecní podmínku y(t0) = y0 jedefinované na intervalu obsahujícím 〈τ1, τ2〉 a platí‖x(t)− y(t)‖ < ε pro každé t ∈ 〈τ1, τ2〉.
Matematika IV XVII. Soustavy diferenciálních rovnic
![Page 118: Matematika IV - Univerzita Karlova · 2017. 3. 5. · Matematika IV Frisch a Samuelson: Systém je dynamický, jestliže jeho chování v case jeˇ urceno funkcionální rovnicí,](https://reader035.vdocuments.net/reader035/viewer/2022062318/6118abe19b3c31793b34eaa3/html5/thumbnails/118.jpg)
XVII.2. Vlastnosti maximálních rešení
Veta 19 (spojitá závislost na pocátecníchpodmínkách)Necht’ G ⊂ R× Rn je neprázdná otevrená množina,f : G→ Rn je spojité a splnuje na G podmínku (D)z Vety 16. Necht’ x je maximální rešení soustavy (13)definované na (α, β) a t0 ∈ (α, β).
Necht’ dále〈τ1, τ2〉 ⊂ (α, β) je uzavrený interval obsahující t0. Pak prokaždé ε > 0 existuje δ > 0 takové, že pro každé y0 ∈ Rn
splnující ‖y0 − x(t0)‖ < δ platí: Každé maximální rešení ysoustavy (13) splnující pocátecní podmínku y(t0) = y0 jedefinované na intervalu obsahujícím 〈τ1, τ2〉 a platí‖x(t)− y(t)‖ < ε pro každé t ∈ 〈τ1, τ2〉.
Matematika IV XVII. Soustavy diferenciálních rovnic
![Page 119: Matematika IV - Univerzita Karlova · 2017. 3. 5. · Matematika IV Frisch a Samuelson: Systém je dynamický, jestliže jeho chování v case jeˇ urceno funkcionální rovnicí,](https://reader035.vdocuments.net/reader035/viewer/2022062318/6118abe19b3c31793b34eaa3/html5/thumbnails/119.jpg)
XVII.2. Vlastnosti maximálních rešení
Veta 19 (spojitá závislost na pocátecníchpodmínkách)Necht’ G ⊂ R× Rn je neprázdná otevrená množina,f : G→ Rn je spojité a splnuje na G podmínku (D)z Vety 16. Necht’ x je maximální rešení soustavy (13)definované na (α, β) a t0 ∈ (α, β). Necht’ dále〈τ1, τ2〉 ⊂ (α, β) je uzavrený interval obsahující t0.
Pak prokaždé ε > 0 existuje δ > 0 takové, že pro každé y0 ∈ Rn
splnující ‖y0 − x(t0)‖ < δ platí: Každé maximální rešení ysoustavy (13) splnující pocátecní podmínku y(t0) = y0 jedefinované na intervalu obsahujícím 〈τ1, τ2〉 a platí‖x(t)− y(t)‖ < ε pro každé t ∈ 〈τ1, τ2〉.
Matematika IV XVII. Soustavy diferenciálních rovnic
![Page 120: Matematika IV - Univerzita Karlova · 2017. 3. 5. · Matematika IV Frisch a Samuelson: Systém je dynamický, jestliže jeho chování v case jeˇ urceno funkcionální rovnicí,](https://reader035.vdocuments.net/reader035/viewer/2022062318/6118abe19b3c31793b34eaa3/html5/thumbnails/120.jpg)
XVII.2. Vlastnosti maximálních rešení
Veta 19 (spojitá závislost na pocátecníchpodmínkách)Necht’ G ⊂ R× Rn je neprázdná otevrená množina,f : G→ Rn je spojité a splnuje na G podmínku (D)z Vety 16. Necht’ x je maximální rešení soustavy (13)definované na (α, β) a t0 ∈ (α, β). Necht’ dále〈τ1, τ2〉 ⊂ (α, β) je uzavrený interval obsahující t0. Pak prokaždé ε > 0 existuje δ > 0 takové, že pro každé y0 ∈ Rn
splnující ‖y0 − x(t0)‖ < δ platí:
Každé maximální rešení ysoustavy (13) splnující pocátecní podmínku y(t0) = y0 jedefinované na intervalu obsahujícím 〈τ1, τ2〉 a platí‖x(t)− y(t)‖ < ε pro každé t ∈ 〈τ1, τ2〉.
Matematika IV XVII. Soustavy diferenciálních rovnic
![Page 121: Matematika IV - Univerzita Karlova · 2017. 3. 5. · Matematika IV Frisch a Samuelson: Systém je dynamický, jestliže jeho chování v case jeˇ urceno funkcionální rovnicí,](https://reader035.vdocuments.net/reader035/viewer/2022062318/6118abe19b3c31793b34eaa3/html5/thumbnails/121.jpg)
XVII.2. Vlastnosti maximálních rešení
Veta 19 (spojitá závislost na pocátecníchpodmínkách)Necht’ G ⊂ R× Rn je neprázdná otevrená množina,f : G→ Rn je spojité a splnuje na G podmínku (D)z Vety 16. Necht’ x je maximální rešení soustavy (13)definované na (α, β) a t0 ∈ (α, β). Necht’ dále〈τ1, τ2〉 ⊂ (α, β) je uzavrený interval obsahující t0. Pak prokaždé ε > 0 existuje δ > 0 takové, že pro každé y0 ∈ Rn
splnující ‖y0 − x(t0)‖ < δ platí: Každé maximální rešení ysoustavy (13) splnující pocátecní podmínku y(t0) = y0 jedefinované na intervalu obsahujícím 〈τ1, τ2〉 a platí‖x(t)− y(t)‖ < ε pro každé t ∈ 〈τ1, τ2〉.
Matematika IV XVII. Soustavy diferenciálních rovnic
![Page 122: Matematika IV - Univerzita Karlova · 2017. 3. 5. · Matematika IV Frisch a Samuelson: Systém je dynamický, jestliže jeho chování v case jeˇ urceno funkcionální rovnicí,](https://reader035.vdocuments.net/reader035/viewer/2022062318/6118abe19b3c31793b34eaa3/html5/thumbnails/122.jpg)
XVII.2. Vlastnosti maximálních rešení
Lemma 20 (ekvivalence diferenciální a integrálnírovnice)Necht’ G ⊂ R× Rn je otevrená, f : G→ Rn je spojitézobrazení, (α, β) ⊂ R, t0 ∈ (α, β) a [t0,x0] ∈ G. Spojitávektorová funkce x : (α, β)→ Rn je rešením rovnice (13) spocátecní podmínkou x(t0) = x0, práve když pro každét ∈ (α, β) splnuje rovnici
x(t) = x0 +
∫ t
t0f (s,x(s)) ds.
Matematika IV XVII. Soustavy diferenciálních rovnic
![Page 123: Matematika IV - Univerzita Karlova · 2017. 3. 5. · Matematika IV Frisch a Samuelson: Systém je dynamický, jestliže jeho chování v case jeˇ urceno funkcionální rovnicí,](https://reader035.vdocuments.net/reader035/viewer/2022062318/6118abe19b3c31793b34eaa3/html5/thumbnails/123.jpg)
XVII.2. Vlastnosti maximálních rešení
Lemma 21 (Gronwall)Necht’ funkce u je spojitá na intervalu 〈t0, t1), t0 ∈ R,t1 ∈ R∗. Necht’ existují císla a, α, β ∈ R, α > 0, β ≥ 0taková, že
u(t) ≤ a +
∫ t
t0(αu(s) + β) ds, t ∈ 〈t0, t1).
Paku(t) ≤
(a +
β
α
)eα(t−t0), t ∈ 〈t0, t1).
Matematika IV XVII. Soustavy diferenciálních rovnic
![Page 124: Matematika IV - Univerzita Karlova · 2017. 3. 5. · Matematika IV Frisch a Samuelson: Systém je dynamický, jestliže jeho chování v case jeˇ urceno funkcionální rovnicí,](https://reader035.vdocuments.net/reader035/viewer/2022062318/6118abe19b3c31793b34eaa3/html5/thumbnails/124.jpg)
XVII.2. Vlastnosti maximálních rešení
Lemma 22Necht’ a,b ∈ R, a < b, x : 〈a,b〉 → Rn je spojitáa G ⊂ R× Rn je otevrená množina. Necht’ platí{
[t ,x(t)] ∈ R× Rn; t ∈ 〈a,b〉}⊂ G.
Potom existuje ξ > 0 takové, že{[t , z] ∈ R× Rn; t ∈ 〈a,b〉, ‖x(t)− z‖ ≤ ξ
}⊂ G.
Matematika IV XVII. Soustavy diferenciálních rovnic
![Page 125: Matematika IV - Univerzita Karlova · 2017. 3. 5. · Matematika IV Frisch a Samuelson: Systém je dynamický, jestliže jeho chování v case jeˇ urceno funkcionální rovnicí,](https://reader035.vdocuments.net/reader035/viewer/2022062318/6118abe19b3c31793b34eaa3/html5/thumbnails/125.jpg)
XVII.2. Vlastnosti maximálních rešení
Lemma 23Necht’ a,b ∈ R, a < b, a x : 〈a,b〉 → Rn je spojitá. Potomplatí ∥∥∥∥∫ b
ax(t) dt
∥∥∥∥ ≤ n∫ b
a‖x(t)‖ dt .
Matematika IV XVII. Soustavy diferenciálních rovnic
![Page 126: Matematika IV - Univerzita Karlova · 2017. 3. 5. · Matematika IV Frisch a Samuelson: Systém je dynamický, jestliže jeho chování v case jeˇ urceno funkcionální rovnicí,](https://reader035.vdocuments.net/reader035/viewer/2022062318/6118abe19b3c31793b34eaa3/html5/thumbnails/126.jpg)
XVII.2. Vlastnosti maximálních rešení
Lemma 24Necht’ G ⊂ Rn je neprázdná a otevrená a g ∈ C1(G,Rm).Necht’ dále C ⊂ G je konvexní a predpokládejme, žeexistuje M ∈ R, M > 0, takové, že
∀i ∈ {1, . . . ,m} ∀j ∈ {1, . . . ,n} ∀x ∈ C :
∣∣∣∣∂gi
∂xj(x)∣∣∣∣ ≤ M.
Potom pro každé dva body u,v ∈ C platí
‖g(u)− g(v)‖ ≤ L‖u − v‖,
kde L = n√
mM.
Matematika IV XVII. Soustavy diferenciálních rovnic
![Page 127: Matematika IV - Univerzita Karlova · 2017. 3. 5. · Matematika IV Frisch a Samuelson: Systém je dynamický, jestliže jeho chování v case jeˇ urceno funkcionální rovnicí,](https://reader035.vdocuments.net/reader035/viewer/2022062318/6118abe19b3c31793b34eaa3/html5/thumbnails/127.jpg)
XVII.2. Vlastnosti maximálních rešení
Matematika IV XVII. Soustavy diferenciálních rovnic
![Page 128: Matematika IV - Univerzita Karlova · 2017. 3. 5. · Matematika IV Frisch a Samuelson: Systém je dynamický, jestliže jeho chování v case jeˇ urceno funkcionální rovnicí,](https://reader035.vdocuments.net/reader035/viewer/2022062318/6118abe19b3c31793b34eaa3/html5/thumbnails/128.jpg)
XVII.3. Soustavy lineárních diferenciálních rovnic
XVII.3. Soustavy lineárních diferenciálníchrovnic
Soustavou lineárních diferenciálních rovnic rozumímesoustavu tvaru
x ′1 = a11(t)x1 + · · ·+ a1n(t)xn + b1(t),x ′2 = a21(t)x1 + · · ·+ a2n(t)xn + b2(t),
...
x ′n = an1(t)x1 + · · ·+ ann(t)xn + bn(t),
kde n ∈ N, aij : (α, β)→ R, bi : (α, β)→ R, i , j ∈ {1, . . . ,n},jsou spojité funkce.
Matematika IV XVII. Soustavy diferenciálních rovnic
![Page 129: Matematika IV - Univerzita Karlova · 2017. 3. 5. · Matematika IV Frisch a Samuelson: Systém je dynamický, jestliže jeho chování v case jeˇ urceno funkcionální rovnicí,](https://reader035.vdocuments.net/reader035/viewer/2022062318/6118abe19b3c31793b34eaa3/html5/thumbnails/129.jpg)
XVII.3. Soustavy lineárních diferenciálních rovnic
XVII.3. Soustavy lineárních diferenciálníchrovnic
Soustavou lineárních diferenciálních rovnic rozumímesoustavu tvaru
x ′1 = a11(t)x1 + · · ·+ a1n(t)xn + b1(t),x ′2 = a21(t)x1 + · · ·+ a2n(t)xn + b2(t),
...
x ′n = an1(t)x1 + · · ·+ ann(t)xn + bn(t),
kde n ∈ N, aij : (α, β)→ R, bi : (α, β)→ R, i , j ∈ {1, . . . ,n},jsou spojité funkce.
Matematika IV XVII. Soustavy diferenciálních rovnic
![Page 130: Matematika IV - Univerzita Karlova · 2017. 3. 5. · Matematika IV Frisch a Samuelson: Systém je dynamický, jestliže jeho chování v case jeˇ urceno funkcionální rovnicí,](https://reader035.vdocuments.net/reader035/viewer/2022062318/6118abe19b3c31793b34eaa3/html5/thumbnails/130.jpg)
XVII.3. Soustavy lineárních diferenciálních rovnic
Vektorový tvar soustavy:
x ′ = A(t)x + b(t), (14)
kde
A(t) =
a11(t) . . . a1n(t)a21(t) . . . a2n(t)...
. . ....
an1(t) . . . ann(t)
, b(t) =
b1(t)b2(t)...
bn(t)
.
Matematika IV XVII. Soustavy diferenciálních rovnic
![Page 131: Matematika IV - Univerzita Karlova · 2017. 3. 5. · Matematika IV Frisch a Samuelson: Systém je dynamický, jestliže jeho chování v case jeˇ urceno funkcionální rovnicí,](https://reader035.vdocuments.net/reader035/viewer/2022062318/6118abe19b3c31793b34eaa3/html5/thumbnails/131.jpg)
XVII.3. Soustavy lineárních diferenciálních rovnic
Veta 25 (existence a jednoznacnost rešení)Necht’ α, β ∈ R∗, α < β, t0 ∈ (α, β) a y0 ∈ Rn. Necht’A : (α, β)→ M(n × n), b : (α, β)→ Rn jsou spojitázobrazení. Potom existuje práve jedno maximální rešeníy soustavy (14) splnující y(t0) = y0. Toto rešení je navícdefinováno na celém intervalu (α, β).
Matematika IV XVII. Soustavy diferenciálních rovnic
![Page 132: Matematika IV - Univerzita Karlova · 2017. 3. 5. · Matematika IV Frisch a Samuelson: Systém je dynamický, jestliže jeho chování v case jeˇ urceno funkcionální rovnicí,](https://reader035.vdocuments.net/reader035/viewer/2022062318/6118abe19b3c31793b34eaa3/html5/thumbnails/132.jpg)
XVII.3. Soustavy lineárních diferenciálních rovnic
DefiniceHomogenní soustavou k soustave (14) rozumímesoustavu
x ′ = A(t)x . (15)
Zobrazení L : C1((α, β),Rn)→ C((α, β),Rn),
L(x) = x ′ − Ax
je lineární.
Matematika IV XVII. Soustavy diferenciálních rovnic
![Page 133: Matematika IV - Univerzita Karlova · 2017. 3. 5. · Matematika IV Frisch a Samuelson: Systém je dynamický, jestliže jeho chování v case jeˇ urceno funkcionální rovnicí,](https://reader035.vdocuments.net/reader035/viewer/2022062318/6118abe19b3c31793b34eaa3/html5/thumbnails/133.jpg)
XVII.3. Soustavy lineárních diferenciálních rovnic
DefiniceHomogenní soustavou k soustave (14) rozumímesoustavu
x ′ = A(t)x . (15)
Zobrazení L : C1((α, β),Rn)→ C((α, β),Rn),
L(x) = x ′ − Ax
je lineární.
Matematika IV XVII. Soustavy diferenciálních rovnic
![Page 134: Matematika IV - Univerzita Karlova · 2017. 3. 5. · Matematika IV Frisch a Samuelson: Systém je dynamický, jestliže jeho chování v case jeˇ urceno funkcionální rovnicí,](https://reader035.vdocuments.net/reader035/viewer/2022062318/6118abe19b3c31793b34eaa3/html5/thumbnails/134.jpg)
XVII.3. Soustavy lineárních diferenciálních rovnic
Veta 26Necht’ α, β ∈ R∗, α < β, a A : (α, β)→ M(n × n) je spojitézobrazení. Potom množina všech maximálních rešeníhomogenní soustavy (15) tvorí vektorový podprostorprostoru C1
((α, β),Rn
). Dimenze tohoto podprostoru je
rovna n.
Veta 27Necht’ α, β ∈ R∗, α < β, a x0 ∈ Rn. Necht’A : (α, β)→ M(n × n), b : (α, β)→ Rn jsou spojitázobrazení. Necht’ y je rešení soustavy (14) na intervalu(α, β). Potom každé rešení x soustavy (14) na intervalu(α, β) má tvar y + z , kde z je jisté rešení soustavy (15) naintervalu (α, β).
Matematika IV XVII. Soustavy diferenciálních rovnic
![Page 135: Matematika IV - Univerzita Karlova · 2017. 3. 5. · Matematika IV Frisch a Samuelson: Systém je dynamický, jestliže jeho chování v case jeˇ urceno funkcionální rovnicí,](https://reader035.vdocuments.net/reader035/viewer/2022062318/6118abe19b3c31793b34eaa3/html5/thumbnails/135.jpg)
XVII.3. Soustavy lineárních diferenciálních rovnic
Veta 26Necht’ α, β ∈ R∗, α < β, a A : (α, β)→ M(n × n) je spojitézobrazení. Potom množina všech maximálních rešeníhomogenní soustavy (15) tvorí vektorový podprostorprostoru C1
((α, β),Rn
). Dimenze tohoto podprostoru je
rovna n.
Veta 27Necht’ α, β ∈ R∗, α < β, a x0 ∈ Rn. Necht’A : (α, β)→ M(n × n), b : (α, β)→ Rn jsou spojitázobrazení. Necht’ y je rešení soustavy (14) na intervalu(α, β). Potom každé rešení x soustavy (14) na intervalu(α, β) má tvar y + z , kde z je jisté rešení soustavy (15) naintervalu (α, β).
Matematika IV XVII. Soustavy diferenciálních rovnic
![Page 136: Matematika IV - Univerzita Karlova · 2017. 3. 5. · Matematika IV Frisch a Samuelson: Systém je dynamický, jestliže jeho chování v case jeˇ urceno funkcionální rovnicí,](https://reader035.vdocuments.net/reader035/viewer/2022062318/6118abe19b3c31793b34eaa3/html5/thumbnails/136.jpg)
XVII.3. Soustavy lineárních diferenciálních rovnic
DefiniceBázi prostoru maximálních rešení soustavy (15)nazýváme fundamentální systém soustavy (15). Je-liy1, . . . ,yn fundamentální systém soustavy (15), pak matici
Φ(t) =(y1(t), . . . ,yn(t)
)=
y1
1 (t) . . . yn1 (t)
y12 (t) . . . yn
2 (t)...
. . ....
y1n (t) . . . yn
n (t)
nazýváme fundamentální matice soustavy (15).
Matematika IV XVII. Soustavy diferenciálních rovnic
![Page 137: Matematika IV - Univerzita Karlova · 2017. 3. 5. · Matematika IV Frisch a Samuelson: Systém je dynamický, jestliže jeho chování v case jeˇ urceno funkcionální rovnicí,](https://reader035.vdocuments.net/reader035/viewer/2022062318/6118abe19b3c31793b34eaa3/html5/thumbnails/137.jpg)
XVII.3. Soustavy lineárních diferenciálních rovnic
Veta 28Necht’ Φ je fundamentální matice soustavy (15). Pakmatice Φ(t) je regulární pro každé t ∈ (α, β).
Matematika IV XVII. Soustavy diferenciálních rovnic
![Page 138: Matematika IV - Univerzita Karlova · 2017. 3. 5. · Matematika IV Frisch a Samuelson: Systém je dynamický, jestliže jeho chování v case jeˇ urceno funkcionální rovnicí,](https://reader035.vdocuments.net/reader035/viewer/2022062318/6118abe19b3c31793b34eaa3/html5/thumbnails/138.jpg)
XVII.3. Soustavy lineárních diferenciálních rovnic
Veta 29 (variace konstant)Necht’ n ∈ N, α, β ∈ R∗, α < β, t0 ∈ (α, β) a y0 ∈ Rn.Necht’ A : (α, β)→ M(n × n) a b : (α, β)→ Rn jsou spojitázobrazení. Pak maximální rešení y rovnice (14) spocátecní podmínkou y(t0) = y0 má tvar
y(t) = Φ(t)Φ(t0)−1y0+Φ(t)∫ t
t0Φ(s)−1b(s) ds, t ∈ (α, β),
kde Φ je fundamentální matice soustavy (15).
Matematika IV XVII. Soustavy diferenciálních rovnic
![Page 139: Matematika IV - Univerzita Karlova · 2017. 3. 5. · Matematika IV Frisch a Samuelson: Systém je dynamický, jestliže jeho chování v case jeˇ urceno funkcionální rovnicí,](https://reader035.vdocuments.net/reader035/viewer/2022062318/6118abe19b3c31793b34eaa3/html5/thumbnails/139.jpg)
XVII.4. Rešení lineárních soustav s konstantními koeficienty
XVII.4. Rešení lineárních soustav skonstantními koeficienty
Soustava lineárních diferenciálních rovnic s konstantnímikoeficienty je soustava
x ′ = Ax + b(t),
kde A ∈ M(n × n) a b : (α, β)→ Rn je daná (spojitá)vektorová funkce. Príslušná homogenní soustava jesoustava
x ′ = Ax . (16)
Matematika IV XVII. Soustavy diferenciálních rovnic
![Page 140: Matematika IV - Univerzita Karlova · 2017. 3. 5. · Matematika IV Frisch a Samuelson: Systém je dynamický, jestliže jeho chování v case jeˇ urceno funkcionální rovnicí,](https://reader035.vdocuments.net/reader035/viewer/2022062318/6118abe19b3c31793b34eaa3/html5/thumbnails/140.jpg)
XVII.4. Rešení lineárních soustav s konstantními koeficienty
XVII.4. Rešení lineárních soustav skonstantními koeficienty
Soustava lineárních diferenciálních rovnic s konstantnímikoeficienty je soustava
x ′ = Ax + b(t),
kde A ∈ M(n × n) a b : (α, β)→ Rn je daná (spojitá)vektorová funkce. Príslušná homogenní soustava jesoustava
x ′ = Ax . (16)
Matematika IV XVII. Soustavy diferenciálních rovnic
![Page 141: Matematika IV - Univerzita Karlova · 2017. 3. 5. · Matematika IV Frisch a Samuelson: Systém je dynamický, jestliže jeho chování v case jeˇ urceno funkcionální rovnicí,](https://reader035.vdocuments.net/reader035/viewer/2022062318/6118abe19b3c31793b34eaa3/html5/thumbnails/141.jpg)
XVII.4. Rešení lineárních soustav s konstantními koeficienty
Tvrzení 30Necht’ A ∈ M(n × n) a vektorová funkce y : R→ Rn jerešením soustavy (16). Pak y ∈ C∞(R,Rn) a pro každék ∈ N platí y (k)(t) = Aky(t) pro t ∈ R.
Matematika IV XVII. Soustavy diferenciálních rovnic
![Page 142: Matematika IV - Univerzita Karlova · 2017. 3. 5. · Matematika IV Frisch a Samuelson: Systém je dynamický, jestliže jeho chování v case jeˇ urceno funkcionální rovnicí,](https://reader035.vdocuments.net/reader035/viewer/2022062318/6118abe19b3c31793b34eaa3/html5/thumbnails/142.jpg)
XVII.4. Rešení lineárních soustav s konstantními koeficienty
DefiniceMatici, jejíž prvky jsou polynomy v promenné λ,nazýváme λ-maticí.
Rádkovými úpravami λ-matice rozumíme:
zámenu dvou rádku,vynásobení rádku nenulovou konstantou,prictení P(λ)-násobku jednoho rádku k jinému rádku,kde P(λ) je polynom v promenné λ.
Matematika IV XVII. Soustavy diferenciálních rovnic
![Page 143: Matematika IV - Univerzita Karlova · 2017. 3. 5. · Matematika IV Frisch a Samuelson: Systém je dynamický, jestliže jeho chování v case jeˇ urceno funkcionální rovnicí,](https://reader035.vdocuments.net/reader035/viewer/2022062318/6118abe19b3c31793b34eaa3/html5/thumbnails/143.jpg)
XVII.4. Rešení lineárních soustav s konstantními koeficienty
DefiniceMatici, jejíž prvky jsou polynomy v promenné λ,nazýváme λ-maticí.Rádkovými úpravami λ-matice rozumíme:
zámenu dvou rádku,vynásobení rádku nenulovou konstantou,prictení P(λ)-násobku jednoho rádku k jinému rádku,kde P(λ) je polynom v promenné λ.
Matematika IV XVII. Soustavy diferenciálních rovnic
![Page 144: Matematika IV - Univerzita Karlova · 2017. 3. 5. · Matematika IV Frisch a Samuelson: Systém je dynamický, jestliže jeho chování v case jeˇ urceno funkcionální rovnicí,](https://reader035.vdocuments.net/reader035/viewer/2022062318/6118abe19b3c31793b34eaa3/html5/thumbnails/144.jpg)
XVII.4. Rešení lineárních soustav s konstantními koeficienty
DefiniceMatici, jejíž prvky jsou polynomy v promenné λ,nazýváme λ-maticí.Rádkovými úpravami λ-matice rozumíme:
zámenu dvou rádku,
vynásobení rádku nenulovou konstantou,prictení P(λ)-násobku jednoho rádku k jinému rádku,kde P(λ) je polynom v promenné λ.
Matematika IV XVII. Soustavy diferenciálních rovnic
![Page 145: Matematika IV - Univerzita Karlova · 2017. 3. 5. · Matematika IV Frisch a Samuelson: Systém je dynamický, jestliže jeho chování v case jeˇ urceno funkcionální rovnicí,](https://reader035.vdocuments.net/reader035/viewer/2022062318/6118abe19b3c31793b34eaa3/html5/thumbnails/145.jpg)
XVII.4. Rešení lineárních soustav s konstantními koeficienty
DefiniceMatici, jejíž prvky jsou polynomy v promenné λ,nazýváme λ-maticí.Rádkovými úpravami λ-matice rozumíme:
zámenu dvou rádku,vynásobení rádku nenulovou konstantou,
prictení P(λ)-násobku jednoho rádku k jinému rádku,kde P(λ) je polynom v promenné λ.
Matematika IV XVII. Soustavy diferenciálních rovnic
![Page 146: Matematika IV - Univerzita Karlova · 2017. 3. 5. · Matematika IV Frisch a Samuelson: Systém je dynamický, jestliže jeho chování v case jeˇ urceno funkcionální rovnicí,](https://reader035.vdocuments.net/reader035/viewer/2022062318/6118abe19b3c31793b34eaa3/html5/thumbnails/146.jpg)
XVII.4. Rešení lineárních soustav s konstantními koeficienty
DefiniceMatici, jejíž prvky jsou polynomy v promenné λ,nazýváme λ-maticí.Rádkovými úpravami λ-matice rozumíme:
zámenu dvou rádku,vynásobení rádku nenulovou konstantou,prictení P(λ)-násobku jednoho rádku k jinému rádku,kde P(λ) je polynom v promenné λ.
Matematika IV XVII. Soustavy diferenciálních rovnic
![Page 147: Matematika IV - Univerzita Karlova · 2017. 3. 5. · Matematika IV Frisch a Samuelson: Systém je dynamický, jestliže jeho chování v case jeˇ urceno funkcionální rovnicí,](https://reader035.vdocuments.net/reader035/viewer/2022062318/6118abe19b3c31793b34eaa3/html5/thumbnails/147.jpg)
XVII.4. Rešení lineárních soustav s konstantními koeficienty
Veta 31Necht’ A ∈ M(n × n). Pak lze λ-matici λI − A prevéstkonecnou posloupností rádkových úprav na hornítrojúhelníkovou λ-matici. Výsledná λ-matice má nadiagonále nenulové polynomy, soucet jejichž stupnu je n.
Matematika IV XVII. Soustavy diferenciálních rovnic