getfem_contact_and_friction_large_sliding.h

/* -*- c++ -*- (enables emacs c++ mode) */
/*===========================================================================

 Copyright (C) 2013-2017 Yves Renard, Konstantinos Poulios.

 This file is a part of GetFEM++

 GetFEM++  is  free software;  you  can  redistribute  it  and/or modify it
 under  the  terms  of the  GNU  Lesser General Public License as published
 by  the  Free Software Foundation;  either version 3 of the License,  or
 (at your option) any later version along with the GCC Runtime Library
 Exception either version 3.1 or (at your option) any later version.
 This program  is  distributed  in  the  hope  that it will be useful,  but
 WITHOUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY
 or  FITNESS  FOR  A PARTICULAR PURPOSE.  See the GNU Lesser General Public
 License and GCC Runtime Library Exception for more details.
 You  should  have received a copy of the GNU Lesser General Public License
 along  with  this program;  if not, write to the Free Software Foundation,
 Inc., 51 Franklin St, Fifth Floor, Boston, MA  02110-1301, USA.

 As a special exception, you  may use  this file  as it is a part of a free
 software  library  without  restriction.  Specifically,  if   other  files
 instantiate  templates  or  use macros or inline functions from this file,
 or  you compile this  file  and  link  it  with other files  to produce an
 executable, this file  does  not  by itself cause the resulting executable
 to be covered  by the GNU Lesser General Public License.  This   exception
 does not  however  invalidate  any  other  reasons why the executable file
 might be covered by the GNU Lesser General Public License.

===========================================================================*/

/** @file getfem_contact_and_friction_integral.h
    @author Yves Renard <Yves.Renard@insa-lyon.fr>
    @author Konstantinos Poulios <logari81@googlemail.com>
    @date May, 2013.
    @brief Large sliding unilateral contact and friction condition brick.
 */
#ifndef GETFEM_CONTACT_AND_FRICTION_LARGE_SLIDING_H__
#define GETFEM_CONTACT_AND_FRICTION_LARGE_SLIDING_H__

#include "getfem_contact_and_friction_common.h"

namespace getfem {


  
  /** Adds a large sliding contact with friction brick to the model.
      This brick is able to deal with self-contact, contact between
      several deformable bodies and contact with rigid obstacles.
      It uses the high-level generic assembly. It adds to the model
      a raytracing_interpolate_transformation object.
      For each slave boundary a multiplier variable should be defined.
      The release distance should be determined with care
      (generally a few times a mean element size, and less than the
      thickness of the body). Initially, the brick is added with no contact
      boundaries. The contact boundaries and rigid bodies are added with
      special functions.
  */
  size_type add_integral_large_sliding_contact_brick_raytracing
  (model &md, const std::string &augm_param,
   scalar_type release_distance, const std::string &f_coeff = "0",
   const std::string &alpha = "1",
   bool sym_v = false, bool frame_indifferent = false);

  /** Adds a contact boundary to an existing large sliding contact
      with friction brick. When a boundary is declared slave, a multiplier
      `lambda` has to be given which whould be defined on the boundary
      `region`. The integration of contact terms is performed on each
      slave boundary. A boundary can be both declare master and slave
      which allows self-contact detection.
  */
  void add_contact_boundary_to_large_sliding_contact_brick
  (model &md, size_type indbrick, const mesh_im &mim, size_type region,
   bool is_master, bool is_slave, const std::string &u,
   const std::string &lambda = "", const std::string &w = "");

  /** Adds a rigid obstacle to an existing large sliding contact
      with friction brick. `expr` is an expression using the high-level
      generic assembly language (where `x` is the current position)
      which should be a signed distance to the obstacle.
      `N` is the mesh dimension.
  */
  void add_rigid_obstacle_to_large_sliding_contact_brick
  (model &md, size_type indbrick, const std::string &expr, size_type N);

  /** Gives the name of the group of variables corresponding to the
      sliding data for an existing large sliding contact brick.
  */
  const std::string &sliding_data_group_name_of_large_sliding_contact_brick
  (model &md, size_type indbrick);

  /** Gives the name of the group of variables corresponding to the
      displacement for an existing large sliding contact brick.
  */
  const std::string &displacement_group_name_of_large_sliding_contact_brick
  (model &md, size_type indbrick);

  /** Gives the name of the raytracing interpolate transformation
      for an existing large sliding contact brick.
  */
  const std::string &transformation_name_of_large_sliding_contact_brick
  (model &md, size_type indbrick);

   



  /** Adds a large sliding contact with friction brick to the model.
      This brick is able to deal with self-contact, contact between
      several deformable bodies and contact with rigid obstacles.
      It takes a variable of type multi_contact_frame wich describe
      the contact situation (master and slave contact boundaries,
      self-contact detection or not, and a few parameter).
      For each slave boundary (and also master boundaries if self-contact
      is asked) a multiplier variable should be defined.
      DEPRECATED brick.
  */
  size_type add_integral_large_sliding_contact_brick_raytrace
  (model &md, multi_contact_frame &mcf,
   const std::string &dataname_r,
   const std::string &dataname_friction_coeff = std::string(),
   const std::string &dataname_alpha = std::string());


