# Teorema de factorització de Weierstrass

En matemàtiques, específicament en l'anàlisi, el teorema de factorització de Weierstrass, anomenat així en honor del matemàtic alemany Karl Weierstrass, afirma que les funcions enteres poden ser representades per un producte infinit, anomenat producte de Weierstrass, que contingui els seus zeros. A més, qualsevol successió que tendeixi a l'infinit té associada una funció sencera amb zeros precisament en els punts d'aquesta successió.
Una segona forma desenvolupada a funcions meromorfes permet considerar una funció meromorfa donada com un producte de tres factors: els pols, els zeros, i una funció holomorfa associada diferent de zero.

## Motivació

Les conseqüències del teorema fonamental de l'àlgebra són dobles:
* La primera d'elles, qualsevol successió finita $\{c_{n}\}$ en el pla complex té associat un polinomi que té zeros precisament en els punts d'aquesta successió,$\,\prod _{n}(z-c_{n}).$
* La segona d'elles, qualsevol funció polinòmica $p(z)$ en el pla complex té una factorització $\,p(z)=a\prod _{n}(z-c_{n}),$ on a és una constant diferent de zero i c$_n$ són els zeros de p.
Les dues formes del teorema de factorització de Weierstrass poden ser pensades com a extensions superiors de les funcions enteres. La necessitat d'un mecanisme extra es demostra quan es considera el producte $\,\prod _{n}(z-c_{n})$ si la successió $\{c_{n}\}$ no és finita. Això mai pot definir una funció entera, perquè el producte infinit no convergeix. Així que, en general, no es pot definir una funció entera d'una successió de zeros preestablerts o representar una funció entera mitjançant els seus zeros usant les expressions donades mitjançant el teorema fonamental de l'àlgebra.
Una condició necessària per a la convergència d'un producte infinit en qüestió és que, cada factor $(z-c_{n})$ s'ha d'aproximar a 1 quan $n\to \infty$. Així que, sembla lògic que s'hagi de buscar una funció que podria ser 0 en el punt preestablert i no obstant això, romandre proper a 1 quan no es trobi en aquest punt, a més de no introduir més zeros dels establerts. Això es defineix amb els factors elementals de Weierstrass. Aquests factors serveixen per al mateix propòsit que els factors $(z-c_{n})$ a dalt esmentats.

### Els factors elementals

