In contact analysis, normal forces follow from the condition that
bodies cannot penetrate each other.
Since we use a penalty formulation, the normal force is given by
where is the penetration and
is called
the contact_penalty_velocity because its generates
forces on the velocity unknowns.
You can also impose groundflow_pressure and condif_temperature contact conditions
by respectively the penalty factors contact_penalty_pressure and
contact_penalty_temperature.