TheoremBase

The Paley-Wiener Functional of a Vector Relative to a Variance Sequence

For a variance sequence and a vector h, the Paley-Wiener partial sums are the finite sums of the coordinates of h times those of x divided by the variances, and the Paley-Wiener functional is their limit where it exists and zero elsewhere.

Statement

In the setting of Borel Probability Measures on a Real Hilbert Space with an Orthonormal Basis: Standing Notation, with the coordinates xk=⟨x,ek⟩x_{k}=\langle x,e_{k}\rangle of Borel Probability Measures on a Real Hilbert Space with an Orthonormal Basis: Standing Notation §coordinates, let cc be a variance sequence and let h∈Xh\in X, with coordinates hkh_{k}.

1. (Partial sums) For n∈Nn\in\mathbb{N}, the nn-th Paley-Wiener partial sum of hh relative to cc is the function

ℓh,n:X→R,ℓh,n(x)=∑k=1nhkxkck.\ell_{h,n}:X\to\mathbb{R},\qquad\ell_{h,n}(x)=\sum_{k=1}^{n}\frac{h_{k}x_{k}}{c_{k}}.

2. (Paley-Wiener functional) The Paley-Wiener functional of hh relative to cc is the function ℓh:X→R\ell_{h}:X\to\mathbb{R} given by ℓh(x)=lim⁡n→∞ℓh,n(x)\ell_{h}(x)=\lim_{n\to\infty}\ell_{h,n}(x) for those x∈Xx\in X for which the real sequence (ℓh,n(x))n∈N(\ell_{h,n}(x))_{n\in\mathbb{N}} converges, and by ℓh(x)=0\ell_{h}(x)=0 for all other x∈Xx\in X.

Citations

Loading…

Dependencies

Loading…

Related

0 relations

Curated associations between results. These are editable and subjective — they do not replace the dependency graph, which is derived from the references in the text.

No relations recorded yet.

Comments

Log in to comment.

Loading…