Научная статья на тему 'О малом стабилизирующем возмущении сингулярного дифференциального уравнения с постоянным оператором и вырождающимся коэффициентом общего вида'

О малом стабилизирующем возмущении сингулярного дифференциального уравнения с постоянным оператором и вырождающимся коэффициентом общего вида Текст научной статьи по специальности «Математика»

CC BY
99
17
i Надоели баннеры? Вы всегда можете отключить рекламу.
Ключевые слова
БАНАХОВО ПРОСТРАНСТВО / ВЫРОЖДАЮЩИЙСЯ КОЭФФИЦИЕНТ / МАЛЫЙ ПАРАМЕТР / ПОЛУГРУППА / ПРОИЗВОДЯЩИЙ ОПЕРАТОР / СИНГУЛЯРНОЕ УРАВНЕНИЕ / СТАБИЛИЗИРУЮЩЕЕ ВОЗМУЩЕНИЕ / BANACH SPACE / SMALL PARAMETER / SEMI-GROUP / PERFORMING OPERATOR / SINGULAR EQUATION / STABILAZATION PERTURBATION / DEGENERATE COEFFICIENT

Аннотация научной статьи по математике, автор научной работы — Фомин В. И.

Методом малых стабилизирующих возмущений изучается сингулярное дифференциальное уравнение с вырождающимся коэффициентом общего вида.

i Надоели баннеры? Вы всегда можете отключить рекламу.

Похожие темы научных работ по математике , автор научной работы — Фомин В. И.

iНе можете найти то, что вам нужно? Попробуйте сервис подбора литературы.
i Надоели баннеры? Вы всегда можете отключить рекламу.

On a Small Stabilazation

Applying method of small stabilization perturbation the singular differential equation with degenerate coefficient of the general form is analyzed.

Текст научной работы на тему «О малом стабилизирующем возмущении сингулярного дифференциального уравнения с постоянным оператором и вырождающимся коэффициентом общего вида»

Математика. Физика

УДК 517.928.4

О МАЛОМ СТАБИЛИЗИРУЮЩЕМ ВОЗМУЩЕНИИ СИНГУЛЯРНОГО ДИФФЕРЕНЦИАЛЬНОГО УРАВНЕНИЯ С ПОСТОЯННЫМ ОПЕРАТОРОМ И ВЫРОЖДАЮЩИМСЯ КОЭФФИЦИЕНТОМ ОБЩЕГО ВИДА

В.И. Фомин

Кафедра прикладной математики и механики, ТГТУ

Представлена членом редколлегии профессором Г.М. Куликовым

Ключевые слова и фразы: банахово пространство; вырождающийся коэффициент; малый параметр; полугруппа; производящий оператор; сингулярное уравнение; стабилизирующее возмущение.

Аннотация: Методом малых стабилизирующих возмущений изучается сингулярное дифференциальное уравнение с вырождающимся коэффициентом общего вида.

Данная работа является продолжением исследований автором малых стабилизирующих возмущений вырождающихся линейных дифференциальных уравнений в банаховом пространстве ([1] - [30]).

В банаховом пространстве Е изучается сингулярное дифференциальное уравнение

с постоянным неограниченным оператором A : D (A) с E ^ E, D (A) = E;

Рассмотрим стабилизирующее, то есть, устраняющее вырожденность, возмущение уравнения (1) малым параметром ее (0, sq ], sq = const, sq >0 :

1) А - производящий оператор полугруппы и(?) класса Со , то есть полугруппы, сильно непрерывной при t > 0 и удовлетворяющей условию

<p(t)x'(t) = Ax(t) + f (t), О < t <да ,

(1)

f (t) є С ([О, да); E); Ф(ґ) є С ((О, да );(О, да)); Ф(+О) = О.

(2)

(З)

Пусть

t ^+О

lim U (t)x = x, x є E

(4)

(в силу (4) можно считать, что U (О) = I);

2) f (t) e D(A), 0 < t <»; Af (t) e C ([0,»); E);

3) ф (t) при t ^+0 является бесконечно малой величиной порядка а , где ае R, а > 1:

Ф(t) - Kta, (5)

где K = const, K > 0 .

Из условия 1) следует замкнутость оператора А ([31, с. 61]) а также соотношения

U'(t)x = AU(t)x, x є D(A); AU(t)x = U(t)Ax, x є D(A)

([31, с. 41]).

Из условия 3) следует, что при любом фиксированном t є (О, ю)

(б)

(7)

■ d т

Ф( т)

(S)

Пусть т - тип полугруппы U(t). Из соотношения

t

([ЗІ, с. 4З]) следует оценка

||U(t)|| < M exp(тб t), О < t < ю,

(9)

где М > 0, <в5 = ю + 5 , где 5 - произвольное сколь угодно малое фиксированное по-

ложительное число.

