Системы обыкновенных дифференциальных уравнений
.pdfТак как (x, ψ1(x)) ( D) для любого x (α2 ,β2 ) , то F (x, ψ1(x)) C((α2 ,β2 )) и,
x
следовательно, ∫F (x, ψ1(x))dx существует ( ψ 2 ( x ) – “второе” приближение).
x0
Имеем
ψ′2 (x) = F (x, ψ1(x)) ψ′2 (x0 ) = F (x0, ψ1(x0 ))= F( x0 ,Y0 ) ;
ψ2 ( x0 ) =Y0 ,
то есть кривая Y = ψ2 ( x ) проходит через точку (x0,Y0 ) и такая, что
Y ′( x0 ) = ψ′2 ( x0 ) = F ( x0 ,Y0 ) .
Продолжая этот процесс аналогичным образом дальше, получим
x
ψk (x) =Y0 + ∫F (x, ψk −1( x))dx, x (αk ,βk ) ,
x0
где k N , k > 2 ; (αk ,βk ) – некоторый интервал, содержащий точку x0 и такой, |
|||||||||||||||||||||||||||||||||
что точка (x, ψk −1(x)) (D) |
для любого x (αk ,βk ) ( ψ k ( x ) – k-е приближе- |
||||||||||||||||||||||||||||||||
ние). И здесь кривая Y = ψ k ( x ) проходит через точку |
(x0,Y0 ) и такая, что |
||||||||||||||||||||||||||||||||
Y ′( x0 ) = ψ′k ( x0 ) = F ( x0 ,Y0 ) . |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||
Лемма (о приближениях Пикара). Пусть числа a > 0 , |
b > 0 – такие, что па- |
||||||||||||||||||||||||||||||||
раллелепипед |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||
|
( |
Pab ) = {(x,Y ), |
|
x − x0 |
|
≤ a; |
|
|
|
Y −Y0 |
|
|
|
≤ b} ( D) . |
|||||||||||||||||||
|
|
|
|
|
|
|
|||||||||||||||||||||||||||
|
|
|
|
|
F(x,Y ) |
|
|
|
|
|
|
|
|
|
|
|
|
b |
|
|
|
||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||||||||
Пусть |
M = max |
|
|
|
|
|
|
, |
h = min a, |
|
|
|
|
|
. Тогда все приближения Пикара |
||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||||||||||||
|
( Pab ) |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
M |
|
|
|
||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||||||||||||
ψ k ( x ) , |
k = 0,1, 2, K определены и непрерывны на отрезке I =[x0 − h, x0 + h] и |
||||||||||||||||||||||||||||||||
удовлетворяют неравенству |
|
ψk (x) −Y0 |
|
|
|
|
≤ b , x I . (Это означает, что графики |
||||||||||||||||||||||||||
|
|
|
|||||||||||||||||||||||||||||||
вектор-функций Y = ψ k ( x ) , |
|
x I , k = 0,1, 2, K лежат целиком в ( |
|
|
|||||||||||||||||||||||||||||
|
Pab ) .) |
Рассмотрим Y = ψ0 ( x ) ( ψ 0 ( x ) ≡ Y0 , x R ). Это приближение опреде-
лено и непрерывно на всей вещественной оси; следовательно, оно определено и непрерывно на отрезке I. Для x I имеем
ψ0 (x) −Y0 = Y0 −Y0 ≤ b .
Допустим, что Y = ψ k −1( x ) определено и непрерывно на I и удовлетворяет неравенству:
ψk −1( x) −Y0 ≤ b, x I .
Имеем тогда
x
ψk ( x) =Y0 + ∫F (x, ψk −1( x))dx .
x0
11
Точки (x, ψk −1(x)) ( Pab ), для любого x I F (x, ψk −1(x)) C( I ) как суперпозиция непрерывных функций ψ k ( x ) C( I ) .
Имеем далее, для x I
x
ψk (x) −Y0 = ∫F (x, ψk −1(x))dx ≤
x0
|
|
|
x |
|
|
|
|
x |
|
|
|
|
|
||
|
|
≤ |
∫ |
|
F (x, ψk −1(x)) |
|
dx |
≤ M |
∫dx |
= M |
|
x − x0 |
|
≤ M h ≤ b , |
|
|
|
|
|
|
|||||||||||
|
|
|
|
|
|
|
|
|
|||||||
|
b |
|
x0 |
|
|
|
|
x0 |
|
|
|
|
|
||
ибо h ≤ |
. |
|
|
|
|
|
|
|
|
|
|
||||
|
|
|
|
|
|
|
|
|
|
|
|||||
|
M |
k −1 к k сделан. Для ψ0 ( x ) утверждение леммы |
|||||||||||||
Видим, что переход от |
проверено непосредственно. В силу перехода от k −1 к k, утверждение леммы будет справедливо для ψ k ( x ) , где k =1, 2, K .
2°. Лемма Гронуола. Пусть
1)f ( x) C( a, b );
2)f ( x) удовлетворяет на a, b неравенству
x
0 ≤ f ( x) ≤ λ +µ ∫ f (t) dt ,
x0
где λ ≥ 0 , µ > 0 – постоянные числа.
Тогда справедливо неравенство
0 ≤ f (x) ≤ λeµ x−x0 , x a, b .
Доказательство проведем для x [x0 , b ; для x a, x0 ] оно аналогичное.
1-й случай: λ > 0 .
x
Имеем по условию: 0 ≤ f (x) ≤ λ +µ∫ f (t) dt , |
x [x0 , b . Положим |
||||||||
x |
|
|
|
|
|
x0 |
|
|
|
|
|
|
|
|
|
|
|
g(x) C1([x0 , b ); |
|
g(x) = λ +µ∫ f (t) dt , |
x [x0 , b . |
Нетрудно |
понять, |
что |
|||||
x0 |
|
|
|
|
|
|
|
|
|
g(x0 ) = λ > 0 . Имеем g′(x) = µ f (x) ≥ 0, |
x [x0 , b |
g(x) |
– неубывающая |
||||||
на промежутке [x0 , b |
g(x) ≥ λ > 0, |
x [x0 , b . |
|
|
|||||
Так как |
g′(x) = µ f (x) , а |
f (x) ≤ g(x) , |
x [x0 , b , то |
g′(x) ≤ µ g(x) , |
|||||
x [x0 , b |
|
g′(x) |
≤ µ, x [x0 , b . Проинтегрировав последнее неравенство по |
||||||
|
|
||||||||
|
|
g(x) |
|
|
|
|
|
|
отрезку [x0 , x] [x0 , b , получим
12
ln |
g( x) |
≤ µ (x − x0 ), x [x0 , b |
g( x) |
≤ eµ( x−x0 ) |
|
|
g(x0 ) |
g(x0 ) |
|||||
|
|
|
|
g( x) ≤ 123g(x0 ) eµ( x−x0 ) = λ eµ( x−x0 ) .
=λ
Следовательно, и подавно 0 ≤ f (x) ≤ λeµ( x−x0 ) , x [x0 , b .
2-й случай: λ = 0 .
x
Имеем по условию в этом случае 0 ≤ f (x) ≤ µ∫ f (t) dt , x [x0 , b . Возьмем
x0
последовательность чисел {λn}n N – любую, но такую, что λn > 0 для любого
n N и λn n→∞→0 . Для любого n N будем иметь
x
0 ≤ f (x) < λn +µ∫ f (t) dt, x [x0 , b .
x0
Так как функция f (x) удовлетворяет последнему неравенству, то получаем
предыдущий случай. Следовательно, будем иметь:
0 ≤ f (x) ≤ λn eµ( x−x0 ) , x [x0 , b , n N – любое.
Переходя в этом неравенстве к пределу при n → ∞ и приняв во внимание, что
λn →0 , получим |
|
|
|
|
|
|
|||
n→∞ |
|
|
|
|
|
|
|
||
|
|
|
f (x) ≡ 0, x [x0 , b . |
|
|
||||
Видим, что и в этом случае лемма доказана. |
|
dY |
|
||||||
3°. |
Теорема |
Пикара. |
Пусть |
имеется |
система |
= F(x,Y ) . Пусть |
|||
|
|||||||||
F( x,Y ) C( D) , (D) Rn+1 . Пусть |
|
|
dx |
||||||
F( x,Y ) Lip (D) – |
локально. Тогда для |
||||||||
|
точки (x0 ,Y0 ) ( D) |
|
|
|
Y |
|
|
||
любой |
задача |
(1) – |
(2) имеет |
решение Y = ϕ( x) , |
|||||
x [x0 |
− h, x0 + h], |
|
b |
|
|
|
|
||
h = min a, |
|
, причем это решение задачи (1) – (2) единст- |
|||||||
|
|||||||||
|
|
|
M |
|
|
|
|
венно. |
|
|
|
|
|
|
|
(x0 ,Y0 ) ( D) . По |
|
||||||||
|
|
|
|
Возьмем |
произвольную |
|
|
точку |
условию, |
||||||||
F( x,Y ) LipY (D) |
– локально |
|
|
существует |
Uδ( x0 ,Y0 ) , |
такая, что |
|||||||||||
U |
δ |
( x |
,Y ) ( D), и F( x,Y ) Lip U |
δ |
(x |
0 |
,Y ) |
. Пусть L > 0 |
– постоянная Лип- |
||||||||
|
|
0 |
0 |
Y ( |
|
|
0 ) |
|
|
|
|
|
|||||
шица для F(x,Y ) |
в Uδ( x0 ,Y0 ) . Возьмем числа a, b ( a > 0 , b > 0 ) такие, что |
||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
b |
|
|
|
(Pab ) Uδ(x0 ,Y0 ). Пусть M = max |
F(x,Y ) |
|
|
|
|||||||||||||
, |
h = min a, |
|
. По лемме, дока- |
||||||||||||||
M |
|||||||||||||||||
|
|
|
|
|
( Pab ) |
|
|
|
|
|
|
|
|
|
|
занной выше, все приближения Пикара
13
x
ψ0 (x) ≡Y0 , ψk (x) =Y0 + ∫F (x, ψk −1(x))dx (k =1, 2, K)
x0
определены и непрерывны на отрезке I =[x0 − h, x0 + h] и удовлетворяют условию
ψk (x) −Y0 ≤ b .
1) Покажем, что {ψk ( x)}k N сходится равномерно относительно x на I. Для этого рассмотрим функциональный ряд
ψ0 (x) +[ψ1(x) −ψ0 (x)]+K+[ψk (x) −ψk −1(x)]+K . |
(3) |
Замечаем, что S0 ( x) = ψ0 ( x) , S1( x) = ψ1( x), ... , Sk ( x) = ψk ( x) , ... . Значит, равномерная сходимость последовательности {ψk ( x)}k N , x I , равносильна рав-
номерной сходимости ряда (3) на I. Установим равномерную сходимость ряда
(3) на I. Для этого произведем оценку членов ряда (3). Имеем
ψ0 (x) = Y0 , x I .
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
x |
|
|
|
|
|
|
|
ψ1(x) −ψ0 (x) |
|
|
|
= |
|
|
|
ψ1(x) −Y0 |
|
|
|
= |
∫F ( x,Y0 ) dx |
≤ |
||||||||||||
|
|
|
|
|
|
|
|
|
||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
x0 |
|
|
|
|
x |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
M |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||
≤ |
∫ |
|
|
F( x,Y ) |
|
|
|
dx |
≤ M |
|
x − x |
|
≤ M h = |
( Lh), x I . |
||||||||||||||||
|
|
|
|
|
|
|||||||||||||||||||||||||
|
|
|
|
|
|
|
L |
|||||||||||||||||||||||
|
|
|
0 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
0 |
|
|
|
|
|
|
|
|
|
|
||
|
x0 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Имеем, далее:
x
≤ ∫
x 0
|
|
|
|
|
|
|
|
|
x |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||
|
ψ2 (x) −ψ1(x) |
|
|
|
= |
∫(F |
(x, ψ1(x))− F (x, ψ0 ( x)))dx |
|
≤ |
||||||||||||||||||||||
|
|
|
|||||||||||||||||||||||||||||
|
|
|
|||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
x0 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||
F (x, ψ1(x )) |
− F(x,ψ0 ( x )) |
|
|
|
|
|
x |
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||
|
|
|
dx |
≤ L |
∫ |
|
|
|
ψ1(x ) − ψ0 ( x ) |
|
|
|
dx |
≤ |
|||||||||||||||||
|
|
|
|
|
|
|
|
||||||||||||||||||||||||
|
|
|
|
||||||||||||||||||||||||||||
14243 |
14243 |
|
|
|
|
|
x0 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
( •) ( Pab ) |
|
|
|
|
( •) ( Pab ) |
|
|
|
|
|
|
|
|
|
≤M |
|
x −x0 |
|
|
|
|
|
|
|
||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
x |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
x |
− x0 |
|
2 |
|
ML |
|
|
2 |
|
|
M |
|
(L h)2 |
|
|
|
|||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||||||
≤ L M |
∫ |
x − x0 |
dx |
= L M |
|
|
|
≤ |
h |
= |
|
, |
|
x I . |
||||||||||||||||||||||||||||||||
|
|
|
|
|
2 |
|
|
|
|
|
|
2 |
|
L |
|
|
2! |
|
||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||
|
|
|
x0 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Допустим, что |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Lk |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Lk hk |
|
|
|
|
|
|||||
|
|
ψk (x) −ψk −1(x) |
|
|
|
|
≤ |
M |
|
|
|
|
x − x0 |
|
k ≤ |
|
M |
|
, |
x I . |
(4) |
|||||||||||||||||||||||||
|
|
|
|
|
|
|||||||||||||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
L |
|
|
k! |
|
|
|
|
|
|
|
|
L |
|
|
k ! |
|
|
|
|
|
|
||||||||
Но тогда |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
x |
(F (x, ψk ( x))− F (x, ψk −1(x)))dx |
|
|
||||||||||||||||||||||||||
|
ψk +1(x) −ψk (x) |
|
|
|
= |
∫ |
≤ |
|
||||||||||||||||||||||||||||||||||||||
|
|
|
|
|||||||||||||||||||||||||||||||||||||||||||
|
|
|
|
|||||||||||||||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
x0 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
14
|
|
x |
|
|
F (x, ψk ( x))− F (x, ψk −1( x)) |
|
|
|
|
|
|
|
|
x |
|
|
|
|
|
|
|
|
|
|
||||||||||||||
|
≤ |
∫ |
|
|
dx |
≤ L |
|
∫ |
|
|
|
ψk (x) −ψk −1(x) |
|
|
|
dx |
≤ |
|||||||||||||||||||||
|
|
|
|
|
|
|
||||||||||||||||||||||||||||||||
|
|
x0 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
x0 |
|
|
|
|
|
|
|
|
|
|
|||||||
|
|
|
|
|
k +1 |
|
x |
|
|
|
|
|
|
|
k +1 |
|
|
|
|
|
|
|
|
|
|
|
|
|
k +1 |
|
|
|
|
|
|
|||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||
≤ |
M |
|
L |
|
∫ |
|
x − x0 |
|
k dx |
≤ |
M |
|
L |
|
|
|
x − x0 |
|
k +1 ≤ |
M |
|
( L h) |
|
, |
|
x I . |
||||||||||||
|
|
|
|
|
|
|
||||||||||||||||||||||||||||||||
L |
|
|
k! |
|
L |
(k +1)! |
L |
(k +1)! |
|
|||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||
|
|
|
|
|
|
|
x0 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Видим, что переход от k к k +1 сделан. Значит, оценка (4) справедлива на I для любого k N . Введем в рассмотрение ряд
|
Y |
|
+ |
M |
|
( Lh) |
+ |
M |
|
(Lh)2 |
+K+ |
M |
|
(Lh)k |
+K . |
(5) |
|
|
|||||||||||||||
|
|
|
|
|
|
|
|
|||||||||
|
0 |
|
|
L |
|
1! |
|
L |
|
2! |
|
L |
|
k! |
|
|
|
|
|
|
|
|
|
|
|
|
|
Ряд (5) – числовой, положительный, сходящийся. Он является мажорантным для ряда (3) на I функциональный ряд (3) сходится равномерно на I.
Пусть ϕ ( x ) , x I – сумма ряда (3). Имеем Sk (x) →→ |
ϕ(x), |
x I |
k→∞ |
|
|
ψk ( x) →→ ϕ(x), x I . |
|
(6) |
k→∞ |
|
|
Так как ψk ( x) C( I ) , то из (6) ϕ( x) C( I ) . |
|
|
2)Покажем, что вектор-функция Y = ϕ( x) , x I , является решением задачи
(1)– (2). Для этого берем k-е приближение Пикара
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
x |
|
|
|
|
|
|
|
|
||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
ψk ( x) =Y0 + ∫F (x, ψk −1(x))dx, |
x I . |
|
|
|
|
(7) |
|||||||||||||||||
Было показано, что ψk ( x) →→ |
x0 |
|
|
|
|
|
|
|
|
||||||||||||||||||||||||||||||
ϕ(x) , x I . Покажем теперь, что |
|
|
|
|
|
|
|||||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
k→∞ |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
F (x, ψk −1(x))→→ F (x,ϕ(x)), |
x I . |
|
|
|
|
|
|
|
|||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
k→∞ |
|
|
|
|
|
|
|
|
||||||||||||
Возьмем любое ε > 0 . У нас F( x,Y ) C( |
|
|
|
|
равномерно непре- |
||||||||||||||||||||||||||||||||||
Pab ) F(x,Y ) |
|||||||||||||||||||||||||||||||||||||||
рывная в ( |
|
|
взятому ε > 0 |
отвечает δ > 0 , зависящее только от ε, такое, |
|||||||||||||||||||||||||||||||||||
Pab ) |
|||||||||||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
~ ~ |
~ ~ |
|
|
|
|
|
|
|
~ |
~ |
|
< δ, |
|||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||||||
что для любых двух точек (x ,Y ) и (x ,Y ) из (Pab ) , для которых |
|
|
x |
− x |
|
||||||||||||||||||||||||||||||||||
|
|
|
|
~ |
~ |
|
|
|
< δ, будет |
|
|
|
~ ~ |
~ |
~ |
|
|
|
|
|
|
|
|
|
|
|
|
→ |
ϕ(x) , x |
I |
по |
||||||||
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||||||||||||||||
|
|
|
|
Y |
−Y |
|
|
|
|
|
|
F ( x ,Y ) − F ( x ,Y ) |
|
|
|
|
|
< ε. У нас ψk −1(x) → |
|||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
k→∞ |
|
|
|
|
|
|
|
числу δ > 0 (найденному по ε) можно указать номер K такой, что как только |
|||||||||||||||||||||||||||||||||||||||
k > K , так сейчас же |
|
|
|
|
|
|
|
|
|
< δ, для всех x I . |
|
|
|
|
|
|
|
||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
ψk −1( x) −ϕ(x) |
|
|
|
|
|
|
|
|
|
|
||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Но тогда при k > K будет
F (x, ψk −1( x))− F (x,ϕ( x)) < ε, для всех x I .
15
Последнее означает, что |
F (x, ψk −1(x))→→ F (x,ϕ( x)), |
x I . Перейдем в |
|
|
k→∞ |
|
|
соотношении (7) к пределу при k → +∞. Получим: |
|
||
|
x |
|
|
ϕ(x) =Y0 + ∫F (x,ϕ( x))dx, |
x I . |
(8) |
|
Из (8) следует: |
x0 |
|
|
ϕ′(x) = F (x,ϕ( x)), |
|
|
|
1) |
x I; |
|
|
|
ϕ( x0 ) =Y0. |
|
|
2) |
|
|
Аэто означает, что Y = ϕ( x) , x I – решение задачи (1) – (2).
3)Покажем теперь, что это решение – единственное. Рассуждаем от противного, а именно предполагаем, что задача (1) – (2) имеет и другие решения. Возьмем тогда два любых решения задачи (1) – (2):
~ |
|
~ |
|
Y = ϕ(x), x Iδ |
; Y = ϕ(x), x Iδ . |
||
|
~ |
|
~ |
По условию F (x,Y ) LipY (D) – локально точке (x0 ,Y0 ) отвечает окрест- |
|||
ность |
U(x0 ,Y0 ) (D) такая, что |
F (x,Y ) LipY (U(x0 ,Y0 )). У нас функции |
|
~ |
~ |
|
|
ϕ( x) , |
ϕ(x) – непрерывные. Значит, существует δ > 0 такое, что для любого |
||
x Iδ |
~ |
~ |
~ |
будет: точка (x,ϕ(x)) и точка (x,ϕ(x)) |
U(x0 ,Y0 ) . Так как Y = ϕ( x) и |
||
~ |
|
|
|
Y = ϕ(x) – решения задачи (1) – (2), то |
|
||
|
~ |
~ |
x Iδ , |
|
ϕ′(x) = F |
(x,ϕ(x)), |
|
|
~ |
~ |
x Iδ . |
|
ϕ′(x) = F |
(x,ϕ(x)), |
Проинтегрируем оба этих соотношения по отрезку [x0, x], x Iδ. Получим
~ |
~ |
x |
~ |
ϕ(x) = ϕ(x0 ) + ∫F (x,ϕ( x))dx,
x0
~ |
~ |
x |
~ |
|
|
|
|||
ϕ( x) = ϕ(x0 ) + ∫F (x,ϕ(x))dx, x Iδ |
||||
|
|
x0 |
|
|
~ |
~ |
|
|
|
|
x |
~ |
~ |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||
|
|
|
|
|
|
|
|
|
|
|
|
x Iδ |
|
|||||||||||||||||
|
|
ϕ(x) −ϕ(x) = ∫(F |
(x,ϕ( x))− F |
(x,ϕ( x)))dx, |
|
|
|
|||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
x0 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
~ |
~ |
|
≤ |
x |
|
|
|
~ |
~ |
|
|
|
|
|
dx |
≤ L |
|
x |
|
|
|
~ |
~ |
|
|
|
dx |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||||||
|
ϕ(x) − |
ϕ(x) |
|
∫ |
|
|
|
F (x,ϕ( x))− F (x,ϕ(x)) |
∫ |
|
|
|
ϕ( x) |
−ϕ( x) |
|
|
|
|
||||||||||||
|
|
|
|
|
|
x0 |
|
|
|
|
|
|
|
|
|
~ |
|
|
x0 |
|
|
|
|
|
|
|
|
|
|
|
(здесь L – постоянная Липшица). Обозначим |
|
|
|
|
~ |
|
= f (x) , x Iδ. Будем |
|||||||||||||||||||||||
|
|
|
||||||||||||||||||||||||||||
|
|
|
|
ϕ(x) −ϕ(x) |
|
иметь:
1) f ( x) C( Iδ );
16
|
|
x |
|
2) f (x ) удовлетворяет неравенству: 0 ≤ f ( x) ≤ L |
∫ f (t ) dt |
, x Iδ. |
|
|
|
x0 |
|
Но тогда по лемме Гронуола |
~ |
|
|
~ |
|
|
f ( x) ≡ 0, x Iδ ϕ(x) = ϕ( x), x Iδ.
Следствие. Пусть F( x,Y ) C( D) , (D) Rn+1 . Пусть ∂F∂(Yx,Y ) C(D) . То-
гда для любой точки (x0 ,Y0 ) ( D) задача (1) – (2) имеет единственное решение.
Замечание. Так как ряд (3) на отрезке I мажорируется числовым, положительным, сходящимся рядом (5), то, полагая ϕ( x ) ≈ ψk ( x ) , x I , всегда можно
оценить погрешность этого приближения. Именно: норма упомянутой погрешности не превосходит остатка после k-го члена мажорантного ряда (5).
§4. Общее решение и общий интеграл нормальной системы обыкновенных дифференциальных уравнений
1°. Пусть имеется нормальная система обыкновенных дифференциальных уравнений:
|
dY |
= F(x,Y ) . |
(1) |
|
dx |
||
|
|
|
|
Предполагается, что 1) F( x,Y ) C( D) , (D) Rn+1 , и 2) |
F( x,Y ) Lip (D) – |
||
|
|
|
Y |
локально.
Определение. Семейство вектор-функций
C1
Y = ϕ( x,C ) , где C = C2 (2)
K
Cn
– произвольный постоянный вектор, называется общим решением системы (1) в области (D), если, во-первых, для любой точки (x0 ,Y0 ) ( D) векторное
уравнение
Y0 =ϕ( x0 ,C) |
(3) |
17
|
|
|
|
C0 |
|
|
|
|
|
|
||
|
|
|
|
|
|
1 |
|
|
|
|
|
|
имеет одно единственное решение C = C |
|
= |
C0 |
|
, и если, во-вторых, вектор- |
|||||||
0 |
|
|
2 |
|
||||||||
|
|
|
K |
|
|
|
|
|
||||
|
|
|
|
|
|
|
|
|
|
|
||
|
|
|
|
|
|
|
|
|
|
|
||
|
|
|
|
C0 |
|
|
|
|
|
|
||
функция |
|
|
|
|
|
n |
|
|
|
|
|
|
|
|
[Iδ = ( x0 −δ, x0 +δ)] |
|
|
||||||||
Y = ϕ( x,C0 ), |
x Iδ |
|
|
(4) |
||||||||
является решением системы (1), хотя бы при достаточно малом δ. |
|
|
||||||||||
Ясно, что это решение (4) удовлетворяет начальному условию: Y |
|
x=x0 |
=Y0 . |
|||||||||
|
||||||||||||
|
||||||||||||
|
u (x,Y ) |
|
|
|
C |
|
|
|||||
|
1 |
|
|
|
|
|
1 |
|
|
|||
Определение. Пусть U( x,Y ) = u2 ( x,Y ) C1( D) , и пусть C = C2 |
|
– про- |
||||||||||
|
. . |
|
. |
|
|
|
K |
|
||||
|
|
|
|
|
|
|
|
|
|
|||
|
un ( x,Y ) |
|
|
|
Cn |
|
|
|||||
извольный постоянный вектор. Соотношение: |
|
|
|
|
|
|
|
|
||||
|
U( x,Y ) = C |
|
|
|
|
|
|
|
(5) |
|||
называется общим интегралом системы (1) в (D), если, во-первых, для лю- |
||||||||||||
бой точки (x0 ,Y0 ) ( D) векторное уравнение |
|
|
|
|
|
|
|
|
||||
U( x,Y ) =U( x0 ,Y0 ) |
|
|
|
|
(6) |
|||||||
определяет единственную дифференцируемую вектор-функцию |
|
|
||||||||||
Y = ϕ( x), |
x Iδ = (x0 −δ, x0 +δ) , |
|
(7) |
|||||||||
такую, что: ϕ( x0 ) =Y0 ; U(x,ϕ( x))=U( x0 ,Y0 ) , |
x Iδ, и если, во-вторых, эта |
вектор-функция Y = ϕ( x ) , x Iδ, хотя бы при достаточно малом δ является решением системы (1).
2°. Необходимый признак общего интеграла.
Теорема. Пусть U( x,Y ) = C – общий интеграл системы (1) в области (D). Тогда для любого решения Y = ϕ( x ) , x a, b системы (1), график которого лежит в (D), справедливо тождество:
U(x,ϕ( x))≡ const, x a, b .
Пусть |
~ |
x a, b |
– произвольное решение системы (1), график |
||||||
Y = ϕ( x ) , |
|||||||||
которого лежит в |
(D). У |
нас |
1 |
( D), |
~ |
1 |
( a, b ) |
|
|
U( x,Y ) C |
ϕ(x) C |
U(x,ϕ~ ( x)) C1( a, b ).
Мы покажем, что U(x,ϕ( x))≡ const , x a, b , если установим, что
|
d |
U(x,ϕ( x))≡ 0, x a, b . |
|
|||
|
dx |
|
||||
|
|
x0 a, b |
~ |
|
||
Для этого берем произвольную точку |
. Ясно, |
|||||
и находим ϕ( x0 ) =Y0 |
что точка (x0 ,Y0 ) ( D) . Рассмотрим теперь векторное уравнение
U( x,Y ) =U( x0,Y0 ).
18
По определению общего интеграла системы (1) это уравнение определяет единственную дифференцируемую вектор-функцию Y = ϕ( x ) , x Iδ, такую, что
ϕ( x0 ) =Y0 , и которая при достаточно малом δ является решением системы (1).
Ясно, что для x Iδ будет |
|
U(x,ϕ( x))≡U(x0 ,Y0 ) . |
(8) |
Имеем:
~~
1)Y = ϕ( x ) , x a, b , – решение системы (1), такое, что ϕ( x0 ) =Y0 ;
2)Y = ϕ( x ) , x Iδ, – решение системы (1), такое, что ϕ( x0 ) =Y0 .
Видим, что оба эти решения удовлетворяют одному и тому же начальному условию:
|
|
|
|
|
|
|
Y |
|
x=x0 |
=Y0 , |
|
(x0 ,Y0 ) (D) . |
~ |
|
|
|||||
|
|
|
|
|
|
|
|
|
|
|||||||||||
|
|
|
|
|
|
|
|
|
|
|||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||
Так как (D) – область единственности системы (1), то ϕ( x ) ≡ ϕ( x ) , x Iδ, по |
||||||||||||||||||||
крайней мере, |
при |
|
достаточно |
|
малом δ. А |
тогда, |
в |
силу (8), |
||||||||||||
~ |
|
|
|
|
|
|
|
|
|
|
d |
|
~ |
|
|
|
||||
U(x,ϕ( x))≡U( x0 |
,Y0 ), |
x Iδ |
|
|
|
U(x,ϕ( x))≡ 0, x |
Iδ |
|
в частности, |
|||||||||||
dx |
||||||||||||||||||||
|
d |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||
|
~ |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||
|
|
U(x, |
ϕ( x)) |
|
= 0. |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
dx |
x=x0 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||
|
|
У нас точка x0 – любая из a, b |
( a, b |
– промежуток, на котором опреде- |
||||||||||||||||
|
|
|
|
|
~ |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
лено решение Y = ϕ( x ) системы (1)). Поэтому получаем |
|
|
|
|||||||||||||||||
|
|
|
|
|
|
|
d |
|
~ |
|
|
|
|
|
|
|
||||
|
|
|
|
|
|
|
|
U |
(x,ϕ( x))≡ 0, |
x a, b . |
|
|
|
|||||||
|
|
|
|
|
|
|
dx |
|
|
|
u1(x,Y )
Следствие. Если U( x,Y ) = u2 ( x,Y ) = C – общий интеграл системы (1) в
. . .un ( x,Y )
(D), то для любого решения Y = ϕ( x ) , |
x a, b , системы (1) справедливы тож- |
||
дества |
|
|
|
ui (x,ϕ(x))≡ const, |
x a, b (i = |
|
) . |
1, n |
Определение. Скалярная функция u(x,Y ) C1(D) называется интегралом системы (1) в (D), если она тождественно обращается в постоянную на любом решении системы (1), график которого лежит в (D).
Замечание. Любая скалярная функция u(x,Y ) ≡ const в (D) есть интеграл системы (1) в (D) (это – “тривиальные интегралы”; их мы рассматривать не будем).
3°. Критерий интеграла.
19
Теорема. Скалярная функция u(x,Y ) C1(D) является интегралом системы
(1) в (D) тогда и только тогда, когда справедливо тождество
∂u( x,Y ) + ∂u(x,Y ) F(x,Y ) ≡ 0 в (D). (9)
∂x ∂Y
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
f1(x,Y ) |
|||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
(Здесь |
∂u( x,Y ) |
∂u |
, |
∂u |
, K, |
∂u |
– матрица-строка, |
F( x,Y ) = |
f2 (x,Y ) – |
|||||||||||||||||
= |
|
|||||||||||||||||||||||||
|
|
∂y |
|
∂y |
|
|||||||||||||||||||||
|
∂Y |
|
|
∂y |
2 |
|
n |
|
|
|
|
|
|
|
|
|
|
|
|
K |
||||||
|
|
|
|
1 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
n |
|
|
|
|
|
|
|
|
fn (x,Y ) |
|||
|
|
|
|
|
|
|
∂u( x,Y ) |
|
|
|
|
∂u(x,Y ) |
|
|
|
|
|
|
|
|
||||||
матрица-столбец, так что |
|
|
|
|
F( x,Y ) = |
∑ |
|
|
|
f j (x,Y ) ). |
|
|
|
|||||||||||||
|
∂Y |
|
|
∂y |
j |
|
|
|
||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
j=1 |
|
|
|
|
|
|
|
|
|
|||
Необходимость. Дано: u(x,Y ) C1(D) является интегралом системы (1) в |
||||||||||||||||||||||||||
(D). Требуется доказать, что в (D) имеет место тождество (9). |
|
|
|
|||||||||||||||||||||||
Возьмем |
любую |
точку (x0 ,Y0 ) ( D) и |
рассмотрим |
решение |
Y = ϕ( x ) , |
|||||||||||||||||||||
x Iδ = ( x0 −δ, x0 +δ) |
системы (1), |
удовлетворяющее условию Y |
|
x=x0 |
=Y0 |
( |
||||||||||||||||||||
|
||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|||||||||||||||||
ϕ( x0 ) =Y0 ). Станем рассматривать функцию u( x,Y ) |
на этом решении. |
|
|
|||||||||||||||||||||||
По определению интеграла системы (1), будем иметь: |
|
|
|
|
|
|
|
|||||||||||||||||||
|
|
|
|
|
|
|
|
u(x,ϕ( x))≡ const, |
x Iδ . |
|
|
|
|
|
|
|
(10) |
|||||||||
Левая |
часть |
тождества |
|
(10) |
дифференцируема |
по |
x |
на Iδ , |
так |
как |
u(x,Y ) C1(D) , ϕ( x) C1( Iδ ) . Дифференцируя по x тождество (10), получим |
||||
|
∂u(x,ϕ( x)) |
+ |
∂u(x,ϕ(x)) |
ϕ′( x) ≡ 0, x Iδ. |
|
∂x |
|
||
|
|
∂Y |
||
Но ϕ′(x) ≡ F (x,ϕ(x)), x Iδ |
(так как Y = ϕ( x ) , x Iδ, – решение системы (1)). |
Поэтому будем иметь |
|
|
|
|
|
∂u(x,ϕ( x)) |
+ |
∂u(x,ϕ(x)) |
F (x,ϕ( x))≡ 0, x Iδ . |
|
∂x |
∂Y |
||
|
|
|
Положим в последнем равенстве x = x0 (тогда ϕ( x0 ) =Y0 ). Получим
|
|
∂u( x0,Y0 ) + ∂u( x0,Y0 ) F ( x |
0 |
,Y ) = 0 . |
|||
|
|
∂x |
|
∂Y |
|
0 |
|
|
|
|
|
|
|
||
У нас |
точка |
(x0 ,Y0 ) |
– |
любая, |
принадлежащая (D). |
||
∂u( x,Y ) + |
∂u(x,Y ) |
F(x,Y ) ≡ 0 |
в (D). Необходимость доказана. |
||||
∂x |
∂Y |
|
|
|
|
|
|
Достаточность. Имеет место тождество |
|
|
|||||
|
|
∂u( x,Y ) |
+ ∂u(x,Y ) F |
(x,Y ) ≡ 0 в (D). |
|||
|
|
∂x |
|
∂Y |
|
|
|
Требуется доказать, что u( x,Y ) |
– интеграл системы (1) в (D). |
Берем произвольное решение системы (1) в (D)
Поэтому
(9)
20