Файл: Двухточечные краевые задачи для обыкновенных дифференциальных уравнений..pdf
ВУЗ: Не указан
Категория: Не указан
Дисциплина: Не указана
Добавлен: 30.10.2024
Просмотров: 65
Скачиваний: 0
Теорема 1.2. Условия |
|
|
|
|
|||
1) |
з а , р, X, ц е АС (І ) , a cp, I|)œ C (/X #), |
||||||
|
3 Yi> Y 2^{-U 1}; |
|
|
|
|
||
2 ) a ( 0 ^ ß ( 0 |
V * ^ Z ; |
|
|
|
|||
3) |
a'(t)=h(t, a(t), X(t)) |
pyt<=!, |
|
||||
|
P'(t)*=M*. p(0, |
1*(0) |
P V * e Z ; |
|
|
||
4) |
|
|
|
|
P V * e Z ; |
|
|
|
|
P (0 ,p (0 ) P V * e Z ; |
|
||||
5) |
<p(f, x)sS\|>(Z, x) |
|
v(^,*)^w; |
|
|
||
6 ) |
q>(/, а ( / ) ) |
^ X ( t ) |
|
a(t)) |
V ^ e Z , |
||
|
ф(*. P(0)<P(0 .<^(Z . |
P(0) V *e = Z ; |
|||||
7) |
D2<p(t, x), |
D2\!p(t, X) œ C(IX R), |
|
|
|||
|
y(t,u(t)), $(t,u(t))t=AC{I) |
|
|
||||
|
y м еЛ С (/), таких, что u(t)<=A(t) |
y^Œ/; |
|||||
8) |
p y fe Z , |
y x eA (f) |
|
|
|
||
|
[/(/, X, <p(f, x ) ) -Z?KP(Z, x ) - |
|
|
||||
|
— D2(p(t, x)h(t, X, |
<p(Z, X ) ) ] Y I ^ 0 |
, |
|
|||
|
[ f ( f , |
х ) ) - / ) і ф ( / , x ) - |
|
|
|||
|
- Z ) 2il>(Z, x ) A ( Z , |
X, |
i p (Z, X ) ) ] Y 2 5 S 0; |
|
|||
9) |
І,е=Мг (1, |
- 1 , 0, |
0), Z.ae=Afr ( ± l, |
±1, - 1 , 1); |
|||
10) |
L\ ( а , X) —L 1(ß, |
p) =0, a2iL 2(a, X) |
0=^024^2(ß, p) >' |
||||
1 1 ) |
y (z b z2, 23, 24) е Г |
|
|
|
|
||
|
( l+yi )L2(zu z2, <p(a, zx), 24)023+ |
|
|||||
|
+ (l-Y l)L 2(Zl, 22, 23,<p(6, 22))O24^0, |
||||||
|
( 1 + Y 2)Z-2(ZI, 22, |
23, г|>(0, |
22) ) O24 + |
|
+(l- Y 2)Z.2(2l, 22, -ф (а, 2,), 24) 023^0;
12)h(t, a{t), yi)<h(t, a(t), X(t))<h{t, a{t), y2) pYt<=I, y#ie=[<p(Z, а(0)> MO),
y y 2<=(X(t), op(Z, а ( 0 )]I
A(f, ß(0, pO<A(Z, ß(0> p (0K M * . ß(0, У2 ) p y f e / , vpi^[«p(f. ß(0), MO), VP2e(p.(Z); г|>(*, ß(0)]
эквивалентны разрешимости задачи (1.1) — (1.2), причем из их выполнимости следует существование решения (x(t), y(t)), такого, что на / справедливы неравенства
a(t)s^x(t)s^$(l),
(1.16)
ф(*. x{t))s^y(t) ^ г |:(t, x(t)).
Доказательство. Если (x(t), y(t)) — решение краевой задачи (1.1) —(1.2), то для a = ß = x, Я=ц = ф= ф= г/, Vi, Y2^ { —1, 1} условия 2—12 выполняются.
Пусть выполняются условия 1 —12. Покажем, что име ется решение краевой задачи (1.1) —(1.2), удовлетворя ющее (1.16). Очевидно, что существует функция goŒ ^ L ( I ) , такая, что на множестве
{(*, X, у) 'Jœ Î , a(0 sS * sS ß (0 . ф(*. x)scys^q(t, х)}
справедливо неравенство |h(t, х, у) |s£;go(0- Пусть
Л1 = 1 + шах {шах {I Z)2cp (/, х) |, | D2ty(t, х) |}}; û)
a
Определим функции Н0, Н, #*, F0, F, F* :I xR2->R
следующим образом:
H0(t, X, y)=h(t, X, 0(ф{t, х), у, ф(*, х))) +
+ у-6(ц)(і, х), у, ф(*, х));
H{t, X, у) =H0(t, |
6(a(t), X, ß(/)), у) =y + H*(t, |
X, у)\ |
||
Fo(t, X, у) —f(t, X, |
0(ф(t, X) , у, |
ф(*, х)) + |
|
|
+ YiMô(0, <р (t, |
х ) - у , |
N ) + y 2Mb{ 0, |
х), |
N) ; |
F(t, X, y) —F0{t, ô (a(0 , X, ß(0), y) + + x -ô (a (f), X, ß(f)) =x+F*(t, X, y).
Ясно, что существует функция gŒ.L(I), такая, что
I H*(t, X, y ) \ ^ g ( t ) ,
X, y) \ ^ g { t ) y (t, X, y)<=IxR2.
Определим функции L * t Ль АД Ь2*, Л2, следующим образом:
Li*(zu 22, 23) 24) =
= Lj(ô(a(fl), z u ß(a)), ô(a(6), z2, ß(ô)), 23, 24) +
+ an (2i- ô (a (a ), zb ß (a ))) - a n (z 2-ö (a (6 ), г2) ß(ft)));
Ai(zi, |
z2, 23, 24) — L\* (z\, |
z2, ф(a, zi), «p (b, z2)); |
A l * ( 2 b |
2 2, 2 3) 2 4) = O n A i ( 2 b Z2, 2 3, Z4) - Z i + Z 2; |
|
|
L 2* ( 2 b 2 2, |
Z3, Zi) = |
= L2(ö(a(a), 2b ß(a)), ô(a(ô), г2> ß(6)), z3, z4) - —024ö(O, а(а) —2i, l) + a 24ö(0, zi —ß(a), 1);
A2(zb Z2, Z3) Z4)= L 2*(Z,, Z2)
б(ф(а, zi), z3, ф(а, z,)), 0 (ф(&, z2), z4, ф(6, z2)));
A2*(zi, Z2> Z3, Z4) —024Л2 (21, z2, z3, z4) + z 3 —z4.
Отсюда видно, что AIœ M(1, —1, 0, 0), Л2е М ( ± 1, ±1, —1, 1), функции Ai, Л2 удовлетворяют условиям 10, 11 и существует giŒR, такое, что
supI Ai*(Zi, z2, z3, z4) I <gfi уі'е={1,2}. |
|
|
R4 |
|
|
Если задача |
|
|
х' = Н ( і , X, y ) , y ' = F ( t , X, y ) ; |
|
|
x ( a ) - x ( b ) = Ai*(x, y ) , y ( a ) - y { b ) = A2*(x, y y |
||
имеет решение |
(x(t), y(t)), для которого верно |
(1.16), |
то (x(t), y{t)) |
будет решением краевой задачи |
(1.1) — |
(1.2). Это следует из определения Я, F, АД Л2*. Ана логично, как в теореме 1.1, покажем, что имеется реше
ние (x(t), y(t)) краевой задачи |
(1.17), удовлетворяю |
|
щее оценке а (t)s^x(t) ß (t) y tŒl. |
|
|
Покажем справедливость оценки |
|
|
<ç(t, x ( t ) ) ^ y ( t ) ^ ( t , |
x(t)) |
у / е / . |
Докажем, например, что |
|
|
<Р Д x(t))s£y(t) |
у tŒl. |
(1.18) |
Заметим, прежде, что если существует |
интервал |
[tx, t2]czl, такой, что 0<ср(^ x(t)) —y{t) <N |
для любого |
/<ее(/ь t2), то |
|
Yi (ф(^ь *(*і)) - |
|
x(t2) ) - y { b ) ) . |
(1.19) |
Действительно, имеем |
|
Yi(«P(*i. *(*і)) -0(/і))-у і(ф (* 2 , x(t2) ) - y ( l 2)) =
о.
=Yi / (У'(і)—^Ф (Л x(t)))dl =
іг
= Yi J (F (t. x (t), y ( t ) ) ~
t\
— D\y(t, x { t ) ) —D2y(t, x(t))x'(t))dt =
tl
= Yi/ (f(t, x(t)>4>( t, x( t))) - 11
- D l4>(t, x ( t ) ) - D 2y(t, x(t))H(t, x(t), y(t)))dt +
*2
+ Yi / YiMô(0, cp(t, x ( t ) ) - y ( t ) , N)dt =
и
<2
= Yi J (f(t, x(t), ф(t, x ( t ) ) ) ~
~Di<p(t, x ( t ) ) - b 2<{>(t, x(t))h(t, x(t), q>(t, x(t)))dt+
+ Y i/ (YIMÔ(0, <p(/, x(t)) -
ÿ( 0 >N)+D^,(t, x(i))(<p(i, x ( t ) ) - y ( t ) ) ) d t ^ 12
^ f (M+yiD2<f(t, x(t)) (y(t, x ( t ) ) - y { t ) ) d t > 0 .
и
Используя неравенство (1.19), легко показать, что если t0<=(a, b) такое, что
0 < х 0—<р(/о, x{t0)) - у (to) <N,
то справедлива оценка
Yi(<p(a, x { a ) ) - y ( a ) ) > y lx0> y l (<ç(b, x ( b ) ) - y ( b ) ) .
Отсюда следует, что если ср(о, |
х ( а ) ) ^ у ( а ) |
при уі=1 |
||
или ср(Ь, |
х(Ь)) ^ у { Ь ) при YI = —1, то справедливо нера |
|||
венство |
(1.18). |
|
|
|
Покажем, что |
|
|
|
|
|
Ф(а, х(а)) ^ у ( а ) |
при |
уі = 1. |
(1.20) |
Из условия 11 и определения Л2 имеем |
|
|||
A2(Z I, Z2, ф(а, Zi), z4)a23s£0 |
V ( zь z2, z3, г4)е Г . |
|||
Пусть y (b) ^ ф (b, x{b)), тогда |
|
|
|
|
0 = о23Л2 (x, у ) ^ о 2зА2(х(а), x(b), |
y {a), ф(b, |
x(b)) = |
= сг2зЛ2(x(a), x(b), Ф(a, x(a)), |
*p(b, x {b))~ |
—ог2з• o24(y(a) —ф(a, x ( a ) ) ) ^ y { a ) |
~ y { a , x (a ))< 0, |
что невозможно.
Пусть y(b)<y(b, x(b)). Тогда в случае
имеем |
Ф(t, |
x ( t ) ) - y { i ) ^ N |
Y t e l |
|
|
|
|
|
|
P(6) - a ( b ) ^ p ( b ) - x ( b ) ^ ß ( b ) - x ( b ) ~ (ß (ß )-x (a)) = |
||||
b |
|
|
b |
|
= / |
( ß' ( i) - x ' (t ) )d t= f (h(t, |
P ( 0 , n ( 0 ) - |
||
|
- H ( t , x ( t ) , y ( t ) ) ) d t = |
|||
|
|
b |
|
|
|
= f |
ß ( 0 , p ( 0 ) - |
||
- h ( t , |
X(t), |
ф (t, |
x ( t ) ) - y ( t ) + |
<p(f, x{t)))dt^ |
|
|
|
ь |
|
^ N ( b — a ) + 2 f g(t)dt>ß(b) —a (b), |
||||
|
|
|
a |
|
что невозможно. |
Значит, существует ^0^ (ß , b), такое, |
|||
что |
|
|
|
|
0< х 0='ф(А), x(t0) ) - y( t o ) < N .
Следовательно, ф(а, х{а)) — у(а)>у{Ь, х{Ь)) — у{Ь) >0. Используя свойства функции Л2, получаем противоречие
0 = а 23Л2 (х, у) = = 023Л2(л:(а), х(Ь), ф(а, х(а)), у{Ь, х(Ь)))~
—(723^24 (У(ö) —ф(öi х (й))) + + (723(724 (У (Ь)-ф (0 , *(&)))
sS(y(a)-<p(a, х (а))) - ( у ф ) -ф (6, *(*))) <0.
Таким образом, (1.20) доказано. Аналогично рассматри
вается случай YI = —1- |
|
x(i)) |
Доказательство неравенства y(t)^^>(t, |
||
проходит аналогично.■ |
|
|
§ 2. ЕДИНСТВЕННОСТЬ РЕШЕНИЯ |
|
|
ДЛЯ ПРОСТЕЙШИХ КРАЕВЫХ УСЛОВИЙ |
||
В этом параграфе рассмотрим систему |
|
|
x' = h(t, X, у), |
у' =}(i, X, у) |
(2.1) |
со следующими краевыми условиями: |
|
|
х(а) =А, |
х(Ь) =В\ |
(2.2) |
х(а) =А, |
у(Ь) =Д; |
(2.3) |
у{а) =А, |
х(Ь) = 5; |
(2.4) |
у(а)=А, |
у(Ь) =В, |
(2.5) |
где h, /е С а г (/Х # 2); A, B œ R. |
|
Сначала докажем основную лемму, а потом установим единственность решения краевых задач для системы (2.1) с краевыми условиями (2.2) — (2.5) и приведем примеры, показывающие существенность условий тео ремы 2.1.
Чтобы избежать повторения при формулировках и до казательствах теорем, перечислим условия, которыми будем пользоваться в этом и последующих двух пара графах:
PI) h(t, X, у) строго возрастает по yŒR при фикси рованных (t, X ) œ I X R\
Р2) h(t, X, у) возрастает по yŒR при фиксирован ных (t, х) œ I X R;
РЗ) f(t, X, у) строго возрастает по X œ R при фикси рованных (t, y ) ^ I x R ;
Р4) |
f(t, |
X, |
у) |
возрастает по |
X œ R при |
фиксирован |
|||||||
|
|
ных (t, |
у) œ I X R. |
|
|
|
|
|
|
||||
Для |
любого М е ( 0, |
оо) |
найдутся k x, |
k2(=L(I), |
такие, |
||||||||
что для |
любых |
(t, Xi, |
х2, у 1, у2)<=ІХ[ — М, |
М у |
выпол |
||||||||
няются |
|
|
|
|
|
|
|
|
|
|
|
|
|
Р5) |
h(t, |
х и Уі) —h(t, |
x2, y{) ^ k i ( t ) { x i - x 2), x x^ x 2; |
||||||||||
P6) |
h(t, |
x u Уі) —h(t, |
|
x2, y i ) ^ - k i ( t ) |
( x i - x 2), x x^ x 2, |
||||||||
P7) |
|
\h(t, x u Уі)- h {t , |
x2, уі) I ^ k i ( t ) |
\xx- x 2\- |
|
||||||||
P8) |
fit, |
x h y i) - f i t , |
x u y z ) ^ k 2(t) ( y i - y 2), y 1^ |
92] |
|||||||||
P9) |
f{t, x u Уі) ~f{t, |
xu У г ) ^ - к 2Ц) ІУі - у2) , У і ^ У 2, |
|||||||||||
РІО) |
|
|/(/, хи Уі)- f i t , |
|
Хи у2) | < М 0 \У\~Уг\- |
|
||||||||
Пусть |
ixiit), |
у lit)), |
|
ix2it), |
y2it)), t<=I |
— решения |
|||||||
системы |
(2.1). |
|
|
|
|
|
|
|
|
|
|
||
Ql) |
|
Для любых t0^ [ a , |
b) |
и |
t ^ i t Q, b~\ |
из x x(f0) = |
|||||||
|
|
— х2Цо) |
|
иyiiU)>y2ih) |
следует |
xxit) >x 2{t) |
|||||||
|
|
и y lit) >zy2it)-, |
|
|
|
|
|
|
|
|
|||
Q2) |
для |
любых t0Œia, |
b] |
и |
tŒ[a, |
t0) |
из Х\Ц0) = |
||||||
|
= x2it0) |
|
иyiit0) < y 2ito) |
следует |
ххЦ)>х2У) |
||||||||
|
и Уi {t) <y 2it)\ |
|
|
|
|
|
|
|
|
||||
Q3) |
для |
любых toŒ[a, |
b) |
и |
tŒ.(to, |
ô] |
из Яі(£о) = |
||||||
|
|
= x2iU) |
|
иyiito)>y2ito) |
следует |
х х^ ) > х 2Ц) |
|||||||
|
|
и ÿ i i t) > y2(t); |
|
|
|
|
|
|
|
|
|||
Q4) |
|
для любых toе ( а , |
b] |
и |
tŒ[a, |
t0) |
из х хiU) = |
||||||
|
|
= x2iU) |
|
иyiito)<y2iU) |
следует |
х хЦ)>х2Ц) |
|||||||
|
|
и y i i t ) ^ y 2it)\ |
|
|
|
|
|
|
|
|
|||
Q5) |
|
для |
любых t0 |
|
|
Ь) |
и |
^œ (/0, 6] |
из х ху 0) > |
||||
|
> х 2у 0) |
|
иyiito)=y2{to) |
следует |
xxi t ) ^ x 2it) |
||||||||
|
|
и УЛі)>У2 Іі); |
|
|
|
|
|
|
|
|