Экстремальные задачи на классах функций с мажорирующим выпуклым модулем непрерывности тема автореферата и диссертации по математике, 01.01.01 ВАК РФ

Багдасаров, Сергей Константинович АВТОР
доктора физико-математических наук УЧЕНАЯ СТЕПЕНЬ
Москва МЕСТО ЗАЩИТЫ
2011 ГОД ЗАЩИТЫ
   
01.01.01 КОД ВАК РФ
Диссертация по математике на тему «Экстремальные задачи на классах функций с мажорирующим выпуклым модулем непрерывности»
 
Автореферат диссертации на тему "Экстремальные задачи на классах функций с мажорирующим выпуклым модулем непрерывности"

/

МОСКОВСКИЙ ГОСУДАРСТВЕННЫЙ УНИВЕРСИТЕТ ИМЕНИ М. В. ЛОМОНОСОВА

Г

Механико-математический факультет

48574

На правах рукописи УДК 517.972.4

,1 <

БАГДАСАРОВ СЕРГЕЙ КОНСТАНТИНОВИЧ ' ;

ЭКСТРЕМАЛЬНЫЕ ЗАДАЧИ ДЛЯ КЛАССОВ ФУНКЦИЙ С МАЖОРИРУЮЩИМ ВЫПУКЛЫМ МОДУЛЕМ НЕПРЕРЫВНОСТИ

Специальность 01.01.01 - вещественный, комплексный и функциональный анализ

АВТОРЕФЕРАТ диссертации на соискание ученой степени доктора физико-математических наук

1 3 ОКТ 2011

МОСКВА 2011

4857412

Работа выполнена на кафедре общих проблем управления механико-математического факультета Московского Государственного Университета имени М. В. Ломоносова.

Официальные оппоненты: доктор физико-математических наук,

профессор Арестов Виталий Владимирович доктор физико-математических наук, профессор Магарил-Ильяев Георгий Георгиевич доктор физико-математических наук, профессор Малоземов Василий Николаевич Ведущая организация: Математический институт имени В. А. Стеклова

Российской Академии Наук

Защита диссертации состоится 28 октября 2011 года в 16 час. 40 мин, на заседании диссертационного совета Д 501.001.85 при Московском Государственном Университете имени М. В. Ломоносова по адресу: 119991, ГСП-1, Г. Москва, Ленинские горы, МГУ имени М. В. Ломоносова, Механико-математический факультет, аудитория 16-24.

С диссертацией можно ознакомиться в библиотеке Механико-математического факультета (Главное здание, 14 этаж).

Автореферат разослан В? сентября 2011 года.

Ученый секретарь диссертационного совета Д 501.001.85 при МГУ, доктор физико-математических наук, профессор / В. Н. Сорокин

ОБЩАЯ ХАРАКТЕРИСТИКА РАБОТЫ

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

Актуальность темы. Задачи описания функций наилучшего приближения вошли в математический анализ во второй половине XIX века через работы П. Л. Чебышева, рассмотревшего задачу о полиноме, наименее уклоняющемся от данной непрерывной функции. В диссертации Д. Джексона1 впервые погрешность приближения индивидуальной функции f € Сг\а, Ь] конечномерными подпространствами была выражена в терминах модуля непрерывности г-ой производной /М.

Если вначале исследовалось наилучшее приближение индивидуальных функций, то начиная с тридцатых годов XX века акцент сместился в сторону решения экстремальных задач на классах функций, обладающими определенными дифференциально-разностными характеристиками. В частности, С.М. Никольский2 предложил рассматривать классы функций WrHu(l) с модулем непрерывности w(/(r';i), мажорируемым выпуклым модулем непрерывности w.

После этой публикации возник широкий круг вопросов, связанных с наилучшими характеристиками аппроксимации классов И^Я"^) конечномерными функциональными подпространствами: алгебраическими и тригонометрическими полиномами данной размерности и полиномиальными сплайнами. Ввиду гораздо более простой структуры экстремальных функций наиболее полные результаты в смысле получения точных констант и описания экстремальных функций были получены в классах \V'H"{I) для линейного модуля непрерывности ui(i) = t, т.е. в соболевских классах W^ß) функций, чья (г + 1)-ая производная ограничена единицей.

Для прояснения актуальности темы исследований в диссертации кратко очертим круг наиболее ярких экстремальных задач в соболевских классах, а также отметим вклад математиков, причастных к решению конкретных оптимизационных проблем: задачи Колмогорова-Ландау для промежуточных производных теории аппроксимации, задачи быстродействия и линейной динамики теории оптимального управления и разнообразных проблем математической экономики. При этом в основном будут упомянуты только те задачи и результаты, которые были нами обобщены и распространены с соболевских классов, соответствующих линейному модулю непрерывности ш(i) = É, на случай классов WH"{I) функций с произвольным мажорирующим нелинейным выпуклым модулем непрерывности w(i).

1D. Jackson, Über die Genauigkeit des Annäherung stetigen Funktionen durch ganze rationale Funktionen gegebenen Grades und trigonometrischen Summen gegebener Ordnung, Diss., Göttingen, 1911.

2C.M. Никольский, Ряд Фурье функции с данным модулей непрерывности, Докл. АН СССР, 62:3 (1S46), 191-194.

1

1. Классические варианты задачи Колмогорова - Ландау в соболевсшх классах. Впервые полное описание экстремальных функций и точных констант в неравенствах

(1) [|/(т)1к(.)<^11/1|Ц)11/(г)1!Са)-

в случае прямой I = R было получено А. Н. Колмогоровым3, показавшим, что множество экстремальных функций в (1) состоит из функций f(t) = 7<foiT(i+ р) для 7, р € К, Л 6 R+, где ф\г - 2тг/Х-периодическая функция со свойством = signsin(Ai)).

Эти функции, иногда называемые эйлеровыми сплайнами, ранее фигурировали в работах Ж. Фавара, Н. И. Ахиезера и М. Г. Крейна, Г. Е. Шилова. А. С. Каваретта и И. Дж. Шенберг4 получили аналогичный результат в случае полупрямой I = R+, обобщив частные результаты Э. Ландау (г = 2) и А. П. Маторина и С. Б. Стечкина (г = 3).

В случае ограниченных интервалов I = [а, 6] рассматривается задача о максимизации значения производной функции в точке £ интервала [о, Ь]:

(2) f€W'Ja,b], ||/k.M<B, 0 < m < г.

Более ранние исследования П.Л. Чебышева, A.A. Маркова, В.А. Маркова, Б.И. Золотарева и С. Н. Бернштейна были посвяшены нахождению алгебраических полиномов Р„ степени п, достигающих максимального значения одной из производных в данной точке £ € [а, Ь]. В частности, П. Л. Чебышев5 и Е. И. Золотарев6 описали многочлены степени п с одним или двумя фиксированными старшими коэффициентами, наименее уклоняющиеся от нуля на отрезке [0,1). Е.В. Вороновская и В. А. Гусев7 получили полное решение задачи о точных неравенствах для промежуточных производных многочленов посредством приложения функционального метода к золотаревским полипомом.

Более общая зкстраполяционная задача (2) для точки £ на краях или за пределами интервала [а, Ь] была решена С. Карлином8, который построил семейство золотаревских совершенных сплайнов.

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

интервале, Ученые записки МГУ, 30 (1939), 3-16.

J. Schoenberg, A. Cavaretta, Solution ojLandau's problem concerning higher derivatives on the halfline, Constructive theory

of function«, Proc. of the Intern. Conf. (Varna, 1970), 1, Izdat. Bolgar. Akad. Nauk, Sofia, 1972, 297-308.

®IT. Л. Чебышев. Задана о наименьших числах, связанных с приблизительным представлением функций. Записки

Ст.-Пегерб. Акад. Наук, 1859.

и. Золотарев. Приложение эллиптических функций к вопросам о функциях, наименее и наиболее отклоняющихся

от нуля. Записки Ст.-Пегерб. Акад. Наук 30 (5), 1877.

7Е. V. Voronovskaja. The functional method and its application, volume 28. AMS, Providence, R. I., 1970.

8S. Karlin, Oscillatory perfect splines and related extremal proWem, Studies in spline functions and approximation theory, Academic Press, New York, 1976, 371-460.

2. Задача линейной динамит

В пятидесятых годах прошлого века Д. Бушо и A.A. Фельдбаум предложили математическое решение следующей проблемы классической теории оптимального управления; Т —► inf; (x(0),i(0)) = (0,0), (x(T),¿(T)) = (x0,Xi), < 1-Работы и доклады Фельдбаума на семинарах по теории оптимального управления в Математическом Институте им. Стеклова стимулировали интерес математической школы Понтрягина и впоследствии привели к формулировке и доказательству знаменитого принципа максимума для решения общих задач оптимального управления.

Более общая задача Фельдбаума-Бушо представляет из себя частный случай более общей задачи линейной динамики о минимизации времени движения:

(3) Т —> inf; ¿(t) = A(t)x{t). +B{t)u(t), ж(0) = 0„, x(T) = Л, ЦиЦ^г) < 1,

где x(t), Л 6 К", u(t) е Кг, A(t) и B{t) -пхп- и n х г-матричные фикции на Н+.

Различные постановки задач в линейной теории оптимальных процессов обсуждаются в трудах Л. С. Понтрягина, В. Г. Болтянского, Р. В. Гамкрелидзе и Б. Ф. Мищенко9 , Р. Беллмана, И. Гликсберга и О. Гросса, X. Хермеса и Дж. Ласалля10. При особом выборе интегрального ядра Y(t) задача А. Ляпунова11 об описании критических точек множества

(4) M[Y\ := I J* У(í)tt(í) dt I u(0 = M-),..., tír(O) € Lipr[0, T] |

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

Экстремальная функция любой задачи в классах Ни\а,Ь] функций с мажорирующим выпуклым модулем непрерывности ш максимизирует функционал

(5) f h(t)ip(t) dt -> sup, h e Ны[а, 6], Ja

для определенного (зависящего от задачи) ядра е Li[a,¡>] с конечным числом точек перемены знака на [а, Ь]. На функции из класса Я"[о, Ь] также налагаются дополнительные граничные ограничения, если среднее ядра V не равно нулю.

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

9Л.С. Понтрягин, В. Г. Болтянский, Р.В. Пшкрелвдзе, Е.Ф. Мищенко, Математическая теория оптимальных процессов, Наука, M., 1S76

10Н. Hermes, J.P. LaSalle, Functional Analysis and Optimal Control, Academic Press, New York, London, 1969. nA. Lyapunof. Sur isi foncticns-vecteurt campUtement additives. Bull. Sei. USSR, Ser. Math., 4:465-478, 1940.

3

