xref: /honee/qfunctions/stabilization.h (revision edcfef1b6f4e32859128041f533d18dbf23dee67)
1d1b9ef12SLeila Ghaffari // Copyright (c) 2017-2022, Lawrence Livermore National Security, LLC and other CEED contributors.
2d1b9ef12SLeila Ghaffari // All Rights Reserved. See the top-level LICENSE and NOTICE files for details.
3d1b9ef12SLeila Ghaffari //
4d1b9ef12SLeila Ghaffari // SPDX-License-Identifier: BSD-2-Clause
5d1b9ef12SLeila Ghaffari //
6d1b9ef12SLeila Ghaffari // This file is part of CEED:  http://github.com/ceed
7d1b9ef12SLeila Ghaffari 
8d1b9ef12SLeila Ghaffari /// @file
9d1b9ef12SLeila Ghaffari /// Helper functions for computing stabilization terms of a newtonian simulation
10d1b9ef12SLeila Ghaffari 
11d1b9ef12SLeila Ghaffari #ifndef stabilization_h
12d1b9ef12SLeila Ghaffari #define stabilization_h
13d1b9ef12SLeila Ghaffari 
14d1b9ef12SLeila Ghaffari #include <ceed.h>
152b916ea7SJeremy L Thompson 
16d0cce58aSJeremy L Thompson #include "newtonian_state.h"
17d1b9ef12SLeila Ghaffari 
18d1b9ef12SLeila Ghaffari // *****************************************************************************
1904e40bb6SJeremy L Thompson // Helper function for computing the variation in primitive variables, given Tau_d
20d1b9ef12SLeila Ghaffari // *****************************************************************************
212b916ea7SJeremy L Thompson CEED_QFUNCTION_HELPER void dYFromTau(CeedScalar Y[5], CeedScalar Tau_d[3], CeedScalar dY[5]) {
22d1b9ef12SLeila Ghaffari   dY[0] = Tau_d[0] * Y[0];
23d1b9ef12SLeila Ghaffari   dY[1] = Tau_d[1] * Y[1];
24d1b9ef12SLeila Ghaffari   dY[2] = Tau_d[1] * Y[2];
25d1b9ef12SLeila Ghaffari   dY[3] = Tau_d[1] * Y[3];
26d1b9ef12SLeila Ghaffari   dY[4] = Tau_d[2] * Y[4];
27d1b9ef12SLeila Ghaffari }
28d1b9ef12SLeila Ghaffari 
29d1b9ef12SLeila Ghaffari // *****************************************************************************
30d1b9ef12SLeila Ghaffari // Helper functions for computing the stabilization terms
31d1b9ef12SLeila Ghaffari // *****************************************************************************
32*edcfef1bSKenneth E. Jansen CEED_QFUNCTION_HELPER void StabilizationMatrix(NewtonianIdealGasContext gas, State s, CeedScalar Tau_d[3], CeedScalar R[5],
33d1b9ef12SLeila Ghaffari                                                CeedScalar stab[5][3]) {
34d1b9ef12SLeila Ghaffari   CeedScalar        dY[5];
35d1b9ef12SLeila Ghaffari   StateConservative dF[3];
36d1b9ef12SLeila Ghaffari   // Zero stab so all future terms can safely sum into it
372b916ea7SJeremy L Thompson   for (CeedInt i = 0; i < 5; i++) {
382b916ea7SJeremy L Thompson     for (CeedInt j = 0; j < 3; j++) stab[i][j] = 0;
392b916ea7SJeremy L Thompson   }
40d1b9ef12SLeila Ghaffari   dYFromTau(R, Tau_d, dY);
41*edcfef1bSKenneth E. Jansen   State ds = StateFromY_fwd(gas, s, dY);
42d1b9ef12SLeila Ghaffari   FluxInviscid_fwd(gas, s, ds, dF);
43d1b9ef12SLeila Ghaffari   for (CeedInt i = 0; i < 3; i++) {
44d1b9ef12SLeila Ghaffari     CeedScalar dF_i[5];
45d1b9ef12SLeila Ghaffari     UnpackState_U(dF[i], dF_i);
462b916ea7SJeremy L Thompson     for (CeedInt j = 0; j < 5; j++) stab[j][i] += dF_i[j];
47d1b9ef12SLeila Ghaffari   }
48d1b9ef12SLeila Ghaffari }
49d1b9ef12SLeila Ghaffari 
502b916ea7SJeremy L Thompson CEED_QFUNCTION_HELPER void Stabilization(NewtonianIdealGasContext gas, State s, CeedScalar Tau_d[3], State ds[3], CeedScalar U_dot[5],
51*edcfef1bSKenneth E. Jansen                                          const CeedScalar body_force[5], CeedScalar stab[5][3]) {
52d1b9ef12SLeila Ghaffari   // -- Stabilization method: none (Galerkin), SU, or SUPG
53d1b9ef12SLeila Ghaffari   CeedScalar R[5] = {0};
54d1b9ef12SLeila Ghaffari   switch (gas->stabilization) {
55d1b9ef12SLeila Ghaffari     case STAB_NONE:
56d1b9ef12SLeila Ghaffari       break;
57d1b9ef12SLeila Ghaffari     case STAB_SU:
58d1b9ef12SLeila Ghaffari       FluxInviscidStrong(gas, s, ds, R);
59d1b9ef12SLeila Ghaffari       break;
60d1b9ef12SLeila Ghaffari     case STAB_SUPG:
61d1b9ef12SLeila Ghaffari       FluxInviscidStrong(gas, s, ds, R);
62d1b9ef12SLeila Ghaffari       for (CeedInt j = 0; j < 5; j++) R[j] += U_dot[j] - body_force[j];
63d1b9ef12SLeila Ghaffari       break;
64d1b9ef12SLeila Ghaffari   }
65*edcfef1bSKenneth E. Jansen   StabilizationMatrix(gas, s, Tau_d, R, stab);
66d1b9ef12SLeila Ghaffari }
67d1b9ef12SLeila Ghaffari 
68d1b9ef12SLeila Ghaffari // *****************************************************************************
69d1b9ef12SLeila Ghaffari // Helper function for computing Tau elements (stabilization constant)
70d1b9ef12SLeila Ghaffari //   Model from:
71d1b9ef12SLeila Ghaffari //     PHASTA
72d1b9ef12SLeila Ghaffari //
73d1b9ef12SLeila Ghaffari //   Tau[i] = itau=0 which is diagonal-Shakib (3 values still but not spatial)
74d1b9ef12SLeila Ghaffari // *****************************************************************************
752b916ea7SJeremy L Thompson CEED_QFUNCTION_HELPER void Tau_diagPrim(NewtonianIdealGasContext gas, State s, const CeedScalar dXdx[3][3], const CeedScalar dt,
762b916ea7SJeremy L Thompson                                         CeedScalar Tau_d[3]) {
77d1b9ef12SLeila Ghaffari   // Context
78d1b9ef12SLeila Ghaffari   const CeedScalar Ctau_t = gas->Ctau_t;
79d1b9ef12SLeila Ghaffari   const CeedScalar Ctau_v = gas->Ctau_v;
80d1b9ef12SLeila Ghaffari   const CeedScalar Ctau_C = gas->Ctau_C;
81d1b9ef12SLeila Ghaffari   const CeedScalar Ctau_M = gas->Ctau_M;
82d1b9ef12SLeila Ghaffari   const CeedScalar Ctau_E = gas->Ctau_E;
83d1b9ef12SLeila Ghaffari   const CeedScalar cv     = gas->cv;
84d1b9ef12SLeila Ghaffari   const CeedScalar mu     = gas->mu;
85d1b9ef12SLeila Ghaffari   const CeedScalar u[3]   = {s.Y.velocity[0], s.Y.velocity[1], s.Y.velocity[2]};
86d1b9ef12SLeila Ghaffari   const CeedScalar rho    = s.U.density;
87d1b9ef12SLeila Ghaffari 
88d1b9ef12SLeila Ghaffari   CeedScalar gijd[6];
89d1b9ef12SLeila Ghaffari   CeedScalar tau;
90d1b9ef12SLeila Ghaffari   CeedScalar dts;
91d1b9ef12SLeila Ghaffari   CeedScalar fact;
92d1b9ef12SLeila Ghaffari 
932b916ea7SJeremy L Thompson   gijd[0] = dXdx[0][0] * dXdx[0][0] + dXdx[1][0] * dXdx[1][0] + dXdx[2][0] * dXdx[2][0];
94d1b9ef12SLeila Ghaffari 
952b916ea7SJeremy L Thompson   gijd[1] = dXdx[0][0] * dXdx[0][1] + dXdx[1][0] * dXdx[1][1] + dXdx[2][0] * dXdx[2][1];
96d1b9ef12SLeila Ghaffari 
972b916ea7SJeremy L Thompson   gijd[2] = dXdx[0][1] * dXdx[0][1] + dXdx[1][1] * dXdx[1][1] + dXdx[2][1] * dXdx[2][1];
98d1b9ef12SLeila Ghaffari 
992b916ea7SJeremy L Thompson   gijd[3] = dXdx[0][0] * dXdx[0][2] + dXdx[1][0] * dXdx[1][2] + dXdx[2][0] * dXdx[2][2];
100d1b9ef12SLeila Ghaffari 
1012b916ea7SJeremy L Thompson   gijd[4] = dXdx[0][1] * dXdx[0][2] + dXdx[1][1] * dXdx[1][2] + dXdx[2][1] * dXdx[2][2];
102d1b9ef12SLeila Ghaffari 
1032b916ea7SJeremy L Thompson   gijd[5] = dXdx[0][2] * dXdx[0][2] + dXdx[1][2] * dXdx[1][2] + dXdx[2][2] * dXdx[2][2];
104d1b9ef12SLeila Ghaffari 
105d1b9ef12SLeila Ghaffari   dts = Ctau_t / dt;
106d1b9ef12SLeila Ghaffari 
1072b916ea7SJeremy L Thompson   tau = rho * rho *
1082b916ea7SJeremy L Thompson             ((4. * dts * dts) + u[0] * (u[0] * gijd[0] + 2. * (u[1] * gijd[1] + u[2] * gijd[3])) + u[1] * (u[1] * gijd[2] + 2. * u[2] * gijd[4]) +
1092b916ea7SJeremy L Thompson              u[2] * u[2] * gijd[5]) +
1102b916ea7SJeremy L Thompson         Ctau_v * mu * mu *
1112b916ea7SJeremy L Thompson             (gijd[0] * gijd[0] + gijd[2] * gijd[2] + gijd[5] * gijd[5] + +2. * (gijd[1] * gijd[1] + gijd[3] * gijd[3] + gijd[4] * gijd[4]));
112d1b9ef12SLeila Ghaffari 
113d1b9ef12SLeila Ghaffari   fact = sqrt(tau);
114d1b9ef12SLeila Ghaffari 
115d1b9ef12SLeila Ghaffari   Tau_d[0] = Ctau_C * fact / (rho * (gijd[0] + gijd[2] + gijd[5])) * 0.125;
116d1b9ef12SLeila Ghaffari 
117d1b9ef12SLeila Ghaffari   Tau_d[1] = Ctau_M / fact;
118d1b9ef12SLeila Ghaffari   Tau_d[2] = Ctau_E / (fact * cv);
119d1b9ef12SLeila Ghaffari 
12004e40bb6SJeremy L Thompson   // consider putting back the way I initially had it
12104e40bb6SJeremy 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
122d1b9ef12SLeila Ghaffari   // but in that case energy tau is scaled by the product of Ctau_E * Ctau_M
12304e40bb6SJeremy 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
124d1b9ef12SLeila Ghaffari   // Ctau_v * mu * mu IF AND ONLY IF we don't add viscosity law =f(T)
125d1b9ef12SLeila Ghaffari }
126d1b9ef12SLeila Ghaffari 
127d1b9ef12SLeila Ghaffari // *****************************************************************************
128d1b9ef12SLeila Ghaffari 
129d1b9ef12SLeila Ghaffari #endif  // stabilization_h
130