1 Introduction

Thirty years ago, in 1992, I was invited by ENEL, the Italian agency for the production and the distribution of electric power, to illustrate the recent progresses in the new emerging computational techniques applied to the Large Eddy Simulation, (LES), of turbulent flows. In Pisa, the morning of May 21, I spoke about the past and the present of LES and the related perspectives of future developments. In the afternoon some participants presented their activity in the field, and Carlo Cercignani was one of them. It was a great day, plenty of suggestions and promises for the future.

It was not my first conversation with Carlo, our friendship started in the sixties of the last century, but it was the first time that we were directly related to some joint project. Both Italians we were used to meet outside, at a congress in the United States or a meeting in Denmark. I was attracted by his way of looking at science, his passionate and disenchanted way of considering the progress, his penetrating and well-disposed judgements of new theories and people. The contacts were rapid but very significative, a dinner in a pub, a little walk in a campus or the casual encounter in a library between one session and another. For me he was like an elder brother, disposed to understand your problems and indulgent with your weaknesses.

At the time of our meeting in Pisa I recall his amused interest on my reports about my personal American Adventure, the joint gestation of the dynamic model with Stanford. Thirty years ago the interest for LES suddenly had a great impulse due to the new dynamic modeling approach [1] that was presented at the Summer Meeting of the CTR in 1990. This procedure, originally applied to improve dynamically the Smagorinsky model, was very general; Carlo was working with his collaborators, Antonella Abbà and Lorenzo Valdettaro, on anisotropic eddy viscosity models and a possible dynamic improvement was attracting their attention.

For me all that was a great surprise. The basic ingredient of the new modeling approach was a trivial identity between the subgrid stresses at two different filtering resolutions incidentally found in the framework of my speculations on LES. My interest on LES was relatively new, and my main problem at that time was to develop a simple multiscale approach to the analysis of turbulent flows based on a generic hierarchy of filtering operators. The starting point was a curiosity about the fundamentals, in particular, the problem of the average and the analytical formalization of LES. I was attracted by LES mainly from the point of view of a new way to represent turbulent flow, different from the statistical and the spectral ones.

The beginning was discouraging, a good friend of mine, consulted on the subject, was very strong about that: please leave that topic, it is unfitted for you. It requires big computers, you are not an expert in numerical and computational problems and there is little space left for new theoretical work. But I was attracted by some analogies between the classical Leonard formulation of LES [2] and some old ideas of Boussinesq [3] and Reynolds [4], developed in the middle of the last century by Kampé de Fériet and his school [5], concerning the rules of the mean from the algebraic point of view, and that was the starting point. Then I realized that a great obstacle to the formulation of a hierarchical filtering approach was to get rid of the fluctuations, and to remove the fluctuation-conditioned attitude peculiar of the statistical decomposition. At the time of my presentation in Pisa I was in the main of my struggle against the fluctuations, my first paper on that [6] was encountering some difficulties to be published, it was presented to JFM on July 1990 and was finally published on June 1992. That was my main interest and my major concern at that time, and the main argument of my conversation gently supported by Carlo with his particular witty smile that afternoon in Pisa. In the following I would like to recall all that, in the ideal continuity that connect all us in an endless dialogue.

2 Fluctuation-Conditioned Turbulence

Everybody knows that an alternative, rapid, and elegant way to compute the Reynolds stress in turbulent flows is given by

$$\displaystyle \begin{aligned} R_{ij}=\overline{u_i u_j}- \bar{u}_i\bar{u}_j \end{aligned} $$
(1)

but for a teacher it is surprisingly scarce the number of students disposed to appreciate this simple expression. Almost all prefer the classical formulation based on the differences, the fluctuations from the mean \(u^{\prime }_i=u_i-\bar {u}_i\)

$$\displaystyle \begin{aligned} R_{ij}=\overline{u^{\prime}_i u^{\prime}_j} \end{aligned} $$
(2)

where the overline stands for the statistical operator, and this fluctuation-conditioned attitude is more evident when applied to the statistical analysis of a filtered representation of a turbulent flow. Let us indicate with the overtilde a generic filtering operator and with \(\tilde {u}_i\) a filtered representation of a turbulent flow u i. We assume as usual that

