In the early fifties, applied mathematicians, engineers and economists started to pay c10se attention to the optimization problems in which another (lower-Ievel) optimization problem arises as a side constraint. One of the motivating factors was the concept of the Stackelberg solution in game theory, together with its economic applications. Other problems have been encountered in the seventies in natural sciences and engineering. Many of them are of practical importance and have been extensively studied, mainly from the theoretical point of view. Later, applications to mechanics and network design have lead to an extension of the problem formulation: Constraints in form of variation al inequalities and complementarity problems were also admitted. The term "generalized bi level programming problems" was used at first but later, probably in Harker and Pang, 1988, a different terminology was introduced: Mathematical programs with equilibrium constraints, or simply, MPECs. In this book we adhere to MPEC terminology. A large number of papers deals with MPECs but, to our knowledge, there is only one monograph (Luo et al. , 1997). This monograph concentrates on optimality conditions and numerical methods. Our book is oriented similarly, but we focus on those MPECs which can be treated by the implicit programming approach: the equilibrium constraint locally defines a certain implicit function and allows to convert the problem into a mathematical program with a nonsmooth objective.

One service mathematics has rmdcred the 'Et moi, . . si j'avait su comment en rcvenir. human race. It has put common sense back je n'y semis point aile.' whc: rc it belongs, on the topmost shcIl next Jules Verne to the dusty callister labc:1lcd 'discarded non sense'. The series is divergent; thererore we may be Eric T. Bell able to do something with iL O. Hcavisidc Mathematics is a tool for thought. A highly necessary tool in a world where both feedback and non linearities abound. Similarly, all kinds of parts of mathematics serve as tools for other parts and for other sciences. Applying a simple rewriting rule to the quote on the right above one finds such statements as: 'One service topology has rendered mathematical physics .. .'; 'One service logic has rendered com puter science .. .'; 'One service category theory has rendered mathematics .. .'. All arguably true. And alI statements obtainable this way form part of the raison d'etre of this series."

At the close of the 1980s, the independent contributions of Yann Brenier, Mike Cullen and John Mather launched a revolution in the venerable field of optimal transport founded by G. Monge in the 18th century, which has made breathtaking forays into various other domains of mathematics ever since. The author presents a broad overview of this area, supplying complete and self-contained proofs of all the fundamental results of the theory of optimal transport at the appropriate level of generality. Thus, the book encompasses the broad spectrum ranging from basic theory to the most recent research results.

PhD students or researchers can read the entire book without any prior knowledge of the field. A comprehensive bibliography with notes that extensively discuss the existing literature underlines the book's value as a most welcome reference text on this subject.

The Proceedings volume contains 16 contributions to the IMPA conference "New Trends in Parameter Identification for Mathematical Models", Rio de Janeiro, Oct 30 - Nov 3, 2017, integrating the "Chemnitz Symposium on Inverse Problems on Tour". This conference is part of the "Thematic Program on Parameter Identification in Mathematical Models" organized at IMPA in October and November 2017. One goal is to foster the scientific collaboration between mathematicians and engineers from the Brazialian, European and Asian communities. Main topics are iterative and variational regularization methods in Hilbert and Banach spaces for the stable approximate solution of ill-posed inverse problems, novel methods for parameter identification in partial differential equations, problems of tomography , solution of coupled conduction-radiation problems at high temperatures, and the statistical solution of inverse problems with applications in physics.

This book discusses some of the first principles of modern analysis. I t can be used for courses at several levels, depending upon the background and ability of the students. It was written on the premise that today's good students have unexpected enthusiasm and nerve. When hard work is put to them, they work harder and ask for more. The honors course (at the University of Wisconsin) which inspired this book was, I think, more fun than the book itself. And better. But then there is acting in teaching, and a typewriter is a poor substitute for an audience. The spontaneous, creative disorder that characterizes an exciting course becomes silly in a book. To write, one must cut and dry. Yet, I hope enough of the spontaneity, enough of the spirit of that course, is left to enable those using the book to create exciting courses of their own. Exercises in this book are not designed for drill. They are designed to clarify the meanings of the theorems, to force an understanding of the proofs, and to call attention to points in a proof that might otherwise be overlooked. The exercises, therefore, are a real part of the theory, not a collection of side issues, and as such nearly all of them are to be done. Some drill is, of course, necessary, particularly in the calculation of integrals.

