Professional Documents
Culture Documents
Równania Różniczkowe 2
Równania Różniczkowe 2
Równania Różniczkowe 2
n Nr 2 ROWNANIA
RO ZNICZKOWE
B1 27 lutego 2017 r.
Grzegorz Karch http://www.math.uni.wroc.pl/karch/B1
Zadanie 29. Udowodnij nastepujace twierdzenie: Zal oz my, z e f (x) i f 0 (x) sa ciagle na odcinku
0
a x b oraz |f (x)| < 1 na tym odcinku. Zal oz my dodatkowo, z e ciag zdefiniowany rekuren-
cyjnie xn+1 = f (xn ) spelnia: xn [a, b] dla wszystkich n = 0, 1, 2, 3, .... Przy tych zalozeniach ciag
xn zbiega, gdy n , do jedynego rozwiazania r ownania: x = f (x).
Wskazowka. Przeprowadzic dow
od wedlug nastepujacego schematu:
1. Opierajac sie na Twierdzeniu o Wartosci Sredniej, udowodnic, z e
|xn xn1 | = |f 0 ()(xn1 xn2 )| |xn1 xn2 |
Iteracje Picarda dla zagadnienia Cauchyego (1) to ciag funkcji yn (t), n = 0, 1, 2, 3, ..., zdefiniowanych
nastepujaco
Z t
y0 (t) y0 , yn+1 (t) = y0 + f (s, yn (s)) ds.
t0
2 3 n
Przyklad. Ciag iteracji Picarda dla zagadnienia dy c yn (t) = 1 + t + t2! + t3! + ... + tn! .
dt = y, y(0) = 1 ma posta
Na wykladzie rozwazano zagadnienie Cauchyego
dy
= f (t, y), y(t0 ) = y0 . (2)
dt
Sformulowano i udowodniono nastepujace twierdzenie.
Twierdzenie. (Picarda-Lindel ofa) Zaloz my, z e funkcje f (t, y) i fy
(t,y)
sa ciagle w prostokacie
R = {(t, y) : t0 t t0 + a, |y y0 | b}.
b
Obliczmy M = max(t,y)R |f (t, y)| oraz = min a, M .
dy
Wtedy zagadnienie poczatkowe dt = f (t, y), y(t0 ) = y0 ma dokladnie jedno rozwiazanie y(t) na odcinku
t0 t t0 + . Podobny wynik jest prawdziwy dla t < t0 .
Najwazniejsze fakty z dowodu:
Najpierw dowodzi sie, z e ciag iteracji Picarda yn (t) zbiega jednostajnie do pewnej funkcji y(t).
Nastepnie przechodzac do granicy otrzymujemy, z e funkcja y(t) jest rozwiazaniem rownania calkowego
rownowaznego zagadnieniu (2).
Aby udowodnic jednoznacznosc rozwiaza n postepujemy nastepujaco. Zakladamy (nie wprost), z e mamy
dwa rozwiazania y(t) i y(t) zagadnienia (2). Definiujemy funkcje w(t) = y(t) y(t) i dowodzimy, z e
spelnia ona nierownosc Z t
|w(t)| L |w(s)| ds
t0
dla pewnej stalej L. Aby udowodnic, z e w(t) 0 na odcinku [t0 , t0 + ] stosujemy lemat Gronwalla.
Twierdzenie. (Lemat Gronwalla) Zal oz my, z e funkcja u(t) jest nieujemna na przedziale [t0 , T ] i spelnia
na tym przedziale nier
ownosc calkowa
Z t
u(t) a + b u(s) ds
t0
dla wszyskich t [t0 , T ] i pewnych stalych a 0 i b > 0. Wtedy zachodzi oszacowanie u(t) aeb(tt0 ) .
Uwaga. W dowodzie jednoznacznosci rozwiaza n zagadnienia (2) stosujemy to twierdzenie z a = 0.
2