Skip to main content

Nonuniform biorthogonal wavelets on positive half line via Walsh Fourier transform


In this article, we introduce the notion of nonuniform biorthogonal wavelets on positive half line. We first establish the characterizations for the translates of a single function to form the Riesz bases for their closed linear span. We provide the complete characterization for the biorthogonality of the translates of scaling functions of two nonuniform multiresolution analysis and the associated biorthogonal wavelet families in \(L^2({\mathbb {R}}^+)\). Furthermore, under the mild assumptions on the scaling functions and the corresponding wavelets associated with nonuniform multiresolution analysis, we show that the wavelets can generate Reisz bases.


The theory of wavelet transforms have emanated as a broadly used tool in various disciplines of science and engineering including image processing, spectrometry, turbulence, computer graphics, optics and electromagnetism, telecommunications, DNA sequence analysis, quantum physics, solution of differential equations. In context of signal processing, it has been assumed that orthogonality is the key property for synthesis and analysing signals. In order to study a higher-level signal processing, biorthogonality plays a vital role in which two sets are incorporated: one serves for the analysis and the other one for synthesis. Towars the culminating years of 1990’s, biorthogonal wavelets are considered as cornerstone technique in image compression due to their natural feature of concentrating energy in a few transform coefficients and advantageous over orthogonal wavelets, by relaxing orthonormal to biorthogonal, additional degrees of freedom are added to design problems. Biorthogonal wavelets in \(L^2({\mathbb {R}})\) were investigated by Bownik and Garrigos [1], Cohen et al. [2], Chui and Wang [3]. The numerical aspect of biorthogonal wavelets were studied by Karoui and Vaillancourt [4].

Multiresolution analysis is the heart of wavelet analysis as it gives a general framework for analysing wavelet systems. All the signals in real life applications are not obtained from the uniform shifts. For the analysis and decomposition of these signals by means of stable mathematical technique, Gabardo and Nashed [5] introduced a notion of nonuniform MRA where the translation set acting on the scaling function associated with the MRA to generate the subspace \({{\mathcal {V}}}_0\) is no longer a group, but is the union of \({\mathbb {Z}}\) and a translate of \({\mathbb {Z}}\). Shah and Abdullah [6] established NUMRA on non-Archimedean local fields.

In the recent years, the development of wavelet theory in the context of Walsh analysis have been extensively studied by many authors including Farkov [7], Meenakshi [8] but still more concepts need to be studied for its enhancement. Recently, Ahmad and his collaborators investigated wavelet frames [9], nonuniform wavelet frames [10,11,12,13,14], Nonuniform p-tight wavelet frames [15], Tight Framelets [16, 17], wavepacket systems [18, 19], Frames associated with shift invariant spaces [20], Gabor frames [21], numerical study of wavelets [22,23,24,25,26,27,28,29,30] and obtained many interested results. Continuing our research on wavelet and wavelet frames, we in this paper introduce the notion of nonuniform biorthogonal wavelets in \(L^2({\mathbb {R}}^+)\). We obtain the characterization for the translates of a single function to form the Riesz bases for their closed linear span. We also provide a complete characterization for the biorthogonality of the translates of scaling functions of two NUMRA’s and the associated biorthogonal wavelet families. Moreover, under mild assumptions on the scaling functions and the corresponding wavelets, we show that the nonuniform wavelets can generate Reisz bases for \(L^2({\mathbb {R}}^+)\).

The article is structured as follows. In Section “Methods”, we recall methods of Fourier analysis on positive half line including basic definitions of MRA and NUMRA . In Section “Results and discussion”, we establish necessary and sufficient conditions for the translates of a function to form a Riesz basis for its closed linear span. Furthermore, we show that the wavelets associated with dual MRA’s are biorthogonal and generate Riesz bases for \(L^2({\mathbb {R}}^+)\).


Let \({\mathbb {R}}^{+},\, {\mathbb {Z}}^+\) and \({\mathbb {N}}\) respectively denotes the set of nonnegative real numbers, set of non-negative integers and the set of natural numbers. By the symbols [x] and \(\left\{ x\right\}\), we mean the integer and fractional part of x respectively. Let \(p >1\) be a fixed natural number. For \(\xi \in {\mathbb {R}}^{+}\) and any integer \(j>0\), we set

$$\begin{aligned} \xi _j=[p^j \xi ](\text {mod}\,p),\qquad \xi _{-j}=[p^{1-j} \xi ](\text {mod}\,p), \end{aligned}$$

where \(\xi _{j}, \xi _{-j}\in \left\{ 0,1,\dots , p-1\right\}\). Clearly, \(\xi _{j}\) and \(\xi _{-j}\) are the digits in the p-ary expansion of \(\xi\):

$$\begin{aligned} \xi =\sum _{j<0}\xi _{-j}p^{-j-1}+\sum _{j>0}\xi _{j}p^{-j}. \end{aligned}$$

The first sum on the right is always finite and

$$\begin{aligned} {}[\xi ]=\sum _{j<0}\xi _{-j}p^{-j-1}, \qquad \left\{ \xi \right\} = \sum _{j>0}x_{j}p^{-j}. \end{aligned}$$

On \({\mathbb {R}}^{+}\) the addition is defined in the following manner:

$$\begin{aligned} \xi \oplus \eta =\sum _{j<0}\zeta _j p^{-j-1}+\sum _{j>0}\zeta _j p^{-j}, \end{aligned}$$

with \(\zeta _j=\xi _j+\eta _j(\text {mod}\, p),\,j\in {\mathbb {Z}} \setminus \left\{ 0 \right\} ,\) where \(\zeta _j\in \left\{ 0,1,\dots ,p-1\right\}\) and \(\xi _j,\,\eta _j\) are given by (2.1). Clearly, \([\xi \oplus \eta ]=[\xi ]\oplus [\eta ]\) and \(\left\{ \xi \oplus \eta \right\} =\left\{ \xi \right\} \oplus \left\{ \eta \right\}\). We write \(\delta =\xi \ominus \eta\) if \(\delta \oplus \eta =\xi ,\) where \(\ominus\) denotes subtraction modulo p on \({\mathbb {R}}^{^{+}}\).

Let \(\varepsilon _{p}= \text {exp}(2\pi i/p)\), we define a function \(s_{0}(x)\) on [0, 1) by

$$\begin{aligned} s_0(\xi )=\left\{ \begin{array}{lll} \displaystyle 1,\quad \text {if}~\xi \in [0,1/p)\\ \\ \displaystyle \varepsilon _{p}^{\ell },\quad \text {if}~\xi \in \left[ \ell p^{-1},(\ell +1)p^{-1}\right) ,\quad \ell \in \{1,2,\dots ,p-1\}. \end{array} \right. \end{aligned}$$

The system of generalized Walsh functions \(\left\{ w_m(\xi ): m\in {\mathbb {Z}}^+\right\}\) on [0, 1) is defined in the following way:

$$\begin{aligned} w_0(\xi )\equiv 1\quad \text {and}\quad w_m(\xi )=\displaystyle \prod _{j=0}^{k}\big (s_0(p^j x)\big )^{\mu _j} \end{aligned}$$

where \(m=\sum _{j=0}^{k}\mu _jp^j,~\mu _j\in \left\{ 0,1,\dots ,p-1\right\} ,~\mu _k\not = 0.\) These functions form a complete orthogonal system. A finite linear combination of Walsh functions is known as Walsh polynomial. For \(\xi , \eta \in {\mathbb {R}}^{^{+}},\) let

$$\begin{aligned} \chi (\xi , \eta )= \text {exp}\left( \frac{2\pi i}{p}\sum _{j=1}^{\infty }(\xi _j \eta _{-j}+\xi _{-j}\eta _j)\right) , \end{aligned}$$

where \(\xi _j, \eta _j\) are defined as in (2.1).

It is easy to see that

$$\begin{aligned} \qquad \chi \left( \xi , \dfrac{m}{p^{n}}\right) = \chi \left( \dfrac{\xi }{p^{n}}, m\right) = w_m\left( \dfrac{\xi }{p^{n}}\right) , \qquad \forall \; \xi \in [0, p^{n}),~m,n\in {\mathbb {Z}}_{+}, \end{aligned}$$


$$\begin{aligned} \chi (\xi \oplus \eta , \delta )=\chi (\xi ,\delta )\,\chi (\eta ,\delta ),\quad \chi (\xi \ominus \eta , \delta )=\chi (\xi ,\delta )\,\overline{\chi (\eta ,\delta )}, \end{aligned}$$

where \(\xi ,\eta ,\delta \in {\mathbb {R}}_{+}\) and \(\xi \oplus \eta\) is p-adic irrational. It is well known that systems \(\left\{ \chi (\alpha ,.)\right\} _{\alpha =0}^{\infty }\) and \(\left\{ \chi (\cdot ,\alpha )\right\} _{\alpha =0}^{\infty }\) form an orthonormal bases in \(L^{2}\)[0,1] (See [31, 32]).

For a function \(\phi \in L^{1}({\mathbb {R}}^{+})\cap L^{2}(\mathbb R^{+})\), the Walsh-Fourier transform is defined as

$$\begin{aligned} {\widehat{\phi }}(\zeta )=\int _{{\mathbb {R}}_{+}}\phi (\xi )\, \overline{\chi (\xi ,\zeta )}\,\mathrm{d}\xi , \end{aligned}$$

where \({\chi (\xi ,\zeta )}\) is given by (2.2). The Walsh-Fourier operator \({\mathfrak {F}}:L^{1}({\mathbb {R}}^{+})\cap L^{2}({\mathbb {R}}^{+}) \rightarrow L^{2}({\mathbb {R}}^{+}), \, {\mathfrak {F}}f= {\widehat{f}}\), extends uniquely to the whole space \(L^{2}({\mathbb {R}}^{+})\). The Walsh-Fourier transform enjoys similar properties to those of the classic Fourier transform [31,32,33,34]. In particular, if \(\phi \in L^{2}({\mathbb {R}}^{+})\), then \({\widehat{\phi }} \in L^{2}({\mathbb {R}}^{+})\) and

$$\begin{aligned} \left\| {\widehat{\phi }} \right\| _{L^{^2}({\mathbb {R}}^{+})}=\big \Vert \phi \big \Vert _{L^{2}({\mathbb {R}}^{+})}. \end{aligned}$$

Furthermore, if \(\phi \in L^{2}[0,1]\), then we can define the Walsh-Fourier coefficients of \(\phi\) as

$$\begin{aligned} {\widehat{\phi }}(n)= \int _{0}^{1} \phi (\xi )\overline{w_{n}(\xi )}\, dx. \end{aligned}$$

The series \(\sum _{n\in {\mathbb {Z}}_{+}}{\widehat{\phi }}(n)w_{n}(\xi )\) is called the Walsh-Fourier series of \(\phi\). From the standard \(L^2\)-theory, we can observe that the Walsh-Fourier series of \(\phi\) converges to \(\phi\) in \(L^{2}[0,1]\) and Parseval’s identity holds:

$$\begin{aligned} \big \Vert \phi \big \Vert ^2_{2}=\int _{0}^{1}\big |\phi (\xi )\big |^2 \mathrm{d}\xi =\sum _{n\in {\mathbb {Z}}_{+}}\left| {\widehat{\phi }}(n)\right| ^2. \end{aligned}$$

By p-adic interval \(I\subset {\mathbb {R}}_+\) of range n, we mean intervals of the form

$$\begin{aligned} I=I_{n}^\ell = \big [ \ell p^{-n}, (\ell +1)p^{-n}\big ),~~\ell \in {\mathbb {Z}}_+. \end{aligned}$$

Each of these p-adic intervals is both closed and open under the p-adic topology which is generated by the collection of p-adic intervals [31]. The collection \(\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}(\xi ), 0\le j\le p^{n}-1\), assume constant values on each of p-adic interval \(I_{n}^\ell\) and hence continuous on these intervals. Thus, \(w_j(\xi )=1\) for \(\xi \in I_{n}^{0}\).

