xref: /honee/src/strong_boundary_conditions.c (revision b4c37c5c26bd208d7f474cbd9aa0850e82e1a854)
12eb7bf1fSJames Wright // Copyright (c) 2017-2022, Lawrence Livermore National Security, LLC and other CEED contributors.
22eb7bf1fSJames Wright // All Rights Reserved. See the top-level LICENSE and NOTICE files for details.
32eb7bf1fSJames Wright //
42eb7bf1fSJames Wright // SPDX-License-Identifier: BSD-2-Clause
52eb7bf1fSJames Wright //
62eb7bf1fSJames Wright // This file is part of CEED:  http://github.com/ceed
72eb7bf1fSJames Wright 
82eb7bf1fSJames Wright #include "../qfunctions/strong_boundary_conditions.h"
92eb7bf1fSJames Wright 
102eb7bf1fSJames Wright #include <ceed.h>
112eb7bf1fSJames Wright #include <petscdmplex.h>
122eb7bf1fSJames Wright 
132eb7bf1fSJames Wright #include "../navierstokes.h"
142eb7bf1fSJames Wright #include "../problems/stg_shur14.h"
152eb7bf1fSJames Wright 
1667263decSKenneth E. Jansen PetscErrorCode SetupStrongSTG_Ceed(Ceed ceed, CeedData ceed_data, DM dm, ProblemData *problem, SimpleBC bc, Physics phys, CeedInt q_data_size_sur,
1767263decSKenneth E. Jansen                                    CeedOperator op_strong_bc) {
182eb7bf1fSJames Wright   CeedInt             num_comp_x = problem->dim, num_comp_q = 5, num_elem, elem_size, stg_data_size = 1;
192eb7bf1fSJames Wright   CeedVector          multiplicity, x_stored, scale_stored, q_data_sur, stg_data;
202eb7bf1fSJames Wright   CeedBasis           basis_x_to_q_sur;
212eb7bf1fSJames Wright   CeedElemRestriction elem_restr_x_sur, elem_restr_q_sur, elem_restr_x_stored, elem_restr_scale, elem_restr_qd_sur, elem_restr_stgdata;
222eb7bf1fSJames Wright   CeedQFunction       qf_setup, qf_strongbc, qf_stgdata;
232eb7bf1fSJames Wright   CeedOperator        op_setup, op_strong_bc_sub, op_setup_sur, op_stgdata;
242eb7bf1fSJames Wright   DMLabel             domain_label;
252eb7bf1fSJames Wright 
262eb7bf1fSJames Wright   PetscFunctionBeginUser;
272eb7bf1fSJames Wright   PetscCall(DMGetLabel(dm, "Face Sets", &domain_label));
282eb7bf1fSJames Wright 
292eb7bf1fSJames Wright   // Basis
302eb7bf1fSJames Wright   CeedInt height = 1;
31*b4c37c5cSJames Wright   PetscCallCeed(ceed, CeedBasisCreateProjection(ceed_data->basis_x_sur, ceed_data->basis_q_sur, &basis_x_to_q_sur));
3267263decSKenneth E. Jansen   // --- Get number of quadrature points for the boundaries
3367263decSKenneth E. Jansen   CeedInt num_qpts_sur;
34*b4c37c5cSJames Wright   PetscCallCeed(ceed, CeedBasisGetNumQuadraturePoints(ceed_data->basis_q_sur, &num_qpts_sur));
352eb7bf1fSJames Wright 
362eb7bf1fSJames Wright   // Setup QFunction
37*b4c37c5cSJames Wright   PetscCallCeed(ceed, CeedQFunctionCreateInterior(ceed, 1, SetupStrongBC, SetupStrongBC_loc, &qf_setup));
38*b4c37c5cSJames Wright   PetscCallCeed(ceed, CeedQFunctionAddInput(qf_setup, "x", num_comp_x, CEED_EVAL_INTERP));
39*b4c37c5cSJames Wright   PetscCallCeed(ceed, CeedQFunctionAddInput(qf_setup, "multiplicity", num_comp_q, CEED_EVAL_NONE));
40*b4c37c5cSJames Wright   PetscCallCeed(ceed, CeedQFunctionAddOutput(qf_setup, "x stored", num_comp_x, CEED_EVAL_NONE));
41*b4c37c5cSJames Wright   PetscCallCeed(ceed, CeedQFunctionAddOutput(qf_setup, "scale", 1, CEED_EVAL_NONE));
422eb7bf1fSJames Wright 
432eb7bf1fSJames Wright   // Setup STG Setup QFunction
442eb7bf1fSJames Wright   PetscCall(SetupStrongSTG_PreProcessing(ceed, problem, num_comp_x, stg_data_size, q_data_size_sur, &qf_stgdata));
452eb7bf1fSJames Wright 
462eb7bf1fSJames Wright   // Compute contribution on each boundary face
472eb7bf1fSJames Wright   for (CeedInt i = 0; i < bc->num_inflow; i++) {
482eb7bf1fSJames Wright     // -- Restrictions
4967263decSKenneth E. Jansen     PetscCall(GetRestrictionForDomain(ceed, dm, height, domain_label, bc->inflows[i], 0, -1, -1, &elem_restr_q_sur, &elem_restr_x_sur, NULL));
50*b4c37c5cSJames Wright     PetscCallCeed(ceed, CeedElemRestrictionCreateVector(elem_restr_q_sur, &multiplicity, NULL));
51*b4c37c5cSJames Wright     PetscCallCeed(ceed, CeedElemRestrictionGetMultiplicity(elem_restr_q_sur, multiplicity));
52*b4c37c5cSJames Wright     PetscCallCeed(ceed, CeedElemRestrictionGetNumElements(elem_restr_q_sur, &num_elem));
53*b4c37c5cSJames Wright     PetscCallCeed(ceed, CeedElemRestrictionGetElementSize(elem_restr_q_sur, &elem_size));
5467263decSKenneth E. Jansen     PetscCall(GetRestrictionForDomain(ceed, dm, height, domain_label, bc->inflows[i], 0, elem_size, q_data_size_sur, NULL, NULL, &elem_restr_qd_sur));
5567263decSKenneth E. Jansen 
56*b4c37c5cSJames Wright     PetscCallCeed(ceed, CeedElemRestrictionCreateStrided(ceed, num_elem, elem_size, num_comp_x, num_elem * elem_size * num_comp_x,
57*b4c37c5cSJames Wright                                                          CEED_STRIDES_BACKEND, &elem_restr_x_stored));
58*b4c37c5cSJames Wright     PetscCallCeed(ceed, CeedElemRestrictionCreateVector(elem_restr_x_stored, &x_stored, NULL));
592eb7bf1fSJames Wright 
60*b4c37c5cSJames Wright     PetscCallCeed(ceed,
61*b4c37c5cSJames Wright                   CeedElemRestrictionCreateStrided(ceed, num_elem, elem_size, 1, num_elem * elem_size, CEED_STRIDES_BACKEND, &elem_restr_scale));
62*b4c37c5cSJames Wright     PetscCallCeed(ceed, CeedElemRestrictionCreateVector(elem_restr_scale, &scale_stored, NULL));
632eb7bf1fSJames Wright 
64*b4c37c5cSJames Wright     PetscCallCeed(ceed, CeedElemRestrictionCreateStrided(ceed, num_elem, elem_size, stg_data_size, num_elem * elem_size, CEED_STRIDES_BACKEND,
65*b4c37c5cSJames Wright                                                          &elem_restr_stgdata));
66*b4c37c5cSJames Wright     PetscCallCeed(ceed, CeedElemRestrictionCreateVector(elem_restr_stgdata, &stg_data, NULL));
672eb7bf1fSJames Wright 
68*b4c37c5cSJames Wright     PetscCallCeed(ceed, CeedVectorCreate(ceed, q_data_size_sur * num_elem * elem_size, &q_data_sur));
692eb7bf1fSJames Wright 
702eb7bf1fSJames Wright     // -- Setup Operator
71*b4c37c5cSJames Wright     PetscCallCeed(ceed, CeedOperatorCreate(ceed, qf_setup, NULL, NULL, &op_setup));
72*b4c37c5cSJames Wright     PetscCallCeed(ceed, CeedOperatorSetName(op_setup, "surface geometric data"));
73*b4c37c5cSJames Wright     PetscCallCeed(ceed, CeedOperatorSetField(op_setup, "x", elem_restr_x_sur, basis_x_to_q_sur, CEED_VECTOR_ACTIVE));
74*b4c37c5cSJames Wright     PetscCallCeed(ceed, CeedOperatorSetField(op_setup, "multiplicity", elem_restr_q_sur, CEED_BASIS_COLLOCATED, multiplicity));
75*b4c37c5cSJames Wright     PetscCallCeed(ceed, CeedOperatorSetField(op_setup, "x stored", elem_restr_x_stored, CEED_BASIS_COLLOCATED, x_stored));
76*b4c37c5cSJames Wright     PetscCallCeed(ceed, CeedOperatorSetField(op_setup, "scale", elem_restr_scale, CEED_BASIS_COLLOCATED, scale_stored));
772eb7bf1fSJames Wright 
782eb7bf1fSJames Wright     // -- Compute geometric factors
79*b4c37c5cSJames Wright     PetscCallCeed(ceed, CeedOperatorApply(op_setup, ceed_data->x_coord, CEED_VECTOR_NONE, CEED_REQUEST_IMMEDIATE));
802eb7bf1fSJames Wright 
812eb7bf1fSJames Wright     // -- Compute QData for the surface
82*b4c37c5cSJames Wright     PetscCallCeed(ceed, CeedOperatorCreate(ceed, ceed_data->qf_setup_sur, NULL, NULL, &op_setup_sur));
83*b4c37c5cSJames Wright     PetscCallCeed(ceed, CeedOperatorSetField(op_setup_sur, "dx", elem_restr_x_sur, ceed_data->basis_xc_sur, CEED_VECTOR_ACTIVE));
84*b4c37c5cSJames Wright     PetscCallCeed(ceed, CeedOperatorSetField(op_setup_sur, "weight", CEED_ELEMRESTRICTION_NONE, ceed_data->basis_xc_sur, CEED_VECTOR_NONE));
85*b4c37c5cSJames Wright     PetscCallCeed(ceed, CeedOperatorSetField(op_setup_sur, "surface qdata", elem_restr_qd_sur, CEED_BASIS_COLLOCATED, CEED_VECTOR_ACTIVE));
862eb7bf1fSJames Wright 
87*b4c37c5cSJames Wright     PetscCallCeed(ceed, CeedOperatorApply(op_setup_sur, ceed_data->x_coord, q_data_sur, CEED_REQUEST_IMMEDIATE));
882eb7bf1fSJames Wright 
892eb7bf1fSJames Wright     // -- Compute STGData
90*b4c37c5cSJames Wright     PetscCallCeed(ceed, CeedOperatorCreate(ceed, qf_stgdata, NULL, NULL, &op_stgdata));
91*b4c37c5cSJames Wright     PetscCallCeed(ceed, CeedOperatorSetField(op_stgdata, "surface qdata", elem_restr_qd_sur, CEED_BASIS_COLLOCATED, q_data_sur));
92*b4c37c5cSJames Wright     PetscCallCeed(ceed, CeedOperatorSetField(op_stgdata, "x", elem_restr_x_stored, CEED_BASIS_COLLOCATED, x_stored));
93*b4c37c5cSJames Wright     PetscCallCeed(ceed, CeedOperatorSetField(op_stgdata, "stg data", elem_restr_stgdata, CEED_BASIS_COLLOCATED, CEED_VECTOR_ACTIVE));
942eb7bf1fSJames Wright 
95*b4c37c5cSJames Wright     PetscCallCeed(ceed, CeedOperatorApply(op_stgdata, CEED_VECTOR_NONE, stg_data, CEED_REQUEST_IMMEDIATE));
962eb7bf1fSJames Wright 
972eb7bf1fSJames Wright     // -- Setup BC QFunctions
982eb7bf1fSJames Wright     SetupStrongSTG_QF(ceed, problem, num_comp_x, num_comp_q, stg_data_size, q_data_size_sur, &qf_strongbc);
99*b4c37c5cSJames Wright     PetscCallCeed(ceed, CeedOperatorCreate(ceed, qf_strongbc, NULL, NULL, &op_strong_bc_sub));
100*b4c37c5cSJames Wright     PetscCallCeed(ceed, CeedOperatorSetName(op_strong_bc_sub, "Strong STG"));
1012eb7bf1fSJames Wright 
102*b4c37c5cSJames Wright     PetscCallCeed(ceed, CeedOperatorSetField(op_strong_bc_sub, "surface qdata", elem_restr_qd_sur, CEED_BASIS_COLLOCATED, q_data_sur));
103*b4c37c5cSJames Wright     PetscCallCeed(ceed, CeedOperatorSetField(op_strong_bc_sub, "x", elem_restr_x_stored, CEED_BASIS_COLLOCATED, x_stored));
104*b4c37c5cSJames Wright     PetscCallCeed(ceed, CeedOperatorSetField(op_strong_bc_sub, "scale", elem_restr_scale, CEED_BASIS_COLLOCATED, scale_stored));
105*b4c37c5cSJames Wright     PetscCallCeed(ceed, CeedOperatorSetField(op_strong_bc_sub, "stg data", elem_restr_stgdata, CEED_BASIS_COLLOCATED, stg_data));
106*b4c37c5cSJames Wright     PetscCallCeed(ceed, CeedOperatorSetField(op_strong_bc_sub, "q", elem_restr_q_sur, CEED_BASIS_COLLOCATED, CEED_VECTOR_ACTIVE));
1072eb7bf1fSJames Wright 
1082eb7bf1fSJames Wright     // -- Add to composite operator
109*b4c37c5cSJames Wright     PetscCallCeed(ceed, CeedCompositeOperatorAddSub(op_strong_bc, op_strong_bc_sub));
1102eb7bf1fSJames Wright 
111*b4c37c5cSJames Wright     PetscCallCeed(ceed, CeedVectorDestroy(&q_data_sur));
112*b4c37c5cSJames Wright     PetscCallCeed(ceed, CeedVectorDestroy(&multiplicity));
113*b4c37c5cSJames Wright     PetscCallCeed(ceed, CeedVectorDestroy(&x_stored));
114*b4c37c5cSJames Wright     PetscCallCeed(ceed, CeedVectorDestroy(&scale_stored));
115*b4c37c5cSJames Wright     PetscCallCeed(ceed, CeedVectorDestroy(&stg_data));
116*b4c37c5cSJames Wright     PetscCallCeed(ceed, CeedElemRestrictionDestroy(&elem_restr_x_sur));
117*b4c37c5cSJames Wright     PetscCallCeed(ceed, CeedElemRestrictionDestroy(&elem_restr_q_sur));
118*b4c37c5cSJames Wright     PetscCallCeed(ceed, CeedElemRestrictionDestroy(&elem_restr_qd_sur));
119*b4c37c5cSJames Wright     PetscCallCeed(ceed, CeedElemRestrictionDestroy(&elem_restr_x_stored));
120*b4c37c5cSJames Wright     PetscCallCeed(ceed, CeedElemRestrictionDestroy(&elem_restr_scale));
121*b4c37c5cSJames Wright     PetscCallCeed(ceed, CeedElemRestrictionDestroy(&elem_restr_stgdata));
122*b4c37c5cSJames Wright     PetscCallCeed(ceed, CeedQFunctionDestroy(&qf_strongbc));
123*b4c37c5cSJames Wright     PetscCallCeed(ceed, CeedQFunctionDestroy(&qf_stgdata));
124*b4c37c5cSJames Wright     PetscCallCeed(ceed, CeedOperatorDestroy(&op_setup_sur));
125*b4c37c5cSJames Wright     PetscCallCeed(ceed, CeedOperatorDestroy(&op_strong_bc_sub));
126*b4c37c5cSJames Wright     PetscCallCeed(ceed, CeedOperatorDestroy(&op_setup));
127*b4c37c5cSJames Wright     PetscCallCeed(ceed, CeedOperatorDestroy(&op_stgdata));
1282eb7bf1fSJames Wright   }
1292eb7bf1fSJames Wright 
130*b4c37c5cSJames Wright   PetscCallCeed(ceed, CeedOperatorGetContextFieldLabel(op_strong_bc, "solution time", &phys->stg_solution_time_label));
1312eb7bf1fSJames Wright 
132*b4c37c5cSJames Wright   PetscCallCeed(ceed, CeedBasisDestroy(&basis_x_to_q_sur));
133*b4c37c5cSJames Wright   PetscCallCeed(ceed, CeedQFunctionDestroy(&qf_setup));
1342eb7bf1fSJames Wright 
135d949ddfcSJames Wright   PetscFunctionReturn(PETSC_SUCCESS);
1362eb7bf1fSJames Wright }
1372eb7bf1fSJames Wright 
1382eb7bf1fSJames Wright PetscErrorCode DMPlexInsertBoundaryValues_StrongBCCeed(DM dm, PetscBool insert_essential, Vec Q_loc, PetscReal time, Vec face_geom_FVM,
1392eb7bf1fSJames Wright                                                        Vec cell_geom_FVM, Vec grad_FVM) {
1402eb7bf1fSJames Wright   Vec  boundary_mask;
1412eb7bf1fSJames Wright   User user;
1422eb7bf1fSJames Wright 
1432eb7bf1fSJames Wright   PetscFunctionBeginUser;
1442eb7bf1fSJames Wright   PetscCall(DMGetApplicationContext(dm, &user));
1452eb7bf1fSJames Wright 
1462eb7bf1fSJames Wright   if (user->phys->stg_solution_time_label) {
147*b4c37c5cSJames Wright     PetscCallCeed(user->ceed, CeedOperatorSetContextDouble(user->op_strong_bc_ctx->op, user->phys->stg_solution_time_label, &time));
1482eb7bf1fSJames Wright   }
1492eb7bf1fSJames Wright 
1502eb7bf1fSJames Wright   // Mask Strong BC entries
1512eb7bf1fSJames Wright   PetscCall(DMGetNamedLocalVector(dm, "boundary mask", &boundary_mask));
1522eb7bf1fSJames Wright   PetscCall(VecPointwiseMult(Q_loc, Q_loc, boundary_mask));
1532eb7bf1fSJames Wright   PetscCall(DMRestoreNamedLocalVector(dm, "boundary mask", &boundary_mask));
1542eb7bf1fSJames Wright 
1552eb7bf1fSJames Wright   PetscCall(ApplyAddCeedOperatorLocalToLocal(NULL, Q_loc, user->op_strong_bc_ctx));
1562eb7bf1fSJames Wright 
157d949ddfcSJames Wright   PetscFunctionReturn(PETSC_SUCCESS);
1582eb7bf1fSJames Wright }
1592eb7bf1fSJames Wright 
16067263decSKenneth E. Jansen PetscErrorCode SetupStrongBC_Ceed(Ceed ceed, CeedData ceed_data, DM dm, User user, ProblemData *problem, SimpleBC bc, CeedInt q_data_size_sur) {
1612eb7bf1fSJames Wright   CeedOperator op_strong_bc;
1622eb7bf1fSJames Wright 
1632eb7bf1fSJames Wright   PetscFunctionBeginUser;
1642eb7bf1fSJames Wright   {
1652eb7bf1fSJames Wright     Vec boundary_mask, global_vec;
1662eb7bf1fSJames Wright 
1672eb7bf1fSJames Wright     PetscCall(DMGetNamedLocalVector(dm, "boundary mask", &boundary_mask));
1682eb7bf1fSJames Wright     PetscCall(DMGetGlobalVector(dm, &global_vec));
1692eb7bf1fSJames Wright     PetscCall(VecZeroEntries(boundary_mask));
1702eb7bf1fSJames Wright     PetscCall(VecSet(global_vec, 1.0));
1712eb7bf1fSJames Wright     PetscCall(DMGlobalToLocal(dm, global_vec, INSERT_VALUES, boundary_mask));
1722eb7bf1fSJames Wright     PetscCall(DMRestoreNamedLocalVector(dm, "boundary mask", &boundary_mask));
1732eb7bf1fSJames Wright     PetscCall(DMRestoreGlobalVector(dm, &global_vec));
1742eb7bf1fSJames Wright   }
1752eb7bf1fSJames Wright 
176*b4c37c5cSJames Wright   PetscCallCeed(ceed, CeedCompositeOperatorCreate(ceed, &op_strong_bc));
1772eb7bf1fSJames Wright   {
1782eb7bf1fSJames Wright     PetscBool use_strongstg = PETSC_FALSE;
1792eb7bf1fSJames Wright     PetscCall(PetscOptionsGetBool(NULL, NULL, "-stg_strong", &use_strongstg, NULL));
1802eb7bf1fSJames Wright 
1812eb7bf1fSJames Wright     if (use_strongstg) {
18267263decSKenneth E. Jansen       PetscCall(SetupStrongSTG_Ceed(ceed, ceed_data, dm, problem, bc, user->phys, q_data_size_sur, op_strong_bc));
1832eb7bf1fSJames Wright     }
1842eb7bf1fSJames Wright   }
1852eb7bf1fSJames Wright 
1862eb7bf1fSJames Wright   PetscCall(OperatorApplyContextCreate(NULL, NULL, ceed, op_strong_bc, CEED_VECTOR_NONE, NULL, NULL, NULL, &user->op_strong_bc_ctx));
1872eb7bf1fSJames Wright 
1882eb7bf1fSJames Wright   PetscCall(PetscObjectComposeFunction((PetscObject)dm, "DMPlexInsertBoundaryValues_C", DMPlexInsertBoundaryValues_StrongBCCeed));
189d949ddfcSJames Wright   PetscFunctionReturn(PETSC_SUCCESS);
1902eb7bf1fSJames Wright }
191