$$\displaystyle \begin{aligned} \overline{\widetilde{\cdots}}=\overline{\cdots} \hspace{4mm} ; \hspace{4mm} \overline{\widetilde{u_i}}=\overline{u_i} \hspace{4mm} ; \hspace{4mm} \overline{\widetilde{u_i u_j}}=\overline{u_i u_j} \end{aligned} $$
(3)

and we introduce the new fluctuations \(u_i^{\prime \prime }\) and \(u_i^{\prime \prime \prime }\) defined as

$$\displaystyle \begin{aligned} u_i^{\prime\prime}=\tilde{u}_i - \bar{u}_i \hspace{2mm} ; \hspace{2mm} u_i^{\prime\prime\prime}=u_i - \tilde{u}_i \end{aligned} $$
(4)

Owing to the identity

$$\displaystyle \begin{aligned} u_i^{\prime}= u_i^{\prime\prime}+u_i^{\prime\prime\prime} \end{aligned} $$
(5)

we can write the relation

$$\displaystyle \begin{aligned} \begin{array}{rcl} R_{ij}& =&\displaystyle \overline{u^{\prime\prime}_i u^{\prime\prime}_j}+\overline{u^{\prime\prime\prime}_i u^{\prime\prime\prime}_j}+\overline{u^{\prime\prime}_i u^{\prime\prime\prime}_j}+\overline{u^{\prime\prime\prime}_i u^{\prime\prime}_j} \end{array} \end{aligned} $$
(6)

that if the new supplementary fluctuations \(u^{\prime \prime }_i\) and \(u^{\prime \prime \prime }_i\) are uncorrelated reduces to the simple result

$$\displaystyle \begin{aligned} \begin{array}{rcl} R_{ij}& =&\displaystyle \overline{u^{\prime\prime}_i u^{\prime\prime}_j}+\overline{u^{\prime\prime\prime}_i u^{\prime\prime\prime}_j} \end{array} \end{aligned} $$
(7)

I will not underestimate the importance of these relations. Triple decompositions have been studied by many authors in the past, I will cite one for all the important paper by Reynolds and Hussain [7] where a triple decomposition has been applied to the study of the mechanics of an organized wave in turbulent shear flow. Here I only remark that it is very easy and more general to realize that

$$\displaystyle \begin{aligned} \overline{u^{\prime\prime}_i u^{\prime\prime}_j}=\overline{\tilde{u}_i\tilde{u}_j}- \overline{\tilde{u}}_i \overline{\tilde{u}}_j \end{aligned} $$
(8)

and that

$$\displaystyle \begin{aligned} \overline{u^{\prime\prime\prime}_i u^{\prime\prime\prime}_j}+\overline{u^{\prime\prime}_i u^{\prime\prime\prime}_j}+\overline{u^{\prime\prime}_i u^{\prime\prime\prime}_j}=\overline{\widetilde{u_j u_i}}-\overline{\tilde{u}_i\tilde{u}_j} \end{aligned} $$
(9)

so that we have the alternative operational decomposition of the Reynolds stress given by

$$\displaystyle \begin{aligned} \begin{array}{rcl} {} R_{ij}& =&\displaystyle T_{ij}+\overline{\tau}_{ij} \end{array} \end{aligned} $$
(10)

where T ij is the resolved stress, explicitly computed

$$\displaystyle \begin{aligned} \begin{array}{rcl} T_{ij}& =&\displaystyle \overline{\tilde{u}_i \tilde{u}_j}- \overline{\tilde{u}}_i \overline{\tilde{u}}_j \end{array} \end{aligned} $$
(11)

and τ ij is the subfilter stress, usually modeled

$$\displaystyle \begin{aligned} \begin{array}{rcl} \tau_{ij}& =&\displaystyle \widetilde{u_i u_j}- \tilde{u}_i\tilde{u}_j \end{array} \end{aligned} $$
(12)

