In this book we introduce the class of mappings of finite distortion as a generalization of the class of mappings of bounded distortion. Connections with models of nonlinear elasticity are also discussed. We study continuity properties, behavior of our mappings on null sets, topological properties like openness and discreteness, regularity of the potential inverse mappings and many other aspects.

"

This innovative textbook introduces a new pattern-based approach to learning proof methods in the mathematical sciences. Readers will discover techniques that will enable them to learn new proofs across different areas of pure mathematics with ease. The patterns in proofs from diverse fields such as algebra, analysis, topology and number theory are explored. Specific topics examined include game theory, combinatorics and Euclidean geometry, enabling a broad familiarity. The author, an experienced lecturer and researcher renowned for his innovative view and intuitive style, illuminates a wide range of techniques and examples from duplicating the cube to triangulating polygons to the infinitude of primes to the fundamental theorem of algebra. Intended as a companion for undergraduate students, this text is an essential addition to every aspiring mathematician's toolkit.

Mathematics is playing an ever more important role in the physical and biological sciences, provoking a blurring of boundaries between scientific dis ciplines and a resurgence of interest in the modern as well as the classical techniques of applied mathematics. This renewal of interest, both in research and teaching, has led to the establishment of the series: Texts in Applied Mathe matics (TAM). The development of new courses is a natural consequence of a high level of excitement on the research frontier as newer techniques, such as numerical and symbolic computer systems, dynamical systems, and chaos, mix with and reinforce the traditional methods of applied mathematics. Thus, the purpose of this textbook series is to meet the current and future needs of these advances and encourage the teaching of new courses. TAM will publish textbooks suitable for use in advanced undergraduate and beginning graduate courses, and will complement the Applied Mathematical Sciences (AMS) series, which will focus on advanced textbooks and research level monographs. Preface A successful concurrent numerical simulation requires physics and math ematics to develop and analyze the model, numerical analysis to develop solution methods, and computer science to develop a concurrent implemen tation. No single course can or should cover all these disciplines. Instead, this course on concurrent scientific computing focuses on a topic that is not covered or is insufficiently covered by other disciplines: the algorith mic structure of numerical methods.

Total Domination in Graphs gives a clear understanding of this topic to any interested reader who has a modest background in graph theory. This book provides and explores the fundamentals of total domination in graphs. Some of the topics featured include the interplay between total domination in graphs and transversals in hypergraphs, and the association with total domination in graphs and diameter-2-critical graphs. Several proofs are included in this text which enables readers to acquaint themselves with a toolbox of proof techniques and ideas with which to attack open problems in the field. This work is an excellent resource for students interested in beginning their research in this field. Additionally, established researchers will find the book valuable to have as it contains the latest developments and open problems.

This book introduces two most important aspects of modern analysis: the theory of measure and integration and the theory of Banach and Hilbert spaces. It is designed to serve as a text for first-year graduate students who are already familiar with some analysis as given in a book similar to Apostol's Mathematical Analysis. t This book treats in sufficient detail most relevant topics in the area of real and functional analysis that can be included in a book of this nature and size and at the level indicated above. It can serve as a text for a solid one-year course entitled "Measure and Integration Theory" or a com prehensive one-year course entitled "Banach Spaces, Hilbert Spaces, and Spectral Theory. " For the latter alternative, the student is, of course, required to have some knowledge of measure and integration theory. The breadth of the book gives the instructor enough flexibility to choose what is best suited for his/her class. Specifically the following alternatives are available: (a) A one-year course on "Measure and Integration" utilizing Chapters 1 (Sections l. l-1. 3 and 1. 6), 2, 3, 4, portions of 5 (information on Lp spaces), and portions of 7 (left to the discretion of the teacher). (b) A one-year course in "Functional Analysis" utilizing Chapters 1 (Sections 1. 4-1. 6), 5, 6, 7 (Sections 7. 4 and 7. 6), and the Ap pendix. t T. M. Apostol, Mathematical Analysis, 2nd ed., Addison-Wesley (1974)."