Замечание 1. Будем считать в дальнейшем, что в оценке (9) в случае ю < 0

в случае т < -с , где с > О ,

тб < О ;

тб < - с .

(10)

(11)

Лемма 1. При выполнении условий 1 - 3 задача (2), (3) при любом фиксированном 8 е (0, 80 ] имеет решение

J (t) = U

ЧО

t f t

\U [l

О V s

d т

ф( т + є)

f (s)

ф( s + є)

ds.

(12)

Если ю < 0 и /(ґ) ограничена на [0, ю), то /є (ґ) ограничено на [0, ю) .

Доказательство. Заметим, что /є (0) = хє о , то есть /є (ґ) удовлетворяет начальному условию (3). Применяя правило дифференцирования сложной функции, формулу для производной от интеграла с переменными верхним пределом ([32, с. 116]) и соотношение (6), получаем:

U

t

г d т j Ф(т + є)

1

ф( t + є)

-AU

t

г d т

j ф(т + є)

'•є,О

(ІЗ)

Рассмотрим подынтегральную функцию

= сс

О

В

gє С s • t) = U

(t I

V s

d т

-С т + є)

f С s)

-С s + є)

(14)

силу непрерывности функции Г---------------Т— по переменным 5 и t как интеграла с

■> ф(Т + 8)

переменным пределом ([32, с. 115]), сильной непрерывности полугруппы и(.) и не-

прерывности функции

f С s)

функция gz (5, і) непрерывна по переменным 5 и /

ф( 5 + 8 )

как композиция операторной и векторной функций ([31, с. 21]). Используя (6), полу-

' і (і-

^^ t)]t =—7+7)AU I

d т

-Сі + є) J -Ст + є)

V s

f С s)

или в силу (7)

iНе можете найти то, что вам нужно? Попробуйте сервис подбора литературы.

[gє Сs• 7)]' t

і

-Сі + є)

U

d т

-С т + є)

-С s + є)

Af С s)

-С s + є)

(1З)

(16)

В силу сильной непрерывности и (■ ) и непрерывности А/ (5) из (16) следует, что [gє (5, і)] { непрерывна по 5 и і . Используя формулу дифференцирования интеграла по параметру, соотношение (15) и замкнутость оператора А , получаем:

j gє Сs• t)ds

1

-Сі + є)

t (t ‘JU І!

d т

-С т + є)

f С s)

-С s + є)

ds + f С)

(17)

В силу (13), (17)

J' Сt) = --1— [aje Сt) + f Сt)].

-Сі + є) L J

Тогда

ф(і + є)(і) = AJZ (і) + /(і),

то есть, /є (і) является решением уравнения (2).

Итак, /є (і) является решением задачи (2), (3).

Покажем, что если ю < 0 и /(і) ограничена на [0, ю), то решение /є (і) ограничено на [0, ю). Получаем:

К а)| і

U