We remark that the identity (10) is operational and only subjected to the assumption (3), so that can be also applied to two generic filtering operators, and that was the new multiscale identity that I was illustrating that day in Pisa. Here I would like to recall how important in his genesis was for me to remove the fluctuation-conditioned attitude at that time dominant in the field. A fundamental starting point was an old paper published in French in the Italian Rendiconti del Seminario Matematico e Fisico di Milano [5]. In that paper Kampé de Fériet poses the following question: Quelles sont les propriétés de la moyenne, nécessaires et suffisantes pour que les équations de Reynolds se déduisent rigoureusement des équations de Navier en en prenant la moyenne?, which are the properties of the mean that mathematically justify the RANS equations. The arguments and the developments are very interesting, but mainly two conclusions deserve in our opinion our principal attention. The first is related to the fundamental property of the statistical fluctuations, \(\overline {u^{\prime }_i}=0\), their nullity when averaged, that is proved unessential: si on attache donc une telle importance à \(\overline {u^{\prime }_i}=0\) c’est parce qu’on la juge impliquée intuitivement dans le concept de la moyenne, mais nullement parce qu’elle intervient dans les calculs réellement effectués Footnote 1. The second is that the RANS equations are very simply and directly derived by the Navier-Stokes equations si l’effet du mouvement de l’agitation turbulent sur le mouvement moyen ne s’exprime plus par le tenseur de Reynolds, \(\overline {u^{\prime }_i u^{\prime }_j}\), mais par un nouveau tenseur \(R_{ij}=\overline {u_i u_j}- \bar {u}_i\bar {u}_j\) Footnote 2. More precisely the problem that interested Kampé de Fériet in the fifties of the last century was to better understand algebraically the Reynolds rules of the mean. Given a generic linear and constant preserving filtering operator \(\mathcal F\) that produces the quantities \(\bar {u}_i\) let us introduce the fluctuations \(u^{\prime }_i=u_i-\bar {u}_i\). We can write

$$\displaystyle \begin{aligned} \overline{u_i u_j}=\overline{\bar{u}_i\bar{u}_j}+\overline{u^{\prime}_i u^{\prime}_j} +\overline{u^{\prime}_i\bar{u}_j} +\overline{u^{\prime}_j\bar{u}_i} \end{aligned} $$
(13)

and the problem was to find the operational rules that justify the equivalence of this expression with the usual one

$$\displaystyle \begin{aligned} \overline{u_i u_j}=\bar{u}_i\bar{u}_j +\overline{u^{\prime}_i u^{\prime}_j} \end{aligned} $$
(14)

Obviously this equivalence is satisfied if \(\mathcal {F}=\mathcal {E}\), the statistical average, and at that time the interest to this problem was not so appreciated by the scientific community. Let us quote from Monin and Yaglom [8], volume 1, page 209: However, all these investigations are of a formal mathematical nature and their results do not find direct application in the theory of turbulence. Furthermore, they are not even necessary, since in present day turbulence theory the question of the meaning of averaging is resolved in a completely different manner, and, moreover, in such a way that all the Reynolds conditions are evidently satisfied ……. Averages different from the statistical one, like convolutional averages in space and time, are not so interesting because these mean values will depend on the form of the weighting function (in particular, when averaging over some time interval or region of space, it will depend on the length of the interval or the form and volume of the region) and in conclusion it is desirable in the theory of turbulence to avoid the use of this type of averaging altogether, and to adopt instead some other method of defining the mean value, a method that has simpler properties and is more universal. A convenient definition of this type, which we shall use throughout this book, is found in the probability-theory treatment of the fields of fluid dynamic variables in a turbulent flow as random fields.

But things were rapidly changing due to a lot of reasons. The discovery of coherent structures and the sensation that a turbulent field at least as regards the large scales, is not so chaotic as presumed was more and more acting on the scientific imagination. The classical double decomposition in ensemble averages and statistical fluctuations was insufficient to capture the multiscale nature of turbulence, and something new had to be implemented. It was clear that in order to go on something new had to be conceived, and following the suggestions of Kampé de Fériet the time of abandoning the fluctuation-conditioned approaches was arrived. It was not so easy, and a fundamental step was to define the Generalized Central Moments.

