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.

These proceedings collect the major part of the lectures given at ENU MATH2003, the European Conference on Numerical Mathematics and Ad vanced Applications, held in Prague, Czech Republic, from 18 August to 22 August, 2003. The importance of numerical and computational mathematics and sci entific computing is permanently growing. There is an increasing number of different research areas, where numerical simulation is necessary. Let us men tion fluid dynamics, continuum mechanics, electromagnetism, phase transi tion, cosmology, medicine, economics, finance, etc. The success of applications of numerical methods is conditioned by changing its basic instruments and looking for new appropriate techniques adapted to new problems as well as new computer architectures. The ENUMATH conferences were established in order to provide a fo rum for discussion of current topics of numerical mathematics. They seek to convene leading experts and young scientists with special emphasis on con tributions from Europe. Recent results and new trends are discussed in the analysis of numerical algorithms as well as in their applications to challenging scientific and industrial problems. The first ENUMATH conference was organized in Paris in 1995, then the series continued by the conferences in Heidelberg 1997, Jyvaskyla 1999 and Ischia Porto 2001. It was a great pleasure and honour for the Czech numerical community that it was decided at Ischia Porto to organize the ENUMATH2003 in Prague. It was the first time when this conference crossed the former Iron Courtain and was organized in a postsocialist country.

This book presents methods to study the controllability and the stabilization of nonlinear control systems in finite and infinite dimensions. The emphasis is put on specific phenomena due to nonlinearities. In particular, many examples are given where nonlinearities turn out to be essential to get controllability or stabilization. Various methods are presented to study the controllability or to construct stabilizing feedback laws. The power of these methods is illustrated by numerous examples coming from such areas as celestial mechanics, fluid mechanics, and quantum mechanics. The book is addressed to graduate students in mathematics or control theory, and to mathematicians or engineers with an interest in nonlinear control systems governed by ordinary or partial differential equations.

Introduces the formulation of problems in fuild mechanics and dynamics, and shows how they can be analyzed and resolved using finite element methods. This practical book also discusses the equations of fluid mechanics and investigates the problems to which these equations can be applied, as well as how they can be analyzed and solved. Contains illustrations of computer simulations using the methods described in the book and features numerous illustrations.

This book provides a basic introduction to reduced basis (RB) methods for problems involving the repeated solution of partial differential equations (PDEs) arising from engineering and applied sciences, such as PDEs depending on several parameters and PDE-constrained optimization. The book presents a general mathematical formulation of RB methods, analyzes their fundamental theoretical properties, discusses the related algorithmic and implementation aspects, and highlights their built-in algebraic and geometric structures. More specifically, the authors discuss alternative strategies for constructing accurate RB spaces using greedy algorithms and proper orthogonal decomposition techniques, investigate their approximation properties and analyze offline-online decomposition strategies aimed at the reduction of computational complexity. Furthermore, they carry out both a priori and a posteriori error analysis. The whole mathematical presentation is made more stimulating by the use of representative examples of applicative interest in the context of both linear and nonlinear PDEs. Moreover, the inclusion of many pseudocodes allows the reader to easily implement the algorithms illustrated throughout the text. The book will be ideal for upper undergraduate students and, more generally, people interested in scientific computing. All these pseudocodes are in fact implemented in a MATLAB package that is freely available at https://github.com/redbkit

The present book consists of three parts. In the first part a theory of solvability for the stationary Stokes equations in exterior domains is developed. We prove existence of strong solutions in Sobolev spaces and use a localisation principle and the divergence equation to deduce further properties of the solution (uniqueness, asymptotics).

Introduction to the Numerical Analysis of Incompressible Viscous Flows treats the numerical analysis of finite element computational fluid dynamics. Assuming minimal background, the text covers finite element methods; the derivation, behavior, analysis, and numerical analysis of Navier-Stokes equations; and turbulence and turbulence models used in simulations. Each chapter on theory is followed by a numerical analysis chapter that expands on the theory. This book provides the foundation for understanding the interconnection of the physics, mathematics, and numerics of the incompressible case, which is essential for progressing to the more complex flows not addressed in this book (e.g., viscoelasticity, plasmas, compressible flows, coating flows, flows of mixtures of fluids, and bubbly flows). With mathematical rigor and physical clarity, the book progresses from the mathematical preliminaries of energy and stress to finite element computational fluid dynamics in a format manageable in one semester. Audience: this unified treatment of fluid mechanics, analysis, and numerical analysis is intended for graduate students in mathematics, engineering, physics, and the sciences who are interested in understanding the foundations of methods commonly used for flow simulations.