Table of contents

Volume 54

Number 3, June 1999

Previous issue Next issue

COMMUNICATIONS OF THE MOSCOW MATHEMATICAL SOCIETY

MATHEMATICAL EVENTS

479

The proofs of the existence, uniqueness, smoothness, and stability of solutions of problems in fluid dynamics are needed to give meaning to the equations and corresponding initial and boundary conditions that govern these problems. For any arbitrary reasonable choice of a class of admissible initial data, a problem in fluid dynamics must be well posed (in the Hadamard sense [1]). This means that (a) the problem has a solution for any initial data in this class, (b) this solution is unique for any initial conditions, (c) the solution depends continuously on the initial data. In this paper we give a survey of some aspects of problems on well-posedness from the point of view of fluid dynamics itself; these problems form a very difficult and at the same time important part of fluid mechanics.

565

and

Contents Introduction § 1. Statement of the problem. Main results 1.1. Exact boundary controllability of the Navier-Stokes equations 1.2. Local exact distributed controllability of the Navier-Stokes equations 1.3. Exact controllability of the Boussinesq system 1.4. Exact local controllability and approximate controllability of the Boussinesq system 1.5. Some applications § 2. Carleman estimates 2.1. Preliminaries 2.2. Carleman estimates for solutions of system (2.9), (2.10) 2.3. Definitive estimates § 3. Solubility of the exact controllability problem for the linearized Boussinesq system 3.1. Statement of the problem 3.2. An auxiliary extremal problem 3.3. Proof of the main result § 4. Local exact controllability of the Boussinesq system § 5. Approximate controllability of the Boussinesq system: reduction to a linear system of a special form 5.1. The idea of the proof 5.2. Approximate controllability of the Boussinesq system § 6. Exact controllability of a linear system 6.1. Proof of Lemma 5.1 6.2. Proof of Theorem 5.1

Bibliography