xref: /honee/qfunctions/stg_shur14.h (revision dc936754fc0ae21fa21dd641901ba00fc24c3769)
1*dc936754SJeremy L Thompson // Copyright (c) 2017-2024, Lawrence Livermore National Security, LLC and other CEED contributors.
2493642f1SJames Wright // All Rights Reserved. See the top-level LICENSE and NOTICE files for details.
3493642f1SJames Wright //
4493642f1SJames Wright // SPDX-License-Identifier: BSD-2-Clause
5493642f1SJames Wright //
6493642f1SJames Wright // This file is part of CEED:  http://github.com/ceed
7493642f1SJames Wright 
8493642f1SJames Wright /// @file
9493642f1SJames Wright /// Implementation of the Synthetic Turbulence Generation (STG) algorithm
10493642f1SJames Wright /// presented in Shur et al. 2014
11493642f1SJames Wright //
1204e40bb6SJeremy L Thompson /// SetupSTG_Rand reads in the input files and fills in STGShur14Context.
1304e40bb6SJeremy L Thompson /// Then STGShur14_CalcQF is run over quadrature points.
1404e40bb6SJeremy L Thompson /// Before the program exits, TearDownSTG is run to free the memory of the allocated arrays.
15493642f1SJames Wright 
16493642f1SJames Wright #ifndef stg_shur14_h
17493642f1SJames Wright #define stg_shur14_h
18493642f1SJames Wright 
19493642f1SJames Wright #include <ceed.h>
20d0cce58aSJeremy L Thompson #include <math.h>
21493642f1SJames Wright #include <stdlib.h>
222b916ea7SJeremy L Thompson 
233d65b166SJames Wright #include "newtonian_state.h"
241a74fa30SJames Wright #include "setupgeo_helpers.h"
25493642f1SJames Wright #include "stg_shur14_type.h"
26704b8bbeSJames Wright #include "utils.h"
27493642f1SJames Wright 
28493642f1SJames Wright #define STG_NMODES_MAX 1024
29493642f1SJames Wright 
30493642f1SJames Wright /*
31493642f1SJames Wright  * @brief Interpolate quantities from input profile to given location
32493642f1SJames Wright  *
33c77f3192SJames Wright  * Assumed that prof_wd[i+1] > prof_wd[i] and prof_wd[0] = 0
34c77f3192SJames Wright  * If wall_dist > prof_wd[-1], then the interpolation takes the values at prof_wd[-1]
35493642f1SJames Wright  *
36c77f3192SJames Wright  * @param[in]  wall_dist Distance to the nearest wall
37c77f3192SJames Wright  * @param[out] ubar      Mean velocity at wall_dist
38c77f3192SJames Wright  * @param[out] cij       Cholesky decomposition at wall_dist
39c77f3192SJames Wright  * @param[out] eps       Turbulent dissipation at wall_dist
40c77f3192SJames Wright  * @param[out] lt        Turbulent length scale at wall_dist
41493642f1SJames Wright  * @param[in]  stg_ctx   STGShur14Context for the problem
42493642f1SJames Wright  */
432b916ea7SJeremy L Thompson CEED_QFUNCTION_HELPER void InterpolateProfile(const CeedScalar wall_dist, CeedScalar ubar[3], CeedScalar cij[6], CeedScalar *eps, CeedScalar *lt,
4442454adaSJames Wright                                               const StgShur14Context stg_ctx) {
45493642f1SJames Wright   const CeedInt     nprofs    = stg_ctx->nprofs;
46c77f3192SJames Wright   const CeedScalar *prof_wd   = &stg_ctx->data[stg_ctx->offsets.wall_dist];
47493642f1SJames Wright   const CeedScalar *prof_eps  = &stg_ctx->data[stg_ctx->offsets.eps];
48493642f1SJames Wright   const CeedScalar *prof_lt   = &stg_ctx->data[stg_ctx->offsets.lt];
49493642f1SJames Wright   const CeedScalar *prof_ubar = &stg_ctx->data[stg_ctx->offsets.ubar];
50493642f1SJames Wright   const CeedScalar *prof_cij  = &stg_ctx->data[stg_ctx->offsets.cij];
51493642f1SJames Wright   CeedInt           idx       = -1;
52493642f1SJames Wright 
53493642f1SJames Wright   for (CeedInt i = 0; i < nprofs; i++) {
54c77f3192SJames Wright     if (wall_dist < prof_wd[i]) {
55493642f1SJames Wright       idx = i;
56493642f1SJames Wright       break;
57493642f1SJames Wright     }
58493642f1SJames Wright   }
59493642f1SJames Wright 
60c77f3192SJames Wright   if (idx > 0) {  // y within the bounds of prof_wd
61c77f3192SJames Wright     CeedScalar coeff = (wall_dist - prof_wd[idx - 1]) / (prof_wd[idx] - prof_wd[idx - 1]);
62c77f3192SJames Wright 
63493642f1SJames Wright     ubar[0] = prof_ubar[0 * nprofs + idx - 1] + coeff * (prof_ubar[0 * nprofs + idx] - prof_ubar[0 * nprofs + idx - 1]);
64493642f1SJames Wright     ubar[1] = prof_ubar[1 * nprofs + idx - 1] + coeff * (prof_ubar[1 * nprofs + idx] - prof_ubar[1 * nprofs + idx - 1]);
65493642f1SJames Wright     ubar[2] = prof_ubar[2 * nprofs + idx - 1] + coeff * (prof_ubar[2 * nprofs + idx] - prof_ubar[2 * nprofs + idx - 1]);
66493642f1SJames Wright     cij[0]  = prof_cij[0 * nprofs + idx - 1] + coeff * (prof_cij[0 * nprofs + idx] - prof_cij[0 * nprofs + idx - 1]);
67493642f1SJames Wright     cij[1]  = prof_cij[1 * nprofs + idx - 1] + coeff * (prof_cij[1 * nprofs + idx] - prof_cij[1 * nprofs + idx - 1]);
68493642f1SJames Wright     cij[2]  = prof_cij[2 * nprofs + idx - 1] + coeff * (prof_cij[2 * nprofs + idx] - prof_cij[2 * nprofs + idx - 1]);
69493642f1SJames Wright     cij[3]  = prof_cij[3 * nprofs + idx - 1] + coeff * (prof_cij[3 * nprofs + idx] - prof_cij[3 * nprofs + idx - 1]);
70493642f1SJames Wright     cij[4]  = prof_cij[4 * nprofs + idx - 1] + coeff * (prof_cij[4 * nprofs + idx] - prof_cij[4 * nprofs + idx - 1]);
71493642f1SJames Wright     cij[5]  = prof_cij[5 * nprofs + idx - 1] + coeff * (prof_cij[5 * nprofs + idx] - prof_cij[5 * nprofs + idx - 1]);
72493642f1SJames Wright     *eps    = prof_eps[idx - 1] + coeff * (prof_eps[idx] - prof_eps[idx - 1]);
73493642f1SJames Wright     *lt     = prof_lt[idx - 1] + coeff * (prof_lt[idx] - prof_lt[idx - 1]);
74c77f3192SJames Wright   } else {  // y outside bounds of prof_wd
75493642f1SJames Wright     ubar[0] = prof_ubar[1 * nprofs - 1];
76493642f1SJames Wright     ubar[1] = prof_ubar[2 * nprofs - 1];
77493642f1SJames Wright     ubar[2] = prof_ubar[3 * nprofs - 1];
78493642f1SJames Wright     cij[0]  = prof_cij[1 * nprofs - 1];
79493642f1SJames Wright     cij[1]  = prof_cij[2 * nprofs - 1];
80493642f1SJames Wright     cij[2]  = prof_cij[3 * nprofs - 1];
81493642f1SJames Wright     cij[3]  = prof_cij[4 * nprofs - 1];
82493642f1SJames Wright     cij[4]  = prof_cij[5 * nprofs - 1];
83493642f1SJames Wright     cij[5]  = prof_cij[6 * nprofs - 1];
84493642f1SJames Wright     *eps    = prof_eps[nprofs - 1];
85493642f1SJames Wright     *lt     = prof_lt[nprofs - 1];
86493642f1SJames Wright   }
87493642f1SJames Wright }
88493642f1SJames Wright 
89493642f1SJames Wright /*
9071cd6200SJames Wright  * @brief Calculate spectrum coefficient, qn
9171cd6200SJames Wright  *
9271cd6200SJames Wright  * Calculates q_n at a given distance to the wall
9371cd6200SJames Wright  *
9471cd6200SJames Wright  * @param[in]  kappa     nth wavenumber
9571cd6200SJames Wright  * @param[in]  dkappa    Difference between wavenumbers
9671cd6200SJames Wright  * @param[in]  keta      Dissipation wavenumber
9771cd6200SJames Wright  * @param[in]  kcut      Mesh-induced cutoff wavenumber
9871cd6200SJames Wright  * @param[in]  ke        Energy-containing wavenumber
999ef62cddSJames Wright  * @param[in]  Ektot_inv Inverse of total turbulent kinetic energy of spectrum
10071cd6200SJames Wright  * @returns    qn        Spectrum coefficient
10171cd6200SJames Wright  */
1022b916ea7SJeremy L Thompson CEED_QFUNCTION_HELPER CeedScalar Calc_qn(const CeedScalar kappa, const CeedScalar dkappa, const CeedScalar keta, const CeedScalar kcut,
10370b0cb14SJames Wright                                          const CeedScalar ke, const CeedScalar Ektot_inv) {
1042b916ea7SJeremy L Thompson   const CeedScalar feta_x_fcut = exp(-Square(12 * kappa / keta) - Cube(4 * Max(kappa - 0.9 * kcut, 0) / kcut));
1052b916ea7SJeremy L Thompson   return pow(kappa / ke, 4.) * pow(1 + 2.4 * Square(kappa / ke), -17. / 6) * feta_x_fcut * dkappa * Ektot_inv;
10671cd6200SJames Wright }
10771cd6200SJames Wright 
10871cd6200SJames Wright // Calculate hmax, ke, keta, and kcut
1092b916ea7SJeremy L Thompson CEED_QFUNCTION_HELPER void SpectrumConstants(const CeedScalar wall_dist, const CeedScalar eps, const CeedScalar lt, const CeedScalar h[3],
1102b916ea7SJeremy L Thompson                                              const CeedScalar nu, CeedScalar *hmax, CeedScalar *ke, CeedScalar *keta, CeedScalar *kcut) {
11171cd6200SJames Wright   *hmax = Max(Max(h[0], h[1]), h[2]);
112c77f3192SJames Wright   *ke   = wall_dist == 0 ? 1e16 : 2 * M_PI / Min(2 * wall_dist, 3 * lt);
11371cd6200SJames Wright   *keta = 2 * M_PI * pow(Cube(nu) / eps, -0.25);
114c77f3192SJames Wright   *kcut = M_PI / Min(Max(Max(h[1], h[2]), 0.3 * (*hmax)) + 0.1 * wall_dist, *hmax);
11571cd6200SJames Wright }
11671cd6200SJames Wright 
11771cd6200SJames Wright /*
118493642f1SJames Wright  * @brief Calculate spectrum coefficients for STG
119493642f1SJames Wright  *
120493642f1SJames Wright  * Calculates q_n at a given distance to the wall
121493642f1SJames Wright  *
122c77f3192SJames Wright  * @param[in]  wall_dist Distance to the nearest wall
123c77f3192SJames Wright  * @param[in]  eps       Turbulent dissipation w/rt wall_dist
124c77f3192SJames Wright  * @param[in]  lt        Turbulent length scale w/rt wall_dist
125493642f1SJames Wright  * @param[in]  h         Element lengths in coordinate directions
126493642f1SJames Wright  * @param[in]  nu        Dynamic Viscosity;
127493642f1SJames Wright  * @param[in]  stg_ctx   STGShur14Context for the problem
128493642f1SJames Wright  * @param[out] qn        Spectrum coefficients, [nmodes]
129493642f1SJames Wright  */
1302b916ea7SJeremy L Thompson CEED_QFUNCTION_HELPER void CalcSpectrum(const CeedScalar wall_dist, const CeedScalar eps, const CeedScalar lt, const CeedScalar h[3],
13142454adaSJames Wright                                         const CeedScalar nu, CeedScalar qn[], const StgShur14Context stg_ctx) {
132493642f1SJames Wright   const CeedInt     nmodes = stg_ctx->nmodes;
133493642f1SJames Wright   const CeedScalar *kappa  = &stg_ctx->data[stg_ctx->offsets.kappa];
13471cd6200SJames Wright   CeedScalar        hmax, ke, keta, kcut, Ektot = 0.0;
1352b916ea7SJeremy L Thompson 
136c77f3192SJames Wright   SpectrumConstants(wall_dist, eps, lt, h, nu, &hmax, &ke, &keta, &kcut);
137493642f1SJames Wright 
138493642f1SJames Wright   for (CeedInt n = 0; n < nmodes; n++) {
13971cd6200SJames Wright     const CeedScalar dkappa = n == 0 ? kappa[0] : kappa[n] - kappa[n - 1];
14071cd6200SJames Wright     qn[n]                   = Calc_qn(kappa[n], dkappa, keta, kcut, ke, 1.0);
141493642f1SJames Wright     Ektot += qn[n];
142493642f1SJames Wright   }
143493642f1SJames Wright 
1440a8dc919SJames Wright   if (Ektot == 0) return;
145493642f1SJames Wright   for (CeedInt n = 0; n < nmodes; n++) qn[n] /= Ektot;
146493642f1SJames Wright }
147493642f1SJames Wright 
148493642f1SJames Wright /******************************************************
149493642f1SJames Wright  * @brief Calculate u(x,t) for STG inflow condition
150493642f1SJames Wright  *
151493642f1SJames Wright  * @param[in]  X       Location to evaluate u(X,t)
152493642f1SJames Wright  * @param[in]  t       Time to evaluate u(X,t)
153493642f1SJames Wright  * @param[in]  ubar    Mean velocity at X
154493642f1SJames Wright  * @param[in]  cij     Cholesky decomposition at X
155493642f1SJames Wright  * @param[in]  qn      Wavemode amplitudes at X, [nmodes]
156493642f1SJames Wright  * @param[out] u       Velocity at X and t
157493642f1SJames Wright  * @param[in]  stg_ctx STGShur14Context for the problem
158493642f1SJames Wright  */
15942454adaSJames Wright CEED_QFUNCTION_HELPER void StgShur14Calc(const CeedScalar X[3], const CeedScalar t, const CeedScalar ubar[3], const CeedScalar cij[6],
16042454adaSJames Wright                                          const CeedScalar qn[], CeedScalar u[3], const StgShur14Context stg_ctx) {
161493642f1SJames Wright   const CeedInt     nmodes = stg_ctx->nmodes;
162493642f1SJames Wright   const CeedScalar *kappa  = &stg_ctx->data[stg_ctx->offsets.kappa];
163493642f1SJames Wright   const CeedScalar *phi    = &stg_ctx->data[stg_ctx->offsets.phi];
164493642f1SJames Wright   const CeedScalar *sigma  = &stg_ctx->data[stg_ctx->offsets.sigma];
165493642f1SJames Wright   const CeedScalar *d      = &stg_ctx->data[stg_ctx->offsets.d];
166493642f1SJames Wright   CeedScalar        xdotd, vp[3] = {0.};
167493642f1SJames Wright   CeedScalar        xhat[] = {0., X[1], X[2]};
168493642f1SJames Wright 
1692b916ea7SJeremy L Thompson   CeedPragmaSIMD for (CeedInt n = 0; n < nmodes; n++) {
170493642f1SJames Wright     xhat[0] = (X[0] - stg_ctx->u0 * t) * Max(2 * kappa[0] / kappa[n], 0.1);
171493642f1SJames Wright     xdotd   = 0.;
172493642f1SJames Wright     for (CeedInt i = 0; i < 3; i++) xdotd += d[i * nmodes + n] * xhat[i];
173493642f1SJames Wright     const CeedScalar cos_kxdp = cos(kappa[n] * xdotd + phi[n]);
1740a8dc919SJames Wright     vp[0] += sqrt(qn[n]) * sigma[0 * nmodes + n] * cos_kxdp;
1750a8dc919SJames Wright     vp[1] += sqrt(qn[n]) * sigma[1 * nmodes + n] * cos_kxdp;
1760a8dc919SJames Wright     vp[2] += sqrt(qn[n]) * sigma[2 * nmodes + n] * cos_kxdp;
177493642f1SJames Wright   }
1780a8dc919SJames Wright   for (CeedInt i = 0; i < 3; i++) vp[i] *= 2 * sqrt(1.5);
179493642f1SJames Wright 
180493642f1SJames Wright   u[0] = ubar[0] + cij[0] * vp[0];
181493642f1SJames Wright   u[1] = ubar[1] + cij[3] * vp[0] + cij[1] * vp[1];
182493642f1SJames Wright   u[2] = ubar[2] + cij[4] * vp[0] + cij[5] * vp[1] + cij[2] * vp[2];
183493642f1SJames Wright }
184493642f1SJames Wright 
1858eea80fcSJames Wright /******************************************************
1868eea80fcSJames Wright  * @brief Calculate u(x,t) for STG inflow condition
1878eea80fcSJames Wright  *
1888eea80fcSJames Wright  * @param[in]  X         Location to evaluate u(X,t)
1898eea80fcSJames Wright  * @param[in]  t         Time to evaluate u(X,t)
1908eea80fcSJames Wright  * @param[in]  ubar      Mean velocity at X
1918eea80fcSJames Wright  * @param[in]  cij       Cholesky decomposition at X
192c77f3192SJames Wright  * @param[in]  Ektot     Total spectrum energy at this location
193c77f3192SJames Wright  * @param[in]  h         Element size in 3 directions
194c77f3192SJames Wright  * @param[in]  wall_dist Distance to closest wall
195c77f3192SJames Wright  * @param[in]  eps       Turbulent dissipation
196c77f3192SJames Wright  * @param[in]  lt        Turbulent length scale
1978eea80fcSJames Wright  * @param[out] u         Velocity at X and t
1988eea80fcSJames Wright  * @param[in]  stg_ctx   STGShur14Context for the problem
1998eea80fcSJames Wright  */
20042454adaSJames Wright CEED_QFUNCTION_HELPER void StgShur14Calc_PrecompEktot(const CeedScalar X[3], const CeedScalar t, const CeedScalar ubar[3], const CeedScalar cij[6],
20142454adaSJames Wright                                                       const CeedScalar Ektot, const CeedScalar h[3], const CeedScalar wall_dist, const CeedScalar eps,
20242454adaSJames Wright                                                       const CeedScalar lt, const CeedScalar nu, CeedScalar u[3], const StgShur14Context stg_ctx) {
2038eea80fcSJames Wright   const CeedInt     nmodes = stg_ctx->nmodes;
2048eea80fcSJames Wright   const CeedScalar *kappa  = &stg_ctx->data[stg_ctx->offsets.kappa];
2058eea80fcSJames Wright   const CeedScalar *phi    = &stg_ctx->data[stg_ctx->offsets.phi];
2068eea80fcSJames Wright   const CeedScalar *sigma  = &stg_ctx->data[stg_ctx->offsets.sigma];
2078eea80fcSJames Wright   const CeedScalar *d      = &stg_ctx->data[stg_ctx->offsets.d];
2088eea80fcSJames Wright   CeedScalar        hmax, ke, keta, kcut;
209c77f3192SJames Wright   SpectrumConstants(wall_dist, eps, lt, h, nu, &hmax, &ke, &keta, &kcut);
2108eea80fcSJames Wright   CeedScalar xdotd, vp[3] = {0.};
2118eea80fcSJames Wright   CeedScalar xhat[] = {0., X[1], X[2]};
2128eea80fcSJames Wright 
2132b916ea7SJeremy L Thompson   CeedPragmaSIMD for (CeedInt n = 0; n < nmodes; n++) {
2148eea80fcSJames Wright     xhat[0] = (X[0] - stg_ctx->u0 * t) * Max(2 * kappa[0] / kappa[n], 0.1);
2158eea80fcSJames Wright     xdotd   = 0.;
2168eea80fcSJames Wright     for (CeedInt i = 0; i < 3; i++) xdotd += d[i * nmodes + n] * xhat[i];
2178eea80fcSJames Wright     const CeedScalar cos_kxdp = cos(kappa[n] * xdotd + phi[n]);
2188eea80fcSJames Wright     const CeedScalar dkappa   = n == 0 ? kappa[0] : kappa[n] - kappa[n - 1];
2198eea80fcSJames Wright     const CeedScalar qn       = Calc_qn(kappa[n], dkappa, keta, kcut, ke, Ektot);
2208eea80fcSJames Wright     vp[0] += sqrt(qn) * sigma[0 * nmodes + n] * cos_kxdp;
2218eea80fcSJames Wright     vp[1] += sqrt(qn) * sigma[1 * nmodes + n] * cos_kxdp;
2228eea80fcSJames Wright     vp[2] += sqrt(qn) * sigma[2 * nmodes + n] * cos_kxdp;
2238eea80fcSJames Wright   }
2248eea80fcSJames Wright   for (CeedInt i = 0; i < 3; i++) vp[i] *= 2 * sqrt(1.5);
2258eea80fcSJames Wright 
2268eea80fcSJames Wright   u[0] = ubar[0] + cij[0] * vp[0];
2278eea80fcSJames Wright   u[1] = ubar[1] + cij[3] * vp[0] + cij[1] * vp[1];
2288eea80fcSJames Wright   u[2] = ubar[2] + cij[4] * vp[0] + cij[5] * vp[1] + cij[2] * vp[2];
2298eea80fcSJames Wright }
2308eea80fcSJames Wright 
23170b0cb14SJames Wright // Create preprocessed input for the stg calculation
23270b0cb14SJames Wright //
23370b0cb14SJames Wright // stg_data[0] = 1 / Ektot (inverse of total spectrum energy)
23442454adaSJames Wright CEED_QFUNCTION(StgShur14Preprocess)(void *ctx, CeedInt Q, const CeedScalar *const *in, CeedScalar *const *out) {
2356f188493SJames Wright   const CeedScalar(*dXdx_q)[3][CEED_Q_VLA] = (const CeedScalar(*)[3][CEED_Q_VLA])in[0];
2363d65b166SJames Wright   const CeedScalar(*x)[CEED_Q_VLA]         = (const CeedScalar(*)[CEED_Q_VLA])in[1];
2378eea80fcSJames Wright 
2388eea80fcSJames Wright   CeedScalar(*stg_data) = (CeedScalar(*))out[0];
2398eea80fcSJames Wright 
2408eea80fcSJames Wright   CeedScalar             ubar[3], cij[6], eps, lt;
24142454adaSJames Wright   const StgShur14Context stg_ctx = (StgShur14Context)ctx;
2428eea80fcSJames Wright   const CeedScalar       dx      = stg_ctx->dx;
2438eea80fcSJames Wright   const CeedScalar       mu      = stg_ctx->newtonian_ctx.mu;
2448eea80fcSJames Wright   const CeedScalar       theta0  = stg_ctx->theta0;
2458eea80fcSJames Wright   const CeedScalar       P0      = stg_ctx->P0;
2463d65b166SJames Wright   const CeedScalar       Rd      = GasConstant(&stg_ctx->newtonian_ctx);
2478eea80fcSJames Wright   const CeedScalar       rho     = P0 / (Rd * theta0);
2488eea80fcSJames Wright   const CeedScalar       nu      = mu / rho;
2498eea80fcSJames Wright 
2508eea80fcSJames Wright   const CeedInt     nmodes = stg_ctx->nmodes;
2518eea80fcSJames Wright   const CeedScalar *kappa  = &stg_ctx->data[stg_ctx->offsets.kappa];
2529eeef72bSJames Wright   CeedScalar        hmax, ke, keta, kcut;
2538eea80fcSJames Wright 
2542b916ea7SJeremy L Thompson   CeedPragmaSIMD for (CeedInt i = 0; i < Q; i++) {
255c77f3192SJames Wright     const CeedScalar wall_dist  = x[1][i];
2568eea80fcSJames Wright     const CeedScalar dXdx[2][3] = {
2576f188493SJames Wright         {dXdx_q[0][0][i], dXdx_q[0][1][i], dXdx_q[0][2][i]},
2586f188493SJames Wright         {dXdx_q[1][0][i], dXdx_q[1][1][i], dXdx_q[1][2][i]},
2598eea80fcSJames Wright     };
2608eea80fcSJames Wright 
2618eea80fcSJames Wright     CeedScalar h[3];
2628eea80fcSJames Wright     h[0] = dx;
2632b916ea7SJeremy L Thompson     for (CeedInt j = 1; j < 3; j++) h[j] = 2 / sqrt(dXdx[0][j] * dXdx[0][j] + dXdx[1][j] * dXdx[1][j]);
2648eea80fcSJames Wright 
265c77f3192SJames Wright     InterpolateProfile(wall_dist, ubar, cij, &eps, &lt, stg_ctx);
266c77f3192SJames Wright     SpectrumConstants(wall_dist, eps, lt, h, nu, &hmax, &ke, &keta, &kcut);
2678eea80fcSJames Wright 
2688eea80fcSJames Wright     // Calculate total TKE per spectrum
2692f638ed2SJames Wright     CeedScalar Ek_tot = 0;
2702b916ea7SJeremy L Thompson     CeedPragmaSIMD for (CeedInt n = 0; n < nmodes; n++) {
2718eea80fcSJames Wright       const CeedScalar dkappa = n == 0 ? kappa[0] : kappa[n] - kappa[n - 1];
2722f638ed2SJames Wright       Ek_tot += Calc_qn(kappa[n], dkappa, keta, kcut, ke, 1.0);
2738eea80fcSJames Wright     }
2742f638ed2SJames Wright     // avoid underflowed and poorly defined spectrum coefficients
2752f638ed2SJames Wright     stg_data[i] = Ek_tot != 0 ? 1 / Ek_tot : 0;
2768eea80fcSJames Wright   }
2778eea80fcSJames Wright   return 0;
2788eea80fcSJames Wright }
2798eea80fcSJames Wright 
28043bff553SJames Wright // Extrude the STGInflow profile through out the domain for an initial condition
28142454adaSJames Wright CEED_QFUNCTION(ICsStg)(void *ctx, CeedInt Q, const CeedScalar *const *in, CeedScalar *const *out) {
28243bff553SJames Wright   // Inputs
2833d65b166SJames Wright   const CeedScalar(*x)[CEED_Q_VLA]    = (const CeedScalar(*)[CEED_Q_VLA])in[0];
2844f0244d1SJeremy L Thompson   const CeedScalar(*J)[3][CEED_Q_VLA] = (const CeedScalar(*)[3][CEED_Q_VLA])in[1];
2853d65b166SJames Wright 
28643bff553SJames Wright   // Outputs
28743bff553SJames Wright   CeedScalar(*q0)[CEED_Q_VLA] = (CeedScalar(*)[CEED_Q_VLA])out[0];
28843bff553SJames Wright 
28942454adaSJames Wright   const StgShur14Context stg_ctx = (StgShur14Context)ctx;
290d4e0f297SJames Wright   CeedScalar             qn[STG_NMODES_MAX], u[3], ubar[3], cij[6], eps, lt;
291d4e0f297SJames Wright   const CeedScalar       dx     = stg_ctx->dx;
292d4e0f297SJames Wright   const CeedScalar       time   = stg_ctx->time;
29343bff553SJames Wright   const CeedScalar       theta0 = stg_ctx->theta0;
29443bff553SJames Wright   const CeedScalar       P0     = stg_ctx->P0;
29543bff553SJames Wright   const CeedScalar       cv     = stg_ctx->newtonian_ctx.cv;
2963d65b166SJames Wright   const CeedScalar       rho    = P0 / (GasConstant(&stg_ctx->newtonian_ctx) * theta0);
2973d65b166SJames Wright   const CeedScalar       nu     = stg_ctx->newtonian_ctx.mu / rho;
29843bff553SJames Wright 
2992b916ea7SJeremy L Thompson   CeedPragmaSIMD for (CeedInt i = 0; i < Q; i++) {
300d4e0f297SJames Wright     const CeedScalar x_i[3] = {x[0][i], x[1][i], x[2][i]};
3014f0244d1SJeremy L Thompson     CeedScalar       dXdx[3][3];
3021a74fa30SJames Wright     InvertMappingJacobian_3D(Q, i, J, dXdx, NULL);
303d4e0f297SJames Wright     CeedScalar h[3];
304d4e0f297SJames Wright     h[0] = dx;
3052b916ea7SJeremy L Thompson     for (CeedInt j = 1; j < 3; j++) h[j] = 2 / sqrt(Square(dXdx[0][j]) + Square(dXdx[1][j]) + Square(dXdx[2][j]));
306d4e0f297SJames Wright 
307d4e0f297SJames Wright     InterpolateProfile(x_i[1], ubar, cij, &eps, &lt, stg_ctx);
308d4e0f297SJames Wright     if (stg_ctx->use_fluctuating_IC) {
3093d65b166SJames Wright       CalcSpectrum(x_i[1], eps, lt, h, nu, qn, stg_ctx);
31042454adaSJames Wright       StgShur14Calc(x_i, time, ubar, cij, qn, u, stg_ctx);
311d4e0f297SJames Wright     } else {
312d4e0f297SJames Wright       for (CeedInt j = 0; j < 3; j++) u[j] = ubar[j];
313d4e0f297SJames Wright     }
31443bff553SJames Wright 
3153636f6a4SJames Wright     switch (stg_ctx->newtonian_ctx.state_var) {
3163636f6a4SJames Wright       case STATEVAR_CONSERVATIVE:
31743bff553SJames Wright         q0[0][i] = rho;
31843bff553SJames Wright         q0[1][i] = u[0] * rho;
31943bff553SJames Wright         q0[2][i] = u[1] * rho;
32043bff553SJames Wright         q0[3][i] = u[2] * rho;
32143bff553SJames Wright         q0[4][i] = rho * (0.5 * Dot3(u, u) + cv * theta0);
3223636f6a4SJames Wright         break;
3233636f6a4SJames Wright 
3243636f6a4SJames Wright       case STATEVAR_PRIMITIVE:
3253636f6a4SJames Wright         q0[0][i] = P0;
3263636f6a4SJames Wright         q0[1][i] = u[0];
3273636f6a4SJames Wright         q0[2][i] = u[1];
3283636f6a4SJames Wright         q0[3][i] = u[2];
3293636f6a4SJames Wright         q0[4][i] = theta0;
3303636f6a4SJames Wright         break;
33188243482SJames Wright     }
33243bff553SJames Wright   }  // End of Quadrature Point Loop
33343bff553SJames Wright   return 0;
33443bff553SJames Wright }
33543bff553SJames Wright 
336493642f1SJames Wright /********************************************************************
337493642f1SJames Wright  * @brief QFunction to calculate the inflow boundary condition
338493642f1SJames Wright  *
339493642f1SJames Wright  * This will loop through quadrature points, calculate the wavemode amplitudes
340493642f1SJames Wright  * at each location, then calculate the actual velocity.
341493642f1SJames Wright  */
34242454adaSJames Wright CEED_QFUNCTION(StgShur14Inflow)(void *ctx, CeedInt Q, const CeedScalar *const *in, CeedScalar *const *out) {
3433d65b166SJames Wright   const CeedScalar(*q)[CEED_Q_VLA] = (const CeedScalar(*)[CEED_Q_VLA])in[0];
344ade49511SJames Wright   const CeedScalar(*q_data_sur)    = in[2];
3453d65b166SJames Wright   const CeedScalar(*X)[CEED_Q_VLA] = (const CeedScalar(*)[CEED_Q_VLA])in[3];
346493642f1SJames Wright 
3473d65b166SJames Wright   CeedScalar(*v)[CEED_Q_VLA] = (CeedScalar(*)[CEED_Q_VLA])out[0];
348ade49511SJames Wright   CeedScalar(*jac_data_sur)  = out[1];
349493642f1SJames Wright 
35042454adaSJames Wright   const StgShur14Context stg_ctx = (StgShur14Context)ctx;
351493642f1SJames Wright   CeedScalar             qn[STG_NMODES_MAX], u[3], ubar[3], cij[6], eps, lt;
352493642f1SJames Wright   const bool             is_implicit = stg_ctx->is_implicit;
353493642f1SJames Wright   const bool             mean_only   = stg_ctx->mean_only;
354493642f1SJames Wright   const bool             prescribe_T = stg_ctx->prescribe_T;
355493642f1SJames Wright   const CeedScalar       dx          = stg_ctx->dx;
356493642f1SJames Wright   const CeedScalar       mu          = stg_ctx->newtonian_ctx.mu;
357493642f1SJames Wright   const CeedScalar       time        = stg_ctx->time;
358493642f1SJames Wright   const CeedScalar       theta0      = stg_ctx->theta0;
359493642f1SJames Wright   const CeedScalar       P0          = stg_ctx->P0;
360493642f1SJames Wright   const CeedScalar       cv          = stg_ctx->newtonian_ctx.cv;
3613d65b166SJames Wright   const CeedScalar       Rd          = GasConstant(&stg_ctx->newtonian_ctx);
3623d65b166SJames Wright   const CeedScalar       gamma       = HeatCapacityRatio(&stg_ctx->newtonian_ctx);
363493642f1SJames Wright 
3642b916ea7SJeremy L Thompson   CeedPragmaSIMD for (CeedInt i = 0; i < Q; i++) {
365493642f1SJames Wright     const CeedScalar rho = prescribe_T ? q[0][i] : P0 / (Rd * theta0);
366493642f1SJames Wright     const CeedScalar x[] = {X[0][i], X[1][i], X[2][i]};
367ade49511SJames Wright     CeedScalar       wdetJb, dXdx[2][3], norm[3];
368ade49511SJames Wright     QdataBoundaryUnpack_3D(Q, i, q_data_sur, &wdetJb, dXdx, norm);
369ade49511SJames Wright     wdetJb *= is_implicit ? -1. : 1.;
370493642f1SJames Wright 
371493642f1SJames Wright     CeedScalar h[3];
372493642f1SJames Wright     h[0] = dx;
3732b916ea7SJeremy L Thompson     for (CeedInt j = 1; j < 3; j++) h[j] = 2 / sqrt(Square(dXdx[0][j]) + Square(dXdx[1][j]));
374493642f1SJames Wright 
375493642f1SJames Wright     InterpolateProfile(X[1][i], ubar, cij, &eps, &lt, stg_ctx);
376493642f1SJames Wright     if (!mean_only) {
377493642f1SJames Wright       CalcSpectrum(X[1][i], eps, lt, h, mu / rho, qn, stg_ctx);
37842454adaSJames Wright       StgShur14Calc(x, time, ubar, cij, qn, u, stg_ctx);
379493642f1SJames Wright     } else {
380493642f1SJames Wright       for (CeedInt j = 0; j < 3; j++) u[j] = ubar[j];
381493642f1SJames Wright     }
382493642f1SJames Wright 
383a6e8f989SJames Wright     const CeedScalar E_kinetic = .5 * rho * Dot3(u, u);
384493642f1SJames Wright     CeedScalar       E_internal, P;
385493642f1SJames Wright     if (prescribe_T) {
386493642f1SJames Wright       // Temperature is being set weakly (theta0) and for constant cv this sets E_internal
387493642f1SJames Wright       E_internal = rho * cv * theta0;
388493642f1SJames Wright       // Find pressure using
389493642f1SJames Wright       P = rho * Rd * theta0;  // interior rho with exterior T
390493642f1SJames Wright     } else {
391493642f1SJames Wright       E_internal = q[4][i] - E_kinetic;  // uses prescribed rho and u, E from solution
392493642f1SJames Wright       P          = E_internal * (gamma - 1.);
393493642f1SJames Wright     }
394493642f1SJames Wright 
395493642f1SJames Wright     const CeedScalar E = E_internal + E_kinetic;
396493642f1SJames Wright 
397493642f1SJames Wright     // Velocity normal to the boundary
398a6e8f989SJames Wright     const CeedScalar u_normal = Dot3(norm, u);
399a6e8f989SJames Wright 
400493642f1SJames Wright     // The Physics
401493642f1SJames Wright     // Zero v so all future terms can safely sum into it
402493642f1SJames Wright     for (CeedInt j = 0; j < 5; j++) v[j][i] = 0.;
403493642f1SJames Wright 
404493642f1SJames Wright     // The Physics
405493642f1SJames Wright     // -- Density
406493642f1SJames Wright     v[0][i] -= wdetJb * rho * u_normal;
407493642f1SJames Wright 
408493642f1SJames Wright     // -- Momentum
4092b916ea7SJeremy L Thompson     for (CeedInt j = 0; j < 3; j++) v[j + 1][i] -= wdetJb * (rho * u_normal * u[j] + norm[j] * P);
410493642f1SJames Wright 
411493642f1SJames Wright     // -- Total Energy Density
412493642f1SJames Wright     v[4][i] -= wdetJb * u_normal * (E + P);
413a6e8f989SJames Wright 
414ade49511SJames Wright     const CeedScalar U[] = {rho, u[0], u[1], u[2], E}, kmstress[6] = {0.};
415ade49511SJames Wright     StoredValuesPack(Q, i, 0, 5, U, jac_data_sur);
416ade49511SJames Wright     StoredValuesPack(Q, i, 5, 6, kmstress, jac_data_sur);
417493642f1SJames Wright   }
418493642f1SJames Wright   return 0;
419493642f1SJames Wright }
420493642f1SJames Wright 
42142454adaSJames Wright CEED_QFUNCTION(StgShur14Inflow_Jacobian)(void *ctx, CeedInt Q, const CeedScalar *const *in, CeedScalar *const *out) {
422a6e8f989SJames Wright   // Inputs
4233d65b166SJames Wright   const CeedScalar(*dq)[CEED_Q_VLA]           = (const CeedScalar(*)[CEED_Q_VLA])in[0];
4243d65b166SJames Wright   const CeedScalar(*q_data_sur)[CEED_Q_VLA]   = (const CeedScalar(*)[CEED_Q_VLA])in[2];
4253d65b166SJames Wright   const CeedScalar(*jac_data_sur)[CEED_Q_VLA] = (const CeedScalar(*)[CEED_Q_VLA])in[4];
426a6e8f989SJames Wright   // Outputs
427a6e8f989SJames Wright   CeedScalar(*v)[CEED_Q_VLA] = (CeedScalar(*)[CEED_Q_VLA])out[0];
4283d65b166SJames Wright 
42942454adaSJames Wright   const StgShur14Context stg_ctx  = (StgShur14Context)ctx;
430a6e8f989SJames Wright   const bool             implicit = stg_ctx->is_implicit;
431a6e8f989SJames Wright   const CeedScalar       cv       = stg_ctx->newtonian_ctx.cv;
4323d65b166SJames Wright   const CeedScalar       Rd       = GasConstant(&stg_ctx->newtonian_ctx);
4333d65b166SJames Wright   const CeedScalar       gamma    = HeatCapacityRatio(&stg_ctx->newtonian_ctx);
434a6e8f989SJames Wright 
435a6e8f989SJames Wright   const CeedScalar theta0      = stg_ctx->theta0;
436a6e8f989SJames Wright   const bool       prescribe_T = stg_ctx->prescribe_T;
437a6e8f989SJames Wright 
438a6e8f989SJames Wright   CeedPragmaSIMD
439a6e8f989SJames Wright       // Quadrature Point Loop
440a6e8f989SJames Wright       for (CeedInt i = 0; i < Q; i++) {
441a6e8f989SJames Wright     // Setup
442a6e8f989SJames Wright     // -- Interp-to-Interp q_data
443a6e8f989SJames Wright     // For explicit mode, the surface integral is on the RHS of ODE q_dot = f(q).
444a6e8f989SJames Wright     // For implicit mode, it gets pulled to the LHS of implicit ODE/DAE g(q_dot, q).
445a6e8f989SJames Wright     // We can effect this by swapping the sign on this weight
446a6e8f989SJames Wright     const CeedScalar wdetJb = (implicit ? -1. : 1.) * q_data_sur[0][i];
447a6e8f989SJames Wright 
448a6e8f989SJames Wright     // Calculate inflow values
449a6e8f989SJames Wright     CeedScalar velocity[3];
450a6e8f989SJames Wright     for (CeedInt j = 0; j < 3; j++) velocity[j] = jac_data_sur[5 + j][i];
451ade49511SJames Wright     // TODO This is almost certainly a bug. Velocity isn't stored here, only 0s.
452a6e8f989SJames Wright 
453a6e8f989SJames Wright     // enabling user to choose between weak T and weak rho inflow
454a6e8f989SJames Wright     CeedScalar drho, dE, dP;
455a6e8f989SJames Wright     if (prescribe_T) {
456a6e8f989SJames Wright       // rho should be from the current solution
457a6e8f989SJames Wright       drho                   = dq[0][i];
458a6e8f989SJames Wright       CeedScalar dE_internal = drho * cv * theta0;
459a6e8f989SJames Wright       CeedScalar dE_kinetic  = .5 * drho * Dot3(velocity, velocity);
460a6e8f989SJames Wright       dE                     = dE_internal + dE_kinetic;
461a6e8f989SJames Wright       dP                     = drho * Rd * theta0;  // interior rho with exterior T
462a6e8f989SJames Wright     } else {                                        // rho specified, E_internal from solution
463a6e8f989SJames Wright       drho = 0;
464a6e8f989SJames Wright       dE   = dq[4][i];
465a6e8f989SJames Wright       dP   = dE * (gamma - 1.);
466a6e8f989SJames Wright     }
4672b916ea7SJeremy L Thompson     const CeedScalar norm[3] = {q_data_sur[1][i], q_data_sur[2][i], q_data_sur[3][i]};
468a6e8f989SJames Wright 
469a6e8f989SJames Wright     const CeedScalar u_normal = Dot3(norm, velocity);
470a6e8f989SJames Wright 
471a6e8f989SJames Wright     v[0][i] = -wdetJb * drho * u_normal;
4722b916ea7SJeremy L Thompson     for (int j = 0; j < 3; j++) v[j + 1][i] = -wdetJb * (drho * u_normal * velocity[j] + norm[j] * dP);
473a6e8f989SJames Wright     v[4][i] = -wdetJb * u_normal * (dE + dP);
474a6e8f989SJames Wright   }  // End Quadrature Point Loop
475a6e8f989SJames Wright   return 0;
476a6e8f989SJames Wright }
477a6e8f989SJames Wright 
478b7190ff7SJames Wright /********************************************************************
479b7190ff7SJames Wright  * @brief QFunction to calculate the strongly enforce inflow BC
480b7190ff7SJames Wright  *
481b7190ff7SJames Wright  * This QF is for the strong application of STG via libCEED (rather than
482b7190ff7SJames Wright  * through the native PETSc `DMAddBoundary` -> `bcFunc` method.
483b7190ff7SJames Wright  */
48442454adaSJames Wright CEED_QFUNCTION(StgShur14InflowStrongQF)(void *ctx, CeedInt Q, const CeedScalar *const *in, CeedScalar *const *out) {
4856f188493SJames Wright   const CeedScalar(*dXdx_q)[3][CEED_Q_VLA] = (const CeedScalar(*)[3][CEED_Q_VLA])in[0];
4863d65b166SJames Wright   const CeedScalar(*coords)[CEED_Q_VLA]    = (const CeedScalar(*)[CEED_Q_VLA])in[1];
4873d65b166SJames Wright   const CeedScalar(*scale)                 = (const CeedScalar(*))in[2];
4889ef62cddSJames Wright   const CeedScalar(*inv_Ektotal)           = (const CeedScalar(*))in[3];
489b7190ff7SJames Wright 
490b7190ff7SJames Wright   CeedScalar(*bcval)[CEED_Q_VLA] = (CeedScalar(*)[CEED_Q_VLA])out[0];
491b7190ff7SJames Wright 
49242454adaSJames Wright   const StgShur14Context stg_ctx = (StgShur14Context)ctx;
49370b0cb14SJames Wright   CeedScalar             u[3], ubar[3], cij[6], eps, lt;
494b7190ff7SJames Wright   const bool             mean_only = stg_ctx->mean_only;
495b7190ff7SJames Wright   const CeedScalar       dx        = stg_ctx->dx;
496b7190ff7SJames Wright   const CeedScalar       time      = stg_ctx->time;
497b7190ff7SJames Wright   const CeedScalar       theta0    = stg_ctx->theta0;
498b7190ff7SJames Wright   const CeedScalar       P0        = stg_ctx->P0;
4993d65b166SJames Wright   const CeedScalar       rho       = P0 / (GasConstant(&stg_ctx->newtonian_ctx) * theta0);
5003d65b166SJames Wright   const CeedScalar       nu        = stg_ctx->newtonian_ctx.mu / rho;
501b7190ff7SJames Wright 
5022b916ea7SJeremy L Thompson   CeedPragmaSIMD for (CeedInt i = 0; i < Q; i++) {
503b7190ff7SJames Wright     const CeedScalar x[]        = {coords[0][i], coords[1][i], coords[2][i]};
504b7190ff7SJames Wright     const CeedScalar dXdx[2][3] = {
5056f188493SJames Wright         {dXdx_q[0][0][i], dXdx_q[0][1][i], dXdx_q[0][2][i]},
5066f188493SJames Wright         {dXdx_q[1][0][i], dXdx_q[1][1][i], dXdx_q[1][2][i]},
507b7190ff7SJames Wright     };
508b7190ff7SJames Wright 
509b7190ff7SJames Wright     CeedScalar h[3];
510b7190ff7SJames Wright     h[0] = dx;
5112b916ea7SJeremy L Thompson     for (CeedInt j = 1; j < 3; j++) h[j] = 2 / sqrt(Square(dXdx[0][j]) + Square(dXdx[1][j]));
512b7190ff7SJames Wright 
513b7190ff7SJames Wright     InterpolateProfile(coords[1][i], ubar, cij, &eps, &lt, stg_ctx);
514b7190ff7SJames Wright     if (!mean_only) {
51570b0cb14SJames Wright       if (1) {
51642454adaSJames Wright         StgShur14Calc_PrecompEktot(x, time, ubar, cij, inv_Ektotal[i], h, x[1], eps, lt, nu, u, stg_ctx);
51770b0cb14SJames Wright       } else {  // Original way
51870b0cb14SJames Wright         CeedScalar qn[STG_NMODES_MAX];
5193d65b166SJames Wright         CalcSpectrum(coords[1][i], eps, lt, h, nu, qn, stg_ctx);
52042454adaSJames Wright         StgShur14Calc(x, time, ubar, cij, qn, u, stg_ctx);
52170b0cb14SJames Wright       }
522b7190ff7SJames Wright     } else {
523b7190ff7SJames Wright       for (CeedInt j = 0; j < 3; j++) u[j] = ubar[j];
524b7190ff7SJames Wright     }
525b7190ff7SJames Wright 
5263636f6a4SJames Wright     switch (stg_ctx->newtonian_ctx.state_var) {
5273636f6a4SJames Wright       case STATEVAR_CONSERVATIVE:
528b7190ff7SJames Wright         bcval[0][i] = scale[i] * rho;
529b7190ff7SJames Wright         bcval[1][i] = scale[i] * rho * u[0];
530b7190ff7SJames Wright         bcval[2][i] = scale[i] * rho * u[1];
531b7190ff7SJames Wright         bcval[3][i] = scale[i] * rho * u[2];
53266531c8bSJames Wright         bcval[4][i] = 0.;
5333636f6a4SJames Wright         break;
5343636f6a4SJames Wright 
5353636f6a4SJames Wright       case STATEVAR_PRIMITIVE:
5363636f6a4SJames Wright         bcval[0][i] = 0;
5373636f6a4SJames Wright         bcval[1][i] = scale[i] * u[0];
5383636f6a4SJames Wright         bcval[2][i] = scale[i] * u[1];
5393636f6a4SJames Wright         bcval[3][i] = scale[i] * u[2];
5403636f6a4SJames Wright         bcval[4][i] = scale[i] * theta0;
5413636f6a4SJames Wright         break;
542b7190ff7SJames Wright     }
54388243482SJames Wright   }
544b7190ff7SJames Wright   return 0;
545b7190ff7SJames Wright }
546b7190ff7SJames Wright 
547493642f1SJames Wright #endif  // stg_shur14_h
548