Spherical symmetry makes moments over a ball isotropic tensors. Odd moments vanish under , while the second and fourth moments are
For the second moment, a tensor contraction gives . For the fourth, complete index symmetry makes the three coefficients equal and a double tensor contraction gives . These identities turn polynomial volume integrals into scalar radial integrals and are useful for inertia and rotational averages.
Cartesian tensor 2026-10-20
A Cartesian tensor has components in each orthonormal basis of a Euclidean space, related by the displayed rule under an orthogonal component change . Each index contributes one transformation matrix. The Euclidean inner product identifies upper and lower indices in orthonormal coordinates, so the distinction between covariant and contravariant components does not change this rule. An isotropic tensor has unchanged components under all proper rotations; requiring invariance under reflections as well excludes the ordinary odd-parity cases. A Cartesian second-rank tensor is the matrix case, with transformation .
Inertia tensor of a displaced uniform ball Created 2026-10-20 Updated 2026-10-20
For a uniform ball of radius and positive mass , let be its centre of mass. Spherical symmetry gives the second-moment matrix , so the central inertia tensor is . The tensor parallel-axis theorem gives the displayed shifted tensor. For its eigenvector along has eigenvalue , while the two-dimensional orthogonal complement has repeated eigenvalue . Thus it is an isotropic tensor exactly at . Displacement along a chosen axis does not change that axis's moment; the transverse moments increase by .
Contract an isotropic tensor with the Kronecker delta or the Levi-Civita symbol, using invariance under proper rotations. The three displayed contractions have ranks one, two and three. The only isotropic vector is zero; an isotropic second-rank tensor is a scalar delta, and an isotropic third-rank tensor is a scalar epsilon. For , direct contraction gives and .
Here is the volume of the unit ball in -dimensional Euclidean space. Rotational invariance makes the integral an isotropic tensor, while complete symmetry in its four indices equates the three coefficients. Contracting and gives times their common value. The same contraction of the integral is , proving the formula. For the coefficient is . This is the fourth-order counterpart of the isotropic second moment of a ball.
Isotropic linear magnetostriction vanishes Created 2026-10-14 Updated 2026-10-18
Under proper rotations a third-rank isotropic tensor is proportional to the Levi-Civita symbol. Its contraction with a field vector is antisymmetric in the two stress indices. A physical symmetric stress therefore vanishes in this linear constitutive model. Under the full orthogonal group an ordinary isotropic third-rank tensor is already zero; the orientation-sensitive Levi-Civita tensor requires the usual pseudotensor distinction.
Let , , and , so the single-bead mobility is . Assume an incompressible solvent, constant , negligible bead inertia, and a symmetric positive-definite . The last requirement makes the resistance invertible and Brownian diffusion physically admissible. At a given position and time, depends on the moment but not on the individual configuration .
Use the source's gradient convention , and write for the component-first gradient. Then . The spring forces on the two beads are and . Their overdamped probability currents are
Here the Brownian term written as is a force weighted by probability density. Its corresponding conditional osmotic force is ; treating the given term as an unweighted deterministic force per bead would not produce the stated Fokker–Planck equation.
With midpoint , the derivatives are and . Subtracting the bead currents gives the configuration current
The midpoint current is after neglecting the specified spatial Brownian diffusion. Configuration probability conservation therefore gives
Since has components , this agrees with the source's . The factor two in both spring relaxation and configuration diffusivity comes from relative motion of both beads.
The second moment is the unnormalized conformation tensor. Now multiply by and integrate over configuration space. Assume sufficiently decaying tails so every boundary term at infinite separation vanishes. The affine current gives ; spring drift gives ; two integrations by parts of diffusion give . Hence
Because , is a polynomial in and commutes with it. Thus
This is the Hookean dumbbell conformation equation with anisotropic mobility, an exact second-moment closure within the stated model; no Gaussian approximation to was needed.
The upper-convected derivative of the identity is . Applying it to the polymer stress therefore gives
Consequently the coefficients and the closed stress equation are
where in the printed convention. Here is a polymer relaxation time, unrelated to the inverse-length parameter of question c; is the polymer viscosity scale. The coefficient has inverse-stress units. In the dimensional mobility parameter in the Giesekus model, the dimensionless factor is , not the dimensional printed in this problem.
The upper-convected rate removes the affine stretching and rotation of material connectors. If , then a tensor transported purely as has . Under a time-dependent rigid rotation , the rate transforms as : this is material frame indifference, not an ordinary componentwise time derivative. The resulting equation is the Giesekus model in these dimensional conventions.
The isotropic subtraction is fixed by zero polymer extra stress at thermal equilibrium. With no flow and positive mobility, the stationary distribution is
so . The constitutive equation correspondingly has a zero-stress quiescent state and a Newtonian low-rate limit . Without subtracting exactly , the spring contribution would retain an equilibrium isotropic stress and the equation would acquire corresponding reference terms. Because mobility itself depends on , that reference cannot simply be shifted while retaining the same model. The separate fluid pressure enforcing incompressibility is not included in this polymer extra stress.
An isotropic tensor has unchanged components under every rotation: for rank four, . Orthogonality gives , so each product of paired Kronecker deltas is invariant. Every linear combination of , and is therefore isotropic, for arbitrary coefficients.
For the integral, differentiation away from the origin gives
After multiplication by , this behaves as and is locally integrable in three dimensions. Interpret the integral as the limit with a small central ball removed. A rotation preserves the integration ball and the radial kernel, so the resulting is an isotropic tensor integral. The symmetries and force the two cross-pair coefficients equal:
Taking the trace in uses off the origin and gives . For the other contraction, the displayed Hessian gives . Thus
Solving gives and . Therefore the requested tensor is
This is the quadratically weighted inverse-radius Hessian integral. The origin creates no extra contribution to this weighted integral; even the distributional point term in the unweighted Hessian is annihilated by .
For an orthogonal change of Cartesian coordinates , an ordinary rank- tensor transforms by
An isotropic tensor is invariant under such rotations. Orthogonality gives , so transforming any of the three products of two Kronecker deltas leaves it unchanged. Their linear combination with arbitrary scalar coefficients is therefore isotropic.
For completeness, these three products exhaust the rank-four isotropic tensors in three dimensions. Half-turns about coordinate axes force a nonzero component to contain each coordinate label an even number of times. Axis interchanges then leave just the values , , and . Rotating the first two axes by gives , so . These component values are exactly those of the three-delta-product expression. Thus isotropy of the elastic medium gives this form for its elasticity tensor.
Contracting with the symmetric strain gives
These are the Lamé parameters. Taking the trace determines the scalar part of the strain:
Since , the stored strain energy density is
A nonzero traceless test strain proves necessity of , and a pure scalar strain proves necessity of . Conversely these two conditions make both terms nonnegative for every strain. Thus nonnegative isotropic elastic strain energy is equivalent to
In three dimensions, the general rank-two isotropic tensor is and the general rank-three tensor invariant under proper rotations is . Here is the Kronecker delta and the Levi-Civita symbol. The latter is orientation-sensitive: an ordinary third-rank tensor invariant under all orthogonal transformations is zero instead. This distinction does not change the stress conclusion.
For an isotropic material, the constitutive tensor must consequently have in the proper-rotation convention. Hence . Mechanical stress in the model is also symmetric, so and every component vanishes. Thus nonzero stress linear in the field requires anisotropic material coefficients. This is the isotropic linear magnetostriction vanishes restriction, not a claim that all higher-order magnetostriction is impossible in isotropic materials.
An isotropic tensor has unchanged components under every proper orthogonal change of basis: for every . Orthogonality gives , so the Kronecker delta is isotropic. The determinant identity gives , so the Levi-Civita symbol is isotropic too. If reflections are included, this last object is a pseudotensor: it changes sign. The question's isotropy convention therefore refers to proper rotations.
For the sphere moment , change variables to . Rotations preserve the sphere and its area measure; inserting the component transformation proves that is an isotropic tensor. For the second moment, half-turns about coordinate axes kill the off-diagonal components, while rotations interchanging axes make the diagonal entries equal. Thus it is a multiple . Contracting the indices gives . Odd moments vanish by , including the third moment. The supplied general fourth-rank form and symmetry under every permutation of the four indices make its three coefficients equal. A double contraction then gives . Thus
To explain the weighted volume integrals, put ; its bilinear square is , without complex conjugation. Separating radial and angular factors gives
For the angular factor is . For it is zero by oddness. For it is . Therefore all three requested integrals vanish, assuming the radial integrals exist. More generally the null-vector cancellation of radial moments follows from rotation about the third axis, which multiplies the integral by without otherwise changing it.
A Cartesian isotropic tensor is unchanged by every proper rotation matrix. For a rank-two tensor this means , or . No symmetry of is assumed. For a quarter-turn about the axis,
Comparing entries yields , , , and . In particular,
The remaining matrix has the form . A quarter-turn about the axis gives
Invariance now forces and , proving that an isotropic second-rank tensor is
a scalar multiple of the Kronecker delta.
For the final unheaded conductivity identity, let , the orthogonal projection onto the unit vector . Then and the uniaxial conductivity tensor is . The antisymmetric tensor sends a vector to . Applying it twice and using the vector triple product gives
Consequently
This equals exactly when . Since has rank one and is nonzero, the requested parameter is
At this value conductivity vanishes along ; it is precisely the singular case excluded in part (ii), so there is no conflict with that part's conclusion.
For a Cartesian second-rank tensor, write
The first term is a symmetric second-rank tensor and the second is an antisymmetric second-rank tensor. Taking the trace of the symmetric term and subtracting it gives the scalar, symmetric-traceless and axial tensor decomposition:
Here and . To check reconstruction of the antisymmetric part, contract the Levi-Civita symbols:
Thus , and the displayed contractions also prove uniqueness. The vector associated with the antisymmetric part is an axial vector under reflections, and an ordinary vector under proper rotations.
For the specified isotropic tensor law, contract the Kronecker deltas first:
Write , where and is symmetric and traceless. Transposition preserves its scalar and symmetric-traceless parts and reverses its antisymmetric part. Therefore
Uniqueness of the decomposition gives the isotropic elasticity on tensor components relations. Provided their respective coefficients are nonzero, the requested inverses are
If one coefficient vanishes, that strain component has zero stress response: the corresponding stress component must be zero for a solution to exist, and that strain component is not uniquely recoverable. Isotropy by itself does not guarantee invertibility.
If is symmetric then , hence and the stress is symmetric. Equivalently, direct transposition gives . Restricting to this symmetric-strain case gives
This final two-parameter expression uses the symmetry assumption from the preceding request. For a general nonsymmetric array, the transpose term cannot be absorbed into the same coefficient: it acts with on the symmetric-traceless part and with on the antisymmetric part. The stated coefficient is the coefficient of itself; if one instead writes the conventional elastic law with multiplying the strain, that shear-modulus convention is half this coefficient.
Use the right-handed rotation matrix which sends the positive direction to the positive direction:
The Cartesian second-rank tensor transformation law gives
Here isotropic tensor means invariant under every proper rotation, as is needed for the rank-three assertion involving the Levi-Civita symbol. A passive coordinate rotation through the same angle uses instead; the invariance conclusions are identical.
Setting forces , , and . No symmetry assumption on has been made: it now has the form
Invariance under a right-handed quarter-turn about the axis next gives and , hence and . Conversely for every orthogonal matrix. The general isotropic second-rank tensor is therefore .
An isotropic vector must be fixed by the half-turn about the axis, so its first two components vanish. The half-turn about the axis then forces its third component to vanish. Thus the only isotropic vector is zero. The general isotropic third-rank tensor under proper rotations is . If invariance under the whole orthogonal group were required of an ordinary rank-three tensor, inversion would send to , forcing instead.
The integrand is symmetric in , so is a symmetric tensor. The sphere and its area element are invariant under rotations, and the integrand transforms covariantly when are rotated together. For fixed , rotations about its direction therefore leave unchanged. In axes with along the third axis, the mixed transverse-axial entries vanish and the two transverse eigenvalues are equal. Thus it is an axisymmetric symmetric rank-two tensor,
where depend on but not on the direction of . The restriction makes the integral convergent near : the integrand is of size distance and the local area element has one further radial power.
Take the polar axis along . Because ,
The area element is . Hence with ,
For the second scalar integral, take the trace. It contracts the two chord-vector factors into their squared length:
Put . The tensor form gives , while its axial contraction gives . Solving yields the weighted chord tensor of a sphere coefficients
Because , this is an isotropic tensor exactly when . Therefore is the unique permitted isotropic exponent.
Here isotropic tensors are invariant under proper rotation matrices, and . The isotropic second-rank tensor and isotropic third-rank tensor forms in three dimensions are
with scalar coefficients . One can see completeness directly. A half-turn about each coordinate axis kills every off-diagonal component of a rank-two tensor, and quarter-turns make its three diagonal components equal. For rank three, the half-turns require that each coordinate label occur an odd number of times in a nonzero component. Thus only permutations of survive. Quarter-turns interchange two labels while reversing one sign, forcing the surviving components to alternate with the parity of a permutation. This gives a multiple of the Levi-Civita symbol.
The tensor transformation law verifies invariance of these forms:
The first equality uses orthogonality and the second uses the determinant formula. If reflections were also required while using the ordinary tensor transformation law, the rank-three coefficient would have to vanish. The proper-rotation convention is the one under which is an isotropic tensor.
The ball is unchanged by any rotation matrix, and rotating coordinates has Jacobian determinant one. Thus changing variables gives
These moments are therefore isotropic tensor integrals. For the Cartesian moments of a three-dimensional ball, the second moment is . Taking its tensor contraction gives
The third moment vanishes: preserves the ball and changes the sign of its integrand. Equivalently, its symmetry under index interchange excludes a nonzero multiple of the antisymmetric Levi-Civita symbol.
The fourth moment is symmetric under every permutation of its four indices. The general rank-four isotropic tensor form consequently has equal coefficients, yielding
For example, comparing shows that the three coefficients agree. Contracting and gives
Finally the vector triple product identity gives . The first term integrates to and the second to , using the second moment. Hence
A Cartesian second-rank tensor is an isotropic tensor if its components are unchanged under every proper rotation matrix :
The Kronecker delta is isotropic because , the orthogonality relation .
No symmetry of needs to be assumed. A half-turn about the first axis has matrix ; invariance under it forces to vanish. A half-turn about the second axis additionally kills and . Thus . Each half-turn is the square of an allowed quarter-turn. A quarter-turn about the third axis interchanges , so they are equal. A quarter-turn about the second axis interchanges , so all three are equal. Consequently the complete family of isotropic second-rank tensors is
Conversely, every member of this family is invariant because .
Let be an orthogonal matrix describing a Cartesian change of coordinates, with transformed vector components and . Their outer product transforms as
which is the transformation law of a second-order Cartesian tensor. Here “rank two” counts tensor indices, not the rank of a matrix; a nonzero outer product has matrix rank one.
For an isotropic second-rank tensor, invariance means for every proper rotation matrix. The half-turn matrices , and force all off-diagonal entries to vanish. Quarter-turns around coordinate axes then force the three diagonal entries to be equal. Conversely , so the most general second-rank isotropic tensor is
Since has matrix rank at most one, it cannot equal a nonzero scalar multiple of the three-dimensional identity. Thus its isotropy forces . If , a nonzero component makes the entire th row vanish only when ; the converse is immediate. The required choices are exactly
For the Levi-Civita symbol, multilinearity and antisymmetry of the determinant give
for every . This proves the rotation invariance of the Levi-Civita symbol, hence its third-rank isotropy. The convention is invariance under proper rotations: under an orthogonal reflection , the sign reverses. Thus it is a pseudotensor if transformations of both orientations are included.
In three dimensions, the most general isotropic tensors of ranks zero through three are
The scalar and zero vector are unchanged by rotations. For every , and , proving isotropy.
A tensor is isotropic tensor if its components are unchanged under every proper orthogonal change of basis. The general isotropic rank-four tensor is
where are scalars.