Научная статья на тему 'Линейные разностные уравнения второго порядка в банаховом пространстве и расщепление операторов'

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

CC BY
396
23
i Надоели баннеры? Вы всегда можете отключить рекламу.
Ключевые слова
БАНАХОВО ПРОСТРАНСТВО / РАЗНОСТНОЕ УРАВНЕНИЕ ВТОРОГО ПОРЯДКА / РАСЩЕПЛЕНИЕ ОПЕРАТОРОВ / BANACH SPACE / DIFFERENCE EQUATION OF SECOND ORDER / OPERATORS SPLITTING

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

В классических учебниках по дифференциальным и разностным уравнениям описан прием сведения дифференциальных и разностных уравнений n-го порядка стандартной заменой к системе дифференциальных и соответственно разностных уравнений первого порядка. Каждое из этих уравнений можно записать в операторном виде. Естественным образом возникает вопрос о совпадении ряда свойств дифференциальных и разностных уравнений (операторов) второго порядка и соответствующих операторных уравнений (операторов) первого порядка. В статье рассматривается линейное разностное уравнение второго порядка в комплексном банаховом пространстве с ограниченными операторными коэффициентами. В первой теореме установлена одновременная обратимость разностного оператора второго порядка и соответствующего разностного оператора первого порядка,приведена формула для обратного оператора. Все дальнейшие исследования проводятся в условиях наличия разделённых корней соответствующего «алгебраического» операторного уравнения.В этих условиях в теореме 2 установлено подобие операторной матрицы второго порядка блочно-диагональной операторной матрице. При условии разделённости пары операторных корней в теореме 3 получено необходимое и достаточное условие обратимости разностных операторов второго и первого порядка. В теореме 4 получено представление (формулы) обратных операторов к рассматриваемым. В теоремах 5 и 6 для ограниченных решений на множестве целых неотрицательных чисел получено асимптотическое представление этих решений с помощью операторнозначных функций,которое можно назвать разложение м на бесконечности.

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

Linear Difference Equation of Second Orderin a Banach Space and Operators Splitting

N differential and difference equations classical textbooks, the n-th order differential and difference equationsreducing by standard substitution to first-order differential and difference equations system is described. Eachof the cohering equations can be written in the operator form. Naturally there is a question of coincidenceof a n umber of properties of differential and difference equations (operators) of the second order and thecorresponding functional equations (operators) of first order. In this paper we study the second order lineardifference eq uatio n in the complex Banach space with bounded operator coefficients. The first theoremestablishes the simultaneous invertibility of the secon d-order difference operator and the correspondingfirst-order difference operator, and the inverse operator formula is given. The research is conducted underconditions of the corresponding „algebraic“ operator equation with separated roots. Theorem2 establishes thesecond-order operator matrix and block-diagonal operator matri x similarity. In pair of operator roots separationcondition in Theorem 3, the necessary and sufficient condition for the second and the first order dif ferenceoperators invertibility is obtained. In Theorem 4 we obtain the operators under co nside ration inverse operators formalism (formula). In Theorems 5 and 6 for bounded solutions on the set of non-negative integers anasymptotic formalism of these solutions is obtained using operator-valued functions, this formalism can becalled splitting at infinity.

Текст научной работы на тему «Линейные разностные уравнения второго порядка в банаховом пространстве и расщепление операторов»

УДК 517.9

ЛИНЕЙНЫЕ РАЗНОСТНЫЕ УРАВНЕНИЯ ВТОРОГО ПОРЯДКА В БАНАХОВОМ ПРОСТРАНСТВЕ И РАСЩЕПЛЕНИЕ ОПЕРАТОРОВ

Л. Ю. Кабанцова

Кабанцова Лариса Юрьевна, преподаватель кафедры нелинейных колебаний, Воронежский государственный университет, 394006, Россия, Воронеж, Университетская пл., 1, [email protected]

