[Physics] Origin of the major symmetry property of the elasticity tensor

continuum-mechanicselasticitystress-energy-momentum-tensorstress-strainsymmetry

In linear elasticity theory the stress tensor $\sigma$ is related to the strain tensor $\epsilon$ via the elastic tensor $C$. Specifically

$$
\sigma_{ij} = C_{ijkl} \epsilon_{kl}
$$

Because $\sigma$ and $\epsilon$ are both symmetric second rank tensors,
$\sigma_{ij} = \sigma_{ji}$ and $\epsilon_{kl} = \epsilon_{lk}$ so that $C$
has the so-called "minor symmetries":

$$
C_{ijkl} = C_{jikl} = C_{ijlk}
$$

I can convince myself of that, but what I'm having trouble with is the "major symmetry":
$$
C_{ijkl} = C_{klij}
$$

This allegedly comes from symmetry of the Strain Energy Density $\psi(\epsilon)$,

$$
\psi = \frac{1}{2} C_{ijkl} \epsilon_{ij} \epsilon_{kl}
$$

or some property of its second partial derivatives
$$
C_{ijkl} = \frac{\partial^2 \psi}{\partial \epsilon_{ij}\partial \epsilon_{kl}} = \frac{\partial^2 \psi}{\partial \epsilon_{kl}\partial \epsilon_{ij}} = C_{klji}
$$

To me it looks like its just switching or relabelling the indices
rather than transposition. Any idea what I am missing?

** EXPANDED FOLLOWING Phoenix's POST **

Assuming a 2D solid in reduced ($IJ$) notation the strain density is

$$
\psi = \epsilon_I C_{IJ} \epsilon_J
$$

$$
\psi =
\begin{bmatrix} e & f \end{bmatrix}
\begin{bmatrix}
C_{11} & C_{12} \\
C_{21} & C_{22}
\end{bmatrix}
\begin{bmatrix}
a \\
b
\end{bmatrix}
$$

$$
\psi = e[C_{11} a + C_{12} b] + f[C_{21} a + C_{22} b]
$$

and the second derivatives are
$$
\frac{\partial^2 \psi}{\partial e \partial b} = C_{12}
$$
and
$$
\frac{\partial^2 \psi}{\partial b \partial e} = C_{12}
$$

Even in the special situation of $e=a$ and $f=b$ this still comes
out as
$$
\frac{\partial^2 \psi}{\partial a \partial b} = C_{12} + C_{21}
$$
and
$$
\frac{\partial^2 \psi}{\partial b \partial a} = C_{12} + C_{21}
$$

i.e. nothing there requires $C$ to be symmetric.

Best Answer

You should start with the strain energy density $\psi$, then define: $$ C_{ijkl} = \frac{\partial^2 \psi}{\partial \epsilon_{ij}\partial \epsilon_{kl}}, $$

and then define $$ \sigma_{ij} = C_{ijkl} \epsilon_{kl} $$

The remainder of my answer will be about explaining why you have to do it that way. Firstly it is physical, there really is energy associated with strain, and if there weren't there would not be any stress. Secondly, it is linear exactly because we are considering the changes in energy due to small strains.

But let's go back to the minor symmetries. We need $C_{ijkl}=C_{jikl}$ because otherwise $\sigma_{ij}\neq\sigma_{ji}$ (and then we get arbitrarily large, hence unphysical, angular velocities for smaller and smaller regions). But the other minor symmetry is not required. If someone handed you a random rank four tensor, let's call it $B_{ijkl}$, and called it an elastic tensor and it didn't have the second minor symmetry, you can define $C_{ijkl}=(B_{ijkl}+B_{ijlk})/2$ $D_{ijkl}=(B_{ijkl}-B_{ijlk})/2$ and then $B=C+D$ but when D is contracted with a symmetric rank two tensor (like the strain tensor) it gives zero. So the part of the rank four tensor without that second minor symmetry simply doesn't contribute, as an actor it does nothing (when you think all the elasticity does is give you stress from strain). So you might as well assume your tensor has both minor symmetries because it acts like it has the second ($B$ and $C$ act the same on symmetric tensors) and it has to have the first.

Did I bring that up to be pedantic? No, I brought it up because the same thing happens if you contract the elasticity tensor with a rank four symmetric combination of the strain tensor. The part of the elasticity tensor without the major symmetry doesn't contribute to the strain energy density. So a random tensor needs the first minor symmetry to be physical. But you might as well assume it has the second minor symmetry since it doesn't affect the stress-strain relationship. And you might as well assume it has the major symmetry because the part that doesn't will not contribute to the strain energy density.

But it is the strain energy density that is physical, and how it changes is what elasticity is. So you aren't really deriving these symmetries as much as saying that only the symmetric ones generate the physical things you want, energy when given strain. And a real derivation should start with strain energy density and strain, and then just define elasticity from that.