This handbook is the third volume in a series of volumes devoted to self contained and up-to-date surveys in the tehory of ordinary differential equations, written by leading researchers in the area. All contributors have made an additional effort to achieve readability for mathematicians and scientists from other related fields so that the chapters have been made accessible to a wide audience.
These ideas faithfully reflect the spirit of this multi-volume and hopefully it becomes a very useful tool for reseach, learing and teaching. This volumes consists of seven chapters covering a variety of problems in ordinary differential equations. Both pure mathematical research and real word applications are reflected by the contributions to this volume.
- Covers a variety of problems in ordinary differential equations
- Pure mathematical and real world applications
- Written for mathematicians and scientists of many related fields

This volume contains nine essays dealing with historical issues of mathematics. The topics covered span three different approaches to the history of mathematics that may be considered both representative and vital tothe field. The first section, Images of Mathematics, addresses the historiographical and philosophical issues involved in determining the meaning of mathematical history. The second section, Differential Geometry and Analysis, traces the convoluted development of the ideas of differential geometry and analysis. The third section, Research Communities and International Collaboration, discusses the structure and interaction of mathematical communities through studies of the social fabric of the mathematical communities of the U.S. and China.
Please provide.

A unique and thorough investigation of the shift towards Europe-wide energy regulation, markets and business strategies, and the extent to which energy systems have become more liberalised over this period.
"Reshaping of European Gas and Electricity Industries" analyses the key issues facing the European energy industry, from a regulatory, market, and business perspective. Current challenges within the field are also reviewed, including competitive and environmental issues.
* Liberalization: Delivers timely insights into the changes facing the European energy industry in the face of deregulation.
* Competition: A direct look at business and marketing strategies in response to the influx of competition from across the globe.
* Environment: Provides powerful [insights] into the way environmentally-based legislation has now become a key driver of the energy industry in Europe

The book is intended for people (graduates, researchers, but also undergraduates with a good mathematical background) involved in the study of (static) optimization problems (in finite-dimensional spaces). It contains a lot of material, from basic tools of convex analysis to optimality conditions for smooth optimization problems, for non smooth optimization problems and for vector optimization problems.
The development of the subjects are self-contained and the bibliographical references are usually treated in different books (only a few books on optimization theory deal also with vector problems), so the book can be a starting point for further readings in a more specialized literature.
Assuming only a good (even if not advanced) knowledge of mathematical analysis and linear algebra, this book presents various aspects of the mathematical theory in optimization problems. The treatment is performed in finite-dimensional spaces and with no regard to algorithmic questions. After two chapters concerning, respectively, introductory subjects and basic tools and concepts of convex analysis, the book treats extensively mathematical programming problems in the smmoth case, in the nonsmooth case and finally vector optimization problems.
- Self-contained
- Clear style and results are either proved or stated precisely with adequate references
- The authors have several years experience in this field
- Several subjects (some of them non usual in books of this kind) in one single book, including nonsmooth optimization and vector optimization problems
- Useful long references list at the end of each chapter

"Introductory Analysis, Second Edition," is intended for the standard course on calculus limit theories that is taken after a problem solving first course in calculus (most often by junior/senior mathematics majors). Topics studied include sequences, function limits, derivatives, integrals, series, metric spaces, and calculus in n-dimensional Euclidean space

* Bases most of the various limit concepts on sequential limits, which is done first
* Defines function limits by first developing the notion of continuity (with a sequential limit characterization)
* Contains a thorough development of the Riemann integral, improper integrals (including sections on the gamma function and the Laplace transform), and the Stieltjes integral
* Presents general metric space topology in juxtaposition with Euclidean spaces to ease the transition from the concrete setting to the abstract
New to This Edition
* Contains new Exercises throughout
* Provides a simple definition of subsequence
* Contains more information on function limits and L'Hospital's Rule
* Provides clearer proofs about rational numbers and the integrals of Riemann and Stieltjes
* presents an appendix lists all mathematicians named in the text
* Gives a glossary of symbols