В классических учебниках по дифференциальным и разностным уравнениям описан прием сведения дифференциальных и разностных уравнений п-го порядка стандартной заменой к системе дифференциальных и соответственно разностных уравнений первого порядка. Каждое из этих уравнений можно записать в операторном виде. Естественным образом возникает вопрос о совпадении ряда свойств дифференциальных и разностных уравнений (операторов) второго порядка и соответствующих операторных уравнений (операторов) первого порядка. В статье рассматривается линейное разностное уравнение второго порядка в комплексном банаховом пространстве с ограниченными операторными коэффициентами. В первой теореме установлена одновременная обратимость разностного оператора второго порядка и соответствующего разностного оператора первого порядка, приведена формула для обратного оператора. Все дальнейшие исследования проводятся в условиях наличия разделённых корней соответствующего «алгебраического» операторного уравнения. В этих условиях в теореме 2 установлено подобие операторной матрицы второго порядка блочно-диагональной операторной матрице. При условии разделённости пары операторных корней в теореме 3 получено необходимое и достаточное условие обратимости разностных операторов второго и первого порядка. В теореме 4 получено представление (формулы) обратных операторов к рассматриваемым. В теоремах 5 и 6 для ограниченных решений на множестве целых неотрицательных чисел получено асимптотическое представление этих решений с помощью операторнозначных функций, которое можно назвать разложением на бесконечности.

Ключевые слова: банахово пространство, разностное уравнение второго порядка, расщепление операторов.

йО!: 10.18500/1816-9791 -2017-17-3-285-293

ВВЕДЕНИЕ

Пусть X — комплексное банахово пространство и EndX — банахова алгебра линейных ограниченных операторов, действующих в X. Через X2 = X х X обозначается банахово пространство, элементами которого являются упорядоченные пары x = (x1,x2), x1,x2 e X, а норма задаётся формулой ||(xi5x2)|| = max{||xi||, ||x21|}. Символом lp = lp(Z, X), 1 < p < го, обозначается банахово пространство двухсторонних последовательностей векторов из X с нормой

( \1/Р

||x|| = ||x||p = I ^^ ||x(n)||p I , x e lp, p e [1, го), VneZ J

||x|| = ||x||ro = sup ||x(n)||, x e 1Ж. nez

Каждому оператору X е EndX2 поставим в соответствие операторную матрицу

( Xl1 Xl2 У где Xj е EndX (1 < < 2). Действие оператора X на элемент

\ X21 X22 J

(ж1,ж2) е X2 определяется формулой X(x1 , x2) = (X11 x1 + X12x2,X21 x1 + X22x2).

В пространстве lp = lp(Z, X) рассматривается разностное уравнение второго порядка

x(n + 2)+ B1 x(n + 1) + B2x(n) = g(n), n е Z, (1)

где B1, B2 е EndX, g е lp. Это уравнение запишем в виде Lx = g, где разностный оператор второго порядка L : lp(Z, X) ^ lp(Z, X) действует по правилу

(Lx)(n) = x(n + 2) + B1 x(n + 1) + B2x(n), x е lp, n е Z.

Наряду с уравнением (1) выпишем разностное уравнение первого порядка вида

y(n + 1)+ By(n)= f (n), n е Z, f = (/1,/2) е lp(Z, X2), (2)

рассматриваемое в банаховом пространстве lp(Z, X2) (изоморфном пространству lp(Z, X) x lp(Z, X)). Оператор B е EndX2 определяется матрицей

в ~ ( 0 -1 V B2 B1

т.е. B(y1 ,У2) = (-У2,B2У1 + B1У2) для (y1 ,У2) е X2.

Отметим, что разностное уравнение (1) переходит в уравнение (2) (ему эквивалентно), если f (n) = (0,g(n)).

Уравнение (2) допускает запись в операторном виде

(Ly)(n) = f (n), n е Z,

где оператор L : lp(Z, X2) ^ lp(Z, X2) действует по правилу

L : ( Sx ) ( B2 S + B1 ) ( Sx ) ' X е lp.

Здесь через S обозначен оператор сдвига последовательностей из lp: S е Endlp, (Sx)(n) = x(n + 1), n е Z, x е lp.

В классических учебниках по дифференциальным уравнениям описан прием сведения дифференциального уравнения n-го порядка стандартной заменой к системе дифференциальных уравнений первого порядка. Каждое из соответствующих уравнений можно записать в операторном виде. Естественным образом возникает вопрос о совпадении ряда свойств соответствующих дифференциальных операторов. Такая же проблема возникает при рассмотрении разностных уравнений. В статье [1] были получены результаты о совпадении ряда свойств введенных в рассмотрение операторов L : lp(Z, X) ^ lp(Z, X) и оператора L : lp(Z, X2) ^ lp(Z, X2). В частности, было установлено, что эти операторы одновременно обратимы, одновременно фред-гольмовы и т. д.

Основные результаты статьи содержатся в шести теоремах. В теореме 1 установлена одновременная обратимость операторов L и L и получена формула для обратного оператора L-1.

Дальнейшее исследование разностных уравнений (1), (2) проводится с использованием корней «алгебраического» операторного уравнения:

X2 + В1Х + В = 0, (3)

рассматриваемого в банаховой алгебре ЕМХ. Подобный метод изучения дифференциальных уравнений второго порядка был предложен в [2] и показал свою эффективность.

Уравнение (3) может иметь, вообще говоря, бесчисленное множество корней. Два корня Л1 и Л2 назовём разделёнными, если оператор Л1 — Л2 обратим в алгебре ЕМХ. Условия существования таких корней приведены, например, в [3, гл. II, § 4, с. 134-135]. В монографии [4, гл. I, § 5] определены дробные степени операторов. В частности, уравнение (3), где В1 =0 имеет два разделённых корня ±л/—В2, если оператор В2 обратим и число нуль лежит в одной компоненте связности резольвентного множества £>(—В2) оператора —В2 и точки го (из расширенной плоскости).

В теореме 2 в условии разделенных корней Л1 и Л2 уравнения (3) доказано подобие оператора В блочно-диагональному оператору и выписана формула для оператора преобразования.

В теореме 3 получено необходимое и достаточное условие обратимости операторов Ь и Ь в терминах спектра операторных корней.

В теореме 4 получены формулы для обратных операторов к Ь и Ь с использованием корней Л1 и Л2.

В теоремах 5 и 6 получено асимптотическое представление для ограниченного решения рассматриваемого однородного разностного уравнения.

1. ОСНОВНЫЕ РЕЗУЛЬТАТЫ

Естественным образом возникает вопрос об одновременной обратимости оператора Ь : 1РX) ^ 1рX) и оператора Ь : 1РX2) ^ X2). Ответ на этот вопрос даёт

