Construction of Periodic Wavelet Frames Generated by the Walsh Polynomials

Abstract

An explicit method for the construction of a tight wavelet frame generated by the Walsh polynomials with the help of extension principles was presented by Shah (Shah, 2013). In this article, we extend the notion of wavelet frames to periodic wavelet frames generated by the Walsh polynomials on ${\mathbb{R}}^{+}$ by using extension principles. We first show that under some mild conditions, the periodization of any wavelet frame constructed by the unitary extension principle is still a periodic wavelet frame on ${\mathbb{R}}^{+}$. Then, we construct a pair of dual periodic wavelet frames generated by the Walsh polynomials on ${\mathbb{R}}^{+}$ using the machinery of the mixed extension principle and Walsh–Fourier transforms.

1. Introduction

Wavelet frames have gained considerable popularity during the past decade, primarily due to their substantiated applications in diverse and widespread fields of engineering and science. One of the most useful methods to construct wavelet frames is through the concept of the unitary extension principle (UEP) introduced by Ron and Shen [1] and was subsequently extended by Daubechies et al. [2] in the form of the oblique extension principle (OEP). They give sufficient conditions for constructing tight wavelet frames for any refinable function $\varphi \left(x\right)$ that generates a multiresolution analysis. The resulting wavelet frames are based on multiresolution analysis, and the generators are often called framelets. These methods of construction of wavelet frames are generalized from one dimension to higher dimensions, tight frames to dual frames, from a single scaling function to a scaling function vector. More importantly, the setup of tight wavelet frames provides great flexibility in approximating and representing periodic functions. Using periodization techniques, Zhang [3] constructed a dual pair of periodic wavelet frames for $L^2[0,1]$ under the assumption that the support of the wavelet function ψ in the frequency domain is contained in $[-\pi ,-\epsilon ]\cup [\epsilon ,\pi ],\epsilon >0$. Later on, Zhang and Saito [4] constructed general periodic wavelet frames using extension principles. More precisely, they proved that under some decay conditions, the periodization of any wavelet frame constructed by the unitary extension principle is a periodic wavelet frame, and the periodization of any pair of dual wavelet frames constructed by the mixed extension principle is a pair of dual periodic wavelet frames. To mention only a few references on wavelet frames, the reader is referred to [5,6,7,8] and the many references therein.

The past decade has also witnessed a tremendous interest in the problem of constructing compactly-supported orthonormal scaling functions and wavelets with an arbitrary dilation factor $p\ge 2,p\in \mathbb{N}$ (see Debnath and Shah [9]). The motivation comes partly from signal processing and numerical applications, where such wavelets are useful in image compression and feature extraction, because of their small support and multifractal structure. Lang [10] constructed several examples of compactly-supported wavelets for the Cantor dyadic group by following the procedure of Daubechies [11] via scaling filters, and these wavelets turn out to be certain lacunary Walsh series on the real line. Kozyrev [12] found a compactly-supported p-adic wavelet basis for $L^2\left({\mathbb{Q}}_p\right)$, which is an analog of the Haar basis. The concept of multiresolution analysis on a positive half-line ${\mathbb{R}}^{+}$ was recently introduced by Farkov [13]. He pointed out a method for constructing compactly-supported orthogonal p-wavelets related to the Walsh functions and proved necessary and sufficient conditions for scaling filters with $p^n$ many terms ($p,n\ge 2)$ to generate a p-MRAin $L^2\left({\mathbb{R}}^{+}\right)$. Subsequently, dyadic wavelet frames on the positive half-line ${\mathbb{R}}^{+}$ were constructed by Shah and Debnath in [14] using the machinery of Walsh–Fourier transforms. They have established necessary and sufficient conditions for the system $\left\{{\psi }_{j,k}\left(x\right)=2^{j/2}\psi (2^{j}x\ominus k):j\in \mathbb{Z},k\in {\mathbb{Z}}^{+}\right\}$ to be a frame for $L^2\left({\mathbb{R}}^{+}\right)$. Wavelet packets and wavelet frame packets related to the Walsh polynomials were deeply investigated by Shah and Debnath in [14,15]. Recent results in this direction can also be found in [16,17] and the references therein.

Recently, Shah [18] established a unitary extension principle for constructing normalized tight wavelet frames generated by the Walsh polynomials on ${\mathbb{R}}^{+}$. Drawing inspiration from these wavelet frames, our aim is to extend the notion of wavelet frames to periodic wavelet frames on ${\mathbb{R}}^{+}$ by using extension principles. More precisely, we prove that under some mild conditions, the periodization of any wavelet frame constructed by the unitary extension principle is a periodic wavelet frame on a positive half-line ${\mathbb{R}}^{+}$. Furthermore, based on the mixed extension principle and Walsh–Fourier transforms of the wavelet frames, an explicitly-constructed method for a pair of dual periodic wavelet frames generated by the Walsh polynomials is also given.

This paper is organized as follows. In Section 2, we introduce some notations and preliminaries related to the operations on positive half-line ${\mathbb{R}}^{+}$, including the definitions of the Walsh–Fourier transform and MRA-based wavelet frames related to the Walsh polynomials. Section 3 and Section 4 state and prove our main results about periodic wavelet frames generated by the Walsh polynomials.

2. Walsh–Fourier Analysis and MRA-Based Wavelet Frames

We start this section with certain results on Walsh–Fourier analysis. We present a brief review of generalized Walsh functions, Walsh–Fourier transforms and their various properties.

As usual, let ${\mathbb{R}}^{+}=[0,+\infty ),{\mathbb{Z}}^{+}=\left\{0,1,2,\cdots \right\}$ and $\mathbb{N}={\mathbb{Z}}^{+}-\left\{0\right\}$. Denote by $\left[x\right]$ the integer part of x. Let p be a fixed natural number greater than one. For $x\in {\mathbb{R}}^{+}$ and any positive integer j, we set:

$$x_j=\left[p^{j}x\right]\left(\text{mod}p\right),x_{-j}=\left[p^{1-j}x\right]\left(\text{mod}p\right)$$

(1)

where $x_j,x_{-j}\in \left\{0,1,\cdots ,p-1\right\}$. Clearly, $x_j$ and $x_{-j}$ are the digits in the p-expansion of x:

$$x=\sum _{j<0}{x}_{-j}{p}^{-j-1}+\sum _{j>0}{x}_j{p}^{-j}$$

Moreover, the first sum on the right is always finite. Besides,

$$\left[x\right]=\sum _{j<0}{x}_{-j}{p}^{-j-1},\left\{x\right\}=\sum _{j>0}{x}_j{p}^{-j}$$

where $\left[x\right]$ and $\left\{x\right\}$ are, respectively, the integral and fractional parts of x.

Consider on ${\mathbb{R}}^{+}$ the addition defined as follows:

$$x\oplus y=\sum _{j<0}{\zeta }_j{p}^{-j-1}+\sum _{j>0}{\zeta }_j{p}^{-j}$$

with ${\zeta }_j=x_j+y_j\left(\text{mod}p\right),j\in \mathbb{Z}\setminus \left\{0\right\}$, where ${\zeta }_j\in \left\{0,1,\cdots ,p-1\right\}$ and $x_j,y_j$ are calculated by Equation (1). Clearly, $[x\oplus y]=\left[x\right]\oplus \left[y\right]$ and $\left\{x\oplus y\right\}=\left\{x\right\}\oplus \left\{y\right\}$. As usual, we write $z=x\ominus y$ if $z\oplus y=x$, where ⊖ denotes subtraction modulo p in ${\mathbb{R}}^{{}^{+}}$.

Let ${\epsilon }_p=\text{exp}(2\pi i/p)$; we define a function $r_0\left(x\right)$ on $[0,1)$ by:

