xref: /libCEED/examples/fluids/qfunctions/stg_shur14.h (revision ba6664ae303f5b2ef46b3df96973d9bdc665107c)
1*ba6664aeSJames Wright // Copyright (c) 2017-2022, Lawrence Livermore National Security, LLC and other CEED contributors.
2*ba6664aeSJames Wright // All Rights Reserved. See the top-level LICENSE and NOTICE files for details.
3*ba6664aeSJames Wright //
4*ba6664aeSJames Wright // SPDX-License-Identifier: BSD-2-Clause
5*ba6664aeSJames Wright //
6*ba6664aeSJames Wright // This file is part of CEED:  http://github.com/ceed
7*ba6664aeSJames Wright 
8*ba6664aeSJames Wright /// @file
9*ba6664aeSJames Wright /// Implementation of the Synthetic Turbulence Generation (STG) algorithm
10*ba6664aeSJames Wright /// presented in Shur et al. 2014
11*ba6664aeSJames Wright //
12*ba6664aeSJames Wright /// SetupSTG_Rand reads in the input files and fills in STGShur14Context. Then
13*ba6664aeSJames Wright /// STGShur14_CalcQF is run over quadrature points. Before the program exits,
14*ba6664aeSJames Wright /// TearDownSTG is run to free the memory of the allocated arrays.
15*ba6664aeSJames Wright 
16*ba6664aeSJames Wright #ifndef stg_shur14_h
17*ba6664aeSJames Wright #define stg_shur14_h
18*ba6664aeSJames Wright 
19*ba6664aeSJames Wright #include <math.h>
20*ba6664aeSJames Wright #include <ceed.h>
21*ba6664aeSJames Wright #include <stdlib.h>
22*ba6664aeSJames Wright #include "stg_shur14_type.h"
23*ba6664aeSJames Wright 
24*ba6664aeSJames Wright #ifndef M_PI
25*ba6664aeSJames Wright #define M_PI    3.14159265358979323846
26*ba6664aeSJames Wright #endif
27*ba6664aeSJames Wright 
28*ba6664aeSJames Wright #define STG_NMODES_MAX 1024
29*ba6664aeSJames Wright 
30*ba6664aeSJames Wright CEED_QFUNCTION_HELPER CeedScalar Max(CeedScalar a, CeedScalar b) { return a < b ? b : a; }
31*ba6664aeSJames Wright CEED_QFUNCTION_HELPER CeedScalar Min(CeedScalar a, CeedScalar b) { return a < b ? a : b; }
32*ba6664aeSJames Wright 
33*ba6664aeSJames Wright /*
34*ba6664aeSJames Wright  * @brief Interpolate quantities from input profile to given location
35*ba6664aeSJames Wright  *
36*ba6664aeSJames Wright  * Assumed that prof_dw[i+1] > prof_dw[i] and prof_dw[0] = 0
37*ba6664aeSJames Wright  * If dw > prof_dw[-1], then the interpolation takes the values at prof_dw[-1]
38*ba6664aeSJames Wright  *
39*ba6664aeSJames Wright  * @param[in]  dw      Distance to the nearest wall
40*ba6664aeSJames Wright  * @param[out] ubar    Mean velocity at dw
41*ba6664aeSJames Wright  * @param[out] cij     Cholesky decomposition at dw
42*ba6664aeSJames Wright  * @param[out] eps     Turbulent dissipation at dw
43*ba6664aeSJames Wright  * @param[out] lt      Turbulent length scale at dw
44*ba6664aeSJames Wright  * @param[in]  stg_ctx STGShur14Context for the problem
45*ba6664aeSJames Wright  */
46*ba6664aeSJames Wright CEED_QFUNCTION_HELPER void InterpolateProfile(const CeedScalar dw,
47*ba6664aeSJames Wright     CeedScalar ubar[3], CeedScalar cij[6], CeedScalar *eps, CeedScalar *lt,
48*ba6664aeSJames Wright     const STGShur14Context stg_ctx) {
49*ba6664aeSJames Wright 
50*ba6664aeSJames Wright   const CeedInt    nprofs    = stg_ctx->nprofs;
51*ba6664aeSJames Wright   const CeedScalar *prof_dw  = &stg_ctx->data[stg_ctx->offsets.prof_dw];
52*ba6664aeSJames Wright   const CeedScalar *prof_eps = &stg_ctx->data[stg_ctx->offsets.eps];
53*ba6664aeSJames Wright   const CeedScalar *prof_lt  = &stg_ctx->data[stg_ctx->offsets.lt];
54*ba6664aeSJames Wright   const CeedScalar *prof_ubar = &stg_ctx->data[stg_ctx->offsets.ubar];
55*ba6664aeSJames Wright   const CeedScalar *prof_cij  = &stg_ctx->data[stg_ctx->offsets.cij];
56*ba6664aeSJames Wright   CeedInt idx=-1;
57*ba6664aeSJames Wright 
58*ba6664aeSJames Wright   for(CeedInt i=0; i<nprofs; i++) {
59*ba6664aeSJames Wright     if (dw < prof_dw[i]) {
60*ba6664aeSJames Wright       idx = i;
61*ba6664aeSJames Wright       break;
62*ba6664aeSJames Wright     }
63*ba6664aeSJames Wright   }
64*ba6664aeSJames Wright 
65*ba6664aeSJames Wright   if (idx > 0) { // y within the bounds of prof_dw
66*ba6664aeSJames Wright     CeedScalar coeff = (dw - prof_dw[idx-1]) / (prof_dw[idx] - prof_dw[idx-1]);
67*ba6664aeSJames Wright 
68*ba6664aeSJames Wright     //*INDENT-OFF*
69*ba6664aeSJames Wright     ubar[0] = prof_ubar[0*nprofs+idx-1] + coeff*( prof_ubar[0*nprofs+idx] - prof_ubar[0*nprofs+idx-1] );
70*ba6664aeSJames Wright     ubar[1] = prof_ubar[1*nprofs+idx-1] + coeff*( prof_ubar[1*nprofs+idx] - prof_ubar[1*nprofs+idx-1] );
71*ba6664aeSJames Wright     ubar[2] = prof_ubar[2*nprofs+idx-1] + coeff*( prof_ubar[2*nprofs+idx] - prof_ubar[2*nprofs+idx-1] );
72*ba6664aeSJames Wright     cij[0]  = prof_cij[0*nprofs+idx-1]  + coeff*( prof_cij[0*nprofs+idx]  - prof_cij[0*nprofs+idx-1] );
73*ba6664aeSJames Wright     cij[1]  = prof_cij[1*nprofs+idx-1]  + coeff*( prof_cij[1*nprofs+idx]  - prof_cij[1*nprofs+idx-1] );
74*ba6664aeSJames Wright     cij[2]  = prof_cij[2*nprofs+idx-1]  + coeff*( prof_cij[2*nprofs+idx]  - prof_cij[2*nprofs+idx-1] );
75*ba6664aeSJames Wright     cij[3]  = prof_cij[3*nprofs+idx-1]  + coeff*( prof_cij[3*nprofs+idx]  - prof_cij[3*nprofs+idx-1] );
76*ba6664aeSJames Wright     cij[4]  = prof_cij[4*nprofs+idx-1]  + coeff*( prof_cij[4*nprofs+idx]  - prof_cij[4*nprofs+idx-1] );
77*ba6664aeSJames Wright     cij[5]  = prof_cij[5*nprofs+idx-1]  + coeff*( prof_cij[5*nprofs+idx]  - prof_cij[5*nprofs+idx-1] );
78*ba6664aeSJames Wright     *eps    = prof_eps[idx-1]     + coeff*( prof_eps[idx]     - prof_eps[idx-1] );
79*ba6664aeSJames Wright     *lt     = prof_lt[idx-1]      + coeff*( prof_lt[idx]      - prof_lt[idx-1] );
80*ba6664aeSJames Wright     //*INDENT-ON*
81*ba6664aeSJames Wright   } else { // y outside bounds of prof_dw
82*ba6664aeSJames Wright     ubar[0] = prof_ubar[1*nprofs-1];
83*ba6664aeSJames Wright     ubar[1] = prof_ubar[2*nprofs-1];
84*ba6664aeSJames Wright     ubar[2] = prof_ubar[3*nprofs-1];
85*ba6664aeSJames Wright     cij[0]  = prof_cij[1*nprofs-1];
86*ba6664aeSJames Wright     cij[1]  = prof_cij[2*nprofs-1];
87*ba6664aeSJames Wright     cij[2]  = prof_cij[3*nprofs-1];
88*ba6664aeSJames Wright     cij[3]  = prof_cij[4*nprofs-1];
89*ba6664aeSJames Wright     cij[4]  = prof_cij[5*nprofs-1];
90*ba6664aeSJames Wright     cij[5]  = prof_cij[6*nprofs-1];
91*ba6664aeSJames Wright     *eps    = prof_eps[nprofs-1];
92*ba6664aeSJames Wright     *lt     = prof_lt[nprofs-1];
93*ba6664aeSJames Wright   }
94*ba6664aeSJames Wright }
95*ba6664aeSJames Wright 
96*ba6664aeSJames Wright /*
97*ba6664aeSJames Wright  * @brief Calculate spectrum coefficients for STG
98*ba6664aeSJames Wright  *
99*ba6664aeSJames Wright  * Calculates q_n at a given distance to the wall
100*ba6664aeSJames Wright  *
101*ba6664aeSJames Wright  * @param[in]  dw      Distance to the nearest wall
102*ba6664aeSJames Wright  * @param[in]  eps     Turbulent dissipation w/rt dw
103*ba6664aeSJames Wright  * @param[in]  lt      Turbulent length scale w/rt dw
104*ba6664aeSJames Wright  * @param[in]  h       Element lengths in coordinate directions
105*ba6664aeSJames Wright  * @param[in]  nu      Dynamic Viscosity;
106*ba6664aeSJames Wright  * @param[in]  stg_ctx STGShur14Context for the problem
107*ba6664aeSJames Wright  * @param[out] qn      Spectrum coefficients, [nmodes]
108*ba6664aeSJames Wright  */
109*ba6664aeSJames Wright void CEED_QFUNCTION_HELPER(CalcSpectrum)(const CeedScalar dw,
110*ba6664aeSJames Wright     const CeedScalar eps, const CeedScalar lt, const CeedScalar h[3],
111*ba6664aeSJames Wright     const CeedScalar nu, CeedScalar qn[], const STGShur14Context stg_ctx) {
112*ba6664aeSJames Wright 
113*ba6664aeSJames Wright   const CeedInt    nmodes = stg_ctx->nmodes;
114*ba6664aeSJames Wright   const CeedScalar *kappa = &stg_ctx->data[stg_ctx->offsets.kappa];
115*ba6664aeSJames Wright 
116*ba6664aeSJames Wright   const CeedScalar hmax = Max( Max(h[0], h[1]), h[2]);
117*ba6664aeSJames Wright   const CeedScalar ke   = 2*M_PI/Min(2*dw, 3*lt);
118*ba6664aeSJames Wright   const CeedScalar keta = 2*M_PI*pow(pow(nu,3.0)/eps, -0.25);
119*ba6664aeSJames Wright   const CeedScalar kcut =
120*ba6664aeSJames Wright     M_PI/ Min( Max(Max(h[1], h[2]), 0.3*hmax) + 0.1*dw, hmax );
121*ba6664aeSJames Wright   CeedScalar fcut, feta, Ektot=0.0;
122*ba6664aeSJames Wright 
123*ba6664aeSJames Wright   for(CeedInt n=0; n<nmodes; n++) {
124*ba6664aeSJames Wright     feta   = exp(-Square(12*kappa[n]/keta));
125*ba6664aeSJames Wright     fcut   = exp( -pow(4*Max(kappa[n] - 0.9*kcut, 0)/kcut, 3.) );
126*ba6664aeSJames Wright     qn[n]  = pow(kappa[n]/ke, 4.)
127*ba6664aeSJames Wright              * pow(1 + 2.4*Square(kappa[n]/ke),-17./6)*feta*fcut;
128*ba6664aeSJames Wright     qn[n] *= n==0 ? kappa[0] : kappa[n] - kappa[n-1];
129*ba6664aeSJames Wright     Ektot += qn[n];
130*ba6664aeSJames Wright   }
131*ba6664aeSJames Wright 
132*ba6664aeSJames Wright   for(CeedInt n=0; n<nmodes; n++) qn[n] /= Ektot;
133*ba6664aeSJames Wright }
134*ba6664aeSJames Wright 
135*ba6664aeSJames Wright /******************************************************
136*ba6664aeSJames Wright  * @brief Calculate u(x,t) for STG inflow condition
137*ba6664aeSJames Wright  *
138*ba6664aeSJames Wright  * @param[in]  X       Location to evaluate u(X,t)
139*ba6664aeSJames Wright  * @param[in]  t       Time to evaluate u(X,t)
140*ba6664aeSJames Wright  * @param[in]  ubar    Mean velocity at X
141*ba6664aeSJames Wright  * @param[in]  cij     Cholesky decomposition at X
142*ba6664aeSJames Wright  * @param[in]  qn      Wavemode amplitudes at X, [nmodes]
143*ba6664aeSJames Wright  * @param[out] u       Velocity at X and t
144*ba6664aeSJames Wright  * @param[in]  stg_ctx STGShur14Context for the problem
145*ba6664aeSJames Wright  */
146*ba6664aeSJames Wright void CEED_QFUNCTION_HELPER(STGShur14_Calc)(const CeedScalar X[3],
147*ba6664aeSJames Wright     const CeedScalar t, const CeedScalar ubar[3], const CeedScalar cij[6],
148*ba6664aeSJames Wright     const CeedScalar qn[], CeedScalar u[3],
149*ba6664aeSJames Wright     const STGShur14Context stg_ctx) {
150*ba6664aeSJames Wright 
151*ba6664aeSJames Wright   //*INDENT-OFF*
152*ba6664aeSJames Wright   const CeedInt    nmodes = stg_ctx->nmodes;
153*ba6664aeSJames Wright   const CeedScalar *kappa = &stg_ctx->data[stg_ctx->offsets.kappa];
154*ba6664aeSJames Wright   const CeedScalar *phi   = &stg_ctx->data[stg_ctx->offsets.phi];
155*ba6664aeSJames Wright   const CeedScalar *sigma = &stg_ctx->data[stg_ctx->offsets.sigma];
156*ba6664aeSJames Wright   const CeedScalar *d     = &stg_ctx->data[stg_ctx->offsets.d];
157*ba6664aeSJames Wright   //*INDENT-ON*
158*ba6664aeSJames Wright   const CeedScalar tworoot1p5 = 2*sqrt(1.5);
159*ba6664aeSJames Wright   CeedScalar xdotd, vp[3] = {0.};
160*ba6664aeSJames Wright   CeedScalar xhat[] = {0., X[1], X[2]};
161*ba6664aeSJames Wright 
162*ba6664aeSJames Wright   CeedPragmaSIMD
163*ba6664aeSJames Wright   for(CeedInt n=0; n<nmodes; n++) {
164*ba6664aeSJames Wright     xhat[0] = (X[0] - stg_ctx->u0*t)*Max(2*kappa[0]/kappa[n], 0.1);
165*ba6664aeSJames Wright     xdotd = 0.;
166*ba6664aeSJames Wright     for(CeedInt i=0; i<3; i++) xdotd += d[i*nmodes+n]*xhat[i];
167*ba6664aeSJames Wright     const CeedScalar cos_kxdp = cos(kappa[n]*xdotd + phi[n]);
168*ba6664aeSJames Wright     vp[0] += tworoot1p5*sqrt(qn[n])*sigma[0*nmodes+n] * cos_kxdp;
169*ba6664aeSJames Wright     vp[1] += tworoot1p5*sqrt(qn[n])*sigma[1*nmodes+n] * cos_kxdp;
170*ba6664aeSJames Wright     vp[2] += tworoot1p5*sqrt(qn[n])*sigma[2*nmodes+n] * cos_kxdp;
171*ba6664aeSJames Wright   }
172*ba6664aeSJames Wright 
173*ba6664aeSJames Wright   u[0] = ubar[0] + cij[0]*vp[0];
174*ba6664aeSJames Wright   u[1] = ubar[1] + cij[3]*vp[0] + cij[1]*vp[1];
175*ba6664aeSJames Wright   u[2] = ubar[2] + cij[4]*vp[0] + cij[5]*vp[1] + cij[2]*vp[2];
176*ba6664aeSJames Wright }
177*ba6664aeSJames Wright 
178*ba6664aeSJames Wright /********************************************************************
179*ba6664aeSJames Wright  * @brief QFunction to calculate the inflow boundary condition
180*ba6664aeSJames Wright  *
181*ba6664aeSJames Wright  * This will loop through quadrature points, calculate the wavemode amplitudes
182*ba6664aeSJames Wright  * at each location, then calculate the actual velocity.
183*ba6664aeSJames Wright  */
184*ba6664aeSJames Wright CEED_QFUNCTION(STGShur14_Inflow)(void *ctx, CeedInt Q,
185*ba6664aeSJames Wright                                  const CeedScalar *const *in,
186*ba6664aeSJames Wright                                  CeedScalar *const *out) {
187*ba6664aeSJames Wright 
188*ba6664aeSJames Wright   //*INDENT-OFF*
189*ba6664aeSJames Wright   const CeedScalar (*q)[CEED_Q_VLA]          = (const CeedScalar(*)[CEED_Q_VLA]) in[0],
190*ba6664aeSJames Wright                    (*q_data_sur)[CEED_Q_VLA] = (const CeedScalar(*)[CEED_Q_VLA]) in[1],
191*ba6664aeSJames Wright                    (*X)[CEED_Q_VLA]          = (const CeedScalar(*)[CEED_Q_VLA]) in[2];
192*ba6664aeSJames Wright 
193*ba6664aeSJames Wright    CeedScalar (*v)[CEED_Q_VLA] = (CeedScalar(*)[CEED_Q_VLA]) out[0];
194*ba6664aeSJames Wright 
195*ba6664aeSJames Wright   //*INDENT-ON*
196*ba6664aeSJames Wright 
197*ba6664aeSJames Wright   const STGShur14Context stg_ctx = (STGShur14Context) ctx;
198*ba6664aeSJames Wright   CeedScalar qn[STG_NMODES_MAX], u[3], ubar[3], cij[6], eps, lt;
199*ba6664aeSJames Wright   const bool is_implicit  = stg_ctx->is_implicit;
200*ba6664aeSJames Wright   const bool mean_only    = stg_ctx->mean_only;
201*ba6664aeSJames Wright   const bool prescribe_T  = stg_ctx->prescribe_T;
202*ba6664aeSJames Wright   const CeedScalar dx     = stg_ctx->dx;
203*ba6664aeSJames Wright   const CeedScalar mu     = stg_ctx->newtonian_ctx.mu;
204*ba6664aeSJames Wright   const CeedScalar time   = stg_ctx->time;
205*ba6664aeSJames Wright   const CeedScalar theta0 = stg_ctx->theta0;
206*ba6664aeSJames Wright   const CeedScalar P0     = stg_ctx->P0;
207*ba6664aeSJames Wright   const CeedScalar cv     = stg_ctx->newtonian_ctx.cv;
208*ba6664aeSJames Wright   const CeedScalar cp     = stg_ctx->newtonian_ctx.cp;
209*ba6664aeSJames Wright   const CeedScalar Rd     = cp - cv;
210*ba6664aeSJames Wright   const CeedScalar gamma  = cp/cv;
211*ba6664aeSJames Wright 
212*ba6664aeSJames Wright   CeedPragmaSIMD
213*ba6664aeSJames Wright   for(CeedInt i=0; i<Q; i++) {
214*ba6664aeSJames Wright     const CeedScalar rho = prescribe_T ? q[0][i] : P0 / (Rd * theta0);
215*ba6664aeSJames Wright     const CeedScalar x[] = { X[0][i], X[1][i], X[2][i] };
216*ba6664aeSJames Wright     const CeedScalar dXdx[2][3] = {
217*ba6664aeSJames Wright       {q_data_sur[4][i], q_data_sur[5][i], q_data_sur[6][i]},
218*ba6664aeSJames Wright       {q_data_sur[7][i], q_data_sur[8][i], q_data_sur[9][i]}
219*ba6664aeSJames Wright     };
220*ba6664aeSJames Wright 
221*ba6664aeSJames Wright     CeedScalar h[3];
222*ba6664aeSJames Wright     for (CeedInt j=0; j<3; j++)
223*ba6664aeSJames Wright       h[j] = 2/sqrt(dXdx[0][j]*dXdx[0][j] + dXdx[1][j]*dXdx[1][j]);
224*ba6664aeSJames Wright     h[0] = dx;
225*ba6664aeSJames Wright 
226*ba6664aeSJames Wright     InterpolateProfile(X[1][i], ubar, cij, &eps, &lt, stg_ctx);
227*ba6664aeSJames Wright     if (!mean_only) {
228*ba6664aeSJames Wright       CalcSpectrum(X[1][i], eps, lt, h, mu/rho, qn, stg_ctx);
229*ba6664aeSJames Wright       STGShur14_Calc(x, time, ubar, cij, qn, u, stg_ctx);
230*ba6664aeSJames Wright     } else {
231*ba6664aeSJames Wright       for (CeedInt j=0; j<3; j++) u[j] = ubar[j];
232*ba6664aeSJames Wright     }
233*ba6664aeSJames Wright 
234*ba6664aeSJames Wright     const CeedScalar E_kinetic = .5 * rho * (u[0]*u[0] +
235*ba6664aeSJames Wright                                  u[1]*u[1] +
236*ba6664aeSJames Wright                                  u[2]*u[2]);
237*ba6664aeSJames Wright     CeedScalar E_internal, P;
238*ba6664aeSJames Wright     if (prescribe_T) {
239*ba6664aeSJames Wright       // Temperature is being set weakly (theta0) and for constant cv this sets E_internal
240*ba6664aeSJames Wright       E_internal = rho * cv * theta0;
241*ba6664aeSJames Wright       // Find pressure using
242*ba6664aeSJames Wright       P = rho * Rd * theta0; // interior rho with exterior T
243*ba6664aeSJames Wright     } else {
244*ba6664aeSJames Wright       E_internal = q[4][i] - E_kinetic; // uses prescribed rho and u, E from solution
245*ba6664aeSJames Wright       P = E_internal * (gamma - 1.);
246*ba6664aeSJames Wright     }
247*ba6664aeSJames Wright 
248*ba6664aeSJames Wright     const CeedScalar wdetJb  = (is_implicit ? -1. : 1.) * q_data_sur[0][i];
249*ba6664aeSJames Wright     // ---- Normal vect
250*ba6664aeSJames Wright     const CeedScalar norm[3] = {q_data_sur[1][i],
251*ba6664aeSJames Wright                                 q_data_sur[2][i],
252*ba6664aeSJames Wright                                 q_data_sur[3][i]
253*ba6664aeSJames Wright                                };
254*ba6664aeSJames Wright 
255*ba6664aeSJames Wright     const CeedScalar E = E_internal + E_kinetic;
256*ba6664aeSJames Wright 
257*ba6664aeSJames Wright     // Velocity normal to the boundary
258*ba6664aeSJames Wright     const CeedScalar u_normal = norm[0]*u[0] +
259*ba6664aeSJames Wright                                 norm[1]*u[1] +
260*ba6664aeSJames Wright                                 norm[2]*u[2];
261*ba6664aeSJames Wright     // The Physics
262*ba6664aeSJames Wright     // Zero v so all future terms can safely sum into it
263*ba6664aeSJames Wright     for (CeedInt j=0; j<5; j++) v[j][i] = 0.;
264*ba6664aeSJames Wright 
265*ba6664aeSJames Wright     // The Physics
266*ba6664aeSJames Wright     // -- Density
267*ba6664aeSJames Wright     v[0][i] -= wdetJb * rho * u_normal;
268*ba6664aeSJames Wright 
269*ba6664aeSJames Wright     // -- Momentum
270*ba6664aeSJames Wright     for (CeedInt j=0; j<3; j++)
271*ba6664aeSJames Wright       v[j+1][i] -= wdetJb *(rho * u_normal * u[j] +
272*ba6664aeSJames Wright                             norm[j] * P);
273*ba6664aeSJames Wright 
274*ba6664aeSJames Wright     // -- Total Energy Density
275*ba6664aeSJames Wright     v[4][i] -= wdetJb * u_normal * (E + P);
276*ba6664aeSJames Wright   }
277*ba6664aeSJames Wright   return 0;
278*ba6664aeSJames Wright }
279*ba6664aeSJames Wright 
280*ba6664aeSJames Wright 
281*ba6664aeSJames Wright #endif // stg_shur14_h
282