Let \({{\mathcal {E}}}_n({\mathbb {R}}^+)\) denotes the space of p-adic entire functions of order n. Thus, for every \(\phi \in {{\mathcal {E}}}_n(\mathbb R^+)\), we have

$$\begin{aligned} \phi (\xi )= \sum _{k\in {\mathbb {Z}}^+} \phi (p^{-n}k) \chi _{I_n^k}(\xi ), \quad \xi \in {\mathbb {R}}_+. \end{aligned}$$

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

$$\begin{aligned} {{\mathcal {E}}}^0({\mathbb {R}}^+) =\left\{ \phi \in {{\mathcal {E}}}({\mathbb {R}}^+) :~{\widehat{\phi }} \in L^\infty (\mathbb {R}^+)~\textit{and}~supp~\phi \subset \mathbb {R}^+\setminus \{0\}\right\} . \end{aligned}$$

Let \(N\ge 1\) be a given integer and r be an odd integer which are relatively prime such that \(1\le r \le N-1\), we consider the translation set \(\Lambda ^+\) as

$$\begin{aligned} \Lambda ^+=\left\{ 0, \dfrac{r}{N}\right\} +{\mathbb {Z}}^+. \end{aligned}$$

It can be easily seen that the translation set \(\Lambda ^+\) is not necessarily a group nor a uniform discrete set. The set \(\Lambda ^+\)n is the union of \({\mathbb {Z}}\) and a translate of \({\mathbb {Z}}\). Furthermore, the translation set \(\Lambda ^+\) is the spectrum for the spectral set \(\Gamma _N=\big [0, \frac{1}{2}\big )\cup \big [\frac{N}{2}, \frac{N+1}{2}\big )\) and the pair \((\Lambda ^+,\Gamma _N)\) is called a spectral pair [5].

Definition 2.1

Let \(N\ge 1\) be a given integer and r be an odd integer which are relatively prime such that \(1\le r \le N-1\), an associated nonuniform MRA is a sequence of closed subspaces \(\left\{ \mathcal{V}_j: j\in {\mathbb {Z}}\right\}\) of \(L^2({{\mathbb {R}}^+})\) satisfying the following properties:

  1. (a)

       \({{\mathcal {V}}}_j \subset {{\mathcal {V}}}_{j+1}\; \forall \; j \in {\mathbb {Z}};\)

  2. (b)

       \(\bigcup _{j\in {\mathbb {Z}}}{{\mathcal {V}}}_j\;\text {is dense in}\;L^2({{\mathbb {R}}^+});\)

  3. (c)

       \(\bigcap _{j\in {\mathbb {Z}}}{{\mathcal {V}}}_j=\{0\};\)

  4. (d)

       \(g(x) \in {{\mathcal {V}}}_j\; \iff \;g(Nx) \in {{\mathcal {V}}}_{j+1}\; \forall \; j \in {\mathbb {Z}};\)

  5. (e)

      There exists a function \(\phi \in {{\mathcal {V}}}_0\) such that \(\left\{ \phi (x\ominus \sigma ): \sigma \in \Lambda ^+\right\}\), is a complete orthonormal basis for \({{\mathcal {V}}}_0\).

It should be noted that the definition of dyadic dilation multiresolution analysis in one dimension can be deduced from the above definitio when \(N = 1\). For \(N > 1\), the dilation factor of N corroborates that \(N\Lambda ^+\subset {{\mathbb {Z}}}^+ \subset \Lambda ^+\).

For every \(j\in {\mathbb {Z}}\), define \({{\mathcal {W}}}_{j}\) as the orthogonal complement of \({{\mathcal {V}}}_{j}\) in \({{\mathcal {V}}}_{j+1}\). Thus we can write

$$\begin{aligned} {{\mathcal {V}}}_{j+1}={{\mathcal {V}}}_{j}\oplus {{\mathcal {W}}}_{j}\quad \text {and}\quad {{\mathcal {W}}}_{m}\perp {{\mathcal {W}}}_{m^\prime }\quad \text {if}~m\ne m^\prime . \end{aligned}$$

Therefore, it implies that for \(j>M\),

$$\begin{aligned} {{\mathcal {V}}}_{j}={{\mathcal {V}}}_{M}\oplus \bigoplus _{m=0}^{j-M-1}\mathcal{W}_{j-m}\,. \end{aligned}$$

By invoking Definition 2.2. (b), this follows that

$$\begin{aligned} L^2({{\mathbb {R}}})=\bigoplus _{j\in {\mathbb {Z}}}{{\mathcal {W}}}_{j}, \end{aligned}$$

a decomposition of \(L^2({{\mathbb {R}}^+})\) into mutually orthogonal subspaces.

There exists \(N -1\) functions whose translated and dilated family form an orthonormal basis for \(L^2({{\mathbb {R}}^+})\).

Definition 2.3

A set \(\left\{ \psi _{\ell }: 1 \le \ell \le N-1\right\} \subset L^2({{\mathbb {R}}})\) is said to be a set of basic wavelets associated with the nonuniform multiresolution analysis \(\left\{ {{\mathcal {V}}}_{j}: j\in {\mathbb {Z}}\right\}\) if the family of functions \(\left\{ \psi _{\ell }(x\ominus \sigma ):1\le \ell \le N-1, \sigma \in \Lambda ^+\right\}\) forms an orthonormal basis for \(\mathcal{W}_{0}\).

Results and Discussion

Lemma 3.1

Let \(\phi , {\widetilde{\phi }} \in L^2({{\mathbb {R}}^+})\) be given. Then the collection \(\big \{\phi (x\ominus \sigma ):\sigma \in \Lambda ^+\big \}\) is biorthogonal to \(\big \{\widetilde{\phi }(x\ominus \sigma ):\sigma \in \Lambda ^+\big \}\) if and only if

$$\begin{aligned} \sum _{\sigma \in \Lambda ^+_+}{\widehat{\phi }}(\zeta \oplus \sigma )\overline{\widehat{\widetilde{\phi }}(\zeta \oplus \sigma )}=1\quad a.e\; \zeta \in {\mathbb {R}}^+. \end{aligned}$$


For \(\gamma \in \Lambda ^+\), it follows that \(\left\langle \phi (x\ominus \sigma ), \widetilde{\phi }(x\ominus \gamma )\right\rangle =\delta _{\sigma , \gamma } \Leftrightarrow \left\langle \phi , \widetilde{\phi }(x\ominus \gamma )\right\rangle =\delta _{0, \gamma }\). Moreover, we have

$$\begin{aligned} \begin{array}{rcl} \big \langle \phi , {\widetilde{\phi }}(x\ominus \gamma )\big \rangle &{}=&{}\left\langle {\widehat{\phi }},\widehat{ {\widetilde{\phi }}}(x\ominus \gamma )\right\rangle \\ \ &{}=&{}\displaystyle \int _{{\mathbb {R}}^+}{\widehat{\phi }}(\zeta )\overline{\widehat{{\widetilde{\phi }}}(\zeta )}\overline{\chi (\gamma ,\zeta )}\mathrm{d}\zeta \\ &{}=&{}\displaystyle \int _0^{1/2}\left\{ \sum _{m \in {\mathbb {Z}}}{\widehat{\phi }}\left( \zeta \oplus \frac{m}{2}\right) \overline{\widehat{{\widetilde{\phi }}}\left( \zeta \oplus \frac{m}{2}\right) }\chi (\gamma ,m)\right\} \overline{\chi (\gamma ,\zeta )}\mathrm{d}\zeta . \end{array} \end{aligned}$$

Using the fact that \(\big \{\overline{\chi (\gamma ,\zeta )}:\gamma \in \Lambda ^+\big \}\) is an orthonormal basis of \(L^2\left[ 0, \frac{1}{2}\right)\), we obtain the desired result. \(\square\)

Now we proceed to establish a sufficient condition for the translates of a function to be linearly independent.

Lemma 3.2

Let \(\phi \in L^2({{\mathbb {R}}^+})\). Suppose there exists two constants \(C, D>0\) such that

$$\begin{aligned} C \le \sum _{\sigma \in \Lambda ^+}\left| {\widehat{\phi }}(\zeta \oplus \sigma )\right| ^2\le D\quad for\; a.e \; \zeta \in {{\mathbb {R}}^+}. \end{aligned}$$

Then, the set \(\big \{\phi (x\ominus \sigma ):\sigma \in \Lambda ^+\big \}\) is linearly independent.


For the proof of the lemma, it is sufficient to find another function say \({\widetilde{\phi }}\) whose translates are biorthogonal to \(\phi\). To do this, we define the function \({\widetilde{\phi }}\) by

