Crossing a unit slab of the symplectization costs a definite amount of energy

Let $S=H^{-1}(1)\subset\mathbb R^{2n+2}$ be a strictly star-shaped level with contact form $\lambda=\lambda_0|_S$ and $d\lambda$-compatible complex structure $J$ on $\xi$, and let $u=(a,w):\dot D=D\setminus\{0\}\to\mathbb R\times S\cong\mathbb R^{2n+2}\setminus\{0\}$ be a finite-energy $\tilde J$-holomorphic curve on the punctured unit disc. For a level $A\in\mathbb R$ let $\varphi_A(s)=\chi(s-A)^2$, where $\chi$ is Mathlib's smooth transition function ($\chi=0$ on $(-\infty,0]$, $\chi=1$ on $[1,\infty)$). Then there is a constant $c>0$ with the following property. For every level $A$ and all radii $0<\rho_2<\rho_1<1$ such that $a\circ u\le A$ on one of the circles $|z|=\rho_i$ and $a\circ u\ge A+1$ on the other,

In words: whenever $u$ crosses a unit slab $A\le a\le A+1$ of the symplectization between two circles about the puncture, the Hofer-energy integrand at that level over the annulus is at least $c$, and $c$ does not depend on the level $A$ or on the radii. This is a step in the zero-charge case of the asymptotic description of finite-energy punctured discs (Hofer; Wendl, Theorem 9.8).

Formalization Note $\mathbb R\times S$ is identified with $\mathbb R^{2n+2}\setminus\{0\}$ by $(a,x)\mapsto e^{2a}x$, and $a$ is aCoord H. The integrand of $u^*d(\varphi(a)\lambda)$ with respect to $ds\wedge dt$ is energyDensity H φ u; the integral is the lower Lebesgue integral of its positive part over ball 0 ρ₁ \ ball 0 ρ₂.