How statement and proof provenance work
The first chip identifies the source of the statement or construction; the second identifies the source of its local proof or verification.
- Literature-sourced: the exact statement appears in a cited source; only wording and notation differ.
- AI-adapted: a semantically identical restatement of literature-sourced material, modulo indexing, notation, and boundary cases adopted by the library.
- AI-generated: a genuinely novel statement formulated by AI, with no source for the claim itself.
These labels describe origin, not correctness: citations and verification chips remain separate evidence.
Exponential energy decay on small-gradient almost complex cylinder necks
Statement
Assume Countable Choice. Fix a compact smooth Riemannian manifold and a period . Consider smooth families on cylinders , with uniform bounds for and its first two target covariant derivatives. There are constants depending only on these data such that the following holds. If then a fixed smooth embedding can be chosen once for the target so that, for and , Consequently, for , Here . The energy density at either endpoint is bounded by . Thus central neck energies tend to zero as , uniformly in neck length, for maps satisfying these hypotheses. This statement concerns closed cylinders, not boundary necks.
Statement references
Facts & Assumptions
Given: The compact target, uniform coefficient bounds, fixed angular period, equation, and smallness hypotheses of the statement.
The direct covariant computation in Interior small-energy gradient control for almost complex maps proves, writing , In particular its norm is at most , where denotes only explicit source derivatives.
The Countable Choice proof of The Fourier basis and Parseval's identity on the finite torus gives periodic Wirtinger: for a smooth mean-zero vector-valued periodic , , by applying Parseval componentwise and observing that the zero Fourier coefficient vanishes.
Proof
Choose a finite chart cover and smooth subordinate functions with compact supports in those charts and sum one, obtained by Euclidean bumps and normalization. The map is a smooth embedding: at an index where , equality of the displayed coordinates recovers the original chart point, and vanishing of all their derivatives recovers a zero tangent vector. Compactness makes it a homeomorphism onto its image and makes its differential uniformly comparable with the metric . Its first and second covariant derivatives have uniform bounds. This fixes independently of the cylinder and its map.
Let , taking the ordinary flat source Laplacian componentwise. The composition rule and [F1] give Uniform coefficient and embedding bounds therefore give . The original equation and the bound for give . After imposing the stated smallness, This is a pointwise estimate on actual maps into ; no ambient extension of or model moduli equation is assumed.
Put . It has zero angular mean because is periodic, and because derivatives of a smooth Euclidean map commute. Twice differentiating and integrating by parts only in the periodic angular direction gives There are no endpoint terms in this integration. By step 2.1 and Young's inequality this is at least Let and choose so that . Then [F2] gives . Set .
Let . It satisfies and dominates at both endpoints. If had a positive value, it would have a positive interior maximum; there its second derivative is nonpositive, contrary to . Thus throughout the cylinder, giving the claimed pointwise exponential bound. The argument also covers vanishing endpoint values, since is nonnegative and smooth.
The equation and uniform metric comparability give Integrating the two exponentials from step 4.1 bounds the last integral by . Finally , so . This proves all assertions, including uniform decay of central neck energy. A boundary neck has angular endpoint terms and is not covered by the periodic argument.
Depends on
Used by
Dependency tree · two levels
22 results within two dependency steps of this one, each drawn at its shortest distance from it. An arrow runs from a result to what uses it, so the chart reads left to right and ends at this result, which carries a heavier outline. Every node is a link to that result. Click elsewhere on the chart to enlarge it.
Sources
- Aleksey Zinger, Notes on J-Holomorphic Maps (standard reference, not scraped)