Электронная библиотека диссертаций и авторефератов России
dslib.net
Библиотека диссертаций
Навигация
Каталог диссертаций России
Англоязычные диссертации
Диссертации бесплатно
Предстоящие защиты
Рецензии на автореферат
Отчисления авторам
Мой кабинет
Заказы: забрать, оплатить
Мой личный счет
Мой профиль
Мой авторский профиль
Подписки на рассылки



расширенный поиск

Функционально-дифференциальные модели (Теория и приложения) Смолин Юрий Николаевич

Функционально-дифференциальные модели (Теория и приложения)
<
Функционально-дифференциальные модели (Теория и приложения) Функционально-дифференциальные модели (Теория и приложения) Функционально-дифференциальные модели (Теория и приложения) Функционально-дифференциальные модели (Теория и приложения) Функционально-дифференциальные модели (Теория и приложения) Функционально-дифференциальные модели (Теория и приложения) Функционально-дифференциальные модели (Теория и приложения) Функционально-дифференциальные модели (Теория и приложения) Функционально-дифференциальные модели (Теория и приложения)
>

Диссертация - 480 руб., доставка 10 минут, круглосуточно, без выходных и праздников

Автореферат - бесплатно, доставка 10 минут, круглосуточно, без выходных и праздников

Смолин Юрий Николаевич. Функционально-дифференциальные модели (Теория и приложения) : Дис. ... д-ра физ.-мат. наук : 05.13.18 : Магнитогорск, 2004 281 c. РГБ ОД, 71:05-1/39

Содержание к диссертации

Введение

Глава 1. Вспомогательные сведения

1.1. Некоторые сведения из теории функций и функционального анализа

1.2. Некоторые сведения из теории функционально-дифференциальных уравнений

Глава 2. Результаты общетеоретического характера

2.1. Свойства интегралов Римана-Стилтьеса и Лебега-Стилтьеса

2.2. Аналитические выражения для некоторых сопряженных операторов

2.3. Восстановление операторов по их сопряженным

Глава 3. Общие вопросы теории функционально-дифференциальных моделей

3.1. Представление общего решения функционально-дифференциальной модели

3.2. Разрешимость задачи Коши для функционально-дифференциальной модели с распределенным запаздыванием

3.3. Оценки сверх решений функционально-дифференциальных моделей

3.4. Оценки снизу решений функционально-дифференциальных моделей

Глава 4. Устойчивость периодической дифференциальной модели с распределенным запаздыванием

4.1. Конструктивные оценки показателя экспоненциальной устойчивости и свойства производящей функции. Определяющая матрица

4.2. Вспомогательные соотношения, использующие композиционное произведение ядер

4.3. Конструктивная аппроксимация определяющей матрицы в классе вычислимых матриц

4.4. Алгоритмы и схема вычислительного эксперимента по исследованию устойчивости

Глава 5. Устойчивость периодической дифференциальной модели с сосредоточенным запаздыванием. Случай соизмеримых периодов

5.1. Вспомогательные утверждения и оценки. Матрица Коши

5.2. Конструктивное исследование асимптотики матрицы Коши

5.3. Вспомогательные соотношения между резольвентными ядрами

5.4. Алгоритмы и схема вычислительного эксперимента по исследованию устойчивости

5.5. Коррекция показателя устойчивости модели

Глава 6. Устойчивость периодической дифференциальной модели с сосредоточенным запаздыванием. Случай несоизмеримых периодов

6.1. Вспомогательные конструкции

6.2. Класс слабо периодических матриц как основа конструктивной аппроксимации

6.3. Конструктивное исследование вспомогательной модели

6.4. Достаточный признак экспоненциальной устойчивости

6.5. Алгоритмы и схема вычислительного эксперимента

Глава 7. Устойчивость почти-периодической дифференциальной модели

7.1. Достаточный признак экспоненциальной устойчивости

7.2. Устойчивость моделей со специальной конструкцией коэффициентов

7.3. Случай эффективного вычисления показателя экспоненциальной устойчивости

7.4. Признаки почти-периодично сти матриц

Глава 8. Устойчивость интегральных моделей

8.1. Сохранение устойчивости модели с запаздыванием при его возмущении. Конструктивное описание окрестности устойчивой модели

8.2. Экспоненциальная оценка решения модели вольтеррового типа

Заключение

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

Введение к работе

Актуальность темы. Функционально-дифференциальные (ф-д) модели, учитывающие не только настоящее состояние объекта, но и его предысторию, имеют своим источником многочисленные задачи из различных областей знания. Примеры доставляют нам акустическая обратная связь [185], автоматические регуляторы ленточного тр анспоі)тера [128] и прокатного стана [173], врубовые машины [144], импульсные устройства [177], экономические системы [114] и т.д.

Многочисленность процессов, описываемых ф.-д. моделями, вызвала интенсивное развитие их теории, начавшееся в 40-х годах прошлого века. Ей полностью или в значительной степени посвящены труды Азбслева Н.В., Андрианова Д.Л., Беллмана Р., Долгого Ю.Ф., Красовского Н.Н.. Кука К., Курбатова В.Г., Максимова В.П., Мартынюка Д.И., Митро-польского Ю.А., Мышкиса А.Д., Пинни Э., Пуляева В.Ф., Рахматуллннои Л.Ф., Рубаника В.П., Румянцева А.Н., Тонкова Е.Л., Халаная А., Хейла Дж., Цалюка З.Б., Шиманова С.Н., Эльсгольца А.Э. и других ученых.

Вначале рассматривались модели с постоянными запаздываниями. Такой подход представляет собой шаг вперед по сравнению с изучением моделей "идеального" процесса, которые получаются в предположении отсутствия последействия и в ряде случаев хорошо отражают действительные явления. В других же случаях такие модели описывают процесс весьма приближенно. Так, например, модель годичного изменения численности популяции представляет собой уравнение с запаздыванием, обусловленным отставанием реакции популяции на изменение среды. При этом данный процесс хорошо описывается уравнением с постоянным запаздыванием. Но уже при изучении изменения численности популяции на протяжении нескольких лет приходится учитывать сезонные изменения среды, при которых запаздывания модельного уравнения становятся переменными, в данном случае периодическими. Таковы, например, модель [305]

m