Lagrangian systems constitute a very important and old class in dynamics. Their origin dates back to the end of the eighteenth century, with Joseph-Louis Lagrange s reformulation of classical mechanics. The main feature of Lagrangian dynamics is its variational flavor: orbits are extremal points of an action functional. The development of critical point theory in the twentieth century provided a powerful machinery to investigate existence and multiplicity questions for orbits of Lagrangian systems. This monograph gives a modern account of the application of critical point theory, and more specifically Morse theory, to Lagrangian dynamics, with particular emphasis toward existence and multiplicity of periodic orbits of non-autonomous and time-periodic systems."

As long as a branch of knowledge offers an abundance of problems, it is full of vitality. David Hilbert Over the last 15 years I have given lectures on a variety of problems in nonlinear functional analysis and its applications. In doing this, I have recommended to my students a number of excellent monographs devoted to specialized topics, but there was no complete survey-type exposition of nonlinear functional analysis making available a quick survey to the wide range of readers including mathematicians, natural scientists, and engineers who have only an elementary knowledge of linear functional analysis. I have tried to close this gap with my five-part lecture notes, the first three parts of which have been published in the Teubner-Texte series by Teubner-Verlag, Leipzig, 1976, 1977, and 1978. The present English edition was translated from a completely rewritten manuscript which is significantly longer than the original version in the Teubner-Texte series. The material is organized in the following way: Part I: Fixed Point Theorems. Part II: Monotone Operators. Part III: Variational Methods and Optimization. Parts IV jV: Applications to Mathematical Physics. The exposition is guided by the following considerations: (a) What are the supporting basic ideas and what intrinsic interrelations exist between them? (/3) In what relation do the basic ideas stand to the known propositions of classical analysis and linear functional analysis? ( y) What typical applications are there? Vll Preface viii Special emphasis is placed on motivation.

Two-fluid dynamics is a challenging subject rich in physics and prac tical applications. Many of the most interesting problems are tied to the loss of stability which is realized in preferential positioning and shaping of the interface, so that interfacial stability is a major player in this drama. Typically, solutions of equations governing the dynamics of two fluids are not uniquely determined by the boundary data and different configurations of flow are compatible with the same data. This is one reason why stability studies are important; we need to know which of the possible solutions are stable to predict what might be observed. When we started our studies in the early 1980's, it was not at all evident that stability theory could actu ally work in the hostile environment of pervasive nonuniqueness. We were pleasantly surprised, even astounded, by the extent to which it does work. There are many simple solutions, called basic flows, which are never stable, but we may always compute growth rates and determine the wavelength and frequency of the unstable mode which grows the fastest. This proce dure appears to work well even in deeply nonlinear regimes where linear theory is not strictly valid, just as Lord Rayleigh showed long ago in his calculation of the size of drops resulting from capillary-induced pinch-off of an inviscid jet.

In this book the author presents the dynamical systems in infinite dimension, especially those generated by dissipative partial differential equations. This book attempts a systematic study of infinite dimensional dynamical systems generated by dissipative evolution partial differential equations arising in mechanics and physics and in other areas of sciences and technology. This second edition has been updated and extended.

This book provides an introduction to the theory of turbulence in fluids based on the representation of the flow by means of its vorticity field. It has long been understood that, at least in the case of incompressible flow, the vorticity representation is natural and physically transparent, yet the development of a theory of turbulence in this representation has been slow. The pioneering work of Onsager and of Joyce and Montgomery on the statistical mechanics of two-dimensional vortex systems has only recently been put on a firm mathematical footing, and the three-dimensional theory remains in parts speculative and even controversial. The first three chapters of the book contain a reasonably standard intro duction to homogeneous turbulence (the simplest case); a quick review of fluid mechanics is followed by a summary of the appropriate Fourier theory (more detailed than is customary in fluid mechanics) and by a summary of Kolmogorov's theory of the inertial range, slanted so as to dovetail with later vortex-based arguments. The possibility that the inertial spectrum is an equilibrium spectrum is raised."

