Section: New Results
Optimum design and control in fluid dynamics and its couplings
In computational sciences for physics and engineering, Computational Fluid Dynamics (CFD) are playing one of the major roles in the scientific community to foster innovative developments of numerical methodologies. Very naturally, our expertise in compressible CFD has led us to give our research on numerical strategies for optimum design a particular, but not exclusive focus on fluids.
The framework of our research aims to contribute to numerical strategies for PDEconstrained multiobjective optimization, with a particular emphasis on CPUdemanding computational applications in which the different criteria to be minimized (or reduced) originate from different physical disciplines that share the same set of design variables. These disciplines are often fluids, as a primary focus, coupled with some other disciplines, such as structural mechanics.
Our approach to competitive optimization is focused on the twodiscipline problem. It is based on a particular construction of Nash games, relying on a split of territory in the assignment of individual strategies. A methodology has been proposed for the treatment of twodiscipline optimization problems in which one discipline, the primary discipline, is preponderant, or fragile. Then, it is recommended to identify, in a first step, the optimum of this discipline alone using the whole set of design variables. Then, an orthogonal basis is constructed based on the evaluation at convergence of the Hessian matrix of the primary criterion and constraint gradients. This basis is used to split the working design space into two supplementary subspaces to be assigned, in a second step, to two virtual players in competition in an adapted Nash game, devised to reduce a secondary criterion while causing the least degradation to the first. The formulation has been proved to potentially provide a set of Nash equilibrium solutions originating from the original singlediscipline optimum point by smooth continuation, thus introducing competition gradually [65] (see also subsectionsubsect:helico).
Our approach to cooperative optimization, in theory, is not limited in number of objective functions. It is based on a result of convex analysis established for a general unconstrained multiobjective problem in which all the gradients are assumed to be known. The theorem [66] states that in the convex hull of the gradients, there exists a unique vector of minimal norm, $\omega $; if it is nonzero, the vector $\omega $ is a descent direction common to all criteria; otherwise, the current design point is Paretostationary. This result led us to generalize the classical steepestdescent algorithm by using the vector $\omega $ as search direction. We refer to the new algorithm as the multiplegradient descent algorithm (MGDA). The MGDA yields to a Paretostationary point, and in practice actual Paretooptimality is verified a posteriori.
The two approaches have been combined to explore the Pareto front segmentwise as illustrated on Figure 2 .

MultipleGradient Descent Algorithm (MGDA)
Participants : JeanAntoine Désidéri, Régis Duvigneau, Camilla Fiorini, Matteo Giacomini, Abderrahmane Habbal, Adrien Zerbinati.
Theory and numerical experimentation of the MGDA construction
In multiobjective optimization, the knowledge of the Pareto set provides valuable information on the reachable optimal performance. A number of evolutionary strategies (PAES, NSGAII, etc), have been proposed in the literature and proved to be successful to identify the Pareto set. However, these derivativefree algorithms are very demanding in terms of computational time. Today, in many areas of computational sciences, codes are developed that include the calculation of the gradient, cautiously validated and calibrated [66] .
The notion of Paretostationarity, originally established to be a necessary condition of optimality in differentiable multiobjective optimization of unconstrained problems, has been extended to problems subject to equality constraints. On this basis, we were able to establish that by augmenting, in a classical manner, the objectivefunctions of a penalty term equal to the square of the constraint violation, and applying the standard MGDA to it, would result in converged solutions that are Paretostationary in the extended sense. Numerical experimentation on this is ongoing.
Metamodelassisted CFD optimization by MGDA
Using MGDA in a multi objective optimization problem requires the evaluation of a large number of points with regard to criteria, and their gradients. In the particular case of a CFD problems, each point evaluation is very costly since it involves a flow computation, possibly the solution of an adjointequation. To alleviate this difficulty, we have proposed to construct metamodels of the functionals of interest (lift, drag, etc) and to calculate approximate gradients by local finite differences. These metamodels are updated throughout the convergence process to the evaluation of the new design points by the highfidelity model, here the 3D compressible Euler equations.
This variant of MGDA has been tested successfully over several aerodynamic shape optimization problems : lift concurrently with drag optimization for transonic aircraft; drag (under lift constraint) concurrently with sonic boom reduction for 3D supersonic configuration (at ONERA); drag (under lift constraint) concurrently with mass reduction for transport aircraft (at ONERA) [56] .
Exact shape gradients
MGDA has successfully been tested over a twoobjective optimization problem governed by twodimensional elasticity. The deformation of a plate is calculated using an isogeometric approximation and compliance derived from it. The exact parametric shape gradient is calculated, yielding the gradient of the objective function in two antagonistic situations differing by the loading. Paretofronts are thus identified [68] .
Optimization of an unsteady system using a multiobjective formulation
An approach has been developed to solve optimization problems in which the functional that has to be minimized is time dependent. In the literature, the most common approach when dealing with unsteady problems, is to consider a timeaverage criterion. However, this approach is limited since the dynamical nature of the state is neglected. Our alternative consists in building a set of cost functionals by evaluating a single criterion at different sampling times. In this way, the optimization of the unsteady system is formulated as a multiobjective optimization problem, solved using an appropriate descent algorithm (MGDA). Moreover, we also consider a hybrid approach in which the set of cost functionals is built by doing a timeaverage operation over multiple intervals. These strategies have been illustrated and applied to a nonlinear unsteady system governed by a onedimensional convectiondiffusionreaction partial differential equation [67] .
Perspectives
MGDA offers the possibility to handle in a rational way several objectivefunctions for which gradients are known or approximated concurrently. This potential opens methodological paths to several themes of interest in highfidelity simulationbased optimization: optimization of complex systems whose performance is evaluated w.r.t. several criteria originating from different, coupled disciplines; optimization under uncertainties, by introducing sensitivities as additional objectives; optimization of timedependent systems, such as optimization of flowcontrol devices that generate a periodic flow (see next subsection), by converting the problem into a multipoint problem by timediscretization of the time and parameterdependent functional (as above); etc.
Flow control
Participants : Régis Duvigneau, Jérémie Labroquère, Emmanuel Guilmineau [Ecole Centrale de Nantes] .
Shape optimization methods are not efficient to improve the performance of fluid systems, when the flow is characterized by a strong unsteadiness related to a massive detachment. This is typically the case for the flow around an automotive body or a wing in stall condition. To overcome this difficulty, flow control strategies are developed, that aim at manipulating vortex dynamics by introducing some active actuators, such as periodic blowing/suction jets. In this context, the choice of the control parameters (location, amplitude, frequency) is critical and not straightforward. Therefore, we develop a methodology to determine optimal control parameters by coupling the simulation of unsteady actuated flows with optimization algorithms. Two research axes have been considered :

