For the past 25 years, the Geometrization Program of Thurston has been a driving force for research in 3-manifold topology. This has inspired a surge of activity investigating hyperbolic 3-manifolds (and Kleinian groups), as these manifolds form the largest and least well-understood class of compact 3-manifolds. Familiar and new tools from diverse areas of mathematics have been utilized in these investigations, from topology, geometry, analysis, group theory, and from the point of view of this book, algebra and number theory. This book is aimed at readers already familiar with the basics of hyperbolic 3-manifolds or Kleinian groups, and it is intended to introduce them to the interesting connections with number theory and the tools that will be required to pursue them. While there are a number of texts which cover the topological, geometric and analytical aspects of hyperbolic 3-manifolds, this book is unique in that it deals exclusively with the arithmetic aspects, which are not covered in other texts. Colin Maclachlan is a Reader in the Department of Mathematical Sciences at the University of Aberdeen in Scotland where he has served since 1968. He is a former President of the Edinburgh Mathematical Society. Alan Reid is a Professor in the Department of Mathematics at The University of Texas at Austin. He is a former Royal Society University Research Fellow, Alfred P. Sloan Fellow and winner of the Sir Edmund Whittaker Prize from The Edinburgh Mathematical Society. Both authors have published extensively in the general area of discrete groups, hyperbolic manifolds and low-dimensional topology.

This IMA Volume in Mathematics and its Applications ESSAYS ON MATHEMATICAL ROBOTICS is based on the proceedings of a workshop that was an integral part of the 1992-93 IMA program on "Control Theory." The workshop featured a mathematicalintroductionto kinematics and fine motion planning; dynam- ics and control of kinematically redundant robot arms including snake-like robots, multi-fingered robotic hands; methods of non-holonomic motion planning for space robots, multifingered robot hands and mobile robots; new techniques in analytical mechanics for writing the dynamics of com- plicated multi-body systems subject to constraints on angular momentum or other non-holonomic constraints. In addition to papers representing proceedings of the Workshop, this volume contains several longer papers surveying developments of the intervening years. We thank John Baillieul, Shankar S. Sastry, and Hector J. Sussmann for organizing the workshop and editing the proceedings. We also take this opportunity to thank the National Science Foundation and the Army Research Office, whose financial support made the workshop possible. Avner Friedman Willard Miller, Jr.

The monograph is devoted to the study of functional equations with the transformed argument on the real line and on the unit circle. Such equations systematically arise in dynamical systems, differential equations, probabilities, singularities of smooth mappings, and other areas. The purpose of the book is to present modern methods and new results in the subject, with an emphasis on a connection between local and global solvability. The general concepts developed in the book are applicable to multidimensional functional equations. Some of the methods are presented for the first time in the monograph literature.
The book is addressed to graduates and researchers interested in dynamical systems, differential equations, operator theory, or the theory of functions and their applications.

Fifteen years ago, most mathematicians who worked in the intersection of function theory and operator theory thought that progress on the Bergman spaces was unlikely, yet today the situation has completely changed. For several years, research interest and activity have expanded in this area and there are now rich theories describing the Bergman spaces and their operators. This book is a timely treatment of the theory, written by three of the major players in the field.

This book deals with algorithms for the solution of linear systems of algebraic equations with large-scale sparse matrices, with a focus on problems that are obtained after discretization of partial differential equations using finite element methods. The authors provide a systematic presentation of the recent advances in robust algebraic multilevel methods and algorithms, e.g., the preconditioned conjugate gradient method, algebraic multilevel iteration (AMLI) preconditioners, the classical algebraic multigrid (AMG) method and its recent modifications, namely AMG using element interpolation (AMGe) and AMG based on smoothed aggregation. The first six chapters can serve as a short introductory course on the theory of AMLI methods and algorithms. The next part of the monograph is devoted to more advanced topics, including the description of new generation AMG methods, AMLI methods for discontinuous Galerkin systems, looking-free algorithms for coupled problems etc., ending with important practical issues of implementation and challenging applications. This second part is addressed to some more experienced students and practitioners and can be used to complete a more advanced course on robust AMLI and AMG methods and their efficient application. This book is intended for mathematicians, engineers, natural scientists etc.

A lively and vivid look at the material from function theory, including the residue calculus, supported by examples and practice exercises throughout. There is also ample discussion of the historical evolution of the theory, biographical sketches of important contributors, and citations - in the original language with their English translation - from their classical works. Yet the book is far from being a mere history of function theory, and even experts will find a few new or long forgotten gems here. Destined to accompany students making their way into this classical area of mathematics, the book offers quick access to the essential results for exam preparation. Teachers and interested mathematicians in finance, industry and science will profit from reading this again and again, and will refer back to it with pleasure.

