Условия однозначной разрешимости некоторых линейных сингулярных функционально-дифференциальных уравнений

Бесплатный доступ

В работе рассматриваются линейные функционально-дифференциальные уравнения, определенные на конечном отрезке и являющиеся сингулярными по независимой переменной. Сингулярность сосредоточена в левом и правом концах отрезка. Для таких уравнений получены условия нетеровости и фредгольмовости. Также получены эффективные условия разрешимости и однозначной разрешимости.

Функционально-дифференциальные уравнения, сингулярные уравнения, фредгольмовость, нетеровость, разрешимость

Короткий адрес: https://sciup.org/148180510

IDR: 148180510

Текст научной статьи Условия однозначной разрешимости некоторых линейных сингулярных функционально-дифференциальных уравнений

В статье рассматривается вопрос об условиях нетеровости и фредгольмовости линейного функционально-дифференциального уравнения, определенного на конечном отрезке и имеющегося сингулярность в левом и правом концах отрезка.

Описание объекта исследования. Рассмотрим требуемые в работе функциональные пространства. Пусть L pp , 1 p <^ - пространство суммируемых с p -й степенью функций z : [ 0; b ] > R с нормой

b

II z L = Л z ( t )| p

V 0

; Dp - пространство абсолютно непрерывных функций x: [0;b]> R , производная которых является элементом пространства Lp, с нормой ||x||Dp = |x||Lp + |x(0)|; D0p - подпространство функций xе Dp таких, что x(0) = 0, с нормой ||x||Dp = |x||Lp.

Основным объектом исследования является сингулярное по независимой переменной функционально-дифференциальное уравнение первого порядка

( Lx ) ( t ) = x ( t ) + h ( t ) x ( t ) + ( Tx )( t ) = f ( t )                    t е [ 0; b ]                   (1)

k

Здесь коэффициент h(t) имеет вид h(t) = — + a(t), суммируемая на отрезке [0; b] функция a: [0; b]> R ограничена в существенном на каждом отрезке [е; b], Е > 0 и удовлетворяет предельному условию lim ta(t) = 0. Функция h(t) не суммируема на отрезке [0; b] и терпит разрыв второго рода в t >0+                                                                                                        L J точке t = 0 .

Оператор T: Dp > Lp вполне непрерывен. В качестве оператора T могут, например, рассматриваться операторы, определяющие сосредоточенное отклонение (Tqx) (t) = q(t)xg (t) или b распределенное отклонение аргумента (Trx)(t) = Jx(s)dsr(t; s). Здесь q е Lp, функция g(t) измерима на отрезке [0; b ], xg (t) =

'x ( g ( t )), g ( t ) е [0; b ]                                                                      r , r ,

‘    0    (f) ^[0 b] ; Функция r(t; s) измерима в квадрате [0; b]x[0; b] и b

r ( ; s ) e L p , var r ( ; s ) e L p , r ( t ; b ) = 0. Эти условия гарантируют [1, с. 56] полную непрерывность S = 0

операторов Tq и Tr соответственно.

Правую часть уравнения (1) будем рассматривать как элемент пространства L p . Решение будем искать в пространстве D 0 p , то есть фактически будем рассматривать полуоднородную задачу Коши

( L x ) ( t ) = f ( t )                    x (0) = 0

Уравнения вида (1) возникают, например, при изучении процессов, протекающих в химическом реакторе [2], при изучении некоторых задач теории упругости [3]. Большое количество практических задач, при моделировании которых возникают сингулярные уравнения, приведено в монографиях [4,5].

Уравнения для обыкновенных дифференциальных и функционально-дифференциальных уравнений, обладающие аналогичной сингулярностью, привлекали внимание математиков еще в середине прошлого века [6]. Среди более поздних публикаций отметим работы И.Т. Кигурадзе [7], представителей чешской математической школы [8]. Отметим также монографию Н.В. Азбелева, В.П. Максимова, Л.Ф. Рахматуллиной [1].

Основной результат. Доказано, что такие фундаментальные свойства уравнения (1), как нетеровость и фредгольмовость, определяются единственной характеристикой – величиной числа k . Этот результат переносится на уравнения с сингулярностью, сосредоточенной в правом конце отрезка [ 0; b ] , и на уравнения с сингулярностью, сосредоточенной в точках t = 0 и t = b .

Пусть p' = Р . Рассмотрим вспомогательное уравнение Р - 1

( 3 x ) ( t ) = x( t ) + h ( t ) x ( t ) = f ( t )            t e [ 0; b ]                            (2)

Лемма . Справедливы следующие утверждения:

  • 1)    оператор 3 имеет правый обратный оператор 3 r -1 : L p ^ D 0 p тогда и только тогда, когда к *— .

Р

Оператор 3 имеет обратный оператор 3"1 : L p ^ D 0 Р тогда и только тогда, когда к > — ;

