Theorem 7.6 [058Z]
Original official author HTML, exact retained edition. Historical TeX conversion verdicts remain unchanged. Cited-edition alignment and mathematical self-containment are not assessed.
Complete original source context · Original author HTML
Theorem 7.6
Suppose that is a curve in , with endpoints at zeros of , and otherwise missing the zeros of , such that its pointwise phase (6.4) satisfies (7.1) for all Lagrangians fibred over curves in the base, and also . Then the flow (6.9) exists for all time and converges in to a smooth curve whose phase function (6.4) is constant.