xref: /honee/qfunctions/setupgeo2d.h (revision 04e40bb60650195adcc92556a3eb81ec7887ccc8)
1727da7e7SJeremy L Thompson // Copyright (c) 2017-2022, Lawrence Livermore National Security, LLC and other CEED contributors.
2727da7e7SJeremy L Thompson // All Rights Reserved. See the top-level LICENSE and NOTICE files for details.
3a515125bSLeila Ghaffari //
4727da7e7SJeremy L Thompson // SPDX-License-Identifier: BSD-2-Clause
5a515125bSLeila Ghaffari //
6727da7e7SJeremy L Thompson // This file is part of CEED:  http://github.com/ceed
7a515125bSLeila Ghaffari 
8a515125bSLeila Ghaffari /// @file
9a515125bSLeila Ghaffari /// Geometric factors (2D) for Navier-Stokes example using PETSc
10a515125bSLeila Ghaffari 
11a515125bSLeila Ghaffari #ifndef setup_geo_2d_h
12a515125bSLeila Ghaffari #define setup_geo_2d_h
13a515125bSLeila Ghaffari 
14493642f1SJames Wright #include <ceed.h>
15d0cce58aSJeremy L Thompson #include <math.h>
16a515125bSLeila Ghaffari 
17a515125bSLeila Ghaffari // *****************************************************************************
18*04e40bb6SJeremy L Thompson // This QFunction sets up the geometric factors required for integration and coordinate transformations
19a515125bSLeila Ghaffari //
20a515125bSLeila Ghaffari // Reference (parent) coordinates: X
21a515125bSLeila Ghaffari // Physical (current) coordinates: x
22a515125bSLeila Ghaffari // Change of coordinate matrix: dxdX_{i,j} = x_{i,j} (indicial notation)
23a515125bSLeila Ghaffari // Inverse of change of coordinate matrix: dXdx_{i,j} = (detJ^-1) * X_{i,j}
24a515125bSLeila Ghaffari //
25a515125bSLeila Ghaffari // All quadrature data is stored in 10 field vector of quadrature data.
26a515125bSLeila Ghaffari //
27*04e40bb6SJeremy L Thompson // We require the determinant of the Jacobian to properly compute integrals of the form: int( v u )
28a515125bSLeila Ghaffari //
29a515125bSLeila Ghaffari // Determinant of Jacobian:
30a515125bSLeila Ghaffari //   detJ = J11*J22 - J21*J12
31a515125bSLeila Ghaffari //     Jij = Jacobian entry ij
32a515125bSLeila Ghaffari //
33a515125bSLeila Ghaffari // Stored: w detJ
34a515125bSLeila Ghaffari //   in q_data[0]
35a515125bSLeila Ghaffari //
36*04e40bb6SJeremy L Thompson // We require the transpose of the inverse of the Jacobian to properly compute integrals of the form: int( gradv u )
37a515125bSLeila Ghaffari //
38a515125bSLeila Ghaffari // Inverse of Jacobian:
39a515125bSLeila Ghaffari //   dXdx_i,j = Aij / detJ
40a515125bSLeila Ghaffari //   Aij = Adjoint ij
41a515125bSLeila Ghaffari //
42a515125bSLeila Ghaffari // Stored: Aij / detJ
43a515125bSLeila Ghaffari //   in q_data[1:4] as
44a515125bSLeila Ghaffari //   (detJ^-1) * [A11 A12]
45a515125bSLeila Ghaffari //               [A21 A22]
46a515125bSLeila Ghaffari // *****************************************************************************
472b916ea7SJeremy L Thompson CEED_QFUNCTION(Setup2d)(void *ctx, CeedInt Q, const CeedScalar *const *in, CeedScalar *const *out) {
48a515125bSLeila Ghaffari   // Inputs
493d65b166SJames Wright   const CeedScalar(*J)[2][CEED_Q_VLA] = (const CeedScalar(*)[2][CEED_Q_VLA])in[0];
503d65b166SJames Wright   const CeedScalar(*w)                = in[1];
513d65b166SJames Wright 
52a515125bSLeila Ghaffari   // Outputs
53a515125bSLeila Ghaffari   CeedScalar(*q_data)[CEED_Q_VLA] = (CeedScalar(*)[CEED_Q_VLA])out[0];
54a515125bSLeila Ghaffari 
55a515125bSLeila Ghaffari   CeedPragmaSIMD
56a515125bSLeila Ghaffari       // Quadrature Point Loop
57a515125bSLeila Ghaffari       for (CeedInt i = 0; i < Q; i++) {
58a515125bSLeila Ghaffari     // Setup
59a515125bSLeila Ghaffari     const CeedScalar J11  = J[0][0][i];
60a515125bSLeila Ghaffari     const CeedScalar J21  = J[0][1][i];
61a515125bSLeila Ghaffari     const CeedScalar J12  = J[1][0][i];
62a515125bSLeila Ghaffari     const CeedScalar J22  = J[1][1][i];
63a515125bSLeila Ghaffari     const CeedScalar detJ = J11 * J22 - J21 * J12;
64a515125bSLeila Ghaffari 
65a515125bSLeila Ghaffari     // Qdata
66a515125bSLeila Ghaffari     // -- Interp-to-Interp q_data
67a515125bSLeila Ghaffari     q_data[0][i] = w[i] * detJ;
68a515125bSLeila Ghaffari     // -- Interp-to-Grad q_data
69a515125bSLeila Ghaffari     // Inverse of change of coordinate matrix: X_i,j
70a515125bSLeila Ghaffari     q_data[1][i] = J22 / detJ;
71d867c9ccSRezgar Shakeri     q_data[2][i] = -J12 / detJ;
72d867c9ccSRezgar Shakeri     q_data[3][i] = -J21 / detJ;
73a515125bSLeila Ghaffari     q_data[4][i] = J11 / detJ;
74a515125bSLeila Ghaffari   }  // End of Quadrature Point Loop
75a515125bSLeila Ghaffari 
76a515125bSLeila Ghaffari   // Return
77a515125bSLeila Ghaffari   return 0;
78a515125bSLeila Ghaffari }
79a515125bSLeila Ghaffari 
80a515125bSLeila Ghaffari // *****************************************************************************
81*04e40bb6SJeremy L Thompson // This QFunction sets up the geometric factor required for integration when reference coordinates are in 1D and the physical coordinates are in 2D
82a515125bSLeila Ghaffari //
83a515125bSLeila Ghaffari // Reference (parent) 1D coordinates: X
84a515125bSLeila Ghaffari // Physical (current) 2D coordinates: x
85a515125bSLeila Ghaffari // Change of coordinate vector:
86a515125bSLeila Ghaffari //           J1 = dx_1/dX
87a515125bSLeila Ghaffari //           J2 = dx_2/dX
88a515125bSLeila Ghaffari //
89a515125bSLeila Ghaffari // detJb is the magnitude of (J1,J2)
90a515125bSLeila Ghaffari //
91a515125bSLeila Ghaffari // All quadrature data is stored in 3 field vector of quadrature data.
92a515125bSLeila Ghaffari //
93*04e40bb6SJeremy L Thompson // We require the determinant of the Jacobian to properly compute integrals of the form: int( u v )
94a515125bSLeila Ghaffari //
95a515125bSLeila Ghaffari // Stored: w detJb
96a515125bSLeila Ghaffari //   in q_data_sur[0]
97a515125bSLeila Ghaffari //
98a515125bSLeila Ghaffari // Normal vector is given by the cross product of (J1,J2)/detJ and ẑ
99a515125bSLeila Ghaffari //
100a515125bSLeila Ghaffari // Stored: (J1,J2,0) x (0,0,1) / detJb
101a515125bSLeila Ghaffari //   in q_data_sur[1:2] as
102a515125bSLeila Ghaffari //   (detJb^-1) * [ J2 ]
103a515125bSLeila Ghaffari //                [-J1 ]
104a515125bSLeila Ghaffari // *****************************************************************************
1052b916ea7SJeremy L Thompson CEED_QFUNCTION(SetupBoundary2d)(void *ctx, CeedInt Q, const CeedScalar *const *in, CeedScalar *const *out) {
106a515125bSLeila Ghaffari   // Inputs
1073d65b166SJames Wright   const CeedScalar(*J)[CEED_Q_VLA] = (const CeedScalar(*)[CEED_Q_VLA])in[0];
1083d65b166SJames Wright   const CeedScalar(*w)             = in[1];
1093d65b166SJames Wright 
110a515125bSLeila Ghaffari   // Outputs
111a515125bSLeila Ghaffari   CeedScalar(*q_data_sur)[CEED_Q_VLA] = (CeedScalar(*)[CEED_Q_VLA])out[0];
112a515125bSLeila Ghaffari 
113a515125bSLeila Ghaffari   CeedPragmaSIMD
114a515125bSLeila Ghaffari       // Quadrature Point Loop
115a515125bSLeila Ghaffari       for (CeedInt i = 0; i < Q; i++) {
116a515125bSLeila Ghaffari     // Setup
117a515125bSLeila Ghaffari     const CeedScalar J1 = J[0][i];
118a515125bSLeila Ghaffari     const CeedScalar J2 = J[1][i];
119a515125bSLeila Ghaffari 
120a515125bSLeila Ghaffari     const CeedScalar detJb = sqrt(J1 * J1 + J2 * J2);
121a515125bSLeila Ghaffari 
122a515125bSLeila Ghaffari     q_data_sur[0][i] = w[i] * detJb;
123a515125bSLeila Ghaffari     q_data_sur[1][i] = J2 / detJb;
124a515125bSLeila Ghaffari     q_data_sur[2][i] = -J1 / detJb;
125a515125bSLeila Ghaffari   }  // End of Quadrature Point Loop
126a515125bSLeila Ghaffari 
127a515125bSLeila Ghaffari   // Return
128a515125bSLeila Ghaffari   return 0;
129a515125bSLeila Ghaffari }
130a515125bSLeila Ghaffari 
131a515125bSLeila Ghaffari // *****************************************************************************
132a515125bSLeila Ghaffari 
133a515125bSLeila Ghaffari #endif  // setup_geo_2d_h
134