jacobiTheta₂ — Mathlib

English

The term for the z-derivative is jacobiTheta₂'_term(n,z,τ) = 2π i n jacobiTheta₂_term(n,z,τ).

Русский

Слагаемое для производной по z: jacobiTheta₂'_term(n,z,τ) = 2π i n jacobiTheta₂_term(n,z,τ).

LaTeX

$$$\jacobiTheta_2\'_term(n,z,\tau) = 2\pi i\, n\, \jacobiTheta_2\_term(n,z,\tau).$$$

Lean4

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

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