Browse

This book offers a detailed treatment of the mathematical theory of Krylov subspace methods with focus on solving systems of linear algebraic equations. Starting from the idea of projections, Krylov subspace methods are characterised by their orthogonality and minimisation properties. Projections onto highly nonlinear Krylov subspaces can be linked with the underlying problem of moments, and therefore Krylov subspace methods can be viewed as matching moments model reduction. This allows enlightening reformulations of questions from matrix computations into the language of orthogonal polynomials, Gauss–Christoffel quadrature, continued fractions, and, more generally, of Vorobyev method of moments. Using the concept of cyclic invariant subspaces conditions are studied that allow generation of orthogonal Krylov subspace bases via short recurrences. The results motivate the practically important distinction between Hermitian and non-Hermitian problems. Finally, the book thoroughly addresses the computational cost while using Krylov subspace methods. The investigation includes effects of finite precision arithmetic and focuses on the method of conjugate gradients (CG) and generalised minimal residuals (GMRES) as major examples. The book emphasises that algebraic computations must always be considered in the context of solving real-world problems, where the mathematical modelling, discretisation, and computation cannot be separated from each other. Moreover, the book underlines the importance of the historical context and it demonstrates that knowledge of early developments can play an important role in understanding and resolving very recent computational problems. Many extensive historical notes are therefore included as an inherent part of the text. The book ends with formulating some omitted issues and challenges which need to be addressed in future work. The book is intended as a research monograph which can be used in a wide scope of graduate courses on related subjects. It can be beneficial also for readers interested in the history of mathematics.

This book presents a view of the state of the art in multi-dimensional hyperbolic partial differential equations, with a particular emphasis on problems in which modern tools of analysis have proved useful. Ordered in sections of gradually increasing degrees of difficulty, the text first covers linear Cauchy problems and linear initial boundary value problems, before moving on to nonlinear problems, including shock waves. The book finishes with a discussion of the application of hyperbolic PDEs to gas dynamics, culminating with the shock wave analysis for real fluids.

Small scale features and processes occurring at nanometer and femtosecond scales have a profound impact on what happens at larger space and time scales. In view of the increasing need of understanding and controlling the behavior of products and processes at multiple scales, multiscale modeling and simulation has emerged as one of the focal research areas in applied science and engineering. The primary objective of this volume is to present the-state-of-the art in multiscale mathematics, modeling and simulations and to address the following barriers: What is the information that needs to be transferred from one model or scale to another and what physical principles must be satisfied during the transfer of information? What are the optimal ways to achieve such transfer of information? How to quantify variability of physical parameters at multiple scales and how to account for it to ensure design robustness? The volume is intended as a reference book for scientists, engineers and graduate students in traditional engineering and science disciplines as well as in the emerging fields of nanotechnology, biotechnology, microelectronics and energy.

This text provides an introduction to the theoretical, practical, and numerical aspects of image registration, with special emphasis on medical imaging. Given a so-called reference and template image, the goal of image registration is to find a reasonable transformation such that the transformed template is similar to the reference image. Image registration is utilized whenever information obtained from different viewpoints times and sensors needs to be combined or compared, and unwanted distortion needs to be eliminated. The book provides a systematic introduction to image registration and discusses the basic mathematical principles, including aspects from approximations theory, image processing, numerics, optimization, partial differential equations, and statistics, with a strong focus on numerical methods. A unified variational approach is introduced and enables a separation into data-related issues like image feature or image intensity-based similarity measures, and problem inherent regularization like elastic or diffusion registration. This general framework is further used for the explanation and classification of established methods as well as the design of new schemes and building blocks including landmark-, thin-plate-spline, mutual information, elastic, fluid, demon, diffusion, and curvature registration.

This book explains the use of the bulk synchronous parallel (BSP) model and the BSPlib communication library in parallel algorithm design and parallel programming. The main topics treated in the book are central to the area of scientific computation: solving dense linear systems by Gaussian elimination, computing fast Fourier transforms, and solving sparse linear systems by iterative methods based on sparse matrix-vector multiplication. Each topic is treated in depth, starting from the problem formulation and a sequential algorithm, through a parallel algorithm and its cost analysis, to a complete parallel program written in C and BSPlib, and experimental results obtained using this program on a parallel computer. Throughout the book, emphasis is placed on analyzing the cost of the parallel algorithms developed, expressed in three terms: computation cost, communication cost, and synchronization cost. The book contains five example programs written in BSPlib, which illustrate the methods taught. These programs are freely available as the package BSPedupack. An appendix on the message-passing interface (MPI) discusses how to program in a structured, bulk synchronous parallel style using the MPI communication library, and presents MPI equivalents of all the programs in the book.

