xref: /libCEED/examples/fluids/qfunctions/newtonian.h (revision a2d72b6f1ed489cbeb0eb5f72cf8bf977e7ff50a)
15aed82e4SJeremy L Thompson // Copyright (c) 2017-2024, Lawrence Livermore National Security, LLC and other CEED contributors.
23d8e8822SJeremy L Thompson // All Rights Reserved. See the top-level LICENSE and NOTICE files for details.
388b783a1SJames Wright //
43d8e8822SJeremy L Thompson // SPDX-License-Identifier: BSD-2-Clause
588b783a1SJames Wright //
63d8e8822SJeremy L Thompson // This file is part of CEED:  http://github.com/ceed
788b783a1SJames Wright 
888b783a1SJames Wright /// @file
988b783a1SJames Wright /// Operator for Navier-Stokes example using PETSc
1088b783a1SJames Wright #include <ceed.h>
11c9c2c079SJeremy L Thompson #include <math.h>
12738af36cSAdelekeBankole #include <stdlib.h>
132b730f8bSJeremy L Thompson 
14c6e8c570SJames Wright #include "newtonian_state.h"
15c9c2c079SJeremy L Thompson #include "newtonian_types.h"
162b89d87eSLeila Ghaffari #include "stabilization.h"
17c9c2c079SJeremy L Thompson #include "utils.h"
1888626eedSJames Wright 
191d2a9659SKenneth E. Jansen CEED_QFUNCTION_HELPER void InternalDampingLayer(const NewtonianIdealGasContext context, const State s, const CeedScalar sigma, CeedScalar damp_Y[5],
20530ad8c4SKenneth E. Jansen                                                 CeedScalar damp_residual[5]) {
21530ad8c4SKenneth E. Jansen   ScaleN(damp_Y, sigma, 5);
223bd61617SKenneth E. Jansen   State damp_s = StateFromY_fwd(context, s, damp_Y);
23530ad8c4SKenneth E. Jansen 
24530ad8c4SKenneth E. Jansen   CeedScalar U[5];
25530ad8c4SKenneth E. Jansen   UnpackState_U(damp_s.U, U);
26530ad8c4SKenneth E. Jansen   for (int i = 0; i < 5; i++) damp_residual[i] += U[i];
27530ad8c4SKenneth E. Jansen }
28530ad8c4SKenneth E. Jansen 
2988626eedSJames Wright // *****************************************************************************
3088b783a1SJames Wright // This QFunction sets a "still" initial condition for generic Newtonian IG problems
3188b783a1SJames Wright // *****************************************************************************
32be91e165SJames Wright CEED_QFUNCTION_HELPER int ICsNewtonianIG(void *ctx, CeedInt Q, const CeedScalar *const *in, CeedScalar *const *out, StateVariable state_var) {
3388b783a1SJames Wright   CeedScalar(*q0)[CEED_Q_VLA] = (CeedScalar(*)[CEED_Q_VLA])out[0];
3488b783a1SJames Wright 
3588626eedSJames Wright   const SetupContext context = (SetupContext)ctx;
3688626eedSJames Wright 
372b730f8bSJeremy L Thompson   CeedPragmaSIMD for (CeedInt i = 0; i < Q; i++) {
3888b783a1SJames Wright     CeedScalar q[5] = {0.};
393bd61617SKenneth E. Jansen     State      s    = StateFromPrimitive(&context->gas, context->reference);
40be91e165SJames Wright     StateToQ(&context->gas, s, q, state_var);
412b730f8bSJeremy L Thompson     for (CeedInt j = 0; j < 5; j++) q0[j][i] = q[j];
42f0b01153SJames Wright   }
4388b783a1SJames Wright   return 0;
4488b783a1SJames Wright }
4588b783a1SJames Wright 
46*a2d72b6fSJames Wright CEED_QFUNCTION(ICsNewtonianIG_Conserv)(void *ctx, CeedInt Q, const CeedScalar *const *in, CeedScalar *const *out) {
47*a2d72b6fSJames Wright   return ICsNewtonianIG(ctx, Q, in, out, STATEVAR_CONSERVATIVE);
48*a2d72b6fSJames Wright }
49*a2d72b6fSJames Wright 
502b730f8bSJeremy L Thompson CEED_QFUNCTION(ICsNewtonianIG_Prim)(void *ctx, CeedInt Q, const CeedScalar *const *in, CeedScalar *const *out) {
51be91e165SJames Wright   return ICsNewtonianIG(ctx, Q, in, out, STATEVAR_PRIMITIVE);
52d310b3d3SAdeleke O. Bankole }
53*a2d72b6fSJames Wright 
54*a2d72b6fSJames Wright CEED_QFUNCTION(ICsNewtonianIG_Entropy)(void *ctx, CeedInt Q, const CeedScalar *const *in, CeedScalar *const *out) {
55*a2d72b6fSJames Wright   return ICsNewtonianIG(ctx, Q, in, out, STATEVAR_ENTROPY);
56dc805cc4SLeila Ghaffari }
57dc805cc4SLeila Ghaffari 
580fcbc436SJames Wright CEED_QFUNCTION_HELPER void MassFunction_Newtonian(void *ctx, CeedInt Q, const CeedScalar *const *in, CeedScalar *const *out,
590fcbc436SJames Wright                                                   StateVariable state_var) {
600fcbc436SJames Wright   const CeedScalar(*q_dot)[CEED_Q_VLA] = (const CeedScalar(*)[CEED_Q_VLA])in[0];
610fcbc436SJames Wright   const CeedScalar(*q)[CEED_Q_VLA]     = (const CeedScalar(*)[CEED_Q_VLA])in[1];
620fcbc436SJames Wright   const CeedScalar(*q_data)            = in[2];
630fcbc436SJames Wright   CeedScalar(*v)[CEED_Q_VLA]           = (CeedScalar(*)[CEED_Q_VLA])out[0];
640fcbc436SJames Wright   CeedScalar(*Grad_v)[5][CEED_Q_VLA]   = (CeedScalar(*)[5][CEED_Q_VLA])out[1];
650fcbc436SJames Wright 
660fcbc436SJames Wright   NewtonianIdealGasContext context = (NewtonianIdealGasContext)ctx;
670fcbc436SJames Wright 
680fcbc436SJames Wright   CeedPragmaSIMD for (CeedInt i = 0; i < Q; i++) {
690fcbc436SJames Wright     const CeedScalar qi[5]     = {q[0][i], q[1][i], q[2][i], q[3][i], q[4][i]};
700fcbc436SJames 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]};
710fcbc436SJames Wright     const State      s         = StateFromQ(context, qi, state_var);
720fcbc436SJames Wright     const State      s_dot     = StateFromQ(context, qi_dot, state_var);
730fcbc436SJames Wright     CeedScalar       wdetJ, dXdx[3][3];
740fcbc436SJames Wright     QdataUnpack_3D(Q, i, q_data, &wdetJ, dXdx);
750fcbc436SJames Wright 
760fcbc436SJames Wright     // Standard mass matrix term
770fcbc436SJames Wright     for (CeedInt f = 0; f < 5; f++) {
780fcbc436SJames Wright       v[f][i] = wdetJ * qi_dot[f];
790fcbc436SJames Wright     }
800fcbc436SJames Wright 
810fcbc436SJames Wright     // Stabilization method: none (Galerkin), SU, or SUPG
820fcbc436SJames Wright     State      grad_s[3] = {{{0.}}};
830fcbc436SJames Wright     CeedScalar Tau_d[3], stab[5][3], body_force[5] = {0.}, U_dot[5];
840fcbc436SJames Wright     UnpackState_U(s_dot.U, U_dot);
850fcbc436SJames Wright     Tau_diagPrim(context, s, dXdx, context->dt, Tau_d);
860fcbc436SJames Wright     Stabilization(context, s, Tau_d, grad_s, U_dot, body_force, stab);
870fcbc436SJames Wright 
880fcbc436SJames Wright     // Stabilized mass term
890fcbc436SJames Wright     for (CeedInt j = 0; j < 5; j++) {
900fcbc436SJames Wright       for (CeedInt k = 0; k < 3; k++) {
910fcbc436SJames 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]);
920fcbc436SJames Wright       }
930fcbc436SJames Wright     }
940fcbc436SJames Wright   }
950fcbc436SJames Wright }
960fcbc436SJames Wright 
970fcbc436SJames Wright CEED_QFUNCTION(MassFunction_Newtonian_Conserv)(void *ctx, CeedInt Q, const CeedScalar *const *in, CeedScalar *const *out) {
980fcbc436SJames Wright   MassFunction_Newtonian(ctx, Q, in, out, STATEVAR_CONSERVATIVE);
990fcbc436SJames Wright   return 0;
1000fcbc436SJames Wright }
1010fcbc436SJames Wright 
102dc805cc4SLeila Ghaffari // *****************************************************************************
103ea61e9acSJeremy L Thompson // This QFunction implements the following formulation of Navier-Stokes with explicit time stepping method
10488b783a1SJames Wright //
105ea61e9acSJeremy L Thompson // This is 3D compressible Navier-Stokes in conservation form with state variables of density, momentum density, and total energy density.
10688b783a1SJames Wright //
10788b783a1SJames Wright // State Variables: q = ( rho, U1, U2, U3, E )
10888b783a1SJames Wright //   rho - Mass Density
10988b783a1SJames Wright //   Ui  - Momentum Density,      Ui = rho ui
11088b783a1SJames Wright //   E   - Total Energy Density,  E  = rho (cv T + (u u)/2 + g z)
11188b783a1SJames Wright //
11288b783a1SJames Wright // Navier-Stokes Equations:
11388b783a1SJames Wright //   drho/dt + div( U )                               = 0
11488b783a1SJames Wright //   dU/dt   + div( rho (u x u) + P I3 ) + rho g khat = div( Fu )
11588b783a1SJames Wright //   dE/dt   + div( (E + P) u )                       = div( Fe )
11688b783a1SJames Wright //
11788b783a1SJames Wright // Viscous Stress:
11888b783a1SJames Wright //   Fu = mu (grad( u ) + grad( u )^T + lambda div ( u ) I3)
11988b783a1SJames Wright //
12088b783a1SJames Wright // Thermal Stress:
12188b783a1SJames Wright //   Fe = u Fu + k grad( T )
12288626eedSJames Wright // Equation of State
12388b783a1SJames Wright //   P = (gamma - 1) (E - rho (u u) / 2 - rho g z)
12488b783a1SJames Wright //
12588b783a1SJames Wright // Stabilization:
12688b783a1SJames Wright //   Tau = diag(TauC, TauM, TauM, TauM, TauE)
12788b783a1SJames Wright //     f1 = rho  sqrt(ui uj gij)
12888b783a1SJames Wright //     gij = dXi/dX * dXi/dX
12988b783a1SJames Wright //     TauC = Cc f1 / (8 gii)
13088b783a1SJames Wright //     TauM = min( 1 , 1 / f1 )
13188b783a1SJames Wright //     TauE = TauM / (Ce cv)
13288b783a1SJames Wright //
13388b783a1SJames Wright //  SU   = Galerkin + grad(v) . ( Ai^T * Tau * (Aj q,j) )
13488b783a1SJames Wright //
13588b783a1SJames Wright // Constants:
13688b783a1SJames Wright //   lambda = - 2 / 3,  From Stokes hypothesis
13788b783a1SJames Wright //   mu              ,  Dynamic viscosity
13888b783a1SJames Wright //   k               ,  Thermal conductivity
13988b783a1SJames Wright //   cv              ,  Specific heat, constant volume
14088b783a1SJames Wright //   cp              ,  Specific heat, constant pressure
14188b783a1SJames Wright //   g               ,  Gravity
14288b783a1SJames Wright //   gamma  = cp / cv,  Specific heat ratio
14388b783a1SJames Wright //
144ea61e9acSJeremy 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
145ea61e9acSJeremy L Thompson // gradu )
14688b783a1SJames Wright // *****************************************************************************
1472b730f8bSJeremy L Thompson CEED_QFUNCTION(RHSFunction_Newtonian)(void *ctx, CeedInt Q, const CeedScalar *const *in, CeedScalar *const *out) {
14846603fc5SJames Wright   const CeedScalar(*q)[CEED_Q_VLA]   = (const CeedScalar(*)[CEED_Q_VLA])in[0];
1499b6a821dSJames Wright   const CeedScalar(*Grad_q)          = in[1];
150f3e15844SJames Wright   const CeedScalar(*q_data)          = in[2];
1517a57a7a0SJames Wright   const CeedScalar(*x)[CEED_Q_VLA]   = (const CeedScalar(*)[CEED_Q_VLA])in[3];
15246603fc5SJames Wright   CeedScalar(*v)[CEED_Q_VLA]         = (CeedScalar(*)[CEED_Q_VLA])out[0];
15346603fc5SJames Wright   CeedScalar(*Grad_v)[5][CEED_Q_VLA] = (CeedScalar(*)[5][CEED_Q_VLA])out[1];
15488b783a1SJames Wright 
15588b783a1SJames Wright   NewtonianIdealGasContext context = (NewtonianIdealGasContext)ctx;
15688626eedSJames Wright   const CeedScalar        *g       = context->g;
15788626eedSJames Wright   const CeedScalar         dt      = context->dt;
1587a57a7a0SJames Wright   const CeedScalar         P0      = context->idl_pressure;
15988b783a1SJames Wright 
16046603fc5SJames Wright   CeedPragmaSIMD for (CeedInt i = 0; i < Q; i++) {
161f3e15844SJames Wright     CeedScalar       U[5], wdetJ, dXdx[3][3];
1627a57a7a0SJames Wright     const CeedScalar x_i[3] = {x[0][i], x[1][i], x[2][i]};
1635c677226SJed Brown     for (int j = 0; j < 5; j++) U[j] = q[j][i];
16442c90babSJames Wright     QdataUnpack_3D(Q, i, q_data, &wdetJ, dXdx);
1653bd61617SKenneth E. Jansen     State s = StateFromU(context, U);
1665c677226SJed Brown 
1675c677226SJed Brown     State grad_s[3];
1683bd61617SKenneth E. Jansen     StatePhysicalGradientFromReference(Q, i, context, s, STATEVAR_CONSERVATIVE, Grad_q, dXdx, grad_s);
1695c677226SJed Brown 
1705c677226SJed Brown     CeedScalar strain_rate[6], kmstress[6], stress[3][3], Fe[3];
171d08fcc28SJames Wright     KMStrainRate_State(grad_s, strain_rate);
1725c677226SJed Brown     NewtonianStress(context, strain_rate, kmstress);
1735c677226SJed Brown     KMUnpack(kmstress, stress);
1745c677226SJed Brown     ViscousEnergyFlux(context, s.Y, grad_s, stress, Fe);
1755c677226SJed Brown 
1765c677226SJed Brown     StateConservative F_inviscid[3];
1775c677226SJed Brown     FluxInviscid(context, s, F_inviscid);
1785c677226SJed Brown 
1795c677226SJed Brown     // Total flux
1805c677226SJed Brown     CeedScalar Flux[5][3];
1812b89d87eSLeila Ghaffari     FluxTotal(F_inviscid, stress, Fe, Flux);
1825c677226SJed Brown 
1837b69c783SJames Wright     for (CeedInt j = 0; j < 5; j++) {
1847b69c783SJames 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]);
1852b730f8bSJeremy L Thompson     }
1865c677226SJed Brown 
187858ec087SKenneth 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)};
1882b730f8bSJeremy L Thompson     for (int j = 0; j < 5; j++) v[j][i] = wdetJ * body_force[j];
18988b783a1SJames Wright 
1907a57a7a0SJames Wright     if (context->idl_enable) {
1917a57a7a0SJames Wright       const CeedScalar sigma         = LinearRampCoefficient(context->idl_amplitude, context->idl_length, context->idl_start, x_i[0]);
1927a57a7a0SJames Wright       CeedScalar       damp_state[5] = {s.Y.pressure - P0, 0, 0, 0, 0}, idl_residual[5] = {0.};
1937a57a7a0SJames Wright       InternalDampingLayer(context, s, sigma, damp_state, idl_residual);
1947a57a7a0SJames Wright       for (int j = 0; j < 5; j++) v[j][i] -= wdetJ * idl_residual[j];
1957a57a7a0SJames Wright     }
1967a57a7a0SJames Wright 
1972b89d87eSLeila Ghaffari     // -- Stabilization method: none (Galerkin), SU, or SUPG
1982b89d87eSLeila Ghaffari     CeedScalar Tau_d[3], stab[5][3], U_dot[5] = {0};
1992b89d87eSLeila Ghaffari     Tau_diagPrim(context, s, dXdx, dt, Tau_d);
2003bd61617SKenneth E. Jansen     Stabilization(context, s, Tau_d, grad_s, U_dot, body_force, stab);
20188b783a1SJames Wright 
2022b730f8bSJeremy L Thompson     for (CeedInt j = 0; j < 5; j++) {
2032b730f8bSJeremy 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]);
2042b730f8bSJeremy L Thompson     }
205f0b01153SJames Wright   }
20688b783a1SJames Wright   return 0;
20788b783a1SJames Wright }
20888b783a1SJames Wright 
20988b783a1SJames Wright // *****************************************************************************
210ea61e9acSJeremy L Thompson // This QFunction implements the Navier-Stokes equations (mentioned above) with implicit time stepping method
21188b783a1SJames Wright //
21288b783a1SJames Wright //  SU   = Galerkin + grad(v) . ( Ai^T * Tau * (Aj q,j) )
21388b783a1SJames Wright //  SUPG = Galerkin + grad(v) . ( Ai^T * Tau * (q_dot + Aj q,j - body force) )
214ea61e9acSJeremy L Thompson //                                       (diffusive terms will be added later)
21588b783a1SJames Wright // *****************************************************************************
216be91e165SJames Wright CEED_QFUNCTION_HELPER int IFunction_Newtonian(void *ctx, CeedInt Q, const CeedScalar *const *in, CeedScalar *const *out, StateVariable state_var) {
21746603fc5SJames Wright   const CeedScalar(*q)[CEED_Q_VLA]     = (const CeedScalar(*)[CEED_Q_VLA])in[0];
2189b6a821dSJames Wright   const CeedScalar(*Grad_q)            = in[1];
21946603fc5SJames Wright   const CeedScalar(*q_dot)[CEED_Q_VLA] = (const CeedScalar(*)[CEED_Q_VLA])in[2];
220f3e15844SJames Wright   const CeedScalar(*q_data)            = in[3];
22146603fc5SJames Wright   const CeedScalar(*x)[CEED_Q_VLA]     = (const CeedScalar(*)[CEED_Q_VLA])in[4];
22246603fc5SJames Wright   CeedScalar(*v)[CEED_Q_VLA]           = (CeedScalar(*)[CEED_Q_VLA])out[0];
22346603fc5SJames Wright   CeedScalar(*Grad_v)[5][CEED_Q_VLA]   = (CeedScalar(*)[5][CEED_Q_VLA])out[1];
224f3e15844SJames Wright   CeedScalar(*jac_data)                = out[2];
22546603fc5SJames Wright 
22688b783a1SJames Wright   NewtonianIdealGasContext context = (NewtonianIdealGasContext)ctx;
22788626eedSJames Wright   const CeedScalar        *g       = context->g;
22888626eedSJames Wright   const CeedScalar         dt      = context->dt;
229ff9b3c0eSJames Wright   const CeedScalar         P0      = context->idl_pressure;
23088b783a1SJames Wright 
23146603fc5SJames Wright   CeedPragmaSIMD for (CeedInt i = 0; i < Q; i++) {
23246603fc5SJames Wright     const CeedScalar qi[5]  = {q[0][i], q[1][i], q[2][i], q[3][i], q[4][i]};
2335c677226SJed Brown     const CeedScalar x_i[3] = {x[0][i], x[1][i], x[2][i]};
2343bd61617SKenneth E. Jansen     const State      s      = StateFromQ(context, qi, state_var);
2355c677226SJed Brown 
236f3e15844SJames Wright     CeedScalar wdetJ, dXdx[3][3];
237f3e15844SJames Wright     QdataUnpack_3D(Q, i, q_data, &wdetJ, dXdx);
2385c677226SJed Brown     State grad_s[3];
2393bd61617SKenneth E. Jansen     StatePhysicalGradientFromReference(Q, i, context, s, state_var, Grad_q, dXdx, grad_s);
2405c677226SJed Brown 
2415c677226SJed Brown     CeedScalar strain_rate[6], kmstress[6], stress[3][3], Fe[3];
242d08fcc28SJames Wright     KMStrainRate_State(grad_s, strain_rate);
2435c677226SJed Brown     NewtonianStress(context, strain_rate, kmstress);
2445c677226SJed Brown     KMUnpack(kmstress, stress);
2455c677226SJed Brown     ViscousEnergyFlux(context, s.Y, grad_s, stress, Fe);
2465c677226SJed Brown 
2475c677226SJed Brown     StateConservative F_inviscid[3];
2485c677226SJed Brown     FluxInviscid(context, s, F_inviscid);
2495c677226SJed Brown 
2505c677226SJed Brown     // Total flux
2515c677226SJed Brown     CeedScalar Flux[5][3];
2522b89d87eSLeila Ghaffari     FluxTotal(F_inviscid, stress, Fe, Flux);
2535c677226SJed Brown 
2547b69c783SJames Wright     for (CeedInt j = 0; j < 5; j++) {
2557b69c783SJames Wright       for (CeedInt k = 0; k < 3; k++) {
2567b69c783SJames 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]);
25746603fc5SJames Wright       }
2582b730f8bSJeremy L Thompson     }
2595c677226SJed Brown 
260858ec087SKenneth 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)};
26188b783a1SJames Wright 
2622b89d87eSLeila Ghaffari     // -- Stabilization method: none (Galerkin), SU, or SUPG
2633bd61617SKenneth E. Jansen     CeedScalar Tau_d[3], stab[5][3], U_dot[5] = {0}, qi_dot[5];
2643d02368aSJames Wright     for (int j = 0; j < 5; j++) qi_dot[j] = q_dot[j][i];
2653bd61617SKenneth E. Jansen     State s_dot = StateFromQ_fwd(context, s, qi_dot, state_var);
2663d02368aSJames Wright     UnpackState_U(s_dot.U, U_dot);
2673d02368aSJames Wright 
2682b730f8bSJeremy L Thompson     for (CeedInt j = 0; j < 5; j++) v[j][i] = wdetJ * (U_dot[j] - body_force[j]);
269530ad8c4SKenneth E. Jansen     if (context->idl_enable) {
2701d2a9659SKenneth E. Jansen       const CeedScalar sigma = LinearRampCoefficient(context->idl_amplitude, context->idl_length, context->idl_start, x_i[0]);
2711d2a9659SKenneth E. Jansen       StoredValuesPack(Q, i, 14, 1, &sigma, jac_data);
272530ad8c4SKenneth E. Jansen       CeedScalar damp_state[5] = {s.Y.pressure - P0, 0, 0, 0, 0}, idl_residual[5] = {0.};
2731d2a9659SKenneth E. Jansen       InternalDampingLayer(context, s, sigma, damp_state, idl_residual);
274530ad8c4SKenneth E. Jansen       for (int j = 0; j < 5; j++) v[j][i] += wdetJ * idl_residual[j];
275530ad8c4SKenneth E. Jansen     }
276530ad8c4SKenneth E. Jansen 
2772b89d87eSLeila Ghaffari     Tau_diagPrim(context, s, dXdx, dt, Tau_d);
2783bd61617SKenneth E. Jansen     Stabilization(context, s, Tau_d, grad_s, U_dot, body_force, stab);
27988b783a1SJames Wright 
2802b730f8bSJeremy L Thompson     for (CeedInt j = 0; j < 5; j++) {
28146603fc5SJames Wright       for (CeedInt k = 0; k < 3; k++) {
28246603fc5SJames 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]);
28346603fc5SJames Wright       }
2842b730f8bSJeremy L Thompson     }
285f3e15844SJames Wright     StoredValuesPack(Q, i, 0, 5, qi, jac_data);
286f3e15844SJames Wright     StoredValuesPack(Q, i, 5, 6, kmstress, jac_data);
287f3e15844SJames Wright     StoredValuesPack(Q, i, 11, 3, Tau_d, jac_data);
288f0b01153SJames Wright   }
28988b783a1SJames Wright   return 0;
29088b783a1SJames Wright }
291e334ad8fSJed Brown 
2922b730f8bSJeremy L Thompson CEED_QFUNCTION(IFunction_Newtonian_Conserv)(void *ctx, CeedInt Q, const CeedScalar *const *in, CeedScalar *const *out) {
293be91e165SJames Wright   return IFunction_Newtonian(ctx, Q, in, out, STATEVAR_CONSERVATIVE);
2943d02368aSJames Wright }
2953d02368aSJames Wright 
2962b730f8bSJeremy L Thompson CEED_QFUNCTION(IFunction_Newtonian_Prim)(void *ctx, CeedInt Q, const CeedScalar *const *in, CeedScalar *const *out) {
297be91e165SJames Wright   return IFunction_Newtonian(ctx, Q, in, out, STATEVAR_PRIMITIVE);
2983d02368aSJames Wright }
2993d02368aSJames Wright 
300*a2d72b6fSJames Wright CEED_QFUNCTION(IFunction_Newtonian_Entropy)(void *ctx, CeedInt Q, const CeedScalar *const *in, CeedScalar *const *out) {
301*a2d72b6fSJames Wright   return IFunction_Newtonian(ctx, Q, in, out, STATEVAR_ENTROPY);
302*a2d72b6fSJames Wright }
303*a2d72b6fSJames Wright 
304dc805cc4SLeila Ghaffari // *****************************************************************************
305ea61e9acSJeremy L Thompson // This QFunction implements the jacobian of the Navier-Stokes equations for implicit time stepping method.
306dc805cc4SLeila Ghaffari // *****************************************************************************
307be91e165SJames Wright CEED_QFUNCTION_HELPER int IJacobian_Newtonian(void *ctx, CeedInt Q, const CeedScalar *const *in, CeedScalar *const *out, StateVariable state_var) {
30846603fc5SJames Wright   const CeedScalar(*dq)[CEED_Q_VLA]  = (const CeedScalar(*)[CEED_Q_VLA])in[0];
3099b6a821dSJames Wright   const CeedScalar(*Grad_dq)         = in[1];
310f3e15844SJames Wright   const CeedScalar(*q_data)          = in[2];
3111d2a9659SKenneth E. Jansen   const CeedScalar(*jac_data)        = in[3];
31246603fc5SJames Wright   CeedScalar(*v)[CEED_Q_VLA]         = (CeedScalar(*)[CEED_Q_VLA])out[0];
31346603fc5SJames Wright   CeedScalar(*Grad_v)[5][CEED_Q_VLA] = (CeedScalar(*)[5][CEED_Q_VLA])out[1];
31446603fc5SJames Wright 
315e334ad8fSJed Brown   NewtonianIdealGasContext context = (NewtonianIdealGasContext)ctx;
316e334ad8fSJed Brown   const CeedScalar        *g       = context->g;
317e334ad8fSJed Brown 
31846603fc5SJames Wright   CeedPragmaSIMD for (CeedInt i = 0; i < Q; i++) {
319f3e15844SJames Wright     CeedScalar wdetJ, dXdx[3][3];
320f3e15844SJames Wright     QdataUnpack_3D(Q, i, q_data, &wdetJ, dXdx);
321e334ad8fSJed Brown 
322c98a0616SJames Wright     CeedScalar qi[5], kmstress[6], Tau_d[3];
323f3e15844SJames Wright     StoredValuesUnpack(Q, i, 0, 5, jac_data, qi);
324f3e15844SJames Wright     StoredValuesUnpack(Q, i, 5, 6, jac_data, kmstress);
325f3e15844SJames Wright     StoredValuesUnpack(Q, i, 11, 3, jac_data, Tau_d);
3263bd61617SKenneth E. Jansen     State s = StateFromQ(context, qi, state_var);
327e334ad8fSJed Brown 
3283bd61617SKenneth E. Jansen     CeedScalar dqi[5];
3293d02368aSJames Wright     for (int j = 0; j < 5; j++) dqi[j] = dq[j][i];
3303bd61617SKenneth E. Jansen     State ds = StateFromQ_fwd(context, s, dqi, state_var);
331e334ad8fSJed Brown 
332e334ad8fSJed Brown     State grad_ds[3];
3333bd61617SKenneth E. Jansen     StatePhysicalGradientFromReference(Q, i, context, s, state_var, Grad_dq, dXdx, grad_ds);
334e334ad8fSJed Brown 
335e334ad8fSJed Brown     CeedScalar dstrain_rate[6], dkmstress[6], stress[3][3], dstress[3][3], dFe[3];
336d08fcc28SJames Wright     KMStrainRate_State(grad_ds, dstrain_rate);
337e334ad8fSJed Brown     NewtonianStress(context, dstrain_rate, dkmstress);
338e334ad8fSJed Brown     KMUnpack(dkmstress, dstress);
339e334ad8fSJed Brown     KMUnpack(kmstress, stress);
340e334ad8fSJed Brown     ViscousEnergyFlux_fwd(context, s.Y, ds.Y, grad_ds, stress, dstress, dFe);
341e334ad8fSJed Brown 
342e334ad8fSJed Brown     StateConservative dF_inviscid[3];
343e334ad8fSJed Brown     FluxInviscid_fwd(context, s, ds, dF_inviscid);
344e334ad8fSJed Brown 
345e334ad8fSJed Brown     // Total flux
346e334ad8fSJed Brown     CeedScalar dFlux[5][3];
3472b89d87eSLeila Ghaffari     FluxTotal(dF_inviscid, dstress, dFe, dFlux);
348e334ad8fSJed Brown 
34951b00d91SJames Wright     for (int j = 0; j < 5; j++) {
35051b00d91SJames 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]);
3512b730f8bSJeremy L Thompson     }
352e334ad8fSJed Brown 
353858ec087SKenneth 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)};
3543d02368aSJames Wright     CeedScalar       dU[5]          = {0.};
3553d02368aSJames Wright     UnpackState_U(ds.U, dU);
3562b730f8bSJeremy L Thompson     for (int j = 0; j < 5; j++) v[j][i] = wdetJ * (context->ijacobian_time_shift * dU[j] - dbody_force[j]);
357e334ad8fSJed Brown 
358530ad8c4SKenneth E. Jansen     if (context->idl_enable) {
3591d2a9659SKenneth E. Jansen       const CeedScalar sigma         = jac_data[14 * Q + i];
360530ad8c4SKenneth E. Jansen       CeedScalar       damp_state[5] = {ds.Y.pressure, 0, 0, 0, 0}, idl_residual[5] = {0.};
361530ad8c4SKenneth E. Jansen       // This is a Picard-type linearization of the damping and could be replaced by an InternalDampingLayer_fwd that uses s and ds.
3621d2a9659SKenneth E. Jansen       InternalDampingLayer(context, s, sigma, damp_state, idl_residual);
363530ad8c4SKenneth E. Jansen       for (int j = 0; j < 5; j++) v[j][i] += wdetJ * idl_residual[j];
364530ad8c4SKenneth E. Jansen     }
365530ad8c4SKenneth E. Jansen 
3662b89d87eSLeila Ghaffari     // -- Stabilization method: none (Galerkin), SU, or SUPG
3672b89d87eSLeila Ghaffari     CeedScalar dstab[5][3], U_dot[5] = {0};
3682b89d87eSLeila Ghaffari     for (CeedInt j = 0; j < 5; j++) U_dot[j] = context->ijacobian_time_shift * dU[j];
3693bd61617SKenneth E. Jansen     Stabilization(context, s, Tau_d, grad_ds, U_dot, dbody_force, dstab);
3702b89d87eSLeila Ghaffari 
3712b730f8bSJeremy L Thompson     for (int j = 0; j < 5; j++) {
3722b730f8bSJeremy 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]);
3732b730f8bSJeremy L Thompson     }
374f0b01153SJames Wright   }
375e334ad8fSJed Brown   return 0;
376e334ad8fSJed Brown }
37765dd5cafSJames Wright 
3782b730f8bSJeremy L Thompson CEED_QFUNCTION(IJacobian_Newtonian_Conserv)(void *ctx, CeedInt Q, const CeedScalar *const *in, CeedScalar *const *out) {
379be91e165SJames Wright   return IJacobian_Newtonian(ctx, Q, in, out, STATEVAR_CONSERVATIVE);
3803d02368aSJames Wright }
3813d02368aSJames Wright 
3822b730f8bSJeremy L Thompson CEED_QFUNCTION(IJacobian_Newtonian_Prim)(void *ctx, CeedInt Q, const CeedScalar *const *in, CeedScalar *const *out) {
383be91e165SJames Wright   return IJacobian_Newtonian(ctx, Q, in, out, STATEVAR_PRIMITIVE);
3843d02368aSJames Wright }
3853d02368aSJames Wright 
386*a2d72b6fSJames Wright CEED_QFUNCTION(IJacobian_Newtonian_Entropy)(void *ctx, CeedInt Q, const CeedScalar *const *in, CeedScalar *const *out) {
387*a2d72b6fSJames Wright   return IJacobian_Newtonian(ctx, Q, in, out, STATEVAR_ENTROPY);
388*a2d72b6fSJames Wright }
389*a2d72b6fSJames Wright 
3902b89d87eSLeila Ghaffari // *****************************************************************************
39165dd5cafSJames Wright // Compute boundary integral (ie. for strongly set inflows)
3922b89d87eSLeila Ghaffari // *****************************************************************************
393be91e165SJames Wright CEED_QFUNCTION_HELPER int BoundaryIntegral(void *ctx, CeedInt Q, const CeedScalar *const *in, CeedScalar *const *out, StateVariable state_var) {
394f21e6b1cSJames Wright   const NewtonianIdealGasContext context = (NewtonianIdealGasContext)ctx;
39546603fc5SJames Wright   const CeedScalar(*q)[CEED_Q_VLA]       = (const CeedScalar(*)[CEED_Q_VLA])in[0];
3969b6a821dSJames Wright   const CeedScalar(*Grad_q)              = in[1];
397f3e15844SJames Wright   const CeedScalar(*q_data_sur)          = in[2];
39846603fc5SJames Wright   CeedScalar(*v)[CEED_Q_VLA]             = (CeedScalar(*)[CEED_Q_VLA])out[0];
399f21e6b1cSJames Wright   CeedScalar(*jac_data_sur)              = context->is_implicit ? out[1] : NULL;
40065dd5cafSJames Wright 
4012c4e60d7SJames Wright   const bool is_implicit = context->is_implicit;
40265dd5cafSJames Wright 
4032b730f8bSJeremy L Thompson   CeedPragmaSIMD for (CeedInt i = 0; i < Q; i++) {
404efe9d856SJames Wright     const CeedScalar qi[5] = {q[0][i], q[1][i], q[2][i], q[3][i], q[4][i]};
4053bd61617SKenneth E. Jansen     State            s     = StateFromQ(context, qi, state_var);
40665dd5cafSJames Wright 
407f3e15844SJames Wright     CeedScalar wdetJb, dXdx[2][3], norm[3];
408f3e15844SJames Wright     QdataBoundaryUnpack_3D(Q, i, q_data_sur, &wdetJb, dXdx, norm);
409f3e15844SJames Wright     wdetJb *= is_implicit ? -1. : 1.;
41065dd5cafSJames Wright 
4112c4e60d7SJames Wright     State grad_s[3];
4123bd61617SKenneth E. Jansen     StatePhysicalGradientFromReference_Boundary(Q, i, context, s, state_var, Grad_q, dXdx, grad_s);
41365dd5cafSJames Wright 
4142c4e60d7SJames Wright     CeedScalar strain_rate[6], kmstress[6], stress[3][3], Fe[3];
415d08fcc28SJames Wright     KMStrainRate_State(grad_s, strain_rate);
4162c4e60d7SJames Wright     NewtonianStress(context, strain_rate, kmstress);
4172c4e60d7SJames Wright     KMUnpack(kmstress, stress);
4182c4e60d7SJames Wright     ViscousEnergyFlux(context, s.Y, grad_s, stress, Fe);
4192c4e60d7SJames Wright 
4202c4e60d7SJames Wright     StateConservative F_inviscid[3];
4212c4e60d7SJames Wright     FluxInviscid(context, s, F_inviscid);
4222c4e60d7SJames Wright 
4235bce47c7SJames Wright     CeedScalar Flux[5];
4245bce47c7SJames Wright     FluxTotal_Boundary(F_inviscid, stress, Fe, norm, Flux);
4252c4e60d7SJames Wright 
4265bce47c7SJames Wright     for (CeedInt j = 0; j < 5; j++) v[j][i] = -wdetJb * Flux[j];
42765dd5cafSJames Wright 
428f21e6b1cSJames Wright     if (is_implicit) {
429f3e15844SJames Wright       StoredValuesPack(Q, i, 0, 5, qi, jac_data_sur);
430f3e15844SJames Wright       StoredValuesPack(Q, i, 5, 6, kmstress, jac_data_sur);
43165dd5cafSJames Wright     }
432f21e6b1cSJames Wright   }
43365dd5cafSJames Wright   return 0;
43465dd5cafSJames Wright }
43565dd5cafSJames Wright 
4362b730f8bSJeremy L Thompson CEED_QFUNCTION(BoundaryIntegral_Conserv)(void *ctx, CeedInt Q, const CeedScalar *const *in, CeedScalar *const *out) {
437be91e165SJames Wright   return BoundaryIntegral(ctx, Q, in, out, STATEVAR_CONSERVATIVE);
43820840d50SJames Wright }
43920840d50SJames Wright 
4402b730f8bSJeremy L Thompson CEED_QFUNCTION(BoundaryIntegral_Prim)(void *ctx, CeedInt Q, const CeedScalar *const *in, CeedScalar *const *out) {
441be91e165SJames Wright   return BoundaryIntegral(ctx, Q, in, out, STATEVAR_PRIMITIVE);
44220840d50SJames Wright }
44320840d50SJames Wright 
444*a2d72b6fSJames Wright CEED_QFUNCTION(BoundaryIntegral_Entropy)(void *ctx, CeedInt Q, const CeedScalar *const *in, CeedScalar *const *out) {
445*a2d72b6fSJames Wright   return BoundaryIntegral(ctx, Q, in, out, STATEVAR_ENTROPY);
446*a2d72b6fSJames Wright }
447*a2d72b6fSJames Wright 
4482b89d87eSLeila Ghaffari // *****************************************************************************
449b55ac660SJames Wright // Jacobian for "set nothing" boundary integral
4502b89d87eSLeila Ghaffari // *****************************************************************************
4512b730f8bSJeremy L Thompson CEED_QFUNCTION_HELPER int BoundaryIntegral_Jacobian(void *ctx, CeedInt Q, const CeedScalar *const *in, CeedScalar *const *out,
452be91e165SJames Wright                                                     StateVariable state_var) {
45346603fc5SJames Wright   const CeedScalar(*dq)[CEED_Q_VLA] = (const CeedScalar(*)[CEED_Q_VLA])in[0];
4549b6a821dSJames Wright   const CeedScalar(*Grad_dq)        = in[1];
455f3e15844SJames Wright   const CeedScalar(*q_data_sur)     = in[2];
456c1d93bc4SKenneth E. Jansen   const CeedScalar(*jac_data_sur)   = in[4];
457b55ac660SJames Wright   CeedScalar(*v)[CEED_Q_VLA]        = (CeedScalar(*)[CEED_Q_VLA])out[0];
458b55ac660SJames Wright 
459b55ac660SJames Wright   const NewtonianIdealGasContext context     = (NewtonianIdealGasContext)ctx;
460f3e15844SJames Wright   const bool                     is_implicit = context->is_implicit;
461b55ac660SJames Wright 
46246603fc5SJames Wright   CeedPragmaSIMD for (CeedInt i = 0; i < Q; i++) {
463f3e15844SJames Wright     CeedScalar wdetJb, dXdx[2][3], norm[3];
464f3e15844SJames Wright     QdataBoundaryUnpack_3D(Q, i, q_data_sur, &wdetJb, dXdx, norm);
465f3e15844SJames Wright     wdetJb *= is_implicit ? -1. : 1.;
466b55ac660SJames Wright 
4673bd61617SKenneth E. Jansen     CeedScalar qi[5], kmstress[6], dqi[5];
468f3e15844SJames Wright     StoredValuesUnpack(Q, i, 0, 5, jac_data_sur, qi);
469f3e15844SJames Wright     StoredValuesUnpack(Q, i, 5, 6, jac_data_sur, kmstress);
470efe9d856SJames Wright     for (int j = 0; j < 5; j++) dqi[j] = dq[j][i];
47157e55a1cSJames Wright 
4723bd61617SKenneth E. Jansen     State s  = StateFromQ(context, qi, state_var);
4733bd61617SKenneth E. Jansen     State ds = StateFromQ_fwd(context, s, dqi, state_var);
474b55ac660SJames Wright 
475b55ac660SJames Wright     State grad_ds[3];
4763bd61617SKenneth E. Jansen     StatePhysicalGradientFromReference_Boundary(Q, i, context, s, state_var, Grad_dq, dXdx, grad_ds);
477b55ac660SJames Wright 
478b55ac660SJames Wright     CeedScalar dstrain_rate[6], dkmstress[6], stress[3][3], dstress[3][3], dFe[3];
479d08fcc28SJames Wright     KMStrainRate_State(grad_ds, dstrain_rate);
480b55ac660SJames Wright     NewtonianStress(context, dstrain_rate, dkmstress);
481b55ac660SJames Wright     KMUnpack(dkmstress, dstress);
482b55ac660SJames Wright     KMUnpack(kmstress, stress);
483b55ac660SJames Wright     ViscousEnergyFlux_fwd(context, s.Y, ds.Y, grad_ds, stress, dstress, dFe);
484b55ac660SJames Wright 
485b55ac660SJames Wright     StateConservative dF_inviscid[3];
486b55ac660SJames Wright     FluxInviscid_fwd(context, s, ds, dF_inviscid);
487b55ac660SJames Wright 
4885bce47c7SJames Wright     CeedScalar dFlux[5];
4895bce47c7SJames Wright     FluxTotal_Boundary(dF_inviscid, dstress, dFe, norm, dFlux);
490b55ac660SJames Wright 
4915bce47c7SJames Wright     for (int j = 0; j < 5; j++) v[j][i] = -wdetJb * dFlux[j];
4924c0e8230SJames Wright   }
493b55ac660SJames Wright   return 0;
494b55ac660SJames Wright }
495b55ac660SJames Wright 
4962b730f8bSJeremy L Thompson CEED_QFUNCTION(BoundaryIntegral_Jacobian_Conserv)(void *ctx, CeedInt Q, const CeedScalar *const *in, CeedScalar *const *out) {
497be91e165SJames Wright   return BoundaryIntegral_Jacobian(ctx, Q, in, out, STATEVAR_CONSERVATIVE);
49820840d50SJames Wright }
49920840d50SJames Wright 
5002b730f8bSJeremy L Thompson CEED_QFUNCTION(BoundaryIntegral_Jacobian_Prim)(void *ctx, CeedInt Q, const CeedScalar *const *in, CeedScalar *const *out) {
501be91e165SJames Wright   return BoundaryIntegral_Jacobian(ctx, Q, in, out, STATEVAR_PRIMITIVE);
50220840d50SJames Wright }
503*a2d72b6fSJames Wright 
504*a2d72b6fSJames Wright CEED_QFUNCTION(BoundaryIntegral_Jacobian_Entropy)(void *ctx, CeedInt Q, const CeedScalar *const *in, CeedScalar *const *out) {
505*a2d72b6fSJames Wright   return BoundaryIntegral_Jacobian(ctx, Q, in, out, STATEVAR_ENTROPY);
506*a2d72b6fSJames Wright }
507