Professional Documents
Culture Documents
Krzysztof Frczek
Version 1.0b, 2003/07/07
SPIS TRECI
Spis treci
1 Rwnania rniczkowe
1.1 Przykady . . . . . . . . . . . . . . . . . . .
1.2 Co to jest rwnanie rniczkowe zwyczajne?
1.3 Interpretacja geometryczna . . . . . . . . . .
1.4 Rwnanie o rozdzielonych zmiennych . . . .
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
3
3
6
8
8
25
25
31
33
37
43
49
52
53
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
67
75
75
76
77
84
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
1 RWNANIA RNICZKOWE
1
1.1
Rwnania rniczkowe
Przykady
(1.1.1)
(1.1.2)
Przechodzc z h 0 otrzymujemy
dN = k N
dt
N (t0 ) = N0
(1.1.3)
x0 R3 i porusza si z prdkoci
v0 R3 . Zamy, e na czstk znajdujc
si w x R3 i poruszajc si z prdkoci
v R3 w chwili t dziaa sia
3
F (t, x, v) R . Wwczas ruch czstki x(t) R3 opisuje rwnanie Newtona:
00
m x (t)
x(t0 )
x0 (t0 )
(1.1.4)
1 RWNANIA RNICZKOWE
x0 (t) = v(t)
x(0) = x0
(1.1.5)
v(0) = v0
Na wahado dziaaj dwie siy: sia cikoci mg oraz sia z jak sznurek
trzyma ciarek. Niech (x, y) = (l sin , l cos ).
(1.1.6)
Zatem
x0 (t) = l(cos (t) 0 (t), sin (t) 0 (t))
x00 (t) = l( sin (t)(0 (t))2 + cos (t) 00 (t), cos (t)(0 (t))2 sin (t) 00 (t)).
(1.1.7)
1 RWNANIA RNICZKOWE
Std
ml( sin (t)(0 (t))2 + cos (t) 00 (t)) = mg sin (t) cos (t) / cos (t)
ml( cos (t)(0 (t))2 sin (t) 00 (t)) = mg sin2 (t) / sin (t)
l00 (t) = g sin (t).
(1.1.8)
Jeli (t) = 0 (t), to
(t)
0 (t)
= (t)
= g
sin (t)
l
(t0 ) = 0
(t0 ) = 0 .
(1.1.9)
(1.1.10)
gdzie k(N ) jest wspczynnikiem wzrostu populacji gdy jej wielko wynosi N . Poniewa ilo pokarmu jest staa, wic funkcja k jest malejca. Dla
uproszczenia moemy przyj k(N ) = a b N . Zatem dynamik populacji
opisuje rwnanie:
(Rwnanie Volterry-Lotki)
(1.1.12)
1 RWNANIA RNICZKOWE
1.2
przynajmniej cig.
Jeli k = d oraz F mona rozwika dla ostatniej wsprzdnej to rwnanie (1.2.1) ma posta
x(n) = f (t, x(t), x0 (t), ..., x(n1) (t)),
(1.2.2)
d
gdzie f : [t0 , t0 + ] R
...
Rd} Rd
{z
|
n
Rwnanie (1.2.2) moe posiada wiele rozwiza. Aby ograniczy si do jednego rozwizania rwnanie (1.2.2) rozwaa si wraz z warunkami pocztkowymi postaci:
x(t0 ) = x0
x0 (t0 ) = x1
(1.2.3)
..
x(n1) (t ) = x
0
n1
1 RWNANIA RNICZKOWE
Wwczas
x01 (t) = x0 (t) = x2 (t)
x02 (t) = x00 (t) = x3 (t)
..
.
x0n1 (t) = x(n1) (t) = xn (t)
x0n (t) = x(n) (t) = f (t, x1 (t), ..., xn (t)) = f (t, x(t)).
Std otrzymujemy rwnanie
x0 (t) = f (t, x(t))
(1.2.4)
1 RWNANIA RNICZKOWE
1.3
Interpretacja geometryczna
Jeli rwnanie rniczkowe jest postaci x0 (t) = f (t, x(t)), okrela si je mianem nieautonomicznego (zalenego od czasu). W takim wypadku pole wektorowe f zmienia si w czasie, co naley uwzgldni w ruchu czstki.
1.4
(1.4.1)
1 RWNANIA RNICZKOWE
(1.4.2)
0
0
G (u(t))u (t) = H 0 (t)
0
(G u) (t) = H(t)
G(u(t)) = H(t) + C
() wystarczy zrniczkowa.
Uwaga 1.4.1. Poniewa G0 (x) =
1
g(x)
u(t) = G1 (H(t) + C)
(1.4.3)
10
2.1
Istnienie i jednoznaczno
(2.1.1)
x ( )d =
f (, x( ))d,
(2.1.2)
t0
t0
czyli
t
x(t) = x0 +
f (, x( ))d.
(2.1.3)
t0
Odwrotnie, jeli x jest funkcj cig speniajc (2.1.3), wwczas jest rozwizaniem problemu Cauchyego (2.1.1). Zatem problemy (2.1.1) i (2.1.3) s
rwnowane.
Lemat 2.1.1. Gronwalla
Niech u, v : [t0 , t0 + ] R bd funkcjami cigymi nieujemnymi oraz
C R, C 0. Jeli:
v(t) 6 C +
u( )v( )d,
(2.1.4)
t0
to
Rt
v(t) 6 C e
t0
u( )d
Rt
(2.1.5)
t0
Z t
w0 ( )
d 6
u( )d
w( )
t0
Rt
t0
u( )d
Rt
=C e
t0
11
u( )d
2) C = 0. Wwczas
v(t) 6 +
u( )v( )d
t0
v(t) 6 e
t0
u( )d
(2.1.6)
(2.1.7)
(warunek ten jest speniany gdy < + oraz G jest zbiorem zwartym).
Wwczas na mocy twierdzenia o waroci redniej
kf (t, x) f (t, y)k 6 kx yk sup
f (t, x + (y x))
6 L kx yk
0661 x
(2.1.8)
Twierdzenie 2.1.2. O jednoznacznoci rozwiza
Niech f : [t0 , t0 + ] G Rd (G Rd ) bdzie funkcj cig speniajc
warunek Lipschitza ze sta L ze wzgldu na x. Zamy, e funkcje rniczkowalne x, y : [t0 , t0 + ] G Rd speniaj warunki:
x0 (t) = f (t, x(t)),
(2.1.9)
12
Z t
Z t
x(t0 ) +
f (, x( ))d y(t0 )
f (, y( ))d
t0
t0
Z t
Z t
(f (, x( )) f (, y( )))d
6
kf (, x( )) f (, y( ))k d
t0
t0
Z t
Z t
L kx( ) y( )k d =
t0
Lv( )d.
t0
q
x0 = 2 |x|
x(0) = 0.
x2 (t) =
t2
t2
dla
dla
t0
t60
x02 (t) =
q
2t
2t
q
dla t 0
= 2 |x2 (t)|
dla t 6 0
13
"
b
x : t0 , t0 + min(, ) K(x0 , b)
M
taka, e x(t0 ) = x0 oraz x0 (t) = f (t, x(t)) dla x [t0 , t0 + ], gdzie =
min(, Mb ).
Dowd. Jednoznaczno wynika z twierdzenia 2.1.2. Wystarczy zatem udowodni istnienie rozwizania. W tym celu skonstruujemy cig yn : [t0 , t0 +
] Rd w sposb indukcyjny, ktry bdzie przyblia rozwizanie rwnania.
Cig {yn } definiujemy nastujco:
y (t) = x
0
0
R
yn+1 (t) = x0 + t f (, yn ( ))d
t0
dla t [t0 , t0 + ]
eby definicja miaa sens musimy sprawdzi, czy yn (t) K(x0 , b) dla
t [t0 , t0 + ].
Dowd indukcyjny:
1o Dla n = 0 mamy y0 (t) = x0 K(x0 , b).
2o Zamy, e yn K(x0 , b) dla t [t0 , t0 + ]. Wwczas
kyn+1 x0 k =
t0
Z
f (, yn ( ))d
6
t0
kf (, yn ( ))k d
b
= b.
M
Zatem yn (t) K(x0 , b) dla kadego n N. Nastpnie pokaemy, e:
6 M (t t0 ) 6 M 6 M
M Ln (t t0 )n+1
kyn+1 (t) yn (t)k 6
dla t [t0 , t0 + ].
(n + 1)!
Dowd indukcyjny:
1o Dla n = 0 mamy
ky1 (t) y0 (t)k = ky1 (t) x0 k 6 M (t t0 ) =
M L0 (t t0 )1
.
1!
Z t
Z t
x0 +
f (, yn ( ))d x0
f (, yn1 ( ))d
t0
t0
Z t
t0
kf (, yn ( )) f (, yn1 ( ))k d
M Ln1 ( t0 )n
d
n!
t0
t0
t
M Ln (t t0 )n+1
M Ln ( t0 )n+1
=
.
(n + 1)!
(n + 1)!
t0
6 L
=
14
kyn ( ) yn1 ( )k d 6 L
(2.1.10)
n=0
M Ln n+1
(n+1)!
M Ln n+1
n=0 (n+1)!
wy
jest zbieny, wic, na podstawie kryterium Weierstrassa,
szereg (2.1.10) jest zbieny jednostajnie do funkcji cigej y : [t0 , t0 +] Rd .
Ponadto
y y0 +
n1
X
k=0
t0
oraz
x0 +
zn ( )d x0 +
t0
zn ( )d = x0 +
t0
z( )d = x0 +
f (, y( ))d
t0
t0
Std
y(t) = x0 +
t0
f (, y( ))d
15
Twierdzenie 2.1.4. (o istnieniu i jednoznacznoci rozwiza lokalnych rozwiza dla funkcji klasy C 1 ) Niech f : [t0 , t0 + ] G Rd (G Rd
otwarty) bdzie funkcj klasy C 1 . Wwczas dla dowolnego x0 G istnieje
> 0 oraz funkcja rniczkowalna x : [t0 , t0 + ] G taka, e x(t0 ) = x0
oraz x0 (t) = f (t, x(t)) dla x [t0 , t0 + ]. Ponadto, zamy, e dla pewnego
> 0 funkcje rniczkowalne x, y : [t0 , t0 + ] G Rd speniaj warunki: x0 (t) = f (t, x(t)), y 0 (t) = f (t, y(t)) dla t [t0 , t0 + ] oraz x(t0 ) = y(t0 ).
Wwczas x(t) = y(t) dla t [t0 , t0 + ].
Dowd. 1o Istnienie. Poniewa x0 G i G jest otwarty, wic istnieje b > 0
takie, e K(x0 , b) G. Poniewa zbr [t0 , t0 + ] K(x0 , b) jest zwarty
M :=
sup
(t,x)[t0 ,t0 +]K(x0 ,b)
L :=
sup
(t,x)[t0 ,t0 +]K(x0 ,b)
f
(t, x)k < +.
x
Zatem
kf (t, x) f (t, y)k Lkx yk dla t [t0 , t0 + ], x, y K(x0 , b).
Std na podstawie tw. Picarda istnieje funkcja rniczkowalna x : [t0 , t0 +
] K(x0 , b) G ( = min(, b/M )) taka, e
2o Jednoznaczno. Niech
t0 + 0 = inf{t [t0 , t0 + ] : x(t) 6= y(t)}.
Zamy, e 0 < . Z cigoci x i y mamy y0 := x(t0 + 0 ) = x(t0 + 0 ) G.
Poniewa G jest zbiorem otwartym wic istnieje b > 0 takie, e K(y0 , b) G.
Wwczas, podobnie jak w 1o , istnieje L 0 takie, e
kf (t, x) f (t, y)k Lkx yk dla t [t0 + 0 , t0 + ], x, y K(y0 , b).
16
2.2
17
Rozwizania globalne
x0 = x2
x(1) = 1.
(2.2.1)
1
Wwczas x(t) = t2
jest jego rozwizaniem, ale tylko na odcinku [1, 2).
Istnieje zatem tylko lokalne rozwizanie tego problemu.
(2.2.2)
Dowd. Dowd opiera si na przyblianiu rozwizania tzw. amanymi Eulera. Rozwamy cig podziaw n odcinka [t0 , t0 + ] postaci n = (t0 =
tn0 < tn1 < . . . < tnk = t0 + ), ktrego rednica dn dy do zera. Wwczas n-t
aman Eulera konstruujemy w nastpujcy sposb:
xn (t0 ) = x0
xn (t) = x0 + f (t0 , x0 )(t t0 )
xn (t) = xn (t1 ) + f (t1 , xn (t1 ))(t t1 )
..
.
xn (t)
dla
dla
t [t0 , t1 ]
t [t1 , t2 ]
dla
t [ti , ti+1 ].
18
sup
t,s[t0 ,t0 +]
ktsk6dn
z1 ,z2 K(0,R)
kz1 z2 k6M dn
kf (t, z1 ) f (s, z2 )k .
(2.2.3)
19
Z t
x0 +
f (, xn ( ))d x0 f (t0 , x0 )(t t0 )d
t0
Z t
(f (, xn ( )) f (t0 , x0 ))d
t0
Z t
t0
kf (, xn ( )) f (t0 , x0 )k d.
2 Zamy, e
kzn (t) xn (t)k 6 n (t t0 ) dla t [ti1 , ti ].
Wwczas dla dowolnego t [ti , ti+1 ] mamy
Z t
f (, xn ( )))d xn (ti ) f (ti , xn (ti ))(t ti )
kzn (t) xn (t)k =
x0 +
t0
Z ti
f (, xn ( ))d xn (ti )
6
x0 +
t
Z t 0
+
(f (, xn ( )) f (ti , xn (ti )))d
ti
Z t
ti
ti
(2.2.5)
Poniewa xnk x oraz zn xn 0, wic znk x. Rozwamy funkcje
n (t) = f (t, xn (t)) oraz (t) = f (t, x(t)). Poniewa f jest jednostajnie ciga
na [t0 , t0 + ] K(0, R), wic
nk .
20
t0
nk ( )d x0 +
oraz
x0 +
Std x(t) = x0 +
Rt
t0
t0
( )d = x0 +
f (, x( ))d.
(2.2.6)
t0
t0
(2.2.7)
f (, x( ))d .
Do koca tego rozdziau bdziemy rozwaa funkcje cige, ktre speniaj nastpujcy warunek:
kf (t, x)k 6 a(t) kxk + b(t) dla (t, x) [t0 , t0 + ] Rd ,
(2.2.8)
gdzie a, b : [t0 , t0 +] R+ s funkcjami cigymi. Dla tego typu funkcji udowodnimy twierdzenie o globalnym istnieniu rozwiza problemu Cauchyego.
Stwierdzenie 2.2.3. Jeli istniej nieujemne funkcje cige a, b : [t0 , t0 +
] R+ takie, e
kf (t, x)k 6 a(t) kxk + b(t) dla (t, x) [t0 , t0 + ] Rd
oraz x : [t0 , t0 + ] Rd jest rozwizaniem problemu Cauchyego
to zachodzi nierwno
kx(t)k 6 kx0 k +
R t0 +
t0 +
t0
b( )d e
a( )d
t0
kx0 k +
b( )d +
t0
a( )v( )d.
t0
t0 +
t0
R t0 +
b( )d e
t0
a( )d
21
22
Rzeczywicie:
2
x
2
y a
6 kx yk
kxk
m
a
2
y
+ a2 2
hx, yi 6 kxk2 + kyk2 2hx, yi
kxk
m
2
hx, yi
(kxk a) 6 kxk2 a2
kxk
hx, yi
2
6 kxk + a
kxk
hx, yi
2
6 2 kyk 6 kxk + a
kxk
Std
y
y
x
x
kyk
krc (x) rc (y)k = C
< kyk
6
y
x
6 kx yk .
kyk
kyk
kxk
kxk
kxk
Twierdzenie 2.2.5. (O istnieniu globalnych rozwza) Jeli f : [t0 , t0 +
] Rd Rd jest funkcj cig, dla ktrej istniej nieujemne funkcje cige
a, b : [t0 , t0 + ] R takie, e:
kf (t, x)k 6 a(t) kxk + b(t) dla (t, x) [t0 , t0 + ] Rd ,
(2.2.11)
23
(2.2.12)
C := kx0 k +
t0 +
R t0 +
b( )d e
t0
a( )d
(2.2.13)
t0
(2.2.14)
(2.2.15)
e
f (t, x)
= kf (t, rc (x))k 6 M dla (t, x) [t0 , t0 + ] Rd .
(2.2.16)
Std
(2.2.17)
x
e0 (t) = fe(t, x(t))
x
e(t0 ) = x0 .
dla t [t0 , t0 + ]
(2.2.18)
Ponadto
e
f (t, x)
= kf (t, rc (x))k 6 a(t) krc (x)k + b(t) 6 a(t) kxk + b(t).
kxe(t)k 6 kx0 k +
t0 +
R t0 +
b( )d e
t0
a( )d
= C.
t0
Std
x
e0 (t) = fe(t, x
e(t)) = f (t, rc (x
e(t))) = f (t, x
e(t))
x
e(t0 ) = x0 .
24
(2.2.20)
3 SCHEMATY NUMERYCZNE
25
Schematy numeryczne
3.1
(3.1.1)
(3.1.2)
przy czym
A(h) = O(hp ) c>0 |A(h)| 6 c|hp |
A(h)
A(h) = o(hp ) lim p = 0.
h0 h
(3.1.3)
Zatem
x(tk+1 ) x(tk ) + hf (tk , x(tk )) x(tk ) + hf (tk , x(tk )),
(3.1.4)
(3.1.5)
(3.1.6)
3 SCHEMATY NUMERYCZNE
26
(3.1.7)
W pierwszym schemacie Eulera (3.1.5) w jawny sposb wyliczymy xk+1 znajc xk . Takie schematy nazywamy otwartymi. W zamknitym schemacie Eulera (3.1.7) xk+1 jest przedstawiony w sposb uwikany. Tego typu schematy
nazywamy zamknitymi i daj one znacznie lepsze rezultaty numeryczne ni
podobne schematy otwarte.
Definicja 3.1.1. Schemat postaci
xi+1 = xi + hf (h, ti , xi , xi+1 ) dla i = 0, ..., N 1,
(3.1.8)
h2 00
x (t) + O(h3 ).
2
Wwczas
d
f (t, x(t)) = ft (t, x(t)) + fx (t, x(t))x0 (t)
dt
= ft (t, x(t)) + fx (t, x(t))f (t, x(t)),
x00 (t) =
gdzie fx (t, x) =
ra:
f
(t, x),
x
ft (t, x) =
xk+1 = xk + hf (tk , xk ) +
f
(t, x).
t
h2
(ft (tk , xk ) + fx (tk , xk )f (tk , xk )).
2
(3.1.9)
Definicja 3.1.2. Mwimy, e schemat (3.1.8) jest zbieny, gdy dla dowolnego
t [t0 , T ] oraz x0 R, jeli
1o t = t0 + kh, k +, h 0,
2o x0 (h) x0 , dla h 0,
3 SCHEMATY NUMERYCZNE
27
k = 0, 1, . . . ,
(3.1.10)
2
2 6
zatem rzd schematu jest 1 oraz rwny 2, jeli =
1
2
(schemat trapezw).
3 SCHEMATY NUMERYCZNE
28
ak 1 b
a1
kb
gdy a 6= 1
gdy a = 1
(3.1.13)
Dowd. (indukcja)
1o Dla k = 0 zachodzi rwno.
2o Zamy e teza jest prawdziwa dla pewnego k. Wwczas
k
a a 1 + 1 b
a1
|k+1 | 6 a|k | + b 6 ak+1 |0 | +
(k + 1)b
ak+1 1 b
gdy a 6= 1
= ak+1 |0 | +
gdy a 6= 1
gdy a = 1
a1
(k + 1)b
gdy a = 1
3 SCHEMATY NUMERYCZNE
29
x(tk+1 ) x(tk )
= x(tk ) + hx0 (tk + h)
h
dla pewnego 0 6 6 1. Zatem
x(tk+1 ) = x(tk ) + h
sup
sup
t,t0 [t0 ,T ]
t,t0 [t0 ,T ]
|x|6R
|tt0 |6h
|x|,|x0 |6R
|xx0 |6M h
Poniewa jest funkcj cig, wic (h) 0 dla h 0. Poniewa x(t) jest
rozwizaniem problemu Cauchyego (3.1.1), wic
|x(t) x(t0 )| = |
Z
t
t0
f (, x( ))d | 6 M |t t0 |
(3.1.15)
(1+hL)k 1 h(h)
gdy L 6= 0
gdy L = 0.
(3.1.16)
3 SCHEMATY NUMERYCZNE
30
(3.1.17)
eL(T t0 ) (h)
L
(T t0 )(h)
gdy L 6= 0
gdy L = 0.
(3.1.18)
Std
lim ek = 0.
h0
Twierdzenie 3.1.3. Jeli schemat (3.1.8) jest rzdu p, zgodny oraz, jeli
rozwizanie problemu Cauchyego (3.1.1) jest klasy C p+1 ([t0 , T ]), to
|ek | 6 O(|x0 (h) x0 |) + O(hp )
(3.1.19)
e(T t0 )L Chp
gdy L 6= 0
gdy L = 0.
(3.1.20)
3 SCHEMATY NUMERYCZNE
3.2
31
Schematy Rungego-Kutty
r
X
c i Ki ,
i=1
r
X
bij , x + h
j=1
r
X
bij Kj )
j=1
dla i = 1, .., r.
Jeli bij = 0 dla i j, to Ki wyraa si w sposb jawny
K1 = f (t, x)
Ki = f (t + h
i1
X
j=1
bij , x + h
i1
X
bij Kj ) dla i = 2, . . . , r.
j=1
Wyznaczmy wszystkie sensowne otwarte 2-poziomowe schematy RungegoKutty, czyli schematy postaci:
xk+1 = xk + h(c1 K1 + c1 K2 )
K1 = f (tk , xk ), K2 = f (tk + hb, xk + hbf (tk , xk )).
Wyznaczmy bd lokalny tego schematu
rk = x(tk + h) x(tk ) h(h, tk , xk (t)),
gdzie (h, tk , xk (t)) = c1 fk + c2 f (tk + hb, x2 + hbfk ).
Przypomnienie: 2-wymiarowy wzr Taylora
f (x1 + h1 , x2 + h2 )
1
= f (x1 , x2 ) + Df (x1 , x2 )(h1 , h2 ) + D2 f (x1 , x2 )(h1 , h2 )2 + o(h21 + h22 )
2
= f (x1 , x2 ) + fx1 (x1 , x2 )h1 + fx2 (x1 , x2 )h2
1
+ (fx1 x1 (x1 , x2 )h21 + 2fx1 x2 (x1 , x2 )h1 h2 + fx2 x2 (x1 , x2 )h22 ) + o(h21 + h22 ).
2
3 SCHEMATY NUMERYCZNE
32
Zatem
(h, tk , x(tk ))
= c1 fk + c2 f (tk + hb, x2 + hbfk )
1
= (c1 + c2 )fk + c2 [bhft,k + bhfx,k fk + (b2 h2 ftt,k + b2 h2 ftx,k fk + b2 h2 fxx,k fk2 )] + o(h2 )
2
1 2 2
= (c1 + c2 )fk + c2 bh(ft,k + fx,k fk ) + c2 b h (ftt,k + 2ftx,k fk + fxx,k fk2 ) + o(h2 ),
2
natomiast
x(tk + h) x(tk ) = hx0 (tk ) +
h2 00
h3
x (tk ) + x000 (tk ) + o(h3 ),
2
6
gdzie
x0 (tk ) = f (xk , x(tk )) = fk
x00 (tk ) = ft (tk , x(tk )) + fx (tk , x(tk ))x0 (tk ) = ft,k + fx,k fk
2
x000 (tk ) = ftt,k + ftx,k fk + fxt,k fk + fxx,k fk2 + fx,k ft,k + fx,k
fk ,
czyli
x(tk + h) x(tk )
h2
h3
2
= hfk + (fx,k + fx,k fk ) + (ftt,k + 2ftx,k fk + fxx,k fk2 + fx,k ft,k + fx,k
fk ) + o(h3 ).
2
6
Std
1
rk = (1 (c1 + c2 ))hfk + ( c2 b)h2 (ft,k + fx,k fk ) +
2
1
1
1
2
+h3 (( c2 b2 )(ftt,k + 2ftx,k + fxx,k fk2 ) + (fx,k ft,k + fx,k
fk ))
6 2
6
+o(h3 ).
Jeli c1 + c2 = 1, c2 b = 12 , to rzd schematu jest rwny 2 i nie mona go
polepszy. Podstawiajc c1 = 0, c2 = 1, b = 12 otrzymujemy
h
h
xk+1 = xk + hf (tk + , xk + fk )
2
2
(3.2.1)
3 SCHEMATY NUMERYCZNE
33
schemat Henna.
wiczenie: Pokaza, e zamknity schemat Rungego-Kutty postaci:
1
xk+1 = xk + h(K1 + K2 )
2
3
3
1
1
1
K1 = f (tk + h( +
), xk + hK1 + ( +
)K2 )
2 6
4
4
6
1
3
1
3
1
K2 = f (tk + h(
), xk + (
)hK1 + hK2 )
2
6
4
6
4
(3.2.3)
ma rzd 3
3.3
Rozwamy problem:
(
(3.3.1)
gdzie f : [t0 , T ]R R jest funkcj cig, ograniczon i Lipschitza ze wzgldu na x. Chcemy rozwiza to rwnanie stosujc pewien schemat zgodny f
rzdu p. Dodatkowo chcemy zna rozwizanie ze z gry zadan dokadnoci
Eg . Jeli bdziemy stosowa schemat ze sta dugoci kroku rwn h,
to wiemy, e |ek | 6 Chp . Jednak staa C jest zwykle bardzo dua i chcc
zachowa nierwno Chp 6 Eg musimy wykonywa bardzo mae kroki, co
nie jest wygodne.
Alternatyw dla tej metody jest ciga zmiana dugoci kroku. Sprbujmy
dobra tak dugo krokw, eby
|ek | = |x(tk ) xk | 6 Eg
tk t0
T t0
(3.3.2)
Wwczas
x(t0 + h) y(t0 + h) = (x0 y0 )(1 + O(h))
(3.3.3)
3 SCHEMATY NUMERYCZNE
34
poniewa
x(t0 + h) y(t0 + h) =
=
=
=
(3.3.4)
Niech u jest rozwizaniem problemu Cauchyego (3.3.1) z warunkiem pocztkowym u(tk ) = xk . Wwczas
|ek+1 | = |x(tk+1 ) xk+1 | 6 |x(tk+1 ) u(tk+1 )| + |u(tk+1 ) xk+1 |.
(3.3.5)
(3.3.6)
Eg h
T t0
(3.3.7)
t0
Wwczas |ek+1 | 6 Eg tk+1
. Gdybymy znali R to moglibymy wywnioT t0
skowa (3.3.7) na podstawie (3.3.6). Sprbujmy wyznaczy R. W tym celu
rozwamy w - rozwizanie problemu Cauchyego (3.3.1) z warunkiem pocztkowym w(tk+1 ) = xk+1 oraz wk+2 = xk + 2h(2h, tk , xk ). Niech
xk+2 = xk+1 + h(h, tk+1 , xk+1 ) = w(tk+1 ) + h(h, tk+1 , w(tk+1 )).
3 SCHEMATY NUMERYCZNE
35
Wwczas:
wk+2 xk+2 = (u(tk+2 ) wk+2 ) + (u(tk+2 ) w(tk+2 ))+
+ (w(tk+2 ) xk+2 ).
(3.3.8)
Ponadto:
w(tk+2 ) xk+2 = w(tk+2 ) w(tk+1 ) h(h, tk+1 , w(tk+1 ))
= Rhp+1 + O(hp+2 )
na mocy Uwagi 3.3.1
u(tk+2 ) w(tk+2 ) =
=
=
=
u(tk+2 ) wk+2 =
=
Zatem
xk+2 wk+2 = 2(2p 1)Rhp+1 + O(hp+2 )
(3.3.9)
std
|R|hp+1 =
1 |wk+2 xk+2 |
+ O(hp+2 )
p
2
2 1
(3.3.10)
oraz
1 |wk+2 xk+2 |
+ O(hp+2 )
2
2p 1
|wk+2 xk+2 |
6
.
2p 1
|u(tk+2 ) xk+2 | =
(3.3.11)
Jeli
|wk+2 xk+2 |
h
6 Eg
(3.3.12)
p
2 1
T t0
to mamy dobre ograniczenie bdu. Jeli nie, to musimy skrci krok do h.
Przy czym musimy dobra tak eby
|u(tk+2 ) xk+2 | = |R| p+1 hp+1 + O(hp+2 )
|wk+2 xk+2 | ?
h
6 Eg
.
6 p+1
p
2 1
T t0
(3.3.13)
3 SCHEMATY NUMERYCZNE
36
Eg h
2p 1
T t0 |wk+1 xk+2 |
!1
(3.3.14)
1
p
g h0
1
|xk+22 w
oraz kadziemy h1 = ch0 (c
3. Wyznaczamy = TEt
0
k+2 |
h0
0, 8 z dodatkowym ograniczeniem: 5 6 h1 6 5h0 .
(3.3.15)
37
(4.0.16)
gdzie A(t) jest dd-macierz, czyli A(t) = [aij (t)]i,j=1...d , gdzie aij : [t0 , t0 + ]
R cige, oraz b(t) Rd gdzie b : [t0 , t0 + ] Rd jest funkcj cig.
Jeli A, b s funkcjami staymi to mwimy o rwnaniu liniowym o staych
wspczynnikach. Jeli b = 0, to rwnanie nazywamy jednorodnym.
Dla dowolnego przeksztacenia liniowego A : Rd Rd oznaczmy
kAk = sup kAxk
(4.0.17)
kxk=1
x
)kkxk 6 kAkkxk.
kxk
Ponadto
kAxk2 =
d
d X
X
aij xj )2 6
i=1 j=1
i=1 j=1
zatem kAk 6
qP
i,j
d
d X
X
a2ij
d
X
x2k =
k=1
d
d X
X
a2ij kxk,
(4.0.18)
i=1 j=1
a2ij . Rwnie
kA + Bk 6 kAk + kBk
(4.0.19)
(4.0.21)
kxk=1
Niech R 3 t 7 A(t) Mdd (R) bdzie funkcj cig. Wwczas pokaemy, e t 7 kA(t)k te jest ciga. Zamy, e tk t. Wwczas
kA(tk ) A(t)k 6
sX
i,j
(4.0.22)
38
Ponadto
kA(tk )k 6 kA(tk ) A(t)k + kA(t)k
kA(t)k 6 kA(t) A(tk )k + kA(tk )k,
(4.0.23)
(4.0.24)
(4.0.25)
(RNJ)
(4.0.26)
(4.0.27)
Twierdzenie 4.0.2.
1. Rozwizanie rwnania (RJ) tworzy d-wymiarow
przestrze liniow.
2. Jeli x0 (t) jest pewnym szczeglnym rozwizaniem (RNJ) oraz x1 (t), . . . , xd (t)
tworz baz rozwiza (RJ), to kade rozwizanie (RNJ) jest postaci
x(t) = x0 (t) + c1 x1 (t) + . . . + cd xd (t), ci R
(4.0.28)
39
(4.0.30)
(t) = (t0 )e
t0
trA( )d
dla t [t0 , t0 + ].
(4.0.32)
Dowd. Niech
Y (t) =
y1 (t)
y2 (t)
..
.
yd (t)
(4.0.33)
Pd
i=1
40
d
d X
detY (t) =
sgn()y1(1) (t) . . . yd(d) (t)
dt
dt
d X
X
0
(t) . . . yd(d) (t) =
sgn()y1(1) (t) . . . yk(k)
k=1
y1 (t)
..
d
X
yk0 (t)
=
det
..
k=1
y1 (t)
..
.
d
P
det
=
i=1 aki (t)yi (t)
..
k=1
yd (t)
yd (t)
y1 (t)
..
.
d
d
XX
aki (t)det
yk (t)
=
..
k=1 i=1
k=1
yd (t)
Czyli 0 (t) = trA(t)(t). atwo sprawdzi, e jedynym rozwizaniem tego
rwnania jest
R
t
(t) = (t0 )e
t0
trA( )d
(4.0.34)
(4.0.35)
(4.0.36)
41
Wtedy
A(t)Y (t) = [A(t)x1 (t) . . . A(t)xd (t)] = [x01 (t) . . . x0d (t)] = Y 0 (t).
Rt
t0
trA( )d
Rt
=e
t0
trA( )d
(4.0.37)
6= 0.
Uwaga 4.0.2. Jeli Y (t) jest dowolnym rozwizaniem fundamentalnym rwnania x0 (t) = A(t)x(t) to rozwizanie problemu Cauchyego
(4.0.38)
(4.0.39)
jest postaci
x(t) = Y (t)Y
Y 1 ( )b( )d
(4.0.40)
t0
(4.0.42)
c1 (t)
..
Oznaczmy c(t) =
.
cd (t)
(RNJ) otrzymujemy:
42
Y 1 ( )b( )d.
t0
c(t) = Y (t0 ) x0 +
Y 1 ( )b( )d.
t0
Czyli:
x(t) = Y (t)Y (t0 )1 x0 + Y (t)
Y 1 ( )b( )d
(4.0.43)
t0
4.1
43
(4.1.1)
A2
2
+ ... +
An
.
n!
(4.1.2)
Wwczas:
n+k
X kAki
X
Ai
kAki
k6
6
0,
i=n+1 i!
i=n+1 i!
i=n+1 i!
n+k
X
(4.1.3)
e := n
lim sn =
X
An
n=0
(4.1.4)
n!
Pn
k=0
n
k
B k C nk
=
=
=
X
(B + C)n
n=0
X
n
X
n!
n
X
1 X
n=0 n! k=0
n
k
B k C nk
X B k C nk
B k C nk
=
n=0 k=0 k! (n k)!
0kn k! (n k)!
X
X
Bk
k=0 n=k
X
C nk
Bk X
Cl
=
= eB eC .
k! (n k)! k=0 k! l=0 l!
44
x0 (t) = Ax(t)
x(t0 ) = x0
(4.1.5)
t0
Ayn ( )d.
(4.1.6)
Wwczas
yn (t) = (I + A(t t0 ) +
A2 (t t0 )2
An (t t0 )n
+ ... +
)x0 .
2
n!
(4.1.7)
t0
n Z
X
n
X
Ak ( t0 )k
k!
k=0
t
k=0 t0
x0 d
n
X
( t0 )k
Ak+1 (t t0 )k+1
k+1
d A x0 = x0 +
x0
k!
(k + 1)!
k=0
n+1
X
(A(t t0 ))k
x0 .
k!
k=0
(4.1.8)
jed
(4.1.9)
45
(4.1.10)
k k
Rozwamy cig sn (t) = nk=0 Ak!t . Dla dowolnego a > 0, na mocy kryterium
Weierstrassa sn jest jednostajnie zbieny na [a, a] do eAt , poniewa dla
t [a, a] mamy
P
X
Ak tk
kAk kak
kAk kak
k
k
oraz
= ekAka .
k!
k!
k!
k=0
Ponadto
s0n (t) =
n
n
X
d X
Ak tk
Ak tk1
=
= Asn1 (t).
dt k=0 k!
k=1 (k 1)!
(4.1.11)
Zatem cig s0n jest jednostajnie zbieny na [a, a] do funkcji A eAt . Zatem
d At
e = lim s0n (t) = AeAt dla t [a, a] dla dowolnego a > 0, wic dla
dt
wszystkich t R.
Przypomnienie z algebry: Klatka Jordana
Jk () =
0
0
..
.
..
.
0 0 0
1
0
..
.
1
..
.
0
0
0
(4.1.12)
J =
[Jk 1(1 )]
0
..
.
0
0
..
[Jk 2(2 )]
.
..
..
..
.
.
.
0
[Jkr (r )]
(4.1.13)
(4.1.14)
46
(4.1.15)
oraz
At
X
(At)n
n!
n=0
X
P (Jt)n P 1
n!
n=0
n=0
Jn
X
(Jt)n
=P
n=0
(Jt)n
n!
J1n
0
..
.
J2n
..
.
n!
P 1 = P eJt P 1
0
.
..
.
..
. ..
Jrn
(4.1.16)
Zatem
X
1
n=0 n!
(J1 t)n
0
..
.
..
..
.
.
(Jr t)n
eJ1 t
0
..
.
..
.
eJ2 t
eJt
..
..
.
.
Jr t
0
0 e
0
0
(4.1.17)
Jk ()t
Std wystarczy wyznaczy: e
. Poniewa Jk () = I + Kk , gdzie
0
..
.
(J2 t)n
..
.
Kk =
0 0
0 0
1 0
.. . .
..
.
.
.
0 0 1
0
1
0
..
.
0
0
0
..
.
0
0
..
.
= Jk (0),
0
.
..
Kkn =
0
..
.
0 0
n+1
1 0
0 1
0 0
0 0
.. . . ..
. .
.
0 0
dla n 6 k 1
0 0
0 0
1 0
(4.1.18)
47
X
Kkn tn
n!
n=0
= I + Kk +
t2 2
tn1
Kk + . . . +
K k1
2
(n 1)! k
1
t
1
t
t2
2
t3
3!
0
1
t
..
.
t2
2
..
.
..
.
tk1
(k1)!
1
.. ..
.
.
t2
t 1
2
(4.1.19)
Std
eJk ()t
Oraz
t
=e
1
t
t2
2
t3
3!
0
1
t
..
.
t2
2
..
.
tk1
(k1)!
..
.
1
.. ..
.
.
[eJk1 (1 )t ]
etA = P
Uwaga 4.1.2.
1
t
.
Jkr (r )t
[e
(4.1.20)
0
..
t2
2
1
P
(4.1.21)
k
X
l=1
el t pl,j (t) +
s
X
l=1
48
4.2
49
(4.2.1)
(4.2.2)
(4.2.3)
(4.2.4)
gdzie
A(t) =
0
0
..
.
1
0
..
.
0
1
..
.
...
0
0
..
.
0
0
0
1
p0 (t) p1 (t) p2 (t) pk1 (t)
oraz b(t) =
x0 (t) =
x(t0 ) =
A(t)x(t) + b(t)
(x0 , . . . , xk1 )
0
..
.
0
f (t)
50
posiada dokadnie jedno rozwizanie oraz u(t) = x1 (t), wic moemy sformuowa nastpujcy wniosek.
Wniosek 4.2.1. Problem (RNJ) z warunkiem pocztkowym 4.2 posiada dokadnie jedno rozwizanie.
Stwierdzenie 4.2.2.
1. Rozwizania rwnania (RJ) tworz k-wymiarow
przestrze liniow
2. Jeli u0 (t) jest pewnym szczeglnym rozwizaniem (RNJ) oraz u1 , . . . ,
uk tworz baz rozwiza (RJ), to kade rozwizanie (RNJ) jest postaci
u(t) = u0 (t) + c1 u1 (t) + . . . + ck uk (t).
Dowd. Oznaczmy przez E zbir rozwiza (RJ). atwo sprawdzi, e E
jest przestrzeni liniow. Rozwamy operator liniowy L : E Rk postaci:
L(u) = (u(t0 ), u0 (t0 ), . . . , u(k1) (t0 ))
(4.2.5)
(4.2.6)
Aby wyznaczy baz rozwiza tego rwnania musimy znale wartoci wasne macierzy
0
1
0
0
0
0
1
0
..
..
..
..
A = ...
,
(4.2.7)
.
.
.
.
0
0
1
a0 a1 a2 ak1
czyli pierwiastki wielomianu charakterystycznego
0
..
.
a0
= + an1
n1
+ . . . + a0 .
1 0
0
1
0
..
.. . .
..
.
.
.
.
0
0
1
a1 a2 + ak1
51
1 0
0
..
.
.
..
..
.. . . .
= det .
.
0
0
0
1
a0 a1 a2 + ak
= ( + ak ) det
1 0
0 0
.. .. . .
.
. ..
. .
0 0
0
..
.
+ det
a0
1 0
0
1
0
..
.. . .
..
.
.
.
.
0
0 1
a1 a2 ak1
(= (ak1 ) + )
(4.2.8)
Ponadto wiemy, e
dim E 0 6
s1
X
l=1
l + 2
s2
X
m = k = dim E.
m=1
4.3
52
1
(bk (a0 xk + a1 xk+1 + . . . + aq1 xk+q1 ))
aq
q
X
ai i
i=0
ak xk+n =
k=0
q
X
ak (n + k)(n + k 1) . . . (n + k l + 2)n+kl+1
0
k=0
l1
d
n p()|=0 = 0
dl1
53
1
0
20
..
.
0
1
20
..
.
...
...
...
..
.
0
0
2
..
.
0
0
0
..
.
s1
(s 1)0s2 (s 1)(s 2)s3
. . . (s 1)!
0
0
c1
..
= 0.
.
cs
4.4
x0 (t)
x(t0 )
q
X
j=0
q
X
j=0
j x(tk + jh) h
j x(tk + jh) h
q
X
j=0
q
X
j=0
54
x (tk + jh) =
p+1
X
x(n) (tk )
(jh)n + O(hp+2 )
n!
n=0
p+1
X
x(n) (tk )
(jh)n1 + O(hp+1 ),
(n
1)!
n=1
std
rk =
q
X
j=0
q
X
p+1
X
q
p+1
X
X x(n) (tk )
x(n) (tk )
(jh)n
j
j n1 hn + O(hp+2 ) =
n!
(n
1)!
n=0
n=1
j=0
p+1
X
q
q
X
1 X
1
= j x(tk ) +
j j n
j j n1 x(n) (tk )hn + O(hp+2 ).
n!
(n
1)!
n=1
j=0
j=0
j=0
Oznaczmy przez
c0 =
q
X
j=0
cn =
q
q
X
1 X
1
j j n
j j n1 .
n! j=0
(n 1)! j=0
55
co prowadzi do schematu
xk+2 = xk + 2hfk+1
zwanego schematem punktu rodkowego, wtedy
0 = 1, 2 = 1, 1 = 2.
Wwczas
c0 = 0 + 2 = 0
c1 = 22 1 = 0
22
1
c2 = 2 1 = 0
2!
1!
23
1
1
c3 = 2 1 = ,
3!
2!
3
(4.4.1)
j fk+j ,
k = 0, 1 . . .
(4.4.2)
j=0
tk+q
f (s, x(s))ds
(4.4.3)
tk+q1
q
X
j=0
gdzie lj (s) =
q
Y
s tk+m
. (4.4.4)
tk+j tk+m
m=0
m6=j
Uwaga 4.4.1.
Pq (ts ) = f (ts , x(ts ))
dla s = k, . . . , k + q.
(4.4.5)
56
Zatem
x(tk+q ) x(tk+q1 ) + h
q
X
1 Z tk+q
lj (s)ds f (tk+j , x(tk+j )),
h tk+q1
j=0
(4.4.6)
gdzie
q
Y
1 Z tk+q
1 Z tk +qh
s tk mh
lj (s)ds =
ds
h tk+q1
h tk +(q1)h
tk + jh tk mh
m=0
m6=j
q
Y
sm
ds = j ,
jm
q1
m=0
m6=j
q
X
j fk+j .
j=0
q
q
X
Y
sm
j=0
jm
jn
(4.4.7)
m=0
m6=j
q
q
X
Y
jm
j=0
km
j n = kn.
m=0
m6=j
Ponadto
cn =
q
q
X
1 X
1
j j n
j j n1
n! j=0
(n 1)! j=0
Z q
1 n
1
n
=
(q (q 1) )
Wn1 (s)ds
n!
(n 1)! q1
Z q
1
=
(sn1 Wn1 (s))ds.
(n 1)! q1
57
Z q
1
=
(sq+1 Wq+1 (s))ds
(q + 1)! q1
Z q
s(s 1) . . . (s q)
ds < 0.
=
(q + 1)!
q1
dla k = 0, 1, . . .
58
Definicja 4.4.3. Mwimy, e schemat () jest stabilny, jeli wszystkie pierwiastki g znajduj si w kole jednostkowym, za te pierwiastki, ktre le na
okrgu jednostkowym s jednokrotne.
Przykad 4.4.2.
1o Schemat punktu rodkowego: g() = 2 1 = ( 1)( + 1)
2o Schemat Adamsa: g() = q q1 = ( 1)q1
Definicja 4.4.4. Mwimy, e schemat () jest zgodny, jeli
0 =c0 = 0 + . . . + q
0 =c1 = 11 + . . . + qq (0 + . . . + q ).
(4.4.9)
W najbliszym czasie udowodnimy twierdzenie, ktre mwi, e jeli liniowy schemat wielokrokowy jest zgodny i stabilny, to jest zbieny. Najpierw
jednak musimy przypomnie sobie pewne twierdzenia dotyczce funkcji analitycznych.
Niech f : D C, gdzie D C jest zbiorem otwartym.
Definicja 4.4.5. Mwimy, e funkcja f posiada pochodn (zespolon) w
z0 D, jeli istnieje
f (z) f (z0 )
(4.4.10)
lim
zz0
z z0
i oznaczamy j przez f 0 (z0 ). Mwimy, e funkcja f jest analityczna, jeli posiada pochodn w kadym punkcie dziedziny.
Twierdzenie 4.4.3. Jeli f : D C jest analityczna, to w kadym punkcie
posiada pochodn dowolnego rzdu.
Oznaczenie. Niech f : D C bdzie funkcj analityczn oraz : [a, b] D
bdzie krzyw klasy C 1 . Wwczas oznaczmy
Z
f (z)dz =
f ((t)) 0 (t)dt.
Ponadto, dla dowolnego r > 0 oznaczmy przez O(0, r) krzyw postaci [0, 2] 3
t 7 eit C.
Twierdzenie 4.4.4. Jeli f : {z C; |z| < R} C jest analityczna, to
f (z) =
an z n ,
h=0
gdzie an =
1
2
R
O(0,r)
f (z)z
59
(4.4.11)
1 . . . r (z 11 ) . . . (z 1r )w(z)
=
ar
v(z)
a1
.
1 + ... +
1 +
w(z)
z 1
z r
f (z) =
bn z n dla |z| 6 1,
n=0
gdzie
1 Z
f (z)z n dz.
bn =
2 O(0,1)
60
Std |bn | 6 max|z|61 |f (z)|. Nastpnie dla |z| < 1 mamy |j z| < 1 oraz
aj
z 1j
= aj j
1
= aj j (1 + j z + 2j z 2 + . . .)
1 j z
Pr
j=1 bkj
oraz
|k | 6 max |f (z)| +
|z|<1
r
X
|aj | =: dla k = 0, 1, . . .
j=1
Wniosek 4.4.6. Dla j z poprzedniego lematu zachodzi zwizek
q
X
k lq+k =
0
k=0
gdy l = 0 q 0 = 1
gdy l =
6 0,
X
X
1
=
k qk
(n n )
1 = g()
g()
n=0
k=0
=
=
q X
n+k
qk n
k=0 n=0
q
X
X
l
k lq+k .
l=0
k=0
X
l=0
q
X
qk lk
k=0
61
q
X
j yk+j = h
j=0
q
X
j,k (yk+j ) + gk
(4.4.12)
j=0
gdzie
1o
q
X
|j | 6 a,
j=0
3 |gk | 6 dla k = 0, 1 . . . ,
o
4 g() =
q
X
j=0
(N + aq),
1 |hbq |
L=
qb
1 |hbq |
q
X
j=0
kq
X
l gkql .
l=0
kl
X
l=0 s=kql
kq
X
l=0
l gkql .
62
min(kq,ks)
s=0 l=max(0,ksq)
kq
X
l gkql
l=0
Podstawmy i = s k + q + l, wtedy
k
X
min(s,q)
s=0 i=max(sk+q,0)
kq
X
l gkql .
l=0
Oznaczmy przez
min(s,q)
cs =
i is+kq
i=max(sk+q,0)
Jeli q s k, to
cs =
q
X
s =k
i is+kq =
0 s < k.
i=0
Jeli 0 6 s < q, to
|cs | 6
q
X
|i ||is+kq | 6 a,
i=0
std
yk +
q1
X
cs ys = h
s=0
k
X
min(s,q)
s=0 i=max(sk+q,0)
kq
X
l gkql
l=0
czyli
yk h0 q,kq (yk ) =
q1
X
s=0
cs ys +h
k1
X
min(s,q)
s=0 i=max(sk+q,0)
kq
X
l=0
l gkql
63
zatem
|yk |(1 h|0 |b) 6 qa + h
k1
X
qb|ys | + N .
s=0
Poniewa 0 q = 1, wic
|yk | 6 hL
k1
X
|ys | + M,
s=0
gdzie
M=
(N + aq),
1 |hbq |
L=
qb.
1 |hbq |
Teraz udowodnimy, e
|yk | 6 M (1 + hL)k dla k = 0, 1, . . . , N.
Najpierw pokaemy, e:
|yk | 6 6 M dla k = 0, 1, . . . , q 1.
Ze wzgldu na to, e
0<1
hb
61
|q |
otrzymujemy
M=
(N + aq) (N + aq) qa a,
1 |hbq |
ponadto
a
q
X
|j 0 | |q 0 | = 1,
j=0
std
M .
Dla q 6 k 6 N nierwno |yk | 6 M (1 + hL)k udowodnimy za pomoc
indukcji. Zamy, e dla m < k zachodzi |ym | 6 M (1 + hL)m . Wwczas
|yk | 6 hL
k1
X
|ys | + M 6 hLM
s=0
(1 + hL)s + M
s=0
k
= hLM
k1
X
(1 + hL) 1
+ M = M (1 + hL)k ,
hL
64
q
X
j=0
q
X
j=0
q
X
j x(tk + jh) h
j x(tk + jh) h
q
X
j=0
q
X
j=0
j x(tk ) + h
j=0
q
X
q
X
jj x (tk ) h
j=0
q
X
j x (tk ) + h
j=0
q
X
j=0
j=0
q
X
j=0
Niech
(h) =
q
X
j=0
q
X
j=0
(j|j | + |j |)
sup
t,t0 [t0 ,T ]
|tt0 |6qh
x,x0 B(0,R)
|xx0 |6Mqh
65
j=0
j=0
Niech j,k (y) = j (f (tk+j , y xk+j ) f (tk+j , xk+j )). Wwczas |j,k (y)| 6 b|y|,
gdzie b = L max06j6q |j | oraz L jest sta Lipschitza funkcji f . Ponadto
q
X
j=0
Wemy h na tyle mae, aby 1/2 < 1 |hbq | < 1 oraz niech := max06j<q |ej |,
0
= h(h). Na mocy poprzedniego lematu dla 0 6 k 6 N = T t
mamy
h
|ek | 6 M ehkL 6 M e(T t0 )L
gdzie
M=
L=
qb 6 2qb.
1 |hbq |
66
x0 (t)
Z
x1 +
t0
f (, (x1 )( ))d x2
6 kx1 x2 k +
6 kx1 x2 k +
t1
t0
f (, (x2 )( ))d
t0
Z t
L k(x1 )( ) (x2 )( )k d.
t0
t0
Ld
= kx1 x2 k e(T t0 )L ,
std
k(x1 ) (x2 )ksup 6 kx1 x2 k e(T t0 )L .
Uwaga 5.0.2. Niech (t, x0 ) = (x0 )(t) tzn. t 7 (t, x0 ) jest rozwizaniem
problemu Cauchyego
|t t1 | 6 oraz kx x1 k 6 L(T t0 ) .
2e
Wwczas:
.
2
f (, (, x))d k
t0
t0
kf (, (, x))kd M (T t0 ).
jest
Niech R = M (T t0 )+1 oraz ustalmy (t1 , x1 ) [t0 , T ]G. Poniewa, f
x
ograniczona na [t0 , T ] B(x1 , R) G, wic f : [t0 , T ] (B(x1 , R) G) Rd
jest funkcj Lipschitza ze sta L. Jeli kxx1 k < 1, to (t, x) B(x1 , R)G,
std
k(t, x) (t, x1 )k 6 kx x1 k +
6 kx x1 k +
t0
Z t
t0
kf (, (, x)) f (, (, x1 ))k d
L k(, x) (, x1 )k d.
x0 (t) =
x(t0 ) =
f (t, x(t))
x0
to jest ciga. Ponadto, y 0 (t) = 0, wic y(t) = y0 oraz x0 (t) = f (t, x(t), y0 ).
Zatem (t, x0 , y0 ) = ((t, x0 , y0 ), y0 ). Std jest rwnie ciga.
Twierdzenie 5.0.14. (o cigej zalenoci od parametru dla rwna liniowych) Niech M Rd . Niech A : [t0 , T ] M Md (R) bdzie funkcj cig.
x0 (t) =
x(t0 ) =
A(t, y)x(t)
x0 .
kx0 k +
t0
Z
A(, y)(, y)d
6 kx0 k +
Z
x0 +
t0
A k(, y)k d.
t0
Z t
(A(, y)(, y) A(, y1 )(, y1 ))d
t0
Z t
Z t
t0
Z t
t0
t0
Z
t
t1
A kx0 k e2(T t0 )A .
f
(t, sy2 + (1 s)y1 )ds
xk
f
(t, y)
xk
(5.0.13)
oraz
f (t, y2 ) f (t, y1 ) =
d
X
(5.0.14)
k=1
d
X
f
k=1 xk
std
f (t, y2 ) f (t, y1 ) = F (1) F (0) =
=
d Z
X
k=1 0
F 0 (y)ds
f
(t, sy2 + (1 s)y1 )ds (y2k y1k ).
xk
x0 (t)
= f (t, x(t))
x(t0 ) = x0 .
z(t, x) =
(t, x)
~n
jest rozwizaniem rwnania liniowego:
d z(t, x)
dt
z(t0 , x)
gdzie I(t, x) =
= I(t, x)z(t, x)
= ~n
(5.0.15)
f
(t, (t, x))
x
n
X
k=1
yh (t)y0 (t)
h
!0
yh (t) y0 (t)
= I(t, h)
.
h
mamy
f
(t, y0 (t)),
xk
I(t, h) I(t, 0) =
f
(t, (t, x0 ))
x
Czyli
oraz
zh (0) =
Zatem
yh (0) y0 (0)
= ~n.
h
z 0 (t)
z 0 (t)
z(0)
= I(t, 0)z(t)
= ~n.
Z drugiej strony
zh (t) =
(t, x0 ).
h
~n
Std dla dowolnego ~n oraz x0 pochodna kierunkowa ~n (t, x0 ) istnieje a ponadto jeli
(t, x),
z(t, x) =
~n
to
d z(t, x)
dt
z(t0 , x)
= I(t, x)z(t, x)
= ~n,
gdzie I(t, x) = fx (t, (t, x)) jest klasy C r . Rozwamy funkcj F : [t0 , T ]
Rd Rd Rd Rd dan wzorem:
!
f
(t, (t, x)) z .
F (t, x, z) = 0,
x
F jest oczywicie klasy C r . Oznaczmy przez (t, x) = (1 (t, x), 2 (t, x))
Rd Rd . rozwizanie rwnania postaci:
0
0
(x (t), z (t))
x(t0 )
z(t0 )
6.1
ai (x)
i=1
u
(x) = b(x),
xi
u
u
x
= y.
x
y
6.2
Rozmaitoci (przypomnienie)
(6.2.1)
(6.2.2)
(6.2.3)
det
H(x0 , y0 ) 6= 0.
y
6.3
ai (x)
u
(x) = 0 dla x G.
xi
(RJ)
(RCH),
czyli
x01
x0
2
= a1 (x)
= a2 (x)
..
.
x0d
= ad (x)
(2 1) Niech x0 G1 . Na mocy Twierdzenia Peano (2.2.2) istnieje charakterystyka x : I G1 taka, e x(0) = x0 . Wwczas
d
X
d
u
(x0 ) = Du(x(0))a(x(0)) = Du(x(0))x0 (0) = (u x)(t) = 0.
ai (x0 )
xi
dt
i=1
t=0
Twierdzenie 6.3.2. Niech a : G Rd bdzie funkcj klasy C 1 oraz niech
S G bdzie rozmaitoci klasy C 1 takim, e dimS = d 1. Niech p S
bdzie punktem takim, e a(p)
/ Tp S (nie naley do przestrzeni stycznej).
Wtedy istnieje otoczenie G1 Rd punktu p takie, e problem Cauchyego
P
d
dla x G1
dla x S G1
(6.3.1)
yu xu
x
y
u(0, y)
=0
= y3.
x0 = y
y 0 = x
a charakterystyki postaci
"
#" #
cos(t) sin(t)
(t, x, y) =
sin(t) cos(t)
x
y
Wszystkie charakterystyki s okrgami bo macierz fundamentalna jest macierz obrotu, zatem rozwizanie jest stae na okrgach o rodku w (0, 0). Ale
wynika z tego, e w otoczeniu (0, 0) problem nie ma rozwizania poniewa z
jednej strony u(0, y) = u(0, y) (gdy (0, y) i (0, y) le na jednej charakterystyce), a z drugiej u(0, y) = y 3 6= y 3 = u(0, y). Powodem dla ktrego
ten problem nie ma rozwizania jest fakt, e a(0) = 0 T0 S.
Lemat 6.3.3. Zamy e spenione s zaoenia Twierdzenia 6.3.2. Przez
t 7 (t, x) oznaczmy rozwizaniem rwnania charakterystycznego takie, e
(0, x) = x. Wtedy istnieje otoczenie G1 punktu p, > 0 oraz funkcja :
G1 R klasy C 1 taka, e dla dowolnych x G1 oraz t <
(t, x) S t = (x).
ai (x)
u
(x) = b(x).
xi
(RN J)
Twierdzenie 6.3.5. Niech t 7 (t, x) bdzie rozwizaniem rwnania charakterystycznego (RCH) dla rwnania jednorodnego (RJ) takim, e (0, x) =
x. Niech G1 G bdzie podzbiorem otwartym oraz u : G1 R funkcj rniczkowaln. Wtedy nastpujce warunki s rwnowane:
1. u jest rozwizaniem rwnania niejednorodnego (RN J),
2. dla dowolnego x G1 istnieje > 0 taki, e dla |t| < mamy
u((t, x)) = u(x) +
Z
0
b((, x))d.
Z
0
Z t
d
u((, x))d =
b((, x))d.
d
0
(2 1) Poniewa
u((t, x)) u(x) =
b((, x))d,
wic
d
u((t, x)) = b((t, x)).
dt
Std
b((t, x)) =
d
d
u((t, x)) = Du((t, x)) (t, x) = Du((t, x))a((t, x)).
dt
dt
dla x G1
dla x S G1
(x)
b((s, x))ds.
Wwczas
Z
((t,x))
0
(x)t
(x)
b((s + t, x))ds +
b((s, x))ds
= u(x) +
b((s, x))ds.
(x)
b((s, x))ds,
std
u1 (x) = w(( (x), x))
(x)
Uwaga 6.3.1. Metoda charakterystyk jest bardzo wygodna przy numerycznym wyznaczaniu rozwiza przyblionych problemu Cauchyego
P
d
ai (x) xui = 0
u(x) = w(x)
i=1
dla x G1
dla x S G1 .
W celu rozwizania problemu ustalamy d punktw x1 , x2 , . . . , xd na rozmaitoci S. Nastpnie dla kadego xi wyznaczamy jednoczenie numeryczne rozwizanie rwnania charakterystycznego
x0
= a(x)
x(0) = xi .
otrzymujc kolejno punkty (jh, xij ) (h - dugo kroku). Na koniec przyblione wartoci u w xij definiujemy nastpujco
u(xi,j ) = w(xi ).
6.4
Rwnania quasi-liniowe
W nastpnej czci skryptu udowodnimy twierdzenie o istnieniu i jednoznacznoci rozwiza dla oglniejszej klasy rwna pierwszego rzdu, tzw. rwna
quasi-liniowych postaci:
d
X
i=1
ai (x, u(x))
u
(x) = b(x, u(x))
xi
(RQL)
(6.4.1)
x0
u
= a(x, u)
= b(x, u),
czyli
x01
x2
xd
u0
= a1 (x, u)
= a2 (x, u)
..
.
= ad (x, u)
= b(x, u).
x0
u0
= a(x, u)
= b(x, u)
x(0) = x0
u(0) = u0 .
(6.4.2)
k 0 (t) =
k 0 (t)
k(0)
= b(1 (t, p), k(t) + u(1 (t, p))) Du(1 (t, p))a(1 (t, p), k(t) + u(1 (t, p)))
= 0.
d
d
b(x, u(x)) = 2 (t, x, u(x)) = u(1 (t, x, u(x))) = Du(x)a(x, u(x)).
dt
dt
t=0
t=0
Twierdzenie 6.4.2. Niech funkcje dane ai , b : G R R rwnania (RQL)
bd klasy C 1 . Niech S G bdzie rozmaitoci wymiaru d1 oraz w : S R
funkcj klasy C 1 . Niech p S bdzie punktem takim, e
a(p, w(p))
/ Tp S.
Wwczas istnieje otoczenie G1 Rd punktu p takie, e problem Cauchyego
P
d
dla x G1
dla x S G1
z drugiej strony
1 (0, x, u) =x
D(x,u) 1 (0, x, u) =(idRd , 0)
oraz
D() = (D(), D(w )()))
zatem
Dt g1 (0, 0 ) = a(1 (0, (0 ))) = a(p, w(p))
D g1 (0, 0 ) = (id, 0)(D(0 ), D(w )(0 )) = D(0 )
Wemy dowolne t R, Rn1 , wtedy
Dg1 (0, 0 )(t, ) = a(p, w(p))t + D(0 )
Teraz moemy udowodni, e Dg1 (0, 0 ) jest monomorfizmem. Zamy e
0 = Dg1 (0, 0 )(t, ) = a(p, w(p))t + D(0 )
std
a(p, w(p))t = D(0 ) ImD(0 ) = Tp S
Z faktu, e a(p, w(p))t Tp S wynika e t = 0, wic D(0 )() = 0. Jednak
D(0 ) jest monomorfizmem, czyli = 0
d
X
(RL)
(7.0.3)
i=1
d
X
aij xi xj
(7.0.4)
i,j=1
(7.0.6)
(7.0.7)
7.1
Rwnanie struny
u(0, t) = u(, t) = 0
u(x, 0) = f (x)
ut (x, 0) = g(x)
dla
dla
dla
dla
0 6 x 6 , 0 6 t
06t
06x6
06x6
(i)
(ii)
(iii)
(iv).
(7.1.1)
(7.1.2)
2u
2u
(x,
t)
=
(x, t) = v(x)w00 (t).
2
2
x
t
v 00 (x)
w00 (t)
=
dla 0 6 x 6 , 0 t.
v(x)
w(t)
(7.1.3)
(7.1.4)
v(x) = c1 e x + c2 e .
Wwczas
0 = v(0) = c1 + c2
0 = v() = c1 e
+ c2 e
czyli c1 = c2 = 0 oraz u 0.
2o Gdy = 0, to
v(x) = c1 + c2 x.
(7.1.5)
(7.1.6)
Wwczas
0 = v(0) = c1
ak sin(kx).
(7.1.8)
k=1
f (x) sin(lx)dx =
X
k=1
poniewa
Z
0
ak
sin(lx) sin(kx)dx =
sin(lx) sin(kx)dx =
kl ,
2
ak ,
2
(7.1.9)
kbk sin(kx),
k=1
zatem
2 Z
g(x) sin(kx)dx.
k 0
bk =
ak =
Ponadto f (x) =
k=1
(7.1.10)
ak sin(kx).
Z
cos(kx)
sin(kx)
f (x)
f (x) sin(kx)dx =
f 00 (x)
dx =
dx
k
k2
0
0
Z
f 00 ()(1)k f 00 (0)
cos(kx)
=
f 000 (x)
+
dx
3
k
k3
0
1 Z (4)
= 4
f (x) sin(kx)dx.
k 0
Z
Zatem
|ak | 6
1
sup |f (4) (x)|.
k 4 x[0,]
f (x)
f (x)
dla x > 0
dla x 6 0.
Jest ona klasy C 4 , zatem jest rwna swojemu szeregowi Fouriera, czyli
f(x) =
X
k=1
2Z
=
f (x) sin(kx)dx = ak .
0
Zatem
f (x) =
k=1
Twierdzenie 7.1.2. Niech f, g : [0, ] R bd funkcjami klasy C 4 takimi,
e:
f (0) = f () = g(0) = g() = 0
f (0) = f 00 () = g 00 (0) = g 00 () = 0
00
k=1
(7.1.11)
M
M
M
, kDuk (x, t)k 6 3 , kD2 uk (x, t)k 6 2 .
4
k
k
k
uk ,
k=1
X
k=1
Duk ,
D 2 uk
k=1
Du =
X
k=1
Duk ,
D2 u =
X
k=1
D 2 uk .
X
k=1
k=1
k=1
u(x, 0) =
k=1
ut (x, 0) =
ak sin(kx) = f (x),
kbk sin(kx) = g(x)
k=1
v(0, t) = v(, t) = 0
v(x, 0) = 0
vt (x, 0) = 0
dla
dla
dla
dla
x [0, ], t > 0
t>0
x [0, ]
x [0, ].
Z
0
Wwczas
E 0 (t) =
=
Z0
0
d 2
d
vx (x, t) + vt2 (x, t))dx
dt
dt
Z
0
Z
0
Z
0
wic
d 2
d
vx (x, t) + vt2 (x, t))dx = 0 dla dowolnego t 6= 0.
dt
0 dt
Std vx (x, t) = vt (x, t) = 0 dla x [0, ], t [0, +). Ponadto
E 0 (t) =
Z
0
vt (x, s)ds = 0.
k=1
gdzie
ank
bnk
2 Z 00
2Z
=
fn (x) sin(kx)dx = 2
f (x) sin(kx)dx
0
k 0 n
2 Z
2 Z 0
=
gn (x) sin(kx)dx =
g (x) cos(kx)dx.
k 0
k 2 0 n
Zatem
|un (x, t) u(x, t)| = |un (x, t)| 6
6
2X
1 Z
k=1
(
2
(|ank | + |bnk |)
k=1
|fn00 (x)|dx
Z
0
|gn0 (x)|dx)
1
)( sup |fn00 (x)| + sup |gn0 (x)|) 0
2
k
x[0,]
x[0,]
k=1
6 (
8 PROBLEM DIRICHLETA
99
Problem Dirichleta
f : R.
d
X
uxi xi .
i=1
u(x) = F (x)
u(x) = f (x)
dla x
(PD)
dla x .
d
X
i=1
uxi xi (a) 0.
8 PROBLEM DIRICHLETA
100
Dowd. Ustalmy > 0 oraz rozwamy funkcj v(x) = u(x) + kxk2 . Wwczas v(x) = u(x) + 2d > 0. Na mocy Lematu 8.0.4 max v = max v.
Ponadto zbir jako ograniczony, czyli znajduje si w kuli domknitej K(0, r).
Std
max u 6 max v = max v 6 max u + r2 .
max(u) 6 max(u).
Std
max |u| = max(max(u), max u) 6 max |u|
8 PROBLEM DIRICHLETA
101
dla x
dla x .
czyli u1 u2 .
Twierdzenie 8.0.8. (Zasada maksimum II) Niech u C() C 2 (). Zamy, e u = 0 dla x oraz niech
M (u) = sup |u| < .
r2 M (u)
.
2d
M (u)
kxk2 .
2d
Wwczas v(x) = u(x)+M (u) > 0. Na mocy Lematu 8.0.5, dla dowolnego
x mamy
u(x) 6 max u 6 max v 6 max v 6 max u +
M (u)
kxk2 .
2d
r2 M (u)
.
2d
8 PROBLEM DIRICHLETA
102
Wtedy
v1 (x) = u(x) + M (u) 6 0.
Std
max(v1 ) 6 max(v1 ) oraz u v1 .
M (u) 2
r .
2d
Std
|u(x)| = max(u(x), u(x)) 6 max(max(u), max(u))) +
M (u)r2
2d
M (u)r2
.
= max | u|) +
2d
Wniosek 8.0.9. Niech u bdzie rozwizaniem (PD). Zamy, e f i F s
ograniczone. Jeli K(0, r), to
|u(x)| 6 max |f | +
r2 max |F |
.
2d
dla x
dla x ,
r2 max |F Fn |
0,
2d
8 PROBLEM DIRICHLETA
8.1
103
Metoda siatek
h = {(xm , yn ) : (xm , yn ) }
b
h = {(xm , yn ) : wszystkie jego wzy ssiednie le w }
b \ .
h =
h
h
h2
M dla (xm , yn ) h .
6
h2
h3
h4
uxx (x, y)+ uxxx (x, y)+ uxxxx (1 , y)
2
6
24
h2
h3
h4
u(x, y + h) = u(x, y) + h uy (x, y) + uyy (x, y) + uyyy (x, y) + uyyyy (x, 1 )
2
6
24
8 PROBLEM DIRICHLETA
104
h2
h3
h4
uxx (x, y) uxxx (x, y)+ uxxxx (2 , y)
2
6
24
2
3
h
h
h4
u(x, y h) = u(x, y)huy (x, y)+ uyy (x, y) uyyy (x, y)+ uyyyy (x, 2 ).
2
6
24
Dodajc stronami otrzymane rwnoci otrzymamy
u(xh, y) = u(x, y)hux (x, y)+
h4
(uxxxx (1 , y) + uyyyy (x, 1 ) + uxxxx (2 , y) + uyyyy (x, 2 )
24
h4
M
6
u(x) = F (x)
dla x
u(x) = f (x)
dla x
gdzie F : R i f : R s dane.
Rozwamy teraz dyskretn wersj tego problemu. Jednak zanim to uczynimy, musimy zmodyfikowa f tak, aby bya okrelona na h . Zamy,
e (xm , yn ) h . Wwczas ktry z wzw ssiednich (xm0 , yn0 )
/ .
Zatem istnieje (x0m , yn0 ) , ktry ley na odcinku pomidzy (xm , yn ) a
(xm0 , yn0 ). Wwczas k(xm , yn ) (x0m , yn0 )k 6 h. W ten sposb moemy zdefiniowa fh : h R jako
fh (xm , yn ) = f (x0m , yn0 ).
Rozwamy dyskretny problem Dirichleta (schemat rnicowy): znale
b R tak, e:
funkcj :
h
(x , y ) = F (x , y )
h
m n
m n
(xm , yn ) = fh (xm , yn )
dla (xm , yn ) h
(DPD)
dla (xm , yn ) h .
8 PROBLEM DIRICHLETA
105
(x , y ) = 0
h
m n
(xm , yn ) = 0
dla (xm , yn ) h
dla (xm , yn ) h
Stosujc powyszy lemat dla , otrzymujemy:
b R. Jeli
Twierdzenie 8.1.3. (Zasada maksimum) Niech :
h
8 PROBLEM DIRICHLETA
106
(x , y ) = 0
h
m n
(xm , yn ) = 0
dla (xm , yn ) h
dla (xm , yn ) h ,
max || 6 max || = 0
h
bh
b .
wic (xm , yn ) = 0 dla (xm , yn )
h
b R. Niech M () =
Twierdzenie 8.1.5. (Zasada maksimum II) Niech u :
b mamy
maxh |h |. Jeli K(0, r), to dla dowolnych (xm , yn )
h
|(xm , yn )| 6 max || +
h
r2 M ()
.
4
1 (x, y) = (x, y) +
8 PROBLEM DIRICHLETA
107
|u(xm , yn ) (xm , yn )| 6 +
r2 h2
M
24
dla (xm , yn ) h .
b R
Dowd. Rozwamy funkcj v :
h
|u(xm , yn ) (xm , yn )|
|u(xm , yn ) u(x0m , yn0 )| + |u(x0m , yn0 ) (xm , yn )|
|u(xm , yn ) u(x0m , yn0 )| + |f (x0m , yn0 ) fh (xm , yn )|
|u(xm , yn ) u(x0m , yn0 )|.
Poniewa u : R jest jednostajnie ciga, wic dla kadego > 0 dobierzemy > 0 takie, e
p,q kp qk 6 |u(p) u(q)| < .
Zamy, e h 6 . Poniewa k(xm , yn ) (x0m , yn0 )k 6 h 6 , wic
|v(xm , yn )| 6 |u(xm , yn ) u(x0m , yn0 )| < dla (xm , yn ) h
Ponadto, dla kadego (xm , yn ) h mamy
|h v(xm , yn )| 6 |h u(xm , yn ) u(xm , yn )| + |u(xm , yn ) h (xm , yn )|
h2
6 |h u(xm , yn ) u(xm , yn )| 6 M.
6
Podsumowujc, jeli h 6 , to
max |v| < oraz max |h v| 6
h
h2
M
6
r2 h2
b .
M dla (xm , yn )
h
24
LITERATURA
Literatura
[1] J. Ombach, Wykady z Rwna Rniczkowych.
[2] A. Palczewski, Rwnania Rniczkowe zwyczajne.
[3] A. Ralston, Wstp do Analizy Numerycznej.
108