Главная » Просмотр файлов » Диссертация

Диссертация (1137390), страница 3

Файл №1137390 Диссертация (Задача Монжа-Канторовича с линейными ограничениями) 3 страницаДиссертация (1137390) страница 32019-05-20СтудИзба
Просмтор этого файла доступен только зарегистрированным пользователям. Но у нас супер быстрая регистрация: достаточно только электронной почты!

Текст из файла (страница 3)

Как правило, мы бу­дем предполагать, что,— польские. Под польским пространствоммы имеем ввиду полное сепарабельное метрическое пространство. Онообладает тем свойством, что каждое борелевское вероятностное распре­деление на нем является радоновым.– — фиксированные вероятностные борелевские распределения на и соответственно.– Pr и Pr — это операторы естественных проекций из прямого (тополо­гического) произведения пространств × на первый и второй сомно­ижитель соответственно.– (Pr )# := ∘ Pr−1 — прямой образ (pushforward) меры при измеримомPr .Оператор– (,) — некотораяфункцияотображении(Pr )# определяется аналогично.на × , называемая «функциейстои­мости». Обычно она предполагается полунепрерывной снизу и огра­ниченной снизу. Иногда также предполагается, что она мажорирует­ся сверху суммой двух интегрируемых функций от одной переменной:(,) ≤ () + (), ∀(,) ∈ × , ∈ 1 (,), ∈ 1 (,).условия гарантируют, что функционал∫︁ ↦→×Такие13полунепрерывен снизу на множестве всех вероятностных распределенийна × ,удовлетворяющих свойствам(Pr )# = , (Pr )# = ,снабженном топологией слабой сходимости ([60], лемма 4.3).В этой главе мы будем рассматривать более общую постановку задачи,когда вместо двух вероятностных пространствис фиксированными рас­пределениями задано конечное множество пространств с вероятностными рас­пределениями{( , ) : = 1, .

. . ,}.В этом случае задача Канторовичаназывается мультимаргинальной и формулируется как задача поиска оптималь­ного решения:∫︁ → inf ,1 ×···×Π()(1.2)Π() = { ∈ (1 × · · · × ) : (Pr )# = , = 1, . . . ,}, а Pr — проек­ция 1 × · · · × на .Зафиксируем следующие обозначения: = (1 , . . . ) — набор вероятност­ных распределений на 1 , . . . , соответственно.гдеΠ() := { ∈ (1 × · · · × ) : (Pr )# = },(1.3)(1 × · · · × ) — множество всех борелевских вероятностных распределе­ний на 1 × · · · × . Элементы множества Π() называются транспортнымигдепланами, а само множество — множеством транспортных планов.Легко заметить, что множество транспортных планов выпукло, и что оно(1 × · · · × ) (следствие теоремы Прохорова (см.

[1]). Так как(1 × · · · × ) является компактом в топологии слабой сходимости, множе­ство Π() также является компактом. Заметим также, что минимизируемыйзамкнуто вфункционал в задаче Канторовича:∫︁ ↦→1 ×···×является линейным функционалом на множестве транспортных планов. Значит,задача Канторовича — это задача линейной оптимизации на выпуклом множе­стве.Чтобы задать дополнительные линейные ограничения, необходимо выде­лить некоторое векторное подпространство в пространстве (знакопеременных)мер, которое в пересечении с множеством транспортных планов будет задавать14некоторое выпуклое подмножество “допустимых транспортных планов”.

Тогдамы сможем поставить задачу Канторовича на суженном множестве планов ана­логично классической. Дадим формальные определения.Зафиксируем вероятностные распределенияна польских простран­ , и выберем подпространство некоторого подходящего пространствафункций на 1 × · · · × . Рассмотрим следующую задачу оптимизации:ствах{︂∫︁}︂∫︁inf : (Pr )# = , = 0 ∀ ∈ 1 ×···×для некоторой функции стоимости : 1 × · · · × → R.В этом случае мыограничиваем множество транспортных планов, добавляя следующее условие:∫︁ = 0 ∀ ∈ 1 ×···×Такие ограничения, очевидно, линейны.Впараграфе 1.1мы приведем точную формулировку задачи и опреде­лим специальный класс функций ,содержащий подпространство,возни­кающее во всех наших примерах.

