Decomposition methods aim to reduce large-scale problems to simpler problems. This monograph presents selected aspects of the dimension-reduction problem. Exact and approximate aggregations of multidimensional systems are developed and from a known model of input-output balance, aggregation methods are categorized. The issues of loss of accuracy, recovery of original variables (disaggregation), and compatibility conditions are analyzed in detail. The method of iterative aggregation in large-scale problems is studied. For fixed weights, successively simpler aggregated problems are solved and the convergence of their solution to that of the original problem is analyzed. An introduction to block integer programming is considered. Duality theory, which is widely used in continuous block programming, does not work for the integer problem. A survey of alternative methods is presented and special attention is given to combined methods of decomposition. Block problems in which the coupling variables do not enter the binding constraints are studied. These models are worthwhile because they permit a decomposition with respect to primal and dual variables by two-level algorithms instead of three-level algorithms. Audience: This book is addressed to specialists in operations research, optimization, and optimal control.

No pleasure lasts long unless there is variety in it. Publilius Syrus, Moral Sayings We've been very fortunate to receive fantastic feedback from our readers during the last four years, since the first edition of How to Solve It: Modern Heuristics was published in 1999. It's heartening to know that so many people appreciated the book and, even more importantly, were using the book to help them solve their problems. One professor, who published a review of the book, said that his students had given the best course reviews he'd seen in 15 years when using our text. There can be hardly any better praise, except to add that one of the book reviews published in a SIAM journal received the best review award as well. We greatly appreciate your kind words and personal comments that you sent, including the few cases where you found some typographical or other errors. Thank you all for this wonderful support.

This is the 9th volume in Avner Friedman's collection of Mathematics in Industrial problems. This book aims to foster interaction between industry and mathematics at the "grass roots" level of specific problems. The problems presented in this book arise from models developed by industrial scientists engaged in research and development of new or improved products. The topics explored in this volume include diffusion in porous media and in rubber/glass transition, coating flows, solvation of molecules, semiconductor processing, optoelectronics, photographic images, density-functional theory, sphere packing, performance evaluation, causal networks, electrical well logging, general positioning system, sensor management, pursuit-evasion algorithms, and nonlinear viscoelasticity. Open problems and references are incorporated into most of the chapters. The final chapter contains some solutions to problems raised in earlier volumes.

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.

This book is based on a seminar given at the University of California at Los Angeles in the Spring of 1975. The choice of topics reflects my interests at the time and the needs of the students taking the course. Initially the lectures were written up for publication in the Lecture Notes series. How ever, when I accepted Professor A. V. Balakrishnan's invitation to publish them in the Springer series on Applications of Mathematics it became necessary to alter the informal and often abridged style of the notes and to rewrite or expand much of the original manuscript so as to make the book as self-contained as possible. Even so, no attempt has been made to write a comprehensive treatise on filtering theory, and the book still follows the original plan of the lectures. While this book was in preparation, the two-volume English translation of the work by R. S. Liptser and A. N. Shiryaev has appeared in this series. The first volume and the present book have the same approach to the sub ject, viz. that of martingale theory. Liptser and Shiryaev go into greater detail in the discussion of statistical applications and also consider inter polation and extrapolation as well as filtering."

LANCELOT is a software package for solving large-scale nonlinear optimization problems. This book is our attempt to provide a coherent overview of the package and its use. This includes details of how one might present examples to the package, how the algorithm tries to solve these examples and various technical issues which may be useful to implementors of the software. We hope this book will be of use to both researchers and practitioners in nonlinear programming. Although the book is primarily concerned with a specific optimization package, the issues discussed have much wider implications for the design and im plementation of large-scale optimization algorithms. In particular, the book contains a proposal for a standard input format for large-scale optimization problems. This proposal is at the heart of the interface between a user's problem and the LANCE LOT optimization package. Furthermore, a large collection of over five hundred test ex amples has already been written in this format and will shortly be available to those who wish to use them. We would like to thank the many people and organizations who supported us in our enterprise. We first acknowledge the support provided by our employers, namely the the Facultes Universitaires Notre-Dame de la Paix (Namur, Belgium), Harwell Laboratory (UK), IBM Corporation (USA), Rutherford Appleton Laboratory (UK) and the University of Waterloo (Canada). We are grateful for the support we obtained from NSERC (Canada), NATO and AMOCO (UK)."

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

