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