Известия Института математики и информатики УдГУ
2015. Вып. 2 (46)
УДК 517.977.56 © А. В. Чернов
ОБ АНАЛОГЕ ТЕОРЕМЫ УИНТНЕРА ДЛЯ УПРАВЛЯЕМОГО ЭЛЛИПТИЧЕСКОГО УРАВНЕНИЯ1
Для однородной задачи Дирихле, связанной с управляемым полулинейным эллиптическим уравнением в частных производных второго порядка типа стационарного уравнения диффузии-реакции, устанавливается аналог классической теоремы Уинтнера о разрешимости задачи Коши для обыкновенного дифференциального уравнения.
Ключевые слова: управляемое полулинейное эллиптическое уравнение, тотальное сохранение разрешимости.
Введение
Вспомним классическую теорему Уинтнера, см. [1, §111.5, теор. 5.1, с. 43].
Теорема 0.1. Пусть функция Г(Ь,£) непрерывна в области £ € [Ьо,Т], £ ^ 0 и максимальное решение задачи
х'(£) = Г(Ь,х), £ € [Ь,Т], х(г0) = Хо ^ Хо,
существует (*). Тогда, если /(£,£) непрерывна при £0 ^ £ ^ Т, £ € М, и |/(£,£)| ^ Г(£, |£|) то максимальный интервал существования решения задачи
У'(£) = /(£,у), £ € [£о,Т], у(£о) = Уо, | У о | < Хо,
совпадает с отрезком, [£о; Т].
Для выполнения, условия (*) достаточно, чтобы Г(Ь,£) = ф(£), где функция ф(£) строго
положительна, и, непрерывна, при £ ^ 0; причем, / , ... = оо; Хо ^ 0.
Уо ф(£)
В частности, справедлив следующий вариант теоремы Уинтнера.
Те о р е м а 0.2. Пусть функция ф(£) строго положительна и непрерывна при £ ^ 0; причем / , ... = оо; Хо ^ 0. Тогда, задача, Коши
Уо ф(£)
х'($= ф(х), £ € [Ь,Т], х(и) = хо
имеет максимальное решение на, [Ьо,Т] (Т > Ьо). Более того, если функция /(¿,у) непрерывна при £о ^ £ ^ Т, у € М и |/(£, у) | ^ Ф^у]), то максимальный интервал, существования решения, задачи
у'(£) = /(£,у), £ € [£о,Т],
у&о) = уо, | у о | < хо совпадает с отрезком, [£о, Т].
Гйт
Замечание 1. Как известно, несобственный интеграл / — расходится. Согласно предель-
'1
т
ному признаку сравнения, если положительная непрерывная функция '(т) удовлетворяет условию
'(т) т 1
lim = К G [0, +оо) <i=> lim —— = — G (0, +оо],
тт т'(т) K
1 Работа поддержана МОН РФ в рамках госзадания в 2014-2016 гг. (проект №1727) и грантом (соглашение от 27.08.13 №02.В.49.21.0003 между МОН РФ и ННГУ).
Г™ dT
то получаем расходимость интеграла / .
Л Пт)
Данная работа посвящена обобщению теоремы 0.2, с учетом сделанного замечания, на случай однородной задачи Дирихле, связанной с управляемым полулинейным эллиптическим уравнением в частных производных второго порядка типа стационарного уравнения диффузии-реакции. В качестве предварительного результата, представляющего самостоятельный интерес, формулируется аналог теоремы 0.2 для управляемого функционально-операторного уравнения типа Гаммерштейна. Указанное уравнение является удобной формой описания широкого класса управляемых распределенных систем.
§ 1. Формулировка основного результата
Пусть n ^ 2, область П С Rn ограничена и выпукла. Далее будем предполагать, что задано 2n
число 2 < q <- (следовательно, имеет место непрерывное вложение П) С Lç(n)); Т> —
n 2
заданное множество измеримых управляющих функций u € (П); s € N r > 2; Y > 0 G(y) — класс всех вектор-функций G = G(-) = {gijG)}^=1 € L^n(n) таких, что G(t)e ■ £ ^ Y |£|2 для всех £ € Rn, п.в. t € П. Кроме того, определим класс F всех функций
f (t,£,u): П х R х Rs ^ R,
измеримых по t € П, непрерывных по {£, и} € R х Rs и таких, что f (-,x,u) € ¿2(П) для всех x € £д(П), u € V.
Для G € G(y), b € L+(П), f € F Q € ¿П(П), L[x] = —div (GVx) + bx рассмотрим задачу Дирихле для стационарного уравнения диффузии-реакции:
L[x](t) = f (t,x(t),u(t)) — div (Q(t), t € П, u € V; x =0. (d)
дП
Решение задачи (d) понимаем как функцию x € Н0(П), удовлетворяющую тождеству B[x,w] = Fu[x,w] для всех w € Н0(П), где
B[x,w] = J [GVx ■ Vw + bxw] dt, F„[x,w] = J {f (t, x(t), u(t)) w(t) + ((t) ■ Vw(t)} dt.
о о
Будем предполагать, что существуют функция g: R+ —g(r) ^ 7j > 0 для всех достаточно больших (д.б.) т > 0, и семейство функций фТ € F т > 0, такие, что
Fo) для всех £, n € R+ £ ^ n и Для п-в- t € П и всех u € V имеем
f (t, £, u(t)) < f (t, n, u(t)), f (t, 0, u(t)) ^ 0;
Fi) для п.в. t € П, е € R+, u € D выполняется неравенство
f (t,Te,u(t)) < g(T) ^(t, e,u(t));
F2) существует константа M > 0 такая, что ||^Т(-,x,u)||l2 ^ M для всех u € V, x € L+, ||x||Lq = 1) и для всех д.б. т > 0;
т
F3) существует предел lim —— = +00.
т^+œ g(T)
(d)
имеет по крайней мере одно решение x = x [u] для всех упра,влений u € V. Это решение можно найти как предел, последоват,ельност,и {xk}; определяемой рекуррентной формулой:
xk = в + A[f (-,xfc_i,u)], k € N; xo = 0.
При этом существует число N > 0 такое, что справедлива равном,ерная, оценка, ||x[u]|| ^ N для, всех u € V.
Здесь 0 — решен ие (й) при / = 0 А [г] — решение (й) при 0 = 0 и замене / на г = г(1).
Пример 1.1. В качестве простейшего примера функции, удовлетворяющей перечисленным условиям Ео-Ез (при г = 2), укажем
= 1 2.
Здесь
Таким образом,
\\фт {■,Х,и)\\\2 < \\x\fL^ + \\и\\12 ,
откуда ясно, что условие F2 выполняется. Выполнение условий Fo, Fi, F3 очевидно.
§ 2. Тотальное сохранение разрешимости
Теорема 1.1 дает достаточные условия тотального сохранения разрешимости (TCP) управляемой системы (d).
Определение 2.1. Тотальное сохранение разрешимости — это свойство управляемой системы сохранять разрешимость для всех допустимых управлений.
Понятие TCP было введено в работе [4]. Нарушение разрешимости распределенной системы (в эволюционном случае — глобальной разрешимости) весьма вероятно в случае, когда порядок роста правой части соответствующего дифференциального уравнения по фазовой переменной превышает линейный. В [5, пример к теореме 2.2, с. 87-88, §4, с. 95-100; 6, § 1; 7, введение, п. 2] приводятся достаточно показательные примеры на этот счет.
Между тем вопрос о сохранении разрешимости (тотально или локально) неизбежно возникает в теории оптимизации (в частности, при выводе необходимых условий оптимальности, обосновании численных методов оптимизации, в дифференциальных играх и т.д.), но различными исследователями решается (снимается) по-разному. Что касается TCP, то (помимо простого постулирования) другими авторами чаще всего используются следующие подходы.
1. Требуют равномерной ограниченности и липшицевости правой части уравнения (либо делают какие-то родственные предположения). Для сосредоточенных систем это позволяет воспользоваться теоремами существования и единственности Каратеодори (см., например, [8, с. 236]).
2. Используют теорию монотонных операторов (см., например, [9,10]).
Для распределенных систем эволюционного типа в [4] было введено понятие тотального сохранения глобальной разрешимости (ТСГР) и доказан мажорантный признак ТСГР. В [11] доказан еще один признак ТСГР мажоратно-минорантного типа (тоже для эволюционных систем). Отличие состояло в том, что мажорантная система (так же как и минорантная) имела точно такую же структуру, как исходная. Менялась фактически только правая часть, в частности, таким образом, что зависимость от управления удалялась. Признак TCP для не обязательно эволюционных систем, основанный на одном обобщении метода монотонных операторов, был доказан в [12]. Помимо собственно ТСГР/ТСР в [4,11] доказывалась равномерная (по множеству допустимых управлений) поточечная оценка решений, а в [12] — равномерная оценка по норме соответствующего пространства. Свойство TCP управляемых распределенных систем использовалось автором при исследовании следующих вопросов:
1) при обосновании численных методов оптимального управления [13-15];
2) при доказательстве управляемости [16];
3) при доказательстве существования равновесия в дифференциальных играх [17-19].
Замечание 2. Система стационарных уравнений диффузии-реакции имеет важное прикладное значение и потому является объектом пристального изучения (см., например, [9,10,20-22]; там же см. дальнейшую библиографию).
Замечание 3. В рамках теории оптимального управления вопросы TCP для задач, связанных с эллиптическими уравнениями типа диффузии-реакции, рассматривались и раньше. Как правило, предполагалось, что
/ (t,e,u) = z(t,u) -
где d(t, £) возрастает (не убыв ает) по £ € R, следователь но, / (t, £, и) убывает (не возрастает) по £ G R. Это было нужно, чтобы использовать теорию монотонных операторов (см., например, [9,10]).
§ 3. Абстрактный аналог теоремы Уинтнера
Пусть n,m,s,l G N; подмножество П С Rn измеримо по Лебегу и ограничено; X = X(П), Z = Z(П), U = U(П) — лебеговы пространства с индексами суммируемости из [1, D С Us — ограниченное множество допустимых управлений; F — класс функций
/ (¿,£,и):П х R1 х Rs ^ Rm,
измеримых по t € П, тепрерывных по {£, и} G R1 х Rs и таких, что для всех x G X1, u G D
суперпозиция -,x(-),u(-)^ G Zm.
Пусть, кроме того, A: Zm ^ X1 — изотопный линейный ограниченный оператор (ЛОО). Рассмотрим уравнение типа Гаммерштейна
x(t) = e(t) + A/(-,x(-),u(-))](t), t G П, x GX1, (Г)
управляемое с помощью выбора функции u G D. Здесь в G X+, / G F. Сделаем дополнительные предположения.
Н) Существует банахово пространство H, компактно вложенное в X, и при этом в G H1, а оператор A можно рассматривать как ЛОО Zm ^ H1.
о о
Будем предполагать, что существуют функция д: R+ —д(т) ^ ~д > 0 для всех д.б. г > 0, и семейство функций фт G F, т > 0, такие, что
Go) для всех £, n G R+, £ ^ п> и Для п-в- t G П и всех u G D имеем
/ (t, £, u(t)) < / (t, n, u(t)), / (t, 0, u(t)) ^ 0;
Gi) для п. в. t G П, £ G R+_, u gD выполняется неравенство
/(t, т£, u(t)) < g(T) ^т(t, £, u(t));
G2) существует конетанта M > 0 такая, что
\\фт(-,x,u)yzm < M
для всех u gD x G X+, \\x\\xi = 1 и Для всех д.б. т > 0;
т
G3) существует конечный или бесконечный предел lim ———■ = К, где
тg(T)
K>L = ||0||^/5 + M||A||.
Теорем а 3.1. Пусть выполнены все сделанные выше предположения относительно уравнения (Г). Тогда, уравнение (Г) имеет по крайней мере одно решение x = x[u] для, всex u G D. Это решение можно найти как предел, последовательности {x^} определяемой рекуррентной формулой:
xk = в + A[/(-,xfc-i,u), k G N; xo = 0.
При этом существует число N > 0 такое, что справедлива равном,ерная, оценка, \\x[u]\\ ^ N uGD
Доказательство является довольно громоздким, поэтому здесь не приводится.
§ 4. Сведение задачи (¿) к уравнению типа Гаммерштейна
Вспомним некоторые известные утверждения. Первое — это теорема вложения Соболева-Кондрашова (см., например, [2, глава II, теорема 2.2]).
Л е м м а 4.1. Для всех ограниченных выпуклых областей П С Мп (и конечных сумм т,аких областей) ограниченные множества функций х € Шр,(П) относительно компактны в Ьд (П)
для всех д < —— при р ^ п и относительно компактны в Са(П) для всех а < 1--при
п — р р
р > п.
Следующее — это теорема Лакса-Мильграма (см., например, [3, §5.8, теорема 5.8, с. 84]).
Л е м м а 4.2. Пусть Н — вещественное гильбертово простора,нет,во; В: Н х Н ^ М — билинейная форма, которая является ограниченной и коэрцитивной, то есть существуют константы ^ъ 72 > 0 т,акие, чт,о
\В [х,у]\ ^ 72||х|| ||у||, В (х,х) ^ 71 ЦхЦ2 для, всех х, у € Н.
Тогда, для, любого Ф € Н* существует единственный элемент, х € Н такой, ч,т,о выполняется равенство В [х, ■] = Ф.
И наконец — принцип максимума для эллиптических уравнений (см., например, [3, теорема 8.1]).
Л е м м а 4.3. Для любых С € Я(ч) и Ь € (П), при условии, ч,т,о
В[х, ш] = / \СУх ■ Уш + Ьхш] (И ^ 0 для, всех ш € С1^), ш ^ 0, Jп
имеем М х ^ М х-, где х- = шт{х, 0}. П дП
Непосредственно из леммы 4.3 следует
Л е м м а 4.4. Для, любых С € Я(7) Ь € (П); г € Ь+(П) и, соответственно,
С[х] = — ёге (СУх) + Ьх
всякое обобщенное решение задачи
с[х](г) = г(г), г € п, х дп = 0 (4.1)
неотрицательно: х ^ 0.
Разрешимость задачи (4.1), равно как и задачи более общего вида
С[х](Ь) = г(г) — ё1у Я(г), г € П, х =0, (4.2)
дП
для любых г € Ь2{П), Я € ЦП(П), доказывается стандартным образом на основе леммы 4.2. Прежде всего напомним неравенство Пуанкаре-Фридрихса: существует константа
Кп = К(шв8 П)1/п,
где К > 0 зависит лишь от п, такая, что для любой функции х € Н0(П) имеет место оценка
(П) < КП|Ух|Ьп(п).
С помощью этого неравенства нетрудно сконструировать положительную константу ^ такую,
№х\\щп) ^ у^\\х\\Ш1{п) для всех ж € #¿(11). (4.3)
Однако сделать это можно разными способами. Далее для определенности константу ^ будем считать заданной. Теперь для произвольно фиксированных г € ¿2(П), <5 € ¿П(П) рассмотрим задачу (4.2). Так же, как и раньше, элемент х € Н0(П) называем обобщенным решением такой задачи, если и только если для каждого ш € Н0(П) выполняется тождество В[х,ш] = ^[ш], где
^[w] = J {z(t)w(t) + Q(t) ■ Vw(t)} dt.
Ясно, что ^[w] является линейным непрерывным функционалом на пространстве H = Н0(П), то есть ф € H*. Действительно, пользуясь неравенствами Гельдера и Коши-Буняковского, можем оценить
|фМ| < llzNi2(n)NwNL2(n) + ||Q^(п)^^^) < 2ma^{||Q^(п)}||w||w2i(n)
для всех w € W^n) и, в частности, для всех w € H.
Пользуясь определением класса G(y) а также неравенствами Коши-Буняковского и Гельдера, аналогичным образом нетрудно показать, что билинейная форма B[ж, у] является ограниченной. Пользуясь определением класса G(y) > неотрицательностью функции b € L+(П) и неравенством (4.3), для произвольного ж € H можем оценить
B[ж, ж] = / [GVx ■ Vx + Ьж2] dt ^ y|Vx||n ^ Y^MlW 1, 71 = 7^. ./п 2 2
Это означает, что билинейная форма B[ж, у] коэрцитивна. Таким образом, согласно теореме Лакса-Мильграма (лемме 4.2), при данных (произвольно фиксированных) Q € Ln(n), существует единственное решение ж € Н0(П) задачи (4.2).
Для всякого z € L2(n) обозначим: A[z] — обобщенное решение задачи (4.1); в — обобщенное
|
LM(t) = -divQ(t), t € П, ж =0. (4.4)
дП
Тогда сумма ж = в + A[z] будет обобщенным решением задачи (4.2). Соответственно, решение исходной задачи (d) можно понимать как решение уравнения типа Гаммерштейна (Г) при X = Lq(П) (см. лемму 4.1 и условия относительно функции /), Z = ¿2(П), I = m = 1. Из леммы 4.4 следует изотонность оператора A, а из леммы 4.1 — выполнение условия Н при H = Но(П).
Таким образом, можно пользоваться теоремой 3.1, откуда получаем теорему 1.1.
Список литературы
1. Хартман Ф. Обыкновенные дифференциальные уравнения. М.: Мир, 1970. 720 с.
2. Ладыженская О.А., Уральцева Н.Н. Линейные и квазилинейные уравнения эллиптического типа. М.: Наука, 1973. 576 с.
3. Гплбарг Д., Трудингер Н. Эллиптические дифференциальные уравнения с частными производными второго порядка. М.: Наука, 1989. 464 с.
4. Чернов А.В. Об одном мажорантном признаке тотального сохранения глобальной разрешимости управляемого функционально-операторного уравнения // Изв. вузов. Матем. 2011. № 3. С. 95-107.
5. Калантаров В.К., Ладыженская О.А. О возникновении коллапсов для квазилинейных уравнений параболического и гиперболического типов // Записки научных семинаров ЛОМИ. 1977. Т. 69. С. 77-102.
6. Сумин В.И. Об обосновании градиентных методов для распределенных задач оптимального управления // Журн. вычисл. матем. и матем. физ. 1990. Т. 30. № 1. С. 3-21.
7. Сумин В.И. Функциональные вольтерровы уравнения в теории оптимального управления распределенными системами. Часть I. Н. Новгород: Изд-во ННГУ, 1992. 110 с.
8. Петросян Л.А., Зенкевич Н.А., Семина Е.А. Теория игр. М.: Высшая школа, 1998. 304 с.
9. Casas Е. Boundary control of semilinear elliptic equations with pointwise state constraints // SIAM J. Control Optim. 1993. Vol. 31. P. 993-1006.
10. Troltzsch F. Optimal control of partial differential equations: theory, methods and applications / Graduate Studies in Mathematics. Vol. 112. Providence, R.I.: American mathematical society, 2010. xv+399 p.
11. Чернов А.В. О мажорантно-минорантном признаке тотального сохранения глобальной разрешимости управляемого функционально-операторного уравнения // Изв. вузов. Математика. 2012. № 3. С. 62-73.
12. Чернов А.В. Об одном обобщении метода монотонных операторов // Дифференц. уравнения. 2013. Т. 49. № 4. С. 535-544.
13. Чернов А.В. О сходимости метода условного градиента в распределенных задачах оптимизации // Журн. вычисл. матем. и матем. физ. 2011. Т. 51. № 9. С. 1616-1629.
14. Чернов А.В. О гладких конечномерных аппроксимациях распределенных оптимизационных задач с помощью дискретизации управления // Журн. вычисл. матем. и матем. физ. 2013. Т. 53. № 12. С. 2029-2043.
15. Чернов А.В. О гладкости аппроксимированной задачи оптимизации системы Гурса-Дарбу на варьируемой области // Труды Института математики и механики УрО РАН. 2014. Т. 20. № 1. С. 305-321.
16. Чернов А.В. О достаточных условиях управляемости нелинейных распределенных систем // Журн. вычисл. матем. и матем. физ. 2012. Т. 52. № 8. С. 1400-1414.
17. Чернов А.В. О вольтерровых функционально-операторных играх на заданном множестве // Матем. теория игр и ее приложения. 2011. Т. 3. Вып. 1. С. 91-117.
18. Чернов А.В. Об е-равновеспн в бескоалиционных функционально-операторных играх со многими участниками // Труды ИММ УрО РАН. 2013. Т. 19. № 1. С. 316-328.
19. Чернов А.В. О существовании е-равповесия в дифференциальных играх, связанных с эллиптическими уравнениями, управляемыми многими игроками // Матем. теория игр и ее приложения. 2014. Т. 6. Вып. 1. С. 91-115.
20. Воробьев А.Х. Диффузионные задачи в химической кинетике. М.: МГУ, 2003. 98 с.
21. Лубышев Ф.В., Манапова А.Р. Разностные аппроксимации задач оптимизации для полулинейных эллиптических уравнений в выпуклой области с управлениями в коэффициентах при старших производных // Журн. вычисл. матем. и матем. физ. 2013. Т. 53. № 1. С. 20-46.
22. Вахитов И.С. Обратная задача идентификации старшего коэффициента в уравнении диффузии-реакции // Дальневосточный матем. журн. 2010. Т. 10. № 2. С. 93-105.
Поступила в редакцию 01.09.2015
Чернов Андрей Владимирович, к. ф.-м. п., доцент, кафедра математической физики и оптимального управления, Нижегородский государственный университет им. Н. И. Лобачевского, 603950, Россия, г. Нижний Новгород, пр. Гагарина, 23; кафедра прикладной математики, Нижегородский государственный технический университет им. Р. Е. Алексеева, 603950, Россия, г. Нижний Новгород, ул. Минина, 24. E-mail: [email protected]
A. V. Chernov
On the analogue of Wintner's theorem for a controlled elliptic equation
Keywords: controlled semilinear elliptic equation, total preservation of solvability. MSC: 35B30, 35B37, 47J35
For a homogeneous Dirichlet problem associated with a controlled semilinear partial differential elliptic equation of the second order, referred as a stationary diffusion-reaction equation, we state analogue of the classical Wintner's theorem concerning the solvability of the Cauchy problem for an ordinary differential equation.
REFERENCES
1. Hartman Ph. Ordinary differential equations, New York: John Wiley & Sons, 1964, xiv+612 p. Translated under the title Obyknovennye differentsial'nye uravneniya, Moscow: Mir, 1970, 720 p.
2. Ladyzhenskaya O.A., Ural'tseva N.N. Linear and quasilinear elliptic equations, New York-London: Academic Press, 1968, xviii+495 p. Original Russian text (2nd revised ed.) published in Ladyzhenskaya O.A., Ural'tseva N.N. Lineinye i kvazilineinye uravneniya ellipticheskogo tipa, Moscow: Nauka, 1973, 576 p.
3. Gilbarg D., Trudinger N.S. Elliptic partial differential equations of second order, Berlin: Springer, 1983, xiii+513 p. Translated under the title Ellipticheskie differentsial'nye uravneniya s chastnymi proizvod-nymi vtorogo poryadka, Moscow: Nauka, 1989, 464 p.
4. Chernov A.V. A majorant criterion for the total preservation of global solvability of controlled functional operator equation, Russian Mathematics, 2011, vol. 55, no. 3, pp. 85-95.
DOI: 10.3103/S1066369X11030108
5. Kalantarov V.K., Ladyzhenskaya O.A. On the appearance of collapses for quasilinear equations of the parabolic and hyperbolic types, Zap. Nauch. Sem. LOMI, 1977, vol. 69, pp. 77-102 (in Russian).
6. Sumin V.I. The features of gradient methods for distributed optimal control problems, USSR Comput. Math. Math. Phys., 1990, vol. 30, no. 1, pp. 1-15.
7. Sumin V.I. Funktsional'nye vol'terrovy uravneniya v teorii optimal'nogo upravleniya raspredelennymi sis-temami. Chast' I. Vol'terrovy uravneniya i upravlyaemye nachal'no-kraevye zadachi (Functional Volterra equations in the theory of optimal control of distributed systems. Part I. Volterra equations and controlled initial boundary value problems), Nizhni Novgorod: NNSU, 1992, 110 p.
8. Petrosyan L.A., Zenkevich N.A., Semina E.A. Teoriya igr (Game Theory), Moscow: Vysshaya Shkola, 1998, 304 p.
9. Casas E. Boundary control of semilinear elliptic equations with pointwise state constraints, SIAM J. Control Optim., 1993, vol. 31, pp. 993-1006.
10. Troltzsch F. Optimal control of partial differential equations: theory, methods and applications, Graduate Studies in Mathematics, vol. 112, Providence, R.I.: American Mathematical Society, 2010, xv+399 p.
11. Chernov A.V. A majorant-minorant criterion for the total preservation of global solvability of a functional operator equation, Russian Mathematics, 2012, vol. 56, no. 3, pp. 55-65.
DOI: 10.3103/S1066369X12030085
12. Chernov A.V. On a generalization of the method of monotone operators, Differential Equations, 2013, vol. 49, no. 4, pp. 517-527. DOI: 10.1134/S0012266113040125
13. Chernov A.V. On the convergence of the conditional gradient method in distributed optimization problems, Comput. Math. Math. Phys., 2011, vol. 51, no. 9, pp. 1510-1523.
DOI: 10.1134/S0965542511090077
14. Chernov A.V. Smooth finite-dimensional approximations of distributed optimization problems via control discretization, Comput. Math. Math. Phys., 2013, vol. 53, no. 12, pp. 1839-1852.
DOI: 10.1134/S096554251312004X
15. Chernov A.V. On the smoothness of an approximated optimization problem for a Goursat-Darboux system on a varied domain, Tr. Inst. Mat. Mekh. Ural. Otd. Ross. Akad. Nauk, 2014, vol. 20, no. 1, pp. 305-321 (in Russian).
16. Chernov A.V. Sufficient conditions for the controllability of nonlinear distributed systems, Comput. Math. Math. Phys., 2012, vol. 52, no. 8, pp. 1115-1127. DOI: 10.1134/S0965542512050053
17. Chernov A.V. On Volterra functional operator games on a given set, Automation and Remote Control, 2014, vol. 75, no. 4, pp. 787-803. DOI: 10.1134/S0005117914040195
18. Chernov A.V. On e-equilibrium in noncooperative functional operator n-person games, Tr. Inst. Mat. Mekh. Ural. Otd. Ross. Akad. Nauk, 2013, vol. 19, no. 1, pp. 316-328 (in Russian).
19. Chernov A.V. On existence of e-equilibrium in noncooperative n-person games associated with elliptic partial differential equations, Matematicheskaya teoriya igr i prilozheniya, 2014, vol. 6, issue 1, pp. 91-115 (in Russian).
20. Vorob'ev A.Kh. Diffuzionnye zadachi v khimicheskoi kinetike (Diffusion problems in chemical kinetics), Moscow: Moscow State University, 2003, 98 p.
21. Lubyshev F.V., Manapova A.R. Difference approximations of optimization problems for semilinear elliptic equations in a convex domain with controls in the coefficients multiplying the highest derivatives, Comput. Math. Math. Phys., 2013, vol. 53, no. 1, pp. 8-33. DOI: 10.1134/S0965542513010053
22. Vakhitov I.S. Inverse identification problem for unknown coefficient in the diffusion-reaction equation, Dal'nevost. Mat. Zh., 2010, vol. 10, no. 2, pp. 93-105 (in Russian).
Received 01.09.2015
Chernov Andrei Vladimirovich, Candidate of Physics and Mathematics, Associate Professor, Department of Mathematical Physics and Optimal Control, Nizhni Novgorod State University named after N. I. Lobachevskii, pr. Gagarina, 23, Nizhni Novgorod, 603950, Russia; Department of Applied Mathematics, Nizhni Novgorod State Technical University named after R.E. Alekseev, ul. Minina, 24, Nizhni Novgorod, 603950, Russia. E-mail: [email protected]