1*d1b9ef12SLeila Ghaffari // Copyright (c) 2017-2022, Lawrence Livermore National Security, LLC and other CEED contributors. 2*d1b9ef12SLeila Ghaffari // All Rights Reserved. See the top-level LICENSE and NOTICE files for details. 3*d1b9ef12SLeila Ghaffari // 4*d1b9ef12SLeila Ghaffari // SPDX-License-Identifier: BSD-2-Clause 5*d1b9ef12SLeila Ghaffari // 6*d1b9ef12SLeila Ghaffari // This file is part of CEED: http://github.com/ceed 7*d1b9ef12SLeila Ghaffari 8*d1b9ef12SLeila Ghaffari /// @file 9*d1b9ef12SLeila Ghaffari /// Helper functions for computing stabilization terms of a newtonian simulation 10*d1b9ef12SLeila Ghaffari 11*d1b9ef12SLeila Ghaffari 12*d1b9ef12SLeila Ghaffari #ifndef stabilization_h 13*d1b9ef12SLeila Ghaffari #define stabilization_h 14*d1b9ef12SLeila Ghaffari 15*d1b9ef12SLeila Ghaffari #include "newtonian_state.h" 16*d1b9ef12SLeila Ghaffari #include <ceed.h> 17*d1b9ef12SLeila Ghaffari 18*d1b9ef12SLeila Ghaffari // ***************************************************************************** 19*d1b9ef12SLeila Ghaffari // Helper function for computing the variation in primitive variables, 20*d1b9ef12SLeila Ghaffari // given Tau_d 21*d1b9ef12SLeila Ghaffari // ***************************************************************************** 22*d1b9ef12SLeila Ghaffari CEED_QFUNCTION_HELPER void dYFromTau(CeedScalar Y[5], CeedScalar Tau_d[3], 23*d1b9ef12SLeila Ghaffari CeedScalar dY[5]) { 24*d1b9ef12SLeila Ghaffari dY[0] = Tau_d[0] * Y[0]; 25*d1b9ef12SLeila Ghaffari dY[1] = Tau_d[1] * Y[1]; 26*d1b9ef12SLeila Ghaffari dY[2] = Tau_d[1] * Y[2]; 27*d1b9ef12SLeila Ghaffari dY[3] = Tau_d[1] * Y[3]; 28*d1b9ef12SLeila Ghaffari dY[4] = Tau_d[2] * Y[4]; 29*d1b9ef12SLeila Ghaffari } 30*d1b9ef12SLeila Ghaffari 31*d1b9ef12SLeila Ghaffari // ***************************************************************************** 32*d1b9ef12SLeila Ghaffari // Helper functions for computing the stabilization terms 33*d1b9ef12SLeila Ghaffari // ***************************************************************************** 34*d1b9ef12SLeila Ghaffari CEED_QFUNCTION_HELPER void StabilizationMatrix(NewtonianIdealGasContext gas, 35*d1b9ef12SLeila Ghaffari State s, CeedScalar Tau_d[3], CeedScalar R[5], const CeedScalar x[3], 36*d1b9ef12SLeila Ghaffari CeedScalar stab[5][3]) { 37*d1b9ef12SLeila Ghaffari CeedScalar dY[5]; 38*d1b9ef12SLeila Ghaffari const CeedScalar dx_i[3] = {0}; 39*d1b9ef12SLeila Ghaffari StateConservative dF[3]; 40*d1b9ef12SLeila Ghaffari // Zero stab so all future terms can safely sum into it 41*d1b9ef12SLeila Ghaffari for (CeedInt i=0; i<5; i++) 42*d1b9ef12SLeila Ghaffari for (CeedInt j=0; j<3; j++) 43*d1b9ef12SLeila Ghaffari stab[i][j] = 0; 44*d1b9ef12SLeila Ghaffari dYFromTau(R, Tau_d, dY); 45*d1b9ef12SLeila Ghaffari State ds = StateFromY_fwd(gas, s, dY, x, dx_i); 46*d1b9ef12SLeila Ghaffari FluxInviscid_fwd(gas, s, ds, dF); 47*d1b9ef12SLeila Ghaffari for (CeedInt i=0; i<3; i++) { 48*d1b9ef12SLeila Ghaffari CeedScalar dF_i[5]; 49*d1b9ef12SLeila Ghaffari UnpackState_U(dF[i], dF_i); 50*d1b9ef12SLeila Ghaffari for (CeedInt j=0; j<5; j++) 51*d1b9ef12SLeila Ghaffari stab[j][i] += dF_i[j]; 52*d1b9ef12SLeila Ghaffari } 53*d1b9ef12SLeila Ghaffari } 54*d1b9ef12SLeila Ghaffari 55*d1b9ef12SLeila Ghaffari CEED_QFUNCTION_HELPER void Stabilization(NewtonianIdealGasContext gas, State s, 56*d1b9ef12SLeila Ghaffari CeedScalar Tau_d[3], State ds[3], CeedScalar U_dot[5], 57*d1b9ef12SLeila Ghaffari const CeedScalar body_force[5], const CeedScalar x[3], CeedScalar stab[5][3]) { 58*d1b9ef12SLeila Ghaffari // -- Stabilization method: none (Galerkin), SU, or SUPG 59*d1b9ef12SLeila Ghaffari CeedScalar R[5] = {0}; 60*d1b9ef12SLeila Ghaffari switch (gas->stabilization) { 61*d1b9ef12SLeila Ghaffari case STAB_NONE: 62*d1b9ef12SLeila Ghaffari break; 63*d1b9ef12SLeila Ghaffari case STAB_SU: 64*d1b9ef12SLeila Ghaffari FluxInviscidStrong(gas, s, ds, R); 65*d1b9ef12SLeila Ghaffari break; 66*d1b9ef12SLeila Ghaffari case STAB_SUPG: 67*d1b9ef12SLeila Ghaffari FluxInviscidStrong(gas, s, ds, R); 68*d1b9ef12SLeila Ghaffari for (CeedInt j=0; j<5; j++) R[j] += U_dot[j] - body_force[j]; 69*d1b9ef12SLeila Ghaffari break; 70*d1b9ef12SLeila Ghaffari } 71*d1b9ef12SLeila Ghaffari StabilizationMatrix(gas, s, Tau_d, R, x, stab); 72*d1b9ef12SLeila Ghaffari } 73*d1b9ef12SLeila Ghaffari 74*d1b9ef12SLeila Ghaffari // ***************************************************************************** 75*d1b9ef12SLeila Ghaffari // Helper function for computing Tau elements (stabilization constant) 76*d1b9ef12SLeila Ghaffari // Model from: 77*d1b9ef12SLeila Ghaffari // PHASTA 78*d1b9ef12SLeila Ghaffari // 79*d1b9ef12SLeila Ghaffari // Tau[i] = itau=0 which is diagonal-Shakib (3 values still but not spatial) 80*d1b9ef12SLeila Ghaffari // 81*d1b9ef12SLeila Ghaffari // ***************************************************************************** 82*d1b9ef12SLeila Ghaffari CEED_QFUNCTION_HELPER void Tau_diagPrim(NewtonianIdealGasContext gas, State s, 83*d1b9ef12SLeila Ghaffari const CeedScalar dXdx[3][3], 84*d1b9ef12SLeila Ghaffari const CeedScalar dt, CeedScalar Tau_d[3]) { 85*d1b9ef12SLeila Ghaffari // Context 86*d1b9ef12SLeila Ghaffari const CeedScalar Ctau_t = gas->Ctau_t; 87*d1b9ef12SLeila Ghaffari const CeedScalar Ctau_v = gas->Ctau_v; 88*d1b9ef12SLeila Ghaffari const CeedScalar Ctau_C = gas->Ctau_C; 89*d1b9ef12SLeila Ghaffari const CeedScalar Ctau_M = gas->Ctau_M; 90*d1b9ef12SLeila Ghaffari const CeedScalar Ctau_E = gas->Ctau_E; 91*d1b9ef12SLeila Ghaffari const CeedScalar cv = gas->cv; 92*d1b9ef12SLeila Ghaffari const CeedScalar mu = gas->mu; 93*d1b9ef12SLeila Ghaffari const CeedScalar u[3] = {s.Y.velocity[0], s.Y.velocity[1], s.Y.velocity[2]}; 94*d1b9ef12SLeila Ghaffari const CeedScalar rho = s.U.density; 95*d1b9ef12SLeila Ghaffari 96*d1b9ef12SLeila Ghaffari CeedScalar gijd[6]; 97*d1b9ef12SLeila Ghaffari CeedScalar tau; 98*d1b9ef12SLeila Ghaffari CeedScalar dts; 99*d1b9ef12SLeila Ghaffari CeedScalar fact; 100*d1b9ef12SLeila Ghaffari 101*d1b9ef12SLeila Ghaffari //*INDENT-OFF* 102*d1b9ef12SLeila Ghaffari gijd[0] = dXdx[0][0] * dXdx[0][0] 103*d1b9ef12SLeila Ghaffari + dXdx[1][0] * dXdx[1][0] 104*d1b9ef12SLeila Ghaffari + dXdx[2][0] * dXdx[2][0]; 105*d1b9ef12SLeila Ghaffari 106*d1b9ef12SLeila Ghaffari gijd[1] = dXdx[0][0] * dXdx[0][1] 107*d1b9ef12SLeila Ghaffari + dXdx[1][0] * dXdx[1][1] 108*d1b9ef12SLeila Ghaffari + dXdx[2][0] * dXdx[2][1]; 109*d1b9ef12SLeila Ghaffari 110*d1b9ef12SLeila Ghaffari gijd[2] = dXdx[0][1] * dXdx[0][1] 111*d1b9ef12SLeila Ghaffari + dXdx[1][1] * dXdx[1][1] 112*d1b9ef12SLeila Ghaffari + dXdx[2][1] * dXdx[2][1]; 113*d1b9ef12SLeila Ghaffari 114*d1b9ef12SLeila Ghaffari gijd[3] = dXdx[0][0] * dXdx[0][2] 115*d1b9ef12SLeila Ghaffari + dXdx[1][0] * dXdx[1][2] 116*d1b9ef12SLeila Ghaffari + dXdx[2][0] * dXdx[2][2]; 117*d1b9ef12SLeila Ghaffari 118*d1b9ef12SLeila Ghaffari gijd[4] = dXdx[0][1] * dXdx[0][2] 119*d1b9ef12SLeila Ghaffari + dXdx[1][1] * dXdx[1][2] 120*d1b9ef12SLeila Ghaffari + dXdx[2][1] * dXdx[2][2]; 121*d1b9ef12SLeila Ghaffari 122*d1b9ef12SLeila Ghaffari gijd[5] = dXdx[0][2] * dXdx[0][2] 123*d1b9ef12SLeila Ghaffari + dXdx[1][2] * dXdx[1][2] 124*d1b9ef12SLeila Ghaffari + dXdx[2][2] * dXdx[2][2]; 125*d1b9ef12SLeila Ghaffari //*INDENT-ON* 126*d1b9ef12SLeila Ghaffari 127*d1b9ef12SLeila Ghaffari dts = Ctau_t / dt ; 128*d1b9ef12SLeila Ghaffari 129*d1b9ef12SLeila Ghaffari tau = rho*rho*((4. * dts * dts) 130*d1b9ef12SLeila Ghaffari + u[0] * ( u[0] * gijd[0] + 2. * ( u[1] * gijd[1] + u[2] * gijd[3])) 131*d1b9ef12SLeila Ghaffari + u[1] * ( u[1] * gijd[2] + 2. * u[2] * gijd[4]) 132*d1b9ef12SLeila Ghaffari + u[2] * u[2] * gijd[5]) 133*d1b9ef12SLeila Ghaffari + Ctau_v* mu * mu * 134*d1b9ef12SLeila Ghaffari (gijd[0]*gijd[0] + gijd[2]*gijd[2] + gijd[5]*gijd[5] + 135*d1b9ef12SLeila Ghaffari + 2. * (gijd[1]*gijd[1] + gijd[3]*gijd[3] + gijd[4]*gijd[4])); 136*d1b9ef12SLeila Ghaffari 137*d1b9ef12SLeila Ghaffari fact = sqrt(tau); 138*d1b9ef12SLeila Ghaffari 139*d1b9ef12SLeila Ghaffari Tau_d[0] = Ctau_C * fact / (rho*(gijd[0] + gijd[2] + gijd[5]))*0.125; 140*d1b9ef12SLeila Ghaffari 141*d1b9ef12SLeila Ghaffari Tau_d[1] = Ctau_M / fact; 142*d1b9ef12SLeila Ghaffari Tau_d[2] = Ctau_E / ( fact * cv ); 143*d1b9ef12SLeila Ghaffari 144*d1b9ef12SLeila Ghaffari // consider putting back the way I initially had it Ctau_E * Tau_d[1] /cv 145*d1b9ef12SLeila Ghaffari // to avoid a division if the compiler is smart enough to see that cv IS 146*d1b9ef12SLeila Ghaffari // a constant that it could invert once for all elements 147*d1b9ef12SLeila Ghaffari // but in that case energy tau is scaled by the product of Ctau_E * Ctau_M 148*d1b9ef12SLeila Ghaffari // OR we could absorb cv into Ctau_E but this puts more burden on user to 149*d1b9ef12SLeila Ghaffari // know how to change constants with a change of fluid or units. Same for 150*d1b9ef12SLeila Ghaffari // Ctau_v * mu * mu IF AND ONLY IF we don't add viscosity law =f(T) 151*d1b9ef12SLeila Ghaffari } 152*d1b9ef12SLeila Ghaffari 153*d1b9ef12SLeila Ghaffari // ***************************************************************************** 154*d1b9ef12SLeila Ghaffari 155*d1b9ef12SLeila Ghaffari #endif // stabilization_h 156