Visualizza wikitesto di Somma di Borel

Nella matematica, la '''somma di Borel''' è una generalizzazione della somma di una [[serie (matematica)|serie]], per attribuire un valore anche quando quest'ultima non converge. Come suggerisce il nome, la somma è stata introdotta da [[Émile Borel]] nel 1899<ref>Borel, E. (1899), [http://www.numdam.org/item?id=ASENS_1899_3_16__9_0 "Mémoire sur les séries divergentes"], Ann. Sci. École Norm. Sup. (3), 16: 9–131</ref>. È particolarmente utile per sommare serie asintoticamente divergenti, e in un certo senso fornisce la migliore somma possibile per tale serie. Ci sono molte varianti di questo metodo che vengono chiamate somma di Borel, e una sua generalizzazione è la somma di Mittag-Leffler.

==Definizione==

Ci sono (almeno) tre definizioni leggermente diverse chiamate somma di Borel che differiscono per le serie che possono sommare. Tuttavia le somme sono consistenti, cioè se due metodi possono sommare la stessa serie allora danno lo stesso valore.

Sia <math>A(z)</math> una serie formale di potenze

:<math>A(z) = \sum_{k = 0}^\infty a_kz^k</math>,

e si definisce la trasformata di Borel di <math>A</math> come la sua equivalente serie esponenziale

:<math>\mathcal{B}A(t) \equiv \sum_{k=0}^\infty \frac{a_k}{k!}t^k.</math>

=== Somma debole di Borel ===

Sia <math>A_n(z)</math> la somma parziale

:<math>A_n(z) = \sum_{k=0}^n a_k z^k.</math>

La somma debole di Borel di <math>A</math> si definisce come

:<math> \lim_{t\rightarrow\infty} e^{-t}\sum_{n=0}^\infty \frac{t^n}{n!}A_n(z). </math>

Se questo limite converge in <math>z\in\mathbb{C}</math> a qualche <math>a(z)</math>, allora la somma debole di Borel di <math>A</math> converge in <math>z</math> e si scrive <math> {\textstyle \sum} a_kz^k = a(z) \, (\boldsymbol{wB}) </math>.

===Somma integrale di Borel===

Supposto che la trasformata di Borel converge per ogni [[numero reale]] ad una funzione che cresce abbastanza lentamente in modo che il seguente integrale è ben definito (in modo improprio), la '''somma di Borel''' di <math>A</math> è data da

:<math>\int_0^\infty e^{-t} \mathcal{B}A(tz) \, dt. </math>

Se l'integrale converge in <math>z\in \mathbb{C}</math> a qualche <math>a(z)</math>, allora la somma di Borel di <math>A</math> converge in <math>z</math> e si scrive <math> {\textstyle \sum}  a_kz^k = a(z) \,(\boldsymbol B) </math>.

===Somma integrale di Borel con prolungamento analitico===

Questo è simile al metodo di somma precedente, eccetto che non serve che la trasformata di Borel converga per ogni <math>t</math>, ma che converga ad una [[funzione analitica]] di <math>t</math> vicino a 0 che può essere [[prolungamento analitico|prolungata analiticamente]] a tutto l'asse reale positivo.

==Proprietà fondamentali==

===Regolarità===
I metodi <math>(B)</math> e <math>(wB)</math> sono entrambi somme regolari, cioè che se <math>A(z)</math> converge nel senso standard, allora anche le due somme di Borel convergono, e inoltre allo stesso valore.

:<math> \sum_{k=0}^\infty a_k z^k = A(z) < \infty \quad \Rightarrow \quad {\textstyle \sum} a_kz^k = A(z) \,\, (\boldsymbol{B},\,\boldsymbol{wB}). </math>

La regolarità di <math>(B)</math> si vede facilmente dalla definizione del [[fattoriale]] con la [[funzione Gamma]] e dallo scambio fra sommatoria e integrale, che è possibile grazie all'assoluta convergenza della serie: Se <math>A(z)</math> converge in <math>z</math>, allora

:<math> A(z) = \sum_{k=0}^\infty a_k z^k = \sum_{k=0}^\infty a_k \left( \int_{0}^\infty e^{-t}t^k dt \right) \frac{z^k}{k!} = \int_{0}^\infty e^{-t} \sum_{k=0}^\infty a_k \frac{(tz)^k}{k!}dt, </math>

dove l'espressione a destra è proprio la somma di Borel in <math>z</math>.

La regolarità di <math>(B)</math> e <math>(wB)</math> implica che questi metodi di somma forniscono una estensione analitica a <math>A(z)</math>.

===Non equivalenza delle due somme di Borel===
Ogni serie <math>A(z)</math> che è sommabile debolmente secondo Borel in <math>z\in \mathbb{C}</math> è anche sommabile secondo Borel. Tuttavia, si può costruire degli esempi di serie che non sono sommabili debolmente ma che lo sono secondo Borel. Il seguente teorema caratterizza l'equivalenza dei due metodi di somma.

:'''Teorema''' ((Hardy 1992, 8.5)).
:Sia <math>A(z)</math> una [[serie formale di potenze]] e <math>z\in \mathbb{C}</math> fissato, allora:
:# Se <math> {\textstyle \sum} a_kz^k = a(z) \, (\boldsymbol{wB}) </math>, allora <math> {\textstyle \sum}a_kz^k = a(z) \, (\boldsymbol{B})</math>.
:# Se <math> {\textstyle \sum} a_kz^k = a(z) \, (\boldsymbol{B}) </math>, e inoltre <math> \lim_{t \rightarrow \infty} e^{-t}\mathcal B A(zt) = 0, </math> allora <math> {\textstyle \sum} a_kz^k = a(z) \, (\boldsymbol{wB}) </math>.

===Relazioni con altri metodi di somma===
* <math>(B)</math> è il caso speciale della [[somma di Mittag-Leffler]] con <math>\alpha=1</math>.
* <math>(wB)</math> può essere visto come il caso limite della [[somma di Eulero]] generalizzata <math>(E,q)</math>, nel senso che se <math>q\to\infty</math> il dominio della convergenza della somma <math>(E,q)</math> converge al dominio della somma <math>(B)</math>.<ref name="Hardy1992">[[Godfrey Harold Hardy|Hardy, Godfrey Harold]] (1992) [1949], [https://www.google.com/search?hl=it&tbo=p&tbm=bks&q=isbn:0821826492 Divergent Series], New York: Chelsea, ISBN 978-0-8218-2649-2, MR [https://mathscinet.ams.org/mathscinet-getitem?mr=0030620 0030620]</ref>

==Teoremi di unicità==

Ci sono sempre molte funzioni differenti con una data espansione asintotica. Tuttavia, c'è qualche volta una migliore funzione possibile, nel senso che gli errori nella approssimazioni in dimensione finita sono i più piccoli possibili. Il teorema di Watson e il teorema di Carleman mostrano che la somma di Borel produce la migliore somma possibile della serie.

===Teorema di Watson===

Il teorema di Watson dà delle condizioni per cui una funzione è la somma di Borel della sua espansione asintotica. Supposta <math>f</math> una funzione soddisfacente le seguenti condizioni:
*<math>f</math> è [[funzione olomorfa|olomorfa]] in qualche regione <math>|z|<R</math>, <math>|\arg(z)| < \pi/2 + \epsilon</math> per qualche <math>R</math> e <math>\epsilon</math> positivi. 
*In questa regione, <math>f</math> ha una serie asintotica <math>a_0+a_1z+\ldots</math> con la proprietà che l'errore 
:<math>|f(z)-a_0 -a_1z -\cdots -a_{n-1}z^{n-1}|</math> 
è limitato superiormente da
:<math>c^{n+1}n!|z|^n</math>
per ogni <math>z</math> nella regione (per una qualche <math>c</math> positiva).

Allora il teorema di Watson afferma che in questa regione <math>f</math> è data dalla somma di Borel della sua serie asintotica. Più precisamente, la serie converge in un intorno dell'origine secondo la trasformata di Borel, e può essere prolungata analiticamente all'asse reale positivo, e l'integrale che definisce la somma di Borel converge a <math>f(z)</math> con <math>z</math> nella regione precedente.

Leggermente più in generale, <math>f</math> è ancora determinata dalla sua serie asintotica se <math>n!</math> nella stima dell'errore precedente è sostituito da <math>(kn)!</math> e <math>|\arg(z)| < \pi/2 + \epsilon</math> è rimpiazzato da <math>|\arg(z)| < k\pi/2 + \epsilon</math>, con <math>k</math> un intero positivo. Questa è in un certo senso la migliore possibile, poiché esistono dei controesempi se <math>k\pi/2</math> è sostituito da qualsiasi numero più piccolo.

===Teorema di Carleman===
Il teorema di Carleman mostra che una funzione è unicamente determinata da una serie asintotica in un settore se l'errore dovuto al troncamento ad un ordine finito non cresce troppo velocemente. Più precisamente afferma che se <math>f</math> è analitica nella parte interna del settore <math>|z|<C</math>, <math>\Re(z)>0</math> e <math>|f(z)|<|b_n z|^n</math> in questo insieme per ogni <math>n</math>, allora <math>f</math> è nulla supposto che la serie <math>1/b_0+1/b_1+\ldots</math> diverga.

Il teorema di Carleman da un metodo di somma per ogni serie in cui termini non crescono troppo velocemente, poiché la somma può essere definita come l'unica funzione con questa serie asintotica in un settore appropriato se esiste. La somma di Borel è leggermente più debole del caso speciale in cui <math>b_n=cn</math> per qualche costante <math>c</math>. Più in generale si possono definire metodi di somma leggermente più forte di quello di Borel prendendo i numeri <math>b_n</math> un po' più grandi, per esempio <math>b_n=cn\log(n)</math> oppure <math>b_n=cn\log(n)\log(\log(n))</math>. In pratica questa generalizzazione è poco usata, dal momento che esistono pressoché esempi non naturali di serie sommabili da questo metodo ma che non hanno somma secondo Borel. 

===Esempio===

La funzione <math>f(z)=e^{-1/z}</math> ha la serie asintotica <math>0 + 0z+ \ldots</math> con un maggiorante dell'errore nella forma del teorema nella regione <math>|\arg(z)|<\theta</math> per ogni <math>\theta<\pi/2</math>, ma non è data dalla somma di Borel della sua espansione. Questo mostra che il numero <math>\pi/2</math> nel teorema di Watson non può essere sostituito da un numero più piccolo (a meno che la stima dell'errore non sia minore).