Применяя классические результаты о сходи­мости вероятностных распределений, мы доказываем простой критерий суще­ствования решения. Точнее, мы доказываем, что при соответствующих пред­положениях о регулярности функции стоимости оптимальный транспортныйплан существует тогда и только тогда, когда множество допустимых планов непусто.Далее в главе разрабатывается общий подход к исследованию данной за­дачи и приводятся результаты, которые могут рассматриваться как обобщениясоответствующих утверждений о классической задаче Канторовича. Одним изтаких утверждений является следующий результат о двойственности:∫︁inf∈Π = sup1 ×···×∈{︃ ∫︁∑︁=1 ( ) ,∑︁}︃ + ≤ .=1Более точное утверждение и его доказательство представленыв параграфе1.2.Другой результат описывает важное геометрическое свойство носителя оп­тимального транспортного плана.

Хорошо известно, что решение стандартной15транспортной задачи должно лежать на-монотонном множестве ([60], теорема5.10). Мы сформулируем похожее свойство, определение которого будет зави­сеть не только от функции стоимости, но и от пространства , и назовем его(, )—монотонностью. Необходимость подобного свойства для носителей опти­мальных планов доказывается впараграфе 1.3 как следствие утверждения одвойственности. Независимо подобный результат был сформулирован и доказанв [21], но доказательство, приведенное там, отличается от нашего: оно независи­мо от утверждения двойственности и использует некоторые тонкие результатыабстрактной теории меры.Один из наиболее интересных примеров линейного ограничения задаетсяусловием мартингальности, которое естественным образом возникает в финан­совых приложениях.

Любая динамическая вероятностная модель некоторогофинансового инструмента, для которого известны распределения в фиксиро­ванные моменты времени, может быть рассмотрена как транспортный план снесколькими фиксированными маргиналами (мультимаргинальный план). Хо­рошо известно (первая фундаментальная теорема финансовой математики), чтоестественным требованием в финансовых моделях является мартингальностьпроцесса относительно некоторого распределения, эквивалентного исходному.В работе [43] описаны различные финансовые модели, основанные на оптими­зации на множестве мартингальных транспортных планов.

В [22], [23] развитатеория оптимальной транспортировки вероятностных распределений с мартин­гальным ограничением, получен ряд новых результатов и приложений. Вграфе 1.4пара­мы покажем, что условие мартингальности является линейным, ивыведем ряд известных результатов о мартингальной задаче из общей теории.Другой пример интересных линейных ограничений — условие инвариант­ности относительно непрерывного действия некоторой группы. Такие ограни­чения естественным образом возникают в эргодической теории (см., например,[50]) или в геометрии ([51], [41]). Им будет посвященаглава 2 диссертации.161.1Формулировка задачи с дополнительными ограничениями1 ,..., — польские пространства с борелевскими -алгебрами наних, := 1 × · · · × , 1 ,..., — фиксированные вероятностные распределе­ниями на 1 ,..., соответственно.

Для краткости обозначим := (1 ,..., ).Мы будем обозначать через () множество борелевских вероятностных рас­пределений на , а через Π() или Π множество вероятностых распределенийна с заданными маргиналами. Оба пространства снабдим топологией слабойПустьсходимости.Определим следующие функциональные пространства:{︀}︀ ( ) = ∈ 1 ( , ) ∩ ( )(1.4)— это пространство непрерывных интегрируемых функций с топологией, инду­цированной1 ( , )-нормой,и{︃ () =ℎ ∈ () : |ℎ| ≤∑︁}︃ ( ),где ∈ 1 ( ) ,(1.5)=1снабженное следующей полунормой:∫︁‖ℎ‖ := sup∈Π|ℎ|.(1.6)Заметим, что очень похожее функциональное пространство определяется и рас­сматривается в работах [5], [6] А. М.