The aim of this Handbook is to acquaint the reader with the current status of the theory of evolutionary partial differential equations, and with some of its applications. Evolutionary partial differential equations made their first appearance in the 18th century, in the endeavor to understand the motion of fluids and other continuous media. The active research effort over the span of two centuries, combined with the wide variety of physical phenomena that had to be explained, has resulted in an enormous body of literature. Any attempt to produce a comprehensive survey would be futile. The aim here is to collect review articles, written by leading experts, which will highlight the present and expected future directions of development of the field. The emphasis will be on nonlinear equations, which pose the most challenging problems today.
. Volume I of this Handbook does focus on the abstract theory of evolutionary equations.
. Volume 2 considers more concrete problems relating to specific applications.
. Together they provide a panorama of this amazingly complex and rapidly developing branch of mathematics.

The increased computational power and software tools available to engineers have increased the use and dependence on modeling and computer simulation throughout the design process. These tools have given engineers the capability of designing highly complex systems and computer architectures that were previously unthinkable. Every complex design project, from integrated circuits, to aerospace vehicles, to industrial manufacturing processes requires these new methods. This book fulfills the essential need of system and control engineers at all levels in understanding modeling and simulation. This book, written as a true text/reference has become a standard sr./graduate level course in all EE departments worldwide and all professionals in this area are required to update their skills.
The book provides a rigorous mathematical foundation for modeling and computer simulation. It provides a comprehensive framework for modeling and simulation integrating the various simulation approaches. It covers model formulation, simulation model execution, and the model building process with its key activities model abstraction and model simplification, as well as the organization of model libraries. Emphasis of the book is in particular in integrating discrete event and continuous modeling approaches as well as a new approach for discrete event simulation of continuous processes. The book also discusses simulation execution on parallel and distributed machines and concepts for simulation model realization based on the High Level Architecture (HLA) standard of the Department of Defense.

* Presents a working foundation necessary for compliance with High Level Architecture (HLA) standards
* Provides a comprehensive framework for continuous and discrete event modeling and simulation
* Explores the mathematical foundation of simulation modeling
* Discusses system morphisms for model abstraction and simplification
* Presents a new approach to discrete event simulation of continuous processes
* Includes parallel and distributed simulation of discrete event models
* Presentation of a concept to achieve simulator interoperability in the form of the DEVS-Bus

This book treats modal logic as a theory, with several subtheories, such as completeness theory, correspondence theory, duality theory and transfer theory and is intended as a course in modal logic for students who have had prior contact with modal logic and who wish to study it more deeply. It presupposes training in mathematical or logic. Very little specific knowledge is presupposed, most results which are needed are proved in this book.

This book has evolved from the lecture course on Functional Analysis I had given several times at the ETH. The text has a strict logical order, in the style of "Definition - Theorem - Proof - Example - Exercises". The proofs are rather thorough and there many examples. The first part of the book(the first three chapters, resp. the first two volumes) is devoted to the theory of Banach spaces in the most general sense of the term. The purpose of the first chapter (resp. first volume) is to introduce those results on Banach spaces which are used later or which are closely connected with the book. It therefore only contains a small part of the theory, and several results are stated (and proved) in a diluted form. The second chapter (which together with Chapter 3 makes the second volume) deals with Banach algebras (and involutive Banach algebras), which constitute the main topic of the first part of the book. The third chapter deals with compact operators on Banach spaces and linear (ordinary and partial) differential equations - applications of the, theory of Banach algebras.

This Handbook covers latent variable models, which are a flexible class of models for modeling multivariate data to explore relationships among observed and latent variables.
- Covers a wide class of important models
- Models and statistical methods described provide tools for analyzing a wide spectrum of complicated data
- Includes illustrative examples with real data sets from business, education, medicine, public health and sociology.
- Demonstrates the use of a wide variety of statistical, computational, and mathematical techniques.

