← all areas

Namespace SchwartzMap 5 theorems

• Fourier transform for a nondegenerate pairing preserves S(V) SchwartzMap.exists_coe_eq_vectorFourierIntegral 0 below · cited by 4 · depth 19
• Poisson summation on ℝ^ι for Schwartz functions SchwartzMap.tsum_eq_tsum_fourier_euclideanSpace 0 below · cited by 2 · depth 24
• The Gaussian e^{-π‖x‖^2} is a Schwartz function SchwartzMap.exists_euclideanSpace_apply_eq_exp_neg_pi_mul_norm_sq 0 below · cited by 1 · depth 26
• Seminorm bound for the Fourier transform of a nondegenerate pairing SchwartzMap.exists_seminorm_vectorFourierIntegral_le 0 below · cited by 1 · depth 28
• A compactly supported Schwartz bump on a finite-dimensional real space SchwartzMap.exists_hasCompactSupport_re_nonneg_apply_eq_one_of_norm_le_one 0 below · cited by 1 · depth 31