3 Turbulence Without Fluctuations

Once removed by the help of Kampé de Fériet my fluctuation-conditioned attitude, everything became easier. Explicitly, given a generic velocity field \(u_{i}\left (\mathbf {x}, t, \omega \right )\), the statistical average is given by

$$\displaystyle \begin{aligned} \langle u_{i}\rangle=\int u_{i}\left(\mathbf{x}',t', \omega\right) p(\omega) d\omega \end{aligned} $$
(15)

and a generic space average is given by

$$\displaystyle \begin{aligned} \langle u_{i}\rangle=\int u_{i}\left(\mathbf{x}',t', \omega\right) \mathcal{G}\left(\mathbf{x}-\mathbf{x}'\right)d^{3}\mathbf{x}' \end{aligned} $$
(16)

where p(ω) is a probability density function and \(\mathcal {G}\left (\mathbf {x}-\mathbf {x}'\right )\) a normalized space filtering kernel, but operationally the filtered, averaged, Reynolds, LES equations are all equivalent. In terms of the generalized Reynolds stress introduced by Kampé de Fériet the Navier-Stokes equations are invariant to the filtering process, and this averaging invariance is claimed in my paper [6], but essentially it is due to my connection to the past. To generalize all that was simple. Let us consider a generic filtering operator \(\mathcal F\) representative of our Large Eddy Simulation, the explicit or implicit LES filter, and given the generic turbulent quantities, a, b, c, ⋯, let us introduce the Generalized Central Moments (GCM) [6, 9, 10] associated with \(\mathcal F\)

$$\displaystyle \begin{aligned} \begin{array}{rcl} \tau_{f}(a,b)& \equiv&\displaystyle \langle ab\rangle_{f}-\langle a\rangle_{f}\langle b\rangle_{f} \\ \tau_{f}(a,b,c)& \equiv&\displaystyle \langle abc\rangle_{f}- \langle a\rangle_{f} \tau_{f}(b,c)-\langle b\rangle_{f} \tau_{f}(c,a)-\langle c\rangle_{f} \tau_{f}(a,b)-\langle a\rangle_{f}\langle b\rangle_{f}\langle c\rangle_{f} \\ & &\displaystyle \end{array} \end{aligned} $$
(17)

Let us now define a test filter \(\mathcal G\) that we only assume linear and constant preserving and let us consider the quantities extracted by this test filter \(\mathcal G\) when applied to the LES \(\mathcal F\)-filtered quantities. In other words we are interested to the filter product \(\mathcal {P}=\mathcal {G}\mathcal {F}\). We assume that \(\mathcal {G}\mathcal {F}=\mathcal {F}\mathcal {G}\), and our notation is the following

$$\displaystyle \begin{aligned} \begin{array}{rcl} \mathcal{P}[\cdots] & \equiv&\displaystyle \mathcal{G}[\mathcal{F}[\cdots]] \equiv \mathcal{G}\mathcal{F}[\cdots] \equiv \langle \cdots\rangle_{g\!f} \equiv \langle\langle \cdots\rangle_{f}\rangle_{g}\equiv \langle \cdots\rangle_{p} \\ & \equiv&\displaystyle \mathcal{F}[\mathcal{G}[\cdots]] \equiv \mathcal{F}\mathcal{G}[\cdots] \equiv \langle \cdots\rangle_{f\!g} \equiv \langle\langle \cdots\rangle_{g}\rangle_{f}\equiv \langle \cdots\rangle_{p} \end{array} \end{aligned} $$
(18)

It is easy to see that we can write the following identities

$$\displaystyle \begin{aligned} \begin{array}{rcl} \tau_{p}(a,b)& =&\displaystyle \tau_{g}(\langle a\rangle_{f},\langle b\rangle_{f})+\langle \tau_{f}(a,b)\rangle_{g}=\tau_{f}(\langle a\rangle_{g},\langle b\rangle_{g})+\langle \tau_{g}(a,b)\rangle_{f} \\ \tau_{p}(a,b,c)& =&\displaystyle \tau_{g}(\langle a\rangle_{f},\langle b\rangle_{f},\langle c\rangle_{f})+\langle \tau_{f}(a,b,c)\rangle_{g} \\ & +&\displaystyle \tau_{g}(\langle a\rangle_{f},\tau_{f}(b,c))+\tau_{g}(\langle b\rangle_{f},\tau_{f}(c,a))+\tau_{g}(\langle c\rangle_{f},\tau_{f}(a,b)) \\ & =&\displaystyle \tau_{f}(\langle a\rangle_{g},\langle b\rangle_{g},\langle c\rangle_{g})+\langle \tau_{g}(a,b,c)\rangle_{f} \\ & +&\displaystyle \tau_{f}(\langle a\rangle_{g},\tau_{g}(b,c))+\tau_{f}(\langle b\rangle_{g},\tau_{g}(c,a))+\tau_{f}(\langle c\rangle_{g},\tau_{g}(a,b)) \end{array} \end{aligned} $$
(19)

where, consistently with the definition of the GCM,

$$\displaystyle \begin{aligned} \begin{array}{rcl} \tau_{p}(a,b)& \equiv&\displaystyle \tau_{gf}(a, b)=\langle a b\rangle_{g\!f}-\langle a\rangle_{g\!f}\langle b\rangle_{g\!f} \\ & \equiv&\displaystyle \tau_{fg}(a, b)=\langle a b\rangle_{f\!g}-\langle a\rangle_{f\!g}\langle b\rangle_{f\!g} \\ \tau_{p}(a,b,c)\equiv\tau_{gf}(a,b,c)& =&\displaystyle \langle abc\rangle_{g\!f}- \langle a\rangle_{g\!f} \tau_{gf}(b,c)-\langle b\rangle_{g\!f} \tau_{gf}(c,a) \\ & -&\displaystyle \langle c\rangle_{g\!f} \tau_{gf}(a,b)-\langle a\rangle_{g\!f}\langle b\rangle_{g\!f}\langle c\rangle_{g\!f} \\ \equiv\tau_{fg}(a,b,c)& =&\displaystyle \langle abc\rangle_{f\!g}- \langle a\rangle_{f\!g} \tau_{fg}(b,c)-\langle b\rangle_{f\!g} \tau_{fg}(c,a) \\ & -&\displaystyle \langle c\rangle_{f\!g} \tau_{fg}(a,b)-\langle a\rangle_{f\!g}\langle b\rangle_{f\!g}\langle c\rangle_{f\!g} \\ \tau_{g}(\langle a\rangle_{f},\langle b\rangle_{f})& \equiv&\displaystyle \langle\langle a\rangle_{f}\langle b\rangle_{f}\rangle_{g}-\langle a\rangle_{g\!f}\langle b\rangle_{g\!f} \\ \tau_{g}(\langle a\rangle_{f},\tau_{f}(b, c))& \equiv&\displaystyle \langle \langle a\rangle_{f}\tau_{f}(b, c)\rangle_{g}-\langle a\rangle_{g\!f} \langle\tau_{f}(b, c)\rangle_{g} \end{array} \end{aligned} $$
(20)

A particularly important case is \(\mathcal {G}=\mathcal {E}\). In this case, if we also assume that \(\mathcal {E}\mathcal {F}=\mathcal {E}\), we have

$$\displaystyle \begin{aligned} \begin{array}{rcl} \tau_{e}(a,b)& =&\displaystyle \tau_{e}(\langle a\rangle_{f},\langle b\rangle_{f})+\langle \tau_{f}(a,b)\rangle_{e} \\ \tau_{e}(a,b,c)& =&\displaystyle \tau_{e}(\langle a\rangle_{f},\langle b\rangle_{f},\langle c\rangle_{f})+\langle \tau_{f}(a,b,c)\rangle_{e}+\tau_{e}(\langle a\rangle_{f},\tau_{f}(b,c)) \\ & +&\displaystyle \tau_{e}(\langle b\rangle_{f},\tau_{f}(c,a))+\tau_{e}(\langle c\rangle_{f},\tau_{f}(a,b)) \end{array} \end{aligned} $$
(21)

and we remark that the total turbulence represented by the statistical central moments τ e(a, b) and τ e(a, b, c) is operationally decomposed in the resolved large scale turbulence τ e(〈af, 〈bf) and τ e(〈af, 〈bf, 〈cf), and in the subfilter small scale turbulence given by 〈τ f(a, b)〉e, 〈τ f(a, b, c)〉e and τ e(〈af, τ f(b, c)).

This multiscale operational technique can be easily extended to an ensemble of filtering operators hierarchically organized

$$\displaystyle \begin{aligned} \mathcal{F} \hspace{2mm} , \hspace{2mm} \mathcal{G}\mathcal{F} \hspace{2mm} , \hspace{2mm} \mathcal{H}\mathcal{G}\mathcal{F} \hspace{2mm} , \hspace{2mm} \cdots \end{aligned} $$
(22)

and has a lot of different applications. At the time of our meeting in Pisa the main interest was in subgrid modeling, and the first application of this multiscale filtering approach was dedicated to the optimization of the Smagorinsky model. In this case the filter \(\mathcal G\) is a test filter that applied to the \(\mathcal F\)-filtered quantities should provide a different representation at a different resolution level, useful to compare and optimize the subgrid model at different grid resolution. We refer for more detail on that to [10], and we also remark an interesting review and generalization of this modeling procedure recently provided by Meneveau [11].

Here we would like to also recall the application of this multiscale filtering technique to the analysis of LES data, in particular, the extraction of statistical data from a LES database. Let us first of all consider a constant density turbulent field and let us assume that \(\mathcal {E}\mathcal {F}=\mathcal {E}\). We explicitly define

$$\displaystyle \begin{aligned} \begin{array}{rcl} R_{ij}& \equiv&\displaystyle \tau_{e}(u_{i}, u_{j}) \\ R_{ijk}& \equiv&\displaystyle \tau_{e}(u_{i}, u_{j}, u_{k}) \\ \tau_{ij}& \equiv&\displaystyle \tau_{f}(u_{i}, u_{j}) \\ \tau_{ijk}& \equiv&\displaystyle \tau_{f}(u_{i}, u_{j}, u_{k}) \\ T_{ij}& \equiv&\displaystyle \tau_{e}(\langle u_{i}\rangle_{f}, \langle u_{j}\rangle_{f}) \\ T_{ijk}& \equiv&\displaystyle \tau_{e}(\langle u_{i}\rangle_{f}, \langle u_{j}\rangle_{f}, \langle u_{k}\rangle_{f}) \\ \end{array} \end{aligned} $$
(23)

where u i are the components of the velocity field at a given time and location, and we have

$$\displaystyle \begin{aligned} \begin{array}{rcl} R_{ij}& =&\displaystyle \langle \tau_{ij}\rangle_{e}+ T_{ij} \\ R_{ijk}& =&\displaystyle \langle \tau_{ijk}\rangle_{e}+ T_{ijk}+\tau_{e}(\langle u_i \rangle_{f}, \tau_{jk})+ \tau_{e}(\langle u_{j}\rangle_{f}, \tau_{ki})+\tau_{e}(\langle u_{k}\rangle_{f}, \tau_{ij}) \\& &\displaystyle \end{array} \end{aligned} $$
(24)

where

$$\displaystyle \begin{aligned} \begin{array}{rcl} \tau_{e}(\langle u_i \rangle_{f}, \tau_{jk})& \equiv&\displaystyle \langle\langle u_{i}\rangle_{f} \tau_{jk}\rangle_{e}-\langle\langle u_{i}\rangle_{f}\rangle_{e} \langle\langle \tau_{jk}\rangle_{f}\rangle_{e} \end{array} \end{aligned} $$
(25)

Let us now only assume that \(\mathcal {E}\mathcal {F}=\mathcal {F}\mathcal {E}\). We define the following additive GCM

$$\displaystyle \begin{aligned} \begin{array}{rcl} \vartheta_{ij}& \equiv&\displaystyle \tau_{f}(\langle u_{i}\rangle_{e}, \langle u_{j}\rangle_{e}) \\ \vartheta_{ijk}& \equiv&\displaystyle \tau_{f}(\langle u_{i}\rangle_{e}, \langle u_{j}\rangle_{e}, \langle u_{k}\rangle_{e}) \end{array} \end{aligned} $$
(26)

and we have finally

$$\displaystyle \begin{aligned} \begin{array}{rcl} \langle R_{ij}\rangle_{f}+ \vartheta_{ij}& =&\displaystyle \langle \tau_{ij}\rangle_{e}+ T_{ij} \end{array} \end{aligned} $$
(27)
$$\displaystyle \begin{aligned} \begin{array}{rcl} & &\displaystyle \langle R_{ijk}\rangle_{f}+ \vartheta_{ijk}+\tau_{f}(\langle u_i\rangle_{e}, R_{jk})+ \tau_{f}(\langle u_{j}\rangle_{e}, R_{ki})+\tau_{f}(\langle u_{k}\rangle_{e}, R_{ij})= \\ & &\displaystyle \langle \tau_{ijk}\rangle_{e}+ T_{ijk}+\tau_{e}(\langle u_i\rangle_{f}, \tau_{jk})+ \tau_{e}(\langle u_{j}\rangle_{f}, \tau_{ki})+\tau_{e}(\langle u_{k}\rangle_{f}, \tau_{ij}) \end{array} \end{aligned} $$
(28)

Another important application of this fluctuation-free multiscale approach is to Variable Density Turbulent Fields ϱ, u i. In this case we also remove the mass-weighted averages [12], and in terms of the GCM we explicitly write

$$\displaystyle \begin{aligned} \begin{array}{rcl} R_{\varrho i}& \equiv&\displaystyle \tau_{e}(\varrho, u_{i}) \\ R_{ij}& \equiv&\displaystyle \tau_{e}(u_{i}, u_{j}) \\ R_{\varrho ij}& \equiv&\displaystyle \tau_{e}(\varrho, u_{i}, u_{j}) \\ {} & &\displaystyle \\ \tau_{\varrho i}& \equiv&\displaystyle \tau_{f}(\varrho, u_{i}) \\ \tau_{ij}& \equiv&\displaystyle \tau_{f}(u_{i}, u_{j}) \\ \tau_{\varrho ij}& \equiv&\displaystyle \tau_{f}(\varrho, u_{i}, u_{j}) \\ {} & &\displaystyle \\ T_{\varrho i}& \equiv&\displaystyle \tau_{e}(\langle\varrho\rangle_{f}, \langle u_{i}\rangle_{f}) \\ T_{ij}& \equiv&\displaystyle \tau_{e}(\langle u_{i}\rangle_{f}, \langle u_{j}\rangle_{f}) \\ T_{\varrho ij}& \equiv&\displaystyle \tau_{e}(\langle \varrho\rangle_{f}, \langle u_{i}\rangle_{f}, \langle u_{j}\rangle_{f}) \end{array} \end{aligned} $$
(29)

where ϱ is the density and u i are the components of the velocity field at a given time and location. We have

$$\displaystyle \begin{aligned} \begin{array}{rcl} R_{\varrho i}& =&\displaystyle \langle \tau_{\varrho i}\rangle_{e}+ T_{\varrho i} \\ R_{ij}& =&\displaystyle \langle \tau_{ij}\rangle_{e}+ T_{ij} \end{array} \end{aligned} $$
(30)

[-1.6pc]

$$\displaystyle \begin{aligned} \begin{array}{rcl} R_{\varrho ij}& =&\displaystyle \langle \tau_{\varrho ij}\rangle_{e}+ T_{\varrho ij}+\tau_{e}(\langle \varrho\rangle_{f}, \tau_{ij})+ \tau_{e}(\langle u_{i}\rangle_{f}, \tau_{\varrho j})+\tau_{e}(\langle u_{j}\rangle_{f}, \tau_{\varrho i}) \\& &\displaystyle \end{array} \end{aligned} $$
(31)

Let us now only assume that \(\mathcal {E}\mathcal {F}=\mathcal {F}\mathcal {E}\). We define the following additive GCM

$$\displaystyle \begin{aligned} \begin{array}{rcl} \vartheta_{\varrho i}& \equiv&\displaystyle \tau_{f}(\langle\varrho\rangle_{e}, \langle u_{i}\rangle_{e}) \\ \vartheta_{ij}& \equiv&\displaystyle \tau_{f}(\langle u_{i}\rangle_{e}, \langle u_{j}\rangle_{e}) \\ \vartheta_{\varrho ij}& \equiv&\displaystyle \tau_{f}(\langle \varrho\rangle_{e}, \langle u_{i}\rangle_{e}, \langle u_{j}\rangle_{e}) \end{array} \end{aligned} $$
(32)

and we have finally

$$\displaystyle \begin{aligned} \begin{array}{rcl} \langle R_{\varrho i}\rangle_{f}+ \vartheta_{\varrho i}& =&\displaystyle \langle \tau_{\varrho i}\rangle_{e}+ T_{\varrho i} \\ \langle R_{ij}\rangle_{f}+ \vartheta_{ij}& =&\displaystyle \langle \tau_{ij}\rangle_{e}+ T_{ij} \end{array} \end{aligned} $$
(33)

and

$$\displaystyle \begin{aligned} \begin{array}{rcl} & &\displaystyle \langle R_{\varrho ij}\rangle_{f}+ \vartheta_{\varrho ij}+\tau_{f}(\langle \varrho\rangle_{e}, R_{ij})+ \tau_{f}(\langle u_{i}\rangle_{e}, R_{\varrho j})+\tau_{f}(\langle u_{j}\rangle_{e}, R_{\varrho i})= \\ & &\displaystyle \langle \tau_{\varrho ij}\rangle_{e}+ T_{\varrho ij}+\tau_{e}(\langle \varrho\rangle_{f}, \tau_{ij})+ \tau_{e}(\langle u_{i}\rangle_{f}, \tau_{\varrho j})+\tau_{e}(\langle u_{j}\rangle_{f}, \tau_{\varrho i}) \end{array} \end{aligned} $$
(34)

These last decompositions of the Reynolds stresses in the case of compressible turbulent flow are new, simple, and fluctuation-free. Moreover they are also mass weighted-free, and the author really hope that they could be appreciated more and more in the future in the analysis of LES databases. We recall finally that some recent applications of the filtering approach concerning the subfilter stress [13], the decomposition of the Reynolds stresses [14, 15], the dynamic modeling of the Shock Driven Turbulent Mixing [16] and the definition of statistical homogeneity indices [17] have been recently reviewed in [18].

4 Conclusions

But let us return to that afternoon in Pisa and to the conversation with Carlo. Everything went on well: two months later my paper was finally published, and in the following years the application of the new dynamic modeling procedure to the anisotropic eddy viscosity model proposed by Carlo, Antonella, and Lorenzo was developed and worked successfully [19]. Fluctuations continue to be applied in LES, but some final lessons deserve to be remarked. The first is related to our starting point, the identity (10). Why this simple and, in our opinion, interesting decomposition of the Reynolds stress was appreciated so lately in turbulence? We remark that in applied statistics the identities (3) and (10) are better known as the Adam and Eve’s laws [20, 21]: given a partition of the probability space, the total statistical covariance R ij of u i and u j is the average \(\overline {\tau }_{ij}\) of the partial covariance τ ij plus the statistical covariance T ij of the partial mean values. Science as every human activity is often conditioned by great ideas that in some cases obscure other different possibilities. Obviously the fluctuations remain very important, but not always they are essential, and in the case of LES their importance has been overvalued. Individual deviations from the average are intuitively very appealing, but not always you are obliged to decline them: differences are not so relevant in turbulence.

Another important lesson regards finally our ideal endless dialogue with the past: old papers are often plenty of useful observations and suggestions.