Stochastic Filtering Theory uses probability tools to estimate unobservable stochastic processes that arise in many applied fields including communication, target-tracking, and mathematical finance.
As a topic, Stochastic Filtering Theory has progressed rapidly in recent years. For example, the (branching) particle system representation of the optimal filter has been extensively studied to seek more effective numerical approximations of the optimal filter; the stability of the filter with "incorrect" initial state, as well as the long-term behavior of the optimal filter, has attracted the attention of many researchers; and although still in its infancy, the study of singular filtering models has yielded exciting results.
In this text, Jie Xiong introduces the reader to the basics of Stochastic Filtering Theory before covering these key recent advances. The text is written in a style suitable for graduates in mathematics and engineering with a background in basic probability.

The theory of difference equations is now enjoying a period of Renaissance. Witness the large number of papers in which problems, having at first sight no common features, are reduced to the investigation of subsequent iterations of the maps f* IR. m ~ IR. m, m > 0, or (which is, in fact, the same) to difference equations The world of difference equations, which has been almost hidden up to now, begins to open in all its richness. Those experts, who usually use differential equations and, in fact, believe in their universality, are now discovering a completely new approach which re sembles the theory of ordinary differential equations only slightly. Difference equations, which reflect one of the essential properties of the real world-its discreteness-rightful ly occupy a worthy place in mathematics and its applications. The aim of the present book is to acquaint the reader with some recently discovered and (at first sight) unusual properties of solutions for nonlinear difference equations. These properties enable us to use difference equations in order to model complicated os cillating processes (this can often be done in those cases when it is difficult to apply ordinary differential equations). Difference equations are also a useful tool of syn ergetics- an emerging science concerned with the study of ordered structures. The application of these equations opens up new approaches in solving one of the central problems of modern science-the problem of turbulence.

An approach to complexity theory which offers a means of analysing algorithms in terms of their tractability. The authors consider the problem in terms of parameterized languages and taking "k-slices" of the language, thus introducing readers to new classes of algorithms which may be analysed more precisely than was the case until now. The book is as self-contained as possible and includes a great deal of background material. As a result, computer scientists, mathematicians, and graduate students interested in the design and analysis of algorithms will find much of interest.

This new edition of Lax, Burstein, and Lax's Calculus with Applications and Computing offers meaningful explanations of the important theorems of single variable calculus. Written with students in mathematics, the physical sciences, and engineering in mind, and revised with their help, it shows that the themes of calculation, approximation, and modeling are central to mathematics and the main ideas of single variable calculus. This edition brings the innovation of the first edition to a new generation of students. New sections in this book use simple, elementary examples to show that when applying calculus concepts to approximations of functions, uniform convergence is more natural and easier to use than point-wise convergence. As in the original, this edition includes material that is essential for students in science and engineering, including an elementary introduction to complex numbers and complex-valued functions, applications of calculus to modeling vibrations and population dynamics, and an introduction to probability and information theory."

This is an introductory book on supercomputer applications written by a researcher who is working on solving scientific and engineering application problems on parallel computers. The book is intended to quickly bring researchers and graduate students working on numerical solutions of partial differential equations with various applications into the area of parallel processing.The book starts from the basic concepts of parallel processing, like speedup, efficiency and different parallel architectures, then introduces the most frequently used algorithms for solving PDEs on parallel computers, with practical examples. Finally, it discusses more advanced topics, including different scalability metrics, parallel time stepping algorithms and new architectures and heterogeneous computing networks which have emerged in the last few years of high performance computing. Hundreds of references are also included in the book to direct interested readers to more detailed and in-depth discussions of specific topics.

