6.1

Определения и основные примеры операторов

[41/59%]
Показать
LaTeX
Задача 6.1

Пусть XX и YY — нормированные пространства, TL(X,Y)T \in \mathcal{L}(X, Y). Доказать что следующие условия эквивалентны:

  1. TT непрерывен в каждой точке пространства XX;

  2. TT непрерывен в нуле;

  3. TT ограничен;

  4. TT равномерно непрерывен на XX (см. определение 1.22).

?
Задача 6.2

Пусть A:C[0,1]C[0,1]A: C[0,1] \rightarrow C[0,1] — положительный линейный оператор, т.е. (Ax)(t)0(A x)(t) \geqslant 0 для всякой неотрицательной функции xC[0,1]x \in C[0,1] и всякого t[0,1]t \in [0,1]. Доказать, что AA непрерывен и A=A(x0(t)1)\left\| A\right\| = \left\| A\left(x_{0}(t) \equiv 1\right)\right\|. (Ср. с задачей 5.54.)

?
Задача 6.3

Доказать, что в гильбертовом пространстве HH норму произвольного ограниченного оператора TB(H)T \in \mathcal{B}(H) можно найти по формуле T=supx=y=1(Tx,y)\left\| T\right\| = \sup_{\left\| x\right\| = \left\| y\right\| = 1}\left|(T x, y)\right|.

?
Задача 6.4

Пусть XX и YY — линейные пространства, X1=(X,X1)X_{1} = \left(X,\left\| \cdot \right\|_{X_{1}}\right), X2=(X,X2),Y1=(Y,Y1)X_{2} = \left(X,\left\| \cdot \right\|_{X_{2}}\right), Y_{1} = \left(Y,\left\| \cdot \right\|_{Y_{1}}\right), а Y2=(Y,Y2)Y_{2} = \left(Y,\left\| \cdot \right\|_{Y_{2}}\right), причём X1X2\left\| \cdot \right\|_{X_{1}} \sim \left\| \cdot \right\|_{X_{2}}, а Y1Y2\left\| \cdot \right\|_{Y_{1}} \sim \left\| \cdot \right\|_{Y_{2}}. Доказать, что

B(X1,Y1)=B(X1,Y2)=B(X2,Y1)=B(X2,Y2) \mathcal{B}\left(X_{1}, Y_{1}\right) = \mathcal{B}\left(X_{1}, Y_{2}\right) = \mathcal{B}\left(X_{2}, Y_{1}\right) = \mathcal{B}\left(X_{2}, Y_{2}\right)

Что можно утверждать, если X1X2\left\| \cdot \right\|_{X_{1}} \prec \left\| \cdot \right\|_{X_{2}}, а Y1Y2\left\| \cdot \right\|_{Y_{1}} \prec \left\| \cdot \right\|_{Y_{2}}? \downarrow

?
Задача 6.5

Пусть XX и YY — банаховы пространства, X0X_{0} — всюду плотное в XX подпространство и AB(X0,Y)A \in \mathcal{B}\left(X_{0}, Y\right). Доказать, что существует единственный линейный ограниченный оператор A~B(X,Y)\tilde{A} \in B(X, Y), совпадающий с оператором AA на X0X_{0}. Доказать, что A~B(X,Y)=AB(X0,Y)\left\| \tilde{A}\right\|_{\mathcal{B}(X, Y)} = \left\| A\right\|_{\mathcal{B}\left(X_{0}, Y\right)}.

?
Задача 6.6

Доказать ограниченность и найти норму следующих операторов вложения:

?
(а)

J:c0cJ: c_{0} \rightarrow c;

(б)

J:clJ: c \rightarrow l_{\infty };

(в)

J:lplq,1p<qJ: l_{p} \rightarrow l_{q}, 1 \leqslant p < q \leqslant \infty;

(г)

J:C[0,1]L[0,1]J: C[0,1] \rightarrow L_{\infty }[0,1];

