Chapter 6

Linear operators

[100/46%]
Show
LaTeX
Problem 6.1

Let XX and YY be normed spaces, T∈L(X,Y)T \in \mathcal{L}(X, Y). Prove that the following conditions are equivalent:

  1. TT is continuous at every point of the space XX;

  2. TT is continuous at zero;

  3. TT is bounded;

  4. TT is uniformly continuous on XX (see Definition 1.22).

Definition 1.22: A mapping f:X→Yf: X \rightarrow Y of a metric space (X,ρ)(X, \rho ) into a metric space (Y,d)(Y, d) is called uniformly continuous if for every ε>0\varepsilon > 0 there exists δ>0\delta > 0 such that for every pair of points x1,x2∈Xx_{1}, x_{2} \in X with ρ(x1,x2)<δ\rho \left(x_{1}, x_{2}\right) < \delta one has d(f(x1),f(x2))<εd\left(f\left(x_{1}\right), f\left(x_{2}\right)\right) < \varepsilon.

?
Problem 6.2

Let A:C[0,1]→C[0,1]A: C[0,1] \rightarrow C[0,1] be a positive linear operator, i.e., (Ax)(t)⩾0(A x)(t) \geqslant 0 for every nonnegative function x∈C[0,1]x \in C[0,1] and every t∈[0,1]t \in [0,1]. Prove that AA is continuous and ∥A∥=∥A(x0(t)≡1)∥\left\| A\right\| = \left\| A\left(x_{0}(t) \equiv 1\right)\right\|. (Cf. problem 5.54.)

?
Problem 6.3

Prove that in a Hilbert space HH the norm of an arbitrary bounded operator T∈B(H)T \in \mathcal{B}(H) can be found by the formula ∥T∥=sup⁡∥x∥=∥y∥=1∣(Tx,y)∣\left\| T\right\| = \sup_{\left\| x\right\| = \left\| y\right\| = 1}\left|(T x, y)\right|.

?
Problem 6.4

Let XX and YY be linear spaces, 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), and Y2=(Y,∥⋅∥Y2)Y_{2} = \left(Y,\left\| \cdot \right\|_{Y_{2}}\right), where ∥⋅∥X1∼∥⋅∥X2\left\| \cdot \right\|_{X_{1}} \sim \left\| \cdot \right\|_{X_{2}}, and ∥⋅∥Y1∼∥⋅∥Y2\left\| \cdot \right\|_{Y_{1}} \sim \left\| \cdot \right\|_{Y_{2}}. Prove that

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)

What can be asserted if ∥⋅∥X1≺∥⋅∥X2\left\| \cdot \right\|_{X_{1}} \prec \left\| \cdot \right\|_{X_{2}}, and ∥⋅∥Y1≺∥⋅∥Y2\left\| \cdot \right\|_{Y_{1}} \prec \left\| \cdot \right\|_{Y_{2}}?

?
Problem 6.5

Let XX and YY be Banach spaces, X0X_{0} an everywhere dense subspace of XX, and A∈B(X0,Y)A \in \mathcal{B}\left(X_{0}, Y\right). Prove that there exists a unique bounded linear operator A~∈B(X,Y)\tilde{A} \in B(X, Y) that coincides with the operator AA on X0X_{0}. Prove that ∥A~∥B(X,Y)=∥A∥B(X0,Y)\left\| \tilde{A}\right\|_{\mathcal{B}(X, Y)} = \left\| A\right\|_{\mathcal{B}\left(X_{0}, Y\right)}.

?
Problem 6.6

Prove the boundedness and find the norm of the following embedding operators:

?
(a)

J:c0→cJ: c_{0} \rightarrow c;

(b)

J:c→l∞J: c \rightarrow l_{\infty };

(c)

J:lp→lq,1⩽p<q⩽∞J: l_{p} \rightarrow l_{q}, 1 \leqslant p < q \leqslant \infty;

(d)

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

(e)

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

(f)

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

Footnotes

  1. In the space C1[0,1]C^{1}[0,1] consider four equivalent norms: ∥x∥1=max⁡t∈[0,1]∣x(t)∣+max⁡t∈[0,1]∣x′(t)∣,∥x∥2=max⁡{max⁡t∈[0,1]∣x(t)∣,max⁡t∈[0,1]∣x′(t)∣},∥x∥3=∣x(0)∣+max⁡t∈[0,1]∣x′(t)∣,∥x∥4=max⁡{∣x(0)∣,max⁡t∈[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\}. ↩

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

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

(i)

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).

Problem 6.7

Let XX and YY be normed spaces, A∈B(X,Y)A \in \mathcal{B}(X, Y). Prove that Ker⁡A\operatorname {Ker} A is a closed subspace of the space XX. Give an example showing that Im⁡A\operatorname {Im} A need not be a closed subspace of YY.

?
Problem 6.8

Prove that a linear operator PP in a normed space XX is a projection operator if and only if P2=PP^{2} = P.

?
Problem 6.9

Let XX be a normed space, X0X_{0} and X1X_{1} linear subspaces of it, such that XX is the linear direct sum of X0X_{0} and X1X_{1}. Let PP be the projection operator onto X0X_{0} along X1X_{1}. Prove that the operator PP is bounded if and only if the direct sum of X0X_{0} and X1X_{1} is a topological direct sum (see Definition 2.21). Prove that if at least one of the subspaces X0X_{0} or X1X_{1} is finite-dimensional, then PP is bounded.

Definition 2.21: Let XX be a normed space and X1X_{1}, X2X_{2} two linear subspaces of XX with X1∩X2={0}X_{1} \cap X_{2} = \left\{ 0\right\}. The linear direct sum of these subspaces is called a topological direct sum if there exist constants C1C_{1} and C2C_{2} such that for every x=x1+x2x = x_{1}+x_{2}, x1∈X1x_{1} \in X_{1}, x2∈X2x_{2} \in X_{2}, one has ∥x1∥⩽C1∥x∥\left\| x_{1}\right\| \leqslant C_{1}\left\| x\right\|, ∥x2∥⩽C2∥x∥\left\| x_{2}\right\| \leqslant C_{2}\left\| x\right\|.