This volume of the Proceedings of the congress ISAAC '97 collects the con tributions of the four sections 1. Function theoretic and functional analytic methods for pde, 2. Applications of function theory of several complex variables to pde, 3. Integral equations and boundary value problems, 4. Partial differential equations. Most but not all of the authors have participated in the congress. Unfortunately some from Eastern Europe and Asia have not managed to come because of lack of financial support. Nevertheless their manuscripts of the proposed talks are included in this volume. The majority of the papers deal with complex methods. Among them boundary value problems in particular the Riemann-Hilbert, the Riemann (Hilbert) and related problems are treated. Boundary behaviour of vector-valued functions are studied too. The Riemann-Hilbert problem is solved for elliptic complex equations, for mixed complex equations, and for several complex variables. It is considered in a general topological setting for mappings into q;n and related to Toeplitz operators. Convolution operators are investigated for nilpotent Lie groups leading to some consequences for the null space of the tangential Cauchy Riemann operator. Some boundary value problems for overdetermined systems in balls of q;n are solved explicitly. A survey is given for the Gauss-Manin connection associated with deformations of curve singularities. Several papers deal with generalizations of analytic functions with various applications to mathematical physics. Singular integrals in quaternionic anal ysis are studied which are applied to the time-harmonic Maxwell equations."

This book is designed for graduate students to acquire knowledge of dimension theory, ANR theory (theory of retracts), and related topics. These two theories are connected with various fields in geometric topology and in general topology as well. Hence, for students who wish to research subjects in general and geometric topology, understanding these theories will be valuable. Many proofs are illustrated by figures or diagrams, making it easier to understand the ideas of those proofs. Although exercises as such are not included, some results are given with only a sketch of their proofs. Completing the proofs in detail provides good exercise and training for graduate students and will be useful in graduate classes or seminars.

Researchers should also find this book very helpful, because it contains many subjects that are not presented in usual textbooks, e.g., dim "X" x I = dim "X" + 1 for a metrizable space "X"; the difference between the small and large inductive dimensions; a hereditarily infinite-dimensional space; the ANR-ness of locally contractible countable-dimensional metrizable spaces; an infinite-dimensional space with finite cohomological dimension; a dimension raising cell-like map; and a non-AR metric linear space. The final chapter enables students to understand how deeply related the two theories are.

Simplicial complexes are very useful in topology and are indispensable for studying the theories of both dimension and ANRs. There are many textbooks from which some knowledge of these subjects can be obtained, but no textbook discusses non-locally finite simplicial complexes in detail. So, when we encounter them, we have to refer to the original papers. For instance, J.H.C. Whitehead's theorem on small subdivisions is very important, but its proof cannot be found in any textbook. The homotopy type of simplicial complexes is discussed in textbooks on algebraic topology using CW complexes, but geometrical arguments using simplicial complexes are rather easy."

Contains well-chosen examples and exercises

A student-friendly introduction that follows a workbook type approach

Nonstandard Methods of Analysis is concerned with the main trends in this field; infinitesimal analysis and Boolean-valued analysis. The methods that have been developed in the last twenty-five years are explained in detail, and are collected in book form for the first time. Special attention is paid to general principles and fundamentals of formalisms for infinitesimals as well as to the technique of descents and ascents in a Boolean-valued universe. The book also includes various novel applications of nonstandard methods to ordered algebraic systems, vector lattices, subdifferentials, convex programming etc. that have been developed in recent years. For graduate students, postgraduates and all researchers interested in applying nonstandard methods in their work.

Since the building of all the Universe is perfect and is cre- ated by the wisdom Creator, nothing arises in the Universe in which one cannot see the sense of some maXImum or mInImUm Euler God moves the Universe along geometrical lines Plato Mathematical models of most closed physical systems are based on vari- ational principles, i.e., it is postulated that equations describing the evolu- tion of a system are the Euler~Lagrange equations of a certain functional. In this connection, variational methods are one of the basic tools for studying many problems of natural sciences. The first problems related to the search for extrema appeared as far back as in ancient mathematics. They go back to Archimedes, Appolonius, and Euclid. In many respects, the problems of seeking maxima and minima have stimulated the creation of differential calculus; the variational prin- ciples of optics and mechanics, which were discovered in the seventeenth and eighteenth centuries, gave impetus to an intensive development of the calculus of variations. In one way or another, variational problems were of interest to such giants of natural sciences as Fermat, Newton, Descartes, Euler, Huygens, 1. Bernoulli, J. Bernoulli, Legendre, Jacobi, Kepler, La- grange, and Weierstrass.

