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
34
35 void IncompressibleElasticVarForm::init(const std::string &formulation, const Units &units, const json &args, const std::string &out_path)
36 {
37 ElasticVarForm::init(formulation, units, args, out_path);
40 assert(primary_assembler_->is_linear());
41 assert(primary_assembler_->is_tensor());
42 }
43
44 void IncompressibleElasticVarForm::save_json(const Eigen::MatrixXd &solution, std::ostream &out) const
45 {
46 if (!mesh_)
47 {
48 logger().error("Load the mesh first!");
49 return;
50 }
51 if (solution.size() <= 0)
52 {
53 logger().error("Solve the problem first!");
54 return;
55 }
56
57 logger().info("Saving json...");
58 const int primary_size = primary_ndof();
59 const Eigen::MatrixXd stats_solution =
60 solution.rows() >= primary_size
61 ? solution.topRows(primary_size).eval()
62 : solution;
63
64 nlohmann::json j;
69 args["output"]["advanced"]["sol_at_node"], j);
70 out << j.dump(4) << std::endl;
71 }
72
74 {
75 if (!args["output"]["advanced"]["compute_error"])
76 return stats;
77
78 double tend = 0;
79 if (!args["time"].is_null())
80 tend = args["time"]["tend"];
81
82 Eigen::MatrixXd displacement, pressure;
83 split_solution(solution, displacement, pressure);
85 return stats;
86 }
87
96
98 {
99 return mesh_ ? space_.n_bases * mesh_->dimension() : 0;
100 }
101
106
108 {
109 json rhs_solver_params = args["solver"]["linear"];
110 if (!rhs_solver_params.contains("Pardiso"))
111 rhs_solver_params["Pardiso"] = {};
112 rhs_solver_params["Pardiso"]["mtype"] = -2;
113
114 rhs_assembler_ = std::make_shared<assembler::RhsAssembler>(
115 *primary_assembler_, *mesh_, nullptr,
119 args["space"]["advanced"]["bc_method"],
120 rhs_solver_params);
121 }
122
123 void IncompressibleElasticVarForm::build_basis(mesh::Mesh &mesh, const bool iso_parametric, const json &args)
124 {
125 ElasticVarForm::build_basis(mesh, iso_parametric, args);
126
127 if (space_.disc_orders.maxCoeff() != space_.disc_orders.minCoeff())
128 log_and_throw_error("p refinement not supported in mixed formulation!");
129 if (!space_.poly_edge_to_data.empty())
130 log_and_throw_error("Polygonal bases are not supported in mixed formulations!");
131
132 const auto &all_boundary = boundary_.total_local_boundary;
133 const int prev_bases = space_.n_bases;
134 const bool use_corner_quadrature = args["space"]["advanced"]["use_corner_quadrature"];
135 const int quadrature_order = args["space"]["advanced"]["quadrature_order"].get<int>();
136 const int mass_quadrature_order = args["space"]["advanced"]["mass_quadrature_order"].get<int>();
137 const int order = args["space"]["pressure_discr_order"];
138 Eigen::VectorXi pressure_disc_orders(mesh.n_elements());
139 pressure_disc_orders.setConstant(order);
140 // to avoid serendipity
141 const std::string pressure_basis_type = args["space"]["basis_type"].get<std::string>() == "Bernstein" ? "Bernstein" : "Lagrange";
143 mesh,
144 /*iso_parametric=*/true,
145 pressure_disc_orders,
146 pressure_basis_type,
147 args["space"]["poly_basis_type"],
149 /*value_dim=*/1,
150 quadrature_order,
151 mass_quadrature_order,
152 use_corner_quadrature,
153 args["space"]["advanced"]["n_harmonic_samples"],
154 args["space"]["advanced"]["integral_constraints"],
158
159 assert(space_.basis_list().size() == pressure_space_.basis_list().size());
160 for (int i = 0; i < int(pressure_space_.basis_list().size()); ++i)
161 {
163 space_.basis_list()[i].compute_quadrature(b_quad);
164 (*pressure_space_.bases)[i].set_quadrature([b_quad](quadrature::Quadrature &quad) { quad = b_quad; });
165 }
166
168 for (const auto &lb : all_boundary)
169 boundary_.local_boundary.emplace_back(lb);
171
172 problem->setup_bc(
173 mesh, space_.n_bases,
183
186
187 for (int i = prev_bases; i < space_.n_bases; ++i)
188 for (int d = 0; d < mesh.dimension(); ++d)
189 boundary_.boundary_nodes.push_back(i * mesh.dimension() + d);
190
192
193 if (space_.n_bases <= args["solver"]["advanced"]["cache_size"])
195 else
197
199
200 logger().info("n pressure bases: {}", pressure_space_.n_bases);
201 }
202
204 {
206 const int prev_size = rhs_.rows();
207 rhs_.conservativeResize(prev_size + pressure_space_.n_bases, rhs_.cols());
208 rhs_.bottomRows(pressure_space_.n_bases).setZero();
209 }
210
212 {
213 if (!problem->is_time_dependent())
214 {
215 avg_mass_ = 1;
217 return;
218 }
219
220 mass_.resize(0, 0);
221 igl::Timer timer;
222 timer.start();
223 logger().info("Assembling mass mat...");
225 avg_mass_ = 0;
226 for (int k = 0; k < mass_.outerSize(); ++k)
227 for (StiffnessMatrix::InnerIterator it(mass_, k); it; ++it)
228 {
229 assert(it.col() == k);
230 avg_mass_ += it.value();
231 }
232 avg_mass_ /= std::max(1, int(mass_.rows()));
233 if (args["solver"]["advanced"]["lump_mass_matrix"])
235 timer.stop();
236 timings.assembling_mass_mat_time = timer.getElapsedTime();
237 logger().info(" took {}s", timings.assembling_mass_mat_time);
238 stats.nn_zero = mass_.nonZeros();
239 stats.num_dofs = mass_.rows();
240 stats.mat_size = (long long)mass_.rows() * (long long)mass_.cols();
241 }
242
244 {
245 if (sol.size() <= 0)
247 if (sol.cols() > 1)
248 sol.conservativeResize(Eigen::NoChange, 1);
249 sol.conservativeResize(stacked_ndof(), sol.cols());
250 sol.bottomRows(pressure_space_.n_bases).setZero();
251 }
252
253 void IncompressibleElasticVarForm::split_solution(const Eigen::MatrixXd &stacked, Eigen::MatrixXd &primary, Eigen::MatrixXd &pressure) const
254 {
255 const int cols = std::max(1, int(stacked.cols()));
256 primary.setZero(primary_ndof(), cols);
257 pressure.setZero(pressure_space_.n_bases, cols);
258 const int primary_rows = std::min(primary_ndof(), int(stacked.rows()));
259 if (primary_rows > 0)
260 primary.topRows(primary_rows) = stacked.topRows(primary_rows);
261 if (stacked.rows() > primary_ndof())
262 {
263 const int pressure_rows = std::min(pressure_space_.n_bases, int(stacked.rows()) - primary_ndof());
264 if (pressure_rows > 0)
265 pressure.topRows(pressure_rows) = stacked.middleRows(primary_ndof(), pressure_rows);
266 }
267 }
268
270 {
271 igl::Timer timer;
272 timer.start();
273 logger().info("Assembling stiffness mat...");
274
275 StiffnessMatrix elastic_stiffness, mixed_stiffness, pressure_stiffness;
276 primary_assembler_->assemble(mesh_->is_volume(), space_.n_bases, space_.basis_list(), space_.geometry_basis_list(), ass_vals_cache_, 0, elastic_stiffness);
279
281 space_.n_bases, pressure_space_.n_bases, mesh_->dimension(), /*add_average=*/false,
282 elastic_stiffness, mixed_stiffness, pressure_stiffness, stiffness);
283
284 timer.stop();
285 timings.assembling_stiffness_mat_time = timer.getElapsedTime();
286 logger().info(" took {}s", timings.assembling_stiffness_mat_time);
287 stats.nn_zero = stiffness.nonZeros();
288 stats.num_dofs = stiffness.rows();
289 stats.mat_size = (long long)stiffness.rows() * (long long)stiffness.cols();
290 write_matrix_market(args, stiffness);
291 }
292
294 const std::unique_ptr<polysolve::linear::Solver> &solver,
296 Eigen::VectorXd &b,
297 const bool compute_spectrum,
298 Eigen::MatrixXd &sol)
299 {
300 Eigen::VectorXd x;
301 stats.spectrum = dirichlet_solve(
302 *solver,
303 A,
304 b,
306 x,
307 primary_ndof(),
308 args["output"]["data"]["stiffness_mat"],
309 compute_spectrum,
310 /*is_fluid=*/false,
311 /*use_avg_pressure=*/false);
312 sol = x;
313 solver->get_info(stats.solver_info);
314 }
315
317 {
318 auto solver = polysolve::linear::Solver::create(args["solver"]["linear"], logger());
319 logger().info("{}...", solver->name());
323 Eigen::VectorXd b = rhs_;
324 solve_linear_system(solver, A, b, args["output"]["advanced"]["spectrum"], sol);
325 }
326
328 {
329 auto solver = polysolve::linear::Solver::create(args["solver"]["linear"], logger());
330 logger().info("{}...", solver->name());
331
332 Eigen::MatrixXd displacement, pressure;
333 split_solution(sol, displacement, pressure);
334 auto bdf = make_bdf_time_integrator();
335 bdf->init(
336 displacement,
337 Eigen::MatrixXd::Zero(displacement.rows(), displacement.cols()),
338 Eigen::MatrixXd::Zero(displacement.rows(), displacement.cols()),
339 dt);
340 time_integrator = bdf;
341
342 save_timestep(t0, 0, t0, dt, sol);
343
344 Eigen::MatrixXd current_rhs = rhs_;
345 StiffnessMatrix stiffness, expanded_mass;
346 build_stiffness_mat(stiffness);
347 expand_primary_matrix(stacked_ndof(), mass_, expanded_mass);
348
349 for (int t = 1; t <= time_steps; ++t)
350 {
351 const double time = t0 + t * dt;
352 rhs_assembler_->compute_energy_grad(
354 current_rhs);
355 rhs_assembler_->set_bc(
357
358 if (current_rhs.rows() != stacked_ndof())
359 {
360 const int old_rows = current_rhs.rows();
361 current_rhs.conservativeResize(stacked_ndof(), current_rhs.cols());
362 if (stacked_ndof() > old_rows)
363 current_rhs.bottomRows(stacked_ndof() - old_rows).setZero();
364 }
365 current_rhs.bottomRows(pressure_space_.n_bases).setZero();
366
367 StiffnessMatrix A = expanded_mass / bdf->beta_dt() + stiffness;
368 Eigen::VectorXd b = Eigen::VectorXd::Zero(stacked_ndof());
369 b.head(primary_ndof()) = (mass_ * bdf->weighted_sum_x_prevs()) / bdf->beta_dt();
370 for (int i : boundary_.boundary_nodes)
371 b[i] = 0;
372 b += current_rhs;
373
374 solve_linear_system(solver, A, b, args["output"]["advanced"]["spectrum"].get<bool>() && t == time_steps, sol);
375 split_solution(sol, displacement, pressure);
376 bdf->update_quantities(displacement.col(0));
377
378 save_timestep(time, t, t0, dt, sol);
380 logger().info("{}/{} t={}", t, time_steps, time);
382 }
383 }
384
386 {
387 stats.spectrum.setZero();
388 igl::Timer timer;
389 timer.start();
390 logger().info("Solving {}", primary_assembler_->name());
392 if (problem->is_time_dependent())
394 else
395 {
396 time_integrator = nullptr;
398 }
399 timer.stop();
400 timings.solving_time = timer.getElapsedTime();
401 logger().info(" took {}s", timings.solving_time);
402 }
403
405 const io::OutputSample &sample,
406 const Eigen::MatrixXd &solution,
407 const io::OutputFieldOptions &options) const
408 {
409 Eigen::MatrixXd displacement, pressure;
410 split_solution(solution, displacement, pressure);
411 const std::vector<std::pair<std::string, std::shared_ptr<solver::Form>>> named_forms;
412 auto fields = elastic_output_fields(
413 sample, displacement, options, nullptr, time_integrator.get(), named_forms, nullptr);
414 const bool export_pressure_gradient =
415 !options.fields.empty() && options.export_field("pressure_gradient");
416 if (mesh_ && (options.export_field("pressure") || export_pressure_gradient))
417 {
418 Eigen::MatrixXd values, gradients;
420 *mesh_, pressure_space_.basis_list(), space_.geometry_basis_list(), sample, pressure, values,
421 export_pressure_gradient ? &gradients : nullptr))
422 {
423 if (options.export_field("pressure"))
424 fields.push_back({"pressure", values, io::OutputField::Association::Point});
425 if (export_pressure_gradient)
426 fields.push_back({"pressure_gradient", gradients, io::OutputField::Association::Point});
427 }
428 }
429 return fields;
430 }
431} // 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
int n_elements() const
utitlity to return the number of elements, cells or faces in 3d and 2d
Definition Mesh.hpp:163
virtual bool is_volume() const =0
checks if mesh is volume
int dimension() const
utily for dimension
Definition Mesh.hpp:153
void build_basis(mesh::Mesh &mesh, const bool iso_parametric, const json &args) override
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:1071
std::shared_ptr< assembler::Problem > problem
current problem, it contains rhs and bc
Definition VarForm.hpp:191
std::unique_ptr< mesh::Mesh > mesh_
Definition VarForm.hpp:203
io::OutStatsData stats
Definition VarForm.hpp:195
void notify_time_step(const int t, const int time_steps, const double t0, const double dt) const
Definition VarForm.cpp:951
std::shared_ptr< time_integrator::BDF > make_bdf_time_integrator() const
Definition VarForm.cpp:874
void save_timestep(const double time, const int t, const double t0, const double dt, const Eigen::MatrixXd &solution) const
Definition VarForm.cpp:907
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:323
io::OutRuntimeData timings
runtime statistics
Definition VarForm.hpp:198
void set_materials(assembler::Assembler &assembler, const int size) const
Definition VarForm.cpp:817
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