White box / Physical formulations / Contact and friction

Nonlinear frictionless penalty

Physical formulation · assumptions, essential equations, full derivation, algorithm, code and verification references.

Browse another sheet Physical formulations / Contact and friction
Physical formulationsContact and frictionSheet 3 / 5
Physical formulationEXPERIMENTAL_BOUNDED · static/quasi-static declared routes

A penalty force acts only for negative gap; the local rank-one tangent follows the fixed contact direction in the initial-search route.

01 Model and scope

The penalty law activates only when the gap becomes negative; penetration is converted into a restoring force proportional to stiffness k. Increasing k reduces penetration but worsens conditioning, so the penalty value and mesh sensitivity must be reported rather than assuming exact contact.

Route assumptions and calculation checks

  1. Finite controlled penetration is an observable of the penalty law; zero penetration is not a universal acceptance condition.
  2. The initial-search regime fixes the selected face and normal during the nonlinear solve.
  3. Updated-search uses a geometry approximation; it is not a generally consistent finite-sliding tangent.

02 Essential equations and symbols

fcontact=kmin(g(u),0)cfcontact = k min(g(u), 0) cKcontact=kc⊗cKcontact = k c \otimes{} c

Definitions and conventions

kk
Normal penalty stiffness.
g(u)
Signed normal gap.
min(g,0)
Zero in separation, negative during penetration.
cc
Declared contact-force direction for the selected pair.
Nonlinear frictionless penalty · method mapThe penalty force and rank-one tangent switch on only while the signed gap is negative.
4 detailed steps

03 Step by step derivation

Follow the assumptions, equations and discrete operations in order. The full explanation stays visible.

1 · Replace the hard constraint by a penalty potential

The penalty route approximates impenetrability with a normal spring active only after the gap becomes negative. It keeps the problem in displacement coordinates, but it trades exact closure for a finite penetration whose magnitude depends on stiffness and the structural compliance.

⟨x⟩+=max⁡(x,0),Πc(g)=12k⟨−g⟩+2\langle x\rangle_+=\max(x,0),\qquad \Pi_c(g)=\tfrac12k\langle-g\rangle_+^2p(g)=∂Πc∂(−g)=k⟨−g⟩+p(g)=\frac{\partial\Pi_c}{\partial(-g)}=k\langle-g\rangle_+

2 · Differentiate the fixed-direction force

For the frozen contact direction c, the contact residual is proportional to the negative part of the gap. In the closed regime its derivative with respect to displacement produces a rank-one tangent; in the open regime both the penalty force and its tangent vanish.

fc(u)=kmin⁡(g(u),0) c\mathbf f_c(\mathbf u)=k\min(g(\mathbf u),0)\,\mathbf cKc=∂fc∂u=k c⊗c(g<0),Kc=0(g>0)\mathbf K_c=\frac{\partial\mathbf f_c}{\partial\mathbf u}=k\,\mathbf c\otimes\mathbf c\quad(g<0),\qquad\mathbf K_c=\mathbf0\quad(g>0)

3 · Solve the piecewise nonlinear equilibrium

At each trial displacement, reevaluate the gap, contact force, and tangent, then assemble them with the structural terms. Newton iterations can move a pair between open and closed states, so convergence is assessed on the full equilibrium residual and the active-contact diagnostics.

R(u)=fext−fint(u)−fc(u)\mathbf R(\mathbf u)=\mathbf f_{ext}-\mathbf f_{int}(\mathbf u)-\mathbf f_c(\mathbf u)KT(uk)Δuk=R(uk)\mathbf K_T(\mathbf u_k)\Delta\mathbf u_k=\mathbf R(\mathbf u_k)

4 · Choose stiffness and report its consequence

A larger k generally reduces penetration but worsens conditioning; an excessively small k gives a numerically easy solve with physically large overlap. Sweep k over a documented range and report both penetration and equilibrium error. The current initial-search route fixes the candidate face and normal.

δmax=max⁡j⟨−gj⟩+,pmax=kδmax\delta_{max}=\max_j\langle-g_j\rangle_+,\qquad p_{max}=k\delta_{max}report (k,δmax,∥R∥,iterations)\text{report }(k,\delta_{max},\|\mathbf R\|,\text{iterations})

Zero penetration is not the acceptance criterion for a penalty law; the declared tolerance and contact stiffness are part of the model.

04 Algorithm and implementation

Read the linked versioned source for the actual assembly and solver behavior. The derivation above explains the mathematics and is not a verbatim source excerpt.

05 Verification and limitations

EXPERIMENTAL_BOUNDED · static/quasi-static declared routes

Each reference supports its own model, observable and analysis route. Read the original contract and limitations before transferring a conclusion.

06 Sources and related sheets

Continue the reasoning

Back to sheet contents ↑