$$\begin{aligned} \widehat{{\widetilde{\phi }}}(\zeta )=\dfrac{\widehat{\phi }(\zeta )}{\displaystyle \sum _{\sigma \in \Lambda ^+}\left| {\widehat{\phi }}(\zeta \oplus \sigma )\right| ^2}. \end{aligned}$$

Equation (3.1) implies that \({\widetilde{\phi }}\) is well defined and

$$\begin{aligned} \begin{array}{rcl} \displaystyle \sum _{\gamma \in \Lambda ^+}{\widehat{\phi }}(\zeta \oplus \gamma )\overline{\widehat{{\widetilde{\phi }}}(\zeta \oplus \gamma )}&{}=&{}\displaystyle \sum _{\gamma \in \Lambda ^+}{\widehat{\phi }}(\zeta \oplus \gamma )\dfrac{\overline{{\widehat{\phi }}(\zeta \oplus \gamma )}}{\displaystyle \sum _{\sigma \in \Lambda ^+}\left| {\widehat{\phi }}(\zeta \oplus \sigma \oplus \gamma )\right| ^2}\\ &{}=&{}\dfrac{\displaystyle \sum _{\gamma \in \Lambda ^+}\left| {\widehat{\phi }}(\zeta \oplus \gamma )\right| ^2}{\displaystyle \sum _{\nu \in \sigma }\left| {\widehat{\phi }}(\zeta +\nu )\right| ^2}\\ &{}=&{}1. \end{array} \end{aligned}$$

Applying Lemma 3.1, it follows that the set \(\big \{\phi (x\ominus \sigma ):\sigma \in \Lambda ^+\big \}\) is linearly independent. Thus the proof is completed . \(\square\)

Lemma 3.3

Assume that the scaling function \(\phi\) satisfies inequality (3.1). Let \(g=\sum _{\sigma \in \Lambda ^+}h_\sigma \phi (x\ominus \sigma )\), where \(g \in {\text {span}}\big \{\phi (x\ominus \sigma ):\sigma \in \Lambda ^+\big \}\) and \(\big \{h_\sigma \big \}\) is a finite sequence. Define the Fourier transform of h by \(\widehat{h}(\zeta )=\displaystyle \sum\nolimits _{\sigma \in \Lambda ^+}h_\sigma \overline{\chi (\sigma ,\zeta )}\). Then

$$\begin{aligned} C\int _0^{1/2}\big |{\widehat{h}}(\zeta )\big |^2\mathrm{d}\zeta \le \big \Vert g\big \Vert _2^2\le D\int _0^{1/2}\big |{\widehat{h}}(\zeta )\big |^2\mathrm{d}\zeta . \end{aligned}$$


By using Placherel’s theorem, we obtain

$$\begin{aligned} \begin{array}{rcl} \displaystyle \int _{{\mathbb {R}}^+}\big |g(x)\big |^2dx&{}=&{}\displaystyle \int _{{\mathbb {R}}^+}\left| \sum _{\sigma \in \Lambda ^+}h_\sigma \phi (x\ominus \sigma )\right| ^2dx\\ \ &{}=&{}\displaystyle \int _{{\mathbb {R}}^+}\left| \sum _{\sigma \in \Lambda ^+}h_\sigma {\widehat{\phi }}(\zeta )\overline{\chi (\sigma ,\zeta )}\right| ^2\mathrm{d}\zeta \\ \ &{}=&{}\displaystyle \int _{{\mathbb {R}}^+}\big |{\widehat{\phi }}(\zeta )\big |^2\left| \sum _{\sigma \in \Lambda ^+}h_\sigma \overline{\chi (\sigma ,\zeta )}\right| ^2\mathrm{d}\zeta \\ \ &{}=&{}\displaystyle \int _{{\mathbb {R}}^+}\big |{\widehat{\phi }}(\zeta )\big |^2\big |{\widehat{h}}(\zeta )\big |^2\mathrm{d}\zeta \\ \ &{}=&{}\displaystyle \int _0^{1/2}\sum _{m \in {\mathbb {Z}}}\left| {\widehat{\phi }}\left( \zeta \oplus \frac{m}{2}\right) \right| ^2 \left| {\widehat{h}}(\zeta )\right| ^2\mathrm{d}\zeta . \end{array} \end{aligned}$$

Using identity (3.1), the result follows. \(\square\)

Theorem 3.4

Let \(\big \{\phi (x\ominus \sigma ):\sigma \in \Lambda ^+\big \}\) be a Riesz basis for its closed linear span. Suppose that there exists a function \(\big \{\widetilde{\phi }(x\ominus \sigma ):\sigma \in \Lambda ^+\big \}\) which is biorthogonal to \(\big \{\phi (x\ominus \sigma ):\sigma \in \Lambda ^+\big \}\). Then, for every \(f \in \overline{{\text {span}}}\left\{ \phi (x\ominus \sigma ):\sigma \in \Lambda ^+\right\}\), we have

$$\begin{aligned} f =\sum _{\sigma \in \Lambda ^+}\left\langle f, \widetilde{\phi }(x\ominus \sigma )\right\rangle \phi (x\ominus \sigma ); \end{aligned}$$

and there exists constants \(C, D>0\) such that

$$\begin{aligned} C\big \Vert f\big \Vert _2^2\le \sum _{\sigma \in \Lambda ^+}\left| \left\langle f, \widehat{\widetilde{\phi }}(\zeta \ominus \sigma )\right\rangle \right| ^2\le D\big \Vert f\big \Vert _2^2. \end{aligned}$$


We first prove (3.2) and (3.3) for any \(f \in {\text {span}}\big \{\phi (x\ominus \sigma ):\sigma \in \Lambda ^+\big \}\) and then generalize it to \(\overline{{\text {span}}}\big \{\phi (x\ominus \sigma ):\sigma \in \Lambda ^+\big \}\). Let \(f \in {\text {span}}\big \{\phi (x\ominus \sigma ):\sigma \in \Lambda ^+\big \}\), then there exists a finite sequence \(\big \{h_\sigma : \sigma \in \Lambda ^+\big \}\) such that \(f =\sum _{\sigma \in \Lambda ^+}h_\sigma \phi (x\ominus \sigma )\). Also, the biorthogonality condition implies that

$$\begin{aligned} \big \langle f, {\widetilde{\phi }}(x\ominus \gamma )\big \rangle= & {} \left\langle \displaystyle \sum _{\sigma \in \Lambda ^+}h_\sigma \phi (x\ominus \sigma ), {\widetilde{\phi }}(x\ominus \gamma )\right\rangle \\= & {} \displaystyle \sum _{\sigma \in \Lambda ^+}h_\sigma \big \langle \phi (x\ominus \sigma ), {\widetilde{\phi }}(x\ominus \gamma )\big \rangle \\= & {} h_\sigma , \end{aligned}$$

which proves (3.2). In order to prove (3.3), we make the use of Lemma 3.3 to get

$$\begin{aligned} D^{-1}\big \Vert f\big \Vert _2^2\le \int _0^{1/2}\big |\widehat{h}(\zeta )\big |^2\mathrm{d}\zeta \le C^{-1}\big \Vert f\big \Vert _2^2. \end{aligned}$$

Using the Placherel formula for Fourier series and the fact that \(h_\sigma =\left\langle f, \widetilde{\phi }(x\ominus \sigma )\right\rangle\), we obtain

$$\begin{aligned} \int _0^{1/2}\big |{\widehat{h}}(\zeta )\big |^2\mathrm{d}\zeta =\sum _{\sigma \in \Lambda ^+}\big |h_\sigma \big |^2=\sum _{\sigma \in \Lambda ^+}\left| \big \langle f, {\widetilde{\phi }}(x\ominus \sigma )\big \rangle \right| ^2. \end{aligned}$$

This proves (3.3). We now generalize the results to \(\overline{{{{\text {span}}}}}\left\{ \phi (x\ominus \sigma ):\sigma \in \Lambda ^+\right\}\). For \(f \in \overline{{{{\text {span}}}}}\left\{ \widetilde{\phi }(x\ominus \sigma ):\sigma \in \Lambda ^+\right\}\), there exists a sequence \(\{f_m:m \in {\mathbb {Z}}\}\) in \({\text {{{span}}}}\left\{ {\widetilde{\phi }}(x\ominus \sigma ):\sigma \in \Lambda ^+\right\}\) such that \(\Vert f_m-f\Vert _2 \rightarrow 0\) as \(m \rightarrow \infty .\) Thus, for each \(\sigma \in \Lambda ^+\), we have

$$\begin{aligned} \big \langle f_m, {\widetilde{\phi }}(x\ominus \sigma )\big \rangle \rightarrow \big \langle f, {\widetilde{\phi }}(x\ominus \sigma )\big \rangle \quad \text {as}\; m \rightarrow \infty . \end{aligned}$$

Hence, the result holds for each \(f_m\). Thus, we have

$$\begin{aligned} \sum _{\sigma \in \Lambda ^+}\left| \big \langle f, \widetilde{\phi }(x\ominus \sigma )\big \rangle \right| ^2&=\sum _{\sigma \in \Lambda ^+}\lim _{m \rightarrow \infty }\left| \big \langle f_m, \widetilde{\phi }(x\ominus \sigma )\big \rangle \right| ^2\nonumber \\&=\lim _{m \rightarrow \infty }\sum _{\sigma \in \Lambda ^+}\left| \big \langle f_m, {\widetilde{\phi }}(x\ominus \sigma )\big \rangle \right| ^2\nonumber \\&\le D\lim _{m \rightarrow \infty }\big \Vert f_m\big \Vert _2^2\nonumber \\&=D\big \Vert f\big \Vert _2^2. \end{aligned}$$

Moreover, we have

$$\begin{aligned} \left\{ \displaystyle \sum _{\sigma \in \Lambda ^+}\left| \big \langle f_m, \widetilde{\phi }(x\ominus \sigma )\big \rangle \right| ^2\right\} ^{1/2}&\le \left\{ \displaystyle \sum _{\sigma \in \Lambda ^+}\left| \big \langle f_m-f, \widetilde{\phi }(x\ominus \sigma )\big \rangle \right| ^2\right\} ^{1/2}+\left\{ \displaystyle \sum _{\sigma \in \Lambda ^+}\left| \big \langle f, \widetilde{\phi }(x\ominus \sigma )\big \rangle \right| ^2\right\} ^{1/2}. \end{aligned}$$

