On generalized uniqueness theorems for Walsh series (Q793932)

We prove some uniqueness theorems for Walsh series using dyadic measure theory. Theorem 1: If a Walsh series \((1)\quad \sum^{\infty}_{k=0}{\hat \mu}(k)w_ k(x)\) satisfies \((2)\quad \lim \inf_{n\to \infty}| 1/2^ n\sum^{2^ n-1}_{k=0}{\hat \mu}(k)w_ k(x)| =0\) everywhere and \(\lim \inf_{n\to \infty}| \sum^{2^ n-1}_{k=0}{\hat \mu}(k)w_ k(x)| =0\) everywhere except on a countable set, then \({\hat \mu}\)(k)\(=0\) for all k. Theorem 2: If a Walsh series (1) and \[ \lim \inf_{n\to \infty}\sum^{2^ n-1}_{k=0}{\hat \mu}(k)w_ k(x)\leq 0\leq \lim \sup_{n\to \infty}\sum^{2^ n-1}_{k=0}{\hat \mu}(k)w_ k(x) \] everywhere except on a countable set, then \({\hat \mu}\)(k)\(=0\) for all k. Theorem 3: If a Walsh series (1) satisfies (2), \(\sup_{n}| \sum^{2^ n-1}_{k=0}{\hat \mu}(k)w_ k(x)|<\infty\) everywhere except on a countable set and \(\lim \inf_{n\to \infty}| \sum^{2^ n-1}_{k=0}{\hat \mu}(k)w_ k(x)| =0\) everywhere, then \({\hat \mu}\)(k)\(=0\) for all k.