(д)

J:Lp[0,1]Lq[0,1],1q<pJ: L_{p}[0,1] \rightarrow L_{q}[0,1], 1 \leqslant q < p \leqslant \infty;

(е)

J:C1[0,1]C[0,1]J: C^{1}[0,1] \rightarrow C[0,1];1

Footnotes

  1. В пространстве C1[0,1]C^{1}[0,1] рассмотреть четыре эквивалентные нормы: x1=maxt[0,1]x(t)+maxt[0,1]x(t),x2=max{maxt[0,1]x(t),maxt[0,1]x(t)},x3=x(0)+maxt[0,1]x(t),x4=max{x(0),maxt[0,1]x(t)}\left\| x\right\|_{1} = \max_{t \in [0,1]}|x(t)|+\max_{t \in [0,1]}\left|x^{\prime }(t)\right|,\left\| x\right\|_{2} = \max \left\{ \max_{t \in [0,1]}|x(t)|, \max_{t \in [0,1]}\left|x^{\prime }(t)\right|\right\} ,\left\| x\right\|_{3} = |x(0)| + \max_{t \in [0,1]}\left|x^{\prime }(t)\right|,\left\| x\right\|_{4} = \max \left\{ |x(0)|, \max_{t \in [0,1]}\left|x^{\prime }(t)\right|\right\}.

(ж)
  • J:W21[0,1]C[0,1]J: W_{2}^{1}[0,1] \rightarrow C[0,1];
(з)

J:W21[0,1]L2[0,1]J: W_{2}^{1}[0,1] \rightarrow L_{2}[0,1];

(и)

J:(C1[0,1],2)(C1[0,1],1)J:\left(C^{1}[0,1],\left\| \cdot \right\|_{2}\right) \rightarrow \left(C^{1}[0,1],\left\| \cdot \right\|_{1}\right).

Задача 6.7

Пусть XX и YY — нормированные пространства, AB(X,Y)A \in \mathcal{B}(X, Y). Доказать, что KerA\operatorname {Ker} A — замкнутое подпространство пространства XX. Привести пример, показывающий, что ImA\operatorname {Im} A не обязан быть замкнутым подпространством в YY.

?
Задача 6.8

Доказать, что линейный оператор PP в нормированном пространстве XX является оператором проектирования тогда и только тогда, когда P2=PP^{2} = P.

?
Задача 6.9

Пусть XX — нормированное пространство, X0X_{0} и X1X_{1} — линейные подпространства в нём, причём XX является линейной прямой суммой X0X_{0} и X1X_{1}. Пусть PP — оператор проектирования на X0X_{0} вдоль X1X_{1}. Доказать, что оператор PP ограничен тогда и только тогда, когда прямая сумма X0X_{0} и X1X_{1} является топологической прямой суммой (см. определение 2.21). Доказать, что если хотя бы одно из подпространств X0X_{0} или X1X_{1} конечномерно, то PP ограничен.

?
Задача 6.10

В пространстве C[1,1]C[-1,1] рассмотрим оператор

(Px)(t)=12(x(t)+x(t)) (P x)(t) = \frac{1}{2}(x(t)+x(-t))

Доказать, что этот оператор — ограниченный проектор. Найти его образ, ядро и норму.

?
Задача 6.11

Пусть линейное подпространство X0X_{0} в нормированном пространстве XX дополняемо. Доказать, что тогда само подпространство X0X_{0} и дополняющее его подпространство X1X_{1} замкнуты.

?
Задача 6.12

Существует ли в пространстве C[0,1]C[0,1] ограниченный оператор проектирования

?
(а)

на подпространство Pn[0,1]\mathcal{P}_{n}[0,1];

(б)

на подпространство P[0,1]\mathcal{P}[0,1]?

Задача 6.13

Пусть X0X_{0} — конечномерное подпространство в нормированном пространстве XX. Доказать, что X0X_{0} дополняемо.