?
Problem 6.10

In the space C[−1,1]C[-1,1] consider the operator

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

Prove that this operator is a bounded projector. Find its image, kernel, and norm.

?
Problem 6.11

Let a linear subspace X0X_{0} of a normed space XX be complemented. Prove that then the subspace X0X_{0} itself and the complementary subspace X1X_{1} are closed.

?
Problem 6.12

Does there exist in the space C[0,1]C[0,1] a bounded projection operator

?
(a)

onto the subspace Pn[0,1]\mathcal{P}_{n}[0,1];

(b)

onto the subspace P[0,1]\mathcal{P}[0,1]?

Problem 6.13

Let X0X_{0} be a finite-dimensional subspace of a normed space XX. Prove that X0X_{0} is complemented.

?
Problem 6.14

Let X0X_{0} be a closed subspace of finite codimension in a normed space XX. Prove that X0X_{0} is complemented.

?
Problem 6.15

Let XX and YY be normed spaces. Prove that an operator A∈B(X,Y)A \in \mathcal{B}(X, Y) is a finite-rank operator if and only if it admits the following representation: Ax=∑k=1nfk(x)ykA x = \sum_{k = 1}^{n} f_{k}(x) y_{k}, where fk∈X∗f_{k} \in X^{*}, and yk∈Yy_{k} \in Y. Prove that if XX and YY are Hilbert spaces, then an operator A∈B(X,Y)A \in \mathcal{B}(X, Y) is a finite-rank operator if and only if it admits the representation Ax=∑k=1nsk(x,ψk)φkA x = \sum_{k = 1}^{n} s_{k}\left(x, \psi_{k}\right) \varphi_{k}, where {ψk}1n\left\{ \psi_{k}\right\}_{1}^{n} is an orthonormal system in X,{φk}1nX,\left\{ \varphi_{k}\right\}_{1}^{n} is an orthonormal system in YY, and sk∈Cs_{k} \in \mathbb {C} (compare with problem 12.79).

?
Problem 6.16

Find the norm, image, and kernel of the operator A∈B(X,Y),Ax=f(x)yA \in \mathcal{B}(X, Y), A x = f(x) y, where f∈X∗f \in X^{*} is a fixed nonzero functional, and y∈Yy \in Y is a fixed nonzero vector.

?
Problem 6.17

Prove that the following operators are finite-rank operators:

?
(a)

A∈B(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), where yn=1n∑k=1∞xkk2y_{n} = \frac{1}{n} \sum_{k = 1}^{\infty } \frac{x_{k}}{k^{2}};

(b)

A∈B(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;

(c)

A∈B(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. Find their image and kernel. Estimate the norm.

Problem 6.18

Find the exact value of the norm of the operator AA from Example 6.2.

Example 6.2: the operator AA on L2[−1,1]L_{2}[-1,1] is given by (Ax)(t)=∫−11(1+ts)x(s) ds(A x)(t) = \int_{-1}^{1}(1+t s) x(s) \, d s; it is a finite-rank operator with Im⁡A=Lin⁡(1,t)\operatorname {Im} A = \operatorname {Lin}(1, t) and ∥A∥⩽403\left\| A\right\| \leqslant \frac{\sqrt{40}}{3}.

?
Problem 6.19

Prove that the operator A(x1,x2,…)=(λ1x1,λ2x2,…)A\left(x_{1}, x_{2}, \ldots \right) = \left(\lambda_{1} x_{1}, \lambda_{2} x_{2}, \ldots \right) is bounded in the space VV if and only if {λn}1∞∈l∞\left\{ \lambda_{n}\right\}_{1}^{\infty } \in l_{\infty }. Find its norm and kernel in each of the spaces, depending on the sequence {λn}1∞\left\{ \lambda_{n}\right\}_{1}^{\infty }.

?
(a)

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

(b)

V=c0V = c_{0};

(c)

V=l∞V = l_{\infty }

Problem 6.20

Find the norm of the operator

A∈B(L2[−π,π]),(Ax)(t)=∫−ππ∑n∈Z2−∣n∣ein(t−s)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
?
Problem 6.21

Prove that the operator from problem 6.19 is surjective in each of the spaces а)-в) if and only if inf⁡n⩾1∣λn∣>0\inf_{n \geqslant 1}\left|\lambda_{n}\right| > 0. In cases

?
(a)

and

(b)

prove that its image is everywhere dense in the corresponding space if and only if all the numbers λn\lambda_{n} are nonzero. In case

(c)

prove that its image is everywhere dense in the corresponding space if and only if inf⁡n⩾1∣λn∣>0\inf_{n \geqslant 1}\left|\lambda_{n}\right| > 0.

Problem 6.22

Prove that the operator from problem 6.19 is a projection operator in each of the spaces а)-в) if and only if λn∈{0,1}\lambda_{n} \in \left\{ 0,1\right\} for every n∈Nn \in \mathbb {N}.

?
Problem 6.23

Prove that the operators of right and left shift

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)

are bounded in the spaces lp,p∈[1,∞]l_{p}, p \in [1, \infty ], c, and c0c_{0}. Find the norm, image, and kernel of these operators in each of the spaces.

?
Problem 6.24

Prove that the operator of multiplication by a continuous function a(t)a(t) is bounded in the space

?
(a)

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

(b)

C[0,1]C[0,1]. Find its norm and kernel in each of the spaces. Under what conditions on aa is the operator AA injective?

Problem 6.25

Prove that the operator of multiplication by a measurable function a(t)a(t) is bounded in the spaces Lp[0,1],p∈[1,∞]L_{p}[0,1], p \in [1, \infty ], if and only if a∈L∞[0,1]a \in L_{\infty }[0,1]. Find its norm and kernel in each of the spaces.

?
Problem 6.26

Let AA be the operator of multiplication by a continuous function a(t)a(t), acting in the space C[0,1]C[0,1]. Prove that if the function aa does not vanish on the interval [0,1][0,1], then the operator AA is surjective, while if aa has zeros, then the operator AA is not surjective and, moreover, the closure of its image does not coincide with the space C[0,1]C[0,1].

