xref: /honee/problems/advection.c (revision 9529d6367d692f3aa60507d37085afbb09358976)
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 /// Utility functions for setting up ADVECTION
10a515125bSLeila Ghaffari 
112b916ea7SJeremy L Thompson #include "../qfunctions/advection.h"
122b916ea7SJeremy L Thompson 
13e419654dSJeremy L Thompson #include <ceed.h>
14e419654dSJeremy L Thompson #include <petscdm.h>
15e419654dSJeremy L Thompson 
16a515125bSLeila Ghaffari #include "../navierstokes.h"
17a515125bSLeila Ghaffari #include "../qfunctions/setupgeo.h"
18*9529d636SJames Wright #include "../qfunctions/setupgeo2d.h"
19a515125bSLeila Ghaffari 
20d1c51a42SJames Wright PetscErrorCode NS_ADVECTION(ProblemData *problem, DM dm, void *ctx, SimpleBC bc) {
21a515125bSLeila Ghaffari   WindType             wind_type;
22c51f031aSJames Wright   AdvectionICType      advectionic_type;
23a515125bSLeila Ghaffari   BubbleContinuityType bubble_continuity_type;
24a515125bSLeila Ghaffari   StabilizationType    stab;
253636f6a4SJames Wright   SetupContextAdv      setup_context;
26a515125bSLeila Ghaffari   User                 user = *(User *)ctx;
27b4c37c5cSJames Wright   MPI_Comm             comm = user->comm;
28b4c37c5cSJames Wright   Ceed                 ceed = user->ceed;
29a515125bSLeila Ghaffari   PetscBool            implicit;
3015a3537eSJed Brown   AdvectionContext     advection_ctx;
3115a3537eSJed Brown   CeedQFunctionContext advection_context;
32*9529d636SJames Wright   PetscInt             dim;
33a515125bSLeila Ghaffari 
3415a3537eSJed Brown   PetscFunctionBeginUser;
352b916ea7SJeremy L Thompson   PetscCall(PetscCalloc1(1, &setup_context));
362b916ea7SJeremy L Thompson   PetscCall(PetscCalloc1(1, &advection_ctx));
37*9529d636SJames Wright   PetscCall(DMGetDimension(dm, &dim));
38a515125bSLeila Ghaffari 
39a515125bSLeila Ghaffari   // ------------------------------------------------------
40a515125bSLeila Ghaffari   //               SET UP ADVECTION
41a515125bSLeila Ghaffari   // ------------------------------------------------------
42*9529d636SJames Wright   switch (dim) {
43*9529d636SJames Wright     case 2:
44*9529d636SJames Wright       problem->dim                               = 2;
45*9529d636SJames Wright       problem->q_data_size_vol                   = 5;
46*9529d636SJames Wright       problem->q_data_size_sur                   = 3;
47*9529d636SJames Wright       problem->setup_vol.qfunction               = Setup2d;
48*9529d636SJames Wright       problem->setup_vol.qfunction_loc           = Setup2d_loc;
49*9529d636SJames Wright       problem->setup_sur.qfunction               = SetupBoundary2d;
50*9529d636SJames Wright       problem->setup_sur.qfunction_loc           = SetupBoundary2d_loc;
51*9529d636SJames Wright       problem->ics.qfunction                     = ICsAdvection2d;
52*9529d636SJames Wright       problem->ics.qfunction_loc                 = ICsAdvection2d_loc;
53*9529d636SJames Wright       problem->apply_vol_rhs.qfunction           = RHS_Advection2d;
54*9529d636SJames Wright       problem->apply_vol_rhs.qfunction_loc       = RHS_Advection2d_loc;
55*9529d636SJames Wright       problem->apply_vol_ifunction.qfunction     = IFunction_Advection2d;
56*9529d636SJames Wright       problem->apply_vol_ifunction.qfunction_loc = IFunction_Advection2d_loc;
57*9529d636SJames Wright       problem->apply_inflow.qfunction            = Advection2d_InOutFlow;
58*9529d636SJames Wright       problem->apply_inflow.qfunction_loc        = Advection2d_InOutFlow_loc;
59*9529d636SJames Wright       problem->non_zero_time                     = PETSC_TRUE;
60*9529d636SJames Wright       problem->print_info                        = PRINT_ADVECTION;
61*9529d636SJames Wright       break;
62*9529d636SJames Wright     case 3:
63a515125bSLeila Ghaffari       problem->dim                               = 3;
64a515125bSLeila Ghaffari       problem->q_data_size_vol                   = 10;
65493642f1SJames Wright       problem->q_data_size_sur                   = 10;
669785fe93SJed Brown       problem->setup_vol.qfunction               = Setup;
679785fe93SJed Brown       problem->setup_vol.qfunction_loc           = Setup_loc;
689785fe93SJed Brown       problem->setup_sur.qfunction               = SetupBoundary;
699785fe93SJed Brown       problem->setup_sur.qfunction_loc           = SetupBoundary_loc;
709785fe93SJed Brown       problem->ics.qfunction                     = ICsAdvection;
719785fe93SJed Brown       problem->ics.qfunction_loc                 = ICsAdvection_loc;
72*9529d636SJames Wright       problem->apply_vol_rhs.qfunction           = RHS_Advection;
73*9529d636SJames Wright       problem->apply_vol_rhs.qfunction_loc       = RHS_Advection_loc;
749785fe93SJed Brown       problem->apply_vol_ifunction.qfunction     = IFunction_Advection;
759785fe93SJed Brown       problem->apply_vol_ifunction.qfunction_loc = IFunction_Advection_loc;
769785fe93SJed Brown       problem->apply_inflow.qfunction            = Advection_InOutFlow;
779785fe93SJed Brown       problem->apply_inflow.qfunction_loc        = Advection_InOutFlow_loc;
78a515125bSLeila Ghaffari       problem->non_zero_time                     = PETSC_FALSE;
79a515125bSLeila Ghaffari       problem->print_info                        = PRINT_ADVECTION;
80*9529d636SJames Wright       break;
81*9529d636SJames Wright   }
82a515125bSLeila Ghaffari 
83a515125bSLeila Ghaffari   // ------------------------------------------------------
84a515125bSLeila Ghaffari   //             Create the libCEED context
85a515125bSLeila Ghaffari   // ------------------------------------------------------
86a515125bSLeila Ghaffari   CeedScalar rc          = 1000.;  // m (Radius of bubble)
87a515125bSLeila Ghaffari   CeedScalar CtauS       = 0.;     // dimensionless
88059d1c40SJames Wright   PetscBool  strong_form = PETSC_FALSE;
89a515125bSLeila Ghaffari   CeedScalar E_wind      = 1.e6;        // J
90a515125bSLeila Ghaffari   PetscReal  wind[3]     = {1., 0, 0};  // m/s
9105a512bdSLeila Ghaffari   PetscReal  domain_min[3], domain_max[3], domain_size[3];
922b916ea7SJeremy L Thompson   PetscCall(DMGetBoundingBox(dm, domain_min, domain_max));
93*9529d636SJames Wright   for (PetscInt i = 0; i < problem->dim; i++) domain_size[i] = domain_max[i] - domain_min[i];
9405a512bdSLeila Ghaffari 
95a515125bSLeila Ghaffari   // ------------------------------------------------------
96a515125bSLeila Ghaffari   //             Create the PETSc context
97a515125bSLeila Ghaffari   // ------------------------------------------------------
98a515125bSLeila Ghaffari   PetscScalar meter    = 1e-2;  // 1 meter in scaled length units
99a515125bSLeila Ghaffari   PetscScalar kilogram = 1e-6;  // 1 kilogram in scaled mass units
100a515125bSLeila Ghaffari   PetscScalar second   = 1e-2;  // 1 second in scaled time units
101a515125bSLeila Ghaffari   PetscScalar Joule;
102a515125bSLeila Ghaffari 
103a515125bSLeila Ghaffari   // ------------------------------------------------------
104a515125bSLeila Ghaffari   //              Command line Options
105a515125bSLeila Ghaffari   // ------------------------------------------------------
1061485969bSJeremy L Thompson   PetscOptionsBegin(comm, NULL, "Options for ADVECTION problem", NULL);
107a515125bSLeila Ghaffari   // -- Physics
1082b916ea7SJeremy L Thompson   PetscCall(PetscOptionsScalar("-rc", "Characteristic radius of thermal bubble", NULL, rc, &rc, NULL));
109a515125bSLeila Ghaffari   PetscBool translation;
1102b916ea7SJeremy L Thompson   PetscCall(PetscOptionsEnum("-wind_type", "Wind type in Advection", NULL, WindTypes, (PetscEnum)(wind_type = WIND_ROTATION), (PetscEnum *)&wind_type,
1112b916ea7SJeremy L Thompson                              &translation));
112a515125bSLeila Ghaffari   PetscInt  n = problem->dim;
113a515125bSLeila Ghaffari   PetscBool user_wind;
1142b916ea7SJeremy L Thompson   PetscCall(PetscOptionsRealArray("-wind_translation", "Constant wind vector", NULL, wind, &n, &user_wind));
1152b916ea7SJeremy L Thompson   PetscCall(PetscOptionsScalar("-CtauS", "Scale coefficient for tau (nondimensional)", NULL, CtauS, &CtauS, NULL));
116059d1c40SJames Wright   PetscCall(PetscOptionsBool("-strong_form", "Strong (true) or weak/integrated by parts (false) advection residual", NULL, strong_form, &strong_form,
117059d1c40SJames Wright                              NULL));
1182b916ea7SJeremy L Thompson   PetscCall(PetscOptionsScalar("-E_wind", "Total energy of inflow wind", NULL, E_wind, &E_wind, NULL));
119c51f031aSJames Wright   PetscCall(PetscOptionsEnum("-advection_ic_type", "Initial condition for Advection problem", NULL, AdvectionICTypes,
120c51f031aSJames Wright                              (PetscEnum)(advectionic_type = ADVECTIONIC_BUBBLE_SPHERE), (PetscEnum *)&advectionic_type, NULL));
121*9529d636SJames Wright   bubble_continuity_type = problem->dim == 3 ? BUBBLE_CONTINUITY_SMOOTH : BUBBLE_CONTINUITY_COSINE;
122*9529d636SJames Wright   PetscCall(PetscOptionsEnum("-bubble_continuity", "Smooth, back_sharp, or thick", NULL, BubbleContinuityTypes, (PetscEnum)bubble_continuity_type,
123*9529d636SJames Wright                              (PetscEnum *)&bubble_continuity_type, NULL));
1242b916ea7SJeremy L Thompson   PetscCall(PetscOptionsEnum("-stab", "Stabilization method", NULL, StabilizationTypes, (PetscEnum)(stab = STAB_NONE), (PetscEnum *)&stab, NULL));
1252b916ea7SJeremy L Thompson   PetscCall(PetscOptionsBool("-implicit", "Use implicit (IFunction) formulation", NULL, implicit = PETSC_FALSE, &implicit, NULL));
126a515125bSLeila Ghaffari 
127a515125bSLeila Ghaffari   // -- Units
1282b916ea7SJeremy L Thompson   PetscCall(PetscOptionsScalar("-units_meter", "1 meter in scaled length units", NULL, meter, &meter, NULL));
129a515125bSLeila Ghaffari   meter = fabs(meter);
1302b916ea7SJeremy L Thompson   PetscCall(PetscOptionsScalar("-units_kilogram", "1 kilogram in scaled mass units", NULL, kilogram, &kilogram, NULL));
131a515125bSLeila Ghaffari   kilogram = fabs(kilogram);
1322b916ea7SJeremy L Thompson   PetscCall(PetscOptionsScalar("-units_second", "1 second in scaled time units", NULL, second, &second, NULL));
133a515125bSLeila Ghaffari   second = fabs(second);
134a515125bSLeila Ghaffari 
135a515125bSLeila Ghaffari   // -- Warnings
136a515125bSLeila Ghaffari   if (wind_type == WIND_ROTATION && user_wind) {
1372b916ea7SJeremy L Thompson     PetscCall(PetscPrintf(comm, "Warning! Use -wind_translation only with -wind_type translation\n"));
138a515125bSLeila Ghaffari   }
139c51f031aSJames Wright   if (wind_type == WIND_TRANSLATION && advectionic_type == ADVECTIONIC_BUBBLE_CYLINDER && wind[2] != 0.) {
140a515125bSLeila Ghaffari     wind[2] = 0;
141c51f031aSJames Wright     PetscCall(
142c51f031aSJames Wright         PetscPrintf(comm, "Warning! Background wind in the z direction should be zero (-wind_translation x,x,0) with -advection_ic_type cylinder\n"));
143a515125bSLeila Ghaffari   }
144a515125bSLeila Ghaffari   if (stab == STAB_NONE && CtauS != 0) {
1452b916ea7SJeremy L Thompson     PetscCall(PetscPrintf(comm, "Warning! Use -CtauS only with -stab su or -stab supg\n"));
146a515125bSLeila Ghaffari   }
147a515125bSLeila Ghaffari   if (stab == STAB_SUPG && !implicit) {
1482b916ea7SJeremy L Thompson     PetscCall(PetscPrintf(comm, "Warning! Use -stab supg only with -implicit\n"));
149a515125bSLeila Ghaffari   }
150a515125bSLeila Ghaffari 
1511485969bSJeremy L Thompson   PetscOptionsEnd();
152a515125bSLeila Ghaffari 
153a515125bSLeila Ghaffari   // ------------------------------------------------------
154a515125bSLeila Ghaffari   //           Set up the PETSc context
155a515125bSLeila Ghaffari   // ------------------------------------------------------
156a515125bSLeila Ghaffari   // -- Define derived units
157a515125bSLeila Ghaffari   Joule = kilogram * PetscSqr(meter) / PetscSqr(second);
158a515125bSLeila Ghaffari 
159a515125bSLeila Ghaffari   user->units->meter    = meter;
160a515125bSLeila Ghaffari   user->units->kilogram = kilogram;
161a515125bSLeila Ghaffari   user->units->second   = second;
162a515125bSLeila Ghaffari   user->units->Joule    = Joule;
163a515125bSLeila Ghaffari 
164a515125bSLeila Ghaffari   // ------------------------------------------------------
165a515125bSLeila Ghaffari   //           Set up the libCEED context
166a515125bSLeila Ghaffari   // ------------------------------------------------------
167a515125bSLeila Ghaffari   // -- Scale variables to desired units
168a515125bSLeila Ghaffari   E_wind *= Joule;
169a515125bSLeila Ghaffari   rc = fabs(rc) * meter;
170*9529d636SJames Wright   for (PetscInt i = 0; i < problem->dim; i++) {
17105a512bdSLeila Ghaffari     wind[i] *= (meter / second);
17205a512bdSLeila Ghaffari     domain_size[i] *= meter;
17305a512bdSLeila Ghaffari   }
17405a512bdSLeila Ghaffari   problem->dm_scale = meter;
175a515125bSLeila Ghaffari 
176a515125bSLeila Ghaffari   // -- Setup Context
177a515125bSLeila Ghaffari   setup_context->rc                     = rc;
17805a512bdSLeila Ghaffari   setup_context->lx                     = domain_size[0];
17905a512bdSLeila Ghaffari   setup_context->ly                     = domain_size[1];
180*9529d636SJames Wright   setup_context->lz                     = problem->dim == 3 ? domain_size[2] : 0.;
181a515125bSLeila Ghaffari   setup_context->wind[0]                = wind[0];
182a515125bSLeila Ghaffari   setup_context->wind[1]                = wind[1];
183*9529d636SJames Wright   setup_context->wind[2]                = problem->dim == 3 ? wind[2] : 0.;
184a515125bSLeila Ghaffari   setup_context->wind_type              = wind_type;
185c51f031aSJames Wright   setup_context->initial_condition_type = advectionic_type;
186a515125bSLeila Ghaffari   setup_context->bubble_continuity_type = bubble_continuity_type;
187a515125bSLeila Ghaffari   setup_context->time                   = 0;
188a515125bSLeila Ghaffari 
189a515125bSLeila Ghaffari   // -- QFunction Context
190a515125bSLeila Ghaffari   user->phys->implicit         = implicit;
19115a3537eSJed Brown   advection_ctx->CtauS         = CtauS;
19215a3537eSJed Brown   advection_ctx->E_wind        = E_wind;
19315a3537eSJed Brown   advection_ctx->implicit      = implicit;
19415a3537eSJed Brown   advection_ctx->strong_form   = strong_form;
19515a3537eSJed Brown   advection_ctx->stabilization = stab;
196a515125bSLeila Ghaffari 
197b4c37c5cSJames Wright   PetscCallCeed(ceed, CeedQFunctionContextCreate(user->ceed, &problem->ics.qfunction_context));
198b4c37c5cSJames Wright   PetscCallCeed(ceed,
199b4c37c5cSJames Wright                 CeedQFunctionContextSetData(problem->ics.qfunction_context, CEED_MEM_HOST, CEED_USE_POINTER, sizeof(*setup_context), setup_context));
200b4c37c5cSJames Wright   PetscCallCeed(ceed, CeedQFunctionContextSetDataDestroy(problem->ics.qfunction_context, CEED_MEM_HOST, FreeContextPetsc));
201a515125bSLeila Ghaffari 
202b4c37c5cSJames Wright   PetscCallCeed(ceed, CeedQFunctionContextCreate(user->ceed, &advection_context));
203b4c37c5cSJames Wright   PetscCallCeed(ceed, CeedQFunctionContextSetData(advection_context, CEED_MEM_HOST, CEED_USE_POINTER, sizeof(*advection_ctx), advection_ctx));
204b4c37c5cSJames Wright   PetscCallCeed(ceed, CeedQFunctionContextSetDataDestroy(advection_context, CEED_MEM_HOST, FreeContextPetsc));
20515a3537eSJed Brown   problem->apply_vol_rhs.qfunction_context = advection_context;
206b4c37c5cSJames Wright   PetscCallCeed(ceed, CeedQFunctionContextReferenceCopy(advection_context, &problem->apply_vol_ifunction.qfunction_context));
207b4c37c5cSJames Wright   PetscCallCeed(ceed, CeedQFunctionContextReferenceCopy(advection_context, &problem->apply_inflow.qfunction_context));
208d949ddfcSJames Wright   PetscFunctionReturn(PETSC_SUCCESS);
209a515125bSLeila Ghaffari }
210a515125bSLeila Ghaffari 
2112d49c0afSJames Wright PetscErrorCode PRINT_ADVECTION(User user, ProblemData *problem, AppCtx app_ctx) {
2122d49c0afSJames Wright   MPI_Comm         comm = user->comm;
213b4c37c5cSJames Wright   Ceed             ceed = user->ceed;
2143636f6a4SJames Wright   SetupContextAdv  setup_ctx;
21515a3537eSJed Brown   AdvectionContext advection_ctx;
216a515125bSLeila Ghaffari 
21715a3537eSJed Brown   PetscFunctionBeginUser;
218b4c37c5cSJames Wright   PetscCallCeed(ceed, CeedQFunctionContextGetData(problem->ics.qfunction_context, CEED_MEM_HOST, &setup_ctx));
219b4c37c5cSJames Wright   PetscCallCeed(ceed, CeedQFunctionContextGetData(problem->apply_vol_rhs.qfunction_context, CEED_MEM_HOST, &advection_ctx));
2202b916ea7SJeremy L Thompson   PetscCall(PetscPrintf(comm,
221a515125bSLeila Ghaffari                         "  Problem:\n"
222a515125bSLeila Ghaffari                         "    Problem Name                       : %s\n"
223a515125bSLeila Ghaffari                         "    Stabilization                      : %s\n"
224c51f031aSJames Wright                         "    Initial Condition Type             : %s\n"
225a515125bSLeila Ghaffari                         "    Bubble Continuity                  : %s\n"
226a515125bSLeila Ghaffari                         "    Wind Type                          : %s\n",
227c51f031aSJames Wright                         app_ctx->problem_name, StabilizationTypes[advection_ctx->stabilization], AdvectionICTypes[setup_ctx->initial_condition_type],
228c51f031aSJames Wright                         BubbleContinuityTypes[setup_ctx->bubble_continuity_type], WindTypes[setup_ctx->wind_type]));
229a515125bSLeila Ghaffari 
23015a3537eSJed Brown   if (setup_ctx->wind_type == WIND_TRANSLATION) {
231*9529d636SJames Wright     switch (problem->dim) {
232*9529d636SJames Wright       case 2:
233*9529d636SJames Wright         PetscCall(PetscPrintf(comm, "    Background Wind                    : %f,%f\n", setup_ctx->wind[0], setup_ctx->wind[1]));
234*9529d636SJames Wright         break;
235*9529d636SJames Wright       case 3:
236*9529d636SJames Wright         PetscCall(
237*9529d636SJames Wright             PetscPrintf(comm, "    Background Wind                    : %f,%f,%f\n", setup_ctx->wind[0], setup_ctx->wind[1], setup_ctx->wind[2]));
238*9529d636SJames Wright         break;
239*9529d636SJames Wright     }
240a515125bSLeila Ghaffari   }
241b4c37c5cSJames Wright   PetscCallCeed(ceed, CeedQFunctionContextRestoreData(problem->ics.qfunction_context, &setup_ctx));
242b4c37c5cSJames Wright   PetscCallCeed(ceed, CeedQFunctionContextRestoreData(problem->apply_vol_rhs.qfunction_context, &advection_ctx));
243d949ddfcSJames Wright   PetscFunctionReturn(PETSC_SUCCESS);
244a515125bSLeila Ghaffari }
245