Geometric Function Theory is that part of Complex Analysis which covers the theory of conformal and quasiconformal mappings.
Beginning with the classical Riemann mapping theorem, there is a lot of existence theorems for canonical conformal mappings. On the other side there is an extensive theory of qualitative properties of conformal and quasiconformal mappings, concerning mainly a prior estimates, so called distortion theorems (including the Bieberbach conjecture with the proof of the Branges). Here a starting point was the classical Scharz lemma, and then Koebe's distortion theorem.
There are several connections to mathematical physics, because of the relations to potential theory (in the plane). The Handbook of Geometric Function Theory contains also an article about constructive methods and further a Bibliography including applications eg: to electroxtatic problems, heat conduction, potential flows (in the plane).
- A collection of independent survey articles in the field of GeometricFunction Theory
- Existence theorems and qualitative properties of conformal and quasiconformal mappings
- A bibliography, including many hints to applications in electrostatics, heat conduction, potential flows (in the plane).

This monograph provides a comprehensive treatment of expansion theorems for regular systems of first order differential equations and "n"-th order ordinary differential equations.
In 10 chapters and one appendix, it provides a comprehensive treatment from abstract foundations to applications in physics and engineering. The focus is on non-self-adjoint problems. Bounded operators are associated to these problems, and Chapter 1 provides an in depth investigation of eigenfunctions and associated functions for bounded Fredholm valued operators in Banach spaces. Since every "n"-th order differential equation is equivalent
to a first order system, the main techniques are developed for systems. Asymptotic fundamental
systems are derived for a large class of systems of differential equations. Together with boundary
conditions, which may depend polynomially on the eigenvalue parameter, this leads to the definition of Birkhoff and Stone regular eigenvalue problems. An effort is made to make the conditions relatively easy verifiable; this is illustrated with several applications in chapter 10.
The contour integral method and estimates of the resolvent are used to prove expansion theorems.
For Stone regular problems, not all functions are expandable, and again relatively easy verifiable
conditions are given, in terms of auxiliary boundary conditions, for functions to be expandable.
Chapter 10 deals exclusively with applications; in nine sections, various concrete problems such as
the Orr-Sommerfeld equation, control of multiple beams, and an example from meteorology are investigated.

Key features:
Expansion Theorems for Ordinary Differential Equations
Discusses Applications to Problems from Physics and Engineering
Thorough Investigation of Asymptotic Fundamental Matrices and Systems
Provides a Comprehensive Treatment
Uses the Contour Integral Method
Represents the Problems as Bounded Operators
Investigates Canonical Systems of Eigen- and Associated Vectors for Operator Functions
"

The contributors and their methods are diverse. Their papers deal with subjects such as anamorphic art, the geometry of Durer, musical works of Mozart and Beethoven, the history of negative numbers, the development of mathematical notation, and efforts to bring mathematics to bear on problems in commerce and engineering. All papers have English summaries.
This book provides historians of mathematics or mathematicians with an interest in history with an overview of the methods, concerns, and results of research in the history of mathematics as it stands today.