the resolution of the unsteady sensitivity equations derived from the state equations, to exhibit the dependency of the flow dynamics with respect to the control and apply an unsteady gradientbased approach[67] ;

the optimization of control parameters using a statistical metamodelbased strategy [39] .
In this perspective, unsteady Reynolds Averaged NavierStokes equations are solved, with some turbulence closures. Different models for synthetic jet have been implemented to simulate the actuation, and then validated for different turbulence closures .
Specific developments have be carried out in the metamodelbased optimizer to include a noise term into Gaussian Process model, which is used to filter errors arising from unsteady simulations. A systematic assessment of modeling and numerical errors has been archived for a backward facing step testcase, with the objective of controlling the reattachment point location[46] , [58] .
This activity is conducted in collaboration with the CFD team of Ecole Centrale de Nantes.
Adjointbased mesh quality control
Participants : JeanAntoine Desideri, Maxime NguyenDinh [ONERA doctoral student] , Jacques Peter [Research Engineer, ONERA/DSNA] , Renaud Sauvage [Airbus France] , Mathieu Meaux [EADS IW] .
In his doctoral thesis [29] , Nguyen Dinh has studied mesh adaptation methods based on the total derivatives of aerodynamic outputs with respect to mesh coordinates by the discrete adjoint method. Firstly, mesh adaptation methods have been devised for Eulerian flows. Zones to be refined are detected using a sensor based on the total derivative, and numerical experiments confirmed the adequacy of the approach. Secondly, the method was extended to the Reynoldsaveraged Navier equations (RANS) and thirdly demonstrated for 3D industrial configurations [53] .
Helicopter rotor blade optimization in both situations of hovering and forward flight
Participants : David Alfano [Airbus Helicopter] , Michel Costes [Research Engineer, ONERA/DAAP] , JeanAntoine Désideri, Arnaud Le Pape [Research Engineer, ONERA/DAAP] , Enric Roca Leon.
E. Roca Leon has conducted a CIFRE thesis at ONERA DAAP supported by Airbus Helicopter (Marignane) [34] . This thesis follows the doctoral thesis of A. Dumont in which the adjointequation approach was used to optimize a rotor blade in hovering flight. The goal of this new thesis is to solve a twoobjective optimization problem in which the hoveringflight criterion is considered preponderant, but a new criterion that takes into account the forwardflight situation is also introduced, concurrently. The second criterion is the power necessary to maintain the forward motion. The first phase of thesis work has been devoted to the set up of a hierarchy of models from low to high fidelity, in order to calibrate appropriate functional criteria. Then, actual twoobjective optimizations are conducted via our Nash game approach to competitive optimization with territory splitting based on reduced Hessian diagonalization. Successful optimization has been realized involving 16 geometrical parameters to reduce the power in forward motion while maintaining suboptimality of the drag in hover [55] [64] [65] .