For a linear map between finite-dimensional inner product spaces,
The first equality follows directly from the defining identity for the adjoint operator; the second follows by taking orthogonal complements. In an infinite-dimensional Hilbert space, the second equality generally requires closure of the image.
An eigenvalue of a matrix is a scalar for which for some nonzero eigenvector . Its corresponding eigenspace is
Write . The displayed matrix is the outer product , so
Its column space is contained in and is nonzero because . Hence is a rank-one matrix.
The vector is an eigenvector with eigenvalue , and every vector in the orthogonal complement has eigenvalue . Thus
Since is a direct sum of these eigenspaces, has an eigenbasis and is therefore a diagonalizable.
Here , so the Jacobi iteration matrix is
The all-ones vector is an eigenvector with eigenvalue . On its two-dimensional orthogonal complement, the coordinates sum to zero and , so the other eigenvalue is with multiplicity two. Therefore
By Jacobi convergence for a three-by-three equicorrelation matrix, convergence occurs exactly for
At either endpoint the spectral radius is one, so convergence for arbitrary initial data fails.
Away from the rim's edge region, the geometry and uniform injection have no radial scale other than the factor required by continuity. It is therefore consistent to take . Regularity at then lets the continuity equation integrate to
The no-slip boundary condition and prescribed normal velocities are
Since is independent of , the radial equation implies that is constant. The four boundary conditions give
and hence
Using in gives
Taking the pressure at the rim to be atmospheric, , produces the porous-plate lubrication cushion pressure
The upward pressure force balances the disc's weight:
Since ,
Expanding the two covariant derivatives of a vector, the second partial derivatives cancel in the commutator. The remaining derivatives and products of Christoffel symbols combine into the coordinate definition of the Riemann curvature tensor, giving the Ricci identity
For a type- tensor, the connection acts on both upper indices, so the curvature commutator on a contravariant tensor is
Keep and choose the scalar potential . Then
For , completing the square gives
Hence the spectrum on is
For a translationally invariant dispersion, the group velocity is . Therefore
in agreement with the electric-cross-magnetic-field drift .
In the rectangle, as before. The energy now changes with , so the guiding-centre degeneracy is lifted, while the number of states in each tilted band remains approximately . Adjacent states within a formerly degenerate level have the electric-field splitting of a Landau level in a rectangle
Thus this is the ground-to-first-excited gap when the lowest Landau band contains at least two allowed guiding centres and . Without that implicit weak-field or large-sample condition, the exact full spectral gap is
An odd composite number with is a Fermat pseudoprime to base when
For , the Chinese remainder theorem for unit groups reduces this condition to congruences modulo and . Modulo , Fermat's little theorem gives
so exactly when . Modulo , the unit group has order , so
The equation in the cyclic group has solutions, namely .
Combining the two independent sign choices by the Chinese remainder theorem gives
and hence
Write . We first prove that is dense. Otherwise some nonzero lies in its orthogonal complement, so
By part (b), choose finite-dimensional spaces containing such that in operator norm. Since
the operator is not injective. Therefore is not surjective; the contrapositive of part (c) makes an eigenvalue of . Choose unit vectors with . Then
Compactness gives a subsequence for which converges. Since , the displayed relation makes converge to a unit vector , and continuity gives , contradicting the hypothesis. Thus is dense.
Next suppose were not bounded below, or equivalently that its lower norm were zero. There would be unit vectors with , hence
Again a convergent subsequence of forces the corresponding to converge to a unit vector satisfying , another contradiction. Therefore some satisfies
This lower bound makes closed: if converges, then is Cauchy and its limit maps to the same limit. Since the image is both dense and closed, it is all of . We have proved the Fredholm alternative for a compact operator: every nonzero spectral value of a compact operator is an eigenvalue.