În matematică , pentru o succesiune de numere, un produs infinit [1]
este definită ca limita produselor parțiale la . Un produs se numește convergent atunci când există o limită și este diferită de zero. În caz contrar, produsul se numește divergent . Cazul în care limita este zero este considerat separat pentru a obține rezultate similare cu cele pentru sume infinite .
Dacă toate numerele sunt pozitive, atunci se poate aplica operația cu logaritm. Apoi studiul convergenței unui produs infinit se reduce la studiul convergenței unei serii de numere .
Dacă produsul converge, atunci egalitatea limită trebuie satisfăcută . Prin urmare, logaritmul este definit pentru toate , cu excepția unui număr finit de valori, a căror prezență nu afectează convergența. Eliminând acest număr finit de termeni din șir, obținem egalitatea:
în care convergența unei sume infinite din partea dreaptă este echivalentă cu convergența unui produs infinit din stânga. Acest lucru ne permite să reformulam criteriul pentru convergența sumelor infinite într-un criteriu pentru convergența produselor infinite. Pentru produse astfel încât pentru orice , notăm , atunci și , de unde urmează inegalitatea:
care arată că un produs infinit converge dacă și numai dacă o sumă infinită converge .
Exemple notabile de produse infinite, formule pentru un număr , descoperite, respectiv, de François Viet și John Wallis :
; .Identitatea lui Euler pentru funcția zeta
,unde produsul este preluat peste toate numerele prime . Acest produs converge pentru .
În analiza complexă , se știe că sinusul și cosinusul pot fi descompuse într-un produs infinit de polinoame.
Aceste expansiuni sunt o consecință a teoremei generale conform căreia orice funcție întreagă cu cel mult un număr numărabil de zerouri , unde punctul 0 este zero de ordin , poate fi reprezentată ca un produs infinit al formei
,
unde este o funcție întreagă, iar numerele întregi nenegative sunt alese în așa fel încât seria să convergă. La , numărul exponenţial corespunzător multiplicatorului este omis (se consideră egal cu ).