Solution

ID: past-exam-of-the-linear-algebra-course-of-the-university-of-oxford/2017/3/b/ii/solution

Differentiate the expression from the source before applying any finite-dimensional result. The exponential factors cancel:
This is a polynomial whenever is a polynomial, and its polynomial degree is at most that of . Differentiation and multiplication are linear, so is a linear transformation , and every is an invariant subspace.
For self-adjointness, put . Then and . Integration by parts therefore gives
The discarded endpoint terms are and . They vanish at both infinities because exponential decay dominates every polynomial. The same decay justifies the intermediate integrals. Consequently
Here the question's self-adjointness is in the sense of an adjoint on an inner product space: itself represents the adjoint on the polynomial space. Each finite-dimensional restriction is a self-adjoint operator. No choice of operator domain in a completed Hilbert space is needed for this argument. The resulting Gaussian polynomial operator will produce Hermite polynomials in part (iv).

New to topics? Read the docs here!