Вершика, П. Б. Затицкого и Ф. В. Петро­ва. Там вместо непрерывности требуется лишь измеримость функций, и такиефункции получают название «почти непрерывных». Многие результаты работытакже могут быть сформулированы в терминах почти непрерывных функций.Предложение 1.1.Функционалℎ → ‖ℎ‖является полунормой.Доказательство. Функционал, очевидно, принимает конечные значения нарассматриваемом пространстве:∫︁|ℎ| ≤sup∈Π∑︁ ∫︁ < ∞,17‖ℎ‖ ≥ 0, ∀ℎ ∈ ()и удовлетворяет свойствам: (), ∈ [0, +∞).ℎ, ∈ ()∈Π‖ · ℎ‖ = · ‖ℎ‖ , ∀ℎ ∈Необходимо проверить лишь субаддитивность: для любых∫︁∫︁∫︁|ℎ + | ≤ supsupи|ℎ| + sup∈Π|| = ‖ℎ‖ + ‖‖ .∈ΠЗамечание 1.2.

Легко видеть, что любая функция ()интегрируема ∈ Π():относительно транспортного плана∫︁из∫︁| | ≤ sup∈Π| | = ‖ ‖ < ∞.⨁︀ := =1 ( ) ⊂ (). Зафиксируем произволь­ ⊂ () и функцию ∈ (). Предметом нашегоВведем обозначениеное подпространствоинтереса является следующая модификация задачи Монжа—Канторовича:∫︁(1 ,..., ) → inf .∈ΠЗдесь инфимум вычисляется по множеству транспортных планов со свойством| = 0:{︂Π =}︂ = 0, Pr# () = ,∫︁ ∈ () : ∀ ∈ гдеPr := (Pr1 ,..., Prn ) — наборестественных проекций из = 1 × ... × насоответствующий сомножитель.

∋ = ∘ Pr ,Предположим, что ∈ ( ).где∫︁∫︁( ∘ Pr ) =0=Тогда .Следовательно, мы получаем необходимое условие на мерыществования хотя бы одного транспортного плана вΠ ():∫︁ = 0,если( ∘ Pr ) ∈ . ∈ ()для су­18 | ∩ ( ) = 0Другими словами, = 1,...,.для каждогоТеперь мы готовы дать определить основной объект исследования даннойглавы диссертации.Определение 1.3 (Задача Канторовича с дополнительными линейными огра­ничениями). Для заданных польских пространств = 1 × · · · × , веро­ ∈ ( ), функции стоимости ∈ (), и ли­⨁︀нейного подпространства ⊆ (), где :==1 ( ) ⊂ () найтитранспортный план ∈ Π (), минимизирующий интеграл от функцииятностных распределенийстоимости:∫︁(){︂∫︁=inf() .∈Π ()Докажем важный факт о пространствеЛемма 1.4. ()плотно в}︂ ().

