PolyFEM
Loading...
Searching...
No Matches
IncompressibleElasticVarForm.cpp
Go to the documentation of this file.
2
3#include <cmath>
4#include <numeric>
5#include <algorithm>
6
17
18#include <polysolve/linear/FEMSolver.hpp>
19
20namespace polyfem::varform
21{
22 using namespace varform::internal;
23
36
37 void IncompressibleElasticVarForm::init(const std::string &formulation, const Units &units, const json &args, const std::string &out_path)
38 {
39 ElasticVarForm::init(formulation, units, args, out_path);
40 const json &discr_orders = args.at("space").at("discr_order");
41
42 const json &materials = args.at("materials");
43 if (materials.is_array() && materials.empty())
44 log_and_throw_error("Incompressible elasticity requires at least one material.");
45 const json &first_material = materials.is_array() ? materials.at(0) : materials;
46 displacement_space_id_ = first_material.at("displacement_space_id").get<int>();
47 pressure_space_id_ = first_material.at("pressure_space_id").get<int>();
49 log_and_throw_error("Incompressible displacement and pressure must use different FE space IDs.");
50
51 if (discr_orders.is_array())
52 {
53 bool has_displacement_space = false;
54 bool has_pressure_space = false;
55 for (const json &entry : discr_orders)
56 {
57 const int fe_space_id = entry.at("fe_space").get<int>();
58 has_displacement_space |= fe_space_id == displacement_space_id_;
59 has_pressure_space |= fe_space_id == pressure_space_id_;
60 }
61 if (!has_displacement_space || !has_pressure_space)
62 log_and_throw_error("Incompressible discretization-order lists must explicitly name the displacement and pressure FE spaces.");
63 }
64
65 if (materials.is_array())
66 {
67 for (const json &material : materials)
68 {
69 if (material.at("displacement_space_id").get<int>() != displacement_space_id_
70 || material.at("pressure_space_id").get<int>() != pressure_space_id_)
71 log_and_throw_error("All incompressible materials must use the same displacement and pressure FE space IDs.");
72 }
73 }
74
77 assert(primary_assembler_->is_linear());
78 assert(primary_assembler_->is_tensor());
79 }
80
81 void IncompressibleElasticVarForm::save_json(const Eigen::MatrixXd &solution, std::ostream &out) const
82 {
83 if (!mesh_)
84 {
85 logger().error("Load the mesh first!");
86 return;
87 }
88 if (solution.size() <= 0)
89 {
90 logger().error("Solve the problem first!");
91 return;
92 }
93
94 logger().info("Saving json...");
95 const int primary_size = primary_ndof();
96 const Eigen::MatrixXd stats_solution =
97 solution.rows() >= primary_size
98 ? solution.topRows(primary_size).eval()
99 : solution;
100
101 nlohmann::json j;
104 stats_solution, *mesh_, space_.disc_orders, space_.disc_ordersq, *problem,
106 args["output"]["advanced"]["sol_at_node"], j);
107 out << j.dump(4) << std::endl;
108 }
109
111 {
112 if (!args["output"]["advanced"]["compute_error"])
113 return stats;
114
115 double tend = 0;
116 if (!args["time"].is_null())
117 tend = args["time"]["tend"];
118
119 Eigen::MatrixXd displacement, pressure;
120 split_solution(solution, displacement, pressure);
122 return stats;
123 }
124
133
135 {
136 return mesh_ ? space_.n_bases * mesh_->dimension() : 0;
137 }
138
143
145 {
146 json rhs_solver_params = args["solver"]["linear"];
147 if (!rhs_solver_params.contains("Pardiso"))
148 rhs_solver_params["Pardiso"] = {};
149 rhs_solver_params["Pardiso"]["mtype"] = -2;
150
151 rhs_assembler_ = std::make_shared<assembler::RhsAssembler>(
152 *primary_assembler_, *mesh_, nullptr,
156 args["space"]["advanced"]["bc_method"],
157 rhs_solver_params,
159 }
160
161 void IncompressibleElasticVarForm::build_basis(mesh::Mesh &mesh, const bool iso_parametric, const json &args)
162 {
163 build_elastic_basis(mesh, iso_parametric, args, displacement_space_id_);
164
165 if (space_.disc_orders.maxCoeff() != space_.disc_orders.minCoeff())
166 log_and_throw_error("p refinement not supported in mixed formulation!");
167 if (!space_.poly_edge_to_data.empty())
168 log_and_throw_error("Polygonal bases are not supported in mixed formulations!");
169
170 const auto &all_boundary = boundary_.total_local_boundary;
171 const int prev_bases = space_.n_bases;
172 const bool use_corner_quadrature = args["space"]["advanced"]["use_corner_quadrature"];
173 const int quadrature_order = args["space"]["advanced"]["quadrature_order"].get<int>();
174 const int mass_quadrature_order = args["space"]["advanced"]["mass_quadrature_order"].get<int>();
175 Eigen::VectorXi pressure_disc_orders;
176 assign_discr_orders(args["space"]["discr_order"], pressure_space_id_, mesh, pressure_disc_orders);
177 // to avoid serendipity
178 const std::string pressure_basis_type = args["space"]["basis_type"].get<std::string>() == "Bernstein" ? "Bernstein" : "Lagrange";
180 mesh,
181 /*iso_parametric=*/true,
182 pressure_disc_orders,
183 pressure_basis_type,
184 args["space"]["poly_basis_type"],
186 /*value_dim=*/1,
187 quadrature_order,
188 mass_quadrature_order,
189 use_corner_quadrature,
190 args["space"]["advanced"]["n_harmonic_samples"],
191 args["space"]["advanced"]["integral_constraints"],
195
196 assert(space_.basis_list().size() == pressure_space_.basis_list().size());
197 for (int i = 0; i < int(pressure_space_.basis_list().size()); ++i)
198 {
200 space_.basis_list()[i].compute_quadrature(b_quad);
201 (*pressure_space_.bases)[i].set_quadrature([b_quad](quadrature::Quadrature &quad) { quad = b_quad; });
202 }
203
205 for (const auto &lb : all_boundary)
206 boundary_.local_boundary.emplace_back(lb);
208
209 problem->setup_bc(
210 mesh, space_.n_bases,
220
223
224 for (int i = prev_bases; i < space_.n_bases; ++i)
225 for (int d = 0; d < mesh.dimension(); ++d)
226 boundary_.boundary_nodes.push_back(i * mesh.dimension() + d);
227
229
230 if (space_.n_bases <= args["solver"]["advanced"]["cache_size"])
232 else
234
236
237 logger().info("n pressure bases: {}", pressure_space_.n_bases);
238 }
239
241 {
243 const int prev_size = rhs_.rows();
244 rhs_.conservativeResize(prev_size + pressure_space_.n_bases, rhs_.cols());
245 rhs_.bottomRows(pressure_space_.n_bases).setZero();
246 }
247
249 {
250 if (!problem->is_time_dependent())
251 {
252 avg_mass_ = 1;
254 return;
255 }
256
257 mass_.resize(0, 0);
258 igl::Timer timer;
259 timer.start();
260 logger().info("Assembling mass mat...");
262 avg_mass_ = 0;
263 for (int k = 0; k < mass_.outerSize(); ++k)
264 for (StiffnessMatrix::InnerIterator it(mass_, k); it; ++it)
265 {
266 assert(it.col() == k);
267 avg_mass_ += it.value();
268 }
269 avg_mass_ /= std::max(1, int(mass_.rows()));
270 if (args["solver"]["advanced"]["lump_mass_matrix"])
272 timer.stop();
273 timings.assembling_mass_mat_time = timer.getElapsedTime();
274 logger().info(" took {}s", timings.assembling_mass_mat_time);
275 stats.nn_zero = mass_.nonZeros();
276 stats.num_dofs = mass_.rows();
277 stats.mat_size = (long long)mass_.rows() * (long long)mass_.cols();
278 }
279
281 {
282 if (sol.size() <= 0)
284 if (sol.cols() > 1)
285 sol.conservativeResize(Eigen::NoChange, 1);
286 sol.conservativeResize(stacked_ndof(), sol.cols());
287 sol.bottomRows(pressure_space_.n_bases).setZero();
288 }
289
290 void IncompressibleElasticVarForm::split_solution(const Eigen::MatrixXd &stacked, Eigen::MatrixXd &primary, Eigen::MatrixXd &pressure) const
291 {
292 const int cols = std::max(1, int(stacked.cols()));
293 primary.setZero(primary_ndof(), cols);
294 pressure.setZero(pressure_space_.n_bases, cols);
295 const int primary_rows = std::min(primary_ndof(), int(stacked.rows()));
296 if (primary_rows > 0)
297 primary.topRows(primary_rows) = stacked.topRows(primary_rows);
298 if (stacked.rows() > primary_ndof())
299 {
300 const int pressure_rows = std::min(pressure_space_.n_bases, int(stacked.rows()) - primary_ndof());
301 if (pressure_rows > 0)
302 pressure.topRows(pressure_rows) = stacked.middleRows(primary_ndof(), pressure_rows);
303 }
304 }
305
307 {
308 igl::Timer timer;
309 timer.start();
310 logger().info("Assembling stiffness mat...");
311
312 StiffnessMatrix elastic_stiffness, mixed_stiffness, pressure_stiffness;
313 primary_assembler_->assemble(mesh_->is_volume(), space_.n_bases, space_.basis_list(), space_.geometry_basis_list(), ass_vals_cache_, 0, elastic_stiffness);
316
318 space_.n_bases, pressure_space_.n_bases, mesh_->dimension(), /*add_average=*/false,
319 elastic_stiffness, mixed_stiffness, pressure_stiffness, stiffness);
320
321 timer.stop();
322 timings.assembling_stiffness_mat_time = timer.getElapsedTime();
323 logger().info(" took {}s", timings.assembling_stiffness_mat_time);
324 stats.nn_zero = stiffness.nonZeros();
325 stats.num_dofs = stiffness.rows();
326 stats.mat_size = (long long)stiffness.rows() * (long long)stiffness.cols();
327 write_matrix_market(args, stiffness);
328 }
329
331 const std::unique_ptr<polysolve::linear::Solver> &solver,
333 Eigen::VectorXd &b,
334 const bool compute_spectrum,
335 Eigen::MatrixXd &sol)
336 {
337 Eigen::VectorXd x;
338 stats.spectrum = dirichlet_solve(
339 *solver,
340 A,
341 b,
343 x,
344 primary_ndof(),
345 args["output"]["data"]["stiffness_mat"],
346 compute_spectrum,
347 /*is_fluid=*/false,
348 /*use_avg_pressure=*/false);
349 sol = x;
350 solver->get_info(stats.solver_info);
351 }
352
354 {
355 auto solver = polysolve::linear::Solver::create(args["solver"]["linear"], logger());
356 logger().info("{}...", solver->name());
360 Eigen::VectorXd b = rhs_;
361 solve_linear_system(solver, A, b, args["output"]["advanced"]["spectrum"], sol);
362 }
363
365 {
366 auto solver = polysolve::linear::Solver::create(args["solver"]["linear"], logger());
367 logger().info("{}...", solver->name());
368
369 Eigen::MatrixXd displacement, pressure;
370 split_solution(sol, displacement, pressure);
372 args["time"]["integrator"]);
373 bdf->init(
374 displacement,
375 Eigen::MatrixXd::Zero(displacement.rows(), displacement.cols()),
376 Eigen::MatrixXd::Zero(displacement.rows(), displacement.cols()),
377 dt);
378 time_integrator = bdf;
379
380 save_timestep(t0, 0, t0, dt, sol);
381
382 Eigen::MatrixXd current_rhs = rhs_;
383 StiffnessMatrix stiffness, expanded_mass;
384 build_stiffness_mat(stiffness);
385 expand_primary_matrix(stacked_ndof(), mass_, expanded_mass);
386
387 for (int t = 1; t <= time_steps; ++t)
388 {
389 const double time = t0 + t * dt;
390 rhs_assembler_->compute_energy_grad(
392 current_rhs);
393 rhs_assembler_->set_bc(
395
396 if (current_rhs.rows() != stacked_ndof())
397 {
398 const int old_rows = current_rhs.rows();
399 current_rhs.conservativeResize(stacked_ndof(), current_rhs.cols());
400 if (stacked_ndof() > old_rows)
401 current_rhs.bottomRows(stacked_ndof() - old_rows).setZero();
402 }
403 current_rhs.bottomRows(pressure_space_.n_bases).setZero();
404
405 StiffnessMatrix A = expanded_mass / bdf->beta_dt() + stiffness;
406 Eigen::VectorXd b = Eigen::VectorXd::Zero(stacked_ndof());
407 b.head(primary_ndof()) = (mass_ * bdf->weighted_sum_x_prevs()) / bdf->beta_dt();
408 for (int i : boundary_.boundary_nodes)
409 b[i] = 0;
410 b += current_rhs;
411
412 solve_linear_system(solver, A, b, args["output"]["advanced"]["spectrum"].get<bool>() && t == time_steps, sol);
413 split_solution(sol, displacement, pressure);
414 bdf->update_quantities(displacement.col(0));
415
416 save_timestep(time, t, t0, dt, sol);
418 logger().info("{}/{} t={}", t, time_steps, time);
420 }
421 }
422
424 {
425 stats.spectrum.setZero();
426 igl::Timer timer;
427 timer.start();
428 logger().info("Solving {}", primary_assembler_->name());
430 if (problem->is_time_dependent())
432 else
433 {
434 time_integrator = nullptr;
436 }
437 timer.stop();
438 timings.solving_time = timer.getElapsedTime();
439 logger().info(" took {}s", timings.solving_time);
440 }
441
443 const io::OutputSample &sample,
444 const Eigen::MatrixXd &solution,
445 const io::OutputFieldOptions &options) const
446 {
447 Eigen::MatrixXd displacement, pressure;
448 split_solution(solution, displacement, pressure);
449 const std::vector<std::pair<std::string, std::shared_ptr<solver::Form>>> named_forms;
450 auto fields = elastic_output_fields(
451 sample, displacement, options, nullptr, time_integrator.get(), named_forms, nullptr);
452 const bool export_pressure_gradient =
453 !options.fields.empty() && options.export_field("pressure_gradient");
454 if (mesh_ && (options.export_field("pressure") || export_pressure_gradient))
455 {
456 Eigen::MatrixXd values, gradients;
458 *mesh_, pressure_space_.basis_list(), space_.geometry_basis_list(), sample, pressure, values,
459 export_pressure_gradient ? &gradients : nullptr))
460 {
461 if (options.export_field("pressure"))
462 fields.push_back({"pressure", values, io::OutputField::Association::Point});
463 if (export_pressure_gradient)
464 fields.push_back({"pressure_gradient", gradients, io::OutputField::Association::Point});
465 }
466 }
467 return fields;
468 }
469} // namespace polyfem::varform
int x
static std::shared_ptr< MixedAssembler > make_mixed_assembler(const std::string &formulation)
static std::string other_assembler_name(const std::string &formulation)
static void merge_mixed_matrices(const int n_bases, const int n_pressure_bases, const int problem_dim, const bool add_average, const StiffnessMatrix &velocity_stiffness, const StiffnessMatrix &mixed_stiffness, const StiffnessMatrix &pressure_stiffness, StiffnessMatrix &stiffness)
utility to merge 3 blocks of mixed matrices, A=velocity_stiffness, B=mixed_stiffness,...
static std::shared_ptr< Assembler > make_assembler(const std::string &formulation)
void init(const bool is_volume, const std::vector< basis::ElementBases > &bases, const std::vector< basis::ElementBases > &gbases, const bool is_mass=false)
computes the basis evaluation and geometric mapping for each of the given ElementBases in bases initi...
void init_empty(const bool is_mass=false)
initialize an empty cache.
double assembling_stiffness_mat_time
time to assembly
double assembling_mass_mat_time
time to assembly mass
double solving_time
time to solve
all stats from polyfem
json solver_info
information of the solver, eg num iteration, time, errors, etc the informations varies depending on t...
Eigen::Vector4d spectrum
spectrum of the stiffness matrix, enable only if POLYSOLVE_WITH_SPECTRA is ON (off by default)
void compute_errors(const int n_bases, const std::vector< polyfem::basis::ElementBases > &bases, const std::vector< polyfem::basis::ElementBases > &gbases, const polyfem::mesh::Mesh &mesh, const assembler::Problem &problem, const double tend, const Eigen::MatrixXd &sol)
compute errors
Definition OutData.cpp:1856
long long nn_zero
non zeros and sytem matrix size num dof is the total dof in the system
void save_json(const nlohmann::json &args, const int n_bases, const int n_pressure_bases, const Eigen::MatrixXd &sol, const mesh::Mesh &mesh, const Eigen::VectorXi &disc_orders, const Eigen::VectorXi &disc_ordersq, const assembler::Problem &problem, const OutRuntimeData &runtime, const std::string &formulation, const bool isoparametric, const int sol_at_node_id, nlohmann::json &j) const
saves the output statistic to a json object
Definition OutData.cpp:2099
Abstract mesh class to capture 2d/3d conforming and non-conforming meshes.
Definition Mesh.hpp:41
virtual bool is_volume() const =0
checks if mesh is volume
int dimension() const
utily for dimension
Definition Mesh.hpp:153
static std::shared_ptr< BDF > construct_bdf_integrator(const json &params, DynamicOrder dynamic_order=DynamicOrder::Second)
Construct a BDF integrator for algorithms using BDF-specific operations.
void build_elastic_basis(mesh::Mesh &mesh, const bool iso_parametric, const json &args, const int fe_space_id)
std::shared_ptr< assembler::Assembler > primary_assembler_
void save_elastic_step_state(const double t0, const double dt, const int t, const time_integrator::ImplicitTimeIntegrator *time_integrator) const
void init(const std::string &formulation, const Units &units, const json &args, const std::string &out_path) override
Initialize the variational formulation with the given parameters.
QuadratureOrders elastic_boundary_samples() const
assembler::AssemblyValsCache ass_vals_cache_
std::vector< io::OutputField > elastic_output_fields(const io::OutputSample &sample, const Eigen::MatrixXd &solution, const io::OutputFieldOptions &options, const mesh::Obstacle *obstacle, const time_integrator::ImplicitTimeIntegrator *time_integrator, const std::vector< std::pair< std::string, std::shared_ptr< solver::Form > > > &named_forms, const solver::Form *elastic_form, const solver::ContactForm *contact_form=nullptr) const
void initial_elastic_solution(Eigen::MatrixXd &solution) const
std::shared_ptr< assembler::Mass > mass_assembler_
std::shared_ptr< assembler::RhsAssembler > rhs_assembler_
assembler::AssemblyValsCache mass_ass_vals_cache_
void load_mesh(const mesh::Mesh &mesh, const json &args) override
void assemble_rhs(const mesh::Mesh &mesh) override
const std::vector< basis::ElementBases > & geometry_basis_list() const
Definition FESpace.hpp:115
std::shared_ptr< std::vector< basis::ElementBases > > bases
Per-element basis data.
Definition FESpace.hpp:68
std::shared_ptr< GeometryMapping > geometry
Geometric mapping used to integrate this FE space.
Definition FESpace.hpp:89
Eigen::VectorXi disc_orders
Primary polynomial degree for each mesh element.
Definition FESpace.hpp:71
Eigen::VectorXi disc_ordersq
Secondary polynomial degree for anisotropic bases, e.g. prisms.
Definition FESpace.hpp:74
int n_bases
Number of globally indexed scalar basis functions in the space.
Definition FESpace.hpp:65
std::map< int, basis::InterfaceData > poly_edge_to_data
Polygonal-basis construction data, indexed by element ID.
Definition FESpace.hpp:77
const std::vector< basis::ElementBases > & basis_list() const
Definition FESpace.hpp:109
bool is_iso_parametric() const
Definition FESpace.hpp:104
std::vector< io::OutputField > output_fields(const io::OutputSample &sample, const Eigen::MatrixXd &solution, const io::OutputFieldOptions &options) const override
Get the output fields of the variational formulation, for output purposes.
void assemble_mass_mat(const mesh::Mesh &mesh, const json &args) override
std::shared_ptr< time_integrator::ImplicitTimeIntegrator > time_integrator
void save_json(const Eigen::MatrixXd &solution, std::ostream &out) const override
Save the solution to a JSON file, for output purposes.
void solve_linear_system(const std::unique_ptr< polysolve::linear::Solver > &solver, StiffnessMatrix &A, Eigen::VectorXd &b, const bool compute_spectrum, Eigen::MatrixXd &sol)
std::string name() const override
Get the name of the variational formulation.
std::shared_ptr< assembler::MixedAssembler > mixed_assembler_
void load_mesh(const mesh::Mesh &mesh, const json &args) override
void split_solution(const Eigen::MatrixXd &stacked, Eigen::MatrixXd &primary, Eigen::MatrixXd &pressure) const
void build_basis(mesh::Mesh &mesh, const bool iso_parametric, const json &args) override
std::shared_ptr< assembler::Assembler > pressure_assembler_
io::OutStatsData compute_errors(const Eigen::MatrixXd &solution) override
Get the error statistics of the variational formulation, for output purposes.
void init(const std::string &formulation, const Units &units, const json &args, const std::string &out_path) override
Initialize the variational formulation with the given parameters.
static void rebuild_node_positions(const std::vector< basis::ElementBases > &bases, const std::vector< int > &node_ids, std::vector< RowVectorNd > &positions)
Definition VarForm.cpp:1066
std::shared_ptr< assembler::Problem > problem
current problem, it contains rhs and bc
Definition VarForm.hpp:190
std::unique_ptr< mesh::Mesh > mesh_
Definition VarForm.hpp:202
io::OutStatsData stats
Definition VarForm.hpp:194
void notify_time_step(const int t, const int time_steps, const double t0, const double dt) const
Definition VarForm.cpp:946
void save_timestep(const double time, const int t, const double t0, const double dt, const Eigen::MatrixXd &solution) const
Definition VarForm.cpp:902
void build_fe_space(mesh::Mesh &mesh, const bool iso_parametric, const Eigen::VectorXi &disc_orders, const std::string &basis_type, const std::string &poly_basis_type, const assembler::Assembler &space_assembler, const int value_dim, const int quadrature_order, const int mass_quadrature_order, const bool use_corner_quadrature, const int n_harmonic_samples, const int integral_constraints, FESpace &space, VarFormBoundaryState &boundary, std::shared_ptr< GeometryMapping > geometry=nullptr)
Definition VarForm.cpp:322
io::OutRuntimeData timings
runtime statistics
Definition VarForm.hpp:197
void set_materials(assembler::Assembler &assembler, const int size) const
Definition VarForm.cpp:830
void assign_discr_orders(const json &discr_order, const mesh::Mesh &mesh, Eigen::VectorXi &disc_orders)
Definition VarForm.cpp:744
Eigen::SparseMatrix< double > lump_matrix(const Eigen::SparseMatrix< double > &M)
Lump each row of a matrix into the diagonal.
bool write_matrix_market(const json &args, const StiffnessMatrix &stiffness)
bool sample_scalar_field(const mesh::Mesh &mesh, const std::vector< basis::ElementBases > &field_bases, const std::vector< basis::ElementBases > &gbases, const io::OutputSample &sample, const Eigen::MatrixXd &dof_values, Eigen::MatrixXd &values, Eigen::MatrixXd *gradients=nullptr)
void expand_primary_matrix(const int full_size, const StiffnessMatrix &primary, StiffnessMatrix &expanded)
spdlog::logger & logger()
Retrieves the current logger.
Definition Logger.cpp:44
nlohmann::json json
Definition Common.hpp:9
void log_and_throw_error(const std::string &msg)
Definition Logger.cpp:73
Eigen::SparseMatrix< double, Eigen::ColMajor > StiffnessMatrix
Definition Types.hpp:24
bool export_field(const std::string &field) const
Definition OutData.cpp:51
std::vector< std::string > fields
std::vector< RowVectorNd > neumann_nodes_position
Definition FESpace.hpp:163
std::vector< mesh::LocalBoundary > local_boundary
Definition FESpace.hpp:155
std::vector< mesh::LocalBoundary > local_neumann_boundary
Definition FESpace.hpp:156
std::vector< mesh::LocalBoundary > total_local_boundary
Definition FESpace.hpp:154
std::vector< RowVectorNd > dirichlet_nodes_position
Definition FESpace.hpp:161
std::vector< mesh::LocalBoundary > local_pressure_boundary
Definition FESpace.hpp:157
std::unordered_map< int, std::vector< mesh::LocalBoundary > > local_pressure_cavity
Definition FESpace.hpp:158