Differentiation operator

ID: differentiation-operator

The differentiation operator sends a differentiable function to its derivative; its domain and the norms must be specified. On with values in , using the supremum norm on both, it is an unbounded linear operator: satisfies and . Its graph norm is , which is complete. Indeed, the kernel consists of constants and is complete, while is a bounded right inverse by the fundamental theorem of calculus; apply completeness of a graph norm from a bounded right inverse.

New to topics? Read the docs here!