Prodotto infinito

Da Wikipedia, l'enciclopedia libera.

In matematica si dice prodotto infinito relativo ad una successione di numeri reali o complessi a₁, a₂, a₃, ... l'entità che si denota con

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

e che si definisce come il limite dei prodotti parziali a₁a₂...a_n per n tendente all'infinito. Il prodotto si dice convergente quando il limite esiste ed è diverso da 0. In caso contrario si dice che il prodotto k è divergente. Il possibile valore limite 0 viene considerato separatamente per avere risultati analoghi a quelli per la somma di una serie infinita. Se il prodotto infinito converge, allora il limite della successione a_n per n tendente all'infinito deve essere 1, mentre il fatto che la successione tenda a 1 non implica necessariamente che il prodotto infinito converga. Pertanto il logaritmo dato da log a_n deve essere definito con al più l'eccezione di un numero finito di indici n; nel caso di una successione per la quale possano definirsi i logaritmi di tutti i componenti otteniamo

$\log \prod_{n=1}^{\infty} a_n = \sum_{n=1}^{\infty} \log a_n$

con il prodotto a primo membro che converge se e solo se la somma al secondo membro converge. Questa situazione simmetrica consente di tradurre i criteri di convergenza per le somme infinite in criteri di convergenza per i prodotti infiniti.

Per prodotti nei quali per ogni n si ha $a_n\ge1$ , introducendo i numeri $p n : = a n - 1$ , per i quali deve essere $p_n\ge 0$ , si trovano le disuguaglianze

$1+\sum_{n=1}^{N} p_n \le \prod_{n=1}^{N} \left( 1 + p_n \right) \le \exp \left( \sum_{n=1}^{N}p_n \right)$

e queste mostrano che il prodotto infinito converge se e solo se converge la successione dei p_n.

Gli esempi più noti di prodotti infiniti sono probabilmente dati da alcune delle formule trovate per π, come le seguenti ottenute, rispettivamente, da François Viète (v. formula di Viète) e John Wallis (v. prodotto di 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$

$\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)$

[modifica] Rappresentazione di funzioni mediante prodotti

Vedi più estesamente Teorema di fattorizzazione di Weierstrass

Un risultato importante sui prodotti infiniti consiste nel fatto che ogni funzione intera f(z) (cioè ogni funzione olomorfa sull'intero piano complesso) si può fattorizzare come prodotto infinito di funzioni intere ciascuna delle quali presenta al più un singolo zero. In generale, se f presenta uno zero di ordine m nell'origine e possiede altri zeri complessi nei punti u₁, u₂, u₃, ... (elencati con le molteplicità uguali ai loro ordini), allora

$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} + \frac12\left(\frac{z}{u_n}\right)^2 + \cdots + \frac1{\lambda_n}\left(\frac{z}{u_n}\right)^{\lambda_n} \right\rbrace$

dove i λ_n sono interi non negativi che si possono scegliere per rendere il prodotto convergente, e φ(z) è qualche funzione analitica univocamente determinata (il che significa che il fattore che precede il prodotto non presenta zeri nel piano complesso). La precedente fattorizzazione non è unica, in quanto dipende dalla scelta dei λ_n e non è particolarmente elegante. Per gran parte delle funzioni, tuttavia, si trova qualche intero non negativo minimo p tale che λ_n = p fornisce un prodotto convergente; questo viene chiamato la rappresentazione canonica mediante prodotto. Questo p viene chiamato rango del prodotto canonico. Nel caso che sia p = 0, questo prende la forma

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

Questa può essere considerata come una generalizzazione del teorema fondamentale dell'algebra, in quanto per le funzioni polinomiali il prodotto diventa finito e la funzione φ(z) si riduce a una costante. Oltre a questo caso, sono particolarmente notevoli le seguenti rappresentazioni:

Funzione seno	$\sin \pi z = \pi z \prod_{n=1}^{\infty} \left(1 - \frac{z^2}{n^2}\right)$	Eulero - la formula di Wallis per π è un caso particolare di questa.
funzione Gamma	$1 / \Gamma(z) = z \; \mbox{e}^{\gamma z} \; \prod_{n=1}^{\infty} \left(1 + \frac{z}{n}\right) \; \mbox{e}^{-z/n}$	Oscar Schlömilch
funzione zeta di Riemann	$\zeta(z) = \prod_{n=1}^{\infty} \frac{1}{(1 - p_n^{-z})}$	Eulero - Qui i p_n costituiscono la successione dei numeri primi.

Si osservi che almeno una di queste rappresentazioni non è una rappresentazione dello stesso tipo discusso in precedenza, in quanto la ζ non è una funzione intera.

Estratto da "http://it.wikipedia.org../../../p/r/o/Prodotto_infinito.html"

Categorie: Successioni | Serie matematiche

Prodotto infinito

Da Wikipedia, l'enciclopedia libera.

[modifica] Rappresentazione di funzioni mediante prodotti

Views

Navigazione

comunità

Ricerca

Altre lingue