The integral is linear in its first argument and conjugate-linear in its second, and complex conjugation of the integrand shows . Thus it is a Hermitian form.
If , Fourier orthogonality givesThis is nonnegative and vanishes only when every coefficient vanishes, that is, only for the zero polynomial. Hence the Hermitian form is positive definite.
Articles by others on the same topic
There are currently no matching articles.