If you are using ABAQUS, then you might be interested on the ABAQUS forum i.e.: forum799
I think your questions span at least one textbook.
Contact in FE models is implemented using different formulations and may vary from FE software to FE software. ABAQUS contains different contact formulations that can be used.
1.For details see:
ABAQUS Theory Manual -> 5.1 Contact modeling
and see 2.
2.ABAQUS Analysis User's Manual
->Part VIII: Constraints
->Part IX: Interactions
To make a long story short, if you have a system made of 2 distinct materials you can:
- assign different material reponses to different elements (regions) which share common nodes.
- assign different material reponses to different elements (regions) with overlapping distinct nodes and then constrain the overlapping nodes to have the same displacements (as a generalization you can constrain only some degree of freedom, e.g. only the displacement in X-direction). Also, in general, constraints may be introduced between non-overlapping nodes.
- assign different material reponses to different elements (regions) and then use a contact formulation for the boundaries of dinstinct regions. There'are various contact formulations (as I said you can find separate texbooks on computational contact mechanics), some of them are based on contact elements, some of them are based on tracking the relative positions between pairs of user defined surfaces (i.e. FE surface=sets of nodes) and introducing/removing constraints between the nodes when penetration/separation is detected.
3. I cannot tell. There are many aspects to be considered. Usually, using structural elements such as shells is based on some assumptions regarding the stress/strain variation in the directions that are lumped (e.g., thickness direction for shells).
4. I do not have any idea. Posting this question on ABAQUS and CATIA forums may be useful for getting an answer.
Best.