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 /// Advection initial condition and operator for Navier-Stokes example using PETSc 10a515125bSLeila Ghaffari 11a515125bSLeila Ghaffari #ifndef advection_h 12a515125bSLeila Ghaffari #define advection_h 13a515125bSLeila Ghaffari 14493642f1SJames Wright #include <ceed.h> 15d0cce58aSJeremy L Thompson #include <math.h> 16a515125bSLeila Ghaffari 170b3a1fabSJames Wright #include "advection_generic.h" 18e88b842aSJames Wright #include "advection_types.h" 19ce192147SJames Wright #include "newtonian_state.h" 20ce192147SJames Wright #include "newtonian_types.h" 21e88b842aSJames Wright #include "stabilization_types.h" 221a74fa30SJames Wright #include "utils.h" 231a74fa30SJames Wright 24a515125bSLeila Ghaffari // ***************************************************************************** 25a515125bSLeila Ghaffari // This QFunction sets the initial conditions for 3D advection 26a515125bSLeila Ghaffari // ***************************************************************************** 272b916ea7SJeremy L Thompson CEED_QFUNCTION(ICsAdvection)(void *ctx, CeedInt Q, const CeedScalar *const *in, CeedScalar *const *out) { 28a515125bSLeila Ghaffari const CeedScalar(*X)[CEED_Q_VLA] = (const CeedScalar(*)[CEED_Q_VLA])in[0]; 29a515125bSLeila Ghaffari CeedScalar(*q0)[CEED_Q_VLA] = (CeedScalar(*)[CEED_Q_VLA])out[0]; 30a515125bSLeila Ghaffari 313d65b166SJames Wright CeedPragmaSIMD for (CeedInt i = 0; i < Q; i++) { 32a515125bSLeila Ghaffari const CeedScalar x[] = {X[0][i], X[1][i], X[2][i]}; 33139613f2SLeila Ghaffari CeedScalar q[5] = {0.}; 34a515125bSLeila Ghaffari 350b3a1fabSJames Wright Exact_AdvectionGeneric(3, 0., x, 5, q, ctx); 36a515125bSLeila Ghaffari for (CeedInt j = 0; j < 5; j++) q0[j][i] = q[j]; 370b3a1fabSJames Wright } 38a515125bSLeila Ghaffari return 0; 39a515125bSLeila Ghaffari } 40a515125bSLeila Ghaffari 41a515125bSLeila Ghaffari // ***************************************************************************** 42a515125bSLeila Ghaffari // This QFunction implements the following formulation of the advection equation 43a515125bSLeila Ghaffari // 44a515125bSLeila Ghaffari // This is 3D advection given in two formulations based upon the weak form. 45a515125bSLeila Ghaffari // 46a515125bSLeila Ghaffari // State Variables: q = ( rho, U1, U2, U3, E ) 47a515125bSLeila Ghaffari // rho - Mass Density 48a515125bSLeila Ghaffari // Ui - Momentum Density , Ui = rho ui 49a515125bSLeila Ghaffari // E - Total Energy Density 50a515125bSLeila Ghaffari // 51a515125bSLeila Ghaffari // Advection Equation: 52a515125bSLeila Ghaffari // dE/dt + div( E u ) = 0 53a515125bSLeila Ghaffari // ***************************************************************************** 542b916ea7SJeremy L Thompson CEED_QFUNCTION(Advection)(void *ctx, CeedInt Q, const CeedScalar *const *in, CeedScalar *const *out) { 55*31ff2a43SJames Wright RHSFunction_AdvectionGeneric(ctx, Q, in, out, 3); 56a515125bSLeila Ghaffari return 0; 57a515125bSLeila Ghaffari } 58a515125bSLeila Ghaffari 592b916ea7SJeremy L Thompson CEED_QFUNCTION(IFunction_Advection)(void *ctx, CeedInt Q, const CeedScalar *const *in, CeedScalar *const *out) { 60bd4b5413SJames Wright IFunction_AdvectionGeneric(ctx, Q, in, out, 3); 61a515125bSLeila Ghaffari return 0; 62a515125bSLeila Ghaffari } 63a515125bSLeila Ghaffari 64a515125bSLeila Ghaffari // ***************************************************************************** 65a515125bSLeila Ghaffari // This QFunction implements consistent outflow and inflow BCs 66a515125bSLeila Ghaffari // for 3D advection 67a515125bSLeila Ghaffari // 68a515125bSLeila Ghaffari // Inflow and outflow faces are determined based on sign(dot(wind, normal)): 69a515125bSLeila Ghaffari // sign(dot(wind, normal)) > 0 : outflow BCs 70a515125bSLeila Ghaffari // sign(dot(wind, normal)) < 0 : inflow BCs 71a515125bSLeila Ghaffari // 72a515125bSLeila Ghaffari // Outflow BCs: 7304e40bb6SJeremy L Thompson // The validity of the weak form of the governing equations is extended to the outflow and the current values of E are applied. 74a515125bSLeila Ghaffari // 75a515125bSLeila Ghaffari // Inflow BCs: 76a515125bSLeila Ghaffari // A prescribed Total Energy (E_wind) is applied weakly. 77a515125bSLeila Ghaffari // ***************************************************************************** 782b916ea7SJeremy L Thompson CEED_QFUNCTION(Advection_InOutFlow)(void *ctx, CeedInt Q, const CeedScalar *const *in, CeedScalar *const *out) { 79a515125bSLeila Ghaffari // Inputs 803d65b166SJames Wright const CeedScalar(*q)[CEED_Q_VLA] = (const CeedScalar(*)[CEED_Q_VLA])in[0]; 81ade49511SJames Wright const CeedScalar(*q_data_sur) = in[2]; 823d65b166SJames Wright 83a515125bSLeila Ghaffari // Outputs 84a515125bSLeila Ghaffari CeedScalar(*v)[CEED_Q_VLA] = (CeedScalar(*)[CEED_Q_VLA])out[0]; 85a515125bSLeila Ghaffari AdvectionContext context = (AdvectionContext)ctx; 86a515125bSLeila Ghaffari const CeedScalar E_wind = context->E_wind; 87a515125bSLeila Ghaffari const CeedScalar strong_form = context->strong_form; 88ade49511SJames Wright const bool is_implicit = context->implicit; 89a515125bSLeila Ghaffari 90a515125bSLeila Ghaffari // Quadrature Point Loop 913d65b166SJames Wright CeedPragmaSIMD for (CeedInt i = 0; i < Q; i++) { 92a515125bSLeila Ghaffari // Setup 93a515125bSLeila Ghaffari // -- Interp in 94a515125bSLeila Ghaffari const CeedScalar rho = q[0][i]; 952b916ea7SJeremy L Thompson const CeedScalar u[3] = {q[1][i] / rho, q[2][i] / rho, q[3][i] / rho}; 96a515125bSLeila Ghaffari const CeedScalar E = q[4][i]; 97a515125bSLeila Ghaffari 98ade49511SJames Wright CeedScalar wdetJb, norm[3]; 99ade49511SJames Wright QdataBoundaryUnpack_3D(Q, i, q_data_sur, &wdetJb, NULL, norm); 100ade49511SJames Wright wdetJb *= is_implicit ? -1. : 1.; 101a515125bSLeila Ghaffari 102a515125bSLeila Ghaffari // Normal velocity 103a515125bSLeila Ghaffari const CeedScalar u_normal = norm[0] * u[0] + norm[1] * u[1] + norm[2] * u[2]; 104a515125bSLeila Ghaffari 105a515125bSLeila Ghaffari // No Change in density or momentum 106a515125bSLeila Ghaffari for (CeedInt j = 0; j < 4; j++) { 107a515125bSLeila Ghaffari v[j][i] = 0; 108a515125bSLeila Ghaffari } 109a515125bSLeila Ghaffari // Implementing in/outflow BCs 110a515125bSLeila Ghaffari if (u_normal > 0) { // outflow 111a515125bSLeila Ghaffari v[4][i] = -(1 - strong_form) * wdetJb * E * u_normal; 112a515125bSLeila Ghaffari } else { // inflow 113a515125bSLeila Ghaffari v[4][i] = -(1 - strong_form) * wdetJb * E_wind * u_normal; 114a515125bSLeila Ghaffari } 115a515125bSLeila Ghaffari } // End Quadrature Point Loop 116a515125bSLeila Ghaffari return 0; 117a515125bSLeila Ghaffari } 118a515125bSLeila Ghaffari // ***************************************************************************** 119a515125bSLeila Ghaffari 120a515125bSLeila Ghaffari #endif // advection_h 121