Teorema di fattorizzazione di Weierstrass

teorema dell'analisi complessa

In matematica, il teorema di fattorizzazione di Weierstrass è un teorema dell'analisi complessa. Afferma che ogni funzione intera può essere espressa come un prodotto (eventualmente infinito) in funzione dei suoi zeri e, viceversa, che per ogni insieme discreto (ovvero senza punti di accumulazione) di punti del piano complesso esiste una funzione intera che ha zeri in quei punti ed in nessun altro.

Il teorema può essere considerato un'estensione del teorema fondamentale dell'algebra al caso delle funzioni intere.

Prende nome da Karl Weierstrass.

MotivazioneModifica

Il teorema fondamentale dell'algebra afferma che ogni polinomio non costante a coefficienti complessi ha una radice, e quindi ha un numero di zeri uguale al proprio grado. Di conseguenza, ogni polinomio   può essere scritto come

 ,

dove   sono gli zeri di   (contati con la loro molteplicità) e   è il coefficiente direttore del polinomio. Viceversa, dato un insieme finito   di punti (eventualmente con ripetizioni), esiste un polinomio, per la precisione  , i cui zeri sono esattamente  .

Nel caso delle funzioni intere (che, anche a causa della loro rappresentazione in serie di Taylor, possono in un certo senso essere pensate come polinomi "di grado infinito"), tale approccio non può essere applicato direttamente. Da un lato, infatti, esistono funzioni intere che, pur non essendo costanti, non hanno zeri: l'esempio più semplice è costituito dall'esponenziale  . Dall'altro, esistono funzioni intere che hanno una quantità infinita di zeri: se il modulo di essi cresce troppo lentamente (ad esempio, se la funzione ha zeri in tutti gli interi positivi) allora il prodotto infinito   non è convergente, e quindi non definisce una funzione (tanto meno una funzione intera) sull'intero piano complesso.

TeoremaModifica

Sia   una funzione intera, siano   i suoi zeri non nulli (contati con molteplicità) e sia   l'ordine dello zero di   in 0 (se  , allora  ). Allora esistono degli interi   e una funzione intera   tali che il prodotto infinito

 

converge a  .

Viceversa, se   è un insieme discreto di punti del piano (possibilmente con ripetizioni), tutti diversi da 0, e se   sono interi tali che

 

per ogni numero reale   (dove   è il modulo di  ), allora il prodotto infinito

 

converge ad una funzione intera   i cui zeri sono esattamente   (contati con molteplicità). In particolare, è sempre possibile prendere  .

Definizioni seguenti dal teoremaModifica

Le funzioni   sono a volte chiamate fattori elementari, e sono indicate come  . La produttoria relativa a   può quindi essere scritta come

 .

Il minimo intero   tale che la sommatoria   converge è detto (se esiste) ordine di convergenza della successione  . Se la funzione   è un polinomio e   esiste, allora l'ordine della funzione   è definito come il massimo tra il grado di   e  ; in caso contrario, l'ordine di   è infinito.

EsempiModifica

  •  
  •  
dove   è la funzione Gamma e   è la costante di Eulero-Mascheroni.

Conseguenze e ampliamentiModifica

La seconda forma del teorema può essere esteso a qualunque aperto   di  : data una successione di punti   di   senza punti di accumulazione in  , esiste una funzione i cui zeri sono esattamente  .

Una conseguenza del teorema di fattorizzazione di Weierstrass è che ogni funzione meromorfa   può essere scritta come quoziente di due funzioni intere: infatti, se   è l'insieme dei poli di   (contati con molteplicità), allora esiste una funzione intera   i cui zeri sono esattamente  . La funzione   non ha poli ed è quindi una funzione intera; di conseguenza,   è quoziente di due funzioni intere.

BibliografiaModifica

  Portale Matematica: accedi alle voci di Wikipedia che trattano di matematica