The solution of eigenvalue problems is an integral part of many scientific computations. For example, the numerical solution of problems in structural dynamics, electrical networks, macro-economics, quantum chemistry, and c- trol theory often requires solving eigenvalue problems. The coefficient matrix of the eigenvalue problem may be small to medium sized and dense, or large and sparse (containing many zeroelements). In the past tremendous advances have been achieved in the solution methods for symmetric eigenvalue pr- lems. The state of the art for nonsymmetric problems is not so advanced; nonsymmetric eigenvalue problems can be hopelessly difficult to solve in some situations due, for example, to poor conditioning. Good numerical algorithms for nonsymmetric eigenvalue problems also tend to be far more complex than their symmetric counterparts. This book deals with methods for solving a special nonsymmetric eig- value problem; the symplectic eigenvalue problem. The symplectic eigenvalue problem is helpful, e.g., in analyzing a number of different questions that arise in linear control theory for discrete-time systems. Certain quadratic eigenvalue problems arising, e.g., in finite element discretization in structural analysis, in acoustic simulation of poro-elastic materials, or in the elastic deformation of anisotropic materials can also lead to symplectic eigenvalue problems. The problem appears in other applications as well.

This book is developed for the study of vectorial problems in the calculus of variations. The subject is a very active one and almost half of the book consists of new material. This is a new edition of the earlier book published in 1989 and it is suitable for graduate students. The book has been updated with some new material and examples added. Applications are included.

This text is meant to be an introduction to critical point theory and its ap- plications to differential equations. It is designed for graduate and postgrad- uate students as well as for specialists in the fields of differential equations, variational methods and optimization. Although related material can be the treatment here has the following main purposes: found in other books, * To present a survey on existing minimax theorems, * To give applications to elliptic differential equations in bounded do- mains and periodic second-order ordinary differential equations, * To consider the dual variational method for problems with continuous and discontinuous nonlinearities, * To present some elements of critical point theory for locally Lipschitz functionals and to give applications to fourth-order differential equa- tions with discontinuous nonlinearities, * To study homo clinic solutions of differential equations via the varia- tional method. The Contents of the book consist of seven chapters, each one divided into several sections. A bibliography is attached to the end of each chapter. In Chapter I, we present minimization theorems and the mountain-pass theorem of Ambrosetti-Rabinowitz and some of its extensions. The con- cept of differentiability of mappings in Banach spaces, the Fnkhet's and Gateaux derivatives, second-order derivatives and general minimization the- orems, variational principles of Ekeland [EkI] and Borwein & Preiss [BP] are proved and relations to the minimization problem are given. Deformation lemmata, Palais-Smale conditions and mountain-pass theorems are consid- ered.

Functional Analysis is primarily concerned with the structure of infinite dimensional vector spaces and the transformations, which are frequently called operators, between such spaces. The elements of these vector spaces are usually functions with certain properties, which map one set into another. Functional analysis became one of the success stories of mathematics in the 20th century, in the search for generality and unification.

Although it remains a very attractive field of pure mathematics, it has also proven to be an indispensable and powerful tool for physicists, engineers and economists involved in research and development, for helping them understand their subject in depth. This book is designed to provide the reader with a solid foundation of almost the entire spectrum of functional analysis, upon which each reader may build their own special structure, tailored to his or her purposes. The only prerequisite is the familiarity with the classical analysis of standard level. The book then provides a smooth but fast-paced systematical passage to the required advanced mathematical level, without sacrificing the mathematical rigor with almost no reference to outside materials to offering also a complete coverage of this discipline. We believe that the latter is one of the unique features of this book. None of the books in literature cover that much material, starting from a rather modest mathematical level.

Functional Analysis will be primarily of interest to graduate students in applied mathematics, in all branches of engineering, in physical and economical sciences and to those working in research and development in industry and research institutes.

In the field of nondifferentiable nonconvex optimization, one of the most intensely investigated areas is that of optimization problems involving multivalued mappings in constraints or as the objective function. This book focuses on the tremendous development in the field that has taken place since the publication of the most recent volumes on the subject. The new topics studied include the formulation of optimality conditions using different kinds of generalized derivatives for set-valued mappings (such as, for example, the coderivative of Mordukhovich), the opening of new applications (e.g., the calibration of water supply systems), or the elaboration of new solution algorithms (e.g., smoothing methods).

The book is divided into three parts. The focus in the first part is on bilevel programming. The chapters in the second part contain investigations of mathematical programs with equilibrium constraints. The third part is on multivalued set-valued optimization. The chapters were written by outstanding experts in the areas of bilevel programming, mathematical programs with equilibrium (or complementarity) constraints (MPEC), and set-valued optimization problems.

Th e vari a t i on al s p li ne t heo ry w h ic h orig i na t es from th e w ell-kn own p ap er b y J. e . Hollid a y ( 1957) i s t od a y a we ll- deve lo pe d fi eld in a p pr o x - mat i o n t he o ry . T he ge ne ra l d efinition of s p l i nes in t he Hilb er t s pace , - i st ence , uniquen e s s , and ch ar a c t eriz a tion t he o re ms w ere obt ain ed a b o ut 35 ye a r s ago b y M . A t t ei a , P . J . Laur en t , a n d P . M. An selon e , bu t in r e cent y e a r s important n e w r esult s h a v e b e en ob t ain ed in th e a bst ract va r i a t i o n a l s p l i ne theor y .

In this book we study sprays and Finsler metrics. Roughly speaking, a spray on a manifold consists of compatible systems of second-order ordinary differential equations. A Finsler metric on a manifold is a family of norms in tangent spaces, which vary smoothly with the base point. Every Finsler metric determines a spray by its systems of geodesic equations. Thus, Finsler spaces can be viewed as special spray spaces. On the other hand, every Finsler metric defines a distance function by the length of minimial curves. Thus Finsler spaces can be viewed as regular metric spaces. Riemannian spaces are special regular metric spaces. In 1854, B. Riemann introduced the Riemann curvature for Riemannian spaces in his ground-breaking Habilitationsvortrag. Thereafter the geometry of these special regular metric spaces is named after him. Riemann also mentioned general regular metric spaces, but he thought that there were nothing new in the general case. In fact, it is technically much more difficult to deal with general regular metric spaces. For more than half century, there had been no essential progress in this direction until P. Finsler did his pioneering work in 1918. Finsler studied the variational problems of curves and surfaces in general regular metric spaces. Some difficult problems were solved by him. Since then, such regular metric spaces are called Finsler spaces. Finsler, however, did not go any further to introduce curvatures for regular metric spaces. He switched his research direction to set theory shortly after his graduation.

The present lecture note is dedicated to the study of the optimality conditions and the duality results for nonlinear vector optimization problems, in ?nite and in?nite dimensions. The problems include are nonlinear vector optimization problems, s- metric dual problems, continuous-time vector optimization problems, relationships between vector optimization and variational inequality problems. Nonlinear vector optimization problems arise in several contexts such as in the building and interpretation of economic models; the study of various technolo- cal processes; the development of optimal choices in ?nance; management science; production processes; transportation problems and statistical decisions, etc. In preparing this lecture note a special effort has been made to obtain a se- contained treatment of the subjects; so we hope that this may be a suitable source for a beginner in this fast growing area of research, a semester graduate course in nonlinear programing, and a good reference book. This book may be useful to theoretical economists, engineers, and applied researchers involved in this area of active research. The lecture note is divided into eight chapters: Chapter 1 brie?y deals with the notion of nonlinear programing problems with basic notations and preliminaries. Chapter 2 deals with various concepts of convex sets, convex functions, invex set, invex functions, quasiinvex functions, pseudoinvex functions, type I and generalized type I functions, V-invex functions, and univex functions.

This volume presents a wide range of medical applications that can utilize mathematical computing. This work grew out of a workshop on optimization which was held during the 2005 CIM Thematic Term on Optimization in Coimbra, Portugal. It provides an overview of the state-of-the-art in optimization in medicine and will serve as an excellent reference for researchers in the medical computing community and for those working in applied mathematics and optimization.

