I.3

Теорема Рисса о представлении

[6/0%]
LaTeX
Задача I.3.1

Докажите предложение 3.3: если LL — ограниченный линейный функционал на гильбертовом пространстве H\mathcal{H}, то

L=sup{L(h):h=1}=sup{L(h)/h:hH,h0}=inf{c>0:L(h)ch,h в H}. \left\| L\right\| = \sup \left\{ \left|L(h)\right| : \left\| h\right\| = 1\right\} = \sup \left\{ \left|L(h)\right|/\left\| h\right\| : h \in \mathcal{H}, \, h \neq 0\right\} = \inf \left\{ c > 0 : \left|L(h)\right| \leq c\left\| h\right\| , \, h \text{ в } \mathcal{H}\right\} .

Также L(h)Lh\left|L(h)\right| \leq \left\| L\right\| \left\| h\right\| для каждого hh из H\mathcal{H}.

?
Задача I.3.2

Пусть H=l2(N)\mathcal{H} = l^2(\mathbb {N}). Если N1N \geq 1 и L:HFL : \mathcal{H} \to \mathbb {F} определено формулой L({αn})=αNL(\left\{ \alpha_n\right\} ) = \alpha_N, найдите вектор h0h_0 в H\mathcal{H} такой, что L(h)=h,h0L(h) = \left\langle h, h_0 \right\rangle для каждого hh из H\mathcal{H}.

?
Задача I.3.3

Пусть H=l2(N{0})\mathcal{H} = l^2(\mathbb {N} \cup \left\{ 0\right\} ).

?
(a)

Покажите, что если {αn}H\left\{ \alpha_n\right\} \in \mathcal{H}, то степенной ряд n=0αnzn\sum_{n=0}^{\infty } \alpha_n z^n имеет радиус сходимости 1\geq 1.

(b)

Если λ<1\left|\lambda \right| < 1 и L:HFL : \mathcal{H} \to \mathbb {F} определено формулой L({αn})=n=0αnλnL(\left\{ \alpha_n\right\} ) = \sum_{n=0}^{\infty } \alpha_n \lambda^n, найдите вектор h0h_0 в H\mathcal{H} такой, что L(h)=h,h0L(h) = \left\langle h, h_0 \right\rangle для каждого hh из H\mathcal{H}.

(c)

Чему равна норма линейного функционала LL, определённого в (b)?

Задача I.3.4

С обозначениями предыдущей задачи определим L:HFL : \mathcal{H} \to \mathbb {F} формулой L({αn})=n=1nαnλn1L(\left\{ \alpha_n\right\} ) = \sum_{n=1}^{\infty } n \alpha_n \lambda^{n-1}, где λ<1\left|\lambda \right| < 1. Найдите вектор h0h_0 в H\mathcal{H} такой, что L(h)=h,h0L(h) = \left\langle h, h_0 \right\rangle для каждого hh из H\mathcal{H}.

?
Задача I.3.5

Пусть H\mathcal{H} — гильбертово пространство, описанное в примере 1.8 (совокупность всех абсолютно непрерывных функций f:[0,1]Ff : [0,1] \to \mathbb {F} с f(0)=0f(0) = 0 и fL2(0,1)f' \in L^2(0,1), со скалярным произведением f,g=01f(t)g(t)dt\left\langle f, g \right\rangle = \int_0^1 f'(t)\overline{g'(t)} \, dt). Если 0<t10 < t \leq 1, определим L:HFL : \mathcal{H} \to \mathbb {F} формулой L(h)=h(t)L(h) = h(t). Покажите, что LL — ограниченный линейный функционал, найдите L\left\| L\right\| и найдите вектор h0h_0 в H\mathcal{H} такой, что L(h)=h,h0L(h) = \left\langle h, h_0 \right\rangle для всех hh из H\mathcal{H}.

?
Задача I.3.6

Пусть H=L2(0,1)\mathcal{H} = L^2(0,1), и пусть C(1)C^{(1)} — множество всех непрерывных функций на [0,1][0,1], имеющих непрерывную производную. Пусть t[0,1]t \in [0,1]; определим L:C(1)FL : C^{(1)} \to \mathbb {F} формулой L(h)=h(t)L(h) = h'(t). Покажите, что не существует ограниченного линейного функционала на H\mathcal{H}, совпадающего с LL на C(1)C^{(1)}.

?