Self-adaptive discretization methods nowadays are an indispensable tool for the numerical solution of partial differential equations that arise from physical and technical applications. The aim is to obtain a numerical solution within a prescribed tolerance using a minimal amount of work. The main tools in achieving this goal are a posteriori error estimates which give global and local information on the error of the numerical solution and which can easily be computed from the given numerical solution and the data of the differential equation. In this monograph we review the most frequently used a posteriori error estimation techniques and apply them to a broad class of linear and nonlinear elliptic and parabolic equations. Although there are various approaches to adaptivity and a posteriori error estimation, they are all based on a few common principles. Our main goal is to elaborate these basic principles and to give guidelines for developing adaptive schemes for new problems. Chapters 1 and 2 are quite elementary and present various error indicators and their use for mesh adaptation in the framework of a simple model problem. The intention here is to present the basic principles using a minimal amount of notation and techniques. Chapters 4–6, on the other hand, are more advanced and present a posteriori error estimates within a general framework using the technical tools collected in Chapter 3. Most sections close with a bibliographical remark which indicates the historical development and hints at further results.

Quantum mechanics and linguistics appear to be quite unrelated at first sight. Yet significant parts of both concern compositional reasoning about the way information flows among subsystems and the manner in which this flow gives rise to the properties of a system as a whole. This book is about the mathematics underlying this notion of compositionality, how it gives rise to intuitive diagrammatic calculi, and how these compositional methods are applied to reason about phenomena of both disciplines.Over the past decade, theoretical physics and quantum information theory have turned to category theory to model and reason about quantum protocols. This new use of categorical and algebraic tools allows a more conceptual and insightful expression of elementary events, such as measurements, teleportation, and entanglement operations, that were obscured in previous formalisms.Recent work in natural language semantics has begun to use these categorical methods to relate grammatical analysis and semantic representations in a unified framework for analyzing language meaning and learning meaning from a corpus. A growing body of literature on the use of categorical methods in quantum information theory and computational linguistics shows both the need and opportunity for new research on the relation between these categorical methods and the abstract notion of information flow.The aim of this book is to supply an overview of how categorical methods are used to model information flow in both physics and linguistics, to serve as an introduction to this interdisciplinary research, and to provide a basis for future research and collaboration between the different communities interested in applying category-theoretic methods to their domains’ open problems.

This book is concerned with the quantitative aspects of the theory of nonlinear diffusion equations; equations which can be seen as nonlinear variations of the classical heat equation. They appear as mathematical models in different branches of physics, chemistry, biology, and engineering, and are also relevant in differential geometry and relativistic physics. Much of the modern theory of such equations is based on estimates and functional analysis. Concentrating on a class of equations with nonlinearities of power type that lead to degenerate or singular parabolicity (equations of porous medium type), the aim of this book is to obtain sharp a priori estimates and decay rates for general classes of solutions in terms of estimates of particular problems. These estimates are the building blocks in understanding the qualitative theory, and the decay rates pave the way to the fine study of asymptotics. Many technically relevant questions are presented and analyzed in detail. A systematic picture of the most relevant phenomena is obtained for the equations under study, including time decay, smoothing, extinction in finite time, and delayed regularity.

The vast majority of random processes in the real world have no memory — the next step in their development depends purely on their current state. Stochastic realizations are therefore defined purely in terms of successive event-time pairs, and such systems are easy to simulate irrespective of their degree of complexity. However, whilst the associated probability equations are straightforward to write down, their solution usually requires the use of approximation and perturbation procedures. Traditional books, heavy in mathematical theory, often ignore such methods and attempt to force problems into a rigid framework of closed-form solutions.

Generalized dynamic thermoelasticity is a vital area of research in continuum mechanics, free of the classical paradox of infinite propagation speeds of thermal signals in Fourier‐type heat conduction. Besides that paradox, the classical dynamic thermoelasticity theory offers either unsatisfactory or poor descriptions of a solid's response to a fast transient loading (say, due to short laser pulses) or at low temperatures. Several models were developed and intensively studied over the past four decades, and this book is the first monograph on the subject since the 1970s, aiming to provide a point of reference in the field. It focuses on dynamic thermoelasticity governed by hyperbolic equations, and, in particular, on the two leading theories: that of Lord‐Shulman (with one relaxation time), and that of Green‐Lindsay (with two relaxation times). While the resulting field equations are linear partial differential ones, the complexity of theories is due to the coupling of mechanical with thermal fields. The book is concerned with the mathematical aspects of both theories — existence and uniqueness theorems, domain of influence theorems, convolutional variational principles — as well as with the methods for various initial/boundary value problems. In the latter respect, following the establishment of the central equation of thermoelasticity with finite wave speeds, there are extensive presentations of: the exact, aperiodic‐in‐time solutions of Green‐Lindsay theory; Kirchhoff‐type formulas and integral equations in Green‐Lindsay theory; thermoelastic polynomials; moving discontinuity surfaces; and time‐periodic solutions. This is followed by a chapter on physical aspects of generalized thermoelasticity, with a review of several applications. The book closes with a chapter on a nonlinear hyperbolic theory of a rigid heat conductor for which a number of asymptotic solutions are obtained using a method of weakly nonlinear geometric optics. The book is augmented by an extensive bibliography.