White box / Physical formulations / Solid elements

WEDGE6 · linear triangular prism

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

Browse another sheet Physical formulations / Solid elements
Physical formulationsSolid elementsSheet 5 / 6
Physical formulationQUALIFIED_BOUNDED · static and first-three-mode scopes

Six-node prism. The reference triangle is crossed with a linear coordinate through thickness.

01 Model and scope

The prism basis is the product of a linear triangle basis and a linear through-thickness basis. The tensor-product quadrature combines three triangle points with two line points; orientation and Jacobian checks remain necessary at the integration points.

Route assumptions and calculation checks

  1. The production stiffness rule is a three-point triangle rule times two-point Gauss through thickness.
  2. The bounded static record is for the declared Gmsh Prism 6 and isotropic small-strain scope.
  3. The modal record is limited to the documented homogeneous consistent-mass route and first three modes.

02 Essential equations and symbols

L1=1−r−s,L2=r,L3=sL_1=1-r-s,\quad L_2=r,\quad L_3=sNi=12(1−t)Li,Ni+3=12(1+t)Li,i=1,2,3N_i=\frac12(1-t)L_i,\quad N_{i+3}=\frac12(1+t)L_i,\quad i=1,2,3G=G△,3×Gline,2,∣G∣=6\mathcal G=\mathcal G_{\triangle,3}\times\mathcal G_{line,2},\quad |\mathcal G|=6Ke=∑g=16wgdet⁡(Jg)BgTDBg\mathbf K_e=\sum_{g=1}^{6}w_g\det(\mathbf J_g)\mathbf B_g^T\mathbf D\mathbf B_g

Definitions and conventions

(r,s)
Reference-triangle coordinates.
tt
Reference coordinate through prism thickness.
N1…N6N_{1}…N_{6}
Three lower and three upper prism shape functions.
∑3×2\sum{}_{3}\times{}_{2}
Triangle-by-line quadrature product.
123456Triangle × line interpolation18 translational element DOFs3 triangle points × 2 line pointsSeparate 100-point reference rule for audits
WEDGE6 topology and product quadratureNodes 1–3 form the lower triangular face at t = −1; nodes 4–6 form the upper face at t = +1. The production integration is a triangle rule crossed with a line rule.
4 detailed steps

03 Step by step derivation

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

1 · Product topology and six shape functions

WEDGE6 is the product of a linear triangle and a linear line. Nodes 1–3 lie on t=−1 and nodes 4–6 on t=+1. Each node has three translations, so the element vector contains 18 DOFs. The triangle coordinates satisfy r≥0, s≥0, r+s≤1 while −1≤t≤1.

L1=1−r−s,L2=r,L3=sL_1=1-r-s,\quad L_2=r,\quad L_3=sNi=12(1−t)Li,Ni+3=12(1+t)Li(i=1,2,3)N_i=\tfrac12(1-t)L_i,\quad N_{i+3}=\tfrac12(1+t)L_i\quad(i=1,2,3)∑a=16Na=1,uh=∑a=16Naua∈R18\sum_{a=1}^{6}N_a=1,\qquad \mathbf u_h=\sum_{a=1}^{6}N_a\mathbf u_a\in\mathbb R^{18}

The lower/upper node pairing and prism orientation determine the sign and validity of the map.

2 · Prism Jacobian and geometry certificate

The six-node interpolation is isoparametric. At each point, J maps (r,s,t) into physical coordinates; its inverse transpose maps gradients to physical space. The implementation also runs a certified Jacobian geometry check on the triangular-prism mapping, rejects coincident nodes, and requires positive volume.

x=∑a=16Naxa,J=∂x∂(r,s,t)\mathbf x=\sum_{a=1}^{6}N_a\mathbf x_a,\qquad \mathbf J=\frac{\partial\mathbf x}{\partial(r,s,t)}∇xNa=J−T∇(r,s,t)Na\nabla_xN_a=\mathbf J^{-T}\nabla_{(r,s,t)}N_adet⁡(J)>0 on the certified validity domain,Ve=∫Ω^det⁡(J) dr ds dt\det(\mathbf J)>0\text{ on the certified validity domain},\qquad V_e=\int_{\hat\Omega}\det(\mathbf J)\,dr\,ds\,dt

This certificate is stronger than checking only the six production points, but it remains a statement about the code's declared geometric contract and tolerance.

3 · Six-point production rule and stiffness

Production integration is a three-point triangle rule crossed with two-point Gauss through thickness. Each of the six points has reference weight 1/6. At each point the code builds B, uses det(J), and accumulates the 18×18 stiffness contribution. A richer 100-point Duffy/Gauss rule is retained for verification comparison, not a second default production route.

Gprod=Gtriangle,3×Gline,2,∣Gprod∣=6\mathcal G_{prod}=\mathcal G_{triangle,3}\times\mathcal G_{line,2},\qquad |\mathcal G_{prod}|=6Ke=∑g=16wgdet⁡(Jg)BgTDBg\mathbf K_e=\sum_{g=1}^{6}w_g\det(\mathbf J_g)\mathbf B_g^T\mathbf D\mathbf B_gMe=∑g=16ρwgdet⁡(Jg)[NgTNg⊗I3]\mathbf M_e=\sum_{g=1}^{6}\rho w_g\det(\mathbf J_g)[\mathbf N_g^T\mathbf N_g\otimes\mathbf I_3]

The production mass is described as exact for the polynomial mass integrand of an affine six-node prism. That statement does not extend to arbitrary warped geometry or every material response.

4 · Verification and route scope

The WP07 kernel checks shape functions, derivatives, orientation, affine strains, rigid modes, energy and distorted positive-Jacobian examples. Static and modal maturity are separate records: the card's bounded evidence is for named Gmsh Prism 6, isotropic small-strain static cases and a limited homogeneous consistent-mass modal route (first three modes). The source kernel's presence does not promote general contact, nonlinear, or mixed-material use.

04 Algorithm and implementation

Source excerpt · v0.2.11

The production rule or the explicit reference rule is selected by name. Each point returns its weight, physical strain matrix, and Jacobian determinant before stiffness assembly.

Functions shown: stiffness

Code
def stiffness(self, coords: np.ndarray, quadrature: str = "production") -> np.ndarray:
    stiffness = np.zeros((self.dof_count, self.dof_count), dtype=float)
    for _, weight, b_matrix, determinant in self.integration_data(coords, quadrature):
        stiffness += weight * determinant * (
            b_matrix.T @ self.material.elasticity_matrix @ b_matrix
        )
    return symmetrize(stiffness)
Read the complete versioned implementation →

05 Verification and limitations

QUALIFIED_BOUNDED · static and first-three-mode scopes

Prism orientation and affine-strain checks, then only the recorded static/modal cases.

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 ↑