Р

  • 2)    уравнение (2) имеет решение при любой правой части f e L p тогда и только тогда, когда к * — .

Р

Это решение единственно тогда и только тогда, когда к >  —;;

Р

  • 3)    уравнение (2) в пространстве D 0 Р нетерово тогда и только тогда, когда к * —, причем при Р

к < — его индекс равен 1. Уравнение (1) фредгольмово тогда и только тогда, когда к > — .

Р                                                                     Р

Доказательство этих утверждений приведено в статье [9].

Теорема 1. Уравнение (1) в пространстве D0Р нетерово тогда и только тогда, когда к *—, причем Р при к < —его индекс равен 1. Уравнение (1) фредгольмово тогда и только тогда, когда к > —. Р                                                                     Р

Доказательство. Оператор T : D 0 Р ^ L вполне непрерывен по условию теоремы. Осталось сослаться на лемму и теорему С.Г. Крейна (цитируется по [1, с. 13]) о том, что свойство нетеровости оператора 3 устойчиво по отношению к вполне непрерывному возмущению T и при таком возмущении индекс оператора не меняется.

Следствие 1 . Пусть к >  —^ и выполнено хотя бы одно из условий:

Р

  • а)    однородное уравнение Lx = 0 имеет только тривиальное решение;

  • б)    оператор T вольтерров;

  • в)    оператор T определяет сосредоточенное отклонение аргумента ( Tqx ) ( t ) = q ( t ) x g ( t ) и справедливо

    хотя бы одно из неравенств || q ( t)cg ( t )|| <


    kp' + 1 A p' 1


    b


    M


    или q( ( t ) ^ g ( t )|| l . < kM^;


    г) оператор T определяет распределенное


    b

    отклонение аргумента ( Trx ) ( t ) = j x ( s ) d s r ( t ; s ) и



    b


    справедливо хотя бы одно из неравенств var r ( t ; s )


    s = 0


    <

    Lp


    kp' + 1 A p ' 1                    ч

    или var r ( t ; s )

    M


    b


    b


    s = 0


    L


    k + 1 <------ .

    Mb


    Тогда уравнение (1) имеет единственное решение при любой правой части f e L p .

    Доказательство .

    • а)    Так как при k > —в силу теоремы 1 оператор L фредгольмов и однородное уравнение имеет


    p

    только тривиальное решение, то неоднородное уравнение однозначно части.

    • б)    Определим оператор K 1 : Lp ^ L p равенством K 1 = T Л , где уравнения (2). Ядро оператора Л имеет вид:


    разрешимо при любой правой


    Л : L p ^ D 0 p - оператор


    Коши


    Л ( t ; s ) = <


    t T k

    exp

    s J P



    ■ j a ( t ) d T > 9 ( t s ), s * 0


    s

    0,


    s = 0


    .


| 1, t - s Здесь 9 (t — s ) = <

.

v ' 10, t s

Уравнение ( I + K 1 ) z = f является эквивалентным уравнению (1).

Так как операторы T

и Л

I + K 1

вольтерровы, то оператор K 1 также вольтерров, его спектральный радиус равен нулю, оператор обратим и уравнение (1) однозначно разрешимо.

  • в)    Первое из неравенств (в) гарантирует справедливость неравенства || K 1|| L p 1 и, следовательно, однозначную разрешимость уравнения (1).

Если выполняется второе из неравенств (в), то оператор K 1 действует в пространстве L ограниченных в существенном на отрезке [ 0; b ] функций z : [ 0; b ] ^ R с нормой || z || = vrai sup| z ( t )| и t e [ 0; b ]

норма оператора K 1 в пространстве L меньше 1. Значит, и || K J| 1.

  • г)    Доказательство аналогично случаю в).

Поскольку правые части неравенств в) и г) совпадают, то в дальнейшем будем указывать только неравенства для оператора T , определяющего распределенное отклонение аргумента.

Следствие 2. Пусть

k < — , оператор T определяет распределенное отклонение аргумента Р

b

( T r x ) ( t ) = j x ( s ) d s r ( t ; s ) и

справедливо хотя бы одно из неравенств

b var r ( t ; s ) s = 0

< 1 A p ' 1

< —   — или

L p I b J M

b varr(t; s)

s = 0

<—— . Тогда уравнение (1) имеет решение в пространстве Dn p при любой правой части

L Mb                                                          0

f e Lp .

Доказательство аналогично доказательству следствия 1. При доказательстве используется вид правого обратного оператора 5 = G : L p ^ D 0 p - оператора Грина задачи ( § x )( t ) = z ( t ), x ( b ) = 0. Оператор G является линейным интегральным оператором, ядро которого определяется равенством

