<?xml version="1.0" encoding="UTF-8"?>

<record version="2" id="6427">
 <title>Jacobi's identity for $\vartheta$ functions</title>
 <name>JacobisIdentityForVarthetaFunctions</name>
 <created>2004-10-28 22:11:28</created>
 <modified>2006-10-03 15:45:02</modified>
 <type>Theorem</type>
<parent id="5550">Jacobi $\vartheta$ functions</parent>
 <creator id="6075" name="rspuzio"/>
 <author id="2760" name="yark"/>
 <author id="6075" name="rspuzio"/>
 <classification>
	<category scheme="msc" code="33E05"/>
 </classification>
 <preamble>% this is the default PlanetMath preamble.  as your knowledge
% of TeX increases, you will probably want to edit this, but
% it should be fine as is for beginners.

% almost certainly you want these
\usepackage{amssymb}
\usepackage{amsmath}
\usepackage{amsfonts}

% used for TeXing text within eps files
%\usepackage{psfrag}
% need this for including graphics (\includegraphics)
%\usepackage{graphicx}
% for neatly defining theorems and propositions
%\usepackage{amsthm}
% making logically defined graphics
%\usepackage{xypic}

% there are many more packages, add them here as you need them

% define commands here</preamble>
 <content>Jacobi's identities describe how theta functions transform under replacing the period with the negative of its reciprocal.  Together with the quasiperiodicity relations, they describe the transformations of theta functions under the modular group.
$$\theta_1 (z \mid -1/\tau) = -i (-i \tau)^{1/2} e^{i \tau z^2 \over \pi} \theta_1 (\tau z \mid \tau)$$
$$\theta_2 (z \mid -1/\tau) = (-i \tau)^{1/2} e^{i \tau z^2 \over \pi} \theta_4 (\tau z \mid \tau)$$
$$\theta_3 (z \mid -1/\tau) = (-i \tau)^{1/2} e^{i \tau z^2 \over \pi} \theta_3 (\tau z \mid \tau)$$
$$\theta_4 (z \mid -1/\tau) = (-i \tau)^{1/2} e^{i \tau z^2 \over \pi} \theta_2 (\tau z \mid \tau)$$</content>
</record>
