fourierTransformCLE_apply

Mathlib.Analysis.Distribution.FourierSchwartz

URI: https://scilib.ai/kg/mathlib#SchwartzMap.fourierTransformCLE_apply

English

For all f, the coefficient map of fourierTransformCLE coincides with Real Fourier integral of f.

Русский

Для любого f коэффицентная карта fourierTransformCLE совпадает с Real Fourier integral f.

LaTeX

$$$ \text{coeff} (\mathrm{fourierTransformCLE}_{\mathbb{K}}(f)) = \mathcal{F}_{\mathbb{R}} (f) $$$

Lean4

@[simp]
theorem fourierTransformCLE_apply (f : 𝓢(V, E)) : fourierTransformCLE 𝕜 f = 𝓕 f :=
  rfl

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

Научная платформа российской исследовательской школы.

Разделы

Аффилиация

Вычислительный центр им. А. А. Дороницына при ФИЦ «Информатика и Управление» РАН frccsc.ru