The theory of operator algebras acting on a Hilbert space was initiated in thirties by papers of Murray and von Neumann. In these papers they have studied the structure of algebras which later were called von Neu mann algebras or W* -algebras. They are weakly closed complex *-algebras of operators on a Hilbert space. At present the theory of von Neumann algebras is a deeply developed theory with various applications. In the framework of von Neumann algebras theory the study of fac tors (i.e. W* -algebras with trivial centres) is very important, since they are comparatively simple and investigation of general W* -algebras can be reduced to the case of factors. Therefore the theory of factors is one of the main tools in the structure theory of von Neumann algebras. In the middle of sixtieth Topping [To 1] and Stormer [S 2] have ini tiated the study of Jordan (non associative and real) analogues of von Neumann algebras - so called JW-algebras, i.e. real linear spaces of self adjoint opera.tors on a complex Hilbert space, which contain the identity operator 1. closed with respect to the Jordan (i.e. symmetrised) product INTRODUCTION 2 x 0 y = ~(Xy + yx) and closed in the weak operator topology. The structure of these algebras has happened to be close to the struc ture of von Neumann algebras and it was possible to apply ideas and meth ods similar to von Neumann algebras theory in the study of JW-algebras.

An up-to-date and unified treatment of bifurcation theory for variational inequalities in reflexive spaces and the use of the theory in a variety of applications, such as: obstacle problems from elasticity theory, unilateral problems; torsion problems; equations from fluid mechanics and quasilinear elliptic partial differential equations. The tools employed are those of modern nonlinear analysis. Accessible to graduate students and researchers who work in nonlinear analysis, nonlinear partial differential equations, and additional research disciplines that use nonlinear mathematics.

In this book the theory of hyperbolic sets is developed, both for diffeomorphisms and flows, with an emphasis on shadowing. We show that hyperbolic sets are expansive and have the shadowing property. Then we use shadowing to prove that hyperbolic sets are robust under perturbation, that they have an asymptotic phase property and also that the dynamics near a transversal homoclinic orbit is chaotic. It turns out that chaotic dynamical systems arising in practice are not quite hyperbolic. However, they possess enough hyperbolicity to enable us to use shadowing ideas to give computer-assisted proofs that computed orbits of such systems can be shadowed by true orbits for long periods of time, that they possess periodic orbits of long periods and that it is really true that they are chaotic. Audience: This book is intended primarily for research workers in dynamical systems but could also be used in an advanced graduate course taken by students familiar with calculus in Banach spaces and with the basic existence theory for ordinary differential equations.

Extending the well-known connection between classical linear potential theory and probability theory (through the interplay between harmonic functions and martingales) to the nonlinear case of tug-of-war games and their related partial differential equations, this unique book collects several results in this direction and puts them in an elementary perspective in a lucid and self-contained fashion.

Multigrid Methods for Finite Elements combines two rapidly developing fields: finite element methods, and multigrid algorithms. At the theoretical level, Shaidurov justifies the rate of convergence of various multigrid algorithms for self-adjoint and non-self-adjoint problems, positive definite and indefinite problems, and singular and spectral problems. At the practical level these statements are carried over to detailed, concrete problems, including economical constructions of triangulations and effective work with curvilinear boundaries, quasilinear equations and systems. Great attention is given to mixed formulations of finite element methods, which allow the simplification of the approximation of the biharmonic equation, the steady-state Stokes, and Navier--Stokes problems.

