Пред.
След.
Макеты страниц
Распознанный текст, спецсимволы и формулы могут содержать ошибки, поэтому с корректным вариантом рекомендуем ознакомиться на отсканированных изображениях учебника выше Также, советуем воспользоваться поиском по сайту, мы уверены, что вы сможете найти больше информации по нужной Вам тематике 5.4. Замороженные образы: бесконечное G и конечное nПолностью конечный случай, рассмотренный нами в предыдущем разделе, не вызывает затруднений. Полубесконечный случай, когда пространство образующих бесконечно, а конфигурации конечны, несколько сложнее. Однако и здесь был достигнут определенный прогресс в основном благодаря работе (Hwang 1978). Будем предполагать, что размер
Мы выразили меры
где
Чтобы обсуждать предельные меры, мы сначала должны убедиться в том, что семейство плотно. Следующий негативный результат, возможно, несколько прояснит ситуацию. Теорема 5.4.1. Если функция Н не имеет минимума, то семейство Доказательство. Мы проведем его косвенным путем, предполагая, что существует последовательность значений 0, таких, что Выберем убывающую последовательность
и такую, что все В таком случае мы можем записать
что, самое большее, может быть равно (вспомним, что
Последнее выражение в свою очередь может быть равно, самое большее,
Рис. 5.3.1 Как будет вести себя (5.4.7) при
однако имеет место слабая сходимость
при достаточно больших значениях
и мы можем без потери общности предполагать, что он равен нулю.
Теорема 5.4.2. В предположении, что выполняются (5.4.1), (5.4.10), а также что
Доказательство. С использованием (5.4.2) мы имеем
где
и
Выделим случаи, когда
В противоположном случае, когда
в то время как (5.4.14) дает
В соответствии с теоремой Шеффе (см. Примечания А) это гарантирует, что распределение по отношению к Теорема 5.4.2 информативна, однако она ничего не говорит нам о том, что происходит в вырожденном, но интересном с Однако сначала отметим следующее. Если мы предположим, что
то семейство
При Пусть теперь М будет конечным множеством с элементами
При этом условии мы можем сформулировать следующую теорему. Теорема 5.4.3. Для заданного множества М конфигураций минимальной энергии будем предполагать, что выполняется (5.4.20), что
Замечание. В (5.4.21) мы воспользовались следующим обозначением для матрицы Гессе:
где Доказательство. Пусть
Теперь мы применим к этому выражению некоторую разновидность метода Лапласа. Лемма 5.4.1. Пусть вещественнозначная функция
Доказательство. При любом положительном
Нужно лишь выбрать
Вспомнив, что
также являются положительно определенными. Теперь выберем
Введя обозначения
мы получаем из (5.4.28) следующие оценки:
Пусть теперь
Объединяя (5.4.31) и (5.4.26), мы приходим к неравенствам
Если
что и требовалось доказать. Теперь эту лемму можно непосредственно применить к (5.4.23), чтобы завершить доказательство теоремы 5.4.3. Пример 1. Пусть функцию
где гладкая и неотрицательная функция При
Поскольку функция
Это соответствует отношению связей для строгой регулярности
Предельные вероятности для Отношение (5.4.37) представляет особый интерес. Оно указывает на важную область исследований, до сих пор почти не затронутую. Пусть мы исходим, например, из некоторой вероятностной меры, управляемой регулярностью, скажем такой, как в (5.1.4). Мы знаем, когда и как предельная мера достигается для более иизких температур, т. е. более строгой регулярности. Можно ли задать условия для того, чтобы регулярность замороженных образов могла быть описана (локально) некоторым отношением связей Заметим, что если изменить условия примера 1, полагая
и теорема 5.4.3 становится неприменимой. Теперь обратимся ко второй части полубесконечного случая, когда множество М конфигураций минимальной энергии является объединением конечного числа гладких многообразий. Поскольку в этой ситуации анализ значительно затрудняется, мы начнем с некоторых предварительных обсуждений, опять следуя довольно близко работе (Hwang 1978). В дополнение к предыдущим предположениям будем также предполагать, что каждая компонента М является гладким многообразием (или Пусть М представляет собой Отображение Теперь в окрестности
и
где
Поскольку речь идет лишь об обозначениях, (5.4.41) не зависит от локальных координат. Мы получаем базис
Запишем
(кликните для просмотра скана) В дальнейшем примем обозначениг
Рассмотрим
так что
На пересечении выполняется закон перехода. Мера на Пусть
Согласно закону перехода, После этих предварительных обсуждений мы готовы к тому, чтобы сформулировать главный результат. Теорема 5.4.4. (Hwang 1978) Предположим, что М имеет конечное множество компонент и каждая компонента представляет собой компактное гладкое многообразие. Функция энергии Н и вероятность
то предельная вероятностная мера концентрируется на многообразиях наибольшей размерности и может быть записана как
где Доказательство. Пусть
Как и при доказательстве леммы 5.4.1, разность между
и выражением (5.4.54) экспоненциально мала. Здесь Зафиксируем I и рассмотрим интеграл
где (кликните для просмотра скана) (кликните для просмотра скана) где
Можно считать
то (5.4.68) превращается в
Если Р определяется как
то
|
1 |
Оглавление
|