This two-volume treatise is a standard reference in the field. It pays special attention to the historical aspects and the origins partly in applied problems such as those of geometric optics of parts of the theory. It contains an introduction to each chapter, section, and subsection and an overview of the relevant literature in the footnotes and bibliography. It also includes an index of the examples used throughout the book.

Nonlinear Assignment Problems (NAPs) are natural extensions of the classic Linear Assignment Problem, and despite the efforts of many researchers over the past three decades, they still remain some of the hardest combinatorial optimization problems to solve exactly. The purpose of this book is to provide in a single volume, major algorithmic aspects and applications of NAPs as contributed by leading international experts. The chapters included in this book are concerned with major applications and the latest algorithmic solution approaches for NAPs. Approximation algorithms, polyhedral methods, semidefinite programming approaches and heuristic procedures for NAPs are included, while applications of this problem class in the areas of multiple-target tracking in the context of military surveillance systems, of experimental high energy physics, and of parallel processing are presented. Audience: Researchers and graduate students in the areas of combinatorial optimization, mathematical programming, operations research, physics, and computer science.

This textbook examines a broad range of problems in science and engineering, describing key numerical methods applied to real life. The case studies presented are in such areas as data fitting, vehicle route planning and optimal control, scheduling and resource allocation, sensitivity calculations and worst-case analysis.

Chapters are self-contained with exercises provided at the end of most sections. Nonlinear Optimization with Engineering Applications is ideal for self-study and classroom use in engineering courses at the senior undergraduate or graduate level. The book will also appeal to postdocs and advanced researchers interested in the development and use of optimization algorithms.

Presently, general-purpose optimization techniques such as Simulated Annealing, and Genetic Algorithms, have become standard optimization techniques. Concerted research efforts have been made recently in order to invent novel optimization techniques for solving real life problems, which have the attributes of memory update and population-based search solutions. The book describes a variety of these novel optimization techniques which in most cases outperform the standard optimization techniques in many application areas. New Optimization Techniques in Engineering reports applications and results of the novel optimization techniques considering a multitude of practical problems in the different engineering disciplines presenting both the background of the subject area and the techniques for solving the problems. "

Advances in Mechanics and Mathematics (AMMA) is intended to bridge the gap by providing multi-disciplinary publications. This volume, AMMA 2002, includes two parts with three articles by four subject experts. Part 1 deals with nonsmooth static and dynamic systems. A systematic mathematical theory for multibody dynamics with unilateral and frictional constraints and a brief introduction to hemivariational inequalities together with some new developments in nonsmooth semi-linear elliptic boundary value problems are presented. Part 2 provides a comprehensive introduction and the latest research on dendritic growth in fluid mechanics, one of the most profound and fundamental subjects in the area of interfacial pattern formation, a commonly observed phenomenon in crystal growth and solidification processes.

Precise dynamic models of processes are required for many applications, ranging from control engineering to the natural sciences and economics. Frequently, such precise models cannot be derived using theoretical considerations alone. Therefore, they must be determined experimentally. This book treats the determination of dynamic models based on measurements taken at the process, which is known as system identification or process identification. Both offline and online methods are presented, i.e. methods that post-process the measured data as well as methods that provide models during the measurement. The book is theory-oriented and application-oriented and most methods covered have been used successfully in practical applications for many different processes. Illustrative examples in this book with real measured data range from hydraulic and electric actuators up to combustion engines. Real experimental data is also provided on the Springer webpage, allowing readers to gather their first experience with the methods presented in this book. Among others, the book covers the following subjects: determination of the non-parametric frequency response, (fast) Fourier transform, correlation analysis, parameter estimation with a focus on the method of Least Squares and modifications, identification of time-variant processes, identification in closed-loop, identification of continuous time processes, and subspace methods. Some methods for nonlinear system identification are also considered, such as the Extended Kalman filter and neural networks. The different methods are compared by using a real three-mass oscillator process, a model of a drive train. For many identification methods, hints for the practical implementation and application are provided. The book is intended to meet the needs of students and practicing engineers working in research and development, design and manufacturing.

Give, and it shall be given unto you. ST. LUKE, VI, 38. The book is based on several courses of lectures on control theory and appli cations which were delivered by the authors for a number of years at Moscow Electronics and Mathematics University. The book, originally written in Rus sian, was first published by Vysshaya Shkola (Higher School) Publishing House in Moscow in 1989. In preparing a new edition of the book we planned to make only minor changes in the text. However, we soon realized that we like many scholars working in control theory had learned many new things and had had many new insights into control theory and its applications since the book was first published. Therefore, we rewrote the book especially for the English edition. So, this is substantially a new book with many new topics. The book consists of an introduction and four parts. Part One deals with the fundamentals of modern stability theory: general results concerning stability and instability, sufficient conditions for the stability of linear systems, methods for determining the stability or instability of systems of various type, theorems on stability under random disturbances."

