xref: /honee/qfunctions/stabilization.h (revision d1b9ef12923730ac357e6e30d052a0445e411f3e)
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