?
Problem 6.27

Let AA be the operator of multiplication by a function a∈L∞[0,1]a \in L_{\infty }[0,1], acting in the space Lp[0,1]L_{p}[0,1], where p∈[1,∞)p \in [1, \infty ). Prove that if ess⁡inf⁡t∈[0,1]∣a(t)∣>0\underset {t \in [0,1]}{\operatorname {ess} \inf }\left|a(t)\right| > 0, then the operator AA is surjective. 1 Prove that if ess⁡inf⁡t∈[0,1]∣a(t)∣=0\underset {t \in [0,1]}{\operatorname {ess} \inf }\left|a(t)\right| = 0, but μ({t∈[0,1]:a(t)=0})=0\mu (\left\{ t \in [0,1]: a(t) = 0\right\} ) = 0, then the operator AA is not surjective, but its image is everywhere dense in Lp[0,1]L_{p}[0,1]. Prove that if μ({t∈[0,1]:a(t)=0})>0\mu (\left\{ t \in [0,1]: a(t) = 0\right\} ) > 0, then Im⁡A‾≠Lp[0,1]\overline{\operatorname {Im} A} \neq L_{p}[0,1].

Footnotes

  1. Here ess⁡inf⁡t∈[0,1]f(t):=−ess⁡sup⁡t∈[0,1](−f(t))\underset {t \in [0,1]}{\operatorname {ess} \inf } f(t) : = - \underset {t \in [0,1]}{\operatorname {ess} \sup }(-f(t)) ↩

?
Problem 6.28

Let the operator of multiplication by the independent variable (Ax)(t)=tx(t)(A x)(t) = t x(t) act in the space

?
(a)

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

(b)

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

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

Find the norm and kernel of this operator. Determine whether the operator is surjective and whether the closure of its image coincides with the whole space.

Problem 6.29

Prove that the integration operator (Ax)(t)=∫0tx(s)ds(A x)(t) = \int_{0}^{t} x(s) d s is bounded

?
(a)

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

(b)

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

(c)

as an operator from Cn[0,1]C^{n}[0,1] to Cn+1[0,1],n=0,1,…C^{n+1}[0,1], n = 0,1, \ldots

Find its image and kernel in each of the spaces. Find its norm (in items а) and в) assume that the space Cn[0,1]C^{n}[0,1] is equipped with the norm ∥x∥1=∑k=0n∥x(k)∥C[0,1]\left\| x\right\|_{1} = \sum_{k = 0}^{n}\left\| x^{(k)}\right\|_{C[0,1]}, and in item б) restrict to the case p=1p = 1). Prove that (Anx)(t)=∫0t(t−s)n−1(n−1)!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

Problem 6.30

Prove that the differentiation operator Ax=x′A x = x^{\prime } is bounded as an operator

?
(a)

from Cn[0,1]C^{n}[0,1] to Cn−1[0,1],n=1,2,…;C^{n-1}[0,1], n = 1,2, \ldots ;

(b)

from W21[0,1]W_{2}^{1}[0,1] to L2[0,1]L_{2}[0,1].

Find its image, kernel, and norm (in item а) assume that the space Cn[0,1]C^{n}[0,1] is equipped with the norm ∥x∥1=∑k=0n∥x(k)∥C[0,1]\left\| x\right\|_{1} = \sum_{k = 0}^{n}\left\| x^{(k)}\right\|_{C[0,1]}).

Problem 6.31

Prove that there is no normed space containing entire functions1, on which the differentiation operator is continuous.

Footnotes

  1. That is, functions f:C→Cf: \mathbb {C} \rightarrow \mathbb {C} holomorphic in the whole complex plane. ↩

?
Problem 6.32

Prove that the operator (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), is bounded

?
(a)

in C[a,b]C[a, b];

(b)

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

(c)

as an operator from L1[a,b]L_{1}[a, b] to C[a,b]C[a, b]. Find its norm.

Problem 6.33

Consider the Hardy integral operator

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

Prove that this operator is bounded in the space Lp[0,1]L_{p}[0,1] for p∈(1,∞)p \in (1, \infty ) and is not bounded in L1[0,1]L_{1}[0,1].

(b)
  • Prove that for every p∈(1,∞)∥A∥B(Lp[0,1])=pp−1p \in (1, \infty )\left\| A\right\|_{\mathcal{B}\left(L_{p}[0,1]\right)} = \frac{p}{p-1}.
(c)

Prove that the operator AA maps continuous functions to continuous functions and ∥A∥B(C[0,1])=1\left\| A\right\|_{\mathcal{B}(C[0,1])} = 1 (here we set (Ax)(0):=x(0)(A x)(0): = x(0)).

Problem 6.34

For which real rr is the Hardy operator (6.4) bounded in the space L2[0,1]L_{2}[0,1]?

?
Problem 6.35

For which real rr is the Riemann-Liouville operator (6.3) bounded in the space L2[0,1]L_{2}[0,1]?

?
Problem 6.36

Let the function K(t,s)K(t, s), defined for t,s∈[0,+∞)t, s \in [0,+\infty ), be nonnegative and homogeneous of degree of homogeneity -1 (i.e., K(λt,λs)=λ−1K(t,s)K(\lambda t, \lambda s) = \lambda^{-1} K(t, s) for every λ>0\lambda > 0). Let p>1,1/p+1/q=1p > 1,1 / p+1 / q = 1 and

∫0∞K(t,1)t−1/pdt=∫0∞K(1,s)s−1/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

Prove that the integral operator A:x(t)↦∫0∞K(t,s)x(s)dsA: x(t) \mapsto \int_{0}^{\infty } K(t, s) x(s) d s is bounded in the space Lp[0,∞)L_{p}[0, \infty ) and ∥A∥⩽k\left\| A\right\| \leqslant k.

?
Problem 6.37

Prove that the operator (Ax)(t)=∫0∞x(s)e−tsds(A x)(t) = \int_{0}^{\infty } x(s) e^{-t s} d s is bounded in the space L2[0,∞)L_{2}[0, \infty ), and estimate its norm.

?
Problem 6.38

