The shifted matrix is still a normal matrix, since
and has the same expansion except that its first term is , which equals . For the given eigenvector, . Part (b), applied to , therefore gives . Since ,
The corresponding eigenvalue of the Hermitian conjugate is the complex conjugate of the original eigenvalue.
Take eigenvectors for distinct eigenvalues . Since the eigenvalues are real and is a Hermitian matrix,
Hence , so eigenvectors for distinct eigenvalues are orthogonal vectors. They are therefore linearly independent; after normalization the given eigenvectors form an orthonormal basis of .
Use the convention
for the characteristic polynomial. Choosing instead multiplies it by and leaves the requested zero identity unchanged. For each eigenvector , induction gives , including . Thus
because has the nonzero kernel vector and therefore has zero determinant. Part (a) supplies a basis consisting of these eigenvectors. A linear map vanishing on every basis vector vanishes everywhere. Consequently
This proves the Cayley-Hamilton theorem identity directly in the distinct-eigenvalue case assumed here.
Expand in the orthonormal basis from part (a). Then
For , the weights are nonnegative and sum to one. The Rayleigh quotient therefore lies between the smallest and largest eigenvalues. Conversely, normalized extreme eigenvectors give, for ,
Thus the exact Hermitian Rayleigh quotient range is
When , the range is the singleton containing the sole eigenvalue.
There is no such universal constant. For a real parameter , consider the real matrix
Its characteristic polynomial is , so both eigenvalues are real and . But
For any proposed finite , choosing violates the proposed bound. This is an explicit illustration that nonnormal eigenvalues do not bound a quadratic quotient.
Let be an eigenvector of the Hermitian matrix , with eigenvalue . Multiplying by gives
The denominator is the positive real number , while
Thus the numerator is real, and every eigenvalue of a Hermitian matrix is real. This argument does not require distinct eigenvalues.
The parity operator acts by . For an even potential, differentiating twice and using proves on the parity-invariant domain of the Hamiltonian operator. Therefore each energy eigenspace is invariant under . The projectors and split it into even and odd subspaces, giving a basis of simultaneous eigenstates. An odd state obeys , hence .
The infinite walls impose , with the wavefunction zero outside. It is continuous at the central delta potential. Integrate the stationary Schrödinger equation over ; the energy integral tends to zero and the Dirac delta function contributes . This gives
For the given piecewise positive-energy form, . Replacing by swaps the two pieces and leaves their values unchanged, proving . The value at zero is , and the one-sided derivatives are and . The jump condition gives . The wall at gives , hence
For the undivided wall equation instead gives the usual free even roots. For , set and . In every interval there is exactly one root: writing gives , whose two sides are respectively strictly decreasing and increasing. These are all positive even roots; the quadratic form is nonnegative, so there are no negative eigenvalues. Thus and .
The printed limit of this absolute energy difference is false. The exact quantization equation gives , so but . Consequently
Thus the high-energy shift from a central delta barrier is a finite positive constant, not zero. The corrected vanishing statement is the relative shift , or the wave-number difference . Physically, highly energetic particles are weakly affected in relative terms by a fixed point barrier. The free even wavefunction normalized in has density at the origin, so the barrier's first-order expectation is , matching the exact limit.
Odd states vanish at zero, so the delta term and the derivative jump both vanish. Their normalized wavefunctions and energies are
with zero wavefunction outside. They do not depend on . These even and odd sectors describe the central delta barrier in a symmetric infinite well.
Subtract the exact solution from the Jacobi method to get , hence . Convergence from every initial vector is equivalent to . If every eigenvalue has modulus below one, a Jordan block has powers that are finite sums . The polynomial factor in is dominated by geometric decay; for , the block is nilpotent. Consequently .
Conversely, for a complex eigenvector with eigenvalue , . Convergence for real errors also implies convergence for their complexification, so this tends to zero only if . Therefore the iteration converges from every starting vector if and only if , where is the spectral radius.
For the specified matrix,
Its eigenvalues are , so . Hence is the convergence range. The original coefficient matrix has determinant , so the endpoints also violate its assumed nonsingularity.
For stereographic projection, choose the north pole of the unit sphere and identify the plane with the complex plane by . Project a point along the line joining it to ; adjoin for the north pole to identify the whole sphere with the Riemann sphere. A point of that line is . Its last coordinate vanishes when , giving
Using , or solving this line's second intersection with the sphere, gives the inverse
A great circle lies in a plane through the origin. Its projected equation is
It is a straight line only if , meaning the plane contains the north pole and the south pole. Thus if all three sides of a nondegenerate spherical triangle projected to straight sides of a Euclidean triangle, all three distinct side planes would contain both poles. Each pair of side planes could then meet on the sphere only at those same two poles, which cannot supply three distinct triangle vertices. A nondegenerate spherical triangle cannot project to a Euclidean triangle. If a side passes through the projection pole, its image is unbounded and also cannot be a finite triangle side.
A nonidentity rotation in three dimensions has an axis through the origin: an orthogonal three-by-three matrix of determinant one has an eigenvalue one, since nonreal eigenvalues pair as conjugates, real eigenvalues are , and their product is one. Its axis meets the unit sphere in an antipodal pair, which is fixed. In the identity case every point is fixed, so an antipodal pair can again be selected. Projecting and gives
whenever both points are finite. Thus the associated Möbius transformation fixes an antipodal pair satisfying the claimed relation. The universally valid relation is on the Riemann sphere, with and paired. A rotation about the projection axis fixes exactly that pair, so the PDF's literal finite product needs this extended-coordinate convention. This is the antipodal stereographic coordinate relation.
The monomials with and form a basis of the given vector space. There are of total degree , so
On that basis the linear operator is diagonal:
Both summands of the eigenvalue are nonnegative integers. Their sum is zero precisely when . Thus the kernel is the span of those members of whose total degree is at most . In particular it is for and for ; for it is the constants. The image of a linear map is the span of all the other permitted monomials, since each has a nonzero diagonal eigenvalue and hence is the image of its reciprocal multiple. No excluded monomial can occur in an image because its diagonal coefficient is zero.
The trace is the sum of these eigenvalues. At degrees zero and one all contributions vanish. At degree two the contributions are , summing to four; at degree three they are , summing to sixteen; at degree four they are , summing to forty. Therefore
This is the diagonal monomial action of a second-order Euler operator.