jacobiTheta₂_fderiv — Mathlib

English

Fréchet derivative of the two-variable Jacobi theta function is given by the sum jacobiTheta₂_term_fderiv over n.

Русский

Фреше-производная двухпеременной функции Якоби θ задается суммой jacobiTheta₂_term_fderiv по n.

LaTeX

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

Lean4

/-- Fréchet derivative of the two-variable Jacobi theta function. -/
def jacobiTheta₂_fderiv (z τ : ℂ) : ℂ × ℂ →L[ℂ] ℂ :=
  ∑' n : ℤ, jacobiTheta₂_term_fderiv n z τ

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