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