This book deals mainly with the study of convex functions and their behavior from the point of view of stability with respect to perturbations. We shall consider convex functions from the most modern point of view: a function is de?ned to be convex whenever its epigraph, the set of the points lying above the graph, is a convex set. Thus many of its properties can be seen also as properties of a certain convex set related to it. Moreover, we shall consider extended real valued functions, i. e. , functions taking possibly the values?? and +?. The reason for considering the value +? is the powerful device of including the constraint set of a constrained minimum problem into the objective function itself (by rede?ning it as +? outside the constraint set). Except for trivial cases, the minimum value must be taken at a point where the function is not +?, hence at a point in the constraint set. And the value ?? is allowed because useful operations, such as the inf-convolution, can give rise to functions valued?? even when the primitive objects are real valued. Observe that de?ning the objective function to be +? outside the closed constraint set preserves lower semicontinuity, which is the pivotal and mi- mal continuity assumption one needs when dealing with minimum problems. Variational calculus is usually based on derivatives.

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.

Put together by two top researchers in the Far East, this text examines Markov Decision Processes - also called stochastic dynamic programming - and their applications in the optimal control of discrete event systems, optimal replacement, and optimal allocations in sequential online auctions. This dynamic new book offers fresh applications of MDPs in areas such as the control of discrete event systems and the optimal allocations in sequential online auctions.

This book is devoted to the study of variational methods in imaging. The presentation is mathematically rigorous and covers a detailed treatment of the approach from an inverse problems point of view. Many numerical examples accompany the theory throughout the text. It is geared towards graduate students and researchers in applied mathematics. Researchers in the area of imaging science will also find this book appealing. It can serve as a main text in courses in image processing or as a supplemental text for courses on regularization and inverse problems at the graduate level.

In its thousands of years of history, mathematics has made an extraordinary ca reer. It started from rules for bookkeeping and computation of areas to become the language of science. Its potential for decision support was fully recognized in the twentieth century only, vitally aided by the evolution of computing and communi cation technology. Mathematical optimization, in particular, has developed into a powerful machinery to help planners. Whether costs are to be reduced, profits to be maximized, or scarce resources to be used wisely, optimization methods are available to guide decision making. Opti mization is particularly strong if precise models of real phenomena and data of high quality are at hand - often yielding reliable automated control and decision proce dures. But what, if the models are soft and not all data are around? Can mathematics help as well? This book addresses such issues, e. g., problems of the following type: - An elevator cannot know all transportation requests in advance. In which order should it serve the passengers? - Wing profiles of aircrafts influence the fuel consumption. Is it possible to con tinuously adapt the shape of a wing during the flight under rapidly changing conditions? - Robots are designed to accomplish specific tasks as efficiently as possible. But what if a robot navigates in an unknown environment? - Energy demand changes quickly and is not easily predictable over time. Some types of power plants can only react slowly."

This book combines the efforts of a distinguished team of authors, who are all renowned mathematicians and expositors, and provides a modern introduction to the calculus of variations. By focusing on the one-dimensional case it remains relatively free of technicalities, and therefore provides a useful overview of the theory at a level suitable for graduate students.

Many nonlinear problems in physics, engineering, biology and social sciences can be reduced to finding critical points of functionals. While minimax and Morse theories provide answers to many situations and problems on the existence of multiple critical points of a functional, they often cannot provide much-needed additional properties of these critical points. Sign-changing critical point theory has emerged as a new area of rich research on critical points of a differentiable functional with important applications to nonlinear elliptic PDEs.

This book is intended for advanced graduate students and researchers involved in sign-changing critical point theory, PDEs, global analysis, and nonlinear functional analysis.

Written from an engineering point of view, this book covers the most common and important approaches for the identification of nonlinear static and dynamic systems. The book also provides the reader with the necessary background on optimization techniques, making it fully self-contained. The new edition includes exercises.

