Rheolef  7.1
an efficient C++ finite element environment
yield_slip_residue.cc
Go to the documentation of this file.
1 #include "rheolef.h"
26 using namespace rheolef;
27 using namespace std;
28 #include "projection.h"
29 int main(int argc, char**argv) {
30  environment rheolef (argc, argv);
31  Float tol = (argc > 1) ? atof(argv[1]) : 1e-12;
32  bool sym = (argc > 2) && (string(argv[2]) == "-symmetric") ? true : false;
33  Float S, n, Cf, r;
34  field uh, lambda_h;
35  din >> catchmark("S") >> S
36  >> catchmark("n") >> n
37  >> catchmark("Cf") >> Cf
38  >> catchmark("r") >> r
39  >> catchmark("u") >> uh
40  >> catchmark("lambda") >> lambda_h;
41  space Xh = uh.get_space();
42  space Wh = lambda_h.get_space();
43  geo omega = Xh.get_geo();
44  geo boundary = omega["boundary"];
45  trial u(Xh), lambda(Wh);
46  test v(Xh), mu(Wh);
47  form m = integrate (u*v),
48  a = integrate (dot(grad(u),grad(v))),
49  mb = integrate (lambda*mu),
50  b = integrate (boundary, u*mu);
51  field lh = integrate(v);
52  field r_lambda_h;
53  if (!sym) {
54  r_lambda_h = interpolate(Wh,
55  uh["boundary"] - compose(projection(S,n,Cf), lambda_h));
56  } else {
57  field beta_h = lambda_h + r*uh[boundary];
58  field mr_lambda_h = b*uh - integrate(mu*compose(projection(S,n,Cf,r), beta_h));
59  r_lambda_h = field(Wh);
60  problem pmb (mb);
61  pmb.solve (mr_lambda_h, r_lambda_h);
62  }
63  field mruh = a*uh - lh + b.trans_mult(lambda_h);
64  field ruh(Xh);
65  problem pm (m);
66  pm.solve (mruh, ruh);
67  ruh["boundary"] = 0;
68  Float residue_u = sqrt(dual(mruh,ruh));
69  Float residue_lambda = sqrt(mb(r_lambda_h, r_lambda_h));
70  dout << "residue_u = " << residue_u << endl
71  << "residue_lambda = " << residue_lambda << endl;
72  Float residue = max(residue_u, residue_lambda);
73  return (residue <= tol) ? 0 : 1;
74 }
mkgeo_ball.n
int n
Definition: mkgeo_ball.sh:150
form
see the form page for the full documentation
rheolef::catchmark
see the catchmark page for the full documentation
Definition: catchmark.h:67
mkgeo_ball.b
int b
Definition: mkgeo_ball.sh:152
rheolef::dot
rheolef::std enable_if ::type dot const Expr1 expr1, const Expr2 expr2 dot(const Expr1 &expr1, const Expr2 &expr2)
dot(x,y): see the expression page for the full documentation
Definition: vec_expr_v2.h:415
field
see the field page for the full documentation
residue
field residue(Float p, const field &uh)
Definition: p_laplacian_post.cc:35
rheolef::field
field_basic< Float > field
see the field page for the full documentation
Definition: field.h:419
rheolef::integrate
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:202
space
see the space page for the full documentation
rheolef::dual
rheolef::std enable_if ::type dual const Expr1 expr1, const Expr2 expr2 dual(const Expr1 &expr1, const Expr2 &expr2)
Definition: field_expr.h:260
rheolef::grad
std::enable_if< details::is_field_convertible< Expr >::value,details::field_expr_v2_nonlinear_terminal_field< typename Expr::scalar_type,typename Expr::memory_type,details::differentiate_option::gradient >>::type grad(const Expr &expr)
grad(uh): see the expression page for the full documentation
Definition: field_expr_terminal.h:911
projection.h
The projection for yield-stress rheologies e.g. the yield slip problem.
rheolef.h
rheolef - reference manual
mkgeo_ugrid.boundary
int boundary
Definition: mkgeo_ugrid.sh:181
a
Definition: diffusion_isotropic.h:25
rheolef::interpolate
field_basic< T, M > interpolate(const space_basic< T, M > &V2h, const field_basic< T, M > &u1h)
see the interpolate page for the full documentation
Definition: interpolate.cc:233
rheolef::din
idiststream din
see the diststream page for the full documentation
Definition: diststream.h:427
rheolef::environment
see the environment page for the full documentation
Definition: environment.h:115
lh
field lh(Float epsilon, Float t, const test &v)
Definition: burgers_diffusion_operators.icc:25
mkgeo_sector.m
m
Definition: mkgeo_sector.sh:118
rheolef
This file is part of Rheolef.
Definition: compiler_eigen.h:37
test
see the test page for the full documentation
problem
see the problem page for the full documentation
u
Definition: leveque.h:25
Float
see the Float page for the full documentation
u
Float u(const point &x)
Definition: transmission_error.cc:26
rheolef::compose
details::field_expr_v2_nonlinear_node_nary< typename details::function_traits< Function >::functor_type,typename details::field_expr_v2_nonlinear_terminal_wrapper_traits< Exprs >::type... > ::type compose(const Function &f, const Exprs &... exprs)
see the compose page for the full documentation
Definition: compose.h:246
mkgeo_contraction.mu
mu
Definition: mkgeo_contraction.sh:193
main
int main(int argc, char **argv)
Definition: yield_slip_residue.cc:29
trial
see the test page for the full documentation
rheolef::dout
odiststream dout(cout)
see the diststream page for the full documentation
Definition: diststream.h:430
rheolef::std
Definition: vec_expr_v2.h:402
projection
Definition: projection.h:27
geo
see the geo page for the full documentation
lambda
Definition: yield_slip_circle.h:34