LSeries — Mathlib

English

The L-series is the sum LSeries(f,s) = ∑' n, term f s n, i.e., the Dirichlet-type series associated to f at s.

Русский

L-ряд — это сумма LSeries(f,s) = ∑' n, term f s n, т.е. ряд типа Дирихле, связанный с f в точке s.

LaTeX

$$$LSeries(f,s) = \\sum' n\\,\\operatorname{term}(f,s,n)$$$

Lean4

/-- The value of the L-series of the sequence `f` at the point `s`
if it converges absolutely there, and `0` otherwise. -/
noncomputable def LSeries (f : ℕ → ℂ) (s : ℂ) : ℂ :=
  ∑' n, term f s n

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