In contact mechanics, the term unilateral contact, also called unilateral constraint, denotes a mechanical constraint which prevents penetration between two rigid/flexible bodies. Constraints of this kind are omnipresent in non-smooth multibody dynamics applications, such as granular flows, [1] legged robot, vehicle dynamics, particle damping, imperfect joints, [2] or rocket landings. In these applications, the unilateral constraints result in impacts happening, therefore requiring suitable methods to deal with such constraints.
There are mainly two kinds of methods to model the unilateral constraints. The first kind is based on smooth contact dynamics, including methods using Hertz's models, penalty methods, and some regularization force models, while the second kind is based on the non-smooth contact dynamics, which models the system with unilateral contacts as variational inequalities.
In this method, normal forces generated by the unilateral constraints are modelled according to the local material properties of bodies. In particular, contact force models are derived from continuum mechanics, and expressed as functions of the gap and the impact velocity of bodies. As an example, an illustraction of the classic Hertz contact model is shown in the figure on the right. In such model, the contact is explained by the local deformation of bodies. More contact models can be found in some review scientific works [3] [4] [5] or in the article dedicated to contact mechanics.
In non-smooth method, unilateral interactions between bodies are fundamentally modelled by the Signorini condition [6] for non-penetration, and impact laws are used to define the impact process. [7] The Signorini condition can be expressed as the complementarity problem:
,
where denotes the distance between two bodies and denotes the contact force generated by the unilateral constraints, as shown in the figure below. Moreover, in terms of the concept of proximal point of convex theory, the Signorini condition can be equivalently expressed [6] [8] as:
,
where denotes an auxiliary parameter, and represents the proximal point in the set to the variable , [9] defined as:
.
Both the expressions above represent the dynamic behaviour of unilateral constraints: on the one hand, when the normal distance is above zero, the contact is open, which means that there is no contact force between bodies, ; on the other hand, when the normal distance is equal to zero, the contact is closed, resulting in .
When implementing non-smooth theory based methods, the velocity Signorini condition or the acceleration Signorini condition are actually employed in most cases. The velocity Signorini condition is expressed as: [6] [10]
,
where denotes the relative normal velocity after impact. The velocity Signorini condition should be understood together with the previous conditions . The acceleration Signorini condition is considered under closed contact (), as: [8]
,
where the overdots denote the second-order derivative with respect to time.
When using this method for unilateral constraints between two rigid bodies, the Signorini condition alone is not enough to model the impact process, so impact laws, which give the information about the states before and after the impact, [6] are also required. For example, when the Newton restitution law is employed, a coefficient of restitution will be defined as: , where denotes the relative normal velocity before impact.
For frictional unilateral constraints, the normal contact forces are modelled by one of the methods above, while the friction forces are commonly described by means of Coulomb's friction law. Coulomb's friction law can be expressed as follows: when the tangential velocity is not equal to zero, namely when the two bodies are sliding, the friction force is proportional to the normal contact force ; when instead the tangential velocity is equal to zero, namely when the two bodies are relatively steady, the friction force is no more than the maximum of the static friction force. This relationship can be summarised using the maximum dissipation principle, [6] as
where
represents the friction cone, and denotes the kinematic friction coefficient. Similarly to the normal contact force, the formulation above can be equivalently expressed in terms of the notion of proximal point as: [6]
,
where denotes an auxiliary parameter.
If the unilateral constraints are modelled by the continuum mechanics based contact models, the contact forces can be computed directly through an explicit mathematical formula, that depends on the contact model of choice. If instead the non-smooth theory based method is employed, there are two main formulations for the solution of the Signorini conditions: the nonlinear/linear complementarity problem (N/LCP) formulation and the augmented Lagrangian formulation. With respect to the solution of contact models, the non-smooth method is more tedious, but less costly from the computational viewpoint. A more detailed comparison of solution methods using contact models and non-smooth theory was carried out by Pazouki et al. [11]
Following this approach, the solution of dynamics equations with unilateral constraints is transformed into the solution of N/LCPs. In particular, for frictionless unilateral constraints or unilateral constraints with planar friction, the problem is transformed into LCPs, while for frictional unilateral constraints, the problem is transformed into NCPs. To solve LCPs, the pivoting algorithm, originating from the algorithm of Lemek and Dantzig, is the most popular method. [8] Unfortunately, however, numerical experiments show that the pivoting algorithm may fail when handling systems with a large number of unilateral contacts, even using the best optimizations. [12] For NCPs, using a polyhedral approximation can transform the NCPs into a set of LCPs, which can then be solved by the LCP solver. [13] Other approaches beyond these methods, such NCP-functions [14]
[15] [16] or cone complementarity problems (CCP) based methods [17] [18] are also employed to solve NCPs.
Different from the N/LCP formulations, the augmented Lagrangian formulation uses the proximal functions described above, . Together with dynamics equations, this formulation is solved by means of root-finding algorithms. A comparative study between LCP formulations and the augmented Lagrangian formulation was carried out by Mashayekhi et al. [9]
Quadratic programming (QP) is the process of solving certain mathematical optimization problems involving quadratic functions. Specifically, one seeks to optimize a multivariate quadratic function subject to linear constraints on the variables. Quadratic programming is a type of nonlinear programming.
The principle of maximum entropy states that the probability distribution which best represents the current state of knowledge about a system is the one with largest entropy, in the context of precisely stated prior data.
A hybrid system is a dynamical system that exhibits both continuous and discrete dynamic behavior – a system that can both flow and jump. Often, the term "hybrid dynamical system" is used, to distinguish over hybrid systems such as those that combine neural nets and fuzzy logic, or electrical and mechanical drivelines. A hybrid system has the benefit of encompassing a larger class of systems within its structure, allowing for more flexibility in modeling dynamic phenomena.
In mathematics, a variational inequality is an inequality involving a functional, which has to be solved for all possible values of a given variable, belonging usually to a convex set. The mathematical theory of variational inequalities was initially developed to deal with equilibrium problems, precisely the Signorini problem: in that model problem, the functional involved was obtained as the first variation of the involved potential energy. Therefore, it has a variational origin, recalled by the name of the general abstract problem. The applicability of the theory has since been expanded to include problems from economics, finance, optimization and game theory.
In mathematical optimization theory, the linear complementarity problem (LCP) arises frequently in computational mechanics and encompasses the well-known quadratic programming as a special case. It was proposed by Cottle and Dantzig in 1968.
Interior-point methods are a certain class of algorithms that solve linear and nonlinear convex optimization problems.
Convex optimization is a subfield of mathematical optimization that studies the problem of minimizing convex functions over convex sets. Many classes of convex optimization problems admit polynomial-time algorithms, whereas mathematical optimization is in general NP-hard.
In mathematical optimization, the Karush–Kuhn–Tucker (KKT) conditions, also known as the Kuhn–Tucker conditions, are first derivative tests for a solution in nonlinear programming to be optimal, provided that some regularity conditions are satisfied.
In mathematics, a differential variational inequality (DVI) is a dynamical system that incorporates ordinary differential equations and variational inequalities or complementarity problems.
Multibody system is the study of the dynamic behavior of interconnected rigid or flexible bodies, each of which may undergo large translational and rotational displacements.
In computational chemistry, a constraint algorithm is a method for satisfying the Newtonian motion of a rigid body which consists of mass points. A restraint algorithm is used to ensure that the distance between mass points is maintained. The general steps involved are: (i) choose novel unconstrained coordinates, (ii) introduce explicit constraint forces, (iii) minimize constraint forces implicitly by the technique of Lagrange multipliers or projection methods.
Contact mechanics is the study of the deformation of solids that touch each other at one or more points. A central distinction in contact mechanics is between stresses acting perpendicular to the contacting bodies' surfaces and frictional stresses acting tangentially between the surfaces. This page focuses mainly on the normal direction, i.e. on frictionless contact mechanics. Frictional contact mechanics is discussed separately. Normal stresses are caused by applied forces and by the adhesion present on surfaces in close contact even if they are clean and dry.
The Painlevé paradox is a well-known example by Paul Painlevé in rigid-body dynamics that showed that rigid-body dynamics with both contact friction and Coulomb friction is inconsistent. This result is due to a number of discontinuities in the behavior of rigid bodies and the discontinuities inherent in the Coulomb friction law, especially when dealing with large coefficients of friction. There exist, however, simple examples which prove that the Painlevé paradoxes can appear even for small, realistic friction.
Contact dynamics deals with the motion of multibody systems subjected to unilateral contacts and friction. Such systems are omnipresent in many multibody dynamics applications. Consider for example
Non-smooth mechanics is a modeling approach in mechanics which does not require the time evolutions of the positions and of the velocities to be smooth functions anymore. Due to possible impacts, the velocities of the mechanical system are even allowed to undergo jumps at certain time instants in order to fulfill the kinematical restrictions. Consider for example a rigid model of a ball which falls on the ground. Just before the impact between ball and ground, the ball has non-vanishing pre-impact velocity. At the impact time instant, the velocity must jump to a post-impact velocity which is at least zero, or else penetration would occur. Non-smooth mechanical models are often used in contact dynamics.
Viscoplasticity is a theory in continuum mechanics that describes the rate-dependent inelastic behavior of solids. Rate-dependence in this context means that the deformation of the material depends on the rate at which loads are applied. The inelastic behavior that is the subject of viscoplasticity is plastic deformation which means that the material undergoes unrecoverable deformations when a load level is reached. Rate-dependent plasticity is important for transient plasticity calculations. The main difference between rate-independent plastic and viscoplastic material models is that the latter exhibit not only permanent deformations after the application of loads but continue to undergo a creep flow as a function of time under the influence of the applied load.
In classical mechanics, the Udwadia–Kalaba formulation is a method for deriving the equations of motion of a constrained mechanical system. The method was first described by Firdaus E. Udwadia and Robert E. Kalaba in 1992. The approach is based on Gauss's principle of least constraint. The Udwadia–Kalaba method applies to both holonomic constraints and nonholonomic constraints, as long as they are linear with respect to the accelerations. The method generalizes to constraint forces that do not obey D'Alembert's principle.
SICONOS is an Open Source scientific software primarily targeted at modeling and simulating non-smooth dynamical systems (NSDS):
Jean Jacques Moreau was a French mathematician and mechanician. He normally published under the name J. J. Moreau.
Quantum thermodynamics is the study of the relations between two independent physical theories: thermodynamics and quantum mechanics. The two independent theories address the physical phenomena of light and matter. In 1905, Albert Einstein argued that the requirement of consistency between thermodynamics and electromagnetism leads to the conclusion that light is quantized obtaining the relation . This paper is the dawn of quantum theory. In a few decades quantum theory became established with an independent set of rules. Currently quantum thermodynamics addresses the emergence of thermodynamic laws from quantum mechanics. It differs from quantum statistical mechanics in the emphasis on dynamical processes out of equilibrium. In addition, there is a quest for the theory to be relevant for a single individual quantum system.
Open-source codes and non-commercial packages using the non-smooth based method: