Generalized Locally Toeplitz Sequences: Theory and Applications

Similar documents
Semantics of the Probabilistic Typed Lambda Calculus

Multivariable Calculus with MATLAB

Advanced Calculus of a Single Variable

Non-Instantaneous Impulses in Differential Equations

Non-Western Theories of International Relations

Dynamics and Control of Lorentz-Augmented Spacecraft Relative Motion

SpringerBriefs in Probability and Mathematical Statistics

Doubt-Free Uncertainty In Measurement

Topics in Algebra and Analysis

UNITEXT La Matematica per il 3+2. Volume 87

Springer Atmospheric Sciences

Igor Emri Arkady Voloshin. Statics. Learning from Engineering Examples

SpringerBriefs in Mathematics

Springer INdAM Series

Undergraduate Lecture Notes in Physics

Springer Series on Atomic, Optical, and Plasma Physics

Particle Acceleration and Detection

CISM International Centre for Mechanical Sciences

Dynamics Formulas and Problems

Electrochemical Science for a Sustainable Society

Fractal Control Theory

Lecture Notes in Mathematics 2209

Statics and Influence Functions From a Modern Perspective

Theory of Nonparametric Tests

Fundamentals of Electrical Circuit Analysis

Springer Biographies

Quantum Biological Information Theory

Advanced Courses in Mathematics CRM Barcelona

Springer Proceedings in Mathematics & Statistics. Volume 206

Fundamentals of Mass Determination

SpringerBriefs in Agriculture

Tritium: Fuel of Fusion Reactors

Solid Phase Microextraction

Springer Proceedings in Mathematics & Statistics. Volume 226

Astronomers Universe. More information about this series at

ThiS is a FM Blank Page

Lecture Notes in Mathematics 2156

Lecture Notes in Mathematics 2138

Challenges and Advances in Computational Chemistry and Physics

SpringerBriefs in Statistics

Theoretical Physics 4

Springer Series in Statistics

Lecture Notes in Mathematics 2212

Public Participation as a Tool for Integrating Local Knowledge into Spatial Planning

Statics and Mechanics of Structures

Modern Birkhäuser Classics

Stochastic and Infinite Dimensional Analysis

Progress in Mathematics 313. Jaume Llibre Rafael Ramírez. Inverse Problems in Ordinary Differential Equations and Applications

Publication of the Museum of Nature South Tyrol Nr. 11

EURO Advanced Tutorials on Operational Research. Series editors M. Grazia Speranza, Brescia, Italy José Fernando Oliveira, Porto, Portugal

UNITEXT La Matematica per il 3+2

Wei Gao. Editor. Graphene Oxide. Reduction Recipes, Spectroscopy, and Applications

Advanced Structured Materials

Hiromitsu Yamagishi Netra Prakash Bhandary Editors. GIS Landslide

Plant and Vegetation. Volume 14. Series editor M.J.A. Werger, Utrecht, The Netherlands

Advanced Topics in Relation Algebras

Geotechnologies and the Environment

Springer Series in Solid-State Sciences

Universitext. Series editors Sheldon Axler San Francisco State University. Carles Casacuberta Universitat de Barcelona

Probability Theory, Random Processes and Mathematical Statistics

More information about this series at

Radiation Therapy Study Guide

Signaling and Communication in Plants

Ahsan Habib Khandoker Chandan Karmakar Michael Brennan Andreas Voss Marimuthu Palaniswami. Poincaré Plot Methods for Heart Rate Variability Analysis

References Dorostkar A., Neytcheva M., Serra-Capizzano S.Spectral analysis of coupled PDEs

Nonlinear Dynamical Systems in Engineering

Qing-Hua Qin. Advanced Mechanics of Piezoelectricity

Karl-Rudolf Koch Introduction to Bayesian Statistics Second Edition

Quantum Science and Technology

Universitext. Series Editors:

Astronomers Universe

Statistics and Measurement Concepts with OpenStat

Differential-Algebraic Equations Forum

Mechanics of Materials

SpringerBriefs in Probability and Mathematical Statistics

Schur Complement Matrix And Its (Elementwise) Approximation: A Spectral Analysis Based On GLT Sequences

UNITEXT La Matematica per il 3+2

Studies in Systems, Decision and Control. Series editor Janusz Kacprzyk, Polish Academy of Sciences, Warsaw, Poland

