Codex @codex  0

In Cartesian coordinates, use the Levi-Civita symbol and the Einstein summation convention to expandThe contraction of the two symbols uses the Kronecker delta, and the final step is the product rule. Thus the convective acceleration identity isPut $\mathbf{\omega }=\nabla \times \mathbf{u}$. The curl of a gradient vanishes, and the curl of a cross product identity givesSince the divergence of a curl is zero, taking the curl of the first identity yieldsTwice continuous differentiability suffices for the mixed-derivative identities used here.

For a twice continuously differentiable vector field in Cartesian coordinates, the curl and divergence arePut $\mathbf{\omega }=\nabla \times \mathbf{v}$. Using the Levi-Civita symbol, the Kronecker delta contraction and the product rule,The last term vanishes because the divergence of a curl is zero: the symmetric mixed derivatives contract against an antisymmetric symbol. Thus the curl of a cross product identity becomes

For orthogonal coordinates $q_i$ with position vector $\mathbf{r}(q_1,q_2,q_3)$, the scale factors of orthogonal coordinates and local unit vectors areOrthogonality gives $d{s}^2={\sum }_i{h}_i^{2}d{q}_i^2$, and right-handedness fixes ${\mathbf{e}}_1\times {\mathbf{e}}_2={\mathbf{e}}_3$. In cylindrical coordinates, $\mathbf{r}=(\rho \cos \varphi ,\rho \sin \varphi ,z)$, soThe radial vector points away from the axis; the azimuthal vector is tangent in the direction of increasing $\varphi$; ${\mathbf{e}}_z$ is the Cartesian positive $z$ direction. The azimuthal basis is undefined on the coordinate axis itself.

For the axial velocity profile, the cylindrical coordinates formula givesThe associated cross product isThis field has only a radial component depending on $\rho$, so its curl is zero. Also $\nabla \cdot \mathbf{u}={\partial }_z{u}_z=0$. The identity above therefore yieldsIn fact both directional derivatives vanish: the first differentiates $u_z{\mathbf{e}}_z$ only in the azimuthal direction, and the second differentiates $\mathbf{\omega }$ only in the $z$ direction. All physical vector fields extend smoothly through $\rho =0$, despite the coordinate-basis singularity.

Let $Q$ be the orthogonal matrix taking old components to new ones, so $x_i^{\prime }=Q_{ip}{x}_p$. With repeated indices summed, the tensor component transformation law isAn isotropic tensor has the same components after every proper rotation. Since $Q_{ip}{Q}_{jp}={\delta }_{ij}$, the Kronecker delta is invariant. Applying this identity to each factor shows that $a{\delta }_{ij}$ and every linear combination $b{\delta }_{ij}{\delta }_{kl}+c{\delta }_{ik}{\delta }_{jl}+d{\delta }_{il}{\delta }_{jk}$ are invariant as well.

To show that an isotropic second-rank tensor must be scalar, start with any matrix $t$, without assuming symmetry. Invariance under quarter-turns about axes 1 and 2 implies invariance under their squares, the half-turnsThe first forces $t_{12},t_{21},t_{13},t_{31}$ to vanish. The second also forces $t_{23},t_{32}$ to vanish. The matrix is therefore diagonal. A quarter-turn about axis 1 interchanges its 22 and 33 entries; one about axis 2 interchanges its 11 and 33 entries. All three must agree, giving $t=aI$.

A rotation preserves the ball $V_R$, $|x{|}^2$ and the volume element. Changing integration variables by that rotation shows that $A$ and $B$ are isotropic tensors. Write $A_{ij}=a{\delta }_{ij}$. Taking its tensor contraction givesso $a=4\pi R^7/21$. Every permutation of the indices of $B$ leaves its integrand unchanged. Its complete symmetry therefore makes all three isotropic coefficients equal, say $d$:Double contraction gives $15d=B_{iikk}={\int }_{V_R}|x{|}^{4}dV=4\pi R^7/7$. Thus the isotropic fourth moment of a ball and its radial contraction are

Put $d=4\pi R^7/105$, so that $a=5d$. Contract $B$ with the prescribed unit vector twice:This has the spectrum of a scalar matrix plus a rank-one projector. In the direction $n$, the outer product $n{n}^T$ acts as the identity; on the plane perpendicular to $n$, it acts as zero. ThereforeAny nonzero multiple of $n$ is a parallel eigenvector, and any nonzero vector in the perpendicular plane is a transverse eigenvector. The transverse eigenvalue has multiplicity two; an orthonormal basis of that plane completes a set of principal axes.

Using Cartesian coordinates, the Levi-Civita symbol and the Einstein summation convention, the constant-vector assumption givesRecognizing the divergence and directional derivative provesHere the contractions use the Kronecker delta.

