Series: Universitext
1st Edition., 2011, X, 194 p.
Softcover, ISBN 978-1-4471-2175-6
Due: September 30, 2011
Mathematical Logic and Model Theory: A Brief Introduction offers a streamlined yet easy-to-read introduction to mathematical logic and basic model theory. It presents, in a self-contained manner, the essential aspects of model theory needed to understand model theoretic algebra.
As a profound application of model theory in algebra, the last part of this book develops a complete proof of Ax and Kochen's work on Artin's conjecture about Diophantine properties of p-adic number fields.
The character of model theoretic constructions and results differ quite significantly from that commonly found in algebra, by the treatment of formulae as mathematical objects. It is therefore indispensable to first become familiar with the problems and methods of mathematical logic. Therefore, the text is divided into three parts: an introduction into mathematical logic (Chapter 1), model theory (Chapters 2 and 3), and the model theoretic treatment of several algebraic theories (Chapter 4).
This book will be of interest to both advanced undergraduate and graduate students studying model theory and its applications to algebra. It may also be used for self-study
First-Order Logic.- Model Constructions.- Properties of Model Classes.- Model Theory of Several Algebraic Theories
Series: Stochastic Modelling and Applied Probability, Vol. 66
Originally published in Russian, by Nauka, Moskow 1969. 1st English ed. published 1980 under R.Z. Has'minski in the series Mechanics: Analysis by Sijthoff & Noordhoff.
2011, XVIII, 330 p. 4 illus.
Hardcover, ISBN 978-3-642-23279-4
Due: August 31, 2011
Since the publication of the first edition of the present volume in 1980, the stochastic stability of differential equations has become a very popular subject of research in mathematics and engineering. To date exact formulas for the Lyapunov exponent, the criteria for the moment and almost sure stability, and for the existence of stationary and periodic solutions of stochastic differential equations have been widely used in the literature. In this updated volume readers will find important new results on the moment Lyapunov exponent, stability index and some other fields, obtained after publication of the first edition, and a significantly expanded bibliography.
This volume provides a solid foundation for students in graduate courses in mathematics and its applications. It is also useful for those researchers who would like to learn more about this subject, to start their research in this area or to study the properties of concrete mechanical systems subjected to random perturbations.
Boundedness in Probability and Stability of Stochastic Processes Defined by Differential Equations.- 2.Stationary and Periodic Solutions of Differential Equations. 3.Markov Processes and Stochastic Differential Equations.- 4.Ergodic Properties of Solutions of Stochastic Equations.- 5.Stability of Stochastic Differential Equations.- 6.Systems of Linear Stochastic Equations.- 7.Some Special Problems in the Theory of Stability of SDE’s.- 8.Stabilization of Controlled Stochastic Systems.- A. Appendix to the First English Edition.- B. Appendix to the Second Edition. Moment Lyapunov Exponents and Stability Index.- References.- Index.
Series: Understanding Complex Systems
1st Edition., 2011, X, 355 p. 176 illus., 48 in color.
Hardcover, ISBN 978-3-642-21921-4
Due: September 30, 2011
Chaos and nonlinear dynamics initially developed as a new emergent field with its foundation in physics and applied mathematics. The highly generic, interdisciplinary quality of the insights gained in the last few decades has spawned myriad applications in almost all branches of science and technology?and even well beyond. Wherever quantitative modeling and analysis of complex, nonlinear phenomena is required, chaos theory and its methods can play a key role.
This volume concentrates on reviewing the most relevant contemporary applications of chaotic nonlinear systems as they apply to the various cutting-edge branches of engineering. The book covers the theory as applied to robotics, electronic and communication engineering (for example chaos synchronization and cryptography) as well as to civil and mechanical engineering, where its use in damage monitoring and control is explored). Featuring contributions from active and leading research groups, this collection is ideal both as a reference and as a ‘recipe book’ full of tried and tested, successful engineering applications
Introduction.- Relevance of Chaos to Fluid Turbulence.- Turbulent Shear Flows.- Chaos Control Methodologies.- Application of Chaos Control Techniques to Flow Control.- Flow Past External Bodies and Their Wake Control.- Conclusions and Future Directions.
Series: Springer Monographs in Mathematics
1st Edition., 2011, X, 162 p. 29 illus., 3 in color.
Hardcover, ISBN 978-3-642-21583-4
Due: September 30, 2011
Complex, microstructured materials are widely used in industry and technology and include alloys, ceramics and composites. Focusing on non-destructive evaluation (NDE), this book explores in detail the mathematical modeling and inverse problems encountered when using ultrasound to investigate heterogeneous microstructured materials. The outstanding features of the text are firstly, a clear description of both linear and nonlinear mathematical models derived for modelling the propagation of ultrasonic deformation waves, and secondly, the provision of solutions to the corresponding inverse problems that determine the physical parameters of the models. The data are related to nonlinearities at both a macro- and micro- level, as well as to dispersion.
The authors’ goal has been to construct algorithms that allow us to determine the parameters within which we are required to characterize microstructure. To achieve this, the authors not only use conventional harmonic waves, but also propose a novel methodology based on using solitary waves in NDE. The book analyzes the uniqueness and stability of the solutions, in addition to providing numerical examples.
Introduction.- 1 Inverse problems and non-destructive evaluation.- 2 Mathematical models of microstructured solids.- 3 Linear waves.- 4 Inverse problems for linear waves.- 5 Solitary waves in nonlinear models.- 6 Inverse problems for solitary waves.- 7 Summary.- References.- Index
1st Edition., 2011, X, 118 p. 50 illus.
Hardcover, ISBN 978-0-85729-783-9
Due: September 30, 2011
The subject of Partial Differential Equations (PDEs) which first emerged in the 18th century holds an exciting and special position in the applications relating to the mathematical modelling of physical phenomena. The subject of PDEs has been developed by major names in applied mathematics such as Euler, Legendre, Laplace and Fourier and has applications to each and every physical phenomenon known to us e.g. fluid flow, elasticity, electricity and magnetism, weather forecasting and financial modelling.
This book introduces the recent developments of PDEs in the field of geometric design particularly for computer based design and analysis involving the geometry of physical objects. Starting from the basic theory through to the discussion of practical applications the book describes how PDEs can be used in the area of Computer Aided Design and Simulation Based Design. Extensive examples with real life applications of PDEs in the area of geometric design are discussed in the book.
Elementary Mathematics for Geometric Design.-Introduction to Geometric Design.-Introduction to Partial Differential Equations.-Elliptic PDEs for Geometric Design.-Interactive Design.-Parametric Design.-Functional Design.-Other Applications.-Conclusions.