As the upper bound in (3.3) holds for \(f_m-f\) and lower bound for each \(f_m\), we infer that

$$\begin{aligned} C^{1/2}\big \Vert f\big \Vert _2 \le D^{1/2}\big \Vert f_m-f\big \Vert _2+\left( \sum _{\sigma \in \Lambda ^+}\left| \big \langle f_m, \widetilde{\phi }(x\ominus \sigma )\big \rangle \right| ^2\right) ^{1/2}, \end{aligned}$$

from which we conclude that

$$\begin{aligned} C\big \Vert f\big \Vert _2^2 \le \sum _{\sigma \in \Lambda ^+}\left| \left\langle f, \widetilde{\phi }(x\ominus \sigma )\right\rangle \right| ^2. \end{aligned}$$

Combining (3.4) and (3.5), we obtain (3.3). Similarly, we can prove (3.2) for

$$\begin{aligned} f \in \overline{{{{\text {span}}}}}\left\{ \phi (x\ominus \sigma ):\sigma \in \Lambda ^+\right\} \end{aligned}$$

and the proof is completed. \(\square\)

Now we proceed to establish the properties of Nonuniform Biorthogonal wavelets on positive half line.

Let \(\{{{\mathcal {V}}}_j: j \in {\mathbb {Z}}\}\) and \(\{\widetilde{{\mathcal {V}}}_j: j \in {\mathbb {Z}}\}\) be biorthogonal NUMRA’s with scaling functions \(\phi\) and \({\widetilde{\phi }}\). Then there exists integral periodic functions \(m_0\) and \({\widetilde{m}}_0\) with the property \(\widehat{\phi }(\zeta )=m_0\left( \zeta /N\right) \widehat{\phi }\left( \zeta /N\right)\) and \(\widehat{\widetilde{\phi }}(\zeta )={\widetilde{m}}_0\left( \zeta /N\right) \widehat{\widetilde{\phi }}\left( \zeta /N\right)\). Suppose there exists integral periodic functions \(m_\ell\) and \({\widetilde{m}}_\ell , 1 \le \ell \le N-1\) such that

$$\begin{aligned} {\mathcal {M}}(\zeta ) \overline{\widetilde{{\mathcal {M}}}(\zeta )}=I, \end{aligned}$$


$$\begin{aligned} {\mathcal {M}}(\zeta )=\left( \begin{array}{cccc} m_0\left( \dfrac{\zeta }{N}\right) &{}m_0\left( \dfrac{\zeta }{N}\oplus \dfrac{1}{2N}\right) &{}\dots &{}m_0\left( \dfrac{\zeta }{N}\oplus \dfrac{N-1}{2N}\right) \\ m_1\left( \dfrac{\zeta }{N}\right) &{}m_2\left( \dfrac{\zeta }{N}\oplus \dfrac{1}{2N}\right) &{}\dots &{}m_2\left( \dfrac{\zeta }{N}\oplus \dfrac{N-1}{2N}\right) \\ \vdots &{}\vdots &{}\ddots &{}\vdots \\ m_{N-1}\left( \dfrac{\zeta }{N}\right) &{}m_{N-1}\left( \dfrac{\zeta }{N}\oplus \dfrac{1}{2N}\right) &{}\dots &{}m_{N-1}\left( \dfrac{\zeta }{N}\oplus \dfrac{N-1}{2N}\right) \end{array} \right) \end{aligned}$$


$$\begin{aligned} \widetilde{{\mathcal {M}}}(\zeta )=\left( \begin{array}{cccc} {\widetilde{m}}_0\left( \dfrac{\zeta }{N}\right) &{}{\widetilde{m}}_0\left( \dfrac{\zeta }{N}\oplus \dfrac{1}{2N}\right) &{}\dots &{}{\widetilde{m}}_0\left( \dfrac{\zeta }{N}\oplus \dfrac{N-1}{2N}\right) \\ {\widetilde{m}}_1\left( \dfrac{\zeta }{N}\right) &{}{\widetilde{m}}_2\left( \dfrac{\zeta }{N}\oplus \dfrac{1}{2N}\right) &{}\dots &{}{\widetilde{m}}_2\left( \dfrac{\zeta }{N}\oplus \dfrac{N-1}{2N}\right) \\ \vdots &{}\vdots &{}\ddots &{}\vdots \\ {\widetilde{m}}_{N-1}\left( \dfrac{\zeta }{N}\right) &{}{\widetilde{m}}_{N-1}\left( \dfrac{\zeta }{N}\oplus \dfrac{1}{2N}\right) &{}\dots &{}{\widetilde{m}}_{N-1}\left( \dfrac{\zeta }{N}\oplus \dfrac{N-1}{2N}\right) \end{array} \right) . \end{aligned}$$

For \(1 \le \ell \le N-1\), define the associated biorthgonal wavelets as \(\psi _\ell\) and \({\widetilde{\psi }}_\ell\) by

$$\begin{aligned} {\widehat{\psi }}_\ell (\zeta )=m_\ell \left( \zeta /N\right) \widehat{\phi }\left( \zeta /N\right) \quad \text {and} \quad \widehat{\widetilde{\psi }}_\ell (\zeta )={\widetilde{m}}_\ell \left( \zeta /N\right) \widehat{{\widetilde{\phi }}}\left( \zeta /N\right) . \end{aligned}$$

Definition 3.5

A pair of NUMRA’s \(\{{{\mathcal {V}}}_j: j \in {\mathbb {Z}}\}\) and \(\{\widetilde{{\mathcal {V}}}_j: j \in {\mathbb {Z}}\}\) with scaling functions \(\phi\) and \({\widetilde{\phi }}\), respectively are said to be biorthogonal to each other if \(\{\phi (\cdot \ominus \sigma ): \sigma \in \Lambda ^+\}\) and \(\{{\widetilde{\phi }}(\cdot \ominus \sigma ): \sigma \in \Lambda ^+\}\) are biorthogonal.

Definition 3.6

Let \(\phi\) and \({\widetilde{\phi }}\) be scaling functions for biorthogonal NUMRA’s. For each \(j \in {\mathbb {Z}}\), define the operators \(P_j\) and \({\widetilde{P}}_j\) on \(L^2({\mathbb {R}}^+)\) by

$$\begin{aligned} P_j f=\sum _{\sigma \in \Lambda ^+}\big \langle f, {\widetilde{\phi }}_{j, \sigma }\big \rangle \phi _{j, \sigma }\quad \text {and} \quad {\widetilde{P}}_j f=\sum _{\sigma \in \Lambda ^+}\big \langle f, \phi _{j, \sigma }\big \rangle {\widetilde{\phi }}_{j, \sigma }, \end{aligned}$$

respectively. It is easy to verify that these operators are uniformly bounded on \(L^2({\mathbb {R}}^+)\) and both the series are convergent in \(L^2({\mathbb {R}}^+)\).

Remark 3.7

The operators \(P_j\) and \({\widetilde{P}}_j\) satisfy the following properties.

  1. (a)

       \(P_j f=f \iff f \in V_j\) and \({\widetilde{P}}_j f=f \iff f \in {\widetilde{V}}_j\).

  2. (b)

       \(\displaystyle \lim _{j \rightarrow \infty }\big \Vert P_j f-f\big \Vert _2=0\) and \(\displaystyle \lim _{j \rightarrow -\infty }\big \Vert P_j f\big \Vert _2=0\) for every \(f \in L^2({\mathbb {R}}^+).\)

Lemma 3.8

Let \(\phi\) and \({\widetilde{\phi }}\) be the scaling functions for biorthogonal NUMRA’s and \(\psi _\ell\) and \({\widetilde{\psi }}_\ell , 1 \le \ell \le N-1\) be the associated wavelets satisfying (3.6). Then, we have the following

  1. (a)

       \(\big \{\psi _{\ell ,0,\sigma }: \sigma \in \Lambda ^+\big \}\) is biorthogonal to \(\big \{{\widetilde{\psi }}_{\ell ,0,\gamma }:\gamma \in \Lambda ^+\big \}\),

  2. (b)

       \(\big \langle \psi _{\ell ,0,\sigma }, {\widetilde{\phi }}_{0, \gamma }\big \rangle =\big \langle {\widetilde{\psi }}_{\ell ,0,\sigma }, \phi _{0, \gamma }\big \rangle ,\quad {\text {for all}} \;\sigma , \gamma \in \Lambda ^+\).


we have

$$\begin{aligned}&\sum _{t \in {\mathbb {Z}}}{\widehat{\psi }}_\ell \left( \zeta \oplus \dfrac{t}{2}\right) \overline{\widehat{{\widetilde{\psi }}}_\ell \left( \zeta \oplus \dfrac{t}{2}\right) }\\&\quad =\displaystyle \sum _{t \in {\mathbb {Z}}}\left\{ m_\ell \left( \dfrac{\zeta }{N} \oplus \dfrac{t}{2N}\right) {\widehat{\phi }}\left( \dfrac{\zeta }{N} \oplus \dfrac{t}{2N}\right) \overline{{\widetilde{m}}_\ell \left( \dfrac{\zeta }{N} \oplus \dfrac{t}{2N}\right) }\,\overline{\widehat{{\widetilde{\phi }}}\left( \dfrac{\zeta }{N} \oplus \dfrac{t}{2N}\right) }\right\} \\&\quad =\sum _{s=0}^{N-1}\sum _{t \in {\mathbb {Z}}}\left\{ m_\ell \left( \dfrac{\zeta }{N} \oplus \dfrac{t}{2}\oplus \dfrac{s}{2N}\right) {\widehat{\phi }}\left( \dfrac{\zeta }{N} \oplus \dfrac{t}{2}\oplus \dfrac{s}{2N}\right) \overline{{\widetilde{m}}_\ell \left( \dfrac{\zeta }{N} \oplus \dfrac{t}{2}\oplus \dfrac{s}{2N}\right) }\,\overline{\widehat{{\widetilde{\phi }}}\left( \dfrac{\zeta }{N} \oplus \dfrac{t}{2}\oplus \dfrac{s}{2N}\right) }\right\} \\&\quad =\sum _{s=0}^{N-1}\left\{ m_\ell \left( \dfrac{\zeta }{N} \oplus \dfrac{s}{2N}\right) \overline{{\widetilde{m}}_\ell \left( \dfrac{\zeta }{N} \oplus \dfrac{s}{2N}\right) }\right\} \\&\quad =1. \end{aligned}$$

Hence, by Lemma 3.1, \(\big \{\psi _{\ell ,0,\sigma }: \sigma \in \Lambda ^+\big \}\) is biorthogonal to \(\big \{{\widetilde{\psi }}_{\ell ,0,\sigma }:\sigma \in \Lambda ^+\big \}\). This proves part (a). To prove part (b), we have for, \(\sigma , \gamma \in \Lambda ^+\)

$$\begin{aligned} \displaystyle \big \langle \psi _{\ell ,0,\sigma }, {\widetilde{\phi }}_{0, \gamma }\big \rangle= & {} \big \langle \psi _\ell (x\ominus \sigma ), {\widetilde{\phi }}(x\ominus \gamma )\big \rangle \\= & {} \displaystyle \left\langle {\widehat{\psi }}_\ell \,\overline{\chi (\sigma . \zeta )}, \widehat{{\widetilde{\phi }}}\,\overline{\chi (\gamma ,\zeta )}\right\rangle \\= & {} \displaystyle \int _{{\mathbb {R}}^+} m_\ell \left( \dfrac{\zeta }{N}\right) \widehat{\phi }\left( \dfrac{\zeta }{N}\right) \overline{\chi (\sigma ,\zeta )} \, \overline{\widetilde{m}_0\left( \dfrac{\zeta }{N}\right) }\,\overline{\widehat{\widetilde{\phi }}\left( \dfrac{\zeta }{N}\right) }\overline{\chi (\gamma ,\zeta )} \mathrm{d}\zeta \\= & {} \displaystyle \int _0^{1/2}\sum _{p \in {\mathbb {Z}}}\left\{ m_\ell \left( \dfrac{\zeta }{N} \oplus \dfrac{p}{2N}\right) {\widehat{\phi }}\left( \dfrac{\zeta }{N} \oplus \dfrac{p}{2N}\right) \right. \\&\left. \qquad \times \overline{{\widetilde{m}}_0\left( \dfrac{\zeta }{N} \oplus \dfrac{p}{2N}\right) }\,\overline{\widehat{{\widetilde{\phi }}}\left( \dfrac{\zeta }{N} \oplus \dfrac{p}{2N}\right) }\right\} \chi (\gamma \ominus \sigma ,\zeta )\mathrm{d}\zeta \\= & {} \displaystyle \int _0^{1/2}\sum _{s=0}^{N-1}\sum _{p \in {\mathbb {Z}}}\left\{ m_\ell \left( \dfrac{\zeta }{N} \oplus \dfrac{p}{2}\oplus \dfrac{s}{2N}\right) {\widehat{\phi }}\left( \dfrac{\zeta }{N} \oplus \dfrac{p}{2}\oplus \dfrac{s}{2N}\right) \right. \\&\left. \times \overline{{\widetilde{m}}_0\left( \dfrac{\zeta }{N} \oplus \dfrac{p}{2}\oplus \dfrac{s}{2N}\right) }\,\overline{\widehat{{\widetilde{\phi }}}\left( \dfrac{\zeta }{N} \oplus \dfrac{p}{2}\oplus \dfrac{s}{2N}\right) }\right\} \chi (\gamma \ominus \sigma ,\zeta ) \mathrm{d}\zeta \\= & {} \displaystyle \int _0^{1/2}\sum _{s=0}^{N-1}\left\{ m_\ell \left( \dfrac{\zeta }{N} \oplus \dfrac{s}{2N}\right) \overline{{\widetilde{m}}_0\left( \dfrac{\zeta }{N} \oplus \dfrac{s}{2N}\right) }\right\} \chi (\gamma \ominus \sigma ,\zeta )\mathrm{d}\zeta \\= & {} 0. \end{aligned}$$

The dual one can also be shown equal to zero in a similar manner. This proves part (b) and hence the proof is completed. \(\square\)

Theorem 3.9

Let \(\phi ,{\widetilde{\phi }},\psi _\ell\) and \({\widetilde{\psi }}_\ell , 1 \le \ell \le N-1\) be as in Theorem 3.8. Let \(\psi _0=\phi\) and \({\widetilde{\psi }}_0={\widetilde{\phi }}\). Then, for every \(f \in L^2({{\mathbb {R}}})\), we have

$$\begin{aligned} P_1f=P_0f+\sum _{\ell =1}^{N-1}\sum _{\sigma \in \Lambda ^+}\big \langle f, {\widetilde{\psi }}_{\ell , 0, \sigma }\big \rangle \psi _{\ell , 0, \sigma } \end{aligned}$$


$$\begin{aligned} {\widetilde{P}}_1f={\widetilde{P}}_0f+\sum _{\ell =1}^{N-1}\sum _{\sigma \in \Lambda ^+}\big \langle f, \psi _{\ell , 0, \sigma }\big \rangle \widetilde{\psi }_{\ell , 0, \sigma }. \end{aligned}$$

where the series in (3.7) and (3.8) converges in \(L^2({{\mathbb {R}}^+})\).


For the sake of convenience, we will only prove (3.7), as (3.8) is an easy consequence. In particular, we will prove it in the weak sense only. For this, let \(f, g \in L^2({{\mathbb {R}}})\). Then, we have

$$\begin{aligned}&\sum _{\ell =0}^{N-1}\sum _{\sigma \in \Lambda ^+}\left\langle f, {\widetilde{\psi }}_{\ell , 0, \sigma }\right\rangle \overline{\big \langle g, \psi _{\ell , 0, \sigma }\big \rangle }\nonumber \\&\quad =\displaystyle \sum _{\ell =0}^{N-1}\sum _{\sigma \in \Lambda ^+}\left\{ \int _{{\mathbb {R}}^+} {\widehat{f}}(\zeta )\overline{\widehat{{\widetilde{\psi }}}_\ell (\zeta ) }\chi ( \sigma ,\zeta )\mathrm{d}\zeta \right\} \left\{ \int _{{\mathbb {R}}^+} \overline{{\widehat{g}}(\zeta )}{\widehat{\psi }}_\ell (\zeta ) \overline{\chi ( \sigma ,\zeta )}\mathrm{d}\zeta \right\} \nonumber \\&\quad =\displaystyle \sum _{\ell =0}^{N-1}\sum _{\sigma \in \Lambda ^+}\left\{ \int _0^{1/2}\sum _{p \in {\mathbb {Z}}} {\widehat{f}}\left( \zeta \oplus \dfrac{p}{2}\right) \overline{\widehat{{\widetilde{\psi }}}_\ell \left( \zeta \oplus \dfrac{p}{2}\right) }\chi ( \sigma ,\zeta )\mathrm{d}\zeta \right\} \nonumber \\&\qquad \times \left\{ \displaystyle \int _0^{1/2}\sum _{q \in {\mathbb {Z}}} \overline{{\widehat{g}}\left( \zeta \oplus \dfrac{q}{2}\right) }{\widehat{\psi }}_\ell \left( \zeta \oplus \dfrac{q}{2}\right) \overline{\chi ( \sigma ,\zeta )}\mathrm{d}\zeta \right\} \nonumber \\&\quad =\displaystyle \sum _{\ell =0}^{N-1}\int _0^{1/2}\left\{ \sum _{p \in {\mathbb {Z}}} {\widehat{f}}\left( \zeta \oplus \dfrac{p}{2}\right) \overline{\widehat{{\widetilde{\psi }}}_\ell \left( \zeta \oplus \dfrac{p}{2}\right) }\right\} \left\{ \sum _{q \in {\mathbb {Z}}}\overline{{\widehat{g}}\left( \zeta \oplus \dfrac{q}{2}\right) }{\widehat{\psi }}_\ell \left( \zeta \oplus \dfrac{q}{2}\right) \right\} \mathrm{d}\zeta \nonumber \\ \end{aligned}$$
$$\begin{aligned}&=\displaystyle \int _0^{1/2}\sum _{\ell =0}^{N-1}\left\{ \sum _{p \in {\mathbb {Z}}} {\widehat{f}}\left( \zeta \oplus \dfrac{p}{2}\right) \overline{{\widetilde{m}}_\ell \left( \dfrac{\zeta }{N} \oplus \dfrac{p}{2N}\right) }\,\overline{\widehat{{\widetilde{\phi }}}\left( \dfrac{\zeta }{N} \oplus \dfrac{p}{2N}\right) }\right. \nonumber \\&\qquad \times \left. \displaystyle \sum _{q \in {\mathbb {Z}}}\overline{{\widehat{g}}\left( \zeta \oplus \dfrac{q}{2}\right) }m_\ell \left( \dfrac{\zeta }{N} \oplus \dfrac{q}{2N}\right) {\widehat{\phi }}\left( \dfrac{\zeta }{N} \oplus \dfrac{q}{2N}\right) \right\} \mathrm{d}\zeta \nonumber \\&\quad =\displaystyle \int _0^{1/2}\sum _{\ell =0}^{N-1}\left\{ \sum _{r=0}^{N-1}\sum _{p^\prime \in {\mathbb {Z}}} {\widehat{f}}\left( \zeta \oplus \dfrac{p^\prime }{2}N\oplus \dfrac{r}{2}\right) \overline{{\widetilde{m}}_\ell \left( \dfrac{\zeta }{N} \oplus \dfrac{r}{2N}\oplus \dfrac{p^\prime }{2}\right) }\,\overline{\widehat{{\widetilde{\phi }}}\left( \dfrac{\zeta }{N} \oplus \dfrac{r}{2N}\oplus \dfrac{p^\prime }{2}\right) }\right. \nonumber \\&\qquad \times \displaystyle \sum _{s=0}^{N-1}\sum _{q^\prime \in {\mathbb {N}}_0}\overline{{\widehat{g}}\left( \zeta \oplus \dfrac{q^\prime }{2}N\oplus \dfrac{s}{2}\right) }m_\ell \left( \dfrac{\zeta }{N} \oplus \dfrac{s}{2N}\oplus \dfrac{q^\prime }{2}\right) \left. {\widehat{\phi }}\left( \dfrac{\zeta }{N} \oplus \dfrac{s}{2N}\oplus \dfrac{q^\prime }{2}\right) \right\} \mathrm{d}\zeta \nonumber \\&\quad =\displaystyle \int _0^{1/2}\sum _{r=0}^{N-1}\sum _{p^\prime \in {\mathbb {N}}_0}\sum _{s=0}^{N-1}\sum _{q^\prime \in {\mathbb {N}}_0}\left\{ \sum _{\ell =0}^{N-1} \overline{{\widetilde{m}}_\ell \left( \dfrac{\zeta }{N} \oplus \dfrac{r}{2N}\right) }m_\ell \left( \dfrac{\zeta }{N} \oplus \dfrac{s}{2N}\right) \right\} \nonumber \\&\qquad \times {\widehat{f}}\left( \zeta \oplus \dfrac{p^\prime }{2}N\oplus \dfrac{r}{2}\right) \overline{\widehat{{\widetilde{\phi }}}\left( \dfrac{\zeta }{N} \oplus \dfrac{r}{2N}+\dfrac{p^\prime }{2}\right) }\,\overline{{\widehat{g}}\left( \zeta \oplus \dfrac{q^\prime }{2}N\oplus \dfrac{s}{2}\right) }{\widehat{\phi }}\left( \dfrac{\zeta }{N} \oplus \dfrac{s}{2N}\oplus \dfrac{q^\prime }{2}\right) \mathrm{d}\zeta \nonumber \\&\quad =\displaystyle \int _0^{1/2}\sum _{p^\prime \in {\mathbb {N}}_0}\sum _{q^\prime \in {\mathbb {N}}_0}\sum _{s=0}^{N-1}{\widehat{f}}\left( \zeta \oplus \dfrac{p^\prime }{2}N\oplus \dfrac{s}{2}\right) \overline{\widehat{{\widetilde{\phi }}}\left( \dfrac{\zeta }{N} \oplus \dfrac{s}{2N}\oplus \dfrac{p^\prime }{2}\right) }\nonumber \\&\qquad \times \overline{{\widehat{g}}\left( \zeta \oplus \dfrac{q^\prime }{2}N\oplus \dfrac{s}{2}\right) }{\widehat{\phi }}\left( \dfrac{\zeta }{N} \oplus \dfrac{s}{2N}\oplus \dfrac{p^\prime }{2}\right) \mathrm{d}\zeta \nonumber \\&\quad =\displaystyle \sum _{s=0}^{N-1}\int _0^{{s+1}/2}\sum _{p^\prime \in {\mathbb {N}}_0}\sum _{q^\prime \in {\mathbb {N}}_0}{\widehat{f}}\left( \zeta \oplus \dfrac{p^\prime }{2}N\right) \overline{\widehat{{\widetilde{\phi }}}\left( \dfrac{\zeta }{N} \oplus \dfrac{p^\prime }{2}\right) }\,\overline{{\widehat{g}}\left( \zeta \oplus \dfrac{q^\prime }{2}N\right) }{\widehat{\phi }}\left( \dfrac{\zeta }{N} \oplus \dfrac{p^\prime }{2}\right) \mathrm{d}\zeta . \, \end{aligned}$$

