xref: /honee/qfunctions/newtonian.h (revision 9b103f75867128bb395d4431a2dd4da8eacd1da9)
1dc936754SJeremy L Thompson // Copyright (c) 2017-2024, Lawrence Livermore National Security, LLC and other CEED contributors.
2727da7e7SJeremy L Thompson // All Rights Reserved. See the top-level LICENSE and NOTICE files for details.
33a8779fbSJames Wright //
4727da7e7SJeremy L Thompson // SPDX-License-Identifier: BSD-2-Clause
53a8779fbSJames Wright //
6727da7e7SJeremy L Thompson // This file is part of CEED:  http://github.com/ceed
73a8779fbSJames Wright 
83a8779fbSJames Wright /// @file
93a8779fbSJames Wright /// Operator for Navier-Stokes example using PETSc
103a8779fbSJames Wright #include <ceed.h>
11d0cce58aSJeremy L Thompson #include <math.h>
127b530f2aSAdelekeBankole #include <stdlib.h>
132b916ea7SJeremy L Thompson 
14475b2820SJames Wright #include "newtonian_state.h"
15d0cce58aSJeremy L Thompson #include "newtonian_types.h"
16d1b9ef12SLeila Ghaffari #include "stabilization.h"
17d0cce58aSJeremy L Thompson #include "utils.h"
18bb8a0c61SJames Wright 
1994a7b3d2SKenneth E. Jansen CEED_QFUNCTION_HELPER void InternalDampingLayer(const NewtonianIdealGasContext context, const State s, const CeedScalar sigma, CeedScalar damp_Y[5],
20e7754af5SKenneth E. Jansen                                                 CeedScalar damp_residual[5]) {
21e7754af5SKenneth E. Jansen   ScaleN(damp_Y, sigma, 5);
22edcfef1bSKenneth E. Jansen   State damp_s = StateFromY_fwd(context, s, damp_Y);
23e7754af5SKenneth E. Jansen 
24e7754af5SKenneth E. Jansen   CeedScalar U[5];
25e7754af5SKenneth E. Jansen   UnpackState_U(damp_s.U, U);
26e7754af5SKenneth E. Jansen   for (int i = 0; i < 5; i++) damp_residual[i] += U[i];
27e7754af5SKenneth E. Jansen }
28e7754af5SKenneth E. Jansen 
29bb8a0c61SJames Wright // *****************************************************************************
303a8779fbSJames Wright // This QFunction sets a "still" initial condition for generic Newtonian IG problems
313a8779fbSJames Wright // *****************************************************************************
328fff8293SJames Wright CEED_QFUNCTION_HELPER int ICsNewtonianIG(void *ctx, CeedInt Q, const CeedScalar *const *in, CeedScalar *const *out, StateVariable state_var) {
333a8779fbSJames Wright   CeedScalar(*q0)[CEED_Q_VLA] = (CeedScalar(*)[CEED_Q_VLA])out[0];
343a8779fbSJames Wright 
35bb8a0c61SJames Wright   const SetupContext context = (SetupContext)ctx;
36bb8a0c61SJames Wright 
372b916ea7SJeremy L Thompson   CeedPragmaSIMD for (CeedInt i = 0; i < Q; i++) {
383a8779fbSJames Wright     CeedScalar q[5] = {0.};
39edcfef1bSKenneth E. Jansen     State      s    = StateFromPrimitive(&context->gas, context->reference);
408fff8293SJames Wright     StateToQ(&context->gas, s, q, state_var);
412b916ea7SJeremy L Thompson     for (CeedInt j = 0; j < 5; j++) q0[j][i] = q[j];
42b193fadcSJames Wright   }
433a8779fbSJames Wright   return 0;
443a8779fbSJames Wright }
453a8779fbSJames Wright 
46*9b103f75SJames Wright CEED_QFUNCTION(ICsNewtonianIG_Conserv)(void *ctx, CeedInt Q, const CeedScalar *const *in, CeedScalar *const *out) {
47*9b103f75SJames Wright   return ICsNewtonianIG(ctx, Q, in, out, STATEVAR_CONSERVATIVE);
48*9b103f75SJames Wright }
49*9b103f75SJames Wright 
502b916ea7SJeremy L Thompson CEED_QFUNCTION(ICsNewtonianIG_Prim)(void *ctx, CeedInt Q, const CeedScalar *const *in, CeedScalar *const *out) {
518fff8293SJames Wright   return ICsNewtonianIG(ctx, Q, in, out, STATEVAR_PRIMITIVE);
52b8fb7609SAdeleke O. Bankole }
53*9b103f75SJames Wright 
54*9b103f75SJames Wright CEED_QFUNCTION(ICsNewtonianIG_Entropy)(void *ctx, CeedInt Q, const CeedScalar *const *in, CeedScalar *const *out) {
55*9b103f75SJames Wright   return ICsNewtonianIG(ctx, Q, in, out, STATEVAR_ENTROPY);
56cbe60e31SLeila Ghaffari }
57cbe60e31SLeila Ghaffari 
5865dee3d2SJames Wright CEED_QFUNCTION_HELPER void MassFunction_Newtonian(void *ctx, CeedInt Q, const CeedScalar *const *in, CeedScalar *const *out,
5965dee3d2SJames Wright                                                   StateVariable state_var) {
6065dee3d2SJames Wright   const CeedScalar(*q_dot)[CEED_Q_VLA] = (const CeedScalar(*)[CEED_Q_VLA])in[0];
6165dee3d2SJames Wright   const CeedScalar(*q)[CEED_Q_VLA]     = (const CeedScalar(*)[CEED_Q_VLA])in[1];
6265dee3d2SJames Wright   const CeedScalar(*q_data)            = in[2];
6365dee3d2SJames Wright   CeedScalar(*v)[CEED_Q_VLA]           = (CeedScalar(*)[CEED_Q_VLA])out[0];
6465dee3d2SJames Wright   CeedScalar(*Grad_v)[5][CEED_Q_VLA]   = (CeedScalar(*)[5][CEED_Q_VLA])out[1];
6565dee3d2SJames Wright 
6665dee3d2SJames Wright   NewtonianIdealGasContext context = (NewtonianIdealGasContext)ctx;
6765dee3d2SJames Wright 
6865dee3d2SJames Wright   CeedPragmaSIMD for (CeedInt i = 0; i < Q; i++) {
6965dee3d2SJames Wright     const CeedScalar qi[5]     = {q[0][i], q[1][i], q[2][i], q[3][i], q[4][i]};
7065dee3d2SJames Wright     const CeedScalar qi_dot[5] = {q_dot[0][i], q_dot[1][i], q_dot[2][i], q_dot[3][i], q_dot[4][i]};
7165dee3d2SJames Wright     const State      s         = StateFromQ(context, qi, state_var);
7265dee3d2SJames Wright     const State      s_dot     = StateFromQ(context, qi_dot, state_var);
7365dee3d2SJames Wright     CeedScalar       wdetJ, dXdx[3][3];
7465dee3d2SJames Wright     QdataUnpack_3D(Q, i, q_data, &wdetJ, dXdx);
7565dee3d2SJames Wright 
7665dee3d2SJames Wright     // Standard mass matrix term
7765dee3d2SJames Wright     for (CeedInt f = 0; f < 5; f++) {
7865dee3d2SJames Wright       v[f][i] = wdetJ * qi_dot[f];
7965dee3d2SJames Wright     }
8065dee3d2SJames Wright 
8165dee3d2SJames Wright     // Stabilization method: none (Galerkin), SU, or SUPG
8265dee3d2SJames Wright     State      grad_s[3] = {{{0.}}};
8365dee3d2SJames Wright     CeedScalar Tau_d[3], stab[5][3], body_force[5] = {0.}, U_dot[5];
8465dee3d2SJames Wright     UnpackState_U(s_dot.U, U_dot);
8565dee3d2SJames Wright     Tau_diagPrim(context, s, dXdx, context->dt, Tau_d);
8665dee3d2SJames Wright     Stabilization(context, s, Tau_d, grad_s, U_dot, body_force, stab);
8765dee3d2SJames Wright 
8865dee3d2SJames Wright     // Stabilized mass term
8965dee3d2SJames Wright     for (CeedInt j = 0; j < 5; j++) {
9065dee3d2SJames Wright       for (CeedInt k = 0; k < 3; k++) {
9165dee3d2SJames Wright         Grad_v[k][j][i] = wdetJ * (stab[j][0] * dXdx[k][0] + stab[j][1] * dXdx[k][1] + stab[j][2] * dXdx[k][2]);
9265dee3d2SJames Wright       }
9365dee3d2SJames Wright     }
9465dee3d2SJames Wright   }
9565dee3d2SJames Wright }
9665dee3d2SJames Wright 
9765dee3d2SJames Wright CEED_QFUNCTION(MassFunction_Newtonian_Conserv)(void *ctx, CeedInt Q, const CeedScalar *const *in, CeedScalar *const *out) {
9865dee3d2SJames Wright   MassFunction_Newtonian(ctx, Q, in, out, STATEVAR_CONSERVATIVE);
9965dee3d2SJames Wright   return 0;
10065dee3d2SJames Wright }
10165dee3d2SJames Wright 
102cbe60e31SLeila Ghaffari // *****************************************************************************
10304e40bb6SJeremy L Thompson // This QFunction implements the following formulation of Navier-Stokes with explicit time stepping method
1043a8779fbSJames Wright //
10504e40bb6SJeremy L Thompson // This is 3D compressible Navier-Stokes in conservation form with state variables of density, momentum density, and total energy density.
1063a8779fbSJames Wright //
1073a8779fbSJames Wright // State Variables: q = ( rho, U1, U2, U3, E )
1083a8779fbSJames Wright //   rho - Mass Density
1093a8779fbSJames Wright //   Ui  - Momentum Density,      Ui = rho ui
1103a8779fbSJames Wright //   E   - Total Energy Density,  E  = rho (cv T + (u u)/2 + g z)
1113a8779fbSJames Wright //
1123a8779fbSJames Wright // Navier-Stokes Equations:
1133a8779fbSJames Wright //   drho/dt + div( U )                               = 0
1143a8779fbSJames Wright //   dU/dt   + div( rho (u x u) + P I3 ) + rho g khat = div( Fu )
1153a8779fbSJames Wright //   dE/dt   + div( (E + P) u )                       = div( Fe )
1163a8779fbSJames Wright //
1173a8779fbSJames Wright // Viscous Stress:
1183a8779fbSJames Wright //   Fu = mu (grad( u ) + grad( u )^T + lambda div ( u ) I3)
1193a8779fbSJames Wright //
1203a8779fbSJames Wright // Thermal Stress:
1213a8779fbSJames Wright //   Fe = u Fu + k grad( T )
122bb8a0c61SJames Wright // Equation of State
1233a8779fbSJames Wright //   P = (gamma - 1) (E - rho (u u) / 2 - rho g z)
1243a8779fbSJames Wright //
1253a8779fbSJames Wright // Stabilization:
1263a8779fbSJames Wright //   Tau = diag(TauC, TauM, TauM, TauM, TauE)
1273a8779fbSJames Wright //     f1 = rho  sqrt(ui uj gij)
1283a8779fbSJames Wright //     gij = dXi/dX * dXi/dX
1293a8779fbSJames Wright //     TauC = Cc f1 / (8 gii)
1303a8779fbSJames Wright //     TauM = min( 1 , 1 / f1 )
1313a8779fbSJames Wright //     TauE = TauM / (Ce cv)
1323a8779fbSJames Wright //
1333a8779fbSJames Wright //  SU   = Galerkin + grad(v) . ( Ai^T * Tau * (Aj q,j) )
1343a8779fbSJames Wright //
1353a8779fbSJames Wright // Constants:
1363a8779fbSJames Wright //   lambda = - 2 / 3,  From Stokes hypothesis
1373a8779fbSJames Wright //   mu              ,  Dynamic viscosity
1383a8779fbSJames Wright //   k               ,  Thermal conductivity
1393a8779fbSJames Wright //   cv              ,  Specific heat, constant volume
1403a8779fbSJames Wright //   cp              ,  Specific heat, constant pressure
1413a8779fbSJames Wright //   g               ,  Gravity
1423a8779fbSJames Wright //   gamma  = cp / cv,  Specific heat ratio
1433a8779fbSJames Wright //
14404e40bb6SJeremy L Thompson // We require the product of the inverse of the Jacobian (dXdx_j,k) and its transpose (dXdx_k,j) to properly compute integrals of the form: int( gradv
14504e40bb6SJeremy L Thompson // gradu )
1463a8779fbSJames Wright // *****************************************************************************
1472b916ea7SJeremy L Thompson CEED_QFUNCTION(RHSFunction_Newtonian)(void *ctx, CeedInt Q, const CeedScalar *const *in, CeedScalar *const *out) {
1483d65b166SJames Wright   const CeedScalar(*q)[CEED_Q_VLA]   = (const CeedScalar(*)[CEED_Q_VLA])in[0];
14987bd45e7SJames Wright   const CeedScalar(*Grad_q)          = in[1];
150ade49511SJames Wright   const CeedScalar(*q_data)          = in[2];
1510a32a5aaSJames Wright   const CeedScalar(*x)[CEED_Q_VLA]   = (const CeedScalar(*)[CEED_Q_VLA])in[3];
1523d65b166SJames Wright   CeedScalar(*v)[CEED_Q_VLA]         = (CeedScalar(*)[CEED_Q_VLA])out[0];
1533d65b166SJames Wright   CeedScalar(*Grad_v)[5][CEED_Q_VLA] = (CeedScalar(*)[5][CEED_Q_VLA])out[1];
1543a8779fbSJames Wright 
1553a8779fbSJames Wright   NewtonianIdealGasContext context = (NewtonianIdealGasContext)ctx;
156bb8a0c61SJames Wright   const CeedScalar        *g       = context->g;
157bb8a0c61SJames Wright   const CeedScalar         dt      = context->dt;
1580a32a5aaSJames Wright   const CeedScalar         P0      = context->idl_pressure;
1593a8779fbSJames Wright 
1603d65b166SJames Wright   CeedPragmaSIMD for (CeedInt i = 0; i < Q; i++) {
161ade49511SJames Wright     CeedScalar       U[5], wdetJ, dXdx[3][3];
1620a32a5aaSJames Wright     const CeedScalar x_i[3] = {x[0][i], x[1][i], x[2][i]};
163c1a52365SJed Brown     for (int j = 0; j < 5; j++) U[j] = q[j][i];
1641be49596SJames Wright     QdataUnpack_3D(Q, i, q_data, &wdetJ, dXdx);
165edcfef1bSKenneth E. Jansen     State s = StateFromU(context, U);
166c1a52365SJed Brown 
167c1a52365SJed Brown     State grad_s[3];
168edcfef1bSKenneth E. Jansen     StatePhysicalGradientFromReference(Q, i, context, s, STATEVAR_CONSERVATIVE, Grad_q, dXdx, grad_s);
169c1a52365SJed Brown 
170c1a52365SJed Brown     CeedScalar strain_rate[6], kmstress[6], stress[3][3], Fe[3];
17140a33f2dSJames Wright     KMStrainRate_State(grad_s, strain_rate);
172c1a52365SJed Brown     NewtonianStress(context, strain_rate, kmstress);
173c1a52365SJed Brown     KMUnpack(kmstress, stress);
174c1a52365SJed Brown     ViscousEnergyFlux(context, s.Y, grad_s, stress, Fe);
175c1a52365SJed Brown 
176c1a52365SJed Brown     StateConservative F_inviscid[3];
177c1a52365SJed Brown     FluxInviscid(context, s, F_inviscid);
178c1a52365SJed Brown 
179c1a52365SJed Brown     // Total flux
180c1a52365SJed Brown     CeedScalar Flux[5][3];
181d1b9ef12SLeila Ghaffari     FluxTotal(F_inviscid, stress, Fe, Flux);
182c1a52365SJed Brown 
1837523f6aaSJames Wright     for (CeedInt j = 0; j < 5; j++) {
1847523f6aaSJames Wright       for (CeedInt k = 0; k < 3; k++) Grad_v[k][j][i] = wdetJ * (dXdx[k][0] * Flux[j][0] + dXdx[k][1] * Flux[j][1] + dXdx[k][2] * Flux[j][2]);
1852b916ea7SJeremy L Thompson     }
186c1a52365SJed Brown 
18760dbb574SKenneth E. Jansen     const CeedScalar body_force[5] = {0, s.U.density * g[0], s.U.density * g[1], s.U.density * g[2], Dot3(s.U.momentum, g)};
1882b916ea7SJeremy L Thompson     for (int j = 0; j < 5; j++) v[j][i] = wdetJ * body_force[j];
1893a8779fbSJames Wright 
1900a32a5aaSJames Wright     if (context->idl_enable) {
1910a32a5aaSJames Wright       const CeedScalar sigma         = LinearRampCoefficient(context->idl_amplitude, context->idl_length, context->idl_start, x_i[0]);
1920a32a5aaSJames Wright       CeedScalar       damp_state[5] = {s.Y.pressure - P0, 0, 0, 0, 0}, idl_residual[5] = {0.};
1930a32a5aaSJames Wright       InternalDampingLayer(context, s, sigma, damp_state, idl_residual);
1940a32a5aaSJames Wright       for (int j = 0; j < 5; j++) v[j][i] -= wdetJ * idl_residual[j];
1950a32a5aaSJames Wright     }
1960a32a5aaSJames Wright 
197d1b9ef12SLeila Ghaffari     // -- Stabilization method: none (Galerkin), SU, or SUPG
198d1b9ef12SLeila Ghaffari     CeedScalar Tau_d[3], stab[5][3], U_dot[5] = {0};
199d1b9ef12SLeila Ghaffari     Tau_diagPrim(context, s, dXdx, dt, Tau_d);
200edcfef1bSKenneth E. Jansen     Stabilization(context, s, Tau_d, grad_s, U_dot, body_force, stab);
2013a8779fbSJames Wright 
2022b916ea7SJeremy L Thompson     for (CeedInt j = 0; j < 5; j++) {
2032b916ea7SJeremy L Thompson       for (CeedInt k = 0; k < 3; k++) Grad_v[k][j][i] -= wdetJ * (stab[j][0] * dXdx[k][0] + stab[j][1] * dXdx[k][1] + stab[j][2] * dXdx[k][2]);
2042b916ea7SJeremy L Thompson     }
205b193fadcSJames Wright   }
2063a8779fbSJames Wright   return 0;
2073a8779fbSJames Wright }
2083a8779fbSJames Wright 
2093a8779fbSJames Wright // *****************************************************************************
21004e40bb6SJeremy L Thompson // This QFunction implements the Navier-Stokes equations (mentioned above) with implicit time stepping method
2113a8779fbSJames Wright //
2123a8779fbSJames Wright //  SU   = Galerkin + grad(v) . ( Ai^T * Tau * (Aj q,j) )
2133a8779fbSJames Wright //  SUPG = Galerkin + grad(v) . ( Ai^T * Tau * (q_dot + Aj q,j - body force) )
21404e40bb6SJeremy L Thompson //                                       (diffusive terms will be added later)
2153a8779fbSJames Wright // *****************************************************************************
2168fff8293SJames Wright CEED_QFUNCTION_HELPER int IFunction_Newtonian(void *ctx, CeedInt Q, const CeedScalar *const *in, CeedScalar *const *out, StateVariable state_var) {
2173d65b166SJames Wright   const CeedScalar(*q)[CEED_Q_VLA]     = (const CeedScalar(*)[CEED_Q_VLA])in[0];
21887bd45e7SJames Wright   const CeedScalar(*Grad_q)            = in[1];
2193d65b166SJames Wright   const CeedScalar(*q_dot)[CEED_Q_VLA] = (const CeedScalar(*)[CEED_Q_VLA])in[2];
220ade49511SJames Wright   const CeedScalar(*q_data)            = in[3];
2213d65b166SJames Wright   const CeedScalar(*x)[CEED_Q_VLA]     = (const CeedScalar(*)[CEED_Q_VLA])in[4];
2223d65b166SJames Wright   CeedScalar(*v)[CEED_Q_VLA]           = (CeedScalar(*)[CEED_Q_VLA])out[0];
2233d65b166SJames Wright   CeedScalar(*Grad_v)[5][CEED_Q_VLA]   = (CeedScalar(*)[5][CEED_Q_VLA])out[1];
224ade49511SJames Wright   CeedScalar(*jac_data)                = out[2];
2253d65b166SJames Wright 
2263a8779fbSJames Wright   NewtonianIdealGasContext context = (NewtonianIdealGasContext)ctx;
227bb8a0c61SJames Wright   const CeedScalar        *g       = context->g;
228bb8a0c61SJames Wright   const CeedScalar         dt      = context->dt;
229fcb2c22aSJames Wright   const CeedScalar         P0      = context->idl_pressure;
2303a8779fbSJames Wright 
2313d65b166SJames Wright   CeedPragmaSIMD for (CeedInt i = 0; i < Q; i++) {
2323d65b166SJames Wright     const CeedScalar qi[5]  = {q[0][i], q[1][i], q[2][i], q[3][i], q[4][i]};
233c1a52365SJed Brown     const CeedScalar x_i[3] = {x[0][i], x[1][i], x[2][i]};
234edcfef1bSKenneth E. Jansen     const State      s      = StateFromQ(context, qi, state_var);
235c1a52365SJed Brown 
236ade49511SJames Wright     CeedScalar wdetJ, dXdx[3][3];
237ade49511SJames Wright     QdataUnpack_3D(Q, i, q_data, &wdetJ, dXdx);
238c1a52365SJed Brown     State grad_s[3];
239edcfef1bSKenneth E. Jansen     StatePhysicalGradientFromReference(Q, i, context, s, state_var, Grad_q, dXdx, grad_s);
240c1a52365SJed Brown 
241c1a52365SJed Brown     CeedScalar strain_rate[6], kmstress[6], stress[3][3], Fe[3];
24240a33f2dSJames Wright     KMStrainRate_State(grad_s, strain_rate);
243c1a52365SJed Brown     NewtonianStress(context, strain_rate, kmstress);
244c1a52365SJed Brown     KMUnpack(kmstress, stress);
245c1a52365SJed Brown     ViscousEnergyFlux(context, s.Y, grad_s, stress, Fe);
246c1a52365SJed Brown 
247c1a52365SJed Brown     StateConservative F_inviscid[3];
248c1a52365SJed Brown     FluxInviscid(context, s, F_inviscid);
249c1a52365SJed Brown 
250c1a52365SJed Brown     // Total flux
251c1a52365SJed Brown     CeedScalar Flux[5][3];
252d1b9ef12SLeila Ghaffari     FluxTotal(F_inviscid, stress, Fe, Flux);
253c1a52365SJed Brown 
2547523f6aaSJames Wright     for (CeedInt j = 0; j < 5; j++) {
2557523f6aaSJames Wright       for (CeedInt k = 0; k < 3; k++) {
2567523f6aaSJames Wright         Grad_v[k][j][i] = -wdetJ * (dXdx[k][0] * Flux[j][0] + dXdx[k][1] * Flux[j][1] + dXdx[k][2] * Flux[j][2]);
2573d65b166SJames Wright       }
2582b916ea7SJeremy L Thompson     }
259c1a52365SJed Brown 
26060dbb574SKenneth E. Jansen     const CeedScalar body_force[5] = {0, s.U.density * g[0], s.U.density * g[1], s.U.density * g[2], Dot3(s.U.momentum, g)};
2613a8779fbSJames Wright 
262d1b9ef12SLeila Ghaffari     // -- Stabilization method: none (Galerkin), SU, or SUPG
263edcfef1bSKenneth E. Jansen     CeedScalar Tau_d[3], stab[5][3], U_dot[5] = {0}, qi_dot[5];
26476555becSJames Wright     for (int j = 0; j < 5; j++) qi_dot[j] = q_dot[j][i];
265edcfef1bSKenneth E. Jansen     State s_dot = StateFromQ_fwd(context, s, qi_dot, state_var);
26676555becSJames Wright     UnpackState_U(s_dot.U, U_dot);
26776555becSJames Wright 
2682b916ea7SJeremy L Thompson     for (CeedInt j = 0; j < 5; j++) v[j][i] = wdetJ * (U_dot[j] - body_force[j]);
269e7754af5SKenneth E. Jansen     if (context->idl_enable) {
27094a7b3d2SKenneth E. Jansen       const CeedScalar sigma = LinearRampCoefficient(context->idl_amplitude, context->idl_length, context->idl_start, x_i[0]);
27194a7b3d2SKenneth E. Jansen       StoredValuesPack(Q, i, 14, 1, &sigma, jac_data);
272e7754af5SKenneth E. Jansen       CeedScalar damp_state[5] = {s.Y.pressure - P0, 0, 0, 0, 0}, idl_residual[5] = {0.};
27394a7b3d2SKenneth E. Jansen       InternalDampingLayer(context, s, sigma, damp_state, idl_residual);
274e7754af5SKenneth E. Jansen       for (int j = 0; j < 5; j++) v[j][i] += wdetJ * idl_residual[j];
275e7754af5SKenneth E. Jansen     }
276e7754af5SKenneth E. Jansen 
277d1b9ef12SLeila Ghaffari     Tau_diagPrim(context, s, dXdx, dt, Tau_d);
278edcfef1bSKenneth E. Jansen     Stabilization(context, s, Tau_d, grad_s, U_dot, body_force, stab);
2793a8779fbSJames Wright 
2802b916ea7SJeremy L Thompson     for (CeedInt j = 0; j < 5; j++) {
2813d65b166SJames Wright       for (CeedInt k = 0; k < 3; k++) {
2823d65b166SJames Wright         Grad_v[k][j][i] += wdetJ * (stab[j][0] * dXdx[k][0] + stab[j][1] * dXdx[k][1] + stab[j][2] * dXdx[k][2]);
2833d65b166SJames Wright       }
2842b916ea7SJeremy L Thompson     }
285ade49511SJames Wright     StoredValuesPack(Q, i, 0, 5, qi, jac_data);
286ade49511SJames Wright     StoredValuesPack(Q, i, 5, 6, kmstress, jac_data);
287ade49511SJames Wright     StoredValuesPack(Q, i, 11, 3, Tau_d, jac_data);
288b193fadcSJames Wright   }
2893a8779fbSJames Wright   return 0;
2903a8779fbSJames Wright }
291f0b65372SJed Brown 
2922b916ea7SJeremy L Thompson CEED_QFUNCTION(IFunction_Newtonian_Conserv)(void *ctx, CeedInt Q, const CeedScalar *const *in, CeedScalar *const *out) {
2938fff8293SJames Wright   return IFunction_Newtonian(ctx, Q, in, out, STATEVAR_CONSERVATIVE);
29476555becSJames Wright }
29576555becSJames Wright 
2962b916ea7SJeremy L Thompson CEED_QFUNCTION(IFunction_Newtonian_Prim)(void *ctx, CeedInt Q, const CeedScalar *const *in, CeedScalar *const *out) {
2978fff8293SJames Wright   return IFunction_Newtonian(ctx, Q, in, out, STATEVAR_PRIMITIVE);
29876555becSJames Wright }
29976555becSJames Wright 
300*9b103f75SJames Wright CEED_QFUNCTION(IFunction_Newtonian_Entropy)(void *ctx, CeedInt Q, const CeedScalar *const *in, CeedScalar *const *out) {
301*9b103f75SJames Wright   return IFunction_Newtonian(ctx, Q, in, out, STATEVAR_ENTROPY);
302*9b103f75SJames Wright }
303*9b103f75SJames Wright 
304cbe60e31SLeila Ghaffari // *****************************************************************************
30504e40bb6SJeremy L Thompson // This QFunction implements the jacobian of the Navier-Stokes equations for implicit time stepping method.
306cbe60e31SLeila Ghaffari // *****************************************************************************
3078fff8293SJames Wright CEED_QFUNCTION_HELPER int IJacobian_Newtonian(void *ctx, CeedInt Q, const CeedScalar *const *in, CeedScalar *const *out, StateVariable state_var) {
3083d65b166SJames Wright   const CeedScalar(*dq)[CEED_Q_VLA]  = (const CeedScalar(*)[CEED_Q_VLA])in[0];
30987bd45e7SJames Wright   const CeedScalar(*Grad_dq)         = in[1];
310ade49511SJames Wright   const CeedScalar(*q_data)          = in[2];
31194a7b3d2SKenneth E. Jansen   const CeedScalar(*jac_data)        = in[3];
3123d65b166SJames Wright   CeedScalar(*v)[CEED_Q_VLA]         = (CeedScalar(*)[CEED_Q_VLA])out[0];
3133d65b166SJames Wright   CeedScalar(*Grad_v)[5][CEED_Q_VLA] = (CeedScalar(*)[5][CEED_Q_VLA])out[1];
3143d65b166SJames Wright 
315f0b65372SJed Brown   NewtonianIdealGasContext context = (NewtonianIdealGasContext)ctx;
316f0b65372SJed Brown   const CeedScalar        *g       = context->g;
317f0b65372SJed Brown 
3183d65b166SJames Wright   CeedPragmaSIMD for (CeedInt i = 0; i < Q; i++) {
319ade49511SJames Wright     CeedScalar wdetJ, dXdx[3][3];
320ade49511SJames Wright     QdataUnpack_3D(Q, i, q_data, &wdetJ, dXdx);
321f0b65372SJed Brown 
3228789e95fSJames Wright     CeedScalar qi[5], kmstress[6], Tau_d[3];
323ade49511SJames Wright     StoredValuesUnpack(Q, i, 0, 5, jac_data, qi);
324ade49511SJames Wright     StoredValuesUnpack(Q, i, 5, 6, jac_data, kmstress);
325ade49511SJames Wright     StoredValuesUnpack(Q, i, 11, 3, jac_data, Tau_d);
326edcfef1bSKenneth E. Jansen     State s = StateFromQ(context, qi, state_var);
327f0b65372SJed Brown 
328edcfef1bSKenneth E. Jansen     CeedScalar dqi[5];
32976555becSJames Wright     for (int j = 0; j < 5; j++) dqi[j] = dq[j][i];
330edcfef1bSKenneth E. Jansen     State ds = StateFromQ_fwd(context, s, dqi, state_var);
331f0b65372SJed Brown 
332f0b65372SJed Brown     State grad_ds[3];
333edcfef1bSKenneth E. Jansen     StatePhysicalGradientFromReference(Q, i, context, s, state_var, Grad_dq, dXdx, grad_ds);
334f0b65372SJed Brown 
335f0b65372SJed Brown     CeedScalar dstrain_rate[6], dkmstress[6], stress[3][3], dstress[3][3], dFe[3];
33640a33f2dSJames Wright     KMStrainRate_State(grad_ds, dstrain_rate);
337f0b65372SJed Brown     NewtonianStress(context, dstrain_rate, dkmstress);
338f0b65372SJed Brown     KMUnpack(dkmstress, dstress);
339f0b65372SJed Brown     KMUnpack(kmstress, stress);
340f0b65372SJed Brown     ViscousEnergyFlux_fwd(context, s.Y, ds.Y, grad_ds, stress, dstress, dFe);
341f0b65372SJed Brown 
342f0b65372SJed Brown     StateConservative dF_inviscid[3];
343f0b65372SJed Brown     FluxInviscid_fwd(context, s, ds, dF_inviscid);
344f0b65372SJed Brown 
345f0b65372SJed Brown     // Total flux
346f0b65372SJed Brown     CeedScalar dFlux[5][3];
347d1b9ef12SLeila Ghaffari     FluxTotal(dF_inviscid, dstress, dFe, dFlux);
348f0b65372SJed Brown 
34922387d3aSJames Wright     for (int j = 0; j < 5; j++) {
35022387d3aSJames Wright       for (int k = 0; k < 3; k++) Grad_v[k][j][i] = -wdetJ * (dXdx[k][0] * dFlux[j][0] + dXdx[k][1] * dFlux[j][1] + dXdx[k][2] * dFlux[j][2]);
3512b916ea7SJeremy L Thompson     }
352f0b65372SJed Brown 
35360dbb574SKenneth E. Jansen     const CeedScalar dbody_force[5] = {0, ds.U.density * g[0], ds.U.density * g[1], ds.U.density * g[2], Dot3(ds.U.momentum, g)};
35476555becSJames Wright     CeedScalar       dU[5]          = {0.};
35576555becSJames Wright     UnpackState_U(ds.U, dU);
3562b916ea7SJeremy L Thompson     for (int j = 0; j < 5; j++) v[j][i] = wdetJ * (context->ijacobian_time_shift * dU[j] - dbody_force[j]);
357f0b65372SJed Brown 
358e7754af5SKenneth E. Jansen     if (context->idl_enable) {
35994a7b3d2SKenneth E. Jansen       const CeedScalar sigma         = jac_data[14 * Q + i];
360e7754af5SKenneth E. Jansen       CeedScalar       damp_state[5] = {ds.Y.pressure, 0, 0, 0, 0}, idl_residual[5] = {0.};
361e7754af5SKenneth E. Jansen       // This is a Picard-type linearization of the damping and could be replaced by an InternalDampingLayer_fwd that uses s and ds.
36294a7b3d2SKenneth E. Jansen       InternalDampingLayer(context, s, sigma, damp_state, idl_residual);
363e7754af5SKenneth E. Jansen       for (int j = 0; j < 5; j++) v[j][i] += wdetJ * idl_residual[j];
364e7754af5SKenneth E. Jansen     }
365e7754af5SKenneth E. Jansen 
366d1b9ef12SLeila Ghaffari     // -- Stabilization method: none (Galerkin), SU, or SUPG
367d1b9ef12SLeila Ghaffari     CeedScalar dstab[5][3], U_dot[5] = {0};
368d1b9ef12SLeila Ghaffari     for (CeedInt j = 0; j < 5; j++) U_dot[j] = context->ijacobian_time_shift * dU[j];
369edcfef1bSKenneth E. Jansen     Stabilization(context, s, Tau_d, grad_ds, U_dot, dbody_force, dstab);
370d1b9ef12SLeila Ghaffari 
3712b916ea7SJeremy L Thompson     for (int j = 0; j < 5; j++) {
3722b916ea7SJeremy L Thompson       for (int k = 0; k < 3; k++) Grad_v[k][j][i] += wdetJ * (dstab[j][0] * dXdx[k][0] + dstab[j][1] * dXdx[k][1] + dstab[j][2] * dXdx[k][2]);
3732b916ea7SJeremy L Thompson     }
374b193fadcSJames Wright   }
375f0b65372SJed Brown   return 0;
376f0b65372SJed Brown }
3778085925cSJames Wright 
3782b916ea7SJeremy L Thompson CEED_QFUNCTION(IJacobian_Newtonian_Conserv)(void *ctx, CeedInt Q, const CeedScalar *const *in, CeedScalar *const *out) {
3798fff8293SJames Wright   return IJacobian_Newtonian(ctx, Q, in, out, STATEVAR_CONSERVATIVE);
38076555becSJames Wright }
38176555becSJames Wright 
3822b916ea7SJeremy L Thompson CEED_QFUNCTION(IJacobian_Newtonian_Prim)(void *ctx, CeedInt Q, const CeedScalar *const *in, CeedScalar *const *out) {
3838fff8293SJames Wright   return IJacobian_Newtonian(ctx, Q, in, out, STATEVAR_PRIMITIVE);
38476555becSJames Wright }
38576555becSJames Wright 
386*9b103f75SJames Wright CEED_QFUNCTION(IJacobian_Newtonian_Entropy)(void *ctx, CeedInt Q, const CeedScalar *const *in, CeedScalar *const *out) {
387*9b103f75SJames Wright   return IJacobian_Newtonian(ctx, Q, in, out, STATEVAR_ENTROPY);
388*9b103f75SJames Wright }
389*9b103f75SJames Wright 
390d1b9ef12SLeila Ghaffari // *****************************************************************************
3918085925cSJames Wright // Compute boundary integral (ie. for strongly set inflows)
392d1b9ef12SLeila Ghaffari // *****************************************************************************
3938fff8293SJames Wright CEED_QFUNCTION_HELPER int BoundaryIntegral(void *ctx, CeedInt Q, const CeedScalar *const *in, CeedScalar *const *out, StateVariable state_var) {
3944b96a86bSJames Wright   const NewtonianIdealGasContext context = (NewtonianIdealGasContext)ctx;
3953d65b166SJames Wright   const CeedScalar(*q)[CEED_Q_VLA]       = (const CeedScalar(*)[CEED_Q_VLA])in[0];
39687bd45e7SJames Wright   const CeedScalar(*Grad_q)              = in[1];
397ade49511SJames Wright   const CeedScalar(*q_data_sur)          = in[2];
3983d65b166SJames Wright   CeedScalar(*v)[CEED_Q_VLA]             = (CeedScalar(*)[CEED_Q_VLA])out[0];
3994b96a86bSJames Wright   CeedScalar(*jac_data_sur)              = context->is_implicit ? out[1] : NULL;
4008085925cSJames Wright 
401d3b25f3aSJames Wright   const bool is_implicit = context->is_implicit;
4028085925cSJames Wright 
4032b916ea7SJeremy L Thompson   CeedPragmaSIMD for (CeedInt i = 0; i < Q; i++) {
40441e73928SJames Wright     const CeedScalar qi[5] = {q[0][i], q[1][i], q[2][i], q[3][i], q[4][i]};
405edcfef1bSKenneth E. Jansen     State            s     = StateFromQ(context, qi, state_var);
4068085925cSJames Wright 
407ade49511SJames Wright     CeedScalar wdetJb, dXdx[2][3], norm[3];
408ade49511SJames Wright     QdataBoundaryUnpack_3D(Q, i, q_data_sur, &wdetJb, dXdx, norm);
409ade49511SJames Wright     wdetJb *= is_implicit ? -1. : 1.;
4108085925cSJames Wright 
411d3b25f3aSJames Wright     State grad_s[3];
412edcfef1bSKenneth E. Jansen     StatePhysicalGradientFromReference_Boundary(Q, i, context, s, state_var, Grad_q, dXdx, grad_s);
4138085925cSJames Wright 
414d3b25f3aSJames Wright     CeedScalar strain_rate[6], kmstress[6], stress[3][3], Fe[3];
41540a33f2dSJames Wright     KMStrainRate_State(grad_s, strain_rate);
416d3b25f3aSJames Wright     NewtonianStress(context, strain_rate, kmstress);
417d3b25f3aSJames Wright     KMUnpack(kmstress, stress);
418d3b25f3aSJames Wright     ViscousEnergyFlux(context, s.Y, grad_s, stress, Fe);
419d3b25f3aSJames Wright 
420d3b25f3aSJames Wright     StateConservative F_inviscid[3];
421d3b25f3aSJames Wright     FluxInviscid(context, s, F_inviscid);
422d3b25f3aSJames Wright 
423c5740391SJames Wright     CeedScalar Flux[5];
424c5740391SJames Wright     FluxTotal_Boundary(F_inviscid, stress, Fe, norm, Flux);
425d3b25f3aSJames Wright 
426c5740391SJames Wright     for (CeedInt j = 0; j < 5; j++) v[j][i] = -wdetJb * Flux[j];
4278085925cSJames Wright 
4284b96a86bSJames Wright     if (is_implicit) {
429ade49511SJames Wright       StoredValuesPack(Q, i, 0, 5, qi, jac_data_sur);
430ade49511SJames Wright       StoredValuesPack(Q, i, 5, 6, kmstress, jac_data_sur);
4318085925cSJames Wright     }
4324b96a86bSJames Wright   }
4338085925cSJames Wright   return 0;
4348085925cSJames Wright }
4358085925cSJames Wright 
4362b916ea7SJeremy L Thompson CEED_QFUNCTION(BoundaryIntegral_Conserv)(void *ctx, CeedInt Q, const CeedScalar *const *in, CeedScalar *const *out) {
4378fff8293SJames Wright   return BoundaryIntegral(ctx, Q, in, out, STATEVAR_CONSERVATIVE);
438d4559bbeSJames Wright }
439d4559bbeSJames Wright 
4402b916ea7SJeremy L Thompson CEED_QFUNCTION(BoundaryIntegral_Prim)(void *ctx, CeedInt Q, const CeedScalar *const *in, CeedScalar *const *out) {
4418fff8293SJames Wright   return BoundaryIntegral(ctx, Q, in, out, STATEVAR_PRIMITIVE);
442d4559bbeSJames Wright }
443d4559bbeSJames Wright 
444*9b103f75SJames Wright CEED_QFUNCTION(BoundaryIntegral_Entropy)(void *ctx, CeedInt Q, const CeedScalar *const *in, CeedScalar *const *out) {
445*9b103f75SJames Wright   return BoundaryIntegral(ctx, Q, in, out, STATEVAR_ENTROPY);
446*9b103f75SJames Wright }
447*9b103f75SJames Wright 
448d1b9ef12SLeila Ghaffari // *****************************************************************************
44968ae065aSJames Wright // Jacobian for "set nothing" boundary integral
450d1b9ef12SLeila Ghaffari // *****************************************************************************
4512b916ea7SJeremy L Thompson CEED_QFUNCTION_HELPER int BoundaryIntegral_Jacobian(void *ctx, CeedInt Q, const CeedScalar *const *in, CeedScalar *const *out,
4528fff8293SJames Wright                                                     StateVariable state_var) {
4533d65b166SJames Wright   const CeedScalar(*dq)[CEED_Q_VLA] = (const CeedScalar(*)[CEED_Q_VLA])in[0];
45487bd45e7SJames Wright   const CeedScalar(*Grad_dq)        = in[1];
455ade49511SJames Wright   const CeedScalar(*q_data_sur)     = in[2];
456c1484fadSKenneth E. Jansen   const CeedScalar(*jac_data_sur)   = in[4];
45768ae065aSJames Wright   CeedScalar(*v)[CEED_Q_VLA]        = (CeedScalar(*)[CEED_Q_VLA])out[0];
45868ae065aSJames Wright 
45968ae065aSJames Wright   const NewtonianIdealGasContext context     = (NewtonianIdealGasContext)ctx;
460ade49511SJames Wright   const bool                     is_implicit = context->is_implicit;
46168ae065aSJames Wright 
4623d65b166SJames Wright   CeedPragmaSIMD for (CeedInt i = 0; i < Q; i++) {
463ade49511SJames Wright     CeedScalar wdetJb, dXdx[2][3], norm[3];
464ade49511SJames Wright     QdataBoundaryUnpack_3D(Q, i, q_data_sur, &wdetJb, dXdx, norm);
465ade49511SJames Wright     wdetJb *= is_implicit ? -1. : 1.;
46668ae065aSJames Wright 
467edcfef1bSKenneth E. Jansen     CeedScalar qi[5], kmstress[6], dqi[5];
468ade49511SJames Wright     StoredValuesUnpack(Q, i, 0, 5, jac_data_sur, qi);
469ade49511SJames Wright     StoredValuesUnpack(Q, i, 5, 6, jac_data_sur, kmstress);
47041e73928SJames Wright     for (int j = 0; j < 5; j++) dqi[j] = dq[j][i];
4713934e2b1SJames Wright 
472edcfef1bSKenneth E. Jansen     State s  = StateFromQ(context, qi, state_var);
473edcfef1bSKenneth E. Jansen     State ds = StateFromQ_fwd(context, s, dqi, state_var);
47468ae065aSJames Wright 
47568ae065aSJames Wright     State grad_ds[3];
476edcfef1bSKenneth E. Jansen     StatePhysicalGradientFromReference_Boundary(Q, i, context, s, state_var, Grad_dq, dXdx, grad_ds);
47768ae065aSJames Wright 
47868ae065aSJames Wright     CeedScalar dstrain_rate[6], dkmstress[6], stress[3][3], dstress[3][3], dFe[3];
47940a33f2dSJames Wright     KMStrainRate_State(grad_ds, dstrain_rate);
48068ae065aSJames Wright     NewtonianStress(context, dstrain_rate, dkmstress);
48168ae065aSJames Wright     KMUnpack(dkmstress, dstress);
48268ae065aSJames Wright     KMUnpack(kmstress, stress);
48368ae065aSJames Wright     ViscousEnergyFlux_fwd(context, s.Y, ds.Y, grad_ds, stress, dstress, dFe);
48468ae065aSJames Wright 
48568ae065aSJames Wright     StateConservative dF_inviscid[3];
48668ae065aSJames Wright     FluxInviscid_fwd(context, s, ds, dF_inviscid);
48768ae065aSJames Wright 
488c5740391SJames Wright     CeedScalar dFlux[5];
489c5740391SJames Wright     FluxTotal_Boundary(dF_inviscid, dstress, dFe, norm, dFlux);
49068ae065aSJames Wright 
491c5740391SJames Wright     for (int j = 0; j < 5; j++) v[j][i] = -wdetJb * dFlux[j];
492512c8ec7SJames Wright   }
49368ae065aSJames Wright   return 0;
49468ae065aSJames Wright }
49568ae065aSJames Wright 
4962b916ea7SJeremy L Thompson CEED_QFUNCTION(BoundaryIntegral_Jacobian_Conserv)(void *ctx, CeedInt Q, const CeedScalar *const *in, CeedScalar *const *out) {
4978fff8293SJames Wright   return BoundaryIntegral_Jacobian(ctx, Q, in, out, STATEVAR_CONSERVATIVE);
498d4559bbeSJames Wright }
499d4559bbeSJames Wright 
5002b916ea7SJeremy L Thompson CEED_QFUNCTION(BoundaryIntegral_Jacobian_Prim)(void *ctx, CeedInt Q, const CeedScalar *const *in, CeedScalar *const *out) {
5018fff8293SJames Wright   return BoundaryIntegral_Jacobian(ctx, Q, in, out, STATEVAR_PRIMITIVE);
502d4559bbeSJames Wright }
503*9b103f75SJames Wright 
504*9b103f75SJames Wright CEED_QFUNCTION(BoundaryIntegral_Jacobian_Entropy)(void *ctx, CeedInt Q, const CeedScalar *const *in, CeedScalar *const *out) {
505*9b103f75SJames Wright   return BoundaryIntegral_Jacobian(ctx, Q, in, out, STATEVAR_ENTROPY);
506*9b103f75SJames Wright }
507