Category:Jacobi Theta Functions

From ProofWiki
Jump to navigation Jump to search

This category contains results about Jacobi Theta Functions.
Definitions specific to this category can be found in Definitions/Jacobi Theta Functions.

The Jacobi theta functions are defined as follows:


First Type

The Jacobi Theta function of the first type is defined as:

$\forall z \in \C: \ds \map {\vartheta_1} {z, q} = 2 \sum_{n \mathop = 0}^\infty \paren {-1}^n q^{\paren {n + \frac 1 2}^2} \sin \paren {2 n + 1} z$

where:

$q = e^{i \pi \tau}$
$\tau \in \C$ such that $\map \Im \tau > 0$


Second Type

The Jacobi Theta function of the second type is defined as:

$\forall z \in \C: \ds \map {\vartheta_2} {z, q} = 2 \sum_{n \mathop = 0}^\infty q^{\paren {n + \frac 1 2}^2} \map \cos {2 n + 1} z$

where:

$q = e^{i \pi \tau}$
$\tau \in \C$ such that $\map \Im \tau > 0$


Third Type

The Jacobi Theta function of the third type is defined for all complex $z$ by:

$\forall z \in \C: \ds \map {\vartheta_3} {z, q} = 1 + 2 \sum_{n \mathop = 1}^\infty q^{n^2} \cos 2 n z$

where:

$q = e^{i \pi \tau}$
$\tau \in \C$ such that $\map \Im \tau > 0$


Fourth Type

The Jacobi Theta function of the fourth type is defined as:

$\forall z \in \C: \ds \map {\vartheta_4} {z, q} = 1 + 2 \sum_{n \mathop = 1}^\infty \paren {-1}^n q^{n^2} \cos 2 n z$

where:

$q = e^{i \pi \tau}$
$\tau \in \C$ such that $\map \Im \tau > 0$

Subcategories

This category has only the following subcategory.

Pages in category "Jacobi Theta Functions"

This category contains only the following page.