Since the seminal work of P. Anderson in 1958, localization in disordered systems has been the object of intense investigations. Mathematically speaking, the phenomenon can be described as follows: the self-adjoint operators which are used as Hamiltonians for these systems have a ten dency to have pure point spectrum, especially in low dimension or for large disorder. A lot of effort has been devoted to the mathematical study of the random self-adjoint operators relevant to the theory of localization for disordered systems. It is fair to say that progress has been made and that the un derstanding of the phenomenon has improved. This does not mean that the subject is closed. Indeed, the number of important problems actually solved is not larger than the number of those remaining. Let us mention some of the latter: * A proof of localization at all energies is still missing for two dimen sional systems, though it should be within reachable range. In the case of the two dimensional lattice, this problem has been approached by the investigation of a finite discrete band, but the limiting pro cedure necessary to reach the full two-dimensional lattice has never been controlled. * The smoothness properties of the density of states seem to escape all attempts in dimension larger than one. This problem is particularly serious in the continuous case where one does not even know if it is continuous.

Motivated by recent increased activity of research on time scales, the book provides a systematic approach to the study of the qualitative theory of boundedness, periodicity and stability of Volterra integro-dynamic equations on time scales. Researchers and graduate students who are interested in the method of Lyapunov functions/functionals, in the study of boundedness of solutions, in the stability of the zero solution, or in the existence of periodic solutions should be able to use this book as a primary reference and as a resource of latest findings. This book contains many open problems and should be of great benefit to those who are pursuing research in dynamical systems or in Volterra integro-dynamic equations on time scales with or without delays. Great efforts were made to present rigorous and detailed proofs of theorems. The book should serve as an encyclopedia on the construction of Lyapunov functionals in analyzing solutions of dynamical systems on time scales. The book is suitable for a graduate course in the format of graduate seminars or as special topics course on dynamical systems. The book should be of interest to investigators in biology, chemistry, economics, engineering, mathematics and physics.

Maximum Principles are central to the theory and applications of second-order partial differential equations and systems. This self-contained text establishes the fundamental principles and provides a variety of applications.

Fundamentals of Convex Analysis offers an in-depth look at some of the fundamental themes covered within an area of mathematical analysis called convex analysis. In particular, it explores the topics of duality, separation, representation, and resolution. The work is intended for students of economics, management science, engineering, and mathematics who need exposure to the mathematical foundations of matrix games, optimization, and general equilibrium analysis. It is written at the advanced undergraduate to beginning graduate level and the only formal preparation required is some familiarity with set operations and with linear algebra and matrix theory. Fundamentals of Convex Analysis is self-contained in that a brief review of the essentials of these tool areas is provided in Chapter 1. Chapter exercises are also provided. Topics covered include: convex sets and their properties; separation and support theorems; theorems of the alternative; convex cones; dual homogeneous systems; basic solutions and complementary slackness; extreme points and directions; resolution and representation of polyhedra; simplicial topology; and fixed point theorems, among others. A strength of this work is how these topics are developed in a fully integrated fashion.

The European Conference on Numerical Mathematics and Advanced Applications (ENUMATH), held every 2 years, provides a forum for discussing recent advances in and aspects of numerical mathematics and scientific and industrial applications. The previous ENUMATH meetings took place in Paris (1995), Heidelberg (1997), Jyvaskyla (1999), Ischia (2001), Prague (2003), Santiago de Compostela (2005), Graz (2007), Uppsala (2009), Leicester (2011) and Lausanne (2013). This book presents a selection of invited and contributed lectures from the ENUMATH 2015 conference, which was organised by the Institute of Applied Mathematics (IAM), Middle East Technical University, Ankara, Turkey, from September 14 to 18, 2015. It offers an overview of central recent developments in numerical analysis, computational mathematics, and applications in the form of contributions by leading experts in the field.