Теорема 1. Оператор Ь : 1РX) ^ 1РX) обратим тогда и только тогда, когда обратим оператор Ь : X2) ^ X2).

Если оператор Ь : 1РX) ^ 1РX) обратим, то обратный к Ь : 1Р(Ъ, X2) ^ 1Р(Z, X2) оператор Ь-1 е EпdX2 определяется матрицей

Б-1 — Ь-1 В2 5-1 Ь-1 \ (4)

—5 Ь-1В2Б-1 Б Ь-1 у . ()

Теорема 1 позволяет использовать результаты работ [3-9].

Через А1 © А2, А1, А2 е EпdX обозначим прямую сумму операторов, определяе-

А 0

мых блочно-диагональной матрицей А1 © А (

0 А

Одним из основных результатов статьи является

Теорема 2. Если уравнение (3) имеет два разделённых корня Л1, Л2 е EпdX, то оператор В е EndX2 подобен блочно-диагональному оператору Л е EndX2, задаваемому матрицей

л Л1 0

0 —Л2

При этом имеют место соотношения

в = и-1Ли, Вп = и-1 (Л? ф Л? )и. (5)

Здесь операторы и, и-1 е EпdX2 определяются соответственно матрицами

I I \ и-1 ^-1 = ( -(Л1 - Л2)-1 Л2 (Л1 - Л2)-1 Л1 Л2у ~ \ (Л1 - Л2)-1 Л1 -(Л1 - Л2)-1

Из подобия операторов В и Л, а также из соотношения (5) следует

Теорема 3. Пусть Л1, Л2 — разделённая пара корней уравнения (3). Тогда для обратимости операторов Ь : X) ^ X) и Ь : X2) ^ (Z, X2) необходимо и достаточно выполнения условия

