8

Преобразования Фурье

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

Пусть f=(f1,…,fk)f = \left(f_{1}, \ldots , f_{k}\right) — вектор μ\mu-интегрируемых вещественнозначных функций. Определим μf\mu f как вектор (μf1,…,μfk)\left(\mu f_{1}, \ldots , \mu f_{k}\right).

?
(i)

Покажите, что ∣μf∣≤μ∣f∣\left|\mu f\right| \leq \mu \left|f\right|, где ∣⋅∣\left|\cdot \right| обозначает обычную евклидову норму. Указание: Пусть α\alpha — единичный вектор в направлении μf\mu f. Заметьте, что α′f≤∣f∣\alpha^{\prime } f \leq \left|f\right|.

(ii)

Пусть f=f1+if2f = f_{1}+i f_{2} — комплекснозначная функция с μ\mu-интегрируемыми вещественной и мнимой частями f1f_{1} и f2f_{2}. Покажите, что ∣μf∣≤μ∣f∣\left|\mu f\right| \leq \mu \left|f\right|, где ∣⋅∣\left|\cdot \right| обозначает модуль комплексного числа.

Задача 8.2

Предположим, что для преобразования Фурье выполнено ∣ψP(t0)∣=1\left|\psi_{P}\left(t_{0}\right)\right| = 1 при некотором ненулевом t0t_{0}. То есть ψP(t0)=exp⁡(iθ0)\psi_{P}\left(t_{0}\right) = \exp \left(i \theta_{0}\right) для некоторого вещественного θ0\theta_{0}. Покажите, что PP сосредоточена на решётке точек {(θ0+2nπ)/t0:n∈Z}\left\{ \left(\theta_{0}+2 n \pi \right) / t_{0}: n \in \mathbb {Z}\right\}.

?
Задача 8.3

Предположим, что ff интегрируема относительно меры Лебега m\mathfrak {m} на вещественной прямой и абсолютно непрерывна в том смысле, что f(x)=mx({t≤x}f˙(t))f(x) = \mathfrak {m}^{x}(\left\{ t \leq x\right\} \dot{f}(t)) для всех xx, для некоторой интегрируемой функции f˙\dot{f}.

?
(i)

Покажите, что f(x)→0f(x) \rightarrow 0 при ∣x∣→∞\left|x\right| \rightarrow \infty. Указание: Покажите, что mtf˙(t)=0\mathfrak {m}^{t} \dot{f}(t) = 0, чтобы разобрать случай x→∞x \rightarrow \infty.

(ii)

Покажите, что mx(f(x)eixt)=−mx(eixtf˙(x))/(it)\mathfrak {m}^{x}\left(f(x) e^{i x t}\right) = -\mathfrak {m}^{x}\left(e^{i x t} \dot{f}(x)\right) /(i t) для t≠0t \neq 0. Указание: Для корректного применения теоремы Фубини запишите левую часть как lim⁡C→∞mx(eixt{∣x∣≤C}ms(f˙(s){s≤x}))\lim_{C \rightarrow \infty } \mathfrak {m}^{x}\left(e^{i x t}\left\{ \left|x\right| \leq C\right\} \mathfrak {m}^{s}(\dot{f}(s)\left\{ s \leq x\right\} )\right).

(iii)

Если плотность вероятности имеет лебегово-интегрируемые производные вплоть до порядка kk, докажите, что её преобразование Фурье имеет порядок O(∣t∣−k)O\left(\left|t\right|^{-k}\right) при ∣t∣→∞\left|t\right| \rightarrow \infty.

Задача 8.4

Пусть m\mathfrak {m} обозначает меру Лебега на B(R)\mathcal{B}(\mathbb {R}). Для каждой ff из L1(m)\mathcal{L}^{1}(\mathfrak {m}) покажите, что mx(f(x)eixt)→0\mathrm{m}^{x}\left(f(x) e^{i x t}\right) \rightarrow 0 при t→±∞t \rightarrow \pm \infty.

?
Задача 8.5

Пусть g(⋅)g(\cdot ) — ограниченная вещественная функция на вещественной прямой с ограниченными производными вплоть до порядка k+1k+1, и пусть XX — случайная величина, для которой E[∣X∣k]<∞\mathbb {E}\left[\left|X\right|^{k}\right] < \infty. Пусть Rk(⋅)R_{k}(\cdot ) — остаточный член в разложении Тейлора вплоть до степени kk:

g(x)=g(0)+xg′(0)+…+xkk!g(k)(0)+Rk(x) g(x) = g(0)+x g^{\prime }(0)+\ldots +\frac{x^{k}}{k!} g^{(k)}(0)+R_{k}(x)
?
(i)

