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