==Esempi==

===La serie geometrica===
Si considera la [[serie geometrica]]

:<math>A(z) = \sum_{k = 0}^\infty z^k,</math>

che converge (nel senso standard) a <math>1/(1-z)</math> per <math>|z|<1</math>. La trasformata di Borel è

:<math>\mathcal{B}A(t) \equiv \sum_{k=0}^\infty \frac{1}{k!}t^k = e^t,</math>

da cui si ottiene la somma di Borel
:<math>\int_0^\infty e^{-t}\mathcal{B}A(tz)  \, dt = \int_0^\infty e^{-t} e^{tz} \, dt =\frac{1}{1-z}</math>

che converge nella regione più grande <math>\Re(z)<1</math>, dando un [[prolungamento analitico]] della serie originale.

Considerando invece la somma debole di Borel, le somme parziali sono date da <math>A_n(z)=(1-z^{n+1})/(1-z)</math>, e quindi risulta

:<math> \lim_{t \rightarrow \infty}e^{-t} \sum_{n=0}^\infty  \frac{1 -z^{n+1}}{1-z} \frac{t^n}{n!} = \lim_{t \rightarrow \infty} \frac{e^{-t}}{1-z} \big( e^t - z e^{tz} \big) = \frac{1}{1-z}, </math>

dove, di nuovo, la convergenza è in <math>\Re(z)<1</math>. Alternativamente si poteva vedere dalla parte 2 del teorema dell'equivalenza, poiché per <math>\Re(z)<1</math>

:<math> \lim_{t \rightarrow \infty} e^{-t} (\mathcal{B} A)(zt) = e^{t(z-1)} = 0. </math>

===La serie alternata dei fattoriali===
{{main|1 − 1 + 2 − 6 + 24 − 120 + ...}}
Si consideri la serie

:<math>A(z) = \sum_{k = 0}^\infty k!\left(-1 \cdot z\right)^k,</math>

allora <math>A(z)</math> non converge per ogni <math>z\in\mathbb{C}</math> non nullo. La trasformata di Borel è

