xref: /libCEED/examples/fluids/problems/shocktube.c (revision d4cc18453651bd0f94c1a2e078b2646a92dafdcc)
1*9ba83ac0SJeremy L Thompson // Copyright (c) 2017-2026, Lawrence Livermore National Security, LLC and other CEED contributors.
2ea61e9acSJeremy L Thompson // All Rights Reserved. See the top-level LICENSE and NOTICE files for details.
3019b7682STimothy Aiken //
4ea61e9acSJeremy L Thompson // SPDX-License-Identifier: BSD-2-Clause
5019b7682STimothy Aiken //
6ea61e9acSJeremy L Thompson // This file is part of CEED:  http://github.com/ceed
7019b7682STimothy Aiken 
8019b7682STimothy Aiken /// @file
9019b7682STimothy Aiken /// Utility functions for setting up SHOCKTUBE
10019b7682STimothy Aiken 
11019b7682STimothy Aiken #include "../qfunctions/shocktube.h"
12019b7682STimothy Aiken 
1349aac155SJeremy L Thompson #include <ceed.h>
1449aac155SJeremy L Thompson #include <petscdm.h>
1549aac155SJeremy L Thompson 
162b730f8bSJeremy L Thompson #include "../navierstokes.h"
176ef2784eSLeila Ghaffari 
NS_SHOCKTUBE(ProblemData problem,DM dm,void * ctx,SimpleBC bc)18731c13d7SJames Wright PetscErrorCode NS_SHOCKTUBE(ProblemData problem, DM dm, void *ctx, SimpleBC bc) {
1997baf651SJames Wright   SetupContextShock    setup_context;
20019b7682STimothy Aiken   User                 user = *(User *)ctx;
21a424bcd0SJames Wright   MPI_Comm             comm = user->comm;
22a424bcd0SJames Wright   Ceed                 ceed = user->ceed;
23019b7682STimothy Aiken   PetscBool            implicit;
24019b7682STimothy Aiken   PetscBool            yzb;
25019b7682STimothy Aiken   PetscInt             stab;
26841e4c73SJed Brown   ShockTubeContext     shocktube_ctx;
27841e4c73SJed Brown   CeedQFunctionContext shocktube_context;
28019b7682STimothy Aiken 
29841e4c73SJed Brown   PetscFunctionBeginUser;
302b730f8bSJeremy L Thompson   PetscCall(PetscCalloc1(1, &setup_context));
312b730f8bSJeremy L Thompson   PetscCall(PetscCalloc1(1, &shocktube_ctx));
32019b7682STimothy Aiken 
33019b7682STimothy Aiken   // ------------------------------------------------------
34019b7682STimothy Aiken   //               SET UP SHOCKTUBE
35019b7682STimothy Aiken   // ------------------------------------------------------
36019b7682STimothy Aiken   problem->dim                               = 3;
3791e5af17SJed Brown   problem->ics.qfunction                     = ICsShockTube;
3891e5af17SJed Brown   problem->ics.qfunction_loc                 = ICsShockTube_loc;
3991e5af17SJed Brown   problem->apply_vol_rhs.qfunction           = EulerShockTube;
4091e5af17SJed Brown   problem->apply_vol_rhs.qfunction_loc       = EulerShockTube_loc;
4191e5af17SJed Brown   problem->apply_vol_ifunction.qfunction     = NULL;
4291e5af17SJed Brown   problem->apply_vol_ifunction.qfunction_loc = NULL;
43de327db4SJames Wright   problem->compute_exact_solution_error      = PETSC_FALSE;
44019b7682STimothy Aiken   problem->print_info                        = PRINT_SHOCKTUBE;
45019b7682STimothy Aiken 
46019b7682STimothy Aiken   // ------------------------------------------------------
47019b7682STimothy Aiken   //             Create the libCEED context
48019b7682STimothy Aiken   // ------------------------------------------------------
49019b7682STimothy Aiken   // Driver section initial conditions
50019b7682STimothy Aiken   CeedScalar P_high   = 1.0;  // Pa
51019b7682STimothy Aiken   CeedScalar rho_high = 1.0;  // kg/m^3
52019b7682STimothy Aiken   // Driven section initial conditions
53019b7682STimothy Aiken   CeedScalar P_low   = 0.1;    // Pa
54019b7682STimothy Aiken   CeedScalar rho_low = 0.125;  // kg/m^3
55019b7682STimothy Aiken   // Stabilization parameter
56019b7682STimothy Aiken   CeedScalar c_tau = 0.5;  // -, based on Hughes et al (2010)
57019b7682STimothy Aiken   // Tuning parameters for the YZB shock capturing
58019b7682STimothy Aiken   CeedScalar Cyzb = 0.1;  // -, used in approximation of (Na),x
59019b7682STimothy Aiken   CeedScalar Byzb = 2.0;  // -, 1 for smooth shocks
60019b7682STimothy Aiken   //                                          2 for sharp shocks
61019b7682STimothy Aiken   PetscReal domain_min[3], domain_max[3], domain_size[3];
622b730f8bSJeremy L Thompson   PetscCall(DMGetBoundingBox(dm, domain_min, domain_max));
63ba6664aeSJames Wright   for (PetscInt i = 0; i < 3; i++) domain_size[i] = domain_max[i] - domain_min[i];
64019b7682STimothy Aiken 
65019b7682STimothy Aiken   // ------------------------------------------------------
66019b7682STimothy Aiken   //             Create the PETSc context
67019b7682STimothy Aiken   // ------------------------------------------------------
68019b7682STimothy Aiken   PetscScalar meter  = 1e-2;  // 1 meter in scaled length units
69019b7682STimothy Aiken   PetscScalar second = 1e-2;  // 1 second in scaled time units
70019b7682STimothy Aiken 
71019b7682STimothy Aiken   // ------------------------------------------------------
72019b7682STimothy Aiken   //              Command line Options
73019b7682STimothy Aiken   // ------------------------------------------------------
74019b7682STimothy Aiken   PetscOptionsBegin(comm, NULL, "Options for SHOCKTUBE problem", NULL);
75019b7682STimothy Aiken 
76019b7682STimothy Aiken   // -- Numerical formulation options
772b730f8bSJeremy L Thompson   PetscCall(PetscOptionsBool("-implicit", "Use implicit (IFunction) formulation", NULL, implicit = PETSC_FALSE, &implicit, NULL));
782b730f8bSJeremy L Thompson   PetscCall(PetscOptionsEnum("-stab", "Stabilization method", NULL, StabilizationTypes, (PetscEnum)(stab = STAB_NONE), (PetscEnum *)&stab, NULL));
792b730f8bSJeremy L Thompson   PetscCall(PetscOptionsScalar("-c_tau", "Stabilization constant", NULL, c_tau, &c_tau, NULL));
802b730f8bSJeremy L Thompson   PetscCall(PetscOptionsBool("-yzb", "Use YZB discontinuity capturing", NULL, yzb = PETSC_FALSE, &yzb, NULL));
81019b7682STimothy Aiken 
82019b7682STimothy Aiken   // -- Units
832b730f8bSJeremy L Thompson   PetscCall(PetscOptionsScalar("-units_meter", "1 meter in scaled length units", NULL, meter, &meter, NULL));
84019b7682STimothy Aiken   meter = fabs(meter);
852b730f8bSJeremy L Thompson   PetscCall(PetscOptionsScalar("-units_second", "1 second in scaled time units", NULL, second, &second, NULL));
86019b7682STimothy Aiken   second = fabs(second);
87019b7682STimothy Aiken 
88019b7682STimothy Aiken   // -- Warnings
89019b7682STimothy Aiken   if (stab == STAB_SUPG) {
902b730f8bSJeremy L Thompson     PetscCall(PetscPrintf(comm, "Warning! -stab supg not implemented for the shocktube problem. \n"));
91019b7682STimothy Aiken   }
92019b7682STimothy Aiken   if (yzb && implicit) {
932b730f8bSJeremy L Thompson     PetscCall(PetscPrintf(comm, "Warning! -yzb only implemented for explicit timestepping. \n"));
94019b7682STimothy Aiken   }
95019b7682STimothy Aiken 
96019b7682STimothy Aiken   PetscOptionsEnd();
97019b7682STimothy Aiken 
98019b7682STimothy Aiken   // ------------------------------------------------------
99019b7682STimothy Aiken   //           Set up the PETSc context
100019b7682STimothy Aiken   // ------------------------------------------------------
101019b7682STimothy Aiken   user->units->meter  = meter;
102019b7682STimothy Aiken   user->units->second = second;
103019b7682STimothy Aiken 
104019b7682STimothy Aiken   // ------------------------------------------------------
105019b7682STimothy Aiken   //           Set up the libCEED context
106019b7682STimothy Aiken   // ------------------------------------------------------
107019b7682STimothy Aiken   // -- Scale variables to desired units
108ba6664aeSJames Wright   for (PetscInt i = 0; i < 3; i++) {
109019b7682STimothy Aiken     domain_size[i] *= meter;
110019b7682STimothy Aiken     domain_min[i] *= meter;
111019b7682STimothy Aiken   }
112019b7682STimothy Aiken   problem->dm_scale    = meter;
113019b7682STimothy Aiken   CeedScalar mid_point = 0.5 * (domain_size[0] + domain_min[0]);
114019b7682STimothy Aiken 
115019b7682STimothy Aiken   // -- Setup Context
116019b7682STimothy Aiken   setup_context->mid_point = mid_point;
117019b7682STimothy Aiken   setup_context->time      = 0.0;
118019b7682STimothy Aiken   setup_context->P_high    = P_high;
119019b7682STimothy Aiken   setup_context->rho_high  = rho_high;
120019b7682STimothy Aiken   setup_context->P_low     = P_low;
121019b7682STimothy Aiken   setup_context->rho_low   = rho_low;
122019b7682STimothy Aiken 
123019b7682STimothy Aiken   // -- QFunction Context
124019b7682STimothy Aiken   user->phys->implicit         = implicit;
125841e4c73SJed Brown   shocktube_ctx->implicit      = implicit;
126841e4c73SJed Brown   shocktube_ctx->stabilization = stab;
127841e4c73SJed Brown   shocktube_ctx->yzb           = yzb;
128841e4c73SJed Brown   shocktube_ctx->Cyzb          = Cyzb;
129841e4c73SJed Brown   shocktube_ctx->Byzb          = Byzb;
130841e4c73SJed Brown   shocktube_ctx->c_tau         = c_tau;
131019b7682STimothy Aiken 
132a424bcd0SJames Wright   PetscCallCeed(ceed, CeedQFunctionContextCreate(user->ceed, &problem->ics.qfunction_context));
133a424bcd0SJames Wright   PetscCallCeed(ceed,
134a424bcd0SJames Wright                 CeedQFunctionContextSetData(problem->ics.qfunction_context, CEED_MEM_HOST, CEED_USE_POINTER, sizeof(*setup_context), setup_context));
135a424bcd0SJames Wright   PetscCallCeed(ceed, CeedQFunctionContextSetDataDestroy(problem->ics.qfunction_context, CEED_MEM_HOST, FreeContextPetsc));
136019b7682STimothy Aiken 
137a424bcd0SJames Wright   PetscCallCeed(ceed, CeedQFunctionContextCreate(user->ceed, &shocktube_context));
138a424bcd0SJames Wright   PetscCallCeed(ceed, CeedQFunctionContextSetData(shocktube_context, CEED_MEM_HOST, CEED_USE_POINTER, sizeof(*shocktube_ctx), shocktube_ctx));
139a424bcd0SJames Wright   PetscCallCeed(ceed, CeedQFunctionContextSetDataDestroy(shocktube_context, CEED_MEM_HOST, FreeContextPetsc));
140841e4c73SJed Brown   problem->apply_vol_rhs.qfunction_context = shocktube_context;
141ee4ca9cbSJames Wright   PetscFunctionReturn(PETSC_SUCCESS);
142019b7682STimothy Aiken }
143019b7682STimothy Aiken 
PRINT_SHOCKTUBE(User user,ProblemData problem,AppCtx app_ctx)144731c13d7SJames Wright PetscErrorCode PRINT_SHOCKTUBE(User user, ProblemData problem, AppCtx app_ctx) {
145367c849eSJames Wright   MPI_Comm comm = user->comm;
146019b7682STimothy Aiken 
147f17d818dSJames Wright   PetscFunctionBeginUser;
1482b730f8bSJeremy L Thompson   PetscCall(PetscPrintf(comm,
149019b7682STimothy Aiken                         "  Problem:\n"
150019b7682STimothy Aiken                         "    Problem Name                       : %s\n",
1512b730f8bSJeremy L Thompson                         app_ctx->problem_name));
152ee4ca9cbSJames Wright   PetscFunctionReturn(PETSC_SUCCESS);
153019b7682STimothy Aiken }
154