Motivated by practical problems in engineering and physics, drawing on a wide range of applied mathematical disciplines, this book is the first to provide, within a unified framework, a self-contained comprehensive mathematical theory of duality for general non-convex, non-smooth systems, with emphasis on methods and applications in engineering mechanics. Topics covered include the classical (minimax) mono-duality of convex static equilibria, the beautiful bi-duality in dynamical systems, the interesting tri-duality in non-convex problems and the complicated multi-duality in general canonical systems. A potentially powerful sequential canonical dual transformation method for solving fully nonlinear problems is developed heuristically and illustrated by use of many interesting examples as well as extensive applications in a wide variety of nonlinear systems, including differential equations, variational problems and inequalities, constrained global optimization, multi-well phase transitions, non-smooth post-bifurcation, large deformation mechanics, structural limit analysis, differential geometry and non-convex dynamical systems. With exceptionally coherent and lucid exposition, the work fills a big gap between the mathematical and engineering sciences. It shows how to use formal language and duality methods to model natural phenomena, to construct intrinsic frameworks in different fields and to provide ideas, concepts and powerful methods for solving non-convex, non-smooth problems arising naturally in engineering and science. Much of the book contains material that is new, both in its manner of presentation and in its research development. A self-contained appendix provides some necessary background from elementary functional analysis. Audience: The book will be a valuable resource for students and researchers in applied mathematics, physics, mechanics and engineering. The whole volume or selected chapters can also be recommended as a text for both senior undergraduate and graduate courses in applied mathematics, mechanics, general engineering science and other areas in which the notions of optimization and variational methods are employed.

The aim of the book is to cover the three fundamental aspects of research in equilibrium problems: the statement problem and its formulation using mainly variational methods, its theoretical solution by means of classical and new variational tools, the calculus of solutions and applications in concrete cases. The book shows how many equilibrium problems follow a general law (the so-called user equilibrium condition). Such law allows us to express the problem in terms of variational inequalities. Variational inequalities provide a powerful methodology, by which existence and calculation of the solution can be obtained.

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 book is the first serious attempt to gather all of the available theory of "nonharmonic Fourier series" in one place, combining published results with new results by the authors.

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.

Borwein is an authority in the area of mathematical optimization, and his book makes an important contribution to variational analysis

Provides a good introduction to the topic

There has been much recent progress in approximation algorithms for nonconvex continuous and discrete problems from both a theoretical and a practical perspective. In discrete (or combinatorial) optimization many approaches have been developed recently that link the discrete universe to the continuous universe through geomet ric, analytic, and algebraic techniques. Such techniques include global optimization formulations, semidefinite programming, and spectral theory. As a result new ap proximate algorithms have been discovered and many new computational approaches have been developed. Similarly, for many continuous nonconvex optimization prob lems, new approximate algorithms have been developed based on semidefinite pro gramming and new randomization techniques. On the other hand, computational complexity, originating from the interactions between computer science and numeri cal optimization, is one of the major theories that have revolutionized the approach to solving optimization problems and to analyzing their intrinsic difficulty. The main focus of complexity is the study of whether existing algorithms are efficient for the solution of problems, and which problems are likely to be tractable. The quest for developing efficient algorithms leads also to elegant general approaches for solving optimization problems, and reveals surprising connections among problems and their solutions. A conference on Approximation and Complexity in Numerical Optimization: Con tinuous and Discrete Problems was held during February 28 to March 2, 1999 at the Center for Applied Optimization of the University of Florida."

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.

There has been much excitement over the emergence of new mathematical techniques for the analysis and control of nonlinear systems. In addition, great technological advances have bolstered the impact of analytic advances and produced many new problems and applications which are nonlinear in an essential way. This book lays out in a concise mathematical framework the tools and methods of analysis which underlie this diversity of applications.

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.

From its origins in the minimization of integral functionals, the notion of variations has evolved greatly in connection with applications in optimization, equilibrium, and control. This book develops a unified framework and provides a detailed exposition of variational geometry and subdifferential calculus in their current forms beyond classical and convex analysis. Also covered are set-convergence, set-valued mappings, epi-convergence, duality, and normal integrands.