xref: /libCEED/examples/fluids/problems/blasius.c (revision daadeac6547c0bce0e170b8a41c931051f52e9a3)
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 "../navierstokes.h"
14 #include "stg_shur14.h"
15 
16 PetscErrorCode CompressibleBlasiusResidual(SNES snes, Vec X, Vec R, void *ctx) {
17   const BlasiusContext blasius = (BlasiusContext)ctx;
18   const PetscScalar   *Tf, *Th;  // Chebyshev coefficients
19   PetscScalar         *r, f[4], h[4];
20   PetscInt             N  = blasius->n_cheb;
21   PetscScalar          Ma = Mach(&blasius->newtonian_ctx, blasius->T_inf, blasius->U_inf), Pr = Prandtl(&blasius->newtonian_ctx),
22               gamma = HeatCapacityRatio(&blasius->newtonian_ctx);
23   PetscFunctionBegin;
24   PetscCall(VecGetArrayRead(X, &Tf));
25   Th = Tf + N;
26   PetscCall(VecGetArray(R, &r));
27 
28   // Left boundary conditions f = f' = 0
29   ChebyshevEval(N, Tf, -1., blasius->eta_max, f);
30   r[0] = f[0];
31   r[1] = f[1];
32 
33   // f - right end boundary condition
34   ChebyshevEval(N, Tf, 1., blasius->eta_max, f);
35   r[2] = f[1] - 1.;
36 
37   for (int i = 0; i < N - 3; i++) {
38     ChebyshevEval(N, Tf, blasius->X[i], blasius->eta_max, f);
39     ChebyshevEval(N - 1, Th, blasius->X[i], blasius->eta_max, h);
40     // mu and rho generally depend on h.
41     // We naively assume constant mu.
42     // For an ideal gas at constant pressure, density is inversely proportional to enthalpy.
43     // The *_tilde values are *relative* to their freestream values, and we proved first derivatives here.
44     const PetscScalar mu_tilde[2]     = {1, 0};
45     const PetscScalar rho_tilde[2]    = {1 / h[0], -h[1] / PetscSqr(h[0])};
46     const PetscScalar mu_rho_tilde[2] = {
47         mu_tilde[0] * rho_tilde[0],
48         mu_tilde[1] * rho_tilde[0] + mu_tilde[0] * rho_tilde[1],
49     };
50     r[3 + i]     = 2 * (mu_rho_tilde[0] * f[3] + mu_rho_tilde[1] * f[2]) + f[2] * f[0];
51     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]);
52   }
53 
54   // h - left end boundary condition
55   ChebyshevEval(N - 1, Th, -1., blasius->eta_max, h);
56   r[N] = h[0] - blasius->T_wall / blasius->T_inf;
57 
58   // h - right end boundary condition
59   ChebyshevEval(N - 1, Th, 1., blasius->eta_max, h);
60   r[N + 1] = h[0] - 1.;
61 
62   // Restore vectors
63   PetscCall(VecRestoreArrayRead(X, &Tf));
64   PetscCall(VecRestoreArray(R, &r));
65   PetscFunctionReturn(0);
66 }
67 
68 PetscErrorCode ComputeChebyshevCoefficients(BlasiusContext blasius) {
69   SNES                snes;
70   Vec                 sol, res;
71   PetscReal          *w;
72   PetscInt            N = blasius->n_cheb;
73   SNESConvergedReason reason;
74   const PetscScalar  *cheb_coefs;
75   PetscFunctionBegin;
76 
77   // Allocate memory
78   PetscCall(PetscMalloc2(N - 3, &blasius->X, N - 3, &w));
79   PetscCall(PetscDTGaussQuadrature(N - 3, -1., 1., blasius->X, w));
80 
81   // Snes solve
82   PetscCall(SNESCreate(PETSC_COMM_SELF, &snes));
83   PetscCall(VecCreate(PETSC_COMM_SELF, &sol));
84   PetscCall(VecSetSizes(sol, PETSC_DECIDE, 2 * N - 1));
85   PetscCall(VecSetFromOptions(sol));
86   // Constant relative enthalpy 1 as initial guess
87   PetscCall(VecSetValue(sol, N, 1., INSERT_VALUES));
88   PetscCall(VecDuplicate(sol, &res));
89   PetscCall(SNESSetFunction(snes, res, CompressibleBlasiusResidual, blasius));
90   PetscCall(SNESSetOptionsPrefix(snes, "chebyshev_"));
91   PetscCall(SNESSetFromOptions(snes));
92   PetscCall(SNESSolve(snes, NULL, sol));
93   PetscCall(SNESGetConvergedReason(snes, &reason));
94   if (reason < 0) SETERRQ(PETSC_COMM_WORLD, PETSC_ERR_CONV_FAILED, "The Chebyshev solve failed.\n");
95 
96   // Assign Chebyshev coefficients
97   PetscCall(VecGetArrayRead(sol, &cheb_coefs));
98   for (int i = 0; i < N; i++) blasius->Tf_cheb[i] = cheb_coefs[i];
99   for (int i = 0; i < N - 1; i++) blasius->Th_cheb[i] = cheb_coefs[i + N];
100 
101   // Destroy objects
102   PetscCall(PetscFree2(blasius->X, w));
103   PetscCall(VecDestroy(&sol));
104   PetscCall(VecDestroy(&res));
105   PetscCall(SNESDestroy(&snes));
106   PetscFunctionReturn(0);
107 }
108 
109 static PetscErrorCode GetYNodeLocs(const MPI_Comm comm, const char path[PETSC_MAX_PATH_LEN], PetscReal **pynodes, PetscInt *nynodes) {
110   PetscInt       ndims, dims[2];
111   FILE          *fp;
112   const PetscInt char_array_len = 512;
113   char           line[char_array_len];
114   char         **array;
115   PetscReal     *node_locs;
116   PetscFunctionBeginUser;
117 
118   PetscCall(PetscFOpen(comm, path, "r", &fp));
119   PetscCall(PetscSynchronizedFGets(comm, fp, char_array_len, line));
120   PetscCall(PetscStrToArray(line, ' ', &ndims, &array));
121 
122   for (PetscInt i = 0; i < ndims; i++) dims[i] = atoi(array[i]);
123   if (ndims < 2) dims[1] = 1;  // Assume 1 column of data is not otherwise specified
124   *nynodes = dims[0];
125   PetscCall(PetscMalloc1(*nynodes, &node_locs));
126 
127   for (PetscInt i = 0; i < dims[0]; i++) {
128     PetscCall(PetscSynchronizedFGets(comm, fp, char_array_len, line));
129     PetscCall(PetscStrToArray(line, ' ', &ndims, &array));
130     if (ndims < dims[1])
131       SETERRQ(comm, -1, "Line %" PetscInt_FMT " of %s does not contain enough columns (%" PetscInt_FMT " instead of %" PetscInt_FMT ")", i, path,
132               ndims, dims[1]);
133 
134     node_locs[i] = (PetscReal)atof(array[0]);
135   }
136   PetscCall(PetscFClose(comm, fp));
137   *pynodes = node_locs;
138   PetscFunctionReturn(0);
139 }
140 
141 /* \brief Modify the domain and mesh for blasius
142  *
143  * Modifies mesh such that `N` elements are within `refine_height` with a geometric growth ratio of `growth`. Excess elements are then distributed
144  * linearly in logspace to the top surface.
145  *
146  * The top surface is also angled downwards, so that it may be used as an outflow.
147  * It's angle is controlled by `top_angle` (in units of degrees).
148  *
149  * If `node_locs` is not NULL, then the nodes will be placed at `node_locs` locations.
150  * If it is NULL, then the modified coordinate values will be set in the array, along with `num_node_locs`.
151  */
152 static PetscErrorCode ModifyMesh(MPI_Comm comm, DM dm, PetscInt dim, PetscReal growth, PetscInt N, PetscReal refine_height, PetscReal top_angle,
153                                  PetscReal *node_locs[], PetscInt *num_node_locs) {
154   PetscInt     narr, ncoords;
155   PetscReal    domain_min[3], domain_max[3], domain_size[3];
156   PetscScalar *arr_coords;
157   Vec          vec_coords;
158   PetscFunctionBeginUser;
159 
160   PetscReal angle_coeff = tan(top_angle * (M_PI / 180));
161 
162   // Get domain boundary information
163   PetscCall(DMGetBoundingBox(dm, domain_min, domain_max));
164   for (PetscInt i = 0; i < 3; i++) domain_size[i] = domain_max[i] - domain_min[i];
165 
166   // Get coords array from DM
167   PetscCall(DMGetCoordinatesLocal(dm, &vec_coords));
168   PetscCall(VecGetLocalSize(vec_coords, &narr));
169   PetscCall(VecGetArray(vec_coords, &arr_coords));
170 
171   PetscScalar(*coords)[dim] = (PetscScalar(*)[dim])arr_coords;
172   ncoords                   = narr / dim;
173 
174   // Get mesh information
175   PetscInt nmax = 3, faces[3];
176   PetscCall(PetscOptionsGetIntArray(NULL, NULL, "-dm_plex_box_faces", faces, &nmax, NULL));
177   // Get element size of the box mesh, for indexing each node
178   const PetscReal dybox = domain_size[1] / faces[1];
179 
180   if (!*node_locs) {
181     // Calculate the first element height
182     PetscReal dy1 = refine_height * (growth - 1) / (pow(growth, N) - 1);
183 
184     // Calculate log of sizing outside BL
185     PetscReal logdy = (log(domain_max[1]) - log(refine_height)) / (faces[1] - N);
186 
187     *num_node_locs = faces[1] + 1;
188     PetscReal *temp_node_locs;
189     PetscCall(PetscMalloc1(*num_node_locs, &temp_node_locs));
190 
191     for (PetscInt i = 0; i < ncoords; i++) {
192       PetscInt y_box_index = round(coords[i][1] / dybox);
193       if (y_box_index <= N) {
194         coords[i][1] =
195             (1 - (coords[i][0] - domain_min[0]) * angle_coeff / domain_max[1]) * dy1 * (pow(growth, coords[i][1] / dybox) - 1) / (growth - 1);
196       } else {
197         PetscInt j   = y_box_index - N;
198         coords[i][1] = (1 - (coords[i][0] - domain_min[0]) * angle_coeff / domain_max[1]) * exp(log(refine_height) + logdy * j);
199       }
200       if (coords[i][0] == domain_min[0] && coords[i][2] == domain_min[2]) temp_node_locs[y_box_index] = coords[i][1];
201     }
202 
203     *node_locs = temp_node_locs;
204   } else {
205     // Error checking
206     if (*num_node_locs < faces[1] + 1) {
207       SETERRQ(comm, -1,
208               "The y_node_locs_path has too few locations; "
209               "There are %d + 1 nodes, but only %d locations given",
210               faces[1] + 1, *num_node_locs);
211     }
212     if (*num_node_locs > faces[1] + 1) {
213       PetscCall(PetscPrintf(comm,
214                             "WARNING: y_node_locs_path has more locations (%d) "
215                             "than the mesh has nodes (%d). 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 
230   PetscFunctionReturn(0);
231 }
232 
233 PetscErrorCode NS_BLASIUS(ProblemData *problem, DM dm, void *ctx, SimpleBC bc) {
234   User                     user    = *(User *)ctx;
235   MPI_Comm                 comm    = PETSC_COMM_WORLD;
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   CeedInt    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   PetscCall(PetscOptionsBoundedInt("-platemesh_Ndelta", "Velocity at boundary layer edge", NULL, mesh_Ndelta, &mesh_Ndelta, NULL, 1));
275   PetscCall(PetscOptionsScalar("-platemesh_refine_height", "Height of boundary layer mesh refinement", NULL, mesh_refine_height, &mesh_refine_height,
276                                NULL));
277   PetscCall(PetscOptionsScalar("-platemesh_growth", "Geometric growth rate of boundary layer mesh", NULL, mesh_growth, &mesh_growth, NULL));
278   PetscCall(
279       PetscOptionsScalar("-platemesh_top_angle", "Geometric top_angle rate of boundary layer mesh", NULL, mesh_top_angle, &mesh_top_angle, NULL));
280   PetscCall(PetscOptionsString("-platemesh_y_node_locs_path",
281                                "Path to file with y node locations. "
282                                "If empty, will use the algorithmic mesh warping.",
283                                NULL, mesh_ynodes_path, mesh_ynodes_path, sizeof(mesh_ynodes_path), NULL));
284   PetscCall(PetscOptionsBool("-stg_use", "Use STG inflow boundary condition", NULL, use_stg, &use_stg, NULL));
285   PetscOptionsEnd();
286 
287   PetscScalar meter  = user->units->meter;
288   PetscScalar second = user->units->second;
289   PetscScalar Kelvin = user->units->Kelvin;
290   PetscScalar Pascal = user->units->Pascal;
291 
292   T_inf *= Kelvin;
293   T_wall *= Kelvin;
294   P0 *= Pascal;
295   U_inf *= meter / second;
296   delta0 *= meter;
297 
298   PetscReal *mesh_ynodes  = NULL;
299   PetscInt   mesh_nynodes = 0;
300   if (strcmp(mesh_ynodes_path, "")) {
301     PetscCall(GetYNodeLocs(comm, mesh_ynodes_path, &mesh_ynodes, &mesh_nynodes));
302   }
303   PetscCall(ModifyMesh(comm, dm, problem->dim, mesh_growth, mesh_Ndelta, mesh_refine_height, mesh_top_angle, &mesh_ynodes, &mesh_nynodes));
304 
305   // Some properties depend on parameters from NewtonianIdealGas
306   CeedQFunctionContextGetData(problem->apply_vol_rhs.qfunction_context, CEED_MEM_HOST, &newtonian_ig_ctx);
307 
308   blasius_ctx->weakT         = weakT;
309   blasius_ctx->U_inf         = U_inf;
310   blasius_ctx->T_inf         = T_inf;
311   blasius_ctx->T_wall        = T_wall;
312   blasius_ctx->delta0        = delta0;
313   blasius_ctx->P0            = P0;
314   blasius_ctx->n_cheb        = N;
315   newtonian_ig_ctx->P0       = P0;
316   blasius_ctx->implicit      = user->phys->implicit;
317   blasius_ctx->newtonian_ctx = *newtonian_ig_ctx;
318 
319   {
320     PetscReal domain_min[3], domain_max[3];
321     PetscCall(DMGetBoundingBox(dm, domain_min, domain_max));
322     blasius_ctx->x_inflow = domain_min[0];
323     blasius_ctx->eta_max  = 5 * domain_max[1] / blasius_ctx->delta0;
324   }
325   if (!use_stg) PetscCall(ComputeChebyshevCoefficients(blasius_ctx));
326 
327   CeedQFunctionContextRestoreData(problem->apply_vol_rhs.qfunction_context, &newtonian_ig_ctx);
328 
329   CeedQFunctionContextCreate(user->ceed, &blasius_context);
330   CeedQFunctionContextSetData(blasius_context, CEED_MEM_HOST, CEED_USE_POINTER, sizeof(*blasius_ctx), blasius_ctx);
331   CeedQFunctionContextSetDataDestroy(blasius_context, CEED_MEM_HOST, FreeContextPetsc);
332 
333   CeedQFunctionContextDestroy(&problem->ics.qfunction_context);
334   problem->ics.qfunction_context = blasius_context;
335   if (use_stg) {
336     PetscCall(SetupSTG(comm, dm, problem, user, weakT, T_inf, P0, mesh_ynodes, mesh_nynodes));
337   } else {
338     problem->apply_inflow.qfunction              = Blasius_Inflow;
339     problem->apply_inflow.qfunction_loc          = Blasius_Inflow_loc;
340     problem->apply_inflow_jacobian.qfunction     = Blasius_Inflow_Jacobian;
341     problem->apply_inflow_jacobian.qfunction_loc = Blasius_Inflow_Jacobian_loc;
342     CeedQFunctionContextReferenceCopy(blasius_context, &problem->apply_inflow.qfunction_context);
343     CeedQFunctionContextReferenceCopy(blasius_context, &problem->apply_inflow_jacobian.qfunction_context);
344   }
345   PetscCall(PetscFree(mesh_ynodes));
346   PetscFunctionReturn(0);
347 }
348