Taking traces of the constitutive equation gives
The assumed finite limits of stress and strain make the right side bounded. Therefore , and the limiting strain satisfies . The permitted interchange of derivatives and limits gives . Define
Then the limit stress is . Passing to the limit in force balance and using gives
The pressure acts as the Lagrange multiplier enforcing the volume constraint. The differential equations determine it up to an additive constant, while a specified absolute limit stress can fix that constant.
Nonlinear elastic incompressibility is . Expanding the determinant for gives , so its first-order form is precisely . The volumetric energy term becomes increasingly expensive as grows, while the fixed positive leaves shear strain possible. Thus the infinite-bulk-stiffness limit is the incompressible limit of isotropic linear elasticity, with the same equilibrium operator as the steady Stokes equations.
Let the boundary split into a displacement part and a traction part . The linearized stored elastic energy functional is
Its corresponding total potential subtracts the work of fixed body and surface loads:
The problem in the calculus of variations is to minimize among admissible displacements with on . For a stable quadratic elastic energy this is the usual energy minimization formulation. Its stationarity condition suffices to derive equilibrium.
Vary by , with on . Major symmetry combines the two differentiated quadratic terms, giving
Integration by parts, first with test functions compactly supported in the interior, gives . Then arbitrary traces on give the natural traction condition. The complete boundary value problem is
For a homogeneous hyperelastic material the elasticity tensor is constant. In isotropic linear elasticity the constitutive equation is , giving the familiar Navier-Cauchy equation .
The displacement field is , and its gradient is . Linear elasticity expands about an undeformed stress-free reference state, taking with and external loads of the same small order. A rigid translation need not itself be small; it is the deformation gradient that controls the infinitesimal strain tensor.
For with , a Taylor series gives
The constant can be set to zero. The tensor is the elasticity tensor. Commutation of continuous mixed partial derivatives proves its major symmetry:
Material frame indifference at a stress-free reference also makes the quadratic energy depend only on the infinitesimal strain tensor , leading to the usual minor symmetries after spatial and reference indices are identified.
In this scaling, an external force of order may be evaluated on the reference geometry: its change due to the order- displacement contributes only at order . Thus the leading forces are fixed dead loads. Likewise , and , so the Piola transformation gives . Hence Cauchy and first Piola stresses agree to linear order. This reasoning uses the usual small-load, stress-free linearization; an order-one prestress or leading follower-load effect requires a different expansion.
The Green-Lagrange strain tensor has eigenvalues . Its Frobenius norm and trace are invariant under the orthogonal principal-axis change, so
For the homogeneous dilation , put . Then . Differentiating the energy through gives the second Piola-Kirchhoff stress tensor , and multiplication by gives the first Piola-Kirchhoff stress tensor. Thus
The normals of the reference and deformed spheres point in the same radial direction. As , the reference traction magnitude tends to zero, while the current traction magnitude tends to infinity, provided , as for physically stable Lamé parameters. The negative signs of the stress coefficients for indicate compression.
There is no contradiction: the current area is times the reference area, so the same force divided by the vanishing current area has the larger stress. Indeed . The limiting map at is not itself an admissible deformation in continuum mechanics; the statement concerns the approach through positive . A degenerate choice would not have the asserted growth without bound.
For , and . Differentiating the spherically symmetric deformation gives
For an orientation-preserving spherically symmetric deformation with positive radius, and . The radial direction and its perpendicular plane are eigenspaces of this positive symmetric matrix, so
At a positive diagonal matrix , every diagonal rotation with two minus signs commutes with . The supplied equivariance relation therefore forces to be a diagonal matrix: each off-diagonal entry changes sign under one such rotation while stays fixed. Varying a positive diagonal entry shows that the diagonal entries of are . Permutation symmetry of implies when .
Choose a rotation whose first column is . Applying equivariance to now gives
with the derivatives evaluated at . Thus the stress has one radial and one repeated tangential principal value, independently of the choice of tangent basis.
The surface element relation is Nanson's formula. The force on a corresponding pair of current and reference surface elements must agree:
Therefore the first Piola-Kirchhoff stress tensor is
It measures force per reference area, with a current force direction and a reference normal direction.
In components, differentiate . The Piola identity says . One proof writes the cofactor matrix as ; differentiating in produces symmetric second derivatives contracted against antisymmetric epsilon symbols, hence zero. The chain rule consequently gives
since . Thus, with the coordinate composition made explicit,
The distinction between reference divergence and current divergence is essential to this identity.
In the classical smooth setting, a deformation in continuum mechanics is a sufficiently regular, injective map with . Injectivity excludes material interpenetration, and a positive determinant preserves orientation and local volume. We use regularity for these kinematics and additional differentiability where stress-divergence identities are applied.
Cauchy's stress theorem states that the contact force on an oriented surface element at a current point depends on the point and its unit normal, rather than on the shape of the chosen subbody. Thus the contact force on the boundary of a current subbody has the form . Static force balance, for a body force per unit current volume, is
for every subbody. A shrinking pillbox gives ; a shrinking tetrahedron then gives linear dependence on the normal, . Applying the divergence theorem and using arbitrary subbodies gives
If body force is specified per unit mass instead, replace by . Symmetry of follows additionally from conservation of angular momentum in the absence of body couples; it is not a consequence of force balance alone.
Retain the material frame indifference assumption used in part (c), in addition to material isotropy. Put , and . For this antiplane shear,
The invariant identities give and . Hence the restriction of the strain energy density is
Antiplane energy does not determine the full stress: the restriction gives one scalar energy along antiplane gradients. It does not determine the full stress derivative with respect to every entry of .
Indeed, using the isotropic hyperelastic stress invariant representation and differentiating the energy, with denoting the corresponding partial derivatives, gives
Using , the general objective isotropic Cauchy stress tensor is
All derivatives are evaluated at the current invariant triple. The extra terms generally remain nonzero on antiplane gradients, so the printed assertion that the full stress must be does not follow.
A stress-free, objective isotropic counterexample is the compressible neo-Hookean solid , with . Its derivative is , so on antiplane gradients
Take . Then but , whereas and . The diagonal entry would force , contradicting the shear entry. Thus this is not a matter of choosing the right scalar coefficient.
For the additional one-invariant constitutive assumption , the stronger formula does hold, with
This is a valid special case, rather than a consequence of material isotropy alone. For the general restricted energy, the shear entries are still fixed: and , since along . The full normal stress needs the constitutive information that the printed claim omits. If material isotropy alone is interpreted without material frame indifference, even the first reduction to needs that additional material frame indifference assumption.
Take a singular value decomposition , with positive and . Such a choice is possible because . Left material frame indifference removes , and right material isotropy removes , giving .
Moreover is unchanged when the positive diagonal entries are permuted. Every permutation can be implemented by a signed permutation matrix of determinant one; the signs disappear in conjugating a diagonal matrix. Thus the energy depends only on the unordered principal stretches.
The three invariants determine precisely this unordered triple: the roots of are , and their positive square roots give the stretches. Consequently, on the set of admissible invariant triples, define to be . The preceding argument proves that this is well defined and that
Not every positive triple is realizable by three positive roots. Since the requested statement only asserts existence of a function on , extend arbitrarily on the nonrealizable triples; no choice there affects the formula for a deformation in continuum mechanics. Smooth invariant representations, where needed for differentiating the constitutive equation, are understood locally on the realizable set.
Define the invariants by the characteristic polynomial
Because has positive eigenvalues , its invariants are the elementary symmetric functions in those eigenvalues:
The Frobenius norm gives . Write . Since , its singular values are , so
Finally . Therefore
These identities also give and .
A homogeneous hyperelastic material has a strain energy density per unit reference volume depending on the deformation gradient, with no explicit dependence on the reference configuration. For orientation-preserving gradients , its first Piola-Kirchhoff stress tensor is the derivative:
Equivalently the infinitesimal stored-energy change is . Reference and spatial indices are distinguished here by upper- and lowercase index letters.
The material symmetry group may be written . A volume-preserving relabelling convention restricts the candidate to ; the material isotropy criterion is the same. The material has material isotropy when , meaning for every proper rotation . If only rotational symmetries are included in the definition of the group, material isotropy means that group equals . This right-rotation invariance is distinct from material frame indifference, the left-rotation invariance .
The polar decomposition in continuum mechanics gives the unique factorizations
where are positive-definite symmetric matrices. Their common positive eigenvalues are the principal stretches, equivalently the singular values of . They describe the local stretch magnitudes after separating out a rigid rotation.
For a differentiable crack path, the local quasistatic Griffith laws with constant positive toughness are
They express irreversibility, local stability, and energy balance during growth. A strictly subcritical release rate forces the crack to stop.
Fix a crack parameter and let denote the equilibrium displacement with the prescribed time-dependent loads. The scalar equilibrium problem is linear and has a unique solution for its fixed Dirichlet data. Both body force and boundary displacement scale by , so
The minimized potential energy is quadratic under this scaling: the strain term scales by and so does the load term . Hence and
Equivalently the crack-tip coefficient scales by and its squared energy-release formula gives the same result.
Put . Finiteness and continuity of make it bounded by some finite on a neighborhood of . Continuity of supplies a positive interval on which stays in that neighborhood. Shorten it to so that . Then , and complementarity forces throughout. Therefore
No differentiating an unknown crack path or assuming its length already constant is needed; its continuity first gives the local release-rate bound.
Use , with the crack along the negative radial axis. In the coefficient convention used here, the leading crack-tip expansion is
The square-root term is harmonic and has zero angular derivative on both crack faces. Regular contributions may include a constant and bounded-gradient terms under smooth loading.
If is the minimized elastic-plus-load potential, the energy release rate is . With this particular square-root coefficient normalization,
For example, the small-circle energy flux is . The singular term gives , and . Integration over produces the stated factor. Other stress-intensity normalizations change that factor.
For toughness , local stability against infinitesimal extension means , since the derivative of is nonnegative. Global energetic stability against every extension is the stronger condition for all .
In full isotropic linearized elasticity,
For the antiplane field this becomes
Ahead of the tip, , the singular gradient is . Thus
This is stronger than the printed remainder . If denotes a nonnegative intensity, it has the printed leading coefficient; for a signed singular coefficient its absolute value is essential because the left side is a norm.
An antiplane displacement has the form , independent of the out-of-plane coordinate. Only and are nonzero, so its strain energy per unit out-of-plane thickness is .
The equilibrium minimizes total potential energy
Here is the out-of-plane body-force component; the two crack faces have independent traces. For a variation with zero outer-boundary trace, stationarity gives
Integrating by parts first for interior test functions and then for variations free on either crack face yields
These are the weak equilibrium equation, prescribed displacement, and zero traction. The tip behavior is selected by finite energy; it is not an additional prescribed tip value.