Furthermore, we have

$$\begin{aligned}&\displaystyle \sum _{\sigma \in \Lambda ^+}\left\langle f, \widetilde{\phi }_{1, \sigma }\right\rangle \overline{\left\langle g, \phi _{1, \sigma }\right\rangle }\nonumber \\&\quad =\displaystyle \sum _{\sigma \in \Lambda ^+}\left\{ \int _{{\mathbb {R}}} {\widehat{f}}(\zeta )\overline{\widehat{{\widetilde{\phi }}}\left( \dfrac{\zeta }{N}\right) }e^{2\pi i \zeta /N}\mathrm{d}\zeta \right\} \left\{ \int _{{\mathbb {R}}} \overline{{\widehat{g}}(\zeta )}{\widehat{\phi }}\left( \dfrac{\zeta }{N}\right) e^{-2\pi i \zeta /N}\mathrm{d}\zeta \right\} \nonumber \\&\quad =\displaystyle \int _0^{1/2}\sum _{p\in {\mathbb {Z}}} \widehat{f}\left( \zeta \oplus \dfrac{p}{2}N\right) \overline{\widehat{\widetilde{\phi }}\left( \dfrac{\zeta }{N}\oplus \dfrac{p}{2}\right) }\mathrm{d}\zeta \int _0^{1/2}\sum _{q\in {\mathbb {Z}}} \overline{\widehat{g}\left( \zeta \oplus \dfrac{q}{2}N\right) }\widehat{\phi }\left( \dfrac{\zeta }{N}\oplus \dfrac{q}{2}\right) \mathrm{d}\zeta \nonumber \\&\quad =\displaystyle \int _0^{1/2}\sum _{p\in {\mathbb {Z}}} \widehat{f}\left( \zeta \oplus \dfrac{p}{2}N\right) \overline{\widehat{\widetilde{\phi }}\left( \dfrac{\zeta }{N}\oplus \dfrac{p}{2}\right) }\mathrm{d}\zeta \int _0^{1/2}\sum _{q\in {\mathbb {Z}}} \overline{\widehat{g}\left( \zeta \oplus \dfrac{q}{2}N\right) }\widehat{\phi }\left( \dfrac{\zeta }{N}\oplus \dfrac{q}{2}\right) \mathrm{d}\zeta \nonumber \\&\quad =\displaystyle \int _0^{1/2}\sum _{p\in {\mathbb {Z}}}\sum _{q\in {\mathbb {Z}}} {\widehat{f}}\left( \zeta \oplus \dfrac{p}{2}N\right) \overline{\widehat{\widetilde{\phi }}\left( \dfrac{\zeta }{N}\oplus \dfrac{p}{2}\right) }\overline{{\widehat{g}}\left( \zeta \oplus \dfrac{q}{2}N\right) }\widehat{\phi }\left( \dfrac{\zeta }{N}\oplus \dfrac{q}{2}\right) \mathrm{d}\zeta . \end{aligned}$$

Combing (3.9) and (3.10), we get the desired result. \(\square\)

Theorem 3.10

Let \(\phi\) and \({\widetilde{\phi }}\) be the scaling functions for biorthogonal NUMRA’s and \(\psi _\ell\) and \({\widetilde{\psi }}_\ell , 1 \le \ell \le N-1\) be the associated wavelets satisfying the matrix condition (3.6). Then, the collection \(\big \{\psi _{\ell , j, \sigma }: 1 \le \ell \le N-1, j \in {\mathbb {Z}}, \sigma \in \Lambda ^+ \big \}\) and \(\big \{{\widetilde{\psi }}_{\ell , j, \sigma }: 1 \le \ell \le N-1, j \in {\mathbb {Z}}, \sigma \in \Lambda ^+ \big \}\) are biorthogonal. Moreover, if

$$\begin{aligned} \big |{\widehat{\phi }}(\zeta )\big |\le K(1+|\zeta |)^{-\frac{1}{2}-\epsilon },\,\big |\widehat{{\widetilde{\phi }}}(\zeta )\big |\le K(1+|\zeta |)^{-\frac{1}{2}-\epsilon },\,\big |{\widehat{\psi }}_\ell (\zeta )\big |\le K|\zeta |\; and \;\big |\widehat{{\widetilde{\psi }}}(\zeta )\big |\le K|\zeta |, \end{aligned}$$

for some constant \(K>0,\,\epsilon >0\) and for a.e. \(\zeta \in {\mathbb {R}}\), then \(\big \{\psi _{\ell , j, \sigma }: 1 \le \ell \le N-1, j \in {\mathbb {Z}}, \sigma \in \Lambda ^+ \big \}\) and \(\big \{\widetilde{\psi }_{\ell , j, \sigma }: 1 \le \ell \le N-1, j \in {\mathbb {Z}}, \sigma \in \Lambda ^+ \big \}\) form Riesz bases for \(L^2({{\mathbb {R}}})\).


First we show that \(\big \{\psi _{\ell , j, \sigma }: 1 \le \ell \le N-1, j \in {\mathbb {Z}}, \sigma \in \Lambda ^+ \big \}\) and \(\big \{{\widetilde{\psi }}_{\ell , j, \sigma }: 1 \le \ell \le N-1, j \in {\mathbb {Z}}, \sigma \in \Lambda ^+ \big \}\) are biorthogonal to each other. For this, we will show that for each \(\ell ,\, 1\le \ell \le N-1\) and \(j \in {\mathbb {Z}}\),

$$\begin{aligned} \big \langle \psi _{\ell , j, \sigma }, {\widetilde{\psi }}_{\ell , j, \gamma }\big \rangle =\delta _{\sigma , \gamma }. \end{aligned}$$

In fact, we have already proved (3.12) for \(j=0\). For \(j\ne 0\), we have

$$\begin{aligned} \big \langle \psi _{\ell , j, \sigma }, {\widetilde{\psi }}_{\ell , j, \gamma }\big \rangle =\big \langle D_{-j} \psi _{\ell , 0, \sigma }, D_{-j}{\widetilde{\psi }}_{\ell , 0, \gamma }\big \rangle =\big \langle \psi _{\ell , 0, \sigma }, \widetilde{\psi }_{\ell , 0, \gamma }\big \rangle =\delta _{\sigma , \gamma }. \end{aligned}$$

Also, for fixed \(\sigma , \gamma \in \Lambda ^+\) and \(j, j^\prime \in {\mathbb {Z}}\) with \(j<j^\prime\), we claim that

$$\begin{aligned} \big \langle \psi _{\ell , j, \sigma }, {\widetilde{\psi }}_{\ell ^\prime , j^\prime , \gamma }\big \rangle =0. \end{aligned}$$

As \(\psi _{\ell , 0, \sigma } \in {{\mathcal {V}}}_1\), hence \(\psi _{\ell , j, \sigma }=D_{-j} \psi _{\ell , 0, \sigma }\in {{\mathcal {V}}}_{j+1}\subseteq {{\mathcal {V}}}_{j^\prime }\). Therefore, it is enough to show that \({\widetilde{\psi }}_{\ell ^\prime , j^\prime , \gamma }\) is orthogonal to every element of \({{\mathcal {V}}}_{j^\prime }\). Let \(g \in \mathcal{V}_{j^\prime }\). Since \(\big \{\phi _{j^\prime , \sigma }: \sigma \in \Lambda ^+\big \}\) is a Riesz basis for \({{\mathcal {V}}}_{j^\prime }\), hence there exists an \(l^2\)-sequence \(\big \{d_\sigma : \sigma \in \Lambda ^+\big \}\) such that \(g=\sum _{\sigma \in \Lambda ^+}d_\sigma \phi _{j^\prime , \sigma }\) in \(L^2({\mathbb {R}}^+)\). Using part (b) of Lemma 3.6, we have

