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 11*2b916ea7SJeremy L Thompson #include "../qfunctions/advection.h" 12*2b916ea7SJeremy L Thompson 13a515125bSLeila Ghaffari #include "../navierstokes.h" 14a515125bSLeila Ghaffari #include "../qfunctions/setupgeo.h" 15a515125bSLeila Ghaffari 166dd99bedSLeila Ghaffari PetscErrorCode NS_ADVECTION(ProblemData *problem, DM dm, void *ctx) { 17a515125bSLeila Ghaffari WindType wind_type; 18a515125bSLeila Ghaffari BubbleType bubble_type; 19a515125bSLeila Ghaffari BubbleContinuityType bubble_continuity_type; 20a515125bSLeila Ghaffari StabilizationType stab; 213636f6a4SJames Wright SetupContextAdv setup_context; 22a515125bSLeila Ghaffari User user = *(User *)ctx; 23a515125bSLeila Ghaffari MPI_Comm comm = PETSC_COMM_WORLD; 24a515125bSLeila Ghaffari PetscBool implicit; 25a515125bSLeila Ghaffari PetscBool has_curr_time = PETSC_FALSE; 2615a3537eSJed Brown AdvectionContext advection_ctx; 2715a3537eSJed Brown CeedQFunctionContext advection_context; 28a515125bSLeila Ghaffari 2915a3537eSJed Brown PetscFunctionBeginUser; 30*2b916ea7SJeremy L Thompson PetscCall(PetscCalloc1(1, &setup_context)); 31*2b916ea7SJeremy L Thompson PetscCall(PetscCalloc1(1, &advection_ctx)); 32a515125bSLeila Ghaffari 33a515125bSLeila Ghaffari // ------------------------------------------------------ 34a515125bSLeila Ghaffari // SET UP ADVECTION 35a515125bSLeila Ghaffari // ------------------------------------------------------ 36a515125bSLeila Ghaffari problem->dim = 3; 37a515125bSLeila Ghaffari problem->q_data_size_vol = 10; 38493642f1SJames Wright problem->q_data_size_sur = 10; 399785fe93SJed Brown problem->setup_vol.qfunction = Setup; 409785fe93SJed Brown problem->setup_vol.qfunction_loc = Setup_loc; 419785fe93SJed Brown problem->setup_sur.qfunction = SetupBoundary; 429785fe93SJed Brown problem->setup_sur.qfunction_loc = SetupBoundary_loc; 439785fe93SJed Brown problem->ics.qfunction = ICsAdvection; 449785fe93SJed Brown problem->ics.qfunction_loc = ICsAdvection_loc; 459785fe93SJed Brown problem->apply_vol_rhs.qfunction = Advection; 469785fe93SJed Brown problem->apply_vol_rhs.qfunction_loc = Advection_loc; 479785fe93SJed Brown problem->apply_vol_ifunction.qfunction = IFunction_Advection; 489785fe93SJed Brown problem->apply_vol_ifunction.qfunction_loc = IFunction_Advection_loc; 499785fe93SJed Brown problem->apply_inflow.qfunction = Advection_InOutFlow; 509785fe93SJed Brown problem->apply_inflow.qfunction_loc = Advection_InOutFlow_loc; 51a515125bSLeila Ghaffari problem->bc = Exact_Advection; 52b7f03f12SJed Brown problem->bc_ctx = setup_context; 53a515125bSLeila Ghaffari problem->non_zero_time = PETSC_FALSE; 54a515125bSLeila Ghaffari problem->print_info = PRINT_ADVECTION; 55a515125bSLeila Ghaffari 56a515125bSLeila Ghaffari // ------------------------------------------------------ 57a515125bSLeila Ghaffari // Create the libCEED context 58a515125bSLeila Ghaffari // ------------------------------------------------------ 59a515125bSLeila Ghaffari CeedScalar rc = 1000.; // m (Radius of bubble) 60a515125bSLeila Ghaffari CeedScalar CtauS = 0.; // dimensionless 61a515125bSLeila Ghaffari CeedScalar strong_form = 0.; // [0,1] 62a515125bSLeila Ghaffari CeedScalar E_wind = 1.e6; // J 63a515125bSLeila Ghaffari PetscReal wind[3] = {1., 0, 0}; // m/s 6405a512bdSLeila Ghaffari PetscReal domain_min[3], domain_max[3], domain_size[3]; 65*2b916ea7SJeremy L Thompson PetscCall(DMGetBoundingBox(dm, domain_min, domain_max)); 66493642f1SJames Wright for (PetscInt i = 0; i < 3; i++) domain_size[i] = domain_max[i] - domain_min[i]; 6705a512bdSLeila Ghaffari 68a515125bSLeila Ghaffari // ------------------------------------------------------ 69a515125bSLeila Ghaffari // Create the PETSc context 70a515125bSLeila Ghaffari // ------------------------------------------------------ 71a515125bSLeila Ghaffari PetscScalar meter = 1e-2; // 1 meter in scaled length units 72a515125bSLeila Ghaffari PetscScalar kilogram = 1e-6; // 1 kilogram in scaled mass units 73a515125bSLeila Ghaffari PetscScalar second = 1e-2; // 1 second in scaled time units 74a515125bSLeila Ghaffari PetscScalar Joule; 75a515125bSLeila Ghaffari 76a515125bSLeila Ghaffari // ------------------------------------------------------ 77a515125bSLeila Ghaffari // Command line Options 78a515125bSLeila Ghaffari // ------------------------------------------------------ 791485969bSJeremy L Thompson PetscOptionsBegin(comm, NULL, "Options for ADVECTION problem", NULL); 80a515125bSLeila Ghaffari // -- Physics 81*2b916ea7SJeremy L Thompson PetscCall(PetscOptionsScalar("-rc", "Characteristic radius of thermal bubble", NULL, rc, &rc, NULL)); 82a515125bSLeila Ghaffari PetscBool translation; 83*2b916ea7SJeremy L Thompson PetscCall(PetscOptionsEnum("-wind_type", "Wind type in Advection", NULL, WindTypes, (PetscEnum)(wind_type = WIND_ROTATION), (PetscEnum *)&wind_type, 84*2b916ea7SJeremy L Thompson &translation)); 85a515125bSLeila Ghaffari if (translation) user->phys->has_neumann = PETSC_TRUE; 86a515125bSLeila Ghaffari PetscInt n = problem->dim; 87a515125bSLeila Ghaffari PetscBool user_wind; 88*2b916ea7SJeremy L Thompson PetscCall(PetscOptionsRealArray("-wind_translation", "Constant wind vector", NULL, wind, &n, &user_wind)); 89*2b916ea7SJeremy L Thompson PetscCall(PetscOptionsScalar("-CtauS", "Scale coefficient for tau (nondimensional)", NULL, CtauS, &CtauS, NULL)); 90*2b916ea7SJeremy L Thompson PetscCall( 91*2b916ea7SJeremy L Thompson PetscOptionsScalar("-strong_form", "Strong (1) or weak/integrated by parts (0) advection residual", NULL, strong_form, &strong_form, NULL)); 92*2b916ea7SJeremy L Thompson PetscCall(PetscOptionsScalar("-E_wind", "Total energy of inflow wind", NULL, E_wind, &E_wind, NULL)); 93*2b916ea7SJeremy L Thompson PetscCall(PetscOptionsEnum("-bubble_type", "Sphere (3D) or cylinder (2D)", NULL, BubbleTypes, (PetscEnum)(bubble_type = BUBBLE_SPHERE), 94*2b916ea7SJeremy L Thompson (PetscEnum *)&bubble_type, NULL)); 95*2b916ea7SJeremy L Thompson PetscCall(PetscOptionsEnum("-bubble_continuity", "Smooth, back_sharp, or thick", NULL, BubbleContinuityTypes, 96*2b916ea7SJeremy L Thompson (PetscEnum)(bubble_continuity_type = BUBBLE_CONTINUITY_SMOOTH), (PetscEnum *)&bubble_continuity_type, NULL)); 97*2b916ea7SJeremy L Thompson PetscCall(PetscOptionsEnum("-stab", "Stabilization method", NULL, StabilizationTypes, (PetscEnum)(stab = STAB_NONE), (PetscEnum *)&stab, NULL)); 98*2b916ea7SJeremy L Thompson PetscCall(PetscOptionsBool("-implicit", "Use implicit (IFunction) formulation", NULL, implicit = PETSC_FALSE, &implicit, NULL)); 99a515125bSLeila Ghaffari 100a515125bSLeila Ghaffari // -- Units 101*2b916ea7SJeremy L Thompson PetscCall(PetscOptionsScalar("-units_meter", "1 meter in scaled length units", NULL, meter, &meter, NULL)); 102a515125bSLeila Ghaffari meter = fabs(meter); 103*2b916ea7SJeremy L Thompson PetscCall(PetscOptionsScalar("-units_kilogram", "1 kilogram in scaled mass units", NULL, kilogram, &kilogram, NULL)); 104a515125bSLeila Ghaffari kilogram = fabs(kilogram); 105*2b916ea7SJeremy L Thompson PetscCall(PetscOptionsScalar("-units_second", "1 second in scaled time units", NULL, second, &second, NULL)); 106a515125bSLeila Ghaffari second = fabs(second); 107a515125bSLeila Ghaffari 108a515125bSLeila Ghaffari // -- Warnings 109a515125bSLeila Ghaffari if (wind_type == WIND_ROTATION && user_wind) { 110*2b916ea7SJeremy L Thompson PetscCall(PetscPrintf(comm, "Warning! Use -wind_translation only with -wind_type translation\n")); 111a515125bSLeila Ghaffari } 112*2b916ea7SJeremy L Thompson if (wind_type == WIND_TRANSLATION && bubble_type == BUBBLE_CYLINDER && wind[2] != 0.) { 113a515125bSLeila Ghaffari wind[2] = 0; 114*2b916ea7SJeremy L Thompson PetscCall(PetscPrintf(comm, "Warning! Background wind in the z direction should be zero (-wind_translation x,x,0) with -bubble_type cylinder\n")); 115a515125bSLeila Ghaffari } 116a515125bSLeila Ghaffari if (stab == STAB_NONE && CtauS != 0) { 117*2b916ea7SJeremy L Thompson PetscCall(PetscPrintf(comm, "Warning! Use -CtauS only with -stab su or -stab supg\n")); 118a515125bSLeila Ghaffari } 119a515125bSLeila Ghaffari if (stab == STAB_SUPG && !implicit) { 120*2b916ea7SJeremy L Thompson PetscCall(PetscPrintf(comm, "Warning! Use -stab supg only with -implicit\n")); 121a515125bSLeila Ghaffari } 122a515125bSLeila Ghaffari 1231485969bSJeremy L Thompson PetscOptionsEnd(); 124a515125bSLeila Ghaffari 125a515125bSLeila Ghaffari // ------------------------------------------------------ 126a515125bSLeila Ghaffari // Set up the PETSc context 127a515125bSLeila Ghaffari // ------------------------------------------------------ 128a515125bSLeila Ghaffari // -- Define derived units 129a515125bSLeila Ghaffari Joule = kilogram * PetscSqr(meter) / PetscSqr(second); 130a515125bSLeila Ghaffari 131a515125bSLeila Ghaffari user->units->meter = meter; 132a515125bSLeila Ghaffari user->units->kilogram = kilogram; 133a515125bSLeila Ghaffari user->units->second = second; 134a515125bSLeila Ghaffari user->units->Joule = Joule; 135a515125bSLeila Ghaffari 136a515125bSLeila Ghaffari // ------------------------------------------------------ 137a515125bSLeila Ghaffari // Set up the libCEED context 138a515125bSLeila Ghaffari // ------------------------------------------------------ 139a515125bSLeila Ghaffari // -- Scale variables to desired units 140a515125bSLeila Ghaffari E_wind *= Joule; 141a515125bSLeila Ghaffari rc = fabs(rc) * meter; 142493642f1SJames Wright for (PetscInt i = 0; i < 3; i++) { 14305a512bdSLeila Ghaffari wind[i] *= (meter / second); 14405a512bdSLeila Ghaffari domain_size[i] *= meter; 14505a512bdSLeila Ghaffari } 14605a512bdSLeila Ghaffari problem->dm_scale = meter; 147a515125bSLeila Ghaffari 148a515125bSLeila Ghaffari // -- Setup Context 149a515125bSLeila Ghaffari setup_context->rc = rc; 15005a512bdSLeila Ghaffari setup_context->lx = domain_size[0]; 15105a512bdSLeila Ghaffari setup_context->ly = domain_size[1]; 15205a512bdSLeila Ghaffari setup_context->lz = domain_size[2]; 153a515125bSLeila Ghaffari setup_context->wind[0] = wind[0]; 154a515125bSLeila Ghaffari setup_context->wind[1] = wind[1]; 155a515125bSLeila Ghaffari setup_context->wind[2] = wind[2]; 156a515125bSLeila Ghaffari setup_context->wind_type = wind_type; 157a515125bSLeila Ghaffari setup_context->bubble_type = bubble_type; 158a515125bSLeila Ghaffari setup_context->bubble_continuity_type = bubble_continuity_type; 159a515125bSLeila Ghaffari setup_context->time = 0; 160a515125bSLeila Ghaffari 161a515125bSLeila Ghaffari // -- QFunction Context 162a515125bSLeila Ghaffari user->phys->stab = stab; 163a515125bSLeila Ghaffari user->phys->wind_type = wind_type; 164a515125bSLeila Ghaffari user->phys->bubble_type = bubble_type; 165a515125bSLeila Ghaffari user->phys->bubble_continuity_type = bubble_continuity_type; 166a515125bSLeila Ghaffari // if passed correctly 167a515125bSLeila Ghaffari user->phys->implicit = implicit; 168a515125bSLeila Ghaffari user->phys->has_curr_time = has_curr_time; 16915a3537eSJed Brown advection_ctx->CtauS = CtauS; 17015a3537eSJed Brown advection_ctx->E_wind = E_wind; 17115a3537eSJed Brown advection_ctx->implicit = implicit; 17215a3537eSJed Brown advection_ctx->strong_form = strong_form; 17315a3537eSJed Brown advection_ctx->stabilization = stab; 174a515125bSLeila Ghaffari 17515a3537eSJed Brown CeedQFunctionContextCreate(user->ceed, &problem->ics.qfunction_context); 176*2b916ea7SJeremy L Thompson CeedQFunctionContextSetData(problem->ics.qfunction_context, CEED_MEM_HOST, CEED_USE_POINTER, sizeof(*setup_context), setup_context); 177*2b916ea7SJeremy L Thompson CeedQFunctionContextSetDataDestroy(problem->ics.qfunction_context, CEED_MEM_HOST, FreeContextPetsc); 178a515125bSLeila Ghaffari 17915a3537eSJed Brown CeedQFunctionContextCreate(user->ceed, &advection_context); 180*2b916ea7SJeremy L Thompson CeedQFunctionContextSetData(advection_context, CEED_MEM_HOST, CEED_USE_POINTER, sizeof(*advection_ctx), advection_ctx); 181*2b916ea7SJeremy L Thompson CeedQFunctionContextSetDataDestroy(advection_context, CEED_MEM_HOST, FreeContextPetsc); 18215a3537eSJed Brown problem->apply_vol_rhs.qfunction_context = advection_context; 183*2b916ea7SJeremy L Thompson CeedQFunctionContextReferenceCopy(advection_context, &problem->apply_vol_ifunction.qfunction_context); 184*2b916ea7SJeremy L Thompson CeedQFunctionContextReferenceCopy(advection_context, &problem->apply_inflow.qfunction_context); 185a515125bSLeila Ghaffari PetscFunctionReturn(0); 186a515125bSLeila Ghaffari } 187a515125bSLeila Ghaffari 18840ccd21cSJed Brown PetscErrorCode PRINT_ADVECTION(ProblemData *problem, AppCtx app_ctx) { 189a515125bSLeila Ghaffari MPI_Comm comm = PETSC_COMM_WORLD; 1903636f6a4SJames Wright SetupContextAdv setup_ctx; 19115a3537eSJed Brown AdvectionContext advection_ctx; 192a515125bSLeila Ghaffari 19315a3537eSJed Brown PetscFunctionBeginUser; 194*2b916ea7SJeremy L Thompson CeedQFunctionContextGetData(problem->ics.qfunction_context, CEED_MEM_HOST, &setup_ctx); 195*2b916ea7SJeremy L Thompson CeedQFunctionContextGetData(problem->apply_vol_rhs.qfunction_context, CEED_MEM_HOST, &advection_ctx); 196*2b916ea7SJeremy L Thompson PetscCall(PetscPrintf(comm, 197a515125bSLeila Ghaffari " Problem:\n" 198a515125bSLeila Ghaffari " Problem Name : %s\n" 199a515125bSLeila Ghaffari " Stabilization : %s\n" 20045aa3cadSJeremy L Thompson " Bubble Type : %s (%" CeedInt_FMT "D)\n" 201a515125bSLeila Ghaffari " Bubble Continuity : %s\n" 202a515125bSLeila Ghaffari " Wind Type : %s\n", 203*2b916ea7SJeremy L Thompson app_ctx->problem_name, StabilizationTypes[advection_ctx->stabilization], BubbleTypes[setup_ctx->bubble_type], 204*2b916ea7SJeremy L Thompson setup_ctx->bubble_type == BUBBLE_SPHERE ? 3 : 2, BubbleContinuityTypes[setup_ctx->bubble_continuity_type], 205*2b916ea7SJeremy L Thompson WindTypes[setup_ctx->wind_type])); 206a515125bSLeila Ghaffari 20715a3537eSJed Brown if (setup_ctx->wind_type == WIND_TRANSLATION) { 208*2b916ea7SJeremy L Thompson PetscCall(PetscPrintf(comm, " Background Wind : %f,%f,%f\n", setup_ctx->wind[0], setup_ctx->wind[1], setup_ctx->wind[2])); 209a515125bSLeila Ghaffari } 210*2b916ea7SJeremy L Thompson CeedQFunctionContextRestoreData(problem->ics.qfunction_context, &setup_ctx); 211*2b916ea7SJeremy L Thompson CeedQFunctionContextRestoreData(problem->apply_vol_rhs.qfunction_context, &advection_ctx); 212a515125bSLeila Ghaffari PetscFunctionReturn(0); 213a515125bSLeila Ghaffari } 214