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 14a515125bSLeila Ghaffari #include <math.h> 15*493642f1SJames Wright #include <ceed.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 // ***************************************************************************** 51a515125bSLeila Ghaffari CEED_QFUNCTION(Setup2d)(void *ctx, CeedInt Q, 52a515125bSLeila Ghaffari const CeedScalar *const *in, CeedScalar *const *out) { 53a515125bSLeila Ghaffari // *INDENT-OFF* 54a515125bSLeila Ghaffari // Inputs 55a515125bSLeila Ghaffari const CeedScalar (*J)[2][CEED_Q_VLA] = (const CeedScalar(*)[2][CEED_Q_VLA])in[0], 56a515125bSLeila Ghaffari (*w) = in[1]; 57a515125bSLeila Ghaffari // Outputs 58a515125bSLeila Ghaffari CeedScalar (*q_data)[CEED_Q_VLA] = (CeedScalar(*)[CEED_Q_VLA])out[0]; 59a515125bSLeila Ghaffari // *INDENT-ON* 60a515125bSLeila Ghaffari 61a515125bSLeila Ghaffari CeedPragmaSIMD 62a515125bSLeila Ghaffari // Quadrature Point Loop 63a515125bSLeila Ghaffari for (CeedInt i=0; i<Q; i++) { 64a515125bSLeila Ghaffari // Setup 65a515125bSLeila Ghaffari const CeedScalar J11 = J[0][0][i]; 66a515125bSLeila Ghaffari const CeedScalar J21 = J[0][1][i]; 67a515125bSLeila Ghaffari const CeedScalar J12 = J[1][0][i]; 68a515125bSLeila Ghaffari const CeedScalar J22 = J[1][1][i]; 69a515125bSLeila Ghaffari const CeedScalar detJ = J11*J22 - J21*J12; 70a515125bSLeila Ghaffari 71a515125bSLeila Ghaffari // Qdata 72a515125bSLeila Ghaffari // -- Interp-to-Interp q_data 73a515125bSLeila Ghaffari q_data[0][i] = w[i] * detJ; 74a515125bSLeila Ghaffari // -- Interp-to-Grad q_data 75a515125bSLeila Ghaffari // Inverse of change of coordinate matrix: X_i,j 76a515125bSLeila Ghaffari q_data[1][i] = J22 / detJ; 77a515125bSLeila Ghaffari q_data[2][i] = -J21 / detJ; 78a515125bSLeila Ghaffari q_data[3][i] = -J12 / detJ; 79a515125bSLeila Ghaffari q_data[4][i] = J11 / detJ; 80a515125bSLeila Ghaffari } // End of Quadrature Point Loop 81a515125bSLeila Ghaffari 82a515125bSLeila Ghaffari // Return 83a515125bSLeila Ghaffari return 0; 84a515125bSLeila Ghaffari } 85a515125bSLeila Ghaffari 86a515125bSLeila Ghaffari // ***************************************************************************** 87a515125bSLeila Ghaffari // This QFunction sets up the geometric factor required for integration when 88a515125bSLeila Ghaffari // reference coordinates are in 1D and the physical coordinates are in 2D 89a515125bSLeila Ghaffari // 90a515125bSLeila Ghaffari // Reference (parent) 1D coordinates: X 91a515125bSLeila Ghaffari // Physical (current) 2D coordinates: x 92a515125bSLeila Ghaffari // Change of coordinate vector: 93a515125bSLeila Ghaffari // J1 = dx_1/dX 94a515125bSLeila Ghaffari // J2 = dx_2/dX 95a515125bSLeila Ghaffari // 96a515125bSLeila Ghaffari // detJb is the magnitude of (J1,J2) 97a515125bSLeila Ghaffari // 98a515125bSLeila Ghaffari // All quadrature data is stored in 3 field vector of quadrature data. 99a515125bSLeila Ghaffari // 100a515125bSLeila Ghaffari // We require the determinant of the Jacobian to properly compute integrals of 101a515125bSLeila Ghaffari // the form: int( u v ) 102a515125bSLeila Ghaffari // 103a515125bSLeila Ghaffari // Stored: w detJb 104a515125bSLeila Ghaffari // in q_data_sur[0] 105a515125bSLeila Ghaffari // 106a515125bSLeila Ghaffari // Normal vector is given by the cross product of (J1,J2)/detJ and ẑ 107a515125bSLeila Ghaffari // 108a515125bSLeila Ghaffari // Stored: (J1,J2,0) x (0,0,1) / detJb 109a515125bSLeila Ghaffari // in q_data_sur[1:2] as 110a515125bSLeila Ghaffari // (detJb^-1) * [ J2 ] 111a515125bSLeila Ghaffari // [-J1 ] 112a515125bSLeila Ghaffari // 113a515125bSLeila Ghaffari // ***************************************************************************** 114a515125bSLeila Ghaffari CEED_QFUNCTION(SetupBoundary2d)(void *ctx, CeedInt Q, 115a515125bSLeila Ghaffari const CeedScalar *const *in, CeedScalar *const *out) { 116a515125bSLeila Ghaffari // *INDENT-OFF* 117a515125bSLeila Ghaffari // Inputs 118a515125bSLeila Ghaffari const CeedScalar (*J)[CEED_Q_VLA] = (const CeedScalar(*)[CEED_Q_VLA])in[0], 119a515125bSLeila Ghaffari (*w) = in[1]; 120a515125bSLeila Ghaffari // Outputs 121a515125bSLeila Ghaffari CeedScalar (*q_data_sur)[CEED_Q_VLA] = (CeedScalar(*)[CEED_Q_VLA])out[0]; 122a515125bSLeila Ghaffari // *INDENT-ON* 123a515125bSLeila Ghaffari 124a515125bSLeila Ghaffari CeedPragmaSIMD 125a515125bSLeila Ghaffari // Quadrature Point Loop 126a515125bSLeila Ghaffari for (CeedInt i=0; i<Q; i++) { 127a515125bSLeila Ghaffari // Setup 128a515125bSLeila Ghaffari const CeedScalar J1 = J[0][i]; 129a515125bSLeila Ghaffari const CeedScalar J2 = J[1][i]; 130a515125bSLeila Ghaffari 131a515125bSLeila Ghaffari const CeedScalar detJb = sqrt(J1*J1 + J2*J2); 132a515125bSLeila Ghaffari 133a515125bSLeila Ghaffari q_data_sur[0][i] = w[i] * detJb; 134a515125bSLeila Ghaffari q_data_sur[1][i] = J2 / detJb; 135a515125bSLeila Ghaffari q_data_sur[2][i] = -J1 / detJb; 136a515125bSLeila Ghaffari } // End of Quadrature Point Loop 137a515125bSLeila Ghaffari 138a515125bSLeila Ghaffari // Return 139a515125bSLeila Ghaffari return 0; 140a515125bSLeila Ghaffari } 141a515125bSLeila Ghaffari 142a515125bSLeila Ghaffari // ***************************************************************************** 143a515125bSLeila Ghaffari 144a515125bSLeila Ghaffari #endif // setup_geo_2d_h 145