?
Задача 6.14

Пусть X0X_{0} — замкнутое подпространство конечной коразмерности в нормированном пространстве XX. Доказать, что X0X_{0} дополняемо.

?
Задача 6.15

Пусть XX и YY — нормированные пространства. Доказать, что оператор AB(X,Y)A \in \mathcal{B}(X, Y) является оператором конечного ранга тогда и только тогда, когда он допускает следующее представление: Ax=k=1nfk(x)ykA x = \sum_{k = 1}^{n} f_{k}(x) y_{k}, где fkXf_{k} \in X^{*}, а ykYy_{k} \in Y. Доказать, что если XX и YY гильбертовы пространства, то оператор AB(X,Y)A \in \mathcal{B}(X, Y) является оператором конечного ранга тогда и только тогда, когда он допускает представление Ax=k=1nsk(x,ψk)φkA x = \sum_{k = 1}^{n} s_{k}\left(x, \psi_{k}\right) \varphi_{k}, где {ψk}1n\left\{ \psi_{k}\right\}_{1}^{n} — ортонормированная система в X,{φk}1nX,\left\{ \varphi_{k}\right\}_{1}^{n} — ортонормированная система в YY, а skCs_{k} \in \mathbb {C} (ср. с задачей 12.79).

?
Задача 6.16

Найти норму, образ и ядро оператора AB(X,Y),Ax=f(x)yA \in \mathcal{B}(X, Y), A x = f(x) y, где fXf \in X^{*} — фиксированный ненулевой функционал, а yYy \in Y — фиксированный ненулевой вектор.

?
Задача 6.17

Доказать, что следующие операторы являются операторами конечного ранга:

?
(а)

AB(c),A(x1,x2,)=(y1,y2,)A \in \mathcal{B}(c), A\left(x_{1}, x_{2}, \ldots \right) = \left(y_{1}, y_{2}, \ldots \right), где yn=1nk=1xkk2y_{n} = \frac{1}{n} \sum_{k = 1}^{\infty } \frac{x_{k}}{k^{2}};

(б)

AB(C[0,π]),(Ax)(t)=0πsin(t+s)x(s)dsA \in \mathcal{B}(C[0, \pi ]),(A x)(t) = \int_{0}^{\pi } \sin (t+s) x(s) d s;

(в)

AB(L2[0,1]),(Ax)(t)=01(1+s+t+2st+2t2+2s2)x(s)dsA \in \mathcal{B}\left(L_{2}[0,1]\right),(A x)(t) = \int_{0}^{1}\left(1+s+t+2 s t+2 t^{2}+2 s^{2}\right) x(s) d s. Найти их образ и ядро. Оценить норму.

Задача 6.18

Найти точное значение нормы оператора AA из примера 6.2.

?
Задача 6.19

Доказать, что оператор A(x1,x2,)=(λ1x1,λ2x2,)A\left(x_{1}, x_{2}, \ldots \right) = \left(\lambda_{1} x_{1}, \lambda_{2} x_{2}, \ldots \right) ограничен в пространстве VV тогда и только тогда, когда {λn}1l\left\{ \lambda_{n}\right\}_{1}^{\infty } \in l_{\infty }. Найти его норму и ядро в каждом из пространств в зависимости от последовательности {λn}1\left\{ \lambda_{n}\right\}_{1}^{\infty }.

?
(а)

V=lp,p[1,)V = l_{p}, p \in [1, \infty );

(б)

V=c0V = c_{0};

(в)

V=lV = l_{\infty }

Задача 6.20

Найти норму оператора

AB(L2[π,π]),(Ax)(t)=ππnZ2nein(ts)x(s)ds A \in \mathcal{B}\left(L_{2}[-\pi , \pi ]\right), \quad (A x)(t) = \int _{-\pi }^{\pi } \sum _{n \in \mathbb {Z}} 2^{-\left|n\right|} e^{i n(t-s)} x(s) d s
?
Задача 6.21

