where g 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 as: