Linear Operators¶
Let be a Banach space and a bounded linear map. Show that
The null-space is closed.
If there exists such that then the range is closed.
Banach-Steinhaus¶
Prove the above corollary. For (3) (2) pick a dense set and define for . Then show that for all .
Let be a family of linear operators such that . Show that this means that is equi-continuous.
Banach-Steinhaus Applications¶
Divergence of Lagrange interpolation.
Let be the Lagrange interpolation operator at Chebyshev nodes on .
Show that where is the Lebesgue constant.
Using , explain why Banach-Steinhaus does not give divergence.
Prove that for any , (use Weierstrass + stability).
Quadrature stability.
Consider the midpoint rule on .
Compute .
Show that for any polynomial.
Conclude that for all .
Failure of pointwise convergence.
Let and define by .
Show each is bounded with .
Find for continuous .
This is an example where uniform boundedness holds and pointwise limits exist. What is the limit operator?
Unbounded inverse.
Let with norm , and with sup norm.
Define by (inclusion).
Show is bounded, linear, and bijective onto its range.
Compute (the inverse is differentiation). Is it bounded?
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 where .
Show is bounded with .
Find exactly.
Describe the “inverse” (integration). On what domain is it defined?
Compute and the condition number.
Inf-sup for the divergence.
Let , , .
Define .
Show that is continuous.
The inf-sup condition states . Interpret this as an Open Mapping statement.
Why does this imply existence of with and ?
Closed Graph for integral operators.
Let be defined by .
Prove has closed graph directly (without using continuity).
Show is bounded by computing .
Is bounded? (Consider the domain carefully.)
Perturbation theory.
Let be invertible with .
Show that if , then is invertible.
Derive the bound .
Apply this to to get the Neumann series.
Compact Operators¶
Show that if is compact and is bounded, then is compact. Similarly, show that if is bounded and is compact, then is compact.
Let be a Hilbert space and a compact operator. Show that if converges weakly to (i.e. for all ), then in norm. That is, compact operators map weakly convergent sequences to strongly convergent sequences.
Hint: Suppose for contradiction that . Pass to a subsequence where , then use compactness to extract a further subsequence where converges. What must the limit be?
Let be the integral operator
Show that is compact by verifying that .
Show that is self-adjoint: .
Find the eigenvalues and eigenfunctions of . (Hint: differentiate twice to convert to an ODE.)
Give an example of a bounded linear operator that is not compact. Prove that your operator fails the sequential characterization of compactness.