f_int

Mathlib.NumberTheory.ModularForms.JacobiTheta.Bounds

URI: https://scilib.ai/kg/mathlib#HurwitzKernelBounds.f_int

English

f_int(k, a, t, n) = |n + a|^k · exp(-π (n + a)^2 t) is the ℤ-version summand.

Русский

f_int(k,a,t,n) = |n + a|^k · e^{-π (n + a)^2 t} — слагаемое по n ∈ ℤ.

LaTeX

$$$f_{int}(k,a,t,n) = |n+a|^{k} \cdot e^{-\pi (n+a)^{2} t}.$$$

Lean4

/-- Summand in the sum to be bounded (`ℤ` version). -/
def f_int (k : ℕ) (a t : ℝ) (n : ℤ) : ℝ :=
  |n + a| ^ k * exp (-π * (n + a) ^ 2 * t)

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

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

Разделы

Аффилиация

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