(а(Л^ и а(Л2)) П Т = 0, (7)

где а(Лк) — спектры операторов Лк, к = 1,2, Т = (Л е С : |Л| = 1}.

В условиях следующей теоремы рассматривается разделённая пара корней Л1, Л2 уравнения (3), для которых выполнено условие (7). Так как спектр каждого из операторов Ль Л2 не пересекается с единичной окружностью Т, то имеет место представление а(Лк) = а- и а+, к = 1,2, где спектральные множества определяются следующим образом а- = (Л е а(Лк) : |Л| < 1}, а+ = (Л е а(Лк) : |Л| > 1}, к = 1,2. Множества а-, а+ являются непересекающимися и замкнутыми [10, следствие леммы 1]. Через Р^ обозначим спектральные проекторы Рисса, отвечающие спектральным множествам а^, к = 1,2. Рассмотрим два оператора свёртки

(С* * д)(п) = ^ С*(п - ш)д(ш), п е Z, д е Р, к = 1, 2,

где

„ , . Г -Л?Р+, п < 0, /оч

С(П) = { п > 0, к = 1,2, (8)

есть функция Грина, построенная по соответствующему разностному уравнению:

ж(п + 1)=Лкж(п), к = 1,2, п е Z.

Теорема 4. Пусть выполнено условие (7). Обратные к Ь и Ь операторы имеют вид

Ь-1 д = (Л1 - Л2)-1Л2(С - С) * д, д е Р^ X), (9)

Ь-1/ = ^ = (^1 ,^2) е 1p(Z, X2), / = (/1,/2) е X2),

где

= (Л1 - Л2)-1 (-Л2С1 * (/1 + /2) + С * (Л1 /1 + Л2/2)), ^2 = (Л1 - Л2)-1 (Л1С * (/1 + /2) - С * (Л1 /1 + Л2/2)).

Полученное в теореме 2 представление (5) операторной степени позволяет (с использованием результатов статьи [11]) получить асимптотическое представление ограниченных при n е Z+ решений однородного разностного уравнения:

x(n + 2) + Bx(n + 1) + Bx(n) =0, n е Z+. (10)

Имеет место

Теорема 5. Пусть Л1, Л2 — разделённые корни уравнения (3), все решения разностного уравнения (10) ограничены на Z+, и множество

(а(-Л0 U а(-Л2)) П T = |71,..., Ym} (11)

является конечным. Тогда существуют проекторнозначные функции:

Pk : Z+ ^ EndX2, Pfc е Г (Z+,EndX2), 1 < k < m,

такие, что для любого ограниченного решения x : Z+ ^ X однородного разностного уравнения (10) имеет место представление

m

(x(n),x(n + 1)) = Y^ YkPk(n)(x(0), x(1)), n е Z+. k=1

Функции Pk, 1 < k < m, обладают следующими свойствами:

1) операторы Pk(n) е EndX2, n е Z+, 1 < k < m, принадлежат наименьшей замкнутой подалгебре, порождённой оператором B и тождественным оператором I е EndX2;

2) lim ||Pk(n + 1) - Pk(n)|| =0, 1 < k < m;

n—>ж

3) lim ||BPk(n) - YkPk (n)|| =0, 1 < k < m;

n—>ж

4) lim ||Pk(n)Pj(n)|| =0 для k = j, 1 < k, j < m;

n—>ж

6) lim ||Em=i Pk(n) - I|| =0.

n—

Теорема 5 следует из [11, теорема 1].

Теорема 6. При выполнении условия (11) каждое ограниченное решение x0 : Z+ ^ X однородного разностного уравнения (10) представимо в виде

m

xo(n) = ak(n)Yn, n е Z+, (12)

k=i

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

где функции ak : Z+ ^ X, 1 < k < m, принадлежат (Z+, X) и обладают свойством

lim (ak(n + 1) — ak(n)) =0, 1 < k < m.

n—>ж

Заметим, что в условиях теорем 5 и 6 числа y1 ,..., Ym могут находиться в одной компоненте связности множества (а(—Л1) U а(—Л2)) П T.

2. ДОКАЗАТЕЛЬСТВА ТЕОРЕМ 1-6

Доказательство теоремы 1. Пусть оператор Ь обратим. Вначале докажем инъ-ективность оператора Ь, т.е. установим равенство ^гЬ = (0}, где КегЬ = = (у(п) = (У1(п),У2(п)) е х = Я(Ь) | (Ьу)(п) = 0}. Пусть у(п) = (У1 (п),У2(п)) е е КегЬ. Тогда у1 (п + 1) = у2(п), у2(п + 1) = -В2у1(п) - В1у2(п) и, следовательно, у1 (п) е = ^(Ь) и (Ьу1 )(п) = 0, т.е. у1 (п) е КегЬ = (0}. Поэтому у2(п) =0 и у(п) = (у1(п),у2(п)) = 0, таким образом, КегЬ = (0}.

