Category theory and related topics of mathematics have been increasingly applied to computer science in recent years. This book contains selected papers from the London Mathematical Society Symposium on the subject which was held at the University of Durham. Participants at the conference were leading computer scientists and mathematicians working in the area and this volume reflects the excitement and importance of the meeting. All the papers have been refereed and represent some of the most important and current ideas. Hence this book will be essential to mathematicians and computer scientists working in the applications of category theory.
This volume contains a selection of the invited papers presented at a LMS Durham Symposium on modern developments in non-classical continuum mechanics. A major aim was to bring together workers in both the abstract and practical aspects of the subject in order to achieve enhanced appreciation of each others' approach and hence of the mathematical techniques and physical intuition essential for successful research in this field. As a result, the present collection consists of a series of concise articles which are introductions to, and succinct accounts of, current activity in many branches of non-classical continuum mechanics. Research workers in applied mathematics, physics, theoretical mechanics, and structural and aeronautical engineering will find much of interest in this collection.
The papers in this volume, which were presented at the 1985 Australian Mathematical Society convention, survey recent work in Diophantine analysis. The contributors are leading mathematicians in the world, and their articles are state of the art accounts, many of which include open problems pointing the way to further research. The contributions will be of general interest to number theorists and of particular interest to workers in transcendence theory, Diophantine approximation and exponential sums.
This text provides a complete introduction to the theory of variational inequalities with emphasis on contact mechanics. It covers existence, uniqueness and convergence results for variational inequalities, including the modelling and variational analysis of specific frictional contact problems with elastic, viscoelastic and viscoplastic materials. New models of contact are presented, including contact of piezoelectric materials. Particular attention is paid to the study of history-dependent quasivariational inequalities and to their applications in the study of contact problems with unilateral constraints. The book fully illustrates the cross-fertilisation between modelling and applications on the one hand and nonlinear mathematical analysis on the other. Indeed, the reader will gain an understanding of how new and nonstandard models in contact mechanics lead to new types of variational inequalities and, conversely, how abstract results concerning variational inequalities can be appli
The rigorous mathematical theory of the equations of fluid dynamics has been a focus of intense activity in recent years. This volume is the product of a workshop held at the University of Warwick to consolidate, survey and further advance the subject. The Navier–Stokes equations feature prominently: the reader will find new results concerning feedback stabilisation, stretching and folding, and decay in norm of solutions to these fundamental equations of fluid motion. Other topics covered include new models for turbulent energy cascade, existence and uniqueness results for complex fluids and certain interesting solutions of the SQG equation. The result is an accessible collection of survey articles and more traditional research papers that will serve both as a helpful overview for graduate students new to the area and as a useful resource for more established researchers.
Classical string theory is concerned with the propagation of classical 1-dimensional curves 'strings', and the theory has connections to the calculus of variations, minimal surfaces and harmonic maps. The quantization of string theory gives rise to problems in different areas, according to the method used. The representation theory of Lie, Kac-Moody and Virasoro algebras have been used for such quantization. In this lecture note the authors give an introduction to certain global analytic and probabilistic aspects of string theory. It is their intention to bring together, and make explicit the necessary mathematical tools. Researchers with an interest in string theory, in either mathematics or theoretical physics, will find this a stimulating volume.
Presents a cross-section of different aspects of Riemann surfaces, covering the basics as well as highlighting new developments in the field. Written by leading researchers, it will be suitable for gr
This book provides a careful and accessible exposition of the function analytic approach to initial boundary value problems for semilinear parabolic differential equations. This book will be a necessa
This book falls into two parts. The first studies those circle diffeomorphisms which commute with a diffeomorphism f whose rotation number r(f) is irrational. When f is not smoothly conjugated to a ro
Perturbation of the boundary is a rather neglected topic in the study of PDEs for two main reasons. First, on the surface it appears trivial, merely a change of variables and an application of the cha
Integral closure has played a role in number theory and algebraic geometry since the nineteenth century, but a modern formulation of the concept for ideals perhaps began with the work of Krull and Zariski in the 1930s. It has developed into a tool for the analysis of many algebraic and geometric problems. This book collects together the central notions of integral closure and presents a unified treatment. Techniques and topics covered include: behavior of the Noetherian property under integral closure, analytically unramified rings, the conductor, field separability, valuations, Rees algebras, Rees valuations, reductions, multiplicity, mixed multiplicity, joint reductions, the Briançon-Skoda theorem, Zariski's theory of integrally closed ideals in two-dimensional regular local rings, computational aspects, adjoints of ideals and normal homomorphisms. With many worked examples and exercises, this book will provide graduate students and researchers in commutative algebra or ring theory w
This introduction to recent work in p-adic analysis and number theory will make accessible to a relatively general audience the efforts of a number of mathematicians over the last five years. After reviewing the basics (the construction of p-adic numbers and the p-adic analog of the complex number field, power series and Newton polygons), the author develops the properties of p-adic Dirichlet L-series using p-adic measures and integration. p-adic gamma functions are introduced, and their relationship to L-series is explored. Analogies with the corresponding complex analytic case are stressed. Then a formula for Gauss sums in terms of the p-adic gamma function is proved using the cohomology of Fermat and Artin-Schreier curves. Graduate students and research workers in number theory, algebraic geometry and parts of algebra and analysis will welcome this account of current research.
The amount of mathematics invented for number-theoretic reasons is impressive. It includes much of complex analysis, the re-foundation of algebraic geometry on commutative algebra, group cohomology, homological algebra, and the theory of motives. Zeta and L-functions sit at the meeting point of all these theories and have played a profound role in shaping the evolution of number theory. This book presents a big picture of zeta and L-functions and the complex theories surrounding them, combining standard material with results and perspectives that are not made explicit elsewhere in the literature. Particular attention is paid to the development of the ideas surrounding zeta and L-functions, using quotes from original sources and comments throughout the book, pointing the reader towards the relevant history. Based on an advanced course given at Jussieu in 2013, it is an ideal introduction for graduate students and researchers to this fascinating story.