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