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óModifica

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 elementalsModifica

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 teoremaModifica

Existència d'una funció entera amb zeros específicsModifica

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 WeierstrassModifica

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 HadamardModifica

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 polinomi

  de 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 aplicacionsModifica

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ènciesModifica

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

BibliografiaModifica

  • 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éModifica