37

Инфинитезимальные генераторы

[10/0%]
LaTeX
Задача 37.1

Пусть B\mathcal{B} — либо пространство L2L^{2} относительно конечной меры, либо пространство непрерывных функций, обращающихся в нуль на бесконечности, для некоторого локально компактного сепарабельного метрического пространства SS. В первом случае будем говорить, что f≥0f \geq 0, если f(x)≥0f(x) \geq 0 для почти всех xx, во втором случае — если f(x)≥0f(x) \geq 0 для всех xx. Полугруппа неотрицательна, если из f≥0f \geq 0 следует Ptf≥0P_{t} f \geq 0 для всех t≥0t \geq 0. Предположим, что PtP_{t} — полугруппа, пространство B\mathcal{B} содержит постоянные функции и Pt1=1P_{t} 1=1 для всех tt. Покажите, что PtP_{t} является сжатием тогда и только тогда, когда PtP_{t} неотрицательна.

?
Задача 37.2

Покажите, что PtP_{t} и RλR_{\lambda } коммутируют и что

PtRλf=∫0∞e−λsPs+tfds P_{t} R_{\lambda } f=\int _{0}^{\infty } e^{-\lambda s} P_{s+t} f d s

Покажите, что для любых a<ba<b выполняется

∥∫abeλtPtfdt∥≤∫abe−λt∥Ptf∥dt \left\| \int _{a}^{b} e^{\lambda t} P_{t} f d t\right\| \leq \int _{a}^{b} e^{-\lambda t}\left\| P_{t} f\right\| d t

Указание: аппроксимируйте RλfR_{\lambda } f суммой Римана.

?
Задача 37.3

Покажите, что если PtP_{t} — полугруппа сжатий, а RλR_{\lambda } — резольвента, то

∥Rλ∥≤1/λ(37.18) \left\| R_{\lambda }\right\| \leq 1 / \lambda \tag {37.18}
?
Задача 37.4

Покажите, что если AA — ограниченный оператор и Tt=etAT_{t}=e^{t A}, то TtT_{t} — сильно непрерывная полугруппа операторов с инфинитезимальным генератором AA. (Мы не можем утверждать, что TtT_{t} являются сжатиями.)

?
Задача 37.5

Докажите, что если L\mathcal{L} диссипативен, область определения L\mathcal{L} плотна в B\mathcal{B}, а область значений λ−L\lambda -\mathcal{L} плотна в B\mathcal{B}, то L‾\overline{\mathcal{L}}, определённый в (37.12), является замкнутым расширением L\mathcal{L}, которое диссипативно, и область значений λ−L‾\lambda -\overline{\mathcal{L}} равна B\mathcal{B}. Покажите, что такое замкнутое расширение L\mathcal{L} единственно.

?
Задача 37.6

Если область значений λ−L\lambda -\mathcal{L} равна B\mathcal{B} для одного значения λ\lambda, то область значений λ−L\lambda -\mathcal{L} равна B\mathcal{B} для каждого значения λ\lambda.

Указание: определите RλR_{\lambda } как обратный к λ−L\lambda -\mathcal{L}, затем используйте (37.3), чтобы определить RaR_{a} для других значений aa.

?
Задача 37.7

Пусть (Xt,P[x])\left(X_{t}, \mathbb {P}[x]\right) — марковский процесс с переходными вероятностями, заданными формулой Ptf(x)=f(x+t)P_{t} f(x)=f(x+t). Определите L\mathcal{L} и D(L)\mathcal{D}(\mathcal{L}).

?
Задача 37.8

Пусть PtP_{t} — сильно непрерывная полугруппа сжимающих операторов, а L\mathcal{L} — инфинитезимальный генератор. Покажите, что D(Ln)\mathcal{D}\left(\mathcal{L}^{n}\right) плотно в B\mathcal{B} для каждого натурального nn.

?
Задача 37.9

Это продолжение упражнения 36.5. Докажите, что если f∈C2f \in C^{2} с компактным носителем, PtP_{t} — полугруппа из упражнения 36.5, а L\mathcal{L} — инфинитезимальный генератор, то преобразование Фурье функции Lf\mathcal{L} f равно f^(u)ψ(u)\widehat{f}(u) \psi (u).

?
Задача 37.10

Предположим, что PtP_{t} — сильно непрерывная полугруппа, но не обязательно полугруппа сжатий. Таким образом, Pt+s=PtPsP_{t+s}=P_{t} P_{s} и Ptf→fP_{t} f \rightarrow f по норме, если f∈Bf \in \mathcal{B}, но мы не предполагаем, что ∥Pt∥≤1\left\| P_{t}\right\| \leq 1. Докажите, что существуют константы K,b>0K, b>0 такие, что ∥Pt∥≤Kebt\left\| P_{t}\right\| \leq K e^{b t} для всех t≥0t \geq 0.

Указание: используйте принцип равномерной ограниченности из функционального анализа, чтобы доказать существование c,t0c, t_{0} таких, что ∥Pt∥≤c\left\| P_{t}\right\| \leq c, если t≤t0t \leq t_{0}. Затем используйте полугрупповое свойство.

?