Проверим теперь, что оператор Ь сюръективен. Рассмотрим уравнение (Ьу)(п) = = /(п), где п е Z, /(п) = (/1 (п),/2(п)) — произвольная последовательность из (Е, X2) ~ х Оператор 5 обратим в (см. [7]), а оператор Ь допускает представление в виде

Ь = 52 + + В2.

Непосредственно проверяется, что уравнение (Ьу)(п) = /(п) разрешимо, и его решение у(п) = (у1(п),у2(п)) е х имеет вид

У1 (п) = (5-1 - Ь-1В25-1)/1(п) + Ь-1 /2(п), у2(п) = (-5Ь-1 В25-1 )/1 (п) + 5Ь-1/2 (п).

Из указанного представления решения следует, что обратный к оператору Ь задаётся матрицей (4).

Пусть теперь обратим оператор Ь. Проверим, что оператор Ь инъективен. Пусть ж(п) е КегЬ. Покажем, что ж(п) = 0. Заметим, что (ж(п),ж(п + 1)) е = х и Ь(ж(п),ж(п + 1)) = (5ж(п) - 5ж(п),В2ж(п) + (5 + В1)5ж(п)) = (0,Ьж(п)) = (0,0). Из инъективности оператора Ь следует, что ж(п) = 0.

Докажем сюръективность оператора Ь. Рассмотрим уравнение (Ьж)(п) = д(п), где д(п) — произвольная последовательность из . Из обратимости оператора Ь следует, что существует решение у(п) = (ж1 (п),ж2(п)) е х уравнения (Ьу)(п) = (0,д(п)). Таким образом, имеют место равенства

ж1 (п + 1) - ж2(п) = 0, ж2(п + 1) + В2ж1 (п) + В1ж2(п) = д(п).

Следовательно, ж1(п) е = ^(Ь) и (Ьж1 )(п) = д(п), что и доказывает сюръективность оператора Ь. Теорема доказана. □

Доказательство теоремы 2. Условие разделённости корней Л1 и Л2 влечёт обратимость оператора Л1 - Л2. Непосредственная проверка показывает, что обратным к оператору и является оператор с матрицей и-1 из (6) и имеет место первое из равенств (5). Второе равенство для операторных степеней вытекает из подобия операторов В и Л. Теорема доказана. □

Доказательство теоремы 3 следует из равенств а(В) = а(Л) (подобные операторы имеют одинаковые спектры), а (Л) = -а(Л1) и (-а(Л2)), выполнения условия (7) и соответствующего результата из [10, терема 7]. □

Доказательство теоремы 4. Введём в рассмотрение операторы Ь к : X) ^ ^ X), определяемые равенствами (Ь кж)(п) = ж(п + 1) - Л кж(п), ж е X), к = 1,2, п е Z. Согласно [10, терема 7] при выполнении условия (7) каждый из разностных операторов Ь , к = 1, 2, обратим, и обратные к ним операторы являются операторами свёртки

(Ь-1 у)(п) = (С * * у)(п), у е к = 1,2, п е Z,

где Gk, k = 1,2, задаётся равенством (8). Из теоремы 2 вытекает подобие разностного оператора L прямой сумме Li © L2 : lp(Z, X2) ^ lp(Z, X2), а оператором преобразования оператора L в оператор L1 © L2 является оператор U : lp(Z, X2) ^ lp(Z, X2) умножения на оператор U из (6). Таким образом, имеют место равенства

L = U-1 (Li © L2)U, L-1 = U-1 (L-1 © L-1)U.

Отсюда с учётом представлений для L-1, k = 1,2, вытекает указанное в теореме представление для оператора L-1. Из него следует формула (9) для оператора L-1, если положить f1 =0, f2 = g и учесть перестановочность оператора Л2 c функцией Грина G2. Теорема доказана. □

Доказательство теоремы 5. Ограниченность на Z+ всех решений однородного разностного уравнения (10) влечёт ограниченность всех решений однородного разностного уравнения:

y(n + 1)+ By(n) = 0, n е Z+. (13)

Поскольку спектр a(B) оператора B согласно теореме 2 совпадает с множеством a(-Л1) U a(-Л1), то условие (11) означает, что

a(B) П T = {71,...,7ш}. (14)

