1: \documentclass{article}
2: \usepackage{eqalignno}
3: \font\titolo=cmbx12
4: \font\titolone=cmbx10 scaled\magstep 2\font \titolino=cmbx10%
5: \font\cs=cmcsc12\font\sc=cmcsc10\font\css=cmcsc9%
6: \font\ss=cmss10\font\sss=cmss8%
7: \font\crs=cmbx8%
8: \font\indbf=cmbx10 scaled\magstep2%
9: \font\type=cmtt10%
10: \font\TIPO=cmtt12 scaled\magstep2%
11: \font\msxtw=msbm10% scaled\magstep1%@@@
12: \font\msytw=msbm10% scaled\magstep1%
13: \font\msytww=msbm8 scaled\magstep1%
14: \font\msytwww=msbm5 scaled\magstep1%
15: \font\msytwwww=msbm4 scaled\magstep1%
16: \font\euftw=eufm9 scaled\magstep1%
17: \font\euftww=eufm7 scaled\magstep1%
18: \font\euftwww=eufm5 scaled\magstep1%
19: \font\cyr=cmcyr10
20:
21: \def\st{\scriptstyle}%
22:
23: \def\dt{\displaystyle}%
24: \def\txt{\textstyle}%
25: %
26: % lettere greche e latine in neretto italico - pag.430 del manuale
27: \font\tenmib=cmmib10 \font\eightmib=cmmib8%%
28: \font\sevenmib=cmmib7\font\fivemib=cmmib5%%
29: \font\ottoit=cmti8\font\fiveit=cmti5\font\sixit=cmti6%%
30: \font\fivei=cmmi5\font\sixi=cmmi6\font\ottoi=cmmi8%%
31: %\font\fivei=cmmi7\font\sixi=cmmi8\font\ottoi=cmm10
32: \font\eightrm=cmr8%%
33: \font\ottorm=cmr8\font\fiverm=cmr5\font\sixrm=cmr6%
34: \font\ottosy=cmsy8\font\sixsy=cmsy6\font\fivesy=cmsy5%%
35: \font\ottoex=cmex8\font\sixex=cmex6\font\fiveex=cmex5%%
36: \font\ottobf=cmbx8\font\sixbf=cmbx6\font\fivebf=cmbx5%
37: \font\ottott=cmtt8%
38: \font\ottocss=cmcsc8%
39: \font\ottosl=cmsl8%
40: \font\ottomi=cmmi8%
41: %
42: \def\ottopunti{%
43: \textfont0=\eightrm\scriptfont0=\sixrm\scriptscriptfont0=\fiverm%
44: \def\rm{\fam0 \eightrm}%
45: \textfont1=\ottoi\scriptfont1=\sixi\scriptscriptfont1=\fivei%
46: \def\mit{\fam1 \ottoi}%
47: \textfont2=\ottosy\scriptfont2=\sixsy\scriptscriptfont2=\fivesy%
48: \def\cal{\fam2 \ottosy}%
49: \textfont3=\ottoex\scriptfont3=\sixex\scriptscriptfont3=\fiveex%
50: \def\calx{\fam3 \ottoex}%
51: \textfont4=\ottocss\scriptfont4=\sc\scriptscriptfont4=\sc%
52: \def\csc{\fam4 \ottocss}%
53: \textfont5=\eightmib\scriptfont5=\sevenmib\scriptscriptfont5=\fivemib%
54: \textfont6=\ottoit\scriptfont6=\sixit\scriptscriptfont6=\fiveit%
55: \def\it{\fam6\ottoit}%
56: \textfont7=\ottobf\scriptfont7=\sixbf\scriptscriptfont7=\fivebf%
57: \def\bf{\fam7\ottobf}%
58: \baselineskip5mm \rm}%
59: \def\nota{\ottopunti\baselineskip10pt}%
60: %
61:
62: %
63: \textfont5=\tenmib\scriptfont5=\sevenmib\scriptscriptfont5=\fivemib
64: \mathchardef\Ba = "050B %alfa
65: \mathchardef\Bb = "050C %beta
66: \mathchardef\Bg = "050D %gamma
67: \mathchardef\Bd = "050E %delta
68: \mathchardef\Be = "0522 %varepsilon
69: \mathchardef\Bee = "050F %epsilon
70: \mathchardef\Bz = "0510 %zeta
71: \mathchardef\Bh = "0511 %eta
72: \mathchardef\Bthh = "0512 %teta
73: \mathchardef\Bth = "0523 %varteta
74: \mathchardef\Bi = "0513 %iota
75: \mathchardef\Bk = "0514 %kappa
76: \mathchardef\Bl = "0515 %lambda
77: \mathchardef\Bm = "0516 %mu
78: \mathchardef\Bn = "0517 %nu
79: \mathchardef\Bx = "0518 %xi
80: \mathchardef\Bom = "0530 %omi
81: \mathchardef\Bp = "0519 %pi
82: \mathchardef\Br = "0525 %ro
83: \mathchardef\Bro = "051A %varrho
84: \mathchardef\Bs = "051B %sigma
85: \mathchardef\Bsi = "0526 %varsigma
86: \mathchardef\Bt = "051C %tau
87: \mathchardef\Bu = "051D %upsilon
88: \mathchardef\Bf = "0527 %phi
89: \mathchardef\Bff = "051E %varphi
90: \mathchardef\Bch = "051F %chi
91: \mathchardef\Bps = "0520 %psi
92: \mathchardef\Bo = "0521 %omega
93: \mathchardef\Bome = "0524 %varomega
94: \mathchardef\BG = "0500 %Gamma
95: \mathchardef\BD = "0501 %Delta
96: \mathchardef\BTh = "0502 %Theta
97: \mathchardef\BL = "0503 %Lambda
98: \mathchardef\BX = "0504 %Xi
99: \mathchardef\BP = "0505 %Pi
100: \mathchardef\BS = "0506 %Sigma
101: \mathchardef\BU = "0507 %Upsilon
102: \mathchardef\BF = "0508 %Fi
103: \mathchardef\BPs = "0509 %Psi
104: \mathchardef\BO = "050A %Omega
105: \mathchardef\BDpr = "0540 %Dpr
106: \mathchardef\Bstl = "053F %*
107:
108: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
109: %%%%%%%%%%%%%%% INSERIMENTO FIGURE ( se si usa DVIPS ) %%%%%%%%%%%%%%
110: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
111: \newdimen\xshift \newdimen\xwidth \newdimen\yshift \newdimen\ywidth
112: \def\fline{\hbox to\hsize}
113: %\def\fline{\hbox}
114: \def\ins#1#2#3{\vbox to0pt{\kern-#2pt\hbox{\kern#1pt #3}\vss}\nointerlineskip}
115:
116: \def\eqfig#1#2#3#4#5{
117: \par\xwidth=#1pt \xshift=\hsize \advance\xshift
118: by-\xwidth \divide\xshift by 2
119: \yshift=#2pt \divide\yshift by 2
120: \fline{\hglue\xshift \vbox to #2pt{\vfil
121: #3 \special{psfile=#4.eps}
122: }\hfill\raise\yshift\hbox{#5}}}
123:
124: \def\8{\write12}
125:
126: \def\figini#1{
127: \catcode`\%=12\catcode`\{=12\catcode`\}=12
128: \catcode`\<=1\catcode`\>=2
129: \openout12=#1.ps}
130:
131: \def\figfin{
132: \closeout12
133: \catcode`\%=14\catcode`\{=1%
134: \catcode`\}=2\catcode`\<=12\catcode`\>=12}
135:
136: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
137: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
138: %%%%%%%%%%%%%%%%%%%%%% SIMBOLI VARI %%%%%%%%%%%%%%%%%%%%%%%
139: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
140:
141: \let\a=\alpha \let\b=\beta \let\g=\gamma \let\d=\delta \let\e=\varepsilon
142: \let\z=\zeta \let\h=\eta \let\th=\theta \let\k=\kappa \let\l=\lambda
143: \let\m=\mu \let\n=\nu \let\x=\xi \let\p=\pi \let\r=\varrho
144: \let\s=\sigma \let\t=\tau \let\f=\varphi \let\c=\chi
145: \let\ps=\psi \let\y=\upsilon\let\o=\omega \let\si=\varsigma \let\ch=\chi
146: \let\G=\Gamma \let\D=\Delta \let\Th=\Theta \let\L=\Lambda \let\X=\Xi
147: \let\P=\Pi \let\Si=\Sigma \let\F=\Phi \let\Ps=\Psi
148: \let\O=\Omega \let\Y=\Upsilon
149: \def\bra#1{{\langle#1|}}\def\ket#1{{|#1\rangle}}
150: \def\media#1{{\langle#1\rangle}}
151: \let\dpr=\partial
152: \def\tende#1{\,\vtop{\ialign{##\crcr\rightarrowfill\crcr
153: \noalign{\kern-1pt\nointerlineskip} \hskip3.pt${\scriptstyle
154: #1}$\hskip3.pt\crcr}}\,}
155: \def\otto{\,{\kern-1.truept\leftarrow\kern-5.truept\to\kern-1.truept}\,}
156: \def\fra#1#2{{#1\over#2}}
157:
158:
159: \def\AA{{\cal A}}\def\BB{{\cal B}}\def\CC{{\cal C}}\def\DD{{\cal D}}
160: \def\EE{{\cal E}}\def\FF{{\cal F}}\def\GG{{\cal G}}\def\HH{{\cal H}}
161: \def\II{{\cal I}}\def\JJ{{\cal J}}\def\KK{{\cal K}}\def\LL{{\cal L}}
162: \def\MM{{\cal M}}\def\NN{{\cal N}}\def\OO{{\cal O}}\def\PP{{\cal P}}
163: \def\QQ{{\cal Q}}\def\RR{{\cal R}}\def\SS{{\cal S}}\def\TT{{\cal T}}
164: \def\UU{{\cal U}}\def\VV{{\cal V}}\def\WW{{\cal W}}\def\XX{{\cal X}}
165: \def\YY{{\cal Y}}\def\ZZ{{\cal Z}}%
166: \def\V#1{{\bf#1}}%
167: \def\defi{\,{\buildrel def\over=}\,}%
168: \def\lhs{{\it l.h.s.}\ }\def\rhs{{\it r.h.s.}\ }%
169: \def\ig{\int}\def\io{\infty}%
170: \def\*{{\vskip2mm}}\def\0{\noindent}%
171: %\def\mbe{\hfill\break\phantom{a}\hfill mbe}%
172: \def\mbe{\hfill mbe}%
173: \def\lis#1{\overline{#1}}%
174: %%%%%%%%%%%%%%%%%%%%%%%%
175:
176: \def\pagina{\vfill\eject}
177:
178: %\renewcommand{\theequation}{\arabic{chapter}.\arabic{section}.\arabic{equation}}
179: %\def\iniz{\setcounter{equation}{0}\sectionmark{%
180: %\ifodd\thepage\SEC\hfill\else\SEC\hfill\fi}}
181: \def\iniz{\setcounter{equation}{0}}
182: \renewcommand{\theequation}{\arabic{section}.\arabic{equation}}%
183: \def\be{\begin{equation}}%
184: \def\ee{\end{equation}}%
185: \def\wt{\widetilde}\def\tto{\Rightarrow}
186: \def\wh{\widehat}
187: \def\mod{{\rm\ mod\ }}
188: \def\Re{{\cal R}{\rm e}\,}\def\Im{{\cal I}\rm m\,}
189: \def\RRR{{\bf R}}\def\arctg{{\rm arctg}}
190: \def\fa{\forall\,}
191:
192: \def\eg{{\it e.g.\ }\def\ie{{\it i.e.\ }}}
193:
194: \begin{document}
195:
196: \title{{\bf Perturbation theory}}
197:
198: \author{Giovanni Gallavotti \\ {\it Dip. Fisica, Universit\`a di
199: Roma and I.N.F.N., sezione Roma-1}}
200:
201:
202: \date{}
203: \maketitle
204:
205: \section*{Article Outline}
206:
207: \begin{enumerate}
208:
209: \item Glossary
210:
211: \item Definition
212:
213: \item Introduction
214:
215: \item Poincar\'e's theorem and quanta
216:
217: \item Mathematics and Physics. Renormalization
218:
219: \item Need of convergence proofs
220:
221: \item Multiscale analysis
222:
223: \item A paradigmatic example of PT problem
224:
225: \item Lindstedt series
226:
227: \item Convergence. Scales. Multiscale analysis
228:
229: \item Non convergent cases
230:
231: \item Conclusion and Outlook
232:
233: \item Bibliography
234:
235: \end{enumerate}
236:
237: \section{Definition of the subject and its importance}
238:
239: {\bf Perturbation Theory:} Computation of a quantity depending on a
240: parameter $\e$ starting from the knowledge of is value for $\e=0$ by
241: deriving a power series expansion in $\e$, under the assumption of
242: its existence, and if possible discussing the interpretation of the
243: series. Perturbation theory is very often the only way to get a
244: glimpse of the properties of systems whose equations cannot be
245: ``explicitly solved'' in computable form. Its importance is
246: witnessed by its applications in Astronomy, where it lead not only
247: to the discovery of new planets (Neptune) but also to the disovery
248: of Chaotic motions, with the completion of the Copernican revolution
249: and the full understanding of the role of Aristotelian Physics
250: formalized into uniform rotations of deferents and epicycles
251: (nowadays Fourier representation of quasi periodic motions). It also
252: played an essential role in the development of Quantum Mechanics and
253: the understanding of the periodic table. The successes of Quantum
254: Field Theory in Electrodynamics first, then in Strong interactions
255: and finally in the unification of the elementary forces (stong,
256: electromagnetic and weak) are also due to perturbation theory, which
257: has also been essential in the theoretical understanding of the
258: critical point universality. The latter two themes concern the new
259: methods that have been developed in the last fifty years, marking a
260: kind of new era for perturbation theory; namely dealing with
261: singular problems, via the techniques called, in Physics,
262: ``Renormalization Group'' and, in Mathematics, ``Multiscale
263: Analysis''.
264:
265: \section{Glossary}
266:
267: \begin{itemize}
268:
269: \item {\bf Formal power series}: a power series, giving the value
270: of a function $f(\e)$ of a parameter $\e$, that is derived
271: assuming that $f$ is analytic in $\e$.
272:
273: \item {\bf Renormalization group}: method for multiscale analysis
274: and resummation of formal power series. Usually applied to define
275: a systematic collection of terms to organize a formal power series
276: into a convergent one.
277:
278: \item {\bf Lindstedt Series}: an algorithm to develop formal power
279: series for computing the parametric equations of invariant tori in
280: systems close to integrable.
281:
282: \item {\bf Multiscale Problem}: any problem in which an infinite
283: number of scales play a role.
284:
285: \end{itemize}
286:
287: \*
288: \section{Introduction}\iniz
289:
290: Perturbation theory, henceforth PT, arises when the value a function
291: of interest is associated with a problem depending on a parameter,
292: here called $\e$. The value has to be a simple, or at least explicit
293: and rigorous, computation for $\e=0$ while its computation for
294: $\e\ne0$, small, is attempted by expressing it as the sum of a power
295: series in $\e$ which will be called here the ``solution''.
296:
297: It is important to say since the beginning that a real PT solution of a
298: problem involves two distinct steps: the first is to show that
299: assuming that there is a convergent power series solving the problem
300: then the {\it coefficients} of the $n$-th power of $\e$ exist and can be
301: computed via finite computation. The resulting series will be called
302: {\it formal solution} or {\it formal series} for the problem. The
303: second step, that will be called {\it convergence theory}, is to prove
304: that the formal series converges for $\e$ small enough, or at
305: least find a ``summation rule'' that gives a meaning to the formal
306: series thus providing a real solution to the problem. None of the two
307: problems is trivial, in the interesting cases, although the second is
308: certainly the key and a difficult one.
309:
310: Once Newton's law of universal gravitation was established it became
311: necessary to develop methods to find its implications. Laplace's
312: ``M\'ecanique C\'eleste'', \cite{La799}, provided a detailed and
313: meticulous exposition of a general method that has become a classic,
314: if not the first, example of perturbation theory, quite different from
315: the parallel analysis of Gauss which can be more appropriately
316: considered a ``non perturbative'' development.
317:
318: Since Laplace one can say that many applications along his lines
319: followed. In the XIX century wide attention was dedicated to extend
320: Laplace's work to cover various astronomical problems: tables of the
321: coefficients were dressed and published, and algorithms for their
322: construction were devised, and planets were discovered (Neptune,
323: 1846). Well known is the ``Lindstedt algorithm'' for the computation of
324: the $n$-th order coefficients of the PT series for the non resonant
325: quasi periodic motions. The algorithm provides a power series
326: representation for the quasi periodic motions with non resonant
327: frequencies which is extremely simple: however it represents the
328: $n$-th coefficient as a sum of many terms, some of size of the order
329: of a power on $n!$. Which of course is a serious problem for the
330: convergence.
331:
332: It became a central issue, known as the ``small denominators
333: problem'' after Poincar\'e's deep critique of the PT method,
334: generated by his analysis of the three body problem. It led to his
335: ``non-integrability theorem'' about the generic nonexistence of
336: convergent power series in the perturbation parameter $\e$ whose
337: sum would be a constant of motion for a Hamiltonian $H_\e$, member
338: of a family of Hamiltonians parameterized by $\e$ and reducing to
339: an integrable system for $\e=0$. The theorem suggested (to some)
340: that even the PT series of Lindstedt (to which Poincar\'e's
341: theorem does not apply) could be meaningless even though formally
342: well defined, \cite{Po892}.
343:
344: A posteriori, it should be recognized that PT was involved also in the
345: early developments of Statistical Mechanics in the XIX century: the
346: virial theorem application to obtain the Van der Waals equation of
347: state can be considered a first order calculation in PT (although this
348: became clear only a century later with the identification of $\e$ as
349: the inverse of the space dimension).
350:
351: \section{Poincar\'e's theorem and quanta}\iniz
352:
353: With Poincar\'e begins a new phase: the question of convergence of
354: series in $\e$ becomes a central one in the Mathematics
355: literature. Much less, however, in the Physics literature where the
356: new discoveries in the atomic phenomena attracted the attention. It
357: seems that in the Physics research it was taken for granted that
358: convergence was not an issue: atomic spectra were studied via PT and
359: early authoritative warnings were simply disregarded (for instance,
360: explicit by Einstein, in \cite{Ei17}, and clear, in \cite{Fe923b}, but
361: ``timid'' being too far against the mainstream, for his young age). In
362: this way quantum theory could grow from the original formulations of
363: Bohr, Sommerfeld, Eherenfest relying on PT to the final formulations
364: of Heisenberg and Schr\"odinger quite far from it. Nevertheless the
365: triumph of quantum theory was quite substantially based on the
366: technical development and refinement of the methods of formal PT: the
367: calculation of the Compton scattering, the Lamb shift, Fermi's weak
368: interactions model and other spectacular successes came in spite of
369: the parallel recognition that the some of the series that were being
370: laboriously computed not only could not possibly be convergent but
371: their very existence, to all orders $n$, was in doubt.
372:
373: The later Feynman graphs representation of PT was a great new tool
374: which superseded and improved earlier graphical representations of
375: the calculations. Its simplicity allowed a careful analysis and
376: understanding of cases in which even {\it formal} PT seemed
377: puzzlingly failing.
378:
379: Renormalization theory was developed to show that the convergence
380: problems that seemed to plague even the computation of the individual
381: coefficients of the series, hence the formal PT series at fixed order,
382: were, in reality, often absent, in great generality, as suspected by the
383: earlier treatments of special (important) cases, like the higher order
384: evaluations of the Compton scattering, and other quantum
385: electrodynamics cross sections or anomalous characteristic constants
386: (\eg the magnetic moment of the muon).
387:
388: \section{Mathematics and Physics. Renormalization}\iniz
389:
390: In 1943 the first important result on the convergence of the series of
391: the Lindstedt kind was obtained by Siegel, \cite{Si43}: a formal PT
392: series, of interest in the theory of complex maps, was shown to be
393: convergent. Siegel's work was certainly a stimulus for the later work
394: of Kolmogorov who solved, \cite{Ko54}, a problem that had been
395: considered not soluble by many: to find the convergence conditions and
396: the convergence proof of the Lindstedt series for the quasi periodic
397: motions of a generic analytic Hamiltonian system, in spite of
398: Poincar\'e's theorem and actually avoiding contradiction with it. Thus
399: showing the soundness of the comments about the unsatisfactory aspects
400: of Poincar\'e's analysis that had been raised almost immediately by
401: Weierstrass, Hadamard and others.
402:
403: In 1956 not only Kolmogorov theorem appeared but also convergence of
404: another well known and widely used formal series, the virial series,
405: was achieved in an unnoticed work by Morrey, \cite{Mo55}, and
406: independently rediscovered in the early 1960's.
407:
408: At this time it seems that all series with well defined terms were
409: thought to be either convergent or at least asymptotic: for most
410: Physicists convergence or asymptoticity were considered of little
411: interest and matters to be left to Mathematicians.
412:
413: However with the understanding of the formal aspects of
414: renormalization theory the interest in the convergence properties of
415: the formal PT series came back to the center of attention.
416:
417: On the one hand mathematical proofs of the existence of the PT
418: series, for interesting quantum fields models, to all orders were
419: investigated settling the question once and for all (Hepp's
420: theorem, \cite{He66}); on the other hand it was obvious that even
421: if convergent (like in the virial or Meyer expansions, or in the
422: Kolmogorov theory) it was well understood that the radius of
423: convergence would not be large enough to cover all the physically
424: interesting cases. The sum of the series would in general become
425: singular in the sense of analytic functions and, even if admitting
426: analytic continuation beyond the radius of convergence, a
427: singularity in $\e$ would be eventually hit. The singularity was
428: supposed to correspond to very important phenomena, like the
429: critical point in statistical mechanics or the onset of chaotic
430: motions (already foreseen by Poincar\'e in connection with his non
431: convergence theorem). Thus research developed in two direction.
432:
433: The first aimed at understanding the nature of the singularities from
434: the formal series coefficients: in the 1960's many works achieved the
435: understanding of the scaling laws (\ie some properties of the
436: divergences appearing at the singularities of the PT series or of its
437: analytic continuation, for instance in the work of M.Fisher, Kadanoff,
438: Widom and may others). This led to trying to find {\it resummations},
439: \ie to collect terms of the formal series to transform them into {\it
440: convergent series} in terms of {\it new parameters}, the {\it
441: running couplings}.
442:
443: The latter would be singular functions of the original $\e$ thus
444: possibly reducing the study of the singularity to the singularities of
445: the running couplings. The latter could be studied by independent
446: methods, typically by studying the iterations of an auxiliary
447: dynamical system (called the {\it beta function flow}). This was the
448: {\it approach} or {\it renormalization group method} of Wilson,
449: \cite{WK74,Ga01}.
450:
451: The second direction was dedicated to finding out the real meaning of
452: the PT series in the cases in which convergence was doubtful or {\it a
453: priori} excluded: in fact already Landau had advanced the idea that
454: the series could be just illusions in important problems like the
455: paradigmatic quantum field theory of a scalar field or the fundamental
456: quantum electrodynamics, \cite{Fr82b,Gr99}.
457:
458: In a rigorous treatment the function that the series were supposed to
459: represent would be in fact a trivial function with a dependence on
460: $\e$ unrelated to the coefficients of the well defined and non trivial
461: but formal series. It was therefore important to show that there were
462: at least cases in which the perturbation series of a nontrivial
463: problem had a meaning determined by its coefficients. This was studied
464: in the scalar model of quantum field theory and a proof of ``non
465: triviality'' was achieved after the ground breaking work of Nelson on
466: two dimensional models, \cite{Ne66,Si74}: soon followed by the similar
467: results in two dimensions and the difficult extension to three
468: dimensional models by Glimm and Jaffe, \cite{GJ81}, and generating
469: many works and results on the subject which took the name of
470: ``constructive field theory'', \cite{Ga85b}.
471:
472: But Landau's {\it triviality conjecture} was actually dealing with the
473: ``real problem'', \ie the $4$-dimensional quantum fields.
474: The conjecture remains such at the moment, in spite of very intensive
475: work and attempts at its proof. The problem had relevance because it
476: could have meant that not only the simple scalar models of
477: constructive field theory were trivial but also the QED series which
478: had received strong experimental support with the correct prediction
479: of fine structure phenomena could be illusions, in spite of their well
480: defined PT series: which would be remain as mirages of a non
481: existing reality.
482:
483: The work of Wilson made clear that the ``triviality conjecture'' of
484: Landau could be applied only to theories which, after the mentioned
485: resummations, would be controlled by a beta function flow that could
486: not be studied perturbatively, and introduced the new notion of {\it
487: asymptotic freedom}. This is a property of the beta function flow,
488: implying that the running couplings are bounded and small so that
489: the resummed series are more likely to have a meaning, \cite{WK74}.
490:
491: This work revived the interest in PT for quantum fields with attention
492: devoted to new models that had been believed to be non renormalizable.
493: Once more the apparently preliminary problem of developing a formal PT
494: series plaid a key role: and it was discovered that many Yang-Mills
495: quantum field theories were in fact renormalizable in the ultraviolet
496: region, \cite{HV72,Ho99}, and an exciting period followed with
497: attempts at using Wilson's methods to give a meaning to the Yang-Mills
498: theory with the hope of building a theory of the strong
499: interactions. Thus it was discovered that several Yang Mills theories
500: were asymptotically free as a consequence of the high symmetry of the
501: model, proving that what seemed to be strong evidence that no
502: renormalizable model would have asymptotic freedom was an ill founded
503: believe (that in a sense slowed down the process of understanding, and
504: not only of the strong interactions).
505:
506: Suddenly understanding the strong interactions, until then considered
507: an impossible problem became possible, \cite{Gr99}, as solutions could
508: be written and {\it effectively computed} in terms of PT which,
509: although not proved to be convergent or asymptotic (still an open
510: problem in dimension $d=4$) were immune to the argument of Landau. The
511: impact of the new developments lead a little later to the unification
512: of all interactions into the {\it standard model} for the theory of
513: elementary particles (including the electromagnetic and weak
514: interactions). The standard model was shown be asymptotically free
515: {\it even in presence of symmetry breaking}, at least if a few other
516: interactions in the model (for instance the Higgs particle self
517: interaction) were treated heuristically while waiting for the
518: discovery of the ``Higgs particle'' and for a better understanding of the
519: structure of the elementary particles at length scales intermediate
520: between the Fermi scale ($\sim 10^{-15}\,cm$ (the weak interactions
521: scale) and the Planck scale (the gravitational interaction scale, $15$
522: orders of magnitude below).
523:
524: Given that the very discovery of renormalizability of Yang-Mills
525: fields and the birth of a strong interactions theory had been
526: firmly grounded on experimental results, \cite{Gr99}, the latter
527: ``missing step'' was, and still is, considered an acceptable gap.
528:
529: \section{Need of convergence proofs}\iniz
530:
531:
532: The story of the standard model is paradigmatic of the power of PT: it
533: should convince anyone that the analysis of formal series, including
534: their representation by diagrams, which plays an essential part, is to
535: be taken seriously. PT is certainly responsible for the revival and
536: solution of problems considered by many as hopeless.
537:
538: In a sense PT in the elementary particles domain can only, so far,
539: partially be considered a success. Different is the situation in the
540: developments that followed the works of Siegel and Kolmogorov. Their
541: relevance for Celestial Mechanics and for several problems in applied
542: physics (particle accelerator design, nuclear fusion machines for
543: instance) and for statistical mechanics made them too the object of a
544: large amount of research work.
545:
546: The problems are simpler to formulate and often very well posed but
547: the possibility of existence of chaotic motions, always looming, made
548: it imperative not to be content with heuristic analysis and imposed
549: the quest of mathematically complete studies. The lead were the works
550: of Siegel and Kolmogorov. They had established convergence of certain
551: PT series, but there were other series which would certainly be not
552: convergent even though formally well defined and the question was,
553: therefore, which would be their meaning.
554:
555: More precisely it was clear that the series could be used to find
556: approximate solutions to the equations, representing the motion for
557: very long times under the assumption of ``small enough'' $\e$. But
558: this could hardly be considered an understanding of the PT series in
559: Mechanics: the estimated values of $\e$ would have to be too small to
560: be of interest, with the exception of a few special cases. The real
561: question was what could be done to give the PT series the status of
562: exact solution.
563:
564: As we shall see the problem is deeply connected with the above
565: mentioned asymptotic freedom: this is perhaps not surprising because
566: the link between the two is to be found in the ``multiscale
567: analysis'' problems, which in the last half century have been the core
568: of the studies in many areas of Analysis and in Physics,
569: when theoretical developments and experimental techniques became finer and
570: able to explore nature at smaller and smaller scales.
571:
572: \section{Multiscale analysis}\iniz
573:
574: To illustrate the multiscale analysis in PT it is convenient to
575: present it in the context of Hamiltonian mechanics, because in this
576: field it provides us with nontrivial cases of almost complete success.
577:
578: We begin by contrasting the work of Siegel and that of Kolmogorov: which
579: are based on radically different methods. The first
580: being much closer in spirit to the developments of renormalization
581: theory and to the Feynman graphs.
582:
583: Most interesting formal PT series have a common feature: namely
584: their $n$-th order coefficients are constructed as sums of many
585: ``terms'' and the first attempt to a complete analysis is to
586: recognize that their sum, which gives the uniquely defined $n$-th
587: coefficient is much smaller than the sum of the absolute values of
588: the constituent terms. This is a property usually referred as a
589: ``cancellation'' and, as a rule, it reflects some symmetry
590: property of the problem: hence one possible approach is to look
591: for expressions of the coefficients and for cancellations which
592: would reduce the estimate of the $n$-th order coefficients, very
593: often of the order of a power of $n!$, to an exponential estimate
594: $O(\r^{-n})$ for some $\r>0$ yielding convergence (parenthetically
595: in the mentioned case of Yang-Mills theories the reduction is even
596: more dramatic as it leads from divergent expressions to finite
597: ones, yet of order $n!$)
598:
599: The multiscale aspect becomes clear also in Kolmogorov's method
600: because the implicit functions theorem has to be applied over and over
601: again and deals with functions implicitly defined on smaller and
602: smaller domains, \cite{Ga85,Ga86}. But the method purposedly avoids
603: facing the combinatorial aspects behind the cancellations so much
604: followed, and cherished, \cite{HV72}, in the Physics works.
605:
606: Siegel's method was developed to study a problem in which no
607: grouping of terms was eventually needed, even though this was by
608: no means clear {\it a priori}, \cite{Po86}; and to realize that no
609: cancellations were needed forced to consider the problem as a
610: multiscale one because the absence of rapid growth of the $n$-th
611: order coefficients became manifest after a suitable ``hierarchical
612: ordering'' of the terms generating the coefficients. The approach
613: establishes a strong connection with the Physics literature
614: because the technique to study such cases was independently
615: developed in quantum field theory with renormalization, as shown
616: by Hepp in \cite{He66}, relying strongly on it. This is very
617: natural and, in case of failure, it can be improved by looking for
618: ``resummations'' turning the power series into a convergent series
619: in terms of functions of $\e$ which are singular but controllably
620: so. For details see below and \cite{Ga94b}.
621:
622: What is ``natural'', however, is a very personal notion and it is not
623: surprising that what some consider natural is considered unnatural or
624: clumsy or difficult (or the three qualifications together) by others.
625:
626: Conflict arises when the same problem can be solved by two different
627: ``natural'' methods. and in the case of PT for Hamiltonian systems close
628: to integrable ones (closeness depending on the size of a parameter
629: $\e$), the so called ``small denominators'' problem, the methods of
630: Siegel and Kolmogorov are antithetic and an example of the just
631: mentioned dualism.
632:
633: The first method, that will be called here ``Siegel's method'' (see
634: below for details), is based on a careful analysis of the structure of
635: the various terms that occur at a given PT order achieving a proof
636: that the $n$-th order coefficient which is represented as the sum of
637: many terms some of which {\it might} have size of order of a power of
638: $n!$ has in fact a size of $O(\r^{-n})$ so that the PT series is
639: convergent for $|\e|<\r$. Although strictly speaking original work of
640: Siegel does not immediately apply to the Hamiltonian Mechanics
641: problems (see below), it can nevertheless be adapted and yields a
642: solution, as made manifest much later in \cite{Po86,El96,Ga94b}.
643:
644: The second method, called here ``Kolmogorov's method'', instead
645: does not consider the individual coefficients of the various
646: orders but just regards the sum of the series as a solution of an
647: implicit function equation (a ``Hamilton-Jacobi'' equation) and
648: devises a recursive algorithm approximating the unknown sum of the
649: PT series by functions analytic in a disk of fixed radius $\r$ in
650: the complex $\e$-plane, \cite{Ga85,Ga86}.
651:
652: Of course the latter approach implies that no matter how we achieve
653: the construction of the $n$-th order PT series coefficient there will
654: have to be enough cancellations, if at all needed, so that it turns out
655: bounded by $O(\r^{-n})$. And in the problem studied by Kolmogorov
656: cancellations would be necessarily present if the $n$-th order
657: coefficient was represented by the sum of the terms in the Lindstedt
658: series.
659:
660: That this is not obvious is supported by the fact that it was considered
661: an open problem, for about thirty years, to find a way to exhibit
662: explicitly the cancellation mechanism in the Lindstedt series implied
663: by Kolmogorov's work. This was done by Eliasson, \cite{El96}, who
664: proved that the coefficients of the PT of a given order $n$ as
665: expressed by the construction known as the ``Lindstedt algorithm''
666: yielded coefficients of size of $O(\r^{-n})$: his argument, however,
667: did not identify in general which term of the Lindstedt sum for the
668: $n$-th order coefficient was compensated by which other term or
669: terms. It proved that the sum had to satisfy suitable relations, which
670: in turn implied a total size of $O(\r^{-n})$. And it took a few more
671: years for the complete identification, \cite{Ga94b}, of the rules to
672: follow in collecting the terms of the Lindstedt series which would
673: imply the needed cancellations.
674:
675: It is interesting to remark that, aside from the example of
676: Hamiltonian PT, multiscale problems have dominated the development of
677: analysis and Physics in recent time: for instance they appear in
678: harmonic analysis (Carleson, Fefferman), in PDE's (DeGiorgi, Moser,
679: Caffarelli-Kohn-Ninberg) in relativistic quantum mechanics (Glimm,
680: Jaffe, Wilson) in Hamiltonian Mechanics (Siegel, Kolmogorov, Arnold,
681: Moser) in statistical mechanics and condensed matter (Fisher, Wilson,
682: Widom)... Sometimes, although not always, studied by PT techniques,
683: \cite{Ga01}.
684:
685: \section{A paradigmatic example of PT problem}\iniz
686:
687: It is useful to keep in mind an example illustrating technically what
688: it mean to perform a multiscale analysis in PT. And the case of quasi
689: periodic motions in Hamiltonian mechanics will be selected here, being
690: perhaps the simplest.
691:
692: Consider the motion of $\ell$ unit masses on a unit circle and let
693: $\Ba=(\a_1,\ldots,\a_\ell)$ be their positions on the circle, \ie
694: $\Ba$ is a point on the on the torus $\TT^\ell=[0,2\p]^\ell$. The
695: points interact with a potential energy $\e f(\Ba)$ where $\e$ is a
696: strength parameter and $f$ is a trigonometric even polynomial, of
697: degree $N$: $f(\Ba)=\sum_{\Bn\in\ZZ^\ell,\,|\Bn|\le N} f_\Bn
698: e^{i\Bn\cdot\Ba},\, f_\Bn=f_{-\Bn}\in\RR$, where $\ZZ^\ell$ denotes
699: the lattice of the points with integer components in $\RR^\ell$ and
700: $|\Bn|=\sum_j|\n_j|$.
701:
702: Let $t\to\Ba_0+\Bo_0 t$ be the motion with initial data, at time
703: $t=0$, $\Ba(0)=\Ba_0,\dot\Ba(0)=\Bo_0$, in which all particles rotate
704: at constant speed with rotation velocity
705: $\Bo_0=(\o_{01},\ldots,\o_{0\ell})\in\RR^\ell$. This is a solution for
706: the equations of motion for $\e=0$ and it is a quasi periodic
707: solution, \ie each of the angles $\a_j$ rotates periodically at
708: constant speed $\o_{0j}$, $j=1,\ldots,\ell$.
709:
710: The motion will be called {\it non resonant} if the components of the
711: rotation speed $\Bo_0$ are rationally independent: this means that
712: $\Bo_0\cdot\Bn=0$ with $\Bn\in\ZZ^\ell$ is possible only if
713: $\Bn=\V0$. In this case the motion $t\to\Ba_0+\Bo_0 t$ covers, $\fa
714: \Ba_0$, densely the torus $\TT^\ell$ as $t$ varies.
715: The PT problem that we consider is to find whether there is a family
716: of motions ``of the same kind'' for each $\e$, small enough, solving
717: the equations of motion; more precisely whether there
718: exists a function $\V a_\e(\Bf),\,\Bf\in\TT^\ell$, such
719: that setting
720:
721: \be\Ba(t)=\Bf+\Bo_0 t+\V a_\e(\Bf+\Bo_0 t),\qquad{\rm for}\
722: \Bf\in\TT^\ell\label{6.1}\ee
723: %
724: one obtains, $\fa \Bf\in \TT^\ell$ and for $\e$ small enough, a solution
725: of the equations of motion for a force $-\e\dpr_\Ba f(\Ba)$: \ie
726:
727: \be \ddot
728: \Ba(t)=-\e \dpr_\Ba f(\Ba(t)).\label{6.2}\ee
729: %
730: By substitution of Eq. (\ref{6.1}) in Eq. (\ref{6.2}), the condition
731: becomes $(\Bo_0\cdot\dpr_\Bf)^2 \V a(\Bf+\Bo_0t)=-\dpr_\Ba
732: f(\Bf+\Bo_0t)$. Since $\Bo_0$ is assumed rationally independent
733: $\Bf+\Bo_0 t$ covers densely the torus $\TT^\ell$ as $t$ varies: hence
734: the equation for $\V a_\e$ is
735:
736: \be(\Bo_0\cdot\dpr_\Bf)^2\V a_\e(\Bf)=\,-\e\,\dpr_\Ba f(\Bf+\V
737: a_\e(\Bf))\label{6.3}\ee
738: %
739: Applying PT to this equation means to look for a solution $\V
740: a_\e$ which is analytic in $\e$ small enough and in
741: $\Bf\in\TT^\ell$. In colorful language one says that the
742: perturbation effect is of slightly deforming a nonresonant torus
743: with given frequency spectrum ({\it i.e.} given $\Bo_0$) on which
744: the motion develops, without destroying it and keeping the quasi
745: periodic motion on it with the same frequency spectrum.
746:
747: \section{Lindstedt series}\iniz
748:
749: As it follows from a very simple special case of Poincar\'e's work,
750: Eq. (2) cannot be solved if also $\Bo_0$ is considered
751: variable and the dependence on $\e,\Bo_0$ analytic. Nevertheless if
752: $\Bo_0$ is {\it fixed and non resonant} and if $\V a_\e$ is supposed
753: analytic in $\e$ small enough and in $\Bf\in\TT^\ell$, then there can
754: be at most one solution to the Eq. (2) with $\V a_\e(\V0)=\V0$ (which
755: is not a real restriction because if $\V a_\e(\Bf)$ is a solution also
756: $\V a_\e(\Bf+\V c_\e)+ \V c_\e$ is a solution for any constant $\V
757: c_\e$). This so because the coefficients of the power series in $\e$,
758: $\sum_{n=1}^\io \e^n \V a_n(\Bf)$, are uniquely determined if the
759: series is convergent. In fact they are trigonometric polynomials of
760: order $\le nN$ which will be written as
761:
762: \be\Ba_n(\Bf)=\sum_{0<|\Bn|\le Nn}\Ba_{n,\Bn} e^{i\Bn\cdot\Bf}\label{7.1}\ee
763:
764: It is convenient to express them in terms of graphs. The graphs to use
765: to express the value $\V a_{n,\Bn}$ are
766: \*
767:
768: \0(i) trees with $n$ {\it nodes}
769: $v_1,\ldots,v_n$,
770: \\
771: (ii) one root $r$,
772: \\
773: (iii) $n$ lines joining pairs $(v'_i,v_i)$
774: of nodes or the root and one node, {\it always one and not more},
775: $(r,v_i)$;
776: \\
777: (iv) the lines will be different from each other and
778: distinguished by a mark label, $1,\ldots,n$ attached to them. The
779: connections between the nodes that the lines generate have to be {\it
780: loopless}, \ie the graph formed by the lines must be a tree.
781: \\
782: (v) The tree lines will be imagined oriented towards the root: hence a
783: partial order is generated on the tree and the line joining $v$ to
784: $v'$ will be denoted $\l_{v'v}$ and $v'$ will be the node closer to
785: the root immediately following $v$, hence such that $v'>v$ in the
786: partial order of tree.
787: \*
788:
789: \eqfig{200}{130}{
790: \ins{-5}{71}{$r$}
791: \ins{-5}{91}{$\V e_r$}
792: \ins{14}{71}{$\Bn\kern-2pt=\kern-2pt\Bn_{\l_{0}}$}
793: \ins{24}{91}{$\l_{0}$}
794: \ins{50}{71}{$v_0$}
795: \ins{46}{91}{$\Bn_{v_0}$}
796: \ins{127}{100.}{$v_1$}
797: \ins{121.}{125.}{$\Bn_{v_1}$}
798: \ins{92.}{41.6}{$v_2$}
799: \ins{158.}{83.}{$v_3$}
800: \ins{191.7}{133.3}{$v_5$}
801: \ins{191.7}{100.}{$v_6$}
802: \ins{191.7}{71.}{$v_7$}
803: \ins{191.7}{-6.3}{$v_{11}$}
804: \ins{141.7}{20}{$v_{12}$}
805: \ins{191.7}{18.6}{$v_{10}$}
806: \ins{166.6}{42.}{$v_4$}
807: \ins{191.7}{54.2}{$v_8$}
808: \ins{191.7}{37.5}{$v_9$}
809: }{fig1}{}
810: \*
811:
812: \0{\nota Fig.1: A tree $\th$ with
813: $m_{v_0}=2,m_{v_1}=2,m_{v_2}=3,m_{v_3}=2,m_{v_4}=2, m_{v_{12}}=1$
814: lines entering the nodes $v_i$, $k=13$. Some labels or decorations
815: explicitly marked (on the lines $\l_0,\l_1$ and on the nodes
816: $v_1,v_2$); the number labels, distinguishing the branches, are not
817: shown. The arrows represent the partial ordering on the tree.\vfil}
818:
819: The number of such trees is large and exactly equal to $n^{n-1}$,
820: as an application of Cayley's formula implies: their collection
821: will be denoted $T^0_n$.
822:
823: To compute $\V a_{n,\Bn}$ consider all trees in $T^0_n$ and attach to
824: each node $v$ a vector $\Bn_v\in \ZZ^\ell$, called ``mode label'',
825: such that $f_{\Bn_v}\ne0$, hence $|\Bn_v|\le N$. To the root we
826: associate one of the coordinate unit vectors $\Bn_r\equiv\V e_r$. We
827: obtain a set $T_n$ of {\it decorated trees} (with $\le (2N+1)^{\ell
828: n}n^{n-1}$ elements, by the above counting analysis).
829:
830: Given $\th\in T_n$ and $\l=\l(v',v)\in\th$ we define the {\it current}
831: on the line $\l$ to be the vector $\Bn(\l)\equiv
832: \Bn(v',v)\defi=\sum_{w\le v} \Bn_w$: \ie we imagine that the node
833: vectors $\Bn_{v_i}$ represent currents entering the node $v_i$ and
834: flowing towards the root. Then $\Bn(\l)$ is, for each $|l$, the sum of
835: the currents which entered all the nodes not following $v$, \ie
836: current accumulated after passing the node $v$.
837:
838: The current flowing in the root line $\Bn=\sum_v\Bn_v$ will be denoted
839: $\Bn(\th)$.
840:
841: Let $T^*_n$ be the set trees in $T_n$ in which {\it all lines} carry a
842: {\it non zero} current $\Bn(\l)\ne\V0$. A {\it value} ${\rm
843: Val}(\th)$ will be defined, for $\th\in T^*_n$, by a product of node
844: factors and of line factors over all nodes and
845:
846: \be{\rm Val}(\th)=\fra{i(-1)^n}{n!}\prod_{v\in\th} f_{\Bn_v} \prod_{\l=(v',v)}
847: \fra{\Bn_{v'}\cdot\Bn_v}{(\Bo_0\cdot\Bn(v',v))^2}\label{7.2}\ee
848: %
849: The coefficient $\V a_{n,\Bn}$ will then be
850:
851: \be\V a_{n,\Bn}=\sum_{\th\in T^*_n\atop \Bn(\th)=\Bn} {\rm Val}(\th)
852: \label{7.3}\ee
853: %
854: and, when the coefficients are imagined to be constructed in this
855: way, the formal power series $\sum_{n=1}^\io \e^n \sum_{|\Bn|\le
856: Nn}\V a_{n,\Bn}$ is called the ``Lindstedt series''. Eq.
857: (\ref{7.2}) and its graphical interpretation in Fig.1 should be
858: considered the ``Feynman rules'' and the ``Feynman diagrams'' of
859: the PT for Eq. (\ref{6.3}), \cite{Ga95d,Ga01}.
860:
861: \section{Convergence. Scales. Multiscale analysis.}\iniz
862:
863: The Lindstedt series is well defined because of the non resonance
864: condition and the $n$-th term is not even a sum of too many terms:
865: if $F\defi\max_\Bn |f_\Bn|$,
866: each of them can be bounded by $\fra{F^n}{n!} \prod_{\l\in\th}
867: \fra{N^2}{\Bo_0\cdot\Bn(\l)^2}$; hence their sum can be bounded, if $G$
868: is such that $\fra{(2N+1)^{\ell n}n^{n-1}F^n}{n!}\le G^n$, by $G^n
869: \prod_{\l\in\th} \fra{N^2}{\Bo_0\cdot\Bn(\l)^2}$.
870:
871: Thus all $\V a_n$ are well defined and finite {\it but} the problem is
872: that $|\Bn(\l)|$ can be large (up to $Nn$ at given order $n$) and
873: therefore $\Bo_0\cdot\Bn(\l)$ although never zero can become very
874: small as $n$ grows.
875: %
876: For this reason the problem of convergence of the series is an example
877: of what is called a {\it small denominators problem}. And it is
878: necessary to assume more than just non resonance of $\Bo_0$ in order
879: to solve it in the present case: a simple condition is the {\it
880: Diophantine} condition, namely the existence of $C,\t>0$ such that
881:
882: \be|\Bo_0\cdot\Bn|\ge
883: \fra{1}{C\,|\Bn|^\t},\qquad\fa\V0\ne\Bn\in\ZZ^\ell\label{8.1}\ee
884: %
885: But this condition is not sufficient in an obvious way: because it
886: only allows us to bound individual tree-values by $n!^a$ for some
887: $a>0$ related to $\t$; furthermore it is not difficult to check that
888: there are single graphs whose value is actually of ``factorial''
889: size in $n$. Although non trivial to see (as mentioned above) this was only
890: apparently so in the earlier case of Siegel's problem but it is the
891: new essential feature of the terms generating the $n$-th order
892: coefficient in Eq. (\ref{7.3}).
893:
894: A resummation is necessary to show that the tree-values can be grouped
895: so that the sum of the values of each group can be bounded by
896: $\r^{-n}$ for some $\r>0$ and $\fa n$, although the group may contain
897: (several) terms of factorial size. The terms to be grouped have to be
898: ordered hierarchically according to the sizes of the line factors
899: $\fra1{(\Bo_0\cdot\Bn(\l))^2}$, which are called {\it propagators} in
900: \cite{Ga94b,GBG04}.
901:
902: A similar problem is met in quantum field theory where the graphs are
903: the {\it Feynman graphs}: such graphs can only have a small number of
904: lines that converge into a node but they can have loops, and to show
905: that the perturbation series is well defined to all orders it is also
906: necessary to collect terms hierarchically according to the propagators
907: sizes. The systematic way was developed by Hepp, \cite{He66,He69} for
908: the PT expansion of the Schwinger functions in quantum field theory of
909: scalar fields, \cite{Ga85b}. It has been used in many occasions later
910: and it plays a key role in the renormalization group methods in
911: Statistical Mechanics (for instance in theory of the ground state of
912: Fermi systems), \cite{BG95,Ga01}.
913:
914: However it is in the Lindstedt series that the method is perhaps best
915: illustrated. Essentially because it ends up in a convergence proof,
916: while often in the field theory or statistical mechanics problems the PT
917: series can be only proved to be well defined to all orders, but they are
918: seldom, if ever, convergent so that one has to have recourse to other
919: supplementary analytic means to show that the PT series are asymptotic
920: (in the cases in which they are such).
921:
922: The path of the proof is the following.
923: \*
924:
925: \0(1) consider only trees in which no two lines $\l_+$ and $\l_-$,
926: with $\l_+$ following $\l_-$ in the partial order of the tree,
927: have the {\it same} current $\Bn_0$. In this case the maximum of
928: the $\prod_\l\fra{1}{(\Bo_0\cdot\Bn(\l))^2}$ over all tress
929: $\th\in T^*_n$ can be bounded by $G_1^n$ for some $G_1$.\\ This is
930: an immediate consequence and the main result in the original
931: Siegel's work, \cite{Si43}, which dealt with a different problem
932: with small denominators in its formal PT solution: the
933: coefficients of the series could also be represented by tree
934: graphs, very similar too the ones above: but the only allowed
935: $\Bn\in\ZZ^\ell$ were the non zero vectors with all components
936: $\ge0$. \\The latter property automatically guarantees that the
937: graphs contain no pair of lines $\l_+,\l_-$ following each other
938: as above in the tree partial order and having the same
939: current. Siegel's proof also implies a multiscale analysis,
940: \cite{Po86}: but it requires no grouping of the terms unlike the
941: analogue Lindstedt series, Eq. (\ref{7.3}). \*
942: \*
943:
944: \0(2) Trees which contain lines $\l_+$ and $\l_-$, with $\l_+$
945: following $\l_-$, in the partial order of the tree, and having the
946: {\it same} current $\Bn_0$ can have values which have size of
947: order $O(n!^a)$ with some $a>0$. Collecting terms is therefore
948: essential.
949: %
950: \\ A
951: line $\l$ of a tree is said to have scale $k$ if $2^{-k-1}\le
952: \fra1{C|\Bo_0\cdot\Bn|}<2^{-k}$. The lines of a tree $\th\in
953: T^*_n$ can then be collected in {\it clusters}.\footnote{\nota The
954: scaling factor $2$ is arbitrary: any scale factor $>1$ could be used.}
955: %
956: \\ A cluster of scale $p$ is a maximal connected set of lines of scale
957: $k\ge p$ with at least one line of scale $p$. Clusters are
958: connected to the rest of the tree by lines of lower scale which
959: can be {\it incoming} or {\it outgoing} with respect to the
960: partial ordering. Clusters also contain nodes: a node is in a
961: cluster if it is an extreme of a line contained in a cluster; such
962: nodes are said {\it internal} to the cluster.
963:
964:
965: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
966: \figini{fig2}
967: \8</origine1assexper2pilacon|P_2-P_1| { % P1 P2 ori....>
968: \8<4 2 roll 2 copy translate exch 4 1 roll sub >
969: \8<3 1 roll exch sub 2 copy atan rotate 2 copy >
970: \8<exch 4 1 roll mul 3 1 roll mul add sqrt } def >
971: \8<>
972: \8</ellisse0 {% Rx Ry ellisse0>
973: \8<exch dup 0 moveto 0 1 360 {>
974: \8<3 1 roll dup 3 2 roll dup 5 1 roll exch>
975: \8<5 2 roll 3 1 roll dup 4 1 roll sin mul>
976: \8<3 1 roll exch cos mul exch lineto} for stroke pop pop} def>
977: \8<>
978: \8</ellisse {% Rx Ry (assi) x y (centro) X Y (direzione asse)>
979: \8<gsave origine1assexper2pilacon|P_2-P_1| pop>
980: \8<ellisse0 grestore} def>
981: \8</punto { gsave >
982: \8<1.5 0 360 newpath arc fill stroke grestore} def >
983: \8<>
984: \8</puntone { gsave >
985: \8<4 0 360 newpath arc fill stroke grestore} def >
986: \8<>
987: \8</punta0 {0 0 moveto dup dup 0 exch 2 div lineto 0 >
988: \8<lineto 0 exch 2 div neg lineto 0 0 lineto fill >
989: \8<stroke } def >
990: \8<>
991: \8</dirpunta{% x1 y1 x2 y2>
992: \8<gsave origine1assexper2pilacon|P_2-P_1| >
993: \8<0 translate 7 punta0 grestore} def >
994: \8<>
995: \8</linea {gsave 4 2 roll moveto lineto stroke grestore} def >
996: \8<>
997: \8</frecciac {0 index 3 index add 2 div 4 index 3 index >
998: \8<add 2 div exch 4 2 roll 5 index 5 index linea dirpunta} def >
999: \8<>
1000: \8<gsave>
1001: \8<1 0.8 scale>
1002: \8</R {50} def>
1003: \8</H {80} def>
1004: \8</V {2 5 div R mul 3 5 div R mul} def>
1005: \8</D {10 0} def>
1006: \8<D translate>
1007: \8<>
1008: \8</P0 {R -1.5 div H} def>
1009: \8</P1 {R 3 mul 6 div H} def>
1010: \8</P2 {R 1.3 mul H} def>
1011: \8</P3 {P1 V 3 -1 roll add 3 1 roll add exch} def>
1012: \8</P4 {P2 V 3 -1 roll add 3 1 roll add exch} def>
1013: \8</P5 {P4 2 R mul 5 div 0.2 R mul add 0 3 -1 roll add 3 1 roll>
1014: \8< add 10 sub exch>
1015: \8<} def>
1016: \8</P6 {P4 2 R mul 5 div 2 R mul 2 div 3 -1 roll add 3 1 roll add -30 add>
1017: \8<exch 15 sub exch 2 5 div R mul add exch} def>
1018: \8</P7 {3 R mul R 2 div add H 30 sub} def>
1019: \8</PN {R 2.3 mul H 3 mul 4 div} def>
1020: \8<R 2 div 0 translate>
1021: \8<>
1022: \8<P0 P2 linea>
1023: \8<P1 P0 R 4 div 3 -1 roll add exch frecciac>
1024: \8<P2 P1 frecciac>\8<P3 P1 frecciac>\8<P4 P2 frecciac>
1025: \8<P5 P4 frecciac>\8<P6 P4 frecciac>
1026: \8<%P7 P2 frecciac>
1027: \8<PN P2 frecciac P7 PN frecciac>
1028: \8<P0 puntone>\8<P1 punto>\8<P2 punto>\8<P3 punto PN punto>
1029: \8<P4 punto >\8<P5 punto>\8<P6 punto>\8<P7 puntone>
1030: \8<1.5 R mul 1.7 R mul P2 R 5 div add P2 R 5 div add >
1031: \8<exch 10 add exch ellisse>
1032: \8<R 2 div R 4 div P4 P4 exch 10 add exch ellisse>
1033: \8<R 0.7 mul R 0.9 mul P4 P4 exch 10 add exch ellisse grestore>
1034: \figfin
1035: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
1036: \*
1037: \eqfig{160}{136}{
1038: \ins{55}{60}{$v_{1}$}
1039: \ins{110}{71}{$v_{2}$}
1040: \ins{69}{93}{$v_{3}$}
1041: \ins{134}{78}{$v_{5}$}
1042: \ins{115}{117}{$v_{6}$}
1043: \ins{120}{86}{$v_{4}$}
1044: \ins{85}{33}{$T$}
1045: \ins{130}{110}{$T'$}
1046: \ins{100}{93}{$T''$}
1047: \ins{148}{45}{$v_7$}
1048: }{fig2}{}
1049: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
1050: \0{\nota Fig.2: An example of three clusters symbolically delimited by
1051: circles, as visual aids, inside a tree (whose remaining branches and
1052: clusters are not drawn and are indicated by the bullets); not all
1053: labels are explicitly shown. The scales (not marked) of the branches
1054: increase as one crosses inward the circles boundaries: recall,
1055: however, that the scale labels are integers $\le1$ (hence typically
1056: $\le0$). The $\Bn$ labels are not drawn (but must be imagined). If
1057: the $\Bn$ labels of $(v_{4},v_{5})$ add up to $\V0$ the cluster $T''$
1058: is a self-energy graph. If the $\Bn$ labels of
1059: $(v_{2},v_{4},v_{5},v_{6})$ add up to $\V0$ the cluster $T'$ is a
1060: self-energy graph and such is $T$ if the $\Bn$ labels of
1061: $(v_1,v_2,v_3,v_{4},v_{5},v_{6},v_{7})$ add up to $\V0$. The cluster
1062: $T'$ is maximal in $T$.\vfill}
1063: \*
1064:
1065: \0Of particular interest are the {\it self energy} clusters. These
1066: are clusters with only one incoming line and only one outgoing
1067: line which {\it furthermore} have the same current $\Bn_0$.
1068: %\kern-1mm
1069: \0To simplify the analysis the Diophantine condition can be
1070: strengthened to insure that if in a tree graph the line incoming
1071: into a self energy cluster and ending in an internal node $v$ is
1072: detached from the node $v$ and reattached to another node internal
1073: to the same cluster which is not in a self-energy subcluster (if
1074: any) then the new tree nodes are still enclosed in the same
1075: clusters. Alternatively the definition of scale of a line can be
1076: modified slightly to achieve the same goal. \*
1077:
1078: \0(3) Then it makes sense to sum together all the values of the trees
1079: whose nodes are collected into the same families of clusters and
1080: differ only because the lines entering the self energy clusters are
1081: attached to a different node internal to the cluster,
1082: but external to the inner self energy subclusters (if
1083: any). Furthermore the value of the trees obtained by changing
1084: simultaneously sign to the $\Bn_v$ of the nodes inside the self
1085: energy clusters have also to be added together.
1086: \*
1087:
1088: After collecting the terms in the described way it is possible to
1089: check that each sum of terms so collected is bounded by $\r_0^{-n}$
1090: for some $\r_0$ (which can also be estimated explicitly). Since the
1091: number of addends left in not larger than the original one the bound
1092: on $\sum_{\Bn}|\V a_{n,\Bn}|$ becomes $\le \fra{F^n (2N+1)^{\ell}n^n
1093: N^{2n}}{n!}\r_0^{-n}\le \r^{-n}$, for suitable $\r_0,\r$, so that
1094: convergence of the formal series for $\V a_\e(\Bf)$ is achieved for
1095: $|\e|<\r$, see \cite{Ga94b}.
1096:
1097: \section{Non convergent cases}\iniz
1098:
1099: Convergence is {\it not} the rule: very interesting problems arise in
1100: which the PT series is, or is believed to be, only asymptotic. For
1101: instance in quantum field theory the PT series are well defined but
1102: they are not convergent: they can be proved, in the scalar $\f^4$ theories in
1103: dimension $2$ and $3$ to be asymptotic series for a function of $\e$
1104: which is {\it Borel summable}: this means in particular that the
1105: solution can be in principle recovered, for $\e>0$ and small, just
1106: from the coefficients of its formal expansion.
1107:
1108: Other non convergent expansions occur in statistical mechanics, for
1109: example in the theory of the ground state of a Fermi gas of particles
1110: on a lattice of obstacles. This is still an open problem, and a
1111: rather important one. Or occur in quantum field theory where sometimes they
1112: can be proved to be Borel summable.
1113:
1114: The simplest instances again arise in Mechanics in studying {\it resonant
1115: quasi periodic motions}. A paradigmatic case is provided by
1116: Eqs. (\ref{6.1}),(\ref{6.2}) when $\Bo_0$ has some vanishing
1117: components: $\Bo_0=(\o_1,\ldots,\o_r,0,\ldots,0)=(\wt\Bo_0,\V0)$
1118: with $1<r<\ell$. If one writes
1119: $\Ba=(\wt\Ba,\wt\Bb)\in\TT^r\times\TT^{\ell-r}$ and looks motions
1120: like Eq. (\ref{6.1}) of the form
1121:
1122: \be \eqalign{
1123: \wt\Ba(t)=&\wt\Bf +\wt\Bo_0 t+\wt {\V a}_\e(\wt\Bf +\wt\Bo_0 t)\cr
1124: \wt\Bb(t)=&\Bb_0+\wt {\V b}_\e(\wt\Bf +\wt\Bo_0 t)\cr}\label{9.1}\ee
1125: %
1126: where $\wt {\V a}_\e(\wt\Bf),\wt {\V b}_\e(\wt\Bf)$ are functions of
1127: $\wt\Bf\in \TT^r$, analytic in $\e$ and $\wt\Bf$.
1128:
1129: In this case the analogue of the Lindstedt series can be devised
1130: provided $\Bb_0$ is chosen to be a stationary point for the function
1131: $\wt f(\wt\Bb)=\ig f(\wt\Ba,\wt \Bb)\fra{d\wt\Ba}{(2\p)^r}$, and
1132: provided $\wt\Bo_0$ satisfies a Diophantine property
1133: $|\wt\Bo_0\cdot\wt\Bn|>\fra1{C|\wt \Bn|^\t}$ for all $\V0\ne
1134: \wt\Bn\in\ZZ^r$ and for $\t,C$ suitably chosen.
1135:
1136: This time the series is likely to be, in general, non convergent
1137: (although there is not a proof yet). And the terms of the Lindstedt
1138: series can be suitably collected to improve the estimates. Nevertheless the
1139: estimates cannot be improved enough to obtain convergence.
1140: Deeper resummations are needed to show that in some cases the terms of
1141: the series can be collected and rearranged into a convergent series.
1142:
1143: The resummation is deeper in the sense that it is not enough to
1144: collect terms contributing to a given order in $\e$ but it is
1145: necessary to collect and sum terms of different order according to the
1146: following scheme.
1147:
1148: (1) the terms of the Lindstedt series are first ``regularized'' so
1149: that the new series is manifestly analytic in $\e$ with, however, a
1150: radius of convergence depending on the regularization. For instance
1151: one can consider only terms with lines of scale $\le M$.
1152:
1153: (2) terms of different orders in $\e$ are then summed together and
1154: the series becomes a series in powers of functions $\l_j(\e;M)$ of
1155: $\e$ with very small radius of convergence in $\e$, {\it but} with
1156: an $M$-independent radius of convergence $\r$ in the $\l_j(\e,M)$.
1157: The labels $j=0,1,\ldots,M$ are scale labels whose value is
1158: determined by the order in which they are generated in the
1159: hierarchical organization of the collection of the graphs
1160: according to their scales.
1161:
1162: (3) one shows that the functions $\l_j(\e;M)$ (``running couplings'')
1163: can be analytically continued in $\e$ to an {\it $M$-independent
1164: domain $\DD$} containing the origin in its closure and where they
1165: remain smaller than $\r$ for all $M$. Furthermore
1166: $\l_j(\e;M)\tende{M\to\io}\l_j(\e)$, for $\e\in\DD$.
1167:
1168: (4) the convergent power series in the running couplings admits an
1169: asymptotic series in $\e$ at the origin which coincides with the
1170: formal Lindstedt series. Hence in the domain $\DD$ a meaning is
1171: attributed to the sum of Lindstedt series.
1172:
1173: (5) one checks that the functions $\wt{\V a}_\e,\wt{\V b}_\e$ thus
1174: defined are such that Eq. (\ref{9.1}) satisfies the equations of
1175: motion Eq. (\ref{6.1}).
1176:
1177: The proof can be completed if the domain $\DD$ contains real points
1178: $\e$.
1179:
1180: If $\wt\Bb_0$ is a maximum point the domain $\DD$ contains a circle
1181: tangent to the origin and centered on the positive real axis. So in
1182: this case the $\wt{\V a}_\e,\wt{\V b}_\e$ are constructed in
1183: $\DD\cap\RR_+$, $\RR_+\defi (0,+\io)$.
1184:
1185: If instead $\wt\Bb_0$ is a minimum point the domain $\DD$ exists but
1186: $\DD\cap\RR_+$ touches the positive real axis on a set of points with
1187: positive measure and density $1$ at the origin. So $\wt{\V
1188: a}_\e,\wt{\V b}_\e$ are constructed only for $\e$ in this set which
1189: is a kind of ``Cantor set'',\cite{GG05}.
1190:
1191: Again the multiscale analysis is necessary to identify the tree values
1192: which have to be collected to define $\l_j(\e;M)$. In this case it is
1193: an analysis which is much closer to the similar analysis that is
1194: encountered in quantum field theory in the ``self energy resummations'',
1195: which involve collecting and summing graph values of graphs contributing
1196: to different orders of perturbation.
1197:
1198: The above scheme can also be applied when $r=\ell$, \ie in the case of
1199: the classical Lindstedt series when it is actually convergent: this
1200: leads to an alternative proof of the Kolmogorov theorem which is
1201: interesting as it is even closer to the renormalization group methods
1202: because it expresses the solution in terms of a power series in running
1203: couplings.\cite[Ch.8,9]{GBG04}.
1204:
1205: \section{Conclusion and Outlook}\iniz
1206:
1207: Perturbation theory provides a general approach to the solution of
1208: problems ``close'' to well understood ones, ``closeness'' being
1209: measured by the size of a parameter $\e$. It naturally consists of
1210: two steps: the first is to find a formal solution, under the
1211: assumption that the quantities of interest are analytic in $\e$ at
1212: $\e=0$. If this results in a power series with well defined
1213: coefficients then it becomes necessary to find whether the series
1214: thus constructed, called {\it formal series}, converges.
1215:
1216: In general the proof that the formal series exists (when it really
1217: does) is nontrivial: typically in quantum mechanics problems (quantum
1218: fields or statistical mechanics) this is an interesting and deep
1219: problem giving rise to renormalization theory. Even in classical
1220: mechanics PT of integrable systems it has been, historically, a
1221: problem to obtain (in wide generality) the Lindstedt series (of which
1222: a simple example is discussed above).
1223:
1224: Once existence of a PT series is established, very often the series
1225: is not convergent and at best is an asymptotic series. It becomes
1226: challenging to find its meaning (if any, as there are
1227: cases, even interesting ones, on which conjectures exist claiming that
1228: the series have no meaning, like the quantum scalar field in dimension
1229: $4$ with ``$\f^4$-interaction'' or quantum electrodynamics).
1230:
1231: Convergence proofs, in most interesting cases, require a
1232: multiscale analysis: because the difficulty arises as a consequence of
1233: the behavior of singularities at infinitely many scales, as in the
1234: case of the Lindstedt series above exemplified.
1235:
1236: When convergence is not possible to prove, the multiscale analysis
1237: often suggest ``resummations'', collecting the various terms whose sums yields
1238: the formal PT series (usually the algorithms generating the PT series
1239: give its terms at given order as sums of simple but many quantities, as
1240: in the discussed case of the Lindstedt series). The collection involves
1241: adding together terms of different order in $\e$ and results in a new
1242: power series, the {\it resummed series}, in a family of parameters
1243: $\l_j(\e)$ which are functions of $\e$, called the ``running
1244: couplings'', depending on a ``scale index'' $j=0,1,\ldots$.
1245:
1246: The running couplings are (in general) singular at $\e=0$ as functions
1247: of $\e$ but $C^\io$ there, and obey equations that allow to study and
1248: define them independently of a convergence proof. If the
1249: running couplings can be shown to be so small, as $\e$ varies in a
1250: suitable domain $\DD$ near $0$, to guarantee convergence of the
1251: resummed series and therefore to give a meaning to the PT for
1252: $\e\in\DD$ then the PT program can be completed.
1253:
1254: The singularities in $\e$ at $\e=0$ are therefore all contained in
1255: the running couplings, usually very few and the same for various
1256: formal series of interest in a given problem.
1257:
1258: The idea of expressing the sum of formal series as sum of convergent
1259: series in new parameters, the running couplings, determined by other
1260: means (a recursion relation denominated the beta function flow) is the
1261: key idea of the renormalization group methods: PT in mechanics is a
1262: typical and simple example.
1263:
1264: On purpose attention has been devoted to PT in the analytic class: but
1265: it is possible to use PT techniques in problems in which the functions
1266: whose value is studied are not analytic; the techniques are somewhat
1267: different and new ideas are needed which would lead quite far away
1268: from the natural PT framework which is within the analytic class.
1269:
1270: Of course there are many problems of PT in which the formal series are
1271: simply convergent and the proof does not require any multiscale
1272: analysis. However here attention having
1273: been devoted to the novel aspect of PT that emerged in Physics and
1274: Mathematics in the last half century and the
1275: problems not requiring multiscale analysis have not been considered .
1276: It is worth, however, to mention that even in simple convergent PT
1277: cases it might be convenient to perform resummations. An example is
1278: Kepler's equation
1279:
1280: \be\ell=\x-\e\sin\x,\qquad \x,\ell\in T^1=[0,2\p]\label{10.1}\ee
1281: %
1282: which can be (easily) solved by PT. The resulting series has a
1283: radius of convergence in $\e$ rather small (Laplace's limit):
1284: however if a resummation of the series is performed transforming
1285: it into a power series in a ``running coupling'' $\l_0(\e)$ (only
1286: $1$, because no multiscale analysis is needed, the PT series being
1287: convergent) given by, \cite[Vol. 2, p. 321]{LC}
1288:
1289: \be \l_0\defi \fra{\e\,e^{\sqrt{1-\e^2}}}{1+\sqrt{1-\e^2}}.\label{10.2}\ee
1290: %
1291: The resummed series is a power series in $\l_0$ with radius of
1292: convergence $1$ and when $\e$ varies between $0$ and $1$ the parameter
1293: $\l_0$ corresponding to it goes from $0$ to $1$. Hence in terms of
1294: $\l_0$ it is possible to invert {\it by power series} the Kepler
1295: equation for all $\e\in[0,1)$, \ie in the entire interval of physical
1296: interest (recall that $\e$ has the interpretation of eccentricity of
1297: an elliptic orbit in the $2$-body problem). Resummations can improve
1298: convergence properties.
1299: \*
1300:
1301: \section{Future directions}
1302:
1303: It is always hard to indicate future directions, which usually turn
1304: to different paths. Perturbation theory is an ever evolving
1305: subject: it is a continuous source of problems and its applications
1306: generate new ones. Examples of outstanding problems are understanding
1307: the triviality conjectures of models like quantum $\f^4$ field theory
1308: in dimension $4$, \cite{Ga85b}; or a development of the theory of the
1309: ground states of Fermionic systems in dimensions $2$ and $3$, \cite
1310: {BG95}; a theory of weakly coupled Anosov flows to obtain information
1311: of the kind that it is possible to obtain for weakly coupled Anosov
1312: maps, \cite{GBG04}; uniqueness issues in cases in which PT series can
1313: be given a meaning, but in a priori non unique way like the resonant
1314: quasi periodic motions in nearly integrable Hamiltonian systems,
1315: \cite{GBG04}.
1316: \*
1317:
1318: \0{\bf Acknowledgements:} Work partly supported by IHES.
1319:
1320: %\bibliography{SV}
1321: \begin{thebibliography}{10}
1322:
1323: \bibitem{La799}
1324: P.S. Laplace.
1325: \newblock {\em M\'ecanique C\'eleste}.
1326: \newblock reprinted by Chelsea, New York, Paris, 1799.
1327:
1328: \bibitem{Po892}
1329: H.~Poincar\'e.
1330: \newblock {\em Les M\'ethodes nouvelles de la M\'ecanique c\'eleste}.
1331: \newblock reprinted by Blanchard, 1987, Paris, 1892.
1332:
1333: \bibitem{Ei17}
1334: A.~Einstein.
1335: \newblock Zum quantensatz von {S}ommerfeld und {E}pstein.
1336: \newblock {\em Verhandlungen der Deutschen physikalischen Gesellshaft},
1337: 19:82--02, 1917.
1338:
1339: \bibitem{Fe923b}
1340: E.~Fermi.
1341: \newblock Il principio delle adiabatiche e i sistemi che non ammettono
1342: coordinate angolari.
1343: \newblock {\em Nuovo Cimento}, 25:171--175, 1923.
1344:
1345: \bibitem{Si43}
1346: K.~Siegel.
1347: \newblock Iterations of analytic functions.
1348: \newblock {\em Annals of Mathematics}, 43:607--612, 1943.
1349:
1350: \bibitem{Ko54}
1351: A.N. Kolmogorov.
1352: \newblock On the preservation of conditionally periodic motions.
1353: \newblock {\em Doklady Akademia Nauk SSSR and Lecture Notes in Physics,
1354: Stochastic behavior in classical and quantum Hamiltonians, ed. G. Casati, J.
1355: Ford, Vol. 93, 1979}, 96:527--530, 1954.
1356:
1357: \bibitem{Mo55}
1358: C.B. Morrey.
1359: \newblock On the derivation of the equations of hydrodynamics from statistical
1360: mechanics.
1361: \newblock {\em Communications in Pure and Applied Mathematics}, 8:279--326,
1362: 1955.
1363:
1364: \bibitem{He66}
1365: K.~Hepp.
1366: \newblock Proof of the {B}ogoliubov-{P}arasiuk theorem on renmormalization.
1367: \newblock {\em Communications in Mathematical Physics}, 2:301--326, 1966.
1368:
1369: \bibitem{WK74}
1370: K.~Wilson and J.~Kogut.
1371: \newblock The renormalization group and the {$\e$}-expansion.
1372: \newblock {\em {\it The renormalization group and the {$\e$}-expansion},
1373: Physics Reports}, 12:75--199, 1973.
1374:
1375: \bibitem{Ga01}
1376: G.~Gallavotti.
1377: \newblock Renormalization group in statistical mechanics and mechanics: gauge
1378: symmetries and vanishing beta functions.
1379: \newblock {\em Physics Reports}, 352:251--272, 2001.
1380:
1381: \bibitem{Fr82b}
1382: J.~Fr{\"o}lich.
1383: \newblock On the triviality of {$\l\f^4_d$} theories and the approach to the
1384: critical point in {$d\,(\ge4)$} dimensions.
1385: \newblock {\em {\it On the triviality {of $\l\f^4_d$} theories and the approach
1386: to the critical point in {$d\,(\ge4)$} dimensions}, Nuclear Physics B},
1387: 200:281--296, 1982.
1388:
1389: \bibitem{Gr99}
1390: D.J. Gross.
1391: \newblock Twenty five years of asymptotic freedom.
1392: \newblock {\em Nuclear Physics B (Proceedings Supplements))}, 74:426--446,
1393: 1999.
1394:
1395: \bibitem{Ne66}
1396: E.~Nelson.
1397: \newblock A quartic interaction in two dimensions.
1398: \newblock {\em {\it A quartic interaction in two dimensions}, In {\sl
1399: Mathematical Theory of elementary particles}, ed. R Goodman, I. Segal}, pages
1400: 69--73, 1966.
1401:
1402: \bibitem{Si74}
1403: B.~Simon.
1404: \newblock {\em The $P(\f)_2$ Euclidean (quantum) field theory}.
1405: \newblock Princeton University PRess, Princeton, 1974.
1406:
1407: \bibitem{GJ81}
1408: J.~Glimm and A.~Jaffe.
1409: \newblock {\em Quantum Physics. A functional integral point of view}.
1410: \newblock Springer-Verlag, New York, 1981.
1411:
1412: \bibitem{Ga85b}
1413: G.~Gallavotti.
1414: \newblock Renormalization theory and ultraviolet stability for scalar fields
1415: via renormalization group methods.
1416: \newblock {\em Reviews of Modern Physics}, 57:471--562, 1985.
1417:
1418: \bibitem{HV72}
1419: G~{'t} Hooft and MJG Veltman.
1420: \newblock Regularization and renormalization of gauge fields.
1421: \newblock {\em Nuclear Physics B}, 44:189--213, 1972.
1422:
1423: \bibitem{Ho99}
1424: G.~'t~Hooft.
1425: \newblock When was asymptotic freedom discovered? or the rehabilitation of
1426: quantum field theory.
1427: \newblock {\em Nuclear Physics B (Proceedings Supplements)}, 74:413--425, 1999.
1428:
1429: \bibitem{Ga85}
1430: G.~Gallavotti.
1431: \newblock Perturbation theory for classical {H}amiltonian systems.
1432: \newblock {\em in {\it Scaling and self similarity in Physics}}, Ed. ed. J.
1433: Fr{\"o}hlich, Birkhauser, Boston:359--426, 1985.
1434:
1435: \bibitem{Ga86}
1436: G.~Gallavotti.
1437: \newblock Quasi integrable mechanical systems.
1438: \newblock {\em Phenom\`enes Critiques, Syst\`emes aleatories, Th\'eories de
1439: jauge, Proceedings, Les Houches, XLIII (1984)}, II:539--624, 1986.
1440:
1441: \bibitem{Po86}
1442: J.~P{\"o}schel.
1443: \newblock Invariant manifolds of complex analytic mappings.
1444: \newblock {\em Phenom\`enes Critiques, Syst\`emes aleatories, Th\'eories de
1445: jauge, Proceedings, Les Houches, XLIII (1984)}, II:949--964, 1986.
1446:
1447: \bibitem{Ga94b}
1448: G.~Gallavotti.
1449: \newblock Twistless kam tori.
1450: \newblock {\em Communications in Mathematical Physics}, 164:145--156, 1994.
1451:
1452: \bibitem{El96}
1453: L.~H. Eliasson.
1454: \newblock Absolutely convergent series expansions for quasi--periodic motions.
1455: \newblock {\em Mathematical Physics Electronic Journal (MPEJ)}, 2:33 pages,
1456: 1996.
1457:
1458: \bibitem{Ga95d}
1459: G.~Gallavotti.
1460: \newblock Invariant tori: a field theoretic point of view on eliasson's work.
1461: \newblock {\em Advances in Dynamical Systems and Quantum Physics, {\rm Ed. R.
1462: Figari, World Scientific}}, 164:117--132, 1995.
1463:
1464: \bibitem{GBG04}
1465: G.~Gallavotti, F.~Bonetto, and G.~Gentile.
1466: \newblock {\em Aspects of the ergodic, qualitative and statistical theory of
1467: motion}.
1468: \newblock Springer Verlag, Berlin, 2004.
1469:
1470: \bibitem{He69}
1471: K.~Hepp.
1472: \newblock {\em Th\'eorie de la r\'enormalization}, volume~2.
1473: \newblock Springer Verlag, Lecture notes in Physics, 1969.
1474:
1475: \bibitem{BG95}
1476: G.~Gallavotti G.~Benfatto.
1477: \newblock {\em Renormalization group}.
1478: \newblock Princeton University Press, Princeton, 1995.
1479:
1480: \bibitem{GG05}
1481: G.~Gallavotti and G.~Gentile.
1482: \newblock Degenerate elliptic resonances.
1483: \newblock {\em Communications in Mathematical Physics}, 257:319--362, 2005.
1484:
1485: \bibitem{LC}
1486: T.~Levi-Civita.
1487: \newblock {\em Opere Matematiche}, volume~2.
1488: \newblock Accademia Nazionale dei Lincei, Zani\-chelli,, Bologna, 1956.
1489:
1490: \end{thebibliography}
1491:
1492: %\bibliographystyle{acm}
1493: \bibliographystyle{unsrt}
1494: %\bibliographystyle{apsrev}
1495:
1496:
1497: \end{document}
1498: