The spectrum of a bounded operator is . Its point spectrum is the set of eigenvalues, where is not injective.
Here is linear and takes continuous functions to continuously differentiable functions. Also ; the constant function one attains this bound at , so . Its range is contained in , a proper subset of , so zero is in its spectrum. It is not an eigenvalue: gives at zero and upon differentiation.
For a nonzero eigenvalue, implies and . A nonzero solution is therefore possible exactly at , with eigenfunctions . Hence .
For the proposed resolvent put
The proposed is . Consequently and
Adding and subtracting from gives exactly . Thus is onto for . It is also injective by the eigenvalue calculation. The displayed formula defines a bounded map in the supremum norm, since its exponential kernels are bounded on the compact interval. It is therefore the bounded inverse, and

Articles by others on the same topic (0)

There are currently no matching articles.