xref: /honee/qfunctions/sgs_dd_utils.h (revision 2679b3cda7ebae93721fb1cf24a657a70a86c200)
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 
53*2679b3cdSJames Wright // @brief Denormalize outputs using min-max (de-)normalization
54*2679b3cdSJames Wright CEED_QFUNCTION_HELPER void DenormalizeDDOutputs(CeedScalar output[6], const CeedScalar new_bounds[6][2], const CeedScalar old_bounds[6][2]) {
55*2679b3cdSJames Wright   CeedScalar bounds_ratio;
56*2679b3cdSJames Wright   for (int i = 0; i < 6; i++) {
57*2679b3cdSJames Wright     bounds_ratio = (new_bounds[i][1] - new_bounds[i][0]) / (old_bounds[i][1] - old_bounds[i][0]);
58*2679b3cdSJames Wright     output[i]    = bounds_ratio * (output[i] - old_bounds[i][1]) + new_bounds[i][1];
59*2679b3cdSJames Wright   }
60*2679b3cdSJames Wright }
61*2679b3cdSJames 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  */
73952746efSJames Wright CEED_QFUNCTION_HELPER void ComputeSGS_DDAnisotropicInputs(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 
110*2679b3cdSJames Wright /**
111*2679b3cdSJames Wright  * @brief Compute the physical SGS stresses from the neural-network output
112*2679b3cdSJames Wright  *
113*2679b3cdSJames Wright  * @param[in,out] outputs             Outputs from the neural-network
114*2679b3cdSJames Wright  * @param[in]     delta               Length used to create anisotropy tensor
115*2679b3cdSJames Wright  * @param[in]     eigenvectors        Eigenvectors of the (anisotropic) velocity gradient
116*2679b3cdSJames Wright  * @param[in]     new_bounds          Bounds used for min-max de-normalization
117*2679b3cdSJames Wright  * @param[in]     grad_velo_magnitude Magnitude of the velocity gradient
118*2679b3cdSJames Wright  * @param[out]    kmsgs_stress        Physical SGS stresses in Kelvin-Mandel notation
119*2679b3cdSJames Wright  */
120*2679b3cdSJames Wright CEED_QFUNCTION_HELPER void ComputeSGS_DDAnisotropicOutputs(CeedScalar outputs[6], const CeedScalar delta, const CeedScalar eigenvectors[3][3],
121*2679b3cdSJames Wright                                                            const CeedScalar new_bounds[6][2], const CeedScalar grad_velo_magnitude,
122*2679b3cdSJames Wright                                                            CeedScalar kmsgs_stress[6]) {
123*2679b3cdSJames Wright   CeedScalar old_bounds[6][2] = {{0}};
124*2679b3cdSJames Wright   for (int j = 0; j < 6; j++) old_bounds[j][1] = 1;
125*2679b3cdSJames Wright   DenormalizeDDOutputs(outputs, new_bounds, old_bounds);
126*2679b3cdSJames Wright 
127*2679b3cdSJames Wright   // Re-dimensionalize sgs_stress
128*2679b3cdSJames Wright   ScaleN(outputs, Square(delta) * Square(grad_velo_magnitude), 6);
129*2679b3cdSJames Wright 
130*2679b3cdSJames Wright   CeedScalar sgs_stress[3][3] = {{0.}};
131*2679b3cdSJames Wright   {  // Rotate SGS Stress back to physical frame, SGS_physical = E^T SGS_sframe E
132*2679b3cdSJames Wright     CeedScalar       Evec_sgs[3][3]   = {{0.}};
133*2679b3cdSJames Wright     const CeedScalar sgs_sframe[3][3] = {
134*2679b3cdSJames Wright         {outputs[0], outputs[3], outputs[4]},
135*2679b3cdSJames Wright         {outputs[3], outputs[1], outputs[5]},
136*2679b3cdSJames Wright         {outputs[4], outputs[5], outputs[2]},
137*2679b3cdSJames Wright     };
138*2679b3cdSJames Wright     MatMat3(eigenvectors, sgs_sframe, CEED_TRANSPOSE, CEED_NOTRANSPOSE, Evec_sgs);
139*2679b3cdSJames Wright     MatMat3(Evec_sgs, eigenvectors, CEED_NOTRANSPOSE, CEED_NOTRANSPOSE, sgs_stress);
140*2679b3cdSJames Wright   }
141*2679b3cdSJames Wright 
142*2679b3cdSJames Wright   KMPack(sgs_stress, kmsgs_stress);
143*2679b3cdSJames Wright }
144*2679b3cdSJames Wright 
145952746efSJames Wright #endif  // sgs_dd_utils_h
146