Λ₀ — Mathlib

English

Λ₀ is the Mellin transform of the modifying pair f_modif, i.e., an auxiliary entire function that captures the pole structure before corrections are subtracted to obtain Λ.

Русский

Λ₀ — это Mellin-преобразование модифицирующей пары f_modif; вспомогательная целая функция, фиксирующая полюсную структуру перед коррекциями, чтобы получить Λ.

LaTeX

$$Λ₀ : ℂ → E := mellin P.f_modif$$

Lean4

/-- An entire function which differs from the Mellin transform of `f - f₀`, where defined, by a
correction term of the form `A / s + B / (k - s)`. -/
def Λ₀ : ℂ → E :=
  mellin P.f_modif

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