Sèrie de potències enteres

En matemàtiques i particularment en anàlisi matemàtica, una sèrie de potències enteres anomenada també sèrie de potències o sèrie entera és una sèrie matemàtica de funcions de la forma

On els coeficients an formen una successió real o complexa. La sèrie s'anomena de potències enteres a causa del fet que els exponents n són nombres enters.

Les sèries de potències enteres posseeixen propietats de convergència destacables, que s'expressen en gran part amb l'ajuda d'una mida associada a la sèrie, el seu radi de convergència R. Sobre el disc de convergència (disc obert de centre 0 i de radi R), la funció suma de la sèrie pot ser derivada indefinidament terme a terme.

Recíprocament, certes funcions indefinidament derivables poden ser escrites a l'entorn d'un dels seus punts c com la suma d'una sèrie de potències de la variable z-c: en aquest cas aquesta és la seva sèrie de Taylor. Es parla en aquest cas de funcions desenvolupables en sèrie de potències enteres o simplement desenvolupades en sèrie entorn del punt c. Quan una funció és desenvolupable en sèrie en cadascun dels seus punts, s'anomena analítica.

Les sèries de potències enteres apareixen en anàlisi matemàtica, però també en Combinatòria en tant que funció generatriu i es generalitzen en la noció de sèrie formal. En la teoria de nombres, el concepte de nombre p-àdic és proper al de sèrie de potències enteres. Les sèries de potències enteres també es generalitzen al cas de funcions de diverses variables.

DefinicionsModifica

En el que segueix, la variable z és real o complexa.

Sèrie de potències enteresModifica

Una sèrie de potències enteres de variable z, és una sèrie de terme general  , on n és un nombre natural, i   és una successió de nombres reals o complexos. Usualment s'adopta la notació   o   per parlar de la sèrie, mentre que s'escriu   per referir-se a la seva eventual suma, en cas de convergència, per a un z donat.

Radi de convergènciaModifica

Article principal: Radi de convergència

Una bona part de les propietats de convergència de la sèrie es pot expressar amb l'ajuda de la quantitat següent, anomenada radi de convergència de la sèrie

 .

Aquestes propietats es fonamenten sobre el següent lema, degut a Abel, (que no s'ha de confondre amb el teorema d'Abel), que es fa servir per demostrar la continuïtat de la suma de la sèrie a la frontera del disc de convergència.

Lema d'Abel


Sia un real  . Si la successió de terme general   és fitada, llavors la sèrie   convergeix absolutament per  .

A partir d'aquí, és possible precisar el mode de convergència d'aquesta sèrie de funcions

  • La sèrie convergeix absolutament per a tot complex z de mòdul estrictament inferior al radi. El disc obert de centre 0 i de raig R s'anomena disc obert de convergència.
  • La sèrie discrepa grollerament (és a dir que el terme general no convergeix cap a 0) per a tot complex z de mòdul estrictament superior al radi.
  • Per a tot real r estrictament inferior al radi, hi ha convergència normal sobre el disc tancat de centre 0 i de raig r.

En el cas on la variable x és real, es parla també de disc obert de convergència, encara que designi un interval de la recta real ( ).

Quan el radi és infinit, el disc obert de convergència és el conjunt del pla complex (o de la recta real). En canvi no hi ha a priori convergència normal més que sobre els discs tancats de raig finit. Un radi nul significa en canvi que hi ha divergència en tot punt diferent de z=0, com és el cas per exemple per a la sèrie  .

Aquestes propietats no resolen totes les qüestions de convergència. Sobretot, en els punts de mòdul R, hi pot haver convergència o no, i convergència amb convergència absoluta o sense. Per exemple, les sèries  ,   i   tenen per radi de convergència 1, la sèrie   convergeix absolutament en tot punt de mòdul 1 mentre que   no convergeixis absolutament en cap punt de mòdul 1 però convergeix en tot punt diferent d'1 i la sèrie   no convergeixis en cap punt de mòdul 1.

Càlcul del radi de convergènciaModifica

La fórmula de Hadamard dóna l'expressió del radi de convergència en termes del límit superior

 .

Aquesta fórmula es desprèn de l'aplicació de la regla de Cauchy.

A la pràctica, si els   són no nuls, de vegades és possible aplicar el criteri de d'Alembert:

Si   (límit que pot ser eventualment infinit), llavors el radi de convergència és igual a 1/L.

Per exemple, la sèrie   admet un radi de convergència igual a  .

