Taking curls gives
Both have zero divergence and curl, so they satisfy the static vacuum equations. Their upward fluxes through the loop are
For clockwise current , the net force is zero in , while in
Put . Motion in changes no flux, so no current is induced and . In , using counterclockwise current as positive,
Thus
With , the velocity tends to and
At terminal speed, , so Joule loss equals gravitational-energy loss. For , Ohm's quasistatic formula is singular: flux is conserved, persistent current stores magnetic energy, and ideal motion has no resistive terminal state (inductance must be retained).
The commutator follows directly on a test function:
Expansion gives
To make , take
Then
which tends to at both ends.
Applying to gives a partner scattering state with asymptotic amplitudes at and at , and no reflected wave. Their moduli agree. Subtracting the common constant therefore shows that the displayed potential is reflectionless:
Transverse force balance on a short element gives
With fixed ends,
Here . If are the sine coefficients of initial velocity, then
The total deposited energy is , while
The seventh mode is eliminated by striking at a node , . For a narrow hammer, each fixed-mode fraction is ; beyond the inverse-width cutoff the envelope falls as , modulated by the two sine factors.
Put . The Euler–Lagrange equations are
When , the helical ansatz , automatically satisfies the second equation. The first becomes
so .
The endpoints have the same cylindrical angle exactly when for some integer . Thus a positive with admits the two special solutions of opposite handedness, using and .
The product topology has basis with open in and open in . Since and similarly for , both projections are continuous.
If is Hausdorff, a point off the diagonal has disjoint product neighborhoods, so the diagonal is closed. Conversely, if the diagonal is closed, its complement supplies disjoint neighborhoods of any two distinct points.
The graph is the inverse image of the diagonal under , so a continuous map into a Hausdorff space has closed graph. Conversely, if are compact Hausdorff and is closed, then is compact. Its projection onto is , compact and hence closed. Thus is continuous.
The function , for is discontinuous but has closed graph: a convergent graph sequence approaching cannot have and bounded second coordinate unless it eventually reaches the isolated graph point .
For a linear map with finite-dimensional,
Now
which is the required inequality after rank-nullity for .
If and represent the same map, then , where changes new domain coordinates to old ones and does the same in the codomain.
Invertible block row and column operations reduce
to , proving the rank formula. Apply it to first with the upper-left block and then with the lower-right block. Equating the results gives
The Neyman–Pearson lemma says that among tests of size at most for two simple hypotheses, a likelihood-ratio test rejecting where is most powerful, with boundary randomisation if required. If is that test and any competing test, choose so the sizes agree. Pointwise,
Integration and the size inequality yield .
Here
which decreases with . Thus reject for , where
For every tangent vector , stationarity of on the sphere gives . Hence is parallel to , say . Taking the inner product with gives . The spectral theorem shows that this is the largest eigenvalue.
For the eigenvalues are , so
Its graph is a V translated upward and is convex.

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