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