Каждое ограниченное на Z+ решение x е lp(Z+, X) уравнения (10) можно представить в виде

(x(n),x(n + 1)) = Bn(x(0),x(1)), n е Z+. (15)

Из ограниченности всех решений уравнения (13) и представления (15), а также принципа равномерной ограниченности (теорема Банаха - Штейнгауза [12, гл. II]) следует, что

sup ||BnII = M(B) < го, (16)

где B — оператор из EndX2. Из (16) следует, что спектральный радиус оператора B не превосходит единицы, т. е.

a(B) с {Л е C ||Л| < 1}.

Выполнение условия (14) позволяет воспользоваться результатом из [11, теорема 1], согласно которому существует семейство операторнозначных функций Pk : Z+ ^ EndX2 с указанными в теореме 5 свойствами. Теорема доказана. □

Теорема 6 является непосредственным следствием теоремы 5. Свойства функций ak, 1 ^ k < m, из представления (12) вытекают из свойства 2) функций Pk,

1 < k < m. □

Библиографический список

1. Баскаков А. Г., Дуплищева А. Ю. Разностные операторы и операторные матрицы второго порядка // Изв. РАН. Сер. матем. 2015. Т. 79, № 2. С. 3-20. DOI: 10.4213/im8248.

2. Крейн М. Г., Лангер Г. К. О некоторых математических принципах линейной теории демпфированных колебаний континуума // Приложение теории функций в механике сплошной среды : тр. междунар. симпозиума в Тбилиси, 1963 : в 2 т. Т. 2 : Механика жидкости и газа, математические методы. М. : Наука, 1965. С. 283-322.

3. Далецкий Ю. Л., Крейн М. Г. Устойчивость решений дифференциальных уравнений в банаховом пространстве. М. : Наука, 1970. 536 с.

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

5. Хенри Д. Геометрическая теория полулинейных алгебраических уравнений. М. : Мир, 1985. 376 с.

6. Левитан Б. М, Жиков В. Б. Почти периодические функции и дифференциальные уравнения. М. : Изд-во Моск. ун-та, 1978. 206 с.

7. Баскаков А. Г. Полугруппы разностных операторов в спектральном анализе линейных дифференциальных операторов // Функц. анализ и его прил. 1996. Т. 30, № 3. С. 1-11. 001: 10.4213Даа534.

8. Баскаков А. Г. Линейные дифференциальные операторы с неограниченными операторными коэффициентами и полугруппы разностных операторов // Матем. заметки. 1996. Т. 59, № 6. С. 811-820. 001: 10.4213/шгш1780.

9. Баскаков А. Г. Исследование линейных дифференциальных уравнений методами спектральной теории разностных операторов и линейных отношений // УМН. 2013. Т. 68, № 1. С. 77—128. 001: 10.4213/гт9505.

10. Баскаков А. Г., Пастухов А. И. Спектральный анализ оператора взвешенного сдвига с неограниченными операторными коэффициентами // Сиб. матем. журн. 2001. Т. 42, № 6. С. 1231—1243.

11. Баскаков А. Г. Гармонический и спектральный анализ операторов с ограниченными степенями и ограниченных полугрупп операторов на банаховом пространстве // Матем. заметки. 2015. Т. 97, № 2. С. 174-190. 001: 10.4213/тгт10285.

12. Данфорд Н., Шварц Дж. Линейные операторы : в 3 т. Т. 1. Общая теория. М. : Изд-во иностр. лит., 1962. 896 с.

Образец для цитирования:

Кабанцова Л. Ю. Линейные разностные уравнения второго порядка в банаховом пространстве и расщепление операторов // Изв. Сарат. ун-та. Нов. сер. Сер. Математика. Механика. Информатика. 2017. Т. 17, вып. 3. С. 285-293. DOI: 10.18500/1816-9791-2017-17-3-285-293.

Linear Difference Equation of Second Order in a Banach Space and Operators Splitting

L. Yu. Kabantsova

Larisa Yu. Kabantsova, ORCID: 0000-0003-4479-1062, Voronezh State University, 1, University Square, Voronezh, Russia, 394006, [email protected]

