1952746efSJames Wright // Copyright (c) 2017-2023, Lawrence Livermore National Security, LLC and other CEED contributors. 2952746efSJames Wright // All Rights Reserved. See the top-level LICENSE and NOTICE files for details. 3952746efSJames Wright // 4952746efSJames Wright // SPDX-License-Identifier: BSD-2-Clause 5952746efSJames Wright // 6952746efSJames Wright // This file is part of CEED: http://github.com/ceed 7952746efSJames Wright 8952746efSJames Wright /// @file 9952746efSJames Wright /// Structs and helper functions for data-driven subgrid-stress modeling 10952746efSJames Wright /// See 'Invariant data-driven subgrid stress modeling in the strain-rate eigenframe for large eddy simulation' 2022 and 'S-frame discrepancy 11952746efSJames Wright /// correction models for data-informed Reynolds stress closure' 2022 12952746efSJames Wright 13952746efSJames Wright #ifndef sgs_dd_utils_h 14952746efSJames Wright #define sgs_dd_utils_h 15952746efSJames Wright 16952746efSJames Wright #include <ceed.h> 17952746efSJames Wright 18952746efSJames Wright #include "newtonian_state.h" 19952746efSJames Wright #include "newtonian_types.h" 20952746efSJames Wright #include "utils.h" 21952746efSJames Wright #include "utils_eigensolver_jacobi.h" 22952746efSJames Wright 23952746efSJames Wright // @brief Calculate the inverse of the multiplicity, reducing to a single component 24952746efSJames Wright CEED_QFUNCTION(InverseMultiplicity)(void *ctx, CeedInt Q, const CeedScalar *const *in, CeedScalar *const *out) { 25952746efSJames Wright const CeedScalar(*multiplicity)[CEED_Q_VLA] = (const CeedScalar(*)[CEED_Q_VLA])in[0]; 26952746efSJames Wright CeedScalar(*inv_multiplicity) = (CeedScalar(*))out[0]; 27952746efSJames Wright 28952746efSJames Wright CeedPragmaSIMD for (CeedInt i = 0; i < Q; i++) inv_multiplicity[i] = 1.0 / multiplicity[0][i]; 29952746efSJames Wright return 0; 30952746efSJames Wright } 31952746efSJames Wright 32952746efSJames Wright // @brief Calculate Frobenius norm of velocity gradient from eigenframe quantities 33952746efSJames Wright CEED_QFUNCTION_HELPER CeedScalar VelocityGradientMagnitude(const CeedScalar strain_sframe[3], const CeedScalar vorticity_sframe[3]) { 34952746efSJames Wright return sqrt(Dot3(strain_sframe, strain_sframe) + 0.5 * Dot3(vorticity_sframe, vorticity_sframe)); 35952746efSJames Wright }; 36952746efSJames Wright 37952746efSJames Wright // @brief Change the order of basis vectors so that they align with vector and obey right-hand rule 38952746efSJames Wright // @details The e_1 and e_3 basis vectors are the closest aligned to the vector. The e_2 is set via e_3 x e_1 39952746efSJames Wright // The basis vectors are assumed to form the rows of the basis matrix. 40952746efSJames Wright CEED_QFUNCTION_HELPER void OrientBasisWithVector(CeedScalar basis[3][3], const CeedScalar vector[3]) { 41952746efSJames Wright CeedScalar alignment[3] = {0.}, cross[3]; 42952746efSJames Wright 43952746efSJames Wright MatVec3(basis, vector, CEED_NOTRANSPOSE, alignment); 44952746efSJames Wright 45952746efSJames Wright if (alignment[0] < 0) ScaleN(basis[0], -1, 3); 46952746efSJames Wright if (alignment[2] < 0) ScaleN(basis[2], -1, 3); 47952746efSJames Wright 48952746efSJames Wright Cross3(basis[2], basis[0], cross); 49952746efSJames Wright CeedScalar basis_1_orientation = Dot3(cross, basis[1]); 50952746efSJames Wright if (basis_1_orientation < 0) ScaleN(basis[1], -1, 3); 51952746efSJames Wright } 52952746efSJames Wright 532679b3cdSJames Wright // @brief Denormalize outputs using min-max (de-)normalization 54be75532aSJames Wright CEED_QFUNCTION_HELPER void DenormalizeDDOutputs(CeedScalar output[6], const CeedScalar new_bounds[6][2], const CeedScalar old_bounds[6][2]) { 552679b3cdSJames Wright CeedScalar bounds_ratio; 562679b3cdSJames Wright for (int i = 0; i < 6; i++) { 572679b3cdSJames Wright bounds_ratio = (new_bounds[i][1] - new_bounds[i][0]) / (old_bounds[i][1] - old_bounds[i][0]); 582679b3cdSJames Wright output[i] = bounds_ratio * (output[i] - old_bounds[i][1]) + new_bounds[i][1]; 592679b3cdSJames Wright } 602679b3cdSJames Wright } 612679b3cdSJames Wright 62952746efSJames Wright /** 63952746efSJames Wright * @brief Compute model inputs for anisotropic data-driven model 64952746efSJames Wright * 65952746efSJames Wright * @param[in] grad_velo_aniso Gradient of velocity in physical (anisotropic) coordinates 66952746efSJames Wright * @param[in] km_A_ij Anisotropy tensor, in Kelvin-Mandel notation 67952746efSJames Wright * @param[in] delta Length used to create anisotropy tensor 68952746efSJames Wright * @param[in] viscosity Kinematic viscosity 69952746efSJames Wright * @param[out] eigenvectors Eigenvectors of the (anisotropic) velocity gradient 70952746efSJames Wright * @param[out] inputs Data-driven model inputs 71952746efSJames Wright * @param[out] grad_velo_magnitude Frobenius norm of the velocity gradient 72952746efSJames Wright */ 73*ad494f68SJames Wright CEED_QFUNCTION_HELPER void ComputeSgsDDInputs(const CeedScalar grad_velo_aniso[3][3], const CeedScalar km_A_ij[6], const CeedScalar delta, 74952746efSJames Wright const CeedScalar viscosity, CeedScalar eigenvectors[3][3], CeedScalar inputs[6], 75952746efSJames Wright CeedScalar *grad_velo_magnitude) { 76952746efSJames Wright CeedScalar strain_sframe[3] = {0.}, vorticity_sframe[3] = {0.}; 77952746efSJames Wright CeedScalar A_ij[3][3] = {{0.}}, grad_velo_iso[3][3] = {{0.}}; 78952746efSJames Wright 79952746efSJames Wright // -- Transform physical, anisotropic velocity gradient to isotropic 80952746efSJames Wright KMUnpack(km_A_ij, A_ij); 81952746efSJames Wright MatMat3(grad_velo_aniso, A_ij, CEED_NOTRANSPOSE, CEED_NOTRANSPOSE, grad_velo_iso); 82952746efSJames Wright 83952746efSJames Wright { // -- Get Eigenframe 84952746efSJames Wright CeedScalar kmstrain_iso[6], strain_iso[3][3]; 85952746efSJames Wright CeedInt work_vector[3] = {0}; 86952746efSJames Wright KMStrainRate(grad_velo_iso, kmstrain_iso); 87952746efSJames Wright KMUnpack(kmstrain_iso, strain_iso); 88952746efSJames Wright Diagonalize3(strain_iso, strain_sframe, eigenvectors, work_vector, SORT_DECREASING_EVALS, true, 5); 89952746efSJames Wright } 90952746efSJames Wright 91952746efSJames Wright { // -- Get vorticity in S-frame 92952746efSJames Wright CeedScalar rotation_iso[3][3]; 93952746efSJames Wright RotationRate(grad_velo_iso, rotation_iso); 94952746efSJames Wright CeedScalar vorticity_iso[3] = {-2 * rotation_iso[1][2], 2 * rotation_iso[0][2], -2 * rotation_iso[0][1]}; 95952746efSJames Wright OrientBasisWithVector(eigenvectors, vorticity_iso); 96952746efSJames Wright MatVec3(eigenvectors, vorticity_iso, CEED_NOTRANSPOSE, vorticity_sframe); 97952746efSJames Wright } 98952746efSJames Wright 99952746efSJames Wright // -- Calculate DD model inputs 100952746efSJames Wright *grad_velo_magnitude = VelocityGradientMagnitude(strain_sframe, vorticity_sframe); 101952746efSJames Wright inputs[0] = strain_sframe[0]; 102952746efSJames Wright inputs[1] = strain_sframe[1]; 103952746efSJames Wright inputs[2] = strain_sframe[2]; 104952746efSJames Wright inputs[3] = vorticity_sframe[0]; 105952746efSJames Wright inputs[4] = vorticity_sframe[1]; 106952746efSJames Wright inputs[5] = viscosity / Square(delta); 107952746efSJames Wright ScaleN(inputs, 1 / (*grad_velo_magnitude + CEED_EPSILON), 6); 108952746efSJames Wright } 109952746efSJames Wright 1102679b3cdSJames Wright /** 1112679b3cdSJames Wright * @brief Compute the physical SGS stresses from the neural-network output 1122679b3cdSJames Wright * 1132679b3cdSJames Wright * @param[in,out] outputs Outputs from the neural-network 1142679b3cdSJames Wright * @param[in] delta Length used to create anisotropy tensor 1152679b3cdSJames Wright * @param[in] eigenvectors Eigenvectors of the (anisotropic) velocity gradient 1162679b3cdSJames Wright * @param[in] new_bounds Bounds used for min-max de-normalization 1172679b3cdSJames Wright * @param[in] grad_velo_magnitude Magnitude of the velocity gradient 1182679b3cdSJames Wright * @param[out] kmsgs_stress Physical SGS stresses in Kelvin-Mandel notation 1192679b3cdSJames Wright */ 120*ad494f68SJames Wright CEED_QFUNCTION_HELPER void ComputeSgsDDOutputs(CeedScalar outputs[6], const CeedScalar delta, const CeedScalar eigenvectors[3][3], 121*ad494f68SJames Wright const CeedScalar new_bounds[6][2], const CeedScalar grad_velo_magnitude, CeedScalar kmsgs_stress[6]) { 1222679b3cdSJames Wright CeedScalar old_bounds[6][2] = {{0}}; 1232679b3cdSJames Wright for (int j = 0; j < 6; j++) old_bounds[j][1] = 1; 1242679b3cdSJames Wright DenormalizeDDOutputs(outputs, new_bounds, old_bounds); 1252679b3cdSJames Wright 1262679b3cdSJames Wright // Re-dimensionalize sgs_stress 1272679b3cdSJames Wright ScaleN(outputs, Square(delta) * Square(grad_velo_magnitude), 6); 1282679b3cdSJames Wright 1292679b3cdSJames Wright CeedScalar sgs_stress[3][3] = {{0.}}; 1302679b3cdSJames Wright { // Rotate SGS Stress back to physical frame, SGS_physical = E^T SGS_sframe E 1312679b3cdSJames Wright CeedScalar Evec_sgs[3][3] = {{0.}}; 1322679b3cdSJames Wright const CeedScalar sgs_sframe[3][3] = { 1332679b3cdSJames Wright {outputs[0], outputs[3], outputs[4]}, 1342679b3cdSJames Wright {outputs[3], outputs[1], outputs[5]}, 1352679b3cdSJames Wright {outputs[4], outputs[5], outputs[2]}, 1362679b3cdSJames Wright }; 1372679b3cdSJames Wright MatMat3(eigenvectors, sgs_sframe, CEED_TRANSPOSE, CEED_NOTRANSPOSE, Evec_sgs); 1382679b3cdSJames Wright MatMat3(Evec_sgs, eigenvectors, CEED_NOTRANSPOSE, CEED_NOTRANSPOSE, sgs_stress); 1392679b3cdSJames Wright } 1402679b3cdSJames Wright 1412679b3cdSJames Wright KMPack(sgs_stress, kmsgs_stress); 1422679b3cdSJames Wright } 1432679b3cdSJames Wright 144952746efSJames Wright #endif // sgs_dd_utils_h 145