$${\displaystyle r_0\left(x\right)=\left\{{\displaystyle \begin{array}{c}1,\text{if}x\in [0,1/p)\hfill \\ {\epsilon }_p^{\ell },\text{if}x\in \left[\ell p^{-1},(\ell +1)p^{-1}\right),\ell =1,2,\cdots ,p-1\hfill \end{array}}\right.}$$

The extension of the function $r_0$ to ${\mathbb{R}}^{+}$ is given by the equality $r_0(x+1)=r_0\left(x\right),\forall x\in {\mathbb{R}}^{+}$. Then, the system of generalized Walsh functions $\left\{w_m\left(x\right):m\in {\mathbb{Z}}^{+}\right\}$ on $[0,1)$ is defined by:

$${\displaystyle w_0\left(x\right)\equiv 1\text{and}{w}_m\left(x\right)=\prod _{j=0}^k{\left(r_0\left(p^{j}x\right)\right)}^{{\mu }_j}}$$

where $m={\sum }_{j=0}^k{\mu }_j{p}^j,{\mu }_j\in \left\{0,1,\cdots ,p-1\right\},{\mu }_k\ne 0.$ They have many properties similar to those of the Haar functions and trigonometric series and form a complete orthogonal system. Further, by a Walsh polynomial, we shall mean a finite linear combination of Walsh functions.

For $x,y\in {\mathbb{R}}^{{}^{+}}$, let:

$$\chi (x,y)=\text{exp}\left(\frac{2\pi i}{p}\sum _{j=1}^{\infty }(x_j{y}_{-j}+x_{-j}{y}_j)\right)$$

(2)

where $x_j,y_j$ are given by Equation (1).

We observe that:

$$\chi \left(x,{\displaystyle \frac{m}{p^n}}\right)=\chi \left({\displaystyle \frac{x}{p^n}},m\right)=w_m\left({\displaystyle \frac{x}{p^n}}\right),\forall x\in [0,p^n),m,n\in {\mathbb{Z}}^{+}$$

and:

$$\chi (x\oplus y,z)=\chi (x,z)\chi (y,z),\chi (x\ominus y,z)=\chi (x,z)\overline{\chi (y,z)}$$

where $x,y,z\in {\mathbb{R}}^{+}$ and $x\oplus y$ is p-adic irrational. It is well known that systems ${\left\{\chi (\alpha ,.)\right\}}_{\alpha =0}^{\infty }$ and ${\left\{\chi (·,\alpha )\right\}}_{\alpha =0}^{\infty }$ are orthonormal bases in $L^2$ [0,1] (see Golubov et al. [19]).

The Walsh–Fourier transform of a function $f\in L^1\left({\mathbb{R}}^{+}\right)\cap L^2\left({\mathbb{R}}^{+}\right)$ is defined by:

$$\widehat{f}\left(\xi \right)={\int }_{{\mathbb{R}}^{+}}f\left(x\right)\overline{\chi (x,\xi )}dx$$

(3)

where $\chi (x,\xi )$ is given by Equation $\left(2\right)$. The Walsh–Fourier operator $\mathcal{F}:L^1\left({\mathbb{R}}^{+}\right)\cap L^2\left({\mathbb{R}}^{+}\right)\to L^2\left({\mathbb{R}}^{+}\right)$, $\mathcal{F}f=\widehat{f}$, extends uniquely to the whole space $L^2\left({\mathbb{R}}^{+}\right)$. The properties of the Walsh–Fourier transform are quite similar to those of the classic Fourier transform (see [19,20]). In particular, if $f\in L^2\left({\mathbb{R}}^{+}\right)$, then $\widehat{f}\in L^2\left({\mathbb{R}}^{+}\right)$ and:

$${∥\widehat{f}∥}_{L^{{}^2}\left({\mathbb{R}}^{+}\right)}=\parallel f{\parallel }_{L^2\left({\mathbb{R}}^{+}\right)}$$

Moreover, if $f\in L^2[0,1]$, then we can define the Walsh–Fourier coefficients of f as:

$$\widehat{f}\left(n\right)={\int }_0^{1}f\left(x\right)\overline{w_n\left(x\right)}dx$$

The series ${\sum }_{n\in {\mathbb{Z}}^{+}}\widehat{f}\left(n\right)w_n\left(x\right)$ is called the Walsh–Fourier series of f. Therefore, from the standard $L^2$-theory, we conclude that the Walsh–Fourier series of f converges to f in $L^2[0,1]$, and Parseval’s identity holds:

$$\parallel f{\parallel }_2^2={\int }_0^1|f\left(x\right){|}^{2}dx=\sum _{n\in {\mathbb{Z}}^{+}}{\left|\widehat{f}\left(n\right)\right|}^2$$

(4)

By p-adic interval $I\subset {\mathbb{R}}^{+}$ of range n, we mean intervals of the form:

$$I=I_n^k=\left[k{p}^{-n},(k+1)p^{-n}\right),k\in {\mathbb{Z}}^{+}$$

The p-adic topology is generated by the collection of p-adic intervals, and each p-adic interval is both open and closed under the p-adic topology (see [19]). The family $\left\{[0,p^{-j}):j\in \mathbb{Z}\right\}$ forms a fundamental system of the p-adic topology on ${\mathbb{R}}^{+}$. Therefore, the generalized Walsh functions $w_j\left(x\right),0\le j\le p^n-1$, assume constant values on each p-adic interval $I_n^k$ and, hence, continuous on these intervals. Thus, $w_j\left(x\right)=1$ for $x\in I_n^0$.

Let ${\mathcal{E}}_n\left({\mathbb{R}}^{+}\right)$ be the space of p-adic entire functions of order n, that is the set of all functions that are constant on all p-adic intervals of range n. Thus, for every $f\in {\mathcal{E}}_n\left({\mathbb{R}}^{+}\right)$, we have:

$$f\left(x\right)=\sum _{k\in {\mathbb{Z}}^{+}}f\left(p^{-n}k\right){\chi }_{I_n^k}\left(x\right),x\in {\mathbb{R}}^{+}$$

Clearly, each Walsh function of order up to $p^{n-1}$ belongs to ${\mathcal{E}}_n\left({\mathbb{R}}^{+}\right)$. The set $\mathcal{E}\left({\mathbb{R}}^{+}\right)$ of p-adic entire functions on ${\mathbb{R}}^{+}$ is the union of all of the spaces ${\mathcal{E}}_n\left({\mathbb{R}}^{+}\right)$. It is clear that $\mathcal{E}\left({\mathbb{R}}^{+}\right)$ is dense in $L^p\left({\mathbb{R}}^{+}\right),1\le p<\infty$, and each function in $\mathcal{E}\left({\mathbb{R}}^{+}\right)$ is of compact support.

For $j\in {\mathbb{N}}_0$, let ${\mathcal{N}}_j$ denote a full collection of coset representatives of ${\mathbb{Z}}^{+}/p^j{\mathbb{Z}}^{+}$, i.e.,

$${\mathcal{N}}_j=\left\{0,1,2,\cdots ,p^j-1\right\},j\ge 0$$

(5)

Then, ${\mathbb{Z}}^{+}={\bigcup }_{n\in {\mathcal{N}}_j}\left(n+p^j{\mathbb{Z}}^{+}\right)$, and for any distinct $n_1,n_2\in {\mathcal{N}}_j$, we have $\left(n_1+p^j{\mathbb{Z}}^{+}\right)\cap \left(n_2+p^j{\mathbb{Z}}^{+}\right)=\varnothing .$ Thus, every non-negative integer k can uniquely be written as $k=r{p}^j+s$, where $r\in {\mathbb{Z}}^{+},s\in {\mathcal{N}}_j$. Further, a bounded function $g:{\mathbb{R}}^{+}\to {\mathbb{R}}^{+}$ is said to be a radially-decreasing $L^1$-majorant of $f\left(x\right)\in L^2\left({\mathbb{R}}^{+}\right)$ if $\left|f\left(x\right)\right|\le g\left(x\right),g\in L^1\left({\mathbb{R}}^{+}\right)$, and $g\left(0\right)<\infty .$

For $j\in \mathbb{Z}$ and $y\in {\mathbb{R}}^{+}$, we define the dilation $D_j$ and translation operators $T_y$ as follows:

$$D_{j}f\left(x\right)=p^{j/2}f\left(p^{j}x\right)\text{and}{T}_{y}f\left(x\right)=f(x\ominus y),f\in L^2\left({\mathbb{R}}^{+}\right)$$

(6)

For given $\mathsf{\Psi }:=\left\{{\psi }_1,\cdots ,{\psi }_L\right\}\subset L^2\left({\mathbb{R}}^{+}\right)$, define the wavelet system:

$$\mathcal{F}\left(\mathsf{\Psi }\right)=\left\{{\psi }_{\ell ,j,k}\left(x\right):=p^{j/2}{\psi }_{\ell }(p^{j}x\ominus k),j\in \mathbb{Z},k\in {\mathbb{Z}}^{+},\ell =1,2,\cdots ,L\right\}$$

(7)

The wavelet system $\mathcal{F}\left(\mathsf{\Psi }\right)$ is called a wavelet frame, if there exist positive constants A and B, such that:

$$A\parallel f{\parallel }_2^2\le \sum _{\ell =1}^L\sum _{j\in \mathbb{Z}}\sum _{k\in {\mathbb{Z}}^{+}}{\left|〈f,{\psi }_{\ell ,j,k}〉\right|}^2\le B\parallel f{\parallel }_2^2$$

(8)

holds for every $f\in L^2\left({\mathbb{R}}^{+}\right)$, and we call the optimal constants A and B the lower frame bound and the upper frame bound, respectively. A tight wavelet frame refers to the case when $A=B$, and a Parseval wavelet frame refers to the case when $A=B=1$. On the other hand, if only the right-hand side of the above double inequality holds, then we say $\mathcal{F}\left(\mathsf{\Psi }\right)$ is a Bessel sequence. If both $\mathcal{F}\left(\mathsf{\Psi }\right)$ and $\mathcal{F}\left(\tilde{\mathsf{\Psi }}\right)$ are wavelet frames and for any $f\in L^2\left({\mathbb{R}}^{+}\right)$, we have the reconstruction formula:

$$f=\sum _{\ell =1}^L\sum _{j\in \mathbb{Z}}\sum _{k\in {\mathbb{Z}}^{+}}〈f,{\tilde{\psi }}_{\ell ,j,k}〉{\psi }_{\ell ,j,k}$$

(9)

in the $L^2$-sense; then, we say that $\mathcal{F}\left(\tilde{\mathsf{\Psi }}\right)$ is a dual wavelet frame of $\mathcal{F}\left(\mathsf{\Psi }\right)$ (and vice versa), or we simply say that ($\mathcal{F}\left(\mathsf{\Psi }\right),\mathcal{F}\left(\tilde{\mathsf{\Psi }}\right)$) is a pair of dual framelets.

Wavelets and tight wavelet frames are often derived from refinable functions and wavelet masks. A compactly supported function $\varphi \left(x\right)\in L^2\left({\mathbb{R}}^{+}\right)$ is called a p-refinable function, if it satisfies an equation of the type:

$$\varphi \left(x\right)=p\sum _{k=0}^{p^n-1}{c}_k\varphi (px\ominus k),x\in {\mathbb{R}}^{+}$$

(10)

where $c_k$ are complex coefficients. In the Fourier domain, the above refinement equation can be written as:

$$\widehat{\varphi }\left(\xi \right)=h_0\left({\displaystyle \frac{\xi }{p}}\right)\widehat{\varphi }\left({\displaystyle \frac{\xi }{p}}\right)$$

(11)

where:

$$h_0\left(\xi \right)=\sum _{k=0}^{p^n-1}{c}_k\overline{w_k\left(\xi \right)}$$

(12)

is a generalized Walsh polynomial, which is called the mask or symbol of the p-refinable function ϕ and is of course a p-adic step function. Observe that $w_k\left(0\right)=\widehat{\varphi }\left(0\right)=1$. By letting $\xi =0$ in Equations $\left(11\right)$ and $\left(12\right)$, we obtain ${\sum }_{k=0}^{p^n-1}{c}_k=1$. Since ϕ is compactly supported and in fact $\text{supp}\varphi \subset [0,p^{n-1})$, therefore $\widehat{\varphi }\in {\mathcal{E}}_{n-1}\left({\mathbb{R}}^{+}\right)$, and hence, as a result, $\widehat{\varphi }\left(\xi \right)=1$ for all $\xi \in [0,p^{1-n})$ as $\widehat{\varphi }\left(0\right)=1$.

Suppose $\mathsf{\Psi }=\left\{{\psi }_1,\cdots ,{\psi }_L\right\}$ is a set of p-MRA functions derived from:

$${\widehat{\psi }}_{\ell }\left(\xi \right)=h_{\ell }\left({\displaystyle \frac{\xi }{p}}\right)\widehat{\varphi }\left({\displaystyle \frac{\xi }{p}}\right)$$

(13)

where:

$$h_{\ell }\left(\xi \right)=\sum _{k=0}^{p^n-1}{d}_k^{\ell }\overline{w_k\left(\xi \right)},\ell =1,\cdots ,L$$

(14)

are the generalized Walsh polynomials, called the framelet symbols or wavelet masks. With $h_{\ell }\left(\xi \right),\ell =0,1,\cdots ,L,L\ge p-1$ as the Walsh polynomials (wavelet masks), we formulate the matrix $\mathcal{M}\left(\xi \right)$ as:

$$\mathcal{M}\left(\xi \right)=\left(\begin{array}{cccc}{h}_0\left(\xi \right)& h_0(\xi \oplus 1/p)& \cdots & h_0(\xi \oplus (p-1)/p)\\ h_1\left(\xi \right)& h_1(\xi \oplus 1/p)& \cdots & h_1(\xi \oplus (p-1)/p)\\ ⋮& ⋮& \ddots & ⋮\\ h_L\left(\xi \right)& h_L(\xi \oplus 1/p)& \cdots & h_L(\xi \oplus (p-1)/p)\end{array}\right)$$

(15)

The so-called unitary extension principle (UEP) provides a sufficient condition on $\mathsf{\Psi }=\left\{{\psi }_1,\cdots ,{\psi }_L\right\}$, such that the wavelet system $\mathcal{F}\left(\mathsf{\Psi }\right)$ given by Equation (7) constitutes a tight frame for $L^2\left({\mathbb{R}}^{+}\right)$. It is well known that in order to apply the UEP to derive a wavelet tight frame from a given refinable function, the corresponding refinement mask must satisfy:

$$\sum _{k=0}^{p-1}{\left|h_0\left(\xi \oplus k/p\right)\right|}^2\le 1,\xi \in {\mathbb{R}}^{+}$$

(16)

Recently, Shah [18] has given a general procedure for the construction of tight wavelet frames generated by the Walsh polynomials using unitary extension principles as:

Theorem 2.1: Let $\varphi \left(x\right)$ be a compactly-supported refinable function, and $\widehat{\varphi }\left(0\right)=1$. Then, the wavelet system $\mathcal{F}\left(\mathsf{\Psi }\right)$ given by (7) constitutes a Parseval frame in $L^2\left({\mathbb{R}}^{+}\right)$ provided the matrix $\mathcal{M}\left(\xi \right)$ as defined in Equation (15) satisfies:

$$\mathcal{M}\left(\xi \right){\mathcal{M}}^{*}\left(\xi \right)=I_p,\text{for}a.e.\xi \in \sigma \left(V_0\right)$$

(17)

where $\sigma \left(V_0\right):=\left\{\xi \in [0,1]:{\sum }_{k\in {\mathbb{Z}}^{+}}{\left|\widehat{\varphi }\left(\xi \oplus k\right)\right|}^2\ne 0\right\}.$

3. Periodic Wavelet Frames Related to the Walsh Polynomials

For any $f\in L^1\left({\mathbb{R}}^{+}\right)$, we define the periodic version of f as:

$$f^{\text{per}}=\sum _{k\in {\mathbb{Z}}^{+}}f(x\oplus k)$$

Then, it is easy to verify that $f^{\text{per}}$ is a well-defined locally-integrable function. With the same dilation and translation operators as in Equation (6), we define the periodic wavelet system as:

$$\mathcal{F}\left({\mathsf{\Psi }}^{\text{per}}\right):=\left\{{\varphi }^{\text{per}},{\psi }_{\ell ,j,k}^{\text{per}}:1\le \ell \le L,j\in {\mathbb{Z}}^{+},k\in {\mathcal{N}}_j\right\}$$

(18)

First, we present an approach for constructing periodic wavelet frames generated by the Walsh polynomials on ${\mathbb{R}}^{+}$ via the unitary extension principle (UEP). The following theorem is the main result of this section.

Theorem 3.1: Let $h_0,h_1,\cdots ,h_L$ be the Walsh polynomials given by Equations (12) and (14), and let the wavelet system $\mathcal{F}\left(\mathsf{\Psi }\right)$ given by Equation (7) form a Parseval wavelet frame generated by the compactly-supported p-refinable function ϕ. If $\left\{\varphi ,{\psi }_1,\cdots ,{\psi }_L\right\}\subset L^1\left({\mathbb{R}}^{+}\right)\cap L^2\left({\mathbb{R}}^{+}\right)$ and $\varphi ,{\psi }_1,{\psi }_2,\cdots ,{\psi }_L$ have a common radial decreasing $L^1$-majorant, then the periodic wavelet system $\mathcal{F}\left({\mathsf{\Psi }}^{\text{per}}\right)$ given by Equation (18) generates a Parseval wavelet frame for $L^2[0,1]$.

We split the proof of Theorem 3.1 into several lemmas.

Lemma 3.2: Suppose that the periodic wavelet system $\mathcal{F}\left({\mathsf{\Psi }}^{\text{per}}\right)$ is as in Theorem 3.1. Then, for any function $f\in \mathcal{E}[0,1)$ and given $\delta >0$, there exists a positive integer $J\in \mathbb{N}$, such that:

$$(1-\delta )\parallel f{\parallel }_2^2\le \sum _{k\in {\mathcal{N}}_j}{\left|〈f,{\varphi }_{j,k}^{\text{per}}〉\right|}^2\le (1+\delta )\parallel f{\parallel }_2^2,\text{for}\text{all}j\ge J$$

(19)

Proof: Let S denote the support of the Walsh–Fourier coefficients ${\left\{\widehat{f}\left(n\right)\right\}}_{n\in {\mathbb{Z}}^{+}}$. Then, we have:

$$f\left(x\right)=\sum _{n\in S}\widehat{f}\left(n\right)\overline{w_n\left(x\right)}$$

Let:

$${\varphi }_{j,k}^{\text{per}}\left(x\right)=\sum _{n\in {\mathbb{Z}}^{+}}{\widehat{\varphi }}_{j,k}^{\text{per}}\left(n\right)\overline{w_n\left(x\right)}$$

(20)

where the Walsh–Fourier coefficients of the above series are given by:

$${\widehat{\varphi }}_{j,k}^{\text{per}}\left(n\right)=p^{-j/2}\widehat{\varphi }\left(p^{-j}n\right)\overline{w_k\left(p^{-j}n\right)}$$

(21)

Applying Parseval’s formula to the above Walsh–Fourier series, we obtain:

$$\begin{array}{ccc}\hfill {\displaystyle \sum _{k\in {\mathcal{N}}_j}{\left|〈f,{\varphi }_{j,k}^{\text{per}}〉\right|}^2}& =& {\displaystyle \sum _{k\in {\mathcal{N}}_j}|\sum _{n\in S}\widehat{f}\left(n\right)\overline{{\widehat{\varphi }}_{j,k}^{\text{per}}\left(n\right)}{|}^2}\hfill \\ \\ & =& {\displaystyle \sum _{k\in {\mathcal{N}}_j}|\sum _{n\in S}\widehat{f}\left(n\right)p^{-j/2}\overline{\widehat{\varphi }\left(p^{-j}n\right)}{w}_k\left(p^{-j}n\right){|}^2}\hfill \\ \\ & =& {\displaystyle \sum _{k\in {\mathcal{N}}_j}|\sum _{n\in S}{d}_n\left(\widehat{f},\widehat{\varphi }\right)w_k\left(p^{-j}n\right){|}^2}\hfill \end{array}$$

where $d_n\left(\widehat{f},\widehat{\varphi }\right)=p^{-j/2}\widehat{f}\left(n\right)\overline{\widehat{\varphi }\left(p^{-j}n\right)}.$ As S is a finite set, there exists a positive number N, such that $S\subseteq D\left(N\right)=\left\{k\in {\mathbb{Z}}^{+}:\left|k\right|\le N\right\}.$ Hence, there exists $J_1\ge 0$, such that for all $j\ge J_1$, the elements of $D\left(N\right)$ lie in different cosets of ${\mathbb{Z}}^{+}/p^j{\mathbb{Z}}^{+}$ (see [13]). Thus, the cardinality of $\mathcal{E}\left({\mathbb{R}}^{+}\right)\bigcap (k+p^j{\mathbb{Z}}^{+})$ is at most one for each $j\ge J_1,k\in {\mathcal{N}}_j$. Consequently, we have:

$$\begin{array}{ccc}\hfill {\displaystyle \sum _{k\in {\mathcal{N}}_j}{\left|〈f,{\varphi }_{j,k}^{\text{per}}〉\right|}^2}& =& {\displaystyle \sum _{k\in {\mathcal{N}}_j}\sum _{m\in S}{d}_m\left(\widehat{f},\widehat{\varphi }\right)w_k\left(p^{-j}m\right)\sum _{n\in S}\overline{d_n\left(\widehat{f},\widehat{\varphi }\right)w_k\left(p^{-j}n\right)}}\hfill \\ \\ & =& {\displaystyle \sum _{m\in S}\sum _{n\in S}{d}_m\left(\widehat{f},\widehat{\varphi }\right)\overline{d_n\left(\widehat{f},\widehat{\varphi }\right)}\sum _{k\in {\mathcal{N}}_j}{w}_k\left(p^{-j}(m-n)\right)}\hfill \\ \\ & =& {\displaystyle p^{-j}\sum _{n\in S}|d_n\left(\widehat{f},\widehat{\varphi }\right){|}^2}\hfill \\ \\ & =& {\displaystyle \sum _{n\in S}|p^{-j/2}\widehat{f}\left(n\right)\overline{\widehat{\varphi }\left(p^{-j}n\right)}{|}^2}\hfill \end{array}$$

Since $\widehat{\varphi }\left(0\right)={lim}_{\xi \to 0}\widehat{\varphi }\left(\xi \right)=1$, therefore there exists a non-negative integer $J_2$, such that:

$$\left(1-\delta \right)\le {\left|\widehat{\varphi }\left(p^{-j}n\right)\right|}^2\le \left(1+\delta \right),\text{for}\text{all}j\ge J_2$$

Let $J=max\{J_1,J_2\}$, then with this choice of $j\ge J$, we obtain:

$$\left(1-\delta \right)\sum _{n\in S}{\left|\widehat{f}\left(n\right)\right|}^2\le \sum _{k\in {\mathcal{N}}_j}{\left|〈f,{\varphi }_{j,k}^{\text{per}}〉\right|}^2\le \left(1+\delta \right)\sum _{n\in S}{\left|\widehat{f}\left(n\right)\right|}^2$$

By using Equation (4), we have:

$$\left(1-\delta \right)\parallel f{\parallel }_2^2\le \sum _{k\in {\mathcal{N}}_j}{\left|〈f,{\varphi }_{j,k}^{\text{per}}〉\right|}^2\le \left(1+\delta \right)\parallel f{\parallel }_2^2$$

This completes the proof of Lemma 3.2. ☐

Lemma 3.3: Let $h_0\left(\xi \right)$ be the refinement mask of a compactly-supported refinable function ϕ of an MRA, and let $h_{\ell }\left(\xi \right),\ell =1,2,\cdots ,L$ be the wavelet masks. Moreover, if the wavelet system $\mathcal{F}\left(\mathsf{\Psi }\right)$ given by Equation (7) forms a normalized tight wavelet frame for $L^2\left({\mathbb{R}}^{+}\right)$, then for any $f\in L^2\left({\mathbb{R}}^{+}\right)$, we have:

$$\sum _{k\in {\mathbb{Z}}^{+}}{\left|〈f,{\varphi }_{j+1,k}〉\right|}^2=\sum _{k\in {\mathbb{Z}}^{+}}{\left|〈f,{\varphi }_{j,k}〉\right|}^2+\sum _{\ell =1}^L\sum _{k\in {\mathbb{Z}}^{+}}{\left|〈f,{\psi }_{\ell ,j,k}〉\right|}^2$$

(22)

Proof: For any $f\in L^2\left({\mathbb{R}}^{+}\right)$ and $j\in {\mathbb{Z}}^{+}$, define the linear operators $P_j$ and $Q_j$ as:

$$P_{j}f\left(x\right)=\sum _{k\in {\mathbb{Z}}^{+}}〈f,{\varphi }_{j,k}〉{\varphi }_{j,k}\left(x\right),Q_{j}f\left(x\right)=\sum _{\ell =1}^L\sum _{k\in {\mathbb{Z}}^{+}}〈f,{\psi }_{\ell ,j,k}〉{\psi }_{\ell ,j,k}\left(x\right)$$

(23)

Since $\mathcal{E}\left({\mathbb{R}}^{+}\right)$ is a dense subset of $L^2\left({\mathbb{R}}^{+}\right)$, it is sufficient to prove that:

$$〈P_{j}f,f〉+〈Q_{j}f,f〉=〈P_{j+1}f,f〉$$

(24)

holds for all of the functions f in $\mathcal{E}\left({\mathbb{R}}^{+}\right)$. Therefore, for all $f\in \mathcal{E}\left({\mathbb{R}}^{+}\right)$ and $j\in \mathbb{Z},k\in {\mathbb{Z}}^{+}$, we obtain the following equality by using Parseval’s formula:

$$\begin{array}{cc}\hfill 〈P_{j}f,f〉& =p^j{\int }_0^1{\left|\sum _{m\in {\mathbb{Z}}^{+}}\widehat{f}\left(p^j(\xi \oplus m)\right)\overline{\widehat{\varphi }(\xi \oplus m)}\right|}^{2}d\xi \hfill \\ \hfill & ={\int }_0^{p^j}{\left|\sum _{m\in {\mathbb{Z}}^{+}}\widehat{f}\left(\xi \oplus p^{j}m\right)\overline{\widehat{\varphi }\left(p^{-j}\xi \oplus m\right)}\right|}^{2}d\xi \hfill \end{array}$$

(25)

By taking advantage of the periodicity of the Walsh polynomial $h_0\left(\xi \right)$, we obtain:

$$\begin{array}{ccc}\hfill 〈P_{j}f,f〉& =& {\displaystyle {\int }_0^{p^j}{\left|\sum _{m\in {\mathbb{Z}}^{+}}\widehat{f}\left(\xi \oplus p^{j}m\right)\overline{\widehat{\varphi }\left(p^{-j-1}\xi \oplus p^{-1}m\right)}\overline{h_0\left(p^{-j-1}\xi \oplus p^{-1}m\right)}\right|}^{2}d\xi }\hfill \\ \\ & =& {\displaystyle {\int }_0^{p^j}\left|\sum _{m\in {\mathbb{Z}}^{+}}\sum _{n\in {\mathcal{N}}_1}\widehat{f}\left(\xi \oplus p^j\left(pm\oplus n\right)\right)\overline{\widehat{\varphi }\left(p^{-j-1}\xi \oplus p^{-1}\left(pm\oplus n\right)\right)}\right.}\hfill \\ & & {\left.\times \overline{h_0\left(p^{-j-1}\xi \oplus p^{-1}\left(pm\oplus n\right)\right)}\right|}^{2}d\xi \hfill \\ \hfill & =& {\displaystyle {\int }_0^{p^j}\left|\sum _{m\in {\mathbb{Z}}^{+}}\sum _{n\in {\mathcal{N}}_1}\widehat{f}\left(\xi \oplus p^j\left(pm\oplus n\right)\right)\overline{\widehat{\varphi }\left(p^{-j-1}\xi \oplus p^{-1}\left(pm\oplus n\right)\right)}\right.}\hfill \\ & & {\left.\times \overline{h_0\left(p^{-j-1}\xi \oplus p^{-1}n\right)}\right|}^{2}d\xi \hfill \\ \hfill & =& {\displaystyle {\int }_0^{p^j}{\left|\sum _{n\in {\mathcal{N}}_1}{R}_{f,\varphi }^j\left(n,\xi \right)\overline{h_0\left(p^{-j-1}\xi \oplus p^{-1}n\right)}\right|}^{2}d\xi }\hfill \end{array}$$

where:

$$R_{f,\varphi }^j\left(n,\xi \right)=\sum _{m\in {\mathbb{Z}}^{+}}\widehat{f}\left(\xi \oplus p^j\left(pm\oplus n\right)\right)\overline{\widehat{\varphi }\left(p^{-j-1}\xi \oplus p^{-1}\left(pm\oplus n\right)\right)}$$

Proceeding on similar lines as above, we can have:

$$〈Q_{j}f,f〉=\sum _{\ell =1}^L{\int }_0^{p^j}{\left|\sum _{n\in {\mathcal{N}}_1}{R}_{f,\varphi }^j\left(n,\xi \right)\overline{h_{\ell }\left(p^{-j-1}\xi \oplus p^{-1}n\right)}\right|}^{2}d\xi$$

Therefore, we have:

$$\begin{array}{c}〈P_{j}f,f〉+〈Q_{j}f,f〉\\ & =& {\displaystyle {\int }_0^{p^j}\left\{\sum _{n\in {\mathcal{N}}_1}{R}_{f,\varphi }^j\left(n,\xi \right)\overline{h_0\left(p^{-j-1}\xi \oplus p^{-1}n\right)}\right\}\overline{\left\{\sum _{n^{\prime }\in {\mathcal{N}}_1}{R}_{f,\varphi }^j\left(n^{\prime },\xi \right)\overline{h_0\left(p^{-j-1}\xi \oplus p^{-1}{n}^{\prime }\right)}\right\}}}\hfill \\ \\ & & {\displaystyle +\sum _{\ell =1}^L{\int }_0^{p^j}\left\{\sum _{n\in {\mathcal{N}}_1}{R}_{f,\varphi }^j\left(n,\xi \right)\overline{h_{\ell }\left(p^{-j-1}\xi \oplus p^{-1}n\right)}\right\}\overline{\left\{{\displaystyle \sum _{n^{\prime }\in {\mathcal{N}}_1}{R}_{f,\varphi }^j\left(n^{\prime },\xi \right)\overline{h_{\ell }\left(p^{-j-1}\xi \oplus p^{-1}{n}^{\prime }\right)}}\right\}}}\hfill \\ \\ & =& {\displaystyle {\int }_0^{p^j}\left\{\sum _{n\in {\mathcal{N}}_1}\sum _{n^{\prime }\in {\mathcal{N}}_1}{R}_{f,\varphi }^j\left(n,\xi \right)\overline{R_{f,\varphi }^j\left(n^{\prime },\xi \right)}\right\}\left\{\sum _{\ell =0}^L{h}_{\ell }\left(p^{-j-1}\xi \oplus p^{-1}{n}^{\prime }\right)\overline{h_{\ell }\left(p^{-j-1}\xi \oplus p^{-1}n\right)}\right\}}\hfill \end{array}$$

Since the UEP condition Equation (17) is equivalent to:

$$\sum _{\ell =0}^L{h}_{\ell }\left(p^{-j-1}\xi \oplus p^{-1}{n}^{\prime }\right)\overline{h_{\ell }\left(p^{-j-1}\xi \oplus p^{-1}n\right)}={\delta }_{n,n^{\prime }}$$

therefore, we have:

$$\begin{array}{ccc}\hfill 〈P_{j}f,f〉+〈Q_{j}f,f〉& =& {\displaystyle {\int }_0^{p^j}\sum _{n\in {\mathcal{N}}_1}{\left|R_{f,\varphi }^j\left(n,\xi \right)\right|}^{2}d\xi }\hfill \\ \\ & =& {\displaystyle {\int }_0^{p^j}\sum _{n\in {\mathcal{N}}_1}{\left|\sum _{m\in {\mathbb{Z}}^{+}}\widehat{f}\left(\xi \oplus p^j\left(pm\oplus n\right)\right)\overline{\widehat{\varphi }\left(p^{-j-1}\xi \oplus p^{-1}\left(pm\oplus n\right)\right)}\right|}^{2}d\xi }\hfill \\ \\ & =& {\displaystyle \sum _{n\in {\mathcal{N}}_1}{\int }_{p^{j}n}^{p^j(1+n)}{\left|\sum _{m\in {\mathbb{Z}}^{+}}\widehat{f}\left(\xi \oplus p^{j+1}m\right)\overline{\widehat{\varphi }\left(p^{-j-1}\xi \oplus m\right)}\right|}^{2}d\xi }\hfill \\ \\ & =& {\displaystyle {\int }_0^{p^{j+1}}{\left|\sum _{m\in {\mathbb{Z}}^{+}}\widehat{f}\left(\xi \oplus p^{j+1}m\right)\overline{\widehat{\varphi }\left(p^{-j-1}\xi \oplus m\right)}\right|}^{2}d\xi }\hfill \\ \\ & =& 〈P_{j+1}f,f〉\hfill \end{array}$$

and hence, we get the desired result. ☐

Lemma 3.4: Let $\varphi \in L^2\left({\mathbb{R}}^{+}\right)$ be a compactly-supported refinable function with refinement mask $h_0\left(\xi \right)$, and let the wavelet system $\mathcal{F}\left(\mathsf{\Psi }\right)$ given by Equation (7) constitute a Parseval wavelet frame for $L^2\left({\mathbb{R}}^{+}\right)$. Moreover, if $\left\{\varphi ,{\psi }_1,\cdots ,{\psi }_L\right\}\subset L^1\left({\mathbb{R}}^{+}\right)\cap L^2\left({\mathbb{R}}^{+}\right)$ and $\varphi ,{\psi }_1,{\psi }_2,\cdots ,{\psi }_L$ have a common radial decreasing $L^1$-majorant, then we have:

$$\sum _{k\in {\mathcal{N}}_j}{\left|〈f,{\varphi }_{j+1,k}^{\text{per}}〉\right|}^2=\sum _{k\in {\mathcal{N}}_j}{\left|〈f,{\varphi }_{j,k}^{\text{per}}〉\right|}^2+\sum _{\ell =1}^L\sum _{k\in {\mathcal{N}}_j}{\left|〈f,{\psi }_{\ell ,j,k}^{\text{per}}〉\right|}^2$$

(26)

Proof: For any $f\in \mathcal{E}\left({\mathbb{R}}^{+}\right)$ and $j\in {\mathbb{Z}}^{+}$, we have:

$$\sum _{k\in {\mathcal{N}}_j}{\left|〈f,{\varphi }_{j,k}^{\text{per}}〉\right|}^2=\sum _{k\in {\mathcal{N}}_j}|〈f,\sum _{n\in {\mathbb{Z}}^{+}}{\varphi }_{j,k}(x\oplus n)〉{|}^2=\sum _{k\in {\mathcal{N}}_j}|\sum _{n\in {\mathbb{Z}}^{+}}〈f,{\varphi }_{j,k}(x\oplus n)〉{|}^2$$

The change of the summation and the integration above is reasonable. In fact, we have:

$$\begin{array}{ccc}\hfill {\displaystyle \sum _{n\in {\mathbb{Z}}^{+}}{\int }_0^1\left|f\left(x\right)\overline{{\varphi }_{j,k}(x\oplus n)}\right|dx}& \le & {\displaystyle \parallel f{\parallel }_{L^{\infty }[0,1]}{\int }_{{\mathbb{R}}^{+}}\left|{\varphi }_{j,k}\left(x\right)\right|dx}\hfill \\ & =& {\displaystyle \parallel f{\parallel }_{L^{\infty }[0,1]}{p}^{-j/2}{\int }_{{\mathbb{R}}^{+}}\left|\varphi \left(x\right)\right|dx}\hfill \\ & <& \infty \hfill \end{array}$$

We can also deduce that the series:

$$\sum _{k\in {\mathcal{N}}_j}\sum _{m\in {\mathbb{Z}}^{+}}\sum _{n\in {\mathbb{Z}}^{+}}〈f,{\varphi }_{j,k}(x\oplus m)〉\overline{〈f,{\varphi }_{j,k}(x\oplus n)〉}$$

is absolutely convergent. Therefore, the series can be rearranged as follows:

$$\begin{array}{ccc}\hfill {\displaystyle \sum _{k\in {\mathcal{N}}_j}{\left|〈f,{\varphi }_{j,k}^{\text{per}}〉\right|}^2}& =& {\displaystyle \sum _{k\in {\mathcal{N}}_j}\sum _{m\in {\mathbb{Z}}^{+}}\sum _{n\in {\mathbb{Z}}^{+}}〈f,{\varphi }_{j,k}(x\oplus m)〉\overline{〈f,{\varphi }_{j,k}(x\oplus n)〉}}\hfill \\ \\ & =& {\displaystyle \sum _{k\in {\mathcal{N}}_j}\sum _{m\in {\mathbb{Z}}^{+}}\sum _{n\in {\mathbb{Z}}^{+}}〈f,{\varphi }_{j,k}(x\oplus m)〉\overline{〈f,{\varphi }_{j,k}(x\oplus m\oplus n)〉}}\hfill \end{array}$$

For $n\in {\mathbb{Z}}^{+}$, we define:

$$F_n\left(x\right)=f\left(x\right){\chi }_{[0,1]+n}\left(x\right)$$

where $\chi \left(x\right)$ is the characteristic function. Using the fact that ${\varphi }_{j,k}(x\oplus n)={\varphi }_{j,k-p^{j}n}\left(x\right)$, we have:

$$\begin{array}{ccc}\hfill {\displaystyle \sum _{k\in {\mathcal{N}}_j}{\left|〈f,{\varphi }_{j,k}^{\text{per}}〉\right|}^2}& =& {\displaystyle \sum _{k\in {\mathcal{N}}_j}\sum _{m\in {\mathbb{Z}}^{+}}\sum _{n\in {\mathbb{Z}}^{+}}\left\{{\int }_0^{1}f\left(x\right)\overline{{\varphi }_{j,k}(x\oplus m)}dx\right\}\overline{\left\{{\int }_0^{1}f\left(x\right)\overline{{\varphi }_{j,k}(x\oplus m\oplus n)}dx\right\}}}\hfill \\ \\ & =& {\displaystyle \sum _{k\in {\mathcal{N}}_j}\sum _{m\in {\mathbb{Z}}^{+}}\sum _{n\in {\mathbb{Z}}^{+}}\left\{{\int }_0^{1}f\left(x\right)\overline{{\varphi }_{j,k}(x\oplus m)}dx\right\}\overline{\left\{{\int }_0^{1+n}f\left(x\right)\overline{{\varphi }_{j,k}(x\oplus m)}dx\right\}}}\hfill \end{array}$$

$$\begin{array}{ccc}& =& {\displaystyle \sum _{k\in {\mathcal{N}}_j}\sum _{m\in {\mathbb{Z}}^{+}}\sum _{n\in {\mathbb{Z}}^{+}}\left\{{\int }_{{\mathbb{R}}^{+}}{F}_0\left(x\right)\overline{{\varphi }_{j,k}(x\oplus m)}dx\right\}\overline{\left\{{\int }_{{\mathbb{R}}^{+}}{F}_n\left(x\right)\overline{{\varphi }_{j,k}(x\oplus m)}dx\right\}}}\hfill \\ \\ & =& {\displaystyle \sum _{k\in {\mathcal{N}}_j}\sum _{m\in {\mathbb{Z}}^{+}}\sum _{n\in {\mathbb{Z}}^{+}}〈F_0,{\varphi }_{j,k-p^{j}m}〉\overline{〈F_n,{\varphi }_{j,k-p^{j}m}〉}}\hfill \\ \\ & =& {\displaystyle \sum _{k\in {\mathbb{Z}}^{+}}\sum _{n\in {\mathbb{Z}}^{+}}〈F_0,{\varphi }_{j,k}〉\overline{〈F_n,{\varphi }_{j,k}〉}}\hfill \end{array}$$

Similarly, for each $\ell =1,2,\cdots ,L$, we have:

$$\sum _{k\in {\mathcal{N}}_j}{\left|〈f,{\psi }_{\ell ,j,k}^{\text{per}}〉\right|}^2=\sum _{k\in {\mathbb{Z}}^{+}}\sum _{n\in {\mathbb{Z}}^{+}}〈F_0,{\psi }_{\ell ,j,k}〉\overline{〈F_n,{\psi }_{\ell ,j,k}〉}$$

The application of Lemma 3.3 yields:

$$\begin{array}{ccc}{\displaystyle \sum _{k\in {\mathcal{N}}_j}{\left|〈f,{\varphi }_{j,k}^{\text{per}}〉\right|}^2+\sum _{\ell =1}^L\sum _{k\in {\mathcal{N}}_j}{\left|〈f,{\psi }_{\ell ,j,k}^{\text{per}}〉\right|}^2}\hfill & & \\ {\displaystyle =\sum _{k\in {\mathbb{Z}}^{+}}\sum _{n\in {\mathbb{Z}}^{+}}〈F_0,{\varphi }_{j,k}〉\overline{〈F_n,{\varphi }_{j,k}〉}+\sum _{\ell =1}^L\sum _{k\in {\mathbb{Z}}^{+}}\sum _{n\in {\mathbb{Z}}^{+}}〈F_0,{\psi }_{\ell ,j,k}〉\overline{〈F_n,{\psi }_{\ell ,j,k}〉}}\hfill & & \\ \\ {\displaystyle =\sum _{k\in {\mathbb{Z}}^{+}}\sum _{n\in {\mathbb{Z}}^{+}}〈F_0,{\varphi }_{j+1,k}〉\overline{〈F_n,{\varphi }_{j+1,k}〉}}\hfill & & \\ \\ {\displaystyle =\sum _{k\in {\mathcal{N}}_j}{\left|〈f,{\varphi }_{j+1,k}^{\text{per}}〉\right|}^2}\hfill \end{array}$$

This completes the proof. ☐

Proof of Theorem 3.1: For any function $f\in \mathcal{E}[0,1)$ and $\delta >0$, we can choose $J>0$ by Lemma 3.2, such that for all $j>J$, we have:

$$(1-\delta )\parallel f{\parallel }_2^2\le \sum _{k\in {\mathcal{N}}_j}{\left|〈f,{\varphi }_{j,k}^{\text{per}}〉\right|}^2\le (1+\delta )\parallel f{\parallel }_2^2$$

For any $j\in \mathbb{Z}$, Lemma 3.4 implies that:

$$\sum _{k\in {\mathcal{N}}_j}{\left|〈f,{\varphi }_{j,k}^{\text{per}}〉\right|}^2=\sum _{k\in {\mathcal{N}}_{j-1}}{\left|〈f,{\varphi }_{j-1,k}^{\text{per}}〉\right|}^2+\sum _{\ell =1}^L\sum _{k\in {\mathcal{N}}_{j-1}}{\left|〈f,{\psi }_{\ell ,j-1,k}^{\text{per}}〉\right|}^2$$

By repeating this argument on ${\sum }_{k\in {\mathcal{N}}_{j-1}}{\left|〈f,{\varphi }_{j-1,k}^{\text{per}}〉\right|}^2$, we obtain:

$$\sum _{k\in {\mathcal{N}}_j}{\left|〈f,{\varphi }_{j,k}^{\text{per}}〉\right|}^2=|〈f,{\varphi }^{\text{per}}〉{|}^2+\sum _{\ell =1}^L\sum _{m=0}^{j-1}\sum _{k\in {\mathcal{N}}_m}{\left|〈f,{\psi }_{\ell ,m,k}^{\text{per}}〉\right|}^2$$

Therefore, we have:

$$(1-\delta )\parallel f{\parallel }_2^2\le |〈f,{\varphi }^{\text{per}}〉{|}^2+\sum _{\ell =1}^L\sum _{m=0}^{j-1}\sum _{k\in {\mathcal{N}}_m}{\left|〈f,{\psi }_{\ell ,m,k}^{\text{per}}〉\right|}^2\le (1+\delta )\parallel f{\parallel }_2^2$$

Letting $j\to \infty$, we obtain:

$$(1-\delta )\parallel f{\parallel }_2^2\le |〈f,{\varphi }^{\text{per}}〉{|}^2+\sum _{\ell =1}^L\sum _{m=0}^{\infty }\sum _{k\in {\mathcal{N}}_m}{\left|〈f,{\psi }_{\ell ,m,k}^{\text{per}}〉\right|}^2\le (1+\delta )\parallel f{\parallel }_2^2$$

Since $\delta >0$ was arbitrary. Therefore, it follows that:

$$|〈f,{\varphi }^{\text{per}}〉{|}^2+\sum _{\ell =1}^L\sum _{m=0}^{\infty }\sum _{k\in {\mathcal{N}}_m}{\left|〈f,{\psi }_{\ell ,m,k}^{\text{per}}〉\right|}^2=\parallel f{\parallel }_2^2$$

This completes the proof of the Theorem 3.1. ☐

4. Dual Periodic Wavelet Frames Related to the Walsh Polynomials

In this section, we construct dual periodic wavelet frames generated by the Walsh polynomials on ${\mathbb{R}}^{+}$ using the mixed extension principle (MEP). The following theorem is the main result of this section.

Theorem 4.1: Suppose that ϕ and $\tilde{\varphi }$ are two compactly-supported refinable functions, and $h_{\ell }\left(\xi \right),{\tilde{h}}_{\ell }\left(\xi \right),\ell =0,1,\cdots ,L$ are the Walsh polynomials. Let $\mathcal{F}\left(\mathsf{\Psi }\right)$ and $\mathcal{F}\left(\tilde{\mathsf{\Psi }}\right)$ be a pair of dual wavelet frames for $L^2\left({\mathbb{R}}^{+}\right)$ generated by the mixed extension principle. Then, $\mathcal{F}\left({\mathsf{\Psi }}^{\text{per}}\right)$ and $\mathcal{F}\left({\tilde{\mathsf{\Psi }}}^{\text{per}}\right)$ form a pair of dual wavelet frames for $L^2[0,1]$.

We need the following lemmas, which are important for the proof of the main result.

Lemma 4.2: The sequences $\mathcal{F}\left({\mathsf{\Psi }}^{\text{per}}\right)$ and $\mathcal{F}\left({\tilde{\mathsf{\Psi }}}^{\text{per}}\right)$ are both Bessel sequences for $L^2[0,1]$.

Proof. To simplify expressions in the proof, we let:

$$P_{\mathsf{\Psi }}\left(f\right)=\sum _{\ell =1}^L\sum _{j\in {\mathbb{Z}}^{+}}\sum _{k\in {\mathcal{N}}_j}|〈f,{\psi }_{\ell ,j,k}^{\text{per}}〉{|}^2$$

$$P_{\tilde{\mathsf{\Psi }}}\left(f\right)=\sum _{\ell =1}^L\sum _{j\in {\mathbb{Z}}^{+}}\sum _{k\in {\mathcal{N}}_j}{\left|〈f,{\tilde{\psi }}_{\ell ,j,k}^{\text{per}}〉\right|}^2$$

In order to prove that the sequences $\mathcal{F}\left({\mathsf{\Psi }}^{\text{per}}\right)$ and $\mathcal{F}\left({\tilde{\mathsf{\Psi }}}^{\text{per}}\right)$ are both Bessel sequences, we need to find out two positive numbers $C,\tilde{C}$, such that for any function $f\in \mathcal{E}\left({\mathbb{R}}^{+}\right)$, we have:

$$P_{\mathsf{\Psi }}\left(f\right)+{\left|〈f,{\varphi }^{\text{per}}〉\right|}^2\le C\parallel f{\parallel }_2^2$$

$$P_{\tilde{\mathsf{\Psi }}}\left(f\right)+{\left|〈f,{\tilde{\varphi }}^{\text{per}}〉\right|}^2\le \tilde{C}\parallel f{\parallel }_2^2$$

For any $f\in L^2[0,1]$, by the Parseval identity of the Walsh–Fourier series, we deduce that:

$$\begin{array}{cc}\hfill {\left|〈f,{\varphi }^{\text{per}}〉\right|}^2& {\displaystyle =|\sum _{n\in {\mathbb{Z}}^{+}}\widehat{f}\left(n\right)\overline{{\widehat{\varphi }}^{\text{per}}\left(n\right)}{|}^2}\hfill \\ & {\displaystyle =|\sum _{n\in {\mathbb{Z}}^{+}}\widehat{f}\left(n\right)\widehat{\varphi }\left(n\right)w_0\left(n\right){|}^2}\hfill \\ & {\displaystyle \le \sum _{n\in {\mathbb{Z}}^{+}}{\left|\widehat{f}\left(n\right)\right|}^2\sum _{n\in {\mathbb{Z}}^{+}}|\widehat{\varphi }\left(n\right){|}^2}\hfill \end{array}$$

(27)

Since ${lim}_{n\to 0}\widehat{\varphi }\left(n\right)=1,n\in {\mathbb{Z}}^{+}$, so $\widehat{\varphi }$ is bounded on ${\mathbb{Z}}^{+}$; therefore, there exists $C_1>0$, such that ${\sum }_{n\in {\mathbb{Z}}^{+}}|\widehat{\varphi }\left(n\right){|}^2\le C_1$. Using Equation (4) and this estimate, Equation (27) reduces to:

$${\left|〈f,{\varphi }^{\text{per}}〉\right|}^2\le C_1\parallel f{\parallel }_2^2$$

(28)

Next, we compute $P_{\mathsf{\Psi }}\left(f\right)$. Using the periodic property of the functions ${\psi }_{\ell ,j,k}^{\text{per}}$, that is ${\psi }_{\ell ,j,k}(x\oplus n)={\psi }_{\ell ,j,k-p^{j}n}\left(x\right),n\in {\mathbb{Z}}^{+}$, we have:

$$\begin{array}{ccc}\hfill P_{\mathsf{\Psi }}\left(f\right)& =& {\displaystyle \sum _{\ell =1}^L\sum _{j\in {\mathbb{Z}}^{+}}\sum _{k\in {\mathcal{N}}_j}{\left(\sum _{n\in {\mathbb{Z}}^{+}}\left|〈f,{\psi }_{\ell ,j,k}(x\oplus n)〉\right|\right)}^2}\hfill \\ \\ & =& {\displaystyle \sum _{\ell =1}^L\sum _{j\in {\mathbb{Z}}^{+}}\sum _{k\in {\mathcal{N}}_j}{\left(\sum _{n\in {\mathbb{Z}}^{+}}\left|{\int }_0^{1}f\left(x\right)\overline{{\psi }_{\ell ,j,k}(x\oplus n)}dx\right|\right)}^2}\hfill \\ \\ & \le & {\displaystyle C_2\sum _{\ell =1}^L\sum _{j\in {\mathbb{Z}}^{+}}\sum _{k\in {\mathcal{N}}_j}\sum _{n\in {\mathbb{Z}}^{+}}{\left|{\int }_0^{1}f\left(x\right)\overline{{\psi }_{\ell ,j,k}(x\oplus n)}dx\right|}^2}\hfill \\ \hfill & \le & {\displaystyle C_2\sum _{\ell =1}^L\sum _{j\in {\mathbb{Z}}^{+}}\sum _{k\in {\mathcal{N}}_j}{\left|{\int }_0^{1}f\left(x\right)\overline{{\psi }_{\ell ,j,k}\left(x\right)}dx\right|}^2}\hfill \\ & =& {\displaystyle C_2\sum _{\ell =1}^L\sum _{j\in {\mathbb{Z}}^{+}}\sum _{k\in {\mathcal{N}}_j}{\left|{\int }_{{\mathbb{R}}^{+}}f.{\chi }_{[0,1]}\left(x\right)\overline{{\psi }_{\ell ,j,k}\left(x\right)}dx\right|}^2}\hfill \end{array}$$

Since the wavelet system $\mathcal{F}\left(\mathsf{\Psi }\right)$ is a Bessel sequence for $L^2\left({\mathbb{R}}^{+}\right)$, thus we can deduce that there exists a positive number $C_3$, such that:

$$P_{\mathsf{\Psi }}\left(f\right)\le C_3\parallel f.{\chi }_{[0,1]}{\parallel }_2^2=C_3\parallel f{\parallel }_2^2$$

(29)

Combining Equations (28) and (29), we get:

$$P_{\mathsf{\Psi }}\left(f\right)+{\left|〈f,{\varphi }^{\text{per}}〉\right|}^2\le (C_1+C_3)\parallel f{\parallel }_2^2=C_4\parallel f{\parallel }_2^2$$

Similarly, we have:

$$P_{\tilde{\mathsf{\Psi }}}\left(f\right)+|〈f,{\tilde{\varphi }}^{\text{per}}〉{|}^2\le {\tilde{C}}_4\parallel f{\parallel }_2^2$$

This completes the proof of Lemma 4.2.

Lemma 4.3: If $f,g\in \mathcal{E}[0,1)$, i.e.,

$$f\left(x\right)=\sum _{n\in {\mathbb{Z}}^{+}}\widehat{f}\left(n\right)\overline{w_n\left(x\right)}\text{and}g\left(x\right)=\sum _{n\in {\mathbb{Z}}^{+}}\widehat{g}\left(n\right)\overline{w_n\left(x\right)},$$

where the sequences $\left\{\widehat{f}\left(n\right)\right\}$ and $\left\{\widehat{g}\left(n\right)\right\}$ have only finitely many non-zero terms. Then, the following formula holds:

$$〈f,g〉=〈f,{\varphi }_{j,k}^{\text{per}}〉〈{\tilde{\varphi }}_{j,k}^{\text{per}},g〉+\sum _{\ell =1}^L\sum _{j\in {\mathbb{Z}}^{+}}\sum _{k\in {\mathcal{N}}_j}〈f,{\psi }_{\ell ,j,k}^{\text{per}}〉〈{\tilde{\psi }}_{\ell ,j,k}^{\text{per}},g〉$$

(30)

Proof: We split the proof of this results into three steps.

Step 1: We rearrange and rewrite the following series:

$$\sum _{k\in {\mathcal{N}}_j}〈f,{\varphi }_{j,k}^{\text{per}}〉〈{\tilde{\varphi }}_{j,k}^{\text{per}},g〉,\sum _{k\in {\mathcal{N}}_j}〈f,{\psi }_{\ell ,j,k}^{\text{per}}〉〈{\tilde{\psi }}_{\ell ,j,k}^{\text{per}},g〉$$

Since both the functions ϕ and $\tilde{\varphi }$ are compactly supported, thus it is possible to make a rearrangement in the above series:

$$\begin{array}{cc}\hfill 〈f,{\varphi }_{j,k}^{\text{per}}〉〈{\tilde{\varphi }}_{j,k}^{\text{per}},g〉& =\left(\sum _{m\in {\mathbb{Z}}^{+}}〈f,{\varphi }_{j,k}(x\oplus m)〉\right)\left(\sum _{n\in {\mathbb{Z}}^{+}}〈{\tilde{\varphi }}_{j,k}(x\oplus n),g〉\right)\hfill \\ \hfill & =\sum _{m\in {\mathbb{Z}}^{+}}\sum _{n\in {\mathbb{Z}}^{+}}〈f,{\varphi }_{j,k}(x\oplus m)〉〈{\tilde{\varphi }}_{j,k}(x\oplus n),g〉\hfill \\ \hfill & =\sum _{m\in {\mathbb{Z}}^{+}}\sum _{n\in {\mathbb{Z}}^{+}}〈f,{\varphi }_{j,k}(x\oplus m)〉〈{\tilde{\varphi }}_{j,k}(x\oplus m\oplus n),g〉\hfill \end{array}$$

(31)

For any $n\in {\mathbb{Z}}^{+}$, we define:

$$F_n\left(x\right)=f\left(x\right){\chi }_{[0,1]+n}\left(x\right),G_n\left(x\right)=g\left(x\right){\chi }_{[0,1]+n}\left(x\right)$$

(32)

Since f and g are periodic functions, by Equations (31) and (32), we have:

$$\begin{array}{cc}\hfill 〈f,{\varphi }_{j,k}^{\text{per}}〉〈{\tilde{\varphi }}_{j,k}^{\text{per}},g〉& {\displaystyle =\sum _{m\in {\mathbb{Z}}^{+}}\sum _{n\in {\mathbb{Z}}^{+}}\left({\int }_0^{1}f\left(x\right)\overline{{\varphi }_{j,k}(x\oplus m)}dx\right)\left({\int }_0^1{\tilde{\varphi }}_{j,k}(x\oplus m\oplus n)\overline{g\left(x\right)}dx\right)}\hfill \\ & {\displaystyle =\sum _{m\in {\mathbb{Z}}^{+}}\sum _{n\in {\mathbb{Z}}^{+}}\left({\int }_0^{1}f\left(x\right)\overline{{\varphi }_{j,k}(x\oplus m)}dx\right)\left({\int }_0^{1+n}{\tilde{\varphi }}_{j,k}(x\oplus m)\overline{g\left(x\right)}dx\right)}\hfill \\ & {\displaystyle =\sum _{m\in {\mathbb{Z}}^{+}}\sum _{n\in {\mathbb{Z}}^{+}}\left({\int }_{{\mathbb{R}}^{+}}{F}_0\left(x\right)\overline{{\varphi }_{j,k}(x\oplus m)}dx\right)\left({\int }_{{\mathbb{R}}^{+}}{\tilde{\varphi }}_{j,k}(x\oplus m)\overline{G_n\left(x\right)}dx\right)}\hfill \end{array}$$

(33)

By summing Equation (33) over the set ${\mathcal{N}}_j$ and noting that ${\varphi }_{j,k}(x\oplus m)={\varphi }_{j,k-p^{j}m}\left(x\right)$, we have:

$$\begin{array}{cc}\hfill \sum _{k\in {\mathcal{N}}_j}〈f,{\varphi }_{j,k}^{\text{per}}〉〈{\tilde{\varphi }}_{j,k}^{\text{per}},g〉& =\sum _{k\in {\mathcal{N}}_j}\sum _{m\in {\mathbb{Z}}^{+}}\sum _{n\in {\mathbb{Z}}^{+}}〈F_0,{\varphi }_{j,k-p^{j}m}〉〈{\tilde{\varphi }}_{j,k-p^{j}m},G_n〉\hfill \\ \\ & =\sum _{n\in {\mathbb{Z}}^{+}}\sum _{k\in {\mathbb{Z}}^{+}}〈F_0,{\varphi }_{j,k}〉〈{\tilde{\varphi }}_{j,k},G_n〉\hfill \end{array}$$

(34)

Similarly, for each $\ell =1,2,\cdots ,L$, we have:

$$\sum _{k\in {\mathcal{N}}_j}〈f,{\psi }_{\ell ,j,k}^{\text{per}}〉〈{\tilde{\psi }}_{\ell ,j,k}^{\text{per}},g〉=\sum _{n\in {\mathbb{Z}}^{+}}\sum _{k\in {\mathbb{Z}}^{+}}〈F_0,{\psi }_{\ell ,j,k}〉〈{\tilde{\psi }}_{\ell ,j,k},G_n〉$$

(35)

Step 2: For any $J\ge 0$, we claim that:

$$〈f,{\varphi }_{j,k}^{\text{per}}〉〈{\tilde{\varphi }}_{j,k}^{\text{per}},g〉+\sum _{\ell =1}^L\sum _{j=0}^J\sum _{k\in {\mathcal{N}}_j}〈f,{\psi }_{\ell ,j,k}^{\text{per}}〉〈{\tilde{\psi }}_{\ell ,j,k}^{\text{per}},g〉=\sum _{k\in {\mathcal{N}}_{J+1}}〈f,{\varphi }_{J+1,k}^{\text{per}}〉〈{\tilde{\varphi }}_{J+1,k}^{\text{per}},g〉$$

Taking the sum on the R.H.S of Equation (35) over $\ell =0,1,\cdots ,L$, we have:

$$Q_j=\sum _{\ell =0}^L\sum _{k\in {\mathbb{Z}}^{+}}\sum _{n\in {\mathbb{Z}}^{+}}〈F_0,{\psi }_{\ell ,j,k}〉〈{\tilde{\psi }}_{\ell ,j,k},G_n〉$$

(36)

By the Parseval identity of the Walsh–Fourier transform and Equation (13), we deduce that:

$$\begin{array}{cc}\hfill 〈F_0,{\psi }_{\ell ,j,k}〉& =〈{\widehat{F}}_0,{\widehat{\psi }}_{\ell ,j,k}〉\hfill \\ & =p^{-j/2}{\int }_{{\mathbb{R}}^{+}}{\widehat{F}}_0\left(\xi \right)\overline{{\widehat{\psi }}_{\ell }\left(p^{-j}\xi \right)}{w}_k\left(p^{-j}\xi \right)d\xi \hfill \\ & =p^{-j/2}{\int }_{{\mathbb{R}}^{+}}{\widehat{F}}_0\left(\xi \right)\overline{h_{\ell }\left(p^{-j-1}\xi \right)}\overline{\widehat{\varphi }\left(p^{-j-1}\xi \right)}{w}_k\left(p^{-j}\xi \right)d\xi \hfill \\ & =p^{-j/2}{\int }_0^{p^j}\sum _{m\in {\mathbb{Z}}^{+}}{\widehat{F}}_0\left(\xi \oplus p^{j}m\right)\overline{h_{\ell }\left(p^{-j-1}\xi \oplus p^{-1}m\right)}\hfill \\ & \times \overline{\widehat{\varphi }\left(p^{-j-1}\xi \oplus p^{-1}m\right)}{w}_k\left(p^{-j}\xi \right)d\xi \hfill \end{array}$$

(37)

Since $h_{\ell }\left(\xi \right),1\le \ell \le L$ are the Walsh polynomials (wavelet masks) associated with given wavelets ${\psi }_{\ell }$ and we know each $h_{\ell }\left(\xi \right)$ is bounded periodic on $[0,1]$, therefore we have:

$$\begin{array}{ccc}{\displaystyle {\int }_0^{p^j}\left\{\sum _{m\in {\mathbb{Z}}^{+}}\left|{\widehat{F}}_0\left(\xi \oplus p^{j}m\right)\overline{h_{\ell }\left(p^{-j-1}\xi \oplus p^{-1}m\right)}\overline{\widehat{\varphi }\left(p^{-j-1}\xi \oplus p^{-1}m\right)}{w}_k\left(p^{-j}\xi \right)\right|\right\}d\xi }\hfill & & \\ \\ {\displaystyle \le \parallel h_{\ell }{\parallel }_{\infty }{\int }_{{\mathbb{R}}^{+}}\left|{\widehat{F}}_0\left(\xi \right)\overline{\widehat{\varphi }\left(p^{-j-1}\xi \right)}\right|d\xi <\infty }\hfill \end{array}$$

Therefore, the exchange of the integral and the summation is reasonable in the above formula. Again, by the periodicity of wavelet masks $h_{\ell }$, we infer that:

$$\begin{array}{cc}\hfill 〈F_0,{\psi }_{\ell ,j,k}〉& =p^{-j/2}{\int }_0^{p^j}\sum _{m^{\prime }\in {\mathbb{Z}}^{+}}\sum _{t\in {\mathcal{N}}_1}{\widehat{F}}_0\left(\xi \oplus p^j(p{m}^{\prime }\oplus t)\right)w_k\left(p^{-j}\xi \right)\hfill \\ & \times \overline{h_{\ell }\left(p^{-j-1}\xi \oplus p^{-1}(p{m}^{\prime }\oplus t)\right)}\overline{\widehat{\varphi }\left(p^{-j-1}\xi \oplus p^{-1}(p{m}^{\prime }\oplus t)\right)}d\xi \hfill \\ \hfill & {\displaystyle =p^{-j/2}{\int }_0^{p^j}\sum _{m^{\prime }\in {\mathbb{Z}}^{+}}\sum _{t\in {\mathcal{N}}_1}{\widehat{F}}_0(\xi \oplus p^j\left(p{m}^{\prime }\oplus t\right)w_k\left(p^{-j}\xi \right)}\hfill \\ & \times \overline{\widehat{\varphi }(p^{-j-1}\xi \oplus p^{-1}\left(p{m}^{\prime }\oplus t\right)}\overline{h_{\ell }\left(p^{-j-1}\xi \oplus p^{-1}t\right)}d\xi \hfill \end{array}$$

(38)

Similarly, we have:

$$\begin{array}{cc}\hfill 〈{\tilde{\psi }}_{\ell ,j,k},G_n〉& =p^{-j/2}{\int }_0^{p^j}\sum _{n^{\prime }\in {\mathbb{Z}}^{+}}\sum _{t^{\prime }\in {\mathcal{N}}_1}{\widehat{G}}_n\left(\xi \oplus p^j(p{n}^{\prime }\oplus t^{\prime })\right)w_k\left(p^{-j}\xi \right)\hfill \\ & \times \overline{\widehat{\tilde{\varphi }}\left(p^{-j-1}\xi \oplus p^{-1}(p{n}^{\prime }\oplus t^{\prime })\right)}\overline{{\tilde{h}}_{\ell }\left(p^{-j-1}\xi \oplus p^{-1}{t}^{\prime }\right)}d\xi \hfill \end{array}$$

(39)

Since $\left\{p^{-j/2}{w}_k\left(p^{-j}\xi \right):k\in {\mathbb{Z}}^{+}\right\}$ is an orthonormal basis for $L^2\left(p^j[0,1]\right)$, therefore, by Equations (38) and (39), together with the Parseval identity of the Walsh–Fourier series, we have:

$$\begin{array}{c}{\displaystyle \sum _{k\in {\mathbb{Z}}^{+}}〈F_0,{\psi }_{\ell ,j,k}〉〈{\tilde{\psi }}_{\ell ,j,k},G_n〉}\\ & =& {\displaystyle {\int }_0^{p^j}\left\{\sum _{m^{\prime }\in {\mathbb{Z}}^{+}}\sum _{t\in {\mathcal{N}}_1}{\widehat{F}}_0(\xi \oplus p^j\left(p{m}^{\prime }\oplus t\right)\overline{h_{\ell }\left(p^{-j-1}\xi \oplus p^{-1}t\right)}\overline{\widehat{\varphi }\left(p^{-j-1}\xi \oplus p^{-1}(p{m}^{\prime }\oplus t)\right)}\right\}}\hfill \\ \\ & & {\displaystyle \times \left\{\sum _{n^{\prime }\in {\mathbb{Z}}^{+}}\sum _{t^{\prime }\in {\mathcal{N}}_1}\overline{{\widehat{G}}_n\left(\xi \oplus p^j(p{n}^{\prime }\oplus t^{\prime })\right)}{\tilde{h}}_{\ell }\left(p^{-j-1}\xi \oplus p^{-1}{t}^{\prime }\right)\widehat{\tilde{\varphi }}\left(p^{-j-1}\xi \oplus p^{-1}\left(p{n}^{\prime }\oplus t^{\prime }\right)\right)\right\}d\xi }\hfill \end{array}$$

Again, by Equation (36), we deduce that:

$$\begin{array}{ccc}\hfill Q_j& =& {\displaystyle \sum _{n\in {\mathbb{Z}}^{+}}{\int }_0^{p^j}\sum _{m^{\prime }\in {\mathbb{Z}}^{+}}\sum _{n^{\prime }\in {\mathbb{Z}}^{+}}\sum _{t\in {\mathcal{N}}_1}\sum _{t^{\prime }\in {\mathcal{N}}_1}{\widehat{F}}_0(\xi \oplus p^j\left(p{m}^{\prime }\oplus t\right)\overline{{\widehat{G}}_n\left(\xi \oplus p^j\left(p{n}^{\prime }\oplus t^{\prime }\right)\right)}}\hfill \\ \\ & & \times \overline{\widehat{\varphi }\left(p^{-j-1}\xi \oplus p^{-1}\left(p{m}^{\prime }\oplus t\right)\right)}\widehat{\tilde{\varphi }}\left(p^{-j-1}\xi \oplus p^{-1}\left(p{n}^{\prime }\oplus t^{\prime }\right)\right)\hfill \\ \\ & & \times \left({\displaystyle \sum _{\ell =0}^L\overline{h_{\ell }\left(p^{-j-1}\xi \oplus p^{-1}t\right)}{\tilde{h}}_{\ell }\left(p^{-j-1}\xi \oplus p^{-1}{t}^{\prime }\right)}\right)d\xi \hfill \end{array}$$

By the mixed extension principle (MEP) condition, we have:

$$\sum _{\ell =0}^L\overline{h_{\ell }\left(p^{-j-1}\xi \oplus p^{-1}t\right)}{\tilde{h}}_{\ell }\left(p^{-j-1}\xi \oplus p^{-1}{t}^{\prime }\right)={\delta }_{t,t^{\prime }}$$

Therefore, we have:

$$\begin{array}{ccc}\hfill Q_j& =& {\displaystyle \sum _{n\in {\mathbb{Z}}^{+}}{\int }_0^{p^j}\sum _{m^{\prime }\in {\mathbb{Z}}^{+}}\sum _{n^{\prime }\in {\mathbb{Z}}^{+}}\sum _{t\in {\mathcal{N}}_1}{\widehat{F}}_0\left(\xi \oplus p^j\left(p{m}^{\prime }\oplus t\right)\right)\overline{{\widehat{G}}_n\left(\xi \oplus p^j\left(p{n}^{\prime }\oplus t\right)\right)}}\hfill \\ \\ & & \times \overline{\widehat{\varphi }\left(p^{-j-1}\xi \oplus p^{-1}\left(p{m}^{\prime }\oplus t\right)\right)}\widehat{\tilde{\varphi }}\left(p^{-j-1}\xi \oplus p^{-1}\left(p{n}^{\prime }\oplus t\right)\right)d\xi \hfill \end{array}$$

Letting:

$$R_j\left(\xi \right)=\sum _{m^{\prime }\in {\mathbb{Z}}^{+}}{\widehat{F}}_0\left(\xi \oplus p^{j+1}{m}^{\prime }\right)\overline{\widehat{\varphi }\left(p^{-j-1}\xi \oplus m^{\prime }\right)},S_{j,n}\left(\xi \right)=\sum _{n^{\prime }\in {\mathbb{Z}}^{+}}\overline{{\widehat{G}}_n\left(\xi \oplus p^{j+1}{n}^{\prime }\right)}\widehat{\tilde{\varphi }}\left(p^{-j-1}\xi \oplus n^{\prime }\right)$$

we conclude that:

$$\begin{array}{ccc}\hfill Q_j& =& {\displaystyle \sum _{n\in {\mathbb{Z}}^{+}}\sum _{t\in {\mathcal{N}}_1}{\int }_0^{p^j}{R}_j\left(\xi \oplus p^{j}t\right)\overline{S_{j,n}\left(\xi \oplus p^{j}t\right)}d\xi }\hfill \\ \\ & =& {\displaystyle \sum _{n\in {\mathbb{Z}}^{+}}\sum _{t\in {\mathcal{N}}_1}{\int }_{p^j}^{(1+t)p^j}{R}_j\left(\xi \right)\overline{S_{j,n}\left(\xi \right)}d\xi }\hfill \\ \\ & =& {\displaystyle \sum _{n\in {\mathbb{Z}}^{+}}{\int }_0^{p^{j+1}}{R}_j\left(\xi \right)\overline{S_{j,n}\left(\xi \right)}d\xi }\hfill \end{array}$$

Using the Parseval identity of the Walsh–Fourier series, we obtain:

$$\begin{array}{ccc}{\displaystyle {\int }_0^{p^{j+1}}{R}_j\left(\xi \right)\overline{S_{j,n}\left(\xi \right)}d\xi }\hfill & & \\ \\ {\displaystyle =p^{-(j+1)}\sum _{k\in {\mathbb{Z}}^{+}}{\int }_0^{p^{j+1}}{R}_j\left(\xi \right)\overline{w_{p^{-(j+1)}k}\left(\xi \right)}d\xi {\int }_0^{p^{j+1}}\overline{S_{j,n}\left(\xi \right)}{w}_{p^{-(j+1)}k}\left(\xi \right)d\xi }\hfill & & \\ \\ {\displaystyle =p^{-(j+1)}\sum _{k\in {\mathbb{Z}}^{+}}{\int }_{{\mathbb{R}}^{+}}{\widehat{F}}_0\left(\xi \right)\overline{\widehat{\varphi }\left(p^{-j-1}\xi \right)}\overline{w_{p^{-(j+1)}k}\left(\xi \right)}d\xi {\int }_{{\mathbb{R}}^{+}}\overline{{\widehat{G}}_n\left(\xi \right)}\widehat{\tilde{\varphi }}\left(p^{-j-1}\xi \right)w_{p^{-(j+1)}k}\left(\xi \right)d\xi }\hfill \end{array}$$

Again, by the Parseval identity of the Walsh–Fourier transform, we have:

$$Q_j=\sum _{k\in {\mathbb{Z}}^{+}}\sum _{n\in {\mathbb{Z}}^{+}}〈F_0,{\varphi }_{j+1,k}〉〈{\tilde{\varphi }}_{j+1,k},G_n〉$$

(40)

By Equations (36) and (40), it follows that:

$${\displaystyle \sum _{k\in {\mathbb{Z}}^{+}}\sum _{n\in {\mathbb{Z}}^{+}}〈F_0,{\varphi }_{j+1,k}〉〈{\tilde{\varphi }}_{j+1,k},G_n〉=\sum _{\ell =0}^L\sum _{k\in {\mathbb{Z}}^{+}}\sum _{n\in {\mathbb{Z}}^{+}}〈F_0,{\psi }_{\ell ,j,k}〉〈{\tilde{\psi }}_{\ell ,j,k},G_n〉}$$

$$=\sum _{k\in {\mathbb{Z}}^{+}}\sum _{n\in {\mathbb{Z}}^{+}}〈F_0,{\varphi }_{j,k}〉〈{\tilde{\varphi }}_{j,k},G_n〉+\sum _{\ell =1}^L\sum _{k\in {\mathbb{Z}}^{+}}\sum _{n\in {\mathbb{Z}}^{+}}〈F_0,{\psi }_{\ell ,j,k}〉〈{\tilde{\psi }}_{\ell ,j,k},G_n〉$$

Using Equations (34) and (35) in the above identity, we obtain:

$${\displaystyle \sum _{k\in {\mathcal{N}}_{j+1}}〈f,{\varphi }_{j+1,k}^{\text{per}}〉〈{\tilde{\varphi }}_{j+1,k}^{\text{per}},g〉=\sum _{k\in {\mathcal{N}}_j}〈f,{\varphi }_{j,k}^{\text{per}}〉〈{\tilde{\varphi }}_{j,k}^{\text{per}},g〉+\sum _{\ell =1}^L\sum _{k\in {\mathcal{N}}_j}〈f,{\psi }_{\ell ,j,k}^{\text{per}}〉〈{\tilde{\psi }}_{\ell ,j,k}^{\text{per}},g〉}$$

Since ${\mathcal{N}}_j=\left\{0\right\}$, when $j=0$, we have:

$${\displaystyle \sum _{k\in {\mathcal{N}}_1}〈f,{\varphi }_{1,k}^{\text{per}}〉〈{\tilde{\varphi }}_{1,k}^{\text{per}},g〉=〈f,{\varphi }_{0,0}^{\text{per}}〉〈{\tilde{\varphi }}_{0,0}^{\text{per}},g〉+\sum _{\ell =1}^L\sum _{k\in {\mathcal{N}}_1}〈f,{\psi }_{\ell ,0,k}^{\text{per}}〉〈{\tilde{\psi }}_{\ell ,0,k}^{\text{per}},g〉}$$

In general, for any $J\ge 0$, we have:

$$\sum _{k\in {\mathcal{N}}_{J+1}}〈f,{\varphi }_{J+1,k}^{\text{per}}〉〈{\tilde{\varphi }}_{J+1,k}^{\text{per}},g〉=〈f,{\varphi }_{j,k}^{\text{per}}〉〈{\tilde{\varphi }}_{j,k}^{\text{per}},g〉+\sum _{\ell =1}^L\sum _{j=0}^J\sum _{k\in {\mathcal{N}}_j}〈f,{\psi }_{\ell ,j,k}^{\text{per}}〉〈{\tilde{\psi }}_{\ell ,j,k}^{\text{per}},g〉$$

(41)

Step 3: For $f,g\in \mathcal{E}[0,1)$, we have:

$$T_j=\sum _{k\in {\mathcal{N}}_j}〈f,{\varphi }_{j,k}^{\text{per}}〉〈{\tilde{\varphi }}_{j,k}^{\text{per}},g〉\to 〈f,g〉,j\to \infty$$

(42)

Since f and g are both periodic, hence there exists a non-negative integer J, such that:

$$f\left(x\right)=\sum _{n\in {\mathbb{Z}}^{+}}\widehat{f}\left(n\right)\overline{w_n\left(x\right)},g\left(x\right)=\sum _{n\in {\mathbb{Z}}^{+}}\widehat{g}\left(n\right)\overline{w_n\left(x\right)}$$

where $\widehat{f}\left(n\right)=\widehat{g}\left(n\right)=0,n\notin {\mathcal{N}}_J$. Again, let:

$${\varphi }_{j,k}^{\text{per}}\left(x\right)=\sum _{n\in {\mathbb{Z}}^{+}}{\widehat{\varphi }}_{j,k}^{\text{per}}\left(n\right)\overline{w_n\left(x\right)},{\tilde{\varphi }}_{j,k}^{\text{per}}\left(x\right)=\sum _{n\in {\mathbb{Z}}^{+}}{\widehat{\tilde{\varphi }}}_{j,k}^{\text{per}}\left(n\right)\overline{w_n\left(x\right)},$$

where:

$${\displaystyle {\widehat{\varphi }}_{j,k}^{\text{per}}\left(n\right)=p^{-j/2}\widehat{\varphi }\left(p^{-j}n\right)\overline{w_k\left(p^{-j}n\right)},{\widehat{\tilde{\varphi }}}_{j,k}^{\text{per}}\left(n\right)=p^{-j/2}\widehat{\tilde{\varphi }}\left(p^{-j}n\right)\overline{w_k\left(p^{-j}n\right)}}$$

Therefore, for $j\ge J$, we have:

$$〈f,{\varphi }_{m,k}^{\text{per}}〉=\sum _{n\in {\mathcal{N}}_j}\widehat{f}\left(n\right)\overline{{\widehat{\varphi }}_{j,k}^{\text{per}}\left(n\right)}=\sum _{n\in {\mathcal{N}}_j}\widehat{f}\left(n\right)p^{-j/2}\widehat{\varphi }\left(p^{-j}n\right)\overline{w_k\left(p^{-j}n\right)}$$

Similarly, we have:

$$〈{\tilde{\varphi }}_{m,k}^{\text{per}},g〉=\sum _{n\in {\mathcal{N}}_j}\widehat{g}\left(n\right)p^{-j/2}\widehat{\tilde{\varphi }}\left(p^{-j}n\right)\overline{w_k\left(p^{-j}n\right)},j\ge J$$

Hence, we conclude that for $j\ge J$, we have:

$$\begin{array}{ccc}\hfill T_j& =& {\displaystyle \sum _{k\in {\mathcal{N}}_j}\left(\sum _{m\in {\mathcal{N}}_j}\widehat{f}\left(m\right)p^{-j/2}\widehat{\varphi }\left(p^{-j}m\right)\overline{w_k\left(p^{-j}m\right)}\right)\overline{\left({\sum }_{n\in {\mathcal{N}}_j}\widehat{g}\left(n\right)p^{-j/2}\widehat{\tilde{\varphi }}\left(p^{-j}n\right)\overline{w_k\left(p^{-j}n\right)}\right)}}\hfill \\ \hfill & =& {\displaystyle \sum _{m\in {\mathcal{N}}_j}\sum _{n\in {\mathcal{N}}_j}\widehat{f}\left(m\right)\overline{\widehat{g}\left(n\right)}\widehat{\varphi }\left(p^{-j}m\right)\overline{\widehat{\tilde{\varphi }}\left(p^{-j}n\right)}\left(\sum _{k\in {\mathcal{N}}_j}{p}^{-j}\overline{w_k\left(p^{-j}(m\ominus n)\right)}\right)}\hfill \\ \hfill & =& {\displaystyle \sum _{n\in {\mathcal{N}}_j}\widehat{f}\left(n\right)\overline{\widehat{g}\left(n\right)}\widehat{\varphi }\left(p^{-j}n\right)\overline{\widehat{\tilde{\varphi }}\left(p^{-j}n\right)}}\hfill \\ & =& {\displaystyle \sum _{n\in {\mathcal{N}}_J}\widehat{f}\left(n\right)\overline{\widehat{g}\left(n\right)}\widehat{\varphi }\left(p^{-j}n\right)\overline{\widehat{\tilde{\varphi }}\left(p^{-j}n\right)}}\hfill \end{array}$$

Since ${lim}_{\xi \to 0}\widehat{\varphi }\left(\xi \right)={lim}_{\xi \to 0}\widehat{\tilde{\varphi }}\left(\xi \right)=1$, we have:

$$\underset{j\to \infty }{lim}{T}_j=\sum _{n\in {\mathcal{N}}_J}\widehat{f}\left(n\right)\overline{\widehat{g}\left(n\right)}=\sum _{n\in {\mathbb{Z}}^{+}}\widehat{f}\left(n\right)\overline{\widehat{g}\left(n\right)}=\langle f,g\rangle$$

From Equations (41) and (42), we deduce that:

$$〈f,{\varphi }_{j,k}^{\text{per}}〉〈{\tilde{\varphi }}_{j,k}^{\text{per}},g〉+\sum _{\ell =1}^L\sum _{j\in {\mathbb{Z}}^{+}}\sum _{k\in {\mathcal{N}}_j}〈f,{\psi }_{\ell ,j,k}^{\text{per}}〉〈{\tilde{\psi }}_{\ell ,j,k}^{\text{per}},g〉=\langle f,g\rangle$$

This completes the proof of the Lemma 4.3. ☐

Proof of Theorem 4.1: By Lemma 4.2, it follows that the sequences $\mathcal{F}\left({\mathsf{\Psi }}^{\text{per}}\right)$ and $\mathcal{F}\left({\tilde{\mathsf{\Psi }}}^{\text{per}}\right)$ are both Bessel sequences for $L^2[0,1]$. By Lemma 4.3, we know that for any $f,g\in \mathcal{E}[0,1)$, Equation (30) holds. Again, since the set $\mathcal{E}[0,1)$ is dense in $L^2[0,1]$, it follows that the periodic wavelet systems $\mathcal{F}\left({\mathsf{\Psi }}^{\text{per}}\right)$ and $\mathcal{F}\left({\tilde{\mathsf{\Psi }}}^{\text{per}}\right)$ constitute a pair of dual frames for $L^2[0,1]$. This completes the proof. ☐