This book has been written in a frankly partisian spirit-we believe that singularity theory offers an extremely useful approach to bifurcation prob lems and we hope to convert the reader to this view. In this preface we will discuss what we feel are the strengths of the singularity theory approach. This discussion then Ieads naturally into a discussion of the contents of the book and the prerequisites for reading it. Let us emphasize that our principal contribution in this area has been to apply pre-existing techniques from singularity theory, especially unfolding theory and classification theory, to bifurcation problems. Many ofthe ideas in this part of singularity theory were originally proposed by Rene Thom; the subject was then developed rigorously by John Matherand extended by V. I. Arnold. In applying this material to bifurcation problems, we were greatly encouraged by how weil the mathematical ideas of singularity theory meshed with the questions addressed by bifurcation theory. Concerning our title, Singularities and Groups in Bifurcation Theory, it should be mentioned that the present text is the first volume in a two-volume sequence. In this volume our emphasis is on singularity theory, with group theory playing a subordinate role. In Volume II the emphasis will be more balanced. Having made these remarks, Iet us set the context for the discussion of the strengths of the singularity theory approach to bifurcation. As we use the term, bifurcation theory is the study of equations with multiple solutions."

The theory presented in this book is developed constructively, is based on a few axioms encapsulating the notion of objects (points and sets) being apart, and encompasses both point-set topology and the theory of uniform spaces. While the classical-logic-based theory of proximity spaces provides some guidance for the theory of apartness, the notion of nearness/proximity does not embody enough algorithmic information for a deep constructive development. The use of constructive (intuitionistic) logic in this book requires much more technical ingenuity than one finds in classical proximity theory -- algorithmic information does not come cheaply -- but it often reveals distinctions that are rendered invisible by classical logic. In the first chapter the authors outline informal constructive logic and set theory, and, briefly, the basic notions and notations for metric and topological spaces. In the second they introduce axioms for a point-set apartness and then explore some of the consequences of those axioms. In particular, they examine a natural topology associated with an apartness space, and relations between various types of continuity of mappings. In the third chapter the authors extend the notion of point-set (pre-)apartness axiomatically to one of (pre-)apartness between subsets of an inhabited set. They then provide axioms for a quasiuniform space, perhaps the most important type of set-set apartness space. Quasiuniform spaces play a major role in the remainder of the chapter, which covers such topics as the connection between uniform and strong continuity (arguably the most technically difficult part of the book), apartness and convergence in function spaces, types of completeness, and neat compactness. Each chapter has a Notes section, in which are found comments on the definitions, results, and proofs, as well as occasional pointers to future work. The book ends with a Postlude that refers to other constructive approaches to topology, with emphasis on the relation between apartness spaces and formal topology. Largely an exposition of the authors' own research, this is the first book dealing with the apartness approach to constructive topology, and is a valuable addition to the literature on constructive mathematics and on topology in computer science. It is aimed at graduate students and advanced researchers in theoretical computer science, mathematics, and logic who are interested in constructive/algorithmic aspects of topology.

Of the many different approaches to solving partial differential equations numerically, this book studies difference methods. Written for the beginning graduate student in applied mathematics and engineering, this text offers a means of coming out of a course with a large number of methods that provide both theoretical knowledge and numerical experience. The reader will learn that numerical experimentation is a part of the subject of numerical solution of partial differential equations, and will be shown some uses and taught some techniques of numerical experimentation.
Prerequisites suggested for using this book in a course might include at least one semester of partial differential equations and some programming capability. The author stresses the use of technology throughout the text, allowing the student to utilize it as much as possible. The use of graphics for both illustration and analysis is emphasized, and algebraic manipulators are used when convenient. This is the second volume of a two-part book.

