See: Is there a contact model in FEniCS for two imported physical volumes? - #10 by dokken
There is also alot of work on this topic going on at: GitHub - Wells-Group/asimov-contact: Contact models for ASiMoV
2 Likes