jacobiTheta₂'_term — Mathlib

English

The 2nd derivative term for the z-derivative of Jacobi theta 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

/-- Summand in the series for the `z`-derivative of the Jacobi theta function. -/
def jacobiTheta₂'_term (n : ℤ) (z τ : ℂ) :=
  2 * π * I * n * jacobiTheta₂_term n z τ

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