Rheolef  7.2
an efficient C++ finite element environment
navier_stokes_taylor_error_dg.cc
Go to the documentation of this file.
1 #include "rheolef.h"
26 using namespace rheolef;
27 using namespace std;
28 #include "taylor_exact.h"
29 int main(int argc, char**argv) {
30  environment rheolef(argc, argv);
31  Float err_u_linf_expected = (argc > 1) ? atof(argv[1]) : 1e+38;
32  Float err_p_linf_expected = (argc > 2) ? atof(argv[2]) : err_u_linf_expected;
33  bool have_kinetic_energy = (argc > 3);
34  bool dump = (argc > 4);
35  Float Re;
36  field uh;
37  din >> catchmark("Re") >> Re
38  >> catchmark("u") >> uh;
39  space Xh = uh.get_space();
40  size_t k = Xh.degree();
41  geo omega = Xh.get_geo();
42  string approx = "P"+to_string(k)+"d";
43  space Qh (omega, approx);
44  field ph(Qh);
45  din >> catchmark("p") >> ph;
46  size_t d = omega.dimension();
47  integrate_option iopt;
49  iopt.set_order(2*k+1);
50 #ifdef TODO
51  Float p_moy = integrate (omega, ph, iopt);
52  ph = ph-p_moy;
53 #else // TODO
54  trial p (Qh); test q (Qh);
55  form mp = integrate(p*q);
56  Float p_moy = mp (ph, field(Qh,1));
57  ph = ph-p_moy;
58 #endif // TODO
59  string high_approx = "P"+to_string(k+1)+"d";
60  space Xh1 (omega, high_approx, "vector"),
61  Qh1 (omega, high_approx);
62  field euh = lazy_interpolate (Xh1, uh-u_exact());
63  field eph = lazy_interpolate (Qh1, ph-p_exact(Re,have_kinetic_energy));
64  Float err_u_l2 = sqrt(integrate (omega, norm2(uh-u_exact()), iopt));
65  Float err_u_linf = euh.max_abs();
66  Float err_u_h1 = sqrt(integrate (omega, norm2(grad_h(euh)), iopt)
67  + integrate (omega.sides(), (1/h_local())*norm2(jump(euh)), iopt));
68  Float err_p_l2 = sqrt(integrate (omega, sqr(ph-p_exact(Re,have_kinetic_energy)), iopt));
69  Float err_p_linf = eph.max_abs();
70  derr << "err_u_l2 = " << err_u_l2 << endl
71  << "err_u_linf = " << err_u_linf << endl
72  << "err_u_h1 = " << err_u_h1 << endl
73  << "err_p_l2 = " << err_p_l2 << endl
74  << "err_p_linf = " << err_p_linf << endl;
75  if (dump) {
76  dout << catchmark("uh") << uh
77  << catchmark("u") << lazy_interpolate (Xh, u_exact())
78  << catchmark("eu") << euh
79  << catchmark("ph") << ph
80  << catchmark("p") << lazy_interpolate (Qh, p_exact(Re,have_kinetic_energy))
81  << catchmark("ep") << eph;
82  }
83  return ((err_u_linf <= err_u_linf_expected) && (err_p_linf <= err_p_linf_expected)) ? 0 : 1;
84 }
see the Float page for the full documentation
see the field page for the full documentation
see the form page for the full documentation
see the geo page for the full documentation
see the catchmark page for the full documentation
Definition: catchmark.h:67
see the environment page for the full documentation
Definition: environment.h:121
see the integrate_option page for the full documentation
void set_family(family_type type)
idiststream din(cin)
see the diststream page for the full documentation
Definition: diststream.h:464
odiststream dout(cout)
see the diststream page for the full documentation
Definition: diststream.h:467
field_basic< Float > field
see the field page for the full documentation
Definition: field.h:511
odiststream derr(cerr)
see the diststream page for the full documentation
Definition: diststream.h:473
see the space page for the full documentation
see the test page for the full documentation
see the test page for the full documentation
verbose clean transpose logscale grid shrink ball stereo iso volume skipvtk deformation fastfieldload lattice reader_on_stdin color format format format format format format format format format format format format format format format format format format dump
This file is part of Rheolef.
details::field_expr_v2_nonlinear_terminal_function< details::h_local_pseudo_function< Float > > h_local()
h_local: see the expression page for the full documentation
field_basic< T, M > lazy_interpolate(const space_basic< T, M > &X2h, const field_basic< T, M > &u1h)
see the interpolate page for the full documentation
Definition: field.h:871
std::enable_if< details::is_field_expr_v2_nonlinear_arg< Expr >::value &&! is_undeterminated< Result >::value, Result >::type integrate(const geo_basic< T, M > &omega, const Expr &expr, const integrate_option &iopt, Result dummy=Result())
see the integrate page for the full documentation
Definition: integrate.h:211
std::enable_if< details::has_field_rdof_interface< Expr >::value,details::field_expr_v2_nonlinear_terminal_field< typename Expr::scalar_type,typename Expr::memory_type,details::differentiate_option::gradient >>::type grad_h(const Expr &expr)
grad_h(uh): see the expression page for the full documentation
T norm2(const vec< T, M > &x)
norm2(x): see the expression page for the full documentation
Definition: vec.h:379
int main(int argc, char **argv)
rheolef - reference manual
Definition: sphere.icc:25
The Taylor benchmark – the exact solution of the Stokes problem.
g u_exact
Definition: taylor_exact.h:26