Gammaℂ_def

Mathlib.Analysis.SpecialFunctions.Gamma.Deligne

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

English

For s ≠ 0, Γℂ(s+1) = Γℂ(s) · s / 2 / π.

Русский

Для s ≠ 0 выполняется Γℂ(s+1) = Γℂ(s) · s / (2π).

LaTeX

$$$ \Gamma\mathbb{C}(s+1) = \Gamma\mathbb{C}(s) \cdot \dfrac{s}{2 \pi} $$$

Lean4

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

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

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

Разделы

Аффилиация

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