$$\begin{aligned} \big \langle {\widetilde{\psi }}_{\ell ^\prime , j^\prime , \gamma }, \phi _{j^\prime , \sigma }\big \rangle =\big \langle D_{-j^\prime } {\widetilde{\psi }}_{\ell ^\prime , 0, \gamma }, D_{-j^\prime }\phi _{0, \sigma }\big \rangle =0. \end{aligned}$$


$$\begin{aligned} \big \langle {\widetilde{\psi }}_{\ell ^\prime , j^\prime , \gamma }, g\big \rangle =\Big \langle {\widetilde{\psi }}_{\ell ^\prime , j^\prime , \gamma }, \displaystyle \sum _{\sigma \in \Lambda ^+}d_\sigma \phi _{j^\prime , \sigma }\Big \rangle =\displaystyle \sum _{\sigma \in \Lambda ^+}d_\sigma \big \langle {\widetilde{\psi }}_{\ell ^\prime , j^\prime , \gamma }, \phi _{j^\prime , \sigma }\big \rangle =0. \end{aligned}$$

We now show that these two collections form Riesz bases for \(L^2({\mathbb {R}}^+)\). The linear independence is clear from the fact that these collections are biorthogonal to each other. So, we have to check the frame inequalities only i.e., there exists constants \(C, {\widetilde{C}}, D, {\widetilde{D}}>0\) such that

$$\begin{aligned} C\big \Vert g\big \Vert _2^2\le \sum _{\ell =1}^{N-1}\sum _{j \in \mathbb {Z}}\sum _{\sigma \in \Lambda ^+}\left| \big \langle g, \psi _{\ell , j, \sigma }\big \rangle \right| ^2\le D\big \Vert g\big \Vert _2^2,\quad \forall \; f \in L^2({\mathbb {R}}^+), \end{aligned}$$


$$\begin{aligned} {\widetilde{C}}\big \Vert g\big \Vert _2^2\le \sum _{\ell =1}^{N-1}\sum _{j \in {\mathbb {Z}}}\sum _{\sigma \in \Lambda ^+}\left| \big \langle g, \widetilde{\psi }_{\ell , j, \sigma }\big \rangle \right| ^2\le \widetilde{D}\big \Vert g\big \Vert _2^2,\quad \forall \; f \in L^2({\mathbb {R}}^+). \end{aligned}$$

Let us first check the existence of the upper bounds in (3.14) and (3.15 ). For this, we have

$$\begin{aligned} \sum _{\sigma \in \Lambda ^+}\left| \big \langle g, {\widetilde{\psi }}_{\ell , j, \sigma }\big \rangle \right| ^2= & {} \displaystyle \sum _{\sigma \in \Lambda ^+}\left| \int _{{\mathbb {R}}^+} {\widehat{g}}(\zeta )(N)^{-j/2}\,\overline{{\widehat{\psi }}_\ell \big (N^{-j}\zeta \big )}\chi ( \sigma ,N^{-j}\zeta ) \mathrm{d}\zeta \right| ^2\\= & {} N^{-j}\displaystyle \sum _{\sigma \in \Lambda ^+}\left| \int _0^{1/2} \sum _{p \in {\mathbb {Z}}}{\widehat{g}}\left( \zeta \oplus (N)^j\dfrac{p}{2}\right) \overline{{\widehat{\psi }}_\ell \left( (N)^{-j}\zeta \oplus \dfrac{p}{2}\right) }\chi ( \sigma ,N^{-j}\zeta )\mathrm{d}\zeta \right| ^2\\= & {} \displaystyle \int _0^{1/2}\left| \sum _{p \in {\mathbb {Z}}}{\widehat{g}}\left( \zeta \oplus (N)^j\dfrac{p}{2}\right) \overline{{\widehat{\psi }}_\ell \left( (N)^{-j}\zeta \oplus \dfrac{p}{2}\right) }\right| ^2\mathrm{d}\zeta \\= & {} \displaystyle \int _0^{1/2}\left\{ \sum _{p \in {\mathbb {Z}}}\left| {\widehat{g}}\left( \zeta \oplus (N)^j\dfrac{p}{2}\right) \right| ^2\left| {\widehat{\psi }}_\ell \left( (N)^{-j}\zeta \oplus \dfrac{p}{2}\right) \right| ^{2\delta }\right\} \\&\qquad \times \left\{ \displaystyle \sum _{q \in {\mathbb {Z}}}\left| {\widehat{\psi }}_\ell \left( (N)^{-j}\zeta \oplus \dfrac{q}{2}\right) \right| ^{2(1-\delta )}\right\} \mathrm{d}\zeta \\= & {} \displaystyle \int _{{\mathbb {R}}^+}\left| {\widehat{g}}(\zeta )\right| ^2\big |{\widehat{\psi }}_\ell \left( (N)^{-j}\zeta \right) \big |^{2\delta }\sum _{q \in {\mathbb {Z}}}\left| {\widehat{\psi }}_\ell \left( (N)^{-j}\zeta \oplus \dfrac{q}{2}\right) \right| ^{2(1-\delta )}\mathrm{d}\zeta . \end{aligned}$$

By our assumption (3.11), we have \(|{\widehat{\psi }}_\ell (\zeta )|\le K\left( 1+|(N)^{-1}\zeta |\right) ^{-1/2-\epsilon }\) and therefore, it follows that \(\sum _{q \in {\mathbb {Z}}}\big |\widehat{\psi }_\ell \left( (N)^{-j}\zeta +q/2\right) \big |^{2(1-\delta )}\) is uniformly bounded if \(\delta <2\epsilon (1+2\epsilon )^{-1}\). Thus, there exists a constant \(K>0\) such that

$$\begin{aligned} \displaystyle \sum _{\sigma \in \Lambda ^+}\left| \big \langle g, {\widetilde{\psi }}_{\ell , j, \sigma }\big \rangle \right| ^2\le & {} K\displaystyle \int _{{\mathbb {R}}^+}\big | \widehat{g}(\zeta )\big |^2\sum _{j \in {\mathbb {Z}}}\big |\widehat{\psi }_\ell \left( (N)^{-j}\zeta \right) \big |^{2\delta }\mathrm{d}\zeta \\\le & {} K\sup \left\{ \displaystyle \sum _{j \in {\mathbb {Z}}}\big |{\widehat{\psi }}_\ell \left( (N)^{-j}\zeta \right) \big |^{2\delta }: 1 \le \zeta \le N\right\} \big \Vert g\big \Vert _2^2. \end{aligned}$$

Also for \(\zeta \in [1, N]\), we have

$$\begin{aligned} \displaystyle \sum _{j=-\infty }^0\big |{\widehat{\psi }}_\ell \left( (N)^{-j}\zeta \right) \big |^{2\delta }\le & {} \displaystyle \sum _{j=-\infty }^0\dfrac{K^{2\delta }}{\big (1+|(N)^{j-1}\zeta |\big )^{\delta (1+2\epsilon )}}\\\le & {} \displaystyle \sum _{j=-\infty }^0\dfrac{K^{2\delta }}{(N)^{(j-1)\delta (1+2\epsilon )}}\\\le & {} \displaystyle K^{2\delta }\dfrac{q^{\delta (1+2\epsilon )}}{1-(N)^{-\delta (1+2\epsilon )}}. \end{aligned}$$

Furthermore, we have

$$\begin{aligned} \sum _{j=1}^\infty \big |\widehat{\psi }_\ell \left( (N)^{-j}\zeta \right) \big |^{2\delta }\le \sum _{j=1}^\infty \big (K(N)^{-j}|\zeta |\big )^{2\delta }\le K^{2\delta }\sum _{j=1}^\infty (N)^{(-j+1)2\delta }=K^{2\delta }\dfrac{1}{1-(N)^{-2\delta }}, \end{aligned}$$

and hence, it follows that \(\sup \big \{\sum _{j \in \mathbb {Z}}\big |{\widehat{\psi }}_\ell \left( (N)^{-j}\zeta \right) \big |^{2\delta }: 1 \le \zeta \le N\big \}\) is finite. Therefore, there exist \(D>0\) such that of (3.15) holds. Similarly, we can show for dual one also. The existence of lower bounds for both the cases can be shown in similar fashion. Thus, we have

$$\begin{aligned} \big \Vert g\big \Vert _2^2= & {} \big \langle g, g \big \rangle \\= & {} \left\langle \displaystyle \sum _{\ell =1}^{N-1}\sum _{j \in {\mathbb {Z}}}\sum _{\sigma \in \Lambda ^+}\big \langle g, {\widetilde{\psi }}_{\ell , j, \sigma }\big \rangle \psi _{\ell , j, \sigma }, g \right\rangle \\= & {} \displaystyle \sum _{\ell =1}^{N-1}\sum _{j \in {\mathbb {Z}}}\sum _{\sigma \in \Lambda ^+} \big \langle g, {\widetilde{\psi }}_{\ell , j, \sigma }\big \rangle \big \langle \psi _{\ell , j, \sigma }, g \big \rangle \\\le & {} \left( \displaystyle \sum _{\ell =1}^{N-1}\sum _{j \in {\mathbb {Z}}}\sum _{\sigma \in \Lambda ^+} \left| \big \langle g, {\widetilde{\psi }}_{\ell , j, \sigma }\big \rangle \right| ^2\right) ^{1/2}\left( \displaystyle \sum _{\ell =1}^{N-1}\sum _{j \in {\mathbb {Z}}}\sum _{\sigma \in \Lambda ^+} \left| \big \langle g, \psi _{\ell , j, \sigma }\big \rangle \right| ^2\right) ^{1/2}\\\le & {} ({\widetilde{D}})^{1/2}\big \Vert g\big \Vert _2\left( \displaystyle \sum _{\ell =1}^{N-1}\sum _{j \in {\mathbb {Z}}}\sum _{\sigma \in \Lambda ^+} \left| \big \langle g, \psi _{\ell , j, \sigma }\big \rangle \right| ^2\right) ^{1/2}. \end{aligned}$$


$$\begin{aligned} \dfrac{1}{{\widetilde{D}}}\,\big \Vert g\big \Vert _2^2\le \sum _{\ell =1}^{N-1}\sum _{j \in {\mathbb {Z}}}\sum _{\sigma \in \Lambda ^+} \left| \big \langle g, \psi _{\ell , j, \sigma }\big \rangle \right| ^2. \end{aligned}$$

