Hofer metric ($d_H(\varphi ,\psi )={\inf }_{{\varphi }_H^1={\varphi }^{-1}\psi }{\int }_0^1(\max H_t-\min H_t)dt$)

The displayed distance uses the oscillation length of a compactly supported Hamiltonian isotopy. On a closed manifold one may normalize each Hamiltonian to have zero mean. Additive time-dependent constants do not change the flow or its oscillation. Pullback by a symplectomorphism preserves extrema, so this distance is bi-invariant. Nondegeneracy requires an additional geometric argument; it does not follow merely from the definition as an infimum of path lengths.

Assume the lower bound $e(L)\ge \gamma (L)/2$ for a closed rational Lagrangian submanifold, with matching energy convention. A nonidentity Hamiltonian map displaces a sufficiently small ball about some moved point. Inside that ball place a Lagrangian torus formed from equal-area circles. Its least positive Liouville period is positive, so the map's norm is at least half this period. This proves positivity of the distance between different maps without appealing to nondegeneracy itself.

The displacement energy of a subset of a symplectic manifold is the infimum of the energy norms of compactly supported Hamiltonian diffeomorphisms moving it off itself. The infimum is $+\infty$ if no such map exists. One must use the same chosen norm convention in both this definition and any energy lower bound. A compact set can have zero displacement energy even when every nonidentity map has positive norm.

Use the standard symplectic form ${\sum }_{j}d{q}_j\wedge d{p}_j$ and convention ${\iota }_{X_H}\omega =-dH$. The Hamiltonian $H=\delta q_n$ translates $p_n$ by $\delta$. A fixed compactly supported cutoff equal to one near the set swept for $|\delta |\le 1$ leaves that translation unchanged on the original compact set. Its supremum norm is at most $C|\delta |$, so the translation displaces the set at arbitrarily small cost. This proves zero Hamiltonian displacement energy for either Hofer normalization.

Use compactly supported Hamiltonians on open manifolds and zero-mean Hamiltonians on closed manifolds. Because their values straddle zero, $\Vert H_t{\Vert }_{\infty }\le \max H_t-\min H_t\le 2\Vert H_t{\Vert }_{\infty }$. Thus ${\rho }_{\infty }\le d_H\le 2{\rho }_{\infty }$. These are two equivalent, but not identically normalized, conventions for Hofer's metric. A statement about zero distance or zero displacement energy is independent of this choice.