The classical optimal control theory deals with the determination of an optimal control that optimizes the criterion subjects to the dynamic constraint expressing the evolution of the system state under the influence of control variables. If this is extended to the case of multiple controllers (also called players) with different and sometimes conflicting optimization criteria (payoff function) it is possible to begin to explore differential games. Zero-sum differential games, also called differential games of pursuit, constitute the most developed part of differential games and are rigorously investigated. In this book, the full theory of differential games of pursuit with complete and partial information is developed. Numerous concrete pursuit-evasion games are solved ("life-line" games, simple pursuit games, etc.), and new time-consistent optimality principles in the n-person differential game theory are introduced and investigated.

This book, intended for researchers and graduate students in physics, applied mathematics and engineering, presents a detailed comparison of the important methods of solution for linear differential and difference equations - variation of constants, reduction of order, Laplace transforms and generating functions - bringing out the similarities as well as the significant differences in the respective analyses. Equations of arbitrary order are studied, followed by a detailed analysis for equations of first and second order. Equations with polynomial coefficients are considered and explicit solutions for equations with linear coefficients are given, showing significant differences in the functional form of solutions of differential equations from those of difference equations. An alternative method of solution involving transformation of both the dependent and independent variables is given for both differential and difference equations. A comprehensive, detailed treatment of Green's functions and the associated initial and boundary conditions is presented for differential and difference equations of both arbitrary and second order. A dictionary of difference equations with polynomial coefficients provides a unique compilation of second order difference equations obeyed by the special functions of mathematical physics. Appendices augmenting the text include, in particular, a proof of Cramer's rule, a detailed consideration of the role of the superposition principal in the Green's function, and a derivation of the inverse of Laplace transforms and generating functions of particular use in the solution of second order linear differential and difference equations with linear coefficients.

This monograph presents the newly developed method of rigged Hilbert spaces as a modern approach in singular perturbation theory. A key notion of this approach is the Lax-Berezansky triple of Hilbert spaces embedded one into another, which specifies the well-known Gelfand topological triple. All kinds of singular interactions described by potentials supported on small sets (like the Dirac -potentials, fractals, singular measures, high degree super-singular expressions) admit a rigorous treatment only in terms of the equipped spaces and their scales. The main idea of the method is to use singular perturbations to change inner products in the starting rigged space, and the construction of the perturbed operator by the Berezansky canonical isomorphism (which connects the positive and negative spaces from a new rigged triplet). The approach combines three powerful tools of functional analysis based on the Birman-Krein-Vishik theory of self-adjoint extensions of symmetric operators, the theory of singular quadratic forms, and the theory of rigged Hilbert spaces. The book will appeal to researchers in mathematics and mathematical physics studying the scales of densely embedded Hilbert spaces, the singular perturbations phenomenon, and singular interaction problems.

Introduction to Dynamical Systems and Geometric Mechanics provides a comprehensive tour of two fields that are intimately entwined: dynamical systems is the study of the behavior of physical systems that may be described by a set of nonlinear first-order ordinary differential equations in Euclidean space, whereas geometric mechanics explore similar systems that instead evolve on differentiable manifolds. The first part discusses the linearization and stability of trajectories and fixed points, invariant manifold theory, periodic orbits, Poincare maps, Floquet theory, the Poincare-Bendixson theorem, bifurcations, and chaos. The second part of the book begins with a self-contained chapter on differential geometry that introduces notions of manifolds, mappings, vector fields, the Jacobi-Lie bracket, and differential forms.

Nonlinear partial differential equations abound in modern physics. The problems arising in these fields lead to fascinating questions and, at the same time, progress in understanding the mathematical structures is of great importance to the models. Nevertheless, activity in one of the approaches is not always sufficiently in touch with developments in the other field. The book presents the joint efforts of mathematicians and physicists involved in modelling reactive flows, in particular superconductivity and superfluidity. Certain contributions are fundamental to an understanding of such cutting-edge research topics as rotating Bose-Einstein condensates, Kolmogorov-Zakharov solutions for weak turbulence equations, and the propagation of fronts in heterogeneous media.