(t Л

г d т

J -(т + є)

(1S)

В силу (9)

U

(t Л

r d т

J -(т + є)

і M exp

( t Л

f d т

ffls -----------------

j -Ст + є)

О

(19)

Пусть ю < 0 . Тогда из (19) следует в силу (10) оценка

чаем:

U

< M

(20)

Положим

Тогда в силу (9)

N (t) = max || f (5 )||

0<s <t

J|ge (5, t)|| ds <J M exp ro5j

d т

ф( т + e)

Ilf (s )||

< MN(t) J exp I ю5 J

d т

ф( т + e)

ds M

ф( s + e)

( t

ds <

M

N (t)

1 - exp

ф( s + e ) -Ю5 d т

N (t )exp

®5

d т

ф( т + e)

®5

ф( т + e)

<MN (t).

Получена оценка

В силу (18), (20), (21)

|ge (s, t )|| ds N (t)

-Ю5

Je (t)|| < M|*e,„| + MN(t)

(21)

(22)

Из (22) следует, что если /(?) ограничена на [0, ю), то решение / (?) ограничено на [0, ю) .

Лемма 1 доказана.

Лемма 2. Пусть выполнены условия 1) - 3) и <в < 0 . Тогда определена функция

вида

! (t

(<) = JU J

0 I s

d т ф( т)

f (s)

s

ф( s)

ds, t e (0, ю) .

(23)

Эта функция ограничена при t ^ +0 . Если /(?) ограничена на [0, ю), то /о ^) ограничена на (0, ю).

iНе можете найти то, что вам нужно? Попробуйте сервис подбора литературы.

Доказательство. Возьмем произвольное фиксированное t > 0. В силу непрерывности и(□) и непрерывности /(5), ф(5) подынтегральная функция

g ( s, t) = U

f (s)

ф( s)

(24)

непрерывна и, следовательно, интегрируема на любом промежутке [ А, t], где А -произвольное сколь угодно малое положительное число. Тогда несобственный интеграл

I

o(t) = J g (s, t) ds

(25)

0

0

сходится, если сходится несобственный интеграл

г

|||я (^, г )|| ёз.

0

Покажем сходимость интеграла (26). В силу (9) г г ( г

J||g (s, t)|| ds <J M exp ro5J

0 0 I s

d т Ф( т)

/ (s )||

ф( s)

ds <

< MN (t) J exp I ®5 J

d т

ф( т)

ds M

Ф( s) -®5

N (t )exp

®5

1 d т Ф( т)

M

так как в силу (8), (10)

N (t)

1 - lim exp

s ^+0

( f dT ^

®5

V s

Ф( т)

M

N (t),

lim exp

s ^+0

( t dT Л

“5J Ф(т)

V s

Получена оценка

J|\g (s,t

ds <MN(t)

-®5

(27)

из которой следует сходимость интеграла (26) и, тем самым, сходимость интеграла (25) а также оценка

||/0(t)|| <-M-N(t), t е (0, да);

“®5

(28)

из которой следует ограниченность /о (г) при г +0 . Если /(г) ограничена на

[0, ж), то из (28) следует, что /о (г) ограничена на (0, ж).

Лемма 2 доказана.

Замечание 2. Из условия 3) следует, что для любого фиксированного г > 0 в случае а > 1

г ё т

1

1

Ф(т) K(а- 1) sа-1

(29)

в случае а = 1

d т 1,1

— ln-

ф( т) K s

(30)

при з ^ +0 .

Лемма 3. Если ю < 0 в случае а> 1 и ю < - К в случае а = 1 (здесь К - константа из условия 3)), то подынтегральная функция (24) удовлетворяет условию

lim g(s, t) = 0, t е (0, да).

s ^+0

(31)

0

0

Доказательство. При любом фиксированном t > 0 и любом s є (0, tj в силу (9)

f t Л d т

||g(s, t)|| < MN(t) -1) exp ю5 |

. -(т) ,

V s J

В силу (32) для справедливости (31) достаточно показать, что

lim

s —+0

-(s)

exp

d т

«5 I-ГГ J -(т)

V s J

В силу (5), (10)

lim

s —+0

-(s)

exp

d т

. -(т),

V s J

«5

— lim

K s —+0

iНе можете найти то, что вам нужно? Попробуйте сервис подбора литературы.

exp

г d т «5 l-^

J -(т)

V s J

В силу (34) для справедливости (33) достаточно показать, что

lim

s —+0

exp

d т

«5 1“^

J -(т)

V s J

Для справедливости (35) достаточно показать, что

lim ln к (s, t) = -да .

s —+0

где

к(s, t) = — exp

s a

«5

d т -(т)

Имеем:

Тогда

Заметим, что

ln к(s, t) =

d т

-(т)

a + «5 ■

ln

is

ln — .

s

lim ln к(s, t) = lim

s —>+0 s —>+0

>( т)

a + «5

ln —

lim ln — = да

s—+0 s

При a > І в силу (29) и правила Лопиталя:

получаем

(32)

(33)

(34)

(35)

(36)

(37)

(38)

jd,

lim

lim

/s'1-1

s ^+0 ln 1/ K (a - 1) s ^+0 ln 1/

1 Ya-1 1 Ya-2 1

- lim ■

1

Y =-

s

s ^ +0

Y ^ да

lim

K (a- 1) ln y K Y^<» 1/

Y

— lim Ya 1 = да.

K y^<»

Получили при a > 1

>(т)

lim —-----------— = да .

s ^+° ln V

Из (10), (37) - (39) следует (36) в случае а > 1. При а = 1 в силу (30)

ln У

lim

= — lim

s ^+° ln K s ^+° ln 1/

В силу (40)

lim

s ^+0

t \ d-

/ф( т)

jd T

1 + ®8 ~

ln V

= 1 +-^-K

В силу (11) из условия ю < - К следует, что ю5 < - К, следовательно,

(39)

(40)

(41)

1

K

< 0

Из (37), (38), (41), (42) следует (36) в случае а = 1.

Лемма 3 доказана.

В силу (31) доопределим g(5, t) по непрерывности в нуле: g(0, t) = Ит g(5, t) = 0, t е (0, да).

5 ^+0

(42)

(43)

Лемма 4. Пусть выполнены условия 1) - 3) и условия вида 4) ю < 0 в случае а> 1, ю < - К в случае а = 1; 5) при 8 ^ 0 либо ||хе,01| ограничена, то есть, существует такая постоянная Q > 0 , что

к,0 ^ Q, se (0, е* ] с (0, S0 ];

(44)

где 8* - произвольное сколь угодно малое фиксированное положительное число; либо |х8,0|| является бесконечно большой величиной порядка р , причем р < а :

L J-.

iНе можете найти то, что вам нужно? Попробуйте сервис подбора литературы.

рР '

(45)