Graduate students in mathematics, who want to travel light, will find this book invaluable; impatient young researchers in other fields will enjoy it as an instant reference to the highlights of modern analysis. Starting with general topology, it moves on to normed and seminormed linear spaces. From there it gives an introduction to the general theory of operators on Hilbert space, followed by a detailed exposition of the various forms the spectral theorem may take; from Gelfand theory, via spectral measures, to maximal commutative von Neumann algebras. The book concludes with two supplementary chapters: a concise account of unbounded operators and their spectral theory, and a complete course in measure and integration theory from an advanced point of view.

This monograph explores nonoscillation and existence of positive solutions for functional differential equations and describes their applications to maximum principles, boundary value problems and stability of these equations. In view of this objective the volume considers a wide class of equations including, scalar equations and systems of different types, equations with variable types of delays and equations with variable deviations of the argument. Each chapter includes an introduction and preliminaries, thus making it complete. Appendices at the end of the book cover reference material. Nonoscillation Theory of Functional Differential Equations with Applications is addressed to a wide audience of researchers in mathematics and practitioners.

This book attempts to place the basic ideas of real analysis and numerical analysis together in an applied setting that is both accessible and motivational to young students. The essentials of real analysis are presented in the context of a fundamental problem of applied mathematics, which is to approximate the solution of a physical model. The framework of existence, uniqueness, and methods to approximate solutions of model equations is sufficiently broad to introduce and motivate all the basic ideas of real analysis. The book includes background and review material, numerous examples, visualizations and alternate explanations of some key ideas, and a variety of exercises ranging from simple computations to analysis and estimates to computations on a computer. The book can be used in an honor calculus sequence typically taken by freshmen planning to major in engineering, mathematics, and science, or in an introductory course in rigorous real analysis offered to mathematics majors. Donald Estep is Professor of Mathematics at Colorado State University. He is the author of Computational Differential Equations, with K. Eriksson, P. Hansbo and C. Johnson (Cambridge University Press 1996) and Error of Numerical Solutions of Systems of Nonlinear Reaction-Diffusion Equations with M. Larson and R. Williams (A.M.S. 2000), and recently co-edited Collected Lectures on the Preservation of Stability under Discretization, with Simon Tavener (S.I.A.M., 2002), as well as numerous research articles. His research interests include computational error estimation and adaptive finite element methods, numerical solution of evolutionary problems, and computational investigation of physical models.

The book includes lectures given by the plenary and key speakers at the 9th International ISAAC Congress held 2013 in Krakow, Poland. The contributions treat recent developments in analysis and surrounding areas, concerning topics from the theory of partial differential equations, function spaces, scattering, probability theory, and others, as well as applications to biomathematics, queueing models, fractured porous media and geomechanics.

The quantitative and qualitative study of the physical world makes use of many mathematical models governed by a great diversity of ordinary, partial differential, integral, and integro-differential equations. An essential step in such investigations is the solution of these types of equations, which sometimes can be performed analytically, while at other times only numerically. This edited, self-contained volume presents a series of state-of-the-art analytic and numerical methods of solution constructed for important problems arising in science and engineering, all based on the powerful operation of (exact or approximate) integration.

The book, consisting of twenty seven selected chapters presented by well-known specialists in the field, is an outgrowth of the Eighth International Conference on Integral Methods in Science and Engineering, held August 2a "4, 2004, in Orlando, FL. Contributors cover a wide variety of topics, from the theoretical development of boundary integral methods to the application of integration-based analytic and numerical techniques that include integral equations, finite and boundary elements, conservation laws, hybrid approaches, and other procedures.

The volume may be used as a reference guide and a practical resource. It is suitable for researchers and practitioners in applied mathematics, physics, and mechanical and electrical engineering, as well as graduate students in these disciplines.

In inverse problems, the aim is to obtain, via a mathematical model, information on quantities that are not directly observable but rather depend on other observable quantities. Inverse problems are encountered in such diverse areas of application as medical imaging, remote sensing, material testing, geosciences and financing. It has become evident that new ideas coming from differential geometry and modern analysis are needed to tackle even some of the most classical inverse problems. This book contains a collection of presentations, written by leading specialists, aiming to give the reader up-to-date tools for understanding the current developments in the field.

