%FM 96-12, mp_arc #96-498, chao-dyn@xyz.lanl.gov #97?
%(conferenza L&N a Venezia)
%
%
\newcount\mgnf\newcount\tipi\newcount\tipoformule
\newcount\aux\newcount\piepagina\newcount\xdata
%
\mgnf=0
\aux=1           %1 produce aux
\tipoformule=0   %0 usa aux
\piepagina=2     %0 =data e #par.#pag; 1=data e #pag; 2=#pag
\xdata=0         %0 data del giorno, 1 data fissa da \Di:
\def\Di{22\ Mar\ 1997}

\ifnum\mgnf=1 \aux=0 \tipoformule =1 \piepagina=1 \xdata=1\fi
\newcount\bibl
\bibl= 1               % 0= rif [XXX], 1= rif. numerici
%\ifnum\mgnf=0\bibl=0\else\bibl=1\fi

% Per poter cambiare a piacimento il formato dei riferimenti
% bibliografici in <nome>.tex:
%
% 1: citare nella forma esemplificata da \ref{XXX}{2}{7}
%    ove XXX e' un simbolo per le iniziali e 2 distingue i lavori con
%    le stesse iniziali,  7 e' il numero SIMBOLICO del riferimento per XXX2.
%    Il numero 7 puo' essere ARBITRARIO e viene automaticamente
%    riaggiustato al momento della compilazione (vedi punto 4)
%
% 2: Se si sceglie \bibl=0 si cita nella forma [XXX2]; se si sceglie
%    \bibl=1 si cita nella forma [numero di ordine di prima citazione].
%
% 3: La bibliografia va scritta nella forma \def{\qqq}{<citazione>}
%    in ordine alfabetico per autore attribuendo un simbolo
%    qualsiasi al testo <citazione} (ad es \def\REFCIT{citazione} e
%    va seguita dal comando  \rif{XXX}{2}{\qqq}{0}
%    scritto all' inizio di una riga altrimenti bianca. L' ultimo {0}
%    e' un parametro inutile ed e' li solo provvisoriamente per memoria
%    (di tentativi in corso).
%
% 4: Per il riaggiustamento automatico (in ordine di citazione)
%    occorre compilare (ottenendo oltre ai soliti la scheda ausiliaria
%    ref.b) e poi si deve eseguire il
%    programma rif <nome> che (usando ref.b) produce fin.tex e <nome>.tex
%    con i riferimenti giusti
%    in \bibl=1 e la si ricompila e stampa. La scheda iniziale <nome>.tex 
%    diventa <nome>.old.
\openout8=ref.b
\ifnum\bibl=0
\def\ref#1#2#3{[#1#2]\write8{#1@#2}}
\def\rif#1#2#3#4{\item{[#1#2]} #3}
\fi
%\def\rif#1#2#3#4{\write9{\noexpand\raf{#1}{#2}{\noexpand#3}{#4}}}

\ifnum\bibl=1
\def\ref#1#2#3{[#3]\write8{#1@#2}}
\def\rif#1#2#3#4{}
\def\raf#1#2#3#4{\item{[#4]}#3}
\fi

\def\9#1{\ifnum\aux=1#1\else\relax\fi}

\ifnum\piepagina=0 \footline={\rlap{\hbox{\copy200}\
$\st[\number\pageno]$}\hss\tenrm \foglio\hss}\fi 

\ifnum\piepagina=1
\footline={\rlap{\hbox{\copy200}} \hss\tenrm \folio\hss}\fi

\ifnum\piepagina=2\footline{\hss\tenrm\folio\hss}\fi

\ifnum\mgnf=0 \magnification=\magstep0
\hsize=30truepc\vsize=50.5truepc\parindent=4.pt\fi
\ifnum\mgnf=1 \magnification=\magstep1
\hsize=16.0truecm\vsize=22.5truecm\baselineskip14pt\vglue5.0truecm
\overfullrule=0pt \parindent=4.pt\fi

\let\a=\alpha \let\b=\beta \let\g=\gamma \let\d=\delta
\let\e=\varepsilon \let\z=\zeta \let\h=\eta
\let\th=\vartheta\let\k=\kappa \let\l=\lambda \let\m=\mu \let\n=\nu
\let\x=\xi \let\p=\pi \let\r=\rho \let\s=\sigma \let\t=\tau
\let\iu=\upsilon \let\f=\varphi\let\ch=\chi \let\ps=\psi \let\o=\omega
\let\y=\upsilon \let\G=\Gamma \let\D=\Delta \let\Th=\Theta
\let\L=\Lambda\let\X=\Xi \let\P=\Pi \let\Si=\Sigma \let\F=\Phi
\let\Ps=\Psi \let\O=\Omega \let\U=\Upsilon

{\count255=\time\divide\count255 by 60 \xdef\oramin{\number\count255}
\multiply\count255 by-60\advance\count255 by\time
\xdef\oramin{\oramin:\ifnum\count255<10 0\fi\the\count255}}
\def\ora{\oramin }

%\Di e' definito all' inizio
\ifnum\xdata=0
\def\data{\number\day/\ifcase\month\or gennaio \or
febbraio \or marzo \or aprile \or maggio \or giugno \or luglio \or
agosto \or settembre \or ottobre \or novembre \or dicembre
\fi/\number\year;\ \ora}
\else
\def\data{\Di}
\fi

\setbox200\hbox{$\scriptscriptstyle \data $}
\newcount\pgn \pgn=1
\def\foglio{\number\numsec:\number\pgn
\global\advance\pgn by 1} \def\foglioa{A\number\numsec:\number\pgn
\global\advance\pgn by 1}
\global\newcount\numsec\global\newcount\numfor \global\newcount\numfig
\gdef\profonditastruttura{\dp\strutbox}
\def\senondefinito#1{\expandafter\ifx\csname#1\endcsname\relax}
\def\SIA #1,#2,#3 {\senondefinito{#1#2} \expandafter\xdef\csname
#1#2\endcsname{#3} \else \write16{???? ma #1,#2 e' gia' stato definito
!!!!} \fi} \def\etichetta(#1){(\veroparagrafo.\veraformula) \SIA
e,#1,(\veroparagrafo.\veraformula) \global\advance\numfor by 1
\9{\write15{\string\FU (#1){\equ(#1)}}} \9{ \write16{ EQ \equ(#1) == #1
}}} \def \FU(#1)#2{\SIA fu,#1,#2 }
\def\etichettaa(#1){(A\veroparagrafo.\veraformula) \SIA
e,#1,(A\veroparagrafo.\veraformula) \global\advance\numfor by 1
\9{\write15{\string\FU (#1){\equ(#1)}}} \9{ \write16{ EQ \equ(#1) == #1
}}} \def\getichetta(#1){Fig.  \verafigura \SIA e,#1,{\verafigura}
\global\advance\numfig by 1 \9{\write15{\string\FU (#1){\equ(#1)}}} \9{
\write16{ Fig.  \equ(#1) ha simbolo #1 }}} \newdimen\gwidth \def\BOZZA{
\def\alato(##1){ {\vtop to \profonditastruttura{\baselineskip
\profonditastruttura\vss
\rlap{\kern-\hsize\kern-1.2truecm{$\scriptstyle##1$}}}}}
\def\galato(##1){ \gwidth=\hsize \divide\gwidth by 2 {\vtop to
\profonditastruttura{\baselineskip \profonditastruttura\vss
\rlap{\kern-\gwidth\kern-1.2truecm{$\scriptstyle##1$}}}}} }
\def\alato(#1){} \def\galato(#1){}
\def\veroparagrafo{\number\numsec}\def\veraformula{\number\numfor}
\def\verafigura{\number\numfig}
\def\geq(#1){\getichetta(#1)\galato(#1)}
\def\Eq(#1){\eqno{\etichetta(#1)\alato(#1)}}
\def\eq(#1){\etichetta(#1)\alato(#1)}
\def\Eqa(#1){\eqno{\etichettaa(#1)\alato(#1)}}
\def\eqa(#1){\etichettaa(#1)\alato(#1)}
\def\eqv(#1){\senondefinito{fu#1}$\clubsuit$#1\write16{No translation
for #1} \else\csname fu#1\endcsname\fi}
\def\equ(#1){\senondefinito{e#1}\eqv(#1)\else\csname e#1\endcsname\fi}
\openin13=#1.aux \ifeof13 \relax \else \input #1.aux \closein13\fi
\openin14=\jobname.aux \ifeof14 \relax \else \input \jobname.aux
\closein14 \fi \9{\openout15=\jobname.aux} \newskip\ttglue

%\font\dodicirm=cmr12\font\dodicibf=cmbx12\font\dodiciit=cmti12
%\font\titolo=cmbx12 scaled \magstep2
%\font\ottorm=cmr8\font\ottoi=cmmi8\font\ottosy=cmsy8
%\font\ottobf=cmbx8\font\ottott=cmtt8\font\ottosl=cmsl8\font\ottoit=cmti8
%\font\sixrm=cmr6\font\sixbf=cmbx6\font\sixi=cmmi6\font\sixsy=cmsy6
\font\dodicirm=cmr12
\font\titolo=cmbx10 scaled \magstep1
\font\ottorm=cmr7\font\ottoi=cmmi7\font\ottosy=cmsy7
\font\ottobf=cmbx7\font\ottott=cmtt8\font\ottosl=cmsl8\font\ottoit=cmti7
\font\sixrm=cmr7\font\sixbf=cmbx7\font\sixi=cmmi7\font\sixsy=cmsy7

\font\fiverm=cmr5\font\fivesy=cmsy5\font\fivei=cmmi5\font\fivebf=cmbx5
\def\ottopunti{\def\rm{\fam0\ottorm}\textfont0=\ottorm%
\scriptfont0=\sixrm\scriptscriptfont0=\fiverm\textfont1=\ottoi%
\scriptfont1=\sixi\scriptscriptfont1=\fivei\textfont2=\ottosy%
\scriptfont2=\sixsy\scriptscriptfont2=\fivesy\textfont3=\tenex%
\scriptfont3=\tenex\scriptscriptfont3=\tenex\textfont\itfam=\ottoit%
\def\it{\fam\itfam\ottoit}\textfont\slfam=\ottosl%
\def\sl{\fam\slfam\ottosl}\textfont\ttfam=\ottott%
\def\tt{\fam\ttfam\ottott}\textfont\bffam=\ottobf%
\scriptfont\bffam=\sixbf\scriptscriptfont\bffam=\fivebf%
\def\bf{\fam\bffam\ottobf}\tt\ttglue=.5em plus.25em minus.15em%
\setbox\strutbox=\hbox{\vrule height7pt depth2pt width0pt}%
\normalbaselineskip=9pt\let\sc=\sixrm\normalbaselines\rm}
\catcode`@=11
\def\footnote#1{\edef\@sf{\spacefactor\the\spacefactor}#1\@sf
\insert\footins\bgroup\ottopunti\interlinepenalty100\let\par=\endgraf
\leftskip=0pt \rightskip=0pt \splittopskip=10pt plus 1pt minus 1pt
\floatingpenalty=20000
\smallskip\item{#1}\bgroup\strut\aftergroup\@foot\let\next}
\skip\footins=12pt plus 2pt minus 4pt\dimen\footins=30pc\catcode`@=12
\let\nota=\ottopunti\newdimen\xshift \newdimen\xwidth \newdimen\yshift
\def\ins#1#2#3{\vbox to0pt{\kern-#2 \hbox{\kern#1
#3}\vss}\nointerlineskip} \def\eqfig#1#2#3#4#5{ \par\xwidth=#1
\xshift=\hsize \advance\xshift by-\xwidth \divide\xshift by 2
\yshift=#2 \divide\yshift by 2 \line{\hglue\xshift \vbox to #2{\vfil #3
\special{psfile=#4.ps} }\hfill\raise\yshift\hbox{#5}}} \def\8{\write13}
\def\figini#1{\catcode`\%=12\catcode`\{=12\catcode`\}=12
\catcode`\<=1\catcode`\>=2\openout13=#1.ps}
\def\figfin{\closeout13\catcode`\%=14\catcode`\{=1
\catcode`\}=2\catcode`\<=12\catcode`\>=12}
\def\didascalia#1{\vbox{\nota\0#1\hfill}\vskip0.3truecm}
\def\V#1{{\,\underline#1\,}}
\def\T#1{#1\kern-4pt\lower9pt\hbox{$\widetilde{}$}\kern4pt{}}
\let\dpr=\partial\def\Dpr{{\V\dpr}} \let\io=\infty\let\ig=\int
\def\fra#1#2{{#1\over#2}}\def\media#1{\langle{#1}\rangle}\let\0=\noindent
\def\guida{\leaders\hbox to 1em{\hss.\hss}\hfill}
\def\tende#1{\vtop{\ialign{##\crcr\rightarrowfill\crcr
\noalign{\kern-1pt\nointerlineskip} \hglue3.pt${\scriptstyle
#1}$\hglue3.pt\crcr}}} \def\otto{\
{\kern-1.truept\leftarrow\kern-5.truept\to\kern-1.truept}\ }

\def\tto{{\Rightarrow}}
\def\pagina{\vfill\eject}\let\ciao=\bye
\def\dt{\displaystyle}\def\txt{\textstyle}
\def\tst{\textstyle}\def\st{\scriptscriptstyle}
\def\*{\vskip0.3truecm}

\def\lis#1{{\overline #1}}\def\etc{\hbox{\it etc}}\def\eg{\hbox{\it e.g.\ }}
\def\ap{\hbox{\it a priori\ }}\def\aps{\hbox{\it a posteriori\ }}
\def\ie{\hbox{\it i.e.\ }}

\def\fiat{{}}
\def\\{\hfill\break} \def\={{ \; \equiv \; }}
\def\Im{{\rm\,Im\,}}\def\Re{{\rm\,Re\,}} \def\sign{{\rm
sign\,}}\def\atan{{\,\rm arctg\,}}

\def\annota#1{\footnote{${}^#1$}}
\ifnum\aux=1\BOZZA\else\relax\fi
\ifnum\tipoformule=1\let\Eq=\eqno\def\eq{}\let\Eqa=\eqno\def\eqa{}
\def\equ{{}}\fi
\def\defi{\,{\buildrel def \over =}\,}
%\headline{\nota\hss Draft \#2}
\def\pallino{{\0$\bullet$}}\def\1{\ifnum\mgnf=0\pagina\else\relax\fi}
\def\W#1{#1_{\kern-3pt\lower6.6truept\hbox to 1.1truemm
{$\widetilde{}$\hfill}}\kern2pt\,}
\def\Re{{\rm Re}\,}\def\Im{{\rm Im}\,}\def\DD{{\cal D}}

%\ifnum\mgnf=1
\def\FINE{
\*
\0{\it Internet:
Authors' preprints also freely downloadable
(latest version) at

\centerline{\tt http://chimera.roma1.infn.it}
\centerline{\tt http://www.math.rutgers.edu/$\sim$giovanni}

\0Mathematical Physics Preprints (mirror) pages.\\
\sl e-mail: giovanni@ipparco.roma1.infn.it
}}
%\else\def\FINE{{}}\fi

\def\GG{{\V G}}\def\JJ{{\cal J}}\def\xx{{\V x}}
\def\ff{{\V f}}\def\TJ{{\tilde J}}\def\II{{\cal I}}
\def\NN{{\cal N}}\def\CC{{\cal C}}\def\EE{{\cal E}}
\def\KK{{\cal K}}\def\FF{{\cal F}}

%\ifnum\bibl=1
%\def\diecipunti{................................}
%\message{Compilare due volte per avere i rifermenti numerici}
%\message{............\diecipunti.................................}
%\fi
\def\didascalia#1{\vbox{\nota\0#1\hfill}\vskip0.3truecm}

\def\V#1{{\bf#1}}
\def\T#1{#1\kern-4pt\lower9pt\hbox{$\widetilde{}$}\kern4pt{}}
\let\dpr=\partial\def\Dpr{{\V\dpr}}
\let\io=\infty\let\ig=\int
\def\fra#1#2{{#1\over#2}}\def\media#1{\langle{#1}\rangle}\let\0=\noindent

\def\guida{\leaders\hbox to 1em{\hss.\hss}\hfill}
\def\tende#1{\vtop{\ialign{##\crcr\rightarrowfill\crcr
              \noalign{\kern-1pt\nointerlineskip}
              \hglue3.pt${\scriptstyle #1}$\hglue3.pt\crcr}}}
\def\otto{{\kern-1.truept\leftarrow\kern-5.truept\to\kern-1.truept}}
\let\implica=\Rightarrow\def\tto{{\Rightarrow}}
\def\pagina{\vfill\eject}\def\acapo{\hfill\break}
\def\dt{\displaystyle}\def\txt{\textstyle}
\def\tst{\textstyle}\def\st{\scriptscriptstyle}

\ifnum\mgnf=0
\def\*{\vskip0.3truecm}
\fi
\ifnum\mgnf=1
\def\*{\vskip0.5truecm}
\fi

\def\lis#1{{\overline #1}}
%%%%%%%LATINORUM
\def\etc{\hbox{\it etc}}\def\eg{\hbox{\it e.g.\ }}
\def\ap{\hbox{\it a priori\ }}\def\aps{\hbox{\it a posteriori\ }}
\def\ie{\hbox{\it i.e.\ }}
\def\fiat{{}}
\let\ciao=\bye

%%%%%%%DEFINIZIONI LOCALI
\def\\{\hfill\break}
\def\={{ \; \equiv \; }}
\def\annota#1#2{\footnote{${}^#1$}{{\parindent=0pt%\nota
\0#2\vfill}}}

%%%% casi
\ifnum\aux=1\BOZZA\else\relax\fi
\ifnum\tipoformule=0\let\Eq=\eqno\def\eq{}\let\Eqa=\eqno\def\eqa{}
\def\equ{{}}%\footline={\hss\tenrm\folio\hss}
\fi

%\def\equ{{}}\let\Eq=\eqno\let\eq=\eqno
%\headline{\nota\hss DRAFT 3: NOT FOR CIRCULATION}

\def\dprimo{{\st\prime\prime}}


\def\TT{{\cal T}}   \def\BB{{\cal B}}   \def\LL{{\cal L}}
\def\PP{{\cal P}}   \def\HHH{{\cal H}}  \def\RR{{\cal R}}
\def\AAA{{\cal A}}  \def\VVV{{\cal V}}  \def\QQ{{\cal Q}}
\def\NNN{{\cal N}}  \def\OO{{\cal O}}   \def\UU{{\cal U}}
\def\CC{{\cal C}}

\def\Val{{\,{\rm Val}}}

%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
\font\titolo=cmbx12
\font\titolone=cmbx12 scaled \magstep2
\font\cs=cmcsc10
\font\ss=cmss10
\font\sss=cmss8
\font\crs=cmbx8

\font\tenmib=cmmib10
\font\sevenmib=cmmib10 scaled 800

\textfont5=\tenmib  \scriptfont5=\sevenmib  \scriptscriptfont5=\fivei

\def\HH{{\V H}} \def\hh{{\V h}}
\def\AA{{\V A}} \def\NN{{\V N}}
\def\ff{{\V f}} \def\aaa{{\V a}}
\def\ee{{\V e}} \def\mm{{\V m}}
\def\xx{{\V x}} \def\yy{{\V y}} 
\mathchardef\aa = "050B
\mathchardef\bb = "050C
\mathchardef\xxx= "0518
\mathchardef\zz = "0510
\mathchardef\oo = "0521
%\mathchardef\ll = "0515
\mathchardef\mm = "0516
\mathchardef\Dp = "0540
\mathchardef\H  = "0548
\mathchardef\FFF= "0546
\mathchardef\ppp= "0570
\mathchardef\nn = "0517
\mathchardef\pps= "0520


\def\nnx{{\{\nn_x\}}}
\def\hx{{\{h_x\}}}

%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

\ifnum\mgnf=0
\def\ZZZ{\hbox{{\ss Z}\kern-3.3pt{\ss Z}}}
\def\zzz{\hbox{{\sss Z}\kern-3.3pt{\sss Z}}}
\fi
\ifnum\mgnf=1
\def\ZZZ{\hbox{{\ss Z}\kern-3.6pt{\ss Z}}}
\def\zzz{\hbox{{\sss Z}\kern-3.6pt{\sss Z}}}
\fi

\ifnum\mgnf=0
\def\TTT{\hbox{{\ss T}\kern-5.0pt{\ss T}}}
\def\ttt{\hbox{{\sss T}\kern-4.2pt{\sss T}}}
\fi
\ifnum\mgnf=1
\def\TTT{\hbox{{\ss T}\kern-5.3pt{\ss T}}}
\def\ttt{\hbox{{\sss T}\kern-3.9pt{\sss T}}}
\fi

\ifnum\mgnf=0
\def\RRR{\hbox{I\kern-1.4pt{\ss R}}}
\def\rrr{\hbox{{\crs I}\kern-1.3pt{\sss R}}}
\fi
\ifnum\mgnf=1
\def\RRR{\hbox{I\kern-1.7pt{\ss R}}}
\def\rrr{\hbox{{\crs I}\kern-1.6pt{\sss R}}}
\fi

\ifnum\mgnf=0
\def\openone{\leavevmode\hbox{\ninerm 1\kern-3.3pt\tenrm1}}%
\fi
\ifnum\mgnf=1
\def\openone{\leavevmode\hbox{\ninerm 1\kern-3.63pt\tenrm1}}%
\fi
\def\1{\ifnum\mgnf=0\pagina\else\relax\fi}
\def\2{\ifnum\mgnf=1\pagina\else\relax\fi}

%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

%\input fiatv

\fiat
\vglue7truepc
\centerline{\titolone Methods in the theory of}
\centerline{\titolone quasi periodic motions}
\vskip1.truecm
\centerline{\dodicirm  Giovanni Gallavotti}
\vskip0.5truecm
 
\\{\it Abstract.}  {\it Recent results on the theory of the
Hamilton--Jacobi equation and the regularity of their solutions, in
spite of the non regularity of the data, are reviewed, and discussed
with attention to the cancellation mechanisms that make regularity
possible.}\footnote{}{Partially sponsored by the research program of the
European Network on: ``Stability and Universality in Classical
Mechanics", \# ERBCHRXCT940460.}\footnote{}{Mathematics Subject
Classification numbers: AMS 58F27, 70H20.}
 
\vskip1.truecm
 
\0{\it\S1 The Hamilton Jacobi equation.}
\numsec=1\numfor=1
\*

This review deals on the work developed in collaboration with
F.Bonetto, G. Gentile, V. Mastropietro.  

The Hamilton Jacobi equation
for an invariant torus in a $\ell$ dimensional hamiltonian system close
to an integrable system takes one of the forms:
 
$$\eqalign{
(\oo_0\cdot\Dpr)^2 \hh(\pps)=&\,\e\, (\Dpr f)(\pps+\hh(\pps))\cr
(\oo_0\cdot\Dpr) \hh(\pps)=&\,\e\, \V f(\pps+\hh(\pps))+\V N\cr}
\Eq(1.1)$$
%
where $\pps$ is a point on the $\ell$--dimensional torus, $\hh(\pps)$ a
$R^\ell$--valued function, $f,\V f$ are functions on $T^\ell$, $\V N$
is a vector in $R^\ell$ and $\oo_0$ is a diophantine vector in $R^\ell$
such that, considering the integer components lattice $Z^\ell$, there
are constants $C,\t>0$ with:
 
$$C|\oo_0\cdot\nn|\ge |\nn|^{-\t}\qquad \forall \nn\in Z^\ell, \nn\ne\V0
\Eq(1.2)$$
%
where $|\nn|=\sqrt{\n_1^2+\ldots}$. The gradient $\Dpr f$ is evaluated
first and then computed at the point $\pps+\hh(\pps)$ (\ie it is {\it
not} the gradient of $f(\pps+\hh(\pps))$).
 
The first of \equ(1.1) corresponds to the construction of KAM tori in
the case of the Thirring models (a general class of hamiltonian
systems, \ref{G}{1}{1}), and the second corresponds to the KAM tori for
perturbations of non resonant harmonic oscillators, \ref{M}{1}{2},
\ref{G}{2}{3}: in the latter case not only $\hh$ is unknown but also
$\V N$, called a {\sl counterterm} because one can think of it as a
quantity that must be fixed in order to make the equations soluble.

We shall not be concerned here with the physical interpretations of
\equ(1.1).
 
It was pointed out explicitly by Moser that the second equation is in
some sense the fundamental one.  Its theory is essentially equivalent to
the KAM theorem theory, \ref{M}{1}{2}.
 
Here we shall consider a wider class of equations:
 
$$\eqalign{
(1)&\kern1cm D \hh(\pps)=\,\e\,(\Dpr f)(\pps+\hh(\pps))\cr
(2)&\kern1cm D \hh(\pps)=\,\e\, \V f(\pps+\hh(\pps))+\V N\cr}
\Eq(1.3)$$
%
where $D$ is a pseudodifferential operator like, respectively:

 
$$\eqalign{
(1)&\kern 1cm
D=(\oo_0\cdot\Dpr)^2,\qquad\hbox{\rm or}\quad D=(-\D)^r \quad r\ge0\cr
(2)&\kern 1cm
D=(\oo_0\cdot\Dpr),\qquad\hbox{\rm or}
\quad D=(-\D)^r L \quad r\ge0\cr}\Eq(1.4)$$
%
where $\D$ is the Laplace operator and $L$ is a linear elliptic
operator ("Dirac operator": for instance $\V\g\cdot\Dpr$ where $\V\g$
are the Dirac's {\it gamma matrices}).  The cases $r=0$ in the first
equation in \equ(1.3) are remarkable as they {\it are not} differential
equations.
 
It is easy to show by using the contraction method that \equ(1.3), 
\equ(1.4) with $r\ge0$ do have a solution $\hh$ or, respectively,
$\hh,\NN$ for small $\e$ if $\V f$ is regular enough.  This remains
true, but it is far less easy, in the two remaining cases,
in which $D$ is a power of $(\oo_0\cdot\Dpr)$: \*

\0$\bullet$ The classical results 
that hold when $f$ is assumed analytic on 
$T^\ell$ give analyticity in $\e,\V\ps$ of the solution $\V h$ and 
$\V N$, for $\e$ small, \ref{M}{1}{2}.

\0$\bullet$ In the differentiable case the first equation with $r=0$
admits a solution in class $C^{(p-1)}(T^\ell)$ if $f\in
C^{(p)}(T^\ell)$ and $p>1$: this is an elementary result (contraction
principle) for $\e$ small.  The solution is also $p-1$ times
differentiable in $\e$.

\0$\bullet$ In the case $D=(\oo_0\cdot\Dpr)^2$ and $f\in
C^{(p)}(T^\ell)$ it admits a solution in class $C^{(p-4\t-2)}$ if
$p>4\t+2$, a consequence of \ref{M}{2}{4}, where the
contraction method is ``replaced'' by Nash's implicit functions theorem. 
The solution is also smooth in $\e$.
 
\0$\bullet$ In the case $D=\oo_0\cdot\Dpr$ and $f\in C^{(p)}(T^\ell)$ it
admits a solution in class $C^{(p-2\t-2)}$ if $p>2\t+2$, as a
consequence of Parasiuk's work, \ref{Pa}{}{5}, see
\ref{PF}{}{6}, based on Moser's technique; the solution is smooth in $\e$.
\*

We address the question of the regularity in $\e$ of the latter
solutions. From the quoted results only differentiability in $\e$, 
to an order related to $p$, can be deduced.
 
We consider functions $f, \V f$ which are finitely differentiable but
that have the special form: $\ff=(f_1,\ldots,f_\ell)$, with each $f_j$
of the class $\hat C^{(p)}(T^\ell)$ introduced in \ref{BGGM}{1}{7}, for
some $p$.
 
Namely the class $\hat C^{(p)}$ consists of the $R^\ell$ valued
functions such that $f(\pps) = \sum_{\nn\in
Z^\ell}f_{\nn}\,$ $e^{i\nn\cdot\pps}$, $f_{\nn}=f_{-\nn}$, with
$f_{\V0}=0$ and for $\nn\ne\V0$,
%
$$ f_{\nn}=\sum_{n\ge
p+\ell}^N\fra{P^{(n)}_{2k}(\nn)}{|\nn|^{n+2k}}\Eq(1.5) $$
%
for some $N \ge p+\ell$ and some even polynomials $P^{(n)}_{2k}(\nn)$ of
degree $2k$.
 
For instance we can choose $f_{j\nn}=a_j|\nn|^{-b}$, with $b=p+\ell$
and $\V a=(a_1,\ldots,a_\ell)$ a vector in $R^\ell$.  In the following we shall
deal explicitly with such a function: the analysis can be trivially
extended to the class of functions \equ(1.5).
 
{\it Hence we discuss \equ(1.3) only in cases in which $f$ or,
respectively $\V f$ are special even functions}.  The results that
follow do not hold in general for non even functions, see
\ref{BGGM}{1}{7} for some simple counterexamples.

A {\it solution} of the second of \equ(1.3) will be any pair $\V h\in
C^{(0)}(T^\ell)$ and $\V N\in R^\ell$
that satisfies the identity:
%
$$-\ig_{T^\ell} D\V F(\pps)\cdot \V h(\pps)d\pps=
\ig \V F(\pps)\cdot (\e\V f(\pps+\V h(\pps))+\V N)\,d\pps\Eq(1.6)$$
%
for all $\V F\in C^\io(T^\ell)$. Similarly we define solutions of 
the first of \equ(1.3).
 
In \ref{BGGM}{1}{7},\ref{BGGM}{2}{8} the following theorem is proved.  \*

\0{\bf Theorem: \it Equations \equ(1.3) admit solutions that are
analytic in $\e$ for $\e$ small if $f$ or, respectively, $\V f$ are in
$\hat C^{(p)}(T^\ell)$ and $p$ is large enough. For instance:\\ 
%
(i) if $D=(\oo_0\cdot\Dpr)^2$ the first of \equ(1.3) admits a
$C^{(<p-6\t-3)}(T^\ell)$ solution if $f\in\hat C^{(p)}(T^\ell)$
provided $p-6\t-3>0$.\\
%
(ii) if $D=\oo_0\cdot\Dpr$ the second of \equ(1.3) admits a
$C^{(<p-3\t-2)}(T^\ell)$ solution if $f\in\hat C^{(p)}(T^\ell)$
provided $p-3\t-2>0$.\\ 
%
(iii) if $D=1$ the first of \equ(1.3) admits a $C^{(<p-2)}(T^\ell)$
solution if $f\in\hat C^{(p)}(T^\ell)$ provided $p-2>0$.}  \* The
analyticity in $\e$ is perhaps unexpected even in the case $D=1$ since
the solutions $\V h(\pps)$ are {\it not} analytic in
$\V\psi$. Furthermore it is not a general property valid whenever the
equations admit a solution, because of the mentioned counterexamples.
 
One can prove the result because there are remarkable cancellations
that we call {\it ultraviolet cancellations}, for reasons that become
clear if one considers the analogy between the KAM problem and field
theory problems, see \ref{GGM}{}{9}.  The cancellations {\it are not}
the ones pointed out by Eliasson, \ref{E}{}{10}, that are specific to the
KAM problems and that permit to derive the KAM theorem by a majorant
series method: the latter cancellations are called {\it infrared
cancellations} and have been recently revisited in several papers.  The
papers reproduce Eliasson's work with minor changes or additions but treat
the simplest forms of the problem thus providing a simple understanding
of the new methods (see for instance \ref{G}{1}{1} which has the
advantage of being short but uncompromising with the key difficulties;
further developments can be found, {\it along the same lines}, in
\ref{GG}{}{11}, \ref{GM}{1}{12}, \ref{GM}{2}{13}, \ref{GGM}{}{9} where also
the relevant references to other papers can be found).
 
The names used for the two types of cancellations are taken from Quantum
Fields theory which leads to problems, and techniques for their
solutions, that are very close to the ones used in the theory of the
Lindstedt series, see \ref{GGM}{}{9}.
 
In \S2 we discuss the Lindstedt formal series solution of \equ(1.3):
we shall deal with the second of \equ(1.3) with $D=\oo_0\cdot\Dpr$ as
it is simpler than the first of \equ(1.3) with
$D=(\oo_0\cdot\Dpr)^2$. Actually the simplest problem is the first
equation in \equ(1.3) with $D=1$ or $D=(-\D)^r$: the case $D=1$ is
{\it non trivial} and it is not chosen to illustrate the analysis only
because we also want to make clear that the small divisors can be treated.
But the ideas and methods apply to all cases.  In \S3 we discuss the
cancellation mechanism through some simple examples.  \*

Note that the above quoted results of Moser give existence for a wider
range of $p$'s in the case of \equ(1.1) while the results of
\ref{Pa}{}{5}, see \ref{PF}{}{6}, give existence in a wider range of $p$'s
if $\ell>2$, but in a different range if $\ell=2$ (the results cannot
be really compared, even for $\ell=2$, because $\hat C^{(p)}\subset
C^{(p)}$).  \*
\1

\0{\it \S2 Lindstedt series.}
\numsec=2\numfor=1
\*
Consider the second of Eq. \equ(1.3) with $f_{j\nn}=a_j|\nn|^{-b}$
replaced by $f_{j\nn}\,e^{-\k|\nn|}$ and we write
$\hh(\pps)=\sum_{k=1}^\io \e^k\hh^{(k)}(\pps)$.  The parameter $\k$ is
taken $\k>0$ and, after computing the coefficients $\hh^{(k)}_\nn$ of
the Forurier series of the function $\hh^{(k)}(\pps)$ which will depend
on $\k$, we shall perform the limit $\k\to0$ ({\sl Abel's summation}). 
This is done because, contrary to what one could fear, the limit is
well defined, if $b$ is large enough, {\it for all $k$}.
 
It is easy to find the coefficients via a set of rules that associate
with $\hh^{(k)}$ a family of "Feynman graphs" $\th$ and assign to each
graph a {\it value} which is a function of $\nn\in Z^\ell$ so that
summing all values, at fixed $\nn$, of the graphs that are associated
with $\hh^{(k)}$ one gets the Fourier component of order $\nn$ of
$\hh^{(k)}$.
 
The graphs have the form of a tree graph (a very unusual situation for
the Feynman graphs that arise in
quantum field theory) like:
\2

\figini{bggmfig0}
\8<gsave>
\8</punto { gsave 2 0 360 newpath arc fill stroke grestore} def>
\8<0 90 punto     >
\8<70 90 punto    >
\8<120 60 punto   >
\8<160 130 punto  >
\8<200 110 punto  >
\8<240 170 punto  >
\8<240 130 punto  >
\8<240 90 punto   >
\8<240 0 punto    >
\8<240 30 punto   >
\8<210 70 punto   >
\8<240 70 punto   >
\8<240 50 punto   >
\8<0 90 moveto 70 90 lineto>
\8<70 90 moveto 120 60 lineto>
\8<70 90 moveto 160 130 lineto>
\8<160 130 moveto 200 110 lineto>
\8<160 130 moveto 240 170 lineto>
\8<200 110 moveto 240 130 lineto>
\8<200 110 moveto 240 90 lineto>
\8<120 60 moveto 240 0 lineto>
\8<120 60 moveto 240 30 lineto>
\8<120 60 moveto 210 70 lineto>
\8<210 70 moveto 240 70 lineto>
\8<210 70 moveto 240 50 lineto>
\8<stroke>
\8<grestore>
\figfin
 
\eqfig{240pt}{170pt}{
\ins{-35pt}{90pt}{\it root}
\ins{0pt}{110pt}{$j$}
\ins{60pt}{85pt}{$v_0$}
\ins{55pt}{110pt}{$\nn_{v_0}$}
%\ins{115pt}{132pt}{$j_{1}$}
\ins{152pt}{120pt}{$v_1$}
\ins{145pt}{150pt}{$\nn_{v_1}$}
\ins{110pt}{50pt}{$v_2$}
\ins{190pt}{100pt}{$v_3$}
\ins{230pt}{160pt}{$v_5$}
\ins{230pt}{120pt}{$v_6$}
\ins{230pt}{85pt}{$v_7$}
\ins{230pt}{-10pt}{$v_{11}$}
\ins{230pt}{20pt}{$v_{10}$}
\ins{200pt}{65pt}{$v_4$}
\ins{230pt}{65pt}{$v_8$}
\ins{230pt}{45pt}{$v_9$}
}{bggmfig0}{\hskip.6truecm\eq(2.1)}
\kern1.3cm
\didascalia{{\bf Fig.1}. A graph $\th$ with
$p_{v_0}=2,p_{v_1}=2,p_{v_2}=3,p_{v_3}=2,p_{v_4}=2$ and $k=12$,
$\prod p_v!=2^4\cdot6$, and some decorations. The line numbers,
distinguishing the lines, and the arrows, pointing at the root,
are not shown. The lines length should be $1$
but it is drawn of arbitrary size.}
 
\*
\0We lay down one after the other, on a plane, $k$ pairwise distinct unit
segments oriented from one extreme to the other: respectively the {\sl
initial point} and the {\sl endpoint} of the oriented segment.
The oriented segment will also be called {\sl arrow}, {\sl branch} or
{\sl line}. The segments are supposed to be numbered from $1$ to $k$.
 
The rule is that after laying down the first segment, the {\sl root
branch}, with the endpoint at the origin and otherwise arbitrarily, the
others are laid down one after the other by attaching an endpoint of a
new branch to an initial point of an old one and by leaving free the
new branch initial point.  The set of initial points of the object thus
constructed will be called the set of the graph {\sl nodes} or {\sl
vertices}.  A graph of {\sl order} $k$ is therefore a partially ordered
set of $k$ nodes with top point the endpoint of the root branch, also
called the {\sl root} (which is not a node); in general
there will be several ``bottom nodes" (at most $k-1$ and $7$ in Fig.1).
 
We denote by $\le$ the ordering relation, and say that two nodes $v$, $w$
are ``comparable'' if $v<w$ or $w<v$.
 
With each graph node $v$ we associate an {\sl external momentum} or
{\sl mode} which is simply an integer component vector $\nn_v\ne{\bf 0}$;
with the root of the graph (which is not regarded as a node) we
associate a label $j=1,\ldots,\ell$.
 
For each node $v$, we denote by $v'$ the node immediately following $v$
and by $\l_v\=v'v$ the branch connecting $v$ to $v'$, ($v$ will be the
initial point and $v'$ the endpoint of $\l_v$). If $v$ is the node
immediately preceding the root $r$ ({\sl highest node}) then we shall
write $v'=r$, for uniformity of notation (recall that $r$ is not a node).
 
We consider ``comparable'' two lines $\l_v$, $\l_w$, if $v$, $w$ are 
comparable.
 
If $p_v$ is the number of branches entering the
node $v$, then each of the $p_v$ branches can be thought as the root
branch of a {\sl subgraph} having root at $v$: the subgraph is uniquely
determined by $v$ and one of the $p_v$ nodes $w$ immediately preceding
$v$. Hence if $w'=v$ it can be denoted $\th_{vw}$.
 
We shall call {\sl equivalent} graphs which can be overlapped by\\
(1) changing the angles between branches emerging from the
same node, or\\
(2) permuting the subgraphs entering into a node $v$\\
%
in such a way that all the labels match.
 
The number of (non equivalent numbered) graphs with $k$ branches
is bounded by $4^k k!$, \ref{HP}{}{14}.
 
The ``value'' of a graph $\th$ is now given by
%
$$ \Val (\th) = \prod_{v<r} { (i\nn_{v'}\cdot\ff_{\nn_v})
\over i\oo_0\cdot\nn_{\l_v} } \; , \Eq(2.2)$$
%
where\\
(1) $v'$ is the node immediately following $v$ in $\th$, and
$\l_v=v'v$ is the line emerging from $v$ and entering $v'$;\\
(2) $r$ is the {\sl root} of the graph, and
$i\nn_r$ denotes the unit vector in the $j$th direction,
$i\nn_r=\ee_j$, $j=1,\ldots,\ell$;\\
(3) $\nn_v$ is the {\sl external momentum}
associated with the {\sl node} $v$,
$\nn_{\l_v} = \sum_{w\le v} \nn_w$ is the {\sl momentum} flowing
through the line $\l_v$, and $\nn(\th)$ is the momentum
flowing through the line entering the root. {\it Only external momenta such 
that $\nn_\l\ne\V0$ {\sl for all $\l$} will be allowed}: the generality 
of this property was the contribution of Poincar\'e to the analysis of 
the Lindstedt--Newcomb series, \ref{P}{}{15}, Ch. IX (T. II).
 
It can be convenient to introduce the notations
%
$$ g_{\l}\={1\over \oo_0\cdot\nn_{\l}} \; , \qquad
D(\th) = \prod_{\l\in\th} g_{\l} \; , \Eq(2.3) $$
%
so that \equ(2.2) becomes
%
$$ \Val(\th) = D(\th) \prod_{v<r} \left(\nn_{v'}\cdot\ff_{\nn_v}
\right)\Eq(2.4) $$
%
$g_\l$ is called the {\it propagator} of the line $\l$.
Let us denote by $\TT (k,\nn)$ the set of non equivalent labeled
graphs of order $k$ with $\nn(\th)=\nn$ and $i\nn_r=\ee_j$; then
%
$$ h^{(k)}_{j\nn} = {1\over k!}
\sum_{\th \in \TT(k,\nn)} \Val(\th) =
{1\over k!} \sum_{\th^0\in\TT^0(k)} W(\th^0,\nn) \; , \Eq(2.5) $$
%
where $\th=(\th^0,\{\nn_\l\})$, if $\th$ is a labeled graph,
while $\th^0$ is a graph bearing no external momentum labels,
$\TT^0(k)$ is the set of such graphs of order $k$, and
%
$$ W(\th^0,\nn) \= \sum_{ \{\nn_x\} :\,
\nn(\th)=\nn} \Val(\th) \; . \Eq(2.6) $$
%
\*
 
\0{\it\S3 The basic ultraviolet cancellation.}
\numsec=3\numfor=1
\*
We consider the simplest graph that cannot be naively estimated uniformly
in the ultraviolet  cut off $\k$: it is the "brusch" graph:
 
\figini{veneziaf}
\8</cambio_coordinate{ % st: x1 y1 x2 y2>
\8<4 copy exch pop exch sub  % x1 dy>
\8<6 1 roll exch pop sub    % dy x1 y1 dx>
\8<4 1 roll translate       % sposta l'origine; st: dx dy>
\8<2 copy exch atan rotate  % rotazione di arctan(dy/dx); st: dx dy>
\8<2 exp exch 2 exp add sqrt  % sqrt(dx^2 +dy^2)>
\8<} def>
\8<>
\8</freccia { gsave % uso: x1 y1 x2 y2 freccia>
\8<cambio_coordinate % st: l>
\8<dup 0 0 moveto 0 lineto % st: l>
\8<2 div 0 translate>
\8<15 rotate 0 0 moveto -5 0 lineto -30 rotate 0 0 moveto -5 0 lineto>
\8<stroke grestore } def>
\8<>
\8</punto { gsave  % uso: x1 y1 punto>
\8<2 0 360 newpath arc fill stroke grestore} def>
\8<>
\8</tlinea { gsave % uso: x1 y1 x2 y2 tlinea>
\8<moveto [4 4] 2 setdash lineto stroke grestore} def>
\8<>
\8<>
\8<gsave>
\8</Pr { 0 50} def>
\8</P0 { 50 50} def>
\8</P1 {90 90} def>
\8</P2 {90 60} def>
\8</Pk2 {90 30} def>
\8</Pk1 {90 0} def>
\8</Pc {90 45} def>
\8<>
\8<P0 punto P1 punto P2 punto Pk1 punto Pk2 punto>
\8<P0 Pr freccia>
\8<P1 P0 freccia>
\8<P2 P0 freccia>
\8<Pk2 P0 freccia>
\8<Pk1 P0 freccia>
\8<P0 Pc tlinea>
\8<grestore>
\figfin
 
\eqfig{100pt}{100pt}{
\ins{-5pt}{40pt}{$\ee$}
\ins{45pt}{40pt}{$\nn_0$}
\ins{95pt}{90pt}{$\nn_1$}
\ins{95pt}{60pt}{$\nn_2$}
\ins{95pt}{30pt}{$\nn_{k-2}$}
\ins{95pt}{0pt}{$\nn_{k-1}$}}
{veneziaf}{\eq(3.1)}
 
\*
Recalling that $\V f_\nn=\V a |\nn|^{-b}$, its value is given by:
 
$$\fra{\ee\cdot\V a}{(\oo_0\cdot\nn)|\nn_0|^b}
\prod_{j=1}^{k-1}\fra{\nn_0\cdot\V
a}{(\oo_0\cdot\nn_j)|\nn_j|^b}\quad
\qquad \nn=\sum_{j=0}^{k-1} \nn_j\Eq(3.2)$$
%
Then we see that the sum of all the contributions of the
above type, with fixed $k$ and various $\nn_j$ such that $\sum_j
\nn_i=\nn$, to $\V h^{(k)}_\nn$ can be bounded by:
 
$$C^k {|\nn_0|^{k-1} |\V a|^k}{|\nn|^{\t}}{|\nn_0|^{-b}}\prod_{j=1}^{k-1}
|\nn_j|^{\t-b}\Eq(3.3)$$
%
which, to be summable over $\nn_j$ requires that $\V f$ is in $\hat
C^{(>k-1+2\t)}(T^\ell)$, so that the
contributions from the graphs just considered may not make sense for
large $k$  {\it no matter how regular $f$ is} (\ie for $k\ge b+1-2\t-\ell$).
 
But the problem really arises only if $|\nn_0|\gg |\nn_j|$: in the cases
$|\nn_0|\ll |\nn_j|$ we can replace $|\nn_0|$ by $|\nn_j|$ and $|\nn|$
by $k \prod_v |\nn_v|$ in the bounds and, by \equ(3.3), this would
require only $f\in \hat C^{(> 2\t+1)}$.
 
Therefore we add, for each $\nn_j$ with $|\nn_j|\ll |\nn_0|$, the
graph with $\nn_0,\nn_j$ replaced by $\nn_0+2\nn_j,- \nn_j$, and noting
that both graphs contribute to the same Fourier component $\nn$ of
$\hh$, we see that this replaces:
 
$$\eqalign{
&\fra{(\nn_0\cdot\V a)}
{(\oo_0\cdot\nn)|\nn_0|^b\,(\oo_0\cdot\n_j)}
\to
%\cr&
\fra1{(\oo_0\cdot\nn)}\Big(
\fra{(\nn_0\cdot\V a)}
{|\nn_0|^b\,(\oo_0\cdot\n_j)}-
\fra{(\nn_0+2\nn_j)\cdot\V a}
{|\nn_0+2\nn_j|^b\,(\oo_0\cdot\nn_j)}\Big)\cr}\Eq(3.4)$$
%
the other factors in \equ(3.2) remain unchanged by the parity
properties of $\V f$.
 
More generally if $|\nn_0|\gg |\nn_j|,\, j=1,\ldots, s$ and $|\nn_0|\ll
|\nn_j|,\, j>s$ we combine all the graphs with $\nn_0$ replaced by
$\nn_0+\sum_{j=1}^s (1-\s_j)\nn_j$ and with $\nn_j$ replaced by
$\s_j\nn_j$ for $j=1,\ldots,s$ and $\s_j=\pm1$.  The sum of the
considered graph values can be expressed by an interpolation formula;
let us define $\nn(\V t_{v_0})=\nn_0+2\sum_{j=1}^s t_j\nn_j$ fot $\V
t_{v_0}= (t_1,\ldots,t_s)$, then the sum is:
 
$$\eqalign{ &\ig_1^0\Big(\prod_{j=1}^s dt_j\,\fra{\dpr}{\dpr_{t_j}}
\Big)\Big\{
\fra{\ee\cdot\V a}
{\oo_0\cdot\nn}
\fra1{|\nn_{v_0}(\V t_{v_0})|^b}
%\cr&
\prod_{j=1}^{k-1}
\fra{\nn_{v_0}(\V t_{v_0})\cdot\V a}
{\oo_0\cdot\nn_j}\fra1{|\nn_j|^b}\Big\}\cr} \Eq(3.5)$$
%
and the {\it cancellation} is expressed by the fact that in the above
interpolation formula there are no contributions from the boundary
values $t_j=1$. It is important to note, also, that the factors
containing $\oo_0$ are {\it $\V t$--independent}, hence they (\ie the
``small divisors'') are {\it not affected} by the interpolation.
 
The \equ(3.5) can be bounded as before {\it but replacing each of the $s$
vectors $\nn_{v_0}$ which are large with the corresponding $|\nn_j|$,} and
(trivially) by replacing the other $k-1-s$ and $\nn_0$'s by the
correponding $|\nn_j|$; \ie for a suitable $\tilde C$ the bound
\equ(3.3) is replaced by:
%
$${\tilde C}^k |\nn|^{\t} |\nn_0|^{-b} \prod_{j=1}^{k-1}
|\nn_j|^{\t+1-b}\Eq(3.6)$$
%
and one needs (to sum over $\nn_j$ at fixed $\nn$) only $b>\ell+\t+1$,
\ie $f\in\hat C^{(>\t+1)}(T^\ell)$, or $b>\ell+2\tau+1$ to sum without
fixing $\nn$, (\ie $f\in \hat C^{(2\t+1)}$).
 
This is the key "ultraviolet" cancellation introduced and
used in \ref{BGGM}{1}{7} and
\ref{BGGM}{2}{8}. Clearly there remains quite a lot of work to do:
\*

\0(1) how does one treat the cases in which the $\nn_0$ and the $\nn_j$
are "close"?  In such cases $\nn_{v_0}(\V t_{v_0})=
\nn_0+2\sum_{j=1}^{k-1}t_j\nn_j$ may vanish for some choices of the
interpolation variables $t_j$.  This type of situation is a manifestation
of rather general class of difficulties known in field theory as {\it
overlapping divergences}: it must clearly be avoided.
 
\0(2) how does one treat the cases in which the graph is more
elaborated, with many nodes with bifurcations, and therefore many of
the above problems arise {\it simultaneously}?
 
\0(3) how does one treat the {\it infrared} cancellations of
\ref{E}{}{10}? are they obvious even considering the necessity of
collecting graphs so that no ultraviolet divergence arises?  In
principle exhibiting the ultraviolet cancellations may require
different {\it non commuting} collections of terms and this would ruin
the analysis (again a "overlapping divergences problem").
 
In the next section we discuss the basic ideas about (1): this will
give an idea also for the solution of the problem (2).  The problem in
(3) is real and it arises, in fact.  However the incompatibility is
somewhat trivial and one can eliminate it by giving up performing some
ultraviolet cancellations.  This leads eventually, see
\ref{BGGM}{2}{8}, only to replace the minimum value for $p$ that one
would naively expect from Eliasson method and his extension of
Siegel's small divisor bound ($p> 3\t+1$) with $p> 3\t+2$.
 
\*
\0{\it\S4 Overlapping divergences?}
\*
\numsec=4\numfor=1
 
Consider the case of fig.\equ(3.1): we set $p_{v_1}=k-1$ and $w_j=v_j$
and rename $v_1$ the graph node 
previously called $v_0$ and $w_1,\ldots, w_{p_{v_1}}$ the
$k-1$ endnodes.
 
The change in notation is made to adhere to the notation in
\ref{BGGM}{2}{8} which is apt to treat also the more structered graphs.
 
Then we introduce the notion of {\it scale} of a vector $\nn\in Z^\ell$
($\nn$ will also be called a "mode"). This is done by simply declaring
it of {\it scale $h$} if $2^{h-1}\le |\nn|< 2^h$.
 
We shall set $\nn_{w_j}\=\nn_{\l_{w_j}}$, again for ease of reference
to \ref{BGGM}{2}{8}. Note that in the graph \equ(3.1) $\nn_{w_j}$ and 
$\nn_{w_j}$ accidentally coincide due to the graph simplicity.
 
Fixed $\nn$ and $\{\nn_{\l_w}\}_{w\in\BB_{v_1}}$ let $h_{v_1}$ be {\sl
the scale of $\nn_{v_1}$} (it depends on $\nn$ and on the
$\nn_{\l_{w_j}}\=\nn_{w_j}$ because $\nn_{v_1}=\nn-\sum \nn_{w_j}$).
This means that $\nn_{v_1}$ is such that
$2^{h_{v_1}-1}\leq|\nn_{v_1}|<2^{h_{v_1}}$ and we refer to this relation 
by saying that $h_{v_1}$ is {\it compatible} with $\nn_1$.
 
With the new notations the value of the graph is:
 
$$\fra{\ee\cdot\V a}{|\nn_{v_1}|^b\,\oo_0\cdot\nn}\prod_{j=1}^{p_{v_1}}
\fra{\nn_1\cdot\V
a}{|\nn_j|^b\oo_0\cdot\nn_j}\kern1cm
\qquad \nn=\sum_{j=0}^{k-1} \nn_j\Eq(4.1)$$
 
We say that $w_j$ is {\sl out of order} with respect to $v_1$ if:
%
$$ 2^{h_{v_1}} > 2^op_{v_1}|\nn_{\l_w}|\qquad o=5\Eq(4.2)$$
%
where $p_v$ is the number of branches entering $v$.
 
We denote $\BB_{1v_1}$ the set of nodes $w\in\BB_{v_1}$ which are out
of order with respect to $v_1$: this set can be denoted also
$\BB_{1v_1}(\nn,\{\nn_{\l_w}\}_{w\in\BB_{v_1}})$.  The number of
elements in $\BB_{1v_1}$ will be denoted $q_v=|\BB_{1v_1}|$.  The
notion of $w$ being out of order with respect to $v_1$ depends on
$\{\nn_{\l_w}\}_{w\in B_{v_1}}$ and $\nn$.
 
Given a set $\{\nn_{\l_w}\}_{w\in B_{v_1}}$ for all choices of
$\sigma_w=\pm 1$ we define the map:
%
$$ U(\{\nn_{\l_w}\}_{w\in B_{v_1}})\=
(\{\sigma_w\nn_{\l_w}\}_{w\in B_{v_1}}) \Eq(4.3) $$
%
and given a set $C\subseteq \BB_{v_1}$ we call $\UU(C)$ the set of all
transformations $U$ such that $\sigma_w=1$ for $w\not\in C$; we also set
$\s_w=1$ if $w\not\in\BB_{1v_1}$
 
If $[2^{h-1},2^h)$ is a scale interval $I_h$, $h=1,2,\ldots$ we call
\*
\0$\bullet$ the first quarter of $I_h$ the {\sl lower part}
$I^-_h=[2^{h-1},\fra542^{h-1})$ of $I_h$,\\ $\bullet$ the fourth
quarter of $I_h$ the {\sl upper part} $I^+_h=[\fra782^h,2^h)$ of $I_h$,
and\\ $\bullet$ the remaining part the {\sl central part} $I_h^c$.
\*

We shall group branch momenta $\{\nn_{\l_w}\}_{w\in\BB_{v_1}}$ into
collections by proceeding iteratively.  {\it The collections will be
built so that in each collection the cancellation discussed in Remark
4.2 above can be exhibited.}  \*
 
Fixed $\nn$ and $h$ choose $\{\nn^1_{\l_w}\}_{w\in\BB_{v_1}}$ such that
$|\nn^1_{v_1}|\in I_{h}^c$: such $\{\nn^1_{\l_w}\}_{w\in\BB_{v_1}}$
is called a {\sl representative}. Given the representative we define:
\*

\0$\bullet$
the {\sl branch momenta collection} to be the set of
the $\{\nn_{\l_w}\}_{w\in \BB_{v_1}}$ of the form
%
$$U(\{\nn^1_{\l_w}\}_{w\in\BB_{v_1}}),\qquad U\in\UU(\BB_{1v_1}(\nn,
\{\nn^1_{\l_w}\}_{w\in\BB_{v_1}})) \; ; \Eq(4.4)$$
\\$\bullet$
the {\sl external momenta collection}, for $\ U\in\UU(\BB_{1v_1}(\nn,
\{\nn^1_{\l_w}\}_{w\in\BB_{v_1}}))$, to be the set of momenta
%
$$\nn_w^{1U}=\s_w\nn_w,\qquad
\nn^{1U}_{v_1}=\nn-\sum_{w\in \BB_{v_1}}\s_w\nn^1_{\l_w},\Eq(4.5) $$
%
Note that the elements of the above constructed external momenta
collection need not be necessarily contained in $I_{h}^c$ (see below).
\*
 
We consider then another representative
$\{\nn^2_{\l_w}\}_{w\in\BB_{v_1}}$ such that $|\nn^2_{v_1}|\in I_h^c$
{\it and} not belonging to the branch momenta collection associated
with $\{\nn^1_{\l_w}\}_{w\in\BB_{v_1}}$, if there are any left; and we
consider the corresponding branch momenta and external momenta
collections as above.  We proceed in this way until all the
representatives such that $\nn_1$ is in $I_{h}^c$, for the given $h$,
have been put into some collection of branch momenta.
 
We then repeat the above construction with the interval $I^-_{h}$
replacing the $I^c_h$, always being careful not to consider
representatives $\{\nn_{\l_w}\}_{w\in\BB_{v_1}}$ that appeared as
members of previously constructed collections.  It is worth pointing out
that not all the external momenta $\nn^U_{v_1}$, $U\in
\UU(\BB_{1v_1}(\nn,\{\nn^1_{\l_w}\}_{w\in\BB_{v_1}}))$, are in $I_h^-$,
but they are all in the corridor $I_{h-1}^+\cup I_h^-$, by \equ(4.2).
 
Finally we consider the interval $I^+_{h-1}$, (if $h=1$ we simply skip
this step). The construction is repeated for such intervals.
 
Proceeding iteratively in this way starting from $h=1$ and, after
exhausting all the $h=1$ cases, continuing with the $h=2,3\ldots$ cases,
we shall have grouped the sets of branch momenta into collections
obtainable from a representative $\{\nn_{\l_w}\}_{w\in\BB_{v_1}}$ by
applying the operations $U\in \UU(\BB_{1v_1}(\nn,
\{\nn^1_{\l_w}\}_{w\in\BB_{v_1}}))$ to it.
{\it Note that, in this way, when the interval $I^+_{h-1}$ is considered,
all the remaining representatives are such that
$|\nn^U_{v_1}|\in I_{h-1}^+$ for all $U\in
\UU(\BB_{1v_1}(\nn,\{\nn^1_{\l_w}\}_{w\in\BB_{v_1}}))$.}
 
Note that the graphs with momenta in each collection
are just the graphs involved in the parity cancellation described in the
previous section. In fact if $U$ is generated by the signs
$\{\s_w\}_{w\in\BB_v}$, we have:
%
$$ \eqalign{
& \nn_{v_1}^U=\Big(\prod_{w\in\BB_{{1v_1}}}
U^{\s_w}_{{v_1}w}\{\nn_x\}\Big)_{v_1}\,"="\,\nn+\sum_w(1-\s_w)\nn_w\cr
& (U(\{\nn_{\l_{\tilde
w}}\}_{\tilde w\in B_{v_1}}))_w=\sum_{z\leq w}\Big (\prod_{\tilde
w\in\BB_{{1v_1}}} U^{\s_{\tilde w}}_{{v_1}\tilde w}
\{\nn_x\}\Big)_{z}\,"="\,\s_w\nn_w\cr}\Eq(4.6)$$
%
where, given the sets of momenta $\{\nn_x\}$ and $\{\nn_{\l_{\tilde
w}}\}$, $(\{\nn_x\})_v$ denotes the external momentum in $\{\nn_x\}$
corresponding to the node $v$ and $(\{\nn_{\l_{\tilde w}}\})_w$
denotes the branch momentum in $\{\nn_{\l_{\tilde w}}\}$ corresponding
to the branch $\l_w$.  The $"="$ mean that, in the special case of
\equ(3.1) that we treat, the equality between $\nn_w$ and $\nn_{\l_w}$
implies that the r.h.s.  of \equ(4.6) takes the simple form
indicated. The general case of more structured graphs is more
involved, \ref{BGGM}{2}{8}.
\*
 
\0{\bf  Remark.}
The complexity of the above construction is due to the necessity of
avoiding overcountings: \ie overlapping of cancellations whereby the
same graph value is used to "compensate" two or more other graph
values.  In fact it is possible that, for some $U\in
\UU(\BB_{1v_1}(\nn,\{\nn_{\l_w}\}_{w\in\BB_{v_1}})$, one has:
%
$$\BB_{1v_1}(\nn,U(\{\nn_{\l_w}\}_{w\in\BB_{v_1}}))\not=
\BB_{1v_1}(\nn,\{\nn_{\l_w}\}_{w\in\BB_{v_1}}) \; , \Eq(4.7) $$
%
because the scale of $\nn^U_{v_1}$ may be $h-1$, while that of $\nn_{v_1}$
may be $h$; so that if one considered, for instance, $I^+_{h-1}$ before
$I^-_{h}$ overcountings would be possible, and in fact they would
occur.
 
\*
 
It is convenient rewriting the sum that we want to estimate, \ie the
contribution to $\hh^{(k)}$ from the sum of values of graphs
like \equ(3.1), as:
%
$$\eqalign{
\sum_\nn & |\nn|^s \Big|\sum_{h_{v_1}}
\sum^*_{\{\nn_{\l_w}\}_{w\in\BB_{v_1}}}\sum_{U\in
\UU(B_{1v_1})}
%\cr&
\fra{\ee\cdot\V a}{\oo_0\cdot\nn |\nn^U_{v_1}|^b}
(\prod_{w\in\BB_{1v_1}}\s_w)\prod_{j=1}^{p_{v_1}}
\fra{\nn_{v_1}\cdot\V a}{\oo_0\cdot\nn_{w_j} |\nn_{w_j}|^b}\cr}
\Eq(4.8)$$
%
where $\nn_{v_1}(\V t_{v_1})= \nn_{v_1}+2\sum_{j=1}^{k-1}t_j\nn_j$,
$\nn_w\=\nn_{\l_w}$, and the sum
$\sum^*_{\{\nn_{\l_w}\}_{w\in\BB_{v_1}}}$ means sum over the above
defined representatives such that $\nn_{v_1}$ is "compatible" with
$h_{v_1}$, \ie it has scale $h_{v_1}$ (see lines preceding \equ(4.1)); 
and we abridge
$\BB_{1v_1}(\nn,\{\nn_{\l_w}\}_{w\in\BB_{v_1}})$ by $\BB_{1v_1}$ in
conformity with the notations introduced after \equ(4.2).  The
summation over $\nn$ is weighted with the weight $|\nn|^s$ in order to
obtain also estimates of the $s$--th derivatives of $\hh^{(k)}(\pps)$.
 
The explicit sum over the scales $h_{v_1}$ is introduced to simplify the
bounds analysis that we perform now.  Note that
$\nn_{v_1}^U$ is, in general, not compatible with $h_{v_1}$, \ie we are
grouping together also terms with different scale label (but the
difference in scale is at most one, see \equ(4.11) below).
  
We can now apply interpolation in \equ(3.5) to the node $v$ and
rewrite \equ(4.8) as:
%
$$ \eqalign{
\sum_\nn & |\nn|^s  \Big|\sum_{h_{v_1}}
\sum^*_{\{\nn_{\l_w}\}_{w\in\BB_{v_1}}}
\Big[ \ig_1^0 \Big( \prod_{w\in
\BB_{1v_1}}dt_w \Big) \cdot
\cr &\cdot
\Big(\prod_{w\in \BB_{1v_1}}
\fra{\dpr}{\dpr t_w} \Big)
\Big(\fra1{(\oo_0\cdot\nn)\, |\nn_{v_1}(\V t_{v_1})|^b}
\prod_{j=1}^{k-1}
\fra{\nn_{v_1}(\V t_{v_1})\cdot \V a}{(\oo_0\cdot \nn_{w_j})
|\nn_{w_j}|^b}\Big)
\cr} \Eq(4.10) $$
%
where if $\BB_{1v_1}=\emptyset$ no interpolation is made;
by the definition of nodes out of order, see \equ(4.2),
and by the iterative grouping of the representatives it is:
%
$$2^{h_{v_1}-2}\le|\nn_{v_1}(\V t_{v_1})| < 2^{h_{v_1}}\; ,\Eq(4.11) $$
%
so that the interpolation formulae discussed in \S3 {\it can be used}
because no singularity (\ie no division by $0$) arises in performing
the $\V t_{v_1}$--integrations.
 
It is now easy to check, by computing the derivatives, that each of
the terms in \equ(4.10) can be conveniently bounded by its (easily
estimated) maximum value (over $\V\t$) and the resulting bound has the
form obtained in the simple case of \S3, \equ(3.6), in which some of
the $\nn_{w_j}$ were $\ll |\nn_{v_1}|$ and some were $\gg
|\nn_{v_1}|$.  The $\nn_w$ of the nodes out of order play the role of
the small $\nn_{w_j}$'s and the others can be used as bounds on
$\nn_{v_1}$.  {\it No further care needs to be exercized in the
bounds}.  The details are not very interesting, see \ref{BGGM}{2}{8}.
 
The extension to more structured graphs is not really more difficult. One
has to be careful in interpreting $\nn_{w_j}$ as the momentum flowing on
the brach $v_1 w_j$, \ie as the sum of the node momenta of all the nodes
above $v_1$. See \ref{BGGM}{1}{7} for the detailed algebra that is 
necessary. Therefore the above analysis gives a rather complete idea of 
the ultraviolet cancellations mechanism. The infrared cancellations, \ie 
the cancellations discussed by Eliasson does not interfere with the 
above ultraviolet cancellation and the analysis is done in 
\ref{BGGM}{2}{8}. Note that in the case of the first of \equ(1.3)
with $D=(-\D)^r$, or the second with $D=(-\D)^rL$, there is no need of
infrared cancellations (\ie no small divisors are present).
 
The above analysis seems to imply that the validity condition for the
theorem should be $p>2\t+1$ instead of $3\t+2$, \S1. The ``extra''
$\t$ is due to the fact that the product of the small divisors, in
general graphs ``without resonances'' (see \ref{BGGM}{2}{8}) is
essentially estimated, following \ref{E}{}{10} (see also
\ref{BGGM}{1}{7}) by $\prod_v |\nn_v|^{3\t}$, instead of the 
$\prod_v |\nn_v|^{2\t}$ that occurs in the simple eaxmple chosen
here. The ``extra'' $1$ is due to the fact that general graphs may
contain ``resonances'' (see \ref{E}{}{10}, and \S3 in \ref{BGGM}{2}{8})
which interfere with the ultraviolet cancellations causing an extra
loss of one unit in the differentiability condition.
\*
\0{\bf Acknowledgements.} : it includes the text of a
conference delivered at the meeting "Recent Advances in partial
differenzial equations and applications", Venezia, june 10--14, 1996 and
describes the results in \ref{BGGM}{1}{7}, \ref{BGGM}{2}{8}.
\1

\*
\centerline{\bf References}
\*
 
\def\aBGGM{ F. Bonetto, G. Gallavotti, G. Gentile, V. Mastropietro:
{\it Lindstedt series, ultraviolet divergences and  Moser's theorem},
Preprint IHES/P/95/102 (1995).}
\rif{BGGM}{1}{\aBGGM}{}
 
 
\def\bBGGM{ F. Bonetto, G. Gallavotti, G. Gentile, V. Mastropietro:
{\it Quasi linear flows on tori: regularity of their linearization.}
in mp$\_$arc@ math. utexas. edu, \#96-251 and chao-dyn@ xyz. lanl. gov
\#9605017.}
\rif{BGGM}{2}{\bBGGM}{}
 
\def\aE{ H. Eliasson:
{\it Absolutely convergent series expansions for quasi-periodic
motions}, {\sl Mathematical Physics Electronic Journal}, {\bf 2},
1--33, 1996, http://mpej @math. utexas.edu. }
\rif{E}{}{\aE}{}
%
 
\def\aG{ G. Gallavotti:
{\it Twistless KAM tori}, Communications in
Mathematical Physics, {\bf 164}, 145--156 (1994).}
\rif{G}{1}{\aG}{}

\def\bG{G. Gallavotti:
Classical Mechanics and Renormalization Group,
Lectures no\-tes, 1983 Erice School,
Ed. A. Wightman, G. Velo, Plenum, N.Y. (1985). }
\rif{G}{2}{\bG}{}

\def\aGG{ G. Gallavotti, G. Gentile: {\it Majorant series method for KAM 
tori}, Ergodic theory and applications, {\bf 15}, p.  857--869, 1995.}
\rif{GG}{}{\aGG}{}

\def\aGM{ G. Gentile, V. Mastropietro: {\it
KAM theorem revisited},
Physica D, {\bf 90}, 225--234 (1996).}
\rif{GM}{1}{\aGM}{}

\def\bGM{ G. Gentile, V. Mastropietro: {\it 
Methods for the analysis of the Lindstedt series for KAM tori
and renormalizability in classical mechanics. A review with
some applications}, Reviews of Mathematical Physics, {\bf 8},
393--444 (1996).}
\rif{GM}{2}{\bGM}{}

\def\aGGM{ G.  Gallavotti, G.  Gentile, V.  Mastropietro: {\it Field
theory and KAM tori}, Mathematical Physics Electronic Journal, {\bf
1}, (5): 1--13 (1995),  (http://mpej@ math.  utexas.  edu).}
\rif{GGM}{}{\aGGM}{}

\def\aHP{ F. Harary, E. Palmer: {\sl Graphical enumeration},
Academic Press, N.Y., 1973. }
\rif{HP}{}{\aHP}{}
 
\def\aM{ J. Moser: {\it
Convergent series expansions for quasi periodic motions},
{\it Mathematische  Annalen}, {\bf 169}, 136-176 (1967).}
\rif{M}{1}{\aM}{}

\def\bM{ J. Moser: {\it
A rapidly convergent iteration method and nonlinear
differential equations II},
Annali della Scuola Normale Sup. di Pisa,
{\bf 20}, 499--535, (1966).}
\rif{M}{2}{\bM}{}

\def\aP{ Poincar\'e, H.: {\sl Les M\'ethodes Nouvelles de la M\'ecanique 
C\'eleste}, Gauthiers Villars, Paris, 1893.}
\rif{P}{}{\aP}{}

\def\aPa{ I.S. Parasyuk:
{\it On instability zones of the Schr\"odinger equation with a quasi periodic
potential}, Ukr. Mat. Zh. {\bf 30}, 70-78 (1985). }
\rif{Pa}{}{\aPa}{}

\def\aPF{ L.A. Pastur, A. Figotin:
{\sl Spectra of random and almost-periodic operators},
Grund\-lehren der Math. Wissen\-schaften {\bf 297},
Sprin\-ger, Berlin (1992).}
\rif{PF}{}{\aPF}{}
\*
\ifnum\bibl=1
\raf{G}{1}{\aG}{1}
\raf{M}{1}{\aM}{2}
\raf{G}{2}{\bG}{3}
\raf{M}{2}{\bM}{4}
\raf{Pa}{}{\aPa}{5}
\raf{PF}{}{\aPF}{6}
\raf{BGGM}{1}{\aBGGM}{7}
\raf{BGGM}{2}{\bBGGM}{8}
\raf{GGM}{}{\aGGM}{9}
\raf{E}{}{\aE}{10}
\raf{GG}{}{\aGG}{11}
\raf{GM}{1}{\aGM}{12}
\raf{GM}{2}{\bGM}{13}
\raf{HP}{}{\aHP}{14}
\raf{P}{}{\aP}{15}
\fi
\vskip.5truecm
\0{\ottott Fisica, Universit\`a di Roma, P.le Moro 2,
00185 Roma, Italy and\\ I.H.E.S., 91440 Bures s/Yvette, France}

\FINE

\ciao
The book series is  Proceedings of Symposia in Applied Mathematics and the
editors are Renato Spigler and Stephanos Venakides
AMS 58F27, 70H20 

Author, Title of Paper, Title of Volume, (editors), Book series, Amer Math Soc,
Providence, RI (to appear).

The book series is  Proceedings of Symposia in Applied Mathematics and the
editors are Renato Spigler and Stephanos Venakides