Покажите, что ∣Rk(x)∣≤Cmin⁡(∣x∣k,∣x∣k+1)\left|R_{k}(x)\right| \leq C \min \left(\left|x\right|^{k},\left|x\right|^{k+1}\right) для некоторой константы CC.

(ii)

Воспользуйтесь теоремой о мажорируемой сходимости, чтобы показать, что

E[g(Xt)]=g(0)+tg′(0)E[X]+…+tkk!g(k)(0)E[Xk]+o(tk) при t→0 \mathbb {E}\left[g(X t)\right] = g(0)+t g^{\prime }(0) \mathbb {E}\left[X\right]+\ldots +\frac{t^{k}}{k!} g^{(k)}(0) \mathbb {E}\left[X^{k}\right]+o\left(t^{k}\right) \quad \text{ при } t \rightarrow 0
Задача 8.6

Пусть PP обозначает двустороннее экспоненциальное распределение, заданное плотностью p(x)=1/2exp⁡(−∣x∣)p(x) = 1 / 2 \exp (-\left|x\right|) относительно меры Лебега на B(R)\mathcal{B}(\mathbb {R}).

?
(i)

Покажите, что Pxexs=1/(1−s2)P^{x} e^{x s} = 1 /\left(1-s^{2}\right) для вещественных ss с ∣s∣<1\left|s\right| < 1.

(ii)

Сделав смелое предположение (или сославшись на аналитическое продолжение), выведите, что ψP(t)=1/(1+t2)\psi_{P}(t) = 1 /\left(1+t^{2}\right) для t∈Rt \in \mathbb {R}.

(iii)

Распределение Коши задаётся плотностью q(x)=π−1/(1+x2)q(x) = \pi^{-1} /\left(1+x^{2}\right). Примените формулу обращения из теоремы ⟨10⟩\langle 10 \rangle, чтобы вывести, что преобразование Фурье распределения Коши равно exp⁡(−∣t∣)\exp (-\left|t\right|).

Примечание.
?

Теорема 10: Если PP имеет преобразование Фурье ψ\psi, для которого ∫−∞∞∣ψ(z)∣dz<∞\int_{-\infty }^{\infty }\left|\psi (z)\right| d z < \infty, то PP абсолютно непрерывна относительно меры Лебега с плотностью f(y):=12π∫−∞∞ψ(z)exp⁡(−izy)dzf(y): = \frac{1}{2 \pi } \int_{-\infty }^{\infty } \psi (z) \exp (-i z y) d z, которая ограничена и равномерно непрерывна.

Задача 8.7

Предположим, что (X,Y)(X, Y) имеет многомерное нормальное распределение с cov⁡(X,Y)=0\operatorname {cov}(X, Y) = 0. Покажите, что XX и YY независимы.

?
Задача 8.8

Пусть X1,…,XnX_{1}, \ldots , X_{n} — независимые случайные величины, распределённые равномерно на (0,1)(0,1). Вычислите логарифм преобразования Фурье для n−1/2(X1+…+Xn−12n)n^{-1 / 2}\left(X_{1}+\ldots +X_{n}-\frac{1}{2} n\right) с точностью до остаточного члена порядка O(n−2)O\left(n^{-2}\right).

?
Задача 8.9

Предположим, что XX — случайная величина с преобразованием Фурье ψX\psi_{X}.

?
(i)

Для каждого δ>0\delta > 0 покажите, что

1δ∫0δ(1−ℜψX(t))dt=E[1−sin⁡XδXδ]≥c0P(∣X∣≥1/δ) \frac{1}{\delta } \int _{0}^{\delta }\left(1-\Re \psi _{X}(t)\right) d t = \mathbb {E}\left[1-\frac{\sin X \delta }{X \delta }\right] \geq c_{0} \mathbb {P}\left(\left|X\right| \geq 1 / \delta \right)

где 1−c0:=sup⁡∣x∣≥1∣sin⁡x/x∣1-c_{0}: = \sup_{\left|x\right| \geq 1}\left|\sin x / x\right|.

(ii)

Если ψ\psi — комплекснозначная функция, непрерывная в начале координат, покажите, что

1δ∫0δℜ(ψ(0)−ψ(t))dt→0 при δ→0 \frac{1}{\delta } \int _{0}^{\delta } \Re (\psi (0)-\psi (t)) d t \rightarrow 0 \quad \text{ при } \delta \rightarrow 0
(iii)

Предположим, что {Xn}\left\{ X_{n}\right\} — последовательность случайных величин, преобразования Фурье которых ψn\psi_{n} сходятся поточечно к функции ψ\psi, непрерывной в начале координат. Покажите, что XnX_{n} имеет порядок Op(1)O_{p}(1).

