Пред.
След.
Макеты страниц
Распознанный текст, спецсимволы и формулы могут содержать ошибки, поэтому с корректным вариантом рекомендуем ознакомиться на отсканированных изображениях учебника выше Также, советуем воспользоваться поиском по сайту, мы уверены, что вы сможете найти больше информации по нужной Вам тематике Рассмотрим вопрос о сходимости серий последовательных измерений к процессу непрерывного изиерения. Пусть для $n=1,2, \ldots$. задано разбиенне временной осл $\mathrm{R}$ на интервалы $\left[t_{i}^{(n)}, t_{i+1}^{(n)}\right)$ длины $1 / n$. и каждому моменту $t^{(n)}$ сопоттазлено изиерение, описываемое инструментом $\mathscr{A}_{n}$ в прогтранс гвом жходов $\mathrm{R}^{s}$, и с характеристнческой функцией $\Phi_{n}(g), g \in \mathrm{R}^{s}$. Фиксируем $n$ и отрезок $[a, b]$ и пусть $i_{a}$ – первый, а $i_{b}$ – последиий из номеров $i$, таких, что $a<t_{i}^{(n)} \leqslant b$. Соотношение по принипу продолже:хя определяет коипозицию $\mathscr{K}$ последовательности инструментоз $\mathscr{\boldsymbol { K }}_{n}$. Взеием $\mathscr{B}_{3,5}$-изиерлмое отображение переводящее функцио $y(\cdot) \in \mathcal{D}$ в вектор скачков $x=\left(x_{i} ; i=i_{a}, \ldots\right.$ $\ldots, i_{b}$ ), и обозначм чераз $\mathcal{A}_{a, b}^{(n)}$ проэбраз инструмента $\mathcal{C}$ при отображенин $\beta$, Семейство $\left\{\mathcal{A}_{a, b}^{(n)} ; a<b ; a, b \in \mathbf{R}\right\}$ ојразует и. н. п. процесс с тряекториями в $\mathscr{D}$ (фактическл, в прогтранстве фунқция, постоянных на каждом интерзале $\left[t_{i}^{(n)}, t_{i+1}^{(n)}\right)$ ). Кожечномерные распределения процесса $\left\{\mathcal{A}_{a, b}^{(n)}\right\}$ имеют совместные характеристические функции где $\boldsymbol{m}_{r}$ – чисю точек $t_{i}^{(n)}$ на интервале $\left(\tau_{r-1}, \tau_{r}\right.$ ]. для фиксированного отрезка $[a, b]$, где $\left\{\mathscr{P}_{\text {. в }}\right\}$ – однородный и. н. п.-процесс с. генератором $\mathscr{L}(g)$. Обозначим через $\mathscr{D}[a, b]$ множество функций $y(t) ; t \in[a, b]$, где $y(\cdot) \in \mathscr{D}$. Теорем а 4. Пусть последовательность функций (3.6) $\mathscr{T}_{2^{2}}$ сходится к $\mathscr{T}_{2}$-непрерывной функции $\mathscr{L}(g)$, причем Тогда для любых $S € \Theta, X \in X$ последовательность мер $\left\{\mu_{S, X}^{(n)}\right\}$ сходится слабо в смысле топологии Скорохода в $\mathscr{D}[a, b]$ к мере $\mu_{s, x}$. Из замечания в начале $\S 3$ видно, что в теореме 4 речь идет – $\mathscr{T}_{1}$-слабой сходимости инструментов $\left\{\mathscr{M}_{a . b}^{(n)}\right\}$ к $\mathscr{N}_{a, b}$. В условиях теоремы имеет место и $\mathscr{T}_{2}$-слабая сходимость; мы не будем здесь углубляться в этот вопрос. Доказательство. Рассуждая как в доказательстве предложения 9 и учитывая, что $\left|m_{r} / n-\left(\tau_{r}-\tau_{r-1}\right)\right| \leqslant_{1 / n}$, имеем в смысле топологии $\mathscr{T}_{2}$. Отсюда вытекает поточечная $\mathscr{T}_{2}$-сходимость характеристических функций (5.1) к (4.6) и тем самым, согласно предложению 8, сходимость конечномерных распределений мер $\mu_{S, x^{(n)}}$ к соответствующим распределениям мер $\mu_{S, X}$. Чтобы завершить доказательство, достаточно установить плотность семейства мер $\left\{\mu_{8, x^{(n)}}\right\}$ в $\mathscr{D}[a, b]$. Воспользуемся критерием Скорохода ([1], теорема 15.4). Покажем, что для любого $\lambda>0$ где и верхняя грань берется по всем $t_{1}, t, t_{2} \in[a, b]$, удовлетворяющим неравенствам $t_{1} \leqslant t \leqslant t_{2}, t_{2}-t_{1} \leqslant \delta$. Если функция $y(t), t \in[a, b]$ постоянна на отрезках $\left[t_{i}^{(n)}, t_{i+1}^{(n)}\right)$ и имеет в точке $t_{i}^{(n)}$ скачок $x_{i}$, то где максимум берется по $i, j, k$, таким, что $i_{s}-1 \leqslant i<j<k \leqslant i_{b}$ и $k-i \leqslant m=\left[\delta_{n}\right]+1$. Мы покажем, что Отсюда, как в ([1], теорема 12.6) следует, что и, таким образом, выполняется условие плотности (5.2). где $\underline{\boldsymbol{C}}$-композиция $(j-i)$ ннструментов $\underline{\boldsymbol{x}}_{n}$. Заметим, что Функция $\mathscr{P}_{n}(g)=n\left(\Phi_{n}(g)-\mathrm{Id}\right)$ является квазихарактеристической, поэтому для нее имеет место оценка роста (2.6); следовательно Подставляя в (5.4) и интегрируя, получаем Рассуждая, как в (4.10), получаем отсюда оценту (5.3). определяет процесс непрерывного измерения для произвольных, не обязательно коммутирующих наблюдаемых $A^{1}, \ldots, A^{*}$. В этом конкретном случае утверждение теоремы 5 может быть усилено. Обозначим через $\mathscr{\&}$ пространство непрерывных функций на $\mathbf{R}$ со значениями в $\mathbf{R}^{s}, \mathscr{E}[a, b]$ – пространство функций $y(t) ; t \in[a, b]$, где $y(\cdot) \in \mathscr{C}$. Предложение 12. Существует однородный и. н. п. процесс с траекториями в $\mathscr{B}$, определяемый генератором (3.9). При этом меры $\mu_{S}, x^{(n)}$ слабо сходятся к $\mu_{S}$, в равномерной топологии $\mathscr{D}$. Доказательство. Второе утверждение следует из первого (см. [1], с 209). Для доказательства первого утверждения достаточно проверить, что меры $\mu_{s, x}$ удовлетворяют критерию Колмогорова; утверждение будет тогда следовать из принципа продолжения. Докажем, что В силу (4.1) достаточно показать, что где $\mathscr{A}_{t}$ – инструмент с характеристической функцией $\Phi_{t}(g)=$ $=\exp t \mathscr{L}(g)$, а $\mathscr{L}(g)$ дается выражением (3.9). Заметим, что $\Phi_{t}(g)$ имеет частные производные всех порядков по $g_{1}, \ldots, g_{*}$, непрерывные по норме. Отсюда, в частностн, Воспользуемся соотношением Используя обозначение (..) (q) для частной производной порядка $\alpha$ по произвольной переменной $q_{3}$, имеем Поскольку подынтегральные функции непрерывны по норме, отсюда следует где константы могут зависеть от $g$. Сопоставляя (5.7) и (5.6), получаем (5.5).
|
1 |
Оглавление
|