G ( t ; s ) = [ —

I s

— I

k J exp <

j a ( t ) d T 9(s t ). s

Обобщение основного результата. Пусть теперь D0Р - подпространство функций xе Dp, для которых x(b) = 0. Коэффициент h(t) имеет вид h(t) = _m + a(t), суммируемая на отрезке [0; b] b -1

функция a: [0; b]^ R ограничена в существенном на каждом отрезке [0; b - е], Е > 0 и удовлетворяет предельному условию lim (b-1)a(t) = 0. Функция h(t) не суммируема на отрезке [0;b] и терпит t ^ b-0

разрыв второго рода в точке t = b .

Теорема 2. Уравнение (1) в пространстве D0p нетерово тогда и только тогда, когда m ^—^ , причем p при m < —его индекс равен 1. Уравнение (1) фредгольмово тогда и только тогда, когда m > —. p                                                                     p

Доказательство. Рассмотрим вспомогательное уравнение (6). Изменим направление параметризации отрезка [ 0; b ] . Положим т = b - 1 . Определим соответственно функции a 1 ( t ), f , ( t ) следующим образом:

a 1 ( т ) = - a ( b - T ) = - a ( t );

f V(T ) = - f ( b - т ) = - f ( t ).

Пусть

x ( b - T ) = x 1 ( т ).

Тогда

—x ( b - T ) = - x '( b - T ) = - x T ). Уравнение (6) примет вид d T

(m      А

( З 1 x ) ( т ) = x^T ) + l — + a 1 ( T ) I x 1 ( T ) = f , ( T ) V т       )

Дальнейшее доказательство аналогично доказательству теоремы 1 и следует из леммы.

Следствие 1. Пусть m > — и выполнено хотя бы одно из условий: Р

  • а)    однородное уравнение Lx = 0 имеет только тривиальное решение;

b

  • б)    оператор T определяет распределенное отклонение аргумента ( Trx ) ( t ) = j x ( s ) dsr ( t ; s ) и

b

справедливо хотя бы одно из неравенств var r ( t ; s )

s = 0

<

Lp

mp ' + 1 А p' 1

или var r ( t ; s ) M

b

b

s = 0

L”

m + 1

<----

Mb

.

Тогда уравнение (1) имеет единственное решение при любой правой части f е Lp .

Доказательство аналогично доказательству следствия 1 из теоремы 1. Отметим, что ядро обратного оператора З"1 = G в этом случае имеет вид

- m

.     ( b -1 ।

G ( t ; s ) =-l  ----I exp ^

V b - s )

-

■ j a ( t ) d T >9{s - 1 ) s

Следствие 2. Пусть m <— , оператор T определяет распределенное отклонение аргумента Р

b

( Trx ) ( t ) = j x ( s ) dsr ( t ; s ) и справедливо хотя бы одно из неравенств 0

b var r ( t ; s )

s = 0

b var r(t; s) s=0

. ( 1 А p' 1

< —  — или

Lp V b I M

< ——. Тогда уравнение (1) имеет решение в пространстве DI при любой правой части

L Mb                                                          0

f е Lp .

Доказательство аналогично доказательству следствия 2 из теоремы 1. Отметим, что ядро правого обратного оператора З- = Л в этом случае имеет вид

- m

. , . ( b -1 ।

Л ( t ; s ) = 1------I exp ^

V b - s )

-

■ j a( т ) d T >9tt - s ). s

Пусть D0p - подпространство таких функций x е Dp, для которых x(0) = 0 и x(b) = 0. Коэффициент h(t) имеет вид h(t) = k —— + a(t), суммируемая на отрезке [0; b] функция a: [0; b]^ R ограничена в t b-t существенном на каждом отрезке £1; b - £2 ], limta(t) = lim (b-t)a(t) = 0. Функция h(t) не t ^0+ t^b-0V '

£ 1 0 , £ 2 0 и удовлетворяет предельным условиям суммируема на отрезке [ 0; b ] и терпит разрыв второго

рода в точках t = 0 и t = b .

Теорема 3. Уравнение (1) в пространстве

D0 нетерово тогда и только тогда, когда к Ф —и Р m Ф—-7 . Индекс уравнения (1) равен 1 при к <—, m <—. Уравнение (1) фредгольмово при Р                                      Р       Р

к <--;, m >

Р

—^7 и при к > —^ m <  —^7 . Индекс уравнения (1) равен - 1 при к > -

p

p

p

—, m > p

.

p

Доказательство.  Для доказательства воспользуемся пространством D0p S непрерывных на отрезках

0; b

и

b

2; b

функций у : [ 0; b ] ^ R таких, что у (0) = у ( b ) = 0 и их

производная принадлежит пространству Lp . Такие функции могут иметь не более чем конечный разрыв b „                     .. JbI                                   .и в точке t = —. Норма в пространстве DopS — определяется равенством у = у „ .

2                                            12/                                              D 0 S        L"

