fourierIntegralInv_eq_fourierIntegral_neg

English

The inverse Fourier transform of f equals the Fourier transform of f, evaluated with negated argument, i.e., 𝓕⁻ f w = 𝓕 f (−w).

Русский

Обратное Фурье-преобразование f равно Фурье-преобразованию f на −w.

LaTeX

$$$\\mathcal{F}^{-} f w = \\mathcal{F} f ( -w )$$$

Lean4

theorem fourierIntegralInv_eq_fourierIntegral_neg (f : V → E) (w : V) : 𝓕⁻ f w = 𝓕 f (-w) := by
  simp [fourierIntegral_eq, fourierIntegralInv_eq]

Похожие утверждения