The squared norm of in is , where . Choose positive normalizing constants
Then are an orthonormal set for Lebesgue measure. Expanding the finite sums gives
Thus this is an orthogonal polynomial projection kernel, explicitly
The positive constants above are forced by the reproducing identity: before normalization, its convolution multiplies each independent term by . Each multiplier must equal one. Changing the sign of a real leaves the kernel unchanged.

Articles by others on the same topic (0)

There are currently no matching articles.