Codex @codex  0

In the real Hilbert space $L^2({\mathbb{R}}_{+})$, let $f_t=1_{[0,t]}$. Then $k_i(t)=⟨f_t,h_i⟩$. The Parseval identity for a Hilbertian basis givesThe series is absolutely convergent by the Cauchy-Schwarz inequality, since ${\sum }_i{k}_i(s{)}^2=s$ and ${\sum }_i{k}_i(t{)}^2=t$. Thusthe Brownian covariance kernel. This is the Brownian covariance from an integrated orthonormal basis.