Доказать, что оператор из задачи 6.19 сюръективен в каждом из пространств а)-в) тогда и только тогда, когда infn1λn>0\inf_{n \geqslant 1}\left|\lambda_{n}\right| > 0. В случаях

?
(а)

и

(б)

доказать, что его образ всюду плотен в соответствующем пространстве тогда и только тогда, когда все числа λn\lambda_{n} отличны от нуля. В случае

(в)

доказать, что его образ всюду плотен в соответствующем пространстве тогда и только тогда, когда infn1λn>0\inf_{n \geqslant 1}\left|\lambda_{n}\right| > 0.

Задача 6.22

Доказать, что оператор из задачи 6.19 является оператором проектирования в каждом из пространств а)-в) тогда и только тогда, когда λn{0,1}\lambda_{n} \in \left\{ 0,1\right\} для любого nNn \in \mathbb {N}.

?
Задача 6.23

Доказать, что операторы правого и левого сдвига

Tr:(x1,x2,)(0,x1,x2,),Tl(x1,x2,)(x2,x3,) T_{r}:\left(x_{1}, x_{2}, \ldots \right) \mapsto \left(0, x_{1}, x_{2}, \ldots \right), \quad T_{l}\left(x_{1}, x_{2}, \ldots \right) \mapsto \left(x_{2}, x_{3}, \ldots \right)

ограничены в пространствах lp,p[1,]l_{p}, p \in [1, \infty ], с и c0c_{0}. Найти норму, образ и ядро этих операторов в каждом из пространств.

?
Задача 6.24

Доказать, что оператор умножения на непрерывную функцию a(t)a(t) ограничен в пространстве

?
(а)

L[0,1]L_{\infty }[0,1];

(б)

C[0,1]C[0,1]. Найти его норму и ядро в каждом из пространств. При каких условиях на aa оператор AA инъективен?

Задача 6.25

Доказать, что оператор умножения на измеримую функцию a(t)a(t) ограничен в пространствах Lp[0,1],p[1,]L_{p}[0,1], p \in [1, \infty ], тогда и только тогда, когда aL[0,1]a \in L_{\infty }[0,1]. Найти его норму и ядро в каждом из пространств.

?
Задача 6.26

Пусть AA — оператор умножения на непрерывную функцию a(t)a(t), действующий в пространстве C[0,1]C[0,1]. Доказать, что если функция aa не обращается в ноль на отрезке [0,1][0,1], то оператор AA сюръективен, а если aa имеет нули, то оператор AA не сюръективен и, более того, замыкание его образа не совпадает с пространством C[0,1]C[0,1].

?
Задача 6.27

Пусть AA — оператор умножения на функцию aL[0,1]a \in L_{\infty }[0,1], действующий в пространстве Lp[0,1]L_{p}[0,1], где p[1,)p \in [1, \infty ). Доказать, что если essinft[0,1]a(t)>0\underset {t \in [0,1]}{\operatorname {ess} \inf }\left|a(t)\right| > 0, то оператор AA сюръективен. 1 Доказать, что если essinft[0,1]a(t)=0\underset {t \in [0,1]}{\operatorname {ess} \inf }\left|a(t)\right| = 0, но μ({t[0,1]:a(t)=0})=0\mu (\left\{ t \in [0,1]: a(t) = 0\right\} ) = 0, то оператор AA не сюръективен, но его образ всюду плотен в Lp[0,1]L_{p}[0,1]. Доказать, что если μ({t[0,1]:a(t)=0})>0\mu (\left\{ t \in [0,1]: a(t) = 0\right\} ) > 0, то ImALp[0,1]\overline{\operatorname {Im} A} \neq L_{p}[0,1].

Footnotes

  1. Здесь essinft[0,1]f(t):=esssupt[0,1](f(t))\underset {t \in [0,1]}{\operatorname {ess} \inf } f(t) : = - \underset {t \in [0,1]}{\operatorname {ess} \sup }(-f(t))