x(t) = Y,М ЫЧ )) ( є[о,оо[), (1)

и более общая [313]

x(t) = ]dR{r)x{t) + f{t) ( є[0,оо[). (2)

о

Об этом вынуждены говорить многие авторы [308, 309], однако применяемый этими исследователями математический аппарат заставляет их принимать упрощающее предположение о постоянстве запаздываний. Это объясняется тем, что, хотя к настоящему времени по этой тематике и получен ряд глубоких теоретических результатов (см., например, библиографию в [221]), далеко не всегда они носят эффективный характер. А это либо затрудняет их применение на практике, либо делает его даже невозможным.2

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

Наконец, при изучении новых моделей, например, в экономике [26]:

x(t)+JdsK(t,s)x(s) = f(t) ( е[0,Ц), (3)

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

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

Объект исследования — математические модели физических, химических, биологических и других естественнонаучных, а также социальных, экономических и технических объектов, представляющие собой ф.-д. уравнения вида (1) - (3) и более общие. Рассмотрены ф.-д. модели с распределенным запаздыванием, почти периодические (по Бору) дифференциальные модели, а также периодические ф.-д. модели вида (1) с несоизмеримыми периодами коэффициентов и запаздываний.

Цель диссертационной работы состоит в разработке ряда теоретических положений относительно общих ф.-д. моделей, в получении на их основе эффективных критериев устойчивости некоторых типов моделей (1) - (3) и создании для их проверки конструктивных методов, основанных на применении современных компьютерных технологий.

Научная новизна. Выносимые на защиту результаты являются новыми. Среди них отметим следующие:

- установлен ряд свойств интегралов Римана-Стилтьеса и Лебега-Стилтьеса, с помощью которых выведены формулы Грина (Коши) представления решения общей краевой задачи для ф.-д. моделей, широко используемые при исследовании их устойчивости;

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

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

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

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

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

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

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

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

Полученные результаты могут быть использованы также в различных разделах математики: функциональном анализе, теории функций, дифференциальных и интегральных уравнениях с запаздыванием.

Апробация работы. Результаты работы докладывались и обсуждались на международных конференциях: "Нелинейные колебания" (Будапешт, 1987), "Дифференциальные и интегральные уравнения. Математические модели" (Челябинск, 2000, 2002), "Комплексный анализ, дифференциальные уравнения и смежные вопросы" (Уфа, 2000); на всесоюзных: "Функционально-дифференциальные уравнения" (Магнитогорск, 1984), (Душанбе, 1987),"Качественная теория дифференциальных уравнений" (Рига, 1989); на всесоюзной школе по теории операторов (Тамбов, 1987); на республиканской конференции "Теория и численные методы решения краевых задач для дифференциальных уравнений" (Рига. 1988); на Понтрягинских чтениях-4 (Воронеж, 1993); на всероссийской математической конференции (Магнитогорск, 1999); на Уральских региональных конференциях " Функционально-дифференциальные уравнения и их приложения" (Пермь, 1988; Уфа, 1999, 2003); на второй северокавказской региональной конференции по функционально-дифференциальным уравнениям и их приложениям (Махачкала, 1989); на конференциях математических кафедр пединститутов Уральской зоны (Ижевск. 1969); на межвузовской конференции "Проблемы физико-математического образования в педагогических вузах России на современном этапе" (Магнитогорск, 1996); на конференции по дифференциальным уравнениям с отклоняющимся аргументом в университете Дружбы народов им. П. Лумумбы (Москва, 1969); на 14-й научно-технической конференции ВЗПИ (Москва, 1970); на научно-технических конференциях Пермского политехнического института (Пермь, 1976 - 1983); на Пермском город ском семинаре по ФДУ под руководством проф. Азбелева Н.В. (1988 -2000); на Магнитогорском городском семинаре по ФДУ (1986 - 1988): на Екатеринбургском городском семинаре по уравнениям с запаздыванием под руководством проф. Долгого Ю.Ф. (2001); на Ижевском городском семинаре под руководством проф. Тонкова Е.Л. (2002).

Публикации. Результаты диссертации представлены в работах [260] - [310].

Содержание и основные результаты. В главе 1 для удобства дальнейшего чтения приведены некоторые сведения из различных разделов математики.

В главе 2 рассматриваются некоторые вопросы теории функций и функционального анализа. Полученные здесь результаты используются ниже, но имеют и самостоятельный интерес.

Известно, что при построении общих ф.-д. моделей широко используются интегралы Римана-Стилтьеса и Лебега-Стилтьеса. Так, подобные модели в теории оптимального управления использовал акад. Красовскып Н.Н. [312]; такие уравнения являлись предметом исследования А.Д. Мы-шкиса [180], и им установлен ряд свойств интеграла Римана-Стилтьеса. и т.д. При этом развитие теории таких моделей (см., например, [26]) требует знания новых свойств этих интегралов.

В § 2.1 установлены некоторые свойства интегралов Римана-Стилтьеса и Лебега-Стилтьеса, используемые для описания общих ф.-д. моделей. В частности, справедлива

Теорема 2.1.5. Пусть функция q : [а, 6] х [с, d] - R удовлетворяет условиям Q :

Qi) vraisup var q(t,s) с oo;

se[c,d\ te[a,b]

Q2)q{t,-)eCOQ[c,d} ( є[а,6]);

с

Qz) }q{;s)dseAC[a.b] (єМ);

о

Qi) Q(--!S) непрерывна слева на ]а,6[ (s е [c,d\);

у : [а, 6] —» R — ограниченная борелевская функция, ь

Тогда / y(r)dTq(T,-) є оо[с, d] и при [с, d] с [а, Ь] справедливо равенство

a

b d d b

J y(r)dr J q{r, rj)dr) = j j y(r)dTq(T, rj)drj. (4)

а с со

Отметим, что условия Q легко проверяются на практике, чем приведенное утверждение выгодно отличается от несимметричной теоремы Фубини, установленной известными американскими математиками Камероном и Мартином [243].

При изучении ф.-д. модели, как и при рассмотрении уравнений в произвольных банаховых пространствах, большую роль играет сопряженное уравнение. Оно позволяет, в частности, установить формулу представления общего решения рассматриваемой модели (типа формулы вариации постоянных), используемую, в свою очередь, для решения ряда задач прикладного характера, связанных с устойчивостью, различными оценками их решений и т.д. При этом неизбежно встает вопрос о построении соответствующих сопряженных операторов. Полученные в работе аналитические выражения для некоторых сопряженных операторов, в основном неограниченных, собраны в §2.2. Остановимся на одном из них.

Будем говорить, что функция К : [а, 6] х [а, Ь] — Ап удовлетворяет условиям К, если:

К і) К(-, s) при всех s суммируема;

K l) K(t,-) при почти всех (п.в.) t интегрируема по Рішану;

А з) существует неотрицательная суммируемая функция р : [а.Ь] — І?1 такая, что Л (,-) ip(t.) при п.в. t.

Пусть Л : АС11 с С1 - L j1, Л = D + 71, где D — оператор дифференцирования, (.г- є АС11)

ь Tx(t) = fdsK(t,s)x(s) ( єМ]), (5)

а

причем функция К : [а, Ь] х [а, Ь] — Ап удовлетворяет условиям ii, K(-J ) = О п.в. на [a, &]; L1 — множество классов у є L7 , имеющих своими представителями интегрируемые по Риману функции у : [a,b] - Rn. Тогда

б Р(Л ) = L" {у є LI, : -jf(-) + Jy{t)K(t, -)dt є NBVn}

a

и (у € V(A ))

( ь

-y(8) + jy(t)K(t,s)dt, є]а,Ь],

A y(s)

a

/ y(t)K(t, a)dt, s = a.

В некоторых вопросах, связанных с представлением решений ф.-х моделей, [193] требуется, чтобы рассматриваемый оператор являлся сопряженным к некоторому, вообще говоря, другому оператору. При этом оказывается полезным и явное выражение последнего. Иными словами, возникает задача восстановления оператора по его сопряженному. Решению этой задачи посвящен § 2.3.

