View as the matrix of a linear map of matrix rank . Choose vectors whose images form a basis of , extend them by a basis of to a basis of , and extend to a basis of . In these two bases the matrix of is the rank normal form
The two changes of basis give invertible with the displayed matrix equal to .
For the block upper triangular matrix , every nonzero term in the Leibniz formula for determinants sends the rows belonging to into the columns belonging to ; bijectivity then sends the remaining rows into the columns. The permutation sum consequently factors into the determinant sums for and , proving
Finally suppose , so : the map is an intertwining operator. If lies in the generalized eigenspace of for , then for some ,
Because and have no common eigenvalue, is invertible, hence . The generalized eigenspaces of span , so . Thus the Sylvester equation operator is injective.
A Jordan block has on its diagonal, ones on its superdiagonal, and zeros elsewhere. A matrix is in Jordan normal form when it is block diagonal with Jordan blocks.
On a block , has dimension . Its increase from to is one exactly when . Summing over blocks proves that
counts the -blocks of size at least .
If , the polynomial has nonzero derivative at , so
If , squaring the nilpotent shift separates the odd and even basis chains:
omitting a zero-size block.
The displayed invertible matrix preserves the subspaces spanned by and . Its restrictions have characteristic polynomials and . Since invertibility makes both products nonzero, each restriction has two distinct complex eigenvalues. Its Jordan form is therefore
for either choices of the square roots.
A transportation problem minimizes subject to nonnegative shipments, prescribed row supplies, and prescribed column demands.
One optimal shipment table is
which has the required row sums and column sums and costs .
For an optimality certificate, take row potentials and column potentials . Their sums equal costs in occupied cells and do not exceed any cost:
The dual value is , so linear programming duality proves optimality.
The distribution function is on , so its median is . The likelihood function is
which decreases over its admissible range. Hence . By the invariance property of maximum likelihood estimation,
Substituting the exact solution and expanding about gives the local truncation error
Thus the method is consistent of order two; as a stable one-step method it has global convergence order .
The order cannot be higher. For , , the exact solution is , and direct substitution makes the local truncation error exactly
The velocity is . Its divergence in polar coordinates is zero for , while a circle about the origin has flux
By contour deformation the same holds for any enclosing contour. This is a two-dimensional point source of strength .
For the second potential,
which vanishes at . In the full plane this is a pair of equal sources of strength at . In , it is one source at beside an impermeable slip wall, with the lower source serving as its image.
For and , the Lagrange multiplier equations are
The four constrained stationary points are
On the constraint, with . The two -axis points are global minima, while the -axis points are saddles: motion along the waist decreases , whereas motion away from it increases . There is no maximum.
If instead is optimized on , the stationary points are all six coordinate-axis points. The -axis points are maxima with value , the -axis points are minima with value , and the -axis points are saddles with value .

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