libMesh
Loading...
Searching...
No Matches
Functions
vector_fe_ex9.C File Reference

Go to the source code of this file.

Functions

int main (int argc, char **argv)
 

Function Documentation

◆ main()

int main ( int  argc,
char **  argv 
)

Definition at line 72 of file vector_fe_ex9.C.

73{
74 // Initialize libMesh.
75 LibMeshInit init(argc, argv);
76
77 // This example requires PETSc
78 libmesh_example_requires(libMesh::default_solver_package() == PETSC_SOLVERS,
79 "--enable-petsc");
80
81 // Parse the input file.
82 GetPot infile("vector_fe_ex9.in");
83
84 // But allow the command line to override it.
85 infile.parse_command_line(argc, argv);
86
87 // Read in parameters from the command line and the input file.
88 const unsigned int dimension = 2;
89 const unsigned int grid_size = infile("grid_size", 2);
90 const bool mms = infile("mms", true);
91 const Real nu = infile("nu", 1.);
92 const bool cavity = infile("cavity", false);
93
94 // Skip higher-dimensional examples on a lower-dimensional libMesh build.
95 libmesh_example_requires(dimension <= LIBMESH_DIM, dimension << "D support");
96
97 // We only support static condensation calculations with Eigen
98#if !defined(LIBMESH_HAVE_EIGEN_DENSE)
99 if (libMesh::on_command_line("--HDG-static-condensation"))
100 libmesh_example_requires(false, "--enable-eigen");
101#endif
102
103 // Create a mesh, with dimension to be overridden later, distributed
104 // across the default MPI communicator.
105 Mesh mesh(init.comm());
106
107 // Use the MeshTools::Generation mesh generator to create a uniform
108 // grid on the cube [-1,1]^D. To accomodate first order side hierarchics, we must
109 // use TRI6/7 elements
110 const std::string elem_str = infile("element_type", std::string("TRI6"));
111
112 libmesh_error_msg_if(elem_str != "TRI6" && elem_str != "TRI7",
113 "You selected "
114 << elem_str
115 << " but this example must be run with TRI6, TRI7, QUAD8, or QUAD9 in 2d"
116 << " or with TET14, or HEX27 in 3d.");
117
118 if (mms && !cavity)
120 mesh, grid_size, grid_size, 0., 2., -1, 1., Utility::string_to_enum<ElemType>(elem_str));
121 else if (cavity)
123 mesh, grid_size, grid_size, -1, 1, -1, 1., Utility::string_to_enum<ElemType>(elem_str));
124 else
126 5 * grid_size,
127 grid_size,
128 0.,
129 10.,
130 -1,
131 1.,
132 Utility::string_to_enum<ElemType>(elem_str));
134
135 // Create an equation systems object.
136 EquationSystems equation_systems(mesh);
137
138 // Declare the system "Mixed" and its variables.
139 auto & system = equation_systems.add_system<NonlinearImplicitSystem>("HDG");
140
141 // Adds the velocity variables and their gradients
142 system.add_variable("qu", FIRST, L2_LAGRANGE_VEC);
143 system.add_variable("qv", FIRST, L2_LAGRANGE_VEC);
144 system.add_variable("vel_x", FIRST, L2_LAGRANGE);
145 system.add_variable("vel_y", FIRST, L2_LAGRANGE);
146
147 // Add our Lagrange multiplier to the implicit system
148 system.add_variable("lm_u", FIRST, SIDE_HIERARCHIC);
149 system.add_variable("lm_v", FIRST, SIDE_HIERARCHIC);
150 const auto p_num = system.add_variable("pressure", FIRST, L2_LAGRANGE);
151 if (cavity)
152 system.add_variable("global_lm", FIRST, SCALAR);
153
154 const FEType vector_fe_type(FIRST, L2_LAGRANGE_VEC);
155 const FEType scalar_fe_type(FIRST, L2_LAGRANGE);
156 const FEType lm_fe_type(FIRST, SIDE_HIERARCHIC);
157
158 StaticCondensation * sc = nullptr;
159 if (system.has_static_condensation())
160 {
161 sc = &system.get_static_condensation();
162 sc->dont_condense_vars({p_num});
163 }
164
165 HDGProblem hdg(nu, cavity);
166 hdg.mesh = &mesh;
167 hdg.system = &system;
168 hdg.dof_map = &system.get_dof_map();
169 hdg.vector_fe = FEVectorBase::build(dimension, vector_fe_type);
170 hdg.scalar_fe = FEBase::build(dimension, scalar_fe_type);
171 hdg.qrule = QBase::build(QGAUSS, dimension, FIFTH);
172 hdg.qface = QBase::build(QGAUSS, dimension - 1, FIFTH);
173 hdg.vector_fe_face = FEVectorBase::build(dimension, vector_fe_type);
174 hdg.scalar_fe_face = FEBase::build(dimension, scalar_fe_type);
175 hdg.lm_fe_face = FEBase::build(dimension, lm_fe_type);
176 hdg.mms = mms;
177 hdg.sc = sc;
178
179 system.nonlinear_solver->residual_object = &hdg;
180 system.nonlinear_solver->jacobian_object = &hdg;
181
182 hdg.init();
183
184 // Initialize the data structures for the equation system.
185 equation_systems.init();
186 equation_systems.print_info();
187
188 // Solve the implicit system for the Lagrange multiplier
189 system.solve();
190
191 if (mms)
192 {
193 //
194 // Now we will compute our solution approximation errors
195 //
196
197 equation_systems.parameters.set<const ExactSoln *>("vel_x_exact_sol") = &hdg.u_true_soln;
198 equation_systems.parameters.set<const ExactSoln *>("vel_y_exact_sol") = &hdg.v_true_soln;
199 equation_systems.parameters.set<const ExactSoln *>("pressure_exact_sol") = &hdg.p_true_soln;
200 ExactSolution exact_sol(equation_systems);
201 exact_sol.attach_exact_value(&compute_error);
202
203 // Compute the error.
204 exact_sol.compute_error("HDG", "vel_x");
205 exact_sol.compute_error("HDG", "vel_y");
206 exact_sol.compute_error("HDG", "pressure");
207
208 // Print out the error values.
209 libMesh::out << "L2 error for u is: " << exact_sol.l2_error("HDG", "vel_x") << std::endl;
210 libMesh::out << "L2 error for v is: " << exact_sol.l2_error("HDG", "vel_y") << std::endl;
211 libMesh::out << "L2 error for pressure is: " << exact_sol.l2_error("HDG", "pressure")
212 << std::endl;
213 }
214
215#ifdef LIBMESH_HAVE_EXODUS_API
216
217 // We write the file in the ExodusII format.
218 ExodusII_IO(mesh).write_equation_systems("out.e", equation_systems);
219
220#endif // #ifdef LIBMESH_HAVE_EXODUS_API
221
222 // All done.
223 return 0;
224}
This is the EquationSystems class.
This class handles the computation of the L2 and/or H1 error for the Systems in the EquationSystems o...
The ExodusII_IO class implements reading meshes in the ExodusII file format from Sandia National Labs...
Definition exodusII_io.h:53
virtual void write_equation_systems(const std::string &fname, const EquationSystems &es, const std::set< std::string > *system_names=nullptr) override
Writes out the solution for no specific time or timestep.
static std::unique_ptr< FEGenericBase > build(const unsigned int dim, const FEType &type)
Builds a specific finite element type.
class FEType hides (possibly multiple) FEFamily and approximation orders, thereby enabling specialize...
Definition fe_type.h:197
The LibMeshInit class, when constructed, initializes the dependent libraries (e.g.
Definition libmesh.h:92
void print_info(std::ostream &os=libMesh::out, const unsigned int verbosity=0, const bool global=true) const
Prints relevant information about the mesh.
Definition mesh_base.C:1755
The Mesh class is a thin wrapper, around the ReplicatedMesh class by default.
Definition mesh.h:51
Manages consistently variables, degrees of freedom, coefficient vectors, matrices and non-linear solv...
static std::unique_ptr< QBase > build(std::string_view name, const unsigned int dim, const Order order=INVALID_ORDER)
Builds a specific quadrature rule based on the name string.
virtual void init(const numeric_index_type m, const numeric_index_type n, const numeric_index_type m_l, const numeric_index_type n_l, const numeric_index_type nnz=30, const numeric_index_type noz=10, const numeric_index_type blocksize=1) override
Initialize SparseMatrix with the specified sizes.
void dont_condense_vars(const std::unordered_set< unsigned int > &vars)
Add vars to the list of variables not to condense.
unsigned int add_variable(std::string_view var, const FEType &type, const std::set< subdomain_id_type > *const active_subdomains=nullptr)
Adds the variable var to the list of variables for this system.
Definition system.C:1344
MeshBase & mesh
void build_square(UnstructuredMesh &mesh, const unsigned int nx, const unsigned int ny, const Real xmin=0., const Real xmax=1., const Real ymin=0., const Real ymax=1., const ElemType type=INVALID_ELEM, const bool gauss_lobatto_grid=false)
A specialized build_cube() for 2D meshes.
void init(triangulateio &t)
Initializes the fields of t to nullptr/0 as necessary.
SolverPackage default_solver_package()
Definition libmesh.C:1064
OStreamProxy out
Number compute_error(const Point &p, const Parameters &params, const std::string &, const std::string &unknown_name)
Definition exact_soln.h:36
bool on_command_line(std::string arg)
Definition libmesh.C:934
DIE A HORRIBLE DEATH HERE typedef LIBMESH_DEFAULT_SCALAR_TYPE Real

References libMesh::EquationSystems::add_system(), libMesh::System::add_variable(), libMesh::ExactSolution::attach_exact_value(), libMesh::FEGenericBase< OutputType >::build(), libMesh::QBase::build(), libMesh::MeshTools::Generation::build_square(), libMesh::compute_error(), libMesh::ExactSolution::compute_error(), libMesh::default_solver_package(), libMesh::HDGProblem::dof_map, libMesh::StaticCondensation::dont_condense_vars(), libMesh::FIFTH, libMesh::FIRST, libMesh::HDGProblem::init(), libMesh::EquationSystems::init(), libMesh::ExactSolution::l2_error(), libMesh::L2_LAGRANGE, libMesh::L2_LAGRANGE_VEC, libMesh::HDGProblem::lm_fe_face, main(), libMesh::HDGProblem::mesh, mesh, libMesh::HDGProblem::mms, libMesh::on_command_line(), libMesh::out, libMesh::HDGProblem::p_true_soln, libMesh::EquationSystems::parameters, libMesh::PETSC_SOLVERS, libMesh::EquationSystems::print_info(), libMesh::MeshBase::print_info(), libMesh::HDGProblem::qface, libMesh::QGAUSS, libMesh::HDGProblem::qrule, libMesh::Real, libMesh::HDGProblem::sc, libMesh::SCALAR, libMesh::HDGProblem::scalar_fe, libMesh::HDGProblem::scalar_fe_face, libMesh::Parameters::set(), libMesh::SIDE_HIERARCHIC, libMesh::HDGProblem::system, libMesh::HDGProblem::u_true_soln, libMesh::HDGProblem::v_true_soln, libMesh::HDGProblem::vector_fe, libMesh::HDGProblem::vector_fe_face, and libMesh::ExodusII_IO::write_equation_systems().