ВУЗ:
Составители:
5.1. О свойствах решения уравнения Лёвнера 53
и оценим
|d(w
n
− w
n−1
)|
dt
=
¯
¯
¯
¯
dw
n
dt
−
dw
n−1
dt
¯
¯
¯
¯
=
= |w
n
P (t, w
n−1
) − w
n−1
P (t, w
n−2
)| ≤
≤ |w
n
− w
n−1
||P (t, w
n−1
)| + |w
n−1
||P (t, w
n−1
) − P (t, w
n−2
)|.
Применяя соотношения
P (t, w
n−1
) − P (t, w
n−2
) =
1 + κw
n−1
1 − aew
n−1
−
1 + κw
n−2
1 − κw
n−2
=
=
2κ(w
n−1
− w
n−2
)
(1 − κw
n−1
)(1 − κw
n−2
)
,
|κw
k
| < |z| ⇒ |P (t, w
k
)| ≤
1 + |z|
1 − |z|
и
|P (t, w
n−1
) − P (t, w
n−2
)| ≤
2|w
n−1
− w
n−2
|
(1 − |z|)
2
к производным, получим
¯
¯
¯
¯
d(w
n
− w
n−1
)
dt
¯
¯
¯
¯
= A(z)|w
n
− w
n−1
| + B(z)|w
n−1
− w
n−2
|.
Здесь
A(z) =
1 + |z|
1 − |z|
, B(z) =
2|z|
(1 − |z|)
2
– константы по отношению к переменной t, так как в задаче Коши значение z
фиксировано. Поэтому получаем следующее дифференциальное неравенство
d|w
n
− w
n−1
|
dt
− A|w
n
− w
n−1
| ≤ B|w
n−1
− w
n−2
|.
Считаем, что t ∈ [0, t
0
], умножаем дифференциальное неравенство на e
−At
и интегрируем. Будем иметь
µ
dy
dt
− Ay
¶
e
−At
= (e
−At
y)
0
= Be
−At
|w
n−1
− w
n−2
|.
Простые выкладки дают
|w
n
− w
n−1
| ≤ e
At
0
B
t
Z
0
|w
n−1
(τ) − w
n−2
(τ)|dτ.
5.1. О свойствах решения уравнения Лёвнера 53
и оценим ¯ ¯
|d(wn − wn−1 )| ¯¯ dwn dwn−1 ¯¯
=¯ − =
dt dt dt ¯
= |wn P (t, wn−1 ) − wn−1 P (t, wn−2 )| ≤
≤ |wn − wn−1 ||P (t, wn−1 )| + |wn−1 ||P (t, wn−1 ) − P (t, wn−2 )|.
Применяя соотношения
1 + κwn−1 1 + κwn−2
P (t, wn−1 ) − P (t, wn−2 ) = − =
1 − aewn−1 1 − κwn−2
2κ(wn−1 − wn−2 )
= ,
(1 − κwn−1 )(1 − κwn−2 )
1 + |z|
|κwk | < |z| ⇒ |P (t, wk )| ≤
1 − |z|
и
2|wn−1 − wn−2 |
|P (t, wn−1 ) − P (t, wn−2 )| ≤
(1 − |z|)2
к производным, получим
¯ ¯
¯ d(wn − wn−1 ) ¯
¯ ¯ = A(z)|wn − wn−1 | + B(z)|wn−1 − wn−2 |.
¯ dt ¯
Здесь
1 + |z| 2|z|
A(z) = , B(z) =
1 − |z| (1 − |z|)2
– константы по отношению к переменной t, так как в задаче Коши значение z
фиксировано. Поэтому получаем следующее дифференциальное неравенство
d|wn − wn−1 |
− A|wn − wn−1 | ≤ B|wn−1 − wn−2 |.
dt
Считаем, что t ∈ [0, t0 ], умножаем дифференциальное неравенство на e−At
и интегрируем. Будем иметь
µ ¶
dy
− Ay e−At = (e−At y)0 = Be−At |wn−1 − wn−2 |.
dt
Простые выкладки дают
Zt
|wn − wn−1 | ≤ eAt0 B |wn−1 (τ ) − wn−2 (τ )|dτ.
0
Страницы
- « первая
- ‹ предыдущая
- …
- 51
- 52
- 53
- 54
- 55
- …
- следующая ›
- последняя »