Let a∈C[−1,1]a \in C[-1,1]. Prove that the convolution operator A:x↦∫01x(s)a(t−s)dsA: x \mapsto \int_{0}^{1} x(s) a(t-s) d s is bounded in the space C[0,1]C[0,1], and find its norm.

?
Problem 6.39

Prove that the shift operator (Ax)(t)=x(t+a)(A x)(t) = x(t+a) is bounded as an operator in the space

?
(a)

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

(b)

Lp(R),p∈[1,∞]L_{p}(\mathbb {R}), p \in [1, \infty ]. Find its norm, image, and kernel in each of the spaces.

Problem 6.40

Find the norm, image, and kernel of the trace operator:

?
(a)

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

(b)

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

(c)

A:C(D)→C(T)A: C(\mathbb {D}) \rightarrow C(\mathbb {T}), where D={z∈C:∣z∣⩽1}\mathbb {D} = \left\{ z \in \mathbb {C}:\left|z\right| \leqslant 1\right\}, and T={z∈C:∣z∣=1}\mathbb {T} = \left\{ z \in \mathbb {C}:\left|z\right| = 1\right\}.

Problem 6.41

Find the norm and kernel of the operator 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)), where φ\varphi is a fixed continuous function mapping the interval [0,1][0,1] into itself. Prove that the operator AA is surjective if and only if the mapping φ\varphi is injective.

?
Problem 6.42

Let XX be a normed space, and X0X_{0} its closed subspace. Prove the equivalence of the following conditions:

  1. the subspace X0X_{0} is complemented;

  2. the identity operator on X0X_{0} admits an extension to a bounded operator from XX to X0X_{0};

  3. every bounded operator from X0X_{0} to YY, where YY is an arbitrary normed space, admits an extension to some bounded operator from XX to YY.

?
Problem 6.43

Prove that a Banach space XX has the following property: for all Z⊂YZ \subset Y and for every bounded linear operator A:Z→XA: Z \rightarrow X an extension A~:Y→X\tilde{A}: Y \rightarrow X with ∥A~∥=∥A∥\left\| \tilde{A}\right\| = \left\| A\right\| exists if and only if XX is 1-complemented in every Banach space X1X_{1} containing it (i.e., there exists a linear projector from X1X_{1} onto XX of unit norm).

?
Problem 6.44

Let A∈B(X0,Y)A \in \mathcal{B}\left(X_{0}, Y\right) be a finite-dimensional operator, where X0X_{0} and YY are normed spaces, X0X_{0} a linear subspace of a normed space XX. Prove that AA admits an extension to a bounded operator A~∈B(X,Y)\tilde{A} \in \mathcal{B}(X, Y), and moreover A~\tilde{A} can be chosen so that Im⁡(A~)=Im⁡(A)\operatorname {Im}(\tilde{A}) = \operatorname {Im}(A).

?
Problem 6.45

Let the operator AA be defined on the subspace c0c_{0} of the space cc as the identity operator. Prove that this operator cannot be extended to a bounded operator A~\tilde{A} from cc to c0c_{0} without increasing the norm. Exhibit an extension of AA to a bounded operator A~\tilde{A} from c to c0c_{0} with an increase in norm.

?
Problem 6.46

(R. Phillips, 1940). Prove that the closed subspace c0c_{0} of the Banach space l∞l_{\infty } is not complemented.

?
Problem 6.47

Let A∈B(X,Y)A \in \mathcal{B}(X, Y), where XX is a reflexive Banach space, YY an arbitrary Banach space, and rank A<∞A < \infty. Prove that AA attains its norm on the unit ball, i.e., there is a vector x∈Xx \in X such that ∥x∥X=1\left\| x\right\|_{X} = 1 and ∥Ax∥Y=∥A∥\left\| A x\right\|_{Y} = \left\| A\right\|.

?
Problem 6.48

Let XX be a finite-dimensional normed space, and YY an arbitrary normed space. Prove that L(X,Y)=B(X,Y)\mathcal{L}(X, Y) = \mathcal{B}(X, Y) and every operator attains its norm on the unit ball.

?
Problem 6.49

Give an example of a bounded operator in a reflexive Banach space that does not attain its norm on the unit ball.

?
Problem 6.50

Give an example of an unbounded operator A∈L(X)A \in \mathcal{L}(X) in a Banach space XX that is defined everywhere on XX and has closed kernel.

?
Problem 6.51

Let XX and YY be Banach spaces, A∈L(X,Y),Ker⁡AA \in \mathcal{L}(X, Y), \operatorname {Ker} A closed in XX, and rank⁡A<∞\operatorname {rank} A < \infty. Prove that the operator AA is bounded.

?
Problem 6.52

Give an example of a nonzero operator in an infinite-dimensional Banach space whose square is equal to zero.

?
Problem 6.53

Give an example of an operator A∈B(X)A \in \mathcal{B}(X) in an infinite-dimensional Banach space XX such that Ker⁡A⊊Im⁡A\operatorname {Ker} A \subsetneq \operatorname {Im} A.

?
Problem 6.54

Let XX be a Banach space and A∈B(X)A \in \mathcal{B}(X) an operator. Prove that:

?
(a)

either {0}⊊Ker⁡(A)⊊Ker⁡(A2)⊊…\left\{ 0\right\} \subsetneq \operatorname {Ker}(A) \subsetneq \operatorname {Ker}\left(A^{2}\right) \subsetneq \ldots, or there exists a least integer m⩾0m \geqslant 0 such that {0}⊊Ker⁡(A)⊊…⊊Ker⁡(Am)\left\{ 0\right\} \subsetneq \operatorname {Ker}(A) \subsetneq \ldots \subsetneq \operatorname {Ker}\left(A^{m}\right) and Ker⁡(Am)=Ker⁡(Am+p)\operatorname {Ker}\left(A^{m}\right) = \operatorname {Ker}\left(A^{m+p}\right) for every p∈Np \in \mathbb {N} (the operator has finite ascent mm);

(b)