Глава 3 посвящена решению общих вопросов, касающихся ф.-Д. моделей, без которых невозможно получить многие конкретные результаты. Здесь рассматривается возможность представления общего решения ф.-д. модели в виде формулы Грина (Коши), а также приводятся методы получения оценок сверх} и снизу решений этих моделей.

Наиболее широкий класс математических моделей, к которому относятся дифференциальные уравнения с сосредоточенным и распределенным запаздываниями, интегро-дифференциальные уравнения, уравнения нейтрального типа и др.[14] может быть описан уравнением

\x(t)=f(t) (t є [а,6]), (6)

где Л : АСп с Сп — L" — линейный неограниченный плотно определенный оператор. Присоединяя к (б) краевое условие

ГЬ = а, (7)

где вектор-функционал Q : АСп с Сп — Rn также неограничен, и вводя оператор ( 0 ] : АС11 с С" - D{ х R\ определенный правилом

( Q ) Х [пх ) получаем краевую задачу

{х є АСП),

( е[а,6]). (8)

В §3.1, занимающем центральное место третьей главы, рассматривается возможность представления общего решения задачи (8) в виде

равенства

б

x(t) = X(t)a + jG(t,s)f(s)ds ( €[а,Ь]), (9)

а

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

Здесь же получены и системы уравнений относительно матрицы Грина общей краевой задачи для ф.-д. уравнений как функции первого и второго аргументов соответственно. Отметим, что на необходимость их построения в свое время указывал проф. Аз белев Н.В. (см. [14], с. 61).

В §3.2 рассматривается разрешимость задачи Коши для ф.-д. модели с распределенным запаздыванием (3), где интеграл понимается в смысле Римана-Стилтьеса.

Традиционно полагают, что в модели (3) K(t, •) имеет на [О, 6] ограниченную вариацию; при этом в виде (3) могут быть записаны обыкновенные дифференциальные уравнения, интегр о-дифференциальные и дифференциальные уравнения с сосредоточенным запаздыванием [156]. Нами модель (3) рассматривается с интегрируемой по Риману K(t,-). Это позволяет существенно расширить класс математических моделей, записываемых в таком виде; при этом теория этой модели становится более стройной, а ее практическая реализация — проще. Имеет место

Теорема 3.2.6. Пусть функция К : [0,6] х [0,6] - Ап (6 е]0,оо[) .удовлетворяет условиям Л\ K(t, s) = 0 при s t;

;с(0)=а0, )€#". (10)

Тогда задача (3) - (10) всюду однозначно разрешима, а ее решение представимо в виде

t t t

x(t) = (E + jR(T,0)dT)aQ + J(E + jR(T,s)dT)f{s)ds, (11)

0 0 s

где П(-,-) —резольвента ядра А (-,-) рассматриваемого в пространстве "[0,6] уравнения

t y(t) = jK(t,s)y(8)d8 + h(t) (і Є [0,6]). (12)

о

В §3.3 излагается способ получения оценки сверху решений ф.-д. моделей.

В §3.4 между решениями х и y(t, ) двух ф.-д. моделей устанавливается соотношение

