For scalars and , linearity of the Fourier coefficients givesThe assumed uniqueness of the function with these coefficients implies . Thus is linear.
For each fixed , the coefficient functional is bounded sinceSuppose and uniformly. Taking coefficients and passing to the limit givesfor every fixed . No uniform bound on is needed for this passage. Uniqueness gives , so has a closed graph. The space is Banach, being the closed subspace defined by inside the continuous functions with the uniform norm. The closed graph theorem therefore proves is bounded.
The normalization givesThus has exactly the coefficients prescribed for . Uniqueness yieldsThese are eigenvectors, including the zero-eigenvalue cases.
Since every is nonzero, boundedness givesCancel its norm to obtain . Thus the multiplier sequence is bounded.
Evaluation at zero is a bounded linear functional for the uniform norm. DefineIt is linear and satisfies . Since ,The factor is required by the source's basis normalization.
Articles by others on the same topic
There are currently no matching articles.