Mathematics in Signal Processing
Mathematics in Signal Processing
Arising from courses taught by the authors, this largely self-contained treatment is
ideal for mathematicians who are interested in applications or for students from
applied fields who want to understand the mathematics behind their subject.
Early chapters cover Fourier analysis, functional analysis, probability and linear
algebra, all of which have been chosen to prepare the reader for the applications to
come. The book includes rigorous proofs of core results in compressive sensing and
wavelet convergence. Fundamental is the treatment of the linear system y = Φx in
both finite and infinite dimensions. There are three possibilities: the system is
determined, overdetermined or underdetermined, each with different aspects.
The authors assume only basic familiarity with advanced calculus, linear algebra and
matrix theory, and modest familiarity with signal processing, so the book is accessible
to students from the advanced undergraduate level. Many exercises are also included.
steven b. damelin is Full Professor of Mathematics and Director for the Unit of
Advances in Mathematics and its Applications, USA.
All titles listed below can be obtained from good booksellers or from
Cambridge University Press. For a complete series listing, visit
www.cambridge.org/mathematics.
S T E V E N B. D A M E L I N
Unit of Advances in Mathematics and its Applications
W I L L A R D M I L L E R, J R.
University of Minnesota
Published in the United States of America by Cambridge University Press, New York
www.cambridge.org
Information on this title: www.cambridge.org/9781107013223
c S. B. Damelin and W. Miller, Jr. 2012
A catalog record for this publication is available from the British Library
Contents
Preface page xi
Introduction 1
1 Normed vector spaces 3
1.1 Definitions 4
1.2 Inner products and norms 10
1.3 Finite-dimensional `p spaces 14
1.4 Digging deeper: completion of inner product spaces 20
1.5 Hilbert spaces, L2 and `2 25
1.6 Orthogonal projections, Gram–Schmidt
orthogonalization 39
1.7 Linear operators and matrices, LS approximations 46
1.8 Additional exercises 64
2 Analytic tools 73
2.1 Improper integrals 73
2.2 The gamma functions and beta functions 78
2.3 The sinc function and its improper relatives 79
2.4 Infinite products 83
2.5 Additional exercises 86
3 Fourier series 92
3.1 Definitions, real Fourier series and complex Fourier
series 92
3.2 Examples 96
3.3 Intervals of varying length, odd and even functions 97
3.4 Convergence results 99
3.5 More on pointwise convergence, Gibbs phenomena 107
3.6 Further properties of Fourier series 113
viii Contents
Contents ix
References 437
Index 443
Preface
xii Preface