автореферат диссертации по информатике, вычислительной технике и управлению, 05.13.18, диссертация на тему:Аналитическое и численное исследования оптимального управления в полулинейных моделях гидродинамики и упругости
Автореферат диссертации по теме "Аналитическое и численное исследования оптимального управления в полулинейных моделях гидродинамики и упругости"
На правах рукописи
Манакова Наталья Александровна
АНАЛИТИЧЕСКОЕ И ЧИСЛЕННОЕ ИССЛЕДОВАНИЯ ОПТИМАЛЬНОГО УПРАВЛЕНИЯ В ПОЛУЛИНЕЙНЫХ МОДЕЛЯХ ГИДРОДИНАМИКИ И УПРУГОСТИ
05.13.18 — математическое моделирование, численные методы и
комплексы программ
3 0 СЕН 2015
АВТОРЕФЕРАТ диссертации на соискание ученой степени доктора физико-математических наук
ЧЕЛЯБИНСК - 2015
005562827
005562827
Работа выполнена в ФГБОУ ВПО «Южно-Уральский государственный университет» (национальный исследовательский университет).
Научный консультант:
доктор физико-математических наук, профессор Свиридюк Георгий Анатольевич. Официальные оппоненты:
доктор физико-математических наук, старший научный сотрудник Чистяков Виктор Филимонович, ФГБУН «Институт динамики систем и теории управления им. В.М. Матросова> СО РАН, лаборатория системного анализа и вычислительных методов, главный научный сотрудник;
доктор физико-математических наук, профессор Кризский Владимир Николаевич,
ФГБОУ ВПО «Башкирский государственный университет», Стерлитамакский филиал, кафедра математического моделирования, профессор;
доктор физико-математических наук, профессор Сукачева Тамара Геннадьевна, ФГБОУ ВПО «Новгородский государственный университет им. Ярослава Мудрого», кафедра алгебры и геометрии, заведующий кафедрой.
Ведущая организация:
ФГБОУ ВПО «Воронежский государственный университет».
Защита состоится 24 декабря 2015 года в 13:30 часов на заседании диссертационного совета Д 212.298.14 при Южно-Уральском государственном университете, по адресу: 454080, г. Челябинск, пр. Ленина, 76, ауд. 1001 (ГУК).
С диссертацией можно ознакомиться в библиотеке Южно-Уральского государственного университета и на сайте: http://www.susu.ac.ru/ш/dissertation/ d-21229814 iiianakova-natalya-alcksaiidrovna /.
Автореферат разослан 23 сентября 2015 года.
Ученый секретарь диссертационного совета,
доктор физ.-мат. наук, доцент
A.B. Келлер
ОБЩАЯ ХАРАКТЕРИСТИКА РАБОТЫ
Актуальность исследования. Диссертационная работа посвящена разработке новых аналитических и численных методов исследования оптимального управления в математических моделях на основе вырожденных полулинейных уравнении математической физики. Актуальность изучения такого рода моделей обусловлена необходимостью решения важных прикладных задач в гидродинамике, электродинамике и теории упругости. Исследованию таких математических моделей посвящены работы А.Г. Свешникова, М.О. Корпусова, В.Н. Кризского, Ю.И. Сапронова, А.Д. Баева, В.А. Костина и многих других. Аналитическое и численное исследования вырожденных математических моделей стали возможными благодаря развитию теории уравнений соболевского типа. Изучению вырожденных линейных математических моделей посвящены работы Г.А. Свиридюка, A.B. Келлер, A.A. Замышляевой, С.А. Загребиной, М.В. Фалалеева и многих других. Линейные модели хорошо изучены, но, тем не менее, полулинейные математические модели, хотя и менее исследованы, более адекватно описывают изучаемые процессы. Как правило, процессы, протекающие в механике, технике и производстве, управляемы, поэтому в прикладных задачах часто возникает необходимость в управлении внешним воздействием на изучаемые процессы, позволяющим достигать требуемого результата. Прежде чем исследовать управление в математических моделях, необходимо показать разрешимость начальных задач для них.
Систематическое изучение начально-краевых задач для уравнений, не разрешенных относительно производной по времени, началось в 40-х годах прошлого столетия с работ C.JI. Соболева. Такие уравнения P.E. Шоуолте-ром было предложено называть уравнениями соболевского типа. В настоящее время они составляют самостоятельную часть теории неклассических уравнений математической физики. Сформировались научные направления и школы по их изучению как в России, так и за рубежом. Данной области исследования посвящены работы P.E. Шоуолтера, А. Фавини, А. Яги, Г.В. Демиденко, C.B. Успенского, Н.В. Сидорова, М.В. Фалалеева, М.О. Корпусова, А.Г. Свешникова, И.В. Мельниковой, С.Г. Пяткова, А.И. Кожанова, Г.А. Свиридюка, Т.Г. Сукачевой, В.Е. Федорова, Ю.Е. Бояринцева, В.Ф. Чистякова, М.В. Булатова и многих других.
В работах Ж.-Л. Лионса, А.Г. Бутковского, A.B. Фуреикова, В.И. Иваненко, Н. Папагеоргиу, Г.О. Фатторини, С.С. Сритхарана, И. Лазиецкой, Р. Триджиани и многих других рассматривались задачи оптимального управ-
лення для уравнений в частных производных. Изучению управляющего воздействия в вырожденных линейных моделях и разработке математических методов носвящены работы Г.А. Свиридюка, A.A. Ефремова, Г.А. Куриной, В.Е. Федорова, М.В. Плехановой, A.B. Келлер, A.A. Замышляевой и других. Несмотря на большой охват исследований задач оптимального управления для распределенных систем, вопросы управления решениями вырожденных нелинейных систем остаются недостаточно изученными. Наиболее сложным из них является построение эффективных численных методов решения задачи оптимального управления. Это прежде всего обусловлено тем, что получение аналитического решения или распространение уже существующих подходов для нахождения численных решений задач оптимального управления для нелинейных вырожденных уравнений математической физики невозможно. Развитие математических методов позволяет обращаться к решению таких задач все чаще. Построению алгоритмов численного решения линейных задач оптимального управления для вырожденных математических моделей посвящены работы В.Ф. Чистякова, C.B. Гайдомак, A.B. Келлер и других.
Актуальность диссертационной работы обусловлена необходимостью создания эффективных аналитических и численных методов исследования оптимального управления в прикладных математических моделях, основанных на полулинейных вырожденных неклассических уравнениях математической физики, востребованных в гидродинамике, геологии при изучении фильтрации жидкости, в нефтедобыче, в теории упругости, электродинамике и других предметных областях. Диссертационная работа примыкает к направлению, созданному н возглавляемому Г.А. Свиридюком, основными методами исследования которого являются метод фазового пространства и метод вырожденных (полу)грунп операторов. В диссертационной работе исследуется оптимальное управление для математических моделей, которые относятся к классу полулинейных моделей соболевского типа.
Математическая модель Осколкова нелинейной фильтрации. В цилиндре х рассмотрим условие Дирихле
x(s,t) = 0, (s,t) еЭПхМ (1)
для уравнения Осколкова нелинейной фильтрации
(Л - A)xt - а Ах + \х\р~2х = и, р> 2. (2)
Искомая функция х = x(s, t) соответствует давлению фильтрующейся жидкости; параметры а, Л G R+ характеризуют вязкие и упругие свойства жид-
кости соответственно; свободный член и — отвечает внешнему воз-
действию. Условие Дирихле (1) и уравнение (2) образуют модель Оскол-кова нелинейной фильтрации, которая описывает процесс фильтрации вяз-коупругой несжимаемой жидкости. В данной модели управление внешним воздействием (истоки и стоки жидкости соответственно) направлено на достижение требуемого давления жидкости в пласте с наименьшими затратами (модель регулирования давления фильтрующейся жидкости). Различные начально-краевые задачи для уравнения (2) в разных аспектах были исследованы А.П. Осколковым1 в случае положительности параметра Л.
Математическая модель динамики слабосжимаемой вязкоупру-гой жидкости. Пусть С Еп - ограниченная область с границей дП класса С00. В цилиндре Г2 х М+ рассмотрим систему уравнений движения жидкости Кельвина - Фойгта, которую принято называть системой уравнений Оскол-кова
(1 - *:У2)х, = г/У2х - (х ■ У)х - р + и, У(У • х) = 0, (3)
гдер = Ур - градиент давления; вектор-функциях = х(в^) = (х^хг, —,хп) - вектор скорости жидкости: и = гф, V) = (щ, и2,..., ип) - вектор объемных внешних сил, характеризующий внешнее воздействие; коэффициент системы - время ретардации, характеризующее упругие свойства жидкости; V 6 М+ - кинематический коэффициент вязкости, характеризующий вязкие свойства жидкости Кельвина - Фойгта пулевого порядка. Условие Дирихле (1) и уравнение (3) образуют математическую модель динамики слабосжимаемой вязкоупругой жидкости, которая описывает процесс движения жидкости Кельвина - Фойгта нулевого порядка. В данной модели управление внешним воздействием направлено на достижение с наименьшими затратами требуемой скорости движения жидкости (модель регулирования скорости движения жидкости Кельвина - Фойгта пулевого порядка). А.П. Осколков2 построил теорию глобальной разрешимости задачи Копти - Дирихле для невырожденного уравнения (3) на [0, +оо) в слабом смысле в случае п = 3. В работе М.О. Корпусова и А.Г. Свешникова рассмотрен вопрос разрушения решения системы уравнений Осколкова с кубическим источником в классе слабых обобщенных решений.
'Осколков, А.П. Начально-краевые задачи для ураянений движения нелинейных вязкоупругих жидкостей / А.П. Осколкоя // Записки научных семинаров ЛОМИ. - 1985. - Т. 147. - С. 110-119.
2Осколков, А.П. О некоторых нестационарных линейных и квазилинейных системах, встречающихся при изучении движения вязких жидкостей / А.П. Осколков // Записки научных семинаров ЛОМИ. -1976. - Т. 59. - С. 133-137.
Обобщенная математическая модель Хоффа. В цилиндре Q х R+ рассмотрим условие Дирихле (1) для обобщенного уравнения Хоффа
(—Л - A)xt + о.\Х + а2х3 + а2хь + ... + ак-ix2k~* + akx2k~l = и. (4)
Уравнение (4) получено Н.Дж. Хоффом3 в случае п = 1. Искомая функция х = x(s,t) показывает отклонение балки от вертикали под действием постоянной нагрузки Л G R+. Параметры ctj G R+, j = 1,...,к. характеризуют свойства материала балки; свободный член и = u(s,t) соответствует внешней (боковой, в случае п = 1) нагрузке. Условие Дирихле (1) и уравнение (4) образуют математическую модель изменения формы двутавровой балки, находящейся под постоянной нагрузкой Л. Оптимальное управление позволяет определять наименьшее внешнее воздействие (нагрузку u(s,t)), при помощи которого двутавровая балка примет требуемую форму. Однозначная разрешимость задачи Коши для модели (1). (4) была установлена Г.А. Свиридюком4.
Обобщенная математическая модель деформации конструкции из двутавровых балок. Рассмотрим конечный связный ориентированный граф G = G(V;£), где V = {V^fl-y - множество вершин, а £ = {Ej}f=i - множество дуг. Предположим, что каждая дуга имеет длину lj > 0 и площадь поперечного сечения dj > 0. На графе G рассмотрим уравнения
-Xxjt - Xjtss + a)xj + a2x:j + ... + ctkjxf~l = Uj .
для всех s £ (0,lj), t G R,j = 1,7V. ^
Для уравнений (5) в каждой вершине Vi, г = 1, М, зададим краевые условия
У^ djXjS(Q,t)- drxrs(lr,t) = 0, (6)
j:EjeE«(Vi) r:EreE"{V,¡)
xr(Q,t) = Xj(0, t) = xh(lh,t) = xm{lm,t), (7)
для всех Er,Ej G Ea(Vi), Eh,Ern € E"(Vi), которые являются аналогами законов Кирхгоффа. Здесь через Еа^и\У{) обозначено множество дуг с началом (концом) в вершине Vj. Искомая функция xj = Xj(s,t) показывает отклонение j-й балки от вертикали под действием постоянной нагрузки Л G R+. Параметры а^ G К+ характеризуют свойства материала j-й балки; свободный член uj = uj(s,t) соответствует внешней нагрузке на j-ый
3Hoff, N.J. Creep Buckling / N.J. Hoff // Journal of the Aeronautical Sciences. - 1956. - № 7. - P. 1-20.
4Свиридюк, Г.А. Квазистационарные траектории полулинейных динамических уравнений типа Собо-
лева / Г.А. Свиридюк // Известия АН СССР. Серия математическая. - 1993. - Т. 57, Л* 3. - С. 192-207.
элемент конструкции. Краевые условия (С). (7) и уравнения (5) образуют математическую модель изменения формы двутавровых балок в конструкции. Оптимальное управление позволяет определять наименьшую боковую нагрузку г^(в^)) на >ый элемент, при помощи которой конструкция из двутавровых балок примет требуемую форму. Уравнения Хоффа па графах5 впервые были изучены в случае к = 1.
Математическая модель распределения потенциала электрического поля в полупроводнике. В цилиндре Г2 х Е+ рассмотрим условие Дирихле (1) для неклассического уравнения
где р > 2, а > 0, причем область П занимает полупроводник, в котором имеется источник тока свободных зарядов и он «заземлен». Условие Дирихле (1) и уравнение (8) определяет распределение потенциала электрического поля в полупроводпике. В данной модели управление внешним воздействием направлено на достижение с наименьшими затратами требуемого распределения потенциала электрического поля (модель регулирования распределения потенциала электрического поля в полупроводпике). Начально-краевая задача для уравнения (8) в случае отрицательности параметра а была исследована М.О. Корпусовым и А.Г. Свешниковым6, и доказаны разрешимость и единственность данной задачи в слабом обобщенном смысле.
Обобщенная фильтрационная модель Буссинеска. В цилиндре П х М+ рассмотрим условие Дирихле (1) для обобщенного фильтрационного уравнения Буссинеска
Уравнение (9) получепно Е.С. Дзекцером7. Здесь искомая функция х = x(s, t) отвечает потенциалу скорости движения свободной поверхности фильтрующейся жидкости; параметры а € R+, А. € К характеризуют среду; свободный член и = u(s,t) соответствует внешнему воздействию. Условие
°Свиридюк, Г.А. Уравнения Хоффа на графе / Г.А. Свиридюк, В.В. Шеметова // Дифференциальные уравнения. - 2Q0G. - Т. 42, 1. - С. 12G 131.
Корпусов, М.О. О «разрушении» решения сильно нелинейного уравнения псевдопараболического типа с двойной нелинейностью / М.О. Корпусов, А.Г. Свешников // Математические заметки. - 2006. -Т. 79, .V 6. - С. 879 -899.
7Дзекцер, Е.С. Обобщение уравнения движения грунтовых вод / Е.С. Дзекцер // Доклады Академии наук СССР. - 1972. - Т. 202, .V о. - С. 1031-1033.
(А - A)xt - А(|а;|р-2х) = и, р > 2.
(9)
Дирихле (1) и уравнение (9) моделируют процесс фильтрации жидкости. В данной модели управление внешним воздействием (истоки и стоки жидкости соответственно) направлено на достижение с наименьшими затратами требуемого распределения потенциала скорости движения свободной поверхности фильтрующейся жидкости (модель регулирования распределения потенциала скорости движения свободной поверхности фильтрующейся жидкости). Начально-краевые задачи для уравнения (9) в различных постановках изучались Г.А. Свиридюком и его учениками.
Рассмотрим задачу оптимального управления
J(x, и) —>■ min, и е itad, (10)
где пары (х, и) удовлетворяют полулинейному уравнению
к
L х +Мх + ^ Щх) = и, ker L ± {0} (11)
j=1
с начальным условием Коши
х(0) = х0 (12)
или начальным условием Шоуолтера - Сидорова
L(x(0) - х0) = 0. (13)
Здесь J(x,u) - некоторый специальным образом построенный функционал стоимости; управление и G iXad-, где ita(; - некоторое непустое, замкнутое и выпуклое множество в пространстве управлений 11. Рассматриваемые математические модели в специальным образом подобранных функциональных банаховых пространствах X и it редуцируются к абстрактному полулинейному уравнению соболевского типа (11), что позволило разработать общий метод исследования задачи оптимального управления для данного класса математических моделей и математический аппарат для реализации численных методов исследования. Задача оптимального управления для изучаемых математических моделей в данной постановке исследуется впервые.
Целью работы является математическое моделирование, аналитическое и численное исследования оптимального управления в полулинейных задачах гидродинамики и теории упругости с разработкой и реализацией в виде комплекса программ методов и алгоритмов численного решения. Для достижения поставленной цели необходимо реализовать следующие задачи:
8
1. Исследовать математическую модель динамики слабосжимаемой вяз-коупругой жидкости; математическую модель Осколкова нелинейной фильтрации; обобщенную математическую модель Хоффа; математическую модель деформации конструкции из двутавровых балок; математическую модель распределения потенциала электрического поля в полупроводнике; математическую фильтрационную модель Буссинеска с начальными условиями Шоуолтера - Сидорова или Коши.
2. Разработать численный метод исследования задачи Шоуолтера - Сидорова или Коши для абстрактных полулинейных математических моделей соболевского типа. Доказать сходимость численного метода.
3. Исследовать оптимальное управление в абстрактных полулинейных математических моделях соболевского типа с начальными условиями Шоуолтера - Сидорова или Коши.
4. Разработать численный метод исследования задачи оптимального управления для абстрактных полулинейных математических моделей соболевского типа с начальными условиями Шоуолтера - Сидорова или Коши.
5. Исследовать оптимальное управление в математической модели динамики слабосжимаемой вязкоупругой жидкости с начальным условием Шоуолтера - Сидорова; математической модели Осколкова нелинейной фильтрации с начальными условиями Шоуолтера - Сидорова или Коши; обобщенной математической модели Хоффа с начальными условиями Шоуолтера - Сидорова или Коши; обобщенной математической модели деформации конструкции из двутавровых балок с начальными условиями Шоуолтера
- Сидорова или Коши; математической модели распределения потенциала электрического поля в полупроводнике с начальными условиями Шоуолтера
- Сидорова или Коши; обобщенной математической фильтрационной модели Буссинеска с начальными условиями Шоуолтера - Сидорова пли Коши.
0. Разработать и реализовать комплекс программ нахождения численного решения задачи Шоуолтера - Сидорова или Коши для моделей, основанных на полулинейных уравнениях соболевского типа.
7. Разработать и реализовать комплекс программ нахождения численного решения задачи оптимального управления с условиями Шоуолтера -Сидорова или Коши для моделей, основанных на полулинейных уравнениях соболевского типа.
8. Провести вычислительные эксперименты для модельных и реальных задач, подтверждающих эффективность предложенных алгоритмов, методов, подходов.
Научная новизна. В области математического моделирования:
В диссертационной работе впервые проведены аналитическое и численное исследования полулинейных математических моделей, описывающих процессы упругости, гидродинамики, электрического поля, основанные на полулинейных уравнениях соболевского типа, и оптимального управления в них. Создана теоретическая основа для численного исследования изучаемых моделей: доказаны теоремы существования и единственности решений задачи Коши и задачи Шоуолтера - Сидорова для полулинейного уравнения соболевского типа с й-монотонным и р-коэрцитивным оператором, билинейным оператором.
Впервые предложен общий метод исследования задачи оптимального управления для рассматриваемого класса математических моделей; приведены необходимые условия существования оптимального управления для них. Полученные теоретические результаты позволяют системно исследовать класс изучаемых моделей и могут быть применены к обширному классу задач математической физики.
В области численных методов:
Разработаны новые алгоритмы численных методов, использующие идеи методов Галеркина, декомпозиции и многомерного покоординатного спуска с памятью, позволяющие находить приближенные решения задач оптимального управления для изучаемых полулинейных моделей математической физики. Установлена сходимость приближенных решений к точному.
В области комплексов программ:
Разработан комплекс программ нахождения приближенного решения задач Коши и Шоуолтера - Сидорова для полулинейных моделей соболевского типа на отрезке, прямоугольнике, круге, графе, а также комплекс программ приближенного решения задачи оптимального управления на основе методов декомпозиции и многомерного покоординатного спуска с памятью. Разработанные комплексы программ позволяют проводить вычислительные эксперименты для модельных и реальных задач, исследовать эффективность предложенных алгоритмов, методов, подходов.
Все результаты, выносимые на защиту, являются новыми и получены автором лично. Достоверность полученных результатов обеспечена полными доказательствами всех утверждении, соответствующими современному уровню математической строгости.
Теоретическая и практическая значимость. Исследуемые в диссертации математические модели объединены одним классом математических
задач, для которого построена завершенная теория оптимального управления для полулинейных моделей соболевского тина с s-монотонными и р-коэрцитивными или билинейным операторами. Полученные достаточные условия существования слабого обобщенного решения задачи Коши или задачи Шоуолтера - Сидорова для полулинейного уравнения соболевского типа с s-монотонным и р-коэрцитивным или билинейным операторами развивают теорию уравнений соболевского типа и теорию дифференциальных уравнений на графах.
Исследование существования оптимального управления для указанного выше класса математических моделей, разработанные численные методы решения задачи оптимального управления с доказательством сходимости приближенного решения к точному вносят вклад в развитие теории оптимального управления. Полученные абстрактные результаты применимы к исследованию математических моделей, описывающих процессы упругости, фильтрации, электрического поля.
Комплексность результатов, полученных при исследовании изучаемых математических моделей, позволяет использовать их при решении прикладных задач: модели Осколкова и Буссинеска - в гидродинамике, геологии при изучении фильтрации жидкости, в нефтедобыче; математические модели Хоффа, деформации конструкции из двутавровых балок - в теории упругости; математическую модель распределения потенциала электрического поля в полупроводнике - в электродинамике. Полученные результаты создают основу для исследования других полулинейных некласснческих моделей математической физики.
Разработанные алгоритмы численных методов реализованы в виде комплекса программ (Maple 18.0, С+ + ), с помощью которых были проведены вычислительные эксперименты, представлены возможности предлагаемых подходов и методов численного исследования. Комплекс программ построен на модульной основе, что позволяет использовать модули при разработке других программ для исследования различных математических моделей.
Методы исследования основаны на использовании современных методов математического моделирования, функционального анализа, теории оптимального управления. Для изучения вопроса разрешимости задачи Коши (И), (12) и задачи Шоуолтера — Сидорова (11), (13) существенным является построение и исследование фазового пространства исходного уравнения. Главным методом исследования является метод фазового пространства, ос-
новы которого были разработаны Г.А. Свиридюком и Т.Г. Сукачевой8. Для изучения вопроса существования решения задачи Коши и задачи Шоуолтера - Сидорова для уравнения (11) с самосопряженным, неотрицательно определенным, фредгольмовым оператором L и s-монотонным и р-коэрцитивным оператором M наряду с методом фазового пространства используется метод монотонности, а при построении приближенных решений - модифицированный метод Галеркина. Для изучения вопроса существования решения задачи Шоуолтера - Сидорова для уравнения (11) с билинейным оператором M наряду с методом фазового пространства используется метод монотонности в сочетании с методом компактности.
Исследование существования решения задач оптимального управления (10) - (12) и (10), (11), (13) опирается на метод монотонности и компактности. Приближенные решения строятся на основе модифицированного метода Галеркина с использованием метода декомпозиции. Он позволяет переходить к рассмотрению эквивалентной задачи, в которой исходное уравнение состояния редуцируется к системе линейных относительно искомого состояния х уравнений. Далее применяются известные методы минимизации функционала на заданном множестве допустимых управлений. Кроме того, разработан метод, в котором уравнение состояния рассматривается как ограничение, налагаемое на систему. Задача минимизации заданного функционала на множестве допустимых пар «управление - состояние» решается методом многошагового покоординатного спуска с памятью с использованием основных идей алгоритма, разработанного A.B. Келлер.
Апробация. Результаты, изложенные в диссертации, докладывались на VI международной конференции, посвященной 105-летию со дня рождения акад. М.А. Лаврентьева, «Лаврентьевские чтения по математике, механике и физике» (Новосибирск, 2005), Всероссийской научной конференции «Математика, механика, информатика» (Челябинск, 2006), Международной конференции «Тихонов и современная математика» (Москва, 2006), Международной конференции по дифференциальным уравнениям, посвященной 100-летию со дня рождения Я.Б. Лопатпнского (Львов, Украина, 2006), Международной конференции «Дифференциальные уравнения, теория функций и приложения», посвященной 100-летию со дня рождения акад. И.Н. Векуа (Новосибирск, 2007), X всероссийском симпозиуме по прикладной и промышленной математике (Сочи, 2009), Международной конференции «Воро-
8Свнриднж, Г.А. Фазовые пространства одного класса операторных полулинейных уравнений типа Соболева / Г.А. Свиридюк, Т.Г. Сукачева // Дифференциальные уравнения. - 1990. - Т. 26, № 2. -С. 250-258.
нежская зимняя математическая школа» (Воронеж, 2012), Всероссийском научном семинаре «Неклассические уравнения математической физики», посвященном 65-летию проф. В.Н. Врагова (Якутск, 2010), Международной конференции «Современные проблемы прикладной математики и механики: теория, эксперимент и практика», посвященной 90-летию со дня рождения акад. Н.Н. Яненко (Новосибирск, 2011), Всероссийской конференции «Дифференциальные уравнения и их приложения», (Самара, 2011), Международной конференции «Алгоритмический анализ неустойчивых задач», посвященной памяти В.К. Иванова (Екатеринбург, 2011), XIII всероссийском симпозиуме по прикладной и промышленной математике (Москва,
2012), Международной научно-практической конференции «Измерения: состояние, перспективы развития» (Челябинск, 2012), XXIII национальном научном симпозиуме с международным участием «Metrology and Metrology Assurance 2013» (Созополь, Болгария, 2013), Международной конференции «Международная летняя математическая школа памяти ВА. Плотникова» (Одесса, Украина, 2013), Международной конференции «Дифференциальные уравнения. Функциональные пространства. Теория приближений», посвященной 105-летию со дня рождения C.JI. Соболева (Новосибирск,
2013), Международной конференции «Semigroups of Operators: Theory and Applications» (Бжедлево, Польша, 2013), Международной конференции по дифференциальным уравнениям и динамическим системам (Суздаль, 2014), XII всероссийском совещании по проблемам управления (Москва, 2014), Всероссийской конференции с международным участием «Алгоритмический анализ неустойчивых задач», посвященной памяти В.К. Иванова (Челябинск,
2014), Международном симпозиуме «Вырожденные полугруппы и пропага-торы уравнений соболевского типа» (Челябинск, 2014), XV всероссийском симпозиуме по прикладной и промышленной математике (Сочи, 2014).
Ряд результатов диссертационного исследования был представлен и обсужден на семинарах профессора Г.А. Свиридюка в Южно-Уральском государственном университете (г. Челябинск), профессора А. Фавшш в Болон-ском университете (г. Болонья, Италия).
Результаты диссертационного исследования были представлены и обсуждены на Всероссийской конференции «Дифференциальные уравнения и их приложения», (Самара, 2015), на XVI всероссийском симпозиуме по прикладной и промышленной математике (Челябинск, 2015), семинаре профессора С.И. Кадченко в Магнитогорском государственном техническом университете им. Носова (г. Магнитогорск).
Публикации. По результататам диссертации опубликовано 57 научных работ, в том числе: 16 статей [1 - 16] опубликованы в рецензируемых научных журналах и изданиях, рекомендованных ВАК Минобрнауки РФ, из них 7 статей [1, 3, 4, 9, 12, 13, 15] - в изданиях, индексируемых базой данных Scopus, а также 4 свидетельства о регистрации программ [18 - 21]. Из совместных работ [1 - 3, 6 - 11, 15, 16, 27, 28, 30] в диссертацию вошли только результаты, полученные автором лично.
Структура и объем работы. Диссертационная работа объемом 255 страниц содержит введение, пять глав, заключение, приложения и список литературы, включающий 220 наименований.
Краткое содержание диссертации
Во введении обосновываются актуальность темы исследования, постановка задачи, определяются цель и задачи работы, дается обзор методов исследования по проблематике диссертации.
Первая глава посвящена построению математических моделей, которые можно отнести к классу полулинейных моделей соболевского типа, и состоит из девяти параграфов. В первом и втором параграфах содержатся некоторые сведения нелинейного функционального анализа, о функциональных пространствах и дифференциальных операторах, используемые в дальнейшем исследовании и построении математических моделей. Данные параграфы носят вспомогательный характер. Третий параграф посвящен исследованию морфологии фазового пространства уравнения (11) в эволюционном и динамическом случаях.
Пусть И = (Н: (•,•)) ~ вещественное сепарабельное гильбертово пространство, отождествленное со своим сопряженным; (ij,^*) и = 1 ,к,к G N - дуальные (относительно двойственности (-, •)) пары рефлексивных банаховых пространств. Пусть L 6 £(-£}; ij*) - линейный, непрерывный, самосопряженный, неотрицательно определенный, фредгольмов оператор, чей оргонормальный (в смысле^) набор собственных векторов {<fk} образует базис в пространстве ij, а М G £(ij;i}*) - линейный, непрерывный, симметричный, 2-коэрцитивный оператор. Пусть Nj G 3*j),r > 1 ,j =
1 ,к — s-монотонные и pj-коэрцитивные операторы, где pj > 2 и рк = maxpj,
j
имеющие симметричную производную Фреше.
Динамический случай. Пусть вложения
Sj ^ ... 051 Н <-> Q3j ^
^ Щ ^ V
плотны и непрерывны. Сделаем допущение:
(1-<5)ине зависит от £ е (О, Г), (14)
здесь оператор С} - проектор вдоль сокег I на ¡т Ь. Рассмотрим множество
ш = | {ж е Я : (I -Я)Мх + (I -<2) £ мз{х) = (I -С?)и}, если кег Ьф{ 0}; [ Г), если кег£ = {0}.
Теорема 1. (1.3.1)9 Пусть выполнено условие (Ц), тогда множество есть банахово Сг-многообразие, диффеоморфио проектирующееся вдоль кег Ь на сопи Ь всюду, за исключением, быть может, точки нуль.
Эволюционный случай. Пусть вложения
Ък ^ ... ^ Ъх ^ ?-) ^ и ^ <-> ЯЗ; ... Щ
плотны и непрерывны. Рассмотрим множество
к
Ш =
{х 6 <Зк : (l-Q)Mx + (I —Q) £ Щх) = (I-Q)u}, если kerb ф {0};
i=i
93 если kerL = {0},
здесь Q - проектор пространства Щ вдоль coker L на im L, где im L замыкание im L в топологии tBjf..
Теорема 2. (1.3.2) Пусть выполнено условие (14), тогда множество 9Л есть банахово С-многообразие, диффеоморфио проектирующееся вдоль ker L на. <Вк = coiin L П 25;,. всюду, за исключением, быть может, точки нуль.
Параграфы с четвертого по девятый содержат аналитическое исследование математической модели Осколкова нелинейной фильтрации (1), (2); математической модели динамики слабосжимаемой вязкоупругой жидкости (1), (3); обобщенной математической модели Хоффа (1), (4); обобщенной математической модели деформации конструкции из двутавровых балок (5) -(7); модели распределения потенциала электрического поля в полупроводнике (1), (8); обобщенной математической фильтрационной модели Буссинеска (1), (9). Проводится и обосновывается редукция математических моделей к абстрактному уравнению (11), и строятся фазовые пространства уравнений.
9В скобках указана нумерация п диссертации.
Вторая глава содержит шесть параграфов и посвящена исследованию абстрактной задачи оптимального управления. Первый параграф посвящен исследованию разрешимости задачи Коши (11), (12) для динамического и эволюционного случаев. Рассмотрим динамический случай. Построим пространство
X = {х\ х е Ьх{0,Т;со\т Ь) П ЬРк(0,Т;Ш), х & Ь2(0,Т;Ъ)}.
Определение 1. (2.1.1) Слабым обобщенным решением уравнения (11) назовем вектор-функцию х € X, удовлетворяющую условию
о
(ь^-х, + (Мх, го) + Е (Щх), го) Угое^У^е Ь2(0,Т).
т
(11 = 1 ф) (и,го) сИ о
Решение уравнения (11) назовем решением задачи Коши, если оно удовлетворяет (12).
Построим галеркинские приближения решения задачи(11), (12). Для этого выберем в ^ ортонормальную (в смысле И) тотальную систему {9?;} так, чтобы врап^!, = кег£,сНткегЬ = I. Построим галеркинские
приближения решения задачи (11), (12) в виде
ш
хт(1) = ^2щ(1)^,т>1, (15)
г=1
где коэффициенты щ = а;(£), г = 1,...,т определяются следующей задачей: + (л/хт + ^ 'л) = ^' (х"!(0) " "г'0' ^ =
хт(0) —Хо сильно в пространстве
Теорема 3. (2.1.1) При любых хц £ ОТ, Т £ М+, и € Ь2(0,Т;£)*) таких, что выполнено (14), существует единственное решение х ё X задачи (11), (12).
Рассмотрим задачу Коши для уравнения
к
Ьх = и. (16)
7=1
Теорема 4. (2.1.2) При любых х0 е ОТ, Т е М+, и е ЬЯк{0,Т;<В*к) таких, что выполнено (Ц), существует единственное решение х € X задачи (12), (16).
Второй параграф содержит исследование разрешимости задач Шоуол-тера - Сидорова (11), (13) и (13), (16). Обозначим через Р проектор вдоль кет Ь на со1ш Ь. Положим х1 = Рхо 6 со1т Ь. Построим пространство
= {х| х е Ьос{^,Т-со\тЬ)(Мн{0,Т-Ък), х1 е ¿г(0, Т; «мт Ь)}.
Тогда справедливы теоремы существования и единственности решения х € Х\ задач (11), (13) и (13), (16) для любого х0 е /э для динамического и эволюционного случаев.
Третий и четвертый параграфы посвящены исследованию задач оптимального управления с начальными условиями Коши и Шоуолтера - Сидорова для динамического и эволюционного случаев. Рассмотрим динамический случай. Пусть дополнительно вложение У) <е И компактно. Построим пространство 11 = £2(0,Т;^Ж) н определим в пространстве И непустое, замкнутое и выпуклое множество 11а(;. Рассмотрим задачу оптимального управления (10), (11), (13), где функционал стоимости т т
Лх,и) =$1 ||х(0 - ¿1 + (1 - /3) У |Н0||?Г А, Р е (0,1),
о о
здесь г,1 = - требуемое состояние.
Определение 2. (2.3.1) Пару (х,й) £ х 11(1,г назовем решением задачи оптимального управления (10), (11), (13), если
J(x, й) = тт ^/(х, и),
(х,и)
где пары (х,и) е £1 х И,„; удовлетворяют (И), (13) в смысле опеределения 1; вектор-функцию й назовем оптимальным управлением.
Теорема 5. (2.3.1) При любых х0 е .Г), Т £ Е+ существует решение задачи (10), (11), (13).
Построим пространство II1 = и определим в пространстве
II1 непустое, замкнутое и выпуклое множество 11^. Рассмотрим задачу оптимального управления (10), (13), (16) с функционалом штрафа т т
3{х,и)=(31 |И0-га(г)||{» Л + (1-/3) у /3 € (0,1).
о о
Теорема 6. (2.3.2) При любых хо £ ^, Т ё М^ существует решение задачи (10), (13), (16).
При рассмотрении начального условия Кош и необходимо на множество допустимых управлений наложить дополнительное ограничение. Рассмотрим динамический случай. Построим пространство И2 = {и е Ь2(0,Т;$)*) : (I-0)и = 0, « 6 (О, Г)} и пространство И3 = {и е £,№(0,Г;®£) : (1-<3)и = О, { € (О, Г)}; определим Н^ С II2 и И^ С II3 - непустые, замкнутые, выпуклые множества в пространствах управления соответственно. Тогда справедливы теоремы существования решения задач оптимального управления (10) - (12) и (10), (12), (16).
В пятом и шестом параграфах содержатся исследования разрешимости задачи оптимального управления для полулинейного уравнения с билинейным оператором и начальным условием Шоуолтера - Сидорова.
Пусть вложения 55 % »• 55* плотны и непрерывны, а вложение 55 <е И компактно; Ь 6 £(55; 55*) - линейный, непрерывный, самосопряженный, неотрицательно определенный, фредгольмов оператор, чей орто-нормальный (в смысле И) набор собственных векторов {¡рк} образует базис в пространстве 55; £ £(55; 55*) - линейный, непрерывный, 2-коэрцитивный оператор; билинейный непрерывный оператор В : 55 х 55 —> 55* такой, что
| < В(х,у),г > | < СВ|ИЫЫЫИ|Г5 Ух.у,ге 55;
< В(х,у),г >= - < В{х,г),у > Ух, у, г €55; < В{у, х), х >= 0 Уу, х е 55-
Рассмотрим полулинейное уравнение соболевского типа
Ь х+Мх + В(х,х) = и. (17)
Построим пространство X = {х| х 6 Ьх(0,Т;со\т Ь) П Ь2(0, Т;55)}.
Определение 3. (2.5.1) Слабым обобщенным решением уравнения (17) назовем вектор-функцию х а X, удовлетворяющую условию
о
с/х \
Ь—,иЛ + (Мх,и>} + (В(х,х),и>) е е Ь2(0,Т)^
т
Л = / ф) (и, ю) <Й
о I18)
Решение уравнения (17) назовем решением задачи Шоуолтера - Сидорова, если оно удовлетворяет (13).
Теорема 7. (2.5.1) При любых х0 € Г}, Т е К+, и € Ь2{О, Т; £*) существует единственное решение х е X зидачи (13), (17).
Построим пространство управлении И = Ь2(0,Т;?У) и определим в пространстве Я непустое, замкнутое и выпуклое множество На(/.
Теорема 8. (2.0.1) При любых Хц 6 5}, Т е М+ существует решение задачи (10), (13), (17).
Третья глава посвящена исследованию задач оптимального управления для математических моделей процессов фильтрации, деформации и электрического поля и состоит из шести параграфов. На основе абстрактных результатов второй главы находятся условия существования решения задачи оптимального управления для рассматриваемых моделей. Обозначим через {рк} последовательность собственных функций однородной задачи Дирихле для оператора Лапласа (—Д) в области а через {Ад} - соответствующую последовательность собственных значений, занумерованную по неубыванию с учетом кратности.
В первом параграфе изучается задача оптимального управления для математической модели Осколкова нелинейной фильтрации. Доказаны теоремы существования и единственности слабого обобщенного решения задач Коши и Шоуолтера - Сидорова для изучаемой модели, найдены достаточные условия существования решения задачи оптимального управления, построены необходимые условия оптимального управления.
Теорема 9. (3.1.3) Пусть А > -Аь а € Е+ и п > 2, 2 < р < 2 + ^ или
О
п = 2, р е (1,+оо), тогда при любых Хц Т е М+ существует
оптимальное управление в задаче (1), (2), (10), (13).
Теорема 10. (3.1.5) Пусть А > -Аь а € К+м п > 2, 2 < р < 2 + ^ или п = 2, р е (1,+оо), если и - оптимальное управление в задаче (10), то
существует вектор-функция у е Ь.х(0, Г; сот1 Ь)ПЬ2(0, Т; И'^Ф)) такая, что
(А - Д)х, - аАх + |х|/,_2х = и, (-А + Д)у( - аАу + (Р- 1)|хГ2у = (~А)(х(и) - г<;), (в, I) е (¿Т, х(в, г) = 2/(в, о = о, (в, г) е дп х (о, т),
(А - Д)(х(б, 0) - х„(5)) = О, (—А + А)у(з, Т)=0, зеп, У (у + М{-А)~1(и))(ь> - и)<1зМ > ОУи е Иш, с ¿2(0, Г; П^-^П)).
От
Во втором параграфе исследуется задача оптимального управления для математической модели динамики слабосжимаемой вязкоупругой жидкости. Получены условия существования слабого обобщенного решения и достаточные условия существования решения задачи оптимального управления с условием Шоуолтера - Сидорова. Третий параграф посвящен изучению задачи оптимального управления для обобщенной математической модели Хоффа, Доказаны теоремы существования и единственности слабого обобщенного решения задач Коши и Шоуолтера - Сидорова для изучаемой модели, найдены достаточные условия существования решения задачи оптимального управления, посторены необходимые условия оптимального управления.
В четвертом параграфе изучается задача оптимального управления для математической модели деформации конструкции из двутавровых балок. Доказаны теоремы существования и единственности слабого обобщенного решения задач Коши и Шоуолтера - Сидорова для изучаемой модели, найдены достаточные условия существования решения задачи оптимального управления, посторены необходимые условия оптимального управления в случае к = 1. Пусть fj = {х = (x\,x2,...,xj,...) : Xj € Wj(0,lj) и выполнено условие (7)}, U„rf С L 2* (О,T;L 2k (G)).
4 ' 2к— 1 v 2Jc — 1 4 "
Теорема 11. (3.4.3) Пусть X + а < fii, а" £ R+, п = 1 ,...,к, тогда при любых Хо £ Sj существует оптимальное управление в задаче (5) - (7), (10), (13).
Теорема 12. (3.4.5) Пусть X + а < ц\, aj, а2 £ М+, если и - оптимальное управление в задаче (10), то существует вектору £ Loo(0,Т;coim L) П L2(0,T;Sj) такой, что
—Xxjt — Xjtss + ajXj + ajXj = iíj, для всех s £ (0, lj), t £ R, j = 1, N, Xyjt + Vjtss + a)yj + aftxjy = (xj - zjdf, для всех s £ (0, lj), te R, j = 1 ,N,
У1 djXjS(0, t) — drxrs(lr,t) = 0,
r-.ETeE"(Vi)
xr(0, t) = Xj(0, í) = xh(lh, t) = xm(lm, t),
djVjs{Q,t)- dryrs(lT,t)=0,
yr(0,t) = 2/j(0,í) = yh{¡h,t) = ym(lm,t), (A + A)(xj(s, 0) — xcj(s)) = 0, для всех s € (0, lj), 20
(Л + А)(у^а, Т) - уф)) = 0, для всех з 6 (0, /,), г Г (>
IФ) Е Ъ /^ + иЫч - и№
п Е,еЕ п
Л > О \/у £ 11ш;.
Пятый параграф содержит изучение задачи оптимального управления для модели распределения потенциала электрического поля в полупроводнике. Доказаны теоремы существования и единственности слабого обобщенного решения задач Коши и Шоуолтера - Сидорова для изучаемой модели, найдены достаточные условия существования решения задачи оптимального управления, посторены необходимые условия оптимального управления.
О
Теорема 13. (3.5.3) Пусть А > —Аг, тогда при любых хо суще-
ствует оптимальное управление в задаче (1), (8), (10), (13).
Теорема 14. (3.5.5) Пусть А > —Аь если и - оптимальное управление в
задаче (10), то существует вектору е Ьх{0,Т; алт Ь) П Ьр(0. Т; И' такой, что
— (Ах - Дх) - Арх + аА|х|!'~2х = и,
П Л
-(-А + А)у - —((р - 1)|х6,Г2)г/ + а(р - 1)|хГ2у = = Е - -^Г^Еп^И«) - га)),
г—1
дв;
х(з, 0 = у(з, I) = О, (5,«) е дп х (О, Г),
(А - А)(х(з, 0) - ю(«)) = 0, (А - А)у{з, Г) = 0, в е П, т
Iу(и - у)дз<и + У ||и||^1(П)(||и||„7.(П))ии - > о
Vf6U.dC Ьч(0,т-,\УЧ~1(П)).
В шестом параграфе изучается задача оптимального управления для математической фильтрационной модели Буссинеска (1), (9). Доказаны теоремы существования и единственности слабого обобщенного решения задач Коши и Шоуолтера - Сидорова для изучаемой модели, найдены достаточные условия существования решения задачи оптимального управления, посторены необходимые условия оптимального управления.
Четвертая глава содержит восемь параграфов и посвящена построению алгоритмов и описанию программ для численного исследования задач оптимального управления, изученных в главах 2 и 3. В первом параграфе исследуется применение метода декомпозиции для полулинейной задачи оптимального управления (10), (11), (13). Показано, что задача (10), (11), (13) эквивалентна задаче
к
Ь X+Мх + ¿2 Щи) = и, х(и,у) = у,
1=1 (19)
ВДО) - ю) = 0, ие1и, иеЬЛ(0,Т;®к),
1
Мх,и,у) 1|я(*) - га(1)\\р4к <**+
о
т т
+(1-б)./?У \\vit) - г,(1)Г4к М +(1-0)11|«(0||^
(20)
с/й —► ¡пГ.
Теорема 15. (4.1.2) При любых хо ё Г € К+ существует решение задачи (19), (20).
Во втором параграфе описывается метод штрафа для нахождения приближенных решений задачи (19), (20). Доказывается теорема о сходимости данного метода. Рассмотрим
к
Ь х +Мх + £ М^у) = и, Цх(0) - х0) = 0,
¿=1 I21)
и еН^, у € ЬРк(0,Т;Як),
и задачу управления
^(х,и,у)(22) здесь функционал стоимости задан в виде
т т
Л
(х,и,у) = в-рI ИО-^(О1|{£4Л + (1-0).0 у \\у{1) - гаЦ)\\%к
о о
г
+(1 - р)/ л + ге /111(0 - «(011?, л, в б (0,1),
о и
о
где х(Ь) есть решение задачи (21), а параметр штрафа г£ —-Ьоо при е —> 0+.
Теорема 16. (4.2.1) При любыхxq G fj.T G М+, е > 0 существует решение (xs,vE,u£) задачи (21), (22).
Теорема 17. (4.2.2) При любых х0 & Sj, Т G М+ и при г 0+ существует последовательность {ve,ue} такая, что
V£ V, UE й,
где пара (v,ü) = (х,й) - решение задачи (10), (11), (13).
Третий параграф посвящен разработке алгоритма численного метода нахождения приближенного решения задач Коши и Шоуолтера - Сидорова для полулинейного уравнения соболевского типа (11) на основе методов фазового пространства и Галеркина. Четвертый параграф посвящен разработке алгоритма численного решения задач оптимального управления (10) -(12) и (10), (И), (13) на основе методов декомпозиции и штрафа, разработанных в пп. 4.1 и 4.2, и методов фазового пространства, Галеркина и Ритца. Приведем алгоритм данного метода. Приближенное решение задачи (19), (20) будем искать в виде
т т т
x{s,t) = ^ai(i)9,(s), v(a,t) = "¿(OViOO, 4s, t) = ^«¿(OViOO-¿=i i=i ¿=i
Подставим галеркинские суммы в уравнение (19). Затем скалярно умножим полученное уравнение на собственные функции ifi(s),i = 1 ,...,m, в Н и получим систему уравнений
(Lxt, ifi) + (Мх, + ^Е Nj{v),v}j = {ü, ifi), i = 1,..., m. (23)
В зависимости от параметра А уравнения системы (23) могут получиться дифференциальными или алгебраическими. Из получившейся системы алгебро-дифференциальных уравнений с соответствующими начальными условиями выразим неизвестные функциональные коэффициенты а^(£), г = 1 ,...,т, в приближенном решении x(s,t) = x'n(s,t) через Vi(t), i = 1 ,...,m, щЦ), i = 1 ,...,m.
Перейдем к нахождению минимума функционала. Для этого подставим получившееся представление для x(s, t), v(s, t), ü(s, t) в (функционал стоимости. Затем, опираясь на метод Рнтца, будем искать неизвестные Vi(t), i =
1,..., m, Ui(t), i = г,..., m, в виде
Vi(t,N) = ¿6„sin(^), ut(t,N) = ¿c,!Sin(^) (24)
n=l n=l
ИЛИ
N N
Vi(t, N) = J2 bntn, Ui(t, N) = J2 cntn, (25)
n=O 71=0
выбирая коэффициенты bn и cn так, чтобы функции t',;(L N), it,(t, N) доставляли минимум функционалу. Таким образом, задача свелась к отысканию экстремума функции 2(N + 1) • m переменных.
Пятый параграф посвящен разработке алгоритма численного решения задач оптимального управления (10) - (12) и (10), (11), (13) на основе метода многошагового покоординатного спуска с памятью. Шестой параграф содержит описание программ, предназначенных для нахождения приближенного решения задач Коши и Шоуолтера - Сидорова для полулинейных моделей фильтрации и деформации. Седьмой и восьмой параграфы содержат описание программ «Численное исследование задачи оптимального управления для полулинейных моделей фильтрации», «Численное исследование задачи оптимального управления для полулинейных моделей соболевского типа», предназначенных для нахождения приближенного решения задачи оптимального управления.
Пятая глава посвящена нахождению приближенных решений математических моделей и задач оптимального управления процессов фильтрации, деформации и электрического поля и состоит из пяти параграфов. В ней приведены результаты вычислительных экспериментов для модельных и реальных задач. Исследована эффективность предложенных численных методов и алгоритмов.
Пример 1. Рассмотрим задачу управления (1), (2), (10), (13) в случае п = 2, А = -2, q = 1, Т = 1, в = 0 = f¡, е = i, m = 2, N = 3, х0 = 2
— ((sin Si sin 52 + 2sin(2si) sin(s2) + sin(2si) SÍn(2so) + 2sin(si) SÍn(2S2)) ,
7Г
2
Zd(si, s2, t) = — (sin si sin s2 + (t + 2) sin(si) sin(2s2) + sin(2si) sin(2s2)+
7Г
+(t2 + 2) sin(2si) sin(s2)) .
В результате работы программы «Численное исследование задачи оптимального управления для полулинейных моделей фильтрации» были найдены
коэффициенты управления и значение функционала </| = 7.259320. Графики приближенного решения г7(в, £)) изображены на рис. 1 и 2. На рис. 2 видно, что плановое состояние системы вг, £) в интегральном смысле мало отличается от оптимального состояния ¡г^ь в2, £), а функции ж(51,52,£) и г;(в1,52,£) близки друг к другу.
а) б) в)
Рис. 1. График приближенного решения задачи (1), (2), (10), (13): а) функция ж(в1,52,1); б) функция {¡(в1,32-1); в) функция й(в1, в2-1) в момент времени t = 1
Рис. 2. График численного решения задачи (1), (2), (10), (13) при Ь = 1 и = ^
Пример 2. Требуется найти приближенное решение задачи (1), (4), (10), (13) в случае Л = 1, а = 1. ах = 2. I = п. Т = 1, в = ± /3 = е =
х0(з) = у^(8тв + 2вт(2з)+2 8т(3з)). = ^(эт в + (£ + 2) вт(2в)+
+(£2+2) 8т(3в)), т = 3, N = 3. В результате работы программы были найдены коэффициенты управления и значение функционала = 4.098527. Графики приближенного решения (х(в,£),г;(в,ы(з,¿)) изображены на рис. 3. Проведенный эксперимент показывет. что плановый профиль балки ^(й, £)
в интегральном смысле мало отличается от оптимального х(э, Ь), а х(з,£) и ь(в,Ь) близки друг к другу.
а) б) в)
Рис. 3. График приближенного решения задачи (1), (4), (10), (13): а) функция б) функция в) функция и(вЛ)
Пример 3. Требуется найти приближенное решение задачи (5) (7). (10). (13) на ориентируемом графе G, состоящем из двух последовательно соединенных ребер в случае трех вершин и fc = 1, А = 0, а\ = а2 = I, ¡3 = в = £ = i <¿i = l, d2= 1. ¿i =тг. 12 = ж, N = 2. xoi(s) = 0.225676coss, xü2(s) = -0.225676 eos s, zxd(s) = 0.225676(í2 + 1) eos s, z2d{s) = -0.225676(í2 + +l)coss. В результате вычислений были найдены коэффициенты управления и значение функционала J| = 0.758280. Графики приближенного решения (xi(s,t),Vi(s,t),ñi(s,t)) и (x2(s,t),v2(s,t),u2(s,t)) изображены на рис. 4. Проведенный эксперимент показывет. что плановые профили балок Zdi(s,t). zd2{s,t) в интегральном смысле мало отличаются от оптимальных профилей х\(s,t), x2(s,t).
Пример 4. Рассмотрим задачу (1). (9). (10). (13) в случае А = —1. р = 4. Т = 1; в = m = 5, N = 5, в - i, x0(s) = 2 sin(s) + sin(2s) + sin(5s)); zd(s, t) = 0.25 sin s + (í2 + 1) sin(2s) + 0.6í3 sin(3s) + 21 sin(4s) + sin(5s). В результате работы программы «Численное исследование задачи оптимального управления для полулинейных моделей соболевского типа» были найдены коэффициенты управления и значение функционала J = 3.971911. Графики приближенного решения x(s,t) и плановое состояние zd(s,t) в момент времени t = 1 представлены на рис. 5.
Проведенные вычислительные эксперименты показывают высокую эффективность разработанных численных методов и алгоритмов.
Рис. 4 График приближенного решения задачи (о) (7), (10), (13): а) функции ¿i(s,l), x2(s, 1), zdi(s, 1), zd2(s, 1); б) функции Xi(s, 1), x2(s, 1), vi(s, 1), v2(s, 1); в) функции
"i(s,l), u2(s, 1)
Рис. 5. График численного решения задачи (1), (9), (10), (13) при £ = 1 и з2 =
Результаты, выносимые на защиту:
В рамках развития качественных и приближенных аналитических методов исследования математических моделей (п. 2 паспорт,а специальности) получены:
1. Достаточные условия существования оптимального управления в математической модели динамики слабосжимаемой вязкоупругой жидкости с начальным условием Шоуолтера - Сидорова.
2. Достаточные условия существования оптимального управления в математической модели Осколкова нелинейной фильтрации с начальными условиями Шоуолтера Сидорова или Коши; необходимые условия существования оптимального управления.
3. Достаточные условия существования оптимального управления в обобщенной математической модели Хоффа с начальными условиями Шоуолте-
ра - Сидорова или Коши; необходимые условия существования оптимального управления.
4. Достаточные условия существования оптимального управления в обобщенной математической модели деформации конструкции из двутавровых балок с начальными условиями Шоуолтера - Сидорова или Коши.
5. Достаточные условия существования оптимального управления в математической модели распределения потенциала электрического поля в полупроводнике с начальными условиями Шоуолтера - Сидорова или Коши; необходимые условия существования оптимального управления.
С. Достаточные условия существования оптимального управления в обобщенной математической фильтрационной модели Буссинеска с начальными условиями Шоуолтера - Сидорова или Коши; необходимые условия существования оптимального управления.
7. Достаточные условия существования оптимального управления в математических моделях, основанных на полулинейном уравнении соболевского типа с в-монотонпым и р-коэрцитивным оператором, с билинейным оператором.
В рамках разработки, обоснования и тестирования эффективных вычислительных мет.одов с применением современных компьютерных технологий (п. 3 паспорт,а специальности) получены:
8. Сходимость численного метода приближенного решения математических моделей как задач Коши или Шоуолтера - Сидорова для полулинейного уравнения соболевского типа с й-монотонным и р-коэрцитивным оператором.
9. Алгоритм численного метода исследования математических моделей на основе полулинейного уравнения соболевского типа с а-монотопным и р-коэрцитивным оператором.
10. Алгоритм численного метода исследования задачи оптимального управления для математических моделей с в-монотонным и р-коэрцитивным оператором на основе метода декомпозиции.
11. Алгоритм численного метода исследования задачи оптимального управления для математических моделей с з-монотонпым и р-коэрцитивным оператором на основе метода многошагового покоординатного спуска с памятью.
В рамках реализации эффективных численных методов и, алгоритмов в виде комплексов проблемно-ориентированных программ для проведения вычислительных эксперимент,ов (п. 4 паспорт,а специальности) получены:
12. Комплекс программ, реализующий алгоритмы численного метода исследования математических моделей на основе полулинейного уравнения соболевского типа с s-монотонным и р-коэрцитивным оператором на отрезке, на графе, в прямоугольнике, в круге.
13. Комплекс программ, реализующий алгоритмы численного метода исследования задачи оптимального управления для математических моделей с s-монотонным и р-коэрцитивным оператором на основе метода декомпозиции.
14. Комплекс программ, реализующий алгоритмы численного метода исследования задачи оптимального управления для математических моделей с s-монотонным и р-коэрцитивным оператором на основе метода многошагового покоординатного спуска с памятью.
Публикации автора по теме диссертации
Статьи, опубликованные в ведущих рецензируемых научных журналах и изданиях, рекомендованных ВАК при Минобрнауки РФ для опубликования результатов диссертационного исследования:
1. Манакова, H.A. Регулярные возмущения одного класса линейных уравнений соболевского типа /' Г.А. Свиридюк, H.A. Манакова // Дифференциальные уравнения. - 2002. - Т. 38, .V? 3. - С. 423-425.
2. Манакова, H.A. Фазовое пространство задачи Коши - Дирихле для уравнения Осколкова нелинейной фильтрации / ГА. Свиридюк, H.A. Манакова // Известия вузов. Математика. - 2003. - № 9. - С. 3G-41.
3. Манакова, H.A. Задача оптимального управления для уравнения Хоффа / Г.А. Свиридюк, H.A. Манакова // Сибирский журнал индустриальной математики. - 2005. - Т. 8, № 2. - С. 144-151.
4. Манакова, H.A. Задача оптимального управления для уравнения Осколкова нелинейной фильтрации / H.A. Манакова // Дифференциальные уравнения. - 2007. - Т. 43, Л? 9. - С. 1185-1192.
5. Манакова, H.A. Об одной гипотезе ГА. Свиридюка / H.A. Манакова // Известия Иркутского государственного университета. Серия: Математика. -2011. - Т. 4, № 4. - С. 87-93.
6. Манакова, H.A. Об одной задаче оптимального управления с функционалом качества общего вида / H.A. Манакова, А.Г. Дыльков // Вестник Самарского государственного технического университета. Серия: Физико-математические науки. - 2011. - № 4. - С. 18-24.
7. Манакова, H.A. Оптимальное управление решениями начально-конечной задачи для линейных уравнений соболевского типа / H.A. Манакова,
А.Г. Дыльков // Вестник ЮУрГУ. Серия: Математическое моделирование и программирование. - 2011. - № 17 (234), вып. 8. - С. 113-114.
8. Манакова, H.A. Оптимальное управление решениями начально-конечной задачи для одной эволюционной модели / H.A. Манакова, А.Г. Дыльков // Математические заметки ЯГУ. - 2012. - Т. 19, № 2. - С. 111-127.
9. Манакова, H.A. Оптимальное управление решениями начально-конечной задачи для линейной модели Хоффа / H.A. Манакова, А.Г. Дыльков // Математические заметки. - 2013. - Т. 94, № 2. - С. 225-236.
10. Манакова, H.A. Динамические модели соболевского типа с условием Шоуолтера - Сидорова и аддитивными шумами / Г.А. Свиридюк, H.A. Манакова // Вестник ЮУрГУ. Серия: Математическое моделирование и программирование. - 2014. - Т. 7, № 1. - С. 90-103.
11. Манакова, H.A. О решении задачи Дирихле - Коши для уравнения Баренблатта - Гильмана / H.A. Манакова, Е.А. Богатырева // Известия Иркутского государственного университета. Серия: Математика. - 2014. -Т. 7, [№ 1]. - С. 52-60.
12. Манакова, H.A. Метод декомпозиции в задаче оптимального управления для полулинейных моделей соболевского типа / H.A. Манакова // Вестник ЮУрГУ. Серия: Математическое моделирование и программирование. - 2015. - Т. 8, № 2. - С. 133-137.
13. Манакова, H.A. Математические модели и оптимальное управление процессами фильтрации и деформации / H.A. Манакова // Вестник ЮУрГУ. Серия: Математическое моделирование и программирование. - 2015. - Т. 8, № 3. - С. 5-24.
14. Манакова, H.A. Задача оптимального управления для одной модели динамики слабосжимаемой вязкоупругой жидкости / H.A. Манакова // Вестник ЮУрГУ. Серия: Математика. Механика. Физика. - 2015. - Т. 7, № 3. - С. 22-29.
15. Manakova, N.A. The Asymptotics of Eigenvalues of a Differential Operator in the Stochastic Models with «White Noise»/ G.A. Zakirova, N.A. Manakova, G.A. Sviridyuk // Applied Mathematical Sciences. - 2014. - V. 8, № 175. -P. 8747-8754. (Scopus)
16. Manakova, N.A. An Optimal Control of the Solutions of the Initial-Final Problem for Linear Sobolev Type Equations with Strongly Relatively p-Radial Operator / N.A. Manakova, G.A. Sviridyuk // Semigroups of Operators - Theory and Applications. - Cham, Heidelberg, New York, Dordrecht, London: Springer, 2015. - P. 213-224. (Springer)
Монография:
17. Манакова, H.A. Задачи оптимального управления для полулинейных уравнений соболевского типа / H.A. Манакова. - Челябинск: Издат. центр ЮУрГУ, 2012. - 88 с.
Свидетельства о регистрации программ:
18. Численное моделирование процесса нелинейной диффузии: Свидетельство № 2015616525 / Манакова H.A., Селиванова A.A. (RU); правообладатель ФГБОУ ВПО «Южно-Уральский государственный университет (НИУ)». - 2015616525; заявл. 23.04.2015; зарегистр. 11.06.2015, реестр программ для ЭВМ.
19. Численное моделирование неравновесной противоточной капиллярной пропитки в круге: Свидетельство № 2015617080 / Богатырева Е.А, Манакова H.A. (RU); правообладатель ФГБОУ ВПО «Южно-Уральский государственный университет (НИУ)». - 2015617080; заявл. 15.05.2015; зарегистр. 30.07.2015, реестр программ для ЭВМ.
20. Численное исследование задачи оптимального управления для полулинейных моделей фильтрации: Свидетельство № 2015619266 / Манакова H.A. (RU); правообладатель ФГБОУ ВПО «Южно-Уральский государственный университет (НИУ)». - 2015615719; заявл. 29.06.2015; зарегистр. 27.08.2015, реестр программ для ЭВМ.
21. Численное исследование задачи оптимального управления для полулинейных моделей соболевского типа: Свидетельство № 2015619265 / Манакова H.A. (RU); правообладатель ФГБОУ ВПО «Южно-Уральский государственный университет (НИУ)». - 2015615720; заявл. 29.06.2015; зарегистр. 27.08.2015, реестр программ для ЭВМ.
Другие научные статьи:
22. Манакова, H.A. Задача оптимального управления для обобщенного фильтрационного уравнения Буссннеска / H.A. Манакова // Вестник МаГУ. Математика. Вып. 8. - Магнитогорск: Изд-во Магнитогорск, гос. ун-та, 2005. - С. 113-122.
23. Манакова, H.A. Задача оптимального управления для уравнения нелинейной диффузии /' H.A. Манакова // Оптимизация, управление, интеллект. - 2005. - № 3. - С. 90-98.
24. Манакова, H.A. Необходимые и достаточные условия существования оптимального управления для динамических полулинейных уравнений соболевского типа / H.A. Манакова // Вестник МаГУ. Математика. Вып. 9. -Магнитогорск: Изд-во Магнитогорск, гос. ун-та, 2006. - С. 70-80.
25. Манакова, H.A. Об одной модели оптимального управления уравнением Осколкова /' H.A. Манакова // Вестник ЮУрГУ. Серия: Математическое моделирование и программирование. - 2008. - № 27 (127), вып. 2. - С. 63-70.
26. Манакова, H.A. Об одной модели оптимального управления уравнением электрического поля в полупроводнике / H.A. Манакова // Обозрение прикладной и промышленной математики. - 2009. - Т. 16, № 5. - С. 891-892.
27. Манакова, H.A. Оптимальное управление решениями задачи Шоуол-тера - Сидорова для одного уравнения соболевского типа / H.A. Манакова, Е.А. Богонос // Известия Иркутского государственного университета. Серия: Математика. - 2010. - Т. 3, № 1. - С. 42-53.
28. Манакова, H.A. Численное исследование процессов в модели Барен-блатта - Гильмана / H.A. Манакова, Е.А. Богатырева // Вестник МаГУ. Математика. Вып. 15. - Магнитогорск: Изд-во Магнитогорск, гос. ун-та, 2013. - С. 58-67.
29. Манакова, H.A. Задача Коши для одного-класса стохастических уравнений соболевского тина в пространстве «дифференцируемых шумов» / H.A. Манакова // Вырожденные полугруппы н пронагаторы уравнений соболевского типа. - Челябинск: Издат. центр ЮУрГУ, 2014. - С. 52-58.
30. Манакова, H.A. Исследование математической модели Баренблагта -Гильмана / H.A. Манакова, Е.А. Богатырева // XII Всероссийское совещание по проблемам управления ВСПУ-2014. - М.: Ин-т проблем управления им. В.А. Трапезникова РАН, 2014. - С. 1502-1506.
31. Manakova, N.A. An Optimal Control to Solutions of the Showalter -Sidorov Problem for the Hoff Model of the Geometrical Graph / N.A. Manakova // Journal of Computational and Engineering Mathematics. - 2014. - V. 1, № 1. -P. 26-33.
Издательский центр Южно-Уральского государственного университета Подписано в печать 21.09.2015. Формат 60x84 1/16. Печать цифровая. Усл. печ. л. 1,86. Тираж 150 экз. Заказ 453/541. Отпечатано в типографии Издательского центра ЮУрГУ. 454080, г. Челябинск, пр. им. В.И. Ленина, 76.
-
Похожие работы
- Исследование полулинейных математических моделей соболевского типа второго порядка
- Исследование математических моделей с феноменом неединственности
- Полулинейные модели вырожденных эволюционных процессов
- Исследование прямых и обратных задач в моделях Хоффа
- Исследование задач оптимального управления для неклассических уравнений математической физики
-
- Системный анализ, управление и обработка информации (по отраслям)
- Теория систем, теория автоматического регулирования и управления, системный анализ
- Элементы и устройства вычислительной техники и систем управления
- Автоматизация и управление технологическими процессами и производствами (по отраслям)
- Автоматизация технологических процессов и производств (в том числе по отраслям)
- Управление в биологических и медицинских системах (включая применения вычислительной техники)
- Управление в социальных и экономических системах
- Математическое и программное обеспечение вычислительных машин, комплексов и компьютерных сетей
- Системы автоматизации проектирования (по отраслям)
- Телекоммуникационные системы и компьютерные сети
- Системы обработки информации и управления
- Вычислительные машины и системы
- Применение вычислительной техники, математического моделирования и математических методов в научных исследованиях (по отраслям наук)
- Теоретические основы информатики
- Математическое моделирование, численные методы и комплексы программ
- Методы и системы защиты информации, информационная безопасность