jacobiTheta₂' — Mathlib

English

JacobiTheta₂'(z,τ) is the sum over n ∈ ℤ of jacobiTheta₂'_term(n,z,τ).

Русский

JacobiTheta₂'(z,τ) задается как сумма по n ∈ ℤ от jacobiTheta₂'_term(n,z,τ).

LaTeX

$$$\jacobiTheta_2\' (z,\tau) = \sum_{n\in\mathbb{Z}} \jacobiTheta_2\'_term n z \tau$$$

Lean4

/-- The `z`-derivative of the Jacobi theta function,
`θ' z τ = ∑' (n : ℤ), 2 * π * I * n * cexp (2 * π * I * n * z + π * I * n ^ 2 * τ)`.
-/
def jacobiTheta₂' (z τ : ℂ) :=
  ∑' n : ℤ, jacobiTheta₂'_term n z τ

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