где L = const, L > 0 . Тогда

lim J (t) = Jo(t), t e (0, да)

8—0

Доказательство. Возьмем произвольное фиксированное t > 0 . Покажем вначале, что

UI

d т

л

ф( Т + 8 )

*8, 0

8—>0

— 0.

(47)

В силу (9)

Заметим, что

В силу (48), (49)

U

< M exp

f t * Л г d т

®8 1-7--------г

0 ф(т + 8)

t ,1 t+8

dz f dz

f d т f az + f

J ф(T + 8) J ф(z) J ф(z)

0 8 t

U

f t ^ >

<• d т

J ф(T + 8)

< M exp

f t+8 ^

f dz

®8

ф( z)

f t Л

f dz

8-'ф( z )

V 8 J

(48)

(49)

(50)

Заметим, что

и в силу (10)

lim exp

8—0

f t+8 , ^ f dz ®8 I “ГГ t ф(z)

lim exp

8—0

f t

dz

ф( z )

= 0 .

(51)

(52)

Если начальные значения хе о удовлетворяют условию (44), то (47) следует из (50) -(52). Пусть начальные значения хе о удовлетворяют условию (45). Тогда

lim

8—0

(

Ко ехр

®8

1 dz ф( z)

= L lim

8—0

ехр

,а-Р

0.

в силу (35) и того, что

lims-8=J0n!" в<а.

8—0 11 при р = а

(53)

Соотношение (47) следует из (50), (51), (53).

В силу (47) для доказательства (46) осталось показать, что

t t

lim J ge (s, t) ds = J g (s, t) ds , (54)

S— 0 0

где gs (s, t) и g(s, t) выражаются формулами (14) и (24).

Для справедливости (54) достаточно доказать, что

t t

lim J |gs (s, t) - g (s ,t)|| ds = 0 lim f||ge (s, t) - g(s, t)|| ds = 0

s—0 J s—0 J

0 0 (55)

В силу теоремы о предельном переходе под знаком интеграла ([32, с. 748]) для справедливости (55) достаточно показать, что подынтегральная функция

Vs (s, t) = ||gs (s, t) - g(s, t)||, s e [0, t],

удовлетворяет следующим условиям:

Покажем, что

lim ує (s, t) = О, s є [О, t],

є—О

ує (s, t) < C(t, єо ), s є [О, t], є є (О, єо ].

lim gє (s, t) = g(s, t), s є [О, t]

є—О

(56)

(57)

(58)

что будет означать справедливость (56). При 5 е (0, t] (58) выполняется в силу сильной непрерывности и(□) и непрерывности /(5). Покажем справедливость (58) при 5 = 0 . В силу (9), (49)

||gє (0,t)\\ =

f t

U

d т

iНе можете найти то, что вам нужно? Попробуйте сервис подбора литературы.

—(т + є)

f (О)

-(є)

f t

< M exp

d т

' t+є d ^

= M\\f(0)||exp «S j-Z_

-( є )

exp

—(т + є)

dz

-(Z)

Ilf (0)|

-(є)

В силу (33), (51) правая часть (59) сходится к нулю при 8 ^ 0 . Следовательно,

В силу (43), (60)

lim gє (0, t) = 0 .

є—0

lim gє (о, t) = g (0, t)

є—0

Справедливость (58) при s = 0 показана.

Покажем, что справедлива оценка вида (57). Имеем:

Ує (s, t) < |g (s, t )|| +||g (s, t )||.

В силу (9) для любых s є [0, t], є є (0, єо ]

1 f 1 |& (s, t^ < MN(t) —— exp «S j

d т

-(s + є) J -(т + є)

V s

Пусть

(59)

(60)

(61)

(62)

ф( S + 8 )

ехр

( 1 И Л

г d т

85 J ф(т + 8)

V s

Положим 5 + е = ^ . Тогда ^ ^ +0 при 5 ^ +0, е ^ 0 . Из этой замены е = ^ - 5 . Тогда

г dT г dT

J ф(т + 8) J

ф(т + 8) J ф(т + £ - S)

и функция ке(5, t) принимает вид

z = т +£ -S т = s , z = £

T = t, z = t + 8

t+8

dz ф( z )

к8 ( S, t) =--------exp

8 ( ’ ) ф(£) p

dz ф( z )

При достаточно малых 5 и е выполняется неравенство ^ < t. Тогда

К8 (S, t)

ф( £)

ехр

®5

и в силу (33), (51)

lim к8 ( s , t)

s—+0 8 8—>0

ф( £)

ехр

dz

ф( z)

ехр

( t+8 ^

dz

”5 1 ф(z)

ф( z)

' dz ф( z)

Следовательно,

В силу (62), (63)

sup к8 (S, t) = K(t, 80 ) < да.

Se[0, t ]

8е(0,80]

||& (5, t )|| < ЫН ^ )К ^, ео); 5 6 [0, t ], ее (0, ео ].

Оценим второе слагаемое в правой части (61). При любом 5 е (0, t] ||#(5, t)|| справедлива оценка (32).

Пусть

к(S, t)

ф( S)

ехр

( t , > г d т

”5 I-ГГ

J ф(т)

В силу (33) Следовательно,

В силу (32), (65)

lim к8 ( s , t) = 0 .

s—+0

sup к8 ( s , t) = K (t) < да

se(0,t]

\\g(s, t)|| < MN(t) K(t), s e (0, t]

(63)

(64) для

(65)

(66)

В силу (43) #(0, г) = 0 . Тогда (0, г)|| = ||0|| = 0 и вместо (66) можно записать оценку

вида

||# (5, г )|| < им (г )к (г), я е [0, г ]. (67)

Из (61), (64), (67) следует оценка

(я, г) < им (г) к (г, 80) + им (г) к (г); я е [0, г ], ее (0,80 ]

iНе можете найти то, что вам нужно? Попробуйте сервис подбора литературы.

Получена оценка вида (57).

Лемма 4 доказана.

Лемма 5. Пусть выполнены условия 1) - 5) тогда функция /0 (г) является решением уравнения (1).

Доказательство. Покажем, что /0 (г) непрерывно дифференцируема. Возьмем произвольное фиксированное г > 0 . Придадим ему приращение Дг > 0 . Тогда

(t + At) - /0(t) = J U J

ф( т)

f (s)

t

ds -

Ju J

ф(*) 0 „ Ф(т)

f ( s)

ds ■■

Ju J

0 V s

Ф( т)

f (s)

ф( s)

ds -

J U J

Ф( т)

J U J

t V s

f ( s) - Л0 ф( s) ф(0

Ф( т)

ds

f (s)

A-JU J

Ф( s)

f (s)

ф(s) 0 Ф(т)

0 Vs J

ф( s)

ds ■■

J U J

t V s

ф( т)

f (t)

ф( )

ds

+U

V s

J Ju J

J ф(т) j j

0 Ф(т)

0 V s J

f (s)

ds -

t (t Ju (J

t

d т

ф( s) 0 Ф(т)

0 V s J

f (s)

ds =

J и J

d т Ф( т)

f (s) - f4£) ф(s) ф(^)

ds

U

(t+At , ^

<■ d т

J ф( т)

/0

ф( s)

t+At (t+At , ^

d т

c<0 + J U J

ф( т)

f (t)

ф(0

ds.

При проведении указанных преобразований использовано полугрупповое свойство

и(^ + ) = и(^) и(г2), 0<г!, г2 <»,

в силу которого

U

(t+At , ^

г d т

J ф(т)

V s

= U

(t+At t ^

<■ d т + f d т

j Ф(т) J Ф(т)

U

J U J

J ф(т) J

s Ф(т) ,

Vs J

Получаем:

/0 (t + At) - /0 (t) 1

At

f ( s ) - fit)

ф(50 ф(7)

ds -

U

iНе можете найти то, что вам нужно? Попробуйте сервис подбора литературы.

(t+At , ^

<• d т

J Ф(т)

At

-/0

f (t)

ф( )

ds.

(68)

В силу (9), (lO)

t+Дt f t+Дt , ^

Дt

. t+Дt t+Ді

1 f и f

Д? J J

t V s

d т

ф(т)

f is) _ fit) 9(s) ФІО

ds

t+Дt f t+Ді

M

< — I exp

At 1 t

f exp “s f

d т Ф( т)

f is) fit)

ФІ s) ф(?)

ds <

, 1+Дt <M І f І s) f it) M ds < — max If І s) f it)"

