Journal of Nonlinear Dynamics

Volume 2014 (2014), Article ID 959038, 5 pages

http://dx.doi.org/10.1155/2014/959038

## A Note on Taylor-Eddy and Kovasznay Solutions of NS--Deconvolution and Leray--Deconvolution Models

Department of Mathematical Sciences, Clemson University, Clemson, SC 29672, USA

Received 16 October 2013; Accepted 18 December 2013; Published 20 January 2014

Academic Editor: Sebastien Poncet

Copyright © 2014 Leo G. Rebholz and Stacey A. Watro. This is an open access article distributed under the Creative Commons Attribution License, which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited.

#### Abstract

We show that both the Taylor-eddy and Kovasznay exact solutions of the Navier-Stokes
equations are also exact solutions of both the NS-*α*-deconvolution and Leray-*α*-deconvolution
models, but with modified pressures that converge to the Navier-Stokes pressure solution as
or the order of deconvolution tends to infinity. The existence of these exact model
solutions will provide for better benchmark testing and validation of numerical codes and also
shows that the models preserve these special structures.

#### 1. Introduction

The Leray- and NS- models and variations thereof have become of significant interest in both the mathematical and engineering communities interested in reduced-order fluid flow modeling. It is the purpose of this paper to derive exact solutions for these models, specifically those of Taylor-eddy and Kovasznay type, both for the purpose of providing better benchmark solutions for computational testing and to show that these models preserve some of the special structures of Navier-Stokes solutions. Solutions of Taylor-eddy type have been shown to exist for the Stolz-Adams approximate deconvolution model by Layton in [1] and for the Rational model by Berselli in [2], thus showing that existence of such solutions for models is important for model comparisons. To our knowledge, no other model has been shown to admit exact Kovasznay solutions.

Denoting by *overbar* the -filter , the models are defined by the following:

Leray-

NS- In this work, we will consider these models in , or 3. The solutions we develop will satisfy the models pointwise, and so the models could also be equipped with boundary conditions, provided they are consistent with the solutions.

The Leray model was developed by Leray in 1934 (but using a Gaussian filter instead of the -filter) as a theoretical tool to better understand the Navier-Stokes equations [3]. The model was then revisited by Cheskidov et al. in [4] with the -filter, and they proved fundamental properties of the model including well-posedness and agreement of the energy spectrum with that of true fluid flow on the large scales and an increased rate on the small scales (thus showing that the model is more computable). Work in [5] proved a microscale for the model, which better quantified its advantage in computability versus the Navier-Stokes equations. All of these properties are also valid for NS- [6, 7], but NS- also has several advantages over Leray- from the theoretical point of view such as helicity conservation [6], frame invariance [8], and adherence to Kelvin’s circulation theorem [6]. Numerous numerical studies of these models and their variants [9–16] can be found in the literature, which find these models to be successful, although to varying degrees depending on the test problems and choice of discretization.

It is well known that both of these models can improve their accuracy, without losing the desirable properties discussed above, by changing the regularization to include approximate deconvolution [14]. Though there are several ways to apply this idea, the most common is van Cittert deconvolution. Denoting the -filter also by (so that ), for an integer van Cittert approximate deconvolution is defined by The idea of using approximate deconvolution in fluid flow models was pioneered by Stolz et al. in [17–19], and it was proven in [20] that, for smooth , Hence for smooth , the operator acts as an approximate inverse to the -filter. The strategy for improving accuracy in the models above is to simply replace the regularization with , which yields the Leray--deconvolution and NS--deconvolution models, respectively, as follows:

Leray--deconvolution model

NS--deconvolution model Note that, since , considering these -deconvolution models includes the “usual” models as well.

This paper will show the existence of exact solutions of both Taylor-eddy and Kovasznay type for these models. We begin with Taylor-eddy solutions in Section 2 and then Kovasznay solutions in Section 3.

#### 2. Taylor-Eddy Solutions

Taylor-eddy solutions are defined to be Navier-Stokes solutions of the form where It is easy to verify that this provides a Navier-Stokes solution, since which guarantees the existence of , and a simple calculation shows that , thus providing These solutions include well-known cases of Navier-Stokes solutions such as the Chorin solution [21] and the Ethier-Steinman solution [22]. The model solutions below will be defined in terms of this Navier-Stokes solution .

We begin with the Leray--deconvolution model solution.

Lemma 1. *The functions defined by and are exact solutions of the Leray--deconvolution model with .*

*Proof. *Since , it is already established that ; it remains only to show existence of . Starting from the definition of from (8), we filter both sides with the -filter to get
Next, multiply both sides by and use the definition of the filter to find that
and so
Hence is a constant multiple of , and thus is a constant multiple of , which gives us that since it is established from Navier-Stokes case that
This implies that is potential and thus proves the existence of .

*Remark 2. *A calculation can verify that the pressure solution has the explicit form
Thus we observe that the velocity solution is independent of and , but the pressure solution does depend on these parameters. Moreover, as or , the model pressure converges to the Navier-Stokes solution’s pressure.

Next, we consider the NS--deconvolution model.

Lemma 3. *The functions defined by and are exact solutions of the NS--deconvolution model with .*