This book provides a comprehensive advanced multi-linear algebra course based on the concept of Hasse-Schmidt derivations on a Grassmann algebra (an analogue of the Taylor expansion for real-valued functions), and shows how this notion provides a natural framework for many ostensibly unrelated subjects: traces of an endomorphism and the Cayley-Hamilton theorem, generic linear ODEs and their Wronskians, the exponential of a matrix with indeterminate entries (Putzer's method revisited), universal decomposition of a polynomial in the product of two monic polynomials of fixed smaller degree, Schubert calculus for Grassmannian varieties, and vertex operators obtained with the help of Schubert calculus tools (Giambelli's formula). Significant emphasis is placed on the characterization of decomposable tensors of an exterior power of a free abelian group of possibly infinite rank, which then leads to the celebrated Hirota bilinear form of the Kadomtsev-Petviashvili (KP) hierarchy describing the Plucker embedding of an infinite-dimensional Grassmannian. By gathering ostensibly disparate issues together under a unified perspective, the book reveals how even the most advanced topics can be discovered at the elementary level.

The book presents a systematic and compact treatment of the qualitative theory of half-linear
differential equations. It contains the most updated and comprehensive material and represents the first attempt to present the results of the rapidly developing theory of half-linear differential equations in a unified form. The main topics covered by the book are oscillation and asymptotic theory and the theory of boundary value problems associated with half-linear equations, but the book also contains a treatment of related topics like PDE s with p-Laplacian, half-linear difference equations and various more general nonlinear differential equations.
- The first complete treatment of the qualitative theory of half-linear differential equations.
- Comparison of linear and half-linear theory.
- Systematic approach to half-linear oscillation and asymptotic theory.
- Comprehensive bibliography and index.
- Useful as a reference book in the topic.

This book presents an introduction into Robinson's nonstandard analysis.

Nonstandard analysis is the application of model theory in analysis. However, the reader is not expected to have any background in model theory; instead, some background in analysis, topology, or functional analysis would be useful - although the book is as much self-contained as possible and can be understood after a basic calculus course. Unlike some other texts, it does not attempt to teach elementary calculus on the basis of nonstandard analysis, but it points to some applications in more advanced analysis. Such applications can hardly be obtained by standard methods such as a deeper investigation of Hahn-Banach limits or of finitely additive measures.

Almost Automorphic and Almost Periodic Functions in Abstract Spaces introduces and develops the theory of almost automorphic vector-valued functions in Bochner's sense and the study of almost periodic functions in a locally convex space in a homogenous and unified manner. It also applies the results obtained to study almost automorphic solutions of abstract differential equations, expanding the core topics with a plethora of groundbreaking new results and applications. For the sake of clarity, and to spare the reader unnecessary technical hurdles, the concepts are studied using classical methods of functional analysis.

Intended for beginners in ergodic theory, this introductory textbook addresses students as well as researchers in mathematical physics. The main novelty is the systematic treatment of characteristic problems in ergodic theory by a unified method in terms of convergent power series and renormalization group methods, in particular. Basic concepts of ergodicity, like Gibbs states, are developed and applied to, e.g., Asonov systems or KAM Theroy. Many examples illustrate the ideas and, in addition, a substantial number of interesting topics are treated in the form of guided problems.

This volume constitutes the proceedings of a workshop whose main purpose was to exchange information on current topics in complex analysis, differential geometry, mathematical physics and applications, and to group aspects of new mathematics.

This book is intended to provide a systematic overview of so-called smart techniques, such as nature-inspired algorithms, machine learning and metaheuristics. Despite their ubiquitous presence and widespread application to different scientific problems, such as searching, optimization and /or classification, a systematic study is missing in the current literature. Here, the editors collected a set of chapters on key topics, paying attention to provide an equal balance of theory and practice, and to outline similarities between the different techniques and applications. All in all, the book provides an unified view on the field on intelligent methods, with their current perspective and future challenges.

The theory of set-valued maps and of differential inclusion is developed in recent years both as a field of his own and as an approach to control theory. The book deals with the theory of semilinear differential inclusions in infinite dimensional spaces. In this setting, problems of interest to applications do not suppose neither convexity of the map or compactness of the multi-operators. These assumption implies the development of the theory of measure of noncompactness and the construction of a degree theory for condensing mapping. Of particular interest is the approach to the case when the linear part is a generator of a condensing, strongly continuous semigroup. In this context, the existence of solutions for the Cauchy and periodic problems are proved as well as the topological properties of the solution sets. Examples of applications to the control of transmission line and to hybrid systems are presented.

Many results, both from semi group theory itself and from the applied sciences, are phrased in discipline-specific languages and hence are hardly known to a broader community. This volume contains a selection of lectures presented at a conference that was organised as a forum for all mathematicians using semi group theory to learn what is happening outside their own field of research. The collection will help to establish a number of new links between various sub-disciplines of semigroup theory, stochastic processes, differential equations and the applied fields. The theory of semigroups of operators is a well-developed branch of functional analysis. Its foundations were laid at the beginning of the 20th century, while the fundamental generation theorem of Hille and Yosida dates back to the forties. The theory was, from the very beginning, designed as a universal language for partial differential equations and stochastic processes, but at the same time it started to live as an independent branch of operator theory. Nowadays, it still has the same distinctive flavour: it develops rapidly by posing new 'internal' questions and in answering them, discovering new methods that can be used in applications. On the other hand, it is influenced by questions from PDEs and stochastic processes as well as from applied sciences such as mathematical biology and optimal control, and thus it continually gathers a new momentum. Researchers and postgraduate students working in operator theory, partial differential equations, probability and stochastic processes, analytical methods in biology and other natural sciences, optimization and optimal control will find this volume useful.