Дt J t ФІ s) ФІ*) Дt t <s <t+Дt ФІ s) ф(? )ll _

- M max Ilf І s) f (t) Д^0 — 0

t<s<t+ДЛ ф(s) ф(? )||

t+ДІ

fds

t

в силу непрерывности функции

f i s)

lim

Дt—Q

ФІ s)

, t+Дt f t+Д

- f и f

ДҐ J J ф(т)

t V s

Из (69) следует, что

d т

f i s) _ fit) ФІ s) ФІО

ds

(7O)

Выясним поведение второго слагаемого в правой части (68) при At ^ 0 . Заметим, что

1о^) е Б (А). (71)

Действительно, (71) будет выполняться, если существует интеграл вида

W)-Ju j

d т

0 V ^

ибо в силу (7) и замкнутости оператора А

ф( т)

Af (s)

ФІ s)

(72)

V{<)-Jи J

d т Ф( т)

Af (s)

Ф І s)

ds - A

t f t HJ

G V s

d т Ф( т)

f І s)

ФІ s)

ds - AJg (t).

Существование интеграла (72)следует из сходимости интеграла

W (t) -J

f t

и

d т Ф( т)

Af (s)

ФІ s)

ds.

(73)

Покажем сходимость интеграла (73). Положим

С (t) - max IA (s )||.