?
Задача 6.28

Пусть оператор умножения на независимую переменную (Ax)(t)=tx(t)(A x)(t) = t x(t) действует в пространстве

?
(а)

C[0,1]C[0,1];

(б)

Lp[0,1],p[1,]L_{p}[0,1], p \in [1, \infty ];

(в)
  • W21[0,1]W_{2}^{1}[0,1].

Найти норму и ядро этого оператора. Выяснить, сюръективен ли оператор и совпадает ли замыкание образа со всем пространством. \downarrow

Задача 6.29

Доказать, что оператор интегрирования (Ax)(t)=0tx(s)ds(A x)(t) = \int_{0}^{t} x(s) d s ограничен

?
(а)

в Cn[0,1],n=0,1,2,C^{n}[0,1], n = 0,1,2, \ldots;

(б)

в Lp[0,1],p[1,];L_{p}[0,1], p \in [1, \infty ] ;

(в)

как оператор из Cn[0,1]C^{n}[0,1] в Cn+1[0,1],n=0,1,C^{n+1}[0,1], n = 0,1, \ldots

Найти его образ и ядро в каждом из пространств. Найти его норму (в пунктах а) и в) считать, что пространство Cn[0,1]C^{n}[0,1] снабжено нормой x1=k=0nx(k)C[0,1]\left\| x\right\|_{1} = \sum_{k = 0}^{n}\left\| x^{(k)}\right\|_{C[0,1]}, а в пункте б) ограничиться случаем p=1p = 1). Доказать, что (Anx)(t)=0t(ts)n1(n1)!x(s)ds,n=1,2,3,\left(A^{n} x\right)(t) = \int_{0}^{t} \frac{(t-s)^{n-1}}{(n-1)!} x(s) d s, n = 1,2,3, \ldots

Задача 6.30

Доказать, что оператор дифференцирования Ax=xA x = x^{\prime } ограничен как оператор

?
(а)

из Cn[0,1]C^{n}[0,1] в Cn1[0,1],n=1,2,;C^{n-1}[0,1], n = 1,2, \ldots ;

(б)

из W21[0,1]W_{2}^{1}[0,1] в L2[0,1]L_{2}[0,1].

Найти его образ, ядро и норму (в пункте а) считать, что пространство Cn[0,1]C^{n}[0,1] снабжено нормой x1=k=0nx(k)C[0,1]\left\| x\right\|_{1} = \sum_{k = 0}^{n}\left\| x^{(k)}\right\|_{C[0,1]}).

Задача 6.31

Доказать, что не существует нормированного пространства, содержащего целые функции1, на котором оператор дифференцирования непрерывен.

Footnotes

  1. Т. е. функции f:CCf: \mathbb {C} \rightarrow \mathbb {C}, голоморфные во всей комплексной плоскости.

?
Задача 6.32

Доказать, что оператор (AKx)(t)=abK(t,s)x(s)ds\left(A_{K} x\right)(t) = \int_{a}^{b} K(t, s) x(s) d s, K(t,s)C([a,b]2)K(t, s) \in C\left([a, b]^{2}\right), ограничен

?
(а)

в C[a,b]C[a, b];

(б)

в L1[a,b]L_{1}[a, b];

(в)

как оператор из L1[a,b]L_{1}[a, b] в C[a,b]C[a, b]. Найти его норму.

Задача 6.33

Рассмотрим интегральный оператор Харди

(Ax)(t)=1t0tx(s)ds (A x)(t) = \frac{1}{t} \int _{0}^{t} x(s) d s
?
(а)

Доказать, что этот оператор ограничен в пространстве Lp[0,1]L_{p}[0,1] при p(1,)p \in (1, \infty ) и не ограничен в L1[0,1]L_{1}[0,1].

