To save content items to your account,
please confirm that you agree to abide by our usage policies.
If this is the first time you use this feature, you will be asked to authorise Cambridge Core to connect with your account.
Find out more about saving content to .
To save content items to your Kindle, first ensure no-reply@cambridge.org
is added to your Approved Personal Document E-mail List under your Personal Document Settings
on the Manage Your Content and Devices page of your Amazon account. Then enter the ‘name’ part
of your Kindle email address below.
Find out more about saving to your Kindle.
Note you can select to save to either the @free.kindle.com or @kindle.com variations.
‘@free.kindle.com’ emails are free but can only be saved to your device when it is connected to wi-fi.
‘@kindle.com’ emails can be delivered even when you are not connected to wi-fi, but note that service fees apply.
Chapter 5 builds a rigorous, implementable theory for computing spectral measures of unitary operators. It mirrors Chapter 4, but there are key differences. For eigenvalue-based methods, discretisations must be unitary. We show how to enforce this via polar decomposition, and that only weak-operator convergence is needed for the resulting measures to converge. On the resolvent side, Stone-type formulas on the circle and the Carathéodory function lead to Poisson-kernel smoothing computed by solving linear systems. To reduce cost and sharpen resolution, we introduce higher-order periodic kernels—rational resolvent kernels and trigonometric-polynomial Fourier filters—that accelerate convergence. A change of variables then transfers the machinery to bounded self-adjoint operators, yielding an infinite-dimensional convergence theory for the kernel polynomial method from Chebyshev moments. The techniques are highly flexible and illustrated on challenging examples, including singular spectral measures and the unitary almost Mathieu operator.
Chapter 4 shows how spectral measures generalise diagonalisation for self-adjoint operators with continuous spectrum and provides practical, provably convergent methods for computing them. Using the spectral theorem, we introduce projection-valued and scalar measures, their Lebesgue decomposition, and analyse how discretisations produce discrete measures. Strong and strong-resolvent convergence conditions ensure weak convergence of the measures and convergence of the functional calculus, clarifying spectral invisibility and pollution. From Stone’s formula, we derive resolvent-based algorithms: spectral projections are approximated by kernel convolutions (Poisson smoothing) evaluated by solving linear systems with adaptive error control as the smoothing parameter shrinks. This yields SCI-hierarchy classifications for setwise computation, functional calculus, and weak convergence. Finally, we accelerate Stone’s formula with high-order convolution and rational kernels, reducing the computational burden, prove convergence rates in several settings, and illustrate the approach on magneto-graphene, Dirac operators, and pseudodifferential operators related to internal waves.
Mathematicians, physicists, engineers, and data scientists will welcome this comprehensive, rigorous, and practical guide to computing spectral properties of operators in infinite-dimensional settings. It explains why standard discretisation can fail and shows how to overcome these pitfalls. It develops resolvent-based algorithms with provable convergence and certified error bounds, organised by a precise computability classification that clarifies what is achievable, what is impossible, and what extra information makes problems tractable. Topics include spectra and pseudospectra, spectral measures and functional calculus, spectral types, fractal and Cantor-type spectra, essential versus discrete spectra and multiplicities, spectral radii, abscissas and gaps, nonlinear operator pencils, and verified computation. A distinctive feature is the integration of modern applications, including a fully rigorous treatment of data-driven Koopman spectral analysis. Hundreds of worked examples, exercises with solutions, notes, and usable code make the book both a reference and a powerful toolkit for researchers and students.
Let $\{b_n\}_{n=1}^{\infty }$ be a sequence of integers larger than 1. We will study the harmonic analysis of the equal-weighted Moran measures $\mu _{\{b_n\},\{{\mathcal D}_n\}}$ with ${\mathcal D}_n=\{0,1,2,\ldots ,q_n-1\}$, where $q_n$ divides $b_n$ for all $n\geq 1.$ In this paper, we first characterize all the maximal orthogonal sets of $L^2(\mu _{\{b_n\},\{{\mathcal D}_n\}})$ via a tree mapping. By this characterization, we give some sufficient conditions for the maximal orthogonal set to be an orthonormal basis.
Let $\{R_{k}\}_{k=1}^{\infty }$ be a sequence of expanding integer matrices in $M_{n}(\mathbb {Z})$, and let $\{D_{k}\}_{k=1}^{\infty }$ be a sequence of finite digit sets with integer vectors in ${\mathbb Z}^{n}$. In this paper, we prove that under certain conditions in terms of $(R_{k},D_{k})$ for $k\ge 1$, the Moran measure