Searcharxiv⌕ Search

arXiv subjects

Syver Døving Agdestein

Publications and source records attributed to Syver Døving Agdestein.

7 recordsLinked to original sources

Approaching the optimal closure: equivariance, inductive bias, and Reynolds-number generalization in data-driven LES

Data-driven closures for large-eddy simulation (LES) are commonly built to respect the symmetries of the Navier--Stokes equations, on the premise that this improves accuracy and generalization. We test this premise in a controlled comparison of three data-driven LES closures that share a pointwise, Galilean-invariant velocity-gradient construction but span non-equivariant, octahedral-equivariant, and tensor-basis designs: an unconstrained multi-layer perceptron (MLP), a group-convolutional network whose exactly equivariant weights we synthesize in closed form, and a tensor-basis neural network (TBNN). The designs follow from an analysis of which symmetries survive discretization on a uniform grid, where the continuous orthogonal group reduces to the 48-element octahedral group. Across a range of network sizes the three closures saturate to the same a priori and a posteriori accuracy, and a direct conditional-mean estimate identifies the a priori floor as the one-point optimal closure of Langford and Moser. The equivariant and tensor-basis models reach this floor with $25$ times fewer parameters than the MLP: the inductive bias buys parameter efficiency rather than a lower error floor. Finally, we train the closures across several viscosities and supply the global filter-scale Reynolds number $\operatorname{Re}_Δ= Δ^2 \| \nabla \bar{u} \| / ν$ as an input, a scaling-invariant feature dictated by the same symmetry analysis. The closures then generalize across Reynolds number: they hold their dissipation calibration at held-out viscosities and filter ratios where Reynolds-blind closures mis-dissipate, and partially correct it on an out-of-distribution Taylor--Green flow. Reynolds-number generalization is thus largely a calibration that the right input feature supplies.

math.NA↗

Time integration as filtering: a space-time discretization-aware LES formulation

Discretization-aware LES yields an exact expression for the discrete target flux in finite-volume LES by recognizing that a coarse finite difference is a top-hat-filtered exact derivative (the "filter-swap" property). That argument is purely spatial; here we observe that the forward-Euler time difference is itself a (one-sided) top-hat-filtered exact time derivative, and repeat the construction in space-time. The resulting exact discrete flux decomposition extends the spatial one with a single temporal term: a flux-quadrature error that shrinks with the quadrature order of the time integrator. In a Burgers experiment this term grows with the CFL number while the spatial terms do not, and a Smagorinsky closure augmented with its leading order - a Lax-Wendroff-type diffusion - stays accurate at coarse time steps where space-only closures degrade.

math.NA↗

A differentiable software suite for accelerated simulation of turbulent flows

We present IncompressibleNavierStokes.jl, an open-source Julia package for solving the incompressible Navier--Stokes equations on staggered Cartesian grids. The package features matrix-free, hardware-agnostic kernels that are compiled from a single source for multi-threaded CPU or GPU execution, and hand-written adjoint kernels for all discrete operators, enabling efficient reverse-mode automatic differentiation through the entire solver. This differentiability allows neural network closure models to be trained a-posteriori while embedded in a large-eddy simulation. Memory optimizations permit double-precision direct numerical simulations at resolutions up to $840^3$ on a single GPU. The software design, numerical methods, hardware performance, and integration of neural network closure models are described, and results for turbulent channel flow are validated against reference data.

math.NA↗

Exact expressions for the unresolved stress in a finite-volume based large-eddy simulation

In this article we propose new discretization-informed expressions for the residual stress tensor (RST) in a finite-volume based large-eddy simulation (LES-FVM). In addition to the classical RST $\overline{u u} - \bar{u} \bar{u}$ resulting from the non-commutation between filtering and the nonlinear stress, our RST also contains contributions from the numerical flux, discrete divergence, and pressure terms. Unlike the classical RST, our proposed RST is non-symmetric and non-local. The proposed form of the RST is important for generating appropriate reference data for LES closure modeling. Based on DNS results of the 1D Burgers and 3D incompressible Navier-Stokes equations, we show that the discretization-induced parts of the RST play an important role in the LES-FVM equation for common LES filter widths. When the discrete contribution is included, our RST expression gives zero a-posteriori error in LES, while existing RST expressions give errors that increase over time. For a Smagorinsky model, we show that the Smagorinsky coefficient is higher when fitted to our new RST than when fitted to the classical RST and gives improved results.

math.NA↗

A new data-driven energy-stable Evolve-Filter-Relax model for turbulent flow simulation

We present a novel approach to define the filter and relax steps in the evolve-filter-relax (EFR) framework for simulating turbulent flows. The EFR main advantages are its ease of implementation and computational efficiency. However, as it only contains two parameters (one for the filter step and one for the relax step) its flexibility is rather limited. In this work, we propose a data-driven approach in which the optimal filter is found based on DNS data in the frequency domain. The optimization step is computationally efficient and only involves one-dimensional least-squares problems for each wavenumber. Across both decaying turbulence and Kolmogorov flow, our learned filter decisively outperforms the standard differential filter and the Smagorinsky model, yielding significantly improved accuracy in energy spectra and in the temporal evolution of both energy and enstrophy. In addition, the relax parameter is determined by requiring energy and/or enstrophy conservation, which enforces stability of the method and reduces the appearance of numerical wiggles, especially when the filter is built in scarce data regimes. Applying the learned filter is also more computationally efficient compared to traditional differential filters, as it circumvents solving a linear system.

math.NA↗

Discretize first, filter next: learning divergence-consistent closure models for large-eddy simulation

We propose a new neural network based large eddy simulation framework for the incompressible Navier-Stokes equations based on the paradigm "discretize first, filter and close next". This leads to full model-data consistency and allows for employing neural closure models in the same environment as where they have been trained. Since the LES discretization error is included in the learning process, the closure models can learn to account for the discretization. Furthermore, we employ a divergence-consistent discrete filter defined through face-averaging and provide novel theoretical and numerical filter analysis. This filter preserves the discrete divergence-free constraint by construction, unlike general discrete filters such as volume-averaging filters. We show that using a divergence-consistent LES formulation coupled with a convolutional neural closure model produces stable and accurate results for both a-priori and a-posteriori training, while a general (divergence-inconsistent) LES model requires a-posteriori training or other stability-enforcing measures.

math.NA↗

Learning filtered discretization operators: non-intrusive versus intrusive approaches

Simulating multi-scale phenomena such as turbulent fluid flows is typically computationally very expensive. Filtering the smaller scales allows for using coarse discretizations, however, this requires closure models to account for the effects of the unresolved on the resolved scales. The common approach is to filter the continuous equations, but this gives rise to several commutator errors due to nonlinear terms, non-uniform filters, or boundary conditions. We propose a new approach to filtering, where the equations are discretized first and then filtered. For a non-uniform filter applied to the linear convection equation, we show that the discretely filtered convection operator can be inferred using three methods: intrusive (`explicit reconstruction') or non-intrusive operator inference, either via `derivative fitting' or `trajectory fitting' (embedded learning). We show that explicit reconstruction and derivative fitting identify a similar operator and produce small errors, but that trajectory fitting requires significant effort to train to achieve similar performance. However, the explicit reconstruction approach is more prone to instabilities.

cs.CE↗