*Proof. *Similar to the Leray case, ; so we need only to establish the existence of to prove the lemma. From the vector identity
we have that
since from the Navier-Stokes case the identity and the second term vanishes due to symmetry of mixed partials. Combining this result with the fact established in the Leray solution proof that, for such a and , is a scalar multiple of , we immediately get that is potential, which proves the existence of .

*Remark 4. *A calculation can verify that the pressure solution has the explicit form
Thus we observe that the velocity solution is independent of and , but the pressure solution does depend on these parameters. Moreover, as or , the model pressure converges to the Navier-Stokes solution’s Bernoulli pressure.

#### 3. Kovasznay Solutions

Next, we consider exact model solutions for Kovasznay flow [23]. The exact solution for Navier-Stokes Kovasznay flow is the following steady solution defined in terms of a fixed constant which depends on the Reynolds number: It will be helpful for the proofs that follow to demonstrate how to verify that (18) is an exact solution for the Navier-Stokes equations with . Since the solution is independent of time, is obvious. Calculations, which use the identity , provide Thus, we have which shows that (18) satisfies the Navier-Stokes equations exactly.

Next, we consider Leray--deconvolution solutions.

Lemma 5. *Given , , define the velocity and pressure by
**
Then and are solutions to the Leray--deconvolution model with .*

*Proof. *We first observe that
satisfies the filter equation, .

For notational convenience, denote the filtering operation also by , so that , and also observe that
Using these filtering solutions and the identity (4), we get that
From here, since is a fixed constant with respect to and , the same calculation that shows (18) is a Navier-Stokes solution will verify that (21) is a Leray--deconvolution solution.

*Remark 6. *Hence we have proven that the velocity solution for Leray--deconvolution is the same as for Navier-Stokes. As or as , we observe that the Leray--deconvolution pressure solution converges to the Navier-Stokes pressure solution.

We now consider NS--deconvolution solutions for Kovasznay flow. We note here that the pressure solution should be considered an approximation of the Bernoulli pressure, since the model is written in rotational form.

Lemma 7. *Given , , define the velocity and pressure by
**
where is an arbitrary constant, and is given explicitly in (24). Then and satisfy the NS--deconvolution model equations.*

*Proof. *We begin with the vector identity in as follows:
Taking and , we have that
Setting , it is clear to observe from (24) that
and thus
with the last inequality being a vector identity. Setting
we have that
with the last equality holding by using that is a Leray--deconvolution solution. Thus setting verifies that is a NS--deconvolution solution.

*Remark 8. *Hence we have proven that the velocity solution for NS--deconvolution is the same as for Navier-Stokes. As or , the pressure converges to the Navier-Stokes Bernoulli pressure . Since NS--deconvolution is written in rotational form, this is the correct pressure to converge to.

#### 4. Conclusions

We have shown that the velocity solutions of the well-known Taylor-eddy and Kovasznay exact Navier-Stokes solutions are also exact solutions for the Leray--deconvolution and NS--deconvolution models, for arbitrary filtering radius and deconvolution order . The pressure (or Bernoulli pressure) solutions of the models differ from the Navier-Stokes pressure but converge to the Navier-Stokes pressure as either or . Such solutions are useful from the numerical viewpoint, as they will provide better testing of numerical codes. From the theoretical viewpoint, that these models admit these solutions shows that they preserve some of the Navier-Stokes solution structure.

An extension of this work to cases of flows with boundaries will be pursued. Recent work of Holm et al. in [24] showed that NS- admits exact solutions in certain settings, and thus important extensions of that work will be to study what effect deconvolution may have and also to study the Leray models in such settings.

#### Conflict of Interests

The authors declare that there is no conflict of interests regarding the publication of the paper.

#### Acknowledgment

This work is partially supported by NFS Grant no. DMS1112593.

#### References

