This specialized and authoritative book contains an overview of modern approaches to constructing approximations to solutions of ill-posed operator equations, both linear and nonlinear. These approximation schemes form a basis for implementable numerical algorithms for the stable solution of operator equations arising in contemporary mathematical modeling, and in particular when solving inverse problems of mathematical physics. The book presents in detail stable solution methods for ill-posed problems using the methodology of iterative regularization of classical iterative schemes and the techniques of finite dimensional and finite difference approximations of the problems under study. Special attention is paid to ill-posed Cauchy problems for linear operator differential equations and to ill-posed variational inequalities and optimization problems. The readers are expected to have basic knowledge in functional analysis and differential equations. The book will be of interest to applied mathematicians and specialists in mathematical modeling and inverse problems, and also to advanced students in these fields. Contents Introduction Regularization Methods For Linear Equations Finite Difference Methods Iterative Regularization Methods Finite-Dimensional Iterative Processes Variational Inequalities and Optimization Problems

Operational methods have been used for over a century to solve problems such as ordinary and partial differential equations. When solving such problems, in many cases it is fairly easy to obtain the Laplace transform, while it is very demanding to determine the inverse Laplace transform which is the solution of a given problem. Sometimes, after some difficult contour integration we may find that a series solution results, but this may be quite difficult to evaluate in order to get an answer at a particular time value. The advent of computers has given an impetus to developing numerical methods for the determination of the inverse Laplace transform. This book gives background material on the theory of Laplace transforms, together with a fairly comprehensive list of methods which are available at the current time. Computer programs are included for those methods which perform consistently well on a wide range of Laplace transforms.

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.

Congestion Control in Data Transmission Networks details the modeling and control of data traffic in communication networks. It shows how various networking phenomena can be represented in a consistent mathematical framework suitable for rigorous formal analysis. The monograph differentiates between fluid-flow continuous-time traffic models, discrete-time processes with constant sampling rates, and sampled-data systems with variable discretization periods.
The authors address a number of difficult real-life problems, such as:
optimal control of flows with disparate, time-varying delay;
the existence of source and channel nonlinearities;
the balancing of quality of service and fairness requirements; and
the incorporation of variable rate allocation policies.
Appropriate control mechanisms which can handle congestion and guarantee high throughput in various traffic scenarios (with different networking phenomena being considered) are proposed. Systematic design procedures using sound control-theoretic foundations are adopted. Since robustness issues are of major concern in providing efficient data-flow regulation in today s networks, sliding-mode control is selected as the principal technique to be applied in creating the control solutions. The controller derivation is given extensive analytical treatment and is supported with numerous realistic simulations. A comparison with existing solutions is also provided. The concepts applied are discussed in a number of illustrative examples, and supported by many figures, tables, and graphs walking the reader through the ideas and introducing their relevance in real networks.
Academic researchers and graduate students working in computer networks and telecommunications and in control (especially time-delay systems and discrete-time optimal and sliding-mode control) will find this text a valuable assistance in ensuring smooth data-flow within communications networks."

This book is the first monograph on a new powerful method discovered by the author for the study of nonlinear dynamical systems relying on reduction of nonlinear differential equations to the linear abstract Schroedinger-like equation in Hilbert space. Besides the possibility of unification of many apparently completely different techniques, the "quantal" Hilbert space formalism introduced enables new original methods to be discovered for solving nonlinear problems arising in investigation of ordinary and partial differential equations as well as difference equations. Applications covered in the book include symmetries and first integrals, linearization transformations, Backlund transformations, stroboscopic maps, functional equations involving the case of Feigenbaum-Cvitanovic renormalization equations and chaos.

In 1961 Robinson introduced an entirely new version of the theory of infinitesimals, which he called Nonstandard analysis'. Nonstandard' here refers to the nature of new fields of numbers as defined by nonstandard models of the first-order theory of the reals. This system of numbers was closely related to the ring of Schmieden and Laugwitz, developed independently a few years earlier. During the last thirty years the use of nonstandard models in mathematics has taken its rightful place among the various methods employed by mathematicians. The contributions in this volume have been selected to present a panoramic view of the various directions in which nonstandard analysis is advancing, thus serving as a source of inspiration for future research. Papers have been grouped in sections dealing with analysis, topology and topological groups; probability theory; and mathematical physics. This volume can be used as a complementary text to courses in nonstandard analysis, and will be of interest to graduate students and researchers in both pure and applied mathematics and physics.

In some domains of mechanics, physics and control theory boundary value problems arise for nonlinear first order PDEs. A well-known classical result states a sufficiency condition for local existence and uniqueness of twice differentiable solution. This result is based on the method of characteristics (MC). Very often, and as a rule in control theory, the continuous nonsmooth (non-differentiable) functions have to be treated as a solutions to the PDE. At the points of smoothness such solutions satisfy the equation in classical sense. But if a function satisfies this condition only, with no requirements at the points of nonsmoothness, the PDE may have nonunique solutions. The uniqueness takes place if an appropriate matching principle for smooth solution branches defined in neighboring domains is applied or, in other words, the notion of generalized solution is considered. In each field an appropriate matching principle are used. In Optimal Control and Differential Games this principle is the optimality of the cost function. In physics and mechanics certain laws must be fulfilled for correct matching. A purely mathematical approach also can be used, when the generalized solution is introduced to obtain the existence and uniqueness of the solution, without being aimed to describe (to model) some particular physical phenomenon. Some formulations of the generalized solution may meet the modelling of a given phenomenon, the others may not.