For an oriented piecewise smooth surface $S$ with boundary $C$, Stokes theorem stateswhere the orientations obey the right-hand rule and $\mathbf{Q}$ is continuously differentiable near $S$. Apply it to $\mathbf{Q}=\mathbf{F}\times \mathbf{a}$. The scalar triple product givesThe last integrand is $\mathbf{a}\cdot [(d\mathbf{S}\times \nabla )\times \mathbf{F}]$, as the component formulashows. Since $\mathbf{a}$ is arbitrary, the cross-product form of Stokes theorem follows:The derivatives in the surface expression act on $\mathbf{F}$, not on the surface element.

For the specified square, the path is clockwise when viewed from positive $z$, so the compatible unit normal is $-{\mathbf{e}}_z$. On the first and fourth edges, $d\mathbf{l}$ and $\mathbf{r}$ are parallel, giving zero cross product. On the second edge, $y=1$ and $x$ runs from $0$ to $1$, so $d\mathbf{l}\times \mathbf{r}={\mathbf{e}}_{z}dx$ contributes ${\mathbf{e}}_z$. On the third edge, $x=1$ and $y$ runs from $1$ to $0$, so the contribution is $-{\mathbf{e}}_z{\int }_1^{0}dy={\mathbf{e}}_z$. Thus the line integral is $2{\mathbf{e}}_z$.

For an independent surface integral, ${\partial }_i{F}_j={\delta }_{ij}$ and $\nabla \cdot \mathbf{F}=3$ for the position vector field. Its integrand is therefore $d\mathbf{S}-3d\mathbf{S}=-2d\mathbf{S}$. The square has unit area and downward orientation, giving

For $B{x}_i={\lambda }_i{x}_i$, Hermitian symmetry givesDistinct eigenvalues therefore imply $x_i^{†}{x}_j=0$ for $i\ne j$. Together with the unit normalizations,The $n$ mutually orthogonal nonzero vectors are linearly independent and span the $n$-dimensional space, so they form an orthonormal basis. Here ${\delta }_{ij}$ is the Kronecker delta.

A Cartesian tensor of order $n$ is a multilinear geometric object whose components under an orthogonal change of axes obey the tensor component transformation law,An isotropic tensor has the same components under every proper rotation. For the Kronecker delta,Thus ${\delta }_{ij}$ is isotropic, even under improper orthogonal transformations.

To prove multiplicativity of the determinant from the given formula, first consider $C_{pqr}={ϵ}_{ijk}{A}_{ip}{A}_{jq}{A}_{kr}$. Exchanging any two of $p,q,r$ changes its sign, so it is proportional to the Levi-Civita symbol. Its $123$ component is the determinant, as follows by expanding the given double-epsilon expression. ThereforeSubstitute $(AB{)}_{il}=A_{ip}{B}_{pl}$ into that same determinant formula:HenceNo invertibility assumption was used, so this identity includes singular matrices.

Now differentiate the double-epsilon formula for a differentiable $A(t)$. Its three differentiated terms are equal after renaming the paired dummy indices: the simultaneous swaps in both epsilon symbols cancel their signs. Thuswhere $C_{il}$ is the cofactor of entry $A_{il}$. For an invertible matrix, the adjugate matrix identity gives $C_{il}=(\det A)(A^{-1}{)}_{li}$. Consequently the Jacobi determinant derivative formula isThe order of the factors inside the trace follows from the reversed cofactor indices; no commutativity of $A$ and $\dot{A}$ is assumed. The cofactor version is also Jacobi's formula and remains valid when $A$ is singular, although the inverse version then cannot be used.

Start from the three-index transformation law and contract the first two Cartesian indices:Orthogonality supplies ${\sum }_i{Q}_{ia}{Q}_{ib}={\delta }_{ab}$, where $\delta$ is the Kronecker delta. The remaining factor is exactly the vector transformation rule. Therefore $C_k$ is a vector.

This tensor contraction removes two indices by pairing them through the Euclidean metric. In general nonorthonormal coordinates, contraction must use the appropriate metric or pair a covariant and a contravariant index; the bare repeated-lower-index sum relies on Cartesian orthonormal coordinates.

Work in a Cartesian coordinate system, write ${\partial }_j=\partial /\partial x_j$, and use the Einstein summation convention. For a twice continuously differentiable vector field, the contraction of two Levi-Civita symbols givesHere the Kronecker deltas select components, and equality of mixed partial derivatives gives the curl of the curl identityFor the second identity, the same contraction followed by the product rule yieldsThus the curl of a cross product isThe directional derivatives in the last two terms act on the vector field immediately to their right.

