Формы Дирихле
[16/0%]Пусть имеет компактный носитель и : имеет компактный носитель, . Покажите, что замыкания и относительно нормы совпадают.
Если — пополнение , пространства -функций на с компактным носителем, относительно нормы, заданной в (38.11), покажите, что — гильбертово пространство.
Покажите, что резольвентный оператор , определённый в Теореме 38.1, является симметричным оператором, то есть если , то .
Покажите, что если резольвентный оператор является симметричным оператором, то переходные операторы также симметричны: если , то .
Чтобы решить следующие несколько упражнений, вам потребуется знать некоторые сведения из функционального анализа, а именно спектральную теорему для самосопряжённых операторов. См. Lax (2002).
Пусть — форма Дирихле с областью определения , а — инфинитезимальный генератор полугруппы , соответствующей . Пусть — спектральное разложение единицы для . (Оператор отрицателен, поэтому положителен.) Тогда следствием спектральной теоремы является то, что
и
Также
Покажите, что если , то
Указание: сначала докажите это для . Запишите
Чтобы распространить это на все из области определения , используйте тот факт, что замкнута.
Если — инфинитезимальный генератор полугруппы, ассоциированной с формой Дирихле , покажите, что .
Покажите, что если , то сходится к по норме, индуцированной .
Покажите, что если , то является плотным подмножеством относительно нормы, индуцированной .
Покажите, что является плотным подмножеством относительно нормы, индуцированной .
Это упражнение показывает, как аппроксимировать формами, область определения которых — всё . Пусть
Покажите, что если , то возрастает к . Покажите, что если , то сходится к .
Покажите, что если , то и .
Указание: используйте упражнение 38.10.
Используя упражнение 38.11, покажите, что если , то .
Предположим, что — переходные вероятности, соответствующие форме Дирихле . Предположим, что существуют функции такие, что для каждого
для почти всех . Докажите, что для почти всех пар относительно произведения мер выполняется .
Пусть , и определим функционал
для из области определения . Докажите, что минимизируется при , и что эта функция — единственный минимизатор.
Пусть — полугруппа, ассоциированная с формой Дирихле, и определим
Докажите, что если непрерывны и имеют компактный носитель, то
Считая и непрерывными с компактным носителем, докажите, что
и
Пусть . Докажите, что если определено как в упражнении 38.10, то
Является ли формой Дирихле? Регулярной формой Дирихле?
Это продолжение предыдущего упражнения. Если — функция на пространстве состояний, будем говорить, что является нормальным сжатием , если для всех и для всех и . В качестве примера заметим, что если , то является нормальным сжатием . Докажите, что если , где — форма Дирихле, а — нормальное сжатие , то для каждого