Файл: Двухточечные краевые задачи для обыкновенных дифференциальных уравнений..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.

Отсюда видно, что AM(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 Іі);