- W. Layton, “On Taylor/Eddy solutions of approximate deconvolution models of turbulence,”
*Applied Mathematics Letters*, vol. 24, no. 1, pp. 23–26, 2011. View at Publisher · View at Google Scholar · View at Scopus - L. Berselli, “On the large eddy simulation of the Taylor-Green vortex,”
*Journal of Mathematical Fluid Mechanics*, vol. 7, pp. S164–S191, 2005. View at Google Scholar - J. Leray, “Sur le mouvement d'un liquide visqueux emplissant l'espace,”
*Acta Mathematica*, vol. 63, no. 1, pp. 193–248, 1934. View at Publisher · View at Google Scholar · View at Scopus - A. Cheskidov, D. D. Holm, E. Olson, and E. S. Titi, “On a Leray-
*α*model of turbulence,”*Proceedings of the Royal Society A*, vol. 461, no. 2055, pp. 629–649, 2005. View at Publisher · View at Google Scholar · View at Scopus - W. Layton, C. C. Manica, M. Neda, and L. G. Rebholz, “The joint helicity-energy cascade for homogeneous isotropic turbulence generated by approximate deconvolution models,”
*Advances and Applications in Fluid Mechanics*, vol. 4, pp. 1–46, 2008. View at Google Scholar - C. Foias, D. D. Holm, and E. S. Titi, “The Navier-Stokes-alpha model of fluid turbulence,”
*Physica D*, vol. 152-153, pp. 505–519, 2001. View at Publisher · View at Google Scholar · View at Scopus - C. Foias, D. D. Holm, and E. S. Titi, “The three dimensional viscous Camassa-Holm equations, and their relation to the Navier-Stokes equations and turbulence theory,”
*Journal of Dynamics and Differential Equations*, vol. 14, no. 1, pp. 1–35, 2002. View at Google Scholar · View at Scopus - J. L. Guermond, J. T. Oden, and S. Prudhomme, “An interpretation of the Navier-Stokes-alpha model as a frame-indifferent Leray regularization,”
*Physica D*, vol. 177, no. 1–4, pp. 23–30, 2003. View at Publisher · View at Google Scholar · View at Scopus - A. L. Bowers, T.-Y. Kim, M. Neda, L. G. Rebholz, and E. Fried, “The Leray-
*α**β*-deconvolution model: energy analysis and numerical algorithms,”*Applied Mathematical Modelling*, vol. 37, no. 3, pp. 1225–1241, 2013. View at Google Scholar - B. J. Geurts and D. D. Holm, “Leray and LANS-
*α*modelling of turbulent mixing,”*Journal of Turbulence*, vol. 7, no. 10, pp. 1–33, 2006. View at Google Scholar - D. Holm and B. T. Nadiga, “Modeling mesoscale turbulence in the barotropic double-gyre circulation,”
*Journal of Physical Oceanography*, vol. 33, pp. 2355–2365, 2003. View at Google Scholar - B. J. Geurts and D. D. Holm, “Regularization modeling for large-eddy simulation,”
*Physics of Fluids*, vol. 15, no. 1, pp. L13–L16, 2003. View at Publisher · View at Google Scholar · View at Scopus - J. Pietarila Graham, D. D. Holm, P. Mininni, and A. Pouquet, “The effect of subfilter-scale physics on regularization models,”
*Journal of Scientific Computing*, vol. 49, no. 1, pp. 21–34, 2011. View at Publisher · View at Google Scholar · View at Scopus - W. J. Layton and L. G. Rebholz, “Approximate deconvolution models of turbulence: analysis, phenomenology and numerical analysis,”
*Lecture Notes in Mathematics*, vol. 2042, pp. 1–192, 2012. View at Publisher · View at Google Scholar · View at Scopus - S. Chen, D. D. Holm, L. G. Margolin, and R. Zhang, “Direct numerical simulations of the Navier-Stokes alpha model,”
*Physica D*, vol. 133, no. 1–4, pp. 66–83, 1999. View at Google Scholar · View at Scopus - S. Chen, C. Foias, D. D. Holm, E. Olson, E. S. Titi, and S. Wynne, “The Camassa-Holm equations and turbulence,”
*Physica D*, vol. 133, no. 1–4, pp. 49–65, 1999. View at Google Scholar · View at Scopus - S. Stolz and N. A. Adams, “An approximate deconvolution procedure for large-eddy simulation,”
*Physics of Fluids*, vol. 11, no. 7, pp. 1699–1701, 1999. View at Publisher · View at Google Scholar · View at Scopus - S. Stolz, N. A. Adams, and L. Kleiser, “The approximate deconvolution model for large-eddy simulation of compressible flows and its application to shock-turbulent-boundary-layer interaction,”
*Physics of Fluids*, vol. 13, no. 10, pp. 2985–3001, 2001. View at Publisher · View at Google Scholar · View at Scopus - S. Stolz, N. A. Adams, and L. Kleiser, “An approximate deconvolution model for large-eddy simulation with application to incompressible wall-bounded flows,”
*Physics of Fluids*, vol. 13, no. 4, pp. 997–1015, 2001. View at Publisher · View at Google Scholar · View at Scopus - A. Dunca and Y. Epshteyn, “On the stolz-adams deconvolution model for the large-eddy simulation of turbulent flows,”
*SIAM Journal on Mathematical Analysis*, vol. 37, no. 6, pp. 1890–1902, 2006. View at Publisher · View at Google Scholar · View at Scopus - A. J. Chorin, “Numerical solution for the Navier-Stokes equations,”
*Mathematics of Computation*, vol. 22, pp. 745–762, 1968. View at Google Scholar - C. R. Ethier and D. A. Steinman, “Exact fully 3D Navier-Stokes solutions for benchmarking,”
*International Journal for Numerical Methods in Fluids*, vol. 19, no. 5, pp. 369–375, 1994. View at Google Scholar · View at Scopus - L. I. G. Kovasznay, “Laminar ow behind a two-dimensional grid,”
*Proceedings of the Cambridge Philosophical Society*, vol. 44, pp. 58–62, 1947. View at Google Scholar - D. D. Holm, V. Putkaradze, P. D. Weidman, and B. A. Wingate, “Boundary effects on exact solutions of the Lagrangian-averaged Navier-Stokes-
*α*equations,”*Journal of Statistical Physics*, vol. 113, no. 5-6, pp. 841–854, 2003. View at Google Scholar · View at Scopus