A cohesive and comprehensive account of the modern theory of iterative functional equations. Many of the results included have appeared before only in research literature, making this an essential volume for all those working in functional equations and in such areas as dynamical systems and chaos, to which the theory is closely related. The authors introduce the reader to the theory and then explore the most recent developments and general results. Fundamental notions such as the existence and uniqueness of solutions to the equations are stressed throughout, as are applications of the theory...

This book presents the mathematical theory of turbulence to engineers and physicists, and the physical theory of turbulence to mathematicians. It is the result of many years of research by the authors to analyze turbulence using Sobolev spaces and functional analysis. In this way the authors have recovered parts of the conventional theory of turbulence, deriving rigorously from the Navier-Stokes equations that had been arrived at earlier by phenomenological arguments. Appendices give full details of the mathematical proofs and subtleties.

The theory of finite fields is a branch of algebra with diverse applications in such areas as combinatorics, coding theory and the mathematical study of switching circuits. This updated second edition is devoted entirely to the theory of finite fields, and it provides comprehensive coverage of the literature. Bibliographical notes at the end of each chapter give a historical survey of the development of the subject. Worked examples and lists of exercises throughout the book make it useful as a text for advanced level courses for students of algebra.

This book is concerned with the theory of unbounded derivations in C*-algebras, a subject whose study was motivated by questions in quantum physics and statistical mechanics, and to which the author has made considerable contributions. This is an active area of research, and one of the most ambitious aims of the theory is to develop quantum statistical mechanics within the framework of C*-theory. The presentation concentrates on topics involving quantum statistical mechanics and differentiations on manifolds. One of the goals is to formulate the absence theorem of phase transitions in its...

This is a comprehensive treatment of Minkowski geometry. The author begins by describing the fundamental metric properties and the topological properties of existence of Minkowski space. This is followed by a treatment of two-dimensional spaces and characterizations of Euclidean space among normed spaces. The central three chapters present the theory of area and volume in normed spaces--a fascinating geometrical interplay among the various roles of the ball in Euclidean space. Later chapters deal with trigonometry and differential geometry in Minkowski spaces. The book ends with a brief look...

Algebraists have studied noncommutative fields (also called skew fields or division rings) less thoroughly than their commutative counterparts. Most existing accounts have been confined to division algebras, i.e. skew fields that are finite dimensional over their center. This work offers the first comprehensive account of skew fields. It is based on the author's LMS Lecture Note Volume "Skew Field Constructions." The axiomatic foundation and a precise description of the embedding problem precedes an account of algebraic and topological construction methods. The author presents his general...

This book presents an up-to-date, unified treatment of research in bounded arithmetic and complexity of propositional logic with emphasis on independence proofs and lower bound proofs. The author discusses the deep connections between logic and complexity theory and lists a number of intriguing open problems. An introduction to the basics of logic and complexity is followed by discussion of important results in propositional proof systems and systems of bounded arithmetic. Then more advanced topics are treated, including polynomial simulations and conservativity results, various witnessing...

This work explores the role of probabilistic methods for solving combinatorial problems. The subjects studied are nonnegative matrices, partitions and mappings of finite sets, with special emphasis on permutations and graphs, and equivalence classes specified on sequences of finite length consisting of elements of partially ordered sets; these define the probabilistic setting of Sachkov's general combinatorial scheme. The author pays special attention to using probabilistic methods to obtain asymptotic formulae that are difficult to derive using combinatorial methods. This important book...

The combinatorial theory of species, introduced by Joyal in 1980, provides a unified understanding of the use of generating functions for both labeled and unlabeled structures as well as a tool for the specification and analysis of these structures. This key reference presents the basic elements of the theory and gives a unified account of its developments and applications. The authors offer a modern introduction to the use of various generating functions, with applications to graphical enumeration, Polya Theory and analysis of data structures in computer science, and to other areas such as...

Graph theory is an important branch of contemporary combinatorial mathematics. By describing recent results in algebraic graph theory and demonstrating how linear algebra can be used to tackle graph-theoretical problems, the authors provide new techniques for specialists in graph theory. The book explains how the spectral theory of finite graphs can be strengthened by exploiting properties of the eigenspaces of adjacency matrices associated with a graph. The extension of spectral techniques proceeds at three levels: using eigenvectors associated with an arbitrary labeling of graph vertices,...