either X⊋Im⁡(A)⊋Im⁡(A2)⊋…X \supsetneq \operatorname {Im}(A) \supsetneq \operatorname {Im}\left(A^{2}\right) \supsetneq \ldots, or there exists a least integer m⩾0m \geqslant 0 such that X⊋Im⁡(A)⊋…⊋Im⁡(Am)X \supsetneq \operatorname {Im}(A) \supsetneq \ldots \supsetneq \operatorname {Im}\left(A^{m}\right) and Im⁡(Am)=Im⁡(Am+p)\operatorname {Im}\left(A^{m}\right) = \operatorname {Im}\left(A^{m+p}\right) for every p∈Np \in \mathbb {N} (the operator has finite descent mm).

Problem 6.55

For an arbitrary n∈Nn \in \mathbb {N} give an example of operators AA and BB in an infinite-dimensional Banach space XX with the properties

Ker⁡(A)⊊Ker⁡(A2)⊊…⊊Ker⁡(An)=Ker⁡(An+1)=…,Im⁡(B)⊋Im⁡(B2)⊋…⊋Im⁡(Bn)=Im⁡(Bn+1)=… \begin{gathered} \operatorname {Ker}(A) \subsetneq \operatorname {Ker}\left(A^{2}\right) \subsetneq \ldots \subsetneq \operatorname {Ker}\left(A^{n}\right) = \operatorname {Ker}\left(A^{n+1}\right) = \ldots , \\ \operatorname {Im}(B) \supsetneq \operatorname {Im}\left(B^{2}\right) \supsetneq \ldots \supsetneq \operatorname {Im}\left(B^{n}\right) = \operatorname {Im}\left(B^{n+1}\right) = \ldots \end{gathered}
?
Problem 6.56

Let XX be a Banach space and A∈B(X)A \in \mathcal{B}(X) an operator. Prove that if AA has finite ascent nn and finite descent mm, then n=mn = m and X=Ker⁡(Am)⊕Im⁡(Am)‾X = \operatorname {Ker}\left(A^{m}\right) \oplus \overline{\operatorname {Im}\left(A^{m}\right)}.

?
Problem 6.57

Prove that if for A,B∈L(X)A, B \in \mathcal{L}(X) the commutation relation AB−BA=IA B-B A = I holds, then ABn−BnA=nBn−1A B^{n}-B^{n} A = n B^{n-1}. Prove that either AA or BB is unbounded. Deduce from this that the matrix equation AB−BA=IA B-B A = I, where AA and BB are unknown n×nn \times n matrices, has no solutions.

?
Problem 6.58

Let XX be a Banach space, A∈B(X)A \in \mathcal{B}(X). Under what conditions on the operator AA do the expressions

?
(a)

∥x∥1=∥Ax∥X\left\| x\right\|_{1} = \left\| A x\right\|_{X},

(b)

∥x∥2=∥x∥X+∥Ax∥X\left\| x\right\|_{2} = \left\| x\right\|_{X}+\left\| A x\right\|_{X} define a norm on XX?

Problem 6.59

Let XX be a Banach space, AA an injective bounded operator in XX. For the norms from the previous problem prove that ∥⋅∥1≺∥⋅∥X\left\| \cdot \right\|_{1} \prec \left\| \cdot \right\|_{X}, and ∥⋅∥2∼∥⋅∥X\left\| \cdot \right\|_{2} \sim \left\| \cdot \right\|_{X}. Prove that ∥⋅∥1∼∥⋅∥X\left\| \cdot \right\|_{1} \sim \left\| \cdot \right\|_{X} if and only if inf⁡∥x∥=1∥Ax∥⩾r>0\inf_{\left\| x\right\| = 1}\left\| A x\right\| \geqslant r > 0.

?
Problem 6.60

(S. Mazur, S. Ulam, 1932). Let XX and YY be normed spaces, and let the map JJ be an isometry, i.e., for all x,y∈Xx, y \in X we have ∥J(x)−J(y)∥Y=∥x−y∥X\left\| J(x)-J(y)\right\|_{Y} = \left\| x-y\right\|_{X} and J(0)=0J(0) = 0. Prove that JJ is a linear isometric isomorphism of the normed spaces XX and YY.

?
Problem 6.61

Let JJ be an isometry of the real space c0c_{0} or lp,1⩽p<∞,p≠2l_{p}, 1 \leqslant p < \infty , p \neq 2, with J(0)=0J(0) = 0. Prove that there exist a set of signs εn∈{±1}\varepsilon_{n} \in \left\{ \pm 1\right\} and a permutation σ\sigma of the natural numbers such that J(x1,…,xn,…)=(ε1xσ(1),…,εnxσ(n),…)J\left(x_{1}, \ldots , x_{n}, \ldots \right) = \left(\varepsilon_{1} x_{\sigma (1)}, \ldots , \varepsilon_{n} x_{\sigma (n)}, \ldots \right).

?
Problem 6.62

Let P∈B(H)P \in \mathcal{B}(H) be a projector of a Hilbert space HH onto some subspace of it. Prove that PP is an orthogonal projector if and only if for any x,y∈Hx, y \in H the following equality holds: (Px,y)=(x,Py).(P x, y) = (x, P y).{ }1

Definition 8.3: An operator A∈B(H)A \in \mathcal{B}(H) is called self-adjoint if A=A∗A = A^{*}.

Footnotes

  1. Operators satisfying such a relation are called self-adjoint (see Definition 8.3 and problem 8.26 below). ↩

?
Problem 6.63

Let PP be an orthogonal projector in a Hilbert space HH. Prove that it is bounded, and find ∥P∥\left\| P\right\|.

?
Problem 6.64

Let P1P_{1} and P2P_{2} be orthogonal projectors in a Hilbert space HH. Denote the subspaces H1=Im⁡P1H_{1} = \operatorname {Im} P_{1} and H2=Im⁡P2H_{2} = \operatorname {Im} P_{2}. Prove that if H1⊂H2H_{1} \subset H_{2} (or, conversely, H2⊂H1H_{2} \subset H_{1}) and ∥P1−P2∥<1\left\| P_{1}-P_{2}\right\| < 1, then P1=P2P_{1} = P_{2}. Give an example of two such orthogonal projectors P1≠P2P_{1} \neq P_{2} that ∥P1−P2∥<1\left\| P_{1}-P_{2}\right\| < 1.

