Skip to article frontmatterSkip to article content
Site not loading correctly?

This may be due to an incorrect BASE_URL configuration. See the MyST Documentation for reference.

Exercises

Linear Operators

Let XX be a Banach space and A:XYA : X \mapsto Y a bounded linear map. Show that

  • The null-space is closed.

  • If there exists K>0K > 0 such that xKAx||x|| \leq K ||Ax|| then the range is closed.

Banach-Steinhaus

Prove the above corollary. For (3)     \implies (2) pick a dense set DXD \subset X and define T(x)=limnTn(x)T(x) = \lim_{n} T_n(x) for xDx\in D. Then show that Tn(x)T(x)T_n(x) \to T(x) for all xXx \in X.

Let SL(X,Y)S \subset \mathcal{L}(X, Y) be a family of linear operators such that supTST<\sup_{T \in S} ||T|| < \infty. Show that this means that SS is equi-continuous.

Banach-Steinhaus Applications

Divergence of Lagrange interpolation.

Let LnL_n be the Lagrange interpolation operator at Chebyshev nodes on [1,1][-1,1].

  1. Show that Ln=Λn\|L_n\| = \Lambda_n where Λn\Lambda_n is the Lebesgue constant.

  2. Using Λn2πlogn\Lambda_n \sim \frac{2}{\pi} \log n, explain why Banach-Steinhaus does not give divergence.

  3. Prove that for any fC[1,1]f \in C[-1,1], fLnf0\|f - L_n f\|_\infty \to 0 (use Weierstrass + stability).

Quadrature stability.

Consider the midpoint rule Mnf=1nk=1nf(2k12n)M_n f = \frac{1}{n} \sum_{k=1}^{n} f\left(\frac{2k-1}{2n}\right) on [0,1][0,1].

  1. Compute Mn\|M_n\|.

  2. Show that Mnp01pM_n p \to \int_0^1 p for any polynomial.

  3. Conclude that Mnf01fM_n f \to \int_0^1 f for all fC[0,1]f \in C[0,1].

Failure of pointwise convergence.

Let X=C[0,1]X = C[0,1] and define Tn:XRT_n : X \to \mathbb{R} by Tnf=n01/nf(t)dtT_n f = n \int_0^{1/n} f(t) \, dt.

  1. Show each TnT_n is bounded with Tn=1\|T_n\| = 1.

  2. Find limnTnf\lim_{n \to \infty} T_n f for continuous ff.

  3. This is an example where uniform boundedness holds and pointwise limits exist. What is the limit operator?

Unbounded inverse.

Let X={fC1[0,1]:f(0)=0}X = \{f \in C^1[0,1] : f(0) = 0\} with norm f=f\|f\| = \|f'\|_\infty, and Y=C[0,1]Y = C[0,1] with sup norm.

Define T:XYT : X \to Y by Tf=fTf = f (inclusion).

  1. Show TT is bounded, linear, and bijective onto its range.

  2. Compute T1\|T^{-1}\| (the inverse is differentiation). Is it bounded?

  3. Why doesn’t this contradict Banach’s bounded inverse theorem?

Open Mapping Theorem

Show that all linear transformations from a finite-dimensional space to a normed vector space are continuous. Conclude that all norms on a finite-dimensional space are equivalent.

Hint: You can use either the open-mapping theorem or Banach-Steinhaus to prove this by considering the identity map.

Open Mapping Theorem Applications

Condition number of differentiation.

Consider D:(C1[0,1],C1)(C[0,1],)D : (C^1[0,1], \|\cdot\|_{C^1}) \to (C[0,1], \|\cdot\|_\infty) where fC1=f+f\|f\|_{C^1} = \|f\|_\infty + \|f'\|_\infty.

  1. Show DD is bounded with D1\|D\| \leq 1.

  2. Find D\|D\| exactly.

  3. Describe the “inverse” D1D^{-1} (integration). On what domain is it defined?

  4. Compute D1\|D^{-1}\| and the condition number.

Inf-sup for the divergence.

Let Ω=(0,1)2\Omega = (0,1)^2, V=H01(Ω)2V = H^1_0(\Omega)^2, Q=L02(Ω)={q:Ωq=0}Q = L^2_0(\Omega) = \{q : \int_\Omega q = 0\}.

Define b(v,q)=Ωqvb(\mathbf{v}, q) = \int_\Omega q \nabla \cdot \mathbf{v}.

  1. Show that bb is continuous.

  2. The inf-sup condition states infqsupvb(v,q)vH1qL2β>0\inf_{q} \sup_{\mathbf{v}} \frac{b(\mathbf{v},q)}{\|\mathbf{v}\|_{H^1}\|q\|_{L^2}} \geq \beta > 0. Interpret this as an Open Mapping statement.

  3. Why does this imply existence of vV\mathbf{v} \in V with v=q\nabla \cdot \mathbf{v} = q and vH1CqL2\|\mathbf{v}\|_{H^1} \leq C\|q\|_{L^2}?

Closed Graph for integral operators.

Let K:L2[0,1]L2[0,1]K : L^2[0,1] \to L^2[0,1] be defined by (Kf)(x)=0xf(t)dt(Kf)(x) = \int_0^x f(t) dt.

  1. Prove KK has closed graph directly (without using continuity).

  2. Show KK is bounded by computing K\|K\|.

  3. Is K1K^{-1} bounded? (Consider the domain carefully.)

Perturbation theory.

Let A:XXA : X \to X be invertible with A1=M\|A^{-1}\| = M.

  1. Show that if B<1/M\|B\| < 1/M, then A+BA + B is invertible.

  2. Derive the bound (A+B)1A1M2B1MB\|(A+B)^{-1} - A^{-1}\| \leq \frac{M^2 \|B\|}{1 - M\|B\|}.

  3. Apply this to A=IA = I to get the Neumann series.

Compact Operators

Show that if K:XYK : X \to Y is compact and T:YZT : Y \to Z is bounded, then TKTK is compact. Similarly, show that if T:ZXT : Z \to X is bounded and K:XYK : X \to Y is compact, then KTKT is compact.

Let HH be a Hilbert space and K:HHK : H \to H a compact operator. Show that if (xn)(x_n) converges weakly to xx (i.e. xn,yx,y\langle x_n, y \rangle \to \langle x, y \rangle for all yHy \in H), then KxnKxKx_n \to Kx in norm. That is, compact operators map weakly convergent sequences to strongly convergent sequences.

Hint: Suppose for contradiction that KxnKx↛0\|Kx_n - Kx\| \not\to 0. Pass to a subsequence where KxnkKxε\|Kx_{n_k} - Kx\| \geq \varepsilon, then use compactness to extract a further subsequence where KxnkjKx_{n_{k_j}} converges. What must the limit be?

Let K:L2(0,1)L2(0,1)K : L^2(0,1) \to L^2(0,1) be the integral operator

Kf(x)=01min(x,y)f(y)dy.Kf(x) = \int_0^1 \min(x, y) \, f(y) \, dy.
  1. Show that KK is compact by verifying that k(x,y)=min(x,y)L2((0,1)×(0,1))k(x,y) = \min(x,y) \in L^2((0,1) \times (0,1)).

  2. Show that KK is self-adjoint: Kf,g=f,Kg\langle Kf, g \rangle = \langle f, Kg \rangle.

  3. Find the eigenvalues and eigenfunctions of KK. (Hint: differentiate Kf=λfKf = \lambda f twice to convert to an ODE.)

Give an example of a bounded linear operator T:22T : \ell^2 \to \ell^2 that is not compact. Prove that your operator fails the sequential characterization of compactness.