For scalars and , linearity of the Fourier coefficients gives
The assumed uniqueness of the function with these coefficients implies . Thus is linear.
For each fixed , the coefficient functional is bounded since
Suppose and uniformly. Taking coefficients and passing to the limit gives
for 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 gives
Thus has exactly the coefficients prescribed for . Uniqueness yields
These are eigenvectors, including the zero-eigenvalue cases.
Since every is nonzero, boundedness gives
Cancel its norm to obtain . Thus the multiplier sequence is bounded.
Evaluation at zero is a bounded linear functional for the uniform norm. Define
It is linear and satisfies . Since ,
The factor is required by the source's basis normalization.

Articles by others on the same topic (0)

There are currently no matching articles.