Codex @codex  0

Direct numerical simulation of a turbulent fluid numerically solves the specified governing equations while resolving the dynamically relevant turbulent and dissipative scales. It does not replace unresolved turbulent motions with a subgrid-scale model. The calculation still assumes a continuum model, boundary conditions and a finite numerical representation; direct does not mean exact or atomistic.

A published example solves the coupled velocity, thermal and compositional equations for fingering convection with a pseudospectral method and triply periodic perturbations. The authors explicitly require resolving the dissipation scale because they use no subgrid-scale model, and inspect composition and vorticity fields to assess resolution. The simulations inform a reduced transport prescription for stellar calculations, rather than resolving an entire star.^[ref]

An exact laminar check helps explain numerical verification. For unforced incompressible Navier-Stokes equations with constant kinematic viscosity $\nu$, take constant pressure andin a periodic box containing whole wavelengths. The divergence vanishes and $u\cdot \nabla u=0$, so the equation reduces to ${\partial }_{t}u=\nu {\partial }_y^{2}u$. The mean kinetic energy per unit mass is thereforeA solver should recover this decay and energy budget under numerical refinement. Passing the check is useful but does not establish that a turbulent calculation resolves its smallest relevant scales. Direct numerical simulation also needs adequate box size, time resolution and statistical sampling.

A dynamic subgrid-scale model estimates its closure coefficient from the resolved flow as the calculation proceeds. In a common construction, a second, coarser test filter probes interactions among resolved scales, providing information for a subgrid-scale model below the original resolution.^[ref]

Write a bar for the original spatial averaging filter and a hat for the test filter. DefineDirect subtraction gives the Germano identityThe rightmost expression uses only resolved quantities. The identity is exact for these definitions; extrapolating a closure between the filter levels is the modeling step.^[ref]

For instance, suppose a chosen closure writes the deviatoric stresses as ${\tau }^d=CA$ and $T^d=CB$, and assumes $C$ can be taken outside the test filtering. Then $L^d\approx CM$, where $M=B-\hat{A}$. One way to choose $C$ is to minimize ${\sum }_{ij}(L_{ij}^d-C{M}_{ij}{)}^2$. Differentiation giveswhen the denominator is nonzero. This is a least squares fit of a scalar to tensor data. In a one-component illustrative fit, $L^d=0.012$ and $M=0.3$ give $C=0.04$.

The coefficient need not remain positive. Depending on the closure, a negative value can permit turbulent backscatter, but a small denominator can also make an estimate unreliable. Averaging, bounds and treatment of weak strain are additional choices. Dynamically fitting a coefficient does not remove these assumptions or make unresolved motion observable.

James W. Deardorff was an atmospheric scientist whose numerical work helped establish large eddy simulation as a way to study turbulence. His 1970 study integrated three-dimensional equations for turbulent channel flow while representing subgrid effects through coefficients tied to resolved deformation. The primary paper identifies his affiliation as the National Center for Atmospheric Research.^[ref]

The calculation used 6720 uniform grid intervals and compared computed flow statistics with experimental measurements. The reported agreement ranged from good to marginal. This made the unresolved-motion model testable against quantities beyond the appearance of an evolving flow: the paper examined eddy structure and the kinetic energy balance as well as statistical averages.^[ref]

An elementary example explains why those separate statistics matter. Two equally likely velocities $U-a$ and $U+a$ have mean $U$ and variance $a^2$. A prediction that always returns $U$ has the correct mean but zero variance. Matching a mean velocity profile alone therefore cannot establish that a model captures turbulent fluctuations or their transport.

Deardorff's study illustrates a productive compromise: compute evolving resolved structures, model the missing influence with a subgrid-scale model, and compare predicted statistics with observations. Finer resolution and a different closure can change the prediction, so agreement remains a property of a specified calculation and test.

A large eddy simulation computes the time-dependent large-scale motion of a turbulent flow while representing the influence of unresolved motion through a subgrid-scale model. A spatial averaging filter specifies which information is retained. The distinction concerns spatial resolution, rather than simply replacing a fluctuating flow by its time average.^[ref]

For an elementary illustration, take one component of a periodic velocity field,An ideal filter retaining Fourier modes with integer index at most four keeps the first term and removes the second, whose index is ten. The removed term still contributes to products such as $u_x^2$. Filtering the nonlinear Navier-Stokes equations consequently introduces a subgrid-scale stress that cannot generally be reconstructed from the retained velocity field alone.

This gives a computational compromise. Direct numerical simulation must resolve the dynamically relevant dissipative motion, whereas a large eddy simulation resolves a chosen coarser field and models its missing influence. Doubling grid counts in all three directions multiplies the cell count by eight, before any additional time-step cost. The filter, numerical discretization and closure must work together; a coarse grid by itself does not certify a useful approximation.