The dual case can be proved in similar lines. This completes the proof. \(\square\)


In this paper, we develop the comprehensive theory of nonuniform biorthogonal wavelets on the positive half line . We provide the complete characterization for the translates of a single function to form Reisz basis and the associated biorthogonal families with respect to NUMRA in \(L^2({\mathbb {R}}^+)\). Under some mild assuptions on wavelets associated with NUMRA and the scaling function, we show the wavelets can generate Reisz bases.The results established in this paper are theoretical in nature and will definitely provide new directions to the development of wavelet analysis and widen its field of applications.

Availability of data and materials

Data sharing is not applicable to this article as no datasets were generated or analyzed during the current study.



Owais Ahmad


Neyaz Ahmad Sheikh


Mobin Ahmad


  1. 1.

    Bownik, M., Garrigos, G.: Biorthogonal wavelets, MRA’s and shift-invariant spaces. Studia Math. 160, 231–248 (2004)

    MathSciNet  Article  Google Scholar 

  2. 2.

    Cohen, A., Daubechies, I., Feauveau, J.C.: Biorthogonal bases of compactly supported wavelets. Commun. Pure Appl. Math. 45, 485–560 (1992)

    MathSciNet  Article  Google Scholar 

  3. 3.

    Chui, C.K., Wang, J.Z.: On compactly supported spline wavelets and a duality principle. Trans. Amer. Math. Soc. 330(2), 903–915 (1992)

    MathSciNet  Article  Google Scholar 

  4. 4.

    Karoui, A., Vaillancourt, R.: Families of Biorthogonal Wavelets. Comput. Math. Applic. 28(4), 25–39 (1994)

    MathSciNet  Article  Google Scholar 

  5. 5.

    Gabardo, J.P., Nashed, M.: Nonuniform multiresolution analyses and spectral pairs. J. Funct. Anal. 158, 209–241 (1998)

    MathSciNet  Article  Google Scholar 

  6. 6.

    Shah, F., Abdullah, A.: Nonuniform multiresolution analysis on local fields of positive characteristic. Complex Anal. Opert. Theory. 9, 1589–1608 (2015)

    MathSciNet  Article  Google Scholar 

  7. 7.

    Farkov, Y.A., Maksimov, A.Y., Stroganov, S.A.: On biorthogonal wavelets related to the Walsh functions. Int. J. Wavelets Multiresolut. Inf. Process. 9(3), 485–499 (2011)

  8. 8.

    Meenakshi, Manchanda, P., Siddiqi, A.H.: Wavelets associated with nonuniform multiresolution analysis on positive half-line. Int. J. Wavelets Multiresolut. Inf. Process. 10(2), 1250018 (2012)

  9. 9.

    Shah, F.A., Ahmad, O., Sheikh, N.A.: Some new inequalities for wavelet frames on local fields. Anal. Theory Appl. 33(2), 134–148 (2017)

    MathSciNet  Article  Google Scholar 

  10. 10.

    Ahmad, O., Sheikh, N.A., Ali, M.A.: Nonuniform nonhomogeneous dual wavelet frames in Sobolev spaces in \(L^2({\mathbb{K}})\). Afrika Math. (2020).

  11. 11.

    Ahmad, O., Sheikh, N.A.: On Characterization of nonuniform tight wavelet frames on local fields. Anal. Theory Appl. 34, 135–146 (2018)

    MathSciNet  Article  Google Scholar 

  12. 12.

    Ahmad, O., Ahmad, N.: Construction of nonuniform wavelet frames on non-archimedean fields. Math. Phy. Anal. Geometry 23(47) (2020)

  13. 13.

    Ahmad, O., Sheikh, N.A., Nisar, K.S., Shah, F.A.: Biorthogonal wavelets on spectrum. Math. Methods Appl. Sci. (2021)

  14. 14.

    Ahmad, O.: Nonuniform periodic wavelet frames on non-archimedean fields. Annales Universitatis Mariae Curie-Sklodowska, sectio A - Mathematica.

  15. 15.

    Ahmad, O., Ahmad, N.: Nonuniform \(p\)-tight wavelet frames on positive half line. TWMS J. Appl. Eng. Math. (To appear)

  16. 16.

    Ahmad, O., Ahmad, N.: Explicit construction of tight nonuniform framelet packets on local fields. Oper. Matric. 15(1), 131–149 (2021)

    MathSciNet  Article  Google Scholar 

  17. 17.

    Ahmad, O., Bhat, M.Y., Sheikh, N.A.: Construction of Parseval Framelets Associated with GMRA on local fields of positive characteristic. Numer. Funct. Anal. Optim. (2021).

  18. 18.

    Shah, F.A., Ahmad, O.: Wave packet systems on local fields. J. Geom. Phys. 120, 5–18 (2017)

    MathSciNet  Article  Google Scholar 

  19. 19.

    Shah, F.A., Ahmad, O., Jorgenson, P.E.: Fractional wave packet frames in \(L^2({\mathbb{R}})\). J. Math. Phys. 59, 073509 (2018).

    MathSciNet  Article  MATH  Google Scholar 

  20. 20.

    Shah, F.A., Ahmad, O., Rahimi, A.: Frames associated with shift invariant spaces on local fields. Filomat 32(9), 3097–3110 (2018)

    MathSciNet  Article  Google Scholar 

  21. 21.

    Ahmad, O., Shah, F.A., Sheikh, N.A.: Gabor frames on non-Archimedean fields. Int. J. Geom. Methods Mod. Phys. 15, 1850079 (2018)

    MathSciNet  Article  Google Scholar 

  22. 22.

    Agarwal, P., Deniz, S., Jain, S., Alderremy, A.A.: Aly Shaban, A new analysis of a partial differential equation arising in biology and population genetics via semi analytical techniques. Physica A: Stat. Mech. Appl. 542, 122769 (2020)

    Article  Google Scholar 

  23. 23.

    Saad, K.M., Iyiola, O.S., Agarwal, P.: An effective homotopy analysis method to solve the cubic isothermal auto-catalytic chemical system. AIMS Math. 3(1), 183–194 (2018)

    Article  Google Scholar 

  24. 24.

    Chu, Y.M., Shah, N.A., Agarwal, P., Chung, J.D.: Analysis of fractional multi-dimensional Navier-Stokes equation. Adv. Differ. Equ. 1, 1–18 (2021)

    MathSciNet  Google Scholar 

  25. 25.

    Abd-Elhameed, W.M., Doha, E,H., Youssri Y.H.: New spectral second kind Chebyshev wavelets algorithm for solving linear and nonlinear second-order differential equations involving singular and Bratu type equations. Abst. Appl. Anal. Article ID 715756 (2013)

  26. 26.

    Abd-Elhameed, W.M., Doha, E,H., Youssri Y.H.: New wavelets collocation method for solving second-order multipoint boundary value problems using Chebyshev polynomials of third and fourth kinds. Abst. Appl. Anal. Article ID 542839 (2013)

  27. 27.

    Abd-Elhameed, W.M., Youssri Y.H.: New ultraspherical wavelets spectral solutions for fractional Riccati differential equations. Abst. Appl. Anal. Article ID 626275 (2014)

  28. 28.

    Abd-Elhameed, W.M., Youssri Y.H., Doha, E.H.: Ultraspherical wavelets method for solving lane-emden type equations. Roman. J. Phys. 60(9–10), 1298–1314 (2015)

  29. 29.

    Abd-Elhameed, W.M., Youssri Y.H., Doha, E,H.: Accurate spectral solutions of first-and second-order initial value problems by the ultraspherical wavelets-Gauss collocation method. Appl. Appl. Math. 10(2), 835–851 (2015)

  30. 30.

    Doha, E,H., Abd-Elhameed, W.M., Youssri Y.H.: New ultraspherical wavelets collocation method for solving 2nth-order initial and boundary value problems. J. Egypt. Math. Soc. 24(2), 319–327 (2016)

  31. 31.

    Golubov, B.I., Efimov, A.V., Skvortsov, V.A.: Walsh Series and Transforms: Theory and Applications. Kluwer, Dordrecht (1991)

    Book  Google Scholar 

  32. 32.

    Schipp, F., Wade, W.R., Simon, P.: Walsh Series: An Introduction to Dyadic Harmonic Analysis. Adam Hilger, Bristol and New York (1990)

    MATH  Google Scholar 

  33. 33.

    Restrepo, J.E., Piedrahita, A., Agarwal, P.: Multidimensional Fourier transform and fractional derivative. Proc. Jangjeon Math. Soc. 22(2), 269–279 (2019)

    MathSciNet  MATH  Google Scholar 

  34. 34.

    Ruzhansky, M., Cho, Y.J., Agarwal, P., Area, I.: Advances in Real and Complex Analysis with Applications

Download references


Not Applicable.


There are no funding sources for this manuscript.

Author information




OA wrote abstract and mathematical analysis of the results. NAS wrote the introduction and fixed many grammatical errors. MA wrote conclusion and typed the paper in Latex. All authors read and approved the final manuscript.

Corresponding author

Correspondence to Owais Ahmad.

Ethics declarations

Competing interests

The author declares that there are no competing interests.

Additional information

Publisher's Note

Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.

Rights and permissions

Open Access This article is licensed under a Creative Commons Attribution 4.0 International License, which permits use, sharing, adaptation, distribution and reproduction in any medium or format, as long as you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons licence, and indicate if changes were made. The images or other third party material in this article are included in the article's Creative Commons licence, unless indicated otherwise in a credit line to the material. If material is not included in the article's Creative Commons licence and your intended use is not permitted by statutory regulation or exceeds the permitted use, you will need to obtain permission directly from the copyright holder. To view a copy of this licence, visit

Reprints and Permissions

About this article

Verify currency and authenticity via CrossMark

Cite this article

Ahmad, O., Sheikh, N.A. & Ahmad, M. Nonuniform biorthogonal wavelets on positive half line via Walsh Fourier transform. J Egypt Math Soc 29, 19 (2021).

Download citation


  • Nonuniform biorthogonal wavelet
  • Nonuniform multiresolution analysis
  • Walsh-Fourier transform

Mathematics Subject Classification

  • 42C40
  • 42C15
  • 43A70
  • 11S85