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 .
Use the Cartesian second-rank tensor transformation convention , where is the orthogonal matrix converting components to the new orthonormal basis. The coordinate half-turns are
For a diagonal rotation , invariance gives , with no summation in this equation. For each , one of the listed half-turns makes , so . Thus
This is coordinate half-turn invariance of a second-rank tensor. It does not force equal diagonal entries; invariance under all rotations would be the stronger isotropic second-rank tensor condition.
The continuous harmonic function has on the compact sphere. Integrate these inequalities over its area and use the mean value property for harmonic functions:
The centre value is an average with positive weights, so it lies between the smallest and largest boundary-sphere values.
Put , with . The Jacobian determinant in spherical coordinates gives , so
Differentiation under this fixed-domain integral yields
The last step is the divergence theorem and the Laplace equation. Hence is constant on radii for which the closed ball lies inside . Continuity at the origin gives , proving the mean value property for harmonic functions:
For the usual Dirichlet problem on a bounded regular volume, suppose both satisfy the stated data. Their difference is a harmonic function, with in and on . In Green's first identity, choose both functions equal to :
The nonnegative continuous integrand forces . Thus is constant on each connected component, and its zero boundary values force each constant to vanish. This proves uniqueness for the Dirichlet problem.
If the boundary value is a constant , the constant function is itself a harmonic function with those data. Uniqueness therefore yields
Boundedness, or an appropriate condition at infinity replacing it, is essential. On the upper half-space both and are harmonic functions with zero data on its boundary plane. They show why unrestricted uniqueness must not be asserted for an unbounded volume.
Apply the divergence theorem to , for functions smooth enough on the closure of the bounded piecewise smooth volume. The product rule gives
Thus Green's first theorem, also called Green's first identity, is
The normal is outward. This identifies the boundary term and its sign directly from the divergence theorem.
Suppose . Applying would give , contradicting linear independence of the two eigenvectors. Therefore the generalized eigenvector lies outside their span and is a basis. Write . Since , the linear system of ordinary differential equations gives
Solving these equations gives , and . Thus
The length-two Jordan chain solution for the Jordan chain produces the mode. The three arbitrary constants span all initial data, so this is the full general solution.
The three linearly independent eigenvectors still form a basis, so the same coefficient calculation applies to this diagonalizable matrix matrix. The general solution is
A repeated eigenvalue alone does not create a polynomial factor in time; that factor is needed only when a nontrivial Jordan block prevents a full eigenvector basis.
The independence of eigenvectors for distinct eigenvalues ensures that such eigenvectors form a linearly independent set. For completeness, apply to a proposed relation . It leaves , so every . Thus the three eigenvectors form a basis over the relevant field and . Substitution into the linear system of ordinary differential equations gives ; linear independence implies . Hence
A real matrix may have a complex conjugate pair of eigenvalues. In that case the calculation is over and conjugate coefficients yield real solutions; equivalently use real and imaginary parts of the complex modes. No unstated assumption that all three eigenvalues are real is needed.
Condition on the fair coin, taken independent of . For the squared uniform distribution, the cumulative distribution function of is on , giving probability density function . Reflection about gives the probability density function of as . Averaging the two conditional probability density functions produces this mixture model:
There are no atoms at the endpoints; each integrable singularity contributes half the total mass. Equivalently the cumulative distribution function is on the interval.
For , the monotonicity of the logarithm and the uniform distribution give
For the cumulative distribution function is zero. Differentiation gives the probability density function for , and zero elsewhere. The distribution is , with rate . This is inverse transform sampling of an exponential distribution.
For a unitary matrix, , so both defining products for a normal matrix are . The matrix is invertible, hence no eigenvalue is zero. If , then , while part (a)(iii) gives . Therefore , and
Thus all eigenvalues have unit modulus.
For a skew-Hermitian matrix, , so both and equal . It is therefore a normal matrix. On an eigenvector with eigenvalue , part (a)(iii) gives
Thus , and every eigenvalue lies in , including the possible eigenvalue zero.
For a Hermitian matrix, , so and is a normal matrix. If with , part (a)(iii) gives . Since also , we obtain . Thus every eigenvalue is real.
Direct multiplication gives
Take and in the preceding result: has the three distinct eigenvalues and the matrices commute. The common eigenbasis from part (i) gives
Indeed and , and . These equalities directly verify the simultaneous diagonalization.

There are unlisted articles, also show them or only show them.