The book is meant to serve two purposes. The first and more obvious one is to present state of the art results in algebraic research into residuated structures related to substructural logics. The second, less obvious but equally important, is to provide a reasonably gentle introduction to algebraic logic. At the beginning, the second objective is predominant. Thus, in the first few chapters the reader will find a primer of universal algebra for logicians, a crash course in nonclassical logics for algebraists, an introduction to residuated structures, an outline of Gentzen-style calculi as well as some titbits of proof theory - the celebrated Hauptsatz, or cut elimination theorem, among them. These lead naturally to a discussion of interconnections between logic and algebra, where we try to demonstrate how they form two sides of the same coin. We envisage that the initial chapters could be used as a textbook for a graduate course, perhaps entitled Algebra and Substructural Logics.
As the book progresses the first objective gains predominance over the second. Although the precise point of equilibrium would be difficult to specify, it is safe to say that we enter the technical part with the discussion of various completions of residuated structures. These include Dedekind-McNeille completions and canonical extensions. Completions are used later in investigating several finiteness properties such as the finite model property, generation of varieties by their finite members, and finite embeddability. The algebraic analysis of cut elimination that follows, also takes recourse to completions. Decidability of logics, equational and quasi-equational theories comes next, where we show how proof theoretical methods like cut elimination are preferable for small logics/theories, but semantic tools like Rabin's theorem work better for big ones. Then we turn to Glivenko's theorem, which says that a formula is an intuitionistic tautology if and only if its double negation is a classical one. We generalise it to the substructural setting, identifying for each substructural logic its Glivenko equivalence class with smallest and largest element. This is also where we begin investigating lattices of logics and varieties, rather than particular examples. We continue in this vein by presenting a number of results concerning minimal varieties/maximal logics. A typical theorem there says that for some given well-known variety its subvariety lattice has precisely such-and-such number of minimal members (where values for such-and-such include, but are not limited to, continuum, countably many and two). In the last two chapters we focus on the lattice of varieties corresponding to logics without contraction. In one we prove a negative result: that there are no nontrivial splittings in that variety. In the other, we prove a positive one: that semisimple varieties coincide with discriminator ones.
Within the second, more technical part of the book another transition process may be traced. Namely, we begin with logically inclined technicalities and end with algebraically inclined ones. Here, perhaps, algebraic rendering of Glivenko theorems marks the equilibrium point, at least in the sense that finiteness properties, decidability and Glivenko theorems are of clear interest to logicians, whereas semisimplicity and discriminator varieties are universal algebra par exellence. It is for the reader to judge whether we succeeded in weaving these threads into a seamless fabric.
- Considers both the algebraic and logical perspective within a common framework.
- Written by experts in the area.
- Easily accessible to graduate students and researchers from other fields.
- Results summarized in tables and diagrams to provide an overview of the area.
- Useful as a textbook for a course in algebraic logic, with exercises and suggested research directions.
- Provides a concise introduction to the subject and leads directly to research topics.
- The ideas from algebra and logic are developed hand-in-hand and the connections are shown in every level.

Real Reductive Groups I is an introduction to the representation theory of real reductive groups. It is based on courses that the author has given at Rutgers for the past 15 years. It also had its genesis in an attempt of the author to complete a manuscript of the lectures that he gave at the CBMS regional conference at The University of North Carolina at Chapel Hill in June of 1981. This book comprises 10 chapters and begins with some background material as an introduction. The following chapters then discuss elementary representation theory; real reductive groups; the basic theory of (g, K)-modules; the asymptotic behavior of matrix coefficients; The Langlands Classification; a construction of the fundamental series; cusp forms on G; character theory; and unitary representations and (g, K)-cohomology. This book will be of interest to mathematicians and statisticians.

Scientific Computing and Differential Equations: An Introduction to Numerical Methods, is an excellent complement to Introduction to Numerical Methods by Ortega and Poole. The book emphasizes the importance of solving differential equations on a computer, which comprises a large part of what has come to be called scientific computing. It reviews modern scientific computing, outlines its applications, and places the subject in a larger context.
This book is appropriate for upper undergraduate courses in mathematics, electrical engineering, and computer science; it is also well-suited to serve as a textbook for numerical differential equations courses at the graduate level.

* An introductory chapter gives an overview of scientific computing, indicating its important role in solving differential equations, and placing the subject in the larger environment
* Contains an introduction to numerical methods for both ordinary and partial differential equations
* Concentrates on ordinary differential equations, especially boundary-value problems
* Contains most of the main topics for a first course in numerical methods, and can serve as a text for this course
* Uses material for junior/senior level undergraduate courses in math and computer science plus material for numerical differential equations courses for engineering/science students at the graduate level