In t.lw fHll of !!)!)2, Professor Dr. M. Alt.ar, chairman of tIw newly established dppartnwnt or Managenwnt. wit.h Comput.er Science at thp Homanian -American Univprsity in Bucharest (a private univprsil.y), inl.roducod in t.he curriculum a course on DiffenHltial Equations and Optimal Cont.rol, asking lIS to teach such course. It was an inter8sting challengo, since for t.Iw first tim8 wo had to t8ach such mathemaLical course for st.udents with economic background and interosts. It was a natural idea to sl.m't by looking at pconomic models which were described by differpntial equations and for which problems in (\pcision making dir! ariso. Since many or such models were r!escribed in discret.e timp, wp eleculed to elpvolop in parallel t.he theory of differential equations anel thaI, of discrete-timo systpms aur! also control theory in continuous and discrete time. Tlw jll'eSPlu book is t.he result of our tpaehing px!wripnce wit.h this courge. It is an enlargud version of t.he actllal lectuf(~s where, depending on t.he background of tho St.lI(\('Ilts, not all proofs could be given in detail. We would like to express our grat.itude to tlw Board of the Romanian - American University, personally 1. 0 the Rector, Professor Dr. Ion Smedpscu, for support, encouragement and readinpss to accept advancnd ideas in tho curriculum. fhe authors express t.heir warmest thanks 1.0 Mrs. Monica Stan . Necula for tho oxcellent procC'ssing of t.he manuscript.

This book is concerned with topological and differential properties of multivalued mappings and marginal functions. Beside this applica- tions to the sensitivity analysis of optimization problems, in particular nonlinear programming problems with perturbations, are studied. The elaborated methods are primarily obtained by theories and concepts of two former Soviet Union researchers, Demyanov and Rubinov. Con- sequently, a significant part of the presented results have never been published in English before. Based on the use of directional derivatives as a key tool in studying nonsmooth functions and multifunctions, these results can be considered as a further development of quasidifferential calculus created by Demyanov and Rubinov. In contrast to other research in this field, especially the recent publica- tion by Bonnans and Shapiro, this book analyses properties of marginal functions associated with optimization problems under quite general con- straints defined by means of multivalued mappings. A unified approach to directional differentiability of functions and multifunctions forms the base of the volume.

In this monograph, questions of extensions and relaxations are consid ered. These questions arise in many applied problems in connection with the operation of perturbations. In some cases, the operation of "small" per turbations generates "small" deviations of basis indexes; a corresponding stability takes place. In other cases, small perturbations generate spas modic change of a result and of solutions defining this result. These cases correspond to unstable problems. The effect of an unstability can arise in extremal problems or in other related problems. In this connection, we note the known problem of constructing the attainability domain in con trol theory. Of course, extremal problems and those of attainability (in abstract control theory) are connected. We exploit this connection here (see Chapter 5). However, basic attention is paid to the problem of the attainability of elements of a topological space under vanishing perturba tions of restrictions. The stability property is frequently missing; the world of unstable problems is of interest for us. We construct regularizing proce dures. However, in many cases, it is possible to establish a certain property similar to partial stability. We call this property asymptotic nonsensitivity or roughness under the perturbation of some restrictions. The given prop erty means the following: in the corresponding problem, it is the same if constraints are weakened in some "directions" or not. On this basis, it is possible to construct a certain classification of constraints, selecting "di rections of roughness" and "precision directions.""

In this book a general topological construction of extension is proposed for problems of attainability in topological spaces under perturbation of a system of constraints. This construction is realized in a special class of generalized elements defined as finitely additive measures. A version of the method of programmed iterations is constructed. This version realizes multi-valued control quasistrategies, which guarantees the solution of the control problem that consists in guidance to a given set under observation of phase constraints.

Audience: The book will be of interest to researchers, and graduate students in the field of optimal control, mathematical systems theory, measure and integration, functional analysis, and general topology.

There is no branch of mathematics, however abstract, which may not some day be applied to phenomena of the real world. - Nikolai Ivanovich Lobatchevsky This book is an extensively-revised and expanded version of "The Theory of Semirings, with Applicationsin Mathematics and Theoretical Computer Science" [Golan, 1992], first published by Longman. When that book went out of print, it became clear - in light of the significant advances in semiring theory over the past years and its new important applications in such areas as idempotent analysis and the theory of discrete-event dynamical systems - that a second edition incorporating minor changes would not be sufficient and that a major revision of the book was in order. Therefore, though the structure of the first "dition was preserved, the text was extensively rewritten and substantially expanded. In particular, references to many interesting and applications of semiring theory, developed in the past few years, had to be added. Unfortunately, I find that it is best not to go into these applications in detail, for that would entail long digressions into various domains of pure and applied mathematics which would only detract from the unity of the volume and increase its length considerably. However, I have tried to provide an extensive collection of examples to arouse the reader's interest in applications, as well as sufficient citations to allow the interested reader to locate them. For the reader's convenience, an index to these citations is given at the end of the book .

Finsler geometry is the most natural generalization of Riemannian geo- metry. It started in 1918 when P. Finsler [1] wrote his thesis on curves and surfaces in what he called generalized metric spaces. Studying the geometry of those spaces (which where named Finsler spaces or Finsler manifolds) became an area of active research. Many important results on the subject have been brought together in several monographs (cf. , H. Rund [3], G. Asanov [1], M. Matsumoto [6], A. Bejancu [8], P. L. Antonelli, R. S. Ingar- den and M. Matsumoto [1], M. Abate and G. Patrizio [1] and R. Miron [3]) . However, the present book is the first in the literature that is entirely de- voted to studying the geometry of submanifolds of a Finsler manifold. Our exposition is also different in many other respects. For example, we work on pseudo-Finsler manifolds where in general the Finsler metric is only non- degenerate (rather than on the particular case of Finsler manifolds where the metric is positive definite). This is absolutely necessary for physical and biological applications of the subject. Secondly, we combine in our study both the classical coordinate approach and the modern coordinate-free ap- proach. Thirdly, our pseudo-Finsler manifolds F = (M, M', F*) are such that the geometric objects under study are defined on an open submani- fold M' of the tangent bundle T M, where M' need not be equal to the entire TMo = TM\O(M).

The material of the present book is an extension of a graduate course given by the author at the University "Al.I. Cuza" Iasi and is intended for stu dents and researchers interested in the applications of optimal control and in mathematical biology. Age is one of the most important parameters in the evolution of a bi ological population. Even if for a very long period age structure has been considered only in demography, nowadays it is fundamental in epidemiology and ecology too. This is the first book devoted to the control of continuous age structured populationdynamics.It focuses on the basic properties ofthe solutions and on the control of age structured population dynamics with or without diffusion. The main goal of this work is to familiarize the reader with the most important problems, approaches and results in the mathematical theory of age-dependent models. Special attention is given to optimal harvesting and to exact controllability problems, which are very important from the econom ical or ecological points of view. We use some new concepts and techniques in modern control theory such as Clarke's generalized gradient, Ekeland's variational principle, and Carleman estimates. The methods and techniques we use can be applied to other control problems."

Beginning with the works of N.N.Krasovskii [81, 82, 83], which clari fied the functional nature of systems with delays, the functional approach provides a foundation for a complete theory of differential equations with delays. Based on the functional approach, different aspects of time-delay system theory have been developed with almost the same completeness as the corresponding field of ODE (ordinary differential equations) the ory. The term functional differential equations (FDE) is used as a syn onym for systems with delays 1. The systematic presentation of these re sults and further references can be found in a number of excellent books [2, 15, 22, 32, 34, 38, 41, 45, 50, 52, 77, 78, 81, 93, 102, 128]. In this monograph we present basic facts of i-smooth calculus ~ a new differential calculus of nonlinear functionals, based on the notion of the invariant derivative, and some of its applications to the qualitative theory of functional differential equations. Utilization of the new calculus is the main distinction of this book from other books devoted to FDE theory. Two other distinguishing features of the volume are the following: - the central concept that we use is the separation of finite dimensional and infinite dimensional components in the structures of FDE and functionals; - we use the conditional representation of functional differential equa tions, which is convenient for application of methods and constructions of i~smooth calculus to FDE theory.