Shijun Liao. Homotopy Analysis Method in Nonlinear Differential Equations

SpringerBriefs in Mathematics

Mathematical Formulas for Economists

Springer INdAM Series

arxiv: v1 [math.na] 21 Jan 2019

Kazumi Tanuma. Stroh Formalism and Rayleigh Waves

Introduction to Tensor Analysis and the Calculus of Moving Surfaces

Attractors Under Discretisation

40 Topics in Heterocyclic Chemistry

Electroanalysis in Biomedical and Pharmaceutical Sciences

Statistics for Social and Behavioral Sciences

Parameter Estimation and Hypothesis Testing in Linear Models

CISM Courses and Lectures

Trends in Mathematics

UNITEXT La Matematica per il 3+2

Multiversal Journeys. Multiversal Journeys. Lawrence M. Krauss, Arizona State University Mark Trodden, University of Pennsylvania

Polymers on the Crime Scene

1000 Solved Problems in Classical Physics

Linear Models in Matrix Form

Lecture Notes of 14 the Unione Matematica Italiana

A First Course in Ordinary Differential Equations

361 Topics in Current Chemistry

Transcription:

Generalized Locally Toeplitz Sequences: Theory and Applications

Carlo Garoni Stefano Serra-Capizzano Generalized Locally Toeplitz Sequences: Theory and Applications Volume I 123

Carlo Garoni Department of Science and High Technology University of Insubria Como Italy Stefano Serra-Capizzano Department of Science and High Technology University of Insubria Como Italy ISBN 978-3-319-53678-1 ISBN 978-3-319-53679-8 (ebook) DOI 10.1007/978-3-319-53679-8 The present book has been realized with the financial support of the Italian INdAM (Istituto Nazionale di Alta Matematica) and the European Marie-Curie Actions Programme through the Grant PCOFUND-GA-2012-600198. Library of Congress Control Number: 2017932016 Springer International Publishing AG 2017 This work is subject to copyright. All rights are reserved by the Publisher, whether the whole or part of the material is concerned, specifically the rights of translation, reprinting, reuse of illustrations, recitation, broadcasting, reproduction on microfilms or in any other physical way, and transmission or information storage and retrieval, electronic adaptation, computer software, or by similar or dissimilar methodology now known or hereafter developed. The use of general descriptive names, registered names, trademarks, service marks, etc. in this publication does not imply, even in the absence of a specific statement, that such names are exempt from the relevant protective laws and regulations and therefore free for general use. The publisher, the authors and the editors are safe to assume that the advice and information in this book are believed to be true and accurate at the date of publication. Neither the publisher nor the authors or the editors give a warranty, express or implied, with respect to the material contained herein or for any errors or omissions that may have been made. The publisher remains neutral with regard to jurisdictional claims in published maps and institutional affiliations. Printed on acid-free paper This Springer imprint is published by Springer Nature The registered company is Springer International Publishing AG The registered company address is: Gewerbestrasse 11, 6330 Cham, Switzerland

Preface Sequences of matrices with increasing size naturally arise in several contexts and especially in the discretization of continuous problems, such as integral and differential equations. The theory of generalized locally Toeplitz (GLT) sequences was developed in order to compute/analyze the asymptotic spectral distribution of these sequences of matrices, which in many cases turn out to be GLT sequences. In this book we present the theory of GLT sequences together with some of its main applications. We will also refer the reader to the available literature for further applications that are not included herein. It normally happens in mathematics that ideas are better conveyed in the univariate setting and then transferred to the multivariate setting by successive generalizations. This is the case with mathematical analysis, for example. Any first course in mathematical analysis focuses on the theory of continuous/differentiable/ integrable functions of one variable, while concepts like multivariate continuous functions, partial derivatives, multiple integrals, etc., are introduced only later (usually in a second course, not in the first one). Something similar occurs here. The present volume is the analog of a first course in mathematical analysis; it addresses the theory of what we may call univariate GLT sequences (or unilevel GLT sequences according to a more traditional terminology). As we shall see, univariate GLT sequences arise in the discretization of unidimensional integral and differential equations. The analog of a second course in mathematical analysis is [62], which deals with multivariate/multilevel GLT sequences, a kind of sequence arising from the discretization of multidimensional integral and differential equations. The generalization to the multivariate setting offered by [62] is certainly fundamental, especially for the applications, but it is essentially a technical matter whose purpose is to implement appropriately the ideas we are already informed of by the present volume. In short, this volume already contains all the ideas of the theory of GLT sequences, just as a first course in mathematical analysis contains all the ideas of integro-differential calculus. v