?
Problem 6.65

In the notation of the previous problem, prove that if ∥P2−P1∥<1\left\| P_{2}-P_{1}\right\| < 1, then dim⁡H1=dim⁡H2\operatorname {dim} H_{1} = \operatorname {dim} H_{2}. Give an example of two such orthogonal projectors P1P_{1} and P2P_{2} that ∥P2−P1∥=1\left\| P_{2}-P_{1}\right\| = 1 and dim⁡H1≠dim⁡H2\operatorname {dim} H_{1} \neq \operatorname {dim} H_{2}.

?
Problem 6.66

Let HH be a Hilbert space, PP the orthogonal projector onto a proper subspace H0⊂HH_{0} \subset H. What can be asserted about Im⁡A\operatorname {Im} A and Ker AA of an operator A∈B(H)A \in \mathcal{B}(H), if

?
(a)

AP=AA P = A;

(b)

PA=AP A = A?

Problem 6.67

Prove that if, under the conditions of the previous problem, the equality AP=PAA P = P A holds, then A(H0)⊂H0A\left(H_{0}\right) \subset H_{0}. Prove that the converse is false.

?
Problem 6.68

Let HH be a Hilbert space, and B:H×H→CB: H \times H \rightarrow \mathbb {C} a form that is linear in the first argument, conjugate-linear in the second argument, and continuous in each argument. Prove that there is an operator A∈B(H)A \in \mathcal{B}(H) such that B(x,y)=(Ax,y)B(x, y) = (A x, y) for all x,y∈Hx, y \in H.

?
Problem 6.69

For any M>0M > 0 give an example of an operator AA in a Hilbert space HH such that for some orthonormal basis {en}1∞\left\{ e_{n}\right\}_{1}^{\infty } all the norms ∥Aen∥\left\| A e_{n}\right\| are bounded by one, but ∥A∥>M\left\| A\right\| > M.

?
Problem 6.70

Let ∑i=1∞∑j=1∞∣aij∣2<∞\sum_{i = 1}^{\infty } \sum_{j = 1}^{\infty }\left|a_{i j}\right|^{2} < \infty, and let {ei}1∞\left\{ e_{i}\right\}_{1}^{\infty } be an arbitrary orthonormal basis in a Hilbert space HH. Prove that there is an operator A∈B(H)A \in \mathcal{B}(H) such that (Aei,ej)=aij\left(A e_{i}, e_{j}\right) = a_{i j}. Give an example of a bounded linear operator in a Hilbert space whose matrix (in any orthonormal basis) does not satisfy the indicated inequality.

?
Problem 6.71

Let an operator AA act in the space l2l_{2}, and in some orthonormal basis let its matrix have the form {aij}i,j=1∞\left\{ a_{i j}\right\}_{i, j = 1}^{\infty }, aij⩾0a_{i j} \geqslant 0 for all i,ji, j. Prove that if for this matrix there exist numbers pj>0,j=1,2,…p_{j} > 0, j = 1,2, \ldots, and α,β>0\alpha , \beta > 0, such that

∑j=1∞aijpj⩽αpi for every i∈N,∑i=1∞aijpi⩽βpj for every j∈N \sum _{j = 1}^{\infty } a_{i j} p_{j} \leqslant \alpha p_{i} \text{ for every } i \in \mathbb {N}, \quad \sum _{i = 1}^{\infty } a_{i j} p_{i} \leqslant \beta p_{j} \text{ for every } j \in \mathbb {N}