транспортировки и минимальная стоимость затрат в известной транспортной задаче Канторовича - Монжа:

(6) У с{х,у)й-к{х,у) -4ппп, 7геП(д,у)

ХхУ

при определенном выборе функции с(х, у). Действительно, дуальная связь задач (5) и (6) проявляется следующим образом. Пусть борелевские меры ц, и на [а, Ь] таковы, что = &'(!') и их разность - абсолютно непрерывная мера р: йр{х) = ф(х)сЬ: для некоторого ядра с нулевым средним и конечным множеством точек перемены знака. Если функция стоимости определяется формулой с(х,у) = ш(|у-ж|) для выпуклого модуля непрерывности и, то транспортная задача Канторовича-Монжа (6) двойственна задаче максимизации функционалов (5). Важность решения этой задачи для построения теории экстремальных задач в классах \¥гНи обсуждается в следующем разделе.

Цель работы. Основной целью диссертации является построение элементов теории экстремальных задач в функциональных классах ИГТНи для выпуклых модулей непрерывности ш.

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

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

Научная новизна. Все представленные в диссертации результаты опубликованных работ автора являются новыми. Перечислим основные результаты диссертации.

1. В разнообразных постановках решается задача о максимизации интегральных функционалов на классах функций, чей модуль непрерывности мажорируется данным выпуклым модулем непрерывности. Данные результаты обобщают результаты Н. П. Корнейчука и С. В. Стечкина в данной тематике со случая интегрального ядра с единственной точкой перемены знака на случай ядер с произвольным конечным или счетным числом отрезков постоянства знака.

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

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

Для получения графических интерпретаций свойств решений дискретной задачи максимизации функционалов вводится новое понятие графа перестановок и изучаются структурные особенности этих графов: свойства гамильтоновости и эйлеровости, наличие графов перестановок с фиксированным циклом в терминах отношения Харди - Литтлвуда -Полиа для вершин цикла. Устанавливается тесная связь между свойствами экстремальных векторов дискретной задачи максимизации функционалов и графов перестановок. В частности, единственность решения задачи максимизации функционалов оказывается эквивалентной связности графа перестановок.

2. Характеризуются экстремальные функции - эйлеровы, чебышевские, золотаревские и-сплайны - в точных неравенствах Колмогорова-Ландау для промежуточных производных в классах Ж'Я1*^!) в случае прямой I = К, полупрямой I = отрезка при ограничениях в равномерной метрике и метрике Ьр. Тем самым известные результаты А. Н. Колмогорова, В. М. Тихомирова12, И. Дж. Шенберга и А. С. Каваретты, С. Кзрлина, А. Пинкуса, Г. Г. Магарил-Ильяева13 в данной тематике обобщаются со случая соболевских классов, соответствующих линейному модулю непрерывности и, на случай классов У/ГН" для произвольного нелинейного выпуклого ш.

Кроме того, подобные обобщения результатов на нелинейный случай сделаны и в ряде наиболее важных частных случаев постановок этих задач: Ландау и Адамара (первая производная), Стечкина и Маторина (вторая производная), экстраполяционной задачи Маркова для равномерной метрики, Фуллера-Габушина-Магарил-Ильяева в метрике ЬР

3. Приводится полное описание экстремальных траекторий общей задачи линейной динамит для управлений из класса ШгНи - обобщения одной из наиболее известных задач классического оптимального контроля, поставленной в случае линейного и.

12В. М. Тихомиров. Поперечники множеств е функциональных пространствах и теория наилучших приближений. УМН, 15(3):81-120, 1960.

13Г. Г. Магарил-Ильяев. Неравенства для производных и двойственность. Труды МИАН им. Огеклова, 161:183-194, 1983.

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

4. При рассмотрении выпуклого функционального класса в качестве множества допустимых управлений демонстрируется, что необходимое условие оптимальности принимает форму интегрального принципа максимума. На примере класса Я" как множества таких управлений показано, каким образом этот принцип может использоваться для определения экстремальных функций как в вышеперечисленных задачах Колмогорова-Ландау для производных или задаче линейной динамики, так и в некоторых прикладных задачах финансовой математики, в частности, торговых моделях товарно-сырьевого и фондового рынков.

Теоретическая и практическая ценность. В диссертации предложено решение ряда экстремальных задач в классах И"НЫ(1), которые представляют и теоретический, и прикладной интерес. Результаты и методы решения могут быть использованы в теории аппроксимации, теории оптимального управления и вариационного исчисления, теории функций и функциональном анализе.

Результаты цикла работ, посвященного решениям задач Колмогорова-Ландау, могут быть использованы для получения оптимальных формул численного дифференцирования. Другой цикл работ связан с решением задач линейной динамики теории оптимального управления и различных вариантов транспортной задачи математической экономики, находящих применение в оптимальном планировании производства в промышленности, сельском хозяйстве, торговле, транспорте, финансовых операциях и макроэкономике.

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

Научная школа по теории аппроксимации и ее приложениям, Алушта, 13-17 мая, 1991.

9&%-ая конференция Американского Математического Общества, Уэйн Стэйт Университет, Детройт, США, 2-4 мая, 1997.

7-ой международный симпозиум по анализу и его приложениям, Университет Мэна, Ороно, США, 1-6 июня, 1997.

Конференция по теории операторов и ее приложениям,

Одесский Государственный Университет, 18-22 августа, 1997.

6

Конференция по анализу,

Университет штата Огайо, Колумбус, США, 12-16 октября, 1999.

Конференция по экстремальным проблемам анализа (ЕРОСНА), Российский Университет Дружбы Народов, 22-26 мая, 2007.

Семинар по анализу университета Брауна,

Университет Брауна, Провиденс, США, 20 октября, 1997.

Семинар по теории приближений В.М. Тихомирова,

Московский Государственный Университет имени М. В. Ломоносова, ежегодные доклады в 1994 - 2010.

Семинар по прикладной математике,

Университет штата Огайо, Колумбус, США, 30 сентября, 1996, 24 апреля, 2007.

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

Структура и объем диссертации. Диссертация состоит из введения и 8 частей, разбитых на 30 глав. 40 графиков иллюстрируют содержание диссертации, чей общий объем составляет 304 страницы. Библиография диссертации содержит 129 наименований, включая 10 работ автора.

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

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

Часть 1. Задача о максимизации интегральных функционалов в Н"[а, 6]. В начальной главе, базирующейся на результатах работ [1], [2], вводится понятие совершенных и-сплайнов как экстремальных функций задачи

ОСНОВНОЕ СОДЕРЖАНИЕ РАБОТЫ

для ядер гр € Ь>1[а, Ь] с конечным числом точек перемены знака на [а, 6].

Прежде чем объяснить решение задачи (7) в случае нелинейных модулей непрерывности и, в главе 5 внимание читателя обращается на свойства и роль полиномиальных совершенных сплайнов в теории экстремальных задач в соболевских классах. В частности, при упоминании об интерполяционных и экстремальных свойствах таких сплайнов отмечаются статьи Пинкуса, Карлина, Мичелли, Ривлина и Винограда, И. Дж. Шенберга и А. Уитни, В. В. Арестова, а также книги Малоземова, Певного и Тихомирова.

Затем поясняется, что особая роль полиномиальных совершенных сплайнов в теории соболевских классов объясняется их экстремальностью в задаче

(8) / лс-^ЖОй-мир, /¡еИ^М], л<г-')(|1) = Ее11 Лг

где ^-некоторое интегральное ядро с конечным или монотонно упорядоченным счетным множеством точек перемены знака на [а,Ь]. При этом форма ядра ф{{) определяется типом экстремальной задачи в классе 1У£,[а,5]. Например, в задаче Колмогорова-Ландау в равномерной метрике такими функциями служат ядра Фредгольма. В задаче быстродействия (задаче о рандеву) генерирующим ядром может быть произвольный полином соответствующей размерности. В транспортной задаче (задаче о перемещении массы) такой функцией может служить произвольная суммируемая функция с конечным числом точек перемены знака (поскольку существует конечное число производителей и потребителей продукции), которая в данном случае выступает в качестве разности между конечным и начальным распределением массы. Все эти задачи подробно рассмотрены в последующих главах диссертации.

Внимание читателя также обращается на тот факт, что генерирующие ядра Ф^х) = и = с одинаковыми множествами точек перемены знака порож-

дают одну и ту же функцию -т-®*(вне зависимости от их структуры на [а,Ь]. Эта, аР

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

(9) ||/(т)111~ГО-+8иР> /еИЪГО. 11/к.Ю^В, 0 < т < г,

для I = К, ¡0,1] не зависят от порядка производной т. Кроме того, каждый из чебышёвских сплайнов из задачи о поперечниках также является экстремальным золота-рёвским сплайном задачи (9).

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

В п. 6.1 отмечается, что отправным пунктом в рассмотрении проблем этой тематики послужила форма решения Н. П. Корнейчуком варианта задачи (7) для ядер с нулевым средчим и одной точкой перемены знака, т.е. производных так называемых простых ядер. Рисунок 1 иллюстрирует структуру экстремальных функций в Лемме Корнейчука.

Другим вводным элементом служит понятие ^разбиения интервала [а, Ь] из п. 6.3, в терминах которого характеризуется структура экстремальных функций задачи (7) в общем случае.

Наконец, после введения всех необходимых определений и обозначений в п.п. 6,2, 6.3 формулируется основной результат тематики, Теорема 6.12 о строении экстремальных функций задачи (7), и анализируются разнообразные свойства совершенных ш-сплайнов, структура экстремальных разбиений ядра Ф(ж) = ¡" М на сумму простых ядер, понятие экстремальной перестановки Яи(Ф; •), особенности решения задачи (7) в гельдеровских классах (в п. 6.3). Рисунки 2,3 иллюстрируют строение экстремальных функций. Каждый чертеж содержит графики экстремальной функции х* и ядра Ф, а также идентифицирует атомы оптимального ^-разбиения.

Далее в п. 6.5 обсуждаются различные варианты задачи (7) в случаях, когда среднее

функции V не равно нулю. Во-первых, это модификация задачи (7) при фиксированном

9

(п,«,т) = (3,1,1) Вп . Ви Ви &21 Въз 5зз В34 Ваъ Ви

а0 С*1 1 ' Таз : ! • оц

Ф ___ 1 1 ; : • !

1