The present book builds upon an earlier work of J. Hale, "Theory of Func tional Differential Equations" published in 1977. We have tried to maintain the spirit of that book and have retained approximately one-third of the material intact. One major change was a complete new presentation of lin ear systems (Chapters 6 9) for retarded and neutral functional differential equations. The theory of dissipative systems (Chapter 4) and global at tractors was completely revamped as well as the invariant manifold theory (Chapter 10) near equilibrium points and periodic orbits. A more complete theory of neutral equations is presented (see Chapters 1, 2, 3, 9, and 10). Chapter 12 is completely new and contains a guide to active topics of re search. In the sections on supplementary remarks, we have included many references to recent literature, but, of course, not nearly all, because the subject is so extensive. Jack K. Hale Sjoerd M. Verduyn Lunel Contents Preface............................................................ v Introduction . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1 . . . . . . . . . . . . . . . . . . . . 1. Linear differential difference equations . . . . . . . . . . . . . . 11 . . . . . . 1.1 Differential and difference equations. . . . . . . . . . . . . . . . . . . . 11 . . . . . . . . 1.2 Retarded differential difference equations. . . . . . . . . . . . . . . . 13 . . . . . . . 1.3 Exponential estimates of x( cents, f) . . . . . . . . . . . . . . . . . . . . . 15 . . . . . . . . . . 1.4 The characteristic equation . . . . . . . . . . . . . . . . . . . . . . . . 17 . . . . . . . . . . . . 1.5 The fundamental solution. . . . . . . . . . . . . . . . . . . . . . . . . . 18 . . . . . . . . . . . . 1.6 The variation-of-constants formula............................. 23 1. 7 Neutral differential difference equations . . . . . . . . . . . . . . . . . 25 . . . . . . . 1.8 Supplementary remarks. . . . . . . . . . . . . . . . . . . . . . . . . . . 34 . . . . . . . . . . . . . 2. Functional differential equations: Basic theory . . . . . . . . 38 . . 2.1 Definition of a retarded equation. . . . . . . . . . . . . . . . . . . . . . 38 . . . . . . . . . 2.2 Existence, uniqueness, and continuous dependence . . . . . . . . . . 39 . . . 2.3 Continuation of solutions . . . . . . . . . . . . . . . . . . . . . . . . . . 44 . . . . . . . . . . . ."

When the DFG (Deutsche Forschungsgemeinschaft) launched its collabora tive research centre or SFB (Sonderforschungsbereich) 438 "Mathematical Modelling, Simulation, and Verification in Material-Oriented Processes and Intelligent Systems" in July 1997 at the Technische Vniversitat Munchen and at the Vniversitat Augsburg, southern Bavaria got its second nucleus of the still young discipline scientific computing. Whereas the first and older one, FORTWIHR, the Bavarian Consortium for High Performance Scientific Com puting, had put its main emphasis on the supercomputing aspect, this new initiative was now expected to focus on the mathematical part. Consequently, throughout all of the five main research topics (A) adaptive materials and thin layers, (B) adaptive materials in medicine, (C) robotics, aeronautics, and automobile technology, (D) microstructured devices and systems, and (E) transport processes in flows, mathematical aspects play a predominant role. The formation of the SFB 438 and its scientific program are inextricably linked with the name of Karl-Heinz Hoffmann. As full professor for applied mathematics in Augsburg (1981-1991) and in Munchen (since 1992) and as dean of the faculty of mathematics at the TV Munchen, he was the driv ing force of this fascinating, but not always easy-to-realize idea of bringing together scientists from mathematics, physics, engineering, informatics, and medicine for joint efforts in modern applied mathematics. However, scarcely work had begun when the successful captain was called to take command on a bigger boat."

This book presents in a systematic and almost self-contained way the striking analogy between classical function theory, in particular the value distribution theory of holomorphic curves in projective space, on the one hand, and important and beautiful properties of the Gauss map of minimal surfaces on the other hand. Both theories are developed in the text, including many results of recent research. The relations and analogies between them become completely clear. The book is written for interested graduate students and mathematicians, who want to become more familiar with this modern development in the two classical areas of mathematics, but also for those, who intend to do further research on minimal surfaces.

This corrected third printing retains the authors'main emphasis on ordinary differential equations. It is most appropriate for upper level undergraduate and graduate students in the fields of mathematics, engineering, and applied mathematics, as well as the life sciences, physics and economics. The authors have taken the view that a differential equations theory defines functions; the object of the theory is to understand the behaviour of these functions. The tools the authors use include qualitative and numerical methods besides the traditional analytic methods, and the companion software, MacMath, is designed to bring these notions to life.

