Manuscript Hawk02-B@2 · Hawk02-B.tex · corollary · 95ea744f

Corollary: Fixed event accuracy

Hamiltonian perturbations and finite-time certification › A compatible finite-time regime · lines 1032–1053 · proof included or linked

Hawk02-B@2#cor:fixedaccuracy

Back to manuscript

Suppose for each of events and the remaining allowances sum to . For , the sufficient conditions

are simultaneously feasible if

For , is sufficient.

Proof. The first condition holds for integers . For , the second holds up to the displayed integer upper bound. For it is independent of .

Displayed formulas in this passage

  • unlabeled · line 1037

  • unlabeled · line 1042

Nearby in this section