També se'ls coneixen com a factors elemetals.
Per $n\in \mathbb {N}$, es defineixen els factors elementals com:
    $E_{n}(z)={\begin{cases}(1-z)&{\mbox{si }}n=0,\\(1-z)\exp \left({\frac {z^{1}}{1}}+{\frac {z^{2}}{2}}+\cdots +{\frac {z^{n}}{n}}\right)&{\mbox{d'altra manera}}.\end{cases}}$
La seva utilitat rau en el següent lema:
Lema (15.8, Rudin) per a |z| ≤ 1, n ∈ N$_o$
    $\vert 1-E_{n}(z)\vert \leq \vert z\vert ^{n+1}.$

## Les dues formes del teorema
### Existència d'una funció entera amb zeros específics

A vegades anomenat com teorema de Weierstrass.
Sigui $\{a_{n}\}$ una successió de nombres complexos diferents de zero tals que $|a_{n}|\to \infty$. Si $\{p_{n}\}$ és qualsevol successió d'enters tals que per a tot $r>0$,
    $\sum _{n=1}^{\infty }\left(r/|a_{n}|\right)^{1+p_{n}}<\infty ,$
llavors la funció
    $f(z)=\prod _{n=1}^{\infty }E_{p_{n}}(z/a_{n})$
és entera amb zeros únicament en els punts $a_{n}$. Si el nombre $z_{0}$ es produeix en la successió $\{a_{n}\}$ exactament m vegades, llavors la funció f té un zero en $z=z_{0}$ de multiplicitat m.
* Cal notar que la successió $\{p_{n}\}$ en la declaració del teorema sempre existeix. Per exemple sempre es podria prendre $p_{n}=n$ i s'obtindria convergència. Tal successió no és única: canviant aquesta un nombre finit de posicions, o prenent una altra seqüència p'$_n$ ≥ p$_n$,, no «trencarà» la convergència.
* El teorema generalitza el següent: successions en conjunts oberts (i per tant regions) de l'esfera de Riemann tenen funcions associades que són holomorfes en aquests subconjunts i tenen zeros en els punts de la successió.
* Cal notar també que el cas donat pel teorema fonamental de l'àlgebra està incorporat aquí. Si la successió $\{a_{n}\}$ és finita, llavors es pot prendre $p_{n}=0$ i obtenir: $\,f(z)=c\,{\displaystyle \prod }_{n}(z-a_{n})$.

### El teorema de factorització de Weierstrass

A vegades anomenat Teorema del producte de Weierstrass, o Teorema del factor de Weierstrass.
Del desenvolupament en sèrie entera segons $u\in \;]-1;1[$ :
    $\ln(1-u)=-u-{\frac {u^{2}}{2}}-{\frac {u^{3}}{3}}-\ldots -{\frac {u^{n}}{n}}-\ldots$
es dedueix que la funció truncada als m primers termes
    $E(u,m)=(1-u)e^{u+u^{2}/2+\ldots +u^{m}/m},$
és sensiblement igual a 1 entre [-1,1], excepte en una aproximació de u = 1 on s'admet un zero d'ordre 1. Aquests factors $E(u,m)$ s'anomenen factors primaris de Weierstrass. Amb ells, Weierstrass va demostrar que per a tota funció entera f d'ordre finit $\rho$ i anul·lant-se sobre els nombres complexos $a_{n}\neq 0$, hi ha un polinomi $P(s)$ de grau inferior o igual a $\rho$, i un enter $m\leq \rho$ dels que obtenim
$f(s)=s^{p}\exp(P(s))\prod _{n=1}^{\infty }E\left({\frac {s}{a_{n}}},m\right).$
El factor $s^{p}$ correspon a les funcions que tenen un zero d'ordre d'ordre p en 0.
Posteriorment, Borel va precisar $m$ i el grau del polinomi P. El grau de P és igual a la part entera de l'ordre $\rho$ si $\rho$ no és enter. Es pot prendre el valor $\rho$ o el valor $\rho -1$ si l'ordre $\rho$ és enter. El conjunt $m$ s'incrementa per $\rho$. Un dels dos nombres enters almenys és igual a $\rho$ si l'ordre és enter.
El matemàtic francès Jacques Hadamard va generalitzar aquest teorema per a les funcions meromorfes.

### Teorema de factorizació de Hadamard

El teorema de factorització de Hadamard relatiu a les funcions meromorfes d'ordre finit $\rho$ diu el següent:
   $f(s)$
   $\rho$
   $m_{1}$
   $m_{2}$
   $\rho$
   $q(s)$ de grau inferior a $\rho$ tals que $f(s)=e^{q(s)}{\frac {p_{1}(s)}{p_{2}(s)}},$ o $p_{1}(s)$ et $p_{2}(s)$ són els productes de funcions canòniques d'ordres $m_{1}$ i $m_{2}$ establerts sobre els zeros $a_{i}$ i els `pols $b_{i}$ de $f$. $p_{1}(s)=\prod _{n=1}^{\infty }{E\left({\frac {s}{a_{n}}},m_{1}\right)},$ $p_{2}(s)=\prod _{n=1}^{\infty }{E\left({\frac {s}{b_{n}}},m_{2}\right)},$ amb $E(u,m)=(1-u)e^{u+u^{2}/2+\ldots +u^{m}/m}.$
Aquest teorema és una conseqüència simple del teorema de factorització de Weierstrass i del següent teorema :

## Exemples de factorizacions i aplicacions

La forma donada pel teorema de factorització sovint es pot reescriure:
    $f(z)=z^{m}\;e^{\phi (z)}\;\prod _{n=1}^{\infty }\left(1-{\frac {z}{u_{n}}}\right)$, on els $u_{n}$ són els zeros de f ; en la pràctica, la dificultat més freqüent és determinar la funció $\phi (z)$.
En particular tenim:
* $\sin \pi z=\pi z\prod _{n\neq 0}\left(1-{\frac {z}{n}}\right)e^{z/n}=\pi z\prod _{n=1}^{\infty }\left(1-{\frac {z^{2}}{n^{2}}}\right)$
* $\cos \pi z=\prod _{n\neq 0}\left(1-{\frac {2z}{2n-1}}\right)e^{2z/(2n-1)}=\prod _{n=1}^{\infty }\left(1-{\frac {4z^{2}}{(2n-1)^{2}}}\right)$
* Per la inversa de la funció gamma, tenim una fórmula semblant: $1/\Gamma (z)=z\;{\mbox{e}}^{\gamma z}\;\prod _{n=1}^{\infty }\left(1+{\frac {z}{n}}\right)\;{\mbox{e}}^{-z/n}$ (fórmula obtinguda per Schlömilch).
El producte infinit corresponent a la funció sinus va ser descobert per Leonhard Euler, que el va utilitzar per resoldre el problema de Basilea i, obtenir més generalment, per identificació amb el desenvolupament dels productes amb la de la funció sinus en sèrie de Taylor, els valors de la funció zeta de Riemann en els enters parells:
    $\zeta (2k)=\sum _{n=1}^{\infty }{\frac {1}{n^{2k}}}\ =\ {\frac {|B_{2k}|\ (2\pi )^{2k}}{2\,(2k)!}}$, on els $B_{2k}$ són els nombres de Bernoulli.
Observant $x_{n}$ la solució de l'eqüació $x=\tan x$ compresa entre $n\pi$ et $\pi /2+n\pi$ (per n enter > 0), també es pot obtenir el mateix desenvolupament en producte infinit:
    $\sin x-x\cos x={\frac {x^{3}}{3}}\prod _{n=1}^{\infty }\left(1-{\frac {x^{2}}{x_{n}^{2}}}\right)$, dels quals s'obté (per la identificació amb el desenvolupament en sèrie de Taylor) el resultat $\sum _{n=1}^{\infty }{\frac {1}{x_{n}^{2}}}={\frac {1}{10}}$.

## Referències

* ↑ Knoop, 1996, p. 1-7.
* ↑ Boas, 1954.
* 1 2 3 Rudin, 1987, p. 301-304.
* ↑ Weisstein, Eric W., «Weierstrass's Theorem» a MathWorld (en anglès).
* ↑ Weisstein, Eric W., «Weierstrass Product Theorem» a MathWorld (en anglès).
* ↑ Revista Tangente Sup, n°62, p. 16

## Bibliografia

* Boas, R. P. Entire Functions (en anglès). Nova York: Academic Press Inc, 1954. ISBN 0821845055. OCLC 6487790.
* Knopp, K. "Weierstrass's Factor-Theorem", Theory of Functions, Part II (en anglès). Nova York: Dover, 1996.
* Rudin, W. Real and Complex Analysis (en anglès). Boston: McGraw Hill, 1987. ISBN 0070542341. OCLC 13093736.

## Vegeu també

* Teorema de Bolzano-Weierstrass
* Teorema de Lindemann-Weierstrass