(б)
  • Доказать, что для каждого p(1,)AB(Lp[0,1])=pp1p \in (1, \infty )\left\| A\right\|_{\mathcal{B}\left(L_{p}[0,1]\right)} = \frac{p}{p-1}.
(в)

Доказать, что оператор AA переводит непрерывные функции в непрерывные и AB(C[0,1])=1\left\| A\right\|_{\mathcal{B}(C[0,1])} = 1 (при этом полагаем (Ax)(0):=x(0)(A x)(0): = x(0)).

Задача 6.34

При каких вещественных rr оператор Харди (6.4) ограничен в пространстве L2[0,1]L_{2}[0,1]?

?
Задача 6.35

При каких вещественных rr оператор Римана-Лиувилля (6.3) ограничен в пространстве L2[0,1]L_{2}[0,1]?

?
Задача 6.36

Пусть функция K(t,s)K(t, s), определенная при t,s[0,+)t, s \in [0,+\infty ), неотрицательна и однородна со степенью однородности -1 (т.е. K(λt,λs)=λ1K(t,s)K(\lambda t, \lambda s) = \lambda^{-1} K(t, s) для любого λ>0\lambda > 0). Пусть p>1,1/p+1/q=1p > 1,1 / p+1 / q = 1 и

0K(t,1)t1/pdt=0K(1,s)s1/qds=:k< \int _{0}^{\infty } K(t, 1) t^{-1 / p} d t = \int _{0}^{\infty } K(1, s) s^{-1 / q} d s = : k < \infty

Доказать, что интегральный оператор A:x(t)0K(t,s)x(s)dsA: x(t) \mapsto \int_{0}^{\infty } K(t, s) x(s) d s ограничен в пространстве Lp[0,)L_{p}[0, \infty ) и Ak\left\| A\right\| \leqslant k.

?
Задача 6.37

Доказать, что оператор (Ax)(t)=0x(s)etsds(A x)(t) = \int_{0}^{\infty } x(s) e^{-t s} d s ограничен в пространстве L2[0,)L_{2}[0, \infty ), и оценить его норму.

?
Задача 6.38

Пусть aC[1,1]a \in C[-1,1]. Доказать, что оператор свёртки A:x01x(s)a(ts)dsA: x \mapsto \int_{0}^{1} x(s) a(t-s) d s ограничен в пространстве C[0,1]C[0,1], и найти его норму.

?
Задача 6.39

Доказать, что оператор сдвига (Ax)(t)=x(t+a)(A x)(t) = x(t+a) ограничен как оператор в пространстве

?
(а)

C0(R)C_{0}(\mathbb {R});

(б)

Lp(R),p[1,]L_{p}(\mathbb {R}), p \in [1, \infty ]. Найти его норму, образ и ядро в каждом из пространств.

Задача 6.40

Найти норму, образ и ядро оператора следа:

?
(а)

A:C[1,1]C[0,1]A: C[-1,1] \rightarrow C[0,1];

(б)

A:BC(R)L2[0,1]A: B C(\mathbb {R}) \rightarrow L_{2}[0,1];

(в)

A:C(D)C(T)A: C(\mathbb {D}) \rightarrow C(\mathbb {T}), где D={zC:z1}\mathbb {D} = \left\{ z \in \mathbb {C}:\left|z\right| \leqslant 1\right\}, а T={zC:z=1}\mathbb {T} = \left\{ z \in \mathbb {C}:\left|z\right| = 1\right\}.

Задача 6.41

Найти норму и ядро оператора A:C[0,1]C[0,1],(Ax)(t)=(xφ)(t)=x(φ(t))A: C[0,1] \rightarrow C[0,1],(A x)(t) = (x \circ \varphi )(t) = x(\varphi (t)), где φ\varphi — фиксированная непрерывная функция, отображающая отрезок [0,1][0,1] в себя. Доказать, что оператор AA сюръективен тогда и только тогда, когда отображение φ\varphi инъективно. \downarrow

?