Pinned article: Introduction to the OurBigBook Project

Welcome to the OurBigBook Project! Our goal is to create the perfect publishing platform for STEM subjects, and get university-level students to write the best free STEM tutorials ever.
Everyone is welcome to create an account and play with the site: ourbigbook.com/go/register. We belive that students themselves can write amazing tutorials, but teachers are welcome too. You can write about anything you want, it doesn't have to be STEM or even educational. Silly test content is very welcome and you won't be penalized in any way. Just keep it legal!
We have two killer features:
  1. topics: topics group articles by different users with the same title, e.g. here is the topic for the "Fundamental Theorem of Calculus" ourbigbook.com/go/topic/fundamental-theorem-of-calculus
    Articles of different users are sorted by upvote within each article page. This feature is a bit like:
    • a Wikipedia where each user can have their own version of each article
    • a Q&A website like Stack Overflow, where multiple people can give their views on a given topic, and the best ones are sorted by upvote. Except you don't need to wait for someone to ask first, and any topic goes, no matter how narrow or broad
    This feature makes it possible for readers to find better explanations of any topic created by other writers. And it allows writers to create an explanation in a place that readers might actually find it.
    Figure 1.
    Screenshot of the "Derivative" topic page
    . View it live at: ourbigbook.com/go/topic/derivative
  2. local editing: you can store all your personal knowledge base content locally in a plaintext markup format that can be edited locally and published either:
    This way you can be sure that even if OurBigBook.com were to go down one day (which we have no plans to do as it is quite cheap to host!), your content will still be perfectly readable as a static site.
    Figure 5. . You can also edit articles on the Web editor without installing anything locally.
    Video 3.
    Edit locally and publish demo
    . Source. This shows editing OurBigBook Markup and publishing it using the Visual Studio Code extension.
  3. https://raw.githubusercontent.com/ourbigbook/ourbigbook-media/master/feature/x/hilbert-space-arrow.png
  4. Infinitely deep tables of contents:
    Figure 6.
    Dynamic article tree with infinitely deep table of contents
    .
    Descendant pages can also show up as toplevel e.g.: ourbigbook.com/cirosantilli/chordate-subclade
All our software is open source and hosted at: github.com/ourbigbook/ourbigbook
Further documentation can be found at: docs.ourbigbook.com
Feel free to reach our to us for any help or suggestions: docs.ourbigbook.com/#contact