Existence and Uniqueness of Solution for Linear Complementarity Problem in Contact Mechanics

Although a unique solution is guaranteed in the Linear complementarity problem (LCP) when the matrix M is positive definite, practical applications often involve cases where M is only positive semi-definite, leading to multiple possible solutions. However, empirical observations suggest that uniqueness can still emerge under certain structural conditions on the matrix M and vector q. Motivated by an unresolved problem in nonlinear modeling for beam contact in directional drilling, this paper systematically investigates conditions under which a unique solution exists for LCPs with certain positive semi-definite matrices M. We provide a rigorous proof demonstrating the existence and uniqueness of the solution for this specific case and extend our findings to establish a generalized framework applicable to broader classes of LCPs. This framework enhances the understanding of LCP uniqueness conditions and provides theoretical guarantees for solving real-world problems where positive semi-definite matrices M arise.