The first six chapters and Appendix 1 of this book appeared in Japanese in a book of the same title 15years aga (Jikkyo, Tokyo, 1980).At the request of some people who do not wish to learn Japanese, I decided to rewrite my old work in English. This time, I added a chapter on the arithmetic of quadratic maps (Chapter 7) and Appendix 2, A Short Survey of Subsequent Research on Congruent Numbers, by M. Kida. Some 20 years ago, while rifling through the pages of Selecta Heinz Hopj (Springer, 1964), I noticed a system of three quadratic forms in four variables with coefficientsin Z that yields the map of the 3-sphere to the 2-sphere with the Hopf invariant r =1 (cf. Selecta, p. 52). Immediately I feit that one aspect of classical and modern number theory, including quadratic forms (Pythagoras, Fermat, Euler, and Gauss) and space elliptic curves as intersection of quadratic surfaces (Fibonacci, Fermat, and Euler), could be considered as the number theory of quadratic maps-especially of those maps sending the n-sphere to the m-sphere, i.e., the generalized Hopf maps. Having these in mind, I deliveredseverallectures at The Johns Hopkins University (Topics in Number Theory, 1973-1974, 1975-1976, 1978-1979, and 1979-1980). These lectures necessarily contained the following three basic areas of mathematics: v vi Preface Theta Simple Functions Aigebras Elliptic Curves Number Theory Figure P.l.

This volume contains the proceedings of the 19th International Conference on Difference Equations and Applications, held at Sultan Qaboos University, Muscat, Oman in May 2013. The conference brought together experts and novices in the theory and applications of difference equations and discrete dynamical systems. The volume features papers in difference equations and discrete time dynamical systems with applications to mathematical sciences and, in particular, mathematical biology, ecology, and epidemiology. It includes four invited papers and eight contributed papers. Topics covered include: competitive exclusion through discrete time models, Benford solutions of linear difference equations, chaos and wild chaos in Lorenz-type systems, advances in periodic difference equations, the periodic decomposition problem, dynamic selection systems and replicator equations, and asymptotic equivalence of difference equations in Banach Space. This book will appeal to researchers, scientists, and educators who work in the fields of difference equations, discrete time dynamical systems and their applications.

1 More than thirty years after its discovery by Abraham Robinson, the ideas and techniques of Nonstandard Analysis (NSA) are being applied across the whole mathematical spectrum, as well as constituting an im portant field of research in their own right. The current methods of NSA now greatly extend Robinson's original work with infinitesimals. However, while the range of applications is broad, certain fundamental themes re cur. The nonstandard framework allows many informal ideas (that could loosely be described as idealisation) to be made precise and tractable. For example, the real line can (in this framework) be treated simultaneously as both a continuum and a discrete set of points; and a similar dual ap proach can be used to link the notions infinite and finite, rough and smooth. This has provided some powerful tools for the research mathematician - for example Loeb measure spaces in stochastic analysis and its applications, and nonstandard hulls in Banach spaces. The achievements of NSA can be summarised under the headings (i) explanation - giving fresh insight or new approaches to established theories; (ii) discovery - leading to new results in many fields; (iii) invention - providing new, rich structures that are useful in modelling and representation, as well as being of interest in their own right. The aim of the present volume is to make the power and range of appli cability of NSA more widely known and available to research mathemati cians."

The book deals with the representation in series form of compact linear operators acting between Banach spaces, and provides an analogue of the classical Hilbert space results of this nature that have their roots in the work of D. Hilbert, F. Riesz and E. Schmidt. The representation involves a recursively obtained sequence of points on the unit sphere of the initial space and a corresponding sequence of positive numbers that correspond to the eigenvectors and eigenvalues of the map in the Hilbert space case. The lack of orthogonality is partially compensated by the systematic use of polar sets. There are applications to the p-Laplacian and similar nonlinear partial differential equations. Preliminary material is presented in the first chapter, the main results being established in Chapter 2. The final chapter is devoted to the problems encountered when trying to represent non-compact maps.