Gammaℝ_def

Mathlib.Analysis.SpecialFunctions.Gamma.Deligne

URI: https://scilib.ai/kg/mathlib#Complex.Gammaℝ_def

English

For complex s, Gamma_R(s) is defined by the same formula Γℝ(s) = π^{−s/2} Γ(s/2).

Русский

Для комплексного аргумента s гамма‑фактор Γℝ(s) определяется по той же формуле: π^{−s/2} Γ(s/2).

LaTeX

$$$ \Gamma\mathbb{R}(s) = \pi^{-{s}/2} \; \Gamma\left(\dfrac{s}{2}\right) $$$

Lean4

theorem Gammaℝ_def (s : ℂ) : Gammaℝ s = π ^ (-s / 2) * Gamma (s / 2) :=
  rfl

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

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

Разделы

Аффилиация

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