- About this Journal ·
- Abstracting and Indexing ·
- Advance Access ·
- Aims and Scope ·
- Article Processing Charges ·
- Articles in Press ·
- Author Guidelines ·
- Bibliographic Information ·
- Citations to this Journal ·
- Contact Information ·
- Editorial Board ·
- Editorial Workflow ·
- Free eTOC Alerts ·
- Publication Ethics ·
- Reviewers Acknowledgment ·
- Submit a Manuscript ·
- Subscription Information ·
- Table of Contents
Journal of Nonlinear Dynamics
Volume 2014 (2014), Article ID 959038, 5 pages
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.
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.
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  and for the Rational model by Berselli in , 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:
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 . The model was then revisited by Cheskidov et al. in  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  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 , frame invariance , and adherence to Kelvin’s circulation theorem . 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 . 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  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:
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  and the Ethier-Steinman solution . 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 . 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.
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  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.
This work is partially supported by NFS Grant no. DMS1112593.
- W. Layton, “On Taylor/Eddy solutions of approximate deconvolution models of turbulence,” Applied Mathematics Letters, vol. 24, no. 1, pp. 23–26, 2011.
- L. Berselli, “On the large eddy simulation of the Taylor-Green vortex,” Journal of Mathematical Fluid Mechanics, vol. 7, pp. S164–S191, 2005.
- J. Leray, “Sur le mouvement d'un liquide visqueux emplissant l'espace,” Acta Mathematica, vol. 63, no. 1, pp. 193–248, 1934.
- 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.
- 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.
- 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.
- 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.
- 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.
- 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.
- 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.
- 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.
- B. J. Geurts and D. D. Holm, “Regularization modeling for large-eddy simulation,” Physics of Fluids, vol. 15, no. 1, pp. L13–L16, 2003.
- 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.
- 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.
- 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.
- 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.
- 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.
- 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.
- 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.
- 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.
- A. J. Chorin, “Numerical solution for the Navier-Stokes equations,” Mathematics of Computation, vol. 22, pp. 745–762, 1968.
- 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.
- L. I. G. Kovasznay, “Laminar ow behind a two-dimensional grid,” Proceedings of the Cambridge Philosophical Society, vol. 44, pp. 58–62, 1947.
- 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.