Дихотомия на полуосях и ограниченные на всей оси решения линейных систем с запаздыванием

З використанням теорiї узагальнено-обернених операторiв отримано критерiй iснування та загальний вигляд обмежених на всiй дiйснiй осi розв’язкiв лiнiйних неоднорiдних функцiональнодиференцiальних систем iз загаюванням у випадку, коли вiдповiдна однорiдна система з загаюванням є експоненцiально дихот...

Ausführliche Beschreibung

Gespeichert in:
Bibliographische Detailangaben
Datum:2015
Hauptverfasser: Бойчук, А.А., Журавлев, В.Ф.
Format: Artikel
Sprache:Russian
Veröffentlicht: Інститут математики НАН України 2015
Schriftenreihe:Нелінійні коливання
Online Zugang:http://dspace.nbuv.gov.ua/handle/123456789/177225
Tags: Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
Назва журналу:Digital Library of Periodicals of National Academy of Sciences of Ukraine
Zitieren:Дихотомия на полуосях и ограниченные на всей оси решения линейных систем с запаздыванием / А.А. Бойчук, В.Ф. Журавлев // Нелінійні коливання. — 2015. — Т. 18, № 4. — С. 431-445 — Бібліогр.: 10 назв. — рос.

Institution

Digital Library of Periodicals of National Academy of Sciences of Ukraine
id irk-123456789-177225
record_format dspace
spelling irk-123456789-1772252021-02-13T01:25:53Z Дихотомия на полуосях и ограниченные на всей оси решения линейных систем с запаздыванием Бойчук, А.А. Журавлев, В.Ф. З використанням теорiї узагальнено-обернених операторiв отримано критерiй iснування та загальний вигляд обмежених на всiй дiйснiй осi розв’язкiв лiнiйних неоднорiдних функцiональнодиференцiальних систем iз загаюванням у випадку, коли вiдповiдна однорiдна система з загаюванням є експоненцiально дихотомiчною на пiвосях. By using the theory of feneralized inverse operators, we obtain a criterion for existence and a general form for bounded on the whole real axis solutions of linear nonhomogeneous functional-differential systems with delay in the case where the corresponding homogeneous system with delay is exponentially dichotomous on the half-axes. 2015 Article Дихотомия на полуосях и ограниченные на всей оси решения линейных систем с запаздыванием / А.А. Бойчук, В.Ф. Журавлев // Нелінійні коливання. — 2015. — Т. 18, № 4. — С. 431-445 — Бібліогр.: 10 назв. — рос. 1562-3076 http://dspace.nbuv.gov.ua/handle/123456789/177225 517.983 ru Нелінійні коливання Інститут математики НАН України
institution Digital Library of Periodicals of National Academy of Sciences of Ukraine
collection DSpace DC
language Russian
description З використанням теорiї узагальнено-обернених операторiв отримано критерiй iснування та загальний вигляд обмежених на всiй дiйснiй осi розв’язкiв лiнiйних неоднорiдних функцiональнодиференцiальних систем iз загаюванням у випадку, коли вiдповiдна однорiдна система з загаюванням є експоненцiально дихотомiчною на пiвосях.
format Article
author Бойчук, А.А.
Журавлев, В.Ф.
spellingShingle Бойчук, А.А.
Журавлев, В.Ф.
Дихотомия на полуосях и ограниченные на всей оси решения линейных систем с запаздыванием
Нелінійні коливання
author_facet Бойчук, А.А.
Журавлев, В.Ф.
author_sort Бойчук, А.А.
title Дихотомия на полуосях и ограниченные на всей оси решения линейных систем с запаздыванием
title_short Дихотомия на полуосях и ограниченные на всей оси решения линейных систем с запаздыванием
title_full Дихотомия на полуосях и ограниченные на всей оси решения линейных систем с запаздыванием
title_fullStr Дихотомия на полуосях и ограниченные на всей оси решения линейных систем с запаздыванием
title_full_unstemmed Дихотомия на полуосях и ограниченные на всей оси решения линейных систем с запаздыванием
title_sort дихотомия на полуосях и ограниченные на всей оси решения линейных систем с запаздыванием
publisher Інститут математики НАН України
publishDate 2015
url http://dspace.nbuv.gov.ua/handle/123456789/177225
citation_txt Дихотомия на полуосях и ограниченные на всей оси решения линейных систем с запаздыванием / А.А. Бойчук, В.Ф. Журавлев // Нелінійні коливання. — 2015. — Т. 18, № 4. — С. 431-445 — Бібліогр.: 10 назв. — рос.
series Нелінійні коливання
work_keys_str_mv AT bojčukaa dihotomiânapoluosâhiograničennyenavsejosirešeniâlinejnyhsistemszapazdyvaniem
AT žuravlevvf dihotomiânapoluosâhiograničennyenavsejosirešeniâlinejnyhsistemszapazdyvaniem
first_indexed 2025-07-15T15:15:44Z
last_indexed 2025-07-15T15:15:44Z
_version_ 1837726480522543104
fulltext УДК 517.983 ДИХОТОМИЯ НА ПОЛУОСЯХ И ОГРАНИЧЕННЫЕ НА ВСЕЙ ОСИ РЕШЕНИЯ ЛИНЕЙНЫХ СИСТЕМ С ЗАПАЗДЫВАНИЕМ А. А. Бойчук Ин-т математики НАН Украины ул. Терещенковская, 3, Киев, 01601, Украина В. Ф. Журавлев Житомир. нац. агроэкол. ун-т б-р Старый, 7, Житомир, 10008, Украина By using the theory of feneralized inverse operators, we obtain a criterion for existence and a general form for bounded on the whole real axis solutions of linear nonhomogeneous functional-differential systems with delay in the case where the corresponding homogeneous system with delay is exponentially dichoto- mous on the half-axes. З використанням теорiї узагальнено-обернених операторiв отримано критерiй iснування та загальний вигляд обмежених на всiй дiйснiй осi розв’язкiв лiнiйних неоднорiдних функцiонально- диференцiальних систем iз загаюванням у випадку, коли вiдповiдна однорiдна система з загаю- ванням є експоненцiально дихотомiчною на пiвосях. Предварительные сведения. В работах [1, 2] изучены условия фредгольмовости зада- чи об ограниченных на всей действительной оси R решениях линейных неоднородных обыкновенных дифференциальных систем, заключающиеся в том, чтобы соответству- ющая однородная система была экспоненциально дихотомичной на полуосях R− и R+. В [3] с использованием классических результатов Дж. Хейла [4] для функциональных дифференциальных систем c запаздывающим аргументом, а в [5] для функциональных дифференциальных уравнений „смешанного типа” получены условия фредгольмовости рассматриваемых задач. В настоящей работе получены критерий существования и об- щий вид ограниченных на всей действительной оси решений линейных неоднородных функционально-дифференциальных систем с запаздыванием. Использование теории обобщенно-обратных операторов [6, 7] существенно упрощает доказательство ранее известных фактов и позволяет получить новые. Обозначим через BC(R,Rn) банахово пространство действительных непрерывных и ограниченных на R = (−∞,+∞) вектор-функций, а через BC1(R,Rn) банахово про- странство действительных непрерывных и ограниченных на R вместе со своей производ- ной вектор-функций, C := C([−r, 0],Rn) — пространство непрерывных вектор-функций c нормой ‖x‖C = supt∈[−r,0] |x(t)|, r > 0, L(C[−r, 0],Rn) — пространство линейных огра- ниченных операторов. В обозначениях [4] рассмотрим линейное функционально-дифференциальное урав- нение запаздывающего типа. ẋ(t) = L(t)xt + f(t), t ≥ σ, (1) c© А. А. Бойчук, В. Ф. Журавлев, 2015 ISSN 1562-3076. Нелiнiйнi коливання, 2015, т . 18, N◦ 4 431 432 А. А. БОЙЧУК, В. Ф. ЖУРАВЛЕВ с начальным условием xσ(θ) = φ(θ), σ − r ≤ θ ≤ σ, где x(t) ∈ BC1(R,Rn), xt := xt(θ) = = x(t + θ) ∈ C([−r, 0],Rn) по переменной θ ∈ [−r, 0], φ(θ) ∈ C([−r, 0],Rn), оператор L(t) ∈ L(C[−r, 0],Rn) и непрерывный по t ∈ R, L(t) ∈ BC(R,Rn×n), f(t) ∈ BC(R,Rn). Известно [4, c. 177], что общее решение xt системы (1) представимо в виде xt(σ, φ, f) = xt(σ, φ, 0) + t∫ σ Ut(·, s)f(s)ds, t ≥ σ, (2) где матрица U(t, s) определяется как решение однородного уравнения (Fx)(t) := ẋ(t)− L(t)xt = 0 (3) с нулевыми начальными условиями ∂U(t, s) ∂t = L(t)Ut(·, s), U(t, s) = { 0 для s− r ≤ t < s, I для t = s, Ut(·, s)(θ) = U(t+ θ, s), −r ≤ θ ≤ 0, и называется фундаментальной матрицей уравнения (3) [4, c. 175]. Если решение однород- ной системы (3) линейно по φ, xt(σ, φ, 0) = T (t, σ)φ, то Ut(·, s) можно записать в виде Ut(·, s) = T (t, s)X0, где оператор сдвига T (t, s) : C([−r, 0],Rn) → C([−r, 0],Rn) представляет собой полугруп- пу при t ≥ s, X0 := X0(θ) = { 0, если − r ≤ θ < 0, I, если θ = 0, — функция скачка, удовлетворяющая условиям 1 – 8 из [3, c. 235, 236]. При сделанных выше предположениях оператор T (t, s) является линейным и строго непрерывным [4, c. 177] относительно t и s, а интегральное представление (2) принимает вид xt = T (t, σ)φ+ t∫ σ T (t, s)X0f(s)ds, t ≥ σ. (4) Основной результат. Пусть однородная система с запаздыванием (3) экспоненциаль- но дихотомична на R− = (−∞, 0] и R+ = [0,+∞) с проекторами P±(t) → P± при ISSN 1562-3076. Нелiнiйнi коливання, 2015, т . 18, N◦ 4 ДИХОТОМИЯ НА ПОЛУОСЯХ И ОГРАНИЧЕННЫЕ НА ВСЕЙ ОСИ РЕШЕНИЯ ЛИНЕЙНЫХ СИСТЕМ . . . 433 t → ±∞. Рассмотрим задачу о существовании и построении ограниченных на R реше- ний xt ∈ C([−r, 0],Rn) неоднородной системы (1) в случае, когда однородная система (3) имеет нетривиальные ограниченные на R решения. Известно [3], что ограниченное на полуосях решение xt задачи (1) имеет вид xt = T (t, 0)P+(0)φ+ t∫ 0 T (t, s)P+(s)X0f(s)ds− − ∞∫ t T (t, s)[I − P+(s)]X0f(s)ds, t ∈ R+, (5) xt = T (t, 0)[I − P−(0)]φ+ t∫ −∞ T (t, s)[I − P−(s)]X0f(s)ds+ + t∫ 0 T (t, s)P−(s)X0f(s)ds, t ∈ R−, (6) где произвольный элемент φ ∈ C([−r, 0],Rn) подлежит определению из условия, что решения (5), (6) будут ограничены на всей оси R тогда и только тогда, когда элемент φ ∈ C([−r, 0],Rn) удовлетворяет условию xt(0−, φ) = xt(0+, φ). (7) Поэтому, подставив (5), (6) в (7), с учетом того, что T (0, 0) = I, получим, что элемент φ ∈ C([−r, 0],Rn) должен удовлетворять операторному уравнению [P+(0)− (I − P−(0))]φ = 0∫ −∞ T (0, s)P−(s)X0f(s)ds+ ∞∫ 0 T (0, s)[I − P+(s)]X0f(s)ds. (8) Для решения операторного уравнения (8) применим хорошо развитую теорию обоб- щенно-обратных операторов [6, 7]. Обозначим через D := [P+(0)− (I − P−(0))] : C([−r, 0],Rn) → C([−r, 0],Rn) (n×n)-мерную матрицу с постоянными компонентами, а черезD− обобщенно-обратную к ней. Обозначим через PN(D) конечномерный проектор пространства C на нуль-прост- ранствоN(D) оператораD,PN(D) : C → N(D),P2 N(D) = PN(D), а черезPYD конечномер- ный проектор пространства C на подпространство YD = C R(D), PYD : C → YD, P2 YD = PYD . Обобщенно-обратная матрица D− связана [6, 7] с проекторами PN(D) и PYD соотношениями DD− = I − PN(D), D−D = I − PYD , ISSN 1562-3076. Нелiнiйнi коливання, 2015, т . 18, N◦ 4 434 А. А. БОЙЧУК, В. Ф. ЖУРАВЛЕВ где проекторы PN(D) и PYD являются (n × n)-мерными постоянными матрицами. Урав- нение (8) разрешимо тогда и только тогда, когда PYD  0∫ −∞ T (0, s)P−(s)X0f(s)ds+ ∞∫ 0 T (0, s)(I − P+(s))X0f(s)ds  = 0. (9) Поскольку PYDD = PYD [P+(0) − (I − P−(0))] = 0, то PYD [I − P+(0)] = PYDP−(0). Поэтому с учетом соотношения [3, c. 236] T (t, s)P(s)X0 = P(t)T (t, s)X0, которое при t = 0 принимает вид T (0, s)P(s)X0 = P(0)T (0, s)X0, условие (9) эквивалентно условиям PYD ∞∫ −∞ P−(0)T (0, s)X0f(s)ds = 0 или PYD ∞∫ −∞ [I − P+(0)]T (0, s)X0f(s)ds = 0. (10) Пусть rang [PYDP−(0)] = rang [PYD(I − P+(0))] = ν. Обозначим через ν [PYDP−(0)] =ν [PYD(I − P+(0))] (ν × n)-мерную матрицу, строки которой есть ν линейно независимые строки матрицы [PYDP−(0)] = [PYD(I − P+(0))], а через Hν определим (ν × n)-мерную матрицу Hν(s, 0) =ν [PYDP−(0)]T (0, s) =ν [PYD(I − P+(0))]T (0, s). Тогда каждое из условий (10) состоит из ν линейно независимых условий ∞∫ −∞ Hν(s, 0)X0f(s)ds = 0. (11) Замечание 1. Условия разрешимости (11) уравнения (8) эквивалентны условию [3, c. 241] ∞∫ −∞ y(s)f(s)ds = 0 (12) ISSN 1562-3076. Нелiнiйнi коливання, 2015, т . 18, N◦ 4 ДИХОТОМИЯ НА ПОЛУОСЯХ И ОГРАНИЧЕННЫЕ НА ВСЕЙ ОСИ РЕШЕНИЯ ЛИНЕЙНЫХ СИСТЕМ . . . 435 для всех ограниченных на всей действительной оси решений y(s) формально сопряжен- ной системы [4, c. 179] к исходной системе (3). Из (11) и (12) следует, что Hν(s, 0) — разрешающий оператор задачи об ограниченных решениях формально сопряженной сис- темы, состоящий из ν линейно независимых ограниченных решений сопряженной систе- мы. Операторное уравнение (8) будет разрешимым относительно φ тогда и только тогда, когда его правая часть удовлетворяет условию (11), при выполнении которого оператор- ное уравнение (8) имеет решение φ = PN(D)φ̂+D−  0∫ −∞ T (0, s)P−(s)X0f(s)ds+ ∞∫ 0 T (0, s)[I − P+(s)]X0f(s)ds  , (13) где φ̂ — произвольный элемент из пространства C([−r, 0],Rn). Подставив (13) в (5), (6), получим общее ограниченное на всей действительной оси решение xt системы (1): xt = T (t, 0)P+(0)PN(D)φ̂+ t∫ 0 T (t, s)P+(s)X0f(s)ds− ∞∫ t T (t, s)[I − P+(s)]X0f(s)ds+ + T (t, 0)P+(0)D−  0∫ −∞ T (0, s)P−(s)X0f(s)ds+ ∞∫ 0 T (0, s)[I − P+(s)]X0f(s)ds  , t ∈ R+, xt = T (t, 0)[I − P−(0)]PN(D)φ̂+ t∫ 0 T (t, s)[I − P−(s)]X0f(s)ds+ + t∫ −∞ T (t, s)P−(s)X0f(s)ds+ T (t, 0)[I − P−(0)]D−× ×  0∫ −∞ T (0, s)P−(s)X0f(s)ds+ ∞∫ 0 T (0, s)[I − P+(s)]X0f(s)ds  , t ∈ R−. ПосколькуDPN(D) = [P+(0)−(I−P−(0))]PN(D) = 0, тоP+(0)PN(D) = [I−P−(0)]PN(D). Пусть rang [P+(0)PN(D)] = rang [(I−P−(0))PN(D)] = µ.Обозначим через [P+(0)PN(D)]µ (n×µ)-мерную матрицу, столбцы которой являются полной системой линейно независи- мых столбцов матрицы [P+(0)PN(D)], а через [(I − P−(0))PN(D)]µ (n × µ)-мерную матри- цу, столбцы которой — полная система линейно независимых столбцов матрицы [(I − −P−(0))PN(D)]. Тогда Tµ(t, 0) = T (t, 0)[P+(0)PN(D)]µ = T (t, 0)[(I − P−(0))PN(D)]µ (14) ISSN 1562-3076. Нелiнiйнi коливання, 2015, т . 18, N◦ 4 436 А. А. БОЙЧУК, В. Ф. ЖУРАВЛЕВ — разрешающий оператор задачи об ограниченных на всей оси R решениях системы (3). Поскольку оператор T (t, s) образует полугруппу, то T (t, s) = T (t, 0)T (0, s). Согласно изложенному выше, общее ограниченное на всей оси R решение xt неод- нородной системы (1) можно записать в виде xt = Tµ(t, 0)φµ + T (t, 0)  t∫ 0 T (0, s)P+(s)X0f(s)ds− ∞∫ t T (0, s)[I − P+(s)]X0f(s)ds + + P+(0)D−  0∫ −∞ T (0, s)P−(s)X0f(s)ds + + ∞∫ 0 T (0, s)[I − P+(s)]X0f(s)ds  , t ∈ R+, xt = Tµ(t, 0)φµ + T (t, 0)  t∫ 0 T (0, s)[I − P−(s)]X0f(s)ds+ t∫ −∞ T (0, s)P−(s)X0f(s)ds + + [I − P−(0)]D−  0∫ −∞ T (0, s)P−(s)X0f(s)ds + + ∞∫ 0 T (0, s)[I − P+(s)]X0f(s)ds  , t ∈ R−, где φµ — произвольный µ-мерный столбец из пространства C([−r, 0],Rµ). Таким образом, доказано следующее утверждение. Теорема 1. Пусть оператор F экспоненциально дихотомичный на полуосях R− и R+ с проекторами P±(t) → P± при t → ±∞. Тогда однородная система (3) имеет µ-параметрическое (µ = rang [P+(0)PN(D)] = = rang [(I − P−(0))PN(D)]) семейство ограниченных на R решений xt = Tµ(t, 0)φµ, где φµ ∈ C([−r, 0],Rµ) — произвольная µ-мерная вектор-функция, Tµ(t, 0) — разрешаю- щий оператор (14) задачи об ограниченных на R решениях однородной системы (3). При выполнении условия (11), и только при нем, неоднородная задача (1) имеет µ- параметрическое семейство линейно независимых ограниченных на R решений xt = Tµ(t, 0)φµ + (Gf)(t), (15) ISSN 1562-3076. Нелiнiйнi коливання, 2015, т . 18, N◦ 4 ДИХОТОМИЯ НА ПОЛУОСЯХ И ОГРАНИЧЕННЫЕ НА ВСЕЙ ОСИ РЕШЕНИЯ ЛИНЕЙНЫХ СИСТЕМ . . . 437 где (Gf)(t) = T (t, 0)  ∫ t 0 T (0, s)P+(s)X0f(s)ds− ∫ ∞ t T (0, s)[I − P+(s)]X0f(s)ds+ +P+(0)D− [∫ 0 −∞ T (0, s)P−(s)X0f(s)ds+ + ∫ ∞ 0 T (0, s)[I − P+(s)]X0f(s)ds ] , t ∈ R+, ∫ t 0 T (0, s)[I − P−(s)]X0f(s)ds+ ∫ t −∞ T (0, s)P−(s)X0f(s)ds+ +[I − P−(0)]D− [∫ 0 −∞ T (0, s)P−(s)X0f(s)ds+ + ∫ ∞ 0 T (0, s)[I − P+(s)]X0f(s)ds ] , t ∈ R−, (16) — обобщенный оператор Грина задачи об ограниченных на R решениях неоднородной системы (1), удовлетворяющий свойствам (FG[f ])(t) = f(t), t ∈ R, (G[f ])(0 + 0)− (G[f ])(0− 0) = ∞∫ −∞ H(s, 0)X0f(s)ds. Здесь H(s, 0) = [PYDP−(0)]T (0, s) = [PYD(I − P+(0))]T (0, s). В качестве приложения теоремы 1 рассмотрим три случая, когда однородная система (3) является экспоненциально дихотомичной на R+ и R− с проекторами P±(t) → P± при t → ±∞, которые удовлетворяют дополнительным условиям. Следствие 1. Пусть оператор F экспоненциально дихотомичный на полуосях R− и R+ с проекторами P±(t) → P± при t → ±∞, которые удовлетворяют условию P+(0)P−(0) = P−(0)P+(0) = P−(0). (17) Тогда однородная система (3) имеет µ-параметрическое (µ = rangPN(D) = = rang [P+(0)− P−(0)]) семейство линейно независимых ограниченных на R решений xt = Tµ(t, 0)φµ, где φµ ∈ C([−r, 0],Rµ) — произвольная µ-мерная вектор-функция. Неоднородная задача (1) при любых f(t) ∈ BC(R,Rn) имеет µ-параметрическое се- мейство линейно независимых ограниченных на R решений xt = Tµ(t, 0)φµ + (Gf)(t), ISSN 1562-3076. Нелiнiйнi коливання, 2015, т . 18, N◦ 4 438 А. А. БОЙЧУК, В. Ф. ЖУРАВЛЕВ где (Gf)(t) — обобщенный оператор Грина задачи об ограниченных на R решениях не- однородной системы (3), имеющий вид (16), в которомP+(0)D− =P−(0), [I−P−(0)]D− = = −[I − P+(0)], и удовлетворяющий свойствам (FG[f ])(t) = f(t), t ∈ R, (G[f ])(0 + 0)− (G[f ])(0− 0) = 0. Доказательство. Пусть для проекторов P+(0) и P−(0) выполняется условие (17). Этот случай соответствует известному в теории обыкновенных дифферециальных уравнений без запаздывания условию эспоненциальной трихотомии системы (3) [10]. Покажем, что в этом случае 1) D− = D, 2) PN(D) = PYD = P+(0)− P−(0). Известно [7], что оператор D− является обобщенно-обратным к оператору D, если он удовлетворяет условию DD−D = D и, как следствие, еще двум условиям DD− = I − PYD , (18) D−D = I − PN(D). (19) Сначала найдем квадрат оператора D : D2 = [P+(0)− (I − P−(0))]2 = [P+(0)− I + P−(0)]2 = = I − P+(0)− P−(0) + 2P+(0)P−(0) = I − P+(0) + P−(0). (20) Далее вычислим D3 : D3 = [I − P+(0) + P−(0)]D = [I − P+(0) + P−(0)][P+(0)− (I − P−(0))] = = P+(0)− [I − P−(0)] = D. Следовательно, DDD = D, т. е. D− = D. Поскольку D2 = DD− и по условию (17) P+(0)P−(0) = P−(0), из равенств (19) и (20) получим PN(D) = I −D−D = I −D2 = P+(0)− P−(0), а из равенств (18) и (20) — PYD = I −DD− = I −D2 = P+(0)− P−(0). Следовательно, PN(D) = PYD = P+(0)− P−(0). ISSN 1562-3076. Нелiнiйнi коливання, 2015, т . 18, N◦ 4 ДИХОТОМИЯ НА ПОЛУОСЯХ И ОГРАНИЧЕННЫЕ НА ВСЕЙ ОСИ РЕШЕНИЯ ЛИНЕЙНЫХ СИСТЕМ . . . 439 Поскольку PYD = P−(0)−P+(0) и вследствие соотношений (17) P+(0)P−(0) = P+(0), то PYDP−(0) = [P−(0)− P+(0)]P−(0) = P2 −(0)− P+(0)P−(0) = P−(0)− P+(0) = PYD . Поэтому необходимое и достаточное условие разрешимости (11) задачи (1) об ограни- ченных на R решениях будет иметь вид ∞∫ −∞ Hν(s, 0)X0f(s)ds = 0, где Hν(s, 0) = ν [PYD ]T (0, s). Так как PN(D) = P−(0) − P+(0) и вследствие соотношения (17) P+(0)P−(0) = P+(0), то P+(0)PN(D) = P+(0)[P−(0)− P+(0)] = P+(0)P−(0))− P2 +(0) = P+(0)− P+(0) = 0. Поэтому Tµ(t, 0) = T (t, 0)[P+(0)PN(D)]µ = 0 и однородное уравнение (3) будет иметь только тривиальное ограниченное на R решение. Поскольку D− = D, то P+(0)D− = P+(0)[P+(0)− (I − P−(0))] = P2 +(0)− P+(0)[I − P−(0)] = P+(0), а [I − P−(0)]D− = [I − P−(0)][P+(0)− [I − P−(0)]] = −[I − P+(0)]. Следствие 1 доказано. Следствие 2. Пусть оператор F экспоненциально дихотомичный на полуосях R− и R+ с проекторами P±(t) → P± при t → ±∞, которые удовлетворяют условию P+(0)P−(0) = P−(0)P+(0) = P+(0). (21) Тогда однородная система (3) имеет только тривиальное ограниченное на R реше- ние. Неоднородная задача (1) разрешима для тех и только тех f(t) ∈ BC(R,Rn), кото- рые удовлетворяют условию ∞∫ −∞ Hν(s, 0)X0f(s)ds = 0, и при этом имеет единственное ограниченное на R решение xt = (Gf)(t), ISSN 1562-3076. Нелiнiйнi коливання, 2015, т . 18, N◦ 4 440 А. А. БОЙЧУК, В. Ф. ЖУРАВЛЕВ где (Gf)(t) — обобщенный оператор Грина задачи об ограниченных на R решениях неод- нородной системы (3), имеющий вид (16), в котором P+(0)D− = P+(0), [I−P−(0)]D− = = −[I − P−(0)], и удовлетворяющий свойствам (FG(f))(t) = f(t), t ∈ R, (G(f))(0 + 0)− (G(f))(0− 0) = ∞∫ −∞ H(s, 0)X0f(s)ds. Доказательство. Пусть для проекторов P+(0) и P−(0) выполняется условие (21), тогда: 1) D− = D, 2) PN(D) = PYD = P−(0)− P+(0). Доказательство соотношений 1 и 2 проводится аналогично проведенному при доказа- тельстве следствия 1. Поскольку PYD = P−(0)−P+(0) и вследствие соотношения (21) P+(0)P−(0) = P+(0), то PYDP−(0) = [P−(0)− P+(0)]P−(0) = P2 −(0)− P+(0)P−(0) = P−(0)− P+(0) = PYD . Поэтому необходимое и достаточное условие разрешимости (11) задачи (1) об ограни- ченных на R решениях будет иметь вид ∞∫ −∞ Hν(s, 0)X0f(s)ds = 0, где Hν(s, 0) = ν [PYD ]T (0, s). А так как PN(D) = P−(0)−P+(0) и вследствие соотношения (21) P+(0)P−(0) = P+(0), то P+(0)PN(D) = P+(0)[P−(0)− P+(0)] = P+(0)P−(0))− P2 +(0) = P+(0)− P+(0) = 0. Поэтому Tµ(t, 0) = T (t, 0)[P+(0)PN(D)]µ = 0 и однородное уравнение (3) будет иметь только тривиальное ограниченное на R решение. Поскольку D− = D, то P+(0)D− = P+(0)[P+(0)− (I − P−(0))] = P2 +(0)− P+(0)[I − P−(0)] = P+(0), а [I − P−(0)]D− = [I − P−(0)][P+(0)− [I − P−(0)]] = −[I − P−(0)]. Следствие 2 доказано. Следствие 3. Пусть оператор F экспоненциально дихотомичный на полуосях R− и R+ с проекторами P±(t) → P± при t → ±∞, которые удовлетворяют условию P+(0)P−(0) = P−(0)P+(0) = P+(0) = P−(0). (22) ISSN 1562-3076. Нелiнiйнi коливання, 2015, т . 18, N◦ 4 ДИХОТОМИЯ НА ПОЛУОСЯХ И ОГРАНИЧЕННЫЕ НА ВСЕЙ ОСИ РЕШЕНИЯ ЛИНЕЙНЫХ СИСТЕМ . . . 441 Тогда однородная система (3) экспоненциально дихотомична на R и имеет только тривиальное ограниченное на R решение. Неоднородная задача (1) для любых f(t) ∈ BC(R,Rn) имеет единственное ограни- ченное на R решение xt = (Gf)(t), где (Gf)(t) — оператор Грина задачи об ограниченных на R решениях неоднородной системы (3), имеющий вид (16), в котором P+(0)D− = P+(0), [I − P−(0)]D− = −[I − −P+(0)]. Доказательство. Пусть однородная система (3) является экспоненциально дихотомич- ной на R+ и R− с проекторами P±(t) → P± при t → ±∞ такими, что выполняется усло- вие (22). Поскольку выполнено условие (22), то матрица D имеет вид D = P+(0)− [I − P−(0)] = P+(0)− I + P−(0) = P+(0)− I + P+(0) = 2P+(0)− I = J, где J — инволюция, J2 = I. Следовательно, D2 = I, откуда следует, что D−1 = D. Поскольку вследствие соотношения (22)P−(0) = P+(0), тоPYD = PN(D) = 0.Следова- тельно, P+(0)PN(D) = 0, PYDP−(0) = 0. Таким образом, необходимое и достаточное условие разрешимости (11) задачи (1) об ограниченных на R решениях выполняется для всех f(t), однородное уравнение (3) име- ет только тривиальное ограниченное на R решение, а неоднородная система (1) имеет единственное ограниченное на R решение для любых f(t) ∈ BC(R,Rn). Замечание 2. Доказанные утверждения с соответствующими дополнениями и изме- нениями будут справедливы и для случая, когда оператор L(t) и функция f(t) кусочно- непрерывны с конечным числом разрывов первого рода по t и ограничены на R. Проиллюстрируем изложенное выше на следующих примерах. 1. Рассмотрим линейную дифференциальную систему с постоянным запаздыванием ẋ(t) = Lx(t− 1) + f(t), t ≥ 0, x0(θ) = φ(θ), −1 ≤ θ ≤ 0, (23) где L — матрица, имеющая вид L = { L+ = diag {−e−1, e,−e−1} при t ≥ 0, L− = diag {−e−1,−e−1, e} при t < 0, а f(t) = { f+(t) = col {f (1)+ (t), f (2) + (t), f (3) + (t)} при t ≥ 0, f−(t) = col {f (1)− (t), f (2) − (t), f (3) − (t)} при t < 0, — функция с непрерывными ограниченными на соответствующих промежутках компо- нентами, имеющая разрыв первого рода при t = 0. Фундаментальная матрица U(t) на промежутках будет иметь вид U(t) = { U+(t) = diag {e−t, et, e−t)} при t ≥ 0, U−(t) = diag {e−t, e−t, et} при t < 0. ISSN 1562-3076. Нелiнiйнi коливання, 2015, т . 18, N◦ 4 442 А. А. БОЙЧУК, В. Ф. ЖУРАВЛЕВ Тогда в обозначениях [4] решение xt запишется в виде xt = T (t, 0)φ+ t∫ 0 T (t, s)X0f(s)ds, (24) где оператор T (t, s) имеет представление T (t, s) = { T+(t, s) = diag {e−(t−1−s), et−1−s, e−(t−1−s)} при t ≥ 0, T−(t, s) = diag {e−(t−1−s), e−(t−1−s), et−1−s} при t < 0, а X0 = diag {X(1) 0 , X (2) 0 , X (3) 0 }, i = 1, 2, 3; X (i) 0 = X (i) 0 (θ) = { 0, если − 1 ≤ θ < 0, 1, если θ = 0. Соответствующая (23) однородная система экспоненциально дихотомична на полу- осях R+, R− с проекторами P+(0) = diag {1, 0, 1} и P−(0) = diag {1, 1, 0} соответственно. Тогда D = P+(0)− [I − P−(0)] = diag {1, 0, 0}, D− = diag {1, 0, 0}. Проекторы PN(D) : R3 → N(D) и PYD : R3 → YD равны между собой: PN(D) = PYD = diag{0, 1, 1}. Матрицы [PYDP−(0)] = [PYD(I − P+(0))] = diag {0, 1, 0} имеют ранг, равный единице. Обозначим через 1[PYDP−(0)] =1 [PYD(I −P+(0))] = [ 0 1 0 ] (1× 3)-мерную матрицу. Тогда условие существования ограниченного на всей оси решения неоднородной системы (23) будет иметь вид [ 0 1 0 ]  0∫ −∞ T−(0, s)X0f(s)ds+ ∞∫ 0 T+(0, s)X0f(s)ds  = 0. (25) Поскольку X0 = { 0, если − 1 ≤ θ < 0, I, если θ = 0, то T (t, s)X0 = 0 для t − 1 ≤ s < t. Таким образом, при t = 0 имеем T (0, s)X0 = 0 для −1 ≤ s < 0. С учетом этого из (25) после преобразований получаем −1∫ −∞ e−(1+s)f (2) − (s)ds+ ∞∫ 0 e1+sf (2) + (s)ds = 0. (26) ISSN 1562-3076. Нелiнiйнi коливання, 2015, т . 18, N◦ 4 ДИХОТОМИЯ НА ПОЛУОСЯХ И ОГРАНИЧЕННЫЕ НА ВСЕЙ ОСИ РЕШЕНИЯ ЛИНЕЙНЫХ СИСТЕМ . . . 443 При выполнении условия (26) неоднородная система (23) имеет однопараметрическое семейство ограниченных решений вида (15). Действительно, матрицы [P+(0)PN(D)] = = [(I − P−(0))PN(D)] = diag {0, 0, 1} имеют ранг, равный единице, т. е. µ = 1. Поэтому [P+(0)PN(D)]1 = [(I − P−(0))PN(D)]1 = diag {0, 0, 1}— (3× 1)-мерная матрица. Тогда T1(t, 0) = { col {0, 0, e−(t−1−s)} при t ≥ 0, col {0, 0, et−1−s} при t < 0. (27) 2. При тех же предположениях рассмотрим линейную дифференциальную систему с постоянным запаздыванием (23), где L = { L+ = diag {−e−1, e,−e−1} при t ≥ 0, L− = diag {−e−1, e, e} при t < 0. Фундаментальная матрица U(t) на промежутках будет иметь вид U(t) = { U+(t) = diag {e−t, et, e−t)} при t ≥ 0, U−(t) = diag {e−t, et, et} при t < 0. Тогда оператор T (t, s) имеет представление T (t, s) = { T+(t, s) = diag {e−(t−1−s), et−1−s, e−(t−1−s)} при t ≥ 0, T−(t, s) = diag {e−(t−1−s), et−1−s, et−1−s} при t < 0. Соответствующая (23) однородная система экспоненциально дихотомична на полу- осях R+, R− с проекторами P+(0) = diag {1, 0, 1} и P−(0) = diag {1, 0, 0} соответственно. Тогда D = P+(0)− [I − P−(0)] = diag {1,−1, 0}, D− = diag {1,−1, 0}. Проекторы PN(D) : R3 → N(D) и PYD : R3 → YD равны между собой: PN(D) = PYD = diag {0, 0, 1}. Для проекторов P+(0) и P−(0) выполняется условие (17). Матрицы [PYDP−(0)] = [PYD(I − P+(0))] = diag {0, 0, 0}, поэтому условие существо- вания ограниченного на R решения неоднородной системы (23) выполняется для любых f(t) ∈ BC(R,Rn). В этом случае система (23) имеет однопараметрическое семейство ограниченных решений (15), где T1(t, 0) имеет вид (27). ISSN 1562-3076. Нелiнiйнi коливання, 2015, т . 18, N◦ 4 444 А. А. БОЙЧУК, В. Ф. ЖУРАВЛЕВ 3. Рассмотрим линейную дифференциальную систему с постоянным запаздыванием (23), где L = { L+ = diag {−e−1, e, e} при t ≥ 0, L− = diag {−e−1, e,−e−1} при t < 0. Фундаментальная матрица U(t) на промежутках будет иметь вид U(t) = { U+(t) = diag {e−t, et, et} при t ≥ 0, U−(t) = diag {e−t, et, e−t} при t < 0. Тогда оператор T (t, s) имеет представление T (t, s) = { T+(t, s) = diag {e−(t−1−s), et−1−s, et−1−s} при t ≥ 0, T−(t, s) = diag {e−(t−1−s), et−1−s, e−(t−1−s)} при t < 0. Соответствующая (23) однородная система экспоненциально дихотомична на полу- осях R+, R− с проекторами P+(0) = diag {1, 0, 0} и P−(0) = diag {1, 0, 1} соответственно. Тогда D = P+(0)− [I − P−(0)] = diag {1,−1, 0}, D− = diag {1,−1, 0}. Для проекторов P+(0) и P−(0) выполняется условие (21). Проекторы PN(D) : R3 → N(D) и PYD : R3 → YD равны между собой: PN(D) = PYD = diag {0, 0, 1}. Матрицы [PYDP−(0)] = [PYD(I − P+(0))] = diag {0, 0, 1} имеют ранг, равный единице. Обозначим через 1[PYDP−(0)] =1 [PYD(I −P+(0))] = [ 0 0 1 ] (1× 3)-мерную матрицу. Тогда условие существования ограниченного на всей оси решения неоднородной системы (23) будет иметь вид [ 0 0 1 ]  0∫ −∞ T−(0, s)X0f(s)ds+ ∞∫ 0 T+(0, s)X0f(s)ds  = 0 или после преобразований −1∫ −∞ e−(1+s)f (3) − (s) ds+ ∞∫ 0 e1+sf (3) + (s) ds = 0. Поскольку в этом примере матрицы [P+(0)PN(D)] = [(I − P−(0))PN(D)] нулевые, то Tµ(t, s) ≡ 0 и система (23) имеет единственное ограниченное на всей оси решение. ISSN 1562-3076. Нелiнiйнi коливання, 2015, т . 18, N◦ 4 ДИХОТОМИЯ НА ПОЛУОСЯХ И ОГРАНИЧЕННЫЕ НА ВСЕЙ ОСИ РЕШЕНИЯ ЛИНЕЙНЫХ СИСТЕМ . . . 445 1. Saker R. J. The splitting index for linear differential systems // J. Different. Equat. — 1979. — 33. — P. 368 – 405. 2. Palmer K. J. Exponential dichotomies and transversal homoclinic points // J. Different. Equat. — 1984. — 55. — P. 225 – 256. 3. Xiao-Biao Lin. Exponential dichotomies and homoclinic orbits in functional differential equations // J. Dif- ferent. Equat. — 1986. — 63. — P. 227 – 254. 4. Hale J. K. Theory of functional differential equations. — Berlin etc.: Springer-Verlag, 1977. 5. Mallet-Paret J. The Fredholm alternative for functional-differential equations of mixed type // J. Dynam. Different. Equat. — 1999. — 11, № 1. — P. 1 – 47. 6. Ben-Israel A., Greville T. N. E. Generalized inverse. — Second ed. — New York: Springer-Verlag, 2003. 7. Boichuk A. A., Samoilenko A. M. Generalized inverse operators and Fredholm boundary-value problems. — Utrecht; Boston: Koninklijke Brill NV, 2004. — xiv+317 p. 8. Boichuk A. A. Solutions of weakly nonlinear differential equations bounded on the whole line // Nonlinear Oscillations. — 1999. — 2, № 1. — P. 3 – 10. 9. Самойленко А. М., Бойчук А. А., Бойчук Ан. А. Ограниченные на всей оси решения линейных слабо- возмущенных систем // Укр. мат. журн. — 2002. — 54, № 11. — P. 1517 – 1530. 10. Elaidi S., Hajek O. Exponential trichotomy of differential systems // J. Math. Anal. and Appl. — 1988. — 123, № 2. — P. 362 – 374. Получено 09.06.12 ISSN 1562-3076. Нелiнiйнi коливання, 2015, т . 18, N◦ 4