The book contains some of the most important results on the analysis of polynomials and their derivatives. Besides the fundamental results which are treated with their proofs, the book also provides an account of the most recent developments concerning extremal properties of polynomials and their derivatives in various metrics with an extensive analysis of inequalities for trigonometric sums and algebraic polynomials, as well as their zeros. The final chapter provides some selected applications of polynomials in approximation theory and computer aided geometric design (CAGD). One can also find in this book several new research problems and conjectures with sufficient information concerning the results obtained to date towards the investigation of their solution.

For several decades developments in porous media have taken place in almost independent areas. In civilengineering, many papers were publisheddealing with the foundations offlow and transport through porous media. The method used in most cases is called averaging, and the notion ofa representative elementary vol- ume(REV)playsanimportantrole. Inchemicalengineering,papersonconceptual models were written on the theory ofmixtures. Intheoretical physics and stochas- tic analysis, percolation theory has emerged, providing probabilistic models for systems where theconnectedness propertiesofsomecomponentdominatethebe- havior. In mathematics, atheoryhasbeendevelopedcalled homogenizationwhich deals with partial differential equations having rapidly oscillating coefficients. Early work in these and related areas was - among others - done by the fol- lowing scientists: Maxwell [Max81] and Rayleigh [Ray92] studied the effective conductivity of media with small concentrations of randomly and periodically, respectively, arranged inclusions. Einstein [Ein06] investigated the effective vis- cosityofsuspensions with hard spherical particles in compressible viscous fluids. Marchenko and Khrouslov [MK64] looked at the asymptotic nature of homog- enization; they introduced a general approach of averaging based on asymptotic tools which can handle a variety ofdifferent physical problems. Unfortunately, up to now, little efforthas been made to bridge the gap between these different fields of research. Consequently, many results were and are dis- covered independently, and scientists are almost unable to understand each other because the respective languages have been developing in different directions.

Research in the theory of trigonometric series has been carried out for over two centuries. The results obtained have greatly influenced various fields of mathematics, mechanics, and physics. Nowadays, the theory of simple trigonometric series has been developed fully enough (we will only mention the monographs by Zygmund [15, 16] and Bari [2]). The achievements in the theory of multiple trigonometric series look rather modest as compared to those in the one-dimensional case though multiple trigonometric series seem to be a natural, interesting and promising object of investigation. We should say, however, that the past few decades have seen a more intensive development of the theory in this field. To form an idea about the theory of multiple trigonometric series, the reader can refer to the surveys by Shapiro [1], Zhizhiashvili [16], [46], Golubov [1], D'yachenko [3]. As to monographs on this topic, only that ofYanushauskas [1] is known to me. This book covers several aspects of the theory of multiple trigonometric Fourier series: the existence and properties of the conjugates and Hilbert transforms of integrable functions; convergence (pointwise and in the LP-norm, p > 0) of Fourier series and their conjugates, as well as their summability by the Cesaro (C,a), a> -1, and Abel-Poisson methods; approximating properties of Cesaro means of Fourier series and their conjugates.

This book presents current research on Ulam stability for functional equations and inequalities. Contributions from renowned scientists emphasize fundamental and new results, methods and techniques. Detailed examples are given to theories to further understanding at the graduate level for students in mathematics, physics, and engineering. Key topics covered in this book include: Quasi means Approximate isometries Functional equations in hypergroups Stability of functional equations Fischer-Muszely equation Haar meager sets and Haar null sets Dynamical systems Functional equations in probability theory Stochastic convex ordering Dhombres functional equation Nonstandard analysis and Ulam stability This book is dedicated in memory of Stanilsaw Marcin Ulam, who posed the fundamental problem concerning approximate homomorphisms of groups in 1940; which has provided the stimulus for studies in the stability of functional equations and inequalities.

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.

This is the proceedings of the "8th IMACS Seminar on Monte Carlo Methods" held from August 29 to September 2, 2011 in Borovets, Bulgaria, and organized by the Institute of Information and Communication Technologies of the Bulgarian Academy of Sciences in cooperation with the International Association for Mathematics and Computers in Simulation (IMACS). Included are 24 papers which cover all topics presented in the sessions of the seminar: stochastic computation and complexity of high dimensional problems, sensitivity analysis, high-performance computations for Monte Carlo applications, stochastic metaheuristics for optimization problems, sequential Monte Carlo methods for large-scale problems, semiconductor devices and nanostructures. The history of the IMACS Seminar on Monte Carlo Methods goes back to April 1997 when the first MCM Seminar was organized in Brussels: 1st IMACS Seminar, 1997, Brussels, Belgium 2nd IMACS Seminar, 1999, Varna, Bulgaria 3rd IMACS Seminar, 2001, Salzburg, Austria 4th IMACS Seminar, 2003, Berlin, Germany 5th IMACS Seminar, 2005, Tallahassee, USA 6th IMACS Seminar, 2007, Reading, UK 7th IMACS Seminar, 2009, Brussels, Belgium 8th IMACS Seminar, 2011, Borovets, Bulgaria

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 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."

Contains well-chosen examples and exercises

A student-friendly introduction that follows a workbook type approach

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."

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.

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.