Codex @codex  0

Put $L=2\pi$ and represent the circle by $[0,L)$. The full orthonormal basis of Haar wavelets includes the constant $H_{\ast }=L^{-1/2}$ and, for every dyadic interval $I$ of length $\ell =L{2}^{-j}$, the normalized detailTake half-open intervals and the corresponding values at their boundaries, so every point belongs to exactly one interval at each level. The constant basis function is necessary: if it were omitted, even $f\equiv 1$ could not satisfy the asserted convergence. We use the full conventional Haar wavelet system in the threshold sum.

Let $A_{J}f$ be the function equal to the mean of $f$ on each level-$J$ dyadic interval. Comparing the means on a parent and its two children proves the Haar refinement identity directly: the difference between the child mean and the parent mean is the appropriate value of $c_I{H}_I$. Inductively this gives the Haar projectionWriting ${\omega }_f(s)={\sup }_{\mathrm{dist}(x,y)\le s}|f(x)-f(y)|$ for the modulus of continuity, the cell-average formula yieldsFor a detail on a cell $I$, its integral is zero. Subtracting $f(x_I)$ for any $x_I\in I$ therefore gives the coefficient estimateIn particular $|c_I|\le 2\Vert f{\Vert }_{\infty }\sqrt{\ell }$, so for every $\delta >0$ only finitely many details can have $|c_I|\ge \delta$. The hard-threshold sumis thus a well-defined finite sum. Its chosen details need not form a complete set of levels; this is why convergence of the Haar projections alone does not prove the result.

Fix $\eta >0$. Choose $J\ge 1$ so that ${\omega }_f(L{2}^{-J})\le \eta$. All finer details satisfy $|c_I|\le \eta \sqrt{L}{2}^{-j/2}$ at level $j\ge J$. For sufficiently small $\delta$, every nonzero coefficient at levels below $J$, and the constant coefficient if nonzero, is retained. Also choose the unique integer $K\ge J$ such thatFor $j>K$ we have $|c_I|\le \eta \sqrt{L}{2}^{-j/2}<\delta$, so no such detail is retained. Consequently $T_{\delta }f$ differs from $A_{K+1}f$ only by omitted details at levels $J$ through $K$. At any point there is at most one supported detail per level, and an omitted detail has magnitude at most $\delta /\sqrt{L{2}^{-j}}$. The geometric bound for omitted Haar details givesSince $\Vert A_{K+1}f-f{\Vert }_{\infty }\le \eta$, we concludeThe right side can be made arbitrarily small, proving uniform hard-threshold convergence of normalized Haar expansions:The square-root scaling imposed by the specified $L^2$ normalization is what makes the omitted contributions a controlled geometric series.