1c6e8c570SJames Wright // Copyright (c) 2017-2022, Lawrence Livermore National Security, LLC and other CEED contributors. 2c6e8c570SJames Wright // All Rights Reserved. See the top-level LICENSE and NOTICE files for details. 3c6e8c570SJames Wright // 4c6e8c570SJames Wright // SPDX-License-Identifier: BSD-2-Clause 5c6e8c570SJames Wright // 6c6e8c570SJames Wright // This file is part of CEED: http://github.com/ceed 7c6e8c570SJames Wright 8c6e8c570SJames Wright /// @file 9c6e8c570SJames Wright /// Structs and helper functions regarding the state of a newtonian simulation 10c6e8c570SJames Wright 11c6e8c570SJames Wright 12c6e8c570SJames Wright #ifndef newtonian_state_h 13c6e8c570SJames Wright #define newtonian_state_h 14c6e8c570SJames Wright 15c6e8c570SJames Wright #include <math.h> 16c6e8c570SJames Wright #include <ceed.h> 17c6e8c570SJames Wright #include "newtonian_types.h" 1813fa47b2SJames Wright #include "utils.h" 19c6e8c570SJames Wright 20c6e8c570SJames Wright typedef struct { 21c6e8c570SJames Wright CeedScalar pressure; 22c6e8c570SJames Wright CeedScalar velocity[3]; 23c6e8c570SJames Wright CeedScalar temperature; 24c6e8c570SJames Wright } StatePrimitive; 25c6e8c570SJames Wright 26c6e8c570SJames Wright typedef struct { 27c6e8c570SJames Wright CeedScalar density; 28c6e8c570SJames Wright CeedScalar momentum[3]; 29c6e8c570SJames Wright CeedScalar E_total; 30c6e8c570SJames Wright } StateConservative; 31c6e8c570SJames Wright 32c6e8c570SJames Wright typedef struct { 33c6e8c570SJames Wright StateConservative U; 34c6e8c570SJames Wright StatePrimitive Y; 35c6e8c570SJames Wright } State; 36c6e8c570SJames Wright 37*2b89d87eSLeila Ghaffari CEED_QFUNCTION_HELPER void UnpackState_U(StateConservative s, CeedScalar U[5]) { 38*2b89d87eSLeila Ghaffari U[0] = s.density; 39*2b89d87eSLeila Ghaffari for (int i=0; i<3; i++) U[i+1] = s.momentum[i]; 40*2b89d87eSLeila Ghaffari U[4] = s.E_total; 41*2b89d87eSLeila Ghaffari } 42*2b89d87eSLeila Ghaffari 43*2b89d87eSLeila Ghaffari CEED_QFUNCTION_HELPER void UnpackState_Y(StatePrimitive s, CeedScalar Y[5]) { 44*2b89d87eSLeila Ghaffari Y[0] = s.pressure; 45*2b89d87eSLeila Ghaffari for (int i=0; i<3; i++) Y[i+1] = s.velocity[i]; 46*2b89d87eSLeila Ghaffari Y[4] = s.temperature; 47*2b89d87eSLeila Ghaffari } 48*2b89d87eSLeila Ghaffari 49c6e8c570SJames Wright CEED_QFUNCTION_HELPER StatePrimitive StatePrimitiveFromConservative( 50c6e8c570SJames Wright NewtonianIdealGasContext gas, StateConservative U, const CeedScalar x[3]) { 51c6e8c570SJames Wright StatePrimitive Y; 52c6e8c570SJames Wright for (CeedInt i=0; i<3; i++) Y.velocity[i] = U.momentum[i] / U.density; 53c6e8c570SJames Wright CeedScalar e_kinetic = .5 * Dot3(Y.velocity, Y.velocity); 54c6e8c570SJames Wright CeedScalar e_potential = -Dot3(gas->g, x); 55c6e8c570SJames Wright CeedScalar e_total = U.E_total / U.density; 56c6e8c570SJames Wright CeedScalar e_internal = e_total - e_kinetic - e_potential; 57c6e8c570SJames Wright Y.temperature = e_internal / gas->cv; 58c6e8c570SJames Wright Y.pressure = (gas->cp / gas->cv - 1) * U.density * e_internal; 59c6e8c570SJames Wright return Y; 60c6e8c570SJames Wright } 61c6e8c570SJames Wright 62c6e8c570SJames Wright CEED_QFUNCTION_HELPER StatePrimitive StatePrimitiveFromConservative_fwd( 63c6e8c570SJames Wright NewtonianIdealGasContext gas, State s, StateConservative dU, 64c6e8c570SJames Wright const CeedScalar x[3], const CeedScalar dx[3]) { 65c6e8c570SJames Wright StatePrimitive dY; 66c6e8c570SJames Wright for (CeedInt i=0; i<3; i++) { 67c6e8c570SJames Wright dY.velocity[i] = (dU.momentum[i] - s.Y.velocity[i] * dU.density) / s.U.density; 68c6e8c570SJames Wright } 69c6e8c570SJames Wright CeedScalar e_kinetic = .5 * Dot3(s.Y.velocity, s.Y.velocity); 70c6e8c570SJames Wright CeedScalar de_kinetic = Dot3(dY.velocity, s.Y.velocity); 71c6e8c570SJames Wright CeedScalar e_potential = -Dot3(gas->g, x); 72c6e8c570SJames Wright CeedScalar de_potential = -Dot3(gas->g, dx); 73c6e8c570SJames Wright CeedScalar e_total = s.U.E_total / s.U.density; 74c6e8c570SJames Wright CeedScalar de_total = (dU.E_total - e_total * dU.density) / s.U.density; 75c6e8c570SJames Wright CeedScalar e_internal = e_total - e_kinetic - e_potential; 76c6e8c570SJames Wright CeedScalar de_internal = de_total - de_kinetic - de_potential; 77c6e8c570SJames Wright dY.temperature = de_internal / gas->cv; 78c6e8c570SJames Wright dY.pressure = (gas->cp / gas->cv - 1) 79c6e8c570SJames Wright * (dU.density * e_internal + s.U.density * de_internal); 80c6e8c570SJames Wright return dY; 81c6e8c570SJames Wright } 82c6e8c570SJames Wright 83dc805cc4SLeila Ghaffari CEED_QFUNCTION_HELPER StateConservative StateConservativeFromPrimitive( 84dc805cc4SLeila Ghaffari NewtonianIdealGasContext gas, StatePrimitive Y, const CeedScalar x[3]) { 85dc805cc4SLeila Ghaffari StateConservative U; 86dc805cc4SLeila Ghaffari CeedScalar R = gas->cp - gas->cv; 87dc805cc4SLeila Ghaffari U.density = Y.pressure / (R * Y.temperature); 88dc805cc4SLeila Ghaffari for (int i=0; i<3; i++) U.momentum[i] = U.density*Y.velocity[i]; 89dc805cc4SLeila Ghaffari CeedScalar e_internal = gas->cv * Y.temperature; 90dc805cc4SLeila Ghaffari CeedScalar e_kinetic = .5 * Dot3(Y.velocity, Y.velocity); 91dc805cc4SLeila Ghaffari CeedScalar e_potential = -Dot3(gas->g, x); 92dc805cc4SLeila Ghaffari CeedScalar e_total = e_internal + e_kinetic + e_potential; 93dc805cc4SLeila Ghaffari U.E_total = U.density*e_total; 94dc805cc4SLeila Ghaffari return U; 95dc805cc4SLeila Ghaffari } 96dc805cc4SLeila Ghaffari 97dc805cc4SLeila Ghaffari CEED_QFUNCTION_HELPER StateConservative StateConservativeFromPrimitive_fwd( 98dc805cc4SLeila Ghaffari NewtonianIdealGasContext gas, State s, StatePrimitive dY, 99dc805cc4SLeila Ghaffari const CeedScalar x[3], const CeedScalar dx[3]) { 100dc805cc4SLeila Ghaffari StateConservative dU; 101dc805cc4SLeila Ghaffari CeedScalar R = gas->cp - gas->cv; 102dc805cc4SLeila Ghaffari dU.density = (dY.pressure * s.Y.temperature - s.Y.pressure * dY.temperature) / 103dc805cc4SLeila Ghaffari (R * s.Y.temperature * s.Y.temperature); 104dc805cc4SLeila Ghaffari for (int i=0; i<3; i++) { 105dc805cc4SLeila Ghaffari dU.momentum[i] = dU.density * s.Y.velocity[i] + s.U.density * dY.velocity[i]; 106dc805cc4SLeila Ghaffari } 107dc805cc4SLeila Ghaffari CeedScalar e_kinetic = .5 * Dot3(s.Y.velocity, s.Y.velocity); 108dc805cc4SLeila Ghaffari CeedScalar de_kinetic = Dot3(dY.velocity, s.Y.velocity); 109dc805cc4SLeila Ghaffari CeedScalar e_potential = -Dot3(gas->g, x); 110dc805cc4SLeila Ghaffari CeedScalar de_potential = -Dot3(gas->g, dx); 111dc805cc4SLeila Ghaffari CeedScalar e_internal = gas->cv * s.Y.temperature; 112dc805cc4SLeila Ghaffari CeedScalar de_internal = gas->cv * dY.temperature; 113dc805cc4SLeila Ghaffari CeedScalar e_total = e_internal + e_kinetic + e_potential; 114dc805cc4SLeila Ghaffari CeedScalar de_total = de_internal + de_kinetic + de_potential; 115dc805cc4SLeila Ghaffari dU.E_total = dU.density*e_total + s.U.density*de_total; 116dc805cc4SLeila Ghaffari return dU; 117dc805cc4SLeila Ghaffari } 118dc805cc4SLeila Ghaffari 119c6e8c570SJames Wright CEED_QFUNCTION_HELPER State StateFromU(NewtonianIdealGasContext gas, 120c6e8c570SJames Wright const CeedScalar U[5], const CeedScalar x[3]) { 121c6e8c570SJames Wright State s; 122c6e8c570SJames Wright s.U.density = U[0]; 123c6e8c570SJames Wright s.U.momentum[0] = U[1]; 124c6e8c570SJames Wright s.U.momentum[1] = U[2]; 125c6e8c570SJames Wright s.U.momentum[2] = U[3]; 126c6e8c570SJames Wright s.U.E_total = U[4]; 127c6e8c570SJames Wright s.Y = StatePrimitiveFromConservative(gas, s.U, x); 128c6e8c570SJames Wright return s; 129c6e8c570SJames Wright } 130c6e8c570SJames Wright 131c6e8c570SJames Wright CEED_QFUNCTION_HELPER State StateFromU_fwd(NewtonianIdealGasContext gas, 132c6e8c570SJames Wright State s, const CeedScalar dU[5], 133c6e8c570SJames Wright const CeedScalar x[3], const CeedScalar dx[3]) { 134c6e8c570SJames Wright State ds; 135c6e8c570SJames Wright ds.U.density = dU[0]; 136c6e8c570SJames Wright ds.U.momentum[0] = dU[1]; 137c6e8c570SJames Wright ds.U.momentum[1] = dU[2]; 138c6e8c570SJames Wright ds.U.momentum[2] = dU[3]; 139c6e8c570SJames Wright ds.U.E_total = dU[4]; 140c6e8c570SJames Wright ds.Y = StatePrimitiveFromConservative_fwd(gas, s, ds.U, x, dx); 141c6e8c570SJames Wright return ds; 142c6e8c570SJames Wright } 143c6e8c570SJames Wright 144dc805cc4SLeila Ghaffari CEED_QFUNCTION_HELPER State StateFromY(NewtonianIdealGasContext gas, 145dc805cc4SLeila Ghaffari const CeedScalar Y[5], const CeedScalar x[3]) { 146dc805cc4SLeila Ghaffari State s; 147dc805cc4SLeila Ghaffari s.Y.pressure = Y[0]; 148dc805cc4SLeila Ghaffari s.Y.velocity[0] = Y[1]; 149dc805cc4SLeila Ghaffari s.Y.velocity[1] = Y[2]; 150dc805cc4SLeila Ghaffari s.Y.velocity[2] = Y[3]; 151dc805cc4SLeila Ghaffari s.Y.temperature = Y[4]; 152dc805cc4SLeila Ghaffari s.U = StateConservativeFromPrimitive(gas, s.Y, x); 153dc805cc4SLeila Ghaffari return s; 154dc805cc4SLeila Ghaffari } 155dc805cc4SLeila Ghaffari 156dc805cc4SLeila Ghaffari CEED_QFUNCTION_HELPER State StateFromY_fwd(NewtonianIdealGasContext gas, 157dc805cc4SLeila Ghaffari State s, const CeedScalar dY[5], 158dc805cc4SLeila Ghaffari const CeedScalar x[3], const CeedScalar dx[3]) { 159dc805cc4SLeila Ghaffari State ds; 160dc805cc4SLeila Ghaffari ds.Y.pressure = dY[0]; 161dc805cc4SLeila Ghaffari ds.Y.velocity[0] = dY[1]; 162dc805cc4SLeila Ghaffari ds.Y.velocity[1] = dY[2]; 163dc805cc4SLeila Ghaffari ds.Y.velocity[2] = dY[3]; 164dc805cc4SLeila Ghaffari ds.Y.temperature = dY[4]; 165dc805cc4SLeila Ghaffari ds.U = StateConservativeFromPrimitive_fwd(gas, s, ds.Y, x, dx); 166dc805cc4SLeila Ghaffari return ds; 167dc805cc4SLeila Ghaffari } 168dc805cc4SLeila Ghaffari 169c6e8c570SJames Wright CEED_QFUNCTION_HELPER void FluxInviscid(NewtonianIdealGasContext gas, State s, 170c6e8c570SJames Wright StateConservative Flux[3]) { 171c6e8c570SJames Wright for (CeedInt i=0; i<3; i++) { 172c6e8c570SJames Wright Flux[i].density = s.U.momentum[i]; 173c6e8c570SJames Wright for (CeedInt j=0; j<3; j++) 174c6e8c570SJames Wright Flux[i].momentum[j] = s.U.momentum[i] * s.Y.velocity[j] 175c6e8c570SJames Wright + s.Y.pressure * (i == j); 176c6e8c570SJames Wright Flux[i].E_total = (s.U.E_total + s.Y.pressure) * s.Y.velocity[i]; 177c6e8c570SJames Wright } 178c6e8c570SJames Wright } 179c6e8c570SJames Wright 180c6e8c570SJames Wright CEED_QFUNCTION_HELPER void FluxInviscid_fwd(NewtonianIdealGasContext gas, 181c6e8c570SJames Wright State s, State ds, StateConservative dFlux[3]) { 182c6e8c570SJames Wright for (CeedInt i=0; i<3; i++) { 183c6e8c570SJames Wright dFlux[i].density = ds.U.momentum[i]; 184c6e8c570SJames Wright for (CeedInt j=0; j<3; j++) 185c6e8c570SJames Wright dFlux[i].momentum[j] = ds.U.momentum[i] * s.Y.velocity[j] + 186c6e8c570SJames Wright s.U.momentum[i] * ds.Y.velocity[j] + ds.Y.pressure * (i == j); 187c6e8c570SJames Wright dFlux[i].E_total = (ds.U.E_total + ds.Y.pressure) * s.Y.velocity[i] + 188c6e8c570SJames Wright (s.U.E_total + s.Y.pressure) * ds.Y.velocity[i]; 189c6e8c570SJames Wright } 190c6e8c570SJames Wright } 191c6e8c570SJames Wright 192*2b89d87eSLeila Ghaffari CEED_QFUNCTION_HELPER void FluxInviscidStrong(NewtonianIdealGasContext gas, 193*2b89d87eSLeila Ghaffari State s, State ds[3], CeedScalar strong_conv[5]) { 194*2b89d87eSLeila Ghaffari for (CeedInt i=0; i<5; i++) strong_conv[i] = 0; 195*2b89d87eSLeila Ghaffari for (CeedInt i=0; i<3; i++) { 196*2b89d87eSLeila Ghaffari StateConservative dF[3]; 197*2b89d87eSLeila Ghaffari FluxInviscid_fwd(gas, s, ds[i], dF); 198*2b89d87eSLeila Ghaffari CeedScalar dF_i[5]; 199*2b89d87eSLeila Ghaffari UnpackState_U(dF[i], dF_i); 200*2b89d87eSLeila Ghaffari for (CeedInt j=0; j<5; j++) 201*2b89d87eSLeila Ghaffari strong_conv[j] += dF_i[j]; 202*2b89d87eSLeila Ghaffari } 203*2b89d87eSLeila Ghaffari } 204*2b89d87eSLeila Ghaffari 205*2b89d87eSLeila Ghaffari CEED_QFUNCTION_HELPER void FluxTotal(StateConservative F_inviscid[3], 206*2b89d87eSLeila Ghaffari CeedScalar stress[3][3], CeedScalar Fe[3], CeedScalar Flux[5][3]) { 207*2b89d87eSLeila Ghaffari for (CeedInt j=0; j<3; j++) { 208*2b89d87eSLeila Ghaffari Flux[0][j] = F_inviscid[j].density; 209*2b89d87eSLeila Ghaffari for (CeedInt k=0; k<3; k++) 210*2b89d87eSLeila Ghaffari Flux[k+1][j] = F_inviscid[j].momentum[k] - stress[k][j]; 211*2b89d87eSLeila Ghaffari Flux[4][j] = F_inviscid[j].E_total + Fe[j]; 212*2b89d87eSLeila Ghaffari } 213*2b89d87eSLeila Ghaffari } 214*2b89d87eSLeila Ghaffari 215c6e8c570SJames Wright // Kelvin-Mandel notation 216c6e8c570SJames Wright CEED_QFUNCTION_HELPER void KMStrainRate(const State grad_s[3], 217c6e8c570SJames Wright CeedScalar strain_rate[6]) { 218c6e8c570SJames Wright const CeedScalar weight = 1 / sqrt(2.); 219c6e8c570SJames Wright strain_rate[0] = grad_s[0].Y.velocity[0]; 220c6e8c570SJames Wright strain_rate[1] = grad_s[1].Y.velocity[1]; 221c6e8c570SJames Wright strain_rate[2] = grad_s[2].Y.velocity[2]; 222c6e8c570SJames Wright strain_rate[3] = weight * (grad_s[2].Y.velocity[1] + grad_s[1].Y.velocity[2]); 223c6e8c570SJames Wright strain_rate[4] = weight * (grad_s[2].Y.velocity[0] + grad_s[0].Y.velocity[2]); 224c6e8c570SJames Wright strain_rate[5] = weight * (grad_s[1].Y.velocity[0] + grad_s[0].Y.velocity[1]); 225c6e8c570SJames Wright } 226c6e8c570SJames Wright 227c6e8c570SJames Wright CEED_QFUNCTION_HELPER void NewtonianStress(NewtonianIdealGasContext gas, 228c6e8c570SJames Wright const CeedScalar strain_rate[6], CeedScalar stress[6]) { 229c6e8c570SJames Wright CeedScalar div_u = strain_rate[0] + strain_rate[1] + strain_rate[2]; 230c6e8c570SJames Wright for (CeedInt i=0; i<6; i++) { 231c6e8c570SJames Wright stress[i] = gas->mu * (2 * strain_rate[i] + gas->lambda * div_u * (i < 3)); 232c6e8c570SJames Wright } 233c6e8c570SJames Wright } 234c6e8c570SJames Wright 235c6e8c570SJames Wright CEED_QFUNCTION_HELPER void ViscousEnergyFlux(NewtonianIdealGasContext gas, 236c6e8c570SJames Wright StatePrimitive Y, const State grad_s[3], const CeedScalar stress[3][3], 237c6e8c570SJames Wright CeedScalar Fe[3]) { 238c6e8c570SJames Wright for (CeedInt i=0; i<3; i++) { 239c6e8c570SJames Wright Fe[i] = - Y.velocity[0] * stress[0][i] 240c6e8c570SJames Wright - Y.velocity[1] * stress[1][i] 241c6e8c570SJames Wright - Y.velocity[2] * stress[2][i] 242c6e8c570SJames Wright - gas->k * grad_s[i].Y.temperature; 243c6e8c570SJames Wright } 244c6e8c570SJames Wright } 245c6e8c570SJames Wright 246c6e8c570SJames Wright CEED_QFUNCTION_HELPER void ViscousEnergyFlux_fwd(NewtonianIdealGasContext gas, 247c6e8c570SJames Wright StatePrimitive Y, StatePrimitive dY, const State grad_ds[3], 248c6e8c570SJames Wright const CeedScalar stress[3][3], 249c6e8c570SJames Wright const CeedScalar dstress[3][3], 250c6e8c570SJames Wright CeedScalar dFe[3]) { 251c6e8c570SJames Wright for (CeedInt i=0; i<3; i++) { 252c6e8c570SJames Wright dFe[i] = - Y.velocity[0] * dstress[0][i] - dY.velocity[0] * stress[0][i] 253c6e8c570SJames Wright - Y.velocity[1] * dstress[1][i] - dY.velocity[1] * stress[1][i] 254c6e8c570SJames Wright - Y.velocity[2] * dstress[2][i] - dY.velocity[2] * stress[2][i] 255c6e8c570SJames Wright - gas->k * grad_ds[i].Y.temperature; 256c6e8c570SJames Wright } 257c6e8c570SJames Wright } 258c6e8c570SJames Wright 259c6e8c570SJames Wright #endif // newtonian_state_h 260