8

Связь с уравнениями в частных производных

[13/100%]
Показать
LaTeX
Задача 8.1

Пусть ff — начальное значение в задаче, рассмотренной в лемме 8.1, и запишем u(t,x):=Ptf(x)=Ef(Bt+x)u(t, x): = P_{t} f(x) = \mathbb {E} f\left(B_{t}+x\right), где (Bt)t⩾0\left(B_{t}\right)_{t \geqslant 0} — BM d{ }^{d}.

?
(a)

Предположим, что f∈C∞(Rd)f \in \mathcal{C}_{\infty }\left(\mathbb {R}^{d}\right). Покажите, что ∂tu(t,x),∂ju(t,x)\partial_{t} u(t, x), \partial_{j} u(t, x) и ∂j∂ku(t,x)\partial_{j} \partial_{k} u(t, x) существуют и являются функциями из C((0,∞)×Rd)\mathcal{C}\left((0, \infty ) \times \mathbb {R}^{d}\right).

(b)

Предположим, что f:Rd→Rf: \mathbb {R}^{d} \rightarrow \mathbb {R} измерима и экспоненциально ограничена, т.е. ∣f(x)∣⩽CeC∣x∣\left|f(x)\right| \leqslant C e^{C\left|x\right|} для всех x∈Rdx \in \mathbb {R}^{d} и некоторой константы CC. Покажите, что ∂tu(t,x),∂ju(t,x)\partial_{t} u(t, x), \partial_{j} u(t, x) и ∂j∂ku(t,x),j,k=1,…,d\partial_{j} \partial_{k} u(t, x), j, k = 1, \ldots , d, существуют и являются экспоненциально ограниченными функциями из C((0,∞)×Rd)\mathcal{C}\left((0, \infty ) \times \mathbb {R}^{d}\right).

(c)

Что произойдёт, если в пункте b) предположить f(x)⩽CeC∣x∣2f(x) \leqslant C e^{C\left|x\right|^{2}}?

Задача 8.2

Предположим, что в лемме 8.1 начальное данное удовлетворяет f∈C∞(Rd)f \in \mathcal{C}_{\infty }\left(\mathbb {R}^{d}\right), но не обязательно f∈D(A)f \in \mathfrak {D}(A). Рассмотрите (8.3) с PϵfP_{\epsilon } f вместо ff. Обсудите предел ϵ→0\epsilon \rightarrow 0.

?
Задача 8.3

Пусть (Bt)t⩾0\left(B_{t}\right)_{t \geqslant 0} — BMd\mathrm{BM}^{d}, f:Rd→Rf: \mathbb {R}^{d} \rightarrow \mathbb {R} — непрерывная функция такая, что ∫0tf(Bs)ds=0\int_{0}^{t} f\left(B_{s}\right) d s = 0 для всех t>0t > 0. Покажите, что f(Bs)=0f\left(B_{s}\right) = 0 для всех s>0s > 0, и заключите, что f≡0f \equiv 0.

?
Задача 8.4

Завершите аргумент приближения для арксинус-закона Леви из §8.9\S 8.9:

?
(a)

Покажите прямым вычислением, что vn,λ(x)v_{n, \lambda }(x) сходится при n→∞n \rightarrow \infty. Заключите из (8.16), что vn,λ′′v_{n, \lambda }^{\prime \prime } сходится.

(b)

Проинтегрируйте ОДУ (8.16), чтобы увидеть, что vn,λ(x)−vn,λ′(0)v_{n, \lambda }(x) - v_{n, \lambda }^{\prime }(0) имеет предел. Интегрируя ещё раз, покажите, что vn,λ′(0)v_{n, \lambda }^{\prime }(0) тоже сходится.

(c)

Найдите пределы vn,λ,vn,λ′v_{n, \lambda }, v_{n, \lambda }^{\prime } и vn,λ′′v_{n, \lambda }^{\prime \prime }.

Задача 8.5

Докажите теорему 8.5 методами полугрупп.

?
Задача 8.6

Найдите решение задачи Дирихле в размерности d=1d = 1: u′′(x)=0u^{\prime \prime }(x) = 0 для всех x∈(0,1)x \in (0,1), u(0)=au(0) = a, u(1)=bu(1) = b, и uu непрерывна на [0,1][0,1]. Сравните ваш результат с тождествами Вальда, см. теорему 5.10 и следствие 5.11.

?
Задача 8.7

Используя лемму 7.33, дайте альтернативный вывод результата леммы 8.10.

?
Задача 8.8

Покажите, что лемма 8.10 остаётся верной для любого dd-мерного феллеровского процесса XtX_{t} с непрерывными траекториями и генератором L=∑j,k=1dajk(x)∂j∂k+∑j=1dbj(x)∂jL = \sum_{j, k = 1}^{d} a_{j k}(x) \partial_{j} \partial_{k}+\sum_{j = 1}^{d} b_{j}(x) \partial_{j} таким, что a11(x)⩾a0>0a_{11}(x) \geqslant a_{0} > 0 и ∣b1(x)∣⩽b0<∞\left|b_{1}(x)\right| \leqslant b_{0} < \infty.

?
Задача 8.9

Таблица 8.1, № 2, приводит решение задачи Коши (8.6). Объясните, как этот результат следует из наших рассуждений относительно (8.3) и (8.7).

?
Задача 8.10

Пусть g:[0,∞)×Rd→Rg:[0, \infty ) \times \mathbb {R}^{d} \rightarrow \mathbb {R} — ограниченная непрерывная функция такая, что g(t,⋅)g(t, \cdot ) является κ\kappa-гёльдеровой с константой Гёльдера, не зависящей от tt или xx. Повторите доказательство леммы 8.7, чтобы показать, что v(t,x):=Ex(∫0tg(t−s,Bs)ds)v(t, x): = \mathbb {E}^{x}\left(\int_{0}^{t} g\left(t - s, B_{s}\right) d s\right) лежит в C1,2((0,∞)×Rd)∩Cb([0,∞)×Rd)\mathcal{C}^{1,2}\left((0, \infty ) \times \mathbb {R}^{d}\right) \cap \mathcal{C}_{b}\left([0, \infty ) \times \mathbb {R}^{d}\right) и удовлетворяет (8.1). Объясните, почему это доказывает, при подходящих предположениях на g(t,x)g(t, x), № 3 в таблице 8.1.

?
Задача 8.11

Используя ЗПЛ (следствие 12.2), дайте альтернативное доказательство того факта, что одномерное броуновское движение бесконечно часто колеблется на каждом промежутке времени [0,ϵ][0, \epsilon ] вокруг своей начальной точки.

?
Задача 8.12

Пусть d⩾2d \geqslant 2. Плоский конус в Rd\mathbb {R}^{d} — это конус в Rd−1\mathbb {R}^{d - 1}. Адаптируйте рассуждение из примера 8.18.e), чтобы показать следующий полезный критерий регулярности для BMd\mathrm{BM}^{d}: граничная точка x0x_{0} регулярна для DcD^{c}, если существует усечённый плоский конус с вершиной в x0x_{0}, лежащий целиком в DcD^{c}.

?
Задача 8.13

Пусть (b,β)(b, \beta ) — BM2\mathrm{BM}^{2} и σn=inf⁡{t>1/n:b(t)=0}\sigma_{n} = \inf \left\{ t > 1 / n: b(t) = 0\right\}. Покажите, что случайная величина β(σn)\beta \left(\sigma_{n}\right) имеет плотность вероятности.

?