libMesh
Loading...
Searching...
No Matches
systems_of_equations_ex4.C
Go to the documentation of this file.
1// The libMesh Finite Element Library.
2// Copyright (C) 2002-2026 Benjamin S. Kirk, John W. Peterson, Roy H. Stogner
3
4// This library is free software; you can redistribute it and/or
5// modify it under the terms of the GNU Lesser General Public
6// License as published by the Free Software Foundation; either
7// version 2.1 of the License, or (at your option) any later version.
8
9// This library is distributed in the hope that it will be useful,
10// but WITHOUT ANY WARRANTY; without even the implied warranty of
11// MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU
12// Lesser General Public License for more details.
13
14// You should have received a copy of the GNU Lesser General Public
15// License along with this library; if not, write to the Free Software
16// Foundation, Inc., 59 Temple Place, Suite 330, Boston, MA 02111-1307 USA
17
18
19
20// <h1> Systems Example 4 - Linear Elastic Cantilever </h1>
21// \author David Knezevic
22// \date 2012
23//
24// In this example we model a homogeneous isotropic cantilever
25// using the equations of linear elasticity. We set the Poisson ratio to
26// \nu = 0.3 and clamp the left boundary and apply a vertical load at the
27// right boundary.
28
29
30// C++ include files that we need
31#include <iostream>
32#include <algorithm>
33#include <math.h>
34
35// libMesh includes
36#include "libmesh/libmesh.h"
37#include "libmesh/mesh.h"
38#include "libmesh/mesh_generation.h"
39#include "libmesh/exodusII_io.h"
40#include "libmesh/gnuplot_io.h"
41#include "libmesh/linear_implicit_system.h"
42#include "libmesh/equation_systems.h"
43#include "libmesh/fe.h"
44#include "libmesh/quadrature_gauss.h"
45#include "libmesh/dof_map.h"
46#include "libmesh/sparse_matrix.h"
47#include "libmesh/numeric_vector.h"
48#include "libmesh/dense_matrix.h"
49#include "libmesh/dense_submatrix.h"
50#include "libmesh/dense_vector.h"
51#include "libmesh/dense_subvector.h"
52#include "libmesh/perf_log.h"
53#include "libmesh/elem.h"
54#include "libmesh/boundary_info.h"
55#include "libmesh/zero_function.h"
56#include "libmesh/dirichlet_boundaries.h"
57#include "libmesh/string_to_enum.h"
58#include "libmesh/getpot.h"
59#include "libmesh/enum_solver_package.h"
60
61// Bring in everything from the libMesh namespace
62using namespace libMesh;
63
64// Matrix and right-hand side assemble
66 const std::string & system_name);
67
68// Define the elasticity tensor, which is a fourth-order tensor
69// i.e. it has four indices i, j, k, l
70Real eval_elasticity_tensor(unsigned int i,
71 unsigned int j,
72 unsigned int k,
73 unsigned int l);
74
75// Begin the main program.
76int main (int argc, char ** argv)
77{
78 // Initialize libMesh and any dependent libraries
79 LibMeshInit init (argc, argv);
80
81 // This example requires a linear solver package.
82 libmesh_example_requires(libMesh::default_solver_package() != INVALID_SOLVER_PACKAGE,
83 "--enable-petsc, --enable-trilinos, or --enable-eigen");
84
85 // Initialize the cantilever mesh
86 const unsigned int dim = 2;
87
88 // Skip this 2D example if libMesh was compiled as 1D-only.
89 libmesh_example_requires(dim <= LIBMESH_DIM, "2D support");
90
91 // We use Dirichlet boundary conditions here
92#ifndef LIBMESH_ENABLE_DIRICHLET
93 libmesh_example_requires(false, "--enable-dirichlet");
94#endif
95
96 // Create a 2D mesh distributed across the default MPI communicator.
97 Mesh mesh(init.comm(), dim);
98
99 // Get the mesh size from the command line.
100 const int nx = libMesh::command_line_next("-nx", 50),
101 ny = libMesh::command_line_next("-ny", 10);
102
104 nx, ny,
105 0., 1.,
106 0., 0.2,
107 QUAD9);
108
109
110 // Print information about the mesh to the screen.
112
113 // Create an equation systems object.
114 EquationSystems equation_systems (mesh);
115
116 // Declare the system and its variables.
117 // Create a system named "Elasticity"
118 LinearImplicitSystem & system =
119 equation_systems.add_system<LinearImplicitSystem> ("Elasticity");
120
122
123#ifdef LIBMESH_ENABLE_DIRICHLET
124 // Add two displacement variables, u and v, to the system
125 unsigned int u_var = system.add_variable("u", SECOND, LAGRANGE);
126 unsigned int v_var = system.add_variable("v", SECOND, LAGRANGE);
127
128 // Create a ZeroFunction to initialize dirichlet_bc
130
131 // Construct a Dirichlet boundary condition object
132 // We impose a "clamped" boundary condition on the
133 // "left" boundary, i.e. bc_id = 3
134
135 // Most DirichletBoundary users will want to supply a "locally
136 // indexed" functor
137 DirichletBoundary dirichlet_bc({3}, {u_var, v_var}, zf,
139
140 // We must add the Dirichlet boundary condition _before_
141 // we call equation_systems.init()
142 system.get_dof_map().add_dirichlet_boundary(dirichlet_bc);
143#endif // LIBMESH_ENABLE_DIRICHLET
144
145 // Initialize the data structures for the equation system.
146 equation_systems.init();
147
148 // Print information about the system to the screen.
149 equation_systems.print_info();
150
151 // Solve the system
152 system.solve();
153
154 // Plot the solution
155#ifdef LIBMESH_HAVE_EXODUS_API
156 ExodusII_IO (mesh).write_equation_systems("displacement.e", equation_systems);
157#endif // #ifdef LIBMESH_HAVE_EXODUS_API
158
159 // All done.
160 return 0;
161}
162
163
165 const std::string & libmesh_dbg_var(system_name))
166{
167 libmesh_assert_equal_to (system_name, "Elasticity");
168
169 const MeshBase & mesh = es.get_mesh();
170
171 const unsigned int dim = mesh.mesh_dimension();
172
173 LinearImplicitSystem & system = es.get_system<LinearImplicitSystem>("Elasticity");
174
175 const unsigned int u_var = system.variable_number ("u");
176 const unsigned int v_var = system.variable_number ("v");
177
178 const DofMap & dof_map = system.get_dof_map();
179 FEType fe_type = dof_map.variable_type(0);
180 std::unique_ptr<FEBase> fe (FEBase::build(dim, fe_type));
181 QGauss qrule (dim, fe_type.default_quadrature_order());
182 fe->attach_quadrature_rule (&qrule);
183
184 std::unique_ptr<FEBase> fe_face (FEBase::build(dim, fe_type));
185 QGauss qface(dim-1, fe_type.default_quadrature_order());
186 fe_face->attach_quadrature_rule (&qface);
187
188 const std::vector<Real> & JxW = fe->get_JxW();
189 const std::vector<std::vector<RealGradient>> & dphi = fe->get_dphi();
190
193
195 Kuu(Ke), Kuv(Ke),
196 Kvu(Ke), Kvv(Ke);
197
199 Fu(Fe),
200 Fv(Fe);
201
202 std::vector<dof_id_type> dof_indices;
203 std::vector<dof_id_type> dof_indices_u;
204 std::vector<dof_id_type> dof_indices_v;
205
206 SparseMatrix<Number> & matrix = system.get_system_matrix();
207
208 for (const auto & elem : mesh.active_local_element_ptr_range())
209 {
210 dof_map.dof_indices (elem, dof_indices);
211 dof_map.dof_indices (elem, dof_indices_u, u_var);
212 dof_map.dof_indices (elem, dof_indices_v, v_var);
213
214 const unsigned int n_dofs = dof_indices.size();
215 const unsigned int n_u_dofs = dof_indices_u.size();
216 const unsigned int n_v_dofs = dof_indices_v.size();
217
218 fe->reinit (elem);
219
220 Ke.resize (n_dofs, n_dofs);
221 Fe.resize (n_dofs);
222
223 Kuu.reposition (u_var*n_u_dofs, u_var*n_u_dofs, n_u_dofs, n_u_dofs);
224 Kuv.reposition (u_var*n_u_dofs, v_var*n_u_dofs, n_u_dofs, n_v_dofs);
225
226 Kvu.reposition (v_var*n_v_dofs, u_var*n_v_dofs, n_v_dofs, n_u_dofs);
227 Kvv.reposition (v_var*n_v_dofs, v_var*n_v_dofs, n_v_dofs, n_v_dofs);
228
229 Fu.reposition (u_var*n_u_dofs, n_u_dofs);
230 Fv.reposition (v_var*n_u_dofs, n_v_dofs);
231
232 for (unsigned int qp=0; qp<qrule.n_points(); qp++)
233 {
234 for (unsigned int i=0; i<n_u_dofs; i++)
235 for (unsigned int j=0; j<n_u_dofs; j++)
236 {
237 // Tensor indices
238 unsigned int C_i, C_j, C_k, C_l;
239 C_i=0, C_k=0;
240
241 C_j=0, C_l=0;
242 Kuu(i,j) += JxW[qp]*(eval_elasticity_tensor(C_i, C_j, C_k, C_l) * dphi[i][qp](C_j)*dphi[j][qp](C_l));
243
244 C_j=1, C_l=0;
245 Kuu(i,j) += JxW[qp]*(eval_elasticity_tensor(C_i, C_j, C_k, C_l) * dphi[i][qp](C_j)*dphi[j][qp](C_l));
246
247 C_j=0, C_l=1;
248 Kuu(i,j) += JxW[qp]*(eval_elasticity_tensor(C_i, C_j, C_k, C_l) * dphi[i][qp](C_j)*dphi[j][qp](C_l));
249
250 C_j=1, C_l=1;
251 Kuu(i,j) += JxW[qp]*(eval_elasticity_tensor(C_i, C_j, C_k, C_l) * dphi[i][qp](C_j)*dphi[j][qp](C_l));
252 }
253
254 for (unsigned int i=0; i<n_u_dofs; i++)
255 for (unsigned int j=0; j<n_v_dofs; j++)
256 {
257 // Tensor indices
258 unsigned int C_i, C_j, C_k, C_l;
259 C_i=0, C_k=1;
260
261 C_j=0, C_l=0;
262 Kuv(i,j) += JxW[qp]*(eval_elasticity_tensor(C_i, C_j, C_k, C_l) * dphi[i][qp](C_j)*dphi[j][qp](C_l));
263
264 C_j=1, C_l=0;
265 Kuv(i,j) += JxW[qp]*(eval_elasticity_tensor(C_i, C_j, C_k, C_l) * dphi[i][qp](C_j)*dphi[j][qp](C_l));
266
267 C_j=0, C_l=1;
268 Kuv(i,j) += JxW[qp]*(eval_elasticity_tensor(C_i, C_j, C_k, C_l) * dphi[i][qp](C_j)*dphi[j][qp](C_l));
269
270 C_j=1, C_l=1;
271 Kuv(i,j) += JxW[qp]*(eval_elasticity_tensor(C_i, C_j, C_k, C_l) * dphi[i][qp](C_j)*dphi[j][qp](C_l));
272 }
273
274 for (unsigned int i=0; i<n_v_dofs; i++)
275 for (unsigned int j=0; j<n_u_dofs; j++)
276 {
277 // Tensor indices
278 unsigned int C_i, C_j, C_k, C_l;
279 C_i=1, C_k=0;
280
281 C_j=0, C_l=0;
282 Kvu(i,j) += JxW[qp]*(eval_elasticity_tensor(C_i, C_j, C_k, C_l) * dphi[i][qp](C_j)*dphi[j][qp](C_l));
283
284 C_j=1, C_l=0;
285 Kvu(i,j) += JxW[qp]*(eval_elasticity_tensor(C_i, C_j, C_k, C_l) * dphi[i][qp](C_j)*dphi[j][qp](C_l));
286
287 C_j=0, C_l=1;
288 Kvu(i,j) += JxW[qp]*(eval_elasticity_tensor(C_i, C_j, C_k, C_l) * dphi[i][qp](C_j)*dphi[j][qp](C_l));
289
290 C_j=1, C_l=1;
291 Kvu(i,j) += JxW[qp]*(eval_elasticity_tensor(C_i, C_j, C_k, C_l) * dphi[i][qp](C_j)*dphi[j][qp](C_l));
292 }
293
294 for (unsigned int i=0; i<n_v_dofs; i++)
295 for (unsigned int j=0; j<n_v_dofs; j++)
296 {
297 // Tensor indices
298 unsigned int C_i, C_j, C_k, C_l;
299 C_i=1, C_k=1;
300
301 C_j=0, C_l=0;
302 Kvv(i,j) += JxW[qp]*(eval_elasticity_tensor(C_i, C_j, C_k, C_l) * dphi[i][qp](C_j)*dphi[j][qp](C_l));
303
304 C_j=1, C_l=0;
305 Kvv(i,j) += JxW[qp]*(eval_elasticity_tensor(C_i, C_j, C_k, C_l) * dphi[i][qp](C_j)*dphi[j][qp](C_l));
306
307 C_j=0, C_l=1;
308 Kvv(i,j) += JxW[qp]*(eval_elasticity_tensor(C_i, C_j, C_k, C_l) * dphi[i][qp](C_j)*dphi[j][qp](C_l));
309
310 C_j=1, C_l=1;
311 Kvv(i,j) += JxW[qp]*(eval_elasticity_tensor(C_i, C_j, C_k, C_l) * dphi[i][qp](C_j)*dphi[j][qp](C_l));
312 }
313 }
314
315 {
316 for (auto side : elem->side_index_range())
317 if (elem->neighbor_ptr(side) == nullptr)
318 {
319 const std::vector<std::vector<Real>> & phi_face = fe_face->get_phi();
320 const std::vector<Real> & JxW_face = fe_face->get_JxW();
321
322 fe_face->reinit(elem, side);
323
324 if (mesh.get_boundary_info().has_boundary_id (elem, side, 1)) // Apply a traction on the right side
325 {
326 for (unsigned int qp=0; qp<qface.n_points(); qp++)
327 for (unsigned int i=0; i<n_v_dofs; i++)
328 Fv(i) += JxW_face[qp] * (-1.) * phi_face[i][qp];
329 }
330 }
331 }
332
333 dof_map.constrain_element_matrix_and_vector (Ke, Fe, dof_indices);
334
335 matrix.add_matrix (Ke, dof_indices);
336 system.rhs->add_vector (Fe, dof_indices);
337 }
338}
339
341 unsigned int j,
342 unsigned int k,
343 unsigned int l)
344{
345 // Define the Poisson ratio
346 const Real nu = 0.3;
347
348 // Define the Lame constants (lambda_1 and lambda_2) based on Poisson ratio
349 const Real lambda_1 = nu / ((1. + nu) * (1. - 2.*nu));
350 const Real lambda_2 = 0.5 / (1 + nu);
351
352 // Define the Kronecker delta functions that we need here
353 Real delta_ij = (i == j) ? 1. : 0.;
354 Real delta_il = (i == l) ? 1. : 0.;
355 Real delta_ik = (i == k) ? 1. : 0.;
356 Real delta_jl = (j == l) ? 1. : 0.;
357 Real delta_jk = (j == k) ? 1. : 0.;
358 Real delta_kl = (k == l) ? 1. : 0.;
359
360 return lambda_1 * delta_ij * delta_kl + lambda_2 * (delta_ik * delta_jl + delta_il * delta_jk);
361}
unsigned int dim
bool has_boundary_id(const Node *const node, const boundary_id_type id) const
Defines a dense matrix for use in Finite Element-type computations.
void resize(const unsigned int new_m, const unsigned int new_n)
Resizes the matrix to the specified size and calls zero().
Defines a dense submatrix for use in Finite Element-type computations.
void reposition(const unsigned int ioff, const unsigned int joff, const unsigned int new_m, const unsigned int new_n)
Changes the location of the submatrix in the parent matrix.
Defines a dense subvector for use in finite element computations.
void reposition(const unsigned int ioff, const unsigned int n)
Changes the location of the subvector in the parent vector.
Defines a dense vector for use in Finite Element-type computations.
void resize(const unsigned int n)
Resize the vector.
This class allows one to associate Dirichlet boundary values with a given set of mesh boundary ids an...
This class handles the numbering of degrees of freedom on a mesh.
Definition dof_map.h:181
void dof_indices(const Elem *const elem, std::vector< dof_id_type > &di) const
Definition dof_map.C:2201
void add_dirichlet_boundary(const DirichletBoundary &dirichlet_boundary)
Adds a copy of the specified Dirichlet boundary to the system.
const FEType & variable_type(const unsigned int i) const
Definition dof_map.h:2388
void constrain_element_matrix_and_vector(DenseMatrix< Number > &matrix, DenseVector< Number > &rhs, std::vector< dof_id_type > &elem_dofs, bool asymmetric_constraint_rows=true) const
Constrains the element matrix and vector.
Definition dof_map.h:2498
This is the EquationSystems class.
void print_info(std::ostream &os=libMesh::out) const
Prints information about the equation systems, by default to libMesh::out.
const MeshBase & get_mesh() const
virtual void init()
Initialize all the systems.
virtual System & add_system(std::string_view system_type, std::string_view name)
Add the system of type system_type named name to the systems array.
const T_sys & get_system(std::string_view name) const
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.
NumericVector< Number > * rhs
The system matrix.
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
Order default_quadrature_order() const
Definition fe_type.h:415
const SparseMatrix< Number > & get_system_matrix() const
The LibMeshInit class, when constructed, initializes the dependent libraries (e.g.
Definition libmesh.h:92
Manages consistently variables, degrees of freedom, coefficient vectors, matrices and linear solvers ...
virtual void solve() override
Assembles & solves the linear system A*x=b.
This is the MeshBase class.
Definition mesh_base.h:81
const BoundaryInfo & get_boundary_info() const
The information about boundary ids on the mesh.
Definition mesh_base.h:170
unsigned int mesh_dimension() const
Definition mesh_base.C:430
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
virtual void add_vector(const T *v, const std::vector< numeric_index_type > &dof_indices)
Computes , where v is a pointer and each dof_indices[i] specifies where to add value v[i].
unsigned int n_points() const
Definition quadrature.h:131
This class implements specific orders of Gauss quadrature.
Generic sparse matrix.
virtual void add_matrix(const DenseMatrix< T > &dm, const std::vector< numeric_index_type > &rows, const std::vector< numeric_index_type > &cols)=0
Add the full matrix dm to the SparseMatrix.
void attach_assemble_function(void fptr(EquationSystems &es, const std::string &name))
Register a user function to use in assembling the system matrix and RHS.
Definition system.C:1959
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
unsigned int variable_number(std::string_view var) const
Definition system.C:1398
const DofMap & get_dof_map() const
Definition system.h:2417
ConstFunction that simply returns 0.
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.
The libMesh namespace provides an interface to certain functionality in the library.
SolverPackage default_solver_package()
Definition libmesh.C:1064
T command_line_next(std::string name, T default_value)
Use GetPot's search()/next() functions to get following arguments from the command line.
Definition libmesh.C:1025
DIE A HORRIBLE DEATH HERE typedef LIBMESH_DEFAULT_SCALAR_TYPE Real
void assemble_elasticity(EquationSystems &es, const std::string &system_name)
Real eval_elasticity_tensor(unsigned int i, unsigned int j, unsigned int k, unsigned int l)
int main()