:<math>\mathcal{B}A(t) \equiv \sum_{k=0}^\infty \left(-1 \cdot t\right)^k = \frac{1}{1+t} </math>

per <math>|t|<1</math>, che può essere prolungata analiticamente anche a <math>t\geq 1</math>. Allora la somma di Borel è

:<math>\int_0^\infty e^{-t}\mathcal{B}A(tz)  \, dt = \int_0^\infty \frac{e^{-t}} {1+tz} \, dt = \frac 1 z \cdot e^\frac 1 z \cdot \Gamma\left(0,\frac 1 z \right)</math>

(dove <math>\Gamma</math> è la [[funzione gamma incompleta]]).

Questo integrale converge su <math>\mathbb{R}</math> per ogni <math>z\geq0</math>, quindi la serie originale è sommabile secondo Borel in tale regione. Questa funzione ha uno [[sviluppo asintotico]] con <math>z\to0</math> che è dato dalla serie alternata dei fattoriali. Questo è un tipico esempio del fatto che il metodo di Borel somma "correttamente" le espansioni asintotiche non convergenti.

Ancora, poiché 
:<math> \lim_{t \rightarrow \infty}e^{-t} (\mathcal B A)(zt) = \lim_{t \rightarrow \infty} \frac{e^{-t}}{1 + zt} = 0, </math>

per ogni <math>z</math>, il teorema di equivalenza assicura che la somma debole di Borel ha lo stesso dominio di convergenza, <math>z\geq0</math>.

===Un esempio in cui l'equivalenza fallisce===

Il seguente esempio estende quanto detto in ((Hardy 1992, 8.5)). Si considera

:<math>A(z) = \sum_{k = 0}^\infty  \left( 
 \sum_{l=0}^\infty \frac{(-1)^l(2l + 2)^k}{(2l+1)!} \right)
z^k. </math>

Dopo aver scambiato le sommatorie, la trasformata di Borel è data da

:<math> 
\begin{align}
\mathcal B A(t)&= \sum_{l = 0}^\infty 
\left( \sum_{k=0}^\infty \frac{\big((2l+2) t\big)^k}{k!}  \right) \frac{(-1)^l}{(2l+1)!} \\
&= \sum_{l=0}^\infty e^{(2l+2)t}\frac{(-1)^l}{(2l+1)!} \\
&= e^t \sum_{l=0}^\infty \big(e^t\big)^{2l+1} \frac{(-1)^l}{(2l+1)!} \\
& = e^t \sin\left( e^t \right).
\end{align}
 </math>

in <math>z=2</math> la somma di Borel è data da

:<math> \int_{0}^\infty e^t \sin(e^{2t})dt = \int_{1}^\infty \sin(u^2)du = \sqrt{\frac{\pi}{8}} - S(1) < \infty,
</math>

