xref: /honee/qfunctions/setupgeo2d.h (revision 2b916ea7fa53b5c2584160b9274b1b14ca18ff4f)
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 // *****************************************************************************
18a515125bSLeila Ghaffari // This QFunction sets up the geometric factors required for integration and
19a515125bSLeila Ghaffari //   coordinate transformations
20a515125bSLeila Ghaffari //
21a515125bSLeila Ghaffari // Reference (parent) coordinates: X
22a515125bSLeila Ghaffari // Physical (current) coordinates: x
23a515125bSLeila Ghaffari // Change of coordinate matrix: dxdX_{i,j} = x_{i,j} (indicial notation)
24a515125bSLeila Ghaffari // Inverse of change of coordinate matrix: dXdx_{i,j} = (detJ^-1) * X_{i,j}
25a515125bSLeila Ghaffari //
26a515125bSLeila Ghaffari // All quadrature data is stored in 10 field vector of quadrature data.
27a515125bSLeila Ghaffari //
28a515125bSLeila Ghaffari // We require the determinant of the Jacobian to properly compute integrals of
29a515125bSLeila Ghaffari //   the form: int( v u )
30a515125bSLeila Ghaffari //
31a515125bSLeila Ghaffari // Determinant of Jacobian:
32a515125bSLeila Ghaffari //   detJ = J11*J22 - J21*J12
33a515125bSLeila Ghaffari //     Jij = Jacobian entry ij
34a515125bSLeila Ghaffari //
35a515125bSLeila Ghaffari // Stored: w detJ
36a515125bSLeila Ghaffari //   in q_data[0]
37a515125bSLeila Ghaffari //
38a515125bSLeila Ghaffari // We require the transpose of the inverse of the Jacobian to properly compute
39a515125bSLeila Ghaffari //   integrals of the form: int( gradv u )
40a515125bSLeila Ghaffari //
41a515125bSLeila Ghaffari // Inverse of Jacobian:
42a515125bSLeila Ghaffari //   dXdx_i,j = Aij / detJ
43a515125bSLeila Ghaffari //   Aij = Adjoint ij
44a515125bSLeila Ghaffari //
45a515125bSLeila Ghaffari // Stored: Aij / detJ
46a515125bSLeila Ghaffari //   in q_data[1:4] as
47a515125bSLeila Ghaffari //   (detJ^-1) * [A11 A12]
48a515125bSLeila Ghaffari //               [A21 A22]
49a515125bSLeila Ghaffari //
50a515125bSLeila Ghaffari // *****************************************************************************
51*2b916ea7SJeremy L Thompson CEED_QFUNCTION(Setup2d)(void *ctx, CeedInt Q, const CeedScalar *const *in, CeedScalar *const *out) {
52a515125bSLeila Ghaffari   // *INDENT-OFF*
53a515125bSLeila Ghaffari   // Inputs
54*2b916ea7SJeremy L Thompson   const CeedScalar(*J)[2][CEED_Q_VLA] = (const CeedScalar(*)[2][CEED_Q_VLA])in[0], (*w) = in[1];
55a515125bSLeila Ghaffari   // Outputs
56a515125bSLeila Ghaffari   CeedScalar(*q_data)[CEED_Q_VLA] = (CeedScalar(*)[CEED_Q_VLA])out[0];
57a515125bSLeila Ghaffari   // *INDENT-ON*
58a515125bSLeila Ghaffari 
59a515125bSLeila Ghaffari   CeedPragmaSIMD
60a515125bSLeila Ghaffari       // Quadrature Point Loop
61a515125bSLeila Ghaffari       for (CeedInt i = 0; i < Q; i++) {
62a515125bSLeila Ghaffari     // Setup
63a515125bSLeila Ghaffari     const CeedScalar J11  = J[0][0][i];
64a515125bSLeila Ghaffari     const CeedScalar J21  = J[0][1][i];
65a515125bSLeila Ghaffari     const CeedScalar J12  = J[1][0][i];
66a515125bSLeila Ghaffari     const CeedScalar J22  = J[1][1][i];
67a515125bSLeila Ghaffari     const CeedScalar detJ = J11 * J22 - J21 * J12;
68a515125bSLeila Ghaffari 
69a515125bSLeila Ghaffari     // Qdata
70a515125bSLeila Ghaffari     // -- Interp-to-Interp q_data
71a515125bSLeila Ghaffari     q_data[0][i] = w[i] * detJ;
72a515125bSLeila Ghaffari     // -- Interp-to-Grad q_data
73a515125bSLeila Ghaffari     // Inverse of change of coordinate matrix: X_i,j
74a515125bSLeila Ghaffari     q_data[1][i] = J22 / detJ;
75d867c9ccSRezgar Shakeri     q_data[2][i] = -J12 / detJ;
76d867c9ccSRezgar Shakeri     q_data[3][i] = -J21 / detJ;
77a515125bSLeila Ghaffari     q_data[4][i] = J11 / detJ;
78a515125bSLeila Ghaffari   }  // End of Quadrature Point Loop
79a515125bSLeila Ghaffari 
80a515125bSLeila Ghaffari   // Return
81a515125bSLeila Ghaffari   return 0;
82a515125bSLeila Ghaffari }
83a515125bSLeila Ghaffari 
84a515125bSLeila Ghaffari // *****************************************************************************
85a515125bSLeila Ghaffari // This QFunction sets up the geometric factor required for integration when
86a515125bSLeila Ghaffari //   reference coordinates are in 1D and the physical coordinates are in 2D
87a515125bSLeila Ghaffari //
88a515125bSLeila Ghaffari // Reference (parent) 1D coordinates: X
89a515125bSLeila Ghaffari // Physical (current) 2D coordinates: x
90a515125bSLeila Ghaffari // Change of coordinate vector:
91a515125bSLeila Ghaffari //           J1 = dx_1/dX
92a515125bSLeila Ghaffari //           J2 = dx_2/dX
93a515125bSLeila Ghaffari //
94a515125bSLeila Ghaffari // detJb is the magnitude of (J1,J2)
95a515125bSLeila Ghaffari //
96a515125bSLeila Ghaffari // All quadrature data is stored in 3 field vector of quadrature data.
97a515125bSLeila Ghaffari //
98a515125bSLeila Ghaffari // We require the determinant of the Jacobian to properly compute integrals of
99a515125bSLeila Ghaffari //   the form: int( u v )
100a515125bSLeila Ghaffari //
101a515125bSLeila Ghaffari // Stored: w detJb
102a515125bSLeila Ghaffari //   in q_data_sur[0]
103a515125bSLeila Ghaffari //
104a515125bSLeila Ghaffari // Normal vector is given by the cross product of (J1,J2)/detJ and ẑ
105a515125bSLeila Ghaffari //
106a515125bSLeila Ghaffari // Stored: (J1,J2,0) x (0,0,1) / detJb
107a515125bSLeila Ghaffari //   in q_data_sur[1:2] as
108a515125bSLeila Ghaffari //   (detJb^-1) * [ J2 ]
109a515125bSLeila Ghaffari //                [-J1 ]
110a515125bSLeila Ghaffari //
111a515125bSLeila Ghaffari // *****************************************************************************
112*2b916ea7SJeremy L Thompson CEED_QFUNCTION(SetupBoundary2d)(void *ctx, CeedInt Q, const CeedScalar *const *in, CeedScalar *const *out) {
113a515125bSLeila Ghaffari   // *INDENT-OFF*
114a515125bSLeila Ghaffari   // Inputs
115*2b916ea7SJeremy L Thompson   const CeedScalar(*J)[CEED_Q_VLA] = (const CeedScalar(*)[CEED_Q_VLA])in[0], (*w) = in[1];
116a515125bSLeila Ghaffari   // Outputs
117a515125bSLeila Ghaffari   CeedScalar(*q_data_sur)[CEED_Q_VLA] = (CeedScalar(*)[CEED_Q_VLA])out[0];
118a515125bSLeila Ghaffari   // *INDENT-ON*
119a515125bSLeila Ghaffari 
120a515125bSLeila Ghaffari   CeedPragmaSIMD
121a515125bSLeila Ghaffari       // Quadrature Point Loop
122a515125bSLeila Ghaffari       for (CeedInt i = 0; i < Q; i++) {
123a515125bSLeila Ghaffari     // Setup
124a515125bSLeila Ghaffari     const CeedScalar J1 = J[0][i];
125a515125bSLeila Ghaffari     const CeedScalar J2 = J[1][i];
126a515125bSLeila Ghaffari 
127a515125bSLeila Ghaffari     const CeedScalar detJb = sqrt(J1 * J1 + J2 * J2);
128a515125bSLeila Ghaffari 
129a515125bSLeila Ghaffari     q_data_sur[0][i] = w[i] * detJb;
130a515125bSLeila Ghaffari     q_data_sur[1][i] = J2 / detJb;
131a515125bSLeila Ghaffari     q_data_sur[2][i] = -J1 / detJb;
132a515125bSLeila Ghaffari   }  // End of Quadrature Point Loop
133a515125bSLeila Ghaffari 
134a515125bSLeila Ghaffari   // Return
135a515125bSLeila Ghaffari   return 0;
136a515125bSLeila Ghaffari }
137a515125bSLeila Ghaffari 
138a515125bSLeila Ghaffari // *****************************************************************************
139a515125bSLeila Ghaffari 
140a515125bSLeila Ghaffari #endif  // setup_geo_2d_h
141