# When is shear useful?

Shear is the symmetric, tracefree part of the gradient of a vector field.

If you were to decompose the gradient of a vector field into antisymmetric ($\propto$ curl), symmetric tracefree (shear), and tracefull(?) ($\propto$ divergence) parts you'd get that it has components:

$$\frac {\partial A_i}{\partial x^j} = \sigma(A)_{ij} - \frac 12 \epsilon_{ijk}(\nabla \times A)_k + \frac 13 \delta_{ij} (\nabla \cdot A)$$

where $\sigma(A)$ is the shear and is defined as

$$\sigma(A)_{ij} = \frac 12 \left(\dfrac {\partial A_i}{\partial x^j} + \frac {\partial A_j}{\partial x^i}\right) - \frac 13 \delta_{ij} (\nabla \cdot A)$$

Is the shear of a vector field only useful in fluid mechanics? Does it have any use in pure mathematics -- perhaps analysis or differential geometry? If so, does anyone have a reference?

• I don't know if use is the right word to use for pure math, but it does come up in pure math in the study of fluid mechanics and I think a similar idea comes up in geophysics in terms of shear waves. – Cameron Williams May 8 '15 at 3:57
• @Yes OK. It's done. – user238844 May 8 '15 at 4:08
• Oops. That's fixed too now. – user238844 May 8 '15 at 4:13

In the special case of two dimensions the shear operator is known as the Cauchy-Riemann operator (or $\bar \partial$ operator, or one of two Wirtinger derivatives), and is denoted $\dfrac{\partial}{\partial \bar z}$. It is certainly useful in complex analysis.
The $n$-dimensional case comes up in the theory of quasiconformal maps where the operator $\sigma$ is known as "the Ahlfors operator", even though the concept certainly predates Ahlfors and goes back at least to Cauchy. Sometimes the name is expanded to be more historically accurate. Other times it's called "the distortion tensor" or the $n$-dimensional Cauchy-Riemann operator. Examples of usage: