1 // Copyright (c) 2017-2022, Lawrence Livermore National Security, LLC and other CEED contributors. 2 // All Rights Reserved. See the top-level LICENSE and NOTICE files for details. 3 // 4 // SPDX-License-Identifier: BSD-2-Clause 5 // 6 // This file is part of CEED: http://github.com/ceed 7 8 /// @file 9 /// Utility functions for setting up Blasius Boundary Layer 10 11 #include "../qfunctions/blasius.h" 12 13 #include <ceed.h> 14 #include <petscdm.h> 15 #include <petscdt.h> 16 17 #include "../navierstokes.h" 18 #include "stg_shur14.h" 19 20 PetscErrorCode CompressibleBlasiusResidual(SNES snes, Vec X, Vec R, void *ctx) { 21 const BlasiusContext blasius = (BlasiusContext)ctx; 22 const PetscScalar *Tf, *Th; // Chebyshev coefficients 23 PetscScalar *r, f[4], h[4]; 24 PetscInt N = blasius->n_cheb; 25 26 PetscFunctionBeginUser; 27 PetscScalar Ma = Mach(&blasius->newtonian_ctx, blasius->T_inf, blasius->U_inf), Pr = Prandtl(&blasius->newtonian_ctx), 28 gamma = HeatCapacityRatio(&blasius->newtonian_ctx); 29 30 PetscCall(VecGetArrayRead(X, &Tf)); 31 Th = Tf + N; 32 PetscCall(VecGetArray(R, &r)); 33 34 // Left boundary conditions f = f' = 0 35 ChebyshevEval(N, Tf, -1., blasius->eta_max, f); 36 r[0] = f[0]; 37 r[1] = f[1]; 38 39 // f - right end boundary condition 40 ChebyshevEval(N, Tf, 1., blasius->eta_max, f); 41 r[2] = f[1] - 1.; 42 43 for (int i = 0; i < N - 3; i++) { 44 ChebyshevEval(N, Tf, blasius->X[i], blasius->eta_max, f); 45 ChebyshevEval(N - 1, Th, blasius->X[i], blasius->eta_max, h); 46 // mu and rho generally depend on h. 47 // We naively assume constant mu. 48 // For an ideal gas at constant pressure, density is inversely proportional to enthalpy. 49 // The *_tilde values are *relative* to their freestream values, and we proved first derivatives here. 50 const PetscScalar mu_tilde[2] = {1, 0}; 51 const PetscScalar rho_tilde[2] = {1 / h[0], -h[1] / PetscSqr(h[0])}; 52 const PetscScalar mu_rho_tilde[2] = { 53 mu_tilde[0] * rho_tilde[0], 54 mu_tilde[1] * rho_tilde[0] + mu_tilde[0] * rho_tilde[1], 55 }; 56 r[3 + i] = 2 * (mu_rho_tilde[0] * f[3] + mu_rho_tilde[1] * f[2]) + f[2] * f[0]; 57 r[N + 2 + i] = (mu_rho_tilde[0] * h[2] + mu_rho_tilde[1] * h[1]) + Pr * f[0] * h[1] + Pr * (gamma - 1) * mu_rho_tilde[0] * PetscSqr(Ma * f[2]); 58 } 59 60 // h - left end boundary condition 61 ChebyshevEval(N - 1, Th, -1., blasius->eta_max, h); 62 r[N] = h[0] - blasius->T_wall / blasius->T_inf; 63 64 // h - right end boundary condition 65 ChebyshevEval(N - 1, Th, 1., blasius->eta_max, h); 66 r[N + 1] = h[0] - 1.; 67 68 // Restore vectors 69 PetscCall(VecRestoreArrayRead(X, &Tf)); 70 PetscCall(VecRestoreArray(R, &r)); 71 PetscFunctionReturn(PETSC_SUCCESS); 72 } 73 74 PetscErrorCode ComputeChebyshevCoefficients(BlasiusContext blasius) { 75 SNES snes; 76 Vec sol, res; 77 PetscReal *w; 78 PetscInt N = blasius->n_cheb; 79 SNESConvergedReason reason; 80 const PetscScalar *cheb_coefs; 81 82 PetscFunctionBeginUser; 83 // Allocate memory 84 PetscCall(PetscMalloc2(N - 3, &blasius->X, N - 3, &w)); 85 PetscCall(PetscDTGaussQuadrature(N - 3, -1., 1., blasius->X, w)); 86 87 // Snes solve 88 PetscCall(SNESCreate(PETSC_COMM_SELF, &snes)); 89 PetscCall(VecCreate(PETSC_COMM_SELF, &sol)); 90 PetscCall(VecSetSizes(sol, PETSC_DECIDE, 2 * N - 1)); 91 PetscCall(VecSetFromOptions(sol)); 92 // Constant relative enthalpy 1 as initial guess 93 PetscCall(VecSetValue(sol, N, 1., INSERT_VALUES)); 94 PetscCall(VecDuplicate(sol, &res)); 95 PetscCall(SNESSetFunction(snes, res, CompressibleBlasiusResidual, blasius)); 96 PetscCall(SNESSetOptionsPrefix(snes, "chebyshev_")); 97 PetscCall(SNESSetFromOptions(snes)); 98 PetscCall(SNESSolve(snes, NULL, sol)); 99 PetscCall(SNESGetConvergedReason(snes, &reason)); 100 PetscCheck(reason >= 0, PETSC_COMM_WORLD, PETSC_ERR_CONV_FAILED, "The Chebyshev solve failed.\n"); 101 102 // Assign Chebyshev coefficients 103 PetscCall(VecGetArrayRead(sol, &cheb_coefs)); 104 for (int i = 0; i < N; i++) blasius->Tf_cheb[i] = cheb_coefs[i]; 105 for (int i = 0; i < N - 1; i++) blasius->Th_cheb[i] = cheb_coefs[i + N]; 106 107 // Destroy objects 108 PetscCall(PetscFree2(blasius->X, w)); 109 PetscCall(VecDestroy(&sol)); 110 PetscCall(VecDestroy(&res)); 111 PetscCall(SNESDestroy(&snes)); 112 PetscFunctionReturn(PETSC_SUCCESS); 113 } 114 115 static PetscErrorCode GetYNodeLocs(const MPI_Comm comm, const char path[PETSC_MAX_PATH_LEN], PetscReal **pynodes, PetscInt *nynodes) { 116 int ndims, dims[2]; 117 FILE *fp; 118 const PetscInt char_array_len = 512; 119 char line[char_array_len]; 120 char **array; 121 PetscReal *node_locs; 122 123 PetscFunctionBeginUser; 124 PetscCall(PetscFOpen(comm, path, "r", &fp)); 125 PetscCall(PetscSynchronizedFGets(comm, fp, char_array_len, line)); 126 PetscCall(PetscStrToArray(line, ' ', &ndims, &array)); 127 128 for (PetscInt i = 0; i < ndims; i++) dims[i] = atoi(array[i]); 129 if (ndims < 2) dims[1] = 1; // Assume 1 column of data is not otherwise specified 130 *nynodes = dims[0]; 131 PetscCall(PetscMalloc1(*nynodes, &node_locs)); 132 133 for (PetscInt i = 0; i < dims[0]; i++) { 134 PetscCall(PetscSynchronizedFGets(comm, fp, char_array_len, line)); 135 PetscCall(PetscStrToArray(line, ' ', &ndims, &array)); 136 PetscCheck(ndims == dims[1], comm, PETSC_ERR_FILE_UNEXPECTED, 137 "Line %" PetscInt_FMT " of %s does not contain correct number of columns (%d instead of %d)", i, path, ndims, dims[1]); 138 139 node_locs[i] = (PetscReal)atof(array[0]); 140 } 141 PetscCall(PetscFClose(comm, fp)); 142 *pynodes = node_locs; 143 PetscFunctionReturn(PETSC_SUCCESS); 144 } 145 146 /* \brief Modify the domain and mesh for blasius 147 * 148 * Modifies mesh such that `N` elements are within `refine_height` with a geometric growth ratio of `growth`. Excess elements are then distributed 149 * linearly in logspace to the top surface. 150 * 151 * The top surface is also angled downwards, so that it may be used as an outflow. 152 * It's angle is controlled by `top_angle` (in units of degrees). 153 * 154 * If `node_locs` is not NULL, then the nodes will be placed at `node_locs` locations. 155 * If it is NULL, then the modified coordinate values will be set in the array, along with `num_node_locs`. 156 */ 157 static PetscErrorCode ModifyMesh(MPI_Comm comm, DM dm, PetscInt dim, PetscReal growth, PetscInt N, PetscReal refine_height, PetscReal top_angle, 158 PetscReal *node_locs[], PetscInt *num_node_locs) { 159 PetscInt narr, ncoords; 160 PetscReal domain_min[3], domain_max[3], domain_size[3]; 161 PetscScalar *arr_coords; 162 Vec vec_coords; 163 164 PetscFunctionBeginUser; 165 PetscReal angle_coeff = tan(top_angle * (M_PI / 180)); 166 // Get domain boundary information 167 PetscCall(DMGetBoundingBox(dm, domain_min, domain_max)); 168 for (PetscInt i = 0; i < 3; i++) domain_size[i] = domain_max[i] - domain_min[i]; 169 170 // Get coords array from DM 171 PetscCall(DMGetCoordinatesLocal(dm, &vec_coords)); 172 PetscCall(VecGetLocalSize(vec_coords, &narr)); 173 PetscCall(VecGetArray(vec_coords, &arr_coords)); 174 175 PetscScalar(*coords)[dim] = (PetscScalar(*)[dim])arr_coords; 176 ncoords = narr / dim; 177 178 // Get mesh information 179 PetscInt nmax = 3, faces[3]; 180 PetscCall(PetscOptionsGetIntArray(NULL, NULL, "-dm_plex_box_faces", faces, &nmax, NULL)); 181 // Get element size of the box mesh, for indexing each node 182 const PetscReal dybox = domain_size[1] / faces[1]; 183 184 if (!*node_locs) { 185 // Calculate the first element height 186 PetscReal dy1 = refine_height * (growth - 1) / (pow(growth, N) - 1); 187 188 // Calculate log of sizing outside BL 189 PetscReal logdy = (log(domain_max[1]) - log(refine_height)) / (faces[1] - N); 190 191 *num_node_locs = faces[1] + 1; 192 PetscReal *temp_node_locs; 193 PetscCall(PetscMalloc1(*num_node_locs, &temp_node_locs)); 194 195 for (PetscInt i = 0; i < ncoords; i++) { 196 PetscInt y_box_index = round(coords[i][1] / dybox); 197 if (y_box_index <= N) { 198 coords[i][1] = 199 (1 - (coords[i][0] - domain_min[0]) * angle_coeff / domain_max[1]) * dy1 * (pow(growth, coords[i][1] / dybox) - 1) / (growth - 1); 200 } else { 201 PetscInt j = y_box_index - N; 202 coords[i][1] = (1 - (coords[i][0] - domain_min[0]) * angle_coeff / domain_max[1]) * exp(log(refine_height) + logdy * j); 203 } 204 if (coords[i][0] == domain_min[0] && coords[i][2] == domain_min[2]) temp_node_locs[y_box_index] = coords[i][1]; 205 } 206 207 *node_locs = temp_node_locs; 208 } else { 209 PetscCheck(*num_node_locs >= faces[1] + 1, comm, PETSC_ERR_FILE_UNEXPECTED, 210 "The y_node_locs_path has too few locations; There are %" PetscInt_FMT " + 1 nodes, but only %" PetscInt_FMT " locations given", 211 faces[1] + 1, *num_node_locs); 212 if (*num_node_locs > faces[1] + 1) { 213 PetscCall(PetscPrintf(comm, 214 "WARNING: y_node_locs_path has more locations (%" PetscInt_FMT ") " 215 "than the mesh has nodes (%" PetscInt_FMT "). This maybe unintended.\n", 216 *num_node_locs, faces[1] + 1)); 217 } 218 PetscScalar max_y = (*node_locs)[faces[1]]; 219 220 for (PetscInt i = 0; i < ncoords; i++) { 221 // Determine which y-node we're at 222 PetscInt y_box_index = round(coords[i][1] / dybox); 223 coords[i][1] = (1 - (coords[i][0] - domain_min[0]) * angle_coeff / max_y) * (*node_locs)[y_box_index]; 224 } 225 } 226 227 PetscCall(VecRestoreArray(vec_coords, &arr_coords)); 228 PetscCall(DMSetCoordinatesLocal(dm, vec_coords)); 229 PetscFunctionReturn(PETSC_SUCCESS); 230 } 231 232 PetscErrorCode NS_BLASIUS(ProblemData *problem, DM dm, void *ctx, SimpleBC bc) { 233 User user = *(User *)ctx; 234 MPI_Comm comm = user->comm; 235 Ceed ceed = user->ceed; 236 PetscBool use_stg = PETSC_FALSE; 237 BlasiusContext blasius_ctx; 238 NewtonianIdealGasContext newtonian_ig_ctx; 239 CeedQFunctionContext blasius_context; 240 241 PetscFunctionBeginUser; 242 PetscCall(NS_NEWTONIAN_IG(problem, dm, ctx, bc)); 243 PetscCall(PetscCalloc1(1, &blasius_ctx)); 244 245 // ------------------------------------------------------ 246 // SET UP Blasius 247 // ------------------------------------------------------ 248 problem->ics.qfunction = ICsBlasius; 249 problem->ics.qfunction_loc = ICsBlasius_loc; 250 251 CeedScalar U_inf = 40; // m/s 252 CeedScalar T_inf = 288.; // K 253 CeedScalar T_wall = 288.; // K 254 CeedScalar delta0 = 4.2e-3; // m 255 CeedScalar P0 = 1.01e5; // Pa 256 PetscInt N = 20; // Number of Chebyshev terms 257 PetscBool weakT = PETSC_FALSE; // weak density or temperature 258 PetscReal mesh_refine_height = 5.9e-4; // m 259 PetscReal mesh_growth = 1.08; // [-] 260 PetscInt mesh_Ndelta = 45; // [-] 261 PetscReal mesh_top_angle = 5; // degrees 262 char mesh_ynodes_path[PETSC_MAX_PATH_LEN] = ""; 263 264 PetscOptionsBegin(comm, NULL, "Options for BLASIUS problem", NULL); 265 PetscCall(PetscOptionsBool("-weakT", "Change from rho weak to T weak at inflow", NULL, weakT, &weakT, NULL)); 266 PetscCall(PetscOptionsScalar("-velocity_infinity", "Velocity at boundary layer edge", NULL, U_inf, &U_inf, NULL)); 267 PetscCall(PetscOptionsScalar("-temperature_infinity", "Temperature at boundary layer edge", NULL, T_inf, &T_inf, NULL)); 268 PetscCall(PetscOptionsScalar("-temperature_wall", "Temperature at wall", NULL, T_wall, &T_wall, NULL)); 269 PetscCall(PetscOptionsScalar("-delta0", "Boundary layer height at inflow", NULL, delta0, &delta0, NULL)); 270 PetscCall(PetscOptionsScalar("-P0", "Pressure at outflow", NULL, P0, &P0, NULL)); 271 PetscCall(PetscOptionsInt("-n_chebyshev", "Number of Chebyshev terms", NULL, N, &N, NULL)); 272 PetscCheck(3 <= N && N <= BLASIUS_MAX_N_CHEBYSHEV, comm, PETSC_ERR_ARG_OUTOFRANGE, "-n_chebyshev %" PetscInt_FMT " must be in range [3, %d]", N, 273 BLASIUS_MAX_N_CHEBYSHEV); 274 if (user->app_ctx->mesh_transform_type == MESH_TRANSFORM_PLATEMESH) { 275 PetscCall(PetscOptionsBoundedInt("-platemesh_Ndelta", "Velocity at boundary layer edge", NULL, mesh_Ndelta, &mesh_Ndelta, NULL, 1)); 276 PetscCall(PetscOptionsScalar("-platemesh_refine_height", "Height of boundary layer mesh refinement", NULL, mesh_refine_height, 277 &mesh_refine_height, NULL)); 278 PetscCall(PetscOptionsScalar("-platemesh_growth", "Geometric growth rate of boundary layer mesh", NULL, mesh_growth, &mesh_growth, NULL)); 279 PetscCall( 280 PetscOptionsScalar("-platemesh_top_angle", "Geometric top_angle rate of boundary layer mesh", NULL, mesh_top_angle, &mesh_top_angle, NULL)); 281 PetscCall(PetscOptionsString("-platemesh_y_node_locs_path", 282 "Path to file with y node locations. " 283 "If empty, will use the algorithmic mesh warping.", 284 NULL, mesh_ynodes_path, mesh_ynodes_path, sizeof(mesh_ynodes_path), NULL)); 285 } 286 PetscCall(PetscOptionsBool("-stg_use", "Use STG inflow boundary condition", NULL, use_stg, &use_stg, NULL)); 287 PetscOptionsEnd(); 288 289 PetscScalar meter = user->units->meter; 290 PetscScalar second = user->units->second; 291 PetscScalar Kelvin = user->units->Kelvin; 292 PetscScalar Pascal = user->units->Pascal; 293 294 T_inf *= Kelvin; 295 T_wall *= Kelvin; 296 P0 *= Pascal; 297 U_inf *= meter / second; 298 delta0 *= meter; 299 300 if (user->app_ctx->mesh_transform_type == MESH_TRANSFORM_PLATEMESH) { 301 PetscReal *mesh_ynodes = NULL; 302 PetscInt mesh_nynodes = 0; 303 if (strcmp(mesh_ynodes_path, "")) PetscCall(GetYNodeLocs(comm, mesh_ynodes_path, &mesh_ynodes, &mesh_nynodes)); 304 PetscCall(ModifyMesh(comm, dm, problem->dim, mesh_growth, mesh_Ndelta, mesh_refine_height, mesh_top_angle, &mesh_ynodes, &mesh_nynodes)); 305 PetscCall(PetscFree(mesh_ynodes)); 306 } 307 308 // Some properties depend on parameters from NewtonianIdealGas 309 PetscCallCeed(ceed, CeedQFunctionContextGetData(problem->apply_vol_rhs.qfunction_context, CEED_MEM_HOST, &newtonian_ig_ctx)); 310 311 blasius_ctx->weakT = weakT; 312 blasius_ctx->U_inf = U_inf; 313 blasius_ctx->T_inf = T_inf; 314 blasius_ctx->T_wall = T_wall; 315 blasius_ctx->delta0 = delta0; 316 blasius_ctx->P0 = P0; 317 blasius_ctx->n_cheb = N; 318 newtonian_ig_ctx->P0 = P0; 319 blasius_ctx->implicit = user->phys->implicit; 320 blasius_ctx->newtonian_ctx = *newtonian_ig_ctx; 321 322 { 323 PetscReal domain_min[3], domain_max[3]; 324 PetscCall(DMGetBoundingBox(dm, domain_min, domain_max)); 325 blasius_ctx->x_inflow = domain_min[0]; 326 blasius_ctx->eta_max = 5 * domain_max[1] / blasius_ctx->delta0; 327 } 328 PetscBool diff_filter_mms = PETSC_FALSE; 329 PetscCall(PetscOptionsGetBool(NULL, NULL, "-diff_filter_mms", &diff_filter_mms, NULL)); 330 if (!use_stg && !diff_filter_mms) PetscCall(ComputeChebyshevCoefficients(blasius_ctx)); 331 332 PetscCallCeed(ceed, CeedQFunctionContextRestoreData(problem->apply_vol_rhs.qfunction_context, &newtonian_ig_ctx)); 333 334 PetscCallCeed(ceed, CeedQFunctionContextCreate(user->ceed, &blasius_context)); 335 PetscCallCeed(ceed, CeedQFunctionContextSetData(blasius_context, CEED_MEM_HOST, CEED_USE_POINTER, sizeof(*blasius_ctx), blasius_ctx)); 336 PetscCallCeed(ceed, CeedQFunctionContextSetDataDestroy(blasius_context, CEED_MEM_HOST, FreeContextPetsc)); 337 338 PetscCallCeed(ceed, CeedQFunctionContextDestroy(&problem->ics.qfunction_context)); 339 problem->ics.qfunction_context = blasius_context; 340 if (use_stg) { 341 PetscCall(SetupStg(comm, dm, problem, user, weakT, T_inf, P0)); 342 } else if (diff_filter_mms) { 343 PetscCall(DifferentialFilterMmsICSetup(problem)); 344 } else { 345 problem->apply_inflow.qfunction = Blasius_Inflow; 346 problem->apply_inflow.qfunction_loc = Blasius_Inflow_loc; 347 problem->apply_inflow_jacobian.qfunction = Blasius_Inflow_Jacobian; 348 problem->apply_inflow_jacobian.qfunction_loc = Blasius_Inflow_Jacobian_loc; 349 PetscCallCeed(ceed, CeedQFunctionContextReferenceCopy(blasius_context, &problem->apply_inflow.qfunction_context)); 350 PetscCallCeed(ceed, CeedQFunctionContextReferenceCopy(blasius_context, &problem->apply_inflow_jacobian.qfunction_context)); 351 } 352 PetscFunctionReturn(PETSC_SUCCESS); 353 } 354