example 30.71 Contact stresses are enormous

Rests on

• depends_on equation 30.60 eq:elast-hertz ¶
• depends_on phenomenon 30.70 Hertzian contact ¶
  • depends_on definition 30.31 The engineering moduli ¶
    • depends_on definition 30.20 Pressure and deviatoric stress ¶
      • depends_on proposition 30.19 The stress tensor is symmetric ¶
        • depends_on definition 30.17 Traction ¶
        • depends_on theorem 30.18 Cauchy: the stress tensor exists ¶
        • proves proof ch:13-continuum-elasticity@proof-8 ¶
      • depends_on theorem 5.79 Spectral theorem for a self-adjoint operator ¶
        • depends_on corollary 5.72 Existence of an eigenvalue over $\C$ ¶
        • depends_on definition 5.41 Adjoint ¶
        • depends_on theorem 5.40 Rank–nullity ¶
        • proves proof ch:03-linear-algebra-representations@proof-31 ¶
    • depends_on equation 30.21 eq:elast-hooke-isotropic ¶
  • depends_on proposition 30.23 Virtual work; the weak form ¶
    • depends_on definition 30.22 Boundary conditions of elastostatics ¶
      • depends_on definition 10.24 Well-posed problem ¶
        • depends_on definition 10.1 Partial differential equation; order ¶
        • depends_on definition 6.24 Metric ¶
      • depends_on theorem 30.21 Cauchy's equation of motion ¶
        • depends_on theorem 7.133 Gauss ¶
        • depends_on theorem 30.18 Cauchy: the stress tensor exists ¶ ↺
        • proves proof ch:13-continuum-elasticity@proof-9 ¶
    • depends_on theorem 30.21 Cauchy's equation of motion ¶ ↺
    • proves proof ch:13-continuum-elasticity@proof-10 ¶
  • proves proof ch:13-continuum-elasticity@proof-34 ¶
  • proves proof ch:13-continuum-elasticity@prooflink-3 ¶

Supports

Nothing declares a dependency on this node yet.