xref: /libCEED/examples/fluids/navierstokes.h (revision b18328c48bac463522bc9df72304dbd8dd7879bd)
13d8e8822SJeremy L Thompson // Copyright (c) 2017-2022, Lawrence Livermore National Security, LLC and other CEED contributors.
23d8e8822SJeremy L Thompson // All Rights Reserved. See the top-level LICENSE and NOTICE files for details.
377841947SLeila Ghaffari //
43d8e8822SJeremy L Thompson // SPDX-License-Identifier: BSD-2-Clause
577841947SLeila Ghaffari //
63d8e8822SJeremy L Thompson // This file is part of CEED:  http://github.com/ceed
777841947SLeila Ghaffari 
8b7c563b6SJeremy L Thompson #ifndef libceed_fluids_examples_navier_stokes_h
9b7c563b6SJeremy L Thompson #define libceed_fluids_examples_navier_stokes_h
1077841947SLeila Ghaffari 
1177841947SLeila Ghaffari #include <ceed.h>
1277841947SLeila Ghaffari #include <petscts.h>
1377841947SLeila Ghaffari #include <stdbool.h>
142b730f8bSJeremy L Thompson 
154021610dSJames Wright #include "./include/petsc_ops.h"
1697baf651SJames Wright #include "qfunctions/newtonian_types.h"
172b730f8bSJeremy L Thompson #include "qfunctions/stabilization_types.h"
1877841947SLeila Ghaffari 
19d31f425aSJeremy L Thompson #if PETSC_VERSION_LT(3, 20, 0)
20d31f425aSJeremy L Thompson #error "PETSc v3.20 or later is required"
2177841947SLeila Ghaffari #endif
2277841947SLeila Ghaffari 
2349a40c8aSKenneth E. Jansen #if PETSC_VERSION_LT(3, 21, 0)
2449a40c8aSKenneth E. Jansen #define DMSetCoordinateDisc(a, b, c) DMProjectCoordinates(a, b)
2549a40c8aSKenneth E. Jansen #endif
2649a40c8aSKenneth E. Jansen 
27d9d458caSJames Wright #define PetscCallCeed(ceed, ...)                                    \
28a424bcd0SJames Wright   do {                                                              \
29d9d458caSJames Wright     int ierr = __VA_ARGS__;                                         \
30a424bcd0SJames Wright     if (ierr != CEED_ERROR_SUCCESS) {                               \
31a424bcd0SJames Wright       const char *error_message;                                    \
32a424bcd0SJames Wright       CeedGetErrorMessage(ceed, &error_message);                    \
33a424bcd0SJames Wright       SETERRQ(PETSC_COMM_SELF, PETSC_ERR_LIB, "%s", error_message); \
34a424bcd0SJames Wright     }                                                               \
35a424bcd0SJames Wright   } while (0)
36a424bcd0SJames Wright 
3777841947SLeila Ghaffari // -----------------------------------------------------------------------------
3877841947SLeila Ghaffari // Enums
3977841947SLeila Ghaffari // -----------------------------------------------------------------------------
4077841947SLeila Ghaffari // Translate PetscMemType to CeedMemType
412b730f8bSJeremy L Thompson static inline CeedMemType MemTypeP2C(PetscMemType mem_type) { return PetscMemTypeDevice(mem_type) ? CEED_MEM_DEVICE : CEED_MEM_HOST; }
4277841947SLeila Ghaffari 
4377841947SLeila Ghaffari // Euler - test cases
4477841947SLeila Ghaffari typedef enum {
45bc7bbd5dSLeila Ghaffari   EULER_TEST_ISENTROPIC_VORTEX = 0,
4677841947SLeila Ghaffari   EULER_TEST_1                 = 1,
4777841947SLeila Ghaffari   EULER_TEST_2                 = 2,
4877841947SLeila Ghaffari   EULER_TEST_3                 = 3,
4977841947SLeila Ghaffari   EULER_TEST_4                 = 4,
5032f166c6SLeila Ghaffari   EULER_TEST_5                 = 5,
5177841947SLeila Ghaffari } EulerTestType;
522b730f8bSJeremy L Thompson static const char *const EulerTestTypes[] = {"isentropic_vortex", "test_1",      "test_2", "test_3", "test_4", "test_5",
532b730f8bSJeremy L Thompson                                              "EulerTestType",     "EULER_TEST_", NULL};
5477841947SLeila Ghaffari 
55700ae941SJames Wright // Advection - Wind types
56700ae941SJames Wright static const char *const WindTypes[] = {"rotation", "translation", "WindType", "WIND_", NULL};
57700ae941SJames Wright 
587b77ddfdSJames Wright // Advection - Initial Condition Types
597b77ddfdSJames Wright static const char *const AdvectionICTypes[] = {"sphere", "cylinder", "cosine_hill", "skew", "AdvectionICType", "ADVECTIONIC_", NULL};
60700ae941SJames Wright 
61700ae941SJames Wright // Advection - Bubble Continuity Types
6293639ffbSJames Wright static const char *const BubbleContinuityTypes[] = {"smooth", "back_sharp", "thick", "cosine", "BubbleContinuityType", "BUBBLE_CONTINUITY_", NULL};
63700ae941SJames Wright 
6477841947SLeila Ghaffari // Stabilization methods
652b730f8bSJeremy L Thompson static const char *const StabilizationTypes[] = {"none", "SU", "SUPG", "StabilizationType", "STAB_", NULL};
6677841947SLeila Ghaffari 
67*b18328c4SJames Wright // Stabilization tau constants
68*b18328c4SJames Wright static const char *const StabilizationTauTypes[] = {"Ctau", "AdvDiff_Shakib", "AdvDiff_Shakib_P", "StabilizationTauType", "STAB_TAU_", NULL};
69*b18328c4SJames Wright 
7051b00d91SJames Wright // Test mode type
718fb33541SJames Wright typedef enum {
728fb33541SJames Wright   TESTTYPE_NONE           = 0,
738fb33541SJames Wright   TESTTYPE_SOLVER         = 1,
748fb33541SJames Wright   TESTTYPE_TURB_SPANSTATS = 2,
75970fa48bSJames Wright   TESTTYPE_DIFF_FILTER    = 3,
768fb33541SJames Wright } TestType;
77970fa48bSJames Wright static const char *const TestTypes[] = {"none", "solver", "turb_spanstats", "diff_filter", "TestType", "TESTTYPE_", NULL};
788fb33541SJames Wright 
792526956eSJames Wright // Subgrid-Stress mode type
8019ffbc25SJames Wright typedef enum {
8119ffbc25SJames Wright   SGS_MODEL_NONE        = 0,
8219ffbc25SJames Wright   SGS_MODEL_DATA_DRIVEN = 1,
8319ffbc25SJames Wright } SGSModelType;
8419ffbc25SJames Wright static const char *const SGSModelTypes[] = {"none", "data_driven", "SGSModelType", "SGS_MODEL_", NULL};
8519ffbc25SJames Wright 
862526956eSJames Wright // Mesh transformation type
872526956eSJames Wright typedef enum {
882526956eSJames Wright   MESH_TRANSFORM_NONE      = 0,
892526956eSJames Wright   MESH_TRANSFORM_PLATEMESH = 1,
902526956eSJames Wright } MeshTransformType;
912526956eSJames Wright static const char *const MeshTransformTypes[] = {"none", "platemesh", "MeshTransformType", "MESH_TRANSFORM_", NULL};
922526956eSJames Wright 
93bd882c8aSJames Wright static const char *const DifferentialFilterDampingFunctions[] = {
94bd882c8aSJames Wright     "none", "van_driest", "mms", "DifferentialFilterDampingFunction", "DIFF_FILTER_DAMP_", NULL};
95bd882c8aSJames Wright 
9677841947SLeila Ghaffari // -----------------------------------------------------------------------------
9775d1798cSJames Wright // Log Events
9875d1798cSJames Wright // -----------------------------------------------------------------------------
9975d1798cSJames Wright extern PetscLogEvent FLUIDS_CeedOperatorApply;
10075d1798cSJames Wright extern PetscLogEvent FLUIDS_CeedOperatorAssemble;
10175d1798cSJames Wright extern PetscLogEvent FLUIDS_CeedOperatorAssembleDiagonal;
10275d1798cSJames Wright extern PetscLogEvent FLUIDS_CeedOperatorAssemblePointBlockDiagonal;
103844b3d4aSRiccardo Balin extern PetscLogEvent FLUIDS_SmartRedis_Init;
104844b3d4aSRiccardo Balin extern PetscLogEvent FLUIDS_SmartRedis_Meta;
105844b3d4aSRiccardo Balin extern PetscLogEvent FLUIDS_SmartRedis_Train;
106844b3d4aSRiccardo Balin extern PetscLogEvent FLUIDS_TrainDataCompute;
1073737f832SJames Wright extern PetscLogEvent FLUIDS_DifferentialFilter;
1083737f832SJames Wright extern PetscLogEvent FLUIDS_VelocityGradientProjection;
10975d1798cSJames Wright PetscErrorCode       RegisterLogEvents();
11075d1798cSJames Wright 
11175d1798cSJames Wright // -----------------------------------------------------------------------------
11277841947SLeila Ghaffari // Structs
11377841947SLeila Ghaffari // -----------------------------------------------------------------------------
11477841947SLeila Ghaffari // Structs declarations
11577841947SLeila Ghaffari typedef struct AppCtx_private   *AppCtx;
11677841947SLeila Ghaffari typedef struct CeedData_private *CeedData;
11777841947SLeila Ghaffari typedef struct User_private     *User;
11877841947SLeila Ghaffari typedef struct Units_private    *Units;
11977841947SLeila Ghaffari typedef struct SimpleBC_private *SimpleBC;
12077841947SLeila Ghaffari typedef struct Physics_private  *Physics;
12177841947SLeila Ghaffari 
12277841947SLeila Ghaffari // Application context from user command line options
12377841947SLeila Ghaffari struct AppCtx_private {
12477841947SLeila Ghaffari   // libCEED arguments
12577841947SLeila Ghaffari   char     ceed_resource[PETSC_MAX_PATH_LEN];  // libCEED backend
12677841947SLeila Ghaffari   PetscInt degree;
12777841947SLeila Ghaffari   PetscInt q_extra;
128544be873SJed Brown   // Solver arguments
129544be873SJed Brown   MatType   amat_type;
130544be873SJed Brown   PetscBool pmat_pbdiagonal;
13177841947SLeila Ghaffari   // Post-processing arguments
13237cbb16aSJed Brown   PetscInt  checkpoint_interval;
13377841947SLeila Ghaffari   PetscInt  viz_refine;
13477841947SLeila Ghaffari   PetscInt  cont_steps;
1354de8550aSJed Brown   PetscReal cont_time;
13669293791SJames Wright   char      cont_file[PETSC_MAX_PATH_LEN];
13769293791SJames Wright   char      cont_time_file[PETSC_MAX_PATH_LEN];
13877841947SLeila Ghaffari   char      output_dir[PETSC_MAX_PATH_LEN];
13969293791SJames Wright   PetscBool add_stepnum2bin;
14037cbb16aSJed Brown   PetscBool checkpoint_vtk;
14177841947SLeila Ghaffari   // Problem type arguments
14277841947SLeila Ghaffari   PetscFunctionList problems;
14377841947SLeila Ghaffari   char              problem_name[PETSC_MAX_PATH_LEN];
14477841947SLeila Ghaffari   // Test mode arguments
1458fb33541SJames Wright   TestType    test_type;
14677841947SLeila Ghaffari   PetscScalar test_tol;
147b7d66439SJames Wright   char        test_file_path[PETSC_MAX_PATH_LEN];
148b7d66439SJames Wright   // Turbulent spanwise statistics
149b7d66439SJames Wright   PetscBool         turb_spanstats_enable;
150b7d66439SJames Wright   PetscInt          turb_spanstats_collect_interval;
151b7d66439SJames Wright   PetscInt          turb_spanstats_viewer_interval;
152b7d66439SJames Wright   PetscViewer       turb_spanstats_viewer;
153b7d66439SJames Wright   PetscViewerFormat turb_spanstats_viewer_format;
154ca69d878SAdeleke O. Bankole   // Wall forces
155ca69d878SAdeleke O. Bankole   struct {
156ca69d878SAdeleke O. Bankole     PetscInt          num_wall;
157ca69d878SAdeleke O. Bankole     PetscInt         *walls;
158ca69d878SAdeleke O. Bankole     PetscViewer       viewer;
159ca69d878SAdeleke O. Bankole     PetscViewerFormat viewer_format;
160ca69d878SAdeleke O. Bankole     PetscBool         header_written;
161ca69d878SAdeleke O. Bankole   } wall_forces;
16219ffbc25SJames Wright   // Subgrid Stress Model
16319ffbc25SJames Wright   SGSModelType sgs_model_type;
16428134cfaSJames Wright   PetscBool    sgs_train_enable;
1654e9802d1SJames Wright   // Differential Filtering
1664e9802d1SJames Wright   PetscBool         diff_filter_monitor;
1672526956eSJames Wright   MeshTransformType mesh_transform_type;
16877841947SLeila Ghaffari };
16977841947SLeila Ghaffari 
17077841947SLeila Ghaffari // libCEED data struct
17177841947SLeila Ghaffari struct CeedData_private {
17277841947SLeila Ghaffari   CeedVector           x_coord, q_data;
1732b730f8bSJeremy L Thompson   CeedBasis            basis_x, basis_xc, basis_q, basis_x_sur, basis_q_sur, basis_xc_sur;
17477841947SLeila Ghaffari   CeedElemRestriction  elem_restr_x, elem_restr_q, elem_restr_qd_i;
1755263e9c6SJames Wright   CeedOperator         op_setup_vol;
1765263e9c6SJames Wright   OperatorApplyContext op_ics_ctx;
177d310b3d3SAdeleke O. Bankole   CeedQFunction        qf_setup_vol, qf_ics, qf_rhs_vol, qf_ifunction_vol, qf_setup_sur, qf_apply_inflow, qf_apply_inflow_jacobian, qf_apply_outflow,
1789f844368SJames Wright       qf_apply_outflow_jacobian, qf_apply_freestream, qf_apply_freestream_jacobian, qf_apply_slip, qf_apply_slip_jacobian;
17977841947SLeila Ghaffari };
18077841947SLeila Ghaffari 
18151ee423eSJames Wright typedef struct {
18251ee423eSJames Wright   DM                    dm;
1831737222fSJames Wright   PetscSF               sf;  // For communicating child data to parents
184ed331efdSJames Wright   OperatorApplyContext  op_stats_collect_ctx, op_proj_rhs_ctx;
18551ee423eSJames Wright   PetscInt              num_comp_stats;
186ed331efdSJames Wright   Vec                   Child_Stats_loc, Parent_Stats_loc;
187a175e481SJames Wright   KSP                   ksp;         // For the L^2 projection solve
188a175e481SJames Wright   CeedScalar            span_width;  // spanwise width of the child domain
189b7d66439SJames Wright   PetscBool             do_mms_test;
1904021610dSJames Wright   OperatorApplyContext  mms_error_ctx;
191495b9769SJames Wright   CeedContextFieldLabel solution_time_label, previous_time_label;
192cbef7084SJames Wright } SpanStatsData;
19351ee423eSJames Wright 
194999ff5c7SJames Wright typedef struct {
195999ff5c7SJames Wright   DM                   dm;
196999ff5c7SJames Wright   PetscInt             num_comp;
197999ff5c7SJames Wright   OperatorApplyContext l2_rhs_ctx;
198999ff5c7SJames Wright   KSP                  ksp;
199999ff5c7SJames Wright } *NodalProjectionData;
200999ff5c7SJames Wright 
2016b3fb9aeSJames Wright typedef PetscErrorCode (*SgsDDNodalStressEval)(User user, Vec Q_loc, Vec VelocityGradient, Vec SGSNodal_loc);
2021250e899SJames Wright typedef PetscErrorCode (*SgsDDNodalStressInference)(Vec DD_Inputs_loc, Vec DD_Outputs_loc, void *ctx);
2039a17443dSJames Wright typedef struct {
2041250e899SJames Wright   DM                        dm_sgs, dm_dd_inputs, dm_dd_outputs;
2059a17443dSJames Wright   PetscInt                  num_comp_sgs;
2061250e899SJames Wright   CeedInt                   num_comp_inputs, num_comp_outputs;
2071250e899SJames Wright   OperatorApplyContext      op_nodal_evaluation_ctx, op_nodal_dd_inputs_ctx, op_nodal_dd_outputs_ctx, op_sgs_apply_ctx;
2081250e899SJames Wright   CeedVector                sgs_nodal_ceed, grad_velo_ceed;
2096b3fb9aeSJames Wright   SgsDDNodalStressEval      sgs_nodal_eval;
2101250e899SJames Wright   SgsDDNodalStressInference sgs_nodal_inference;
2111250e899SJames Wright   void                     *sgs_nodal_inference_ctx;
2121250e899SJames Wright   PetscErrorCode (*sgs_nodal_inference_ctx_destroy)(void *ctx);
213cbef7084SJames Wright } *SgsDDData;
2149a17443dSJames Wright 
2154e9802d1SJames Wright typedef struct {
216ee3b213aSJames Wright   DM                   dm_dd_training;
217ee3b213aSJames Wright   PetscInt             num_comp_dd_inputs, write_data_interval;
218ee3b213aSJames Wright   OperatorApplyContext op_training_data_calc_ctx;
219ee3b213aSJames Wright   NodalProjectionData  filtered_grad_velo_proj;
220ee3b213aSJames Wright   size_t               training_data_array_dims[2];
221ee3b213aSJames Wright   PetscBool            overwrite_training_data;
222ee3b213aSJames Wright } *SGS_DD_TrainingData;
223ee3b213aSJames Wright 
224ee3b213aSJames Wright typedef struct {
2254e9802d1SJames Wright   DM                   dm_filter;
22681530087SJames Wright   PetscInt             num_filtered_fields;
22781530087SJames Wright   CeedInt             *num_field_components;
228051427eeSJames Wright   PetscInt             field_prim_state, field_velo_prod;
2294e9802d1SJames Wright   OperatorApplyContext op_rhs_ctx;
2304e9802d1SJames Wright   KSP                  ksp;
2312029a677SJames Wright   PetscBool            do_mms_test;
2324e9802d1SJames Wright } *DiffFilterData;
2334e9802d1SJames Wright 
2348146534cSJames Wright typedef struct {
2358146534cSJames Wright   void    *client;
2368146534cSJames Wright   char     rank_id_name[16];
2378146534cSJames Wright   PetscInt collocated_database_num_ranks;
2388146534cSJames Wright } *SmartSimData;
2398146534cSJames Wright 
24077841947SLeila Ghaffari // PETSc user data
24177841947SLeila Ghaffari struct User_private {
24277841947SLeila Ghaffari   MPI_Comm             comm;
24377841947SLeila Ghaffari   DM                   dm;
24477841947SLeila Ghaffari   DM                   dm_viz;
24577841947SLeila Ghaffari   Mat                  interp_viz;
24677841947SLeila Ghaffari   Ceed                 ceed;
24777841947SLeila Ghaffari   Units                units;
24804292f7dSJames Wright   Vec                  Q_loc, Q_dot_loc;
24977841947SLeila Ghaffari   Physics              phys;
25077841947SLeila Ghaffari   AppCtx               app_ctx;
2512b730f8bSJeremy L Thompson   CeedVector           q_ceed, q_dot_ceed, g_ceed, coo_values_amat, coo_values_pmat, x_ceed;
2529ad5e8e4SJames Wright   CeedOperator         op_rhs_vol, op_ifunction_vol, op_ifunction, op_ijacobian;
25304292f7dSJames Wright   KSP                  mass_ksp;
2549ad5e8e4SJames Wright   OperatorApplyContext op_rhs_ctx, op_strong_bc_ctx;
255e334ad8fSJed Brown   bool                 matrices_set_up;
25615637395SJames Wright   CeedScalar           time_bc_set;
257cbef7084SJames Wright   SpanStatsData        spanstats;
258999ff5c7SJames Wright   NodalProjectionData  grad_velo_proj;
259cbef7084SJames Wright   SgsDDData            sgs_dd_data;
2604e9802d1SJames Wright   DiffFilterData       diff_filter;
2618146534cSJames Wright   SmartSimData         smartsim;
262ee3b213aSJames Wright   SGS_DD_TrainingData  sgs_dd_train;
26377841947SLeila Ghaffari };
26477841947SLeila Ghaffari 
26577841947SLeila Ghaffari // Units
26677841947SLeila Ghaffari struct Units_private {
26777841947SLeila Ghaffari   // fundamental units
26877841947SLeila Ghaffari   PetscScalar meter;
26977841947SLeila Ghaffari   PetscScalar kilogram;
27077841947SLeila Ghaffari   PetscScalar second;
27177841947SLeila Ghaffari   PetscScalar Kelvin;
27277841947SLeila Ghaffari   // derived units
27377841947SLeila Ghaffari   PetscScalar Pascal;
27477841947SLeila Ghaffari   PetscScalar J_per_kg_K;
27577841947SLeila Ghaffari   PetscScalar m_per_squared_s;
27677841947SLeila Ghaffari   PetscScalar W_per_m_K;
27777841947SLeila Ghaffari   PetscScalar Joule;
27877841947SLeila Ghaffari };
27977841947SLeila Ghaffari 
28077841947SLeila Ghaffari // Boundary conditions
28177841947SLeila Ghaffari struct SimpleBC_private {
2822fe7aee7SLeila Ghaffari   PetscInt num_wall,  // Number of faces with wall BCs
2832fe7aee7SLeila Ghaffari       wall_comps[5],  // An array of constrained component numbers
2842fe7aee7SLeila Ghaffari       num_comps,
2857c5bba50SJames Wright       num_symmetry[3],  // Number of faces with symmetry BCs
2869f844368SJames Wright       num_inflow, num_outflow, num_freestream, num_slip;
2879f844368SJames Wright   PetscInt walls[16], symmetries[3][16], inflows[16], outflows[16], freestreams[16], slips[16];
28877841947SLeila Ghaffari };
28977841947SLeila Ghaffari 
29077841947SLeila Ghaffari // Struct that contains all enums and structs used for the physics of all problems
29177841947SLeila Ghaffari struct Physics_private {
29277841947SLeila Ghaffari   PetscBool             implicit;
29397baf651SJames Wright   StateVariable         state_var;
29411436a05SJames Wright   CeedContextFieldLabel solution_time_label;
295cd4035ffSJames Wright   CeedContextFieldLabel stg_solution_time_label;
29688626eedSJames Wright   CeedContextFieldLabel timestep_size_label;
297841e4c73SJed Brown   CeedContextFieldLabel ics_time_label;
298e334ad8fSJed Brown   CeedContextFieldLabel ijacobian_time_shift_label;
29977841947SLeila Ghaffari };
30077841947SLeila Ghaffari 
30191e5af17SJed Brown typedef struct {
30291e5af17SJed Brown   CeedQFunctionUser    qfunction;
30391e5af17SJed Brown   const char          *qfunction_loc;
304841e4c73SJed Brown   CeedQFunctionContext qfunction_context;
30591e5af17SJed Brown } ProblemQFunctionSpec;
30691e5af17SJed Brown 
30777841947SLeila Ghaffari // Problem specific data
308841e4c73SJed Brown typedef struct ProblemData_private ProblemData;
309841e4c73SJed Brown struct ProblemData_private {
310e334ad8fSJed Brown   CeedInt              dim, q_data_size_vol, q_data_size_sur, jac_data_size_sur;
3111864f1c2SLeila Ghaffari   CeedScalar           dm_scale;
3122b730f8bSJeremy L Thompson   ProblemQFunctionSpec setup_vol, setup_sur, ics, apply_vol_rhs, apply_vol_ifunction, apply_vol_ijacobian, apply_inflow, apply_outflow,
3139f844368SJames Wright       apply_freestream, apply_slip, apply_inflow_jacobian, apply_outflow_jacobian, apply_freestream_jacobian, apply_slip_jacobian;
31477841947SLeila Ghaffari   bool      non_zero_time;
315752a08a7SJames Wright   PetscBool bc_from_ics, use_strong_bc_ceed, uses_newtonian;
316367c849eSJames Wright   PetscErrorCode (*print_info)(User, ProblemData *, AppCtx);
317841e4c73SJed Brown };
31877841947SLeila Ghaffari 
319841e4c73SJed Brown extern int FreeContextPetsc(void *);
320841e4c73SJed Brown 
32177841947SLeila Ghaffari // -----------------------------------------------------------------------------
32277841947SLeila Ghaffari // Set up problems
32377841947SLeila Ghaffari // -----------------------------------------------------------------------------
32477841947SLeila Ghaffari // Set up function for each problem
32514712a6bSJames Wright extern PetscErrorCode NS_TAYLOR_GREEN(ProblemData *problem, DM dm, void *ctx, SimpleBC bc);
326530ad8c4SKenneth E. Jansen extern PetscErrorCode NS_GAUSSIAN_WAVE(ProblemData *problem, DM dm, void *ctx, SimpleBC bc);
32746de7363SJames Wright extern PetscErrorCode NS_CHANNEL(ProblemData *problem, DM dm, void *ctx, SimpleBC bc);
32846de7363SJames Wright extern PetscErrorCode NS_BLASIUS(ProblemData *problem, DM dm, void *ctx, SimpleBC bc);
32946de7363SJames Wright extern PetscErrorCode NS_NEWTONIAN_IG(ProblemData *problem, DM dm, void *ctx, SimpleBC bc);
33046de7363SJames Wright extern PetscErrorCode NS_DENSITY_CURRENT(ProblemData *problem, DM dm, void *ctx, SimpleBC bc);
33146de7363SJames Wright extern PetscErrorCode NS_EULER_VORTEX(ProblemData *problem, DM dm, void *ctx, SimpleBC bc);
33246de7363SJames Wright extern PetscErrorCode NS_SHOCKTUBE(ProblemData *problem, DM dm, void *ctx, SimpleBC bc);
33346de7363SJames Wright extern PetscErrorCode NS_ADVECTION(ProblemData *problem, DM dm, void *ctx, SimpleBC bc);
33446de7363SJames Wright extern PetscErrorCode NS_ADVECTION2D(ProblemData *problem, DM dm, void *ctx, SimpleBC bc);
33577841947SLeila Ghaffari 
33677841947SLeila Ghaffari // Print function for each problem
337367c849eSJames Wright extern PetscErrorCode PRINT_NEWTONIAN(User user, ProblemData *problem, AppCtx app_ctx);
33877841947SLeila Ghaffari 
339367c849eSJames Wright extern PetscErrorCode PRINT_EULER_VORTEX(User user, ProblemData *problem, AppCtx app_ctx);
34077841947SLeila Ghaffari 
341367c849eSJames Wright extern PetscErrorCode PRINT_SHOCKTUBE(User user, ProblemData *problem, AppCtx app_ctx);
342019b7682STimothy Aiken 
343367c849eSJames Wright extern PetscErrorCode PRINT_ADVECTION(User user, ProblemData *problem, AppCtx app_ctx);
34477841947SLeila Ghaffari 
345367c849eSJames Wright extern PetscErrorCode PRINT_ADVECTION2D(User user, ProblemData *problem, AppCtx app_ctx);
34677841947SLeila Ghaffari 
3472e31f396SJames Wright PetscErrorCode PrintRunInfo(User user, Physics phys_ctx, ProblemData *problem, MPI_Comm comm);
3482e31f396SJames Wright 
34977841947SLeila Ghaffari // -----------------------------------------------------------------------------
35077841947SLeila Ghaffari // libCEED functions
35177841947SLeila Ghaffari // -----------------------------------------------------------------------------
35277841947SLeila Ghaffari // Utility function to create local CEED restriction
353431cd09aSJames Wright PetscErrorCode CreateRestrictionFromPlex(Ceed ceed, DM dm, CeedInt height, DMLabel domain_label, CeedInt label_value, PetscInt dm_field,
354431cd09aSJames Wright                                          CeedElemRestriction *elem_restr);
35577841947SLeila Ghaffari 
356bb85d312SJames Wright PetscErrorCode DMPlexCeedElemRestrictionCreate(Ceed ceed, DM dm, DMLabel domain_label, PetscInt label_value, PetscInt height, PetscInt dm_field,
357bb85d312SJames Wright                                                CeedElemRestriction *restriction);
358bb85d312SJames Wright PetscErrorCode DMPlexCeedElemRestrictionCoordinateCreate(Ceed ceed, DM dm, DMLabel domain_label, PetscInt label_value, PetscInt height,
359bb85d312SJames Wright                                                          CeedElemRestriction *restriction);
360bb85d312SJames Wright PetscErrorCode DMPlexCeedElemRestrictionQDataCreate(Ceed ceed, DM dm, DMLabel domain_label, PetscInt label_value, PetscInt height,
361bb85d312SJames Wright                                                     PetscInt q_data_size, CeedElemRestriction *restriction);
362bb85d312SJames Wright PetscErrorCode DMPlexCeedElemRestrictionCollocatedCreate(Ceed ceed, DM dm, DMLabel domain_label, PetscInt label_value, PetscInt height,
363bb85d312SJames Wright                                                          PetscInt q_data_size, CeedElemRestriction *restriction);
36477841947SLeila Ghaffari 
3650814d5a7SKenneth E. Jansen PetscErrorCode CreateBasisFromPlex(Ceed ceed, DM dm, DMLabel domain_label, CeedInt label_value, CeedInt height, CeedInt dm_field, CeedBasis *basis);
3660814d5a7SKenneth E. Jansen 
36777841947SLeila Ghaffari // Utility function to create CEED Composite Operator for the entire domain
3682b730f8bSJeremy L Thompson PetscErrorCode CreateOperatorForDomain(Ceed ceed, DM dm, SimpleBC bc, CeedData ceed_data, Physics phys, CeedOperator op_apply_vol,
3692b730f8bSJeremy L Thompson                                        CeedOperator op_apply_ijacobian_vol, CeedInt height, CeedInt P_sur, CeedInt Q_sur, CeedInt q_data_size_sur,
3702b730f8bSJeremy L Thompson                                        CeedInt jac_data_size_sur, CeedOperator *op_apply, CeedOperator *op_apply_ijacobian);
37177841947SLeila Ghaffari 
3722b730f8bSJeremy L Thompson PetscErrorCode SetupLibceed(Ceed ceed, CeedData ceed_data, DM dm, User user, AppCtx app_ctx, ProblemData *problem, SimpleBC bc);
37377841947SLeila Ghaffari 
37477841947SLeila Ghaffari // -----------------------------------------------------------------------------
37577841947SLeila Ghaffari // Time-stepping functions
37677841947SLeila Ghaffari // -----------------------------------------------------------------------------
37704292f7dSJames Wright // Create KSP to solve the inverse mass operator for explicit time stepping schemes
378dfcf44b0SJames Wright PetscErrorCode CreateKSPMassOperator(User user, CeedData ceed_data);
37977841947SLeila Ghaffari 
38077841947SLeila Ghaffari // RHS (Explicit time-stepper) function setup
38177841947SLeila Ghaffari PetscErrorCode RHS_NS(TS ts, PetscReal t, Vec Q, Vec G, void *user_data);
38277841947SLeila Ghaffari 
38377841947SLeila Ghaffari // Implicit time-stepper function setup
3842b730f8bSJeremy L Thompson PetscErrorCode IFunction_NS(TS ts, PetscReal t, Vec Q, Vec Q_dot, Vec G, void *user_data);
38577841947SLeila Ghaffari 
38677841947SLeila Ghaffari // User provided TS Monitor
3872b730f8bSJeremy L Thompson PetscErrorCode TSMonitor_NS(TS ts, PetscInt step_no, PetscReal time, Vec Q, void *ctx);
38877841947SLeila Ghaffari 
38977841947SLeila Ghaffari // TS: Create, setup, and solve
3902b730f8bSJeremy L Thompson PetscErrorCode TSSolve_NS(DM dm, User user, AppCtx app_ctx, Physics phys, Vec *Q, PetscScalar *f_time, TS *ts);
39177841947SLeila Ghaffari 
392a0b9a424SJames Wright // Update Boundary Values when time has changed
393a0b9a424SJames Wright PetscErrorCode UpdateBoundaryValues(User user, Vec Q_loc, PetscReal t);
394a0b9a424SJames Wright 
39577841947SLeila Ghaffari // -----------------------------------------------------------------------------
39677841947SLeila Ghaffari // Setup DM
39777841947SLeila Ghaffari // -----------------------------------------------------------------------------
3981864f1c2SLeila Ghaffari // Create mesh
3992b730f8bSJeremy L Thompson PetscErrorCode CreateDM(MPI_Comm comm, ProblemData *problem, MatType, VecType, DM *dm);
40077841947SLeila Ghaffari 
40177841947SLeila Ghaffari // Set up DM
4020814d5a7SKenneth E. Jansen PetscErrorCode SetUpDM(DM dm, ProblemData *problem, PetscInt degree, PetscInt q_extra, SimpleBC bc, Physics phys);
403d68a66c4SJames Wright PetscErrorCode DMSetupByOrderBegin_FEM(PetscBool setup_faces, PetscBool setup_coords, PetscInt degree, PetscInt coord_order, PetscInt q_extra,
40485df0564SJames Wright                                        PetscInt num_fields, const PetscInt *field_sizes, DM dm);
405d68a66c4SJames Wright PetscErrorCode DMSetupByOrderEnd_FEM(PetscBool setup_coords, DM dm);
406d68a66c4SJames Wright PetscErrorCode DMSetupByOrder_FEM(PetscBool setup_faces, PetscBool setup_coords, PetscInt degree, PetscInt coord_order, PetscInt q_extra,
40785df0564SJames Wright                                   PetscInt num_fields, const PetscInt *field_sizes, DM dm);
40877841947SLeila Ghaffari 
40977841947SLeila Ghaffari // Refine DM for high-order viz
4102b730f8bSJeremy L Thompson PetscErrorCode VizRefineDM(DM dm, User user, ProblemData *problem, SimpleBC bc, Physics phys);
41177841947SLeila Ghaffari 
41277841947SLeila Ghaffari // -----------------------------------------------------------------------------
41377841947SLeila Ghaffari // Process command line options
41477841947SLeila Ghaffari // -----------------------------------------------------------------------------
41577841947SLeila Ghaffari // Register problems to be available on the command line
41677841947SLeila Ghaffari PetscErrorCode RegisterProblems_NS(AppCtx app_ctx);
41777841947SLeila Ghaffari 
41877841947SLeila Ghaffari // Process general command line options
4192b730f8bSJeremy L Thompson PetscErrorCode ProcessCommandLineOptions(MPI_Comm comm, AppCtx app_ctx, SimpleBC bc);
42077841947SLeila Ghaffari 
42177841947SLeila Ghaffari // -----------------------------------------------------------------------------
42277841947SLeila Ghaffari // Miscellaneous utility functions
42377841947SLeila Ghaffari // -----------------------------------------------------------------------------
4242b730f8bSJeremy L Thompson PetscErrorCode ICs_FixMultiplicity(DM dm, CeedData ceed_data, User user, Vec Q_loc, Vec Q, CeedScalar time);
42577841947SLeila Ghaffari 
4263c9e7ad1SJames Wright PetscErrorCode DMPlexInsertBoundaryValues_FromICs(DM dm, PetscBool insert_essential, Vec Q_loc, PetscReal time, Vec face_geom_FVM, Vec cell_geom_FVM,
4272b730f8bSJeremy L Thompson                                                   Vec grad_FVM);
42877841947SLeila Ghaffari 
42977841947SLeila Ghaffari // Compare reference solution values with current test run for CI
4303c9e7ad1SJames Wright PetscErrorCode RegressionTest(AppCtx app_ctx, Vec Q);
43177841947SLeila Ghaffari 
43277841947SLeila Ghaffari // Get error for problems with exact solutions
4333c9e7ad1SJames Wright PetscErrorCode PrintError(CeedData ceed_data, DM dm, User user, Vec Q, PetscScalar final_time);
43477841947SLeila Ghaffari 
43577841947SLeila Ghaffari // Post-processing
4363c9e7ad1SJames Wright PetscErrorCode PostProcess(TS ts, CeedData ceed_data, DM dm, ProblemData *problem, User user, Vec Q, PetscScalar final_time);
43777841947SLeila Ghaffari 
43877841947SLeila Ghaffari // -- Gather initial Q values in case of continuation of simulation
43977841947SLeila Ghaffari PetscErrorCode SetupICsFromBinary(MPI_Comm comm, AppCtx app_ctx, Vec Q);
44077841947SLeila Ghaffari 
44177841947SLeila Ghaffari // Record boundary values from initial condition
4423c9e7ad1SJames Wright PetscErrorCode SetBCsFromICs(DM dm, Vec Q, Vec Q_loc);
44377841947SLeila Ghaffari 
4444de8550aSJed Brown // Versioning token for binary checkpoints
4450de6a49fSJames Wright extern const PetscInt32 FLUIDS_FILE_TOKEN;  // for backwards compatibility
4460de6a49fSJames Wright extern const PetscInt32 FLUIDS_FILE_TOKEN_32;
4470de6a49fSJames Wright extern const PetscInt32 FLUIDS_FILE_TOKEN_64;
4484de8550aSJed Brown 
449ef080ff9SJames Wright // Create appropriate mass qfunction based on number of components N
450ef080ff9SJames Wright PetscErrorCode CreateMassQFunction(Ceed ceed, CeedInt N, CeedInt q_data_size, CeedQFunction *qf);
451ef080ff9SJames Wright 
452999ff5c7SJames Wright PetscErrorCode NodalProjectionDataDestroy(NodalProjectionData context);
453999ff5c7SJames Wright 
454cbef7084SJames Wright PetscErrorCode PhastaDatFileOpen(const MPI_Comm comm, const char path[PETSC_MAX_PATH_LEN], const PetscInt char_array_len, PetscInt dims[2],
4558b892a05SJames Wright                                  FILE **fp);
4568b892a05SJames Wright 
457cbef7084SJames Wright PetscErrorCode PhastaDatFileGetNRows(const MPI_Comm comm, const char path[PETSC_MAX_PATH_LEN], PetscInt *nrows);
4588b892a05SJames Wright 
459cbef7084SJames Wright PetscErrorCode PhastaDatFileReadToArrayReal(const MPI_Comm comm, const char path[PETSC_MAX_PATH_LEN], PetscReal array[]);
4604cc9442bSJames Wright 
461457e73b2SJames Wright PetscErrorCode IntArrayC2P(PetscInt num_entries, CeedInt **array_ceed, PetscInt **array_petsc);
462457e73b2SJames Wright PetscErrorCode IntArrayP2C(PetscInt num_entries, PetscInt **array_petsc, CeedInt **array_ceed);
463457e73b2SJames Wright 
4648b892a05SJames Wright // -----------------------------------------------------------------------------
4658b892a05SJames Wright // Turbulence Statistics Collection Functions
4668b892a05SJames Wright // -----------------------------------------------------------------------------
4678b892a05SJames Wright 
468f5452247SJames Wright PetscErrorCode TurbulenceStatisticsSetup(Ceed ceed, User user, CeedData ceed_data, ProblemData *problem);
469f5452247SJames Wright PetscErrorCode TSMonitor_TurbulenceStatistics(TS ts, PetscInt steps, PetscReal solution_time, Vec Q, void *ctx);
470f5452247SJames Wright PetscErrorCode TurbulenceStatisticsDestroy(User user, CeedData ceed_data);
471fd170fd0SJames Wright 
47277841947SLeila Ghaffari // -----------------------------------------------------------------------------
4734cc9442bSJames Wright // Data-Driven Subgrid Stress (DD-SGS) Modeling Functions
4744cc9442bSJames Wright // -----------------------------------------------------------------------------
4754cc9442bSJames Wright 
4768f5ab23bSJames Wright PetscErrorCode SgsDDSetup(Ceed ceed, User user, CeedData ceed_data, ProblemData *problem);
477cbef7084SJames Wright PetscErrorCode SgsDDDataDestroy(SgsDDData sgs_dd_data);
4788f5ab23bSJames Wright PetscErrorCode SgsDDApplyIFunction(User user, const Vec Q_loc, Vec G_loc);
4797618d7b7SJames Wright PetscErrorCode VelocityGradientProjectionSetup(Ceed ceed, User user, CeedData ceed_data, ProblemData *problem, StateVariable state_var_input,
4807618d7b7SJames Wright                                                CeedElemRestriction elem_restr_input, CeedBasis basis_input, NodalProjectionData *pgrad_velo_proj);
4817618d7b7SJames Wright PetscErrorCode VelocityGradientProjectionApply(NodalProjectionData grad_velo_proj, Vec Q_loc, Vec VelocityGradient);
482052409adSJames Wright PetscErrorCode GridAnisotropyTensorProjectionSetupApply(Ceed ceed, User user, CeedData ceed_data, CeedElemRestriction *elem_restr_grid_aniso,
483052409adSJames Wright                                                         CeedVector *grid_aniso_vector);
484900aec75SJames Wright PetscErrorCode GridAnisotropyTensorCalculateCollocatedVector(Ceed ceed, User user, CeedData ceed_data, CeedElemRestriction *elem_restr_grid_aniso,
485900aec75SJames Wright                                                              CeedVector *aniso_colloc_ceed, PetscInt *num_comp_aniso);
4864cc9442bSJames Wright 
4874cc9442bSJames Wright // -----------------------------------------------------------------------------
488dada6cc0SJames Wright // Boundary Condition Related Functions
489dada6cc0SJames Wright // -----------------------------------------------------------------------------
490dada6cc0SJames Wright 
491dada6cc0SJames Wright // Setup StrongBCs that use QFunctions
49266170c20SJames Wright PetscErrorCode SetupStrongBC_Ceed(Ceed ceed, CeedData ceed_data, DM dm, User user, ProblemData *problem, SimpleBC bc);
493b7c563b6SJeremy L Thompson 
494d310b3d3SAdeleke O. Bankole PetscErrorCode FreestreamBCSetup(ProblemData *problem, DM dm, void *ctx, NewtonianIdealGasContext newtonian_ig_ctx, const StatePrimitive *reference);
4958a94a473SJed Brown PetscErrorCode OutflowBCSetup(ProblemData *problem, DM dm, void *ctx, NewtonianIdealGasContext newtonian_ig_ctx, const StatePrimitive *reference);
4969f844368SJames Wright PetscErrorCode SlipBCSetup(ProblemData *problem, DM dm, void *ctx, CeedQFunctionContext newtonian_ig_qfctx);
4972b730f8bSJeremy L Thompson 
4984e9802d1SJames Wright // -----------------------------------------------------------------------------
4994e9802d1SJames Wright // Differential Filtering Functions
5004e9802d1SJames Wright // -----------------------------------------------------------------------------
5014e9802d1SJames Wright 
5024e9802d1SJames Wright PetscErrorCode DifferentialFilterSetup(Ceed ceed, User user, CeedData ceed_data, ProblemData *problem);
5034e9802d1SJames Wright PetscErrorCode DifferentialFilterDataDestroy(DiffFilterData diff_filter);
5044e9802d1SJames Wright PetscErrorCode TSMonitor_DifferentialFilter(TS ts, PetscInt steps, PetscReal solution_time, Vec Q, void *ctx);
5054e9802d1SJames Wright PetscErrorCode DifferentialFilterApply(User user, const PetscReal solution_time, const Vec Q, Vec Filtered_Solution);
506cbef7084SJames Wright PetscErrorCode DifferentialFilterMmsICSetup(ProblemData *problem);
5074e9802d1SJames Wright 
5088146534cSJames Wright // -----------------------------------------------------------------------------
5098146534cSJames Wright // SGS Data-Driven Training via SmartSim
5108146534cSJames Wright // -----------------------------------------------------------------------------
5118146534cSJames Wright PetscErrorCode SmartSimSetup(User user);
512b306c3f1SJames Wright PetscErrorCode SmartSimDataDestroy(SmartSimData smartsim);
513ee3b213aSJames Wright PetscErrorCode SGS_DD_TrainingSetup(Ceed ceed, User user, CeedData ceed_data, ProblemData *problem);
514ee3b213aSJames Wright PetscErrorCode TSMonitor_SGS_DD_Training(TS ts, PetscInt step_num, PetscReal solution_time, Vec Q, void *ctx);
5151a7db67cSJames Wright PetscErrorCode TSPostStep_SGS_DD_Training(TS ts);
516ee3b213aSJames Wright PetscErrorCode SGS_DD_TrainingDataDestroy(SGS_DD_TrainingData sgs_dd_train);
5178146534cSJames Wright 
518b7c563b6SJeremy L Thompson #endif  // libceed_fluids_examples_navier_stokes_h
519