1: \documentclass{article}
2: \usepackage{amssymb,amsmath,latexsym, amsthm}
3: \usepackage{graphicx}
4:
5: \newtheorem{theorem}{Theorem}
6: \newtheorem{lemma}{Lemma}
7: \newtheorem{corollary}{Corollary}
8: \newtheorem{proposition}{Proposition}
9: \newtheorem{definition}{Definition}
10: \newtheorem{example}{Example}
11: \newtheorem{remark}{Remark}
12:
13: \begin{document}
14: \title{A non-MRA $C^r$ frame wavelet with rapid decay}
15:
16: \author{Lawrence Baggett\thanks{The first two named authors were supported by a US-NSF
17: Focused Research Group (FRG) grant. }
18: \\
19: Department of Mathematics, Campus Box 395\\
20: University of Colorado, Boulder, CO 80309-0395\\
21: \texttt{baggett@euclid.colorado.edu}
22: \and
23: Palle Jorgensen\footnotemark[1]
24: \\
25: Department of Mathematics, 14 MacLean Hall\\
26: University of Iowa, Iowa City, IA 52242-1419\\
27: \texttt{jorgen@math.uiowa.edu}
28: \and
29: Kathy Merrill\\
30: Department of Mathematics, Colorado College\\
31: Colorado Springs, CO 80903-3294\\
32: \texttt{kmerrill@coloradocollege.edu}
33: \and
34: Judith Packer\\
35: Department of Mathematics, Campus Box 395\\
36: University of Colorado, Boulder, CO 80309-0395\\
37: \texttt{jpacker@euclid.colorado.edu}}
38: \date{}
39: \maketitle
40:
41: \begin{abstract}
42: A generalized filter construction is used to build an example of a non-MRA normalized tight frame wavelet
43: for dilation by 2 in $L^2(\mathbb R)$. This example has the same multiplicity function as
44: the Journ\'e wavelet, yet has a $C^{\infty}$ Fourier transform and can be made to be $C^r$ for
45: any fixed postive integer $r$.
46: \end{abstract}
47:
48: \noindent AMS Subject Classification Primary 54C40, 14E20; Secondary 46E25, 20C20\\
49: Keywords: Wavelet; Multiresolution analysis; Frame
50:
51:
52: \section{Introduction}
53: A central problem in the history of wavelet theory has been the search for smooth well-localized
54: functions whose dilates and translates can be used to obtain all members of a specified function space.
55: We will use here the simplest definition of an orthonormal wavelet, by taking our context to be dilation by
56: 2 in $L^2(\mathbb{R})$:
57: \begin{definition}
58: \label{wavdef}
59: \indent $\psi\in L^2(\Bbb R)$ is an {\bf orthonormal wavelet} if
60: $\{\psi_{j,k}\equiv\sqrt {2} ^j\psi(2^jx-k)\}_{j,k\in\mathbb Z}$ form an orthonormal basis
61: for $L^2(\mathbb R).$
62: \end{definition}
63: Many of the techniques and results used in this paper apply in much wider contexts, to dilation by an expansive matrix
64: in $L^2(\mathbb{R}^n)$, and to allow for multiple wavelets. However, for the purposes of creating the example that is the
65: main thrust of this paper, this more restrictive context will suffice.
66:
67: The earliest example of an orthonormal wavelet was given by A. Haar in 1910 \cite{Ha}. Here the wavelet is defined in
68: terms of
69: characteristic functions of bounded sets,
70: $$\psi=\chi_{[0,\frac 12)}-\chi_{[\frac 12,1)},$$
71: and thus is well-localized but not at all smooth. Another famous classical example,
72: the Shannon wavelet, has Fourier transform of the wavelet equal to a characteristic
73: function of a bounded set,
74: $$\widehat{\psi}=\chi_{[-1,-\frac12)\cup [\frac 12, 1)},$$
75: and thus has the opposite problem of being smoooth but not well-localized.
76: In 1988, Ingrid Daubechies \cite{Da2} gave
77: a construction technique for orthonormal wavelets for dilation by 2 in $L^2(\mathbb{R})$ that are both
78: smooth and well-localized. She described how to build, for any integer $r\geq0$ , a wavelet
79: that is $C^r$ and has compact support. It can be shown that no wavelet can be both
80: $C^{\infty}$ and have compact support (see e.g. \cite{HW}).
81:
82: Daubechies' construction technique used filters in a
83: multiresolution structure called an MRA. Most classical wavelets are associated with such
84: a structure. J.L. Journ\'e gave the first known example of a wavelet that can not
85: have an associated MRA (see \cite{Ma}). Journ\'e's wavelet, like the Shannon wavelet, is a {\it wavelet set}
86: wavelet. That is, its Fourier transform is a characteristic function. Since the announcement of the
87: Journ\'e wavelet, many other non-MRA wavelets have appeared in the literature (see e.g. \cite{DLS}, \cite{BL} \cite{HKL}), most of them also wavelet set
88: wavelets. These
89: wavelets are smooth but not well-localized. In fact, it can be shown that
90: every orthonormal wavelet $\psi$ such that $|\hat{\psi}|$ is continuous and $|\hat{\psi}(\xi)|=O(|\xi|^{-\frac 12 -\epsilon})$
91: at $\infty$ for some $\epsilon>0$ must be an MRA wavelet (see \cite{HW}).
92: Thus, in the quest to find wavelets that are both well-localized and smooth, non-MRA wavelets would
93: seem to be not very useful. However, if we expand our definition of wavelet slightly, the situation changes.
94:
95: \begin{definition}\label{frame}
96: The set of functions $\{\eta_{j}\}$ is a \emph{frame} for
97: $L^2(\mathbb R)$ if there exist constants $A$ and $B$ such that for each $f\in L^2(\mathbb{R})$ we have
98: $A\|f\|^2\leq\sum_{j}|\langle f|\eta_{j}\rangle |^2\leq B\|f\|^2$.
99: The set $\{\eta_{j}\}$ is a \emph{normalized tight frame} or \emph{Parseval frame} if $A=B=1$.
100: \end{definition}
101:
102: \begin{definition}\label{framewavelet}
103: $\psi\in L^2(\mathbb R)$ is a \emph {(normalized tight) frame wavelet}
104: or a \emph {Parseval frame wavelet}
105: for dilation by 2 if $\{\psi_{j,l}\equiv\sqrt {2} ^j\psi(2^jx-l)\}$ form a
106: normalized tight frame for $L^2(\mathbb R).$
107: \end{definition}
108:
109: Note that a normalized tight frame can exhibit redundancy, and
110: therefore need not be a basis. Indeed, it can include 0 as one of
111: its elements. However, a normalized tight frame $\{\eta_j\}$ does
112: have the property that every $f\in L^2$ can be recaptured from its
113: coefficients, $f=\sum\langle f,\eta_j\rangle \eta_j$. (See, e.g. \cite{HW}).
114: Thus replacing orthonormal
115: wavelets by frame wavelets does not give up the essential property of
116: determining all functions in $L^2$ in terms of translates and dilates of the wavelet.
117:
118: Our main goal in this paper is to produce an example of a non-MRA normalized tight frame
119: wavelet for dilation by 2 in $L^2(\mathbb R)$ which is both well-localized and smooth, in the sense
120: that $\psi\in C^r$ (for any fixed positive integer $r$) and $\widehat{\psi}\in C^{\infty}$. The existence of such a wavelet is somewhat
121: surprising in view of the result mentioned above for orthonormal wavelets. While several researchers
122: have produced examples of frame wavelets that exhibit smoothness and good localization properties (See e.g. \cite{ACM}),
123: the example in this paper stands out in its relationship to a non-MRA multiresolution structure with a known
124: multiplicity function. For such a non-MRA wavelet,
125: the multiresolution structure will be replaced by a generalized multi-resolution structure called a GMRA,
126: defined in \cite{HKL}, which we review in Section 2 of this paper.
127: We note that similar generalizations of multi-resolution structures have also been defined
128: in \cite{BLi} and \cite{HLPS}.
129:
130: The Fourier transform is an essential tool in analyzing wavelets; we will use it and a generalization
131: in the GMRA context to define filters used in wavelet
132: construction. We take as the definition of the Fourier transform,
133: $$\widehat{f}(x)\;=\;\int_{\mathbb R}f(t)e^{-2\pi ixt}dt.$$
134: Note that on $\widehat{L^2}(\mathbb R)$, translation by $n$ becomes multiplication by $e^{2\pi i n x}$, and dilation
135: becomes $\widehat{\delta}f(x)=\frac 1{\sqrt2} f(\frac x2).$ We review the filter construction process and its generalization in Section 3 of this paper.
136: In Section 4 we build our main example.
137:
138: \section{Generalized multi-resolution analyses}
139:
140: As mentioned in the introduction, most classical wavelets
141: have an associated multi-resolution
142: structure of the following type, first defined by S. Mallat
143: \cite{Ma}:
144:
145: \begin{definition}
146: A \emph{Multiresolution Analysis (MRA)} in $L^2(\mathbb{R})$ is
147: a collection of closed subspaces $V_j$ that have the following
148: properties:
149: \begin{enumerate}
150: \item $V_j \subset V_{j+1}$
151: \item $V_{j+1}=\{\delta (f)\equiv \sqrt{2}f(2x)\}_{f\in V_j}$
152: \item $\cup V_j$ is dense in $L^2(\mathbb R )$ and $\cap V_j = \{0\}$
153: \item $V_0$ has a \emph{scaling function} $\phi$ whose translates form an orthonormal basis for $V_0$
154: \end{enumerate}
155: \end{definition}
156: However, the Journ\'e wavelet (see \cite{Ma}),
157: $$\widehat{\psi}=\chi_{[-\frac {16}7,-2)\cup [-\frac 12,-\frac
158: 27)\cup [\frac 27,\frac 12]\cup [2,\frac {16}7)}.$$
159: has no associated MRA. This can be shown using the dimension function,
160: \begin{equation}
161: \label{dimension}
162: D(x)\equiv\sum_{k\in\mathbb{Z}}\sum_{j=1}^{\infty}|\widehat{\psi}(2^j(x+k))|^2,
163: \end{equation}
164: first introduced by P. Auscher \cite{Au}.
165: Because an MRA requires the existence of a scaling function, it turns out that a wavelet has an associated MRA
166: if and only if the dimension function is identically equal to 1 (see e.g. \cite{HW}). By removing the scaling
167: function condition, we
168: are able to associate a multiresolution structure with the Journ\'e wavelet.
169: More generally, given any
170: orthonormal wavelet $\psi\in L^2(\mathbb R)$, the subspaces $\{V_j\}$
171: defined by $V_j=$ the closed linear span of $\{\psi_{l,k}\}_{l<j}$,
172: do determine a \textit{generalized}
173: multiresolution structure, according to the definition below \cite{HKL}:
174:
175: \begin{definition}
176: \label{GMRA}
177: A \emph{Generalized Multiresolution Analysis (GMRA)} is a
178: collection of closed subspaces $\{V_j\}_{j\in\mathbb Z}$ of
179: $L^2(\mathbb R)$ such that:
180: \begin{enumerate}
181: \item $V_j \subset V_{j+1}$
182: \item $V_{j+1}=\{\delta(f)\equiv\sqrt{2}f(2x)\}_{f\in
183: V_j}$
184: \item $\cup V_j$ dense in $L^2(\mathbb R)$ and $\cap V_j = \{0\}$
185: \item$V_0$ is invariant under translation.
186: \end{enumerate}
187: \end{definition}
188:
189:
190: The definitions of MRA and GMRA differ only in condition (4): An
191: MRA requires that $V_0$ has a scaling function $\phi$ such that
192: translates of $\phi$ form an orthonormal basis for $V_0$, while a
193: GMRA requires only that $V_0$ be invariant under translation by the
194: integers. In spite of this difference, it is shown in \cite{HKL} that a GMRA has
195: almost as much structure as an MRA. Translation is a unitary
196: representation of $\mathbb Z$ on $V_0$, and thus is completely
197: determined by a multiplicity function $m:[-\frac 12,\frac
198: 12)\mapsto \{0,1,2,\cdots,\infty\}$ describing how many times
199: each character occurs as a subrepresentation. The multiplicity function has been shown \cite{W} to be equal to
200: the dimension function defined in Eq. (\ref{dimension}).
201: By writing $V_1=V_0\oplus W_0$,
202: representation theory can be used (see \cite{HKL})
203: to show that the GMRA has an
204: associated orthonormal wavelet if and only if the multiplicity
205: function satisfies a \emph{consistency equation}:
206: $$m(x)+1=
207: m(\frac x2)+m(\frac{x+1}2).$$
208: A GMRA is an MRA iff $m\equiv 1$, and
209: Journ\'e's famous non-MRA wavelet
210: example has
211: $$m(x) = \left\{\begin{array}{ll}
212: 2 & x\in[-\frac 17,\frac 17) \\
213: 1 & x\in\pm[\frac 17,\frac 27)\cup \pm [\frac 37,\frac 12)\\
214: 0 &
215: \mbox{otherwise}
216: \end{array}\right.$$
217:
218:
219: In every GMRA, there is a unitary equivalence between translation
220: on $V_0$ and multiplication by exponentials on $\oplus L^2(S_j),$
221: where $S_j=\{x:m(x)\geq j\}.$ This unitary equivalence plays a
222: role here similar to that of the Fourier transform in the
223: classical MRA case. It ensures that a GMRA whose multiplicity function is finite a.e. has
224: \emph{generalized scaling functions}, $\phi_1,\phi_2,\cdots$ such
225: that $\{\phi_i(x-l)\}$
226: form a normalized tight frame for $V_0$. If $m$ is bounded, with maximum value $c$,
227: then $c$ generalized scaling functions are required. If the GMRA is associated with a wavelet set
228: wavelet, these functions can be chosen
229: of the form $\widehat{\phi_i}=\chi_{E_i}$, where $\chi_{E_i}$ is the characteristic function
230: of the set $E_i$, chosen to be congruent mod 1 to $S_i$, and so that $\cup E_i\subset 2\left(\cup E_i\right)$.
231: (For more details see Theorem 3.5 of \cite{BM}.) For example, the Journ\'e wavelet has generalized scaling functions
232: $\widehat{\phi_1}=\chi_{[\frac{-2}7,\frac27)\cup\pm[\frac12,\frac47)}$
233: and $\widehat{\phi_2}=\chi_{\pm[1,\frac87)}$
234:
235:
236: \section{Filter constructions}
237: We begin by recalling the classical filter construction developed by Mallat \cite{Ma} and Meyer
238: \cite{Me}, and used by Daubechies \cite{Dau} to build $C^r$
239: wavelets with compact support.
240: Thus, suppose we have a single wavelet $\psi$ for dilation by 2 in $L^2(\mathbb R),$ with an associated MRA,
241: and so a scaling function $\phi$ whose translates form an orthonormal basis for $V_0$.
242:
243: Because $\widehat{\phi}$ and $\widehat {\psi}$ are in $\widehat{V}_{1}$, we can write
244: $\widehat{\phi}$ and
245: $\widehat{\psi}$ in terms of exponentials times
246: the dilate of $\widehat{\phi}$. That is, there must exist
247: periodic functions (with period 1) $h$ and $g$ such that
248: \begin{equation}
249: \widehat{\phi}(x)=\frac 1{\sqrt{2}}
250: h(\frac{x}2)\widehat{\phi}(\frac{x}2)\label{lp}
251: \end{equation}
252: and
253: \begin{equation}
254: \widehat{\psi}(x)=\frac 1{\sqrt{2}}
255: g(\frac{x}2)\widehat{\phi}(\frac{x}2)\label{hp}.
256: \end{equation}
257:
258: The functions $h$ and $g$ are called {\bf low and high pass
259: filters}. The roots of this name can be seen by noting that
260: for the Shannon wavelet, $h=\sqrt 2 \chi_{[-\frac 14,\frac 14)}$
261: and $g=\sqrt 2 \chi_{[-\frac 12,-\frac 14)\cup[\frac 14,\frac 12)}$ do indeed act by filtering out all but low (for $h$) or
262: high (for $g$) frequencies. Because of the orthonormality
263: conditions satisfied by translates of $\phi$ and $\psi$, all
264: filters defined by Eqs.(\ref{lp}) and (\ref{hp}) must satisfy
265: orthonormality-like conditions:
266: \begin{equation}
267: |h(x)|^2+|h(x+\frac 12)|^2=2\label{orth1}
268: \end{equation}
269: \begin{equation}
270: |g(x)|^2+|g(x+\frac 12)|^2=2\label{orth2}
271: \end{equation}
272: and
273: \begin{equation}
274: h(x)\overline{g(x)}+h(x+\frac 12)\overline{g(x+\frac
275: 12)}=0.\label{orth3}
276: \end{equation}
277:
278: The classical filter techniques for building wavelets reverse this process
279: of finding filters from wavelets. First note that
280: if $h$ is any periodic function that satisfies Eq.(\ref{orth1}), the function
281: \begin{equation}\label{classicalg}
282: g(x)=e^{2\pi ix}\overline{h(x+\frac 12)},
283: \end{equation}
284: and $h$ together satisfy all three orthonormality conditions (\ref{orth1}),(\ref{orth2}) and
285: (\ref{orth3}). (Other choices for $g$
286: are possible.) The following classical theorem gives conditions
287: under which the Fourier transform of a scaling function $\widehat{\phi}$ can then be built by iterating
288: Eq.(\ref{lp}), so that the Fourier transform of a wavelet, $\widehat{\psi},$ can be defined using Eq.(\ref{hp}).
289:
290: \begin{theorem} \label{classical} Let $h$ and $g$ be $C^1$
291: functions that satisfy the orthonormality conditions
292: (\ref{orth1}), (\ref{orth2}), and (\ref{orth3}). Suppose, in
293: addition, that $h$ is nonvanishing on $[-\frac 14,\frac 14)$, and
294: $|h(0)|=\sqrt 2$. Then:
295: $$\widehat{\phi}(x)=\prod_{j=1}^{\infty} \frac 1{\sqrt 2}h(2^{-j}x)$$
296: is a scaling function for an MRA, and $$\widehat{\psi}(x)=\frac
297: 1{\sqrt 2}g(\frac x 2)\widehat{\phi}(\frac x 2).$$ is an
298: orthonormal wavelet.
299: \end{theorem}
300:
301: A good introductory
302: description of these constructions appears in \cite{Str}.
303:
304: The theorem's requirements that $h$ satisfy $|h(0)|=\sqrt2$ and that $h$
305: be in $C^1$ are natural restrictions in order to make
306: the infinite product converge. The condition that $h$ is
307: nonvanishing on $[-\frac 14,\frac 14]$ appears less natural; it is
308: used in the proof to ensure $L^2$ convergence of the infinite
309: product and thus the orthonormality of the translates of $\phi$. A
310: famous example due to A. Cohen \cite{Coh} showed that this
311: nonvanishing condition cannot be entirely removed, as its removal can
312: lead to functions $\phi$ and $\psi$ whose translates are not
313: orthonormal. Cohen took $h=\frac{1+e^{-6\pi i x}}{\sqrt 2}$, which
314: resulted in a stretched out version of the Haar scaling function and
315: wavelet, $\phi=\frac 13 \chi_{[0,3)}$ and $\psi=\frac 13(\chi_{[0,\frac 32)}-\chi_{[\frac 32, 3)}).$
316: Cohen's $\psi$ is not a wavelet, since its translates are not orthonormal.
317: However, the classical Theorem \ref{classical} can be extended to
318: accommodate this and similar examples if we allow (normalized tight)
319: frame wavelets.
320: The following generalization of Theorem \ref{classical}
321: was first proven by Lawton in
322: \cite{Law}, with a generalized form appearing later in Bratteli and Jorgensen's book \cite{BJ}:
323:
324: \begin{theorem} \label{Palle}
325: Suppose $h,\,g$ are periodic Lipschitz continuous function in $L^2(\mathbb R)$, which satisfy
326: $|h(0)|=\sqrt 2$ and the filter equations (\ref{orth1}), (\ref{orth2}) and (\ref{orth3}).
327: Then the construction $\widehat{\phi}(x)=\prod_{j=1}^{\infty} \frac 1{\sqrt 2}h(2^{-j}x)$
328: produces an $L^2$ function $\phi$ (whose translates are not necessarily
329: orthogonal), and the function $\widehat{\psi}(x)=\frac
330: 1{\sqrt 2}g(\frac x 2)\widehat{\phi}(\frac x 2)$ is a (normalized tight) frame
331: wavelet for dilation by $2$ in $L^2(\mathbb{R})$.
332: \end{theorem}
333:
334: The classical filter construction that was used in both the original theorem
335: and this extension was generalized to GMRA's in
336: \cite{JKL}. Just as in the classical case, it is natural to
337: begin by building filters from wavelets, and then determine
338: conditions under which the process can be reversed. Accordingly,
339: suppose first that $\psi$ is a non-MRA orthonormal wavelet for
340: dilation by $2$ in $L^2(\mathbb R)$ whose multiplicity function is
341: bounded by $c$. We have seen in Section 2 that
342: there then exist generalized
343: scaling functions $\phi_1,\cdots,\phi_c$. Since $\widehat{\phi}$ and $\widehat {\psi}$ are in $\widehat{V}_{1}$,
344: we can show (see \cite{JKL}) there exist
345: periodic functions $h_{i,j}$ and $g_{j}$, supported on the
346: periodization of $S_j$, such that
347: \begin{equation}
348: \widehat{\phi_i}(x)=\frac 1{\sqrt{2}}\sum_{j=1}^c h_{i,j}(\frac x2)\widehat{\phi_j}(\frac x2)\label{gen1}
349: \end{equation}
350: and
351: \begin{equation}
352: \widehat{\psi}(x)=\frac 1{\sqrt{2}}\sum_{j=1}^c g_{j}(\frac x2)\widehat{\phi_j}(\frac x2).\label{gen2}
353: \end{equation}
354: These \emph {generalized filters} $g_{j}$ and $h_{i,j}$ satisfy
355: orthonormality-like conditions that are generalizations of the
356: classical conditions (\ref{orth1}), (\ref{orth2}) and
357: (\ref{orth3}):
358: \begin{equation}
359: \sum_{j=1}^c h_{i,j}(\frac x2)\overline {h_{k,j}(\frac x2)}+h_{i,j}(\frac {x+1}2)\overline {h_{k,j}(\frac {x+1}2)}=2\delta_{i,k}\chi_{S_i}(x),\label{gen3}
360: \end{equation}
361: \begin{equation}
362: \sum_{j=1}^c |g_{j}(\frac x2)|^2+|g_{j}(\frac {x+1}2)|^2=2,\label{gen4}
363: \end{equation}
364: and
365: \begin{equation}
366: \sum_{j=1}^c h_{i,j}(\frac x2)\overline {g_{j}(\frac x2)}+ h_{i,j}(\frac {x+1}2)\overline {g_{j}(\frac {x+1}2)}=0,\label{gen5}
367: \end{equation}
368:
369: For example, for the Journ\'e wavelet these filters are defined (see \cite{Cou}) by:
370:
371: $$h_{1,1}=\sqrt 2\chi_{[-\frac 27,-\frac 14)\cup (-\frac 17,\frac
372: 17)\cup [\frac 14,\frac 27)}$$
373:
374: $$h_{1,2}=0,$$
375:
376: $$h_{2,1}=\sqrt 2\chi_{[-\frac 47,-\frac 12)\cup [\frac 12,\frac 47)}$$
377:
378: $$h_{2,2}=0$$
379:
380: $$g_1=\sqrt 2\chi_{[-\frac 14,-\frac 17)\cup [\frac 17,\frac 14)}$$
381:
382: $$g_2=\sqrt 2\chi_{[-\frac 17,\frac 17)}.$$
383:
384:
385: To use generalized filters to build new wavelets, we
386: reverse this procedure, just as in the classical case. In
387: order to first build filters, we use functions on the disjoint
388: union of the $S_j$'s whose values are $\sqrt{2}$ times
389: unitary matrices, with different dimensions for different values
390: of $x$. We need the values of the filters to be $\sqrt{2}$
391: times unitary matrices in order to satisfy the generalized
392: orthonormality conditions (\ref{gen3}), (\ref{gen4}), and
393: (\ref{gen5}). The matrices of filter values have different
394: dimensions depending on how many of the sets $S_j$ the point $x$
395: and its preimages are in. Once we have the filters, we build the
396: generalized scaling function using an infinite product of matrices
397: that comes from the iteration of Eq.(\ref{gen1}). The wavelet
398: is then produced by Eq.(\ref{gen2}). Conditions that make
399: this possible are described in the following generalization (see \cite{BJMP})
400: of the Lawton theorem :
401:
402: \begin{theorem} \label{bjmp}
403: Given a multiplicity function $m$ for a GMRA, suppose $\{h_{i,j}\}$ and
404: $\{g_{j}\}$ are periodic functions that are supported on the
405: periodization of $S_j=\{x: m(x)\geq j\}$, Lipschitz continuous in a neighborhood of
406: the origin, and that satisfy the three generalized orthonormality conditions
407: (\ref{gen3}),(\ref{gen4}), and (\ref{gen5}). Suppose in addition the $h_{i,j}$ satisfy the
408: generalized lowpass condition
409: $|h_{i,j}(0)|=\sqrt{2}\delta_{(i,1)}\delta_{(j,1)}$.
410: Write $H$ for the matrix $(h_{i,j})$. Then the components of\newline
411: $\prod_{k=1}^{\infty} \frac 1{\sqrt 2}H(2^{-k}x)$
412: converge pointwise to $L^2$ functions. If we let
413: $\{\widehat{\phi_i}\}_{i=1}^c$ be the first column of this product, then the translates of $\{\phi_i\}$ determine
414: the core subspace $V_0$ of a GMRA, and
415: $$\widehat{\psi}(x )
416: \equiv\frac 1{\sqrt 2}g_{1}(\frac x2 )\widehat{ \phi_1}(\frac x2 )+g_{2}(\frac x2 )\widehat{ \phi_2}(\frac x2 )$$
417: is the Fourier transform of a normalized tight frame wavelet
418: on $L^2(\mathbb R).$
419: \end{theorem}
420:
421:
422: The proof, like that of \cite{BJ}, proceeds by using matrices of
423: values of the filters to define partial isometries that satisfy
424: relations similar to those defining a Cuntz algebra as in \cite{Cun}.
425: We will use this theorem in the next section to build our main example.
426:
427: \section{The Example}
428: For any fixed positive integer $r$, we will now use Theorem \ref{bjmp} to build an example of a $C^r$
429: frame wavelet with
430: $C^{\infty}$ Fourier transform, whose multiplicity function is that
431: of Journ\'e:
432: $$m(x) = \left\{\begin{array}{ll}
433: 2 & x\in[-\frac 17,\frac 17) \\
434: 1 & x\in\pm[\frac 17,\frac 27)\cup \pm [\frac 37,\frac 12)\\
435: 0 &
436: \mbox{otherwise}
437: \end{array}\right.$$
438: To do this, we will first choose low-pass filters that force the functions $\widehat{\phi_1}$ and $\widehat{\phi_2}$
439: in the infinite matrix product to both be smooth and have rapid decay. We will then define the high-pass filters, and show that
440: the resulting wavelet inherits the properties we seek.
441:
442: {}From the equation for $m$, we see that the sets $S_j=\{x:m(x)\geq j\}$ used in the filter construction are
443: here given by $S_1=[-\frac 27,\frac 27)\cup\pm[\frac 37,\frac 12)$ and $S_2=[-\frac 17, \frac 17)$.
444: We will define the filter functions $h_{i,j}$, $1\leq i,j\leq 2$
445: in terms of a
446: classical filter $p$. Accordingly, with $r$ fixed as above, let $p$ be a periodic (with period 1), real-valued
447: function that satisfies:
448: \begin{enumerate}
449: \item $p\in C^{\infty}(\mathbb R)$
450: \item $p(x)=p(-x)$
451: \item $|p(x)|^2+|p(x+\frac12)|^2=2$
452: \item $p^{(k)}(x)=0$ for $x\in[\frac17,\frac3{14}]\cup[\frac37,\frac12]$, $k\geq 0$.
453: \item $|p^{(r+2)}(x)|<1$ when $|x-\frac 3{14}|<\frac 1{112}$ or $|x-\frac 17|<\frac 1{112}$
454: \end{enumerate}
455: To see that such a function exists, note that it suffices to
456: define $p\in C^{\infty}([\frac3{28},\frac14]\cup[\frac{11}{28},\frac12])$, satisfying conditions (4) and (5), and with
457: $p(\frac3{28})=p(\frac14)=p(\frac{11}{28})=1$ and $p^{(k)}(\frac3{28})=p^{(k)}(\frac14)=p^{(k)}(\frac{11}{28})=0$ for $k\geq 1$.
458: We can then define $p$ on $[0,\frac3{28}]\cup[\frac14,\frac{11}{28}]$ by
459: $p(x)=\sqrt{2-p(\frac12-x)^2}$. We then extend $p$ to $[-\frac12,0]$ using
460: the requirement that $p$ be symmetric, and finally extend $p$ to the whole line using periodicity.
461: Figure 1 below shows a $C^1$ approximation to $p.$
462:
463: \begin{figure}[ht]
464: \setlength{\unitlength}{300bp}
465: \begin{picture}(1.04,0.6489315)(-0.04,-0.032446575)
466: \put(0,0){\includegraphics[width=\unitlength]{pgraph.eps}}
467: \put(0.15986,0.00889){\makebox(0,0)[t]{$\frac{1}{7}$}}
468: \put(0.29592,0.00889){\makebox(0,0)[t]{$\frac{2}{7}$}}
469: \put(0.43197,0.00889){\makebox(0,0)[t]{$\frac{3}{7}$}}
470: \put(0.56803,0.00889){\makebox(0,0)[t]{$\frac{4}{7}$}}
471: \put(0.70408,0.00889){\makebox(0,0)[t]{$\frac{5}{7}$}}
472: \put(0.84014,0.00889){\makebox(0,0)[t]{$\frac{6}{7}$}}
473: \put(0.97619,0.00889){\makebox(0,0)[t]{$1$}}
474: \put(0.01798,0.30902){\makebox(0,0)[r]{$\frac{1}{\sqrt{2}}$}}
475: \put(0.01798,0.60332){\makebox(0,0)[r]{$\sqrt{2}$}}
476: \end{picture}
477: \caption{A $C^1$ approximation to $p$}
478: \label{Fig1}
479: \end{figure}
480:
481: We now use this function $p$ to build the low-pass filters $\{h_{i,j}\}$:
482: \begin{equation}\label{h11} h_{1,1}(x)=\begin{cases} p(x)&x\in [-\frac 2{7},\frac 27)\cr
483: 0&\text{\rm \ otherwise}\end{cases}
484: \end{equation}
485:
486: \begin{equation}\label{h12}h_{1,2}(x)=\begin{cases} p(x+\frac 12)&x\in [-\frac 1{7},\frac 17)\cr
487: 0&\text{\rm \ otherwise}\end{cases}
488: \end{equation}
489:
490:
491: \begin{equation}\label{h21}h_{2,1}(x)=\begin{cases} \sqrt 2 &x\in \pm [\frac 37,\frac 12)\cr
492: 0&\text{\rm \ otherwise}\end{cases}
493: \end{equation}
494:
495: \begin{equation}\label{h22}h_{2,2}(x)=0
496: \end{equation}
497:
498:
499: Figures 2 through 4 show $C^1$ approximations to the three nonzero low-pass filters.
500:
501: \begin{figure}[ht]
502: \setlength{\unitlength}{300bp}
503: \begin{picture}(1.04,0.6489315)(-0.04,-0.032446575)
504: \put(0,0){\includegraphics[width=\unitlength]{h11graph.eps}}
505: \put(0.15986,0.00889){\makebox(0,0)[t]{$\frac{1}{7}$}}
506: \put(0.29592,0.00889){\makebox(0,0)[t]{$\frac{2}{7}$}}
507: \put(0.43197,0.00889){\makebox(0,0)[t]{$\frac{3}{7}$}}
508: \put(0.56803,0.00889){\makebox(0,0)[t]{$\frac{4}{7}$}}
509: \put(0.70408,0.00889){\makebox(0,0)[t]{$\frac{5}{7}$}}
510: \put(0.84014,0.00889){\makebox(0,0)[t]{$\frac{6}{7}$}}
511: \put(0.97619,0.00889){\makebox(0,0)[t]{$1$}}
512: \put(0.01798,0.30902){\makebox(0,0)[r]{$\frac{1}{\sqrt{2}}$}}
513: \put(0.01798,0.60332){\makebox(0,0)[r]{$\sqrt{2}$}}
514: \end{picture}
515: \caption{An approximation to $h_{1,1}$}
516: \label{Fig2}
517: \end{figure}
518:
519: \begin{figure}[ht]
520: \setlength{\unitlength}{300bp}
521: \begin{picture}(1.04,0.6489315)(-0.04,-0.032446575)
522: \put(0,0){\includegraphics[width=\unitlength]{h12graph.eps}}
523: \put(0.15986,0){\makebox(0,0)[t]{$\frac{1}{7}$}}
524: \put(0.29592,0){\makebox(0,0)[t]{$\frac{2}{7}$}}
525: \put(0.43197,0){\makebox(0,0)[t]{$\frac{3}{7}$}}
526: \put(0.56803,0){\makebox(0,0)[t]{$\frac{4}{7}$}}
527: \put(0.70408,0){\makebox(0,0)[t]{$\frac{5}{7}$}}
528: \put(0.84014,0){\makebox(0,0)[t]{$\frac{6}{7}$}}
529: \put(0.97619,0){\makebox(0,0)[t]{$1$}}
530: \put(0.01798,0.3){\makebox(0,0)[r]{$\frac{1}{\sqrt{2}}$}}
531: \put(0.01798,0.59){\makebox(0,0)[r]{$\sqrt{2}$}}
532: \end{picture}
533: \caption{An approximation to $h_{1,2}$}
534: \label{Fig3}
535: \end{figure}
536:
537: \begin{figure}[ht]
538: \setlength{\unitlength}{300bp}
539: \begin{picture}(1.04,0.6489315)(-0.04,-0.032446575)
540: \put(0,0){\includegraphics[width=\unitlength]{h21graph.eps}}
541: \put(0.15986,0.0088){\makebox(0,0)[t]{$\frac{1}{7}$}}
542: \put(0.29592,0.0088){\makebox(0,0)[t]{$\frac{2}{7}$}}
543: \put(0.43197,0.0088){\makebox(0,0)[t]{$\frac{3}{7}$}}
544: \put(0.56803,0.0088){\makebox(0,0)[t]{$\frac{4}{7}$}}
545: \put(0.70408,0.0088){\makebox(0,0)[t]{$\frac{5}{7}$}}
546: \put(0.84014,0.0088){\makebox(0,0)[t]{$\frac{6}{7}$}}
547: \put(0.97619,0.0088){\makebox(0,0)[t]{$1$}}
548: \put(0.01798,0.30902){\makebox(0,0)[r]{$\frac{1}{\sqrt{2}}$}}
549: \put(0.01798,0.60332){\makebox(0,0)[r]{$\sqrt{2}$}}
550: \end{picture}
551: \caption{An approximation to $h_{2,1}$}
552: \label{Fig4}
553: \end{figure}
554:
555: It is easy to check that these functions satisfy the filter equation (\ref{gen3}).
556: For example, to check that
557: $$|h_{1,1}(\frac x2)|^2+|h_{1,2}(\frac x2)|^2+|h_{1,1}(\frac{x+1}2)|^2+|h_{1,2}(\frac{x+1}2)|^2=2\chi_{[\frac{-2}7,\frac27]\cup\pm[\frac37, \frac 12]}(x),$$
558: we note that the left hand side gives
559: $$\left\{\begin{array}{lcl}|p(\frac x2)|^2+|p(\frac{x+1}2)|^2+0+0&=&2\mbox{ for } x\in[\frac{-2}7,\frac27]\\
560: |p(\frac x2)|^2+0+0+0&=&0\mbox{ for }x\in\pm[\frac27,\frac 37]\\
561: |p(\frac x2)|^2+0+|p(\frac{x+1}2)|^2+0&=&2\mbox{ for }x\in\pm[\frac37,\frac12]\end{array}\right.$$
562: The other cases of (\ref{gen3}) follow
563: similarly from the definitions of the $h_{i,j}$ and the properties of $p$. It is also easy to check that the $\{h_{i,j}\}$ have proper support and satisfy the low-pass condition, $h_{1,1}(0)=\sqrt{2}$ and $h_{i,j}(0)=0$ for $(i,j)\neq(0,0).$
564:
565: As in Theorem \ref{bjmp}, we will define the functions $\widehat{\phi_1}$ and $\widehat{\phi_2}$ (and thus the GMRA that they determine) in terms of the low-pass filter $\{h_{i,j}\}$. First we will need the following technical lemma:
566:
567: \begin{lemma} \label{partialproduct}
568: For every integer $n\geq 1$, the $(3n)^{th}$ partial product of the filter matrices $\prod_{j=1}^{3n}\frac 1{\sqrt 2} \left(\begin{matrix} h_{1,1}(\frac x{2^j})&h_{1,2}(\frac x{2^j})\\
569: h_{2,1}(\frac x{2^j})&0\end{matrix} \right)$ is a lower triangular matrix $\left(\begin{matrix} a_n(x)&0\\
570: c_{n}(x)&d_n(x)\end{matrix} \right)$ whose nonzero components have the following support:
571:
572: $$\text{support}(a_n)=\left(8^n\mathbb{Z}+\left([-\frac27,\frac27]\cup\pm[\frac37,\frac47]
573: \bigcup\cup_{k=0}^{n-2}A_{k}\bigcup\cup_{k=0}^{n-1}B_k\right)\right)$$
574:
575: $$\bigcup\left(4\cdot8^{n-1}\mathbb{Z}+A_{n-1}\right)$$
576:
577: $$\text{support}(c_n)=8^n\mathbb{Z}+\cup_{k=0}^{n-1}C_k$$
578:
579: $$\text{support}(d_n)=8^n\mathbb{Z}+C_{n-1}$$
580:
581: \noindent where
582: $$A_k=\bigcup_{\{a_j\}\in\{1,-1\}^{k+1}}\sum_{j=0}^k 2 a_j 8^j+\pm[\frac17,\frac27],$$
583:
584: $$B_k=\bigcup_{\{a_j\}\in\{1,-1\}^{k+1}}\sum_{j=0}^k 4 a_j 8^j+\pm[\frac37,\frac47],$$
585:
586: $$\text{and}\quad C_k=\bigcup_{\{a_j\}\in\{1,-1\}^{k+1}}\sum_{j=0}^k a_j 8^j+ [-\frac17,\frac17].$$
587:
588: \end{lemma}
589:
590: \begin{proof}
591: The proof is by induction on $n.$ Both the $n=1$ case and the induction step follow directly from
592: the observation that
593: $$\prod_{j=1}^{3}\left(\begin{matrix} h_{1,1}(\frac x{2^j})&h_{1,2}(\frac x{2^j})\\
594: h_{2,1}(\frac x{2^j})&0\end{matrix} \right)=\left(\begin{matrix} t_{1,1}(x)&0\\
595: t_{2,1}(x)&t_{2,2}(x)\end{matrix} \right)$$
596: where $$t_{1,1}(x)=h_{1,1}(\frac x{2})h_{1,1}(\frac x{4})h_{1,1}(\frac x{8})+h_{1,2}(\frac x{2})h_{2,1}(\frac x{4})h_{1,1}(\frac x{8})
597: +h_{1,1}(\frac x{2})h_{1,2}(\frac x{4})h_{2,1}(\frac x{8})$$ has support $$8\mathbb{Z}+([-\frac27,\frac27]\cup\pm[\frac37,\frac47])
598: \bigcup 4\mathbb{Z}+2\pm[\frac17,\frac27]\bigcup 8\mathbb{Z}+4\pm[\frac37,\frac47],$$ and both
599: $$t_{2,1}(x)=h_{2,1}(\frac x{2})h_{1,1}(\frac x{4})h_{1,1}(\frac x{8})$$ and $$t_{2,2}(x)=h_{2,1}(\frac x{2})h_{1,1}(\frac x{4})h_{1,2}(\frac x{8})$$
600: have support $$8\mathbb{Z}\pm[\frac67,\frac87].$$
601: \end{proof}
602:
603: \begin{remark}
604: Since \cite{BJMP} shows that the infinite product of filter matrices, $$\prod_{j=1}^\infty\frac 1{\sqrt 2} \left(\begin{matrix} h_{1,1}(\frac x{2^j})&h_{1,2}(\frac x{2^j})\\
605: h_{2,1}(\frac x{2^j})&0\end{matrix} \right)$$ converges pointwise, Lemma \ref{partialproduct} gives the support of the elements of this matrix. In
606: particular, the support of the upper left element (which will be used to define $\widehat{\phi_1}$) is $[-\frac27,\frac27]\cup\pm[\frac37,\frac47]\bigcup\cup_{k=0}^{\infty}A_{k}\bigcup\cup_{k=0}^{\infty}B_k,$
607: and the support of the lower left element (which will be used to define $\widehat{\phi_2}$) is $\cup_{k=0}^{\infty}C_k$. Note that these supports are disjoint.
608: \end{remark}
609:
610: We will use this result to characterize the GMRA for the wavelet we will build.
611:
612:
613: \begin{proposition}
614: \label{GMRAex}
615: The functions $\widehat{\phi_1}$ and $\widehat{\phi_2}$ given by the upper left and lower left elements of the infinite product
616: matrix $\prod_{j=1}^\infty\frac 1{\sqrt 2} \left(\begin{matrix} h_{1,1}(\frac x{2^j})&h_{1,2}(\frac x{2^j})\\
617: h_{2,1}(\frac x{2^j})&0\end{matrix} \right)$ determine a GMRA with multiplicity function the same as the Journ\'e
618: wavelet.
619: \end{proposition}
620:
621: \begin{proof}
622: Define $\widehat{V_0}$ to be the closed linear span of exponentials times $\widehat{\phi_1}$ and $\widehat{\phi_2}$, or in other words, define $V_0$ to be the closed linear span of translates of $\phi_1$ and $\phi_2$. A GMRA can be built from
623: this core subspace $V_0$ in a natural way, by letting $V_j=\{\delta^j(f)\equiv\sqrt{2}^jf(2^jx)\}_{f\in
624: V_0}$. By \cite{BJMP}, the resulting structure does satisfy all the components of Definition \ref{GMRA}. To find the multiplicity function associated with this GMRA, we note first that Lemma \ref{partialproduct} shows that the supports of
625: $\widehat{\phi_1}$ and $\widehat{\phi_2}$ are disjoint, so that the multiplicity function is the sum of the multiplicity functions determined by the two functions separately. By \cite{Ba}, the multiplicity function associated with
626: $\widehat{\phi_j}$ is the characteristic function of the support of the periodic function $\text{Per}\,\phi_j(x)=\sum_{l\in\mathbb{Z}}|\widehat{\phi_j}(x+l)|^2$. From Lemma \ref{partialproduct}, we see that these sets are indeed the Journe sets $S_1$ for $\widehat{\phi_1}$ and $S_2$ for $\widehat{\phi_2}$.
627: \end{proof}
628:
629: \begin{remark} Neither $\text{Per}\,\phi_1$ nor $\text{Per}\,\phi_2$ is bounded away from 0 on its support, so
630: that by \cite{BLi}, the translates of $\phi_1$ and $\phi_2$ do not even form a frame for
631: their closed linear span $V_0$. (This is true in the Cohen example as well.)
632: \end{remark}
633: Figures \ref{Fig5} and \ref{Fig6} below show $C^1$ approximations to the graphs of $\widehat{\phi_1}$ and $\widehat{\phi_2}$
634: near the origin. As shown in Lemma \ref{partialproduct}, both functions have unbounded support, but the portions of these functions that do not appear in Figure \ref{Fig5} and Figure \ref{Fig6} have values less than .01 and .002 respectively. We will use $\widehat{\phi}_1$ and $\widehat{\phi}_2$ to define our $C^r$ frame wavelet with $C^{\infty}$ Fourier transform.
635: To do this we will need the following properties of $\widehat{\phi}_1$ and $\widehat{\phi}_2$:
636:
637:
638: \begin{figure}[ht]
639: \setlength{\unitlength}{300bp}
640: \begin{picture}(1.04,0.6489315)(-0.04,-0.032446575)
641: \put(0,0){\includegraphics[width=\unitlength]{phi1.eps}}
642: \put(0.02,0.009){\makebox(0,0)[t]{$-1$}}
643: \put(0.091,0.00889){\makebox(0,0)[t]{$-\frac{6}{7}$}}
644: \put(0.15,0.00889){\makebox(0,0)[t]{$-\frac{5}{7}$}}
645: \put(0.22,0.00889){\makebox(0,0)[t]{$-\frac{4}{7}$}}
646: \put(0.29,0.00889){\makebox(0,0)[t]{$-\frac{3}{7}$}}
647: \put(0.36,0.00889){\makebox(0,0)[t]{$-\frac{2}{7}$}}
648: \put(0.425,0.00889){\makebox(0,0)[t]{$-\frac{1}{7}$}}
649: \put(0.56803,0.00889){\makebox(0,0)[t]{$\frac{1}{7}$}}
650: \put(0.63606,0.00889){\makebox(0,0)[t]{$\frac{2}{7}$}}
651: \put(0.70408,0.00889){\makebox(0,0)[t]{$\frac{3}{7}$}}
652: \put(0.77211,0.00889){\makebox(0,0)[t]{$\frac{4}{7}$}}
653: \put(0.84014,0.00889){\makebox(0,0)[t]{$\frac{5}{7}$}}
654: \put(0.90817,0.00889){\makebox(0,0)[t]{$\frac{6}{7}$}}
655: \put(0.97619,0.00889){\makebox(0,0)[t]{$1$}}
656: \put(0.48,0.30902){\makebox(0,0)[r]{$\frac{1}{2}$}}
657: \put(0.48,0.61){\makebox(0,0)[r]{$1$}}
658:
659: \end{picture}
660: \caption{A $C^1$ approximation to $\widehat{\phi_1}$}
661: \label{Fig5}
662: \end{figure}
663:
664: \begin{figure}[ht]
665: \setlength{\unitlength}{300bp}
666: \begin{picture}(1.04,0.6489315)(-0.04,-0.032446575)
667: \put(0,0){\includegraphics[width=\unitlength]{phi2.eps}}
668: \put(0.02,0.009){\makebox(0,0)[t]{$-\frac87$}}
669: \put(0.14,0.00889){\makebox(0,0)[t]{$-\frac{6}{7}$}}
670: \put(0.26,0.00889){\makebox(0,0)[t]{$-\frac{4}{7}$}}
671: \put(0.38,0.00889){\makebox(0,0)[t]{$-\frac{2}{7}$}}
672: \put(0.62,0.00889){\makebox(0,0)[t]{$\frac{2}{7}$}}
673: \put(0.74,0.00889){\makebox(0,0)[t]{$\frac{4}{7}$}}
674: \put(0.86,0.00889){\makebox(0,0)[t]{$\frac{6}{7}$}}
675: \put(0.98,0.00889){\makebox(0,0)[t]{$\frac87$}}
676: \put(0.48,0.25){\makebox(0,0)[r]{$.03$}}
677: \put(0.48,0.5){\makebox(0,0)[r]{$.06$}}
678:
679: \end{picture}
680: \caption{A $C^1$ approximation to $\widehat{\phi_2}$}
681: \label{Fig6}
682: \end{figure}
683:
684:
685:
686: \begin{proposition}\label{Cinfty}The functions $\widehat{\phi}_1$ and $\widehat{\phi}_2$ defined in Proposition \ref{GMRAex} are
687: $C^{\infty}$.
688: \end{proposition}
689:
690: \begin{proof}We fix an $a$ and show that $\widehat{\phi}_1$ and $\widehat{\phi}_2$
691: are $C^{\infty}$ in a neighborhood of $a$.
692: Because $h_{2,1}$ is 0 on $(-\frac 37, \frac 37)$, all but a finite
693: number of the lower triangular products of three successive factors described in Lemma \ref{partialproduct} are
694: in fact diagonal with single terms on the diagonal. Thus, each of the entries in the first column of the infinite product matrix is the sum
695: of only a finite number of terms. Since $h_{1,1}=\sqrt{2}$ in a neighborhood of $0$, each of the terms has only a finite number of factors not equal to 1.
696: It will suffice to show that each of
697: these finite products is $C^{\infty}$.
698:
699: By construction, we have that the $h_{i,j}$ are all
700: $C^\infty$ everywhere except for $h_{1,1}$ at $n\pm\frac 27$, $h_{1,2}$ at $n\pm\frac 17$, and
701: $h_{2,1}$ at $n\pm\frac 37$ for $n\in\Bbb Z$. We will show that whenever one of these discontinuities occurs as a factor
702: in the infinite product, it is cancelled by a following factor that is $0$ at the point of discontinuity.
703: {}From the formula for the $t_{i,j}$ given in Lemma \ref{partialproduct}, we see that any term in the infinite product that contains a factor of $h_{2,1}(n\pm\frac 37)$ must also contain
704: a factor of one of the forms $h_{1,1}(n\pm\frac 2{7})$, $h_{1,1}(n\pm\frac 3{14})$, $h_{1,2}(n\pm\frac 3{14})$, or $h_{1,2}(n\pm\frac 2{7})$.
705: The last three possibilities are $0$ in a neighborhood of the point in question, so if we have a discontinuous factor of $h_{2,1}$, it is
706: either cancelled out by a $0$ factor, or we also have a factor of $h_{1,1}(n\pm\frac 27)$ with a smaller $n$. Similarly,
707: any term in the infinite product that contains a factor of $h_{1,1}(n\pm\frac 27)$ must also contain
708: a factor of one of the forms $h_{1,1}(n\pm\frac 5{14})$, $h_{1,1}(n\pm\frac 1{7})$,
709: $h_{1,2}(n\pm\frac 5{14})$, or $h_{1,2}(n\pm\frac 1{7})$. The first three of these possibilities are 0 at the points in question,
710: so any discontinuous factor of $h_{1,1}$ is either cancelled out by a $0$ factor, or is followed by a factor of $h_{1,2}(n\pm\frac 17)$ with an equal or smaller
711: $n$.
712: Finally, any term in the infinite product that contains a factor
713: of $h_{1,2}(n\pm\frac 17)$ must also contain
714: a factor of either the form $h_{2,1}(n\pm\frac 1{14})$ or the form $h_{2,1}(n\pm\frac 3{7})$. The first of these possibilities is $0$
715: at the point in question; the second possibility throws us back into the first type of discontinuity we considered above, but with a
716: smaller $n$. We can repeat the above sequence of arguments if necessary, noting that each succeeding factor is evaluated at a point half the distance from
717: the origin as its predecessor, so that the chain above must eventually end with a factor of $h_{1,1}$ and thus with $0$.
718:
719: Thus each of the finite products that occur as terms in $\widehat{\phi}_1$ and $\widehat{\phi}_2$ has the form of product $f(x)=f_1(x)f_2(x)$ in
720: a neighborhood of $a$, where $f_1(x)$ is $C^{\infty}$ on $(a-\epsilon,a+\epsilon)$, with its value and all its derivatives, $f_1^{(n)}(a)=0$, $n\geq 0$,
721: and $f_2(x)$ is $C^{\infty}$ on $(a-\epsilon,a)\cup(a,a+\epsilon)$, with a jump discontinuity at $a$, but with all derivatives satisfying
722: $\lim_{x\rightarrow a^-}f_2^{(n)}(x)=\lim_{x\rightarrow a^+}f_2^{(n)}(x)=0$, $n\geq 1$. Thus, $f$ is $C^{\infty}$ on $(a-\epsilon,a+\epsilon)$ with
723: $f^{(n)}(a)=0$, $n\geq 0$.
724: \end{proof}
725:
726: The next result shows that the $\widehat{\phi_i}$ vanish rapidly at $\infty,$ to an extent determined by the integer $r$
727: chosen at the beginning of the example.
728:
729:
730:
731:
732: \begin{proposition}\label{xr}The functions $\widehat{\phi}_1$ and $\widehat{\phi}_2$ defined in Proposition \ref{GMRAex} satisfy
733: $|x|^{r+1}\widehat{\phi_i}(x)\rightarrow 0$ as $x\rightarrow\infty.$
734: \end{proposition}
735:
736: \begin{proof}
737: Using Lemma \ref{partialproduct} we see that it will suffice to show that given an $\epsilon>0$, there
738: exists $N$ such that $|x|^{r+1}|\widehat{\phi_i}(x)|<\epsilon$ for $x\in A_n\cup B_n\cup C_n$ with $n>N$.
739: Recall from that lemma that $x\in A_n\cup B_n\cup C_n$ has the form $x=d\left(\sum_{j=0}^{n} a_{j}8^j+\pm r_0\right)$,
740: where $d\in{1,2,4}$, $a_j=\pm1$, and where $0<r_0<\frac17.$
741: For any such $x$, $\widehat{\phi}_i(x)$ is the sum of
742: less than $3^{n+1}$ terms of the form $\prod_{l=1}^{\infty}\frac 1{\sqrt{2}}h_{i_l,j_l}(\frac x{2^l})$, since once $x<\frac 67,$ we
743: have $h_{2,1}(x)=0$, so that the triangular matrix described in Lemma \ref{partialproduct} is actually diagonal with single term elements.
744: To see how the argument of the $h_{i_l,j_l}$ changes as we move from $\frac x{2^k}$ to $\frac x{2^{k+3}}$, we note that if $y$ of the form $y=\sum_{j=0}^{n-k} a_{k+j}8^j+a_{k-1}r_k$ with
745: $\frac 17-\delta<r_0<\frac17$, then $\frac y2=4\left(\sum_{j=0}^{n-k-1}a_{k+j+1}8^j+a_k r_{k+1}\right)$, $\frac y4=2\left(\sum_{j=0}^{n-k-1}a_{k+j+1}8^j+a_k r_{k+1}\right)$, and $\frac y8=\sum_{j=0}^{n-k-1}a_{k+j+1}8^j+a_k r_{k+1}$. The remainder terms, $d\cdot r_{k+1}$, take one of two forms, depending on the value of $a_{k-1}$. If $a_{k-1}=+1$, then $4r_{k+1}$ is within $\frac{\delta}2$ of $\frac47$, so that $\frac17-\frac{\delta} 8<r_{k+1}<\frac17$, while if $a_{k-1}=-1$, $4r_{k+1}$ is within $\frac{\delta}2$ of $\frac37$, so that $\frac3{14}<2r_{k+1}<\frac3{14}+\frac{\delta}4$, and
746: $\frac17-\frac1{28}<r_{k+1}<\frac17$. In the first case we will make use of the fact that as $y$ decreases by a factor of $\frac18$, $\delta$ decreases by a factor of $\frac18$. In the second case we make use of the factor $h_{i,j}(z)$ with $\|z-\frac 3{14}\|<\frac{\delta}4$, where $\|\cdot\|$ denotes the distance from the nearest integer. We note that in this second case, $h_{i,j}(z)$ is necessarily $h_{1,1}(z)$ since the other filters are $0$ at such a
747: $z$, and we were assuming that we were in the support of $\widehat{\phi}_i(x)$. Thus, in the second case, we obtain a factor of $|p(z)|$ with $\|z-\frac 3{14}\|<\frac{\delta}4$, and we reset $\delta$ to $\frac1{28}$. Since $x\in A_n\cup B_n\cup C_n$ satisfies $\frac{8^n}2<|x|<8^{n+1}$, it will take between $n$ and $n+1$ applications of this process of moving from $y$ to $\frac y8$ to move into the unit interval. From this, if $a_j=1$ for all $j$, we will obtain
748: $n$ factors of the form $p(z)$ for $\|z-\frac 3{14}\|<\frac 1{112}$. Thus, by applying the Mean Value Theorem to condition (5) in the definition of the function $p$, we see that we will have
749: $n$ factors $|h_{i,j}(\frac x{2^l})|$ each of which is less than $(\frac 1{112})^{r+2}$ Each time $a_j=+1$, we will decrease the value of $\delta$ by a factor of $\frac 18$ instead of obtaining a new small factor. If $a_j=+1$ for all $j$, we will eventually arrive at $h_{1,1}(z)$ for $|z-\frac17|<\frac 1{8^n}$.
750: Again, by applying the Mean Value Theorem to condition (5) in the definition of $p$, we see that this gives us a factor of $|h_{i,j}(\frac x{2^l})|$ which is less than $(\frac 1{8^n})^{r+2}$. Values of $x\in A_n\cup B_n\cup C_n$ with a mixture of $a_j=+1$ and $a_j=-1$ will be somewhere between these two extremes, but all will have one or more factors of $p(x)$ among the $|h_{i,j}(\frac x{2^l})|$ with $x$ so close to $\frac 3{14}$ or $\frac17$ that the product of these factors is less than $(\frac 1{8^n})^{r+2}$. Since the other factors are bounded by $1$, we thus get that each term in
751: $\widehat{\phi}_i(x)$ is bounded in absolute value by $\frac 1{\sqrt 2}^{3n}(\frac 1{8^n})^{r+2}$. Thus, for $x\in A_n\cup B_n\cup C_n$, we have
752: $|\widehat{\phi}_i(x)|<\frac{3^{n+1}}{(\sqrt2)^{3n}8^{n(r+2)}}.$ Finally, for such $x$, $|x^{r+1}\widehat{\phi}_i(x)|<\frac{3^{n+1}8^{(n+1)(r+1)}}{8^{n(r+2)+\frac n2}}
753: =\frac{3^{n+1}8^{r+1}}{8^\frac{3n}2}\rightarrow 0$ as $n\rightarrow\infty$.
754: \end{proof}
755:
756:
757: We are now ready to prove our main theorem:
758:
759: \begin{theorem}\label{main} For any fixed integer $r\geq 0$, there exists a real-valued normalized tight frame wavelet $\psi$ such that $\psi\in C^r$, $\widehat{\psi}
760: \in C^{\infty}$ and such that the multiplicity function associated to $\psi$ is that of the Journ\'e wavelet.
761: \end{theorem}
762:
763: \begin{proof}
764: We build $\psi$ using the technique described in Theorem \ref{bjmp}, with low-pass filter functions $h_{i,j}$ defined in equations (\ref{h11})--(\ref{h22}),
765: and with high-pass filters given by
766:
767: $$g_1(x)=\begin{cases}
768: e^{2\pi i x}\overline{p(x+\frac 12)}&x\in[-\frac 2{7},\frac 2{7})\cr
769: 0&\text{\rm \ otherwise}\end{cases}
770: $$
771:
772: $$g_2(x)=\begin{cases}-e^{2\pi i x}\overline{p(x)}&x\in [\frac {-1}7,\frac 1{7})\cr
773: 0&\text{\rm \ otherwise}\end{cases}
774: $$
775:
776: It is easily checked that these generalized high-pass filter functions satisfy the filter equations
777: (\ref{gen4}) and (\ref{gen5}). In fact, as their form suggests, they were built from the generalized
778: low-pass filters using the classical high-pass filter obtained from $p$ via equation (\ref{classicalg}).
779: The frame wavelet $\psi$ is defined as in Theorem \ref{bjmp}, by
780: $\widehat{\psi}(x )
781: \equiv\frac 1{\sqrt{2}}\left(g_{1}(\frac x2 )\widehat{ \phi_1}(\frac x2 )+g_{2}(\frac x2 )\widehat{ \phi_2}(\frac x2 )\right)$,
782: where $\widehat{ \phi_1}$ and $\widehat{\phi_2}$ are the functions built from the $\{h_{i,j}\}$ in
783: Proposition \ref{GMRAex}. The wavelet $\psi$ is real-valued since the fact that both the low and high pass
784: filters are symmetric forces $\widehat{\psi}$ to be symmetric as well. We have that $\widehat{\psi}$
785: is $C^{\infty}$ since Lemma \ref{Cinfty} established that $\widehat{\phi}_1$ and $\widehat{\phi}_2$
786: are $C^{\infty}$, and $g_1$ and $g_2$ are as well. Further, we have
787: that $|x|^{r+1}\widehat{\psi}(x)\rightarrow 0$ as $x\rightarrow\infty,$ since
788: $\widehat{\phi}_1$ and $\widehat{\phi}_2$ were shown to have this property in Proposition \ref{xr}
789: and $g_1$ and $g_2$ are bounded by $\sqrt{2}$. Thus the wavelet $\psi$ itself satisfies
790: $\psi\in C^r$.
791:
792: It remains to show that $\psi$ determines the same GMRA as $\phi_1$ and $\phi_2$, so that this wavelet
793: also has the multiplicity function of Journ\'e. It was shown in \cite{BJMP} that $\psi\in V_1$, where
794: $\{V_j\}$ is the GMRA determined by $\phi_1$ and $\phi_2$ as in Proposition \ref{GMRAex}. This says that
795: $\psi$ is {\it obtained from} the GMRA in the sense defined by Zalik \cite{Za}. We will now show that in
796: this particular case, $\psi$ is {\it associated with} the GRMA $\{V_j\}$ in the sense
797: that $V_j$ is the closed linear span of $\{\psi_{l,k}\}_{l<j}$. (For more on this distinction, see e.g. \cite{Bo}.)
798: Since we already know
799: (by $\psi\in V_1$) that $V_j$ contains this closed linear span, it will suffice to show that $\widehat{V_0}$
800: is contained in the closure of the span of $\{\widehat{\psi}_{l,k}\}_{l<0}$.
801:
802: We will do this by defining a bounded surjective linear map $T:L^2(S_1)\oplus L^2(S_2)\mapsto\widehat{V_0}$,
803: that takes a tight frame for $L^2(S_1)\oplus L^2(S_2)$ to $\{\widehat{\psi}_{l,k}\}_{l<0}$.
804: We define $T(f_1,f_2)=f_1\widehat{\phi_1}+f_2\widehat{\phi_2}$, where $f_i\in L^2(S_i)$ is extended to
805: a periodic function. $T$ maps onto
806: $\widehat{V_0}$ since by Lemma \ref{partialproduct}, the support of $\widehat{\phi_i}$ is the periodization of $S_i$.
807: To see that $T$ is bounded, we compute the norm
808:
809: \begin{eqnarray*}
810: \|T(\{f_i\})\|^2&=& \int_{\mathbb R}\left|f_1(x)\widehat{\phi_1}(x)+f_2(x)\widehat{\phi_2}(x)\right|^2 dx\\
811: &=& \int_{\mathbb R}\left|f_1(x)\widehat{\phi_1}(x)\right|^2+\left|f_2(x)\widehat{\phi_2}(x)\right|^2 dx\\
812: &=&\sum_{j\in\mathbb Z}\int_{\mathbb T} \left|f_1(x)\widehat{\phi_1}(x+j)\right|^2+\left|f_2(x)\widehat{\phi_2}(x+j)\right|^2dx\\
813: &=&\int_{\mathbb T}\left|f_1(x)\right|^2\sum_{j\in\mathbb Z}\left|\widehat{\phi_1}(x+j)\right|^2 +\left|f_2(x)\right|^2\sum_{j\in\mathbb Z}\left|\widehat{\phi_2}(x+j)\right|^2dx,
814: \end{eqnarray*}
815: where the second equality follows from the disjointness of the supports of $\widehat{\phi_1}$ and $\widehat{\phi_2}$.
816: Let $\textup{Per}\, \phi_i(x)\equiv\sum_{j\in\mathbb Z}\left|\widehat{\phi_i}(x+j)\right|^2.$
817: To show that $T$ is bounded, it will suffice to show that $\textup{Per}\,\phi_i$ is bounded on $\mathbb T$ for $i=1,2$. This
818: follows from Lemma \ref{partialproduct} by writing, for $x\in[-\frac12,\frac12]$,
819: \begin{eqnarray*}
820: \textup{Per}\, \phi_i(x)&=&\sum_{n=0}^{\infty}\sum_{\{a_j\}\in\{-1,1\}^{n}}\widehat{\phi}_i(x + \sum_{j=0}^{n}a_j 8^j)\\
821: &\leq&\sum_{n=0}^{\infty}2^n\frac1{8^{(n-1)r}}
822: \end{eqnarray*}
823: where the last step follows from Proposition \ref{xr}.
824:
825: Now to see that $T$ takes a tight frame for $L^2(S_1)\oplus L^2(S_2)$ to $\{\widehat{\psi}_{l,k}\}_{l<0}$,
826: we adopt some notation from \cite{BJMP}. Define the operator $S_G:L^2(\mathbb{T})\rightarrow L^2(S_1)\oplus L^2(S_2)$ by
827: $$[S_G(f)](x)=\{g_1(x)f(2x),g_2(x)f(2x)\}$$
828: and
829: $S_H:L^2(S_1)\oplus L^2(S_2)\rightarrow L^2(S_1)\oplus L^2(S_2)$ by
830: $$[S_H(\{f_1,f_2\})](x) = \{h_{1,1}(x)f_1(2x)+h_{2,1}(x)f_2(2x), h_{1,2}(x)f_1(2x)\}.$$
831: It is shown in \cite{BJMP} (Lemma 3.3) that $\{S_H^n(S_G(e^{2\pi i k x}))\}_{k\in\mathbb{Z}, n=0,1,2,\cdots}$ forms a normalized tight frame
832: for $L^2(S_1)\oplus L^2(S_2)$. We complete the proof by showing that the operator $T$ takes this frame to $\{\widehat{\psi}_{l,k}\}_{l<0}.$
833: Note first that for $n=0$, we have
834: \begin{eqnarray*}
835: T(S_G(e^{2\pi i k x}))&=&g_1(x)e^{4\pi i k x}\widehat{\phi_1}(x)+g_2(x)e^{4\pi i k x}\widehat{\phi_1}(x)\\
836: &=&e^{4\pi i k x}\widehat{\psi}(2x)\\
837: &=&\widehat{\psi}_{-1,k}
838: \end{eqnarray*}
839: Thus the result will follow from
840: the fact that $T$ intertwines the operators $S_H$ on $L^2(S_1)\oplus L^2(S_2)$ and inverse dilation $\delta^{-1}$ on $\widehat{V_0}$:
841:
842: \begin{eqnarray*} [T(S_H(\{f_1,f_2\}))](x)
843: &=& h_{1,1}(x)f_1(2x)+h_{2,1}(x)f_2(2x)\widehat{\phi_1}(x)+ h_{1,2}(x)f_1(2x)\widehat{\phi_2}(x)\cr
844: &=& f_1(2x)\left( h_{1,1}(x)\widehat{\phi_1}(x)+h_{1,2}(x)\widehat{\phi_2}(x)\right)+ f_2(2x)h_{2,1}(x)\widehat{\phi_1}(x) \cr
845: &=& f_1(2x) \sqrt 2 \widehat {\phi_1}(2x)+f_2(2x) \sqrt 2 \widehat {\phi_2}(2x) \cr
846: &=& \left[\delta^{-1}\left( f_1\widehat{\phi_1} +f_2\widehat{\phi_2}\right)\right](x)\cr
847: &=& [\delta^{-1}(T(f))](x).\end{eqnarray*}
848: \end{proof}
849:
850:
851: \begin{remark}
852: While the dilates and translates of the wavelet $\psi$ defined in Theorem \ref{main} do form a normalized tight frame for all of $L^2(\mathbb{R})$,
853: the translates of $\psi$ do not even form a frame for their linear span. We can see this using the result in \cite{BLi} once again, since
854: $\textup{Per}\, \psi(x)\equiv\sum_{j\in\mathbb Z}\left|\widehat{\psi}(x+j)\right|^2$ is not bounded away from $0$ on its support. In
855: particular, $\textup{Per}\, \psi$ is continuous, yet nonzero on $\pm(\frac 27, \frac 47)$, and 0 on $\pm(\frac 47,\frac 67)$.
856: \end{remark}
857: \frenchspacing
858: \begin{thebibliography}{99}
859: \bibitem{ACM}
860: A. Aldroubi, C. Cabrelli, and U. Molter, Wavelets on irregular grids with arbitrary dilation matrices and frame atoms for
861: $L^2(\mathbb R^d)$, \emph{Appl. Comput. Harmon. Anal.} 17, 119--140 (2004).
862: \bibitem{Au}
863: P. Auscher, Solution of two problems on wavelets,
864: \emph{J. Geom. Anal.} 5, 181--236 (1995).
865: \bibitem{Ba}
866: L. W. Baggett, Redundancy in the frequency domain, \emph{Harmonic Analysis and
867: Applications} (C.~Heil, ed.), Birkh\"auser, Boston, to appear.
868: \bibitem{JKL}
869: L. W. Baggett, J. E. Courter, and K. D. Merrill, The
870: construction of wavelets from generalized conjugate mirror filters
871: in $L^2(\mathbb{R}^n)$, \emph{Appl. Comput. Harmon. Anal.} 13, 201--223 (2002).
872: \bibitem{BJMP}
873: L. W. Baggett, P. E. T. Jorgensen, K. D. Merrill, and J. A. Packer, Construction of Parseval wavelets
874: from redundant filter systems,
875: %preprint.
876: \emph{J. Math. Phys.} 46 (2005), no. 8, 083502, 28 pp.
877: \bibitem{HKL}
878: L. W. Baggett, H. A. Medina, and K. D. Merrill, Generalized
879: multi-resolution analyses and a construction procedure for all
880: wavelet sets in $\mathbb{R}^n$, \emph{J. Fourier Anal. Appl.} 5, 563-573 (1999).
881: \bibitem {BM} L. W. Baggett and K. D. Merrill, Abstract harmonic analysis and wavelets in $\mathbb R^n$, in \emph{The Functional and Harmonic Analysis of Wavelets and Frames (San Antonio, TX)} (L. Baggett and D. Larson, eds.), \emph{Contemp. Math.} 247, Amer. Math. Soc., Providence, RI, 1999, pp.~17--27.
882: \bibitem{BL}
883: J. Benedetto and M. Leon, The construction of multiple
884: dyadic minimally supported frequency wavelets on $\mathbb R^d$,
885: in \emph{The Functional and Harmonic Analysis of Wavelets and
886: Frames (San Antonio, TX)} (L. Baggett and D. Larson,
887: eds.), \emph{Contemp. Math.} 247, Amer. Math. Soc., Providence,
888: RI, 1999, pp.~43--74.
889: \bibitem{BLi} J. J. Benedetto and S. Li, The theory of multiresolution analysis frames and applications to filter banks,
890: \emph{Appl. Comput. Harmon. Anal.} 5, 389--427 (1998).
891: \bibitem{Bo} M. Bownik, Riesz wavelets and generalized multiresolution analyses, \emph{Appl. Comput. Harmon. Anal.} 14, 181--194 (2003).
892: \bibitem{BJ}
893: O. Bratteli and P. Jorgensen, \emph{Wavelets Through a Looking
894: Glass: The World of the Spectrum}, Birk\"{a}user,
895: Boston-Basel-Berlin, 2002.
896: \bibitem{Coh}
897: A. Cohen, \emph{Wavelets and Multiscale Signal Processing},
898: translated by R. Ryan, Chapman and Hall, U.K., 1995.
899: \bibitem{Cou}
900: J. Courter, Construction of dilation d wavelets, in
901: \emph{The Functional and Harmonic Analysis of Wavelets and
902: Frames (San Antonio,TX)} (L. Baggett and D. Larson,
903: eds.), \emph{Contemp. Math.} 247, Amer. Math. Soc., Providence, RI, 1999, pp.183--205.
904: \bibitem{Cun}
905: J. Cuntz, Simple $C^*$-algebras generated by isometries,
906: \emph{Comm. Math. Phys.} 57, 173--185 (1977).
907: \bibitem{DLS}
908: X. Dai, D. R. Larson, and D. Speegle, Wavelet Sets in
909: $\mathbb{R}^n$, \emph{J. Fourier Anal. Appl.} 3,
910: 451--456 (1997).
911: \bibitem{Dau}
912: I. Daubechies, \emph{Ten Lectures on Wavelets}, American
913: Mathematical Society, Providence, RI, 1992.
914: \bibitem{Da2}
915: I. Daubechies, Orthonormal bases of compactly supported wavelets,
916: \emph{Comm. Pure Appl. Math.} 41, 909--996 (1988).
917: \bibitem{Ha}
918: A. Haar, Zur theorie der orthogonalen funktionen systems,
919: \emph{Math. Ann.} 69, 331--371 (1910).
920: \bibitem {HLPS} D. Han, D. R. Larson, M. Papadakis, and Th. Stavropoulos,
921: Multiresolution analyses of abstract Hilbert spaces and wandering subspaces, in
922: \emph{The Functional and Harmonic Analysis of Wavelets and
923: Frames (San Antonio,TX)} (L. Baggett and D. Larson,
924: eds.), \emph{Contemp. Math.} 247, Amer. Math. Soc., Providence, RI, 1999, pp.~259--284.
925: \bibitem{HW}
926: E. Hern\'andez and G. Weiss, \emph{A First Course on Wavelets},
927: CRC Press, Boca Raton-New York, 1996.
928: \bibitem{Law}
929: W. M. Lawton, Tight frames of compactly supported affine
930: wavelets, \emph{J. Math. Phys.} 31, 1898--1901 (1990).
931: \bibitem{Ma}
932: S. Mallat, Multiresolution approximations and wavelet
933: orthonormal bases of $L^2(\mathbb{R})$, \emph{Trans. Amer. Math. Soc.} 315, 69--87 (1989).
934: \bibitem{Me}
935: Y. Meyer, Wavelets and Operators, \emph{Cambridge Studies in
936: Advanced Mathematics} v.~37, Cambridge University Press, Cambridge,
937: England, 1992.
938: \bibitem{Str}
939: R. Strichartz, How to make wavelets, \emph{Amer. Math. Monthly} 100, 539--556 (1993).
940: \bibitem{W}
941: E. Weber, \emph{The action of translations on wavelet subspaces},
942: Ph.D. Thesis, University of Colorado (1999).
943: \bibitem{Za}
944: R. A. Zalik, Riesz bases and multiresolution analyses, \emph{Appl. Comput. Harmon. Anal.} 7, 315--331 (1999).
945: \end{thebibliography}
946: \end{document}
947: