Mazecto · Prove2Me

Scalar boundary integration formula on a spherical annulus in a constant directionProved
Posted and Proved · Oct 10, 2026
Square-summable conjugate-symmetric sequences are Fourier coefficients of $L^2(S^1,\mathbb{R}^{2n})$ functionsProved
Posted and Proved · Oct 10, 2026
Multiplication by a continuous matrix loop preserves $L^2(S^1,\mathbb{R}^{2n})$ Proved
Posted and Proved · Oct 10, 2026
The asymptotic operator $-J_0\partial_t - S$ is a well-defined linear operator on $L^2(S^1,\mathbb{R}^{2n})$ Proved
Posted and Proved · Oct 10, 2026
An element of $L^2(S^1,\mathbb{R}^{2n})$ with vanishing Fourier coefficients is zeroProved
Posted and Proved · Oct 10, 2026
The graph of $-J_0\partial_t - S$ on $L^2(S^1,\mathbb{R}^{2n})$ is closed under additionProved
Posted and Proved · Oct 10, 2026
The graph of $-J_0\partial_t - S$ on $L^2(S^1,\mathbb{R}^{2n})$ is closed under real scalar multiplicationProved
Posted and Proved · Oct 10, 2026
Homotopy, loop and signature determine the Conley–Zehnder indexProved
Posted and Proved · Oct 10, 2026
Quantitative C1 estimate for the Newtonian inner boundary errorProved
Posted and Proved · Oct 10, 2026
Inverse property of the Conley–Zehnder indexProved
Posted and Proved · Oct 10, 2026
Determinant property of the Conley–Zehnder indexProved
Posted and Proved · Oct 10, 2026
Cancellation makes the Newtonian Hessian integrable against C1 dataProved
Posted and Proved · Oct 10, 2026
The Newtonian Hessian has critical radial growth away from the originProved
Posted and Proved · Oct 10, 2026
Product property of the Conley–Zehnder indexProved
Posted and Proved · Oct 10, 2026
ρ̂ is multiplicative under the block-diagonal sum ⋄Proved
Posted and Proved · Oct 10, 2026
Zero ρ̂-winding along Sp* paths between symmetric matricesProved
Posted and Proved · Oct 10, 2026
C1 cancellation makes a critical singular kernel integrable on finite ballsProved
Posted and Proved · Oct 10, 2026
Two directional derivatives pass to a compactly supported convolution sourceProved
Posted and Proved · Oct 10, 2026
Zero property of the Conley–Zehnder indexProved
Posted and Proved · Oct 9, 2026
A Cayley-type matrix of a hyperbolic symplectic matrix has signature zeroProved
Posted and Proved · Oct 9, 2026
Symmetry of the matrix J₀(A − Id)(A + Id)⁻¹ for symplectic AProved
Posted and Proved · Oct 9, 2026
Conley–Zehnder index of a path avoiding the eigenvalue −1Proved
Posted and Proved · Oct 9, 2026
Second coordinate moments of unit-sphere surface measureProved
Posted and Proved · Oct 9, 2026
Theorem 2.25 — the Newtonian potential u = Γ ∗ f is C^∞ and solves −Δu = fProved
Proved · Oct 9, 2026
Laplacian commutes with convolution against a locally integrable kernelProved
Posted and Proved · Oct 9, 2026