Инфинитезимальные генераторы
[10/0%]Пусть — либо пространство относительно конечной меры, либо пространство непрерывных функций, обращающихся в нуль на бесконечности, для некоторого локально компактного сепарабельного метрического пространства . В первом случае будем говорить, что , если для почти всех , во втором случае — если для всех . Полугруппа неотрицательна, если из следует для всех . Предположим, что — полугруппа, пространство содержит постоянные функции и для всех . Покажите, что является сжатием тогда и только тогда, когда неотрицательна.
Покажите, что и коммутируют и что
Покажите, что для любых выполняется
Указание: аппроксимируйте суммой Римана.
Покажите, что если — полугруппа сжатий, а — резольвента, то
Покажите, что если — ограниченный оператор и , то — сильно непрерывная полугруппа операторов с инфинитезимальным генератором . (Мы не можем утверждать, что являются сжатиями.)
Докажите, что если диссипативен, область определения плотна в , а область значений плотна в , то , определённый в (37.12), является замкнутым расширением , которое диссипативно, и область значений равна . Покажите, что такое замкнутое расширение единственно.
Если область значений равна для одного значения , то область значений равна для каждого значения .
Указание: определите как обратный к , затем используйте (37.3), чтобы определить для других значений .
Пусть — марковский процесс с переходными вероятностями, заданными формулой . Определите и .
Пусть — сильно непрерывная полугруппа сжимающих операторов, а — инфинитезимальный генератор. Покажите, что плотно в для каждого натурального .
Это продолжение упражнения 36.5. Докажите, что если с компактным носителем, — полугруппа из упражнения 36.5, а — инфинитезимальный генератор, то преобразование Фурье функции равно .
Предположим, что — сильно непрерывная полугруппа, но не обязательно полугруппа сжатий. Таким образом, и по норме, если , но мы не предполагаем, что . Докажите, что существуют константы такие, что для всех .
Указание: используйте принцип равномерной ограниченности из функционального анализа, чтобы доказать существование таких, что , если . Затем используйте полугрупповое свойство.