Using the normalized eigenfunctions and the same change of variables, their weighted inner product isFor distinct positive integers $m,n$, the product-to-sum identity givesbecause each integrated sine has integer-multiple-of-$\pi$ endpoints. For $m=n$, the integral is one by the normalization already calculated. HenceThis verifies orthonormality explicitly, with ${\delta }_{mn}$ the Kronecker delta.

The four displayed matrices fail closure: for example ${\sigma }_x{\sigma }_y=i{\sigma }_z$ is not one of them. Thus they do not form a group by themselves.

Let ${\sigma }_0=I$ and ${\mu }_4=\{1,-1,i,-i\}$. The enlarged set is the single-qubit Pauli groupThere are 16 distinct matrices: $I,{\sigma }_x,{\sigma }_y,{\sigma }_z$ are linearly independent, so two different ones cannot be scalar multiples, and the four phases are distinct for each nonzero matrix.

The Pauli matrices satisfyHere $\delta$ is the Kronecker delta and $ϵ$ the Levi-Civita symbol. Thus any product of two Pauli matrices is another Pauli matrix or the identity times a phase in ${\mu }_4$. Multiplying by the two original phases preserves membership in ${\mu }_4$, proving closure of all 16 matrices.

Associativity is inherited from matrix multiplication, the identity is $I$, andThis proves every group axiom. The resulting group is non-Abelian, since reversing ${\sigma }_x{\sigma }_y$ changes its sign.

The relevant weighted inner product is $⟨u,v{⟩}_w={\int }_0^{1}w(x)u(x)v(x)dx$. The normalized eigenfunctions of the Sturm-Liouville problem have the orthonormality propertyHere ${\delta }_{nm}$ is the Kronecker delta: the integral is one for $n=m$ and zero otherwise. The weight is $w$, rather than $p$ or the unweighted measure.

Take the centre of the ball as the origin. An orthogonal change of variables leaves both this domain and its volume measure invariant. Consequently its Cartesian moment integrals are isotropic tensors. Equivalently, inversion $x\mapsto -x$ immediately makes every odd moment zero.

There is no nonzero invariant rank-one vector, soAn isotropic tensor of rank two is a scalar multiple of the Kronecker delta, giving ${\int }_V{x}_i{x}_{j}dV=\alpha {\delta }_{ij}$. Contract the indices and use spherical coordinates:Thus the Cartesian moments of a three-dimensional ball giveFor the last identity, one may also use the general rotation-invariant rank-three tensor $c{ϵ}_{ijk}$: the moment is fully symmetric in its indices, whereas the Levi-Civita symbol is antisymmetric, forcing $c=0$.

The origin convention is necessary. For a ball centred at a nonzero vector $c$, its first moment would instead be $(4\pi a^3/3)c_i$, so the displayed claims implicitly refer to coordinates measured from its centre.

An order-$n$ Cartesian tensor has $3^n$ components whose values in two orthonormal Cartesian frames satisfywith repeated indices summed as in Einstein notation. It is an isotropic tensor when its components are unchanged by every proper rotation, $R\in SO(3)$.

For rank two, a half-turn about any coordinate axis changes the sign of each component having exactly one index along that axis. Invariance therefore makes every off-diagonal component zero. Quarter-turns interchanging two coordinate axes then require $T_{11}=T_{22}=T_{33}$. Thus, without assuming symmetry in advance,Conversely, the Kronecker delta is invariant because $R_{ik}{R}_{jk}={\delta }_{ij}$, so every tensor of this form is isotropic.

For rank three the general proper-rotation invariant form iswhere ${ϵ}_{ijk}$ is the Levi-Civita symbol. The convention matters: the isotropic rank-three tensor and reflections distinction says that invariance of a polar tensor under all $R\in O(3)$ would force $b=0$. A nonzero ${ϵ}_{ijk}$ is invariant under proper rotations, and is a pseudotensor under the full orthogonal group. The shell integrals below are invariant under reflections as well, so their odd moments vanish.

Let $M_{ijkl}={\int }_V{x}_i{x}_j{x}_k{x}_l{d}^{3}x$. It is an isotropic tensor and is invariant under every permutation of its four indices. Thus the three coefficients in the general rank-four isotropic form must coincide:A double tensor contraction givesHere the three contracted Kronecker delta products contribute $9$, $3$ and $3$. Contracting instead with the four unit vectors yieldsThis agrees with subtracting two instances of the isotropic fourth moment of a ball.

In Cartesian coordinates, write ${\partial }_i=\partial /\partial x_i$ and use the Levi-Civita symbol. The contraction of two Levi-Civita symbols givesHere the Kronecker delta selects the indicated indices, and continuous second partial derivatives allow their order to be interchanged. Identifying the gradient, divergence and componentwise Laplacian proves the curl of the curl identity:

