Professional Documents
Culture Documents
Textbook Generalized Multiresolution Analyses Kathy D Merrill Ebook All Chapter PDF
Textbook Generalized Multiresolution Analyses Kathy D Merrill Ebook All Chapter PDF
Textbook Generalized Multiresolution Analyses Kathy D Merrill Ebook All Chapter PDF
Kathy D. Merrill
Visit to download the full and correct content document:
https://textbookfull.com/product/generalized-multiresolution-analyses-kathy-d-merrill/
More products digital (pdf, epub, mobi) instant
download maybe you interests ...
https://textbookfull.com/product/control-performance-assessment-
theoretical-analyses-and-industrial-practice-pawel-d-domanski/
https://textbookfull.com/product/information-technology-project-
management-kathy-schwalbe/
https://textbookfull.com/product/generalized-linear-models-and-
extensions-fourth-edition-hardin/
https://textbookfull.com/product/color-atlas-of-pediatric-
anatomy-laparoscopy-and-thoracoscopy-1st-edition-merrill-mchoney/
Property Principles and Policies Third Edition Thomas
W. Merrill & Henry E. Smith
https://textbookfull.com/product/property-principles-and-
policies-third-edition-thomas-w-merrill-henry-e-smith/
https://textbookfull.com/product/chemistry-structure-and-
properties-solutions-manual-kathy-thrush-shaginaw/
https://textbookfull.com/product/existence-theory-for-
generalized-newtonian-fluids-1st-edition-breit/
https://textbookfull.com/product/an-introduction-to-generalized-
linear-models-annette-j-dobson/
https://textbookfull.com/product/higher-gradient-materials-and-
related-generalized-continua-holm-altenbach/
Lecture Notes in Applied and Numerical Harmonic Analysis
Kathy D. Merrill
Generalized
Multiresolution
Analyses
Lecture Notes in Applied and Numerical
Harmonic Analysis
Series Editor
John J. Benedetto
University of Maryland
College Park, MD, USA
Peter Casazza
University of Missouri
Columbia, MO, USA
Gitta Kutyniok
Technische Universität Berlin
Berlin, Germany
Ursula Molter
Universidad de Buenos Aires
Buenos Aires, Argentina
Michael Unser
Ecole Polytechnique Federale de Lausanne
Lausanne, Switzerland
Generalized Multiresolution
Analyses
Kathy D. Merrill
Department of Mathematics
The Colorado College
Colorado Springs, CO, USA
Mathematics Subject Classification: 42-02, 42C40, 42C15, 43A40, 28A80, 20H15, 65T60
This book is published under the imprint Birkhäuser, www.birkhauser-science.com by the registered
company Springer Nature Switzerland AG
The registered company address is: Gewerbestrasse 11, 6330 Cham, Switzerland
LN-ANHA Series Preface
The Lecture Notes in Applied and Numerical Harmonic Analysis (LN-ANHA) book
series is a subseries of the widely known Applied and Numerical Harmonic Analysis
(ANHA) series. The Lecture Notes series publishes paperback volumes, ranging
from 80 to 200 pages in harmonic analysis as well as in engineering and scientific
subjects having a significant harmonic analysis component. LN-ANHA provides a
means of distributing brief-yet-rigorous works on similar subjects as the ANHA
series in a timely fashion, reflecting the most current research in this rapidly
evolving field.
The ANHA book series aims to provide the engineering, mathematical, and
scientific communities with significant developments in harmonic analysis, ranging
from abstract harmonic analysis to basic applications. The title of the series
reflects the importance of applications and numerical implementation, but richness
and relevance of applications and implementation depend fundamentally on the
structure and depth of theoretical underpinnings. Thus, from our point of view,
the interleaving of theory and applications and their creative symbiotic evolution
is axiomatic.
Harmonic analysis is a wellspring of ideas and applicability that has flourished,
developed, and deepened over time within many disciplines and by means of
creative cross-fertilization with diverse areas. The intricate and fundamental rela-
tionship between harmonic analysis and fields such as signal processing, partial
differential equations (PDEs), and image processing is reflected in our state-of-the-
art ANHA series.
Our vision of modem harmonic analysis includes mathematical areas such as
wavelet theory, Banach algebras, classical Fourier analysis, time-frequency analysis,
and fractal geometry, as well as the diverse topics that impinge on them.
For example, wavelet theory can be considered an appropriate tool to deal with
some basic problems in digital signal processing, speech and image processing,
geophysics, pattern recognition, bio-medical engineering, and turbulence. These
areas implement the latest technology from sampling methods on surfaces to fast
algorithms and computer vision methods. The underlying mathematics of wavelet
v
vi LN-ANHA Series Preface
theory depends not only on classical Fourier analysis but also on ideas from abstract
harmonic analysis, including von Neumann algebras and the affine group. This leads
to a study of the Heisenberg group and its relationship to Gabor systems and of the
metaplectic group for a meaningful interaction of signal decomposition methods.
The unifying influence of wavelet theory in the aforementioned topics illustrates
the justification for providing a means for centralizing and disseminating informa-
tion from the broader, but still focused, area of harmonic analysis. This will be a key
role of ANHA. We intend to publish with the scope and interaction that such a host
of issues demands.
Along with our commitment to publish mathematically significant works at the
frontiers of harmonic analysis, we have a comparably strong commitment to publish
major advances in applicable topics such as the following, where harmonic analysis
plays a substantial role:
Fourier analysis not only characterizes the behavior of the prime numbers but also
provides the proper notion of spectrum for phenomena such as white light; this
latter process leads to the Fourier analysis associated with correlation functions in
filtering and prediction problems, and these problems, in turn, deal naturally with
Hardy spaces in the theory of complex variables.
Nowadays, some of the theory of PDEs has given way to the study of Fourier
integral operators. Problems in antenna theory are studied in terms of unimodular
trigonometric polynomials. Applications of Fourier analysis abound in signal
processing, whether with the fast Fourier transform (FFT), or filter design, or the
adaptive modeling inherent in time-frequency-scale methods such as wavelet theory.
The coherent states of mathematical physics are translated and modulated Fourier
transforms, and these are used, in conjunction with the uncertainty principle, for
dealing with signal reconstruction in communications theory. We are back to the
raison d’être of the ANHA series!
1 Introduction . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1
1.1 Wavelets and Multiresolution Structures. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 2
1.2 Classes of Examples . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 4
References . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 7
2 The Invariance of the Core Subspace . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 9
2.1 Arbitrary Hilbert Spaces and Affine Structures. . . . . . . . . . . . . . . . . . . . . . . . 9
2.2 Affine Structures with Abelian Γ . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 13
2.3 The Classical Setting. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 18
References . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 20
3 The Multiplicity Function . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 23
3.1 Examples of Multiplicity Functions . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 23
3.2 The Consistency Equation . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 26
3.3 The Dimension Function . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 29
3.4 Characterizing Multiplicity Functions . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 32
References . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 36
4 Wavelet Sets . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 37
4.1 Preliminaries . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 38
4.2 Wavelet Sets from Multiplicity Functions . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 40
4.3 Wavelet Sets from the Consistency Equation . . . . . . . . . . . . . . . . . . . . . . . . . . 43
4.4 Wavelet Sets from Geometry . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 49
References . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 53
5 Generalized Filters . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 55
5.1 Classical Filters . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 55
5.2 Extended Uses of Classical Filters . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 58
5.3 Generalized Filters in GMRAs . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 60
5.4 Building GMRAs and Parseval Wavelets from Filters in L2 (RN ). . . . 68
References . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 73
ix
x Contents
6 Fractal Spaces . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 75
6.1 GMRAs and Wavelets on Enlarged Fractal Spaces . . . . . . . . . . . . . . . . . . . 75
6.2 Generalized Filters in Fractal Spaces . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 77
6.3 Fourier Transforms on Enlarged Fractal Spaces . . . . . . . . . . . . . . . . . . . . . . . 81
References . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 83
7 Composite Dilations and Crystallographic Groups . . . . . . . . . . . . . . . . . . . . . . 85
7.1 The Setting . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 85
7.2 Haar Type Wavelets . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 87
7.3 Wavelet Set Wavelets . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 93
7.4 Filters and Fourier Transforms . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 95
References . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 96
8 Abstract Constructions of GMRAs . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 97
8.1 Super-Wavelets . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 97
8.2 Direct Limits . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 101
8.3 A Classifying Space for GMRAs. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 104
References . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 110
Index . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 111
Chapter 1
Introduction
describe the resulting strand of research, which is centered around the concept of
a generalized multiresolution analysis. The use of abstract harmonic analysis to
further develop this concept has been carried out by several groups during the late
1990s and into the first two decades of 2000. This work has led to more powerful and
more general methods to build new wavelets, and also to an ability to use wavelets
in broader contexts.
translations by the integer lattice and dilation δA f (x) = | det A|f (Ax) by an
expansive (all eigenvalues have absolute value greater than 1) integer matrix A.
The work of Baggett, Carey, Moran, and Ohring [3] generalized these operations
to interrelated operators on an abstract Hilbert space. In particular, they replaced
standard translations by a countable, discrete, not necessarily abelian group Γ of
unitary operators on a separable Hilbert space H , and replaced dilation by another
unitary operator δ on H such that δ −1 Γ δ ⊂ Γ. They called such a collection of
operators an Affine Structure. In this context, they defined a wavelet:
Definition 1.1 A (orthonormal) wavelet in a Hilbert space H is a finite set
{ψ1 , ψ2 , · · · , ψL } ⊂ H such that {δ j (γ (ψi ))} forms an orthonormal basis of H ,
with −∞ < j < ∞, γ ∈ Γ, and 1 ≤ i ≤ L.
1.1 Wavelets and Multiresolution Structures 3
{v1 , v2 , · · · }
Definition 1.3 A frame for a Hilbert space H is a collection of vectors
for which there exist positive frame bounds A and B with A v 2 ≤ i | v, vi |2 ≤
B v 2 for all v ∈ H . A Parseval frame (or normalized tight frame) is a frame with
bounds A = B = 1.
4 1 Introduction
As with most mathematical concepts, much of the value of the GMRA definition
lies in interesting and useful examples. All MRAs are also GMRAs, but in the
classical setting, the most interesting examples are GMRAs that are not also MRAs.
The earliest of these examples were tied to wavelet sets, sets whose characteristic
1.2 Classes of Examples 5
functions are the Fourier transforms of wavelets. The first was discovered by Journé
(see [20], p. 136) before a GMRA was defined. He found a wavelet set for dilation
by 2 in L2 (R), which he could show has no associated MRA, but which necessarily
(by Theorem 2.1) has an associated GMRA.
By the L = d − 1 result from [3] mentioned above, single wavelets in L2 (RN )
for dilations of determinant greater than 2 must be non-MRA wavelets, and the
earliest examples of these also were wavelet set wavelets. Dai, Larson and Speegle
surprised the wavelet community in the late 1990s by showing that single wavelet set
wavelets exist for all expansive dilations in all dimensions [16]. In general, wavelet
sets for expansive matrix dilations in L2 (RN ) are directly linked to the multiplicity
function of their GMRAs, so that examples of wavelet sets and GMRAs in L2 (RN )
are naturally built together. In [4], the multiplicity function was used to develop
a construction procedure for all wavelet sets in RN . Later, this procedure led to
the discovery of wavelet sets that are finite unions of convex sets for any scalar
dilation in L2 (RN ) (see [37, 40]), as well as to a partial determination of which
matrix dilations have wavelet sets with this property [39]. Chapter 4 develops the
relationship between GMRAs and wavelet sets in L2 (RN ) and shows how it leads
to these and other wavelet set results.
Although wavelet sets are useful in providing key examples that settle questions
in wavelet theory, their associated wavelets are not well-localized, and thus not
the most useful for applications. In general, it has been shown that non-MRA
(orthonormal) wavelets cannot be both well-localized and smooth. For example,
any orthonormal wavelet ψ ∈ L2 (R) such that |ψ̂| is continuous and |ψ̂(ω)| =
1
O(|ω|− 2 − ) for some positive , must have an associated MRA [30]. Thus, to
associate smooth and well-localized wavelets in L2 (RN ) with GMRAs that are not
MRAs, we must turn to Parseval wavelets.
The technique for building well-localized and smooth Parseval wavelets for
GMRAs uses generalized filters. Classical filters, periodic functions which are
multiplied by Fourier transforms, were used by Mallat and Meyer [34, 41] to build
wavelets from MRAs in L2 (R), and later by Daubechies [19] to build smooth
compactly supported wavelets in the same setting. For dilation by 2 in L2 (RN ),
A. Ron and Z. Shen [45] used filters with the Fourier transform in what they called
the Unitary Extension Principle to build Parseval wavelets from given frames of
translates for V0 . Benedetto/Li [10] and Papadakis [43] also used filters coming
from given frames in their FMRA and GFMRA settings to build Parseval wavelets.
Generalized filters in GMRAs are functions defined on the support of the
multiplicity function, and in the case of L2 (RN ), can be viewed in terms of the
Fourier transform in a way similar to classical filters. Baggett, Courter, and Merrill
[5], and later Baggett, Jorgensen, Merrill, and Packer [6], developed a theory of
generalized filters defined in terms of the multiplicity function, and used them
to build both the GMRA itself and Parseval wavelets. One result [7] was the
construction of a non-MRA Parseval wavelet with the same multiplicity function
as the Journé wavelet, yet which has a C ∞ Fourier transform and can be made to
be C r for an arbitrary integer r > 0. Smooth well-localized Parseval wavelets were
6 1 Introduction
also built with the same multiplicity functions as well-known wavelet sets in R2
[38]. Chapter 5 describes generalized filters, and shows how they are used to build
GMRAs and wavelets.
Other noteworthy examples of GMRAs have been MRAs built-in different
settings than ordinary translations and dilations in L2 (RN ). In 2006, Dutkay and
Jorgensen [23] constructed a fractal Hilbert space from the Hausdorff measure on R
associated with the Cantor set, and then built an MRA and (orthonormal) wavelet on
this space. Their results were later extended to other fractals, such as the Sierpinski
gasket [18], Sierpinski carpet [17], and fractals from non-linear iterated function
systems [12]. In [17], Parseval wavelets were also constructed for fractal spaces.
All of these constructions use generalized filters in this non-traditional setting. The
application of GMRA theory to fractal spaces is developed in Chapter 6.
At about the same time, wavelets with composite dilations were introduced by
Guo, Labate, Lim, Weiss, and Wilson [26]. These wavelets live in GMRAs on
L2 (RN ), with Γ a (not necessarily discrete) subgroup of the affine group of RN
and δ a dilation by a compatible expansive matrix. Note that unlike the previous
examples, this group Γ is not abelian. Shearlets are examples of this type of
construction that are useful in applications. Another important example of the
theory of composite dilations is the subclass of the two-dimensional crystallographic
groups consisting of those groups that split as semidirect products of translations and
finite point groups. Recently, MacArthur and Taylor [33] described how composite
dilations fit into GMRA theory, and also worked out how the action of the non-
semidirect product crystallographic groups on RN can be combined with compatible
dilations to give GMRAs and build wavelets. A related theory by Larson and
Massopust [32] replaced translations entirely by an affine Weyl group of reflections
in a family of hyperplanes, and found wavelet sets for that affine structure. Chapter 7
of this volume presents the theory of composite dilations, as well as the actions of
crystallographic groups that are not semidirect products, as examples of GMRA
theory.
The final chapter of this book, Chapter 8, looks at abstract constructions of
GMRAs using direct limits and direct sums. Both techniques use multiplicity
functions to build filters and then GMRAs, and both give new ways of looking
at the examples of GMRAs described above. The direct limit construction was first
developed by Larsen and Raeburn [31], and further explored in [8]. These authors
showed that there are fewer restrictions on which functions can be multiplicity
functions in contexts other than L2 (RN ), and used direct limits to build from
the multiplicity function both new examples and familiar ones such as the Journé
wavelet and the Cantor fractal space. Bildea, Dutkay, and Picioroaga in [11] used the
ideas of abstract GMRAs to develop what they call super-wavelets in a Hilbert space
composed of direct sums of L2 (R). Finally, Baggett, Furst, Merrill, and Packer [9]
described a direct sum method of building an abstract GMRA from any multiplicity
function and filter for which a GMRA exists. They used this construction to form a
classification space for GMRAs.
References 7
References
1. Akansu, A., Haddad, R.: Multiresolution Signal Decomposition: Transforms, Subbands and
Wavelets. Academic Press, San Diego (2001)
2. Baggett, L., Merrill, K.: Abstract harmonic analysis and wavelets in Rn . Contemp. Math. 247,
17–27 (1999)
3. Baggett, L., Carey, A., Moran, W., Ohring, P.: General existence theorems for orthonormal
wavelets, an abstract approach. Publ. Res. Inst. Math. Sci. 31, 95–111 (1995)
4. Baggett, L., Medina, H., Merrill, K.: Generalized multiresolution analyses and a construction
procedure for all wavelet sets in Rn . J. Fourier Anal. Appl. 5, 563–573 (1999)
5. Baggett, L., Courter, J., Merrill, K.: The construction of wavelets from generalized conjugate
mirror filters in L2 (Rn ). Appl. Comput. Harmon. Anal. 13, 201–223 (2002)
6. Baggett, L., Jorgensen, P., Merrill, K., Packer, J.: Construction of Parseval wavelets from
redundant filter systems. J. Math. Phys. 46, 1–28 (2005)
7. Baggett, L., Jorgensen, P., Merrill, K., Packer, J.: A non-MRA C r frame wavelet with rapid
decay. Acta Appl. Math. 89, 251–270 (2006)
8. Baggett, L., Larsen, N., Merrill, K., Packer, J, Raeburn, I.: Generalized multiresolution analyses
with given multiplicity functions. J. Fourier Anal. Appl. 15, 616–633 (2009)
9. Baggett, L., Furst, V., Merrill, K., Packer, J.: Classification of generalized multiresolution
analyses. J. Funct. Anal. 258, 4210–4228 (2010)
10. Benedetto, J., Li, S.: The theory of multiresolution analysis frames and applications to filter
banks. Appl. Comput. Harmon. Anal. 5, 389–427 (1998)
11. Bildea, S., Dutkay, D., Picioroaga, G.: MRA super-wavelets. N. Y. J. Math. 11, 1–19 (2005)
12. Bohnstengel, J., Kesseböhmer, M.: Wavelets for iterated function systems. J. Funct. Anal. 259,
583–601 (2010)
13. Bownik, M., Rzeszotnik, Z.: The spectral function of shift-invariant spaces. Mich. Math. J. 51,
387–414 (2003)
14. Bownik, M., Rzeszotnik, Z., Speegle, D.: A characterization of dimension functions of
wavelets. Appl. Comput. Harmon. Anal. 10, 71–92 (2001)
15. Bratteli, O., Jorgensen, P.: Wavelets Through a Looking Glass. Birkhäuser, Boston (2002)
16. Dai, X., Larson, D., Speegle, D.: Wavelet sets in Rn . J. Fourier Anal. Appl. 3, 451–456 (1997)
17. D’Andrea, J.: Constructing fractal wavelet frames. Numer. Funct. Anal. Optim. 33, 906–927
(2012)
18. D’Andrea, J., Merrill, K., Packer, J.: Fractal wavelets of Dutkay-Jorgensen type for the
Sierpinski gasket space. Contemp. Math. 451, 69–88 (2008)
19. Daubechies, I.: Orthonormal bases of compactly supported wavelets. Commun. Pure Appl.
Math. 41, 909–996 (1988)
20. Daubechies, I.: Ten Lectures on Wavelets. Society for Industrial and Applied Mathematics,
Philadelphia (1992)
21. Daubechies, I.: Where do wavelets come from?–A personal point of view. Proc. IEEE 84, 510–
513 (1996)
22. de Boor, C., DeVore, R., Ron, A.: The structure of finitely generated shift-invariant subspaces
of L2 (Rd ). J. Funct. Anal. 119, 37–78 (1994)
23. Dutkay, D., Jorgensen, P.: Wavelets on fractals. Rev. Math. Iberoamericana 22, 131–180 (2006)
24. Feichtinger, H., Gröchenig, K.: A unified approach to atomic decompositions through inte-
grable group representations. In: Cwikel, M., et al. (eds.) Function Spaces and Applications,
pp. 52–73. Springer, Berlin (1988)
25. Führ, Hartmut: Abstract Harmonic Analysis of Continuous Wavelet Transforms. Springer-
Verlag, Berlin, Heidelberg (2005)
26. Guo, K., Labate, D., Lim, W., Weiss, G., Wilson, E.: The theory of wavelets with composite
dilations. In: Heil, C. (ed.) Harmonic Analysis and Applications, pp. 231–250. Birkhäuser,
Boston (2006)
8 1 Introduction
27. Grossmann, A., Morlet, J.: Decomposition of Hardy functions into square integrable wavelets
of constant shape. SIAM J. Math. 15, 723–736 (1984)
28. Heil, C., Walnut, D.: Continuous and discrete wavelet transforms. SIAM Rev. 31, 628–666
(1989)
29. Helson, H.: Lectures on Invariant Subspaces. Academic Press, New York (1964)
30. Hernandez, E., Weiss, G.: A First Course on Wavelets. CRC Press, Boca Raton (1996)
31. Larsen, N., Raeburn, I.: From filters to wavelets via direct limits. Contemp. Math. 414, 35–40
(2006)
32. Larson, D., Massopust, P.: Coxeter groups and wavelet sets. Contemp. Math. 451, 187–218
(2008)
33. MacArthur, J., Taylor, K.: Wavelets with crystal symmetry shifts. J. Fourier Anal. Appl. 17,
1109–1118 (2011)
34. Mallat, S.: Multiresolution approximations and wavelet orthonormal bases of L2 (R). Trans.
Am. Math. Soc. 315, 69–87 (1989)
35. Mallat, S.: A theory for multiresolution signal decomposition: the wavelet representation. IEEE
Trans. Pattern Anal. Mach. Intell. 11, 674–693 (1989)
36. Massopust, P.: Fractal Functions, Fractal Surfaces, and Wavelets. Academic Press, Orlando
(1995)
37. Merrill, K.: Simple wavelet sets for scalar dilations in L2 (R2 ). In: Jorgensen, P., Merrill, K.,
Packer, J. (eds.) Wavelets and Frames: A Celebration of the Mathematical Work of Lawrence
Baggett, pp. 177–192. Birkhäuser, Boston (2008)
38. Merrill, K.: Smooth well-localized Parseval wavelets based on wavelet sets in R2 . Contemp.
Math. 464, 161–175 (2008)
39. Merrill, K.: Simple wavelet sets for matrix dilations in R2 . Numer. Funct. Anal. Optim. 33,
1112–1125 (2012)
40. Merrill, K.: Simple wavelet sets in Rn . J. Geom. Anal. 25, 1295–1305 (2015)
41. Meyer, Y.: Ondelettes, fonctions splines et analyses graduées. Rapport Ceremade 8703 (1987)
42. Meyer, Y.: Wavelets: Algorithms and Applications. Society for Industrial and Applied Mathe-
matics, Philadelphia (1993)
43. Papadakis, M.: Generalized frame multiresolution analysis of abstract Hilbert spaces. In:
Benedetto, J., Zayed, A. (eds.) Sampling, Wavelets and Tomography, pp. 179–223. Birkhäuser,
Boston (2004)
44. Ron, A., Shen, Z.: Frames and stable bases for shift-invariant subspaces of L2 (Rd ). Can. J.
Math. 47, 1051–1094 (1995)
45. Ron, A., Shen, Z.: Affine systems in L2 (Rd ): the analysis of the analysis operator. J. Fourier
Anal. Appl. 3, 408–447 (1997)
46. Ron, A., Shen, Z.: The wavelet dimension function is the trace function of a shift-invariant
system. Proc. Am. Math. Soc. 131, 1385–1398 (2002)
47. Weber, E.: Applications of the wavelet multiplicity function. Contemp. Math. 247, 297–306
(1999)
Chapter 2
The Invariance of the Core Subspace
The invariance of the core subspace V0 of a GMRA under the group Γ of unitary
operators implies the existence of a unitary representation of Γ on V0 , thus enabling
the use of tools from abstract harmonic analysis. Because of the required condition
δ −1 Γ δ ⊂ Γ , the invariance of V0 also gives invariance of all Vj for j ≥ 0, and
thus representations of Γ there as well. The invariance of V1 in turn implies the
invariance of W0 = V1 V0 , where the representations of Γ are useful in proving
the existence of orthonormal or Parseval wavelets. In this chapter, we will explore
results that follow from analyzing these representations of Γ . We start with the most
general setting of an arbitrary affine structure on a separable abstract Hilbert space,
and later consider the case of abelian Γ , and in particular, the classical setting of
ordinary translation and expansive matrix dilations in L2 (RN ).
Remark 2.1 The situation for Parseval wavelets is not quite so straightforward. If
H has a semiorthogonal Parseval wavelet, then the same proof shows that H has
a GMRA. For other Parseval wavelets, it is not known whether ∩Vj = {0} always
holds, where Vj is defined as in Theorem 2.1. The answer is negative for general
frame wavelets, i.e.,{ψ1 , · · · , ψL } such that {δ j γ (ψi )} forms a frame for H . In fact,
Bownik and Rzeszotnik [8] found an example of a frame wavelet in L2 (R) with
frame bounds 1 and 1 + δ that has ∩Vj = L2 (R).
A partial converse to Theorem 2.1 follows from a comparison of the representa-
tions of Γ on V0 and V1 with the left regular representation Λ of Γ, which acts on
ξ ∈ l 2 (Γ ) by Λγ (ξ(γ )) = ξ(γ −1 γ ).
Theorem 2.2 Suppose the affine structure on a Hilbert space H is given by a group
Γ and operator δ with the property that δ −1 Γ δ is of finite index d in Γ . If there is
an MRA of H , then there exists an orthonormal wavelet {ψ1 , · · · , ψd−1 } for H .
Proof The existence of an MRA means that the action of the group Γ on V0 is
equivalent to the left regular representation Λ of Γ , with the unitary operator U :
V0 → l 2 (Γ ) by U (γ (φ)) = 1γ establishing the equivalence.
On the other hand, we claim that the action of Γ on V1 is equivalent to the
direct sum of d copies of Λ. To see this, first note that {δ(γ (φ)) : γ ∈ Γ } forms
an orthonormal basis of V1 . Let Γ = Γ1 ∪ · · · ∪ Γ d be a division of Γ into its
d distinct right cosets of δ −1 Γ δ, and define V1,i = { γ ∈Γi cγ δγ (φ)}. Write V1 =
d
i=1 V1,i . The action of Γ on each V1,i is equivalent to Λ, since γ ∈Γi cγ δγ (φ) =
−1 −1 −1
γ ∈Γi cγ δγ δ δ(φ), and as γ ranges over a right coset of δ Γ δ in Γ , δγ δ
ranges over a right coset of Γ in δΓ δ .−1
d
Λ=Λ⊕σ (2.2)
i=1
2.1 Arbitrary Hilbert Spaces and Affine Structures 11
Since Γ is discrete, the commutant of Λ, and hence also that of the direct sum of
d copies of Λ, is a finite von Neumann algebra. Thus, the cancellation property for
representations of groups
d−1 with finite von Neumann algebras applies (see [13] 3.2.3
Prop. 6), to yield σ = i=1 Λ. Since V0 is a proper subspace of V1 (else H would
be trivial), we have W
d−1 0 =
0, so that d − 1 > 0.
Write W0 = i=1 W0,i , where the action of Γ is equivalent to Λ on each
W0,i , and denote by Ui : W0,i → l 2 (Γ ) the unitary operator that establishes this
equivalence. Let ψi = Ui−1 (1e ), where e is the identity of Γ . Then {γ (ψi ) : γ ∈
Γ, 0 ≤ i ≤ d − 1} forms an orthonormal basis for the subspace W0 , so that
{δ j (γ (ψi
)) : γ ∈ Γ, 0 ≤ i ≤ d − 1, −∞ < j < ∞} forms an orthonormal
basis for Wj = H .
Corollary 2.1 If {ψ1 , . . . ψl } is an orthonormal wavelet associated with an MRA
in a Hilbert space H , then l = d − 1, where d is the index of δ −1 Γ δ in Γ .
Proof By the cancellation property for representations of groups with finite von
Neumann algebras referenced above,
d−1
l
Λ= Λ (2.3)
i=1 i=1
implies that l = d − 1.
Note that the proofs of both Theorem 2.2 and Corollary 2.1 use the assumption that
Γ is a discrete group.
Remark 2.2 An example is given in [3] to show that the hypothesis of the existence
of a scaling vector cannot be entirely removed. However, MacArthur and Taylor in
[22] were able to relax this hypothesis in the following natural way. They define a
finite scaling ensemble (FSE) to be {φ1 , · · · , φr } ⊂ V0 such that {γ φi : γ ∈ Γ, 1 ≤
i ≤ r} forms an orthonormal basis of V0 . They show that the same proof as above
establishes the existence of a wavelet {ψ1 , · · · ψr(d−1) } when the requirement of an
MRA is replaced by that of a GMRA that has an FSE.
In addition to Theorem 2.2, the authors in [3] also developed abstract general
theorems about building wavelets that belong to desirable dense subspaces of the
Hilbert space H , including one that generalizes classical results about the existence
of smooth wavelets with compact support. Both the strengths and the limitations of
Theorem 2.2 and these variations lie in their abstract generality. While the theorems
are not constructive, they can be used to build wavelets in situations where finding
an orthonormal basis for W0 from the scaling function(s) is straightforward. This
occurs, for example, when the scaling functions are characteristic functions, and is
exploited in [16] and [22] to build Haar wavelets for composite dilations and the
crystallographic groups. (See Chapter 7.) Here is a simple example of Theorem 2.2
with non-abelian Γ that fits within both the composite and crystallographic
classifications. This MRA was mentioned in [7].
12 2 The Invariance of the Core Subspace
Example 2.1 Let H = L2 (R2 ), and take Γ to be the crystallographic group pm,
which can be written as the semidirect product of a translation group and a two
element point group, Γ = Z2 {I, σy }, where σy is a reflection in the y axis. Γ is
a subset of the affine group, and acts on R2 by [n, S] · x = S(x + n), and hence on
L2 (R2 ) by
1
[n, S] · f (x) = | det S|− 2 f (S −1 x − n) = f (Sx − n) (2.4)
and observe that δ −1 [n, S]δ = [2n, S], so that δ −1 Γ δ is a subgroup of order 4 in Γ.
Let R = [0, 12 ] × [0, 1], which is a fundamental domain for the action of Γ on R2 ,
√
and define φ = 21R . If we let V0 be the closed linear span of {γ φ : γ ∈ Γ }, and
Vj = δ j V0 , we obtain an MRA for L2 (R2 ). Thus Theorem 2.2 applies to guarantee
the existence of a 3-wavelet for L2 (R2 ) relative to the action of the group Γ = pm
and dilation by 2. For this simple φ, we can find the wavelet explicitly by completing
the basis for V0 into a basis for V1 . We note that V1 consists of functions that are
constant on rectangles of width 14 and height 12 . Thus it will suffice to include, along
with {γ φ}, the Γ orbits of the three functions
√
ψ1 = 2(1[0, 1 ]×[0, 1 ] − 1[0, 1 ]×[ 1 ,1] )
2 2 2 2
√
ψ2 = 2(1[0, 1 ]×[0, 1 ] + 1[ 1 , 1 ]×[ 1 ,1] − 1[ 1 , 1 ]×[0, 1 ] − 1[0, 1 ]×[ 1 ,1] )
4 2 4 2 2 4 2 2 4 2
√
ψ3 = 2(1[0, 1 ]×[0,1] − 1[ 1 , 1 ]×[0,1] ).
4 4 2
In general, explicitly finding the wavelet from the scaling function is not so
simple. Wavelet sets and filters have often been used to carry out this construction,
particularly in the classical setting of ordinary dilations and translations on L2 (RN ).
We will discuss the generalizations of these techniques in Chapters 4 and 5.
In addition to the use of non-abelian groups in composite and crystallographic
examples such as Example 2.1, a currently active strand of research builds multires-
olution structures with Γ a non-abelian Lie group. Early work by P. G. Lemarié
[21] constructed a variant of a multiresolution analysis and spline wavelets using
a stratified nilpotent Lie group. More recently, A. Mayeli built a wavelet frame
multiresolution analysis with translation on the Heisenberg group [24]. See also
recent papers by B. Currey, A. Mayeli, and V. Oussa, e.g., [11].
Theorem 2.2 and its extension in Remark 2.2 both depend on the existence of
scaling functions, as does the traditional use of filters to build wavelets. In order to
make GMRAs more useful in building wavelets, the concept of a scaling function
2.2 Affine Structures with Abelian Γ 13
was generalized in [5, 6, 10] and [25] to include scaling functions that provide
frames instead of orthonormal bases for the core subspace.
Definition 2.1 A set of generalized scaling vectors for a GMRA on a Hilbert space
H is a countable (possibly finite) collection {φ1 , φ2 , · · · } ⊂ V0 such that {γ φi : γ ∈
Γ } form a Parseval frame for V0 .
We will show below that if we restrict our attention to abelian Γ , we have such
scaling vectors in a large class of GMRAs that includes all in the traditional setting
of L2 (RN ). By applying a similar idea to the representation of Γ on W0 , we also
will prove the existence of semiorthogonal Parseval wavelets for this large class of
GMRAs.
We now use decomposition into irreducibles to look more closely at the repre-
sentations of Γ on V0 and W0 in the case of an abelian Γ . Let π be a unitary
representation of Γ on an invariant subspace V ⊂ H . When Γ is abelian, Stone’s
theorem generalized to locally compact abelian groups, or equivalently, the spectral
theorem for a commuting family of operators (see, e.g., [14] Th. 4.44), shows that
there exists a unique projection valued measure (spectral measure) p on the dual
group Γ such that for every γ ∈ Γ ,
πγ = γ (ω)dp(ω). (2.6)
Γ
Repeating this processbreaks the separable Hilbert space V into a direct sum of
∞
cyclic subspaces V = i=1 K i , with associated measures μi and maps Ui , such
that the measures satisfy μi+1 μi . (The process may terminate in a finite number
of steps,
so that the Ki andμi are all trivial after i = n.) The unitary operator
J = ∞ U
i=1 i
−1
maps V to ∞ 2
i=1 L (μi ). Since J intertwines the projection valued
measure p with the direct sum of canonical projection valued measures on L2 (μi ),
it intertwines the direct integral πγ with multiplication by γ (as a function on Γ) in
each component. As a result, we have the following, where μ = μ1 and Si is the
support of μi :
Theorem 2.3 Given a unitary representation π of Γ on V , there exists a unique
Borel measure class [μ] on Γ, Borel subsets
S1 2⊇ S2 ⊇ · · · of Γ , which are unique
(a.e.μ), and a unitary operator J : V → L (Si ) (not necessarily unique) such
that for γ ∈ Γ, f ∈ V ,
Proof See [17], [19] (Sec. 1.7), or [23] (Theorem 1.21) for general proofs. See also
[9] (Chapter 3) for more details of the specific outline given above.
Remark 2.3 Spectral multiplicity theory is often described as showing that the
projection valued measure p is uniquely determined by the measure class [μ] on Γ,
and a multiplicity function m : Γ → {0, 1, 2, · · · } ∪ {∞} defined a.e. μ. Chapter 3
will further explore the multiplicity function, which is derived from Theorem 2.3 by
∞
m= 1 Si , (2.8)
i=1
whose j th component is 1Sj and other components are 0. Then {φ1 , φ2 , · · · } are
generalized scaling vectors for {Vj }.
Proof Write λ for normalized Haar measure on Γ. Since μ λ, we can take
μ = λ|S1 , and in general, μ|Sj = λ|Sj . We have then that {γ 1Sj : γ ∈ Γ } is a
Parseval frame for L2 (Sj ) (see, e.g.,[18]), and thus that {γ 1Sj : γ ∈ Γ, j ≥ 1}
2
is a Parseval frame for L (Sj ). The result then follows from the fact that J is a
unitary map that intertwines multiplication by γ with the action of πγ .
As mentioned in Chapter 1, M. Papadakis in [25] defined an alternative mul-
tiresolution structure called a generalized frame multiresolution analysis (GFMRA).
A GFMRA is defined in the same context as GMRAs except that the group Γ is
not required to be countable or discrete. A GFMRA replaces condition (4) in the
definition of GMRA by the requirement that V0 has a frame consisting of the Γ
orbit of a countable set of vectors. Theorem 2.4 shows that in the case of countable
discrete Γ , when the core measure μ is absolutely continuous with respect to Haar
measure, the definitions of GMRA and GFMRA are equivalent.
When the measure μ of Theorem 2.3 is not absolutely continuous with respect to
Haar measure, it is possible that there exist GMRAs that are not also GFMRAs. Han
and Larson in [18] (Theorem 3.11) and Weber in [27] showed that a countable group
Γ acting on a finite set {φ1 , · · · φn } of vectors cannot give a frame for a subspace of
a Hilbert space unless the measure μ is absolutely continuous with respect to Haar
measure. Thus, a GMRA or GFMRA with core measure not absolutely continuous
with respect to Haar measure could only have generalized scaling vectors involving
an infinite collection of φi . GMRAs (for countable discrete groups) that do have
such a collection are also GFMRAs; GMRAs that do not are exactly those GMRAs
that are not also GFMRAs.
Examples of multiresolution structures in which the core measure class is not
absolutely continuous with respect to Haar are rare in the literature. In particular,
we will see in the next section that such examples cannot occur for translations by
integers and dilation by expansive matrices in L2 (RN ). Here is a sketch of a 2010
example with singular measure by Baggett [1]:
Example 2.2 Let S be the countable set
∞
1 2n − 1
S= , , (2.9)
2n 2n
n=1
f = {f0 , f1 , f2 , · · · }, fn ∈ Kn (2.10)
16 2 The Invariance of the Core Subspace
and
⎧
⎪
⎪ f1 1 x= 1
⎪
⎨ √2(f (2x) + f )
2
⎪
0 12 x= 1
[D(f )]0 (x) = √ 4
, (2.13)
⎪
⎪ 2(f0 (2x) − f1 2 ) x= 3
⎪
⎪
⎩√
4
2f0 (2x) else
1 1 1
S1 = [− , ) and S2 = [− , 0),
4 2 4
and let J (f )(ω) = f (ω)1S1 (ω) + f (ω + 1)1S2 (ω). (Recall we write 1Si for the
element of L2 (S1 ) ⊕ L2 (S2 ) whose i th component is 1Si and other component is 0.)
The core measure class is absolutely continuous with respect to Lebesgue measure
restricted to S1 , and {φ1 , φ2 } are generalized scaling vectors, where
φ1 = 1[− 1 , 1 ) , φ2 = 1[ 3 ,1) .
4 2 4
We have W0 = L2 (2E \ E) = L2 [− 12 , − 14 ) ∪ [ 12 , 34 ) ∪ [ 32 , 2) . Following the
same procedure as with V0 , define
1 1 1 1 1
S1 = [− , 0), S2 = [− , − ), S3 = [− , − ),
2 2 4 2 4
ψ1 = 1[ 3 ,2) , ψ2 = 1[− 1 ,− 1 ) , ψ3 = 1[ 1 , 3 ) .
2 2 4 2 4
and note that Jˇ also satisfies the intertwining requirement of Theorem 2.3 for V =
V0 . The scaling vectors φi = Jˇ−1 (1Si ) would become φ̌1 = 1[0, 1 )∪[ 3 ,1) and φ̌2 =
2 4
1 1 . Similar variations are possible for J.
[− 4 ,0)
18 2 The Invariance of the Core Subspace
We will see in the next section that in the classical case, the measure class of the
representation of Zn on W0 is always absolutely continuous with respect to Haar
measure, so that semiorthogonal Parseval wavelets exist for every GMRA.
also avoids the sometimes difficult task of finding a frame for the core subspace.
While Theorem 2.4 gives a way of finding a frame using the operator J , that operator
is often elusive.
In L2 (RN ) however, the fact that the operator J and the Fourier transform both
intertwine translation with multiplication by exponentials, make the frame given by
Theorem 2.4 useful even when an explicit formula for J is hard to find. In particular,
it was shown in [2] that the Fourier transforms of the generalized scaling vectors
defined by Theorem 2.4 satisfy the following orthogonality condition, which gives a
concrete connection between these generalized scaling vectors and the multiplicity
function. The quantities evaluated in the Lemma are instances of what are called
Gramian fibers and bracket products in [12] and [26]. We will make use of this
condition to study the multiplicity function in Chapter 3, and also to build filters in
Chapter 5.
Lemma 2.1 Let {φi } = {J −1 1Si } be the generalized scaling vectors produced by
Theorem 2.4 for L2 (RN ). Then
i (ω + γ )φ
φ j (ω + γ ) = δi,j 1Si (ω). (2.14)
γ ∈ZN
i , e2π i
= φ γ̃ ,· j
φ
= φi , πγ̃ φj
= 1Si , e2π i γ̃ ,·
1Sj
= cγ̃ (δi,j 1Si (ω))
The close relationship between the Fourier transform and the operator J of
Theorem 2.3 was also used by V. Furst [15] to generalize the Fourier equations that
characterize classical wavelets in L2 (R) to an abstract Hilbert space. The classical
result, attributed to Y. Meyer, states that a function ψ ∈ L2 (R), with ψ = 1 is an
orthonormal wavelet if and only if the equations
Another random document with
no related content on Scribd:
The Baharia (sailors) on board said, ‘You Washenzi (pagans, bush
people) from the interior, you will vomit yourselves to death.’ But we
came safe to Lindi after all, and said (to the sailors): ‘You mocked at
God (by saying that we should die), but we came safe to land.’”
This love of singing is characteristic of the Wanyamwezi. In the
course of my enforced detention here, I have taken many a
photographic stroll, in which my men are always eager to accompany
me. On these occasions I have to divide the small amount of
apparatus necessary to be taken with me among as many of them as
possible, so that everyone may have something to carry. It is never
very long before Pesa mbili the Mnyampara or caravan headman,
lifts up his voice—a very good one too—whereupon the chorus
promptly falls in in excellent time. I may here give a specimen of
these little marching songs:—
Kabowe kabowe ku meso; Namuki kabowe ku meso. (1)
Wambunga kabowe ku meso; Namuki kabowe ku meso.
Ki! kabowe ku meso; Wamwera kabowe ku meso.
Ki! kabowe ku meso; Wakumbwa kabowe ku meso.
(1) We shoot with our eyes—we shoot the Namuki with our eyes,
The Wambunga, we shoot them with our eyes—the Namuki, we shoot them
with our eyes;
Bang! we shoot with our eyes—the Wamwera, we shoot them with our
eyes;
Bang! we shoot with our eyes—the Wakumbwa—we shoot them with our
eyes.
The singers, who are principally Nubians, state that this song is in
their mother tongue, the Darfur dialect. I have not yet succeeded in
obtaining a literal translation. The general meaning of the words,
which are sung with enviable lung-power and indefatigable energy, is
somewhat as follows:
“We are always strong. The Jumbe (headman) has been hanged by
the command of Allah. Hongo (one of the insurgent leaders) has
been hanged by the command of Allah.”
Thus much as to the results of my musical inquiries so far as they
concern the foreign elements (foreign, that is to say, here at Lindi) of
the Wanyamwezi and Nubians. I have obtained some records of
ngoma songs from Yaos and other members of inland tribes, but I
cannot tell for the present whether they are a success, as I find to my
consternation that my cylinders are softening under the influence of
the damp heat, so that I can take records, but cannot risk
reproducing them for fear of endangering the whole surface. A
cheerful prospect for the future!
Very interesting from a psychological point of view is the
behaviour of the natives in presence of my various apparatus. The
camera is, at any rate on the coast, no longer a novelty, so that its use
presents comparatively few difficulties, and the natives are not
particularly surprised at the results of the process. The only
drawback is that the women—as we found even at Dar es Salam—
usually escape being photographed by running away as fast as their
legs will carry them. The cinematograph is a thing utterly outside
their comprehension. It is an enchini, a machine, like any other
which the mzungu, the white man, has brought into the country—
and when the said white turns a handle on the little black box,
counting at the same time, in a monotonous rhythm, “Twenty-one,
twenty-two, twenty-one, twenty-two,” the native may be pleasantly
reminded of the droning measures which he is accustomed to chant
at his work; but what is to be the result of the whole process he
neither knows nor cares.
GIRLS FROM LINDI
Few people, I fancy, will know where Masasi is, yet those interested
in the Colonies might well be acquainted with its situation, for in its
own small way it is quite a civilizing centre. The English Mission[6]
has been at work here for nearly the third of a century, and, since the
suppression of the rebellion, a native corporal with a dozen black
German soldiers has been gallantly maintaining his ground, in a
boma specially built for the purpose, in case of any renewed warlike
impulses on the part of the interior tribes.
I preferred to take up my quarters with the soldiers, not from any
hostility to religion, but because the two clergymen at the mission
station, about an hour’s walk from us, are both advanced in years,
and it would be unfair to trouble them with visitors. Besides their
station was burnt down during the rebellion, so that they are leading
for the moment a more idyllic than agreeable life in their former
cattle-shed. In spite of this, the two old gentlemen, as I had every
opportunity of convincing myself in the course of two long visits,
enjoy extraordinarily good health. Archdeacon Carnon, the younger
of the two, in particular, took as lively an interest in the German
Emperor and his family as if he lived in a London suburb, instead of
in a negro village at the ends of the earth. Canon Porter seems to be
failing a little, but this is only to be expected as he is getting on for
eighty and has been in the country nearly thirty years.[7] In former
days I understand that he studied the ethnology of his district
(inhabited by Wanyasa, Wayao, and Wamakonde) very thoroughly,
so that up to yesterday I had great hopes of profitable results from
my intercourse with him and his more active colleague. But in this I
was disappointed. At the ceremonious, and, I must say, sumptuous
breakfast which the two clerical gentlemen set before us two
worldlings, Ewerbeck and me, whenever I began to speak about the
inhabitants of the neighbourhood and their tribal affinities, the
conversation was invariably diverted towards the Emperor and his
family! He must have made a truly extraordinary impression on
other nations.
However, our business is with the native African, not with the
white intruder, even though he should come in the peaceful guise of
the missionary.
My landing at Lindi of itself implied the main course of my
journey. A glance at the map of East Africa shows that the extreme
south-eastern corner of our colony, considered with regard to
population, stands out like an island from the almost uninhabited
country surrounding it. The region north of the Middle, and partly
also of the Upper Rovuma is (as Lieder, the geologist, whose early
death is such a loss to science, described it) a silent pori for hundreds
of miles, extending far beyond the Umbekuru and into the hinterland
of Kilwa—an uninhabited wilderness, where not a single native
village speaks of the large and peaceable population found here by
Roscher, Livingstone and Von Der Decken nearly half-a-century ago.
Only a narrow strip running parallel to the coast some distance
inland connects this island of population with the north, while
another, much more scantily peopled, runs up the Rovuma to the
Nyasa country.
Being thus cut off from surrounding tribes, the south-east—i.e., the
Makonde Plateau, the Lukuledi Valley north of it, and the wide plain
to the west of these highlands—forms a compact, well-defined whole,
an ideal sphere of work for one who, like
myself, has only a limited time at his disposal,
but wishes the work done in this time to be as
far as possible complete. The Wamwera,
whom I had in view in the first instance, have
had, to my great regret, to be postponed for
the present. I left Lindi on July 11th, with the
Imperial District Commissioner, Mr.
Ewerbeck. Ngurumahamba, the first
noticeable place on the Lukuledi road, still
bears the impress of the Coast—there is even a
stone house among the huts of the Waswahili;
but on the second day we reach the Yao tribe
at Mtua. Here we first come in touch with the
far interior, for these are the advance guard of
the great migration which brought this
vigorous and energetic race about the middle
of the last century from its old home south-
A MAN OF THE
MWERA TRIBE AND A east of Lake Nyasa towards the shores of the
YAO Indian Ocean, and which is still going on. As
to the way in which these migrations are
accomplished, we are apt to be misled by the
picture—no doubt a very incorrect one—which has remained in our
minds from our school-days, in connection with the migration par
excellence—the great westward movement of our own forefathers.
We think of men, horses, and waggons, a dense, compact wave of
people, rolling on slowly but irresistibly across the countries lying in
its track. Here we find nothing of the sort. It is true that these Mtua
Yaos are not typical of their tribe in this respect, as they were rescued
from the Wangoni, further north, on the eastern shore of Nyasa,
about ten years ago by Captain Engelhardt, and transferred to this
settlement. But otherwise the immigration of foreign (though still
African) elements takes place, here in the south, quietly and almost
imperceptibly—a band, a horde, a group of families, sometimes, but
not always, under the command of a chief, appears one fine day, hoes
a piece of land at a suitable place in the pori, builds a few airy huts,
and the immigration is complete. Conflicts, more or less sanguinary,
between the aborigines and the intruders may have occurred—may
even have been the rule—in former times; nothing of the kind seems
to happen to-day. Whether the native has become more tolerant, or
the firm hand of the German Government, to whom every accession
of population must be welcome, has produced a change in his views,
I am compelled to leave undecided.
In outward appearance these Yaos can scarcely be distinguished
from the Swahilis of the coast. The women are dressed in precisely
the same kind of kanga (calico printed in brightly-coloured patterns,
and manufactured in Holland), as the Coast women, though not so
neatly and fashionably as the girls at Dar es Salam, where the
patterns in vogue change faster than even at Paris. They also wear
the same coquettish little pin in the left nostril as the Coast ladies. Of
Indian origin, this kipini, called chipini in Yao, has conquered the
whole east coast of Africa, and is spreading, as a symbol of higher
culture and refinement, among the more progressive tribes of the
interior. In its simplest form a mere cylinder of pith, the better
specimens are made—according to the means of the wearer—of
ebony, tin, or silver. The ebony pins are almost always very tastefully
inlaid with tin. To our notions, the chipini hardly beautifies the
human countenance; but once the beholder is accustomed to its
effect, it becomes quite pretty and attractive, lending a coquettish
touch to the brown face it adorns.