In differential and difference equations classical textbooks, the n-th order differential and difference equations reducing by standard substitution to first-order differential and difference equations system is described. Each of the cohering equations can be written in the operator form. Naturally there is a question of coincidence of a number of properties of differential and difference equations (operators) of the second order and the corresponding functional equations (operators) of first order. In this paper we study the second order linear difference equation in the complex Banach space with bounded operator coefficients. The first theorem establishes the simultaneous invertibility of the second-order difference operator and the corresponding first-order difference operator, and the inverse operator formula is given. The research is conducted under conditions of the corresponding „algebraic" operator equation with separated roots. Theorem2 establishes the second-order operator matrix and block-diagonal operator matrix similarity. In pair of operator roots separation condition in Theorem 3, the necessary and sufficient condition for the second and the first order difference operators invertibility is obtained. In Theorem 4 we obtain the operators under consideration inverse operators

formalism (formula). In Theorems 5 and 6 for bounded solutions on the set of non-negative integers an

asymptotic formalism of these solutions is obtained using operator-valued functions, this formalism can be

called splitting at infinity.

Key words: Banach space, difference equation of second order, operators splitting. References

1. Baskakov A. G., Duplishcheva A. Yu. Difference operators and operator-valued matrices of the second order. Izv. Math., 2015, vol. 79, no. 2, pp. 217-232. DOI: 10.4213/im8248.

2. Krein M. G., Langer G. K. Certain mathematical principles of the linear theory of damped vibrations of continua. Appl. Theory of Functions in Continuum Mechanics (Proc. Intern. Sympos., Tbilisi, 1963), Vol. II, Fluid and Gas Mechanics, Math. Methods. Moscow, Nauka, 1965, pp. 283-322 (in Russian).

3. Daleckij Ju. L., Krejn M. G. Ustojchivost' reshenij differencial'nyh uravnenij v bana-hovom prostranstve [Stability of solutions of differential equations in a Banach space]. Moscow, Nauka, 1970. 536 p. (in Russian).

4. Krejn S. G. Linejnye differencial'nye uravnenija v banahovom prostranstve [Linear differential equations in Banach space]. Moscow, Nauka, 1967. 464 p. (in Russian).

5. Henry D. Geometric Theory of Semilinear Parabolic Equations. Berlin, Heidelberg, New York, Springer-Verlag, 1981. 358 p. (Russ. ed. : Moscow, Mir, 1985. 376 p.)

6. Levitan B. M., Zikov V. V. Pochti-periodicheskie funktsii i differentsial'nye uravneniya [Almost-periodic functions and differential equations]. Moscow, Moscow Univ. Press, 1978. 206 p. (in Russian).

7. Baskakov A. G. Semigroups of difference operators in spectral analysis of linear differential operators. Functional Analysis and Its Applications. 1996, vol. 30, no. 3, pp. 149-157. DOI: 10.4213/faa534.

8. Baskakov A. G. Linear differential operators with unbounded operator coefficients and semigroups of bounded operators. Math. Notes, 1996, vol. 59, no. 6, pp. 586-593. DOI: 10.4213/mzm1780.

9. Baskakov A. G. Analysis of linear differential equations by methods of the spectral theory of difference operators and linear relations. Russian Math. Surveys. 2013, vol. 68, no. 1, pp. 69-116. DOI: 10.4213/rm9505.

10. Baskakov A. G., Pastukhov A. I. Spectral Analysis of a Weighted Shift Operator with Unbounded Operator Coefficients. Siberian Math. J., 2001, vol. 42, no. 6, pp. 1026-1036. DOI: 10.1023/A:1012832208161.

11. Baskakov A. G. Harmonic and spectral analysis of power bounded operators and bounded semigroups of operators on Banach spaces. Math. Notes. 2015, vol. 97, no. 2, pp. 164-178. DOI: 10.4213/mzm10285.

12. Dunford N., Schwartz J. T. Linear operators. Vol. I: General theory. Pure Appl. Math., 7, Interscience Publ., Inc., New York; Interscience Publ., Ltd., London, 1958. 858 p. (Russ. ed. : Moscow, Izd-vo inostr. lit., 1962. 896 p.)

Cite this article as:

Kabantsova L. Yu. Linear Difference Equation of Second Order in a Banach Space and Operators Splitting. Izv. Saratov Univ. (N.S.), Ser. Math. Mech. Inform., 2017, vol. 17, iss. 3, pp. 285-293 (in Russian). DOI: 10.18500/1816-9791-2017-17-3-285-293.

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