If with , then . The left side vanishes, so .
Conversely, if , write . Then . If were invertible, multiplying by its inverse would imply , contradicting the minimal degree. Thus is not invertible. In finite dimension this means it has a nonzero kernel, furnishing an eigenvector with eigenvalue . Hence the eigenvalues are exactly the roots of the minimal polynomial, with the scalar-field convention stated in part (a).
By orthogonal diagonalization of the positive-definite symmetric matrix , form its positive symmetric inverse square root . Then , and is real symmetric. Let have an orthonormal eigenbasis of as its columns, so . Taking gives
Both factors of are invertible. This proves the simultaneous congruence diagonalization with a positive form by an explicit construction; it is congruence rather than simultaneous similarity.
To find the entries without constructing , take determinants in
Since , the entries are precisely the roots, with multiplicity, of . Equivalently they are the eigenvalues of , although that matrix need not itself be symmetric.
For the given , its leading principal minors are , so it is positive definite. Expanding the determinant gives
Thus the diagonal entries, in any order, are
Relative to the coordinate basis, the linear map has matrix
Expanding in its first column gives the monic characteristic polynomial
Its eigenvalues are and , three distinct complex numbers. Eigenvectors corresponding to distinct eigenvalues are linearly independent, so they form a basis of and is diagonalizable.
Every annihilating polynomial must vanish at all three eigenvalues: applying to a corresponding eigenvector gives . Conversely, in the eigenbasis the product of the three distinct linear factors annihilates . Hence the minimal polynomial is
If with scalars not both zero, the nonzero polynomial of degree at most two would annihilate , contradicting this minimal degree of three. Thus and are linearly independent endomorphisms.
Fix real and use a rectangle with vertical sides at real coordinates . The function is entire, so its closed contour integral is zero by Cauchy's integral theorem. The bottom horizontal side contributes and the top contributes the negative of . This identity applies for either sign of , with the corresponding oriented rectangle.
On a vertical side, with , and
The sum of the two vertical integrals in absolute value is at most . Both horizontal improper integrals converge absolutely, since . Letting therefore proves
Complete the square in the Fourier transform:
The shifted-integral identity applies after scaling by . The Gaussian integral is : the square of becomes in polar coordinates. Thus the Gaussian Fourier transform yields
The eigenvalue reflects the unnormalized transform convention in this question.
Under a Cartesian frame change , where is an orthogonal matrix. Orthogonality gives and . Therefore
which is the tensor component transformation law. Also directly, proving that it is a symmetric Cartesian second-rank tensor for every choice of the two scalars.
For , the direction of is an eigenvector with eigenvalue . Every vector perpendicular to is an eigenvector with eigenvalue , a two-dimensional eigenspace. If , these eigenvalues coincide and every nonzero vector is an eigenvector. If , the tensor is zero and again every nonzero vector is an eigenvector, now with eigenvalue zero.
For the position-dependent field with zero divergence, the product rule gives
Contraction of the two Levi-Civita symbols in the curl and cross product gives
Consequently
These constants give the magnetic part of the Maxwell stress tensor, with its physical prefactor suppressed. They are forced if the identity is to hold for every divergence-free field: forces ; at the origin then forces .
Apply the divergence theorem separately to each component:
Since the whole vector field vanishes on , all components of vanish there, and hence the vector volume integral is zero. The argument assumes a differentiable field and a boundary for which the divergence theorem applies.
If is a unipotent matrix, is a nilpotent matrix. If for a nonzero eigenvector, then for some , forcing .
Conversely, suppose the only eigenvalue is . Over , the characteristic polynomial is then . The Cayley-Hamilton theorem gives , so is nilpotent. Thus is unipotent if and only if its only eigenvalue is one.
For any complex , the shifted linear operator is normal: expansion of leaves just . Apply part (i) to this shifted normal operator:
Hence a nonzero vector is an eigenvector of with eigenvalue if and only if it is an eigenvector of with eigenvalue . The eigenspaces coincide, with conjugate eigenvalues.
Proceed by induction on . The zero-dimensional case has the empty orthonormal basis. In positive dimension, the fundamental theorem of algebra gives a root of the characteristic polynomial, hence a unit eigenvector of , say with eigenvalue . Part (ii) makes it an eigenvector of as well. Thus the line spanned by and its orthogonal complement are invariant under both operators by the introductory adjoint argument.
On , the restriction of is the adjoint of the restriction of , and the restrictions still commute. The restricted linear operator is therefore normal. By induction it has an orthonormal basis of eigenvectors. Adjoining proves an orthonormal eigenbasis exists for , establishing the finite-dimensional spectral theorem by construction.
For the final deduction, use this orthonormal basis and write . Define
The real nonnegative diagonal entries make a Hermitian operator, and the modulus-one diagonal entries make a unitary operator. Both are diagonal in the same orthonormal basis, so they commute and even when . This proves the required factorization without assuming invertibility.
Conversely, if with , , and , then and
Thus is normal. Normality is equivalent to a commuting Hermitian–unitary factorization, with the Hermitian factor even selectable nonnegative. This is the polar decomposition with a unitary extension on the kernel.
The minimal polynomial divides the annihilating polynomial , since . Every nonconstant monic divisor can occur in dimension four: use Jordan blocks of sizes at most two at eigenvalue and of size one at eigenvalue , adding scalar blocks as needed. The complete list is
For example the first four occur for , , , and , respectively; the final one occurs for .
Failure to be diagonalizable requires a size-two Jordan block at zero. The condition requires at least one block at one, since every allowed zero block squares to zero. A size-two zero block and one scalar block at one leave only one dimension. It can carry zero or one. Thus, up to permutation of blocks, the only possible Jordan normal forms are
Use the weighted inner product . For real eigenfunctions, integration by parts with the zero endpoint values gives
Thus . The regular separated Sturm-Liouville problem has simple eigenvalues: for a fixed eigenvalue, prescribing leaves only the initial flux free, so uniqueness of the associated first-order system makes any two eigenfunctions proportional. Distinct eigenfunctions are therefore orthogonal, and choosing their signs and scales so that gives
The positive energy form realizes as a positive self-adjoint operator in this weighted space, with compact inverse on the bounded interval. The spectral theorem for compact self-adjoint operators supplies a complete eigenbasis. This is the standard regular Sturm-Liouville eigenfunction expansion, also valid with continuous by working with the continuous flux .
For a source , expand a zero-endpoint solution of in that basis. Multiplication by and unweighted integration give
Since is not an eigenvalue, every coefficient is determined. The spectral Green function of a regular Sturm-Liouville problem is consequently
Weighted completeness means as a distribution, so applying to this series produces the required delta source. The source integration is with , explaining the absence of an additional factor in the stated kernel.
For the subsequent operator the sign is explicitly reversed: and . To cover every real non-eigenvalue , define the homogeneous solution
It satisfies , and . Matching the two endpoint solutions continuously at with derivative jump yields
The denominator is nonzero precisely off the Dirichlet eigenvalues . In particular . At , its spectral expansion gives
This odd reciprocal-square sum from a Dirichlet Green function proves .