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