vi Preface The book is conceptually divided into two parts. The first part (Chaps. 1 8) covers the theory of GLT sequences, which is finally summarized in Chap. 9. The second part (Chap. 10) is devoted to the applications, corroborated by several numerical illustrations. Some exercises are scattered in the text and their solutions are collected in Chap. 12. Each exercise is placed at a particular spot with the idea that the reader at that stage possesses all the elements to solve it. The book is intended for use as a text for graduate or advanced undergraduate courses. It should also be useful as a reference for researchers working in the fields of linear algebra, numerical analysis, and matrix analysis. Given its analytic spirit, it could also be of interest for analysts, primarily those working in the fields of measure and operator theory. The reader is expected to be familiar with basic linear algebra and matrix analysis. Any standard university course on linear algebra covers all that is needed here. Concerning matrix analysis, an adequate preparation is provided by, e.g., [16] or [67]; we refer in particular to [16, Chaps. 1 3, Sects. 1 3 of Chap. 6, and Sects. 1 8 of Chap. 7] and [67, Chap. 2, Sects. 5.5, 7.1 7.2, and 8.1]. In addition, the reader who knows Chaps. 1 4 of Bhatia s book [12] will certainly take advantage of this. Some familiarity with real and complex analysis (especially, measure and integration theory) is also necessary. For our purposes, Rudin s book [95] is more than enough; actually, Chaps. 1 5 of [95] cover almost everything one needs to know. Finally, a basic knowledge of general topology, functional analysis, and Fourier analysis will be of help. Assuming the reader possesses the above prerequisites, most of which will be addressed in Chap. 2, there exists a way of reading this book that allows one to omit essentially all the mathematical details/technicalities without losing the core. This is probably the best way of reading for those who love practice more than theory, but it is also advisable for theorists, who can recover the missing details afterwards. It consists in reading carefully the introduction in Chap. 1 (this is not really necessary but it is recommended), the summary in Chap. 9, and the applications in Chap. 10. To conclude, we wish to express our gratitude to Bruno Iannazzo, Carla Manni, and Hendrik Speleers, who awakened our interest in the theory of GLT sequences and ultimately inspired the writing of this book. We also wish to thank all of our colleagues who worked in the field of Toeplitz matrices and spectral distributions, and contributed with their work to lay the foundations of the theory of GLT sequences. We mention in particular Bernhard Beckermann, Albrecht Böttcher, Fabio Di Benedetto, Marco Donatelli, Leonid Golinskii, Sergei Grudsky, Arno Kuijlaars, Maya Neytcheva, Debora Sesana, Bernd Silbermann, Paolo Tilli, Eugene Tyrtyshnikov, and Nickolai Zamarashkin. Finally, special thanks go to Giovanni Barbarino and Dario Bini, who agreed to read this book and provided useful advice on how to improve the presentation.

Preface vii Based on their research experience, the authors propose a reference textbook in two volumes on the theory of generalized locally Toeplitz sequences and their applications. This first volume focuses on the univariate version of the theory and the related applications in the unidimensional setting, while the second volume, which addresses the multivariate case, is mainly devoted to concrete PDE applications. Como, Italy December 2016 Carlo Garoni Stefano Serra-Capizzano

Contents 1 Introduction... 1 1.1 Main Application of the Theory of GLT Sequences.... 1 1.2 Overview of the Theory of GLT Sequences.... 4 2 Mathematical Background... 7 2.1 Notation and Terminology... 7 2.2 Preliminaries on Measure and Integration Theory... 10 2.2.1 Essential Range.... 10 2.2.2 L p Spaces... 12 2.2.3 Convergence in Measure, a.e., in L p... 14 2.2.4 Riemann-Integrable Functions.... 19 2.3 Preliminaries on General Topology... 20 2.3.1 Pseudometric Spaces... 20 2.3.2 The Topology s measure of Convergence in Measure... 22 2.4 Preliminaries on Matrix Analysis... 27 2.4.1 p-norms.... 27 2.4.2 Singular Value Decomposition... 29 2.4.3 Schatten p-norms... 31 2.4.4 Singular Value and Eigenvalue Inequalities... 34 2.4.5 Tensor Products and Direct Sums... 40 2.4.6 Matrix Functions.... 41 3 Singular Value and Eigenvalue Distribution of a Matrix-Sequence... 45 3.1 The Notion of Singular Value and Eigenvalue Distribution... 45 3.2 Rearrangement... 47 3.3 Clustering and Attraction... 49 3.4 Zero-Distributed Sequences... 52 ix

