jacobiTheta₂_term — Mathlib

English

The summand in Jacobi theta with two variables is given by exp(2π i n z + π i n^2 τ).

Русский

Слагаемое в двухпеременной функции Якоби θ равно exp(2π i n z + π i n^2 τ).

LaTeX

$$$\jacobiTheta_2\_term(n,z,\tau) = \exp\left(2\pi i n z + \pi i n^{2} \tau\right)$$$

Lean4

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

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