(Schur's inequalities), then the operator is bounded, and ∥A∥2⩽αβ\left\| A\right\|^{2} \leqslant \alpha \beta.

?
Problem 6.72

Prove that the operator AA with matrix {aij}i,j=1∞\left\{ a_{i j}\right\}_{i, j = 1}^{\infty }, where aij=1i+ja_{i j} = \frac{1}{i+j} (the Hilbert operator), is bounded in l2l_{2}, and ∥A∥⩽π\left\| A\right\| \leqslant \pi.

?
Problem 6.73

Let the matrix {aij=K(i,j)}i,j=1∞\left\{ a_{i j} = K(i, j)\right\}_{i, j = 1}^{\infty } be given by a function K(x,y)K(x, y) satisfying the following conditions:

  1. KK is nonnegative, with K(x,x)=0K(x, x) = 0, symmetric, and homogeneous of degree of homogeneity -1, i.e., K(ax,ay)=a−1K(x,y)K(a x, a y) = a^{-1} K(x, y);

  2. ∫0∞K(1,y)dyy=k\int_{0}^{\infty } K(1, y) \frac{d y}{\sqrt{y}} = k;

  3. K(1,y)y\frac{K(1, y)}{\sqrt{y}} is decreasing for y∈(0,ξ)∪(1,+∞)y \in (0, \xi ) \cup (1,+\infty ) and increasing for y∈(ξ,1)y \in (\xi , 1), where ξ∈[0,1]\xi \in [0,1]. Prove that the matrix {aij}\left\{ a_{i j}\right\} defines a bounded operator AA in the space l2l_{2}, and ∥A∥⩽k.\left\| A\right\| \leqslant k.1

Footnotes

  1. The restrictions on the function KK can be significantly weakened, see [35]. ↩

?
Problem 6.74

Prove that the operator AA with matrix {aij}i,j=1∞\left\{ a_{i j}\right\}_{i, j = 1}^{\infty }, where aij=1(i+j)1−α∣i−j∣α(aij:=0a_{i j} = \frac{1}{(i+j)^{1-\alpha }|i-j|^{\alpha }}\left(a_{i j}: = 0\right. for i=j)\left.i = j\right) with parameter α∈(0,1)\alpha \in (0,1), is bounded in l2l_{2}.

?
Problem 6.75

Prove that for any operator AA in a separable Hilbert space HH one can choose an orthonormal basis {ej}1∞\left\{ e_{j}\right\}_{1}^{\infty } such that for every j∈Nj \in \mathbb {N} only finitely many entries of the jj-th column of the matrix {aij=(Aei,ej)}i,j=1∞\left\{ a_{i j} = \left(A e_{i}, e_{j}\right)\right\}_{i, j = 1}^{\infty } are nonzero.

?
Problem 6.76

Prove that a matrix {aij}i,j=1∞\left\{ a_{i j}\right\}_{i, j = 1}^{\infty } is the matrix of some operator from B(l2,c0)\mathcal{B}\left(l_{2}, c_{0}\right) if and only if

  1. there is MM such that ∑j=1∞∣aij∣2<M\sum_{j = 1}^{\infty }\left|a_{i j}\right|^{2} < M for every i∈Ni \in \mathbb {N};

  2. lim⁡i→∞aij=0\lim_{i \rightarrow \infty } a_{i j} = 0 for every j∈Nj \in \mathbb {N}.

?
Problem 6.77

Prove Theorem 6.1.

Theorem 6.1: The set B(X,Y)\mathcal{B}(X, Y) of all continuous linear operators from a normed space XX into a Banach space YY, with the norm ∥A∥=sup⁡x≠0∥Ax∥Y∥x∥X\left\| A\right\| = \sup_{x \neq 0} \frac{\left\| A x\right\|_{Y}}{\left\| x\right\|_{X}}, is a Banach space.

?
Problem 6.78

Let X,YX, Y and ZZ be normed spaces, A∈B(Y,Z)A \in \mathcal{B}(Y, Z), B∈B(X,Y)B \in \mathcal{B}(X, Y). Prove the inequality ∥AB∥⩽∥A∥⋅∥B∥\left\| A B\right\| \leqslant \left\| A\right\| \cdot \left\| B\right\|. Prove that if one of the operators AA or BB is an isometric isomorphism of the corresponding spaces, then ∥AB∥=∥A∥⋅∥B∥\left\| A B\right\| = \left\| A\right\| \cdot \left\| B\right\|. Give an example of a Banach space XX and operators AA and BB from B(X)\mathcal{B}(X) such that ∥AB∥<∥A∥⋅∥B∥\left\| A B\right\| < \left\| A\right\| \cdot \left\| B\right\|.

?
Problem 6.79

Prove that the space C[0,1]C[0,1] with the usual operation of function multiplication is a unital commutative Banach algebra.

?
Problem 6.80

Prove that for an arbitrary Banach space XX the set of bounded operators B(X)\mathcal{B}(X) is a unital noncommutative (if dim⁡X>1\operatorname {dim} X > 1) Banach algebra with respect to the composition operation.

?
Problem 6.81

Let XX and YY be normed spaces, an operator A∈B(X,Y)A \in \mathcal{B}(X, Y). Which of the following statements hold for every operator A∈B(X,Y)A \in \mathcal{B}(X, Y)?

?
(a)

If the set UU is open in XX, then A(U)A(U) is open in YY.

(b)

If the set VV is closed in XX, then A(V)A(V) is closed in YY.

(c)

If the set A(U)A(U) is open in YY, then UU is open in XX.

(d)

If the set A(V)A(V) is closed in YY, then VV is closed in XX.

Problem 6.82

Let XX and YY be normed spaces, X0X_{0} a closed subspace of XX. Set

M={A∈B(X,Y):Ker⁡A=X0} M = \left\{ A \in \mathcal{B}(X, Y): \operatorname {Ker} A = X_{0}\right\}

Is MM a closed subspace of B(X,Y)\mathcal{B}(X, Y)?

?
Problem 6.83

Let XX and YY be normed spaces, X0X_{0} a closed subspace of XX. Set

M={A∈B(X,Y):Ker⁡A⊃X0} M = \left\{ A \in \mathcal{B}(X, Y): \operatorname {Ker} A \supset X_{0}\right\}

Is MM a closed subspace of B(X,Y)\mathcal{B}(X, Y)?

?
Problem 6.84

Let XX be a normed space, AA a fixed operator from B(X)\mathcal{B}(X). Set M={B∈B(X):AB=0},N={B∈B(X):AB=BA}M = \left\{ B \in \mathcal{B}(X): A B = 0\right\} , N = \left\{ B \in \mathcal{B}(X): A B = B A\right\}. Prove that MM and NN are closed subspaces of B(X)\mathcal{B}(X).

?
Problem 6.85

Let HH be an infinite-dimensional Hilbert space. Prove that the space B(H)\mathcal{B}(H) is not separable.

?
Problem 6.86

Prove that the space B(lp),p∈[1,∞]\mathcal{B}\left(l_{p}\right), p \in [1, \infty ], is not separable.

?
Problem 6.87

Let XX and YY be Banach spaces, with Y=Y1⊕Y2Y = Y_{1} \oplus Y_{2} the direct sum of two closed subspaces. Prove that B(X,Y)=B(X,Y1)⊕B(X,Y2)\mathcal{B}(X, Y) = \mathcal{B}\left(X, Y_{1}\right) \oplus \mathcal{B}\left(X, Y_{2}\right).

?
Problem 6.88

Let XX be a Banach space, {Pn}1∞∈B(X)\left\{ P_{n}\right\}_{1}^{\infty } \in \mathcal{B}(X), where all the operators PnP_{n} are projection operators and Pn⇉PP_{n} \rightrightarrows P. Must PP necessarily be a projection operator?

?
Problem 6.89

Let XX be a Banach space, {An}1∞⊂B(X)\left\{ A_{n}\right\}_{1}^{\infty } \subset \mathcal{B}(X), where all the operators AnA_{n} are operators of the same finite rank: rank⁡An=r<∞\operatorname {rank} A_{n} = r < \infty and An⇉AA_{n} \rightrightarrows A. Is it true that rank A⩽rA \leqslant r?

?
Problem 6.90

In the space XX, where XX is cpc_{p} or lp,p∈[1,∞]l_{p}, p \in [1, \infty ], consider the sequence {An}1∞\left\{ A_{n}\right\}_{1}^{\infty } of operators of multiplication by sequences λn∈l∞\lambda_{n} \in l_{\infty }. Prove that the sequence {An}1∞\left\{ A_{n}\right\}_{1}^{\infty } has a limit in the space B(X)\mathcal{B}(X) if and only if the sequence {λn}1∞\left\{ \lambda_{n}\right\}_{1}^{\infty } has a limit in the space l∞l_{\infty }. Prove that in the case when the limit A=lim⁡n→∞AnA = \lim_{n \rightarrow \infty } A_{n} exists, it is also equal to the operator of multiplication by the sequence λ=lim⁡n→∞λn\lambda = \lim_{n \rightarrow \infty } \lambda_{n}.

?
Problem 6.91

In the space XX, where XX is c0c_{0}, c, or lp,p∈[1,∞]l_{p}, p \in [1, \infty ], consider two sequences of operators {Trn}1∞\left\{ T_{r}^{n}\right\}_{1}^{\infty } and {Tln}1∞\left\{ T_{l}^{n}\right\}_{1}^{\infty }:

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)
  • the operators of right and left shift. Prove that both of these sequences have no limit in the space B(X)\mathcal{B}(X).