1 1 1 1 1 > ¡ЧЛ^ ! 1 ! [,' у

х' 1 ( 1

-¡¿С**'

—а»^

Рис. 2. Графики экстремальной функции х*, ядра Ф и интервалы разбиения в случае (п,з,т) = (3,1,1).

(п,а,т) = (3,1,1)

Вп Вы Вп Вч 3 В 32 В зз Вз4 В43

ао 'а, «3 л 4

1 1 ч

Ф / ^ 1 <

1 | ___ 1 "Ч. I 1

X*

—й 1

Рис. 3. Графики экстремальной функции х', ядра Ф и интервалы разбиения в случае (п,в,т) = (3,1,1).

значении функции к € Я"[а,Ь] на одном из концов отрезка; данный вариант особенно полезен при описании решения задачи Колмогорова-Ландау о максимизации значения последней производной. Вторым важнейшим случаем задачи (7) является вариант, при котором оба значения функции к е Ни{а,Ь] фиксированы, поскольку именно в терминах экстремальных функций этих задач описываются решения задач оптимального управления в классах ТУН", в частности, общей задачи линейной динамики. Также рассматривается случай фиксированного значения во внутренней точке функции к € Я"[а,Ь],

необходимый при решении задачи Золотарева или Колмогорова о максимизации значения

Ю

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

-wi(<2 ~h) <x{t2) -x(ii) <u2(i2 -ti), V(tbt2) : a < ti < fa < 6.

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

Завершают главу 6 критерий тривиальности ^-разбиений (в п. 6.6), при которых локальные Н" функции склеиваются в глобальные функции из Ни[й, Ь], и формулировка предельных свойств совершенных w-сплайнов (в п. 6.7). Критерий тривиальности экстремальных ^-разбиений играет1 важнейшую роль в описании структурных свойств решений задачи Колмогорова в Wl#u(®) и WlHu(R+) в норме Lp. Предельные свойства идеальных ш-сплайнов находят свое применение как при обосновании непрерывности многочисленных борсуковских отображений в доказательствах теорем существования, так и при получении структурных свойств функций, построенных при предельном переходе. Например, все экстремальные функции задачи Колмогорова на бесконечных интервалах Е и JK+ были получены как предел чебышевских ш-сплайнов с конечным числом точек альтернанса и узлов.

Часть 2. Дискретная задача максимизации функционалов. После введения обозначений

ИГ» := {(«o,zi,...,г») SRn+1 | \zj-zil <u(j~i), 0<i<j<n}, Hy[n] := {(г0,zi,...,zn) eH"[n! | z„ = 0},

в основных результатах Части Теоремах 7.3 и 7.12, описываются решения дискретной задачи

(10) (V,Z)->sup, Z eHjJ[n], и ее более общего варианта (который мы сводим к (10))

(11) (V, Z) -»sup, Z 6 И£[п], 0 <р <п,

а также вводится понятие перестановки для произвольных n-мерных векторов (в п. 7.2).

Так же, как и в непрерывном случае, задача (10) сначала решается (в п. 7.3) для простых векторов V, т.е. векторов, чьи координаты меняют знак один раз. Этот результат может рассматриваться как дискретный аналог леммы Корнейчука. В частности, показывается, что элементы {иу Ь jeZH экстремального разложения и ш-перестановки простых векторов не зависят от ш. Кроме того, устанавливаются критерии единственности решений задачи (10) в случае простых векторов. Наконец, показывается, что если V 6 Ъы - простой

вектор с целочисленными компонентами, то и координаты перестановки ЛШ(У) имеют целочисленные координаты.

Далее, как и в непрерывном случае, в п. 7.4 решение задачи (10) в случае вектора V с нулевой суммой компонент редуцируется к решению конечного числа задач (10) для простых векторов.

Результаты раздела, посвященного решению задачи (10) для простых векторов, послужили базисом для индуктивного доказательства общего результата по числу перемен знака компонент векторов V в нашей работе [2]. Доказательство индуктивного шага было проведено отдельно для векторов с четным и нечетным числом перемен знака в компонентах вектора. В п. 7.5 объясняется специфика каждого из этих случаев и раскрываются некоторые дополнительные интересные свойства экстремальных векторов задачи (10). Например, показывается, что в случае векторов V с нулевой координатой задача (10) имеет континуум решений.

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

Во-первых, раскрывается связь между дискретным вариантом и непрерывной версией задачи (10) о максимизации интегральных функционалов h i-> ¡1 h(t)^(t) dt во множестве функций h е H"\a,b] : h{a) = 0, при условии, что ядра ip 6 С[о,&] имеют конечное число перемен знака на [а, 6]. Во-вторых, исследуются перестановки целочисленных векторов. В-третьих, описание экстремалей задачи с фиксированными граничными условиями

(V,Z) -¥ sup, Z = (z0,...,z„) бВЦтх], 20 = 6, «л =6.

сводится к решению двух непрерывных вариантов проблемы (10).

В-четвертых, приводится решение задачи (10) в несимметричных классах Я"0,1'1^] с разными модулями непрерывности по возрастанию и по убыванию.

В главе 8 диссертации, посвященной графическим интерпретациям дискретной задачи максимизации функционалов, вводится понятие графа перестановок GU(V) и исследуются свойства отображения V GU{V) из пространства Ro+1 в0 множество графов с вершинами в Z[n] и ребрами Z[n] xZ[n]. Структурные особенности этих графов GU(V) проливают новый свет на свойства решений задачи (10).

В работе [2] было установлено существование разбиения данного вектора V с нулевой суммой компонент на суммы простых векторов Vy, для некоторых пар 1 < г < j < п, каждый из которых имеет ненулевые координаты «{,-, v(j> (vb = ~~"у) лишь ДО3 индексов i и j, соответственно. Кроме того, разбиение V = £ Vy обладает свойством

sup (V,Z)=T sup (VihZ).

ZeH»[n] Z€H"[n]

12

Рис. 4. Планарная реализация графа перестановок (V)

ТЬгда граф перестановок СШ(У) вводится п. 8.1 следующим образом: две вершины г, 3 графа СЫ(У) соединены ребром тогда и только тогда, когда ф 0. Конечно, если задача (10) имеет континуум решений, то возможно существование графов Си(У), порожденных разными элементами декомпозиции вектора V 6 Е^41.

Далее, в п. 8.5 установливается ряд свойств графов перестановок. Например, любой граф СШ(К) перестановок является двудольным планарным графом (также описываются планарные представления графов для простых и произвольных векторов V - см.

Рисунок 4).

Напомним, что цикл (или цепь) графа называется гамилътоповым (эйлеровым), еели он проходит через все вершины (ребра). Граф называется еамильтоновым (или эйлеровым) при условии наличия в нем соответствующего цикла. Показывается, что связный граф СЫ(К) не является ни гамильтоновым, ни эйлеровым. Кроме того, объясняется, что связный граф &и(У) перестановок имеет гамильтонову цепь тогда и только тогда, когда он изоморфен Рп - графу с множеством вершин V = Щп] и ребер Е = {{к-1,к)\к = 1,... ,п}.

Также получен результат, предлагающий естественное представление деревьев в качестве графов перестановок (п. 8.7).

Для любого дерева Т с п + 1 вершиной и любого выпуклого модуля непрерывности и существует такой вектор V = (г/0,.... ,г>„) 6 что граф СШ(У) изоморфен Т и М = где 1У< - вершина в Т, соответствующая вершине г графа перестановок Сш(V) при всех г е Щп).

Затем исследуется вопрос существования графа перестановок с фиксированным циклом

—>■ ¿2 —^----> к -> ¿1- Оказалось, что критерий существования может быть сформулирован в терминах отношения Харди-Литтлвуда-Полт для вершин рассматриваемого цикла (см. Предложение 8.18 в п. 8.8).

Основное же применение графов перестановок заключается в их удобстве для интерпретации всевозможных структурных свойств экстремальных векторов задачи (10). Например, соотношения между ненулевыми координатами простых векторов экстремального разбиения наиболее легко формулируются в терминах соответствующих миноров матрицы смежности графа перестановок (Лемма 8.5, п. 8.1). Два экстремальных подразбиения в случае четного числа перемен знака (п. 8.3) в координатах вектора V и три таких разбиения в нечетном случае (п. 8.4) легко переформулируются в терминах сответствующих

13

подграфов графа перестановок и его точек сочленения, т. е. тех вершин, после удаления которых граф становится несвязным.

Наконец, замечательным свойством графов перестановок является следующий критерий: задача (10) имеет единственное решение тогда и только тогда, когда граф СШ(У) связен (Теорема 8.13, п. 8.6).

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

Классический дискретный вариант допускает следующую формулировку (п. 9.1). Предположим, что однородная (например, сырьевая) продукция производится и потребляется в конечном числе фабрик, расположенных в нашей модели в целочисленных точках положительной полупрямой. Предположим также, что известен вектор V спроса и предложения:. количество продукции, произведенной в точке г, представляется положительной компонентой > 0 вектора V, нужда потребителя продукции измеряется координатой V] < 0, пассивная фабрика к соответствует нулевому Юк, и стоимость перемещения единицы продукции из точки г в точку ] равна - г'|) для фиксированного выпуклого модуля непрерывности и. Предположение о совпадении общего спроса и предложения и конечности участников экономических операций эквивалентно допущению V е ®о+1 для некоторого п € N. В "транспортной задаче" ставится вопрос об оптимальном распределении продукции между производителями и потребителями с целью минимизации стоимости транспортных затрат.

В п.п. 9.2, 9.3 читателю напоминаются понятие и связь между двойственной и прямой задачами линейного программирования. Затем задача (10) и ее двойственная ставятся в канонической форме задачи линейного программирования. При этом было показывается, что "транспортная задача" совпадает с вариантом задачи, двойственной к (10). Детальное обсуждение дуальности и ссылки на теоремы двойственности для конечномерных и непрерывных "транспортных задач" даны В. Л. Левиным14. История и современный прогресс в теории "транспортной задачи" широко представлены в работах Р. Маккена15 и монографии С. Виллани16.

Наблюдение о двойственности задачи о максимизации линейного функционала и транспортной задачи позволило в п. 9.5 дать удобную экономическую интерпретацию многих результатов предыдущих параграфов диссертации.

"v. L. Levin. General Monge-Kantorvvich problem and Us applications in measure theory and mathematical economics. Functional Analysis, Optimization and Mathematical Economics, pages 141-178, 1990.

1SR. McCann. Exact solutions to the transportation problem on the line. Proc. Royal Soc. London Ser. A, 455:1341-1380, 1999.

16C. Villani. Topics in Optimal Transportation, volume 58 of Graduate Studies in Mathematics. AMS, Providence, R. I., 2003.

14

Элемент разложения вектора V совпадает с количеством продукции, полученной из (при Vi < 0 ) или отправленной в (при V/ > О ) ¡-ю фабрику г-й фабрикой.

Кроме того, из формы экстремального вектора в задаче (10) вытекает, что перемещения грузов между двумя потребителями или двумя производителями запрещены в оптимальной схеме перевозок в случае выпуклой функции стоимости ш[\х — ¡/|).

Дискретная версия леммы Корнейчука требует, чтобы перевозки от каждого производителя г = 1,...,п — 1 осуществлялись наиболее удаленному из еще не загруженных потребителей при условии, что груз уже был отправлен из точек 0,1,... ,1-1. Задача (10) для простого вектора V имеет единственное решение тогда и только тогда, когда все фабрики активны, т.е. они производят или потребляют ненулевое количество продукции, и после отправки груза г-й фабрики (г = 0,..., п—2) ее ближайший получатель для полного удовлетворения своих нужд требует дополнительной поставки из (г + 1)-й фабрики.

Следующее определение упрощает интерпретацию критерия единственности в общем случае V 6

Пусть V £ ®о+1 и I с 2[п] - собственное подмножество в 2[п]. Пара (УД) образовывает замкнутую транспортную систему, если не существует экономической связи между фабриками в х € I и х 6 Щп] \ I, т.е. ни одна фабрика в х € I не снабжается фабрикой из х е 2[п] \ I и наоборот. В терминах элементов разложения вектора V, иц = 0 для всех ieluje Щп] \ I