().‖ · ‖ ≤ ‖ · ‖ , и, следовательно, () ˓→ () : → непрерывно. Для любых ℎ ∈Доказательство. Во-первых, покажем, чтоестественное вложение ()∫︁∫︁‖ℎ‖ = sup|ℎ| ≤ sup |ℎ()| · sup∈Π∈∈Π = sup |ℎ()| = ‖ℎ‖ .∈Чтобы сделать следующий шаг в доказательстве, зафиксируем произволь­⨁︀ℎ ∈ . Пусть |ℎ| ≤ ∈ = =1 ( ), ∈ N, ℎ = min{,ℎ}и ℎ = max{min{,ℎ}, − } ∈ (). Заметим, что |ℎ | ≤ . Наша цель: пока­зать, что ‖ℎ − ℎ ‖ → 0 при → ∞. Очевидно, чтоную функцию‖ℎ − ℎ ‖ ≤ ‖ℎ − ℎ ‖ + ‖ℎ − ℎ ‖ .±ℎ − ≤ − =(·)+ := max{·,0} влечетТот факт, чтооператора‖ℎ − ℎ ‖ = sup∑︀ (︀∫︁((ℎ − )+ ) ≤∈Π=1 − ∫︁ (︂∑︁=1)︀вместе с положительностью −)︂ → 0,при → ∞.+Следовательно‖ℎ −ℎ ‖∫︁= sup∈Π)︂ ∫︁ (︂∑︁ → 0,((−ℎ − )+ ) ≤ −+=1при → ∞.19Сходимость здесь вытекает из теоремы Лебега о мажорируемой сходимости:для любых(︀)︀ ∈ N − + ≤ | | ∈ 1 ( , )и(︀ − +)︀→0поточечно.Известное следствие теоремы Прохорова (см.

Характеристики

Тип файла
PDF-файл
Размер
753,78 Kb
Высшее учебное заведение

Список файлов диссертации

Свежие статьи
Популярно сейчас
Как Вы думаете, сколько людей до Вас делали точно такое же задание? 99% студентов выполняют точно такие же задания, как и их предшественники год назад. Найдите нужный учебный материал на СтудИзбе!
Ответы на популярные вопросы
Да! Наши авторы собирают и выкладывают те работы, которые сдаются в Вашем учебном заведении ежегодно и уже проверены преподавателями.
Да! У нас любой человек может выложить любую учебную работу и зарабатывать на её продажах! Но каждый учебный материал публикуется только после тщательной проверки администрацией.
Вернём деньги! А если быть более точными, то автору даётся немного времени на исправление, а если не исправит или выйдет время, то вернём деньги в полном объёме!
Да! На равне с готовыми студенческими работами у нас продаются услуги. Цены на услуги видны сразу, то есть Вам нужно только указать параметры и сразу можно оплачивать.
Отзывы студентов
Ставлю 10/10
Все нравится, очень удобный сайт, помогает в учебе. Кроме этого, можно заработать самому, выставляя готовые учебные материалы на продажу здесь. Рейтинги и отзывы на преподавателей очень помогают сориентироваться в начале нового семестра. Спасибо за такую функцию. Ставлю максимальную оценку.
Лучшая платформа для успешной сдачи сессии
Познакомился со СтудИзбой благодаря своему другу, очень нравится интерфейс, количество доступных файлов, цена, в общем, все прекрасно. Даже сам продаю какие-то свои работы.
Студизба ван лав ❤
Очень офигенный сайт для студентов. Много полезных учебных материалов. Пользуюсь студизбой с октября 2021 года. Серьёзных нареканий нет. Хотелось бы, что бы ввели подписочную модель и сделали материалы дешевле 300 рублей в рамках подписки бесплатными.
Отличный сайт
Лично меня всё устраивает - и покупка, и продажа; и цены, и возможность предпросмотра куска файла, и обилие бесплатных файлов (в подборках по авторам, читай, ВУЗам и факультетам). Есть определённые баги, но всё решаемо, да и администраторы реагируют в течение суток.
Маленький отзыв о большом помощнике!
Студизба спасает в те моменты, когда сроки горят, а работ накопилось достаточно. Довольно удобный сайт с простой навигацией и огромным количеством материалов.
Студ. Изба как крупнейший сборник работ для студентов
Тут дофига бывает всего полезного. Печально, что бывают предметы по которым даже одного бесплатного решения нет, но это скорее вопрос к студентам. В остальном всё здорово.
Спасательный островок
Если уже не успеваешь разобраться или застрял на каком-то задание поможет тебе быстро и недорого решить твою проблему.
Всё и так отлично
Всё очень удобно. Особенно круто, что есть система бонусов и можно выводить остатки денег. Очень много качественных бесплатных файлов.
Отзыв о системе "Студизба"
Отличная платформа для распространения работ, востребованных студентами. Хорошо налаженная и качественная работа сайта, огромная база заданий и аудитория.
Отличный помощник
Отличный сайт с кучей полезных файлов, позволяющий найти много методичек / учебников / отзывов о вузах и преподователях.
Отлично помогает студентам в любой момент для решения трудных и незамедлительных задач
Хотелось бы больше конкретной информации о преподавателях. А так в принципе хороший сайт, всегда им пользуюсь и ни разу не было желания прекратить. Хороший сайт для помощи студентам, удобный и приятный интерфейс. Из недостатков можно выделить только отсутствия небольшого количества файлов.
Спасибо за шикарный сайт
Великолепный сайт на котором студент за не большие деньги может найти помощь с дз, проектами курсовыми, лабораторными, а также узнать отзывы на преподавателей и бесплатно скачать пособия.
Популярные преподаватели
Добавляйте материалы
и зарабатывайте!
Продажи идут автоматически
6381
Авторов
на СтудИзбе
308
Средний доход
с одного платного файла
Обучение Подробнее