Però sovint és més eficaç utilitzar les propietats de convergència per donar altres caracteritzacions del radi de convergència. Per exemple, el radi és la fita superior dels mòduls dels complexos z per als quals la successió de terme general   convergeix cap a 0.

Funció sumaModifica

Si   és una successió complexa tal que la sèrie   admet un radi de convergència R estrictament positiu, llavors es pot definir la seva funció suma, en tot punt de convergència, per

 

Aquesta funció està ben definida sobre el disc de convergència  .

Existeix una gran varietat de comportaments possibles per a la sèrie i la funció suma a la frontera del domini de definició. Sobretot, la divergència de la sèrie en un punt de mòdul R no és incompatible amb l'existència d'un límit a R per a la funció. Així per suma d'una sèrie geomètrica,

 

La funció es perllonga per continuïtat en -1 i 1 que són tanmateix valors per als quals la sèrie divergeix.

ExemplesModifica

Una funció polinòmica real o complexa és una sèrie de potències enteres de radi de convergència infinit.

La sèrie geomètrica   d'un radi de convergència d'1 i la seva funció suma val   sobre el disc obert D(0,1).

La sèrie   té un radi de convergència infinit. La seva funció suma, definida en tot el pla complex, s'anomena funció exponencial complexa. És a partir d'ella que es defineix analíticament les funcions sinus i cosinus.

La sèrie   té un radi de convergència igual a 1. Constitueix una definició del logaritme complex, és a dir un recíproc d'una restricció de l'exponencial complexa.

Operacions sobre les sèries de potències enteresModifica

Les propietats que segueixen s'enunciaran per a dues sèries   i  , de radis de convergència R i R′, i les funcions suma de les quals s'escriuran

 

Suma i producteModifica

La suma de les sèries f i g és una sèrie. La sèrie suma es pot trobar sumant terme a terme. Si R i R′ són diferents, el seu radi és el mínim de R i R’. Si són iguals, té un radi superior o igual a aquest valor comú.

Es pot formar el producte de les dues sèries, utilitzant les propietats del producte de Cauchy de les sèries amb termes complexos. Així la sèrie producte es calcula per la fórmula

 

Admet un radi de convergència superior o igual al mínim dels dos radis.

SubstitucióModifica

Sota certes condicions, és possible efectuar la substitució d'una sèrie sencera en la variable z d'un altra, el que condueix a compondre les funcions suma.

La composició és possible si els radis de convergència de les dues sèries són no nuls, i si el coeficient   és nul. La sèrie obtinguda per substitució és de radi estrictament positiu. Sobre un disc prou petit inclòs en el disc de convergència, la suma de la sèrie és la composició  .

La substitució es pot fer servir sobretot per al càlcul, quan és possible, de la inversa d'una sèrie, després del quocient de dues sèries senceres. La substitution peut notamment être utilisée pour le calcul, quand il est possible, d'inverse d'une série entière.

Derivació i integracióModifica

La sèrie   s'anomena sèrie derivada de la sèrie  . Una sèrie admet el mateix radi de convergència que la seva derivat, i si aquest valor comú és estrictament positiu, és possible derivar terme a terme la sèrie al disc de convergència

 

Per a una sèrie de variable real, la funció suma associada és doncs derivable sobre ]-R,+R[, i fins i tot de classe , ja que és possible efectuar  p  derivades successives terme a terme, totes les sèries derivades successives tenen el mateix radi de convergència. Per a una sèrie de la variable complexa, la derivada s'ha de prendre en el sentit complex. És a dir que la funció suma és holomorfa al disc de convergència. Aquestes idees es poden aplicar per al càlcul d'integrals. Vegeu integració per sèries.

 
La funció exponencial (de color blau), i la suma dels primers n+1 termes del seu desenvolupament en sèrie entorn del punt 0 (de color vermell).

Funció desenvolupable en sèrieModifica

Una funció f de variable real o complexa, definida entorn d'un punt c, s'anomena desenvolupable en sèrie entorn de c si existeix una sèrie de potències enteres   de radi R estrictament positiu tal que

 .

Sobre l'existència i unicitat del desenvolupamentModifica

Una funció f desenvolupable en sèrie és necessàriament de classe   a l'entorn de c. El coeficient d'índex n del desenvolupament ve donat per la fórmula

 

Això diu que si el desenvolupament en sèrie de potències enteres existeix, és únic i ve donat pel desenvolupament en sèrie de Taylor de la funció en el punt c

No n'hi ha prou que una funció sigui   perquè sigui desenvolupable en sèrie de potències enteres.

Es pot donar com a contraexemple la funció definida sobre la recta real per  , prolongada per continuïtat per f(0)=0. En efecte aquesta funció és derivable fins a l'infinit, la seva derivada en a l'origen val 0. Per tant la seva sèrie de Taylor al punt 0 és la sèrie nul·la. Admet un radi de convergència infinit, però la seva suma no coincideix amb f(x) en cap altre punt que al 0.

Desenvolupaments en sèrie usualsModifica

Aquests desenvolupaments usuals sovint són molt útils en el càlcul d'integrals. Es donen aquí amb indicació del radi de convergència en el camp complex o real.

  1.  

  2.  

  3.  

  4.  

  5.  

  6.  

  7.  

  8.  , i en particular,  .

  9.  

  10.  

  11.  

  12.  

  13.  
    Observacio: també es pot escriure  

  14.   (funció Zêta de Riemann, de la qual es coneix, per a tot p enter parell - no nul - una expressió explícita en forma d'un producte d'un nombre racional per una potència parell de π).

Funcions analítiquesModifica

Article principal: Funció analítica

Una funció de la variable real o complexa, definida sobre un obert U, s'anomena analítica sobre U quan admet un desenvolupament en sèrie en tot punt d'U. La funció suma f d'una sèrie de radi de convergència R estrictament positiu és ella mateixa analítica sobre el seu disc obert de convergència D(0,R) . Això significa que es pot canviar d'origen per al desenvolupament en sèrie: precisament, si z0 és un complex de mòdul estrictament inferior a R, llavors f és desenvolupable en sèrie sobre el disc de centre z0 i de radi  .


Les funcions analítiques gaudeixen de propietats destacables. Segons el «principi dels zéros aïllats», els punts d'anul·lació d'aquestes funcions són punts aïllats. El «principi del perllongament analític» indica que, si dues funcions analítiques estan definides sobre un obert connex U i coincideixen sobre una part A inclosa en U que presenta almenys un punt d'acumulació, llavors coincideixen sobre U.

En anàlisi complexa, s'estableix que tota funció holomorfa (és a dir derivable en el sentit complex) sobre un obert U és infinitament derivable en tot punt respecte a la variable complexa i és fins i tot analítica. Al contrari en anàlisi real, existeixen nombroses funcions   no analítiques.

Comportament a la frontera del domini de convergènciaModifica

Teorema de convergència uniforme d'AbelModifica

El teorema d'Abel dóna una propietat de continuïtat parcial de la funció suma quan hi ha convergència de la sèrie en un punt del seu cercle de convergència.

En concret, sigui   una sèrie de radi de convergència R estrictament positiu finit. Se suposa que en un punt z0 de mòdul R, la sèrie és convergent. Es considera un triangle T que té per vèrtex z0 d'una banda i dos punts de mòdul estrictament inferior a R d'altra banda. Llavors la sèrie convergeix uniformement en T.

Sobretot, hi ha convergència uniforme sobre el segment  . Aquest cas particular s'anomena teorema d'Abel radial.

Punts singulars i regularsModifica

Article principal: Continuació analítica

Sigui   una sèrie de radi de convergència R estrictament positiu finit, i f la funció suma. Un punt z0 de mòdul R s'anomena regular si existeix un disc obert D centrat en aquest punt tal que f es perllonga en una funció analítica a  . En el cas contrari, el punt s'anomena singular.

Entre els complexos de mòdul R, existeix sempre un punt singular.

Sèrie de potències de diverses variablesModifica

 
La funció  
 
El desenvolupament en sèrie de potències enteres de la funsció de damunt truncat al quart terme

Una sèrie de potències de diverses variables ve definida com una sèrie de la forma

 

on   és una successió de nombres naturals, els coeficients   són nombres reals o complexos, mentre que el centre   i l'argument   són vectors de   o de  . Amb la notació més concisa que se serveix de multi índex es pot escriure

 

La teoria d'aquestes sèries és sensiblement més complicada que la de les sèries de potències enteres d'una sola variable. Per exemple la regió de convergència absoluta està constituïda per un conjunt convex i no simplement per un interval o un disc. Per altra banda dins d'aquesta regió de convergència es poden calcular derivades i integrals terme a terme, tal com es pot fer en les sèries de potències d'una sola variable.


Vegeu tambéModifica

BibliografiaModifica

  • Henri Cartan, Théorie élémentaire des fonctions analytiques d'une ou plusieurs variables complexes (francès)
  • Jean Dieudonné, Calcul infinitésimal (francès)