?
Problem 6.92

Prove that if a mapping is Fréchet differentiable at a point, then it is Gateaux differentiable at that point (and the derivatives coincide).

?
Problem 6.93

Prove that if a mapping FF is Fréchet differentiable at a point xx, then it is continuous at that point. Give an example of a mapping that is Gateaux differentiable at a point of its discontinuity.

?
Problem 6.94

Let X,Y,ZX, Y, Z be normed spaces, a mapping F:X→YF: X \rightarrow Y Fréchet differentiable at a point xx, a mapping G:Y→ZG: Y \rightarrow Z Fréchet differentiable at the point F(x)F(x). Prove that G∘FG \circ F is Fréchet differentiable at the point xx and (G∘F)′(x)=G′(F(x))∘F′(x)(G \circ F)^{\prime }(x) = G^{\prime }(F(x)) \circ F^{\prime }(x). Show that the composition of Gateaux differentiable mappings need not be Gateaux differentiable.

?
Problem 6.95

Let a mapping F:X→YF: X \rightarrow Y be Gateaux differentiable at every point xx of a neighborhood UU of a point x0x_{0}, and let the derivative F′(x)F^{\prime }(x) be continuous at the point x0x_{0} (that is, ∥F′(x)−F′(x0)∥→0\left\| F^{\prime }(x)-F^{\prime }\left(x_{0}\right)\right\| \rightarrow 0 as x→x0x \rightarrow x_{0}). Prove that FF is Fréchet differentiable at the point x0x_{0}.

?
Problem 6.96

Investigate the mappings for Fréchet and Gateaux differentiability and find the derivatives (all Banach spaces are assumed real):

?
(a)

F:H→R,F(x)=(x,x)F: H \rightarrow \mathbb {R}, F(x) = (x, x) (HH a Hilbert space);

(b)

F:H→R,F(x)=∥x∥F: H \rightarrow \mathbb {R}, F(x) = \left\| x\right\| (HH a Hilbert space);

(c)

F:l1→R,F(x)=∥x∥F: l_{1} \rightarrow \mathbb {R}, F(x) = \left\| x\right\|;

(d)

F:L1[0,1]→R,F(x)=∫01sin⁡x(t)dtF: L_{1}[0,1] \rightarrow \mathbb {R}, F(x) = \int_{0}^{1} \sin x(t) d t;

(e)

F:L2[0,1]→R,F(x)=∫01sin⁡x(t)dtF: L_{2}[0,1] \rightarrow \mathbb {R}, F(x) = \int_{0}^{1} \sin x(t) d t;

(f)

F:C[0,1]→R,F(x)=∫01sin⁡x(t)dtF: C[0,1] \rightarrow \mathbb {R}, F(x) = \int_{0}^{1} \sin x(t) d t;

(g)

F:C[0,1]→C[0,1],F(x)(t)=x(t)x(1−t)F: C[0,1] \rightarrow C[0,1], F(x)(t) = x(t) x(1-t);

(h)

F:Lp[0,1]→L1[0,1],F(x)(t)=∣x(t)∣p(1⩽p<∞)F: L_{p}[0,1] \rightarrow L_{1}[0,1], F(x)(t) = |x(t)|^{p}(1 \leqslant p < \infty ).

Problem 6.97

Prove that if the dual space X∗X^{*} is uniformly convex (see Definition 2.11), then the norm on XX (the mapping x↦∥x∥x \mapsto \left\| x\right\|) is Fréchet differentiable at every point x∈X\{0}x \in X \backslash \left\{ 0\right\}.

Definition 2.11: A normed space XX is called uniformly convex if for every ε>0\varepsilon > 0 there exists δ>0\delta > 0 such that if ∥x∥=∥y∥=1\left\| x\right\| = \left\| y\right\| = 1 and ∥x+y∥>2−δ\left\| x+y\right\| > 2-\delta, then ∥x−y∥<ε\left\| x-y\right\| < \varepsilon.

?
Problem 6.98

Prove that there is a mapping F:R→R2F: \mathbb {R} \rightarrow \mathbb {R}^{2}, differentiable at all points of the interval [a,b][a, b], for which the equality F(b)−F(a)=F′(c)(b−a)F(b)-F(a) = F^{\prime }(c)(b-a) fails to hold for any point c∈(a,b)c \in (a, b).

?
Problem 6.99

Let XX and YY be normed spaces, UU an open convex set in XX, and F:U→YF: U \rightarrow Y Gateaux differentiable at every point of UU. Prove that for all a,b∈Ua, b \in U the difference F(b)−F(a)F(b)-F(a) lies in the closure of the convex hull of the set {F′(c)(b−a):c∈(a,b)}\left\{ F^{\prime }(c)(b-a): c \in (a, b)\right\}.

?
Problem 6.100

Prove that under the conditions of the previous problem the inequality ∥F(b)−F(a)∥⩽sup⁡c∈(a,b)∥F′(c)∥⋅∥b−a∥\left\| F(b)-F(a)\right\| \leqslant \sup_{c \in (a, b)}\left\| F^{\prime }(c)\right\| \cdot \left\| b-a\right\| holds.

?