(iv)

Покажите, что ψ\psi из пункта (iii) равна преобразованию Фурье некоторой случайной величины ZZ, представляющей предел по распределению некоторой подпоследовательности {Xn}\left\{ X_{n}\right\}. Выведите с помощью теоремы ⟨12⟩\langle 12 \rangle, что Xn⇝ZX_{n} \rightsquigarrow Z.

Примечание.
?

Теорема 12 (Теорема о непрерывности): Пусть X,X1,X2,…X, X_{1}, X_{2}, \ldots — случайные величины с преобразованиями Фурье ψ,ψ1,ψ2,…\psi , \psi_{1}, \psi_{2}, \ldots, для которых ψn(t)→ψ(t)\psi_{n}(t) \rightarrow \psi (t) для каждого вещественного tt. Тогда Xn⇝XX_{n} \rightsquigarrow X.

Задача 8.10

Предположим, что случайная величина XX имеет преобразование Фурье ψ\psi, для которого ψ(t)=1+O(t2)\psi (t) = 1+O\left(t^{2}\right) вблизи t=0t = 0.

?
(i)

Покажите, что существует конечная константа CC, такая что

C≥ℜ(1−ψ(t))t2≥E[1−cos⁡(Xt)(Xt)2X2{0<∣X∣≤M}] C \geq \frac{\Re (1-\psi (t))}{t^{2}} \geq \mathbb {E}\left[\frac{1-\cos (X t)}{(X t)^{2}} X^{2}\left\{ 0 < \left|X\right| \leq M\right\} \right]

для всех MM. Выведите с помощью теоремы о мажорируемой сходимости, что 2C≥E[X2]2 C \geq \mathbb {E}\left[X^{2}\right].

(ii)

Покажите, что E[X]=0\mathbb {E}\left[X\right] = 0.

Задача 8.11

Предположим, что XX — случайная величина, а f(z,X)f(z, X) — совместно измеримая функция, аналитическая в окрестности N:={z∈C:∣z−z0∣<δ}\mathcal{N}: = \left\{ z \in \mathbb {C}:\left|z-z_{0}\right| < \delta \right\} точки z0z_{0} на комплексной плоскости. Обозначим через f′(z,X)f^{\prime }(z, X) производную по zz. Предположим, что ∣f′(z,X)∣≤M(X)\left|f^{\prime }(z, X)\right| \leq M(X) для ∣z−z0∣≤δ\left|z-z_{0}\right| \leq \delta, где E[M(X)]<∞\mathbb {E}\left[M(X)\right] < \infty. Покажите, что E[f(z,X)]\mathbb {E}\left[f(z, X)\right] аналитична в N\mathcal{N}, с производной E[f′(z,X)]\mathbb {E}\left[f^{\prime }(z, X)\right].

?
Задача 8.12

Предположим, что случайная величина XX имеет преобразование Фурье ϕ(t)=exp⁡(ict−dt2)\phi (t) = \exp \left(i c t-d t^{2}\right) для комплексных чисел c:=c1+ic2c: = c_{1}+i c_{2} и d:=d1+id2d: = d_{1}+i d_{2}.

?
(i)

Выведите из фактов, что ∣ϕ(t)∣≤1\left|\phi (t)\right| \leq 1 и ϕ(t)=1−c2t+ic1t+o(t)\phi (t) = 1-c_{2} t+i c_{1} t+o(t) вблизи t=0t = 0, что c2=0c_{2} = 0.

(ii)

Покажите, что X−c1X-c_{1} имеет преобразование Фурье exp⁡(−dt2)=1+O(t2)\exp \left(-d t^{2}\right) = 1+O\left(t^{2}\right) вблизи t=0t = 0. Выведите с помощью теоремы ⟨2⟩\langle 2 \rangle и задачи [10], что d=E[∣X−c1∣2]d = \mathbb {E}\left[\left|X-c_{1}\right|^{2}\right], что неотрицательно.

Примечание.
?

Теорема 2: Если E[∣X∣k]<∞\mathbb {E}\left[\left|X\right|^{k}\right] < \infty для некоторого положительного целого kk, то преобразование Фурье допускает приближение ψX(t)=1+itE[X]+(it)22!E[X2]+…+(it)kk!E[Xk]+o(tk)\psi_{X}(t) = 1+i t \mathbb {E}\left[X\right]+\frac{(i t)^{2}}{2 !} \mathbb {E}\left[X^{2}\right]+\ldots +\frac{(i t)^{k}}{k !} \mathbb {E}\left[X^{k}\right]+o\left(t^{k}\right) при tt вблизи 0.