Pekka Neittaanmäki

The aim of this book is to present the mathematical theory and the know-how to make computer programs for the numerical approximation of Optimal Control of PDE's. The computer programs are presented in a straightforward generic language. As a consequence they are well structured, clearly explained and can be translated easily into any high level programming language. Applications and corresponding numerical tests are also given and discussed. To our knowledge, this is the first book to put together mathematics and computer programs for Optimal Control in order to bridge the gap between mathematical abstract algorithms and concrete numerical ones. The text is addressed to students and graduates in Mathematics, Mechanics, Applied Mathematics, Numerical Software, Information Technology and Engineering. It can also be used for Master and Ph. D. programs.

Mathematical modeling plays an essential role in science and engineering. Costly and time consuming experiments (if they can be done at all) are replaced by computational analysis. In industry, commercial codes are widely used. They are flexible and can be adjusted for solving specific problems of interest. Solving large problems with tens or hundreds of thousands unknowns becomes routine. The aim of analysis is to predict the behavior of the engineering and physical reality usually within the constraints of cost and time. Today, human cost and time are more important than computer cost. This trend will continue in the future. Agreement between computational results and reality is related to two factors, namely mathematical formulation of the problems and the accuracy of the numerical solution. The accuracy has to be understood in the context of the aim of the analysis. A small error in an inappropriate norm does not necessarily mean that the computed results are usable for practical purposes.

Structural optimization is currently attracting considerable attention. Interest in - search in optimal design has grown in connection with the rapid development of aeronautical and space technologies, shipbuilding, and design of precision mach- ery. A special ?eld in these investigations is devoted to structural optimization with incomplete information (incomplete data). The importance of these investigations is explained as follows. The conventional theory of optimal structural design - sumes precise knowledge of material parameters, including damage characteristics and loadings applied to the structure. In practice such precise knowledge is seldom available. Thus, it is important to be able to predict the sensitivity of a designed structure to random ?uctuations in the environment and to variations in the material properties. To design reliable structures it is necessary to apply the so-called gu- anteed approach, based on a “worst case scenario” or a more optimistic probabilistic approach, if we have additional statistical data. Problems of optimal design with incomplete information also have consid- able theoretical importance. The introduction and investigations into new types of mathematical problems are interesting in themselves. Note that some ga- theoretical optimization problems arise for which there are no systematic techniques of investigation. This monograph is devoted to the exposition of new ways of formulating and solving problems of structural optimization with incomplete information. We recall some research results concerning the optimum shape and structural properties of bodies subjected to external loadings.

The present monograph is intended to provide a comprehensive and accessible introduction to the optimization of elliptic systems. This area of mathematical research, which has many important applications in science and technology. has experienced an impressive development during the past two decades. There are already many good textbooks dealing with various aspects of optimal design problems. In this regard, we refer to the works of Pironneau [1984], Haslinger and Neittaanmaki [1988], [1996], Sokolowski and Zolksio [1992], Litvinov [2000], Allaire [2001], Mohammadi and Pironneau [2001], Delfour and Zolksio [2001], and Makinen and Haslinger [2003]. Already Lions [I9681 devoted a major part of his classical monograph on the optimal control of partial differential equations to the optimization of elliptic systems. Let us also mention that even the very first known problem of the calculus of variations, the brachistochrone studied by Bernoulli back in 1696. is in fact a shape optimization problem. The natural richness of this mathematical research subject, as well as the extremely large field of possible applications, has created the unusual situation that although many important results and methods have already been est- lished, there are still pressing unsolved questions. In this monograph, we aim to address some of these open problems; as a consequence, there is only a minor overlap with the textbooks already existing in the field.

The aim of this book is to present the mathematical theory and the know-how to make computer programs for the numerical approximation of Optimal Control of PDE's. The computer programs are presented in a straightforward generic language. As a consequence they are well structured, clearly explained and can be translated easily into any high level programming language. Applications and corresponding numerical tests are also given and discussed. To our knowledge, this is the first book to put together mathematics and computer programs for Optimal Control in order to bridge the gap between mathematical abstract algorithms and concrete numerical ones. The text is addressed to students and graduates in Mathematics, Mechanics, Applied Mathematics, Numerical Software, Information Technology and Engineering. It can also be used for Master and Ph. D. programs.

Mathematical modeling plays an essential role in science and engineering. Costly and time consuming experiments (if they can be done at all) are replaced by computational analysis. In industry, commercial codes are widely used. They are flexible and can be adjusted for solving specific problems of interest. Solving large problems with tens or hundreds of thousands unknowns becomes routine. The aim of analysis is to predict the behavior of the engineering and physical reality usually within the constraints of cost and time. Today, human cost and time are more important than computer cost. This trend will continue in the future. Agreement between computational results and reality is related to two factors, namely mathematical formulation of the problems and the accuracy of the numerical solution. The accuracy has to be understood in the context of the aim of the analysis. A small error in an inappropriate norm does not necessarily mean that the computed results are usable for practical purposes.

This book addresses the formulation, approximation and numerical solution of optimal shape design problems: from the continuous model through its discretization and approximation results, to sensitivity analysis and numerical realization. Shape optimization of structures is addressed in the first part, using variational inequalities of elliptic type. New results, such as contact shape optimization for bodies made of non-linear material, sensitivity analysis based on isoparametric technique, and analysis of cost functionals related to contact stress distribution are included. The second part presents new concepts of shape optimization based on a fictitious domain approach. Finally, the application of the shape optimization methodology in the material design is discussed. This second edition is a fully revised and up-dated version of Finite Element Method for Optimal Shape Design. Numerous numerical examples illustrate the theoretical results, and industrial applications are given.

This book is a self-contained elementary study for nonsmooth analysis and optimization, and their use in solution of nonsmooth optimal control problems. The first part of the book is concerned with nonsmooth differential calculus containing necessary tools for nonsmooth optimization. The second part is devoted to the methods of nonsmooth optimization and their development. A proximal bundle method for nonsmooth nonconvex optimization subject to nonsmooth constraints is constructed. In the last part nonsmooth optimization is applied to problems arising from optimal control of systems covered by partial differential equations. Several practical problems, like process control and optimal shape design problems are considered.

One service mathematics has rendered the 'Et moi, ...si favait su comment en revenir, je n'y seTais point alle.' human race. It has put common sense back Jules Verne where it belongs. on the topmost shelf next to the dusty canister labelled 'discarded n- sense', The series is divergent; therefore we may be Eric T. Bell able to do something with it. O. Heaviside 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 scrvice logic has rendered com- puter science ...'; 'One service category theory has rendcred mathematics ...'. All arguably true. And all statements obtainable this way form part of the raison d'e"tre of this scries.