There has been a common perception that computational complexity is a theory of "bad news" because its most typical results assert that various real-world and innocent-looking tasks are infeasible. In fact, "bad news" is a relative term, and, indeed, in some situations (e.g., in cryptography), we want an adversary to not be able to perform a certain task. However, a "bad news" result does not automatically become useful in such a scenario. For this to happen, its hardness features have to be quantitatively evaluated and shown to manifest extensively.
The book undertakes a quantitative analysis of some of the major results in complexity that regard either classes of problems or individual concrete problems. The size of some important classes are studied using resource-bounded topological and measure-theoretical tools. In the case of individual problems, the book studies relevant quantitative attributes such as approximation properties or the number of hard inputs at each length.
One chapter is dedicated to abstract complexity theory, an older field which, however, deserves attention because it lays out the foundations of complexity. The other chapters, on the other hand, focus on recent and important developments in complexity. The book presents in a fairly detailed manner concepts that have been at the centre of the main research lines in complexity in the last decade or so, such as: average-complexity, quantum computation, hardness amplification, resource-bounded measure, the relation between one-way functions and pseudo-random generators, the relation between hard predicates and pseudo-random generators, extractors, derandomization of bounded-error probabilistic algorithms, probabilistically checkable proofs, non-approximability of optimization problems, and others.
The book should appeal to graduate computer science students, and to researchers who have an interest in computer science theory and need a good understanding of computational complexity, e.g., researchers in algorithms, AI, logic, and other disciplines.
-Emphasis is on relevant quantitative attributes of important results in complexity.
-Coverage is self-contained and accessible to a wide audience.
-Large range of important topics including: derandomization techniques, non-approximability of optimization problems, average-case complexity, quantum computation, one-way functions and pseudo-random generators, resource-bounded measure and topology.

This volume introduces a unified, self-contained study of linear discrete parabolic problems through reducing the starting discrete problem to the Cauchy problem for an evolution equation in discrete time. Accessible to beginning graduate students, the book contains a general stability theory of discrete evolution equations in Banach space and gives applications of this theory to the analysis of various classes of modern discretization methods, among others, Runge-Kutta and linear multistep methods as well as operator splitting methods.

Key features:

* Presents a unified approach to examining discretization methods for parabolic equations.
* Highlights a stability theory of discrete evolution equations (discrete semigroups) in Banach space.
* Deals with both autonomous and non-autonomous equations as well as with equations with memory.
* Offers a series of numerous well-posedness and convergence results for various discretization methods as applied to abstract parabolic equations; among others, Runge-Kutta and linear multistep methods as well as certain operator splitting methods.
* Provides comments of results and historical remarks after each chapter.
. Presents a unified approach to examining discretization methods for parabolic equations.
. Highlights a stability theory of discrete evolution equations (discrete semigroups) in Banach space.
. Deals with both autonomous and non-autonomous equations as well as with equations with memory.
. Offers a series of numerous well-posedness and convergence results for various discretization methods as applied to abstract parabolic equations; among others, Runge-Kutta and linear multistep methods as well as certain operator splitting methods as well as certain operator splitting methods are studied in detail.
.Provides comments of results and historical remarks after each chapter."

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 classic work has been fundamentally revised to take account of recent developments in general topology. The first three chapters remain unchanged except for numerous minor corrections and additional exercises, but chapters IV-VII and the new chapter VIII cover the rapid changes that have occurred since 1968 when the first edition appeared.
The reader will find many new topics in chapters IV-VIII, e.g. theory of Wallmann-Shanin's compactification, realcompact space, various generalizations of paracompactness, generalized metric spaces, Dugundji type extension theory, linearly ordered topological space, theory of cardinal functions, dyadic space, etc., that were, in the author's opinion, mostly special or isolated topics some twenty years ago but now settle down into the mainstream of general topology.

This Handbook treats those parts of the theory of Boolean algebras of most interest to pure mathematicians: the set-theoretical abstract theory and applications and relationships to measure theory, topology, and logic. It is divided into two parts (published in three volumes). Part I (volume 1) is a comprehensive, self-contained introduction to the set-theoretical aspects of the theory of Boolean Algebras. It includes, in addition to a systematic introduction of basic algebra and topological ideas, recent developments such as the Balcar-Franek and Shelah-Shapirovskii results on free subalgebras. Part II (volumes 2 and 3) contains articles on special topics describing - mostly with full proofs - the most recent results in special areas such as automorphism groups, Ketonen's theorem, recursive Boolean algebras, and measure algebras.

This text brings the reader to the frontiers of current research in topological rings. The exercises illustrate many results and theorems while a comprehensive bibliography is also included.

The book is aimed at those readers acquainted with some very basic point-set topology and algebra, as normally presented in semester courses at the beginning graduate level or even at the advanced undergraduate level. Familiarity with Hausdorff, metric, compact and locally compact spaces and basic properties of continuous functions, also with groups, rings, fields, vector spaces and modules, and with Zorn's Lemma, is also expected.