  /** Adds a large sliding contact with friction brick to the model based on Nitsche's method.
      This brick is able to deal with self-contact, contact between
      several deformable bodies and contact with rigid obstacles.
      It uses the high-level generic assembly. It adds to the model
      a raytracing_interpolate_transformation object.
      For each slave boundary a  material law should be defined as a function of the dispacement variable on this boundary.
      The release distance should be determined with care
      (generally a few times a mean element size, and less than the
      thickness of the body). Initially, the brick is added with no contact
      boundaries. The contact boundaries and rigid bodies are added with
      special functions.
  */
  size_type add_Nitsche_large_sliding_contact_brick_raytracing
  (model &md, bool is_unbiased, const std::string &Nitsche_param,
   scalar_type release_distance, const std::string &f_coeff = "0",
   const std::string &alpha = "1",
   bool sym_v = false, bool frame_indifferent = false);

  /** Adds a contact boundary to an existing large sliding contact
      with friction brick. When a boundary is declared slave, a multiplier
      `lambda` has to be given which whould be defined on the boundary
      `region`. The integration of contact terms is performed on each
      slave boundary. A boundary can be both declare master and slave
      which allows self-contact detection.
  */
  void add_contact_boundary_to_Nitsche_large_sliding_contact_brick
  (model &md, size_type indbrick, const mesh_im &mim, size_type region,
   bool is_master, bool is_slave, bool is_unbiased, const std::string &u,
   const std::string &lambda = "", const std::string &w = "");

  /** Adds a rigid obstacle to an existing large sliding contact
      with friction brick. `expr` is an expression using the high-level
      generic assembly language (where `x` is the current position)
      which should be a signed distance to the obstacle.
      `N` is the mesh dimension.
  */
  void add_rigid_obstacle_to_Nitsche_large_sliding_contact_brick
  (model &md, size_type indbrick, const std::string &expr, size_type N);

  /** Gives the name of the group of variables corresponding to the
      sliding data for an existing large sliding contact brick.
  */
  const std::string &sliding_data_group_name_of_Nitsche_large_sliding_contact_brick
  (model &md, size_type indbrick);

  /** Gives the name of the group of variables corresponding to the
      displacement for an existing large sliding contact brick.
  */
  const std::string &displacement_group_name_of_Nitsche_large_sliding_contact_brick
  (model &md, size_type indbrick);

  /** Gives the name of the raytracing interpolate transformation
      for an existing large sliding contact brick.
  */
  const std::string &transformation_name_of_Nitsche_large_sliding_contact_brick
  (model &md, size_type indbrick);

   


#if 0   // Old brick, to be adapted ...



  /** Adds a large sliding contact with friction brick to the model.
      This brick is able to deal with auto-contact, contact between
      several deformable bodies and contact with rigid obstacles.
      The condition is applied on the variable `varname_u` on the
      boundary corresponding to `region`. `dataname_r` is the augmentation
      parameter of the augmented Lagrangian. `dataname_friction_coeff`
      is the friction coefficient. `mim` is an integration method on the
      boundary. `varname_u` is the variable on which the contact condition
      will be prescribed (should be of displacement type). `multname` is
      a multiplier defined on the boundary which will represent the contact
      force. If no additional boundary or rigid
      obstacle is added, only auto-contact will be detected. Use
      `add_boundary_to_large_sliding_contact_brick` and
      `add_rigid_obstacle_to_large_sliding_contact_brick` to add contact
      boundaries and rigid obstacles.
  */
  size_type add_integral_large_sliding_contact_brick_field_extension
  (model &md, const mesh_im &mim, const std::string &varname_u,
   const std::string &multname, const std::string &dataname_r,
   const std::string &dataname_friction_coeff, size_type region);


  /** Adds a contact boundary to an existing large sliding contact brick.
      `indbrick` is the brick index.
  */
  void add_boundary_to_large_sliding_contact_brick
  (model &md, size_type indbrick, const mesh_im &mim,
   const std::string &varname_u, const std::string &multname,
   size_type region);

  /** Adds a rigid obstacle to an existing large sliding contact brick.
      `indbrick` is the brick index, `obs` is the expression of a
      function which should be closed to a signed distance to the obstacle.
      In `obs`, the current position is denoted `X` with components
      `X(1), X(2), ...`. It is also allowed to use `x` instead of `X(1)`,
      `y` instead of `X(2)`, `z` instead of `X(3)` and `w` instead of `X(4)`. 
  */
  void add_rigid_obstacle_to_large_sliding_contact_brick
  (model &md, size_type indbrick, const std::string &obs);


#endif

}  /* end of namespace getfem.                                             */


#endif /* GETFEM_CONTACT_AND_FRICTION_LARGE_SLIDING_H__ */