Fonction theta

Un article de Wikipédia, l'encyclopédie libre.

En mathématiques, les fonctions theta sont des fonctions spéciales à plusieurs variables complexes. Elles sont importantes dans plusieurs domaines, incluant les théories des variétés abéliennes, les espaces modulaires, et les formes quadratiques. Elles ont aussi été appliquées à la théorie du soliton. Lorsqu'elles ont été généralisées à une algèbre de Grassman, elles sont aussi apparues dans la théorie des champs quantiques, précisément dans la théorie des cordes et des D-branes.

La forme la plus commune de la fonction theta est celle qui apparaît dans la théorie des fonctions elliptiques. En respectant une de ses variables complexes (appelée par convention z), une fonction theta possède une propriété exprimant son comportement respectant l'addition d'une période des fonctions elliptiques associées (quelquefois appelée quasi-périodicité, bien que ceci n'est pas relié à l'usage de ce terme pour les systèmes dynamiques).

Sommaire

1 Fonction théta de Jacobi
2 Fonctions auxiliaires
3 Identités de Jacobi
4 Représentations de produits
5 Représentations intégrales
6 Relation avec la fonction zeta de Riemann
7 Relation avec la fonction elliptique de Weierstrass
8 Certaines relations avec les formes modulaires
9 Comme solution de l'équation de la chaleur
10 Relation avec le groupe de Heisenberg
11 Généralisations
- 11.1 Fonction théta de Riemann
12 Publications en langue anglaise

[modifier] Fonction théta de Jacobi

La fonction théta de Jacobi est une fonction définie pour deux variables complexes z et $\tau\,$ , où z peut être n'importe quel nombre complexe et $\tau\,$ est maintenu dans le demi-plan de Poincaré, ce qui veut dire qu'il a sa partie imaginaire positive. Elle est donnée par la formule

$\vartheta(z; \tau) = \sum_{n=-\infty}^\infty \exp (\pi i n^2 \tau + 2 \pi i n z)$

Si $\tau\,$ est fixé, ceci devient une série de Fourier pour une fonction entière périodique de z, de période un; la fonction théta satisfait l'identité

$\vartheta(z+1; \tau) = \vartheta(z; \tau)\,$

La fonction se comporte aussi très régulièrement en respectant l'addition par $\tau\,$ et satisfait l'équation fonctionnelle

$\vartheta(z+a+b\tau;\tau) = \exp(-\pi i b^2 \tau -2 \pi i b z)\vartheta(z;\tau)$

où a et b sont des nombres entiers.

[modifier] Fonctions auxiliaires

Il est pratique de définir trois fonctions théta auxiliaires, que nous pouvons écrire

$\vartheta_{01} (z;\tau) = \vartheta(z+1/2;\tau)$

$\vartheta_{10}(z;\tau) = \exp(\pi i \tau/4 + \pi i z)\vartheta(z+\tau/2;\tau)$

