Mazecto · Prove2Me

A smooth curve of zeros through a regular zero in a prescribed kernel directionProved
Posted and Proved · Nov 9, 2026
Weak solutions of a scalar first-order linear ODE on the lineProved
Posted and Proved · Nov 9, 2026
An integrable function on [0,1) with vanishing Fourier coefficients is zeroProved
Posted and Proved · Nov 9, 2026
Continuous bounded representatives of W^{1,p} on the cylinder, p > 2Proved
Posted and Proved · Nov 9, 2026
Pointwise bound of test sections on the cylinder by the W^{1,p} norm, p > 2Proved
Posted and Proved · Nov 9, 2026
Continuous t-periodic maps equal almost everywhere on the strip are equalProved
Posted and Proved · Nov 9, 2026
A fast plane approaches its asymptotic orbit at a spectral-gap rateProved
Posted and Proved · Nov 9, 2026
Distance to the asymptotic orbit along an end with an asymptotic eigenvectorProved
Posted and Proved · Nov 9, 2026
Smoothness of the parameter derivative of a family of holomorphic mapsProved
Posted and Proved · Nov 8, 2026
Persistence of an injective linearization along a C^1 familyProved
Posted and Proved · Nov 8, 2026
A family of holomorphic maps through an embedded fast plane, for a given decay rateOpen
Posted · Nov 8, 2026
Transversality of a J-holomorphic family at one point holds along a fast memberProved
Posted and Proved · Nov 6, 2026
Non-vanishing on the plane from a spectral window at the endProved
Posted and Proved · Nov 6, 2026
Winding number and growth rate of a solution on a cylindrical endProved
Posted and Proved · Nov 6, 2026
A generalized analytic function of nonpositive winding at infinity vanishes identically or nowhereProved
Posted and Proved · Nov 6, 2026
A close J-holomorphic plane approaching the orbit at a window rate is fastProved
Posted and Proved · Nov 6, 2026
Distance to a prime Reeb orbit in the tube around it is comparable to the normal coordinateProved
Posted and Proved · Nov 6, 2026
A J-holomorphic plane with bounded angular derivative has finite Hofer energyProved
Posted and Proved · Nov 6, 2026
Bounded angular derivative for a map converging exponentially to a trivial cylinder at infinityProved
Posted and Proved · Nov 6, 2026
Pointwise nonnegativity of the energy integrands of a J-holomorphic map, without an energy assumptionProved
Posted and Proved · Nov 6, 2026
Maps close to an embedded fast plane are embeddedProved
Posted and Proved · Nov 6, 2026
Global lower Lipschitz bound for an embedded fast plane in cylindrical scaleProved
Posted and Proved · Nov 6, 2026
Immersions in the symplectization coordinatesProved
Posted and Proved · Nov 6, 2026
The symplectization coordinates are smooth away from the originProved
Posted and Proved · Nov 6, 2026
Lower Lipschitz bound along a prime Reeb orbitProved
Posted and Proved · Nov 6, 2026