Каждое решение уравнения (2) совпадает с решением краевой задачи

= 0, t e [ 0; b ]

в пространстве

Р „I b I

D 0 p S 1 — 1 . Решение уравнения 5 у = 0 может быть записано в виде суммы x 1 (t ) + x 2 ( t ).

Здесь функция

равна 0 при

b

I к I                           b x1(t) является решением уравнения (51 x) (t) = x(t) +1 — + a1(t) I x(t) = 0 при t e 0;—

;2

и

t е 2; b . Функция

x 2 ( t ) равна 0 при t e 0;-| j и является решением уравнения

( 5 2 x ) ( t ) = x(t ) +1 — + a 2 ( t ) I x ( t ) = 0 V b - 1        )

видеть, что оператор 5 нормально

mk при te —;b . Здесь a(t) =--+ a(t), a2(t) = —+ a(t). Нетрудно

2                 1 b - 1            2 t

b

разрешим тогда и

являются операторы 5 1 и 5 2 , то есть при к Ф

-

11 ind 5 = 2 при к < --;, m < --7 ; ind 5 = 1 при к <

Р       Р

— и p

, p

------------1

только тогда, когда нормально разрешимыми 1

m Ф—‘ . Далее, ind 5 = ind 5 1 + ind 5 2 , то есть

p m >--7 и при к > -

Р

— m < --‘; ind 5 = 0 при

p

p

/ . p

к >--7, m >

Р

Из теоремы 2.3 [1, с. 23] следует, что задача (3) нормально разрешима тогда и только тогда, когда

ɶ

ɶ

нормально разрешим оператор 5 и индекс задачи (3) равен ind 5 - 1. Этот же факт имеет место для оператора 5 .

Утверждение теоремы справедливо в силу полной непрерывности оператора T .

Следствие 1. Пусть к >  —^, m <  —^ и выполнено хотя бы одно из условий: Р       Р

  • а)    однородное уравнение Lx = 0 имеет только тривиальное решение;

  • б)    оператор T вольтерров;

b

  • в)    оператор T определяет распределенное отклонение аргумента ( T r x ) ( t ) = j x ( s ) d s r ( t ; s )

    и


справедливо хотя бы одно из неравенств

b var r(t; s)

s = 0

I kp' +1I p ' 1 < —-- — pbM

или

b var r(t; s) s=0

L

k + 1

< ------ .

Mb

Тогда уравнение (1) имеет единственное решение при любой правой части.

Доказательство аналогично доказательству следствия 1 из теоремы 1. Отметим, что в этом случае обратный оператор 3 1 вольтерров и его ядро

ограничено

сверху функцией

/ x - k

I t I

Л ( t ; s ) = 1-1 exp ^

I s )

_

j а ( т ) d T >9t t - s ).

s

Следствие 2. Пусть k < — , m > —и выполнено хотя бы одно из условий: Р       Р

  • а)    однородное уравнение Lx = 0 имеет только тривиальное решение;

  • б)    оператор T определяет распределенное отклонение аргумента

b

( Tx ) ( t ) = j x ( s ) dsr ( t ; s )

и

справедливо хотя бы одно из неравенств

b var r(t; s) s=0

I mp +1 I p 1 < —- —

L p I b ) M

или

b var r(t; s) s=0

L”

m + 1

<------.

Mb

Тогда уравнение (1) имеет единственное решение при любой правой части f е L p .

Доказательство аналогично доказательству следствия 1 теоремы 1. Отметим, что ядро обратного оператора 3 1 = G в этом случае ограничено сверху функцией G(t; s) =

b - t b - s

- m

t- exp M

а ( т ) d T>6( s -t ).

Следствие 3. Пусть k < — , m < —, оператор T определяет распределенное отклонение p       p

b

аргумента ( Trx ) ( t ) = j x ( s ) d s r ( t ; s ) и справедливо хотя бы одно из неравенств var r ( t ; s )

s = 0

. 1 1 1 p 1

< —  — или

L p I b ) M

b var r ( t ; s ) s = 0

< —— . Тогда уравнение (1) имеет решение при любой правой части. L Mb

Доказательство аналогично доказательству следствия 2 теоремы 1. Ядро правого обратного оператора 3 r - 1 = G в этом случае имеет вид

G ( t ; s ) =

-

+

t

s

t

s

- k

- k

b - 1

- m

t

b - s

exp <

-

г                        I b

J a( T ) d T\e (s - t ) ^ k

J                      12

s

-

t I +

b - t

b - s

- m

exp <

t

.

-

■ ja(T)dT\9(t-s)91 t

-

s

b

Заключение. В работе получены условия нетеровости и фредгольмовости для сингулярных по независимой переменной функционально-дифференциальных уравнений. Также получены эффективные признаки разрешимости и однозначной разрешимости.

Статья научная