Содержание к диссертации
Введение
Глава 1. Задача Коти для линейного однородного функционально-дифференциального уравнения точечного типа 17
1.1 Постановка задачи 17
1.2 Основные пространства и операторы 20
1.3 Эквивалентная бесконечномерная краевая задача 23
1.4 Спектральные аспекты 25
1.5 Теорема существования решения: скалярный случай 29
1.6 Теорема единственности решения: скалярный случай 33
1.7 О разрешимости в случае многомерного фазового пространства 38
Глава 2. Краевая и начально-краевая задачи для неоднородного функционально-дифференциального уравнения точечного типа 42
2.1 Предварительные сведения 42
2.2 Теорема существования решения для краевой задачи Л 46
2.3 Теорема существования решения для основной начально-краевой задачи В 62
Глава 3. Об одной математической модели 74
3.1 Постановка задачи 74
3.2 Существование решения изучаемой начально-краевой задачи 76
3.3 Существование решения однородной задачи 82
Заключение 90
Список литературы 92
- Эквивалентная бесконечномерная краевая задача
- О разрешимости в случае многомерного фазового пространства
- Теорема существования решения для основной начально-краевой задачи В
- Существование решения изучаемой начально-краевой задачи
Введение к работе
Актуальность темы исследования и степень научной разработанности проблемы. Среди функционально-дифференциальных уравнений (ФДУ) выделяют уравнения точечного типа, которые иногда называют уравнениями с отклонениями аргумента, причём наиболее исследованными из их числа являются уравнения с запаздыванием. Первое упоминание о таких уравнениях относится к XVIII веку, и в дальнейшем они привлекали внимание многих учёных. При решении некоторых задач механики возникла необходимость учитывать тот факт, что на состояние физической системы в настоящем оказывает влияние её состояние в прошлом. В связи с этим следует отметить выдвинутую Больцманом теорию упругого последействия, которая оказала влияние на результаты Вольтерра при создании им теории биологических флуктуации [23]. Идеи наличия последействия получили развитие при исследовании явления вязкоупругости и при разработке теории интегральных и интегро-дифференциальных уравнений. В начале XX века в ходе решения задач автоматического управления системами, имеющими механизм обратной связи, пришлось учитывать запаздывание управления как неотъемлемое свойство таких систем.
К настоящему времени уравнения с отклонением аргумента и другие представители класса ФДУ имеют приложения во многих областях науки и техники в качестве математических моделей реальных процессов. Тесная связь уравнений с отклонением аргумента и уравнений в частных производных нашла своё отражение в механике сплошных сред. В частности, в теории пластической деформации изучается бесконечномерная динамическая система с потенциалом Френкеля - Конторовой [50], которая описывается уравнением
miji = ф(уі) + Уг+і - 2уі + 2/і-і, і Є Z,
где потенциал ф(-) задаётся гладкой периодической функцией. Такие системы моделируют поведение счётного числа шаров массы т, помещённых в целочисленных точках числовой прямой, где каждая пара соседних шаров соединена между собой упругой пружиной. Центральной задачей в этом случае является изучение решений типа бегущей волны, как одного из наблюдаемых классов волн.
Вообще говоря, задачи распространения сигналов с конечной скоростью - это важный класс задач, для которых уравнения с отклонением аргумента можно использовать в качестве математических моделей. К этому классу относится задача распространения электромагнитной волны в направляющей структуре (передающей линии без потерь), где уравнения с запаздыванием выступают в качестве аналога уравнений в частных производных (телеграфных уравнений [59, 64]). Подобным образом можно описывать работу шунтированных передающих линий и многих других систем, в которых протекают волновые процессы.
В настоящей работе значительное внимание будет уделено исследованию ФДУ точечного типа
N г=1
которое возникает в математической модели циркуляции жидкости с маркерами в резервуаре, питающем большое число тонких трубок [57]. Эта модель находит применение при решении задачи распределения меченого альбумина в человеческом теле в процессе кровообращения.
В теории ФДУ точечного типа огромное значение имеют вопросы существования и единственности решений краевых и начально-краевых задач для таких уравнений. Потребность изучения указанных свойств решений мотивируется многочисленными приложениями (например, задачами оптимального управления системами с дифференциальными связями в виде ФДУ [3, 6], задачами экономической теории, социологии, биологии).
Системное исследование уравнений с отклонением аргумента в нашей стране в конце 40-х годов XX века начал А.Д. Мышкис, в США - Р. Бел-лман. На данный момент существует огромное число работ, посвященных этой проблематике. Достаточно сказать, что библиографический список в монографии [56] (доведённый до 1971 года и, по заявлению авторов, не претендующий на полноту) содержит сведения о работах почти двухсот исследователей.
Теорию ФДУ точечного типа можно условно разделить на две части: наивную и современную. Наивная теория включает в себя метод интегрирования по шагам, метод интегральных преобразований (в частности - преобразования Лапласа) и т.д. Развёрнутое изложение данной теории содержит монография [56]. Определяющим при данном подходе является то обстоятельство, что за фазовое пространство традиционно принимается п-мерное пространство. Для таких уравнений интегральные линии в расширенном фазовом пространстве Ж х Ш.п могут пересекаться и, соответственно, преобразования расширенного фазового пространства 1хЕ"в силу уравнения не образуют процесса, а в автономном случае не являются динамической системой [34, 38, 39, 40, 42, 56].
В основе одного из важнейших современных подходов, предложенного Н.Н. Красовским, лежит трактовка решения ФДУ как интегральной линии в расширенном бесконечномерном фазовом пространстве 1хС [34]. Движение в фазовом пространстве С непрерывных функций в каждый момент времени t задается куском траектории xt = {x(t-\-s) : —г < s < 0}, где х(-) - интегральная линия в стандартном конечномерном расширенном фазовом пространстве К х М.п. На этом пути получены теоремы существования и единственности решения для начальной задачи. Изучались свойства как классических [22, 25, 26, 27, 28, 37, 38, 40, 53], так и обобщенных решений [27, 44, 54, 55]. Исследованы стационарные, периодические и ограниченные решения, описана структура пространства решений линейных урав-
нений, создана теория устойчивости, изучена асимптотика решений и т.д. [22, 29, 39, 53]. В основе всех отмеченных исследований лежит изучение в пространстве С свойств оператора сдвига вдоль решений таких уравнений [33, 34, 41, 46, 47, 48]. Этапной работой, в которой теория ФДУ точечного типа систематически изложена с такой позиции, является монография [53]. Все результаты, полученные на этом пути, касаются кусков xt Є С интегральной линии х(-). Вместе с тем, при таком подходе нет описания области достижимости в Шп при управлении краевыми условиями (начальными функциями), степени вырождения пространства решений, степени гладкости решений и т.д. Более того, указанный подход не применим к ФДУ точечного типа общего вида, которые, в частности, возникают как уравнения Эйлера - Лагранжа для задачи классического вариационного исчисления.
Следует отметить идею трактовки ФДУ как операторного уравнения относительно неизвестной абсолютно непрерывной функции. Эта идея развита в теории абстрактных ФДУ, сводящихся к операторным уравнениям в специально выбранном банаховом пространстве, причём структура этого пространства является определяющим фактором при исследовании той или иной конкретной задачи [1].
Ряд исследований различных классов ФДУ и дифференциально-разностных уравнений выявил, что свойства решений таких классов уравнений оказываются тесно связанными как со структурой группы, порождённой функциями отклонений аргумента, так и с топологической структурой орбиты такой группы [6, 7, 8, 9, 33, 34, 32, 41, 44, 46, 47, 48]. Как оказалось, использование отмеченных связей является ключом к исследованию ФДУ точечного типа и дифференциально-разностных уравнений.
Подход, основанный на групповых особенностях функционально-дифференциальных уравнений точечного типа, был разработан и систематически развит в работах Л.А. Бекларяна. Представленная работа
также основана на использовании упомянутых групповых особенностей ФДУ точечного типа.
Суть группового подхода в следующем. Если qj, j = 1,..., s - гомеоморфизмы, задающие функции отклонения аргумента, то через Q =< qj, j = 1,..., s > будем обозначать группу, порождённую этими гомеоморфизмами (операцией в группе служит суперпозиция двух гомеоморфизмов). Если х(-) - интегральная линия, то бесконечномерная вектор-функция >c{t) = {xq(t)}qeQ, xq(t) — x(q(t)) в некотором подходящем пространстве бесконечных последовательностей удовлетворяет обыкновенному дифференциальному уравнению (ОДУ), каноническим образом порождённому исходным ФДУ. Для развития такого подхода Л.А. Бекларя-ном была исследована группа Q =< qj, j = 1,..., s >, её метрические инварианты, а также топологические и комбинаторные характеристики [10, 11, 12, 13, 14, 15, 16, 17, 18, 19, 20, 58]. В частности, это позволило получить классификацию ФДУ точечного типа по степени сложности функций отклонения аргумента [20, 58]. При таком подходе к изучению ФДУ точечного типа основное внимание уделяется исследованию свойств вектор-функций >c{t) = {xq(t)}qEQ, xq(t) = x(q(t)), построенных по интегральным линиям х(-), относительно группы сдвигов в пространстве бесконечных последовательностей. Полученные свойства оказались весьма информативными для таких уравнений, и в рамках группового подхода удалось ответить на многие важные вопросы. Описаны препятствия, в силу которых решения ФДУ точечного типа не наследуют всех замечательных свойств решений ОДУ. Важнейшим из таких препятствий является отсутствие условий типа неравенства Гронуолла [52, с.37]. Для уравнений, определённых на конечном интервале, полупрямой или прямой, были получены неулучшаемые (что очень важно) условия, определяющие подклассы класса ФДУ точечного типа, для которых сохраняются те или иные замечательные свойства решений ОДУ, а именно: существование и единственность
решения краевой задачи в выделенном классе функций, непрерывная зависимость решения от краевых и начальных условий, свойство "грубости" ФДУ точечного типа в краевой задаче, точечная полнота решений ФДУ точечного типа при заданных краевых условиях, n-параметричность пространства решений ФДУ точечного типа при заданных краевых условиях, условия гладкости решения ФДУ точечного типа и т.д. Теория ФДУ точечного типа, детально разработанная в рамках группового подхода, изложена в монографии [5]. Крайне важно, что такой метод исследования основан на специфике структуры ФДУ точечного типа.
Условия, определяющие способы регулярного расширения класса ОДУ в классе ФДУ точечного типа, формулируются в терминах правой части ФДУ и параметра ц (см. [5, глава 1, 3]), характеризующего порядок роста решения. В рамках применяемого формализма решения ФДУ точечного типа ищутся в банаховом пространстве функций ж(-) с весами
CnuC(k)(R) = (ж(-) : х(-) Є С{к) (К, К"), max sup \\xir)(t)^\\Rn < +ool ,
I 0
где /і Є (0, +оо), с нормой
\\х(-)\№ = maxsupll^M^'llR».
0
Вместе с тем очень важны исследования ФДУ точечного типа и в случае нарушения отмеченных неулучшаемых условий, причём одним из центральных вопросов является вопрос существования решения. Многие задачи являются линейными или допускают линеаризацию базовых уравнений, поэтому целесообразно применить групповой подход к исследованию вопросов разрешимости начально-краевых задач для линейных ФДУ точечного типа, воспользовавшись при этом линейностью соответствующих операторов. Л.А. Бекларяну в рамках данного подхода удалось получить ряд результатов линейной теории (теорема о гладкости решения, однозначная разрешимость задачи с однородными краевыми условиями, типичность
невырожденных линейных ФДУ точечного типа и др.), и настоящая работа систематически расширяет и дополняет эти результаты.
Объект и предмет исследования. В качестве объекта исследования рассматривается основная начально-краевая задача для линейного ФДУ точечного типа
x(t) = ^Ajx{t + rij) + ip(t), t Є BR: (0.1)
3=1 с краевым и начальным условиями
x(t) = ip(t), tR\BR, (0.2)
х()=х, ЇЄЖ, жбКп, ' (0.3)
где Aj - матрицы п х п, щ Є Z, j = l,s; ?/>() Є J.C^(M), <>() Є ПїЇЇ?С^№> М* Є (0,+сю); Вд - либо интервал [mo, mi], m0, mi Є Z, либо полупрямая [mo,+oo), либо прямая К.. Отклонения аргумента 7ij имеют произвольные знаки. Не нарушая общности, можно считать, что
77-1 < < П5.
Упрощающее условие о непрерывности функций ф(-) И <>() носит чисто технический характер, хотя мы могли бы рассматривать функции ф(-) и t с помощью замены времени [5, глава 3, лемма 2.1] их можно сделать целочисленными. Правда, в этом случае само дифференциальное уравнение перестанет быть уравнением с постоянными коэффициентами.
Определение 0.1. Абсолютно непрерывная функция х{-), определённая на Ж, называется решением уравнения (0.1), если при почти всех t G I функция х(-) удовлетворяет этому уравнению. Если при этом х(-) Є C^(R,R7Z), к = 0,1,2,..., то такое решение называется решением класса
Предметом исследования являются свойства решений задачи (0.1)-(0.3) в сравнении со свойствами решений задач для ОДУ. Существует огромное количество работ, посвященных подобным задачам, но в большинстве этих работ изучаются уравнения с отклонениями аргумента одного знака (как правило, rij < 0, j — 1, s - уравнения с запаздываниями) и с начально-краевым условием, в котором t = то. Для такой начально-краевой задачи решение всегда существует, оно является единственным, и основное русло исследований - это изучение интегральных представлений решения [60].
Если отклонения аргумента имеют произвольные знаки, либо t ф то, то краевая задача (0.1)-(0.2) и основная начально-краевая задача (0.1)-(0.3) являются задачами с нелокальными краевыми и начальными условиями, вследствие чего они могут не иметь решения. Поэтому для таких задач важно сформулировать теоремы существования решения.
Цель и задачи исследования. Основная цель исследования заключается в систематическом развитии линейной теории ФДУ точечного типа. Почти всё внимание в ходе исследования будет уделено важнейшей проблеме этой теории: качественным свойствам решений соответствующих начальных и краевых задач (существованию и единственности решения среди функций с заданной гладкостью и порядком роста). Следует получить условия разрешимости в случае отсутствия условий типа неравенства Гронуолла.
Для достижения данной цели необходимо решить следующие основные задачи:
1. Изучение спектральных свойств оператора в пространстве бесконечных последовательностей, каноническим образом порождённого правой частью линейного ФДУ точечного типа. Получение на основе этих свойств достаточных условий существования и единственности (в заданном классе функций) задачи Коши для линейного однородного ФДУ точечного типа, заданного на прямой.
Формализация понятия сопряжённого уравнения. Изучение зависимости структуры пространства решений сопряжённого уравнения от постановки исходной задачи. Формулировка аналогов теоремы Ф. Нётера о существовании решения для краевой задачи (0.1)-(0.2) и основной начально-краевой задачи (0.1)-(0.3). Уточнение полученных результатов для различных вариантов задания интервала Br.
Исследование одной начально-краевой задачи для линейного ФДУ точечного типа, возникшей в экономическом приложении. Получение условий существования решения этой задачи путём применения аналога теоремы Нётера, с разработкой алгоритма получения нетривиальных решений сопряжённого уравнения. Исследование единственности решения начально-краевой задачи для линейного ФДУ точечного типа, с разработкой алгоритма получения ветвящихся решений данной задачи. Проведение численных экспериментов.
Методы исследования. Исследование базируется на формализме, основанном на групповых свойствах ФДУ точечного типа [5]. Широко используются методы теории линейных операторов и функционального анализа в целом [2, 24, 30, 45, 49]. Кроме того, в возникающих задачах линейной алгебры применяются численные методы исследования [4, 35, 43].
Содержание работы. Глава 1 посвящена исследованию существования решения начально-краевой задачи для линейного однородного ФДУ точечного типа, заданного на прямой. Очевидно, что такая задача переходит в задачу Коши.
Согласно формализму, правая часть уравнения (0.1) порождает оператор в пространстве бесконечных последовательностей, относящийся к классу так называемых тёплицевых операторов [51, с. 139]. В случае скалярного ФДУ, благодаря линейности этого оператора, с помощью теоремы об отображении спектров удаётся описать его спектральные свойства. Для скалярных ФДУ в данной работе получено более мягкое, чем известная до сих
пор теорема 1.1, достаточное условие существования решения задачи Коши, которое связывает порядок роста этого решения с параметрами правой части уравнения. Также в терминах правой части сформулировано достаточное условие единственности решения задачи Коши в заданном классе функций.
Вообще говоря, задачи для однородного уравнения интересны в связи с исходной задачей (0.1)-(0.3). Рассмотрим, к примеру, начально-краевую задачу для однородного уравнения с однородными краевым и начальным условиями
x(t) = ^r,Ajx(t + rij), t Є BR, (0.4)
x(t) = 0, teR\BR, (0.5)
x(t) = 0, teR. (0.6)
В отличие от задачи для ОДУ, данная задача может иметь нетривиальное решение xo(t) Ф 0. Если ж#() - решение задачи (0.1)-(0.3), то для любого xo{t) функция x(t) = xj[(t)-\-xo(t) также является решением задачи (0.1)-(0.3) в силу её линейности.
Если уравнение (0.1) является многомерным, а также в том случае, когда BR является конечным интервалом или полупрямой, изучение спектральных свойств тёплицева оператора становится плохо обозримой задачей. Поэтому следует применить иной подход к доказательству существования решения линейной задачи, для чего в следующей главе установлены аналоги теоремы Ф. Нётера.
В главе 2 получены необходимые условия существования решений краевой задачи (0.1)-(0.2) и основной начально-краевой задачи (0.1)-(0.3) для линейного ФДУ точечного типа. Для линейного неоднородного уравнения (2.5) в пространстве бесконечных последовательностей эти условия являются аналогами теоремы Нётера и формулируются в терминах решений сопряжённого уравнения. Такой подход привлекает основное внимание к
сопряжённому уравнению и пространству его решений, что исследуется в рамках используемого формализма.
Показано, что при изучении краевой задачи (0.1)-(0.2) достаточно рассмотреть решения сопряжённого уравнения из класса абсолютно непрерывных функций. Однако при изучении основной начально-краевой задачи (0.1)-(0.3) приходится изучать все решения сопряжённого уравнения из класса кусочно абсолютно непрерывных функций (так называемые импульсные решения) с единственным разрывом первого рода в начальной точке Ї.
Эквивалентная бесконечномерная краевая задача
Показано, что при изучении краевой задачи (0.1)-(0.2) достаточно рассмотреть решения сопряжённого уравнения из класса абсолютно непрерывных функций. Однако при изучении основной начально-краевой задачи (0.1)-(0.3) приходится изучать все решения сопряжённого уравнения из класса кусочно абсолютно непрерывных функций (так называемые импульсные решения) с единственным разрывом первого рода в начальной точке Ї.
Глава 3 посвящена изучению вопроса разрешимости одной начально-краевой задачи для линейного ФДУ точечного типа. Эта задача имеет вид (0.1)-(0.3) и возникает в экономической теории как часть математической модели, описывающей динамику валютного курса. Изучение существования решения основано на применении аналога теоремы Нётера, полученного в главе 2. Для этого построен алгоритм поиска нетривиальных решений сопряжённого уравнения. Показано, что для такого уравнения наличие нетривиальных решений является нетипичным. Приводится пример поверхности, на которой происходит одномерное вырождение пространства решений сопряжённого уравнения. Для содержательной исходной задачи вопрос существования решения крайне важен, т.к. отсутствие решений может означать, в частности, несостоятельность математической модели.
Кроме того, построен алгоритм поиска ветвящихся решений самой модельной начально-краевой задачи для ФДУ точечного типа. Этот вопрос также имеет большое значение в приложении, поскольку ветвление решений можно трактовать как признак неопределённости на рынке капитала.
Научная новизна результатов. Установлены более мягкие, чем было известно ранее, достаточные условия существования (теорема 1.4) и единственности (теорема 1.5) решения (в заданном классе функций) соответствующей задачи Коши. Отмеченные условия формулируются в виде неравенств, которые связывают параметры правой части уравнения с порядком роста решения. Аналоги теоремы Нётера о существовании решения для данного класса краевых, а также начально-краевых задач получены впервые. Также впервые для таких постановок краевых и начально-краевых задач описана структура решений сопряжённого уравнения. Установлено, что при изучении краевой задачи (0.1)-(0.2) достаточно рассмотреть решения сопряжённого уравнения из класса абсолютно непрерывных функций (теорема 2.2), а при изучении основной начально-краевой задачи (0.1)-(0.3) необходимо рассматривать все решения сопряжённого уравнения из класса кусочно абсолютно непрерывных функций с единственным разрывом первого рода в начальной точке t (теорема 2.5). Алгоритм поиска разрывного и быстро убывающего решения сопряжённого уравнения (для задачи, описывающей динамику валютного курса) является новым, т.к. данный алгоритм основан на свойствах впервые изучаемого класса решений. Установлено, что наличие нетривиальных решений нетипично для сопряжённого уравнения.
Результаты глав 2 и 3 получены автором лично, а результаты главы 1 получены в соавторстве с Л.А. Бекларяном. Полученные результаты вошли в отчёты по грантам Российского фонда фундаментальных исследований (гранты 03-01-00174-а, 06-01-00430 и 06-01-00430-а), а также в отчёт по гранту Программы поддержки ведущих научных школ (грант НШ-3038.2008.1).
Теоретическая и практическая значимость результатов. Теоретическая значимость работы состоит в том, что полученные результаты систематически дополняют линейную теорию ФДУ точечного типа. Эти результаты могут найти применение при исследовании свойств устойчивости, бифуркации решений и в других разделах теории ФДУ. Наличие условий существования и единственности решения с заданным порядком роста имеет особое значение для обеспечения процесса сходимости при численном решении начально-краевых задач.
Результаты работы представляют ценность для различных прикладных областей, таких как популяционная динамика, теория длинных линий, а также для математического моделирования производственных процессов. Положения, выдвигаемые на защиту: 1. Структура спектра оператора в пространстве бесконечных последовательностей, каноническим образом порождённого скалярным линейным однородным ФДУ точечного типа. Достаточные условия существования и единственности (в заданном классе функций) решения задачи Коши для такого ФДУ, заданного на прямой. 2. Сопряжённое уравнение и структура пространства его решений. Необходимые условия существования решений краевой и основной начально-краевой задач для линейного ФДУ точечного типа, сформулированные в виде аналогов теоремы Нётера. Уточняющие теоремы существования решений для BR = [mo, mi] и BR = Ж. 3. В математической модели, описывающей динамику валютного курса: алгоритм получения нетривиального решения сопряжённого уравнения и алгоритм получения ветвящегося решения исходной начально-краевой задачи. Апробация результатов работы. Результаты диссертации были доложены на Воронежской зимней математической школе "Современные методы теории функций и смежные проблемы" в 2007 г., на конференции "Современные методы теории краевых задач" ("Понтрягинские чтения - XIX", г. Воронеж) в 2008 г., на 31-й международной конференции "Системное моделирование социально-экономических процессов" им. акад. С.С. Шаталина, г. Воронеж, 2008 г., на 7-й конференции "Лобачевские чтения", г. Казань, 2008 г. и на заседании лаборатории экспериментальной экономики Центрального экономико-математического института РАН.
О разрешимости в случае многомерного фазового пространства
Наконец, сформулируем достаточное условие единственности решения задачи Копій (1.1)-(1.2). Теорема 1.5. Пусть ФДУ (1-1) является скалярным (п = 1), выполняется неравенство а д - то же, что и в лемме 1.6. Тогда для любого заданного /2 Є (//, 1) задача Коши (1.1)-(1.2) может иметь не более одного решения х(-) Є JC (R). Доказательство. Из предложения 1.4 следует, что система (1.18)-(1.19) может иметь не более одного решения при ц = //. В силу предложения 1.5, единица может являться только простым (однократным) собственным значением оператора (1.17) (операторнозначной функции) и, следовательно, может порождать только одномерное собственное подпространство. Тогда из предложения 1.1 следует, что краевая задача (1.7)-(1.9) может иметь не более одного решения в классе вектор-функций н{-) Є Щи" Согласно теореме 1.2 всем решениям задачи Коши (1.1)-(1.2) из про странства СцС(\Ш) соответствуют решения краевой задачи (1.7)-(1.9) из пространства Т \ ,. В силу сказанного выше, краевая задача (1.7)-(1.9) мо жет иметь не более одного решения в классе вектор-функций Т 21. Следо вательно, и задача Коши (1.1)-(1.2) может иметь не более одного решения в классе функций С\С {Ж). 1.7 О разрешимости в случае многомерного фазового пространства Если фазовое пространство ФДУ точечного типа (1.1) является многомерным, то одной теоремы об отображении спектров 1.3 недостаточно для изучения спектральных свойств оператора (1.12), действующего в про странстве К п- Поэтому следует рассмотреть другие возможности исследования нетривиальной разрешимости уравнения (1.11). В качестве первого шага можно оценить границы спектра оператора (1.12), пользуясь свойствами этого оператора в равномерной операторной топологии. Оценим сверху его норму: Тогда согласно утверждению 1.1 спектр оператора (1.12) лежит в круге радиусом /і 1ехр (А2//). Если этот радиус меньше единицы, то единица не может являться собственным значением оператора (1.12). Следовательно, необходимое условие разрешимости уравнения (1.11) можно записать в виде неравенства ехр(А2/1) д. (1.35) Очевидно, что для fi Є (0,1) данное условие всегда выполняется и новой информации нам не предоставляет. Это естественно, поскольку уже первая оценка в цепочке (1.34) является грубой. При этом неясно, как ее улучшить. Задача несколько упрощается, если предположить, что матрицы А j = 1, s попарно коммутируют. В этом случае можно воспользоваться следующим результатом: Теорема 1.6 ([45, с.315]). Пусть А - банахова алгебра, х Є А, у Є А и ху = ух. Тогда: 1. о-{х + у) С а(х) + т(ї/); 2. а(ху) С (т(х) -сг(у). Следует помнить, что сложение и умножение в правых частях соотношений в теореме 1.6 - это поэлементные операции над множествами. Используя теорему 1.6 и теорему об отображении спектров 1.3, получим цепочку вложений множеств: Таким образом, необходимым условием разрешимости уравнения (1.11) является условие Во-первых, повторяя ход рассуждений леммы 1.2, можно выяснить, что ) = ), т.е. спектр оператора Т2 имеет вид замкнутого кольца. Возникает вопрос: для каких комплексных чисел Л существует число г} Є с(72 ) такое, что г)\ = 1? Простая проверка показывает, что это равенство выполняется для тех и только тех Л, которые принадлежат этому же кольцу. Следовательно, условие (1-37) равносильно условию а(Т2;1)ПехрИА2 )) 0. (1.38) Далее, с помощью неравенства для операторных норм можно установить следующую оценку: Применяя утверждение 1.1, получаем соотношение для границы множества (т(А2(1): 7(А2/,)САЄ С: A X) -N Для того, чтобы оценить границу множества ехр (сг(А2м)), рассмотрим образ произвольной точки комплексной плоскости z — гещ, г Є [0, +оо), (р Є [0, 27г) при конформном отображении w = exp(z). Пользуясь представлением z = r(cos(ip) -f- ism((p)), получим w = ercos eirsin . Таким образом, iu = ercos , a arg(w) = rsin( ). Для модуля отображения w справедлива оценка tu exp(r), в силу которой условие (1.38) выполняется лишь тогда, когда выполняется условие M expf ll -llAi-NJ, (1.39) которое означает пересечение множеств с(Т2 1) и exp (cr(A2At)) по внутренней границе кольца (Т }). Легко видеть, что условие (1.39) верно для всех /І Є (0,1), поэтому оно непригодно в качестве необходимого условия нетривиальной разрешимости уравнения (1.11), как и условие (1.35). Причина этого заключается в плохих свойствах цепочки вложений (1.36).
Теорема существования решения для основной начально-краевой задачи В
В случае полупрямой В л = [то, +оо) из уравнения (2.6) и условия х(-) Є V2 _і(М), ц Є (0,1] следует краевое условие x(t) = О, t Є (—oo,77io fo], r0 — max max(0, —пА, (2-9) а в случае конечного интервала BR = [mo, mi] из того же уравнения (2.6) и условия х(-) Є V і(М), її Є (0,1] следует краевое условие x{t) = 0, t Є (—со, mo — го] U [mi + ri, +оо), ri = max max(0, пЛ (2.10) Более того, в случае конечного интервала BR = [mo, mi], для всякого решения х(-) уравнения (2.6), удовлетворяющего краевому условию (2.10), вектор-функция k(t) = {xiit)} , Xi(t) = x(t + i), і Є її, t Є [0,1] удовлетворяет условию х(-) Є V2 _і(М) при любом fl Є (0,1]. Определим оператор s i=i действующий из пространства К% і в себя, где штрих означает транспонирование, а операторы Тг -і и А. х являются ограничениями на пространство 2/,-1 операторов Т и. Aj, соответственно. Как и раньше, там, где это не будет вызывать недоразумений, нижние индексы будут опускаться. Наряду с сопряжённым уравнением (2.6) в фазовом пространстве K -i рассмотрим бесконечномерное ОДУ jtk{t) = -А2/і-іРв ( ) Є [0,1] (2.12) с краевым условием к{1) = Тх(0). (2.13) Установим связь между их решениями. Предложение 2.3. Если решение х(-) сопряэ/сённого уравнения (2.6) удовлетворяет условию х(-) Є Vg І(М), ц Є (0,1], то вектор-функция c(i) = {xi(t)}±, Xi(t) = x{t + г), iZ, t Є [0,1] является реше нием краевой задачи (2.12)-(2.13). Если вектор-функция c{t) = {ЯІ()}-ГО Є [0) 1] является решением краевой задачи (2.12)-(2.13), то функция x(t) = хщ{Ь — []), t G IK ( [] — целая часть числа) является решением сопряжённого уравнения (2.6) м удовлетворяет условию х{-) Є V„_i(R), д (0,1]. Доказательство. В силу условия () Є V і(М), д Є (0,1], вектор-функция c(t) = {5j(t)}l , 5г(і) = ( + г), г Є Z, t Є [0,1] сильно абсолютно непрерывна со значениями в пространстве К -і- По лемме 2.4 главы 2 из [5] для производной х(-) имеет место представление Тогда из уравнения (2.6) следует, что вектор-функция к(-) будет удовлетворять уравнению (2.12), а из определения самой х(-) следует краевое условие (2.13). Обратное. Из определения функции х(-) и краевого условия (2.13) следует, что эта функция является абсолютно непрерывной на Ж. и удовлетворяет уравнению (2.6). Так как вектор-функция х(-) со значениями в пространстве K i-i является решением дифференциального уравнения (2.12), то она является сильно абсолютно непрерывной и поэтому х(-) Є V -і(К). Определим линейный оператор действующий по правилу Сформулируем аналог теоремы Нётера для краевой задачи А. Лемма 2.1. Пусть F(-),v{-) Є D . Для того, чтобы при заданном /J, Є (0,1] краевая задача Л имела решение, необходимо, чтобы вектор A2fi(F(-)) v(-)) был ортогонален всем решениям уравнения Q\n c = 0. Если оператор ( (2.8) является нормально разрешимым, то это условие является и достаточным. Доказательство. Оно непосредственно следует из уравнения (2.5), соот ношения (ImC u)"1 = KerQ (см- [49, с.227]) и определения нормально разрешимого оператора. В связи с леммой 2.1 интересен вопрос о том, как устроен образ линейного оператора Аг .
Существование решения изучаемой начально-краевой задачи
В силу леммы 2.4, мы можем сформулировать уточняющую теорему существования решения в случае конечного интервала определения уравнения. и интервал определения уравнения (0.1) конечный, то есть BR = [mo,mi]. Для существования решения краевой задачи Л необходимо и достаточно, чтобы условие выполнялось для всякого решения х(-) Є (М) сопряжённого уравнения (2.6).
Доказательство. Если уравнение (0.1) определено на конечном интервале, то переопределение функции ф{-) вне интервала определения BR не меняет пространства решений краевой задачи Л. Поэтому мы можем считать, что ф(-) Є П і С С (Ш). Тогда всякое решение х(-) краевой задачи Л будет принадлежать пространству "С (М). Но для такого решения условие х(-) Є зДК) будет выполняться при любом \і Є (0,1). В силу леммы 2.4, при любом \± (0,1) оператор Q является нормально разрешимым. По теореме 2.2 для существования решения краевой задачи Л необходимо и достаточно, чтобы при каком либо фиксированном \і Є (0,1) условие (2.30) выполнялось для всякого решения х(-) сопряжённого уравнения (2.6), удовлетворяющего условию х(-) Є V і(М). Так как интервал определения BR конечный, то пространство решений х(-) сопряжённого уравнения (2.6), удовлетворяющих условию () Є V„-iQ&) ПРИ А4 Є (0 -кЬ от параметра не зависит. Поэтому об этих решениях мы можем гово рить как о решениях () сопряжённого уравнения (2.6), удовлетворяющих условию х(-) Є V QR). Другой важный аспект вопроса существования решения связан с изучением пространства решений сопряжённого уравнения (2.6), удовлетворяющих условию х(-) Vg _i(M) при заданном /І (0,1]. В силу предложения 2.3, описание пространства решений сопряжённого уравнения (2.6), удовлетворяющих условию х(-) Є V i(M), эквивалентно описанию в пространстве К „-і всех решений операторного уравнения [Е - Г-L, exp(-A2/i-1F5)]x = 0. (2.31) Чтобы получить уравнение (2.31), следует решение k(t) = ехр(-А2/і-іРві) (0) уравнения (2.12) подставить в условие (2.13) и ввести переобозначение i (0) = к. Пространство решений уравнения (2.31) совпадает с собственным подпространством оператора ТТ -і ехр(—А2ц-іРв), соответствующим собственному значению, равному 1. Изучение спектральных свойств и собственных подпространств следует производить в пространстве DCJ-i, полученном как комплексификация действительного пространства К" і, ц Є (0,1], где Сложность изучения этого вопроса связана как с неперестановочностью операторов сдвига Тг -і и проектирования Р#, так и с многомерностью (n-мерностью) блоков в матричном представлении оператора Аг -і. Если исходное ФДУ является скалярным (тг = 1) и определено на всей прямой, то упомянутая спектральная задача становится более обозримой. В этом случае матрицы А j = 1,..., s превращаются в скаляры ct,-, j = 1,..., s, а оператор Аг -і имеет представление S Задача сводится к изучению спектра оператора действующего в пространстве K -i, и описанию собственного подпространства, соответствующего собственному значению равному 1. Важно, что спектр оператора Тг -і легко вычисляется, а для изучения спектра оператора /(Тг -і) мы имеем возможность использовать теорему 1.3 об отображении спектров. Лемма 2.5. Пусть ФДУ (0.1) является скалярным (п = 1), а область определения совпадает со всей прямой, то есть BR = Ж. Тогда для заданного її Є (0,1] единственным решением х(-) Є Vg (К) сопряжённого уравнения (2.6) является нулевое решение. Доказательство. Мы уже отмечали, что пространство решений уравнения (2.31) совпадает с собственным подпространством оператора Г2 ! ехр(—Аг -і-Рв), соответствующим собственному значению, равному 1. Для оператора сдвига Гг -і , действующего в пространстве К -і, точка нуль не принадлежит его спектру. Функция аналитическая всюду, кроме точки Л = 0, и не равна тождественно константе. В таком случае, по теореме 1.3 об отображении спектров дискретный спектр оператора ІІТ -і) совпадает с образом функции 1(-) на дискретном спектре оператора сдвига T2/i-i. Простая проверка показывает, что дис кретный спектр оператора сдвига пустой. В таком случае, уравнение (2.31) имеет единственное нулевое решение, и по предложению 2.3 единственным решением х(-) Є Vgu-iQR) сопряжённого уравнения (2.6) также будет нуле вое решение. В силу леммы 2.5 теорема существования решения допускает уточнение в случае, когда уравнение (0.1) является скалярным и определено на всей прямой. Теорема 2.4. Пусть ФДУ (0.1) является скалярным (п — 1), а область определения совпадает со всей прямой, то есть BR — Ш. Если оператор Qip, при заданном fj, Є (0, ) (")(0,1] является нормально разрешимым, то при любых функциях ф{-) Є С С (Ж), р(-) Є (Х С?С (Ж) для краевой задачи Л существует решение, удовлетворяюшре условию х(-) Є V2 (М) при этом сисе /І. Доказательство. В силу леммы 2.5, при заданном \± условие (2.15) выполняется. Тогда по теореме 2.2 для краевой задачи А существует решение, удовлетворяющее УСЛОВИЮ х(-) Є V2/iQ ) ПРИ этом же /л.