Tauberian theory compares summability methods for series and integrals, helps to decide when there is convergence, and provides asymptotic and remainder estimates. The author shows the development of the theory from the beginning and his expert commentary evokes the excitement surrounding the early results. He shows the fascination of the difficult Hardy-Littlewood theorems and of an unexpected simple proof, and extolls Wiener's breakthrough based on Fourier theory. There are the spectacular "high-indices" theorems and Karamata's "regular variation," which permeates probability theory. The author presents Gelfand's elegant algebraic treatment of Wiener theory and his own distributional approach. There is also a new unified theory for Borel and "circle" methods. The text describes many Tauberian ways to the prime number theorem. A large bibliography and a substantial index round out the book.

In recent years many researchers in material science have focused their attention on the study of composite materials, equilibrium of crystals and crack distribution in continua subject to loads. At the same time several new issues in computer vision and image processing have been studied in depth. The understanding of many of these problems has made significant progress thanks to new methods developed in calculus of variations, geometric measure theory and partial differential equations. In particular, new technical tools have been introduced and successfully applied. For example, in order to describe the geometrical complexity of unknown patterns, a new class of problems in calculus of variations has been introduced together with a suitable functional setting: the free-discontinuity problems and the special BV and BH functions. The conference held at Villa Olmo on Lake Como in September 1994 spawned successful discussion of these topics among mathematicians, experts in computer science and material scientists.

This book is the result of 20 years of investigations carried out by the author and his colleagues in order to bring closer and, to a certain extent, synthesize a number of well-known results, ideas and methods from the theory of function approximation, theory of differential and integral equations and numerical analysis. The book opens with an introduction on the theory of function approximation and is followed by a new approach to the Fredholm integral equations to the second kind. Several chapters are devoted to the construction of new methods for the effective approximation of solutions of several important integral, and ordinary and partial differential equations. In addition, new general results on the theory of linear differential equations with one regular singular point, as well as applications of the various new methods are discussed.

The objective of this book is to present an introduction to the ideas, phenomena, and methods of partial differential equations. This material can be presented in one semester and requires no previous knowledge of differential equations, but assumes the reader to be familiar with advanced calculus, real analysis, the rudiments of complex analysis, and thelanguage of functional analysis. Topics discussed in the text include elliptic, hyperbolic, and parabolic equations, the energy method, maximum principle, and the Fourier Transform. The text features many historical and scientific motivations and applications. Included throughout are exercises, hints, and discussions which form an important and integral part of the course.

This book presents English translations of Michele Sce's most important works, originally written in Italian during the period 1955-1973, on hypercomplex analysis and algebras of hypercomplex numbers. Despite their importance, these works are not very well known in the mathematics community because of the language they were published in. Possibly the most remarkable instance is the so-called Fueter-Sce mapping theorem, which is a cornerstone of modern hypercomplex analysis, and is not yet understood in its full generality. This volume is dedicated to revealing and describing the framework Sce worked in, at an exciting time when the various generalizations of complex analysis in one variable were still in their infancy. In addition to faithfully translating Sce's papers, the authors discuss their significance and explain their connections to contemporary research in hypercomplex analysis. They also discuss many concrete examples that can serve as a basis for further research. The vast majority of the results presented here will be new to readers, allowing them to finally access the original sources with the benefit of comments from fellow mathematicians active in the field of hypercomplex analysis. As such, the book offers not only an important chapter in the history of hypercomplex analysis, but also a roadmap for further exciting research in the field.

The Inverse and Ill-Posed Problems Series is a series of monographs publishing postgraduate level information on inverse and ill-posed problems for an international readership of professional scientists and researchers. The series aims to publish works which involve both theory and applications in, e.g., physics, medicine, geophysics, acoustics, electrodynamics, tomography, and ecology.