This introductory graduate text is based on a graduate course the author has taught repeatedly over the last ten years to students in applied mathematics, engineering sciences, and physics. Each chapter begins with an introductory development involving ordinary differential equations, and goes on to cover such traditional topics as boundary layers and multiple scales. However, it also contains material arising from current research interest, including homogenisation, slender body theory, symbolic computing, and discrete equations. Many of the excellent exercises are derived from problems of up-to-date research and are drawn from a wide range of application areas. One hundred new pages added including new material on transcedentally small terms, Kummer's function, weakly coupled oscillators and wave interactions.

Functional Analysis has become one of the main branches in Chinese mathematics. Many outstanding contributions and results have been achieved over the past sixty years. This authoritative collection is complementary to Western studies in this field, and seeks to summarise and introduce the historical progress of the development of Functional Analysis in China from the 1940s to the present. A broad range of topics is covered, such as nonlinear functional analysis, linear operator theory, theory of operator algebras, applications including the solvability of some partial differential equations, and special spaces that contain Banach spaces and topological vector spaces. Some of these papers have made a significant impact on the mathematical community worldwide. Audience: This volume will be of interest to mathematicians, physicists and engineers at postgraduate level.

The amazing accuracy in verifying quantum effects experimentally has recently renewed interest in quantum mechanical measurement theory. In this book the authors give within the Hilbert space formulation of quantum mechanics a systematic exposition of the quantum theory of measurement. Their approach includes the concepts of unsharp objectification and of nonunitary transformations needed for a unifying description of various detailed investigations. The book addresses advanced students and researchers in physics and philosophy of science. In this second edition Chaps. II-IV have been substantially rewritten. In particular, an insolubility theorem for the objectification problem has been formulated in full generality, which includes unsharp object observables as well as unsharp pointers.

Approach your problems from the right It isn't that they can't see the solution. It end and begin with the answers. Then is that they can't see the problem. one day, perhaps you will find the final question. G. K. Chesterton. The Scandal of Father Brown 'The Point of a Pin'. 'The Hermit Gad in Crane Feathers' in R. van Gulik's The Chinese Maze Murders. Growing specialization and diversification have brought a host of monographs and textbooks on increasingly specialized topics. How ever, the "tree" of knowledge of mathematics and related fields does not grow only by putting forth new branches. It also happens, quite often in fact, that branches which were thought to be completely disparate are suddenly seen to be related. Further, the kind and level of sophistication of mathematics applied in various sciences has changed drastically in recent years: measure theory is used (non-trivially) in regional and theoretical economics; algebraic geometry interacts with physics; the Minkowsky lemma, coding theory and the stI11fture of water meet one another in packing and covering theory; quantum fields, crystal defects and mathematical programming profit from homotopy theory; Lie algebras are relevant to filtering; and prediction and electrical engineering can use Stein spaces. And in addition to this there are such new emerging subdisci plines as "experimental mathematics," "CFD," "completely integrable systems," "chaos, synergetics and large-scale order," which are almost impossible to fit into the existing classifi ation schemes."

In the last 40 years geophysicists have found that it is possible to construct images and even determine important physical characteristics of rocks that can yield information about oil and gas bearing structures in the earth. To make these images and extract this information requires the application of an advanced understanding of the mathematical physics of wave propagation. The oil and gas industry labels a major collection of the necessary seismic data processing methods by the name seismic "migration."
This text ist the first to treat many kinds of migration in a unified mahtematical way. The audience is mathematically oriented geophysicists or applied mathematicians working in the field of "inverse scattering imaging." The text can serve as a bridge between the applied math and geophysics community by presenting geophysicists with a practical introduction to advanced engineering mathematics, while presenting mathematicians with a window into the world of the mathematically sophistiated geophysicist.

This volume has its origin in the Semigroup Symposium which was organized in connection with the 21st International Colloquium on Group Theoretical Methods in Physics (ICGTMP) at Goslar, Germany, July 16-21, 1996. Just as groups are important tools for the description of reversible physical processes, semigroups are indispensable in the description of irreversible physical processes in which a direction of time is distinguished. There is ample evidence of time asymmetry in the microphysical world. The desire to go beyond the stationary systems has generated much recent effort and discussion regarding the application of semigroups to time-asymmetric processes. The book should be of interest to scientists and graduate students