$\vartheta_{11}(z;\tau) = \exp((\pi i \tau/4 + \pi i (z+1/2))\vartheta(z+(\tau+1)/2;\tau)$

Cette notation suit celle de Riemann et de David Mumford ; la formulation originelle de Jacobi était en terme du nome $q = \exp(\pi \tau)\,$ plutôt que $\tau\,$ , et theta appelé $\theta_3\,$ , avec $\vartheta_{01}\,$ en terme de $\theta_0\,$ , $\vartheta_{10}\,$ nommé $\theta_2\,$ , et $\vartheta_{11}\,$ appelé $-\theta_1\,$ .

Si nous fixons z = 0 dans les fonctions théta précédentes, nous obtenons quatre fonctions de $\tau\,$ seulement, définies sur le demi-plan de Poincaré (quelquefois appelées constantes théta). Celles-ci peuvent être utilisées pour définir une variété de formes modulaires, et pour paramètrer certaines courbes; en particulier l'identité de Jacobi est

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

laquelle est la courbe de Fermat de degré quatre.

[modifier] Identités de Jacobi

Les identités de Jacobi décrivent comment les fonctions théta transforment sous le groupe modulaire. Soit

$\alpha = (-i \tau)^{1/2} \exp\left({i \tau z^2 \over \pi}\right)$

Alors

$\vartheta_1 (z; -1/\tau) = -i \alpha \vartheta_1 (\tau z; \tau)$

$\vartheta_2 (z; -1/\tau) = \alpha \vartheta_4 (\tau z; \tau)$

$\vartheta_3 (z; -1/\tau) = \alpha \vartheta_3 (\tau z; \tau)$

$\vartheta_4 (z; -1/\tau) = \alpha \vartheta_2 (\tau z; \tau)$

Voir aussi : (en) Démonstration de l'identité de Jacobi pour les fonctions de PlanetMath

[modifier] Représentations de produits

La fonction théta de Jacobi peut être exprimée comme un produit, à travers le théorème du triple produit de Jacobi :

$\vartheta(z; \tau) = \prod_{m=1}^\infty \left( 1-\exp 2i\pi \tau m \right) \left( 1+\exp i\pi \left[(2m-1)\tau +2z \right]\right) \left( 1+\exp i\pi \left[(2m-1)\tau -2z \right]\right)$

Les fonctions auxiliaires ont les expressions, avec $q = exp i πτ$ :

$\vartheta_1 (z;\tau) = 2 q^{1/4} \sin z \prod_{n=1}^\infty (1 - q^{2n}) (1 - 2 q^{2n} \cos 2 z + q^{4n})$

$\vartheta_2 (z;\tau) = 2 q^{1/4} \cos z \prod_{n=1}^\infty (1 - q^{2n}) (1 + 2 q^{2n} \cos 2 z + q^{4n})$

$\vartheta_3 (z;\tau) = \prod_{n=1}^\infty (1 - q^{2n}) (1 + 2 q^{2n-1} \cos 2 z + q^{4n-2})$

$\vartheta_4 (z;\tau) = \prod_{n=1}^\infty (1 - q^{2n}) (1 - 2 q^{2n-1} \cos 2 z + q^{4n-2})$

[modifier] Représentations intégrales

Les fonctions théta de Jacobi ont les représentations intégrales suivantes :

$\vartheta_1 (z; \tau) = -e^{iz + i \pi \tau / 4} \int_{i - \infty}^{i + \infty} {e^{i \pi \tau u^2} \cos (2 u z + \pi \tau u) \over \sin (\pi u)} du$

$\vartheta_2 (z; \tau) = -i e^{iz + i \pi \tau / 4} \int_{i - \infty}^{i + \infty} {e^{i \pi \tau u^2} \cos (2 u z + \pi u + \pi \tau u) \over \sin (\pi u)} du$

$\vartheta_3 (z; \tau) = -i \int_{i - \infty}^{i + \infty} {e^{i \pi \tau u^2} \cos (2 u z + \pi u) \over \sin (\pi u)} du$

$\vartheta_4 (z; \tau) = -i \int_{i - \infty}^{i + \infty} {e^{i \pi \tau u^2} \cos (2 u z) \over \sin (\pi u)} du$

[modifier] Relation avec la fonction zeta de Riemann

Notons que

$\vartheta(0;-1/\tau)=(-i\tau)^{1/2} \vartheta(0;\tau)\,$

Cette relation fut utilisée par Riemann pour démontrer l'équation fonctionnelle de la fonction Zeta de Riemann, signifiant l'intégrale

$\Gamma\left(\frac{s}{2}\right) \pi^{-s/2} \zeta(s) = \frac{1}{2}\int_0^\infty\left[\vartheta(0;it)-1\right] t^{s/2}\frac{dt}{t}$

qui peut être montrée invariante par substitution de s par 1-s. L'intégrale correspondante pour z différent de zéro est donnée dans l'article sur la fonction zeta d'Hurwitz.

[modifier] Relation avec la fonction elliptique de Weierstrass

La fonction théta fut utilisée par Jacobi pour construire (dans une forme adaptée pour un calcul facile) ses fonctions elliptiques comme des quotients des quatre fonctions théta précédentes, et ont pu être utilisée par lui pour construire aussi les fonctions elliptiques de Weierstrass, puisque

$\wp(z;\tau) = -(\log \vartheta_{11}(z;\tau))'' + c\,$

où la seconde dérivée est en respect avec z et la constante c est définie comme le développement de Laurent de $\wp(z)$ à z = 0 ne possède aucun terme constant.

[modifier] Certaines relations avec les formes modulaires

Soit $\eta\,$ , la fonction eta de Dedekind. Alors

$\vartheta(0;\tau)=\frac{\eta^2\left(\frac{\tau+1}{2}\right)}{\eta(\tau+1)}$ .

[modifier] Comme solution de l'équation de la chaleur

La fonction théta de Jacobi est l'unique solution de l'équation de la chaleur à une dimension avec des conditions aux limites périodiques au temps zéro. Ceci est plus facile à voir en prenant z=x réel, et en prenant $\tau=it\,$ avec t réel et positif. Alors, nous pouvons écrire

$\vartheta (x,it)=1+2\sum_{n=1}^\infty \exp(-\pi n^2 t) \cos(2\pi nx)$

qui résout l'équation de la chaleur

$\frac{\partial}{\partial t} \vartheta(x,it)=\frac{1}{4\pi} \frac{\partial^2}{\partial x^2} \vartheta(x,it)$ .

Le fait que cette solution soit unique peut être vu en notant qu'à t=0, la fonction théta devient le peigne de Dirac :

$\lim_{t\rightarrow 0} \vartheta(x,it)=\sum_{n=-\infty}^\infty \delta(x-n)$

où $\delta\,$ est la fonction δ de Dirac. Ainsi, la solution générale peut être précisée en juxtaposant la condition aux limites (périodique) à t=0 avec la fonction théta.

[modifier] Relation avec le groupe de Heisenberg

La fonction théta de Jacobi peut être pensée comme le prolongement d'une représentation du groupe de Heisenberg en mécanique quantique, quelquefois appelée la représentation théta. Ceci peut être vu en construisant le groupe explicitement. Soit f(z) une fonction holomorphe, soit a et b des nombres réels, et fixons une valeur de $\tau\,$ . Alors, définissons les opérateurs $S_a\,$ et $T_b\,$ tels que

$(S_a f)(z) = f(z+a)\,$

$(T_b f)(z) = \exp (i\pi b^2 \tau +2\pi ibz) f(z+b\tau)\,$

Notons que

$S_{a_1} (S_{a_2} f) = (S_{a_1} \circ S_{a_2}) f = S_{a_1+a_2} f$

$T_{b_1} (T_{b_2} f) = (T_{b_1} \circ T_{b_2}) f = T_{b_1+b_2} f$ ,

mais S et T ne commutent pas :

$S_a \circ T_b = \exp (2\pi iab) \; T_b \circ S_a$ .

Ainsi, nous voyons que S et T ensemble avec une phase unitaire forme un groupe de Lie nilpotent, le groupe de Heisenberg (réel continu), paramétrisable comme $H=U(1)\times\mathbb{R}\times\mathbb{R}\,$ où U(1) est le groupe unitaire. Un élément de groupe général $U(\lambda,a,b)\in H\,$ alors agit sur une fonction holomorphe f(z) comme

$U(\lambda,a,b)\;f(z)=\lambda (S_a \circ T_b f)(z) = \lambda \exp (i\pi b^2 \tau +2\pi ibz) f(z+a+b\tau)$

où $\lambda \in U(1)$ . Notons que U(1)=Z(H) est le centre de H, le sous-groupe commutateur [H,H].

Définissons le sous-groupe $\Gamma\subset H$ comme

$\Gamma = \{ U(1,a,b) \in H : a,b \in \mathbb{Z} \}$ .

Alos, nous voyons que la fonction théta de Jacobi est une fonction entière de z qui est invariante sous $\Gamma\,$ , et il peut être montré que la fonction théta de Jacobi est une telle fonction unique.

La représentation théta ci-dessus du groupe d'Heisenberg peut être reliée à la représentation canonique de Weyl du groupe d'Heisenberg comme suit. Fixons une valeur pour $\tau\,$ et définissons une norme sur les fonctions entières du plan complexe comme

$\Vert f \Vert ^2 = \int_{\mathbb{C}} \exp \left( \frac {-2\pi y^2} {\Im \tau} \right) |f(x+iy)|^2 \ dx \ dy$

Soit $\mathcal{J}$ l'ensemble des fonctions entières f de norme finie. Notons que $\mathcal{J}$ est un espace hilbertien, et que $U (λ, a, b)$ est unitaire sur $\mathcal{J}$ , et que $\mathcal{J}$ est irréductible sous cette action. Alors $\mathcal{J}$ et L²(R) sont isomorphes comme H-modules, où H agit sur $L^2(\mathbb{R})\,$ comme

$U(\lambda,a,b)\;\psi(x)=\lambda \exp (2\pi ibx) \psi(x+a)$

pour $x\in\mathbb{R}$ et $\psi\in L^2(\mathbb{R})$ .

Voir aussi le théorème de Stone-von Neumann pour plus de développements sur ces idées.

[modifier] Généralisations

Si F est une forme quadratique de n variables, alors la fonction théta associée avec F est

$\theta_F (z)= \sum_{m\in Z^n} \exp(2\pi izF(m))$

avec la somme s'étendant sur le réseau des entiers $\mathbb{Z}^n\,$ . Cette fonction théta est une forme modulaire de poids n/2 (sur un sous-groupe défini de manière approprié) du groupe modulaire. Dans le développement de Fourier,

$\theta_F (z) = \sum_{k=0}^\infty R_F(k) \exp(2\pi ikz)$ ,

les nombres R_F(k) sont appelés les nombres de représentation de la forme.

[modifier] Fonction théta de Riemann

Soit

$H_n=\{F\in M(n,C) \; s.t. F=F^T \;\textrm{and}\; \Im F >0 \}$

l'ensemble des matrices carrées symétriques dont la partie imaginaire est définie positive; notons que $H_n\,$ est l'analogue multi-dimensionnel du demi-plan de Poincaré. L'analogue n-dimensionnel du groupe modulaire est le groupe symplectique Sp(2n,Z); notons que pour n=1, Sp(2,Z)=SL(2,Z). L'analogue n-dimensionnel des sous-groupes de congruence est joué par $\textrm{Ker} \{Sp(2n,\mathbb{Z})\rightarrow Sp(2n,\mathbb{Z}/k\mathbb{Z}) \}$ .

Alors, $F\in H_n$ donné, la fonction théta de Riemann est définie comme suit

$\theta (F,z)=\sum_{m\in Z^n} \exp\left(2\pi i \left(\frac{1}{2} m^T F m +m^T z \right)\right)$ .

Ici, $z\in \mathbb{C}^n$ est un vecteur complexe n-dimensionnel, et l'exposant T désigne la transposition. La fonction théta de Jacobi est alors un cas particulier, avec n=1 et $F=\tau \in \mathbb{H}$ où H est le demi-plan de Poincaré.

[modifier] Publications en langue anglaise

Milton Abramowitz and Irene A. Stegun, Handbook of Mathematical Functions, (1964) Dover Publications, New York. ISBN 486-61272-4 . (See section 16.27ff.)
Naum Illyich Akhiezer, Elements of the Theory of Elliptic Functions, (1970) Moscow, translated into English as AMS Translations of Mathematical Monographs Volume 79 (1990) AMS, Rhode Island ISBN 0-8218-4532-2
David Mumford, Tata Lectures on Theta I (1983), Birkhauser, Boston ISBN 3-7643-3109-7
James Pierpont Functions of a Complex Variable, Dover

Diverses parties (représentations des produits des fonctions théta de Jacobi, identité de Jacobi pour les fonction théta, représentation intégrales des fonctions théta de Jacobi) sont issues du site www.planetmath.com

Portail des mathématiques – Accédez aux articles de Wikipédia concernant les mathématiques.

Récupérée de « http://fr.wikipedia.org../../../f/o/n/Fonction_theta.html »

Catégories : Théorie analytique des nombres • Fonction elliptique