Função teta

A função teta de Jacobi (nomeada em referência a Carl Gustav Jakob Jacobi) é uma função definida para duas variáveis complexas z e τ, onde z pode ser qualquer número complexo e τ é confinada no meio plano superior, o que significa que possui parte imaginária positiva. A função é dada pela fórmula:

${\displaystyle \vartheta (z;\tau )=\sum _{n=-\infty }^{\infty }\exp(\pi in^{2}\tau +2\pi inz)=1+2\sum _{n=1}^{\infty }\left(e^{\pi i\tau }\right)^{n^{2}}\cos(2\pi nz).}$

Se τ é fixo, ela se torna uma série de Fourier para uma função inteira periódica de z com período 1; neste caso, a função teta satisfaz a identidade

${\displaystyle \vartheta (z+1;\tau )=\vartheta (z;\tau ).}$

A função também se comporta muito regularmente com respeito a seu quasi-período τ e satisfaz a equação funcional

${\displaystyle \vartheta (z+a+b\tau ;\tau )=\exp(-\pi ib^{2}\tau -2\pi ibz)\,\vartheta (z;\tau )}$

onde a e b são inteiros.

A função teta de Jacobi também pode ser escrita com um duplo 0 subscrito:

${\displaystyle \vartheta _{00}(z;\tau )=\vartheta (z;\tau )}$

Três funções teta auxiliares (meio-período) são definidas por:

${\displaystyle {\begin{aligned}\vartheta _{01}(z;\tau )&=\vartheta \!\left(z+{\textstyle {\frac {1}{2}}\pi };\tau \right)\\[3pt]\vartheta _{10}(z;\tau )&=\exp \!\left({\textstyle {\frac {1}{4}}}\pi i\tau +\pi iz\right)\vartheta \!\left(z+{\textstyle {\frac {1}{2}}}\tau ;\tau \right)\\[3pt]\vartheta _{11}(z;\tau )&=\exp \!\left({\textstyle {\frac {1}{4}}}\pi i\tau +\pi i\!\left(z+{\textstyle {\frac {1}{2}}}\right)\right)\vartheta \!\left(z+{\textstyle {\frac {1}{2}}}\tau +{\textstyle {\frac {1}{2}}};\tau \right).\end{aligned}}}$

Esta notação segue a formulação de Riemann e Mumford; a formulação original de Jacobi estava em termos do nome q = exp(πiτ) ao invés de τ. Na notação de Jacobi, as funções θ eram escritas como

${\displaystyle {\begin{aligned}\theta _{1}(z;q)&=-\vartheta _{11}(z;\tau )\\\theta _{2}(z;q)&=\vartheta _{10}(z;\tau )\\\theta _{3}(z;q)&=\vartheta _{00}(z;\tau )\\\theta _{4}(z;q)&=\vartheta _{01}(z;\tau )\end{aligned}}}$

As definições da função teta de Jacobi supracitadas não são únicas.

Se fizermos z = 0 nas funções teta, obtemos quatro funções para τ apenas, definidas no semiplano superior (por vezes chamadas constantes tetas). Elas podem ser utilizadas para definir uma variedade da forma modular, e para parametrizar certas curvas; em particular, a identidade de Jacobi é

${\displaystyle \vartheta _{00}(0;\tau )^{4}=\vartheta _{01}(0;\tau )^{4}+\vartheta _{10}(0;\tau )^{4}}$

que é a curva de Fermat de quarto grau.

• Milton Abramowitz e Irene A. Stegun, Handbook of Mathematical Functions, (1964) Dover Publications, New York. ISBN 0-486-61272-4. (Ver seção 16.27ff.)
• Naum Illyich Akhiezer, Elements of the Theory of Elliptic Functions, (1970) Moscou, traduzido para o inglês como AMS Translations of Mathematical Monographs Volume 79 (1990) AMS, Rhode Island ISBN 0-8218-4532-2
• Hershel M. Farkas and Irwin Kra, Riemann Surfaces (1980), Springer-Verlag, New York. ISBN 0-387-90465-4 (Ver capítulo 6 para tratamento da teta de Riemann)
• Godfrey Harold Hardy e E. M. Wright, An Introduction to the Theory of Numbers, fourth edition (1959) , Oxford University Press
• David Mumford, Tata Lectures on Theta I (1983), Birkhauser, Boston ISBN 3-7643-3109-7
• James Pierpont Functions of a Complex Variable, Dover
• Harry E. Rauch and Hershel M. Farkas, Theta Functions with Applications to Riemann Surfaces, (1974) Williams & Wilkins Co. Baltimore ISBN 0-683-07196-3.
• E. T. Whittaker and G. N. Watson, A Course in Modern Analysis, fourth edition, Cambridge University Press, 1927. (Ver capítulo XXI para a história das funções teta de Jacobi)

• Abramowitz and Stegun hosted by Simon Fraser University