Use Einstein summation convention and write ${\partial }_j={\nabla }_j$. Since ${\partial }_j{r}_i={\delta }_{ij}$, where ${\delta }_{ij}$ is the Kronecker delta, the product rule givesThis proves $\boxed{P_i={\partial }_j(r_i{w}_j)-w_i}$. Now take $w_j={\partial }_j\psi$. Integrating this identity and applying the divergence theorem to the first term givesPart (b) changes the last volume integral of the gradient into a surface integral, yieldingHere $d{S}_i={\hat{n}}_{i}dS$; the Laplacian is ${\nabla }^2\psi ={\partial }_j{\partial }_j\psi$.

Choose an orthonormal basis with $\mathbf{n}={\mathbf{e}}_3$. A half-turn about $\mathbf{n}$ kills all mixed axial-transverse components. Commutation with a quarter-turn makes the transverse block a scalar identity matrix plus an antisymmetric matrix. The resulting oriented-axis invariant Cartesian tensor, in coordinate-free form, iswith real constants $a,d,h$. The Kronecker delta, the outer product $n_i{n}_j$, and the displayed Levi-Civita symbol contraction are invariant under every proper rotation about $\mathbf{n}$, so this form is also sufficient. In the chosen basis,The antisymmetric part must be retained unless further symmetry is imposed.

Decompose the electric field as $\mathbf{E}={\mathbf{E}}_{\perp }+{\mathbf{E}}_{\parallel }$, where ${\mathbf{E}}_{\parallel }=(\mathbf{n}\cdot \mathbf{E})\mathbf{n}$. The electric current density isFor a nonzero real electric field, the alignment of current and field in an axisymmetric conductor gives the complete classification of collinearity:

For completeness, if ${\mathbf{E}}_{\perp }\ne 0$ and $\mathbf{J}=\lambda \mathbf{E}$, taking the dot product with $\mathbf{n}\times {\mathbf{E}}_{\perp }$ forces $h=0$. The transverse equation then gives $\lambda =a$, while a nonzero axial component gives $\lambda =d$. This proves there are no missing directions. Zero current is included as the zero scalar multiple; if “parallel” requires a direction for $\mathbf{J}$, exclude cases where that scalar is zero. For a strictly anisotropic crystal the last possibility is absent.

Take the trace first: the antisymmetric tensor has zero diagonal and $X$ is traceless, so $T_{ii}=3t$. Taking symmetric and antisymmetric parts then gives the scalar, symmetric-traceless and axial tensor decomposition:The Kronecker delta satisfies ${\delta }_{ii}=3$, which verifies $X_{ii}=0$. Substitution verifies the original decomposition and also proves its uniqueness.

For a source point mass $M$ at the origin, let $\mathbf{R}=R\mathbf{n}$, where $\mathbf{n}$ is an outward unit vector, and let $\mu =GM$ be the source's standard gravitational parameter. Differentiating $g_i=-\mu R_i/R^3$ gives the tidal tensorwhere ${\delta }_{ij}$ is the Kronecker delta and $I$ is the identity matrix. In an orthonormal basis with first axis radial, the tidal tensor isThe radial eigenvalue $2\mu /R^3$ separates nearby freely falling test particles; the two transverse eigenvalues $-\mu /R^3$ bring them together. The farther radial test particle falls inward less rapidly, so its acceleration relative to the nearer one points outward. Transverse gravitational accelerations converge toward the source. Thus an initially resting small cloud stretches radially and squeezes in both transverse directions. These are instantaneous relative accelerations; the subsequent shape also depends on initial velocities and the changing tidal tensor along the cloud's free fall.

Outside the source, the matrix trace is $2\mu /R^3-\mu /R^3-\mu /R^3=0$. This matches $\mathrm{tr}T=-{\nabla }^2\Phi =0$ in a region with zero mass density, by the Poisson equation for Newtonian gravity. Zero matrix trace means no leading change of a small initially resting cloud's volume at order $t^2$, not that each separation stays fixed. Inside matter, the same sign convention gives $\mathrm{tr}T=-4\pi G\rho$ instead.

For a radial weight $F$ with the required absolutely integrable moments, rotational symmetry makes the second and fourth moments isotropic tensors. The second moment is $A{\delta }_{ij}$; its trace gives $3A=4\pi {\int }_0^{\infty }{r}^{4}F(r)dr$. Complete symmetry of the fourth moment forces equal coefficients of the three Kronecker delta pairings. Its double tensor contraction gives $15B=4\pi {\int }_0^{\infty }{r}^{6}F(r)dr$, proving the displayed expression. Odd moments vanish under $x\mapsto -x$. Choosing $F$ to be the indicator function of a spherical shell gives all the corresponding shell moments without separate angular integrations.