Согласно результатам диссертации, задача (10) имеет единственное решение тогда и только тогда, когда ни одна пара (У,1у) с1у := {»,1 + 1,...,не образовывает замкнутую транспортную систему.

В терминах замкнутых транспортных систем интерпретируются и экстремальные разбиения в случаях четного и нечетного числа перемен знака координат вектора V.

Если координаты вектора V е имеют четное число перемен знака, то транспортная система (КДо.п) распадается на две системы VI = (VI, Пси) и У2 = (У^Дь,,,) с не более чем одной фабрикой (в точке Ь), имеющей связи с фабриками в обеих транспортных системах.

Если координаты V имеют нечетное число перемен знака, то (УДо.п) распадается на три транспортные системы: VI = (ИДад), V? = (ЦДм*) и ^з = О^йус и 1м,п)- При этом единственная возможная связь между VI и Уг осуществляется в точке Ь. Система (^зДо,к) содержит только производителей (только потребителей), а (УзДм.п) включает в себя лишь потребителей (производителей) соответственно. Система может иметь только одну связь с внешним миром: либо с системой VI в точке К, либо с Уа в точке М.

В диссертации много внимания уделяется обсуждению транспортной задаче математической экономики как двойственной к задаче максимизации линейного функционала. Однако, прямая задача сама допускает интересную экономическую интерпретацию и известна как модель агрегированного планирования производства (п. 9.6).

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

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

Задача Канторовича-Рубинштейна для данной функции стоимости с[х,у) формулируется следующим образом:

(12) J c(x,y)dTi(x,y) -»min, 7геП(^,1/).

XxY

Эта проблема минимизации была исследована Л. В. Канторовичем.

В задаче Монжа налагается дополнительное требование неделимости массы: масса из точки х может быть перемещена в единственную точку у. За решение этой задачи Парижской Академией Наук был объявлен специальный приз, который получил за свой трактат П. Аппель.

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

Действительно, для двух данных борелевских мер ц, и на [а,Ь] со свойством fadß{x) — fa 'Mf) пусть их разница будет абсолютно непрерывной мерой р, где dp(x) — ip(x) dx для некоторого ядра ip 6 МJm[a, b] с нулевым средним и конечным множеством точек перемены знака. Пусть также функция стоимости дается формулой

cfay) = ы(\у - х\)

для некоторого выпуклого модуля непрерывности и. Тогда транспортная задача Канторовича-Монжа двойственна задаче ь

h(t)xp(t)dt sup, h € Hu[a, 6].

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

Предположим, что конечный интервал [а, Ь], на котором добывается или потребляется продукция, распадается на конечное число областей добычи и потребления. Как мы показали, сама функция распределения Ф(() = ßip{x)dx разлагается на такую сумму простых ядер {Ф<(-) = Ф<(ш; 0}'=1> что

(13) *(t) = Y>(t); sup /Vf)#)dt = £ sup fh№{t)dt

he.H"[a,b\Ja heH"[a,b]Ja

16

L

Напомним, что с каждым простым ядром Ф( с носителем [а(, ЭД из этого экстремального разложения ассоциированы такие промежуточные точки о^, Ъ>{ : сц< < < Ьи а также знак С 6 {±1}, что

(14) £1р{х) <0, х 6 [а, а']; 1р(х) = 0, х е [а',Ь'1; ^(х) > 0, х € [6', 6].

Следовательно, у простого распределения Ф( существуют в точности две непрерывных области [а>, и [ЭД, Ь4], на одной из которых сырье добывается, а на другой потребляется.

Тогда общий оптимальный план перевозки продукции заключается в перевозе сырья из области [а(,о;] в область [!/(,Ь(] (или наоборот) для всех г = 1,...,!, причем внутри каждой пары областей перевозка осуществляется между точками х е у € [¡/¡Д],

подчиняющимися условию

Ф((х) = %{у).

Наконец, общая "стоимость" трансформации одного распределения в другое определяется величиной

(15) [ Пи(У;х)ш'{х)(1х= вир [ ¡гЩЩМ, У о леЯ"М

где

I

•-1

и Ф(* - убывающие перестановки Ф1 для г = 1,..., I.

Часть 3. Свойства экстремальных перестановок. Как мы уже упоминали, числовое решение задачи (7) выражается в терминах экстремальной ш-перестановки 3{И(Ф;-). В части 3 диссертации, опирающейся на результаты работы [4], проясняются отношения между тремя видами перестановок ядра Ф: стандартными убывающими перестановками #*(■) (п. 10.1), Е-перестановками £(Ф;-) Корнейчука (п. 10.3) и экстремальными ш-пере-становками Э1И(Ф; •) (введенных ранее в п. б.З).

Рисунок 5 иллюстрирует определение Е-перестановки Корнейчука. Приведем также пример экстремальной перестановки Эгы(Ф; • )• Пусть четное ядро Ф задается формулой Ф(г) =-тт{1;10-4} на отрезке [0,10] и Ц«) = ы1/3(<) = уД- Рисунок б иллюстрирует график экстремальной функции Л*(<) задачи о максимизации функционала /^0Л(4)Ф'(4) йг и экстремальной перестановки ИИ1/3(Ф;4).

В частности, в п. 10.4 показано, что эти три перестановки не мажорируют друг друга; также дается критерий их попарного совпадения. Специальный раздел, п. 10.5, посвящен неравенствам между (¿ш)-нормами перестановок, а также неравенствам между интегралами перестановок, т.е. установлению так называемых отношений "—»" и "«->"). Кроме того, доказываются аналоги неравенства Харди-Литтлвуда для произведения функций

и их перестановок (Предложение 10.16). В завершение, в п. 10.6 получено неравенство

17 ,

Рио. 5. Разбиение на простыв ядра для ^перестановки Корнейчука

РИС. 6. Ядро Ф, экстремальная перестановка Й^ДФ; •) и функция Л*

между значением производной ^-перестановки и соответствующим интегралом

Е-перестановки Корнейчука от второй производной ядра Ф (Предложение 10.20).

Часть 4. Задача Колмогорова-Ландау в равномерной метрике. Четвертая часть диссертации посвящена решению задачи Колмогорова-Ландау на прямой и полупрямой при ограничениях в равномерной метрике. Обсуждение структуры экстремальных функций этой задачи предваряет экскурс в историю проблемы, начинающуюся с элементарной задачи Д. И. Менделеева по этой тематике, решенной А. А. Марковым (глава 11). После этого в главе 12 внимание читателя переключается на изучение свойств ядер Фредгольма, служащих для генерирования экстремальных функций задачи Колмогорова-Ландау.

Наконец, формулируется экстремальная задача Колмогорова-Ландау:

(16) /М(0)-»8ир, ?€\¥гНи(1), ||Л|и.(1)<В,

для произвольного фиксированного В > 0 и интервала I = К или Е+. Отметим, что в случае неограниченных интервалов Я = К или Е+ максимизируемое значение /(т'(0) может быть заменено на норму ||/<т'||ио(1)'

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

Затем в главе 13 устанавливаются достаточные условия экстремальности функции в задаче (16) на конечном отрезке и выводим точные аддитивные неравенства.

В следующем разделе, главе 14, этой части строится семейство чебышевских ш-сплайнов с фиксированным числом точек альтернанса и данной нормой В, экстремальных в задаче (16) на некотором отрезке I = [0,4 Это доказательство базируется на применении Теоремы Борсука об Антиподальности. Теорема Ц.11, описывающаяся семейство чебышевских ш-сплайнов, является центральной в тематике задачи Колмогорова-Ландау в

равномерной метрике.

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

Теорема 1. Пусть т,г 6 М, 0 < т < г, п е П, п > г, и ы - выпуклый модуль непрерывности. Тогда существуют й = ¿(В,п, г, т,и>) > 0, наборы точек й = ¡/(В,п,г,т,^) и в = в(В,п,г,т,ш), удовлетворяющие

0 =: 1/0 < • ■ • < 1/„, 0 =: 0о < 1 • ■ < < 0т>~г+2 уп,

П-1 < & < Ц+г-1, » = 1,...,п-Г + 1, 19

и функция 2 — г,пчы1 наделенные следующими свойствами:

(1) 2(ц) = (-1)(+т||Я||С[о,«г| = (-1)1+тВ, { ~ 0.....п + 1,

Л Л

(2) гир ¡Н{х)К{х)йх = ! 2<г\х)К{х)йх,

Л€Н"[0,<1)} }

О о

где коэффициенты ядра АГ(<) = — ^ ^ 1Сы)а|(|/* - <)+-1 являются решениями

уравнений

п

=т]5т,1, 7 = О,- .., Г — 1,

¡=0 п

^«(и-^+'-О, 1 = 1.....п-г + 1.

. (=0

После завершения построения чебышевских ш-сплайнов показывается, что экстремальная функция задачи (16) на полупрямой является пределом чебышевских и-сплайнов, что завершает решение задачи (16) в случае I = К+ Шенберга -Каваретты. Аналогичным образом строятся экстремальные функции в оригинальном колмогоровском случае I = К. В этом случае решение задачи совпадает с пределом золотаревских ш-сплайнов, экстремальных в задаче

(17) /(-)(0) вир, ¡еУ/'н^-йА, Н/Иы-ад^я.

для последовательности {<I = <1п}»>г, где [-(¿„^„¡-область определения чебышевского и-сплайна с и точками альтернанса на [ с1п, ¿п!•

Структура экстремальных фунций задачи Колмогорова для классов ИГ'НШ на прямой и полупрямой описана в Теоремах 15.1 и 15.5, соответственно.

Отметим, что в гельдеровском случае задачу (16) достаточно решить для единственного значения В (например, В = 1), поскольку экстремали для других значений представляют из себя пронормированные растяжения решения задачи для В = 1. Также формулируется результат об эквивалентности аддитивных и мультипликативных неравенств для задачи (16) в гельдеровских классах и находятся точные константы в мультипликативных неравенствах для прямой и полупрямой (Следствия 15.4 и 15.7).

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

Следующим шагом является описание (в главе 17) экстремальных функций задачи Колмогорова-Ландау

(18) ПЯ1и.(1)-»чир, /6 ||/||и.т<В,

20

Рис. 7. Экстремальная функция в неравенствах Ландау в

РИС. 8. Экстремальная функция в неравенствах Адамара в

для всех выпуклых модулей непрерывности и и I = К или Е+. Эти результаты обобщают решение задачи для линейного и(<) = 4 Э. Ландау в случае I = К+ (см. Рисунок 7) и Ж. Адамаром в случае I = К (см. Рисунок 8).

Отметим следующую специфическую особенность функциональных классов Ш'1На(Ж) и Иг1Я"(К+): если ш(4) не является гельдеровским модулем непрерывности ш7(<) = СР, О < 7 < 1, то не может существовать и мультипликативных неравенств формы

< КМь^г,, 0 < а < 1. 21

Рис. 9. Экстремальная функция задачи экстраполяции Маркова в W1H" (-00, г]

Su,6 | N. f ; N.

9ш,Ь |

—зь; -26 ( ¡6 f2b ¡36

! / \-Н24 J

Рис. 10. Экстремальная функция задачи максимизации первой производной в И^Я^И)

Наконец, разбирается частный случай задачи экстраполяции Маркова в случае г = 1 (см. Рисунок 9).

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

(20) ll/(m)llu.W "> sup, / € W2HU{I), ||/||u.(i) < В,

для т=1,2и/ = Ев случае Шилова, Стечкина (см. Рисунки 10, И) и М+ в случае Ма-торина, Стечкина. Также выводятся соответствующие формулы численного дифференцирования для производных f'(x) и /"(г), подобные тем, которые получил С. Б. Стечкин:

(21)- J^x)*^{af[x)-{a + b)J(x + ch) + bf{x + h)}, к-1,2.

В заключение этого раздела отметим, что данный раздел диссертации написан по материалам работ [4], [6] и [9].

РИС. 11. Экстремальная функция задачи максимизации второй производной в И'2Я"(Е)

Часть 5. Задача Колмогорова-Ландау в \УтНи Г) Ьг Основная цель части 5, основанной на результатах автора в [8], - полная характеризация точных аддитивных (и мультипликативных в случае гельдеровских классов) неравенств для норм производных функций, а также описание структурных свойств экстремалей задачи

(22) ||/(т)к»(1)-^ир, /еГЯ"(1), ||/!к(и < В,

для всех г,т € 2 : 0 < от < г, всех р : 1 < р < оо, выпуклых модулей непрерывности и, всех положительных В и I = К или К+.

Прежде чем приступить к решению задачи (22) для нелинейного и, в п.п. 19.1-19.3 читателю напоминаются два различных решения этой задачи в соболевском случае ш(4) = 1 Одно из этих решений базируется на стандартных методах классической теории оптимального управления. Другое решение основано на выводе достаточных условий оптимальности и применении теоремы Борсука при построении экстремальных функций. Подобно классическому варианту

(23) [ \х(г)\рси->т{, г(т>(0) = 1, условия экстремальности в задаче

(24) ^хфРсй-ЫпЬ х € \¥'НЫ(1), ж<т>(0 ) = А, Е = К+УК,

эквивалентной задаче (22), получены в форме уравнений Эйлера - Л агралжа и условий трансверсальности (п. 19.4).

Главным отличием в условиях оптимальности является форма условий Вейерштрас-

са, в соболевском случае заключающаяся в максимизации гамильтониана системы почти

23

всюду на интервале I. Показано, что в случае классов WrHu(l) поточечная инфините-зимальная версия принципа максимума должна быть заменена на интегральную форму, отражающую оптимальное поведение системы в целом.

Центральные Теоремы 19.12, 19.13 части 5 описиваютп структуру экстремальных фунций задачи Колмогорова в W'H" П Lp па прямой и полупрямой. Как и в классической задаче Колмогорова с ее чебышевскими сплайнами, основным этапом в построении этих экстремальных функций является характеризация дискретного семейства функций {A„im}n>r+i с данным числом нулей п, экстремальных в задаче

/<п>(0) sup, / 6 WrHu{I), ll/lkfi) < В,

для некоторых отрезков I = [0,dn,m]-

Теорема 2. Пусть г, m£N: 0<m<r;neN : п>г+1, В > О,

р>\, и ui - выпуклый модуль непрерывности.

I. Сушествуют d„,m = dn,m{u,p,B,r), — XUiP,B,n,r,m 6 W'HU[0, d„,m]

со следующими свойствами:

(1) Функция X„,m имеет n простых нулей {i((n, m)}"=1 no [0, dn,m].

(2) Функцияхn'm имеетп-r простыхнулей {tf1(n,m)}"r1r на [0,d„,m].

(3) ||X„,m[|L,[o,A,,m] = в.

II. Функция

A.,m

3..-W - Цр / \xn,m(y)\p~l signX(y)(y - i); dy, t e [0, dn.m], 0

обладает свойствами:

(г) ^n'm(O) = 0) г = 0,.. .,r - 1 - m,r + 1- m, ...,r.

С«) [in'mx&(t)z'n,m(t)dt= sup f^hW^dt.

Jo ЛеЯ»[0А,т] Jo

III. Справедливо следующее неравенство для всех функций f £ Wff"[0, <f„,m] со свойством Ц/ЦщО.Льт! ^ В ■'

/Н(0) < хИ(0) = (о)Г1 вр + tV(t) dt .

'' l Jo

Как обычно, после решения задачи (22) для любого г 6 N (и распространения тем самым результат Магарил-Ильяева с линейного на все нелинейные выпуклые модули непрерывности), предлагается детальное описание свойств экстремальных функций в частном

24

Рис. 12. График производной экстремальной функции X в случав m = О, I = R+

случае г = 1 (п. 19.6 для р = 1 и п. 19.7 для р > 1). Напомним, что в этом случае результаты для линейного модуля непрерывности были получены А. Т. Фуллером17, В.Н. Габу-шиным18 и Г. Г. Магарил-Ильяевым19. В диссертации показано, что расстояние между соседними узлами убывает, что существенно упрощает строение функций, позволяя воспользоваться лишь Леммой Корнейчука при описании их структуры. Более того, в случае гельдеровых модулей непрерывности w(i) = t" установлено, что длины интервалов между узлами экстремальных w-сплайнов убывают в геометрической прогрессии, а экс-

тремальная функция X = Х„ обладает следующим интересным фрактальным свойством подобия для всех г 6 Z+:

*(t+6) - И)' . «€ [0,6« - а.

Для линейных модулей непрерывности первым данный феномен обнаружил в случае р = 2 американский инженер А. Т. Фуллер, а для всех 1 < р < оо это фрактальное свойство экстремальных функций установили советские математики В. Н. Габушин и Г. Г. Магарил-Ильяев (см. ссылки выше).

Рисунки 12,13,14,15 иллюстрируют графики производной X' экстремальной функции X в случаях т = 0,1 и 1 = R+, К.

Часть 6. Задача линейной динамики в WrH°. В части 6 диссертации, посвященной приложениям в теории оптимального управления, приводится решение задачи линейной динамики для классов HU(I) := HU1{I) х • • • х Я"'(1):

T-Hnf; x(i) = A(t)x(t) + B{t)u(t), u(-) еНы[0,Г],

(25)

(x(0),u(0)) = 0„+r, (x(T),u(T)) = (А, Г),

17A. Т. Fuller. Optimization of nonlinear control systems with transient inputs. J. of Electron. aDd Control, 8(6):465-479, I960.

18B. H. Габутин. Неравенства для норм функций и их производных в Lp. Мат. Заметки, 1(3}:194-198, 1967.

19Г. Г. Магарил-Ильяев. О неравенствах Колмогорова на полупрямой. Вестник МГУ, 31(5):33-41, 1976.

25

Рис. 13. График производной экстремальной функции X в случае т = 1,1 = К+

X' ±над) о /ц / ; \ {з

| Й

Рис. 14. График производной экстремальной функции X в случае т = О, I = Е

. лч / г гт-

°\ : / ь ^Л'Ле

Рис. 15. График производной экстремальной функции X в случае т — 1,1 = И

для локально интегрируемых пхпипхг матричных функций и В({), набора и = (шг, ...,Шг) выпуклых модулей непрерывности и Л £ К", Г е Кг. Этот раздел диссертации базируется на результатах работы автора [5).

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

Во-первых, это задача Ляпунова о структуре множества значений векторных мер. А. Ляпунов и позже Дж. Линденштраусс20 описали экстремальные (критические) точки множества

(26) М\У] := ЦГУ(*)в(*)Я|«(-} = МО,...,и,(-)) 6 Ь1РГ[0,Т]} .

Вторая проблема, задача Фелъдбаума- Бушо, пожалуй, самая известная в теории оптимального управления, может быть сформулирована следующим образом:

(27) Т->Ы-, (х(0),х(0)) = (0,0), (г(Г),г(Т)) = (х0,х1), \х\ < 1,

и допускает интерпретацию как задача о минимизации времени передвижения от одного состояния координаты и скорости материальной точки до другого под воздействием внешней силы, ограниченной единицей (т.е. при условии х € И/1Н1[0,Х']).

Наконец, более общий вариант задачи (27), так называемая обобщенная задача Колмогорова о геометрическом месте значений промежуточных производных, предполагает описание множества значений вектора производных (х(Г),х'(Г),... ,х(п>(Г)) для функций из 1¥£+1\0,Т] = \¥пН1\0,Т] при условии, что

(х(Т),х'(Т),...,хМ(Г)) ^(О^^О).

п+1

Основной результат части 6, решение общей задачи (25), которая основааа на на результатах нашей работы [5], включает в себя описание строения экстремальных функций ж характеризацию критических точек множеств достижимости в форме принципа Ляпунова (Теорема 21.12) и принципа Минковского (Теорема 21.13).

Отметим прежде всего, что путем замены переменной задача (25) может быть сведена к следующей:

т-* М; ¡/(г) = и(-) енш!о,т],

(28)

(у(0),и(0)) = 0„+г, (г/СГЫТ)) = (л, Г).

при Л е К" и Г € иг.

Заметим, что Л = у{Т) = = /0ГУ(<М4) <Й, следовательно, множество инте-

гралов при всех и е Ны[0,Т) совпадает со множеством всех точек в К",

достижимых за время Т вдоль допустимой траектории. Для го € Жу через §т обозначим единичную сферу в 1™+г:

т+1

(29) §т :={?? = {ПиШ,Ч»+1) 1 £М = 1>-

¡=1

Для описания экстремальных функций и критических точек областей достижимости в задаче (28) потребуется ряд определений и обозначений.

20J. Lindenstrauss. A short proof of Uapunoff's convexity theorem. J. Math. Mech., 15(6):971-972, 1966.

27

Определение 3. Для Т > 0 и и = • • • 1 шг),

(30) еы(Г) := {(«!,... ,иг) е Г1М < ц{Т), ; = 1,... ,г}.

Определение 4. Пусть г) е В""1, Т > 0 и Г € ©Ы(Г). Через йч,т,г(-) обозначим экстремальную функцию задачи

(31) £ иеИи[0,Т) : и(0)=0„ и(Т)=Г; и

(32) гадгМ := ['У(г)чт.г(т) ¿т, 1 € [0,Г]; Лч,г,г := 3/„,г,г(Г).

Jo

Множество Ои(Т) точек в Кп+Г, достижимых за время Т посредством траектории (Уг),г,г(^.ич.г,г) для некоторых г) е §п~\ Т > 0 и Г € 9и(Т), определяется следующей формулой:

ПШ(Т) := {(Л,,г,г,Г) \т; € 8"-\ Т > О,Г 6 ви(Т)} Оптимальность траектории (у,,г,г(4), %г,г) доказывается в следующем результате.

Теорема 5. Пусть г) € Б"-1, Т > 0 и Г € 6Ш(Т). Тогда является единственным решением задачи (28) для Л = ЛЧ|г,г-

Определение 6. Для ш - (ьл,... ,шг), I € {1,...,г}, Г > 0 и С € {±1}, положим

(33) еи(1,т,0 (К - • ■ ,"г) € ви(Т)\щ = С<Т) }•

Другими словами, &Ы(1,Т,£) ~ множество таких векторов (14,... ,иг)) из ВШ(Т), что одна из компонент щ достигает своего или максимального, или минимального значения

Теорема 7. Пусть Г1,Г2 е ©Ы(/,Г,0 при некотором I 6 {1,...,г}, Т > 0, С 6 {±1}. Для к = 1,2, пусть иь(-) <= Ны[0,Т) и Ук(-) удовлетворяют условиям

ик(0) = 0,, ик(Т) = Гк; укЦ) Г У(г)«)ь(г) ¿г, < € [0, Г].

Jo

Тогда для всех /3 € [0,1] функция у,3(£) := + (1 - экстремальна в (28) для

Г := (6Г1 + (1 - /3)Г2, А := + (1 -¿МП

Определение 8. Пусть г 6 {1,... ,г}, Г > 0, С 6 {±1}, Г 6 О, и 'Ф = (Фи ■ ■ •. ^г) 6

Ц[0,Т], где каждая из 1 меняет знак конечное число раз на [0,Т]. Тогда

определяется как экстремальная функция задачи

(34) Г (фф.ЩМ-ытр, г/еН"[0,Т] : «(0) = 0„ и(Г) = Г;

и

(35) !Л№г(<):= Г^(т)^,т,г(т)йг, ¡!е[0,Г1; Л^,г,г := уФ,тх(Т).

J о

Если тр 6 Ц[0,Т], Т > О,'Г € ви(1,Т,() определены как в Определении 8, то по Теореме 7 (для /3 = 0 или /3 = 1), ¡/ф,т,г экстремальна в (28) для Л = г-

Определение 9. Пусть Т > 0. Введем множества ЛШ{Т), А, и ^(Г), € Ея+Г, достижимые за время Г и за некоторое время г > 0 вдоль траекторий (х(-),и(-)) и (;/(•), и("))> допустимых для задач (25),

(36) Л>(Г) := И ( ( (Ту(г)и{т)йт,г) е Н"[0,Г| : и(0) = 0„и(Г) = г} ,

гев^г) (ЛЛ / ^

(37) Л, := У ЛДГ),

т> о

и (28):

(38) Ки{Т) := {(Х(Т)Л,Г) | (Л,Г) € Л,(Г)},

(39) и7^^)-

т>о

Принцип Ляпунова для задачи (28) формулируется следующим образом.

Теорема 10. Для всех (Л, Г) е Аи верно одно из двух .следующих утверждений.

1. Существуют такие Г1 € §4-1, Т > 0, что Л = Лч,г,г. « функция уп,тх экстремальна в задаче (28).

2. Существуют такие I 6 {1,...,г}, Т > О, С е {±1}, что Г 6 ви{1,Т,0 "

Л = Ллг,г .для фЦ) = (1 - \Р\)Ь)' +РФУ),

для некоторых Т) € Б"-1 и /3 6 [-1,1]. В этом случае уф,т,г экстремальна в задаче (28). Принцип Минковского для задачи (28) формулируется следующим образом.

Теорема 11. Для всех (Л, Г) е Аы выполняется одно из следующих двух утверждений.

1. Существуют такие ц € Т > 0, что Л = Л,,г,г, и функция у,,г,г экстремальна в задаче (28).

2. В противном случае, Г е 9и(1,Т,С) ¿ля некоторых I 6 {1,.. .,г}, Т > О, С е {±1} и существуют такие 771,% € Б""1, что

Л = лЛЧ1,г,г + (1 - л)ЛВД1г,г, 29

для некоторого а е (0,1). В этом случае функция

У = <* !Лц,г,г + (1 - а)Уг„,тх

экстремальна в задаче (28).

Следствие 12. Множество Uu(T), введенное в Определении 4, обладает следующими свойствами.

1. Пщ(Т) - множество экстремальных (крайних) точек для АДТ).

2. Пц(Г) - граница множества АДТ) в том и только том случае, если и:(t) = (Kit,..., Krt), t 6 [О,Г], для некоторых (Ки ...,КГ) 6

3. (J Пи(Т) - множество точек (Л, Г) в Rn+r \ {On+r}, достижимых посредством Т>0

единственной оптимальной траектории {у,и).

Из этих результатов выводится обобщенная теорема Ляпунова для классов Нш[0,Т] об образе векторных мер. Внимание читателя также обращается на феноменах, присущих решениям задачи (25) только в случае нелинейных модулей непрерывности ш: существовании некритических областей неединственности на границе множества достижимости и наличии лишь конечного множества точек Беллмана, удовлетворяющих принципу динамического программирования21 (Предложение 23.4).

Отдельный раздел части, глава 24, посвящен задаче быстродействия, также известной как задача о встрече или задача Колмогорова о геометрическом месте значений производных, После напоминания структуры экстремальных функций задачи о встрече в соболевских классах W£,(I) в п. 24.5-24.9 дается полное описание решений задачи о встрече в классах WH"(I) посредством интерпретации более общих результатов о структуре решений задачи (25). Наконец, предъявляются явные формулы экстремальных функций в задаче о встрече в случаях г = 1 Фельдбаума-Бушо (п. 24.11) к г = 2 (п. 24.12).

Рисунки 16 и 17 иллюстрируют строение областей достижимости в случае линейного модуля непрерывности u;(t) = t и набора выбранных нелинейных модулей непрерывности w(f), соответственно.

Часть 7. Интегральный принцип максимума. Обобщая наблюдения при решении вышеупомянутых проблем оптимального контроля в классах WrHu, в п. 26.2 в качестве множества допустимых управлений рассматривается произвольный выпуклый функциональный класс. Для таких управлений сформулировано и доказано необходимое условие оптимальности в форме интегрального вариамтпа принципа максимума (Теорема 26.2). На примере класса Ни в качестве множества управлений в главе 27 показано, каким образом этот принцип можно использовать для определения экстремальных функций как

sir. е. Bellman. Dynamic Programming. Princeton Univ. Press, Princeton, N J., 1957.

30

Рис. 16. Оптимальные траектории задачи о встрече

Рис. 17. Множества А,(Г) для Л = 0 л Г = 2, 4, 6, 8,10.

в вышеперечисленных задачах Колмогорова - Ландау для производных или задаче линейной динамики, так и в некоторых прикладных задачах финансовой математики, в частности, торговых моделях товарно-сырьевого (п. 28.1) и фондового рынков (п. 28.2).

Часть 8. Результаты и гипотезы о поперечниках \¥гНи[-1,1]. Наконец, завершающая часть диссертации посвящена некоторым результатам и гипотезам в области поперечников классов ТУгНи[—1,1\-

Поперечники, введенные А. Н. Колмогоровым, характеризуют наилучшее приближение подмножеств нормированных пространств множествами данной размерности.

Как и в других разделах диссертации, вначале дается очень короткий обзор результатов тематики. В данном случае перечисляются основные результаты, касающиеся вычисления поперечников соболевских классов и периодических классов 1УГЯ"(Т), а также характеризации наилучших аппроксимационных пространств и оптимальных методов приближения. В частности, в случае соболевских классов выделяются результаты

В. М. Тихомирова, Рубана, Лигуна, Маковоза, Мичелли и Пинкуса22. Что касается вычисления поперечников периодических классов WrHu(t), отмечаются работы Корнейчука, Рубана, Лоренца, Моторного, Рубана, Лигуна и многих других23.

В содержательной части раздела формулируется теорема о поперечниках непериодического класса W^H^—l, 1] при некоторых ограничениях на модуль непрерывности и. Затем предлагаются оценки снизу для поперечников специально построенных классов №тНш[п\, в случае линейного ш совпадающими со стандартными соболевскими классами W^1. Наконец, предлагается гипотеза о поперечниках непериодического класса WTH"[~ 1,1] в терминах чебышевского ы-сплайна для этой задачи.

Благодарность. В заключение автор выражает глубокую благодарность своим учителям в Государственном Университете Штата Огайо и Московском Государственном Университете профессорам Борису Самуиловичу Митягину и Владимиру Михайловичу Тихомирову за постановку задач, постоянное внимание к результатам, дружеские советы и многочисленные рекомендации по улучшению содержания научных работ. Автор глубоко признателен Н. П. Корнейчуку, чьи работы определили интерес автора к тематике и чьи детальные замечания к работе [1] использовались при написании других работ в теории классов WH" (в частности, [2]).

Автор также выражает глубокую благодарность:

В. Г. Болтянскому за исторический экскурс в теорию оптимальных процессов и обсуждение результатов статьи [5] о решении задач линейной динамики в классах WrHu\

Р. Дж. Маккену за продуктивные обсуждения связи некоторых аспектов работ [1] и [2] с решением транспортной задачи;

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

И. Гохбергу за внимание и публикацию книги [9j в серии "Operator Theory Advances and Applications";

Редакторам журнала Journal of Approximation Theory А. Пинкусу и П. Неваи за интерес и полезные рекомендации по улучшению содержания работ [3], первой публикации автора, и [5], соответственно;

A. Г. Костюченко за обсуждение результатов работы [4] о свойствах экстремальных перестановок;

B. Желязко за интерес к работе [10] о решениях задачи Золотарева и публикацию этой монографии в серии "Dissertationes Mathematicae".

22С. A. Micchelli, A. Pinkus. Some problems on approximation о/functions of two variables and n-widths of integral operators. J. Approx. Theory, 24:51-77, 1978.

23H. П. Корнейчук. Точные константы в теории приближений. Наука, М., 1990.

32

Публикации автора по теме диссертации

1. Максимизация функционалов в Н"[а, Ь], Математический Сборник 189:2 (1998), 3-72.

2. Экстремальные функции интегральных функционалов в Hw\a, &], Известия РАН, Серия Математическая 63:2 (1999), 3-62.

3. Zolotarev ш-polynomials in WrHu, J. Approximation Theory 90:3 (1997), 340-378.

4. Свойства и-перестановок, Функциональный Анализ и Его Приложения 33:3 (1999), 1-20.

5. Generalizations of the time-optimal problem and Lyapunov theorem on the range of vector measures, J. Approximation Theory 147:1 (2007), 81-111.

6. Общая конструкция чебышевских и-сплайнов с данной нор-иой, Алгебра и Анализ 10:6 (1998), 93-134.

7. Extremal problems in generalized Sobolev classes, Analysis of divergence: control and management of divergent processes (Orono, ME, 1997), Appl. Numer. Harmon. Anal., Bur-khauser Boston, MA, (1999), 327-357.

8. Неравенства Колмогорова для функций из классов WrH" с ограниченной нормой Lp, Известия РАН, Серия Математическая 74:2 (2010), 5-64.

9. Chebyshev Splines and Kolmogorov Inequalities, Series: Operator Theory: Advances and Applications, vol. 105 Birkhauser: Basel, Boston, Berlin. (1998) xiv+207 pp.

10. Kolmogorov problem in WrHu[0,1] and extremal Zolotarev u-splines, Dissertationes Mathematicae, vol. 379, IMPAN, Warsaw, (1998) iii+81 pp.

Отпечатано в отделе оперативной печати Геологического ф-та МГУ Тираж I (0 экз. Заказ № _34

 
Текст научной работы диссертации и автореферата по математике, доктора физико-математических наук, Багдасаров, Сергей Константинович, Москва

МОСКОВСКИЙ ГОСУДАРСТВЕННЫЙ УНИВЕРСИТЕТ ИМЕНИ М. В. ЛОМОНОСОВА

МЕХАНИКО-МАТЕМАТИЧЕСКИЙ ФАКУЛЬТЕТ

На правах рукописи УДК 517.972.4

БАГДАСАРОВ СЕРГЕЙ КОНСТАНТИНОВИЧ

ЭКСТРЕМАЛЬНЫЕ ЗАДАЧИ ДЛЯ КЛАССОВ ФУНКЦИЙ С МАЖОРИРУЮЩИМ ВЫПУКЛЫМ МОДУЛЕМ НЕПРЕРЫВНОСТИ

01.01.01 - вещественный, комплексный и функциональный анализ

ДИССЕРТАЦИЯ на соискание ученой степени доктора физико-математических наук

МОСКВА 2011

Список иллюстраций

Содержание

8

Часть 0. Введение 11

1. Предисловие 11

1.1. Введение классов ШгНи! Д. Джексоном и С. М. Никольским 11

1.2. Форма решений экстремальных проблем в соболевских классах 11

1.3. Форма решений экстремальных проблем в классах \УНШ(Т) 12

1.4. Задачи Колмогорова-Ландау о промежуточных производных 14

1.5. Теория оптимального управления в классах ]¥гНиз(1) 15

2. Общие обозначения и определения 17

2.1. Соболевские классы 17

2.2. Выпуклые модули непрерывности о» и классы У/ГНШ{I) 17

2.3. Вспомогательные результаты 18

3. Структура диссертации 20

3.1. Основные результаты диссертации 20

3.2. Задача о максимизации интегральных функционалов в Нш[а,Ь] 22

3.3. Дискретная задача о максимизации функционалов 24

3.4. Неравенства для перестановок 25

3.5. Задача Колмогорова-Ландау в равномерной метрике 26

3.6. Задача Колмогорова-Ландау в И/г//ш П Ьр 28

3.7. Задача линейной динамики в 14/7 IIй' 29

3.8. Интегральный принцип максимума для задач оптимального управления в

И?ГНЫ 30

3.9. Благодарность 30

4. Элементарный пример: чебышевские о;-полиномы 32

4.1. Классические чебышевские многочлены 32

4.2. Чебышевские ш-иолиномы 33

Часть 1. Максимизация интегральных функционалов в Нш[а,Ь] 38

5. Совершенные полиномиальные сплайны 38

5.1. Определение 38

5.2. Идеальные сплайны как экстремали интегральных фу н к ци о н ал о в 38

6. Экстремальные функции интегральных функционалов в Нш[а,Ь] 40

2

6.1. Лемма Корнейчука и простые ядра 40

6.2. Обозначения и определения 43

6.3. Определение -¡¿-разбиения конечных интервалов 44

6.4. Структурные свойства экстремальных функций 47

6.5. Варианты задачи о максимизации функционалов 54

6.6. Критерий тривиальности для ^/-разбиений 56

6.7. Предельные свойства экстремальных функций 58

Часть 2. Дискретная задача о максимизации функционалов 59

7. Перестановки и экстремальные векторы 59

7.1. Постановка дискретной задачи 59

7.2. Структура экстремалей 59

7.3. Решение задачи для простого вектора 61

7.4. Экстремальное разложение на сумму простых векторов 64

7.5. Решение задачи в общем случае 65

7.6. Специальные варианты задачи 71

8. Приложение к теории графов 75

8.1. Определение, геометрическая реализация графов перестановок 75

8.2. Плапярное представление для простых векторов 76

8.3. Графическая интерпретация Теоремы 7.17 77

8.4. Графическая интерпретация Теоремы 7.20 - 78

8.5. Элементарные свойства графов перестановок 78

8.6. Связность графов перестановок 79

8.7. Деревья как графы перестановок 80

8.8. Циклы, грани и отношение Харди-Литтлвуда-Полиа 81

9. Транспортная задача математической экономики 84

9.1. Вариант дискретной транспортной задачи 84

9.2. Двойственная задача линейного программирования 85

9.3. Задача линейного программирования, двойственная к (9.1.1) 85

9.4. Классическая транспортная задача в дискретном случае 86

9.5. Экономическая интерпретация основных результатов 86

9.6. Модель агрегированного планирования производства 88

9.7. Классическая транспортная задача в непрерывном случае 89

3

Часть 3. Свойства экстремальных перестановок 94

10. Неравенства для перестановок 94

10.1. Определение убывающих перестановок 94

10.2. Свойства стандартных убывающих перестановок 94

10.3. E-перестановки Корнейчука 95

10.4. Отношения между перестановками 97

10.5. Неравенства для перестановок 97

10.6. Неравенство для производных ^-перестановок 99

Часть 4. Задача Колмогорова —Ландау в равномерной метрике 100

11. История задачи Колмогорова о промежуточных производных 100

11.1. Постановка задачи Колмогорова в соболевских классах 100

11.2. Частные случаи задачи Колмогорова для классов W¿(I) 100

11.3. Максимизация значения производной в точке 101

11.4. Полное решение задачи Колмогорова 102

11.5. Задача Колмогорова-Ландау в W''11^(1) 103

12. Ядра Фредгольма 105

12.1. Ядра вида Г 105

12.2. Ядра вида 11 106

13. Аддитивные неравенства Колмогорова-Ландау 108 13.1. Формулы численного дифференцирования 108

14. Построение чебышевских w-сплайнов 110

14.1. Вспомогательные результаты 110

14.2. Определение чебышевских си-сплайнов 112

14.3. Конструкция борсуковского отображения х : §2ri-r+1 ^ R2"-''-*-1 113

14.4. Непрерывность борсуковского отображения 118

14.5. Свойства решений уравнения x(s) = 0. 119

14.6. Неравенства для точек альтернанса и узлов. 123

14.7. Предельная процедура 125

14.8. Завершение доказательства для произвольного ш. 129

15. Решение задачи Колмогорова в WНш(R+) 131

15.1. Структура чебышевских w-сплайнов на полупрямой 131

15.2. Неравенства Колмогорова в гельдеровских классах И/г 132

15.3. Структура чебышевских ы-сплайнов на прямой 133

4

15.4. Неравенства Колмогорова в гельдеровских классах И/ГЯШ(М) 134

16. Задача Колмогорова - Ландау на [0,1] 135

16.1. Золотаревские cj-сплайны в \¥ГНШ[0,1] 135

16.2. Золотаревские и чебьтшевские ш-полиномы 136

17. Неравенства Ландау и Адамара в W1HU(R) и W1HW(R+) 137

17.1. Неравенства Ландау в И/1Яи'(Е+) 137

17.2. Неравенства Адамара в W1H0J(R) 140

17.3. Специфические особенности классов W1Ha(R) и W4la(R+) 142

17.4. Задача экстраполяции в т] 144

18. Точные неравенства Колмогорова-Ландау в W2H"(I), I = R, Ж+ 147

18.1. Неравенства Колмогорова-Сгечкина в W2H"(M.) 147

18.2. Точные неравенства для производных в IУ2НШ(Ш+), W2HW[0,1] 152

Часть 5. Задача Колмогорова — Ландау в WrH" Г) Lp 160

19. Неравенства Колмогорова для производных в Lp 160

19.1. Введение 160

19.2. Вспомогательные результаты 161

19.3. Задача Колмогорова в классах Соболева 164

19.4. Условия экстремальности 169

19.5. Построение экстремальных функций 173

19.6. Свойства экстремальных функций 185

19.7. Предельный переход ■ 190

19.8. Экстремальные функции задачи Колмогорова на полупрямой и прямой 194

19.9. Упрощенное построение экстремальных функций в случае р = 1 197

19.10. Задача Колмогорова - Ландау в И^Я^И) П 1Ц(1) 199

19.11. Задача Колмогорова-Ландау в W1HU(I) nLp(I) 211

Часть 6. Задача линейной динамики в WrHw 217

20. Экстремальные точки векторных мер 217

20.1. Теорема Ляпунова для липшицевых классов об экстремальных точках

векторных мер 217

20.2. Классические задачи Ляпунова и Фельдбаума- Бушо 218

20.3. Обобщение bang-bang управлений 219

20.4. Обобщение задач Ляпунова и Фельдбаума-Бушо на классы Hw 220

5

21. Экстремальные траектории в задаче Фельдбаума-Бушо 221

21.1. Взаимосвязь между задачами Ляпунова и Фельдбаума-Бушо 221

21.2. Ограничения на A{t) и B(t) 221

21.3. Экстремальные функции 223

21.4. Множества достижимости 225

21.5. Принцип Ляпунова для задачи (21.1.4) 226

21.6. Принцип Минковского для задачи (21.1.4) 226

21.7. Образ векторных мер: теорема Ляпунова для классов Hw[0, Т] 227

22. Доказательства 1 229

22.1. Доказательство Теоремы 21.12 229

22.2. Доказательство Теоремы 21.13 231

23. Основные принципы задачи быстродействия 233

23.1. Интегральный принцип максимума 233

23.2. Принцип динамического программирования в случае г = 1 233

24. Классическая задача о встрече 236

24.1. Взаимосвязь между задачей о встрече и задачей Фельдбаума-Бушо 236

24.2. Задача о встрече в соболевских классах 236

24.3. Классическая задача о встрече в М'п 237

24.4. Определения 241

24.5. Экстремальные функции задачи о встрече 243

24.6. Управляемость 244

24.7. Свойства множеств достижимости 251

24.8. Принцип динамического программирования в задаче о встрече 253

24.9. Задача Фельдбаума - Бушо в гельдеровых классах 254

24.10. Предельные функции задачи быстродействия в гельдеровских классах 255

24.11. Задача о встрече для г = 1 255

24.12. Экстремальные траектории в задаче о встрече для г = 2 256

Часть 7. Интегральный принцип максимума 259

25. Постановка задачи оптимизации 259

25.1. Области управления, контроли, экстремальные задачи классический теории

оптимального управления 259

25.2. Области управления и экстремальные задачи теории тотального контроля 262

26. Интегральный принцип максимума 265

6

26.1. Вспомогательный результат 265

26.2. Экстремальная задача 266

26.3. Принцип максимума 267

26.4. Доказательство интегрального принципа максимума 267

27. Обсуждение принципа максимума 272

27.1. Принцип максимума для экстремальных задач в классе IIй 272

27.2. Изопериметрические задачи оптимального управления 273

27.3. Доказательства результата в классическом случае 274

27.4. Лемма о приращении функционала и принцип минимума в общей задаче

оптимизации 275

28. Экстремальные задачи 278

28.1. Торговая модель товарно-сырьевого рынка 278

28.2. Модель торговли ценными бумагами 281

Часть 8. Результаты и гипотезы в задаче о поперечниках \¥ГНШ[—1,1] 283

29. Введение 283

29.1. Известные результаты 283

29.2. Поперечники соболевских классов 284

29.3. Поперечники периодических классов функций \¥ГП^(Т) 285

30. Замечания о поперечниках классов

30.1. Поперечники классов Ны[—1,1] 287

30.2. Поперечники классов И/1Яи-'[-1,1] 288

30.3. Оценки снизу для поперечников класса \\п Нш[п] 290

30.4. Гипотеза о поперечниках класса \УГНШ [0,1] 298 Список литературы 300

Список иллюстраций

1 График функции 36

2 Перестановка Ф*(-) простого ядра Ф и функция /0 41

3 Графики экстремальной функции ж*, ядра Ф и интервалы разбиения в случае

(п, в, т) = (1,-1,1). 46

4 Графики экстремальной функции ж*, ядра Ф и интервалы разбиения в случае

(п, т) = (1,1,1). 47

5 Графики экстремальной функции х*, ядра Ф и интервалы разбиения в случае

(п, з, т) = (2,1,1). 47

6 Графики экстремальной функции х*, ядра Ф и интервалы разбиения в случае

(п, 5, т) = (2,1,1). 48

7 Графики экстремальной функции х*, ядра Ф и интервалы разбиения в случае

(л, в, т) = (2,1,1). 48

8 Графики экстремальной функции х*, ядра Ф и интервалы разбиения в случае (п,з,т) = ( 2,1,1). 49

9 Графики экстремальной функции х*, ядра Ф и интервалы разбиения в случае (п,з,т) = (3,1,1). 49

10 Графики экстремальной функции .г*, ядра Ф и интервалы разбиения в случае (п,в,т) = ( 3,1,1). 50

11 Экстремальное разбиение ядра Ф на сумму простых ядер 51

12 Ядро Ф, экстремальная перестановка 2(Ф; •) и функция к* 53

13 Набор точек {сг}?=0 со свойством (6.5.2). 55

14 Тривиальное ^//-разбиение. 57

15 Элементы разложения простого вектора 62

16 Случай векторов с четным числом перемен знака 67

17 Случай векторов с нечетным числом перемен знака 69

18 Случай векторов с нечетным числом перемен знака 69

19 Планарная реализация графа перестановок (V) 76

20 Планарная реализация графа <&Ш(У) 77

21 Графы перестановок с гамильтоновой цепью 80

8

22 Определение Е-перестановки Корнейчука 96

23 Эйлеровы сплайны г 101

24 Экстремальная функция в неравенствах Ландау в 138

25 Экстремальная функция в неравенствах Адамара в WlHw(M.) 141

26 Экстремальная функция задачи экстраполяции Маркова в сю, г] 145

27 Экстремальная функция задачи максимизации первой производной в W2Ни)(Ш) 148

28 Экстремальная функция задачи максимизации второй производной в W2 Нш (К) 151

29 Экстремальная функция задачи максимизации второй производной в W2HW(R+) 157

30 Функции F' и X (т = 0, I = R+) 200

31 График производной экстремальной функции X в случае т = 0, I = 202

32 Функции F' и X (т = 1,1 = М+) 205

33 График производной экстремальной функции X в случае т — 1, I = М+ 205

34 График производной экстремальной функции X в случае т = О, I = R 207

35 График производной экстремальной функции X в случае т — 1, I = М 208

36 Оптимальные траектории задачи о встрече 241

37 Множества АШ(Т) для Л = 0 и Т = 2, 4, 6, 8, 10. 256

38 Вторые производные экстремальных функций в (21.1.4) для г = 2 257

39 Classical and total control regions 263

40 Эйлеровы си-сплайны fn,r{w,x) 287

МАТЕМАТИЧЕСКАЯ КЛАССИФИКАЦИЯ 2000 г. Американское Математическое Общество http://www.ains.org/mathweb / msc2000/ 41-ХХ Аппроксимации и расширения 41А17 Неравенства в аппроксимации

(неравенства Бернштенна, Джексона, Никольского) 41А44 Точные константы 65-ХХ Численный анализ и вычислительная геометрия

65D25 Численное дифференцирование 26-ХХ Вещественные функции

26Ахх Функции одной переменной

26А15 Непрерывность и связанные с ней понятия

(модуль непрерывности, полунепрерывность, точки разрыва, и т.д.) 26А16 Классы Липшица (Гельдера) 26Dxx Неравенства

26D10 Неравенства для производных и дифференциальных или интегральных операторов 49-ХХ Вариационное исчисление и теория оптимального управления; оптимизация

49Jxx Теория существования для оптимальных решений

49J30 Оптимальные решения, принадлежащие классам с ограничениями

(липшицевы управления, осциллирующие управления, и т.д.) 49Кхх Необходимые и достаточные условия оптимальности 49К30 Оптимальные решения, принадлежащие классам с ограничениями 49N15 Теория дуальности 52-ХХ Выпуклая и дискретная геометрия 52Ахх Общая выпуклость 52А40 Неравенства и экстремальные проблемы 90С05 Линейное программирование

Часть 0. Введение

1. Предисловие

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

1.1. Введение классов \У Нш Д. Джексоном и С. М. Никольским. В диссертации Д. Джексона [98], ознаменовавшей собой начало нового этапа в теории приближений, впервые погрешность индивидуальной функции / е Сг[а,Ь] конечномерными под1 пространствами была выражена в терминах модуля непрерывности г-ой производной (см. [48], гл. 6). С. М. Никольский [67] предложил рассматривать классы функций \¥ГНШ(Я) с модулем непрерывности I), мажорируемым выпуклым модулем непрерывности из. После этих публикаций возник широкий круг вопросов, связанных с наилучшими аппроксимативными характеристиками классов \¥гНиз(1) и их периодических аналогов алгебраическими и тригонометрическими многочленами данной размерности, полиномиальными сплайнами и другими конечномерными функциональными подпространствами. Ввиду сравнительно простой структуры экстремальных функций наиболее законченные результаты в смысле достижения точных констант и совершенства используемых методов были получены в классах ]¥ГНШ(1) для линейных модулей непрерывности из(Ь) = КЬ, т.е. в соболевских классах К\¥^1(1). В случае нелинейного из попытки полного решения экстремальных задач увенчались успехом, главным образом, для периодических аналогов \~УчГи классов \УГН"(1).

1.2. Форма решений экстремальных проблем в соболевских классах. Частным случаем классов функций- с мажорирующим модулем непрерывности на интервале I являются соболевские классы И^(11) функций с г-производной, по модулю ограниченной единицей (в качестве интервала обычно рассматриваются конечный интервал I = [а,Ь],

вся прямая I = К или положительная полупрямая I = К+).

11

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

ми данной размерности, или задача о поперечниках. Кроме того, эйлеровы, чебышёвские и пинкусовские совершенные сплайны являются экстремалями в проблеме строгих неравенств для норм промеоюуточных производных функций из классов VV^(I), где I = К. I = М+ или I = [0,1], соответственно.

Однако, самое яркое приложение совершенные сплайны находят в теории оптимального контроля. Выдающаяся роль идеальных сплайнов, даже получивших в этой теории специальное название релейных управлений (relay, or bang-bang control), обуславливается самой природой областей управления. Из экстремальных задач теории управления с совершенными сплайнами в качестве оптимальных решений отметим, прежде всего, общую задачу линейной динамики о минимизировании времени движения между двумя точками в фазовом пространстве и ее частные случаи - задачу быстродействия Фельдбаума-Бушо (также известную под названием "задача о встрече"), задачу Ляпунова о характеризации критических точек множества значений векторных мер и задачу Колмогорова об описании геометрического места точек последовательных производных функций из класса \УТНШ.

1.3. Форма решений экстремальных проблем в классах WrHu'(T).

1.3.1. Лемма Корнейчука. Таким образом, дальнейший прогресс в получении точных результатов в теории экстремальных задач в классах WrHw(I) невозможен без описания аналогов совершенных сплайнов в WrH"(T) для нелинейного со.

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

Уже этого разрабо