xref: /honee/qfunctions/advection.h (revision 31ff2a43f62e897ab8a92bef873b3400c312bd8b)
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