у(ММ0 = у( ,0)я(0), частный случай которого широко применяется в теории оптимального управления, в дифференциальных играх и т.д. Здесь оно используется для получения оценок снизу решений ф.-д. моделей.

Начиная с четвертой главы, рассматриваем имеющие широкое применение ф.-д. модели с периодическими параметрами. Нами разработаны конструктивные (эффективно реализуемые с помощью компьютерных технологий) методы исследования на устойчивость этих моделей.

В главе 4 рассматривается модель (3), где п х n-матрица К(-,-) удовлетворяет условиям К, в которых условие А з заменено условием

3) ПрИ ВСЄХ S € [0,оо[ И П.В. t € [s,oo[

рГ(М) сехр(7( -в)) (7 0),

и w-периодична по двум аргументам.

Пусть A = {(t,s) : 0 $ t оо}. Воспользуемся полученным в §3.2 представлением (11) решения модели (3), удовлетворяющего условию (10). Видим, что устойчивость этой модели обеспечивается оценкой

Д(М) со exp(a(t- s)), ( ,«) є А (13)

при а 0, получением которой вначале и занимаемся. Положим

D = {(t,s) :0 s t s + u 2u},

Tft s, z) = R(t + kto, s)zk, (14)

где (f, s) є D, z — комплексная переменная.

Следующее утверждение устанавливает связь показателя а в оценке (13) с областью аналитичности функции Г(, s,•).

Теорема 4.1.1. 1) Пусть существует р 0 такое, что функция Г(?,І,-) аналитична внутри окружности \z\ = р и ограничена на ней равномерно по t, s при П.В. S.

Тогда найдется CQ 0 такое, что при всех t є [0,оо[ и п.в. s є [0,/] выполняется неравенство (13), где a = -(Ыр)/и .

2) Пусть существуют а и со 0 такие, что выполняется неравенство (13).

Тоща функция Г(7,5, •) аналитична внутри окружности \z\ = ехр(-псо). Для случая, когда ядро А (-,) вырождено, установлены формулы коэффициентов ряда (14):

R(t + kco.s) = Ф( , )(Я + Г(«)) В(«), (t,s) є D,

где JR(-,) — резольвента ядра А(-)В(-) уравнения (12),

Ф(ї,7з) JR(U)A(i)d ,+A(t), (t,s) е D,

s

S+Ul

s

Это дает возможность исследование устойчивости модели (3) свести к нахождению собственных чисел матрицы Е + T(s). Оказывается, что они не зависят от s, и потому справедлива

Теорема 4.1.2. Для того чтобы имела место оценка (13), условие

ЛС exp(au ), sup max Г(Ї, s, z)\\ сю (r,s)eDl2l=exp(-ftw)

достаточно, а условие

Л(1) єхр(ш )

необходимо.3

Природа модели (3) такова, что матрица U может быть найдена лишь в исключительных случаях. Поэтому, имея в виду получение практически значимого критерия, в §§4.3,4.4 разрабатывается алгоритм конструктивного исследования устойчивости рассматриваемой модели, ориентированный на применение компьютера. В качестве примера доказывается устойчивость уравнения колебаний упругой струны.

В главе 5 рассматривается "периодическая" дифференциальная модель с запаздыванием (1), описывающая, например, процесс горения в

Здесь А 1 — наибольшее по модулю собственное число матрицы

w

U ± Е + J В()Ф(,0) Ц. о

жидкостном реактивном двигателе, работу системы типа электромагнитного прерывателя, некоторые экономические процессы и др.

Первый путь исследования устойчивости данной модели, предложенный акад. Н.Н. Красовским [132] и которым идет большинство ученых, работающих в этой области [231], приводит к оценке спектрального радиуса так называемого оператора монодромии. Наиболее далеко в этом весьма трудном вопросе продвинулся проф. Ю.Ф. Долгий, предложивший метод конечномерной аппроксимации натуральной степени этого оператора. При этом ему удается исследовать асимптотическую устойчивость широкого класса моделей вида (1) [94].

Второй путь, предложенный проф. Н.В. Азбелевым и его учениками [14], заключается в переходе от модели (1) (при 0) к равносильному уравнению

т

М = Л« Я № + /( ) (t є [о,оо[),

г=1

где оператор внутренней суперпозиции 5/t. : АС71[0,6] - L7{[0, 6] определен равенством (х є АС" [0,6]) (6 є]0,оо[)

с г(А = 1х(Ч )), М )е [0,6]; ,чЧ) I 0, / ,-( ) [0,6],

т

a /W = EA-W W, где

J4f) = l ° Ігг(і)е[0Л

?№)), Іф) і [0,6].

При этом общее решение модели (1) записывается в виде

t x(t) = C(t,0)x(0)+JC(t,s)f(s)ds (іє[0,оо[),

о

и вопрос об устойчивости некоторых типов таких моделей сводится к оценке спектрального радиуса матрицы монодромии С{т{ +си,Т[) [42], а для получения эффективных признаков их устойчивости, подобно тому как это сделано в работе [126], — к оценке их мультипликаторов.

Мы изучаем устойчивость модели (1) в рамках "периодического" интегрального уравнения Вольтерры с запаздыванием

Ф) = J К& з)ФМ) ds + f{t) (t ф, оо[), (15)

где -периодические по двум аргументам п х га-матрицы А"г(-,-) таковы, что

1) Kj(-,s) измеримы и локально ограничены в существенном на [s,oc[ при п.в. s є [0,оо[;

2) Ki(t,-) суммируемы на [0,/] при всех t є [0,оо[;

3) \\Ki(t,s)\\ cexp(j(t-s)) при п.в. t є [0,оо[ и п.в. s е [О, J], где с,7 О — некоторые числа;

4) Ki(t,s) = 0 при s t]

заданные на [0,оо[ скалярные функции h{ (і = 1,..., m) измеримы. удовлетворяют условию независания ([14], с. 21) и определяют начальный промежуток ]а,0], включающий значения га,-() О при t є [0,оо[, h{(t) = t-gi(t), ш-периодические функции -(-) 0; существует число s\ 0 такое, что hi(s) 5i при s Si;

n-мерная функция /() определена на промежутке ]а,оо[, измерима и локально ограничена в существенном на нем.

Привлекательность интегральных уравнений с запаздыванием состоит в возможности приближенного нахождения резольвентных ядер как частичных сумм определяющих их рядов, а реализованные с помощью ЭВМ современные средства вычислений позволяют найти их с достаточной для практических нужд степенью точности. При этом удается: установить критерии устойчивости некоторых типов периодических моделей вида (1); полученные критерии проверить на практике, в том числе4 с применением компьютера; найти экспоненциальную оценку их решении не только с отрицательным показателем, но и с положительным, если. конечно, она в действительности такова; указать способ, позволяющий прикладнику от неустойчивой модели вида (1) перейти к устойчивой, а устойчивую оставить таковой же, но требующей меньших энергетических затрат на функционирование моделируемого ею устройства; рассмотреть трудно поддающийся исследованию случай несоизмеримых периодов коэффициентов и запаздываний.

Приведем некоторые результаты относительно модели (1) или, что то же, относительно уравнения

№ = / Е \( s)Ai(s)x(hi(s))d8 + /( ) ( е]а.оо), (16)

о i=1

где х(-, ) — характеристическая функция множества А; а- -периодичеекпе {со 0) п х га-матрицы А;() измеримы и ограничены в существенном на [0,а;]; остальные условия — те же, что и для уравнения (15).

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

Пусть i?;(-, •) — резольвентные ядра уравнения (16). Введем матрицу, играющую в этом параграфе главную роль, положив при любых t и s

771

C(t, ) = /] Ш Т)Х(К(Т),З) dr + x(t, s)E. (17)

s г=1

Теорема 5.1.3. Пусть существует число s\ є [0,оо[ такое, что /гг(з) s\ при s si, а / локально абсолютно непрерывна на [,sl5 оо[. Тогда решение уравнения

І m

x(t) = J X(t, s)Ai(s)x(hi(s)) ds + /( ) (t e [s{. oo[) npif л.в. є [si,oo[) определяется формулой

W = C( ,5l)/( i) + /C( ,s)/ (s)rfe. (18)

•si

Заметим, что равенство (18) обобщает известную формулу Коши [37] для обыкновенного дифференциального ухзавнения. Поэтому С (-,-) называем матрицей Коши модели (1).

Из (18) видно, что для получения экспоненциальной оценки решения модели (1) нужна оценка

С(М) соехр(а( - )), (М)еДь (19)

где А[ = {(, s) : si s t oo}. Займемся ею. Положим

D= {(f.s) : si s t s + w si + 2u},

oo _

T{t,s,z) = JTC(t + ku,s)zk,

где (t,s) є D, z — комплексная переменная.

Следующее утверждение устанавливает связь показателя а в оценке (19) с областью аналитичности функции T(t,s, •).

Теорема 5.2.1. 1) Пусть существует р 0 такое, что функция Г(ї,,-) аналитична внутри окружности \z\ = р и ограничена на ней равномерно ПО t И S.

Тогда существует CQ 0 такое, что выполняется неравенство (19). где

a = -(\np)/u . 4

2) Пусть существуют а и с0 0 такие, что выполняется неравенство

(19).

Тоща функция Г(, s, •) аяалжтична внутри окружности \z\ = exp(-aw).

Замечание. Бросается в глаза сходство теорем 4.1.1 и 5.2.1, и может возникнуть соблазн получить оценку не C(t,s), как это делаем здесь. a J?j(t,s), подобно тому как это было сделано в главе 4. Однако такой путь, как показывает анализ, к цели не приводит. Не дает желаемого результата и попытка в главе 4 получить оценку С(, s)j, как это делаем здесь.

Пусть Л - наибольшее по модулю собственное число матрицы С ($-2,S\). На основании теоремы 5.2.1 доказывается

Теорема 5.2.2. Для того чтобы имела место оценка (19), условие

Л exp(auj)

достаточно, а условие

А exp(ato)

необходимо.

Поскольку матрица C(.S2,S[) может быть найдена лишь в исключительных случаях, то в §5.4 строится алгоритм ее (и, как следствие. Л) приближенного вычисления, позволяющий провести конструктивное исследование устойчивости изучаемой модели. В качестве иллюстрации доказана устойчивость одной из моделей динамики уровня основных производственных фондов.

Показатель а в оценке (19) может оказаться положительным; либо отрицательным, но большим по модулю. Поскольку то и другое в реальных системах нежелательно, в §5.5 разработана методика, позволяющая для этих случаев, взяв j 0, от модели (1) перейти к устойчивой модели ( €[0,оо[) x(t) = (7 - at)x(t) + е(У-«Ы1)Аг{г)х(}1 )) - (7 - a)ip(O) (0 = Р(0 ( О).1

Этот прием с технической точки зрения означает введение в моделируемое устройство обратной связи, которая и позволяет от неустойчивой модели перейти к устойчивой, а устойчивую оставить таковой же, но требующей меньшего потребления энергии моделируемым устройством. Отметим, что на практике для этого конструируются блоки запаздывания, включаемые в линии обратной связи, причем в отличие от нас величина запаздывания подбирается эмпирически.

Стремясь возможно более точно описать моделируемое устройство, в главе 6 рассматриваем случай, когда в модели (1) периоды коэффициентов А{ и запаздываний #г- несоизмеримы. Главную роль здесь играет вводимый нами класс слабо периодических матричных функций, "близких" к Д.

Определение 6.2.1. Заданную на промежутке [0,оо[ матричную функцию А\ назовем слабо периодической, если существует относительно плотное множество {тк} (к = 0,1,...) и $i 0 такие, что A(t) = A(t- тк)

При t Є [sX +Tk,Si + Tk+i[.

Это позволяет модель (1) записать в виде

m m

i(t) = Am ht(t)) + НЩ)х(к )) (t Є [0,oo[),

(0 = v(0 ( o),

где

Hl{t)±Ai(t)-A\{t) ( є[0,оо[),

и рассматривать #/(•) как постоянно действующие возмущения. Таким образом, вопрос об устойчивости модели (1) в этом случае сводится к установлению оценки вида (19) матрицы Коши С е(•, •) неоднородного уравнения (20). Приведем соответствующее утверждение.

Теорема 6.3.1. Пусть

_ sup \\С(і,з)\\ сл

S\ S t Si+T»

И

max{\\C(s[ + TUsl)\U\\C(sl-hn,sl)\\} r,

ще сі 0 и г 0 — некоторые числа. Тогда имеет место оценка

\\C(t,s)\\ cexp(a(t - в)), (М) 6 Ai,

ще

а — (In r )//5,

/? = (Pn + /?nP„+i)u, _ Ґ max{cfг-(/Нт-Ф+рп+1ы)//?} cir } при г 1, \ max{cfrPn+lW/ , СІ} при г 1.

Отметим, что весьма существенным для предлагаемого метода исследования данной модели является то, что он дает возможность получения экспоненциальной оценки ее матрицы Коши (с отрицательным показателем), если она в действительности имеет место.

В §6.5 приводится алгоритм, позволяющий провести конструктивное исследование рассматриваемой модели на устойчивость.

К предыдущей главе естественным образом примыкает глава 7, в которой рассматривается почти-периодическая дифференциальная модель

x{t) = A(t)x(t) ( є[0,оо[).

Основная идея главы б (введение слабо периодических матриц) позволяет и здесь определить экспоненциальную оценку матрицы Коши уравнения

x(t) = A{t)x(t) ( є[0,оо[)

со слабо периодической матрицей А(-), после чего А(-) - А(-) рассматриваются как постоянно действующее возмущение.

Отметим, что относительно плотное множество {тк}. используемое для построения Л(-), помимо своей основной роли, позволяет дать отличные от известных нам доказательства почти периодичности некоторых матриц; в частности, суммы и произведения периодических матриц с несоизмеримыми периодами.

Глава 8 посвящена изучению устойчивости интегральных моделей.

При составлении математической модели реального явления ее параметры (в частности, запаздывания) неизбежно определяются с некоторой погрешностью. Возникает задача о сохранении устойчивости математической модели при их возмущении. В §8.1 рассмотрен этот вопрос применительно к уравнению

t x(t) = J K{t, s)x( p{s))ds + f(t) (t ф,oo[), (21) являющемуся математической моделью, например, импульсного устройства с запаздывающей обратной связью [177]. Наряду с (21) рассмотрим модель

x{t)=jK(t,s)x(il (s))ds + f{t) (te]a,oo[), (22)

о

и пусть

6 = vrai sup\ijj(t) - f(t)\,

t[0,oo[ t

к = lim vrai sup / \\K(t + h,s) - K(t, s)\\ds,

/1-0+ є[о,оо[ I t

vrai sup / \\R(t,s)\\ds cL oo,

/Є[0,оо[ I

где -R(v) — резольвентное ядро модели (21).

Следующее утверждение дает важное для приложений конструктивное описание окрестности устойчивой модели (21).

Теорема 8.1.1. Пусть относительно моделей (21) и (22) выполнены те же условия, что и для уравнения (15), и модель (21) устойчива.

Тогда, если существует а е]0,1/(2(1 + 2с\))[ такое, что А; а, то при достаточно малом 5 устойчива и модель (22).

Отметим, что в ходе доказательства этого утверждения требуемая малость 6 устанавливается.

Последний, второй параграф восьмой главы, посвящен методу получения экспоненциальной оценки решения интегрального уравнения Воль-терры

x(t) = [K(t,s)x(s)d8 + f(t) (іє[0,оо[), (23)

о

являющегося подходящей моделью для описания, например, сосуществования двух биологических видов [314]. Пусть

K{Ls)UK(t,s)exp(P(t-s)), 0, (24)

Q{-,-) и R® (• •) — соответственно ядро вспомогательного уравнения вида (23) и его резольвента.

H(t,s)UK(t,s)-Q(t,s). (25)

Теорема 8.2.2. Пусть в модели (23)

vrai sup vrai sup \\K(t,s)\\ exp(-a!o(t - s)) ссь

t€[0,oo[ s6[0,t]

где CQ 0 и c o — некоторые числа; определенная равенством (24), где /і О — некоторое число, матрица К(-,-) имеет экспоненциальный порядок роста 7 с0 + h + 1, где

ь А (со + a) + \Асо + )2 + 4а п- 2 0 — заданное число; выполняется равенство (25), где

vrai supvrais\ipjFf(t,s) h.

te[0,oo[ s€[0,t]

Тоща, если выполняется неравенство

vrai sup vrai sup \\RQ(t, s)\\ exp(-cv(f - s)) с oo,

«Є[0,оо[ s€[0, ]

где с Co + h, то RK (-, •) удовлетворяет неравенствам

vrai sup vrai sup JR/V (t, s)\\ exp((/i - a - cr)(/ - s)) oo,

/,Є[0,оо[ sG[0, ]

vrai sup / #Л ( , s) exp((/3 - a - a)(t - s))rb oo.

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

В каждом параграфе принята своя нумерация утверждений, определений и формул. Запись "по теореме 2.1.5", например, означает, что речь идет о теореме 5 первого параграфа второй главы. При ссылках на материал внутри главы ее номер опускается, а при ссылках на материал внутри параграфа опускается и номер последнего. Конец доказательства утверждений помечен знаком D.

Судьба сложилась так, что у меня были прекрасные учителя и друзья. В хронологическом порядке это: проф. Цалюк 3. Б., доц. Винокуров В. Р., проф. Азбелев Н. В., доценты Абдрахманов В. Г. и Чистяков А. В.. проф. Симонов П. М. Всем им я искренне признателен за многолетнее внимание к моей работе.

Не могу не высказать слова благодарности и в адрес: руководства Магнитогорского государственного университета, а также моих коллег по работе за оказанные мне помощь и поддержку.

Некоторые сведения из теории функционально-дифференциальных уравнений

Функционально-дифференциальные (ф-д) модели, учитывающие не только настоящее состояние объекта, но и его предысторию, имеют своим источником многочисленные задачи из различных областей знания. Примеры доставляют нам акустическая обратная связь [185], автоматические регуляторы ленточного тр анспоі)тера [128] и прокатного стана [173], врубовые машины [144], импульсные устройства [177], экономические системы [114] и т.д.

Многочисленность процессов, описываемых ф.-д. моделями, вызвала интенсивное развитие их теории, начавшееся в 40-х годах прошлого века. Ей полностью или в значительной степени посвящены труды Азбслева Н.В., Андрианова Д.Л., Беллмана Р., Долгого Ю.Ф., Красовского Н.Н.. Кука К., Курбатова В.Г., Максимова В.П., Мартынюка Д.И., Митро-польского Ю.А., Мышкиса А.Д., Пинни Э., Пуляева В.Ф., Рахматуллннои Л.Ф., Рубаника В.П., Румянцева А.Н., Тонкова Е.Л., Халаная А., Хейла Дж., Цалюка З.Б., Шиманова С.Н., Эльсгольца А.Э. и других ученых.

Вначале рассматривались модели с постоянными запаздываниями. Такой подход представляет собой шаг вперед по сравнению с изучением моделей "идеального" процесса, которые получаются в предположении отсутствия последействия и в ряде случаев хорошо отражают действительные явления. В других же случаях такие модели описывают процесс весьма приближенно. Так, например, модель годичного изменения численности популяции представляет собой уравнение с запаздыванием, обусловленным отставанием реакции популяции на изменение среды. При этом данный процесс хорошо описывается уравнением с постоянным запаздыванием. Но уже при изучении изменения численности популяции на протяжении нескольких лет приходится учитывать сезонные изменения среды, при которых запаздывания модельного уравнения становятся переменными, в данном случае периодическими. Таковы, например, модель [305]

Об этом вынуждены говорить многие авторы [308, 309], однако применяемый этими исследователями математический аппарат заставляет их принимать упрощающее предположение о постоянстве запаздываний. Это объясняется тем, что, хотя к настоящему времени по этой тематике и получен ряд глубоких теоретических результатов (см., например, библиографию в [221]), далеко не всегда они носят эффективный характер. А это либо затрудняет их применение на практике, либо делает его даже невозможным.2

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

Наконец, при изучении новых моделей, например, в экономике [26]: о существующие методы оказываются неприменимыми, а имеющиеся достаточные условия — слишком грубыми и дающими практический результат лишь в исключительных случаях. Все это делает создание более глубокой теории ф.-д. уравнений, разработку эффективных методов их исследования, основанных на фундаментальных положениях общей теории и использующих богатые возможности современных вычислительных систем, актуальной задачей. Объект исследования — математические модели физических, химических, биологических и других естественнонаучных, а также социальных, экономических и технических объектов, представляющие собой Упомянем две работы, являющиеся исключением из этого "правила": Румянцев А.Н. Вычислительный эксперимент в исследовании ф.-д. моделей: теория и приложения. Автореферат ... докт. физ.-матем. наук. Казань, 1999. Ким А.В., Ложников А.Б. Математическое моделирование систем с последействием: теория, алгоритмы, программное обеспечение // Изв. ИМИ. Ижевск, 2002.- N 2. ф.-д. уравнения вида (1) - (3) и более общие. Рассмотрены ф.-д. модели с распределенным запаздыванием, почти периодические (по Бору) дифференциальные модели, а также периодические ф.-д. модели вида (1) с несоизмеримыми периодами коэффициентов и запаздываний. Цель диссертационной работы состоит в разработке ряда теоретических положений относительно общих ф.-д. моделей, в получении на их основе эффективных критериев устойчивости некоторых типов моделей (1) - (3) и создании для их проверки конструктивных методов, основанных на применении современных компьютерных технологий. Научная новизна. Выносимые на защиту результаты являются новыми. Среди них отметим следующие: - установлен ряд свойств интегралов Римана-Стилтьеса и Лебега-Стилтьеса, с помощью которых выведены формулы Грина (Коши) представления решения общей краевой задачи для ф.-д. моделей, широко используемые при исследовании их устойчивости; - разработаны конструктивные методы исследования устойчивости периодических ф.-д. моделей с распределенным и сосредоточенным запаздываниями, допускающие применение компьютера; - разработан эффективный метод исследования устойчивости периодического дифференциального уравнения с запаздываниями, являющегося моделью процесса горения в камере жидкостного реактивного двигателя; - создан эффективный метод установления устойчивости периодической дифференциальной модели с сосредоточенными запаздываниями для случая несоизмеримых периодов коэффициентов и запаздываний как наиболее точно описывающий изучаемое устройство; - разработаны методы установления устойчивости почти-периодической дифференциальной модели; - получен эффективный признак устойчивости интегрального уравнения Вольтерры с запаздыванием, являющегося моделью импульсного устройства с запаздывающей обратной связью; - разработана методика, позволяющая с помощью введения в изучаемое устройство обратной связи от неустойчивой ф.-д. модели перейти к устойчивой, а для устойчивой, оставляя ее таковой же, добиться потребления моделируемым устройством как можно меньшего количества энергии. Методы исследования. В основе полученных в диссертации ре зультатов лежат методы функционального анализа, теории функций действительной и комплексной переменных, ф.-д. и интегральных уравнений и алгебры. Теоретическая и практическая значимость. Предложенные в диссертационной работе методы являются конструктивными. Они изложены в форме, удобной для практических расчетов, а разработанные на их основе алгоритмы могут быть применены для установления устойчивости многих экономических систем, импульсных устройств с запаздывающей обратной связью, процессов горения в реактивных двигателях и других объектов. Полученные результаты могут быть использованы также в различных разделах математики: функциональном анализе, теории функций, дифференциальных и интегральных уравнениях с запаздыванием.

Аналитические выражения для некоторых сопряженных операторов

Научная новизна. Выносимые на защиту результаты являются новыми. Среди них отметим следующие: - установлен ряд свойств интегралов Римана-Стилтьеса и Лебега-Стилтьеса, с помощью которых выведены формулы Грина (Коши) представления решения общей краевой задачи для ф.-д. моделей, широко используемые при исследовании их устойчивости; - разработаны конструктивные методы исследования устойчивости периодических ф.-д. моделей с распределенным и сосредоточенным запаздываниями, допускающие применение компьютера; - разработан эффективный метод исследования устойчивости периодического дифференциального уравнения с запаздываниями, являющегося моделью процесса горения в камере жидкостного реактивного двигателя; - создан эффективный метод установления устойчивости периодической дифференциальной модели с сосредоточенными запаздываниями для случая несоизмеримых периодов коэффициентов и запаздываний как наиболее точно описывающий изучаемое устройство; - разработаны методы установления устойчивости почти-периодической дифференциальной модели; - получен эффективный признак устойчивости интегрального уравнения Вольтерры с запаздыванием, являющегося моделью импульсного устройства с запаздывающей обратной связью; - разработана методика, позволяющая с помощью введения в изучаемое устройство обратной связи от неустойчивой ф.-д. модели перейти к устойчивой, а для устойчивой, оставляя ее таковой же, добиться потребления моделируемым устройством как можно меньшего количества энергии. Методы исследования. В основе полученных в диссертации ре зультатов лежат методы функционального анализа, теории функций действительной и комплексной переменных, ф.-д. и интегральных уравнений и алгебры. Теоретическая и практическая значимость. Предложенные в диссертационной работе методы являются конструктивными. Они изложены в форме, удобной для практических расчетов, а разработанные на их основе алгоритмы могут быть применены для установления устойчивости многих экономических систем, импульсных устройств с запаздывающей обратной связью, процессов горения в реактивных двигателях и других объектов.

Полученные результаты могут быть использованы также в различных разделах математики: функциональном анализе, теории функций, дифференциальных и интегральных уравнениях с запаздыванием.

Апробация работы. Результаты работы докладывались и обсуждались на международных конференциях: "Нелинейные колебания" (Будапешт, 1987), "Дифференциальные и интегральные уравнения. Математические модели" (Челябинск, 2000, 2002), "Комплексный анализ, дифференциальные уравнения и смежные вопросы" (Уфа, 2000); на всесоюзных: "Функционально-дифференциальные уравнения" (Магнитогорск, 1984), (Душанбе, 1987),"Качественная теория дифференциальных уравнений" (Рига, 1989); на всесоюзной школе по теории операторов (Тамбов, 1987); на республиканской конференции "Теория и численные методы решения краевых задач для дифференциальных уравнений" (Рига. 1988); на Понтрягинских чтениях-4 (Воронеж, 1993); на всероссийской математической конференции (Магнитогорск, 1999); на Уральских региональных конференциях " Функционально-дифференциальные уравнения и их приложения" (Пермь, 1988; Уфа, 1999, 2003); на второй северокавказской региональной конференции по функционально-дифференциальным уравнениям и их приложениям (Махачкала, 1989); на конференциях математических кафедр пединститутов Уральской зоны (Ижевск. 1969); на межвузовской конференции "Проблемы физико-математического образования в педагогических вузах России на современном этапе" (Магнитогорск, 1996); на конференции по дифференциальным уравнениям с отклоняющимся аргументом в университете Дружбы народов им. П. Лумумбы (Москва, 1969); на 14-й научно-технической конференции ВЗПИ (Москва, 1970); на научно-технических конференциях Пермского политехнического института (Пермь, 1976 - 1983); на Пермском город ском семинаре по ФДУ под руководством проф. Азбелева Н.В. (1988 -2000); на Магнитогорском городском семинаре по ФДУ (1986 - 1988): на Екатеринбургском городском семинаре по уравнениям с запаздыванием под руководством проф. Долгого Ю.Ф. (2001); на Ижевском городском семинаре под руководством проф. Тонкова Е.Л. (2002). Публикации. Результаты диссертации представлены в работах [260] - [310]. Содержание и основные результаты. В главе 1 для удобства дальнейшего чтения приведены некоторые сведения из различных разделов математики.В главе 2 рассматриваются некоторые вопросы теории функций и функционального анализа. Полученные здесь результаты используются ниже, но имеют и самостоятельный интерес.

Известно, что при построении общих ф.-д. моделей широко используются интегралы Римана-Стилтьеса и Лебега-Стилтьеса. Так, подобные модели в теории оптимального управления использовал акад. Красовскып Н.Н. [312]; такие уравнения являлись предметом исследования А.Д. Мы-шкиса [180], и им установлен ряд свойств интеграла Римана-Стилтьеса. и т.д. При этом развитие теории таких моделей (см., например, [26]) требует знания новых свойств этих интегралов. Отметим, что условия Q легко проверяются на практике, чем приведенное утверждение выгодно отличается от несимметричной теоремы Фубини, установленной известными американскими математиками Камероном и Мартином [243].

При изучении ф.-д. модели, как и при рассмотрении уравнений в произвольных банаховых пространствах, большую роль играет сопряженное уравнение. Оно позволяет, в частности, установить формулу представления общего решения рассматриваемой модели (типа формулы вариации постоянных), используемую, в свою очередь, для решения ряда задач прикладного характера, связанных с устойчивостью, различными оценками их решений и т.д. При этом неизбежно встает вопрос о построении соответствующих сопряженных операторов. Полученные в работе аналитические выражения для некоторых сопряженных операторов, в основном неограниченных, собраны в 2.2. Остановимся на одном из них.

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

Природа модели (3) такова, что матрица U может быть найдена лишь в исключительных случаях. Поэтому, имея в виду получение практически значимого критерия, в 4.3,4.4 разрабатывается алгоритм конструктивного исследования устойчивости рассматриваемой модели, ориентированный на применение компьютера. В качестве примера доказывается устойчивость уравнения колебаний упругой струны.

В главе 5 рассматривается "периодическая" дифференциальная модель с запаздыванием (1), описывающая, например, процесс горения в жидкостном реактивном двигателе, работу системы типа электромагнитного прерывателя, некоторые экономические процессы и др.

Первый путь исследования устойчивости данной модели, предложенный акад. Н.Н. Красовским [132] и которым идет большинство ученых, работающих в этой области [231], приводит к оценке спектрального радиуса так называемого оператора монодромии. Наиболее далеко в этом весьма трудном вопросе продвинулся проф. Ю.Ф. Долгий, предложивший метод конечномерной аппроксимации натуральной степени этого оператора. При этом ему удается исследовать асимптотическую устойчивость широкого класса моделей вида (1) [94].

Второй путь, предложенный проф. Н.В. Азбелевым и его учениками [14], заключается в переходе от модели (1) (при 0) к равносильному уравнению и вопрос об устойчивости некоторых типов таких моделей сводится к оценке спектрального радиуса матрицы монодромии С{т{ +си,Т[) [42], а для получения эффективных признаков их устойчивости, подобно тому как это сделано в работе [126], — к оценке их мультипликаторов.

Мы изучаем устойчивость модели (1) в рамках "периодического" интегрального уравнения Вольтерры с запаздыванием где -периодические по двум аргументам п х га-матрицы А"г(-,-) таковы, что 1) Kj(-,s) измеримы и локально ограничены в существенном на [s,oc[ при п.в. s є [0,оо[; 2) Ki(t,-) суммируемы на [0,/] при всех t є [0,оо[; 3) \\Ki(t,s)\\ cexp(j(t-s)) при п.в. t є [0,оо[ и п.в. s е [О, J], где с,7 О — некоторые числа; 4) Ki(t,s) = 0 при s t] заданные на [0,оо[ скалярные функции h{ (і = 1,..., m) измеримы. удовлетворяют условию независания ([14], с. 21) и определяют начальный промежуток ]а,0], включающий значения га,-() О при t є [0,оо[, h{(t) = t-gi(t), ш-периодические функции -(-) 0; существует число s\ 0 такое, что hi(s) 5i при s Si. Привлекательность интегральных уравнений с запаздыванием состоит в возможности приближенного нахождения резольвентных ядер как частичных сумм определяющих их рядов, а реализованные с помощью ЭВМ современные средства вычислений позволяют найти их с достаточной для практических нужд степенью точности. При этом удается: установить критерии устойчивости некоторых типов периодических моделей вида (1); полученные критерии проверить на практике, в том числе4 с применением компьютера; найти экспоненциальную оценку их решении не только с отрицательным показателем, но и с положительным, если. конечно, она в действительности такова; указать способ, позволяющий прикладнику от неустойчивой модели вида (1) перейти к устойчивой, а устойчивую оставить таковой же, но требующей меньших энергетических затрат на функционирование моделируемого ею устройства; рассмотреть трудно поддающийся исследованию случай несоизмеримых периодов коэффициентов и запаздываний. Приведем некоторые результаты относительно модели (1) или, что то же, относительно уравнения где х(-, ) — характеристическая функция множества А; а- -периодичеекпе {со 0) п х га-матрицы А;() измеримы и ограничены в существенном на [0,а;]; остальные условия — те же, что и для уравнения (15). Отметим, что приводимые здесь результаты в своей главной части не распространяются на уравнение (15) общего вида. Таким образом, оно является лишь удобным инструментом для изучения модели (1). Пусть i?;(-, ) — резольвентные ядра уравнения (16). Введем матрицу, играющую в этом параграфе главную роль, положив при любых t и s Заметим, что равенство (18) обобщает известную формулу Коши [37] для обыкновенного дифференциального ухзавнения. Поэтому С (-,-) называем матрицей Коши модели (1). Из (18) видно, что для получения экспоненциальной оценки решения модели (1) нужна оценка где (t,s) є D, z — комплексная переменная. Следующее утверждение устанавливает связь показателя а в оценке (19) с областью аналитичности функции T(t,s, ). Теорема 5.2.1. 1) Пусть существует р 0 такое, что функция Г(ї,,-) аналитична внутри окружности \z\ = р и ограничена на ней равномерно ПО t И S. Тогда существует CQ 0 такое, что выполняется неравенство (19). где 2) Пусть существуют а и с0 0 такие, что выполняется неравенство (19). Тоща функция Г(, s, ) аяалжтична внутри окружности \z\ = exp(-aw). Замечание. Бросается в глаза сходство теорем 4.1.1 и 5.2.1, и может возникнуть соблазн получить оценку не C(t,s), как это делаем здесь. a J?j(t,s), подобно тому как это было сделано в главе 4. Однако такой путь, как показывает анализ, к цели не приводит. Не дает желаемого результата и попытка в главе 4 получить оценку С(, s)j, как это делаем здесь.

Вспомогательные соотношения, использующие композиционное произведение ядер

Привлекательность интегральных уравнений с запаздыванием состоит в возможности приближенного нахождения резольвентных ядер как частичных сумм определяющих их рядов, а реализованные с помощью ЭВМ современные средства вычислений позволяют найти их с достаточной для практических нужд степенью точности. При этом удается: установить критерии устойчивости некоторых типов периодических моделей вида (1); полученные критерии проверить на практике, в том числе4 с применением компьютера; найти экспоненциальную оценку их решении не только с отрицательным показателем, но и с положительным, если. конечно, она в действительности такова; указать способ, позволяющий прикладнику от неустойчивой модели вида (1) перейти к устойчивой, а устойчивую оставить таковой же, но требующей меньших энергетических затрат на функционирование моделируемого ею устройства; рассмотреть трудно поддающийся исследованию случай несоизмеримых периодов коэффициентов и запаздываний.

Приведем некоторые результаты относительно модели (1) или, что то же, относительно уравнения где х(-, ) — характеристическая функция множества А; а- -периодичеекпе {со 0) п х га-матрицы А;() измеримы и ограничены в существенном на [0,а;]; остальные условия — те же, что и для уравнения (15). Отметим, что приводимые здесь результаты в своей главной части не распространяются на уравнение (15) общего вида. Таким образом, оно является лишь удобным инструментом для изучения модели (1).

Пусть i?;(-, ) — резольвентные ядра уравнения (16). Введем матрицу, играющую в этом параграфе главную роль, положив при любых t и s Заметим, что равенство (18) обобщает известную формулу Коши [37] для обыкновенного дифференциального ухзавнения. Поэтому С (-,-) называем матрицей Коши модели (1). Из (18) видно, что для получения экспоненциальной оценки решения модели (1) нужна оценка где (t,s) є D, z — комплексная переменная. Следующее утверждение устанавливает связь показателя а в оценке (19) с областью аналитичности функции T(t,s, ). Теорема 5.2.1. 1) Пусть существует р 0 такое, что функция Г(ї,,-) аналитична внутри окружности \z\ = р и ограничена на ней равномерно ПО t И S. Тогда существует CQ 0 такое, что выполняется неравенство (19). где 2) Пусть существуют а и с0 0 такие, что выполняется неравенство (19). Тоща функция Г(, s, ) аяалжтична внутри окружности \z\ = exp(-aw). Замечание. Бросается в глаза сходство теорем 4.1.1 и 5.2.1, и может возникнуть соблазн получить оценку не C(t,s), как это делаем здесь. a J?j(t,s), подобно тому как это было сделано в главе 4. Однако такой путь, как показывает анализ, к цели не приводит. Не дает желаемого результата и попытка в главе 4 получить оценку С(, s)j, как это делаем здесь. Пусть Л - наибольшее по модулю собственное число матрицы С ($-2,S\). На основании теоремы Поскольку матрица C(.S2,S[) может быть найдена лишь в исключительных случаях, то в 5.4 строится алгоритм ее (и, как следствие. Л) приближенного вычисления, позволяющий провести конструктивное исследование устойчивости изучаемой модели. В качестве иллюстрации доказана устойчивость одной из моделей динамики уровня основных производственных фондов. Показатель а в оценке (19) может оказаться положительным; либо отрицательным, но большим по модулю. Поскольку то и другое в реальных системах нежелательно, в 5.5 разработана методика, позволяющая для этих случаев, взяв j 0, от модели (1) перейти к устойчивой модели. Матрицы Д,-(-,-), а, следовательно, и С(-,-), удовлетворяют третьему но условий на ядра уравнения (25). Поэтому радиус окружности, внутри которой функция Г( ) ана-литична, отличен от 0. Этот прием с технической точки зрения означает введение в моделируемое устройство обратной связи, которая и позволяет от неустойчивой модели перейти к устойчивой, а устойчивую оставить таковой же, но требующей меньшего потребления энергии моделируемым устройством. Отметим, что на практике для этого конструируются блоки запаздывания, включаемые в линии обратной связи, причем в отличие от нас величина запаздывания подбирается эмпирически. Стремясь возможно более точно описать моделируемое устройство, в главе 6 рассматриваем случай, когда в модели (1) периоды коэффициентов А{ и запаздываний #г- несоизмеримы. Главную роль здесь играет вводимый нами класс слабо периодических матричных функций, "близких" к Д.

Похожие диссертации на Функционально-дифференциальные модели (Теория и приложения)