This monograph is devoted to recent progress in the turnpike t- ory. Turnpike properties are well known in mathematical economics. The term was ?rst coined by Samuelson who showed that an e?cient expanding economy would for most of the time be in the vicinity of a balanced equilibrium path (also called a von Neumann path) [78, 79]. These properties were studied by many authors for optimal trajec- ries of a Neumann-Gale model determined by a superlinear set-valued mapping. In the monograph we discuss a number of results conce- ing turnpike properties in the calculus of variations and optimal control which were obtained by the author in the last ten years. These results showthattheturnpikepropertiesareageneralphenomenonwhichholds for various classes of variational problems and optimal control problems. Turnpike properties are studied for optimal control problems on- nite time intervals [T ,T ] of the real line. Solutions of such problems 1 2 (trajectories) always depend on the time interval [T ,T ], an optimality 1 2 criterion which is usually determined by a cost function, and on data which is some initial conditions. In the turnpike theory we are int- ested in the structure of solutions of optimal problems. We study the behavior of solutions when an optimality criterion is ?xed while T ,T 1 2 andthedatavary.

Asymptotic methods belong to the, perhaps, most romantic area of modern mathematics. They are widely known and have been used in me chanics, physics and other exact sciences for many, many decades. But more than this, asymptotic ideas are found in all branches of human knowledge, indeed in all areas of life. In this broader context they have not and perhaps cannot be fully formalized. However, they are mar velous, they leave room for fantasy, guesses and intuition; they bring us very near to the border of the realm of art. Many books have been written and published about asymptotic meth ods. Most of them presume a mathematically sophisticated reader. The authors here attempt to describe asymptotic methods on a more accessi ble level, hoping to address a wider range of readers. They have avoided the extreme of banishing formulae entirely, as done in some popular science books that attempt to describe mathematical methods with no mathematics. This is impossible (and not wise). Rather, the authors have tried to keep the mathematics at a moderate level. At the same time, using simple examples, they think they have been able to illustrate all the key ideas of asymptotic methods and approaches, to depict in de tail the results of their application to various branches of knowledg- from astronomy, mechanics, and physics to biology, psychology and art. The book is supplemented by several appendices, one of which con tains the profound ideas of R. G."

In this book the details of many calculations are provided for access to work in quantum groups, algebraic differential calculus, noncommutative geometry, fuzzy physics, discrete geometry, gauge theory, quantum integrable systems, braiding, finite topological spaces, some aspects of geometry and quantum mechanics and gravity.

This book presents complex analysis in one variable in the context of modern mathematics, with clear connections to several complex variables, de Rham theory, real analysis, and other branches of mathematics. Thus, covering spaces are used explicitly in dealing with Cauchy's theorem, real variable methods are illustrated in the Loman-Menchoff theorem and in the corona theorem, and the algebraic structure of the ring of holomorphic functions is studied.
Using the unique position of complex analysis, a field drawing on many disciplines, the book also illustrates powerful mathematical ideas and tools, and requires minimal background material. Cohomological methods are introduced, both in connection with the existence of primitives and in the study of meromorphic functionas on a compact Riemann surface. The proof of Picard's theorem given here illustrates the strong restrictions on holomorphic mappings imposed by curvature conditions.

There is almost no field in Mathematics which does not use Mathe matical Analysis. Computer methods in Applied Mathematics, too, are often based on statements and procedures of Mathematical Analysis. An important part of Mathematical Analysis is Complex Analysis because it has many applications in various branches of Mathematics. Since the field of Complex Analysis and its applications is a focal point in the Vietnamese research programme, the Hanoi University of Technology organized an International Conference on Finite or Infinite Dimensional Complex Analysis and Applications which took place in Hanoi from August 8 - 12, 2001. This conference th was the 9 one in a series of conferences which take place alternately in China, Japan, Korea and Vietnam each year. The first one took place th at Pusan University in Korea in 1993. The preceding 8 conference was th held in Shandong in China in August 2000. The 9 conference of the was the first one which took place above mentioned series of conferences in Vietnam. Present trends in Complex Analysis reflected in the present volume are mainly concentrated in the following four research directions: 1 Value distribution theory (including meromorphic funtions, mero morphic mappings, as well as p-adic functions over fields of finite or zero characteristic) and its applications, 2 Holomorphic functions in several (finitely or infinitely many) com plex variables, 3 Clifford Analysis, i.e., complex methods in higher-dimensional real Euclidian spaces, 4 Generalized analytic functions."

