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:X↦YA : X \mapsto Y a bounded linear map. Show that

  • The null-space is closed.

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

Banach-Steinhaus

Prove the above corollary. For (3)   ⟹  \implies (2) pick a dense set D⊂XD \subset X and define T(x)=lim⁡nTn(x)T(x) = \lim_{n} T_n(x) for x∈Dx\in D. Then show that Tn(x)→T(x)T_n(x) \to T(x) for all x∈Xx \in X.

Let S⊂L(X,Y)S \subset \mathcal{L}(X, Y) be a family of linear operators such that sup⁡T∈S∣∣T∣∣<∞\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 Λn∼2πlog⁡n\Lambda_n \sim \frac{2}{\pi} \log n, explain why Banach-Steinhaus does not give divergence.

  3. Prove that for any f∈C[−1,1]f \in C[-1,1], ∥f−Lnf∥∞→0\|f - L_n f\|_\infty \to 0 (use Weierstrass + stability).

Quadrature stability.

Consider the midpoint rule Mnf=1n∑k=1nf(2k−12n)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 Mnp→∫01pM_n p \to \int_0^1 p for any polynomial.

  3. Conclude that Mnf→∫01fM_n f \to \int_0^1 f for all f∈C[0,1]f \in C[0,1].

Failure of pointwise convergence.

Let X=C[0,1]X = C[0,1] and define Tn:X→RT_n : X \to \mathbb{R} by Tnf=n∫01/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 lim⁡n→∞Tnf\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={f∈C1[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:X→YT : X \to Y by Tf=fTf = f (inclusion).

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

  2. Compute ∥T−1∥\|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 ∥f∥C1=∥f∥∞+∥f′∥∞\|f\|_{C^1} = \|f\|_\infty + \|f'\|_\infty.

  1. Show DD is bounded with ∥D∥≤1\|D\| \leq 1.

  2. Find ∥D∥\|D\| exactly.

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

  4. Compute ∥D−1∥\|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)=∫Ωq∇⋅vb(\mathbf{v}, q) = \int_\Omega q \nabla \cdot \mathbf{v}.

  1. Show that bb is continuous.

  2. The inf-sup condition states inf⁡qsup⁡vb(v,q)∥v∥H1∥q∥L2≥β>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 v∈V\mathbf{v} \in V with ∇⋅v=q\nabla \cdot \mathbf{v} = q and ∥v∥H1≤C∥q∥L2\|\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 K−1K^{-1} bounded? (Consider the domain carefully.)

Perturbation theory.

Let A:X→XA : X \to X be invertible with ∥A−1∥=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)−1−A−1∥≤M2∥B∥1−M∥B∥\|(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:X→YK : X \to Y is compact and T:Y→ZT : Y \to Z is bounded, then TKTK is compact. Similarly, show that if T:Z→XT : Z \to X is bounded and K:X→YK : X \to Y is compact, then KTKT is compact.

Let HH be a Hilbert space and K:H→HK : H \to H a compact operator. Show that if (xn)(x_n) converges weakly to xx (i.e. ⟨xn,y⟩→⟨x,y⟩\langle x_n, y \rangle \to \langle x, y \rangle for all y∈Hy \in H), then Kxn→KxKx_n \to Kx in norm. That is, compact operators map weakly convergent sequences to strongly convergent sequences.

Hint: Suppose for contradiction that ∥Kxn−Kx∥↛0\|Kx_n - Kx\| \not\to 0. Pass to a subsequence where ∥Kxnk−Kx∥≥ε\|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:ℓ2→ℓ2T : \ell^2 \to \ell^2 that is not compact. Prove that your operator fails the sequential characterization of compactness.