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