沃尔什函数

沃尔什函数

拉德马赫函数

正弦波分频后进行比较，输出的矩形波引出Rademacher 函数（拉德马赫函数）。定义为：
$$R(k,t)=sgn(sin(2^k\pi t))k=0,1,2,.....$$
其中sgn是正负号函数：
$$sgn(x)=\{\begin{array}{l}1,x>0\\ -1,x<0\end{array}$$
当x= 0 是，sng无定义。
R(k, t)的定义域为[0，1）那么拉德马赫函数的图像如下图：

函数中2^k 相当于对方波进行分频。将周期[0,1) 分成2^k 份。在后半周期函数值为-1；
尝试R(K,T)，它是一组正交基函数。
将拉德马赫函数周期延拓，它是奇对称函数，无法表示偶函数，所以它不是一组完备正交基函数。它只是沃尔什函数一个子集。有拉德马赫函数可以引出沃尔什函数。

沃尔什函数

正数n可以由二进制表示
$$n=\sum _{k=0}^{m-1}{n}_k{2}^k{n}_k=0or1$$
定义沃尔什函数WAL_p(n,t):
$$WA{L}_p(n,t)=\prod _{k=0}^{m-1}R(k+1,t{)}^{n_k}t\in [0,1)$$
R(k,t)是拉德马赫函数, m是能够表示n的二进制位数。

例：
$$9=1\ast 2^3+0\ast 2^2+0\ast 2^1+1\ast 2^0$$
$$WA{L}_p(9,t)=R(1,t)R(4,t)$$

前16个沃尔什函数：

沃尔什函数指数形式

把t 属于[0, 1), 用指数形式表示：
$$t=\sum _{j=1}^{+\infty }{t}_j{2}^{-j}{t}_j=0or1$$

则上边的拉德马赫函数可以表示为一下形式：
$$\{\begin{array}{l}R(0,t)=1\\ R(k,t)=(-1{)}^{t_k}t=1,2,3,....\end{array}$$

可以将t的指数形式带入拉德马赫函数的定义式中得到这个结果。
$$sin(\pi 2^k\ast \sum _{j=1}^{+\infty }{t}_j{2}^{-j})=sin(\pi \sum _{j=1}^{+\infty }{t}_j{2}^{k-j})$$
$$=sin(\pi \ast (\sum _{j=1}^{k-1}{t}_j{2}^{k-j}+t_k+\sum _{j=k+1}^{+\infty }{t}_j{2}^{k-j}))$$
$$=sin(\pi \ast (\sum _{j=1}^{k-1}{t}_{k-j}{2}^j+t_k+\sum _{j=1}^{+\infty }{t}_{j+k}{2}^{-j}))$$
上式中括号内的三项，第一项始终是2的倍数，第三项始终小于1，t_k 取值为0或者1，所以内括号的取值在（0,1）或者（1,2）完全有t_k的值决定。有
$$R(k,t)=\{\begin{array}{l}1,t_k=1\\ 0,t_k=0\end{array}\to R(k,t)=(-1{)}^{t_k}$$
t_k就是二进制小数点后第k位的值。
带入沃尔什函数的定义式得到指数形式的表示：
$$WA{L}_p(n,t)=(-1{)}^{{\sum }_{k=0}^{m-1}{n}_k{t}_{k+1}}$$
n确定m和n_k的值。t_k就是上面的定义。