Write . The separated kernel givesThus its image is . Since and , its matrix on this basis is . ThereforeBoth eigenspaces have dimension one, and there are no further nonzero eigenvalues because every such eigenfunction belongs to the image. The zero eigenspace is , which is infinite-dimensional. One explicit nonzero example is , orthogonal to both and .
Articles by others on the same topic
There are currently no matching articles.