x Contents 4 Spectral Distribution of Sequences of Perturbed Hermitian Matrices.... 57 4.1 Preliminary Results... 57 4.2 Main Results... 62 5 Approximating Classes of Sequences.... 65 5.1 The a.c.s. Notion... 65 5.2 The a.c.s. Topology s a:c:s:... 66 5.2.1 Construction of s a:c:s:... 67 5.2.2 Expression of d a:c:s: in Terms of Singular Values... 71 5.2.3 Connection Between s a:c:s: and s measure... 72 5.3 The a.c.s. Tools for Computing Singular Value and Eigenvalue Distributions... 74 5.4 The a.c.s. Algebra... 83 5.5 Some Criteria to Identify a.c.s..... 88 5.6 An Extension of the Concept of a.c.s.... 92 6 Toeplitz Sequences... 95 6.1 Toeplitz Matrices and Toeplitz Sequences... 95 6.2 Basic Properties of Toeplitz Matrices.... 97 6.3 Schatten p-norms of Toeplitz Matrices... 100 6.4 Circulant Matrices... 106 6.5 Singular Value and Spectral Distribution of Toeplitz Sequences: An a.c.s.-based Proof... 108 6.6 Extreme Eigenvalues of Hermitian Toeplitz Matrices.... 111 7 Locally Toeplitz Sequences.... 115 7.1 The Notion of LT Sequences... 115 7.2 Properties of the LT Operator... 121 7.3 Fundamental Examples of LT Sequences... 125 7.3.1 Zero-Distributed Sequences.... 125 7.3.2 Sequences of Diagonal Sampling Matrices... 126 7.3.3 Toeplitz Sequences... 130 7.4 Singular Value and Spectral Distribution of a Finite Sum of LT Sequences... 133 7.5 Algebraic Properties of LT Sequences... 135 7.6 Characterizations of LT Sequences.... 136 8 Generalized Locally Toeplitz Sequences... 143 8.1 Equivalent Definitions of GLT Sequences... 143 8.2 Singular Value and Spectral Distribution of GLT Sequences... 144 8.3 Approximation Results for GLT Sequences... 146 8.3.1 Characterizations of GLT Sequences.... 151 8.3.2 Sequences of Diagonal Sampling Matrices... 152

Contents xi 8.4 The GLT Algebra.... 154 8.5 Algebraic-Topological Definitions of GLT Sequences... 163 9 Summary of the Theory... 165 10 Applications.... 173 10.1 The Algebra Generated by Toeplitz Sequences... 173 10.2 Variable-Coefficient Toeplitz Sequences.... 175 10.3 Geometric Means of Matrices... 183 10.4 Discretization of Integral Equations... 185 10.5 Finite Difference Discretization of Differential Equations.... 189 10.5.1 FD Discretization of Diffusion Equations... 191 10.5.2 FD Discretization of Convection-Diffusion-Reaction Equations... 198 10.5.3 FD Discretization of Higher-Order Equations... 210 10.5.4 Non-uniform FD Discretizations... 212 10.6 Finite Element Discretization of Differential Equations... 218 10.6.1 FE Discretization of Convection-Diffusion-Reaction Equations... 218 10.6.2 FE Discretization of a System of Equations... 225 10.7 Isogeometric Analysis Discretization of Differential Equations... 229 10.7.1 B-Spline IgA Collocation Discretization of Convection-Diffusion-Reaction Equations.... 229 10.7.2 Galerkin B-Spline IgA Discretization of Convection-Diffusion-Reaction Equations.... 244 10.7.3 Galerkin B-Spline IgA Discretization of Second-Order Eigenvalue Problems... 254 11 Future Developments... 261 12 Solutions to the Exercises... 265 References... 299 Index... 305