Produit infini


Produit infini

En mathématiques, pour une suite de nombres a1, a2, a3, ... le produit infini


\prod_{n=1}^{\infty} a_n = a_1 \; a_2 \; a_3 \cdots

est défini comme la limite des produits partiels a1a2...an quand n tend vers l'infini. On suppose que les termes de la suite sont non nuls. On dit que le produit converge quand la limite existe et est non nulle. Autrement on dit que le produit diverge. Si le produit converge, la limite de la suite an quand n tend vers l'infini vaut 1 mais la réciproque est généralement fausse. Le logarithme log an est bien défini pour tout n assez grand, et on a \log \prod_{n=1}^{\infty} a_n = \sum_{n=1}^{\infty} \log a_n,

le produit du terme de gauche convergeant si et seulement si la somme du terme de droite converge. Ceci permet de relier les critères de convergence des sommes infinies aux critères de convergence des produits infinis.

Parmi les exemples les plus connus de produits infinis, on trouve quelques formules en rapport avec π, tels les deux produits suivants, dus respectivement à François Viète et John Wallis :

  • \frac{2}{\pi} = \frac{ \sqrt{2} }{ 2 } \cdot \frac{ \sqrt{2 + \sqrt{2}} }{ 2 } \cdot \frac{ \sqrt{2 + \sqrt{2 + \sqrt{2}}} }{ 2 } \cdots (il s'agit du premier produit infini apparu dans l'histoire des mathématiques)
  • \frac{\pi}{2} =  \frac{2}{1} \cdot \frac{2}{3} \cdot \frac{4}{3} \cdot \frac{4}{5} \cdot \frac{6}{5} \cdot \frac{6}{7} \cdot \frac{8}{7} \cdot \frac{8}{9} \cdots = \prod_{n=1}^{\infty} \left( \frac{ 4 \cdot n^2 }{ 4 \cdot n^2 - 1 } \right)

Fonctions exprimées comme produits

Un résultat majeur sur les produits infinis est le fait que toute fonction entière f(z) (i.e. toute fonction holomorphe sur le plan complexe tout entier) se factorise en un produit infini de fonctions entières ayant chacune au plus un zéro. En général, si f a un zéro d'ordre m à l'origine et d'autres zéros en u1, u2, u3, ... (comptés avec multiplicité) , alors :


f(z) = z^m \; e^{\phi(z)} \; \prod_{n=1}^{\infty} \left(1 - \frac{z}{u_n} \right) \;
\exp \left\lbrace \frac{z}{u_n} + \left(\frac{z}{u_n}\right)^2 + \cdots + \left(\frac{z}{u_n}\right)^{\lambda n} \right\rbrace
:

où les exposants λn sont des entiers positifs qui peuvent être choisis pour assurer la convergence de la série, et φ(z) est une fonction analytique uniquement déterminée (ce qui signifie que le terme devant le produit ne s'annule pas sur le plan complexe). Cette factorisation n'est pas unique, car elle dépend du choix des λn et n'est pas particulièrement élégante. Cependant, pour la plupart des fonctions, il existe un entier p minimal tel que le choix constant λn = p donne un produit qui converge, appelé la forme produit canonique, et, lorsque p = 1 convient, on obtient :


f(z) = z^m \; e^{\phi(z)} \; \prod_{n=1}^{\infty} \left(1 - \frac{z}{u_n}\right)

Ceci peut-être vu comme une généralisation du théorème fondamental de l'algèbre car ce produit devient fini dans le cas des polynômes et lorsque φ est une fonction constante.

On peut donner comme exemples remarquables les formules suivantes :

\sin \pi z = \pi z \prod_{n=1}^{\infty} \left(1 - \frac{z^2}{n^2}\right)

Euler - La formule de Wallis pour π est un cas particulier de cette identité.

1 / \Gamma(z) = z \; \mbox{e}^{\gamma z} \; \prod_{n=1}^{\infty} \left(1 + \frac{z}{n}\right) \; \mbox{e}^{-z/n}

Schlömilch

\zeta(z) = \prod_{n=1}^{\infty} \frac{1}{(1 - p_n^{-z})}

Euler - Ici pn est la suite des nombres premiers.

Remarque : le dernier cas n'est pas de la forme discutée ici, car ζ n'est pas une fonction entière.


Wikimedia Foundation. 2010.

Contenu soumis à la licence CC-BY-SA. Source : Article Produit infini de Wikipédia en français (auteurs)

Regardez d'autres dictionnaires:

  • Produit infini de cantor — Construction du produit Soit x0 un nombre réel strictement plus grand que 1. On définit les nombres suivants, où représente la partie entière de x : , . De ce fait …   Wikipédia en Français

  • Produit infini de Cantor — Construction du produit Soit x0 un nombre réel strictement plus grand que 1. On définit les nombres suivants, où représente la partie entière de x : , . De ce fait …   Wikipédia en Français

  • Produit eulerien — Produit eulérien Leonhard Euler En mathématiques, et plus précisément en théorie analytique des nombres, un produit eulérien est un développement en produit infini, indexé par les nombres premiers. Il permet de mesurer la répartition des nombres… …   Wikipédia en Français

  • produit — [ prɔdɥi ] n. m. • 1554; p. p. subst. de produire I ♦ LE PRODUIT (DE). 1 ♦ Nombre qui est le résultat d une multiplication. Produit de plusieurs facteurs. Produit d un nombre multiplié par lui même. ⇒ carré. L espace parcouru est égal au produit… …   Encyclopédie Universelle

  • Produit de wallis — En mathématiques, le produit de Wallis est une expression de la moitié de la constante π sous la forme d un produit infini, énoncée en 1655 par John Wallis. Expression Ce produit peut s écrire sous la forme : Démonstration L égalité est une… …   Wikipédia en Français

  • Produit eulérien — En mathématiques, et plus précisément en théorie analytique des nombres, un produit eulérien est un développement en produit infini, indexé par les nombres premiers[1]. Il permet de mesurer la répartition des nombres premiers et est intimement… …   Wikipédia en Français

  • Produit de Wallis — En mathématiques, le produit de Wallis est une expression de la moitié de la constante π sous la forme d un produit infini, énoncée en 1655 par John Wallis, dans son ouvrage Arithmetica infinitorum. Sommaire 1 Expression 2 Démonstration 3 Vitesse …   Wikipédia en Français

  • INFINI MATHÉMATIQUE — Le mot «infini» désigne un concept à entrées multiples. Il s’ouvre d’abord sur l’ontologie et signifie alors, selon la tradition, «l’être tel qu’on n’en saurait concevoir de plus grand» («ens quo majus concipi non potest »). Ce fut pour une… …   Encyclopédie Universelle

  • INFINI — La philosophie a emprunté la notion de l’infini – corrélative de la notion du fini – à la réflexion sur l’exercice de la connaissance, d’une part; à l’expérience ou à la tradition religieuse, de l’autre. Ces deux sources déterminent la variété… …   Encyclopédie Universelle

  • Produit de cauchy — Pour les articles homonymes, voir Cauchy. En analyse, le produit de Cauchy est une opération portant sur certaines séries. Il permet de généraliser la propriété de distributivité. Son nom est un hommage à l analyste français Augustin Louis Cauchy …   Wikipédia en Français


Share the article and excerpts

Direct link
Do a right-click on the link above
and select “Copy Link”

We are using cookies for the best presentation of our site. Continuing to use this site, you agree with this.