0<s <t11 11

Тогда в силу (9)

f t

Wit) < MСІt) J exp I “s J

M

С (t )exp

f t “s' V s

d т

d т

ф( т)

ds

ФІ s)

Ф( т)

M

С І t),

откуда следует сходимость интеграла (73).

G

iНе можете найти то, что вам нужно? Попробуйте сервис подбора литературы.

G

Справедливость (71) показана. Положим

t+At

h (At) = J

ds -(s)

Используя (4), (6), (71), получаем:

U

At

_Jo(,) = U (h (At))-U (h(0)) MAH Jo(t)

Показано, что

h ( At)

At

At—0

At—0

— u '(h (0))-L Jo(t) = u '(0) JL Jo(t) = -(t) -(t)

= -1) AU(0)J0(t) = -1- AJ0 (t).

-(t) -(t)

U

lim

At—0

At

■J0 (t) - -T") AJ0 (t) -(t)

(74)

Покажем, что

В силу равенства

lim

At—0

. t+At і t+At , ^

-1 Jи J

At J J -(т)

t V s

f (t)

-(t)

ds

f (t) -(t)

f (t) = 1t+rAt/(0 ds -(t) At J -(t)

для справедливости (75) достаточно показать, что і+Аі

аі

, t+A,

- J

At J

U

f (t)

-(t)

ds

At—0

— 0.

Используя теорему о среднем, получаем:

, t+At

- J

At J

U

- т

f (t)

-(t)

ds

л t+At

- J

At J

U

U t+At , ^ р d т - т f (t)

J -(т) -(t)

- Vs* _

— 0

f (t)

-(t)

(75)

(75)

ds -

(77)

At—0

в силу (4) и сильной непрерывности и (.).

Из (77) следует (76). Справедливость (75) показана. В силу (70), (74), (75) функ-

+

ция / (?) дифференцируема в точке t справа и для правой производной / о (t) справедлива формула

+ 1 f(t)

J '0( t) = -1_ AJо (t) + Ш -(t) -(t)

Функция

AJ,

0 (t) = V(t) = j U j

0 I s

d т -(т)

Af (s)

-(s)

ds

непрерывна в силу сильной непрерывности и(■ ), непрерывности А/(5), ф(5) и соотношения

lim

s—+0

(t

U

V s

d т -(т)

л

Af (s)

-(s)

: 0, t 6 (0, Ж)

(79)

iНе можете найти то, что вам нужно? Попробуйте сервис подбора литературы.

(79) следует из того, что в силу (9), (33)

(t

U

V s

d т -(т)

Af (s)

-(s)

< M C(t)-----------exp

-(s)

( t , r d т ®8 I—-T J -(т)

V s

s—+0

0

В силу (78) и непрерывности А/ц ^) правая производная /'о ^) непрерывна. Следовательно ([31, с. 167]), функция /ц (t) непрерывно дифференцируема и справедлива формула

/0(t) =~Пл [А/0 ^) + / (t)] ' ф(t)

Тогда

ф(t)/(5 (t) = А/о(t) + /(t),

то есть /( (t) является решением уравнения (1).

Лемма 5 доказана.

В силу лемм 1 - 5 справедливо следующее утверждение.

Теорема. При выполнении условий 1) -3) задача (2), (3) при любом фиксированном ее (0, ец ] имеет решение /е (t) вида (12); если <в < 0 и / ^) ограничена на [0, ж), то /е ^) ограничено на [0, ж). При выполнении дополнительных условий 4), 5) справедлив предельный переход (46) и предельная функция /0 (t) является решением уравнения (1); это решение ограничено при t — +0 ; если /^) ограничена на [0, ж), то /0 (t) ограничено на (0, ж).

Замечание 3. При / ^) = /, 0 < t < ж , решение задачи (2), (3) можно записать в

виде

(1 dт ^

J (t) = -A-1 f + U

-(т + в)

(,0 + A 1 f)

(80)

и Ит /е ^) = /0 ^), 0 < t < ж , где /0 ^) = - А 1 / - стационарное решение уравне-

е—0

-(t)x'(t) = Ax(t) + f, 0 < t < ж

ния

Замечание 4. Если А е Ь (Е), то в формулах (12), (23), (80) выражение и(1-)

А-

нужно заменить на операторную экспоненту е .

Доказанные выше утверждения анонсированы в [25]; они обобщают результаты работы [24], в которой малые стабилизирующие возмущения уравнения (1) исследованы в случае ф(?) = ^, а е Я, а> 1.

Список литературы

1. Фомин В.И. Операторное уравнение Эйлера первого порядка в банаховом пространстве // Тез. докл. XII Всесоюзной школы по теории операторов в функциональных пространствах, часть II, 14-20 сент. 1987 г. - Тамбов: ТГПИ, 1987. - С. 105.

