xref: /honee/qfunctions/advection.h (revision 4c5ab12f9e3e2d4e0803a17c08b7be38a0969e4d)
1ae2b091fSJames Wright // SPDX-FileCopyrightText: Copyright (c) 2017-2024, HONEE contributors.
2ae2b091fSJames Wright // SPDX-License-Identifier: Apache-2.0 OR BSD-2-Clause
3a515125bSLeila Ghaffari 
4a515125bSLeila Ghaffari /// @file
5a515125bSLeila Ghaffari /// Advection initial condition and operator for Navier-Stokes example using PETSc
6493642f1SJames Wright #include <ceed.h>
7d0cce58aSJeremy L Thompson #include <math.h>
8a515125bSLeila Ghaffari 
9e88b842aSJames Wright #include "advection_types.h"
10ce192147SJames Wright #include "newtonian_state.h"
11ce192147SJames Wright #include "newtonian_types.h"
12e88b842aSJames Wright #include "stabilization_types.h"
131a74fa30SJames Wright #include "utils.h"
141a74fa30SJames Wright 
15a515125bSLeila Ghaffari // *****************************************************************************
169529d636SJames Wright // This QFunction sets the initial conditions and the boundary conditions
179529d636SJames Wright //   for two test cases: ROTATION and TRANSLATION
189529d636SJames Wright //
199529d636SJames Wright // -- ROTATION (default)
209529d636SJames Wright //      Initial Conditions:
219529d636SJames Wright //        Mass Density:
229529d636SJames Wright //          Constant mass density of 1.0
239529d636SJames Wright //        Momentum Density:
249529d636SJames Wright //          Rotational field in x,y
259529d636SJames Wright //        Energy Density:
269529d636SJames Wright //          Maximum of 1. x0 decreasing linearly to 0. as radial distance
279529d636SJames Wright //            increases to (1.-r/rc), then 0. everywhere else
289529d636SJames Wright //
299529d636SJames Wright //      Boundary Conditions:
309529d636SJames Wright //        Mass Density:
319529d636SJames Wright //          0.0 flux
329529d636SJames Wright //        Momentum Density:
339529d636SJames Wright //          0.0
349529d636SJames Wright //        Energy Density:
359529d636SJames Wright //          0.0 flux
369529d636SJames Wright //
379529d636SJames Wright // -- TRANSLATION
389529d636SJames Wright //      Initial Conditions:
399529d636SJames Wright //        Mass Density:
409529d636SJames Wright //          Constant mass density of 1.0
419529d636SJames Wright //        Momentum Density:
429529d636SJames Wright //           Constant rectilinear field in x,y
439529d636SJames Wright //        Energy Density:
449529d636SJames Wright //          Maximum of 1. x0 decreasing linearly to 0. as radial distance
459529d636SJames Wright //            increases to (1.-r/rc), then 0. everywhere else
469529d636SJames Wright //
479529d636SJames Wright //      Boundary Conditions:
489529d636SJames Wright //        Mass Density:
499529d636SJames Wright //          0.0 flux
509529d636SJames Wright //        Momentum Density:
519529d636SJames Wright //          0.0
529529d636SJames Wright //        Energy Density:
539529d636SJames Wright //          Inflow BCs:
549529d636SJames Wright //            E = E_wind
559529d636SJames Wright //          Outflow BCs:
569529d636SJames Wright //            E = E(boundary)
579529d636SJames Wright //          Both In/Outflow BCs for E are applied weakly in the
589529d636SJames Wright //            QFunction "Advection2d_Sur"
599529d636SJames Wright //
609529d636SJames Wright // *****************************************************************************
619529d636SJames Wright 
629529d636SJames Wright // *****************************************************************************
639529d636SJames Wright // This helper function provides the exact, time-dependent solution and IC formulation for 2D advection
649529d636SJames Wright // *****************************************************************************
659529d636SJames Wright CEED_QFUNCTION_HELPER CeedInt Exact_AdvectionGeneric(CeedInt dim, CeedScalar time, const CeedScalar X[], CeedInt Nf, CeedScalar q[], void *ctx) {
669529d636SJames Wright   const SetupContextAdv context = (SetupContextAdv)ctx;
679529d636SJames Wright   const CeedScalar      rc      = context->rc;
689529d636SJames Wright   const CeedScalar      lx      = context->lx;
699529d636SJames Wright   const CeedScalar      ly      = context->ly;
709529d636SJames Wright   const CeedScalar      lz      = dim == 2 ? 0. : context->lz;
719529d636SJames Wright   const CeedScalar     *wind    = context->wind;
729529d636SJames Wright 
739529d636SJames Wright   const CeedScalar center[3] = {0.5 * lx, 0.5 * ly, 0.5 * lz};
749529d636SJames Wright   const CeedScalar theta     = dim == 2 ? M_PI / 3 : M_PI;
759529d636SJames Wright   const CeedScalar x0[3]     = {center[0] + .25 * lx * cos(theta + time), center[1] + .25 * ly * sin(theta + time), 0.5 * lz};
769529d636SJames Wright 
779529d636SJames Wright   const CeedScalar x = X[0], y = X[1], z = dim == 2 ? 0. : X[2];
789529d636SJames Wright 
799529d636SJames Wright   switch (context->wind_type) {
805f636aeaSJames Wright     case ADVDIF_WIND_ROTATION:
819529d636SJames Wright       q[0] = 1.;
829529d636SJames Wright       q[1] = -(y - center[1]);
839529d636SJames Wright       q[2] = (x - center[0]);
849529d636SJames Wright       q[3] = 0;
859529d636SJames Wright       break;
865f636aeaSJames Wright     case ADVDIF_WIND_TRANSLATION:
879529d636SJames Wright       q[0] = 1.;
889529d636SJames Wright       q[1] = wind[0];
899529d636SJames Wright       q[2] = wind[1];
909529d636SJames Wright       q[3] = dim == 2 ? 0. : wind[2];
919529d636SJames Wright       break;
929529d636SJames Wright     default:
939529d636SJames Wright       return 1;
949529d636SJames Wright   }
959529d636SJames Wright 
969529d636SJames Wright   switch (context->initial_condition_type) {
975f636aeaSJames Wright     case ADVDIF_IC_BUBBLE_SPHERE:
985f636aeaSJames Wright     case ADVDIF_IC_BUBBLE_CYLINDER: {
99a62be6baSJames Wright       CeedScalar r = sqrt(Square(x - x0[0]) + Square(y - x0[1]) + Square(z - x0[2]));
100a62be6baSJames Wright 
1019529d636SJames Wright       switch (context->bubble_continuity_type) {
1029529d636SJames Wright         // original continuous, smooth shape
1035f636aeaSJames Wright         case ADVDIF_BUBBLE_CONTINUITY_SMOOTH:
1049529d636SJames Wright           q[4] = r <= rc ? (1. - r / rc) : 0.;
1059529d636SJames Wright           break;
1069529d636SJames Wright         // discontinuous, sharp back half shape
1075f636aeaSJames Wright         case ADVDIF_BUBBLE_CONTINUITY_BACK_SHARP:
1089529d636SJames Wright           q[4] = ((r <= rc) && (y < center[1])) ? (1. - r / rc) : 0.;
1099529d636SJames Wright           break;
1109529d636SJames Wright         // attempt to define a finite thickness that will get resolved under grid refinement
1115f636aeaSJames Wright         case ADVDIF_BUBBLE_CONTINUITY_THICK:
1129529d636SJames Wright           q[4] = ((r <= rc) && (y < center[1])) ? (1. - r / rc) * fmin(1.0, (center[1] - y) / 1.25) : 0.;
1139529d636SJames Wright           break;
1145f636aeaSJames Wright         case ADVDIF_BUBBLE_CONTINUITY_COSINE:
1159529d636SJames Wright           q[4] = r <= rc ? .5 + .5 * cos(r * M_PI / rc) : 0;
1169529d636SJames Wright           break;
1179529d636SJames Wright       }
1189529d636SJames Wright       break;
119a62be6baSJames Wright     }
120a62be6baSJames Wright 
1215f636aeaSJames Wright     case ADVDIF_IC_COSINE_HILL: {
122a62be6baSJames Wright       CeedScalar r          = sqrt(Square(x - center[0]) + Square(y - center[1]));
1239529d636SJames Wright       CeedScalar half_width = context->lx / 2;
1249529d636SJames Wright       q[4]                  = r > half_width ? 0. : cos(2 * M_PI * r / half_width + M_PI) + 1.;
1259529d636SJames Wright     } break;
126a62be6baSJames Wright 
1275f636aeaSJames Wright     case ADVDIF_IC_SKEW: {
1289529d636SJames Wright       CeedScalar       skewed_barrier[3]  = {wind[0], wind[1], 0};
1299529d636SJames Wright       CeedScalar       inflow_to_point[3] = {x - context->lx / 2, y, 0};
1309529d636SJames Wright       CeedScalar       cross_product[3]   = {0};
1319529d636SJames Wright       const CeedScalar boundary_threshold = 20 * CEED_EPSILON;
1329529d636SJames Wright       Cross3(skewed_barrier, inflow_to_point, cross_product);
1339529d636SJames Wright 
1349529d636SJames Wright       q[4] = cross_product[2] > boundary_threshold ? 0 : 1;
1359529d636SJames Wright       if ((x < boundary_threshold && wind[0] < boundary_threshold) ||                // outflow at -x boundary
1369529d636SJames Wright           (y < boundary_threshold && wind[1] < boundary_threshold) ||                // outflow at -y boundary
1379529d636SJames Wright           (x > context->lx - boundary_threshold && wind[0] > boundary_threshold) ||  // outflow at +x boundary
1389529d636SJames Wright           (y > context->ly - boundary_threshold && wind[1] > boundary_threshold)     // outflow at +y boundary
1399529d636SJames Wright       ) {
1409529d636SJames Wright         q[4] = 0;
1419529d636SJames Wright       }
1429529d636SJames Wright     } break;
143a62be6baSJames Wright 
1445f636aeaSJames Wright     case ADVDIF_IC_WAVE: {
145a62be6baSJames Wright       CeedScalar theta = context->wave_frequency * DotN(X, wind, dim) + context->wave_phase;
146a62be6baSJames Wright       switch (context->wave_type) {
147a62be6baSJames Wright         case ADVDIF_WAVE_SINE:
148a62be6baSJames Wright           q[4] = sin(theta);
149a62be6baSJames Wright           break;
150a62be6baSJames Wright         case ADVDIF_WAVE_SQUARE:
151a62be6baSJames Wright           q[4] = sin(theta) > 100 * CEED_EPSILON ? 1 : -1;
152a62be6baSJames Wright           break;
153a62be6baSJames Wright       }
154a62be6baSJames Wright     }
1559529d636SJames Wright   }
1569529d636SJames Wright   return 0;
1579529d636SJames Wright }
1589529d636SJames Wright 
1599529d636SJames Wright // *****************************************************************************
160a515125bSLeila Ghaffari // This QFunction sets the initial conditions for 3D advection
161a515125bSLeila Ghaffari // *****************************************************************************
1622b916ea7SJeremy L Thompson CEED_QFUNCTION(ICsAdvection)(void *ctx, CeedInt Q, const CeedScalar *const *in, CeedScalar *const *out) {
163a515125bSLeila Ghaffari   const CeedScalar(*X)[CEED_Q_VLA] = (const CeedScalar(*)[CEED_Q_VLA])in[0];
164a515125bSLeila Ghaffari   CeedScalar(*q0)[CEED_Q_VLA]      = (CeedScalar(*)[CEED_Q_VLA])out[0];
165a515125bSLeila Ghaffari 
1663d65b166SJames Wright   CeedPragmaSIMD for (CeedInt i = 0; i < Q; i++) {
167a515125bSLeila Ghaffari     const CeedScalar x[]  = {X[0][i], X[1][i], X[2][i]};
168139613f2SLeila Ghaffari     CeedScalar       q[5] = {0.};
169a515125bSLeila Ghaffari 
1700b3a1fabSJames Wright     Exact_AdvectionGeneric(3, 0., x, 5, q, ctx);
171a515125bSLeila Ghaffari     for (CeedInt j = 0; j < 5; j++) q0[j][i] = q[j];
1720b3a1fabSJames Wright   }
173a515125bSLeila Ghaffari   return 0;
174a515125bSLeila Ghaffari }
175a515125bSLeila Ghaffari 
176a515125bSLeila Ghaffari // *****************************************************************************
1779529d636SJames Wright // This QFunction sets the initial conditions for 2D advection
178a515125bSLeila Ghaffari // *****************************************************************************
1799529d636SJames Wright CEED_QFUNCTION(ICsAdvection2d)(void *ctx, CeedInt Q, const CeedScalar *const *in, CeedScalar *const *out) {
1809529d636SJames Wright   const CeedScalar(*X)[CEED_Q_VLA] = (const CeedScalar(*)[CEED_Q_VLA])in[0];
1819529d636SJames Wright   CeedScalar(*q0)[CEED_Q_VLA]      = (CeedScalar(*)[CEED_Q_VLA])out[0];
1829529d636SJames Wright   const SetupContextAdv context    = (SetupContextAdv)ctx;
1839529d636SJames Wright 
1849529d636SJames Wright   CeedPragmaSIMD for (CeedInt i = 0; i < Q; i++) {
1859529d636SJames Wright     const CeedScalar x[]  = {X[0][i], X[1][i]};
1869529d636SJames Wright     CeedScalar       q[5] = {0.};
1879529d636SJames Wright 
1889529d636SJames Wright     Exact_AdvectionGeneric(2, context->time, x, 5, q, ctx);
1899529d636SJames Wright     for (CeedInt j = 0; j < 5; j++) q0[j][i] = q[j];
1909529d636SJames Wright   }
191a515125bSLeila Ghaffari   return 0;
192a515125bSLeila Ghaffari }
193a515125bSLeila Ghaffari 
1949529d636SJames Wright CEED_QFUNCTION_HELPER void StatePhysicalGradientFromReference_ND(CeedInt N, CeedInt Q, CeedInt i, NewtonianIdealGasContext gas, State s,
1959529d636SJames Wright                                                                  StateVariable state_var, const CeedScalar *grad_q, const CeedScalar *dXdx,
1969529d636SJames Wright                                                                  State *grad_s) {
1979529d636SJames Wright   switch (N) {
1989529d636SJames Wright     case 2: {
1999529d636SJames Wright       for (CeedInt k = 0; k < 2; k++) {
2009529d636SJames Wright         CeedScalar dqi[5];
2019529d636SJames Wright         for (CeedInt j = 0; j < 5; j++) {
2029529d636SJames Wright           dqi[j] = grad_q[(Q * 5) * 0 + Q * j + i] * dXdx[0 * N + k] + grad_q[(Q * 5) * 1 + Q * j + i] * dXdx[1 * N + k];
2039529d636SJames Wright         }
2049529d636SJames Wright         grad_s[k] = StateFromQ_fwd(gas, s, dqi, state_var);
2059529d636SJames Wright       }
2069529d636SJames Wright       CeedScalar U[5] = {0.};
2079529d636SJames Wright       grad_s[2]       = StateFromU(gas, U);
2089529d636SJames Wright     } break;
2099529d636SJames Wright     case 3:
21085efd435SJames Wright       // Cannot directly use StatePhysicalGradientFromReference helper functions due to SYCL online compiler incompatabilities
21185efd435SJames Wright       for (CeedInt k = 0; k < 3; k++) {
21285efd435SJames Wright         CeedScalar dqi[5];
21385efd435SJames Wright         for (CeedInt j = 0; j < 5; j++) {
21485efd435SJames Wright           dqi[j] = grad_q[(Q * 5) * 0 + Q * j + i] * dXdx[0 * N + k] + grad_q[(Q * 5) * 1 + Q * j + i] * dXdx[1 * N + k] +
21585efd435SJames Wright                    grad_q[(Q * 5) * 2 + Q * j + i] * dXdx[2 * N + k];
21685efd435SJames Wright         }
21785efd435SJames Wright         grad_s[k] = StateFromQ_fwd(gas, s, dqi, state_var);
21885efd435SJames Wright       }
2199529d636SJames Wright       break;
2209529d636SJames Wright   }
2219529d636SJames Wright }
2229529d636SJames Wright 
223a78efa86SJames Wright // @brief Calculate the stabilization constant \tau
224a78efa86SJames Wright CEED_QFUNCTION_HELPER CeedScalar Tau(AdvectionContext context, const State s, const CeedScalar *dXdx, CeedInt dim) {
225a78efa86SJames Wright   switch (context->stabilization_tau) {
226a78efa86SJames Wright     case STAB_TAU_CTAU: {
227a78efa86SJames Wright       CeedScalar uX[3] = {0.};
228a78efa86SJames Wright 
229a78efa86SJames Wright       MatVecNM(dXdx, s.Y.velocity, dim, dim, CEED_NOTRANSPOSE, uX);
230a78efa86SJames Wright       return context->CtauS / sqrt(DotN(uX, uX, dim));
231a78efa86SJames Wright     } break;
232a78efa86SJames Wright     case STAB_TAU_ADVDIFF_SHAKIB: {
233a78efa86SJames Wright       CeedScalar gijd_mat[9] = {0.}, gij_uj[3] = {0.};
234a78efa86SJames Wright 
235a78efa86SJames Wright       MatMatN(dXdx, dXdx, dim, CEED_TRANSPOSE, CEED_NOTRANSPOSE, gijd_mat);
236a78efa86SJames Wright       MatVecNM(gijd_mat, s.Y.velocity, dim, dim, CEED_NOTRANSPOSE, gij_uj);
237fbabb365SJames Wright       return 1 / sqrt(Square(2 * context->Ctau_t / context->dt) + DotN(s.Y.velocity, gij_uj, dim) * context->Ctau_a +
238fbabb365SJames Wright                       Square(context->diffusion_coeff) * DotN(gijd_mat, gijd_mat, dim * dim) * context->Ctau_d);
239a78efa86SJames Wright     } break;
240a78efa86SJames Wright     default:
241a78efa86SJames Wright       return 0.;
242a78efa86SJames Wright   }
243a78efa86SJames Wright }
244a78efa86SJames Wright 
2459529d636SJames Wright // *****************************************************************************
2469529d636SJames Wright // This QFunction implements Advection for implicit time stepping method
2479529d636SJames Wright // *****************************************************************************
2489529d636SJames Wright CEED_QFUNCTION_HELPER void IFunction_AdvectionGeneric(void *ctx, CeedInt Q, const CeedScalar *const *in, CeedScalar *const *out, CeedInt dim) {
249*4c5ab12fSJames Wright   AdvectionContext context = (AdvectionContext)ctx;
250*4c5ab12fSJames Wright 
2519529d636SJames Wright   const CeedScalar(*q)[CEED_Q_VLA]     = (const CeedScalar(*)[CEED_Q_VLA])in[0];
2529529d636SJames Wright   const CeedScalar(*grad_q)            = in[1];
2539529d636SJames Wright   const CeedScalar(*q_dot)[CEED_Q_VLA] = (const CeedScalar(*)[CEED_Q_VLA])in[2];
2549529d636SJames Wright   const CeedScalar(*q_data)            = in[3];
255*4c5ab12fSJames Wright   const CeedScalar(*divFdiff)          = context->divFdiff_method != DIV_DIFF_FLUX_PROJ_NONE ? in[5] : NULL;
2569529d636SJames Wright 
2579529d636SJames Wright   CeedScalar(*v)[CEED_Q_VLA]         = (CeedScalar(*)[CEED_Q_VLA])out[0];
2589529d636SJames Wright   CeedScalar(*grad_v)[5][CEED_Q_VLA] = (CeedScalar(*)[5][CEED_Q_VLA])out[1];
2599529d636SJames Wright 
2609529d636SJames Wright   NewtonianIdealGasContext         gas;
2619529d636SJames Wright   struct NewtonianIdealGasContext_ gas_struct = {0};
2629529d636SJames Wright   gas                                         = &gas_struct;
2639529d636SJames Wright 
2649529d636SJames Wright   CeedPragmaSIMD for (CeedInt i = 0; i < Q; i++) {
2659529d636SJames Wright     const CeedScalar qi[5] = {q[0][i], q[1][i], q[2][i], q[3][i], q[4][i]};
2669529d636SJames Wright     const State      s     = StateFromU(gas, qi);
2679529d636SJames Wright 
2689529d636SJames Wright     CeedScalar wdetJ, dXdx[9];
2699529d636SJames Wright     QdataUnpack_ND(dim, Q, i, q_data, &wdetJ, dXdx);
2709529d636SJames Wright     State grad_s[3];
2719529d636SJames Wright     StatePhysicalGradientFromReference_ND(dim, Q, i, gas, s, STATEVAR_CONSERVATIVE, grad_q, dXdx, grad_s);
2729529d636SJames Wright 
2739529d636SJames Wright     const CeedScalar Grad_E[3] = {grad_s[0].U.E_total, grad_s[1].U.E_total, grad_s[2].U.E_total};
2749529d636SJames Wright 
2759529d636SJames Wright     for (CeedInt f = 0; f < 4; f++) {
2769529d636SJames Wright       for (CeedInt j = 0; j < dim; j++) grad_v[j][f][i] = 0;  // No Change in density or momentum
2779529d636SJames Wright       v[f][i] = wdetJ * q_dot[f][i];                          // K Mass/transient term
2789529d636SJames Wright     }
2799529d636SJames Wright 
2809529d636SJames Wright     CeedScalar div_u = 0;
2819529d636SJames Wright     for (CeedInt j = 0; j < dim; j++) {
2829529d636SJames Wright       for (CeedInt k = 0; k < dim; k++) {
2839529d636SJames Wright         div_u += grad_s[k].Y.velocity[j];
2849529d636SJames Wright       }
2859529d636SJames Wright     }
2869529d636SJames Wright     CeedScalar uX[3] = {0.};
2879529d636SJames Wright     MatVecNM(dXdx, s.Y.velocity, dim, dim, CEED_NOTRANSPOSE, uX);
288*4c5ab12fSJames Wright     CeedScalar strong_conv = s.U.E_total * div_u + DotN(s.Y.velocity, Grad_E, dim);
2899529d636SJames Wright 
290*4c5ab12fSJames Wright     v[4][i] = wdetJ * q_dot[4][i];  // transient part (ALWAYS)
2919529d636SJames Wright     if (context->strong_form) {  // Strong Galerkin convection term: v div(E u)
2929529d636SJames Wright       v[4][i] += wdetJ * strong_conv;
2939529d636SJames Wright     } else {  // Weak Galerkin convection term: -dv \cdot (E u)
2949529d636SJames Wright       for (CeedInt j = 0; j < dim; j++) grad_v[j][4][i] = -wdetJ * s.U.E_total * uX[j];
2959529d636SJames Wright     }
2969529d636SJames Wright 
297c8d249deSJames Wright     {  // Diffusion
298c8d249deSJames Wright       CeedScalar Fe[3], Fe_dXdx[3] = {0.};
299c8d249deSJames Wright 
300c8d249deSJames Wright       for (CeedInt i = 0; i < dim; i++) Fe[i] = -context->diffusion_coeff * grad_s[i].U.E_total;
301c8d249deSJames Wright       MatVecNM(dXdx, Fe, dim, dim, CEED_NOTRANSPOSE, Fe_dXdx);
302c8d249deSJames Wright       for (CeedInt k = 0; k < dim; k++) grad_v[k][4][i] -= wdetJ * Fe_dXdx[k];
303c8d249deSJames Wright     }
304c8d249deSJames Wright 
305a78efa86SJames Wright     const CeedScalar TauS = Tau(context, s, dXdx, dim);
306*4c5ab12fSJames Wright     for (CeedInt j = 0; j < dim; j++) {
307*4c5ab12fSJames Wright       switch (context->stabilization) {
3089529d636SJames Wright         case STAB_NONE:
3099529d636SJames Wright           break;
3109529d636SJames Wright         case STAB_SU:
311*4c5ab12fSJames Wright           grad_v[j][4][i] += wdetJ * TauS * uX[j] * strong_conv;
3129529d636SJames Wright           break;
313*4c5ab12fSJames Wright         case STAB_SUPG: {
314*4c5ab12fSJames Wright           CeedScalar divFdiff_i = context->divFdiff_method != DIV_DIFF_FLUX_PROJ_NONE ? divFdiff[i] : 0.;
315*4c5ab12fSJames Wright           grad_v[j][4][i] += wdetJ * TauS * uX[j] * (q_dot[4][i] + strong_conv + divFdiff_i);
316*4c5ab12fSJames Wright         } break;
317*4c5ab12fSJames Wright       }
3189529d636SJames Wright     }
3199529d636SJames Wright   }
3209529d636SJames Wright }
3219529d636SJames Wright 
3222b916ea7SJeremy L Thompson CEED_QFUNCTION(IFunction_Advection)(void *ctx, CeedInt Q, const CeedScalar *const *in, CeedScalar *const *out) {
323bd4b5413SJames Wright   IFunction_AdvectionGeneric(ctx, Q, in, out, 3);
324a515125bSLeila Ghaffari   return 0;
325a515125bSLeila Ghaffari }
326a515125bSLeila Ghaffari 
3279529d636SJames Wright CEED_QFUNCTION(IFunction_Advection2d)(void *ctx, CeedInt Q, const CeedScalar *const *in, CeedScalar *const *out) {
3289529d636SJames Wright   IFunction_AdvectionGeneric(ctx, Q, in, out, 2);
3299529d636SJames Wright   return 0;
3309529d636SJames Wright }
3319529d636SJames Wright 
332a78efa86SJames Wright CEED_QFUNCTION_HELPER void MassFunction_AdvectionGeneric(void *ctx, CeedInt Q, const CeedScalar *const *in, CeedScalar *const *out, CeedInt dim) {
333a78efa86SJames Wright   const CeedScalar(*q_dot)[CEED_Q_VLA] = (const CeedScalar(*)[CEED_Q_VLA])in[0];
334a78efa86SJames Wright   const CeedScalar(*q)[CEED_Q_VLA]     = (const CeedScalar(*)[CEED_Q_VLA])in[1];
335a78efa86SJames Wright   const CeedScalar(*q_data)            = in[2];
336a78efa86SJames Wright 
337a78efa86SJames Wright   CeedScalar(*v)[CEED_Q_VLA]         = (CeedScalar(*)[CEED_Q_VLA])out[0];
338a78efa86SJames Wright   CeedScalar(*grad_v)[5][CEED_Q_VLA] = (CeedScalar(*)[5][CEED_Q_VLA])out[1];
339a78efa86SJames Wright 
340a78efa86SJames Wright   AdvectionContext                 context    = (AdvectionContext)ctx;
341a78efa86SJames Wright   struct NewtonianIdealGasContext_ gas_struct = {0};
342a78efa86SJames Wright   NewtonianIdealGasContext         gas        = &gas_struct;
343a78efa86SJames Wright 
344a78efa86SJames Wright   CeedPragmaSIMD for (CeedInt i = 0; i < Q; i++) {
345a78efa86SJames Wright     const CeedScalar qi[5] = {q[0][i], q[1][i], q[2][i], q[3][i], q[4][i]};
346a78efa86SJames Wright     const State      s     = StateFromU(gas, qi);
347a78efa86SJames Wright     CeedScalar       wdetJ, dXdx[9];
348a78efa86SJames Wright     QdataUnpack_ND(dim, Q, i, q_data, &wdetJ, dXdx);
349a78efa86SJames Wright 
350a78efa86SJames Wright     for (CeedInt f = 0; f < 4; f++) {
351a78efa86SJames Wright       for (CeedInt j = 0; j < dim; j++) grad_v[j][f][i] = 0;  // No Change in density or momentum
352a78efa86SJames Wright       v[f][i] = wdetJ * q_dot[f][i];                          // K Mass/transient term
353a78efa86SJames Wright     }
354a78efa86SJames Wright 
355a78efa86SJames Wright     // Unstabilized mass term
356a78efa86SJames Wright     v[4][i] = wdetJ * q_dot[4][i];
357a78efa86SJames Wright 
358a78efa86SJames Wright     // Stabilized mass term
359a78efa86SJames Wright     CeedScalar uX[3] = {0.};
360a78efa86SJames Wright     MatVecNM(dXdx, s.Y.velocity, dim, dim, CEED_NOTRANSPOSE, uX);
361a78efa86SJames Wright     const CeedScalar TauS = Tau(context, s, dXdx, dim);
362a78efa86SJames Wright     for (CeedInt j = 0; j < dim; j++) switch (context->stabilization) {
363a78efa86SJames Wright         case STAB_NONE:
364a78efa86SJames Wright         case STAB_SU:
365a78efa86SJames Wright           grad_v[j][4][i] = 0;
366a78efa86SJames Wright           break;  // These should be run with the unstabilized mass matrix anyways
367a78efa86SJames Wright         case STAB_SUPG:
368a78efa86SJames Wright           grad_v[j][4][i] = wdetJ * TauS * q_dot[4][i] * uX[j];
369a78efa86SJames Wright           break;
370a78efa86SJames Wright       }
371a78efa86SJames Wright   }
372a78efa86SJames Wright }
373a78efa86SJames Wright 
374a78efa86SJames Wright CEED_QFUNCTION(MassFunction_Advection)(void *ctx, CeedInt Q, const CeedScalar *const *in, CeedScalar *const *out) {
375a78efa86SJames Wright   MassFunction_AdvectionGeneric(ctx, Q, in, out, 3);
376a78efa86SJames Wright   return 0;
377a78efa86SJames Wright }
378a78efa86SJames Wright 
379a78efa86SJames Wright CEED_QFUNCTION(MassFunction_Advection2D)(void *ctx, CeedInt Q, const CeedScalar *const *in, CeedScalar *const *out) {
380a78efa86SJames Wright   MassFunction_AdvectionGeneric(ctx, Q, in, out, 2);
381a78efa86SJames Wright   return 0;
382a78efa86SJames Wright }
383a78efa86SJames Wright 
3849529d636SJames Wright // *****************************************************************************
3859529d636SJames Wright // This QFunction implements Advection for explicit time stepping method
3869529d636SJames Wright // *****************************************************************************
3879529d636SJames Wright CEED_QFUNCTION_HELPER void RHSFunction_AdvectionGeneric(void *ctx, CeedInt Q, const CeedScalar *const *in, CeedScalar *const *out, CeedInt dim) {
3889529d636SJames Wright   const CeedScalar(*q)[CEED_Q_VLA] = (const CeedScalar(*)[CEED_Q_VLA])in[0];
3899529d636SJames Wright   const CeedScalar(*grad_q)        = in[1];
3909529d636SJames Wright   const CeedScalar(*q_data)        = in[2];
3919529d636SJames Wright 
3929529d636SJames Wright   CeedScalar(*v)[CEED_Q_VLA]         = (CeedScalar(*)[CEED_Q_VLA])out[0];
3939529d636SJames Wright   CeedScalar(*grad_v)[5][CEED_Q_VLA] = (CeedScalar(*)[5][CEED_Q_VLA])out[1];
3949529d636SJames Wright 
3959529d636SJames Wright   AdvectionContext                 context    = (AdvectionContext)ctx;
3969529d636SJames Wright   struct NewtonianIdealGasContext_ gas_struct = {0};
397a78efa86SJames Wright   NewtonianIdealGasContext         gas        = &gas_struct;
3989529d636SJames Wright 
3999529d636SJames Wright   CeedPragmaSIMD for (CeedInt i = 0; i < Q; i++) {
4009529d636SJames Wright     const CeedScalar qi[5] = {q[0][i], q[1][i], q[2][i], q[3][i], q[4][i]};
4019529d636SJames Wright     const State      s     = StateFromU(gas, qi);
4029529d636SJames Wright 
4039529d636SJames Wright     CeedScalar wdetJ, dXdx[9];
4049529d636SJames Wright     QdataUnpack_ND(dim, Q, i, q_data, &wdetJ, dXdx);
4059529d636SJames Wright     State grad_s[3];
4069529d636SJames Wright     StatePhysicalGradientFromReference_ND(dim, Q, i, gas, s, STATEVAR_CONSERVATIVE, grad_q, dXdx, grad_s);
4079529d636SJames Wright 
4089529d636SJames Wright     const CeedScalar Grad_E[3] = {grad_s[0].U.E_total, grad_s[1].U.E_total, grad_s[2].U.E_total};
4099529d636SJames Wright 
4109529d636SJames Wright     for (CeedInt f = 0; f < 4; f++) {
4119529d636SJames Wright       for (CeedInt j = 0; j < dim; j++) grad_v[j][f][i] = 0;  // No Change in density or momentum
4129529d636SJames Wright       v[f][i] = 0.;
4139529d636SJames Wright     }
4149529d636SJames Wright 
4159529d636SJames Wright     CeedScalar div_u = 0;
4169529d636SJames Wright     for (CeedInt j = 0; j < dim; j++) {
4179529d636SJames Wright       for (CeedInt k = 0; k < dim; k++) {
4189529d636SJames Wright         div_u += grad_s[k].Y.velocity[j];
4199529d636SJames Wright       }
4209529d636SJames Wright     }
4219529d636SJames Wright     CeedScalar strong_conv = s.U.E_total * div_u + DotN(s.Y.velocity, Grad_E, dim);
4229529d636SJames Wright 
4239529d636SJames Wright     CeedScalar uX[3] = {0.};
4249529d636SJames Wright     MatVecNM(dXdx, s.Y.velocity, dim, dim, CEED_NOTRANSPOSE, uX);
4259529d636SJames Wright 
4269529d636SJames Wright     if (context->strong_form) {  // Strong Galerkin convection term: v div(E u)
4279529d636SJames Wright       v[4][i] = -wdetJ * strong_conv;
4289529d636SJames Wright       for (CeedInt j = 0; j < dim; j++) grad_v[j][4][i] = 0;
4299529d636SJames Wright     } else {  // Weak Galerkin convection term: -dv \cdot (E u)
4309529d636SJames Wright       for (CeedInt j = 0; j < dim; j++) grad_v[j][4][i] = wdetJ * s.U.E_total * uX[j];
4319529d636SJames Wright       v[4][i] = 0.;
4329529d636SJames Wright     }
4339529d636SJames Wright 
434c8d249deSJames Wright     {  // Diffusion
435c8d249deSJames Wright       CeedScalar Fe[3], Fe_dXdx[3] = {0.};
436c8d249deSJames Wright 
437c8d249deSJames Wright       for (CeedInt i = 0; i < dim; i++) Fe[i] = -context->diffusion_coeff * grad_s[i].U.E_total;
438c8d249deSJames Wright       MatVecNM(dXdx, Fe, dim, dim, CEED_NOTRANSPOSE, Fe_dXdx);
439c8d249deSJames Wright       for (CeedInt k = 0; k < dim; k++) grad_v[k][4][i] += wdetJ * Fe_dXdx[k];
440c8d249deSJames Wright     }
441c8d249deSJames Wright 
442a78efa86SJames Wright     const CeedScalar TauS = Tau(context, s, dXdx, dim);
4439529d636SJames Wright     for (CeedInt j = 0; j < dim; j++) switch (context->stabilization) {
4449529d636SJames Wright         case STAB_NONE:
4459529d636SJames Wright           break;
4469529d636SJames Wright         case STAB_SU:
4479529d636SJames Wright         case STAB_SUPG:
4489d860eefSJames Wright           grad_v[j][4][i] -= wdetJ * TauS * strong_conv * uX[j];
4499529d636SJames Wright           break;
4509529d636SJames Wright       }
4519529d636SJames Wright   }
4529529d636SJames Wright }
4539529d636SJames Wright 
4549529d636SJames Wright CEED_QFUNCTION(RHS_Advection)(void *ctx, CeedInt Q, const CeedScalar *const *in, CeedScalar *const *out) {
4559529d636SJames Wright   RHSFunction_AdvectionGeneric(ctx, Q, in, out, 3);
4569529d636SJames Wright   return 0;
4579529d636SJames Wright }
4589529d636SJames Wright 
4599529d636SJames Wright CEED_QFUNCTION(RHS_Advection2d)(void *ctx, CeedInt Q, const CeedScalar *const *in, CeedScalar *const *out) {
4609529d636SJames Wright   RHSFunction_AdvectionGeneric(ctx, Q, in, out, 2);
4619529d636SJames Wright   return 0;
4629529d636SJames Wright }
4639529d636SJames Wright 
4649529d636SJames Wright // *****************************************************************************
4659529d636SJames Wright // This QFunction implements consistent outflow and inflow BCs
4669529d636SJames Wright //      for advection
4679529d636SJames Wright //
4689529d636SJames Wright //  Inflow and outflow faces are determined based on sign(dot(wind, normal)):
4699529d636SJames Wright //    sign(dot(wind, normal)) > 0 : outflow BCs
4709529d636SJames Wright //    sign(dot(wind, normal)) < 0 : inflow BCs
4719529d636SJames Wright //
4729529d636SJames Wright //  Outflow BCs:
4739529d636SJames Wright //    The validity of the weak form of the governing equations is extended to the outflow and the current values of E are applied.
4749529d636SJames Wright //
4759529d636SJames Wright //  Inflow BCs:
4769529d636SJames Wright //    A prescribed Total Energy (E_wind) is applied weakly.
4779529d636SJames Wright // *****************************************************************************
4789529d636SJames Wright CEED_QFUNCTION(Advection_InOutFlowGeneric)(void *ctx, CeedInt Q, const CeedScalar *const *in, CeedScalar *const *out, CeedInt dim) {
4799529d636SJames Wright   const CeedScalar(*q)[CEED_Q_VLA] = (const CeedScalar(*)[CEED_Q_VLA])in[0];
4809529d636SJames Wright   const CeedScalar(*q_data_sur)    = in[2];
4819529d636SJames Wright 
4829529d636SJames Wright   CeedScalar(*v)[CEED_Q_VLA]   = (CeedScalar(*)[CEED_Q_VLA])out[0];
4839529d636SJames Wright   AdvectionContext context     = (AdvectionContext)ctx;
4849529d636SJames Wright   const CeedScalar E_wind      = context->E_wind;
4859529d636SJames Wright   const CeedScalar strong_form = context->strong_form;
4869529d636SJames Wright   const bool       is_implicit = context->implicit;
4879529d636SJames Wright 
4889529d636SJames Wright   CeedPragmaSIMD for (CeedInt i = 0; i < Q; i++) {
4899529d636SJames Wright     const CeedScalar rho  = q[0][i];
4909529d636SJames Wright     const CeedScalar u[3] = {q[1][i] / rho, q[2][i] / rho, q[3][i] / rho};
4919529d636SJames Wright     const CeedScalar E    = q[4][i];
4929529d636SJames Wright 
49378e8b7daSJames Wright     CeedScalar wdetJb, normal[3];
49478e8b7daSJames Wright     QdataBoundaryUnpack_ND(dim, Q, i, q_data_sur, &wdetJb, NULL, normal);
4959529d636SJames Wright     wdetJb *= is_implicit ? -1. : 1.;
4969529d636SJames Wright 
49778e8b7daSJames Wright     const CeedScalar u_normal = DotN(normal, u, dim);
4989529d636SJames Wright 
4999529d636SJames Wright     // No Change in density or momentum
5009529d636SJames Wright     for (CeedInt j = 0; j < 4; j++) {
5019529d636SJames Wright       v[j][i] = 0;
5029529d636SJames Wright     }
5039529d636SJames Wright     // Implementing in/outflow BCs
5049529d636SJames Wright     if (u_normal > 0) {  // outflow
5059529d636SJames Wright       v[4][i] = -(1 - strong_form) * wdetJb * E * u_normal;
5069529d636SJames Wright     } else {  // inflow
5079529d636SJames Wright       v[4][i] = -(1 - strong_form) * wdetJb * E_wind * u_normal;
5089529d636SJames Wright     }
5099529d636SJames Wright   }
5109529d636SJames Wright   return 0;
5119529d636SJames Wright }
5129529d636SJames Wright 
5132b916ea7SJeremy L Thompson CEED_QFUNCTION(Advection_InOutFlow)(void *ctx, CeedInt Q, const CeedScalar *const *in, CeedScalar *const *out) {
5148dba1efaSJames Wright   Advection_InOutFlowGeneric(ctx, Q, in, out, 3);
515a515125bSLeila Ghaffari   return 0;
516a515125bSLeila Ghaffari }
517a515125bSLeila Ghaffari 
5189529d636SJames Wright CEED_QFUNCTION(Advection2d_InOutFlow)(void *ctx, CeedInt Q, const CeedScalar *const *in, CeedScalar *const *out) {
5199529d636SJames Wright   Advection_InOutFlowGeneric(ctx, Q, in, out, 2);
5209529d636SJames Wright   return 0;
5219529d636SJames Wright }
522c2d90829SJames Wright 
523c2d90829SJames Wright // @brief Volume integral for RHS of divergence of diffusive flux direct projection
524c2d90829SJames Wright CEED_QFUNCTION_HELPER int DivDiffusiveFluxVolumeRHS_AdvDif_Generic(void *ctx, CeedInt Q, const CeedScalar *const *in, CeedScalar *const *out,
525c2d90829SJames Wright                                                                    const CeedInt dim) {
526c2d90829SJames Wright   const CeedScalar(*Grad_q)       = in[0];
527c2d90829SJames Wright   const CeedScalar(*q_data)       = in[1];
528c2d90829SJames Wright   CeedScalar(*Grad_v)[CEED_Q_VLA] = (CeedScalar(*)[CEED_Q_VLA])out[0];
529c2d90829SJames Wright 
530c2d90829SJames Wright   AdvectionContext context = (AdvectionContext)ctx;
531c2d90829SJames Wright 
532c2d90829SJames Wright   CeedPragmaSIMD for (CeedInt i = 0; i < Q; i++) {
533c2d90829SJames Wright     CeedScalar wdetJ, dXdx[9], F_diff[3] = {0.};
534c2d90829SJames Wright 
535c2d90829SJames Wright     QdataUnpack_ND(dim, Q, i, q_data, &wdetJ, dXdx);
536c2d90829SJames Wright     {  // Get physical diffusive flux
537c2d90829SJames Wright       CeedScalar Grad_qn[15], grad_E_ref[3];
538c2d90829SJames Wright 
539c2d90829SJames Wright       GradUnpackN(Q, i, 5, dim, Grad_q, Grad_qn);
540c2d90829SJames Wright       CopyN(&Grad_qn[4 * dim], grad_E_ref, dim);
541c2d90829SJames Wright       MatVecNM(dXdx, grad_E_ref, dim, dim, CEED_NOTRANSPOSE, F_diff);
542c2d90829SJames Wright       ScaleN(F_diff, -context->diffusion_coeff, dim);
543c2d90829SJames Wright     }
544c2d90829SJames Wright 
545c2d90829SJames Wright     CeedScalar F_diff_dXdx[3] = {0.};
546c2d90829SJames Wright     MatVecNM(dXdx, F_diff, dim, dim, CEED_NOTRANSPOSE, F_diff_dXdx);
547c2d90829SJames Wright     for (CeedInt k = 0; k < dim; k++) Grad_v[k][i] = -wdetJ * F_diff_dXdx[k];
548c2d90829SJames Wright   }
549c2d90829SJames Wright   return 0;
550c2d90829SJames Wright }
551c2d90829SJames Wright 
552c2d90829SJames Wright CEED_QFUNCTION(DivDiffusiveFluxVolumeRHS_AdvDif_2D)(void *ctx, CeedInt Q, const CeedScalar *const *in, CeedScalar *const *out) {
553c2d90829SJames Wright   return DivDiffusiveFluxVolumeRHS_AdvDif_Generic(ctx, Q, in, out, 2);
554c2d90829SJames Wright }
555c2d90829SJames Wright 
556c2d90829SJames Wright CEED_QFUNCTION(DivDiffusiveFluxVolumeRHS_AdvDif_3D)(void *ctx, CeedInt Q, const CeedScalar *const *in, CeedScalar *const *out) {
557c2d90829SJames Wright   return DivDiffusiveFluxVolumeRHS_AdvDif_Generic(ctx, Q, in, out, 3);
558c2d90829SJames Wright }
559c2d90829SJames Wright 
560c2d90829SJames Wright // @brief Boundary integral for RHS of divergence of diffusive flux direct projection
561c2d90829SJames Wright CEED_QFUNCTION_HELPER int DivDiffusiveFluxBoundaryRHS_AdvDif_Generic(void *ctx, CeedInt Q, const CeedScalar *const *in, CeedScalar *const *out,
562c2d90829SJames Wright                                                                      const CeedInt dim) {
563c2d90829SJames Wright   const CeedScalar(*Grad_q) = in[0];
564c2d90829SJames Wright   const CeedScalar(*q_data) = in[1];
565c2d90829SJames Wright   CeedScalar(*v)            = out[0];
566c2d90829SJames Wright 
567c2d90829SJames Wright   AdvectionContext context = (AdvectionContext)ctx;
568c2d90829SJames Wright 
569c2d90829SJames Wright   CeedPragmaSIMD for (CeedInt i = 0; i < Q; i++) {
570c2d90829SJames Wright     CeedScalar wdetJ, normal[3], dXdx[9], F_diff[3] = {0.};
571c2d90829SJames Wright 
572c2d90829SJames Wright     QdataBoundaryGradientUnpack_ND(dim, Q, i, q_data, &wdetJ, dXdx, normal);
573c2d90829SJames Wright     {  // Get physical diffusive flux
574c2d90829SJames Wright       CeedScalar Grad_qn[15], grad_E_ref[3];
575c2d90829SJames Wright 
576c2d90829SJames Wright       GradUnpackN(Q, i, 5, dim, Grad_q, Grad_qn);
577c2d90829SJames Wright       CopyN(&Grad_qn[4 * dim], grad_E_ref, dim);
578c2d90829SJames Wright       MatVecNM(dXdx, grad_E_ref, dim, dim, CEED_NOTRANSPOSE, F_diff);
579c2d90829SJames Wright       ScaleN(F_diff, -context->diffusion_coeff, dim);
580c2d90829SJames Wright     }
581c2d90829SJames Wright 
582c2d90829SJames Wright     v[i] = wdetJ * DotN(F_diff, normal, dim);
583c2d90829SJames Wright   }
584c2d90829SJames Wright   return 0;
585c2d90829SJames Wright }
586c2d90829SJames Wright 
587c2d90829SJames Wright CEED_QFUNCTION(DivDiffusiveFluxBoundaryRHS_AdvDif_2D)(void *ctx, CeedInt Q, const CeedScalar *const *in, CeedScalar *const *out) {
588c2d90829SJames Wright   return DivDiffusiveFluxBoundaryRHS_AdvDif_Generic(ctx, Q, in, out, 2);
589c2d90829SJames Wright }
590c2d90829SJames Wright 
591c2d90829SJames Wright CEED_QFUNCTION(DivDiffusiveFluxBoundaryRHS_AdvDif_3D)(void *ctx, CeedInt Q, const CeedScalar *const *in, CeedScalar *const *out) {
592c2d90829SJames Wright   return DivDiffusiveFluxBoundaryRHS_AdvDif_Generic(ctx, Q, in, out, 3);
593c2d90829SJames Wright }
594