The book contains recent developments and contemporary research in mathematical analysis and in its application to problems arising from the biological and physical sciences. The book is of interest to readers who wish to learn of new research in such topics as linear and nonlinear analysis, mathematical biology and ecology, dynamical systems, graph theory, variational analysis and inequalities, functional analysis, differential and difference equations, partial differential equations, approximation theory, and chaos. All papers were prepared by participants at the International Conference on Recent Advances in Mathematical Biology, Analysis and Applications (ICMBAA-2015) held during 4-6 June 2015 in Aligarh, India. A focal theme of the conference was the application of mathematics to the biological sciences and on current research in areas of theoretical mathematical analysis that can be used as sophisticated tools for the study of scientific problems. The conference provided researchers, academicians and engineers with a platform that encouraged them to exchange their innovative ideas in mathematical analysis and its applications as well as to form interdisciplinary collaborations. The content of the book is divided into three parts: Part I contains contributions from participants whose topics are related to nonlinear dynamics and its applications in biological sciences. Part II has contributions which concern topics on nonlinear analysis and its applications to a variety of problems in science, engineering and industry. Part III consists of contributions dealing with some problems in applied analysis.

Ne as' book "Direct Methods in the Theory of Elliptic Equations," published 1967 in French, has become a standard reference for the mathematical theory of linear elliptic equations and systems. This English edition, translated by G. Tronel and A. Kufner, presents Ne as' work essentially in the form it was published in 1967. It gives a timeless and in some sense definitive treatment of a number issues in variational methods for elliptic systems and higher order equations. The text is recommended to graduate students of partial differential equations, postdoctoral associates in Analysis, and scientists working with linear elliptic systems. In fact, any researcher using the theory of elliptic systems will benefit from having the book in his library.

The volume gives a self-contained presentation of the elliptic theory based on the "direct method," also known as the variational method. Due to its universality and close connections to numerical approximations, the variational method has become one of the most important approaches to the elliptic theory. The method does not rely on the maximum principle or other special properties of the scalar second order elliptic equations, and it is ideally suited for handling systems of equations of arbitrary order. The prototypical examples of equations covered by the theory are, in addition to the standard Laplace equation, Lame's system of linear elasticity and the biharmonic equation (both with variable coefficients, of course). General ellipticity conditions are discussed and most of the natural boundary condition is covered. The necessary foundations of the function space theory are explained along the way, in an arguably optimal manner. The standard boundary regularity requirement on the domains is the Lipschitz continuity of the boundary, which "when going beyond the scalar equations of second order" turns out to be a very natural class. These choices reflect the author's opinion that the Lame system and the biharmonic equations are just as important as the Laplace equation, and that the class of the domains with the Lipschitz continuous boundary (as opposed to smooth domains) is the most natural class of domains to consider in connection with these equations and their applications."

The theory of functional equations has been developed in a rapid and productive way in the second half of the Twentieth Century. First of all, this is due to the fact that the mathematical applications raised the investigations of newer and newer types of functional equations. At the same time, the self development of this theory was also very fruitful. This can be followed in many monographs that treat and discuss the various methods and approaches. These developments were also essentially influenced by a number jour nals, for instance, by the Publicationes Mathematicae Debrecen (founded in 1953) and by the Aequationes Mathematicae (founded in 1968), be cause these journals published papers from the field of functional equa tions readily and frequently. The latter journal also publishes the yearly report of the International Symposia on Functional Equations and a comprehensive bibliography of the most recent papers. At the same time, there are periodically and traditionally organized conferences in Poland and in Hungary devoted to functional equations and inequali ties. In 2000, the 38th International Symposium on Functional Equations was organized by the Institute of Mathematics and Informatics of the University of Debrecen in Noszvaj, Hungary. The report about this meeting can be found in Aequationes Math. 61 (2001), 281-320."

The manuscript gives a coherent and detailed account of the theory of series in the eighteenth and early nineteenth centuries. It provides in one place an account of many results that are generally to be found - if at all - scattered throughout the historical and textbook literature. It presents the subject from the viewpoint of the mathematicians of the period, and is careful to distinguish earlier conceptions from ones that prevail today.