2. Фомин В. И. Поведение решений вырождающегося дифференциального уравнения с малым параметром в случае переменного ограниченного операторного коэффициента // Тез. докл. III Уральской региональной конференции "Функциональнодифференциальные уравнения и их приложения", 1-5 февраля 1988 г. - Пермь: ППИ, 1988. - С. 88.

3. Фомин В. И. Сингулярное дифференциальное уравнение с малым параметром в случае переменного ограниченного операторного коэффициента // Дифференц. уравнения. - 1989. - Т. 25, № 8. - С. 1350-1354.

4. Фомин В. И. О сингулярном дифференциальном уравнении с малым параметром в банаховом пространстве // Тез. докл. XIV школы по теории операторов в функциональных пространствах, часть III, 6-14 сентября 1989 г. - Новгород: НГПИ, 1989, -

С. 75.

5. Фомин В. И. Малые возмущения сингулярного дифференциального уравнения с постоянным неограниченным операторным коэффициентом // Дифференц. уравнения. - 1989. - Т. 25, № 9. - С. 1629-1630.

6. Фомин В. И. Сингулярное дифференциальное уравнение с малым параметром в случае переменного неограниченного операторного коэффициента // В кн.: Краевые задачи. Пермь: ППИ, 1989. - С. 106-109.

7. Фомин В. И. Малые возмущения сингулярных дифференциальных уравнений в банаховом пространстве / Автореферат дис. ... канд. физ.-мат. наук. - Воронеж: Изд-во ВГУ, 1989. - 15 с.

8. Крейн С. Г., Фомин В.И. Малые возмущения сингулярных дифференциальных уравнений с неограниченными операторными коэффициентами // ДАН СССР. - 1990. -Т. 314, № 1. - С. 77-79.

9. Фомин В.И. Поведение решений вырождающегося дифференциального уравнения с малым параметром в банаховом пространстве // В сб.: "Применение новых методов анализа в теории краевых задач". - Воронеж: ВГУ, 1990. - С. 113-120.

10. Фомин В. И. Об одной краевой задаче с малым параметром // Тез. докл. Воро-нежск. весенней математ. школы "Современные методы в теории краевых задач", 4-8 мая 1992 г. - Воронеж: ВГУ, 1992. - С. 115.

11. Фомин В.И. О повышении гладкости решения задачи Коши для линейного дифференциального уравнения первого порядка с переменным неограниченным операторным коэффициентом // Тез. докл. Воронеж, весенней математ. школы "Понтря-гинские чтения - VII", 17-23 апреля 1996 г. - Воронеж: ВГУ, 1996. -С. 180.

12. Фомин В. И. Об одной краевой задаче с малым параметром // Вестник ТГТУ. -

1996. - Т. 2, №3. - С. 286-301.

13. Фомин В.И. Малые возмущения сингулярного дифференциального уравнения с постоянным неограниченным операторным коэффициентом // Тез. докл. Воронеж, зимней математ. школы "Современные методы теории функций и смежные проблемы", 28 января - 4 февраля 1997 г. - Воронеж: ВГУ, 1997. - С. 163.

14. Фомин В.И. Малые возмущения векторного уравнения Эйлера второго порядка с ограниченными операторными коэффициентами // Тез. докл. Воронеж. весенней математ. школы "Понтрягинские чтения - VIII", 4-9 мая 1997 г. - Воронеж: ВГУ,

1997. - С.156.

15. Фомин В.И. Малые возмущения сингулярного дифференциального уравнения с переменным неограниченным операторным коэффициентом // Вестник ТГТУ. - 1997.

- Т. 3, № 3. - С. 275-290.

16. Фомин В. И. Малые возмущения сингулярного дифференциального уравнения с постоянным неограниченным операторным коэффициентом и переменной правой частью // Вестник ТГТУ. -1997, -Т. 3, № 4.- С.435-454.

17. Фомин В.И. Метод малых регулярных возмущений исследования вырождающихся линейных дифференциальных уравнений в банаховом пространстве // Тез. докл. Воронеж, весенней математ. школы "Понтрягинские чтения - IX", 3-9 мая 1998 г.

- Воронеж: ВГУ, 1998. - С. 204.

18. Фомин В.И. Об одной схеме исследования вырождающихся линейных дифференциальных уравнений в банаховом пространстве // Тез. докл. Воронеж, зимней математ. школы "Современные методы теории функций и смежные проблемы", 27 января - 4 февраля 1999 г. - Воронеж: ВГУ, 1999. - С. 197.

19. Фомин А.И. Малые стабилизирующие возмущения векторного уравнения Эйлера второго порядка с неограниченными операторными коэффициентами и нулевым операторным дискриминантом // Вестник Тамб. ун-та. Сер. Естеств. и технич. науки. - 1999. - Т. 4, вып. 1. - С. 67-69.