dove <math>S(x)</math> è l'[[integrale di Fresnel]]. Grazie al [[#Sommabilità sulle corde|teorema di convergenza lungo le corde]] discusso successivamente, l'integrale di Borel converge per ogni <math>0\leq z\leq2</math>, con <math>z\in\mathbb{R}</math> (chiaramente l'integrale converge anche per <math>z<0</math> e diverge invece per <math>z>2</math>).

Per la somma debole di Borel si nota che

:<math> \lim_{t \rightarrow \infty} e^{(z-1)t}\sin \left( e^{zt} \right) = 0 </math>

vale solo per <math>z<1</math>, e quindi la somma debole di Borel converge solo su questo dominio più piccolo.

==Risultati di esistenza e il dominio di convergenza==

===Sommabilità sulle corde===
Se una serie formale <math>A(z)</math> è sommabile secondo Borel in <math>z_0\in \mathbb{C}</math>, allora è sommabile in ogni punto della corda <math>Oz_0</math> che connette <math>z_0</math> all'origine. Oltretutto, esiste una funzione <math>a(z)</math> analitica nel disco di raggio <math>Oz_0</math> tale che

: <math> {\textstyle \sum} a_kz^k = a(z) \, (\boldsymbol B), </math>

per ogni <math>z=\theta z_0</math>, <math>\theta\in [0,1]</math>.

Una immediata conseguenza è che il dominio di convergenza della somma di Borel è un [[insieme stellato]] di <math>\mathbb{C}</math>.

===Il poligono di Borel===
Si supponga che <math>A(z)</math> abbia un [[raggio di convergenza]] strettamente positivo, così che è analitica in una regione non banale contenente l'origine, e sia <math>S_A</math> l'insieme delle singolarità di <math>A</math>. Questo significa che <math>P\in S_A</math> se e solo se <math>A</math> può essere prolungata analiticamente alla corda aperta da <math>0</math> a <math>P</math>, ma non in <math>P</math> stesso. Per <math>P\in S_A</math>, sia <math>L_P</math> la retta passante attraverso <math>P</math> che è perpendicolare alla corda <math>OP</math>. Si definiscono

:<math> \Pi_P = \{z \in \mathbb{C} \, \colon \, Oz \cap L_P = \varnothing \}, </math>

come l'insieme dei punti che giacciono dalla stessa parte di <math>L_P</math> rispetto all'origine. Il poligono di Borel di <math>A</math> è l'insieme

:<math> \Pi_A = \text{cl}\Big( \bigcap_{P \in S_A} \Pi_P \Big). </math>

Una definizione alternativa fu invece usata da Borel e Phragmén.<ref>Sansone, Giovanni; Gerretsen, Johan (1960), Lectures on the theory of functions of a complex variable. I. Holomorphic functions, P. Noordhoff, Groningen, MR [https://mathscinet.ams.org/mathscinet-getitem?mr=0113988 0113988]</ref> Sia <math> S \subset \mathbb{C} </math> il più grande insieme stellato in cui c'è una estensione analitica di <math>A</math>, allora <math> \Pi_A </math> è il maggiore sottoinsieme di <math> S </math> tale che per ogni <math> P \in \Pi_A </math> l'interno del cerchio di diametro <math>OP</math> è contenuto in <math>S </math>. Riferendosi all'insieme <math> \Pi_A </math> come un poligono non è proprio appropriato, poiché non è detto che l'insieme sia un poligono; se, tuttavia, <math>A(z)</math> ha solo un numero finito di singolarità, allora <math> \Pi_A </math> è in effetti un poligono.

Il seguente teorema, dovuto a Borel e Phragmén, fornisce un criterio di convergenza per la somma di Borel.

:'''Teorema''' (Hardy 1992, 8.8).
:La serie <math>A(z)</math> è <math>(B)</math> sommabile in ogni <math>z \in \text{int}(\Pi_A)</math> e <math>(B)</math> divergente in ogni <math>z \in \mathbb{C}\backslash \Pi_A</math>.

Da notare che la <math>(B)</math> sommabilità per <math> z \in \partial \Pi_A</math> dipende dalla natura del punto.

====Esempio 1====
Sia <math>\omega_i\in\mathbb{C}</math> la radice ''m''-esima dell'unità, <math>i=1,\ldots,m</math> e si consideri
: <math>\begin{align}
 A(z) & = \sum_{k=0}^\infty (\omega_1^k + \ldots + \omega_m^k)z^k \\
& = \sum_{i=1}^m \frac{1}{1-\omega_iz},
\end{align} </math>

che converge in <math>B(0,1)\subset \mathbb{C}</math>. Vista come una funzione su <math>\mathbb{C}</math>, <math>A(z)</math> ha delle singolarità in <math>S_A=\{\omega_i:i=1,\ldots,m\}</math>, e si conseguenza il poligono di Borel <math> \Pi_A</math> è dato dal [[poligono regolare]] centrato nell'origine e tale che <math>1\in\mathbb{C}</math> è il punto medio di un lato.

====Esempio 2====
La serie formale

:<math> A(z) = \sum_{k=0}^\infty z^{2^k}, </math>

converge per ogni <math> |z| < 1 </math> (per esempio, per il [[criterio del confronto]] con la serie geometrica). SI può tuttavia mostrare<ref>{{Cita web|titolo=Natural Boundary |url=http://mathworld.wolfram.com/NaturalBoundary.html |opera=MathWorld |accesso=19 ottobre 2016}}</ref> che <math>A</math> non converge per ogni punto <math>z\in\mathbb{C}</math> tale che <math>z^{2^n}=1</math> per qualche <math>n</math>. Poiché l'insieme di tali <math>z</math> è denso nel cerchio unitario, non ci può essere nessuna espansione analitica di <math>A</math> fuori da <math>B(0,1)</math>. Successivamente l'insieme stellato più grande a cui si può estendere analiticamente <math>A</math> è <math>S=B(0,1)</math>, da cui (attraverso la seconda definizione) si ottiene <math> \Pi_A = B(0,1) </math>. In particolare si vede che il <math>\Pi_A</math> non è effettivamente un poligono.

===Un teorema tauberiano===
Un teorema tauberiano fornisce delle condizioni sotto cui la convergenza di un metodo di somma implica la convergenza rispetto ad un altro metodo. Il principale teorema tauberiano<ref name="Hardy1992" /> per la somma di Borel permette di avere delle condizioni in cui la somma debole di Borel implica la convergenza della serie.

:'''Teorema''' (Hardy 1992, 9.13). Se <math>A</math> è <math>(wB)</math> sommabile in <math>z_0\in\mathbb{C}</math>, <math>{\textstyle \sum}a_kz_0^k = a(z_0) \, (\boldsymbol{wB}) </math> e

:: <math> a_kz_0^k = O \left( k^{-{\textstyle \frac{1}{2}}} \right), \qquad \forall k \geq 0, </math>

:allora <math> \sum_{k=0}^\infty a_kz_0^k = a(z_0) </math>, e la serie converge per ogni <math>|z|<|z_0|</math>.

==Applicazioni==
La somma di Borel trova applicazione nelle [[teoria perturbativa|espansioni delle perturbazioni]] nella [[teoria quantistica dei campi]]. In particolare nella teoria di campo euclideo in due dimensioni, le funzioni di Schwinger si possono ricavare dalle loro serie delle perturbazioni usando la somma di Borel.<ref>Glimm, James; Jaffe, Arthur (1987), Quantum physics (2nd ed.), Berlin, New York: Springer-Verlag, ISBN 978-0-387-96476-8, MR [https://mathscinet.ams.org/mathscinet-getitem?mr=0887102 0887102]</ref> Qualche singolarità della somma di Borel sonno connesse agli [[istantone|istantoni]] e alla [[rinormalizzazione]] della teoria quantistica.<ref>[[Steven Weinberg|Weinberg, Steven]] (2005), The quantum theory of fields., II, Cambridge University Press, ISBN 978-0-521-55002-4, MR [https://mathscinet.ams.org/mathscinet-getitem?mr=2148467 2148467]</ref>

==Generalizzazioni==

La somma di Borel richiede che i coefficienti non crescano troppo velocemente: più precisamente, <math>a_n</math> deve essere limitata da <math>n!C^{n+1}</math> per qualche <math>C</math>. C'è una variante della somma di Borel che sostituisce il fattoriale <math>n!</math> con <math>(kn!)</math> per qualche intero positivo <math>k</math>, in modo che la condizione su <math>a_n</math> diventi di essere limitata da <math>(kn)!C^{n+1}</math> per qualche <math>C</math>. Questa generalizzazione è data dalla ''somma di Mittag-Leffler''.

Nel caso più generico, la somma di Borel è generalizzata dalla "risomma di Nachbin",che può essere usata quando la funzione maggiorente è di forma generale (del tipo <math>\psi</math>), invece di essere del tipo esponenziale.

==Note==
<references/>

==Bibliografia==
*Reed, Michael; Simon, Barry (1978), Methods of modern mathematical physics. IV. Analysis of operators, New York: Academic Press [Harcourt Brace Jovanovich Publishers], ISBN 978-0-12-585004-9, MR [https://mathscinet.ams.org/mathscinet-getitem?mr=0493421 0493421]
*Zakharov, A. A. (2001) [1994], [https://www.encyclopediaofmath.org/index.php/Borel_summation_method "Borel summation method"], in [[Encyclopaedia of Mathematics]], Springer Science+Business Media B.V. / Kluwer Academic Publishers, ISBN 978-1-55608-010-4

==Voci correlate==
* [[Teorema di Abel]]
* [[Somma di Eulero]]
* [[Somma di Cesaro]]
* [[1 − 1 + 2 − 6 + 24 − 120 + ...]]
* [[Teoria perturbativa]]

{{portale|matematica}}

[[Categoria:Serie matematiche]]