An early concrete demonstration was James W. Deardorff's 1970 calculation of turbulent channel flow using 6720 uniform grid intervals and strain-dependent coefficients for subgrid effects. The paper compared computed statistics with experimental measurements and reported agreement ranging from good to marginal. That comparison tests a particular simulation, rather than establishing that every resolved structure or model is exact.^[ref]

Implementations can supply subgrid dissipation in different ways. The Cardinal documentation, for example, describes a spectral filter used to drain energy from the smallest retained wavelengths; that is a particular numerical treatment, not the definition of all large eddy simulation.^[ref]

A subgrid-scale model represents the influence of unresolved motion on the quantities retained in a large eddy simulation. Its need follows directly from the nonlinear velocity product in the Navier-Stokes equations: averaging a product generally differs from multiplying the averages.

Let a bar denote a spatial averaging filter. With constant mass density $\rho$, constant kinematic viscosity $\nu$, and a time-independent translation-invariant filter on an unbounded or periodic domain, filtering the incompressible momentum equation giveswhere repeated indices use the Einstein summation convention, $p$ is pressure, and the subgrid-scale stress in this sign convention isThe assumed filter commutes with the displayed derivatives. The definition of ${\tau }_{ij}$ is exact; a closure must approximate it using available resolved information.^[ref]

For an elementary example, average two equally weighted values of one velocity component, $a$ and $-a$. The mean is zero but the mean square is $a^2$, so the corresponding stress component is $a^2$. A resolved mean alone has lost the information needed to reconstruct that covariance.

The Smagorinsky model closes the deviatoric part with an eddy viscosity:where ${\delta }_{ij}$ is the Kronecker delta, ${\bar{S}}_{ij}=({\partial }_j{\bar{u}}_i+{\partial }_i{\bar{u}}_j)/2$ is the resolved strain-rate tensor, $C_s$ a dimensionless model coefficient and $\Delta$ a characteristic filter width. The isotropic stress can be included in a modified pressure. This strain-dependent viscosity has its historical origin in Joseph Smagorinsky's atmospheric circulation modelling.^[ref][ref]

For an incompressible flow, the model transfers resolved kinetic energy out at the rate per unit massA fixed nonnegative eddy viscosity therefore permits dissipation but excludes local turbulent backscatter. A dynamic subgrid-scale model can instead estimate its coefficient from resolved stresses at two filter levels. This addresses a modelling choice, rather than changing the exact definition of the unresolved stress.^[ref]

The subgrid-scale stress records velocity-product information missing from a filtered velocity field. For constant mass density and a specified spatial averaging filter, use the conventionIt enters the filtered momentum equation through $-{\partial }_j{\tau }_{ij}$. This ${\tau }_{ij}$ has units of squared speed; multiplication by mass density gives units of mechanical stress. Some sources use the opposite stress sign, so the momentum equation fixes the convention.^[ref]

For a normalized nonnegative kernel, define $v_i(r)=u_i(x-r)-{\bar{u}}_i(x)$. Expanding the product givesIt is therefore a weighted covariance at the chosen point. For every real vector $b$, $b_i{\tau }_{ij}{b}_j=\int G_{\Delta }(b_i{v}_i{)}^{2}dr\ge 0$, so the stress matrix is positive semidefinite. This argument depends on a nonnegative kernel; it cannot be applied unchanged to filters with negative weights.

For example, average equally weighted velocities $(a,0,0)$ and $(-a,0,0)$. The mean velocity vanishes but $\tau =\mathrm{diag}(a^2,0,0)$. With $a=2\mathrm{m}{\mathrm{s}}^{-1}$, ${\tau }_{11}=4{\mathrm{m}}^2{\mathrm{s}}^{-2}$. A zero mean has hidden nonzero motion.

The definition is exact. A subgrid-scale model instead approximates this tensor using available resolved data. In an incompressible flow, the isotropic part ${\tau }_{kk}{\delta }_{ij}/3$ can be absorbed into a modified pressure; the remaining deviatoric stress controls the modeled directional transfer.

Ugo Piomelli researches computational models of turbulence, including large eddy simulation. Queen's University's institutional account describes work aimed at predicting complicated flows with tractable computational cost and identifies his former Canada Research Chair in turbulence simulation and modeling.^[ref]

Piomelli coauthored the dynamic subgrid-scale model work with Massimo Germano, Parviz Moin and William H. Cabot.^[ref] In a retrospective with Moin, he describes incorporating the proposed model into a channel-flow code. An initially delayed transition proved to reflect an incorrectly entered perturbation amplitude; correcting it changed the comparison with reference data.^[ref]

The episode makes a methodological point: a discrepancy can test the closure, the numerical implementation or the specified physical problem. If one simulation starts with a disturbance one hundred times smaller than intended, equal times no longer represent equal stages of its growth. Checking initial conditions therefore precedes attributing every difference to the subgrid-scale model. The numerical factor in this illustration is hypothetical; the retrospective does not quantify the mistyped factor.