20. Фомин В. И. Малые стабилизирующие возмущения вырождающихся линейных дифференциальных уравнений в банаховом пространстве // Краткие тез. докл. IV научн. конф. ТГТУ, 21-22 апреля 1999. - Тамбов: ТГТУ, 1999. - С. 160.

21. Фомин В. И. Малые стабилизирующие возмущения вырождающегося линейного дифференциального уравнения первого порядка с постоянным неограниченным операторным коэффициентом и постоянным свободным членом // Тез. докл. Воронеж. весенней математ. школы "Понтрягинские чтения - X", 3-9 мая 1999г. - Воронеж: ВГУ, 1999. - С. 255.

22. Фомин В. И. Малые стабилизирующие возмущения вырождающегося линейного дифференциального уравнения первого порядка с постоянным ограниченным операторным коэффициентом и постоянным свободным членом // Вестник Тамб. унта. Сер. Естеств. и технич. науки. - 1999. - Т. 4, вып. 3. - С. 347-352.

23. Фомин В.И. Малые регулярные возмущения векторного уравнения Эйлера второго порядка, с ограниченными операторными коэффициентами и нулевым операторным дискриминантом // Вестник ТГТУ. - 1999. - Т.5, № 4. - С. 603-612.

24. Фомин В.И. Метод малых регулярных возмущений при исследовании сингулярных дифференциальных уравнений в банаховом пространстве // Дифференц. уравнения. - 1999. - Т. 35, № 12. -С. 1712.

25. Фомин В.И. О малом стабилизирующем возмущении сингулярного дифференциального уравнения первого порядка с постоянным оператором и вырождающимся коэффициентом общего вида // Тез. докл. Воронеж. зимнего симпозиума "Математическое моделирование в естественных и гуманитарных науках", 20-27 января 2000г.

- Воронеж: ВГУ, 2000. - С. 220.

26. Фомин В. И., Малые стабилизирующие возмущения векторного уравнения Эйлера второго порядка с ограниченными операторными коэффициентами и позитивным операторным дискриминантом // Вестник ТГТУ. - 2000. - Т. 6, № 1. - С. 114-118.

27. Фомин В. И. Малые стабилизирующие возмущения вырождающегося линейного дифференциального уравнения первого порядка с постоянным ограниченным операторным коэффициентом и переменным свободным членом // Вестник Тамб. гос. ун-та. Сер. Естеств. и технич. науки. - 2000. - Т. 5, вып. 1. - С. 80-82.

28. Фомин В.И. О решении возмущенного векторного уравнения Эйлера второго порядка с неограниченными операторными коэффициентами и позитивным операторным дискриминантом // Краткие тез. докл. V науч. конф. ТГТУ. - Тамбов: ТГТУ, 2000.

- С. 29-30.

29. Фомин В.И. Малые стабилизирующие возмущения вырождающегося линейного дифференциального уравнения первого порядка с постоянным неограниченным операторным коэффициентом и постоянным свободным членом (на англ. языке) // Вестник ТГТУ. - 2000. - Т. 6, № 3. С. - 456-458.

30. Фомин В.И. Малые стабилизирующие возмущения векторного уравнения Эйлера второго порядка с ограниченными операторными коэффициентами // Диффе-ренц. уравнения. - 2000. - Т. 36, № 11. - С. 1568-1569.

31. Крейн С.Г. Линейные дифференциальные уравнения в банаховом пространстве. - М.: Наука, 1967. - 464 с.

32. Фихтенгольц Г.М. Курс дифференциального и интегрального исчисления. Т.

2. -М.: Наука, 1979. - 800 с.

On a Small Stabilazation Perturbation of Singular Differential Equation with Constant Operator and Degenerate Coefficient of the General Form

V.I. Fomin

Department “Applied Mathematics and Mechanics”, TSTU

Key words and phrases: Banach space, degenerate coefficient; small parameter; semi-group; performing operator; singular equation; stabilazation perturbation.

Abstract: Applying method of small stabilization perturbation the singular differential equation with degenerate coefficient of the general form is analyzed.

Uber kleinen stabilisierenden Storung der singularischen Differentialgleichung mit dem standigen Operator und degenerierenden Koeffizienten der Gesamtform

Zusammenfassung: Entsprechend der Methode der kleinen stabilisierenden Storungen wird die singularische Differentialgleichung mit dem degenerierenden Koeffizienten der Gesamtform erlernt.

Sur la petite perturbation stabilisante de l’equation singulaire differentielle avec un operateur constatant et avec un coefficient degenerant de la

forme generale

Resume: Par la methode de petites perturbations stabilisantes est etudiee l’equation singulaire differentielle avec un coefficient degenerant de la forme generale.

i Надоели баннеры? Вы всегда можете отключить рекламу.