This work fills an important gap in the literature by providing an important link between MAPLE and its successful use in solving problems in Operations Research (OR). The symbolic, numerical, and graphical aspects of MAPLE make this software package an ideal tool for treating certain OR problems and providing descriptive and optimization-based analyses of deterministic and stochastic models. Detailed is MAPLE's treatment of some of the mathematical techniques used in OR modeling: e.g., algebra and calculus, ordinary and partial differential equations, linear algebra, transform methods, and probability theory.

A number of examples of OR techniques and applications are presented, such as linear and nonlinear programming, dynamic programming, stochastic processes, inventory models, queueing systems, and simulation. Throughout the text MAPLE statements used in the solutions of problems are clearly explained. At the same time, technical background material is presented in a rigorous mathematical manner to reach the OR novice and professional. Numerous end-of- chapter exercises, a good bibliography and overall index at the end of the book are also included, as well as MAPLE worksheets that are easily downloadable from the author's website at www.business.mcmaster.ca/msis/profs/parlar, or from the Birkhauser website at www.birkhauser.com/cgi-win/ISBN/0-8176-4165-3.

The book is intended for advanced undergraduate and graduate students in operations research, management science departments of business schools, industrial and systems engineering, economics, and mathematics. As a self-study resource, the text can be used by researchers and practitioners who want a quick overview ofMAPLE's usefulness in solving realistic OR problems that would be difficult or impossible to solve with other software packages.

This work is a revised and enlarged edition of a book with the same title published in Romanian by the Publishing House of the Romanian Academy in 1989. It grew out of lecture notes for a graduate course given by the author at the University if Ia i and was initially intended for students and readers primarily interested in applications of optimal control of ordinary differential equations. In this vision the book had to contain an elementary description of the Pontryagin maximum principle and a large number of examples and applications from various fields of science. The evolution of control science in the last decades has shown that its meth ods and tools are drawn from a large spectrum of mathematical results which go beyond the classical theory of ordinary differential equations and real analy ses. Mathematical areas such as functional analysis, topology, partial differential equations and infinite dimensional dynamical systems, geometry, played and will continue to play an increasing role in the development of the control sciences. On the other hand, control problems is a rich source of deep mathematical problems. Any presentation of control theory which for the sake of accessibility ignores these facts is incomplete and unable to attain its goals. This is the reason we considered necessary to widen the initial perspective of the book and to include a rigorous mathematical treatment of optimal control theory of processes governed by ordi nary differential equations and some typical problems from theory of distributed parameter systems."

Stabilization of Navier Stokes Flows presents recent notable progress in the mathematical theory of stabilization of Newtonian fluid flows. Finite-dimensional feedback controllers are used to stabilize exponentially the equilibrium solutions of Navier Stokes equations, reducing or eliminating turbulence. Stochastic stabilization and robustness of stabilizable feedback are also discussed. The analysis developed here provides a rigorous pattern for the design of efficient stabilizable feedback controllers to meet the needs of practical problems and the conceptual controllers actually detailed will render the reader 's task of application easier still.Stabilization of Navier Stokes Flows avoids the tedious and technical details often present in mathematical treatments of control and Navier Stokes equations and will appeal to a sizeable audience of researchers and graduate students interested in the mathematics of flow and turbulence control and in Navier-Stokes equations in particular.

Presents a discrete in time-space universal map of relative dynamics that is used to unfold an extensive catalogue of dynamic events not previously discussed in mathematical or social science literature. With emphasis on the chaotic dynamics that may ensue, the book describes the evolution on the basis of temporal and locational advantages. It explains nonlinear discrete time dynamic maps primarily through numerical simulations. These very rich qualitative dynamics are linked to evolution processes in socio-spatial systems. Important features include: The analytical properties of the one-stock, two- and three-location map; the numerical results from the one- and two-stock, two- and three-location dynamics; and the demonstration of the map's potential applicability in the social sciences through simulating population dynamics of the U.S. Regions over a two-century period. In addition, this book includes new findings: the Hopf equivalent discrete time dynamics bifurcation; the Feigenbaum slope-sequences; the presence of strange local attractors and containers; switching of extreme states; the presence of different types of turbulence; local and global turbulence. Intended for researchers and advanced graduate students in applied mathematics and an interest in dynamics and chaos. Mathematical social scientists in many other fields will also find this book useful.