Contact-mode timestep stability

ID: contact-mode-timestep-stability

Contact-mode timestep stability concerns whether a numerical integrator introduces growing errors when advancing the fast dynamics of an active penalty contact. It depends on the integration rule and the local modal frequencies, not just the size of the modeled overlap. The primary compliant-contact treatment identifies stiff contact springs as a source of numerically stiff differential equations.[ref]
Freeze the active contacts and linearize about a compressed equilibrium. An undamped mode has . For step , put . The Forward Euler method updates displacement and velocity with matrix
whose eigenvalues are . Their magnitudes are whenever . Thus the method has no nonzero stable step for indefinite integration of this undamped oscillator, although smaller steps reduce its error on a fixed finite interval.
The central-difference recurrence instead gives
For its two distinct amplification roots lie on the unit circle. At the repeated root is , and solutions can include , so the strict bound matters. A collection of frozen undamped modes therefore requires for this oscillatory stability condition. In coupled normal-contact penalty modes, comes from the coupled system rather than an arbitrary total-mass estimate.
Stability still allows substantial contact-mode numerical phase error. For central differences the phase per step is , giving numerical angular frequency . At and , is stable but the numerical frequency is about , high. A timing-sensitive contact event can consequently drift even when oscillation amplitudes do not grow.
Implicit schemes illustrate another tradeoff. For the Backward Euler method, the amplification factors are and have magnitude . At , each step reduces the oscillatory amplitude by about , despite the continuous undamped system conserving energy. The trapezoidal rule instead has factors
with phase . The same example gives , low. Unconditional stability for this linear model does not imply correct timing at a large step.
A practical error check therefore compares both amplitude and phase while reducing . For instance, a small target dimensionless step gives much smaller phase error than one, but the acceptable value depends on the observable and time span; it is not a universal accuracy certificate.
The frozen-mode argument has a defined scope. Contact opening changes the active stiffness, nonlinear force laws change tangent stiffness, and damping introduces additional eigenvalue scales. An integrator can satisfy the local oscillator bound while missing an intervening collision or contact release. A proposed test starts with a small compressed-contact perturbation, checks frequencies and energy behavior, then repeats across a known contact-opening event with decreasing steps. Record force histories and event times as well as penetration, so numerical damping or phase drift is not mistaken for a material response.

New to topics? Read the docs here!