TSFP-7 Original
TSFP-7 Original
Abstract
In order to limit the computational cost associated to direct numerical (DNS) or large-eddy
simulations (LES) of spatially evolving flows, new strategies that aim at simulating only the
region of interest of the flow have recently been developed [1]. A potential implication is that
any results computed may be strongly influenced by the prescribed instantaneous inflow ve-
locity profiles. Such profiles are practically never available, and a usual practice is to generate
synthetic inflow data satisfying certain properties, which may be known from experimental
data or empirical correlations. This paper presents a new approach for generating simultane-
ous transitional initial and inflow boundary conditions based on variational data assimilation
(VDA) that is capable of reproducing the spatiotemporal dynamics of the targeted flow [2].
VDA is devoted to the solution of a minimization problem combining quantitative information
on a phenomenon with modelling results by means of the optimal control theory. Such an
inverse problem makes use of an objective function that measures some discrepancies between
acquired data and numerical solutions. A minimization problem involving a compound func-
tion (objective function plus model) is set up for the identification of some inputs of the model
(our control parameters) from which the solution fits at best the observed data. Assuming that
both the model and the objective function are differentiable, VDA proposes to solve this inverse
problem looking for a control that cancels out the gradient of this compound function. In the
present study, the optimisation is carried out using the limited memory BFGS deterministic
gradient based optimization algorithm (L-BFGS) [3]. In order to generate the gradient of the
objective function, we use the algorithms and tools of Automatic Differentiation (AD). This
can be viewed as a program transformation carried out by regarding the original computer
code as a sequence of elementary functions having at least a first derivative and then using the
chain rule to automatically evaluate the function represented by the given code as well as its
derivative. This is indeed very close to the mathematical resolution with the adjoint state: the
reverse mode of AD actually computes a discretized adjoint on the program. The AD tool used
for our purpose is TAPENADE [4]. The dynamical model that relates the state function to
the unknown of our inverse problem is based on pressure-velocity formulation of Navier-Stokes
equations. A DNS code fully based on sixth-order compact finite difference schemes and a
Cartesian grid is used to solve the incompressible Navier-Stokes equations. In this context, the
incompressibility condition is ensured via a fractional step method introducing a Poisson equa-
tion for the pressure [5]. We generated tangent (forward mode AD) and adjoint (reverse mode
AD) codes for this DNS code. Subsequently, we performed validation experiments to check for
correctness of both AD generated codes. The results are shown in table 1. The tangent norm
and the adjoint norm match very well, up to the last few digits, which shows that the tangent
and adjoint codes really compute the same derivatives, only in a different computation order.
The norm obtained with Divided Differences (DD) matches only to half the machine precision,
References
[1] L. Perret, J. Delville, R. Manceau and J. P. Bonnet. Turbulent inflow conditions for large-
eddy simulation based on low-order empirical model. Phys. Fluids 20, 075107 (2008).
[2] N. Papadakis and E. Memin. Variational assimilation of fluid motion from image sequences.
SIAM Journal on Imaging Science 1(4), 343-363, 2008.
[3] D. Liu and J. Nocedal. On the limited memory bfgs method for large scale optimization.
Mathematical Programming, Series B 45(3), 503-528 (1989).
[5] P. Parnaudeau, J. Carlier, D. Heitz and E. Lamballais. Experimental and numerical studies
of the flow over a circular cylinder at Reynolds number 3900. Phys. Fluids 20(8), 2008.
2
hDD, DDi ( = 10−7 ) 6.30295013229048399E-004
hẎ , Ẏ i 6.30295332305800073E-004
hX̄, Ẋi 6.30295332305800941E-004
Table 1: Dot product test for AD generated codes. F being the cost function and choosing an arbitrary initial
state X and an arbitrary direction Ẋ, we compute the divided difference DD = [F (X + Ẋ) − F (X)]/. Using
0
the tangent differentiated program, we compute Ẏ = F (X) × Ẋ. Using the adjoint differentiated program, we
0
compute X̄ = F ∗ (X) × Ẏ .
(a) (b)
Figure 1: (a) Reduction of the cost function and the gradient norm by varying the number of minimization
Rt R
iterations with the L-BFGS algorithm. The cost function to be minimized is F (~u(~x, t0 )) = t0N Ω k~u(~x, t) −
~uobs (~x, t)k2 d~x dt where the superscript obs stands for perturbed observation and ~u(~x, t) is the velocity field
generated from the model output. We have chosen a stop criterion based on gradient reduction from its initial
value, i.e. k∇F (Xk )k/k∇F (X0 )k < 10−4 . (b) Temporal evolution of the squared norm of the discrepancy
between each vorticity field generated from the model output wz (~x, t) and the reference value wzref (~x, t).
Figure 2: Vorticity fields at the end of the assimilation window. Computational domain Ω is discretized with
401 × 257 nodes on a stretched grid. (a) True field; (b) Perturbed field; (c) Field obtained by starting from
the initial estimate for L-BFGS algorithm; (d) Field obtained by starting from the retrieved optimal initial
conditions.