Diagonal monomial action of a second-order Euler operator
ID: diagonal-monomial-action-of-a-second-order-euler-operator
The monomial is an eigenvector of the differential linear operator , with eigenvalue . Over the real or complex numbers this vanishes exactly for . On polynomials of bounded total degree, the kernel is therefore spanned by the permitted members of , while the image of a linear map is spanned by all remaining monomials. The trace is the sum of those diagonal eigenvalues.
New to topics? Read the docs here!