The first index of the printed Levi-Civita symbol is fixed at . Thus the matrix in the first orthonormal basis is
The specified matrix in the other basis is , with determinant one. If this array were a Cartesian second-rank tensor, an orthogonal basis change would give , and
The determinants disagree, proving the array is not a tensor. The fixed index matters: the TeX aid drops it, but the original PDF clearly prints .
False. The counterexample just given is antisymmetric in every basis and has zero contraction with every symmetric second-rank tensor. It still fails the Cartesian second-rank tensor transformation law, because its value is nonzero in one basis and zero in another. Thus antisymmetry alone, together with symmetric tests, proves no tensor transformation law. The same blindness of symmetric contraction tests to antisymmetric arrays applies even when the array is assumed antisymmetric.
False. Tests against symmetric second-rank tensors see only the symmetric part , because the Frobenius inner product of a symmetric matrix and an antisymmetric matrix is zero:
An arbitrary basis-dependent antisymmetric part is invisible to these tests. For example, prescribe
in one basis, and in another rotated basis, choosing antisymmetric arrays in every remaining basis. Every contraction with any symmetric second-rank tensor is the invariant scalar zero. But an invertible rotation cannot transform this nonzero matrix to zero, so the array is not a Cartesian second-rank tensor. This is the blindness of symmetric contraction tests to antisymmetric arrays.
True. In all four tests, an array is understood to have components specified in each rotated orthonormal basis; being a scalar means that the contraction is invariant under those changes. Write the Frobenius inner product as . Every test Cartesian second-rank tensor obeys . The assumption says
Choosing the elementary matrices as , or choosing , gives . Therefore
which is the required Cartesian second-rank tensor transformation law. This is the scalar contraction test for a Cartesian tensor.
Tensor transformation. Under an orthogonal transformation , the magnetic moment and magnetic field intensity have transformed components , for a proper rotation. The physical relation must retain its form, giving , hence
This is precisely the law for a Cartesian second-rank tensor. Both magnetic quantities are axial vectors; under reflections they each acquire the same determinant sign, which cancels from the transformation of the magnetic susceptibility tensor.
Parallel directions. The condition is the eigenvalue equation . For the matrix in the paper, expansion of gives
Solving the three resulting homogeneous systems gives
The three directions are mutually orthogonal. For the zero eigenvalue, the induced magnetic moment is zero: the proportionality equation still holds with factor zero, though there is then no nonzero moment direction to assign.
Energy extrema. The stipulated energy is . At fixed , a Lagrange multiplier calculation gives
because is a real symmetric matrix. Thus all stationary directions are the eigenvectors, for which . Equivalently write ; then
The Rayleigh quotient immediately gives
The intermediate direction is stationary with but is not an extremum on the sphere. At the minimum , so the precise extremum condition is proportionality, including a vanishing proportionality factor.
Constant-energy surface. In the original field components,
For a fixed positive value , is unrestricted and the cross-section satisfies . The surface is therefore an elliptic cylinder, with axis along and transverse semiaxes along and along . This is an example of level sets of a positive semidefinite quadratic form. At the surface degenerates to the axis line; no negative-energy level exists.
Figure 1.
The susceptibility energy has elliptic cylindrical level sets
. The surface shown has E=1. Its unbounded axis is the zero-eigenvalue direction (1,-1,2); transverse semiaxes are 1 along e1 and 1/sqrt(6) along e6. Only a finite axial segment is drawn. Details.
Adding and subtracting the transpose uniquely separates a Cartesian second-rank tensor into its symmetric tensor and antisymmetric tensor parts:
Then , and . Both parts transform as tensors because transposition commutes with the orthogonal similarity . Uniqueness follows by taking the symmetric and antisymmetric parts of any such decomposition.
Under the same Cartesian change, a vector field has with . The chain rule gives . Since is constant,
This is exactly the order-two tensor component transformation law. Thus the Cartesian vector gradient is a Cartesian second-rank tensor, as in the velocity gradient tensor when is a velocity field.
The restriction to Cartesian transformations matters. In a general position-dependent basis, differentiating the basis contributes extra terms, so the tensorial derivative is the covariant derivative, not an arbitrary array of partial derivatives.
Split the Cartesian second-rank tensor into symmetric and antisymmetric parts:
Define . The symmetric part contributes zero to this contraction. The epsilon-delta identity then gives
Therefore
The symmetric part and the three independent antisymmetric components determine these quantities uniquely. Under proper rotations is a vector; under reflections it is an axial vector.
Scalar contraction test for a Cartesian tensor Created 2026-10-06 Updated 2026-11-05
If an array specified in each orthonormal basis has invariant Frobenius inner product with every Cartesian second-rank tensor, it transforms as such a tensor. For a component change , invariance says for every matrix . Nondegeneracy of the Frobenius inner product forces the difference to vanish. Testing every tensor, rather than a single selected tensor, is essential.
Every three-dimensional Cartesian second-rank tensor splits into scalar, symmetric-traceless, and antisymmetric parts. Their coefficients are , , and . The epsilon contraction identity reconstructs the antisymmetric part and proves uniqueness. Under proper rotations behaves as a vector, but under reflections it is an axial vector.
Symmetric tensor decomposition relative to an axis Created 2026-10-20 Updated 2026-11-05
In three-dimensional Euclidean space, for a real symmetric Cartesian second-rank tensor and a nonzero vector , require and symmetric and traceless with . Put , , , and . The unique decomposition is
The orthogonal projection isolates the plane perpendicular to . Splitting on both sides of gives its longitudinal, mixed and transverse blocks, proving reconstruction. The transverse trace fixes , the longitudinal component fixes , and the mixed block fixes , proving uniqueness. The remaining transverse block has two degrees of freedom. Together carry components, the number in a symmetric three-by-three matrix.