xref: /libCEED/examples/fluids/qfunctions/stabilization.h (revision b9b033b35827863ad01e14a27833e428ca93fac3)
12b89d87eSLeila Ghaffari // Copyright (c) 2017-2022, Lawrence Livermore National Security, LLC and other CEED contributors.
22b89d87eSLeila Ghaffari // All Rights Reserved. See the top-level LICENSE and NOTICE files for details.
32b89d87eSLeila Ghaffari //
42b89d87eSLeila Ghaffari // SPDX-License-Identifier: BSD-2-Clause
52b89d87eSLeila Ghaffari //
62b89d87eSLeila Ghaffari // This file is part of CEED:  http://github.com/ceed
72b89d87eSLeila Ghaffari 
82b89d87eSLeila Ghaffari /// @file
92b89d87eSLeila Ghaffari /// Helper functions for computing stabilization terms of a newtonian simulation
102b89d87eSLeila Ghaffari 
112b89d87eSLeila Ghaffari #ifndef stabilization_h
122b89d87eSLeila Ghaffari #define stabilization_h
132b89d87eSLeila Ghaffari 
142b89d87eSLeila Ghaffari #include <ceed.h>
152b730f8bSJeremy L Thompson 
16c9c2c079SJeremy L Thompson #include "newtonian_state.h"
172b89d87eSLeila Ghaffari 
182b89d87eSLeila Ghaffari // *****************************************************************************
19ea61e9acSJeremy L Thompson // Helper function for computing the variation in primitive variables, given Tau_d
202b89d87eSLeila Ghaffari // *****************************************************************************
212b730f8bSJeremy L Thompson CEED_QFUNCTION_HELPER void dYFromTau(CeedScalar Y[5], CeedScalar Tau_d[3], CeedScalar dY[5]) {
222b89d87eSLeila Ghaffari   dY[0] = Tau_d[0] * Y[0];
232b89d87eSLeila Ghaffari   dY[1] = Tau_d[1] * Y[1];
242b89d87eSLeila Ghaffari   dY[2] = Tau_d[1] * Y[2];
252b89d87eSLeila Ghaffari   dY[3] = Tau_d[1] * Y[3];
262b89d87eSLeila Ghaffari   dY[4] = Tau_d[2] * Y[4];
272b89d87eSLeila Ghaffari }
282b89d87eSLeila Ghaffari 
292b89d87eSLeila Ghaffari // *****************************************************************************
302b89d87eSLeila Ghaffari // Helper functions for computing the stabilization terms
312b89d87eSLeila Ghaffari // *****************************************************************************
32a600bde5SKenneth E. Jansen CEED_QFUNCTION_HELPER void StabilizationMatrix(NewtonianIdealGasContext gas, State s, CeedScalar Tau_d[3], CeedScalar R[5], CeedScalar stab[5][3]) {
332b89d87eSLeila Ghaffari   CeedScalar        dY[5];
342b89d87eSLeila Ghaffari   StateConservative dF[3];
352b89d87eSLeila Ghaffari   // Zero stab so all future terms can safely sum into it
362b730f8bSJeremy L Thompson   for (CeedInt i = 0; i < 5; i++) {
372b730f8bSJeremy L Thompson     for (CeedInt j = 0; j < 3; j++) stab[i][j] = 0;
382b730f8bSJeremy L Thompson   }
392b89d87eSLeila Ghaffari   dYFromTau(R, Tau_d, dY);
403bd61617SKenneth E. Jansen   State ds = StateFromY_fwd(gas, s, dY);
412b89d87eSLeila Ghaffari   FluxInviscid_fwd(gas, s, ds, dF);
422b89d87eSLeila Ghaffari   for (CeedInt i = 0; i < 3; i++) {
432b89d87eSLeila Ghaffari     CeedScalar dF_i[5];
442b89d87eSLeila Ghaffari     UnpackState_U(dF[i], dF_i);
452b730f8bSJeremy L Thompson     for (CeedInt j = 0; j < 5; j++) stab[j][i] += dF_i[j];
462b89d87eSLeila Ghaffari   }
472b89d87eSLeila Ghaffari }
482b89d87eSLeila Ghaffari 
492b730f8bSJeremy L Thompson CEED_QFUNCTION_HELPER void Stabilization(NewtonianIdealGasContext gas, State s, CeedScalar Tau_d[3], State ds[3], CeedScalar U_dot[5],
503bd61617SKenneth E. Jansen                                          const CeedScalar body_force[5], CeedScalar stab[5][3]) {
512b89d87eSLeila Ghaffari   // -- Stabilization method: none (Galerkin), SU, or SUPG
522b89d87eSLeila Ghaffari   CeedScalar R[5] = {0};
532b89d87eSLeila Ghaffari   switch (gas->stabilization) {
542b89d87eSLeila Ghaffari     case STAB_NONE:
552b89d87eSLeila Ghaffari       break;
562b89d87eSLeila Ghaffari     case STAB_SU:
572b89d87eSLeila Ghaffari       FluxInviscidStrong(gas, s, ds, R);
582b89d87eSLeila Ghaffari       break;
592b89d87eSLeila Ghaffari     case STAB_SUPG:
602b89d87eSLeila Ghaffari       FluxInviscidStrong(gas, s, ds, R);
612b89d87eSLeila Ghaffari       for (CeedInt j = 0; j < 5; j++) R[j] += U_dot[j] - body_force[j];
622b89d87eSLeila Ghaffari       break;
632b89d87eSLeila Ghaffari   }
643bd61617SKenneth E. Jansen   StabilizationMatrix(gas, s, Tau_d, R, stab);
652b89d87eSLeila Ghaffari }
662b89d87eSLeila Ghaffari 
672b89d87eSLeila Ghaffari // *****************************************************************************
682b89d87eSLeila Ghaffari // Helper function for computing Tau elements (stabilization constant)
692b89d87eSLeila Ghaffari //   Model from:
702b89d87eSLeila Ghaffari //     PHASTA
712b89d87eSLeila Ghaffari //
722b89d87eSLeila Ghaffari //   Tau[i] = itau=0 which is diagonal-Shakib (3 values still but not spatial)
732b89d87eSLeila Ghaffari // *****************************************************************************
742b730f8bSJeremy L Thompson CEED_QFUNCTION_HELPER void Tau_diagPrim(NewtonianIdealGasContext gas, State s, const CeedScalar dXdx[3][3], const CeedScalar dt,
752b730f8bSJeremy L Thompson                                         CeedScalar Tau_d[3]) {
762b89d87eSLeila Ghaffari   // Context
772b89d87eSLeila Ghaffari   const CeedScalar Ctau_t = gas->Ctau_t;
782b89d87eSLeila Ghaffari   const CeedScalar Ctau_v = gas->Ctau_v;
792b89d87eSLeila Ghaffari   const CeedScalar Ctau_C = gas->Ctau_C;
802b89d87eSLeila Ghaffari   const CeedScalar Ctau_M = gas->Ctau_M;
812b89d87eSLeila Ghaffari   const CeedScalar Ctau_E = gas->Ctau_E;
822b89d87eSLeila Ghaffari   const CeedScalar cv     = gas->cv;
832b89d87eSLeila Ghaffari   const CeedScalar mu     = gas->mu;
842b89d87eSLeila Ghaffari   const CeedScalar rho    = s.U.density;
852b89d87eSLeila Ghaffari 
862b89d87eSLeila Ghaffari   CeedScalar tau;
872b89d87eSLeila Ghaffari   CeedScalar dts;
882b89d87eSLeila Ghaffari   CeedScalar fact;
892b89d87eSLeila Ghaffari 
90*b9b033b3SJames Wright   CeedScalar gijd_mat[3][3] = {{0.}}, velocity_term;
91*b9b033b3SJames Wright   MatMat3(dXdx, dXdx, CEED_TRANSPOSE, CEED_NOTRANSPOSE, gijd_mat);
922b89d87eSLeila Ghaffari 
932b89d87eSLeila Ghaffari   dts = Ctau_t / dt;
942b89d87eSLeila Ghaffari 
95*b9b033b3SJames Wright   {  // u_i g_ij u_j
96*b9b033b3SJames Wright     CeedScalar gij_uj[3] = {0.};
97*b9b033b3SJames Wright     MatVec3(gijd_mat, s.Y.velocity, CEED_NOTRANSPOSE, gij_uj);
98*b9b033b3SJames Wright     velocity_term = Dot3(s.Y.velocity, gij_uj);
99*b9b033b3SJames Wright   }
100*b9b033b3SJames Wright 
101*b9b033b3SJames Wright   tau = Square(rho) * (4. * Square(dts) + velocity_term) + Ctau_v * Square(mu) * DotN((CeedScalar *)gijd_mat, (CeedScalar *)gijd_mat, 9);
1022b89d87eSLeila Ghaffari 
1032b89d87eSLeila Ghaffari   fact = sqrt(tau);
1042b89d87eSLeila Ghaffari 
105*b9b033b3SJames Wright   Tau_d[0] = Ctau_C * fact / (rho * (gijd_mat[0][0] + gijd_mat[1][1] + gijd_mat[2][2])) * 0.125;
1062b89d87eSLeila Ghaffari   Tau_d[1] = Ctau_M / fact;
1072b89d87eSLeila Ghaffari   Tau_d[2] = Ctau_E / (fact * cv);
1082b89d87eSLeila Ghaffari 
109ea61e9acSJeremy L Thompson   // consider putting back the way I initially had it
110ea61e9acSJeremy L Thompson   // Ctau_E * Tau_d[1] /cv to avoid a division if the compiler is smart enough to see that cv IS a constant that it could invert once for all elements
1112b89d87eSLeila Ghaffari   // but in that case energy tau is scaled by the product of Ctau_E * Ctau_M
112ea61e9acSJeremy L Thompson   // OR we could absorb cv into Ctau_E but this puts more burden on user to know how to change constants with a change of fluid or units.  Same for
1132b89d87eSLeila Ghaffari   // Ctau_v * mu * mu IF AND ONLY IF we don't add viscosity law =f(T)
1142b89d87eSLeila Ghaffari }
1152b89d87eSLeila Ghaffari 
1162b89d87eSLeila Ghaffari // *****************************************************************************
1172b89d87eSLeila Ghaffari 
1182b89d87eSLeila Ghaffari #endif  // stabilization_h
119