xref: /honee/qfunctions/sgs_dd_utils.h (revision 20bd4f36636b78bf8d16c55c905ef3a1f3f71a6d)
1 // Copyright (c) 2017-2024, Lawrence Livermore National Security, LLC and other CEED contributors.
2 // All Rights Reserved. See the top-level LICENSE and NOTICE files for details.
3 //
4 // SPDX-License-Identifier: BSD-2-Clause
5 //
6 // This file is part of CEED:  http://github.com/ceed
7 
8 /// @file
9 /// Structs and helper functions for data-driven subgrid-stress modeling
10 /// See 'Invariant data-driven subgrid stress modeling in the strain-rate eigenframe for large eddy simulation' 2022 and 'S-frame discrepancy
11 /// correction models for data-informed Reynolds stress closure' 2022
12 
13 #ifndef sgs_dd_utils_h
14 #define sgs_dd_utils_h
15 
16 #include <ceed.h>
17 
18 #include "newtonian_state.h"
19 #include "newtonian_types.h"
20 #include "utils.h"
21 #include "utils_eigensolver_jacobi.h"
22 
23 // @brief Calculate Frobenius norm of velocity gradient from eigenframe quantities
24 CEED_QFUNCTION_HELPER CeedScalar VelocityGradientMagnitude(const CeedScalar strain_sframe[3], const CeedScalar vorticity_sframe[3]) {
25   return sqrt(Dot3(strain_sframe, strain_sframe) + 0.5 * Dot3(vorticity_sframe, vorticity_sframe));
26 };
27 
28 // @brief Change the order of basis vectors so that they align with vector and obey right-hand rule
29 // @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
30 // The basis vectors are assumed to form the rows of the basis matrix.
31 CEED_QFUNCTION_HELPER void OrientBasisWithVector(CeedScalar basis[3][3], const CeedScalar vector[3]) {
32   CeedScalar alignment[3] = {0.}, cross[3];
33 
34   MatVec3(basis, vector, CEED_NOTRANSPOSE, alignment);
35 
36   if (alignment[0] < 0) ScaleN(basis[0], -1, 3);
37   if (alignment[2] < 0) ScaleN(basis[2], -1, 3);
38 
39   Cross3(basis[2], basis[0], cross);
40   CeedScalar basis_1_orientation = Dot3(cross, basis[1]);
41   if (basis_1_orientation < 0) ScaleN(basis[1], -1, 3);
42 }
43 
44 // @brief Denormalize outputs using min-max (de-)normalization
45 CEED_QFUNCTION_HELPER void DenormalizeDDOutputs(CeedScalar output[6], const CeedScalar new_bounds[6][2], const CeedScalar old_bounds[6][2]) {
46   CeedScalar bounds_ratio;
47   for (int i = 0; i < 6; i++) {
48     bounds_ratio = (new_bounds[i][1] - new_bounds[i][0]) / (old_bounds[i][1] - old_bounds[i][0]);
49     output[i]    = bounds_ratio * (output[i] - old_bounds[i][1]) + new_bounds[i][1];
50   }
51 }
52 
53 /**
54  * @brief Compute model inputs for anisotropic data-driven model
55  *
56  * @param[in]  grad_velo_aniso     Gradient of velocity in physical (anisotropic) coordinates
57  * @param[in]  km_A_ij             Anisotropy tensor, in Kelvin-Mandel notation
58  * @param[in]  delta               Length used to create anisotropy tensor
59  * @param[in]  viscosity           Kinematic viscosity
60  * @param[out] eigenvectors        Eigenvectors of the (anisotropic) velocity gradient
61  * @param[out] inputs              Data-driven model inputs
62  * @param[out] grad_velo_magnitude Frobenius norm of the velocity gradient
63  */
64 CEED_QFUNCTION_HELPER void ComputeSgsDDInputs(const CeedScalar grad_velo_aniso[3][3], const CeedScalar km_A_ij[6], const CeedScalar delta,
65                                               const CeedScalar viscosity, CeedScalar eigenvectors[3][3], CeedScalar inputs[6],
66                                               CeedScalar *grad_velo_magnitude) {
67   CeedScalar strain_sframe[3] = {0.}, vorticity_sframe[3] = {0.};
68   CeedScalar A_ij[3][3] = {{0.}}, grad_velo_iso[3][3] = {{0.}};
69 
70   // -- Transform physical, anisotropic velocity gradient to isotropic
71   KMUnpack(km_A_ij, A_ij);
72   MatMat3(grad_velo_aniso, A_ij, CEED_NOTRANSPOSE, CEED_NOTRANSPOSE, grad_velo_iso);
73 
74   {  // -- Get Eigenframe
75     CeedScalar kmstrain_iso[6], strain_iso[3][3];
76     CeedInt    work_vector[3] = {0};
77     KMStrainRate(grad_velo_iso, kmstrain_iso);
78     KMUnpack(kmstrain_iso, strain_iso);
79     Diagonalize3(strain_iso, strain_sframe, eigenvectors, work_vector, SORT_DECREASING_EVALS, true, 5);
80   }
81 
82   {  // -- Get vorticity in S-frame
83     CeedScalar rotation_iso[3][3];
84     RotationRate(grad_velo_iso, rotation_iso);
85     CeedScalar vorticity_iso[3] = {-2 * rotation_iso[1][2], 2 * rotation_iso[0][2], -2 * rotation_iso[0][1]};
86     OrientBasisWithVector(eigenvectors, vorticity_iso);
87     MatVec3(eigenvectors, vorticity_iso, CEED_NOTRANSPOSE, vorticity_sframe);
88   }
89 
90   // -- Calculate DD model inputs
91   *grad_velo_magnitude = VelocityGradientMagnitude(strain_sframe, vorticity_sframe);
92   inputs[0]            = strain_sframe[0];
93   inputs[1]            = strain_sframe[1];
94   inputs[2]            = strain_sframe[2];
95   inputs[3]            = vorticity_sframe[0];
96   inputs[4]            = vorticity_sframe[1];
97   inputs[5]            = viscosity / Square(delta);
98   ScaleN(inputs, 1 / (*grad_velo_magnitude + CEED_EPSILON), 6);
99 }
100 
101 /**
102  * @brief Compute the physical SGS stresses from the neural-network output
103  *
104  * @param[in,out] outputs             Outputs from the neural-network
105  * @param[in]     delta               Length used to create anisotropy tensor
106  * @param[in]     eigenvectors        Eigenvectors of the (anisotropic) velocity gradient
107  * @param[in]     new_bounds          Bounds used for min-max de-normalization
108  * @param[in]     grad_velo_magnitude Magnitude of the velocity gradient
109  * @param[out]    kmsgs_stress        Physical SGS stresses in Kelvin-Mandel notation
110  */
111 CEED_QFUNCTION_HELPER void ComputeSgsDDOutputs(CeedScalar outputs[6], const CeedScalar delta, const CeedScalar eigenvectors[3][3],
112                                                const CeedScalar new_bounds[6][2], const CeedScalar grad_velo_magnitude, CeedScalar kmsgs_stress[6]) {
113   CeedScalar old_bounds[6][2] = {{0}};
114   for (int j = 0; j < 6; j++) old_bounds[j][1] = 1;
115   DenormalizeDDOutputs(outputs, new_bounds, old_bounds);
116 
117   // Re-dimensionalize sgs_stress
118   ScaleN(outputs, Square(delta) * Square(grad_velo_magnitude), 6);
119 
120   CeedScalar sgs_stress[3][3] = {{0.}};
121   {  // Rotate SGS Stress back to physical frame, SGS_physical = E^T SGS_sframe E
122     CeedScalar       Evec_sgs[3][3]   = {{0.}};
123     const CeedScalar sgs_sframe[3][3] = {
124         {outputs[0], outputs[3], outputs[4]},
125         {outputs[3], outputs[1], outputs[5]},
126         {outputs[4], outputs[5], outputs[2]},
127     };
128     MatMat3(eigenvectors, sgs_sframe, CEED_TRANSPOSE, CEED_NOTRANSPOSE, Evec_sgs);
129     MatMat3(Evec_sgs, eigenvectors, CEED_NOTRANSPOSE, CEED_NOTRANSPOSE, sgs_stress);
130   }
131 
132   KMPack(sgs_stress, kmsgs_stress);
133 }
134 
135 #endif  // sgs_dd_utils_h
136