xref: /honee/problems/advection.c (revision 002797a32e7e6bab43fe78a1f2bfae476ddb23d4)
1a515125bSLeila Ghaffari // Copyright (c) 2017, Lawrence Livermore National Security, LLC. Produced at
2a515125bSLeila Ghaffari // the Lawrence Livermore National Laboratory. LLNL-CODE-734707. All Rights
3a515125bSLeila Ghaffari // reserved. See files LICENSE and NOTICE for details.
4a515125bSLeila Ghaffari //
5a515125bSLeila Ghaffari // This file is part of CEED, a collection of benchmarks, miniapps, software
6a515125bSLeila Ghaffari // libraries and APIs for efficient high-order finite element and spectral
7a515125bSLeila Ghaffari // element discretizations for exascale applications. For more information and
8a515125bSLeila Ghaffari // source code availability see http://github.com/ceed.
9a515125bSLeila Ghaffari //
10a515125bSLeila Ghaffari // The CEED research is supported by the Exascale Computing Project 17-SC-20-SC,
11a515125bSLeila Ghaffari // a collaborative effort of two U.S. Department of Energy organizations (Office
12a515125bSLeila Ghaffari // of Science and the National Nuclear Security Administration) responsible for
13a515125bSLeila Ghaffari // the planning and preparation of a capable exascale ecosystem, including
14a515125bSLeila Ghaffari // software, applications, hardware, advanced system engineering and early
15a515125bSLeila Ghaffari // testbed platforms, in support of the nation's exascale computing imperative.
16a515125bSLeila Ghaffari 
17a515125bSLeila Ghaffari /// @file
18a515125bSLeila Ghaffari /// Utility functions for setting up ADVECTION
19a515125bSLeila Ghaffari 
20a515125bSLeila Ghaffari #include "../navierstokes.h"
21a515125bSLeila Ghaffari #include "../qfunctions/setupgeo.h"
22a515125bSLeila Ghaffari #include "../qfunctions/advection.h"
23a515125bSLeila Ghaffari 
2405a512bdSLeila Ghaffari PetscErrorCode NS_ADVECTION(ProblemData *problem, DM dm, void *setup_ctx,
2505a512bdSLeila Ghaffari                             void *ctx) {
26a515125bSLeila Ghaffari   WindType             wind_type;
27a515125bSLeila Ghaffari   BubbleType           bubble_type;
28a515125bSLeila Ghaffari   BubbleContinuityType bubble_continuity_type;
29a515125bSLeila Ghaffari   StabilizationType    stab;
30a515125bSLeila Ghaffari   SetupContext         setup_context = *(SetupContext *)setup_ctx;
31a515125bSLeila Ghaffari   User                 user = *(User *)ctx;
32a515125bSLeila Ghaffari   MPI_Comm             comm = PETSC_COMM_WORLD;
33a515125bSLeila Ghaffari   PetscBool            implicit;
34a515125bSLeila Ghaffari   PetscBool            has_curr_time = PETSC_FALSE;
35a515125bSLeila Ghaffari   PetscInt             ierr;
36a515125bSLeila Ghaffari   PetscFunctionBeginUser;
37a515125bSLeila Ghaffari 
38a515125bSLeila Ghaffari   ierr = PetscCalloc1(1, &user->phys->advection_ctx); CHKERRQ(ierr);
39a515125bSLeila Ghaffari 
40a515125bSLeila Ghaffari   // ------------------------------------------------------
41a515125bSLeila Ghaffari   //               SET UP ADVECTION
42a515125bSLeila Ghaffari   // ------------------------------------------------------
43a515125bSLeila Ghaffari   problem->dim                     = 3;
44a515125bSLeila Ghaffari   problem->q_data_size_vol         = 10;
45a515125bSLeila Ghaffari   problem->q_data_size_sur         = 4;
46a515125bSLeila Ghaffari   problem->setup_vol               = Setup;
47a515125bSLeila Ghaffari   problem->setup_vol_loc           = Setup_loc;
48a515125bSLeila Ghaffari   problem->setup_sur               = SetupBoundary;
49a515125bSLeila Ghaffari   problem->setup_sur_loc           = SetupBoundary_loc;
50a515125bSLeila Ghaffari   problem->ics                     = ICsAdvection;
51a515125bSLeila Ghaffari   problem->ics_loc                 = ICsAdvection_loc;
52a515125bSLeila Ghaffari   problem->apply_vol_rhs           = Advection;
53a515125bSLeila Ghaffari   problem->apply_vol_rhs_loc       = Advection_loc;
54a515125bSLeila Ghaffari   problem->apply_vol_ifunction     = IFunction_Advection;
55a515125bSLeila Ghaffari   problem->apply_vol_ifunction_loc = IFunction_Advection_loc;
56*002797a3SLeila Ghaffari   problem->apply_inflow            = Advection_InOutFlow;
57*002797a3SLeila Ghaffari   problem->apply_inflow_loc        = Advection_InOutFlow_loc;
58a515125bSLeila Ghaffari   problem->bc                      = Exact_Advection;
59ba5420e5SLeila Ghaffari   problem->setup_ctx               = SetupContext_ADVECTION;
60a515125bSLeila Ghaffari   problem->non_zero_time           = PETSC_FALSE;
61a515125bSLeila Ghaffari   problem->print_info              = PRINT_ADVECTION;
62a515125bSLeila Ghaffari 
63a515125bSLeila Ghaffari   // ------------------------------------------------------
64a515125bSLeila Ghaffari   //             Create the libCEED context
65a515125bSLeila Ghaffari   // ------------------------------------------------------
66a515125bSLeila Ghaffari   CeedScalar rc          = 1000.;      // m (Radius of bubble)
67a515125bSLeila Ghaffari   CeedScalar CtauS       = 0.;         // dimensionless
68a515125bSLeila Ghaffari   CeedScalar strong_form = 0.;         // [0,1]
69a515125bSLeila Ghaffari   CeedScalar E_wind      = 1.e6;       // J
70a515125bSLeila Ghaffari   PetscReal wind[3]      = {1., 0, 0}; // m/s
7105a512bdSLeila Ghaffari   PetscReal domain_min[3], domain_max[3], domain_size[3];
7205a512bdSLeila Ghaffari   ierr = DMGetBoundingBox(dm, domain_min, domain_max); CHKERRQ(ierr);
7305a512bdSLeila Ghaffari   for (int i=0; i<3; i++) domain_size[i] = domain_max[i] - domain_min[i];
7405a512bdSLeila Ghaffari 
75a515125bSLeila Ghaffari 
76a515125bSLeila Ghaffari   // ------------------------------------------------------
77a515125bSLeila Ghaffari   //             Create the PETSc context
78a515125bSLeila Ghaffari   // ------------------------------------------------------
79a515125bSLeila Ghaffari   PetscScalar meter    = 1e-2; // 1 meter in scaled length units
80a515125bSLeila Ghaffari   PetscScalar kilogram = 1e-6; // 1 kilogram in scaled mass units
81a515125bSLeila Ghaffari   PetscScalar second   = 1e-2; // 1 second in scaled time units
82a515125bSLeila Ghaffari   PetscScalar Joule;
83a515125bSLeila Ghaffari 
84a515125bSLeila Ghaffari   // ------------------------------------------------------
85a515125bSLeila Ghaffari   //              Command line Options
86a515125bSLeila Ghaffari   // ------------------------------------------------------
87a515125bSLeila Ghaffari   ierr = PetscOptionsBegin(comm, NULL, "Options for ADVECTION problem",
88a515125bSLeila Ghaffari                            NULL); CHKERRQ(ierr);
89a515125bSLeila Ghaffari   // -- Physics
90a515125bSLeila Ghaffari   ierr = PetscOptionsScalar("-rc", "Characteristic radius of thermal bubble",
91a515125bSLeila Ghaffari                             NULL, rc, &rc, NULL); CHKERRQ(ierr);
92a515125bSLeila Ghaffari   PetscBool translation;
93a515125bSLeila Ghaffari   ierr = PetscOptionsEnum("-wind_type", "Wind type in Advection",
94a515125bSLeila Ghaffari                           NULL, WindTypes,
95a515125bSLeila Ghaffari                           (PetscEnum)(wind_type = WIND_ROTATION),
96a515125bSLeila Ghaffari                           (PetscEnum *)&wind_type, &translation); CHKERRQ(ierr);
97a515125bSLeila Ghaffari   if (translation) user->phys->has_neumann = PETSC_TRUE;
98a515125bSLeila Ghaffari   PetscInt n = problem->dim;
99a515125bSLeila Ghaffari   PetscBool user_wind;
100a515125bSLeila Ghaffari   ierr = PetscOptionsRealArray("-wind_translation", "Constant wind vector",
101a515125bSLeila Ghaffari                                NULL, wind, &n, &user_wind); CHKERRQ(ierr);
102a515125bSLeila Ghaffari   ierr = PetscOptionsScalar("-CtauS",
103a515125bSLeila Ghaffari                             "Scale coefficient for tau (nondimensional)",
104a515125bSLeila Ghaffari                             NULL, CtauS, &CtauS, NULL); CHKERRQ(ierr);
105a515125bSLeila Ghaffari   ierr = PetscOptionsScalar("-strong_form",
106a515125bSLeila Ghaffari                             "Strong (1) or weak/integrated by parts (0) advection residual",
107a515125bSLeila Ghaffari                             NULL, strong_form, &strong_form, NULL); CHKERRQ(ierr);
108a515125bSLeila Ghaffari   ierr = PetscOptionsScalar("-E_wind", "Total energy of inflow wind",
109a515125bSLeila Ghaffari                             NULL, E_wind, &E_wind, NULL); CHKERRQ(ierr);
110a515125bSLeila Ghaffari   ierr = PetscOptionsEnum("-bubble_type", "Sphere (3D) or cylinder (2D)",
111a515125bSLeila Ghaffari                           NULL, BubbleTypes,
112a515125bSLeila Ghaffari                           (PetscEnum)(bubble_type = BUBBLE_SPHERE),
113a515125bSLeila Ghaffari                           (PetscEnum *)&bubble_type, NULL); CHKERRQ(ierr);
114a515125bSLeila Ghaffari   ierr = PetscOptionsEnum("-bubble_continuity", "Smooth, back_sharp, or thick",
115a515125bSLeila Ghaffari                           NULL, BubbleContinuityTypes,
116a515125bSLeila Ghaffari                           (PetscEnum)(bubble_continuity_type = BUBBLE_CONTINUITY_SMOOTH),
117a515125bSLeila Ghaffari                           (PetscEnum *)&bubble_continuity_type, NULL); CHKERRQ(ierr);
118a515125bSLeila Ghaffari   ierr = PetscOptionsEnum("-stab", "Stabilization method", NULL,
119a515125bSLeila Ghaffari                           StabilizationTypes, (PetscEnum)(stab = STAB_NONE),
120a515125bSLeila Ghaffari                           (PetscEnum *)&stab, NULL); CHKERRQ(ierr);
121a515125bSLeila Ghaffari   ierr = PetscOptionsBool("-implicit", "Use implicit (IFunction) formulation",
122a515125bSLeila Ghaffari                           NULL, implicit=PETSC_FALSE, &implicit, NULL);
123a515125bSLeila Ghaffari   CHKERRQ(ierr);
124a515125bSLeila Ghaffari 
125a515125bSLeila Ghaffari   // -- Units
126a515125bSLeila Ghaffari   ierr = PetscOptionsScalar("-units_meter", "1 meter in scaled length units",
127a515125bSLeila Ghaffari                             NULL, meter, &meter, NULL); CHKERRQ(ierr);
128a515125bSLeila Ghaffari   meter = fabs(meter);
129a515125bSLeila Ghaffari   ierr = PetscOptionsScalar("-units_kilogram","1 kilogram in scaled mass units",
130a515125bSLeila Ghaffari                             NULL, kilogram, &kilogram, NULL); CHKERRQ(ierr);
131a515125bSLeila Ghaffari   kilogram = fabs(kilogram);
132a515125bSLeila Ghaffari   ierr = PetscOptionsScalar("-units_second","1 second in scaled time units",
133a515125bSLeila Ghaffari                             NULL, second, &second, NULL); CHKERRQ(ierr);
134a515125bSLeila Ghaffari   second = fabs(second);
135a515125bSLeila Ghaffari 
136a515125bSLeila Ghaffari   // -- Warnings
137a515125bSLeila Ghaffari   if (wind_type == WIND_ROTATION && user_wind) {
138a515125bSLeila Ghaffari     ierr = PetscPrintf(comm,
139a515125bSLeila Ghaffari                        "Warning! Use -wind_translation only with -wind_type translation\n");
140a515125bSLeila Ghaffari     CHKERRQ(ierr);
141a515125bSLeila Ghaffari   }
142a515125bSLeila Ghaffari   if (wind_type == WIND_TRANSLATION
143a515125bSLeila Ghaffari       && bubble_type == BUBBLE_CYLINDER && wind[2] != 0.) {
144a515125bSLeila Ghaffari     wind[2] = 0;
145a515125bSLeila Ghaffari     ierr = PetscPrintf(comm,
146a515125bSLeila Ghaffari                        "Warning! Background wind in the z direction should be zero (-wind_translation x,x,0) with -bubble_type cylinder\n");
147a515125bSLeila Ghaffari     CHKERRQ(ierr);
148a515125bSLeila Ghaffari   }
149a515125bSLeila Ghaffari   if (stab == STAB_NONE && CtauS != 0) {
150a515125bSLeila Ghaffari     ierr = PetscPrintf(comm,
151a515125bSLeila Ghaffari                        "Warning! Use -CtauS only with -stab su or -stab supg\n");
152a515125bSLeila Ghaffari     CHKERRQ(ierr);
153a515125bSLeila Ghaffari   }
154a515125bSLeila Ghaffari   if (stab == STAB_SUPG && !implicit) {
155a515125bSLeila Ghaffari     ierr = PetscPrintf(comm,
156a515125bSLeila Ghaffari                        "Warning! Use -stab supg only with -implicit\n");
157a515125bSLeila Ghaffari     CHKERRQ(ierr);
158a515125bSLeila Ghaffari   }
159a515125bSLeila Ghaffari 
160a515125bSLeila Ghaffari   ierr = PetscOptionsEnd(); CHKERRQ(ierr);
161a515125bSLeila Ghaffari 
162a515125bSLeila Ghaffari   // ------------------------------------------------------
163a515125bSLeila Ghaffari   //           Set up the PETSc context
164a515125bSLeila Ghaffari   // ------------------------------------------------------
165a515125bSLeila Ghaffari   // -- Define derived units
166a515125bSLeila Ghaffari   Joule = kilogram * PetscSqr(meter) / PetscSqr(second);
167a515125bSLeila Ghaffari 
168a515125bSLeila Ghaffari   user->units->meter    = meter;
169a515125bSLeila Ghaffari   user->units->kilogram = kilogram;
170a515125bSLeila Ghaffari   user->units->second   = second;
171a515125bSLeila Ghaffari   user->units->Joule    = Joule;
172a515125bSLeila Ghaffari 
173a515125bSLeila Ghaffari   // ------------------------------------------------------
174a515125bSLeila Ghaffari   //           Set up the libCEED context
175a515125bSLeila Ghaffari   // ------------------------------------------------------
176a515125bSLeila Ghaffari   // -- Scale variables to desired units
177a515125bSLeila Ghaffari   E_wind *= Joule;
178a515125bSLeila Ghaffari   rc = fabs(rc) * meter;
17905a512bdSLeila Ghaffari   for (int i=0; i<3; i++) {
18005a512bdSLeila Ghaffari     wind[i] *= (meter/second);
18105a512bdSLeila Ghaffari     domain_size[i] *= meter;
18205a512bdSLeila Ghaffari   }
18305a512bdSLeila Ghaffari   problem->dm_scale = meter;
184a515125bSLeila Ghaffari 
185a515125bSLeila Ghaffari   // -- Setup Context
186a515125bSLeila Ghaffari   setup_context->rc                     = rc;
18705a512bdSLeila Ghaffari   setup_context->lx                     = domain_size[0];
18805a512bdSLeila Ghaffari   setup_context->ly                     = domain_size[1];
18905a512bdSLeila Ghaffari   setup_context->lz                     = domain_size[2];
190a515125bSLeila Ghaffari   setup_context->wind[0]                = wind[0];
191a515125bSLeila Ghaffari   setup_context->wind[1]                = wind[1];
192a515125bSLeila Ghaffari   setup_context->wind[2]                = wind[2];
193a515125bSLeila Ghaffari   setup_context->wind_type              = wind_type;
194a515125bSLeila Ghaffari   setup_context->bubble_type            = bubble_type;
195a515125bSLeila Ghaffari   setup_context->bubble_continuity_type = bubble_continuity_type;
196a515125bSLeila Ghaffari   setup_context->time = 0;
197a515125bSLeila Ghaffari 
198a515125bSLeila Ghaffari   // -- QFunction Context
199a515125bSLeila Ghaffari   user->phys->stab                         = stab;
200a515125bSLeila Ghaffari   user->phys->wind_type                    = wind_type;
201a515125bSLeila Ghaffari   user->phys->bubble_type                  = bubble_type;
202a515125bSLeila Ghaffari   user->phys->bubble_continuity_type       = bubble_continuity_type;
203a515125bSLeila Ghaffari   //  if passed correctly
204a515125bSLeila Ghaffari   user->phys->implicit                     = implicit;
205a515125bSLeila Ghaffari   user->phys->has_curr_time                = has_curr_time;
206a515125bSLeila Ghaffari   user->phys->advection_ctx->CtauS         = CtauS;
207a515125bSLeila Ghaffari   user->phys->advection_ctx->E_wind        = E_wind;
208a515125bSLeila Ghaffari   user->phys->advection_ctx->implicit      = implicit;
209a515125bSLeila Ghaffari   user->phys->advection_ctx->strong_form   = strong_form;
210a515125bSLeila Ghaffari   user->phys->advection_ctx->stabilization = stab;
211a515125bSLeila Ghaffari 
212a515125bSLeila Ghaffari   PetscFunctionReturn(0);
213a515125bSLeila Ghaffari }
214a515125bSLeila Ghaffari 
215ba5420e5SLeila Ghaffari PetscErrorCode SetupContext_ADVECTION(Ceed ceed, CeedData ceed_data,
216ba5420e5SLeila Ghaffari                                       AppCtx app_ctx, SetupContext setup_ctx, Physics phys) {
217ba5420e5SLeila Ghaffari   PetscFunctionBeginUser;
218ba5420e5SLeila Ghaffari   CeedQFunctionContextCreate(ceed, &ceed_data->setup_context);
219ba5420e5SLeila Ghaffari   CeedQFunctionContextSetData(ceed_data->setup_context, CEED_MEM_HOST,
220ba5420e5SLeila Ghaffari                               CEED_USE_POINTER, sizeof(*setup_ctx), setup_ctx);
221ba5420e5SLeila Ghaffari   CeedQFunctionSetContext(ceed_data->qf_ics, ceed_data->setup_context);
222ba5420e5SLeila Ghaffari   CeedQFunctionContextCreate(ceed, &ceed_data->advection_context);
223ba5420e5SLeila Ghaffari   CeedQFunctionContextSetData(ceed_data->advection_context, CEED_MEM_HOST,
224ba5420e5SLeila Ghaffari                               CEED_USE_POINTER,
225ba5420e5SLeila Ghaffari                               sizeof(*phys->advection_ctx), phys->advection_ctx);
226ba5420e5SLeila Ghaffari   if (ceed_data->qf_rhs_vol)
227ba5420e5SLeila Ghaffari     CeedQFunctionSetContext(ceed_data->qf_rhs_vol, ceed_data->advection_context);
228ba5420e5SLeila Ghaffari   if (ceed_data->qf_ifunction_vol)
229ba5420e5SLeila Ghaffari     CeedQFunctionSetContext(ceed_data->qf_ifunction_vol,
230ba5420e5SLeila Ghaffari                             ceed_data->advection_context);
231*002797a3SLeila Ghaffari   if (ceed_data->qf_apply_inflow)
232*002797a3SLeila Ghaffari     CeedQFunctionSetContext(ceed_data->qf_apply_inflow,
233*002797a3SLeila Ghaffari                             ceed_data->advection_context);
234a515125bSLeila Ghaffari   PetscFunctionReturn(0);
235a515125bSLeila Ghaffari }
236a515125bSLeila Ghaffari 
237a515125bSLeila Ghaffari PetscErrorCode PRINT_ADVECTION(Physics phys, SetupContext setup_ctx,
238a515125bSLeila Ghaffari                                AppCtx app_ctx) {
239a515125bSLeila Ghaffari   MPI_Comm       comm = PETSC_COMM_WORLD;
240a515125bSLeila Ghaffari   PetscErrorCode ierr;
241a515125bSLeila Ghaffari   PetscFunctionBeginUser;
242a515125bSLeila Ghaffari 
243a515125bSLeila Ghaffari   ierr = PetscPrintf(comm,
244a515125bSLeila Ghaffari                      "  Problem:\n"
245a515125bSLeila Ghaffari                      "    Problem Name                       : %s\n"
246a515125bSLeila Ghaffari                      "    Stabilization                      : %s\n"
247a515125bSLeila Ghaffari                      "    Bubble Type                        : %s (%dD)\n"
248a515125bSLeila Ghaffari                      "    Bubble Continuity                  : %s\n"
249a515125bSLeila Ghaffari                      "    Wind Type                          : %s\n",
250a515125bSLeila Ghaffari                      app_ctx->problem_name, StabilizationTypes[phys->stab],
251a515125bSLeila Ghaffari                      BubbleTypes[phys->bubble_type],
252a515125bSLeila Ghaffari                      phys->bubble_type == BUBBLE_SPHERE ? 3 : 2,
253a515125bSLeila Ghaffari                      BubbleContinuityTypes[phys->bubble_continuity_type],
254a515125bSLeila Ghaffari                      WindTypes[phys->wind_type]); CHKERRQ(ierr);
255a515125bSLeila Ghaffari 
256a515125bSLeila Ghaffari   if (phys->wind_type == WIND_TRANSLATION) {
257a515125bSLeila Ghaffari     ierr = PetscPrintf(comm,
258a515125bSLeila Ghaffari                        "    Background Wind                    : %f,%f,%f\n",
259a515125bSLeila Ghaffari                        setup_ctx->wind[0], setup_ctx->wind[1], setup_ctx->wind[2]); CHKERRQ(ierr);
260a515125bSLeila Ghaffari   }
261a515125bSLeila Ghaffari   PetscFunctionReturn(0);
262a515125bSLeila Ghaffari }
263