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:[1]
- La primera d'elles, qualsevol successió finita en el pla complex té associat un polinomi que té zeros precisament en els punts d'aquesta successió,
- La segona d'elles, qualsevol funció polinòmica en el pla complex té una factorització on a és una constant diferent de zero i cn 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 si la successió 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 s'ha d'aproximar a 1 quan . 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 a dalt esmentats.
Els factors elementals
També se'ls coneixen com a factors elemetals.[2]
Per , es defineixen els factors elementals com:[3]
La seva utilitat rau en el següent lema:[3]
Lema (15.8, Rudin) per a |z| ≤ 1, n ∈ No
Les dues formes del teorema
Existència d'una funció entera amb zeros específics
A vegades anomenat com teorema de Weierstrass.[4]
Sigui una successió de nombres complexos diferents de zero tals que . Si és qualsevol successió d'enters tals que per a tot ,
llavors la funció
és entera amb zeros únicament en els punts . Si el nombre es produeix en la successió exactament m vegades, llavors la funció f té un zero en de multiplicitat m.
- Cal notar que la successió en la declaració del teorema sempre existeix. Per exemple sempre es podria prendre 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 ≥ pn,, 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ó.[3]
- Cal notar també que el cas donat pel teorema fonamental de l'àlgebra està incorporat aquí. Si la successió és finita, llavors es pot prendre i obtenir: .
El teorema de factorització de Weierstrass
A vegades anomenat Teorema del producte de Weierstrass, o Teorema del factor de Weierstrass.[5]
Del desenvolupament en sèrie entera segons :
es dedueix que la funció truncada als m primers termes
é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 s'anomenen factors primaris de Weierstrass. Amb ells, Weierstrass va demostrar que per a tota funció entera f d'ordre finit i anul·lant-se sobre els nombres complexos , hi ha un polinomi de grau inferior o igual a , i un enter dels que obtenim
El factor correspon a les funcions que tenen un zero d'ordre d'ordre p en 0.
Posteriorment, Borel va precisar i el grau del polinomi P. El grau de P és igual a la part entera de l'ordre si no és enter. Es pot prendre el valor o el valor si l'ordre és enter. El conjunt s'incrementa per . Un dels dos nombres enters almenys és igual a 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 diu el següent:
Per a tota funció meromorfa d'ordre finit existeix dos enters i més petits que , i un polinomide grau inferior a tals que o et són els productes de funcions canòniques d'ordres i establerts sobre els zeros i els `pols de . amb
Aquest teorema és una conseqüència simple del teorema de factorització de Weierstrass i del següent teorema :
Qualsevol funció meromórfica és el quocient de dues funcions enteres.
Exemples de factorizacions i aplicacions
La forma donada pel teorema de factorització sovint es pot reescriure:
- , on els són els zeros de f ; en la pràctica, la dificultat més freqüent és determinar la funció .
En particular tenim:
- Per la inversa de la funció gamma, tenim una fórmula semblant: (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:
- , on els són els nombres de Bernoulli.
Observant la solució de l'eqüació compresa entre et (per n enter > 0), també es pot obtenir el mateix desenvolupament en producte infinit:[6]
- , dels quals s'obté (per la identificació amb el desenvolupament en sèrie de Taylor) el resultat .
Referències
- ↑ Knoop, 1996, p. 1-7.
- ↑ Boas, 1954.
- ↑ 3,0 3,1 3,2 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.