1: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

2: %%%%%%%%%%%%%%%%%%%%%%%%%  DEFINIZIONI DI FONT    %%%%%%%%%%%%%%%%%%%%%%%%%%

3: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

4: \font\tenmib=cmmib10

5: \font\sevenmib=cmmib10 scaled 800

6: \font\titolo=cmbx12

7: \font\titolone=cmbx10 scaled\magstep 2

8: \font \titolino=cmbx10

9: \font\cs=cmcsc10

10: \font\sc=cmcsc10

11: \font\css=cmcsc8

12: \font\ss=cmss10

13: \font\sss=cmss8

14: \font\crs=cmbx8

15: \font\ninerm=cmr9

16: \font\ottorm=cmr8

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

18: \font\msxtw=msbm10 scaled\magstep1

19: \font\euftw=eufm10 scaled\magstep1

20: \font\msytw=msbm10 scaled\magstep1

21: \font\msytww=msbm8 scaled\magstep1

22: \font\msytwww=msbm7 scaled\magstep1

23: \font\indbf=cmbx10 scaled\magstep2

24: \font\type=cmtt10

25: \def\st{\scriptstyle}

26: 

27: \font\ottorm=cmr8\font\ottoi=cmmi8\font\ottosy=cmsy8%

28: \font\ottobf=cmbx8\font\ottott=cmtt8%str

29: \font\ottocss=cmcsc8%

30: \font\ottosl=cmsl8\font\ottoit=cmti8%

31: \font\sixrm=cmr6\font\sixbf=cmbx6\font\sixi=cmmi6\font\sixsy=cmsy6%

32: \font\fiverm=cmr5\font\fivesy=cmsy5\font\fivei=cmmi5\font\fivebf=cmbx5%

33: 

34: \def\ottopunti{\def\rm{\fam0\ottorm}%

35: \textfont0=\ottorm\scriptfont0=\sixrm\scriptscriptfont0=\fiverm%

36: \textfont1=\ottoi\scriptfont1=\sixi\scriptscriptfont1=\fivei%

37: \textfont2=\ottosy\scriptfont2=\sixsy\scriptscriptfont2=\fivesy%

38: \textfont3=\tenex\scriptfont3=\tenex\scriptscriptfont3=\tenex%

39: \textfont4=\ottocss\scriptfont4=\sc\scriptscriptfont4=\sc%

40: %\scriptfont4=\ottocss\scriptscriptfont4=\ottocss%

41: %\textfont5=\tenmib\scriptfont5=\sevenmib\scriptscriptfont5=\fivei%

42: \textfont\itfam=\ottoit\def\it{\fam\itfam\ottoit}%

43: \textfont\slfam=\ottosl\def\sl{\fam\slfam\ottosl}%

44: \textfont\ttfam=\ottott\def\tt{\fam\ttfam\ottott}%

45: \textfont\bffam=\ottobf\scriptfont\bffam=\sixbf%

46: \scriptscriptfont\bffam=\fivebf\def\bf{\fam\bffam\ottobf}%

47: %\tt\ttglue=.5em plus.25em minus.15em%

48: \setbox\strutbox=\hbox{\vrule height7pt depth2pt width0pt}%

49: \normalbaselineskip=9pt\let\sc=\sixrm\normalbaselines\rm}

50: \let\nota=\ottopunti%

51: 

52: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

53: %%%%%%%%%   RIFERIMENTI SIMBOLICI A FORMULE, PARAGRAFI E FIGURE    %%%%%%%%%%

54: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

55: %

56: % Ogni paragrafo deve iniziare con il comando \section(#1,#2), dove #1

57: % e' il simbolo associato al paragrafo e #2 e' il titolo. Per le

58: % appendici bisogna pero' usare \appendix(#1,#2).

59: %

60: % Se nel titolo compaiono riferimenti ad altri simboli, questi vanno

61: % racchiusi fra parentesi graffe, per es. {\equ(1.2)}; in caso contrario

62: % si provoca un errore.

63: %

64: % Ogni sottoparagrafo deve iniziare con il comando \sub(#1) o \asub(#1),

65: % nelle appendici.

66: %

67: % I riferimenti a paragrafi e sottoparagrafi si realizzano con il comando

68: % \sec(#1), che produce il numero effettivo preceduto dal simbolo di

69: % paragrafo, o \secc(#1), che produce solo il numero (serve nel caso si

70: % faccia riferimento ad un sottoparagrafo, che e' un Lemma, un Teorema o

71: % altro oggetto suscettibile di una denominazione speciale).

72: %

73: % Le formule sono contrassegnate con \Eq(#1), eccetto che all'interno

74: % del comando \eqalignno, dove si deve usare \eq(#1). Nelle appendici

75: % i comandi corrispondenti sono \Eqa(#1) e \eqa(#1).

76: % I riferimenti alle formule si realizzano con \equ(#1).

77: %

78: % La numerazione delle figure utilizza il comando \eqg(#1), per

79: % contrassegnarle, e \graf(#1) per citarle.

80: %

81: 

82: \global\newcount\numsec\global\newcount\numapp

83: \global\newcount\numfor\global\newcount\numfig

84: \global\newcount\numsub

85: \numsec=0\numapp=0\numfig=0

86: \def\veroparagrafo{\number\numsec}\def\veraformula{\number\numfor}

87: \def\veraappendice{\number\numapp}\def\verasub{\number\numsub}

88: \def\verafigura{\number\numfig}

89: 

90: \def\section(#1,#2){\advance\numsec by 1\numfor=1\numsub=1\numfig=1%

91: \SIA p,#1,{\veroparagrafo} %

92: \write15{\string\Fp (#1){\secc(#1)}}%

93: \write16{ sec. #1 ==> \secc(#1)  }%

94: \hbox to \hsize{\titolo\hfill \number\numsec. #2\hfill%

95: \expandafter{\alato(sec. #1)}}\*}

96: 

97: \def\appendix(#1,#2){\advance\numapp by 1\numfor=1\numsub=1\numfig=1%

98: \SIA p,#1,{A\veraappendice} %

99: \write15{\string\Fp (#1){\secc(#1)}}%

100: \write16{ app. #1 ==> \secc(#1)  }%

101: \hbox to \hsize{\titolo\hfill Appendix A\number\numapp. #2\hfill%

102: \expandafter{\alato(app. #1)}}\*}

103: 

104: \def\senondefinito#1{\expandafter\ifx\csname#1\endcsname\relax}

105: 

106: \def\SIA #1,#2,#3 {\senondefinito{#1#2}%

107: \expandafter\xdef\csname #1#2\endcsname{#3}\else

108: \write16{???? ma #1#2 e' gia' stato definito !!!!} \fi}

109: 

110: \def \Fe(#1)#2{\SIA fe,#1,#2 }

111: \def \Fp(#1)#2{\SIA fp,#1,#2 }

112: \def \Fg(#1)#2{\SIA fg,#1,#2 }

113: 

114: \def\etichetta(#1){(\veroparagrafo.\veraformula)%

115: \SIA e,#1,(\veroparagrafo.\veraformula) %

116: \global\advance\numfor by 1%

117: \write15{\string\Fe (#1){\equ(#1)}}%

118: \write16{ EQ #1 ==> \equ(#1)  }}

119: 

120: \def\etichettaa(#1){(A\veraappendice.\veraformula)%

121: \SIA e,#1,(A\veraappendice.\veraformula) %

122: \global\advance\numfor by 1%

123: \write15{\string\Fe (#1){\equ(#1)}}%

124: \write16{ EQ #1 ==> \equ(#1) }}

125: 

126: %\def\getichetta(#1){Fig. \verafigura%

127: \def\getichetta(#1){\veroparagrafo.\verafigura%

128: \SIA g,#1,{\veroparagrafo.\verafigura} %

129: \global\advance\numfig by 1%

130: \write15{\string\Fg (#1){\graf(#1)}}%

131: \write16{ Fig. #1 ==> \graf(#1) }}

132: 

133: \def\etichettap(#1){\veroparagrafo.\verasub%

134: \SIA p,#1,{\veroparagrafo.\verasub} %

135: \global\advance\numsub by 1%

136: \write15{\string\Fp (#1){\secc(#1)}}%

137: \write16{ par #1 ==> \secc(#1)  }}

138: 

139: \def\etichettapa(#1){A\veraappendice.\verasub%

140: \SIA p,#1,{A\veraappendice.\verasub} %

141: \global\advance\numsub by 1%

142: \write15{\string\Fp (#1){\secc(#1)}}%

143: \write16{ par #1 ==> \secc(#1)  }}

144: 

145: \def\Eq(#1){\eqno{\etichetta(#1)\alato(#1)}}

146: \def\eq(#1){\etichetta(#1)\alato(#1)}

147: \def\Eqa(#1){\eqno{\etichettaa(#1)\alato(#1)}}

148: \def\eqa(#1){\etichettaa(#1)\alato(#1)}

149: \def\eqg(#1){\getichetta(#1)\alato(fig. #1)}

150: \def\sub(#1){\0\palato(p. #1){\bf \etichettap(#1).}}

151: \def\asub(#1){\0\palato(p. #1){\bf \etichettapa(#1).}}

152: 

153: \def\equv(#1){\senondefinito{fe#1}$\clubsuit$#1%

154: \write16{eq. #1 non e' (ancora) definita}%

155: \else\csname fe#1\endcsname\fi}

156: \def\grafv(#1){\senondefinito{fg#1}$\clubsuit$#1%

157: \write16{fig. #1 non e' (ancora) definito}%

158: \else\csname fg#1\endcsname\fi}

159: \def\secv(#1){\senondefinito{fp#1}$\clubsuit$#1%

160: \write16{par. #1 non e' (ancora) definito}%

161: \else\csname fp#1\endcsname\fi}

162: 

163: \def\equ(#1){\senondefinito{e#1}\equv(#1)\else\csname e#1\endcsname\fi}

164: \def\graf(#1){\senondefinito{g#1}\grafv(#1)\else\csname g#1\endcsname\fi}

165: \def\figura(#1){{\css Figure} \getichetta(#1)}

166: %\def\fig(#1){\0\veroparagrafo.\getichetta(#1)}

167: \def\secc(#1){\senondefinito{p#1}\secv(#1)\else\csname p#1\endcsname\fi}

168: \def\sec(#1){{\S\secc(#1)}}

169: \def\refe(#1){{[\secc(#1)]}}

170: 

171: \def\BOZZA{\boz=1

172: \def\alato(##1){\rlap{\kern-\hsize\kern-1.2truecm{$\scriptstyle##1$}}}

173: \def\palato(##1){\rlap{\kern-1.2truecm{$\scriptstyle##1$}}}

174: }

175: 

176: \def\alato(#1){}

177: \def\galato(#1){}

178: \def\palato(#1){}

179: 

180: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

181: %%%%%%%%%%%%%%%%%%%%      DATA E PIE' DI PAGINA        %%%%%%%%%%%%%%%%%%%%%%

182: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

183: 

184: {\count255=\time\divide\count255 by 60 \xdef\hourmin{\number\count255}

185:         \multiply\count255 by-60\advance\count255 by\time

186:    \xdef\hourmin{\hourmin:\ifnum\count255<10 0\fi\the\count255}}

187: 

188: \def\oramin{\hourmin }

189: 

190: \def\data{\number\day/\ifcase\month\or gennaio \or febbraio \or marzo \or

191: aprile \or maggio \or giugno \or luglio \or agosto \or settembre

192: \or ottobre \or novembre \or dicembre \fi/\number\year;\ \oramin}

193: %\setbox200\hbox{$\scriptscriptstyle \data $}

194: \footline={\rlap{\hbox{\copy200}}\tenrm\hss \number\pageno\hss}

195: 

196: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

197: %%%%%%%%%%%%%%%      INSERIMENTO FIGURE ( se si usa DVIPS )    %%%%%%%%%%%%%%

198: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

199: 

200: \newcount\driver %\driver=1 %dvips

201: %

202: \newdimen\xshift \newdimen\xwidth

203: \def\ins#1#2#3{\vbox to0pt{\kern-#2 \hbox{\kern#1

204: #3}\vss}\nointerlineskip}

205: 

206: \def\insertplot#1#2#3#4#5{\par%

207: \xwidth=#1 \xshift=\hsize \advance\xshift by-\xwidth \divide\xshift by 2%

208: \yshift=#2 \divide\yshift by 2%

209: \line{\hskip\xshift \vbox to #2{\vfil%

210: \ifnum\driver=0 #3

211: \special{ps::[local,begin] gsave currentpoint translate}%

212: \special{ps: plotfile #4.eps} \special{ps::[end]grestore}\fi

213: \ifnum\driver=1 #3 \special{psfile=#4.eps}\fi

214: \ifnum\driver=2 #3

215: \ifnum\mgnf=0\special{#4.eps 1. 1. scale} \fi

216: \ifnum\mgnf=1\special{#4.eps 1.2 1.2 scale}\fi

217: \fi }\hfill \raise\yshift\hbox{#5}}}

218: 

219: \def\insertplotttt#1#2#3#4{\par%

220: \xwidth=#1 \xshift=\hsize \advance\xshift by-\xwidth \divide\xshift by 2%

221: \yshift=#2 \divide\yshift by 2%

222: \line{\hskip\xshift \vbox to #2{\vfil%

223: \ifnum\driver=0 #3

224: \special{ps::[local,begin] gsave currentpoint translate}%

225: \special{ps: plotfile #4.eps} \special{ps::[end]grestore}\fi

226: \ifnum\driver=1 #3 \special{psfile=#4.eps}\fi

227: \ifnum\driver=2 #3

228: \ifnum\mgnf=0\special{#4.eps 1. 1. scale} \fi

229: \ifnum\mgnf=1\special{#4.eps 1.2 1.2 scale}\fi

230: \fi }\hfill}}

231: 

232: \def\insertplott#1#2#3{\par%

233: \xwidth=#1 \xshift=\hsize \advance\xshift by-\xwidth \divide\xshift by 2%

234: \yshift=#2 \divide\yshift by 2%

235: \line{\hskip\xshift \vbox to #2{\vfil%

236: \ifnum\driver=0

237: \special{ps::[local,begin] gsave currentpoint translate}%

238: \special{ps: plotfile #3.eps} \special{ps::[end]grestore} \fi

239: \ifnum\driver=1 \special{psfile=#3.eps}\fi

240: \ifnum\driver=2

241: \ifnum\mgnf=0\special{#3.eps 1. 1. scale} \fi 

242: \ifnum\mgnf=1\special{#3.eps 1.2 1.2 scale}\fi

243: \fi }\hfill}}

244: 

245: \def\initfig#1{%

246: \catcode`\%=12\catcode`\{=12\catcode`\}=12

247: \catcode`\<=1\catcode`\>=2

248: \openout13=#1.ps}

249: \def\endfig{%

250: \closeout13

251: \catcode`\%=14\catcode`\{=1

252: \catcode`\}=2\catcode`\<=12\catcode`\>=12}

253: 

254: \newdimen\xshift \newdimen\xwidth \newdimen\yshift

255: %

256: \def\eqfig#1#2#3#4#5{

257: \par\xwidth=#1 \xshift=\hsize \advance\xshift

258: by-\xwidth \divide\xshift by 2

259: \yshift=#2 \divide\yshift by 2

260: \line{\hglue\xshift \vbox to #2{\vfil

261: \ifnum\driver=0 #3

262: \special{ps::[local,begin] gsave currentpoint translate}%

263: \special{ps: plotfile #4.ps} \special{ps::[end]grestore}\fi

264: \ifnum\driver=1 #3 \special{psfile=#4.ps}\fi

265: \ifnum\driver=2 #3 \special{

266: \ifnum\mgnf=0 #4.ps 1. 1. scale \fi

267: \ifnum\mgnf=1 #4.ps 1.2 1.2 scale\fi}

268: \fi}\hfill\raise\yshift\hbox{#5}}}

269: 

270: 

271: \def\figini#1{

272: \def\8{\write13}

273: \catcode`\%=12\catcode`\{=12\catcode`\}=12

274: \catcode`\<=1\catcode`\>=2

275: \openout13=#1.ps}

276: 

277: \def\figfin{

278: \closeout13

279: \catcode`\%=14\catcode`\{=1

280: \catcode`\}=2\catcode`\<=12\catcode`\>=12

281: }

282: %

283: % Se si vuole utilizzare delle macro postscript personali, contenute

284: % nel file ini.ps, togliere il commento alla riga seguente

285: %\special{header=ini.ps}

286: %

287: % Il comando seguente inserisce una scatola contenente #3 in modo che

288: % l'angolo superiore sinistro occupi la posizione (#1,#2)

289: %

290: %%\def\ins#1#2#3{\vbox to0pt{\kern-#2 \hbox{\kern#1 #3}\vss}\nointerlineskip}

291: %

292: % Il comando seguente crea una scatola di dimensioni #1x#2 contenente

293: % il disegno descritto in #4.ps;

294: % in questo disegno si possono introdurre delle stringhe usando \ins

295: % e mettendo le istruzioni relative nell'argomento #3.

296: % Il file #4.ps contiene le istruzioni postscript, che devono essere scritte

297: % presupponendo che l'origine sia nell'angolo inferiore sinistro della

298: % scatola, mentre per il resto l'ambiente grafico e' quello standard.

299: % #5 deve essere della forma \eqg("nome simbolico").

300: %

301: % Le istruzioni postscript possono essere inserite nel file che contiene

302: % l'istruzione \insertplot, racchiudendole fra le istruzioni \initfig{#4}

303: % e \endfig; inoltre ogni riga deve cominciare con "write13<" e deve finire

304: % con ">". In questo modo si crea il file #4.ps relativo alla figura.

305: %

306: %%\newdimen\xshift \newdimen\xwidth \newdimen\yshift

307: %%

308: %%\def\insertplot#1#2#3#4#5{\par%

309: %%\xwidth=#1 \xshift=\hsize \advance\xshift by-\xwidth \divide\xshift by 2%

310: %%\yshift=#2 \divide\yshift by 2%

311: %%\line{\hskip\xshift \vbox to #2{\vfil%

312: %%#3 \special{psfile=#4.ps}}\hfill \raise\yshift\hbox{#5}}}

313: %%

314: %%\def\initfig#1{%

315: %%\catcode`\%=12\catcode`\{=12\catcode`\}=12

316: %%\catcode`\<=1\catcode`\>=2

317: %%\openout13=#1.ps}

318: %%

319: %%\def\endfig{%

320: %%\closeout13

321: %%\catcode`\%=14\catcode`\{=1

322: %%\catcode`\}=2\catcode`\<=12\catcode`\>=12}

323: 

324: 

325: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

326: %%%%%%%%%%%%%%%%%%%%%%         SIMBOLI VARI           %%%%%%%%%%%%%%%%%%%%%%%

327: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

328: 

329: \let\a=\alpha \let\b=\beta  \let\g=\gamma  \let\d=\delta \let\e=\varepsilon

330: \let\z=\zeta  \let\h=\eta   \let\th=\theta \let\k=\kappa \let\l=\lambda

331: \let\m=\mu    \let\n=\nu    \let\x=\xi     \let\p=\pi    \let\r=\rho

332: \let\s=\sigma \let\t=\tau   \let\f=\varphi \let\ph=\varphi\let\c=\chi

333: \let\ps=\psi  \let\y=\upsilon \let\o=\omega\let\si=\varsigma

334: \let\G=\Gamma \let\D=\Delta  \let\Th=\Theta\let\L=\Lambda \let\X=\Xi

335: \let\P=\Pi    \let\Si=\Sigma \let\F=\Phi    \let\Ps=\Psi

336: \let\O=\Omega \let\Y=\Upsilon

337: 

338: \def\\{\hfill\break} \let\==\equiv

339: \let\txt=\textstyle\let\dis=\displaystyle

340: \let\io=\infty \def\Dpr{\V\dpr\,}

341: \def\aps{{\it a posteriori}}

342: \let\0=\noindent \def\pagina{{\vfill\eject}}

343: \def\bra#1{{\langle#1|}}\def\ket#1{{|#1\rangle}}

344: \def\media#1{{\langle#1\rangle}}

345: \def\ie{\hbox{\it i.e.\ }}\def\eg{\hbox{\it e.g.\ }}

346: \let\dpr=\partial \def\der{{\rm d}} \let\circa=\cong

347: \def\arccot{{\rm arccot}}

348: \def\percent{\%}

349: 

350: \def\cn{{\rm cn}} \def\sn{{\rm sn}} \def\dn{{\rm dn}}

351: 

352: \def\bx{{\bar x}} \def\by{{\bar y}} \def\bz{{\bar z}}

353: 

354: \def\tende#1{\,\vtop{\ialign{##\crcr\rightarrowfill\crcr

355:  \noalign{\kern-1pt\nointerlineskip}

356:  \hskip3.pt${\scriptstyle #1}$\hskip3.pt\crcr}}\,}

357: \def\otto{\,{\kern-1.truept\leftarrow\kern-5.truept\to\kern-1.truept}\,}

358: \def\fra#1#2{{#1\over#2}}

359: 

360: \def\PPP{{\cal P}}\def\EE{{\cal E}}\def\MM{{\cal M}} \def\VV{{\cal V}}

361: \def\CC{{\cal C}}\def\FF{{\cal F}}\def\HH{{\cal H}}\def\WW{{\cal W}}

362: \def\TT{{\cal T}}\def\NN{{\cal N}}\def\BB{{\cal B}}\def\II{{\cal I}}

363: \def\RR{{\cal R}}\def\LL{{\cal L}}\def\JJ{{\cal J}} \def\OO{{\cal O}}

364: \def\DD{{\cal D}}\def\AAA{{\cal A}}\def\GG{{\cal G}}\def\SS{{\cal S}}

365: \def\KK{{\cal K}}\def\UU{{\cal U}}\def\QQ{{\cal Q}}\def\XXX{{\cal X}}

366: 

367: \def\T#1{{#1_{\kern-3pt\lower7pt\hbox{$\widetilde{}$}}\kern3pt}}

368: \def\VVV#1{{\underline #1}_{\kern-3pt

369: \lower7pt\hbox{$\widetilde{}$}}\kern3pt\,}

370: \def\W#1{#1_{\kern-3pt\lower7.5pt\hbox{$\widetilde{}$}}\kern2pt\,}

371: \def\Re{{\rm Re}\,}\def\Im{{\rm Im}\,}

372: \def\lis{\overline}\def\tto{\Rightarrow}

373: \def\etc{{\it etc}} \def\acapo{\hfill\break}

374: \def\mod{{\rm mod}\,} \def\per{{\rm per}\,} \def\sign{{\rm sign}\,}

375: \def\indica{\leaders \hbox to 0.5cm{\hss.\hss}\hfill}

376: \def\guida{\leaders\hbox to 1em{\hss.\hss}\hfill}

377: 

378: \def\hh{{\bf h}} \def\HHH{{\bf H}} \def\AA{{bf A}}

379: \def\BBB{{\bf B}} \def\XX{{\bf X}} \def\PP{{\bf P}}

380: \def\vv{{\bf v}} \def\xx{{\bf x}} \def\yy{{\bf y}} \def\zz{{\bf z}}

381: \def\V0{{\bf 0}} \def\BBBB{\hbox{\euftw B}}

382: \def\RRRR{\hbox{\euftw R}} \def\GGGG{\hbox{\euftw G}}

383: \def\ul{\underline}

384: \def\olu{{\overline{u}}}

385: 

386: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

387: %%%%%%%%%%%%%%%%%    LETTERE GRECHE E LATINE IN NERETTO     %%%%%%%%%%%%%%%%%

388: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

389: 

390: % lettere greche e latine in neretto italico - pag.430 del manuale

391: \mathchardef\aa   = "050B

392: \mathchardef\bb   = "050C

393: \mathchardef\xxx  = "0518

394: \mathchardef\hhh  = "0511

395: \mathchardef\zzzzz= "0510

396: \mathchardef\oo   = "0521

397: \mathchardef\lll  = "0515

398: \mathchardef\mm   = "0516

399: \mathchardef\Dp   = "0540

400: \mathchardef\H    = "0548

401: \mathchardef\FFF  = "0546

402: \mathchardef\ppp  = "0570

403: \mathchardef\nn   = "0517

404: \mathchardef\pps  = "0520

405: %\mathchardef\XXX = "0504

406: \mathchardef\FFF  = "0508

407: \mathchardef\nnnnn= "056E

408: 

409: \def\ol#1{{\overline #1}}

410: 

411: \def\to{\rightarrow}

412: \def\la{\left\langle}

413: \def\ra{\right\rangle}

414: 

415: \def\Overline#1{{\bar#1}}

416: \let\ciao=\bye

417: \def\qed{\hfill\raise1pt\hbox{\vrule height5pt width5pt depth0pt}}

418: \def\hf#1{{\hat \f_{#1}}}

419: \def\barf#1{{\tilde \f_{#1}}} \def\tg#1{{\tilde g_{#1}}}

420: \def\bq{{\bar q}} \def\Val{{\rm Val}}

421: \def\indic{\hbox{\raise-2pt \hbox{\indbf 1}}}

422: 

423: \def\RRR{\hbox{\msytw R}} \def\rrrr{\hbox{\msytww R}}

424: \def\rrr{\hbox{\msytwww R}} \def\CCC{\hbox{\msytw C}}

425: \def\cccc{\hbox{\msytww C}} \def\ccc{\hbox{\msytwww C}}

426: \def\NNN{\hbox{\msytw N}} \def\nnnn{\hbox{\msytww N}}

427: \def\nnn{\hbox{\msytwww N}} \def\ZZZ{\hbox{\msytw Z}}

428: \def\zzzz{\hbox{\msytww Z}} \def\zzz{\hbox{\msytwww Z}}

429: \def\TTT{\hbox{\msytw T}} \def\tttt{\hbox{\msytww T}}

430: \def\ttt{\hbox{\msytwww T}}

431: \def\QQQ{\hbox{\msytw Q}} \def\qqqq{\hbox{\msytww Q}}

432: \def\qqq{\hbox{\msytwww Q}}

433: 

434: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

435: %%%%%%%%%%%%%%%%%    FORMATO PAGINA E LETTURA FILE .AUX     %%%%%%%%%%%%%%%%%

436: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

437: 

438: \newcount\mgnf  %ingrandimento

439: \mgnf=0 

440: 

441: \ifnum\mgnf=0

442: \def\openone{\leavevmode\hbox{\ninerm 1\kern-3.3pt\tenrm1}}%

443: \def\*{\vglue0.3truecm}\fi

444: \ifnum\mgnf=1

445: \def\openone{\leavevmode\hbox{\ninerm 1\kern-3.63pt\tenrm1}}%

446: \def\*{\vglue0.5truecm}\fi

447: 

448: 

449: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

450: %%%%%%%%%%%%%%%%%%%%%%         BIBBLIOGRAFIA        %%%%%%%%%%%%%%%%%%%%%%%%%

451: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

452: 

453: \newcount\tipobib\newcount\boz\boz=0\newcount\aux\aux=1

454: \newdimen\bibskip\newdimen\maxit\maxit=0pt

455: 

456: %\openin14=\jobname.aux \ifeof14 \relax \else

457: %\input \jobname.aux \closein14 \fi

458: %\openout15=\jobname.aux

459: 

460: \tipobib=0

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

462: 

463: \newwrite\bib

464: \immediate\openout\bib=\jobname.bib

465: \global\newcount\bibex

466: \bibex=0

467: \def\verabib{\number\bibex}

468: 

469: \ifnum\tipobib=0

470: \def\cita#1{\expandafter\ifx\csname c#1\endcsname\relax

471: \hbox{$\clubsuit$}#1\write16{Manca #1 !}%

472: \else\csname c#1\endcsname\fi}

473: \def\rife#1#2#3{\immediate\write\bib{\string\raf{#2}{#3}{#1}}

474: \immediate\write15{\string\C(#1){[#2]}}

475: \setbox199=\hbox{#2}\ifnum\maxit < \wd199 \maxit=\wd199\fi}

476: \else

477: \def\cita#1{%

478: \expandafter\ifx\csname d#1\endcsname\relax%

479: \expandafter\ifx\csname c#1\endcsname\relax%

480: \hbox{$\clubsuit$}#1\write16{Manca #1 !}%

481: \else\probib(ref. numero )(#1)%

482: \csname c#1\endcsname%

483: \fi\else\csname d#1\endcsname\fi}%

484: \def\rife#1#2#3{\immediate\write15{\string\Cp(#1){%

485: \string\immediate\string\write\string\bib{\string\string\string\raf%

486: {\string\verabib}{#3}{#1}}%

487: \string\Cn(#1){[\string\verabib]}%

488: \string\CCc(#1)%

489: }}}%

490: \fi

491: 

492: \def\Cn(#1)#2{\expandafter\xdef\csname d#1\endcsname{#2}}

493: \def\CCc(#1){\csname d#1\endcsname}

494: \def\probib(#1)(#2){\global\advance\bibex+1%

495: \9{\immediate\write16{#1\verabib => #2}}%

496: }

497: 

498: 

499: \def\C(#1)#2{\SIA c,#1,{#2}}

500: \def\Cp(#1)#2{\SIAnx c,#1,{#2}}

501: 

502: \def\SIAnx #1,#2,#3 {\senondefinito{#1#2}%

503: \expandafter\def\csname#1#2\endcsname{#3}\else%

504: \write16{???? ma #1,#2 e' gia' stato definito !!!!}\fi}

505: 

506: 

507: \bibskip=10truept

508: \def\hboxto{\hbox to}

509: \def\hsizeby{\hsize by}

510: \catcode`\{=12\catcode`\}=12

511: \catcode`\<=1\catcode`\>=2

512: \immediate\write\bib<

513:         \string\halign{\string\hboxto \string\maxit% 

514:         {\string #\string\hfill}&% 

515:         \string\vtop{\string\parindent=0pt\string\advance\string\hsize% 

516: %        by -1.55truecm%

517:         by -.5truecm%

518:         \string#\string\vskip \bibskip

519:         }\string\cr%

520: >

521: \catcode`\{=1\catcode`\}=2

522: \catcode`\<=12\catcode`\>=12

523: 

524: 

525: \def\raf#1#2#3{\ifnum \boz=0 [#1]&#2 \cr\else

526: \llap{${}_{\rm #3}$}[#1]&#2\cr\fi}

527: 

528: \newread\bibin

529: 

530: \catcode`\{=12\catcode`\}=12

531: \catcode`\<=1\catcode`\>=2

532: \def\chiudibib<

533: \catcode`\{=12\catcode`\}=12

534: \catcode`\<=1\catcode`\>=2

535: \immediate\write\bib<}>

536: \catcode`\{=1\catcode`\}=2

537: \catcode`\<=12\catcode`\>=12

538: >

539: \catcode`\{=1\catcode`\}=2

540: \catcode`\<=12\catcode`\>=12

541: 

542: \def\makebiblio{

543: \ifnum\tipobib=0

544: \advance \maxit by 10pt

545: \else

546: \maxit=1.truecm

547: \fi

548: \chiudibib

549: \immediate \closeout\bib

550: \openin\bibin=\jobname.bib

551: \ifeof\bibin\relax\else

552: \raggedbottom

553: \input \jobname.bib

554: \fi

555: }

556: 

557: \openin13=#1.aux \ifeof13 \relax \else

558: \input #1.aux \closein13\fi

559: \openin14=\jobname.aux \ifeof14 \relax \else

560: \input \jobname.aux \closein14 \fi

561: \immediate\openout15=\jobname.aux

562: 

563: 

564: \def\biblio{\*\*\centerline{\titolo References}\*\nobreak\makebiblio}

565: 

566: 

567: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

568: %%%%%%%%%%%%%%%%%%%%%%%%         CORNICE              %%%%%%%%%%%%%%%%%%%%%%%

569: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

570: 

571: \ifnum\mgnf=0

572:    \magnification=\magstep0

573:    \hsize=15.2truecm\vsize=20.8truecm\voffset1.truecm\hoffset.5truecm

574:    \parindent=0.3cm\baselineskip=0.45cm\fi

575: \ifnum\mgnf=1

576:    \magnification=\magstep1\hoffset=0.truecm

577:    \hsize=15.2truecm\vsize=20.8truecm

578:    \baselineskip=18truept plus0.1pt minus0.1pt \parindent=0.9truecm

579:    \lineskip=0.5truecm\lineskiplimit=0.1pt      \parskip=0.1pt plus1pt\fi

580: 

581: 

582: %%% IMPOSTAZIONI PARAMETRI E LETTURA FILE .AUX

583: 

584: \mgnf=0   %ingrandimento

585: \driver=1 %figure

586: \openin14=\jobname.aux \ifeof14 \relax \else

587: \input \jobname.aux \closein14 \fi

588: \openout15=\jobname.aux

589: 

590: \let\figini=\initfig

591: \let\figfin=\endfig

592: 

593: 

594: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

595: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

596: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

597: %                                                                        %

598: %                              ARTICOLO                                  %

599: %                                                                        %

600: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

601: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

602: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

603: 

604: 

605: %\BOZZA

606: %\headline{{\hss {\rm DRAFT - Not for circulation}}}

607: %\null\vskip.5truecm

608: 

609: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

610: %%%%%%%%%%%%%%%%%               TITOLO                  %%%%%%%%%%%%%%%%%%

611: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

612: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

613: \centerline{\titolone Summation of divergent series and Borel summability}

614: \vskip.3truecm

615: \centerline{\titolone for strongly dissipative equations}

616: \vskip.3truecm

617: \centerline{\titolone with periodic or quasi-periodic forcing terms}

618: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

619: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

620: 

621: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

622: %%%%%%%%%%%%%%%%%               AUTORI                  %%%%%%%%%%%%%%%%%%

623: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

624: \vskip1.truecm

625: \centerline{{\titolo

626: G. Gentile${^{\dagger}}$,

627: M.V. Bartuccelli${^{\star}}$,

628: J.H.B. Deane${^{\star}}$}}

629: \vskip0.4truecm

630: \centerline{{}$^{\dagger}$ Dipartimento di Matematica,

631: Universit\`a di Roma Tre, Roma, I-00146, Italy}

632: \vskip.1truecm

633: \centerline{$^{\star}$ Department of Mathematics and Statistics,

634: University of Surrey, Guildford, GU2 7XH, UK}

635: \vskip1.truecm

636: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

637: 

638: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

639: %%%%%%%%%%%%%%%%%             RIASSUNTO                 %%%%%%%%%%%%%%%%%%

640: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

641: \line{\vtop{

642: \line{\hskip1.1truecm\vbox{\advance \hsize by -2.3 truecm

643: \0{\cs Abstract.}

644: {\it We consider a class of second order ordinary differential equations

645: describing one-dimensional systems with a quasi-periodic analytic

646: forcing term and in the presence of damping.

647: As a physical application one can think of a

648: resistor-inductor-varactor circuit with a periodic

649: (or quasi-periodic) forcing function, even if the range of

650: applicability of the theory is much wider.

651: In the limit of large damping we look for quasi-periodic solutions

652: which have the same frequency vector of the forcing term, and we study

653: their analyticity properties in the inverse of the damping coefficient.

654: We find that already the case of periodic forcing terms is non-trivial,

655: as the solution is not analytic in a neighbourhood of the origin:

656: it turns out to be Borel-summable. In the case of

657: quasi-periodic forcing terms we need Renormalization Group

658: techniques in order to control the small divisors arising in the

659: perturbation series. We show the existence of a summation criterion

660: of the series in this case also, but, however, this 

661: can not be interpreted as Borel summability.

662: }} \hfill} }}

663: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

664: 

665: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

666: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

667: \vskip1.truecm

668: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

669: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

670: \section(1,Introduction)

671: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

672: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

673: 

674: \0Consider the ordinary differential equation

675: %

676: $$ \e \ddot x + \dot x + \e x^{2} = \e f(\oo t) ,

677: \Eq(1.1) $$

678: %

679: where $\oo\in\RRR^{d}$ is the frequency vector,

680: $f(\pps)$ is an analytic function,

681: %

682: $$ f(\pps) = \sum_{\nn\in \zzz^{d}} {\rm e}^{i\nn \cdot \pps} f_{\nn} ,

683: \Eq(1.2) $$

684: %

685: with average $\a=a^{2}$, with $a>0$ (hence $\langle f \rangle \=

686: f_{0}=\a$), and $\e>0$ is a real parameter. Here and henceforth

687: we denote with $\cdot$ the scalar product in $\RRR^{d}$.

688: By the analyticity assumption on $f$ there are

689: two strictly positive constants $F$ and $\x$ such that

690: one has $|f_{\nn}|\le F \, {\rm e}^{-\x|\nn|}$ for all $\nn\in\ZZZ^{d}$.

691: 

692: By writing $\g=1/\e$ the equation becomes

693: %

694: $$ \ddot x + \g \dot x + x^{2} = f(\oo t) , 

695: \Eq(1.3) $$

696: %

697: which describes a nonlinear electronic circuit,

698: known as resistor-inductor-varactor circuit,

699: subject to a quasi-periodic forcing function.

700: Taking $d=1$ and $f(\o t)=\a+\b \sin t$,

701: this equation has been studied in Ref.~\cita{DMGB}, where,

702: among other things, it has been found numerically that for $\g$ large

703: enough there exists only one attracting periodic orbit and the

704: corresponding period is $2\p/\o=2\p$, the same of the forcing term.

705: Furthermore one can prove analytically that such a

706: periodic orbit is the only one in a neighbourhood

707: of radius $O(1/\g)$ around the point $(a,0)$.

708: 

709: Here we give some further analytical support to such numerical findings.

710: In particular we show that, if we take as forcing term an

711: analytic periodic function,

712: %

713: $$ f(\psi) = \sum_{\n\in \zzz} {\rm e}^{i\n \psi} f_{\n} ,

714: \qquad f_{0} = \a > 0 ,

715: \Eq(1.4) $$

716: %

717: then for $\e$ small enough there is

718: a $2\p/\o$-periodic solution, but this is not analytic in $\e=1/\g$

719: in a neighbourhood the origin in the complex $\e$-plane.

720: We find that such a solution is Borel-summable.

721: 

722: We also show that by considering quasi-periodic forcing terms,

723: as in \equ(1.3), we still have a quasi-periodic solution

724: with the same frequency vector $\oo$ of the forcing term,

725: but we can only say in general that such a solution is analytic

726: in a domain with boundary crossing the origin.

727: 

728: Finally we shall see that considering more general nonlinearities

729: introduces no further difficulties, and equations like

730: %

731: $$ \ddot x + \g \dot x + g(x) = f(\oo t) , \qquad

732: \lim_{|x|\to\io} {|g(x)|\over |x|} = \io ,

733: \Eq(1.5) $$

734: %

735: with $g$ and $f$ both analytic in their arguments, can be dealt

736: with essentially in the same way. Simply, we have to impose

737: a non-degeneracy condition on the function $g$, which reads as

738: %

739: $$ \exists x_{0} \hbox{ such that } g(x_{0}) = f_{0} \hbox{ and }

740: g'(x_{0}) \neq 0 .

741: \Eq(1.6) $$

742: %

743: In the particular case of homogeneous $g(x)$,

744: that is $g(x)=\s x^{p}$, with $p\ge 2$ an integer and $\s\in\RRR$,

745: the condition is automatically satisfied if $p$ is odd

746: (for any value of $\s$), while it requires $\s f_{0}>0$

747: for $p$ even, -- as assumed in \equ(1.1).

748: 

749: The paper is organized as follows. For expository clearness

750: we start with the case of periodic forcing terms.

751: In Sections \secc(2) and \secc(3) we show that a periodic solution

752: with frequency $\o$ in the form of a formal power series in $\e$

753: (perturbation series) is well defined to all orders,

754: and it admits a natural graphical representation.

755: In Section \secc(4) we study further such a series,

756: and we see that there is strong evidence to expect that it diverges.

757: The best bounds that we are able to provide for the coefficients

758: grow as factorials. To obtain bounds which allow summability

759: of the perturbation series we have to perform a suitable summation

760: in order to give the series a meaning. This is done in Section \secc(5),

761: and the resummed series is found to represent a $2\p/\o$-periodic

762: solution which is Borel-summable in $\e$. To prove the latter property

763: we rely on Nevanlinna's improvement of Watson's theorem \cita{S}.

764: In Section \secc(6) we consider the case of quasi-periodic

765: forcing terms. We find that the perturbation series is well defined

766: if the frequency vector of the forcing term satisfies a

767: Diophantine condition, and, by using Renormalization Group techniques

768: in order to deal with the small divisors problem,

769: we find that the resummed series still converges to a

770: quasi-periodic solution, and it defines a function

771: analytic in a domain containing the origin in its boundary.

772: We shall see that the bounds we find do not allow us

773: any more to obtain Borel summability, unlike the case

774: of periodic forcing terms.

775: In Section \secc(7) we discuss how to extend the analysis to more

776: general nonlinearities $g(x)$, by requiring the condition \equ(1.6)

777: to be satisfied.

778: 

779: The interest of the approach we propose is that it allows

780: using perturbation theory which can be very natural in problems

781: in which a small parameter appears. In fact analyticity

782: in $\e$ for $\e$ close to $0$ (that is in $\g$ for $\g$ large enough)

783: could be proved very likely with other techniques, but a naive

784: expansion in powers of $\e$ is prevented by the lack of analyticity

785: in a neighbourhood of the origin.

786: On the other hand the perturbation series gives a very accurate

787: description of the solution, hence it is important to know that such a

788: series is an asymptotic series, and its use is fully justified.

789: Finally we can mention that the quasi-periodic solution we

790: investigate is of physical relevance, hence it can be useful

791: to study its properties. For instance in the case of the aforementioned

792: resistor-inductor-varactor circuit in Ref.~\cita{DMGB} the

793: $2\pi/\o$-periodic solution is numerically found to attract any

794: trajectory which remains bounded in phase space.

795: 

796: 

797: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

798: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

799: \*\*

800: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

801: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

802: \section(2,Formal analysis)

803: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

804: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

805: 

806: \0Consider first \equ(1.1) for $d=1$, that is

807: %

808: $$ \e \ddot x + \dot x + \e x^{2} = \e f(\o t) ,

809: \Eq(2.1) $$

810: %

811: with $f(\psi)$ given by \equ(1.4).

812: We look for bounded solutions (if any) which are

813: analytic in $\e$, that is of the form

814: %

815: $$ x(t) = \sum_{k=0}^{\io} \e^{k} x^{(k)}(t) .

816: \Eq(2.2) $$

817: %

818: Inserting \equ(2.2) into \equ(2.1) and equating terms of the same Taylor 

819: order we find the set of recursive equations

820: %

821: $$ \eqalign{

822: \dot x^{(0)} & = 0 , \cr

823: \dot x^{(1)} & = - \ddot x^{(0)} - x^{(0)2} + f , \cr

824: \dot x^{(k)} & = - \ddot x^{(k-1)} - \sum_{k_{1}+k_{2}=k-1}

825: x^{(k_{1})} x^{(k_{2})} , \qquad k \ge 2 . \cr}

826: \Eq(2.3) $$

827: %

828: From the first equation (zeroth order) we obtain that $x^{(0)}$ has to be

829: constant, say $x^{(0)}=c_{0}$ with $c_{0}$ to be determined.

830: The second equation (first order) can give a bounded solution

831: only if $-c_{0}^{2}+\a=0$, which fixes $c_{0}=\sqrt{\a}=a$

832: and gives $x^{(1)}(t)$ as a periodic function with the

833: same period of the forcing term:

834: %

835: $$ x^{(1)}(t) = x^{(1)}(0) +

836: \int_{0}^{t} {\rm d} t' \left( f(\o t') - \a \right) .

837: \Eq(2.4) $$

838: %

839: As each $x^{(k)}(t)$ depends on the functions $x^{(k')}(t)$

840: with $k'<k$, we expect that if there is any

841: periodic solution then it must have the same period as the forcing term.

842: 

843: To continue the analysis to all orders it is more convenient

844: to write the recursive equations \equ(2.3) in Fourier space.

845: The analysis to first order and the considerations above motivate

846: us to write in \equ(2.2)

847: %

848: $$ x(t) = \sum_{k=0}^{\io} \e^{k} x^{(k)}(t) = 

849: \sum_{k=0}^{\io} \e^{k} \sum_{\n\in\zzz} e^{i\n\o t} x^{(k)}_{\n} ,

850: \Eq(2.5) $$

851: %

852: which inserted into \equ(2.3) gives for $\n \neq 0$

853: %

854: $$ \eqalign{

855: x^{(0)}_{\n} & = 0 , \cr

856: x^{(1)}_{\n} & = {f_{\n} \over i\o\n} , \cr

857: x^{(k)}_{\n} & = - (i\o\n)\, x^{(k-1)}_{\n} - {1 \over i\o\n}

858: \sum_{\scriptstyle k_{1}+k_{2}=k-1 \atop k_{1},k_{2} \ge 0}

859: \sum_{\n_{1}+\n_{2}=\n}

860: x^{(k_{1})}_{\n_{1}} x^{(k_{2})}_{\n_{2}} , \qquad k \ge 2 , \cr}

861: \Eq(2.6) $$

862: %

863: provided that one has for $\n=0$

864: %

865: $$ \eqalign{

866: 0 & = - x^{(0)2}_{0} + f_{0} , \cr

867: 0 & = \sum_{\scriptstyle k_{1}+k_{2}=k \atop k_{1},k_{2} \ge 0}

868: \sum_{\n_{1}+\n_{2}=0}

869: x^{(k_{1})}_{\n_{1}} x^{(k_{2})}_{\n_{2}} , \qquad k \ge 1 . \cr}

870: \Eq(2.7) $$

871: %

872: If we set $x^{(k)}_{0}=c_{k}$ then the first of \equ(2.7) fixes,

873: as already noted,

874: %

875: $$ c_{0}=a=\sqrt{\a} ,

876: \Eq(2.8) $$

877: %

878: because one has $f_{0}=\a>0$, while the second of \equ(2.7) gives

879: %

880: $$ \sum_{k'=0}^{k} \sum_{\n_{1}\in\zzz} x^{(k-k')}_{\n_{1}}

881: x^{(k')}_{-\n_{1}} = 0 .

882: \Eq(2.9) $$

883: %

884: The latter equation, by taking into account \equ(2.8) and

885: the first of \equ(2.6), can be more conveniently written as

886: %

887: $$ c_{1} = 0 , \qquad\qquad

888: c_{k} = -{1 \over 2 c_{0}} \sum_{k'=1}^{k-1}

889: \sum_{\n_{1}\in\zzz} x^{(k-k')}_{\n_{1}} x^{(k')}_{-\n_{1}} ,

890: \qquad k \ge 2 ,

891: \Eq(2.10) $$

892: %

893: which provides an iterative definition of the coefficients

894: $c_{k}$ as the right hand side depends only on the coefficients

895: $c_{k'}$ with $k'<k$. To deduce $c_{1}=0$ we used the first of \equ(2.6),

896: which, inserted into \equ(2.9) for $k=1$, gives $2 c_{0}c_{1} = 0$,

897: hence $c_{1}=0$ as $c_{0} \neq 0$.

898: 

899: The following result holds.

900: 

901: \*

902: 

903: \0{\bf Lemma 1.} {\it Consider \equ(2.1) with $f$ given by \equ(1.4)

904: Then there exists a formal power series solution \equ(2.2)

905: whose coefficients $x^{(k)}(t)$ are analytic in $t$.

906: If $f$ is a trigonometric polynomial, that is

907: in \equ(1.4) one has $|\n|\le N$ for some $N\in\NNN$, then for all

908: $k \ge 0$ the functions $x^{(k)}(t)$ are trigonometric polynomials of

909: order $[(k+1)/2]N$, where $[\cdot]$ denotes the integer part. This means

910: that one has $x^{(2k)}_{\n}=0$ and $x^{(2k-1)}_{\n}=0$ for $|\n|>kN$.}

911: 

912: \*

913: 

914: \0{\it Proof.} The existence of a formal solution \equ(2.2),

915: with coefficients $x^{(k)}(t)$ analytic in $t$ for all $k\ge 0$,

916: follows from the analysis above. If $f$ is a trigonometric

917: polynomial of degree $N$, that the coefficients $x^{(k)}_{\n}$

918: are trigonometric polynomials with the stated properties

919: can be proved from \equ(2.6) by induction on $k$. \qed

920: 

921: \*

922: 

923: Then the functions $x^{(k)}(t)$ are well defined to all orders.

924: Before discussing the issue of convergence of the formal power series

925: defining such functions we look for a graphical representation

926: of the coefficients $x^{(k)}_{\n}$.

927: 

928: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

929: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

930: \*\*

931: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

932: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

933: \section(3,Graphical representation and tree formalism)

934: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

935: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

936: 

937: \0We start by giving some abstract definitions.

938: 

939: \*

940: 

941: \0{\bf Definition 1 (Trees).}

942: {\it A tree $\th$ is a graph, that is a connected set of points

943: and lines, with no cycle, such that all the lines are oriented toward

944: a unique point which has only one incident line.

945: Such a point is called the {\rm root} of the tree.

946: All the points in a tree except the root are denoted {\rm nodes}.

947: The line entering the root is called the {\rm root line}. 

948: The orientation of the lines in a tree induces a partial ordering 

949: relation between the nodes. We denote this relation by $\preceq$:

950: given two nodes $v$ and $w$, we shall write $w \preceq v$ every

951: time $v$ is along the path (of lines) which connects $w$ to the root.}

952: 

953: \*

954: 

955: Given a tree $\th$, we can identify the following subsets in $\th$.

956: 

957: \*

958: 

959: \0{\bf Definition 2 (Endpoints).}

960: {\it We call $E(\th)$ the set of {\rm endpoints} in $\th$,

961: that is the nodes which have no entering line. The endpoints can be

962: represented either as {\rm white bullets} or as {\rm black bullets}.

963: We call $E_W(\th)$ the set of white bullets and $E_{B}(\th)$

964: the set of black bullets. Of course $E_{W}(\th)\cup E_{B}(\th)=E(\th)$.

965: With each $v \in E_{W}(\th)$ we associate a {\rm mode} label $\n_v = 0$,

966: an {\rm order} label $k_{v} \in \ZZZ_{+}$ and a {\rm node factor}

967: $F_v = c_{k_{v}}$. With each $v \in E_{B}(\th)$ we associate

968: a {\rm mode} label $\n_{v}\in\ZZZ\setminus\{0\}$,

969: and a {\rm node factor} $F_{v} = f_{\n_{v}}$.}

970: 

971: \*

972: 

973: \0{\bf Definition 3 (Lines).}

974: {\it We denote with $L(\th)$ the set of {\rm lines} in $\th$.

975: Each line $\ell \in L(\th)$ leaves a point $v$ and enters another

976: one which we shall denote by $v'$. Since $\ell$ is uniquely

977: identified with $v$ (the point which $\ell$ leaves),

978: we may write $\ell = \ell_v$. 

979: With each line $\ell$ we associate a {\rm momentum} label $\n_{\ell}

980: \in \ZZZ$ and a {\rm propagator}

981: %

982: $$ g_{\ell} =

983: \cases{

984: 1/(i\o\n_{\ell}) , & $\n_{\ell} \neq 0$, \cr

985: 1 , & $\n_{\ell}=0$, \cr}

986: \Eq(3.1) $$

987: %

988: and we say that the momentum $\n_{\ell}$ flows through the line $\ell$.

989: The modes and the momenta are related as follows:

990: if $\ell = \ell_{v}$ one has

991: %

992: $$ \n_{\ell} = \sum_{i=1}^{s_{v}} \n_{\ell_{i}} =

993: \sum_{w \in E_{B}(\th) \atop w \preceq v} \n_{w} ,

994: \Eq(3.2) $$

995: %

996: where $\ell_{1},\ldots,\ell_{s_{v}}$ are the lines entering $v$.}

997: 

998: \*

999: 

1000: \0{\bf Definition 4 (Vertices).}

1001: {\it We denote by $V(\th)$ the set of {\rm vertices} in $\th$,

1002: that is the set of points which have at least one entering line.

1003: If $V(\th)\neq\emptyset$ we call the vertex $v_{0}$

1004: connected to the root the {\rm last vertex} of the tree.

1005: If $s_{v}$ denotes the number of lines entering $v$ call

1006: $\max_{v\in V(\th)} s_{v}$ the {\rm branching number}.

1007: One can have either $s_{v}=1$ or $s_{v}=2$.

1008: We set $V_{s}(\th)=\{v\in V(\th) : s_{v}=s\}$ for $s=1,2$;

1009: of course $V_{1}(\th)\cup V_{2}(\th) = V(\th)$. We define also

1010: $V_{0}(\th)=\{v\in V(\th) : \n_{\ell_{v}}=0\}$; one has

1011: $V_{0}(\th) \subset V_{2}(\th)$. We require that either

1012: $V_{0}(\th)=\emptyset$ or $V_{0}(\th)=\{v_{0}\}$,

1013: and that one can have $v\in V_{1}(\th)$ only if $\n_{\ell_{v}}\neq0$.

1014: We associate with each vertex $v\in V(\th)$ a {\rm node factor}

1015: %

1016: $$ F_{v} = \cases{

1017: -1 , & $s_{v} = 2$ and $v\notin V_{0}(\th)$ , \cr

1018: -1/2c_{0} , & $s_{v} = 2$ and $v\in V_{0}(\th)$ , \cr

1019: -(i\o\n_{\ell_{v}})^{2} , & $s_{v}=1$, \cr}

1020: \Eq(3.3) $$

1021: %

1022: which is always well defined as $c_{0} \neq 0$.}

1023: 

1024: \*

1025: 

1026: We call {\it equivalent} two trees which can be transformed into

1027: each other by continuously deforming the lines in such a way that

1028: they do not cross each other.

1029: 

1030: Let $\TT_{k,\n}$ be the set of inequivalent trees $\th$ such that\\

1031: (1) the number of vertices, the number of black bullets

1032: and the order labels of the white bullets are such that we have

1033: %

1034: $$ \cases{

1035: k_{1} + k_{2} + k_{3} = k , & if $\n\neq0$ , \cr

1036: k_{1} + k_{2} + k_{3} = k + 1 , & if $\n=0$ , \cr}

1037: \Eq(3.4) $$

1038: %

1039: if we set $k_{1} = |V(\th)|$, $k_{2}=|E_{B}(\th)|$

1040: and $k_{3} = \sum_{v \in E_W(\th)} k_v$, and\\

1041: (2) the momentum flowing through the root line is $\n$.

1042: 

1043: We refer to $\TT_{k,\n}$ as the {\it set of trees of order

1044: $k$ and total momentum $\n$.}

1045: 

1046: With the above definitions the following result holds.

1047: 

1048: \*

1049: 

1050: \0{\bf Lemma 2.} {\it For all $k \ge 1$ and all $\n\neq0$ one has

1051: %

1052: $$ x^{(k)}_{\n} = \sum_{\th \in \TT_{k,\n}} \Val(\th) , \qquad

1053: \Val(\th) = \left(\prod_{\ell \in L(\th)} g_{\ell} \right) 

1054: \left(\prod_{v \in E(\th) \cup V(\th)} F_{v} \right) ,

1055: \Eq(3.5) $$

1056: %

1057: where $\Val: \TT_{k,\n} \to \CCC$ is called the {\rm value} of the tree.

1058: For $k\ge 2$ and $\n=0$ one has

1059: %

1060: $$ x^{(k)}_{0} \= c_{k} =

1061: {\mathop{\sum}_{\th\in\TT_{k,0}}}^{*} \Val(\th) ,

1062: \Eq(3.6) $$

1063: %

1064: where $*$ means that there are two lines entering the last

1065: vertex $v_{0}$ of $\th_{0}$ and neither one exits from

1066: an endpoint $v$ with order label $k_{v}=0$.}

1067: 

1068: \*

1069: 

1070: \0{\it Proof.}

1071: We can represent graphically $x^{(k)}_{0}=c_{k}$ as in

1072: Figure \graf(3.1)a, $x^{(1)}_{\n}$, $\n\ne0$, as in Figure \graf(3.1)b,

1073: and, more generally, $x^{(k)}_{\n}$ as in Figure \graf(3.1)c.

1074: 

1075: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

1076: % FIGURE 1

1077: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

1078: \midinsert

1079: \*

1080: \insertplotttt{271pt}{19pt}{

1081: \ins{-15pt}{15pt}{(a)}

1082: \ins{35pt}{26pt}{$(k)$}

1083: \ins{90pt}{15pt}{(b)}

1084: \ins{143pt}{26pt}{$(1)$}

1085: \ins{126pt}{6pt}{$\n$}

1086: \ins{200pt}{15pt}{(c)}

1087: \ins{255.5pt}{30.5pt}{$(k)$}

1088: \ins{233pt}{6pt}{$\n$}

1089: }

1090: {fishfig1}

1091: \*

1092: \line{\vtop{\line{\hskip1.5truecm\vbox{\advance\hsize by -3.1 truecm

1093: \0{\nota

1094: \figura(3.1).

1095: Graphical representation of $x^{(k)}_{0}$, $x^{(1)}_{\n}$

1096: and $x^{(k)}_{\n}$. For $\n=0$ the latter reduces

1097: to the first graph, while for $k=1$ and $\n\ne0$ it reduces

1098: to the second graph. In the first graph the momentum

1099: is not shown as it is necessarily $\n=0$.}

1100: } \hfill} }}

1101: \*

1102: \endinsert

1103: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

1104: 

1105: Then the third equation in \equ(2.6) can be represented

1106: graphically as in Figure \graf(3.2),

1107: if we associate with the nodes and to the lines the node factors

1108: and the propagators, respectively, according to 

1109: the definitions \equ(3.1) and \equ(3.3).

1110: 

1111: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

1112: % FIGURE 2

1113: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

1114: \midinsert

1115: \*

1116: \insertplotttt{271pt}{59pt}{

1117: \ins{40pt}{50pt}{$(k)$}

1118: \ins{16pt}{26pt}{$\n$}

1119: \ins{63pt}{31pt}{$=$}

1120: \ins{89pt}{26pt}{$\n$}

1121: \ins{141pt}{50pt}{$(k\!-\!1)$}

1122: \ins{125pt}{26pt}{$\n$}

1123: \ins{169pt}{36pt}{$+$}

1124: \ins{197pt}{26pt}{$\n$}

1125: \ins{255pt}{72pt}{$(k_{1})$}

1126: \ins{255pt}{30pt}{$(k_{2})$}

1127: \ins{237pt}{36pt}{$\n_{1}$}

1128: \ins{237pt}{12pt}{$\n_{2}$}

1129: }

1130: {fishfig2}

1131: \*

1132: \line{\vtop{\line{\hskip1.5truecm\vbox{\advance\hsize by -3.1 truecm

1133: \0{\nota

1134: \figura(3.2).

1135: Graphical representation of the third equation in \equ(2.6)

1136: expressing the coefficient $x^{(k)}_{\n}$ for $k\ge2$ and $\n\neq0$

1137: in terms of the coefficients  $x^{(k')}_{\n'}$ with $k'<k$.

1138: In the last graph one has the constraints $k_{1}+k_{2}=k-1$

1139: and $\n_{1}+\n_{2}=\n$.}

1140: } \hfill} }}

1141: \*

1142: \endinsert

1143: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

1144: 

1145: Analogously \equ(2.10) is represented graphically

1146: as in Figure \graf(3.3), again if we use the graphical

1147: representations in Figure \graf(3.1) and associate with the

1148: lines and vertices the propagators \equ(3.1)

1149: and the node factors \equ(3.3), respectively.

1150: 

1151: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

1152: % FIGURE 3

1153: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

1154: \midinsert

1155: \*

1156: \insertplotttt{163pt}{59pt}{

1157: \ins{35pt}{47pt}{$(k)$}

1158: \ins{52pt}{31pt}{$=$}

1159: \ins{147pt}{71pt}{$(k_{1})$}

1160: \ins{147pt}{31pt}{$(k_{2})$}

1161: \ins{126pt}{35pt}{$\n_{1}$}

1162: \ins{126pt}{15pt}{$\n_{2}$}

1163: }

1164: {fishfig3}

1165: \*

1166: \line{\vtop{\line{\hskip1.5truecm\vbox{\advance\hsize by -3.1 truecm

1167: \0{\nota

1168: \figura(3.3).

1169: Graphical representation of the equation \equ(2.10)

1170: expressing the coefficient $c_{k}$ for $k\ge2$ in terms of the

1171: coefficients  $x^{(k')}_{\n'}$ with $k'<k$. Both $k_{1}$ and $k_{2}$

1172: are strictly positive and $k_{1}+k_{2}=k$; moreover $\n_{1}+\n_{2}=0$.}

1173: } \hfill} }}

1174: \*

1175: \endinsert

1176: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

1177: 

1178: Note that in this way we represent graphically each

1179: coefficient $x^{(k)}_{\n}$ in terms of other coefficients

1180: $x^{(k')}_{\n'}$, with $k'<k$, so that we can apply iteratively

1181: the graphical representation in Figure \graf(3.2) until only trees

1182: whose endpoints represent either $x^{(1)}_{\n}$ with $\n\neq 0$

1183: (black bullets) or $c_{k}$ are left (white bullets). This corresponds

1184: exactly to the expressions in \equ(3.5) and \equ(3.6). \qed

1185: 

1186: \*

1187: 

1188: To get familiar with the graphic representation \equ(3.5) and \equ(3.6)

1189: one should try to draw the trees which correspond to the first orders,

1190: and check that the sum of the values obtained with the graphical

1191: rules listed above gives exactly the same analytical expression

1192: which can be deduced directly from \equ(2.6) and \equ(2.10).

1193:  

1194: For instance for $k=2$ we obtain for $x^{(2)}_{\n}$, $\n\ne0$,

1195: the graphical representation in Figure \graf(3.4) and for

1196: $c_{2}=x^{(2)}_{0}$ the graphical representation in Figure \graf(3.5).

1197: 

1198: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

1199: % FIGURE 4

1200: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

1201: \midinsert

1202: \*

1203: \insertplotttt{262pt}{49pt}{

1204: \ins{39pt}{47pt}{$(2)$}

1205: \ins{16pt}{21pt}{$\n$}

1206: \ins{59pt}{25pt}{$=$}

1207: \ins{85pt}{21pt}{$\n$}

1208: \ins{143pt}{41pt}{$(1)$}

1209: \ins{124pt}{21pt}{$\n$}

1210: \ins{164pt}{27pt}{$+$}

1211: \ins{193pt}{21pt}{$\n$}

1212: \ins{251pt}{61pt}{$(0)$}

1213: \ins{251pt}{22pt}{$(1)$}

1214: \ins{234pt}{9pt}{$\n$}

1215: }

1216: {fishfig4}

1217: \*

1218: \line{\vtop{\line{\hskip1.5truecm\vbox{\advance\hsize by -3.1 truecm

1219: \0{\nota

1220: \figura(3.4).

1221: Graphical representation of $x^{(2)}_{\n}$ for $\n\neq 0$.

1222: The second contribution has to be counted twice,

1223: because there is also a tree with the white and black bullets

1224: exchanged, -- of course the latter has the same value.}

1225: } \hfill} }}

1226: \*

1227: \endinsert

1228: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

1229: 

1230: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

1231: % FIGURE 5

1232: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

1233: \midinsert

1234: \*

1235: \insertplotttt{154pt}{50pt}{

1236: \ins{34pt}{43pt}{$(2)$}

1237: \ins{52pt}{26pt}{$=$}

1238: \ins{142pt}{63pt}{$(1)$}

1239: \ins{142pt}{23pt}{$(1)$}

1240: \ins{126pt}{30pt}{$\n_{1}$}

1241: \ins{120pt}{8pt}{$-\n_{1}$}

1242: }

1243: {fishfig5}

1244: \*

1245: \line{\vtop{\line{\hskip1.5truecm\vbox{\advance\hsize by -3.1 truecm

1246: \0{\nota

1247: \figura(3.5).

1248: Graphical representation of $c_{2}=x^{(2)}_{0}$. There is no

1249: contribution with any white bullet carrying order label $k=0$

1250: and $k=1$ because of the restriction in the sum appearing

1251: in {\equ(3.6)} and of the fact that $c_{1}=0$, respectively.}

1252: } \hfill} }}

1253: \*

1254: \endinsert

1255: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

1256: 

1257: For $k=3$ we obtain for $x^{(3)}_{\n}$, $\n\ne0$, the graphical

1258: representation in Figure \graf(3.6) and for $c_{3}=x^{(3)}_{0}$

1259: the graphical representation in Figure \graf(3.7),

1260: where we have explicitly used that $c_{1} = 0$.

1261: 

1262: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

1263: % FIGURE 6

1264: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

1265: \midinsert

1266: \*

1267: \insertplotttt{334pt}{194pt}{

1268: \ins{39pt}{192pt}{$(3)$}

1269: \ins{16pt}{166pt}{$\n$}

1270: \ins{61pt}{172pt}{$=$}

1271: \ins{90pt}{166pt}{$\n$}

1272: \ins{125pt}{166pt}{$\n$}

1273: \ins{180pt}{187pt}{$(1)$}

1274: \ins{160pt}{166pt}{$\n$}

1275: \ins{201pt}{174pt}{$+$}

1276: \ins{233pt}{166pt}{$\n$}

1277: \ins{267pt}{166pt}{$\n$}

1278: \ins{324pt}{207pt}{$(0)$}

1279: \ins{324pt}{167pt}{$(1)$}

1280: \ins{307pt}{154pt}{$\n$}

1281: \ins{61pt}{101pt}{$+$}

1282: \ins{90pt}{94pt}{$\n$}

1283: \ins{143pt}{135pt}{$(0)$}

1284: \ins{125pt}{94pt}{$\n$}

1285: \ins{180pt}{135pt}{$(0)$}

1286: \ins{180pt}{95pt}{$(1)$}

1287: \ins{164pt}{82pt}{$\n$}

1288: \ins{202pt}{102pt}{$+$}

1289: \ins{233pt}{94pt}{$\n$}

1290: \ins{288pt}{135pt}{$(0)$}

1291: \ins{267pt}{84pt}{$\n$}

1292: \ins{324pt}{75pt}{$(1)$}

1293: \ins{303pt}{67pt}{$\n$}

1294: \ins{60pt}{28pt}{$+$}

1295: \ins{90pt}{22pt}{$\n$}

1296: \ins{145pt}{62pt}{$(1)$}

1297: \ins{125pt}{32pt}{$\n_{1}$}

1298: \ins{145pt}{22pt}{$(1)$}

1299: \ins{125pt}{9pt}{$\n_{2}$}

1300: }

1301: {fishfig6}

1302: \*

1303: \line{\vtop{\line{\hskip1.5truecm\vbox{\advance\hsize by -3.1 truecm

1304: \0{\nota

1305: \figura(3.6).

1306: Graphical representation of $x^{(3)}_{\n}$ for $\n\neq 0$.

1307: The second and fourth contributions have to be counted twice,

1308: while the third one has to be counted four times. There is no

1309: contribution with any white bullet carrying the order label $k=1$

1310: as $c_{1}=0$.}

1311: } \hfill} }}

1312: \*

1313: \endinsert

1314: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

1315: 

1316: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

1317: % FIGURE 7

1318: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

1319: \midinsert

1320: \*

1321: \insertplotttt{334pt}{70pt}{

1322: \ins{35pt}{61pt}{$(3)$}

1323: \ins{61pt}{44.5pt}{$=$}

1324: \ins{90pt}{41pt}{$0$}

1325: \ins{143pt}{82pt}{$(1)$}

1326: \ins{118pt}{69pt}{$-\n$}

1327: \ins{125pt}{39pt}{$\n$}

1328: \ins{180pt}{82pt}{$(0)$}

1329: \ins{180pt}{40pt}{$(1)$}

1330: \ins{160pt}{29pt}{$\n$}

1331: \ins{202pt}{39pt}{$+$}

1332: \ins{233pt}{41pt}{$0$}

1333: \ins{288pt}{82pt}{$(1)$}

1334: \ins{267pt}{29pt}{$\n$}

1335: \ins{260pt}{66pt}{$-\n$}

1336: \ins{324pt}{22pt}{$(1)$}

1337: \ins{303pt}{12pt}{$\n$}

1338: %\ins{60pt}{22pt}{$+$}

1339: %\ins{90pt}{22pt}{$0$}

1340: %\ins{145pt}{62pt}{$(1)$}

1341: %\ins{145pt}{22pt}{$(2)$}

1342: }

1343: {fishfig7}

1344: \*

1345: \line{\vtop{\line{\hskip1.5truecm\vbox{\advance\hsize by -3.1 truecm

1346: \0{\nota

1347: \figura(3.7).

1348: Graphical representation of $c_{3}=x^{(3)}_{0}$.

1349: The second contribution has to be counted twice,

1350: while the first one has to be counted four times. There is no

1351: contribution with any white bullet carrying the order label $k=1$

1352: as $c_{1}=0$.}

1353: } \hfill} }}

1354: \*

1355: \endinsert

1356: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

1357: 

1358: And so on one can continue to higher orders. In general a

1359: tree $\th\in\TT_{k,\n}$ looks like in Figure \graf(3.8),

1360: where for simplicity no labels have been drawn other

1361: than the order labels of the white bullets.

1362: Note that each node can have only one or two entering lines,

1363: while the endpoints have no entering line at all.

1364: Moreover the momentum flowing through the line exiting a vertex $v$

1365: is equal to the sum of the momenta flowing through the lines

1366: entering $v$, according to \equ(3.2): this is a sort of conservation law.

1367: The order of the tree is given by the number of vertices and

1368: black bullets plus the sum of the order labels of the white bullets

1369: minus the number of vertices in $V_{0}(\th)$. The latter

1370: is just $|V_{0}(\th)|=0$ if $\th\in\TT_{k,\n}$, $\n\neq0$,

1371: and $|V_{0}(\th)|=1$ if $\th\in\TT_{k,0}$.

1372: 

1373: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

1374: % FIGURE 8

1375: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

1376: \midinsert

1377: \*

1378: \insertplotttt{262pt}{86pt}{

1379: \ins{68.6pt}{81pt}{$(k_{1})$}

1380: \ins{176.6pt}{99pt}{$(k_{2})$}

1381: \ins{248pt}{23pt}{$(k_{3})$}

1382: }

1383: {fishfig8}

1384: \*

1385: \line{\vtop{\line{\hskip1.5truecm\vbox{\advance\hsize by -3.1 truecm

1386: \0{\nota

1387: \figura(3.8).

1388: Example of tree appearing in the graphical expansions {\equ(3.5)}

1389: and {\equ(3.6)}. The number of lines entering any vertex $v$ can be

1390: only either $s_{v}=1$ or $s_{v}=2$, while no line enters the endpoints.

1391: The order of the tree is given by the number of elements

1392: in $V(\th)\setminus V_{0}(\th)$ plus the number of elements

1393: in $E_{B}(\th)$ plus the sum of the order labels of the white bullets.

1394: Then, if $k_{1}$, $k_{2}$ and $k_{3}$ are the order labels of the

1395: white bullets in the figure the order of the tree

1396: is $k=k_{1}+k_{2}+k_{3}+10$ if $v_{0}\notin V_{0}(\th)$ and

1397: $k=k_{1}+k_{2}+k_{3}+9$ if $v_{0}\in V_{0}(\th)$.

1398: In the latter case one must have $k_{1}>0$

1399: because of the constraint in the sum appearing in \equ(3.6).}

1400: } \hfill} }}

1401: \*

1402: \endinsert

1403: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

1404: 

1405: If a vertex $v$ has $s_{v}=1$, that is it has

1406: only one entering line $\ell$, the latter can not come out from

1407: a white bullet. Indeed if this occurs one should have

1408: $\n_{\ell_{v}}=\n_{\ell}=0$, hence $F_{v}=0$ by \equ(3.3),

1409: so that the value of the tree containing such a vertex is zero.

1410: 

1411: Given a tree as in Figure \graf(3.8) we can represent

1412: each white bullet according to the graphic representation

1413: in Figure \graf(3.3), corresponding to the analytic formula \equ(3.6),

1414: and expand again the two contributions $x^{(k_{1})}_{\n_{1}}$

1415: and $x^{(k_{2})}_{\n_{2}}$ as sums of trees,

1416: and so on, iteratively, until the only white bullets which are

1417: left are the ones with order label $k=0$. In this way we obtain a new

1418: graphic representation where the trees still look like

1419: in Figure \graf(3.8), but now there are a few differences:\\

1420: (1) all the white bullets $v \in E_{W}(\th)$

1421: have order labels $k_{v}=0$, and\\

1422: (2) there can be lines $\ell\in L(\th)$ with momentum

1423: $\n_{\ell}=0$ which come out from vertices, that is

1424: $V_{0}(\th)$ can contain more than one or none element.

1425: 

1426: Note that only lines coming out either from nodes in

1427: $V_{0}(\th) \subset V_{2}(\th)$ or

1428: from white bullets have vanishing momentum.

1429: 

1430: The order of the tree is then given by

1431: the number of elements of $V(\th)\cup E_{B}(\th)$ minus the number

1432: of elements of $V_{0}(\th)$, that is

1433: $k=|V(\th)|+|E_{B}(\th)|-|V_{0}(\th)|$.

1434: Of course $v_{0}\in V_{0}(\th)$ if and only if the momentum of the

1435: root line is vanishing, that is $\th\in\TT_{k,0}$ for some $k\ge2$.

1436: It is important to stress that no line entering a vertex

1437: $v \in V_{0}(\th)$ can come out from a white bullet

1438: (which now has necessarily an order label $0$),

1439: because this would be against the constraint in the sum \equ(3.6).

1440: This means that if two lines carrying zero momentum enter the

1441: same vertex $v$ (so that $v\in V_{0}(\th)$ according to \equ(3.2)),

1442: then none of them can exit a white bullet.

1443: 

1444: But up to these minor differences a tree representation like

1445: in \equ(3.5) and \equ(3.6) still holds. The advantage of these

1446: modified rules is that now the tree values are expressed

1447: no longer in terms of constants $c_{k}$ to be determined,

1448: but only in terms of $c_{0}$ which is known. A tree drawn

1449: according these new rules is represented as in Figure \graf(3.8)

1450: with $k_{1}=k_{2}=k_{3}=0$ (and in particular a tree of this

1451: kind can contribute only to $x^{(k)}_{\n}$ with $\n\neq0$).

1452: Note that we could avoid drawing the order labels associated

1453: with the endpoints, as they are uniquely determined as $k=0$

1454: for the white bullets and $k=1$ for the black bullets.

1455: Of course, with respect to the caption of that Figure,

1456: now the order $k$ is given by the number of elements in $V(\th)$

1457: plus the number of elements in $E_{B}(\th)$ minus

1458: the number of elements in $V_{0}(\th)$.

1459: 

1460: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

1461: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

1462: \*\*

1463: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

1464: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

1465: \section(4,Formal solutions)

1466: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

1467: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

1468: 

1469: \0The sum over the trees in \equ(3.5) and \equ(3.6), with the new

1470: definition of the set $\TT_{k,\n}$ given at the end of Section \secc(3),

1471: can be performed by summing over all possible ``tree shapes''

1472: (that is trees without labels or {\it unlabelled trees}), and,

1473: for a fixed shape, over all possible assignments of mode labels.

1474: In the case of a trigonometric polynomial of degree $N$

1475: the latter can be bounded by $(2N)^{|E(\th)|}$, because

1476: each endpoint $v$ can have either a mode label $\n_{v}\neq 0$, with

1477: $|\n_{v}|\le N$, or the mode label $\n_{v}=0$,

1478: while the case of analytic functions

1479: (or even to obtain bounds which are uniform in $N$)

1480: has to be discussed a little more carefully.

1481: The number of unlabelled trees with $P$ nodes

1482: (vertices and endpoints) can be bounded by $2^{2P}$.

1483: 

1484: Recall that $V_{s}(\th)$ denotes the set of vertices $v$

1485: such that $s_{v}=s$; of course $V_{1}(\th)\cup V_{2}(\th)=V(\th)$,

1486: and $V_{0}(\th)\subset V_{2}(\th)$.

1487: Analogously we can set

1488: %

1489: $$ \eqalign{

1490: L_{0}(\th) & = \left\{ \ell \in L(\th) : n_{\ell}=0 , \right\} , \cr

1491: L_{1}(\th) & = \left\{ \ell \in L(\th) : \ell=\ell_{v} ,

1492: v \in V_{1}(\th) \right\} , \cr

1493: L_{2}(\th) & = L(\th) \setminus \big( L_{0}(\th) \cup L_{1}(\th)

1494: \big) , \cr}

1495: \Eq(4.1) $$

1496: %

1497: with the splitting made in such a way that one has

1498: %

1499: $$ \eqalign{

1500: & \Big| \prod_{v \in V_{1}(\th) } F_{v} \Big| \,

1501: \Big| \prod_{\ell \in L_{1}(\th) } g_{\ell} \Big|

1502: \le \prod_{\ell \in L_{1}(\th) } \left| \o \n_{\ell} \right| ,

1503: \qquad \Big| \prod_{\ell \in L_{2}(\th) } g_{\ell} \Big|

1504: \le \prod_{\ell \in L_{2}(\th)}

1505: {1 \over \left| \o \n_{\ell} \right| } , \cr

1506: %

1507: & \Big| \prod_{v \in V_{0}(\th) } F_{v} \Big|

1508: \le \left( {1 \over 2c_{0}} \right)^{|V_{0}(\th)|} , \qquad

1509: \Big| \prod_{v \in E_{W}(\th) } F_{v} \Big|

1510: \le c_{0}^{|E_{W}(\th)|} , \cr

1511: &

1512: \Big| \prod_{v \in E_{B}(\th) } F_{v} \Big|

1513: \le F^{|E_{B}(\th)|}

1514: \prod_{v \in E_{B}(\th) } {\rm e}^{-\x|\n_{v}|} , \cr}

1515: \Eq(4.2) $$

1516: %

1517: where for each line $\ell$ one

1518: has $|\n_{\ell}| \le \sum_{v\in E_{W}(\th)} |\n_{v}|$.

1519: 

1520: The following result is useful when

1521: looking for bounds on the tree values.

1522: 

1523: \*

1524: 

1525: \0{\bf Lemma 3.} {\it Given a tree $\th$

1526: with branching number $s$ one has $|E(\th)| \le (s-1)|V(\th)|+1$.

1527: If $k$ denotes the order of the tree $\th$, that is

1528: $|V(\th)|-|V_{0}(\th)|+|E_{B}(\th)|=k$, one has

1529: the identity $|L_{1}(\th)|+|L_{2}(\th)|=k$, and

1530: the bounds $|V_{1}(\th)|\le k$, $|V_{0}(\th)| \le k-1$,

1531: $|E(\th)|\le k$ and $|E(\th)|+|V(\th)| \le 2k - 1$.}

1532: 

1533: \*

1534: 

1535: \0{\it Proof.} It is a standard result on trees that one has

1536: $\sum_{v\in V(\th)}(s_{v}-1)=|E(\th)|-1$, so that the first

1537: bound follows. The bounds on $|V_{1}(\th)|$, $|V_{0}(\th)|$, $|E(\th)|$

1538: and $|E(\th)|+|V(\th)|$ can be easily proved by induction, while

1539: the identity $|L_{1}(\th)|+|L_{2}(\th)|=k$ follows from

1540: the observation that all lines in $L_{1}(\th)$ and $L_{2}(\th)$

1541: come out either from vertices or from black bullets,

1542: and they have non-vanishing momentum. \qed

1543: 

1544: \*

1545: 

1546: Hence the number of lines in $L_{1}(\th)$ is bounded by $k$,

1547: so that in \equ(4.2) we can bound

1548: %

1549: $$ \eqalign{

1550: \Big( \prod_{\ell \in L_{1}(\th)} |\o\n_{\ell}| \Big)

1551: \Big( \prod_{v\in E_{B}(\th)} F \, {\rm e}^{-\x|\n_{v}|} \Big)

1552: & \le \Big( \prod_{v\in E_{B}(\th)} F \, {\rm e}^{-\x|\n_{v}|/2} \Big)

1553: \Big( \prod_{\ell \in L_{1}(\th)} {\rm e}^{-\x|\n_{\ell}|/2k}

1554: |\o\n_{\ell}| \Big) \cr

1555: & \le \Big( \prod_{v\in E_{B}(\th)} F \, {\rm e}^{-\x|\n_{v}|/2} \Big)

1556: \left( {2 k |\o| \over \x} \right)^{k} , \cr}

1557: \Eq(4.3) $$

1558: %

1559: and in the second line the product can be used to perform the sum

1560: over the Fourier labels -- and this gives a factor $F^{k}B_{2}^{k}$,

1561: with $B_{2}=2{\rm e}^{-\x/2}(1-{\rm e}^{-\x/2})^{-1}$, --

1562: while the last factor is bounded by $A_{1}B_{1}^{k}k!$,

1563: for some constants $A_{1}$ and $B_{1}$.

1564: 

1565: We can bound the value of a tree $\th$ by using

1566: the bounds \equ(4.2) and \equ(4.3), and Lemma 3. If we define

1567: %

1568: $$ \e_{1}^{-1} = \max\{ B_{1}, |\o|^{-1}\} \,

1569: \max\{c_{0},F B_{2}\} \, \max\{1,(2c_{0})^{-1}\} ,

1570: \Eq(4.4) $$

1571: %

1572: with $c_{0}=\sqrt{\a}$, and take into account that the number

1573: of unlabelled trees in $\TT_{k,\n}$ is bounded by $2^{2k-1}$

1574: (because each tree in $\TT_{k,\n}$ has at most $2k-1$ nodes), then

1575: 

1576: %

1577: $$ \left| x^{(k)}_{\n} \right| \le A_{1} \e_{2}^{-k}k! , \qquad

1578: \left| x^{(k)}(t) \right| \le A_{1} \e_{2}^{-k}k! ,

1579: \Eq(4.5) $$

1580: %

1581: where we have set $\e_{2}=\e_{1}2^{-2}$.

1582: 

1583: A bound like \equ(4.5) is obtained also in the case of

1584: forcing terms which are trigonometric polynomials, because in general

1585: we can bound the factors $|\o\n_{\ell}|$ in \equ(4.2) only with $kN$

1586: (see Lemma 1), and this produces an overall bound proportional to $k!$

1587: Note that in that case the bound $B_{2}$, arising from

1588: the sum over the Fourier labels, can be replaced with

1589: a factor $2N$, and $B_{1}$ can be replaced with $|\o|N$.

1590: 

1591: Then we have proved the following result.

1592: 

1593: \*

1594: 

1595: \0{\bf Proposition 1.} {\it Given the equation \equ(2.1) with $f$

1596: as in \equ(1.4), there is only one periodic solution

1597: in the form of a formal power series, and the corresponding period is

1598: the same period $2\p/\o$ of the forcing term. The coefficients of

1599: such a formal power series satisfy the bounds \equ(4.5).}

1600: 

1601: \*

1602: 

1603: One could ask if the factorials arising in the bounds are only

1604: a technical problem, or else they are a symptom

1605: that the series really diverges. To order $k$ one can easily provide

1606: examples of trees which grow like factorials;

1607: see for instance the tree represented in Figure \graf(4.1),

1608: where there are $k-1$ vertices with only one entering line.

1609: Then the corresponding value is

1610: %

1611: $$ \Val(\th) = (i\o\n)^{2(k-1)} {1 \over (i\o\n)^{k}} f_{\n} =

1612: (i\o\n)^{k-2} f_{\n} ,

1613: \Eq(4.6) $$

1614: %

1615: which behaves as $k!$ for large $k$. Furthermore

1616: it is unlikely that there are cancellations with the values

1617: of other trees because the value of any other tree $\th\in\TT_{k,\n}$

1618: can be proportional at most to $(i\o\n)^{p}$, with $p<k-2$

1619: (strictly). Hence we expect that the coefficients

1620: $u^{(k)}_{\n}$, even if well defined to all orders,

1621: grow like factorials, so preventing the convergence of the series.

1622: 

1623: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

1624: % FIGURE 9

1625: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

1626: \midinsert

1627: \*

1628: \insertplotttt{298pt}{10pt}{

1629: \ins{13pt}{2pt}{$\n$}

1630: \ins{51pt}{2pt}{$\n$}

1631: \ins{87pt}{2pt}{$\n$}

1632: \ins{123pt}{2pt}{$\n$}

1633: \ins{161pt}{2pt}{$\n$}

1634: \ins{198pt}{2pt}{$\n$}

1635: \ins{232pt}{2pt}{$\n$}

1636: \ins{270pt}{2pt}{$\n$}

1637: \ins{288pt}{21pt}{$(1)$}

1638: }

1639: {fishfig9}

1640: \*

1641: \line{\vtop{\line{\hskip1.5truecm\vbox{\advance\hsize by -3.1 truecm

1642: \0{\nota

1643: \figura(4.1).

1644: Example of tree whose value grows as a factorial.

1645: If $k$ is the order of the tree (hence there are $k-1$ vertices and $1$

1646: black bullet), then the value of the tree is given in \equ(4.7).}

1647: } \hfill} }}

1648: \*

1649: \endinsert

1650: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

1651: 

1652: The lack of analyticity is further supported by the following fact.

1653: If we consider \equ(2.1) without the quadratic term and with $\a=0$,

1654: that is

1655: %

1656: $$ \e \ddot x + \dot x = f(\o t) , \qquad f_{0}=0 ,

1657: \Eq(4.7) $$

1658: %

1659: in Fourier space, we find $x_{0}=0$ and $i\o\n (1+i\e\o\n) x_{\n} =

1660: f_{\n}$ for $\n\neq0$. Hence the equation is trivially solvable,

1661: and it gives

1662: %

1663: $$ x(t) = \sum_{\n\ne0} {f_{\n} \over i\o\n (1+i\e\o\n)}

1664: {\rm e}^{i\o\n t} .

1665: \Eq(4.8) $$

1666: %

1667: Of course the solution $x(t)$ of the linear equation

1668: is not analytic in $\e$ (in a neighbourhood of the origin)

1669: when $f$ is an analytic function containing all the harmonics,

1670: as each point $\e=i/\o\n$ represents a singularity point for $x(t)$,

1671: and such points accumulate to the origin as $\n\to\io$.

1672: Then it is likely that also when the quadratic terms

1673: are taken into account the solution can not be analytic.

1674: Therefore giving a meaning to the perturbation series

1675: requires some more work, that we are going to discuss next.

1676: 

1677: An important remark is that for any $k\ge 1$

1678: there is no tree whose value can be bounded worse than proportionally

1679: to a factorial, as the estimates \equ(4.5) show:

1680: indeed they have been obtained by bounding separately

1681: the value of each single tree. This observation

1682: will play an important role in the forthcoming analysis.

1683: 

1684: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

1685: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

1686: \*\*

1687: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

1688: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

1689: \section(5,Periodic forcing terms)

1690: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

1691: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

1692: 

1693: \0To deal completely with the case of analytic functions and prove

1694: existence of the periodic solution, we have to modify the

1695: graphical expansion envisaged in the previous sections.

1696: 

1697: Let us come back to the equation \equ(2.1), and write it in

1698: Fourier space. For $\n\ne0$ and denoting with

1699: $x_{\n}$ the $\n$-th Fourier coefficient, we obtain

1700: %

1701: $$ \e (i\o\n)^{2} x_{\n} + i\o\n \, x_{\n} + 

1702: \e \sum_{\n_{1}+\n_{2}=\n} x_{\n_{1}} x_{\n_{2}} = \e f_{\n} ,

1703: \Eq(5.1) $$

1704: %

1705: provided that for $\n=0$ we have

1706: %

1707: $$ \sum_{\n_{1}+\n_{2}=0} x_{\n_{1}} x_{\n_{2}} = 0 .

1708: \Eq(5.2) $$

1709: %

1710: Let us rewrite \equ(5.1) as

1711: %

1712: $$ \e (i\o\n)^{2} x_{\n} + i\o\n \, x_{\n} + \m \e

1713: \sum_{\n_{1}+\n_{2}=\n} x_{\n_{1}} x_{\n_{2}} = \m \e f_{\n} ,

1714: \Eq(5.3) $$

1715: %

1716: and look for a solution $x(t)$ which is analytic in $\m$,

1717: which suggests us to write

1718: %

1719: $$ x(t) = \sum_{k=0}^{\io} \m^{k} x^{[k]}(t) .

1720: \Eq(5.4) $$

1721: %

1722: Of course we want that at the end the value $\m=1$ is inside

1723: the analyticity domain. Note also that now $x^{[k]}$,

1724: the coefficient to order $k$, has a different meaning with respect

1725: to the previous expansion \equ(1.4) in powers of $\e$,

1726: and for this reason with use a different symbol to denote it.

1727: We shall call {\it resummed series} the series \equ(5.4),

1728: because the coefficients $x^{[k]}(t)$ depend on $\e$,

1729: and are given by the sum of infinitely many terms

1730: of the formal series \equ(2.5).

1731: 

1732: Again for $k=0$ we have to take $x^{[0]}_{\n}=0$ for $\n\ne0$

1733: and fix $c_{0}\=x^{[0]}_{0}=\sqrt{\a}$, with $\a\=f_{0}$.

1734: 

1735: To order $k\ge 1$ (in $\m$) we obtain for $\n\ne0$

1736: %

1737: $$ i \o \n \left( 1 + i \e \o \n \right) x_{\n}^{[k]} =

1738: \e f_{\n} \d_{k,1} - \e \sum_{k_{1}+k_{2}=k-1}

1739: \sum_{\n_{1}+\n_{2}=\n} x^{[k_{1}]}_{\n_{1}} x^{[k_{2}]}_{\n_{2}} ,

1740: \Eq(5.5) $$

1741: %

1742: while for $\n=0$ we require

1743: %

1744: $$ \sum_{k_{1}+k_{2}=k} \sum_{\n_{1}+\n_{2}=\n}

1745: x^{[k_{1}]}_{\n_{1}} x^{[k_{2}]}_{\n_{2}} = 0 .

1746: \Eq(5.6) $$

1747: %

1748: By setting $c_{k}=x^{[k]}_{0}$ the latter equation can

1749: be written as (cf. \equ(2.10))

1750: %

1751: $$ c_{1} = 0 , \qquad\qquad

1752: c_{k} = -{1 \over 2 c_{0}} \sum_{k'=1}^{k-1}

1753: \sum_{\n\in\zzz} x^{[k-k']}_{\n} x^{[k']}_{-\n} , \qquad k \ge 2 .

1754: \Eq(5.7) $$

1755: %

1756: 

1757: Then we can proceed as in Section \secc(2), with some slight changes

1758: that we now explain. First of all note that \equ(5.5) gives

1759: for $\n\neq0$

1760: %

1761: $$ \eqalign{

1762: x^{[0]}_{\n} & = 0 , \cr

1763: x^{[1]}_{\n} & = {\e f_{\n} \over i\o\n ( 1+i\e\o\n)} , \cr

1764: x^{[k]}_{\n} & = - {\e \over i\o\n ( 1+i\e\o\n)}

1765: \sum_{k_{1}+k_{2}=k-1}

1766: \sum_{\n_{1}+\n_{2}=\n} x^{[k_{1}]}_{\n_{1}} x^{[k_{2}]}_{\n_{2}} ,

1767: \qquad k\ge2 . \cr}

1768: \Eq(5.8) $$

1769: %

1770: Then the graphical representations of $x^{[k]}_{0}$, $x^{[1]}_{\n}$

1771: and $x^{[k]}_{\n}$ are as in the previous case, with the only change

1772: in the representation of the order labels (because of the square

1773: brackets instead of the parentheses); see Figure \graf(5.1).

1774: 

1775: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

1776: % FIGURE 10

1777: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

1778: \midinsert

1779: \*

1780: \insertplotttt{271pt}{19pt}{

1781: \ins{-15pt}{15pt}{(a)}

1782: \ins{35pt}{26pt}{$[k]$}

1783: \ins{90pt}{15pt}{(b)}

1784: \ins{145pt}{26pt}{$[1]$}

1785: \ins{126pt}{6pt}{$\n$}

1786: \ins{200pt}{15pt}{(c)}

1787: \ins{257.5pt}{30.5pt}{$[k]$}

1788: \ins{233pt}{6pt}{$\n$}

1789: }

1790: {fishfig1}

1791: \*

1792: \line{\vtop{\line{\hskip1.5truecm\vbox{\advance\hsize by -3.1 truecm

1793: \0{\nota

1794: \figura(5.1).

1795: Graphical representation of $x^{[k]}_{0}$, $x^{[1]}_{\n}$

1796: and $x^{[k]}_{\n}$. For $\n=0$ the latter reduces

1797: to the first graph, while for $k=1$ and $\n\ne0$ it reduces

1798: to the second graph. In the first graph the momentum

1799: is not showed as it is necessarily $\n=0$.}

1800: } \hfill} }}

1801: \*

1802: \endinsert

1803: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

1804: 

1805: On the contrary the graphical representation of the third equation

1806: in \equ(5.8) is as in Figure \graf(5.2).

1807: 

1808: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

1809: % FIGURE 11

1810: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

1811: \midinsert

1812: \*

1813: \insertplotttt{169pt}{59pt}{

1814: \ins{41.pt}{51pt}{$[k]$}

1815: \ins{16.7pt}{26.7pt}{$\n$}

1816: \ins{61.7pt}{30.8pt}{$=$}

1817: \ins{89.2pt}{26.7pt}{$\n$}

1818: \ins{150pt}{70.5pt}{$[k_{1}]$}

1819: \ins{150pt}{30.5pt}{$[k_{2}]$}

1820: \ins{125.8pt}{35pt}{$\n_{1}$}

1821: \ins{125.8pt}{12.5pt}{$\n_{2}$}

1822: }

1823: {fishfig10}

1824: \*

1825: \line{\vtop{\line{\hskip1.5truecm\vbox{\advance\hsize by -3.1 truecm

1826: \0{\nota

1827: \figura(5.2).

1828: Graphical representation of the second equation in \equ(5.8)

1829: expressing the coefficient $x^{[k]}_{\n}$ for $k\ge 2$ and $\n\neq0$

1830: in terms of the coefficients  $x^{[k']}_{\n'}$ with $k'<k$.

1831: In the last graph one has the constraints $k_{1}+k_{2}=k-1$

1832: and $\n_{1}+\n_{2}=\n$.}

1833: } \hfill} }}

1834: \*

1835: \endinsert

1836: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

1837: 

1838: At the end we obtain a tree expansion where the trees differ from the

1839: previous ones as they contain no vertex with only one entering line. 

1840: With the previous notations this means that $L_{1}(\th)=\emptyset$

1841: and $V_{1}(\th)=\emptyset$, hence $V(\th)=V_{2}(\th)$.

1842: Moreover also the propagators and the node factors of the vertices

1843: are different, as \equ(3.1) and \equ(3.2) have to be replaced with

1844: %

1845: $$ g_{\ell} =

1846: \cases{

1847: 1/((i\o\n_{\ell})(1+i\e\o\n_{\ell})) , & $\n_{\ell} \neq 0$, \cr

1848: 1 , & $\n_{\ell}=0$, \cr}

1849: \Eq(5.9) $$

1850: %

1851: and, respectively,

1852: %

1853: $$ F_{v} = \cases{

1854: -\e , & $v \notin V_{0}(\th)$ , \cr

1855: -1/2c_{0} , & $v \in V_{0}(\th)$ , \cr}

1856: \Eq(5.10) $$

1857: %

1858: and we recall once more that only vertices $v$ with $s_{v}=2$

1859: are allowed. Finally, the node factors associated to the

1860: endpoints are $F_{v}=c_{k_{v}}$ if $v$ is a white bullet

1861: and $F_{v}=\e f_{\n_{v}}$ if $v$ is a black bullet.

1862: 

1863: As in Section \secc(3) we can envisage an expansion in which

1864: all white bullets $v$ have $k_{v}=0$ (simply by expanding

1865: iteratively in trees the white bullets of higher order).

1866: A tree appearing in this new expansion is

1867: represented in Figure \graf(5.3).

1868: 

1869: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

1870: % FIGURE 12

1871: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

1872: \midinsert

1873: \*

1874: \insertplotttt{262pt}{86pt}{

1875: }

1876: {fishfig11}

1877: \*

1878: \line{\vtop{\line{\hskip1.5truecm\vbox{\advance\hsize by -3.1 truecm

1879: \0{\nota

1880: \figura(5.3).

1881: Example of tree appearing in the new graphical expansion.

1882: The number of lines entering any vertex $v$ can be only

1883: $s_{v}=2$. The order of the tree is given by $|B(\th)|-|V_{0}(\th)|$.

1884: All the white bullets have order labels $0$,

1885: as well as all the black bullets carry a label $(1)$;

1886: hence we can avoid drawing explicitly such labels.}

1887: } \hfill} }}

1888: \*

1889: \endinsert

1890: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

1891: 

1892: With the notations \equ(4.1), we obtain the bounds

1893: %

1894: $$ \eqalign{

1895: & \Big| \prod_{v \in V(\th) \setminus V_{0}(\th)} F_{v} \Big|

1896: \le |\e|^{|V(\th)|} ,

1897: \qquad \Big| \prod_{\ell \in L(\th) } g_{\ell} \Big|

1898: \le \prod_{\ell \in L_{2}(\th) }

1899: {1 \over \left| \o \n_{\ell} \right| \,

1900: \left| 1 + i \e \o \n_{\ell} \right|} , \cr

1901: %

1902: & \Big| \prod_{v \in V_{0}(\th) } F_{v} \Big|

1903: \le \left( {1 \over 2c_{0}} \right)^{|V_{0}(\th)|} , \qquad

1904: \Big| \prod_{v \in E_{W}(\th) } F_{v} \Big|

1905: \le c_{0}^{|E_{W}(\th)|} , \cr

1906: %

1907: & \Big| \prod_{v \in E_{B}(\th) } F_{v} \Big|

1908: \le F^{|E_{B}(\th)|}

1909: \prod_{v \in E_{B}(\th) } {\rm e}^{-\x|\n_{v}|} , \cr}

1910: \Eq(5.11) $$

1911: %

1912: where we have used again the bound $|f_{\n}|\le F\,{\rm e}^{-\x|\n|}$, for

1913: suitable (strictly) positive constants $F$ and $\x$, which follows

1914: from the analyticity assumption on $f$.

1915: 

1916: For real $\e$ we can bound each propagator by

1917: %

1918: $$ \left| g_{\ell} \right| \le {1 \over |\o \n_{\ell}|}

1919: \le {1 \over |\o|} ,

1920: \Eq(5.12) $$

1921: %

1922: so that the value of any tree $\th\in\TT_{k,\n}$ can be bounded by

1923: %

1924: $$ \left| \Val(\th) \right| \le |\e|^{k}

1925: |\o|^{-k} (\max\{c_{0},F\})^{k} (\max\{1,1/2c_{0}\})^{k}

1926: \prod_{v \in E_{B}(\th)} {\rm e}^{-\x|\n_{v}|} ,

1927: \Eq(5.13) $$

1928: %

1929: where we have used again Lemma 3. If we write

1930: %

1931: $$ \prod_{v \in E_{B}(\th)} {\rm e}^{-\x|\n_{v}|} \le {\rm e}^{-\x|\n|/2}

1932: \left( \prod_{v \in E_{B}(\th)} {\rm e}^{-\x|\n_{v}|/2} \right) ,

1933: \Eq(5.14) $$

1934: %

1935: we can proceed as in ection \secc(4): we use the last product to perform

1936: the sum over the Fourier labels, which gives a factor $B_{2}^{k}$,

1937: whereas the sum over the unlabelled trees gives a factor $2^{2k-1}$.

1938: At the end we obtain

1939: %

1940: $$ \left| x^{(k)}_{\n} \right| \le \m_{2}^{-k} , \qquad

1941: \left| x^{(k)}(t) \right| \le \m_{2}^{-k} ,

1942: \Eq(5.15) $$

1943: %

1944: where we have set $\m_{2}^{-1}=4\,|\o|^{-1} \max\{1,1/2c_{0}\}

1945: \max\{F B_{2} ,c_{0}\} |\e|$. Hence the radius of convergence $\m_{0}$

1946: of the series expansion \equ(5.4) is bounded as

1947: $\m_{0} \ge \m_{2} = O(1/|\e|)$, so that for $\e$ small enough,

1948: say $|\e|<\e_{3}= (4\,|\o|^{-1} \max\{1,1/2c_{0}\}

1949: \max\{F B_{2} ,c_{0}\})^{-1}$, the value $\m=1$

1950: is inside the analyticity domain.

1951: 

1952: We can summarize the results found so far as follows.

1953: 

1954: \*

1955: 

1956: \0{\bf Theorem 1.} {\it Given the equation (2.1) with

1957: $f$ analytic, there exists $\e_{0}>0$ such that for all real $\e$

1958: with $|\e|<\e_{0}$ there is only one periodic solution

1959: which admits a formal expansion in powers of $\e$,

1960: and the corresponding period is the same period $2\p/\o$

1961: of the forcing term. An explicit bound is $\e_{0} \ge \e_{3}=O(\o)$.}

1962: 

1963: \*

1964: 

1965: Note that if $\o$ is very large then very large values

1966: of $\e$ are allowed.

1967: 

1968: We can investigate further the regularity properties in $\e$

1969: of the periodic solution found in Theorem 1,

1970: and see what happens for complex values of $\e$.

1971: 

1972: We need the following preliminary result (see Figure \graf(5.4)a

1973: for the region $\CC_{R}$).

1974: 

1975: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

1976: % FIGURE 13

1977: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

1978: \midinsert

1979: \*

1980: \insertplotttt{325pt}{109pt}{

1981: \ins{-15pt}{60pt}{(a)}

1982: \ins{165pt}{60pt}{(b)}

1983: \ins{135pt}{50pt}{${\rm Re}\,\e$}

1984: \ins{50pt}{110pt}{${\rm Im}\,\e$}

1985: \ins{317pt}{50pt}{${\rm Re}\,\e$}

1986: \ins{195pt}{110pt}{${\rm Im}\,\e$}

1987: }

1988: {fishfig12}

1989: \*

1990: \line{\vtop{\line{\hskip1.5truecm\vbox{\advance\hsize by -3.1 truecm

1991: \0{\nota

1992: \figura(5.4).

1993: Region $\CC_{R}$ in the complex $\e$-plane (a) and strip-like region

1994: of analyticity $\SS_{B}$ of the Borel transform (b).

1995: The region $\CC_{R}$ is the union of two discs of radius $R/2$ and

1996: centers $(\pm R/2,0)$.}

1997: } \hfill} }}

1998: \*

1999: \endinsert

2000: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

2001: 

2002: \*

2003: 

2004: \0{\bf Lemma 4.} {\it Given $\o>0$ and $0<R<1/4\o$ let $\CC_{R}$

2005: be the pair of discs $\CC_{R}=\{\e : |{\rm Re}\,\e^{-1}|>R^{-1}\}$.

2006: For all $\e\in \CC_{R}$ and all $\n\in\ZZZ \setminus \{0\}$

2007: one has $|i\o\n(1+i\e\o\n)| \ge \o/2$.}

2008: 

2009: \*

2010: 

2011: \0{\it Proof.} Write $\e=a+ib$ and $x=\o\n$, so that one has $|i\o\n

2012: ( 1+i\e\o\n)|=|x|\sqrt{(1-bx)^{2}+(ax)^{2}}\= F(x)$.

2013: %

2014: If $\e\in \CC_{R}$ one has $|a| \ge b^{2}/2R$. Fix $0<A<1$.

2015: If $|1-bx| \le A$ then $\sqrt{(1-bx)^{2}+(ax)^{2}}

2016: \ge |ax| \ge b^{2}|x|/2R \ge |b|(1-A)/2R$, so that

2017: $F(x) \ge (1-A)^{2}/2R$.

2018: If $|1-bx| \ge A$ then $\sqrt{(1-bx)^{2}+(ax)^{2}}

2019: \ge A$, hence $F(x) \ge A|x| \ge \o A$. Then choose

2020: $A=1-\sqrt{\o R}\ge 1/2$; this gives $F(x) \ge \o/2$. \qed

2021: 

2022: \*

2023: 

2024: Now fix $0<R < \lis R \= \e_{3}$ so small

2025: that $|\o| R<1/4$, and consider the corresponding domain $\CC_{R}$.

2026: We can apply Lemma 4 and deduce that any propagator

2027: $g_{\ell}$ is bounded by $|g_{\ell}| \le 2/|\o|$ for all $\e\in \CC_{R}$.

2028: 

2029: This allows us to obtain the following result.

2030: 

2031: \*

2032: 

2033: \0{\bf Proposition 2.} {\it There exists $R>0$ small enough such that

2034: in the domain $\CC_{R}$ one has the asymptotic expansion

2035: %

2036: $$ x(t) = \sum_{k=0}^{N-1} \e^{k} x^{(k)}(t) + \RRRR_{N}(\e) ,

2037: \qquad |\RRRR_{N}(\e)| \le A B^{N} N! |\e|^{N} ,

2038: \Eq(5.16) $$

2039: %

2040: where the constants $A$ and $B$ are uniform in $N$ and in $\e$.}

2041: 

2042: \*

2043: 

2044: \0{\it Proof.} Write $x(t)$ as $x(t)=x_{N}(t)+\RRRR_{N}(t)$, where

2045: $x_{N}(t)$ is given by the sum of the first $N-1$ orders of the formal

2046: power series expansion of the solution $x(t)$ as in \equ(5.16).

2047: For $\e\in \CC_{R}$ the function \equ(5.4) with $\m=1$

2048: is $C^{\io}$ in $\e$, hence we can estimate $\RRRR_{N}(\e)$

2049: with a bound on the $N$-th derivative of $x(t)$ in $\CC_{R}$,

2050: and this gives the bound in \equ(5.16). \qed

2051: 

2052: \*

2053: 

2054: Of course the constants $A$ and $B$ in \equ(5.16) are explicitly

2055: computable; in particular one finds $B=O(\e_{3}^{-1})$.

2056: 

2057: Then we are under the assumptions where Nevanlinna's theorem

2058: \cita{N} (see also Ref.~\cita{S}) can be applied,

2059: and we obtain that the function

2060: %

2061: $$ \BBBB(t;\e) = \sum_{k=0}^{\io} {1 \over k!} \e^{k} x^{(k)}(t)

2062: \Eq(5.17) $$

2063: %

2064: converges for $|\e|<B$ (with $B$ given in \equ(5.16)) and has an

2065: analytic continuation to $\SS_{B}= \{ \e: {\rm dist}(\e,\RRR_{+})<B\}$

2066: (see Figure \graf(5.4)b), satisfying for some constant $K$

2067: the bound $| \BBBB(t;\e)| \le K {\rm e}^{|\e|/R}$

2068: uniformly in every $\SS_{B'}$ with $B'<B$. The function

2069: $x(t)$ can be represented as the absolutely convergent integral

2070: %

2071: $$ x(t) = {1\over \e} \int_{0}^{\io} e^{-s/\e} \BBBB(t;s) \, {\rm d}s

2072: \Eq(5.18) $$

2073: %

2074: for all $\e\in \CC_{R}$, and this property can be stated by saying

2075: that $x(t)$ is Borel-summable (in $\e$) and $\BBBB(t;\e)$ is its

2076: Borel transform \cita{H}. This implies that the function given by

2077: the summation procedure described in Theorem 1 is unique.

2078: Therefore we have obtained the following result,

2079: which strengthens Theorem 1.

2080: 

2081: \*

2082: 

2083: \0{\bf Theorem 2}. {\it The solution given by Theorem 1 is

2084: Borel-summable at the origin.}

2085: 

2086: \*

2087: 

2088: Note that Watson's theorem can not be invoked to obtain this result

2089: because the singularities are along the imaginary axis.

2090: 

2091: In particular if $f(\o t)=\a+\b \sin t$ then there is a periodic solution

2092: $x(t) = a + \e \b \cos t + O(\e^{2})$, with $a = \sqrt{\a}$, which has

2093: period $2\p$ and moves around the fixed point $(x,\dot x)=(a,0)$, and

2094: close to it within $O(\e)$. No other periodic solution analytic in $\e$

2095: can exist.

2096: 

2097: We conclude this section with two remarks. The summation

2098: criterion envisaged in this Section is reminiscent of that

2099: used (in a more difficult situation) in Ref.~\cita{GG1}

2100: for hyperbolic lower-dimensional tori.

2101: However in that case we have not been able to prove

2102: Borel summability because to order $k$ the bounds are

2103: like $(k!)^{\a}$ for some $\a>1$. Neither extensions to

2104: Watson's theorem \cita{H} analogous to Nevanlinna-Sokal's result

2105: (as those developed in Ref.~\cita{CGM})

2106: can be used because the exponent $\a$ is too large.

2107: We shall find a very similar situation in next section.

2108: 

2109: The lack of analyticity in $\e$ in a neighbourhood

2110: of the origin is due to the accumulation

2111: of singularity points along the imaginary axis in the

2112: complex $\e$-plane (where the quantity $1+i\e\o\n$ vanishes

2113: for $\n\in\ZZZ$). The analyticity domain is tangential

2114: to the imaginary axis, and this allows us to apply

2115: Nevanlinna's theorem. We find that this situation

2116: has some analogies with a different problem,

2117: the analyticity properties of rescaled versions

2118: of some dynamical systems, such as Siegel's problem \cita{BMS}

2119: -- and its linearization as considered in Ref.~\cita{MS} --,

2120: the standard map \cita{BG1} and generalized standard maps \cita{BG2},

2121: for complex rotation numbers tending to rational values

2122: in the complex plane. In those cases, however,

2123: only non-tangential limits could be considered.

2124: Of course the situation is slightly more complicated there,

2125: because the set of accumulating singularity points

2126: is dense -- and not only numerable as in the present case.

2127: 

2128: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

2129: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

2130: \*\*

2131: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

2132: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

2133: \section(6,Quasi-periodic forcing terms)

2134: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

2135: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

2136: 

2137: \0In the case of analytic quasi-periodic forcing terms, we shall assume

2138: a Diophantine condition on the rotation vector $\oo$, that is

2139: %

2140: $$ \left| \oo\cdot\nn \right| \ge C_{0} |\nn|^{-\t} \qquad

2141: \forall \nn\in\ZZZ^{d} \setminus\{\V0\} ,

2142: \Eq(6.1) $$

2143: %

2144: where $|\nn|=|\nn|_{1}\=|\n_{1}|+\ldots+|\n_{d}|$,

2145: and $C_{0}$ and $\t$ are positive constants.

2146: We need $\t\ge d-1$ in order to have

2147: a non-void set of vectors satisfying the condition \equ(6.1),

2148: and $\t>d-1$ in order to have a full measure set of such vectors.

2149: For simplicity (and without loss of generality) we can assume

2150: $C_{0}<\g/2$, with $\g=\min\{1,|c|\}$, where $c$ is a suitable constant

2151: to be fixed as $c=-2c_{0}$, with $c_{0}=\sqrt{\a}$.

2152: 

2153: The equation of motion can be written in Fourier space as

2154: %

2155: $$ i\oo\cdot\nn \left( 1 + i \e \oo\cdot\nn \right) x_{\nn} +

2156: \e \sum_{\nn_{1}+\nn_{2}=\nn} x_{\nn_{1}} x_{\nn_{2}} =

2157: \e f_{\nn} ,

2158: \Eq(6.2) $$

2159: %

2160: and the formal expansion for a quasi-periodic solution

2161: with frequency vector $\oo$ reads as

2162: %

2163: $$ x(t) = \sum_{k=0}^{\io} \e^{k} x^{(k)}(t) =

2164: \sum_{k=0}^{\io} \e^{k} \sum_{\nn\in\zzz^{d}}

2165: {\rm e}^{i \nn \cdot \oo t} x^{(k)}_{\nn} ,

2166: \Eq(6.3) $$

2167: %

2168: and to see that the coefficients $x^{(k)}_{\nn}$ are well defined

2169: to all orders $k\ge0$ one can proceed as in Section \secc(2),

2170: with no extra difficulty. In particular the Diophantine condition

2171: \equ(6.1) is sufficient to assure analyticity in $t$ of

2172: the coefficients $x^{(k)}(t)$.

2173: 

2174: Also the graphical representation can be worked out as in

2175: Section \secc(3). The only difference is that now the propagators

2176: of the lines with non-vanishing momentum $\nn_{\ell}$,

2177: which is defined according to \equ(3.2),

2178: with the vectors replacing the scalars,

2179: are given by $1/(i\oo\cdot\nn_{\ell})$, the

2180: node factors associated with the vertices $v$ with $s_{v}=1$

2181: are given by $F_{v}=-(i\oo\cdot\nn_{\ell_{v}})^{2}$,

2182: and the node factors associated to the black bullets $v$ are given by

2183: $F_{v}=f_{\nn_{v}}$, with $\nn_{v}\in\ZZZ^{d}\setminus\{\V0\}$.

2184: All the other notations remain unchanged.

2185: 

2186: This yields that the propagators and the node factors can be bounded

2187: as in \equ(4.2) and \equ(4.3), with just a few differences

2188: of notation. More precisely one has

2189: %

2190: $$ \eqalign{

2191: & \Big| \prod_{v \in V_{1}(\th) } F_{v} \Big| \,

2192: \Big| \prod_{\ell \in L_{1}(\th) } g_{\ell} \Big|

2193: \le \prod_{\ell \in L_{1}(\th) } \left| \oo \right|

2194: \left| \nn_{\ell} \right| , \qquad

2195: \Big| \prod_{\ell \in L_{1}(\th) } g_{\ell} \Big| \le

2196: \prod_{\ell \in L_{1}(\th) } {1 \over | \oo\cdot\nn_{\ell} |}

2197: \le C_{0}^{-1} |\nn_{\ell}|^{\t} , \cr

2198: %

2199: & \Big| \prod_{v \in V_{0}(\th) } F_{v} \Big|

2200: \le \left( {1 \over 2c_{0}} \right)^{|V_{0}(\th)|} , \qquad

2201: \Big| \prod_{v \in E_{W}(\th) } F_{v} \Big|

2202: \le c_{0}^{|E_{W}(\th)|} , \cr

2203: %

2204: & \Big| \prod_{v \in E_{B}(\th) } F_{v} \Big|

2205: \le F^{|E_{B}(\th)|}

2206: \prod_{v \in E_{B}(\th) } {\rm e}^{-\x|\nn_{v}|} , \cr}

2207: \Eq(6.4) $$

2208: %

2209: where the only bound which introduces a real difficulty

2210: with respect to the case of periodic forcing terms is

2211: the second one in the first line. Indeed it is

2212: the source of a small divisors problem, which can not be

2213: set only through the Diophantine condition \equ(6.1).

2214: 

2215: To each order $k$ we obtain for $x^{(k)}(t)$ a bound like

2216: $A B^{k} k!^{\max\{1,\t\}}$, where the factor $1$ arises

2217: from the propagators of the lines in $L_{1}(\th)$ and

2218: the factor $\t$ from those of the lines in $L_{2}(\th)$ in \equ(6.3).

2219: The last assertion is easily proved by reasoning as in \equ(4.3),

2220: with $\max\{|\oo|\,|\nn_{\ell}|,C_{0}^{-1}|\nn_{\ell}|^{\t}\}\le \max

2221: \{C_{0}^{-1},|\oo|\}|\nn_{\ell}|^{\max\{1,\t\}}$ replacing $\n_{\ell}$.

2222: In particular only for $d=2$ and $\t=1$ we obtain the same

2223: bound proportional to $k!$ as in the case of periodic solution

2224: (of course with different constants $A$ and $B$).

2225: Note that the vectors satisfying the Diophantine condition \equ(6.1)

2226: with $\t=1$ for $d=2$ is of zero measure but everywhere dense.

2227: An example of vector of this kind is $\oo=(1,\g_{0})$,

2228: where $\g_{0}= (\sqrt{5}-1)/2$ is the golden section.

2229: 

2230: However, to deal with the problem of accumulation of small

2231: divisors and discuss the issue of convergence of the series,

2232: we need Renormalization Group techniques. The first step

2233: is just to introduce a multiscale decomposition of the

2234: propagators, and this leads naturally to the introduction

2235: of clusters and self-energy graphs into the trees.

2236: The discussion can be performed either as in

2237: Ref.~\cita{GG1} or as in Refs.~\cita{G} (and in Ref.~\cita{GG2}).

2238: We choose to follow Ref.~\cita{G}, which is more similar

2239: to the present problem because the propagators

2240: are scalar quantities and not matrices. In any case,

2241: with respect to the quoted reference, we shall use

2242: a multiscale decomposition involving only the quantities

2243: $|\oo\cdot\nn_{\ell}|$, that is without introducing any dependence on $\e$

2244: in the compact support functions. Indeed this is more suitable

2245: to investigate the analyticity properties in $\e$,

2246: and, as we shall see, we shall not need to exclude any

2247: real value of $\e$ in order to give a meaning to the

2248: resummed series, a situation more reminiscent of

2249: Ref.~\cita{GG1} than of Refs.~\cita{G}.

2250: 

2251: In the following we confine ourselves to outline the main

2252: differences with respect to Ref.~\cita{G}.

2253: Let us introduce the functions $\psi_{n}$ and $\chi_{n}$,

2254: for $n\ge0$, as in Ref.~\cita{G}, Section 5. In particular

2255: $\psi_{n}(|x|) \neq 0$ implies $|x| \ge 2^{-(n+1)}C_{0}$ and

2256: $\chi_{n}(|x|) \neq 0$ implies $|x| \le 2^{-n}C_{0}$.

2257: We shall define recursively the {\it renormalized propagators}

2258: $g^{[n]}_{\ell}=g^{[n]}(\oo\cdot\nn_{\ell};\e)$ and the {\it counterterms}

2259: $\MM^{[n]}(\oo\cdot\nn;\e)$ on scales $n$ as

2260: %

2261: $$ \eqalign{

2262: g^{[-1]}(x;\e) & = 1 , \qquad M^{[-1]}(x;\e) = 0 , \cr

2263: g^{[0]}(x;\e) & = {\psi_{0}(|x|) \over ix (1+i\e x)} , \qquad

2264: M^{[0]}(x;\e) = \sum_{k=1}^{\io} \sum_{T \in \SS^{\RR}_{k,0}}

2265: \VV_{T}(x;\e) , \cr

2266: g^{[n]}(x;\e) & = {\chi_{0}(|x|) \ldots \chi_{n-1}(|x|)\psi_{n}(|x|)

2267: \over ix (1+i\e x) + \MM^{[n-1]}(x;\e)} , \cr

2268: \MM^{[n]}(x;\e) & = \MM^{[n-1]}(x;\e) +

2269: \chi_{0}(|x|) \ldots \chi_{n-1}(|x|)\chi_{n}(|x|) M^{[n]}(x;\e) , \cr

2270: M^{[n]}(x;\e) & = \sum_{k=1}^{\io} \sum_{T \in \SS^{\RR}_{k,n}}

2271: \VV_{T}(x;\e) , \cr}

2272: \Eq(6.5) $$

2273: %

2274: where the set of renormalized self-energy graphs $\SS^{\RR}_{k,n}$

2275: and the self-energy graphs $\VV_{T}(x;\e)$ are defined as in

2276: Ref.~\cita{G}, Section 6. We have explicitly used that

2277: the first contribution to the self-energy graphs is of

2278: order $k=1$ (see Figure \graf(6.1)). Note that one

2279: has $\chi_{0}(|x|) \ldots \chi_{n-1}(|x|)\chi_{n}(|x|)=\chi_{n}(|x|)$,

2280: so that if $g^{[n]}(x;\e) \neq 0$ then

2281: one has $2^{-(n+1)}C_{0} \le |x| \le 2^{-(n-1)}C_{0}$.

2282: 

2283: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

2284: % FIGURE 14

2285: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

2286: \midinsert

2287: \*

2288: \insertplotttt{226pt}{62pt}{

2289: \ins{71pt}{58pt}{$(0)$}

2290: \ins{89pt}{23pt}{$+$}

2291: \ins{198pt}{42pt}{$\nn$}

2292: \ins{190pt}{23pt}{$-\nn$}

2293: \ins{216pt}{74pt}{$(1)$}

2294: \ins{216pt}{35pt}{$(1)$}

2295: }

2296: {fishfig13}

2297: \*

2298: \line{\vtop{\line{\hskip1.5truecm\vbox{\advance\hsize by -3.1 truecm

2299: \0{\nota

2300: \figura(6.1).

2301: First orders contributions to the counterterm arising from

2302: self-energy graphs of order $k=1$ and $k=3$. The (dashed)

2303: external lines do not enter into the definition of self-energy graph,

2304: and they have been drawn only with the aim of helping visualizing

2305: the structure of the self-energy graph.}

2306: } \hfill} }}\*

2307: \endinsert

2308: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

2309: 

2310: Then one defines for $k\ge 1$

2311: %

2312: $$ x^{[k]}_{\nn} = \sum_{\th \in \TT_{k,\nn}} \Val(\th) , \qquad

2313: x^{[k]}_{\V0} \= c_{k} =

2314: {\mathop{\sum}_{\th\in\TT_{k,\V0}}}^{*} \Val(\th) ,

2315: \Eq(6.6) $$

2316: %

2317: where the tree value is defined as

2318: %

2319: $$ \Val(\th) = \left(\prod_{\ell \in L(\th)} g^{[n_{\ell}]}_{\ell}

2320: \right) \left(\prod_{v \in E(\th) \cup V(\th)} F_{v} \right) ,

2321: \Eq(6.7) $$

2322: %

2323: and, as before, $*$ means that there are two lines entering the last

2324: vertex $v_{0}$ of $\th_{0}$ and neither one exits from

2325: an endpoint $v$ with order label $k_{v}=0$. For $k=1$

2326: the second of \equ(6.7) has to be interpreted as $c_{1}=0$.

2327: 

2328: Furthermore one has

2329: %

2330: $$ \eqalign{

2331: M^{[0]}(x;\e) & = M^{[0]}(0;\e) + O(\e^{2}x) , \cr

2332: M^{[0]}(0;\e) & = - 2 \e c_{0} + M^{[0]}_{2} (0;\e) , \qquad

2333: M^{[0]}_{2} (0;\e) = O(\e^{2}) , \cr}

2334: \Eq(6.8) $$

2335: %

2336: and an easy computation shows (cf. Figure \graf(6.1)) that

2337: %

2338: $$ M^{[0]}_{2} (0;\e) = \e^{3} {1 \over c_{0}} \sum_{\nn\neq\V0}

2339: \psi_{0}^{2}(|\oo\cdot\nn|) { |f_{\nn}|^{2} \over

2340: (\oo\cdot\nn)^{2} (1 + (\e\oo\cdot\nn )^{2})} + O(\e^{4}) ,

2341: \Eq(6.9) $$

2342: %

2343: so that in fact one has $M^{[0]}_{2} (0;\e) = O(\e^{3})$.

2344: 

2345: Moreover to higher scales one has $M^{[n]}(x;\e) =

2346: M^{[n]}(0;\e) + O(\e^{3}x)$, with

2347: %

2348: $$ M^{[n]}(0;\e) = - \e^{3} {1 \over c_{0}} \sum_{\nn\neq\V0}

2349: \sum_{n_{1}+n_{2}=n} \psi_{n_{1}}(|\oo\cdot\nn|)

2350: \psi_{n_{2}}(|\oo\cdot\nn|) { |f_{\nn}|^{2} \over

2351: (\oo\cdot\nn)^{2} (1 + (\oo\cdot\nn)^{2}) } + O(\e^{4}) ,

2352: \Eq(6.10) $$

2353: %

2354: so that each $M^{[n]}(0;\e)$ is a higher order correction to

2355: $M^{[0]}(0;\e)$ and it decays exponentially in $n$

2356: (because of the compact support functions).

2357: 

2358: The following result holds.

2359: 

2360: \*

2361: 

2362: \0{\bf Lemma 5.} {\it Assume that the renormalized propagators up

2363: to scale $n-1$ can be bounded as

2364: %

2365: $$ \left| g^{[n_{\ell}]}_{\ell} \right| \le

2366: C_{1}^{-1} 2^{\b n_{\ell}}

2367: \Eq(6.11) $$

2368: %

2369: for some positive constants $C_{1}$ and $\b$.

2370: Then for all $n' \le n-1$ the number $N_{n'}(\th)$

2371: of lines on scale $n'$ in $\th$ is bounded by

2372: %

2373: $$ N_{n'}(\th) \le K 2^{-n'/\t} \sum_{v\in E_{B}(\th)} |\nn_{v}| ,

2374: \Eq(6.12) $$

2375: %

2376: for some positive constant $K$. If $|\e| < \e_{0}$,

2377: with $\e_{0}$ small enough, then for all $n' \le n$ one has

2378: %

2379: $$ | M^{[n']}(x;\e) | \le D_{1} |\e|^{3} e^{- D_{2} 2^{n'/\t}} , \qquad

2380: | \dpr_{x} M^{[n']}(x;\e) | \le

2381: D_{1} |\e|^{3} e^{- D_{2} 2^{n'/\t}} ,

2382: \Eq(6.13) $$

2383: %

2384: for some $C_{1}$-independent positive constants $D_{1}$ and $D_{2}$.

2385: Only the constant $D_{1}$ depends on $\b$. The constant $\e_{0}$

2386: can be written  as $\e_{0}=C_{1}C_{2}^{-\b}C_{3}$, with $C_{2}$ and

2387: $C_{3}$ two positive constant independent of $\b$ and $C_{1}$.}

2388: 

2389: \*

2390: 

2391: \0{\it Proof.} The proof can be easily adapted from the proofs

2392: of Lemma 1 and Lemma 2 of Ref.~\cita{G}. \qed

2393: 

2394: \*

2395: 

2396: So we are left with the problem of proving that the renormalized

2397: propagators satisfy the bounds \equ(6.11). To this end

2398: let us introduce the notation

2399: %

2400: $$ F(x) = F_{0}(x) + c_{1}(\e)\,\e + c_{2}(\e,x)\e^{2}x , \qquad

2401: F_{0}(x) = ix (1+i\e x) ,

2402: \Eq(6.14) $$

2403: %

2404: with $x=\oo\cdot\nn$ and the functions $c_{1}(\e)$

2405: and $c_{2}(\e,x)$ such that $c_{1}(\e) = c + c_{3}(\e)\,\e$,

2406: with $c\neq 0$, and the functions $|c_{2}(\e,x)|$ and $|c_{3}(\e)|$

2407: bounded by a constant $c'$ uniformly (in $\e$ and $x$).

2408: Recall that $\g=\min\{1,|c|\}$ and $C_{0}<\g/2$.

2409: 

2410: Fix $\l\in[0,1]$. Set $\BB_{R}(0)=\{\e\in \CCC : |\e| < R\}$ and

2411: $\DD_{R,\l} = \{ \e = a + ib \in \BB_{\l R}(0) : |a| \ge \l |b| \}$

2412: (see Figure \graf(6.2)). The following result refines Lemma 4.

2413: 

2414: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

2415: % FIGURE 15

2416: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

2417: \midinsert

2418: \*

2419: \insertplotttt{343pt}{109pt}{

2420: \ins{-15pt}{60pt}{(a)}

2421: \ins{182pt}{60pt}{(b)}

2422: \ins{134pt}{50pt}{${\rm Re}\,\e$}

2423: \ins{40pt}{108pt}{${\rm Im}\,\e$}

2424: \ins{334pt}{50pt}{${\rm Re}\,\e$}

2425: \ins{239pt}{108pt}{${\rm Im}\,\e$}

2426: }

2427: {fishfig14}

2428: \*

2429: \line{\vtop{\line{\hskip1.5truecm\vbox{\advance\hsize by -3.1 truecm

2430: \0{\nota

2431: \figura(6.2).

2432: Region $\DD_{R,\l}$ in the complex $\e$-plane

2433: for $\l=\tan \p/6$ (a) and for $\l=1$ (b).

2434: One can write $\l=\tan\f$, where $\f$ is the angle between

2435: the imaginary axis and the line $a=\l b$.}

2436: } \hfill} }}

2437: \*

2438: \endinsert

2439: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

2440: 

2441: \*

2442: 

2443: \0{\bf Lemma 6.} {\it Given $0<R<1/4C_{0}$ let $\CC_{R}$ be defined as

2444: in Lemma 4. For all $\e\in \CC_{R}$ and all $x$ one has

2445: $|F_{0}(x)| \ge \min\{C_{0},|x|\}/2$, while for all $\e\in\DD_{R,\l}$

2446: one has $|F_{0}(x)| \ge \l |x|/2$.}

2447: 

2448: \*

2449: 

2450: \0{\it Proof.} Write $\e=a+ib$, so that $|F_{0}(x)|=|x|

2451: \sqrt{(1-bx)^{2}+(ax)^{2}}$.

2452: For $\e\in\CC_{R}$ set $A=1-\sqrt{C_{0}R}$.

2453: %

2454: If $|x|\ge C_{0}$, for $|1-bx| \le A$ one has

2455: $|F_{0}(x)|\ge |ax^{2}| \ge b^{2}x^{2}/2R \ge C_{0}/2$, while for

2456: $|1-bx|\ge A$ one has $|F_{0}(x)|\ge A|x| \ge |x|/2 \ge C_{0}/2$.

2457: %

2458: If $|x|\le C_{0}$, for $|1-bx| \le A$

2459: one has $|F_{0}(x)|\ge |ax^{2}| \ge C_{0}/2 \ge |x|/2$,

2460: while for $|1-bx|\ge A$ one has $|F_{0}(x)|\ge A|x| \ge |x|/2$. 

2461: %

2462: For $\e\in\DD_{R,\l}$ set $A=1/2$:

2463: one finds $|F_{0}(x)|\ge \l|x|/2$. \qed

2464: 

2465: \*

2466: 

2467: Then the following result holds.

2468: 

2469: \*

2470: 

2471: \0{\bf Lemma 7.} {\it Set $x=\oo\cdot\nn$ and assume $|x|\le C_{0}$.

2472: Then if $R$ is small enough one has

2473: $|F(x)| \ge \l \g |x|/8$ for all $\e\in \DD_{R,\l}$.}

2474: 

2475: \*

2476: 

2477: \0{\it Proof.} Set $F_{1}(x)=F_{0}(x)+c\e$ and $\e=a+ib$.

2478: Then $F_{1}(x)=i(x+b(c-x^{2}))+a(c-x^{2})$, and

2479: $|F(x)| \ge |F_{1}(x)| - c'|\e|^{2}(1+|x|)$.

2480: %

2481: If $|x+b(c-x^{2})|\ge |x|/2$ and $|bc| \ge 4|x|$ one has

2482: $|F_{1}(x)|\ge |c|\sqrt{b^{2}+a^{2}}/2\=|c\e|/2$,

2483: so that $|F(x)|\ge |c\e|/4 \ge |cb|/4 \ge |x|$.

2484: %

2485: If $|x+b(c-x^{2})|\ge |x|/2$ and $|bc| \le 4|x|$ one has

2486: $|F_{1}(x)|\ge \g\max\{\sqrt{x^{2}+a^{2}},|\e|/4\}/2$,

2487: so that $|F(x)|\ge \g \sqrt{x^{2}+a^{2}}/4 \ge \g |x|/4$.

2488: %

2489: If $|x+b(c-x^{2})|\le |x|/2$ one has

2490: $|b(c-x^{2})| \ge |x|/2$ and $|bc| \le 3 |x|$, which give

2491: $|\e|^{2} \le 3|\e|\sqrt{a^2+x^2}/\g \le 3 \l R(|a|+|x|)/\g$,

2492: and $|F_{1}(x)| \ge |a(c-x^{2})| \ge

2493: |a(c-x^{2})|/2+(\l|x|/2)/2 \ge \g \l (|a|+|x|)/4$,

2494: so that $|F(x)| \ge \g \l |x|/8$. \qed

2495: 

2496: \*

2497: 

2498: Then we can come back to the bounds of the renormalized

2499: propagators, and prove the following result.

2500: 

2501: \*

2502: 

2503: \0{\bf Lemma 8.} {\it If $R$ is small enough

2504: for all $n\ge 0$ and all $\e\in \DD_{R,\l}$

2505: the renormalized propagators $g^{[n]}(x;\e)$ satisfy the bounds

2506: \equ(6.11) with $\b=1$ and $C_{1}=\l C_{4}$,

2507: with a $\l$-independent constant $C_{4}$.}

2508: 

2509: \*

2510: 

2511: \0{\it Proof.} The proof can be done by induction on $n$.

2512: For $n=0$ the bound is trivially satisfied by Lemma 6.

2513: Assuming that the bounds hold for all $n'<n$ then

2514: we can apply Lemma 5 and deduce the bounds \equ(6.13).

2515: In turns this implies that the renormalized propagators

2516: on scale $n$ can be written as $g^{[n]}(x;\e)=1/F(x)$, with $F(x)$

2517: written as in \equ(6.14) for $c=-2c_{0}$ (cf. \equ(6.8)),

2518: and for suitable functions $c_{1}(\e)$ and $c_{2}(\e,x)$, depending

2519: on $n$ and satisfying the properties listed after \equ(6.14)

2520: for some $n$-independent constant $c'$. Then by Lemma 7

2521: the renormalized propagators $g^{[n]}(x;\e)$ satisfy the same

2522: bounds \equ(6.11) with $C_{1}=O(\l)$ for $\e\in \DD_{R,\l}$. \qed

2523: 

2524: \*

2525: 

2526: Of course for real $\e$ the bound \equ(6.11) is trivially

2527: satisfied, with $C_{1}=2^{-1}C_{0}$. This follows

2528: from Lemma 8 with $\l=1$, but it is obvious independent

2529: of that result because one has $c_{1}(\e)=c\e + O(\e^{2})$,

2530: with $c=-2c_{0} \in\RRR$. If we want to take also complex values of $\e$,

2531: we have analyticty in a domain $D$ which can be written as

2532: $\DD_{R} = \cup_{\l\in[0,1]} \DD_{R,\l}$.

2533: One can easily realize that the region $\CC_{R}$ is contained

2534: inside the domain $\DD_{R}$ (cf. Figure \graf(6.3)).

2535: Fix $\l=\tan\f$, with $\f\in[0,\pi/4]$ (see Figure \graf(6.2)):

2536: for all such $\f$ the line which forms an angle $\f$ with the

2537: imaginary axis (see Figure \graf(6.2)) and passes through the

2538: origin intersects the boundary of $\DD_{R}$ at a distance $R\tan\f$

2539: from the origin and the boundary of $\CC_{R}$ at a distance $R\sin\f$.

2540: Hence we have an analyticity domain of the same form as in

2541: the case of periodic forcing terms. Nevertheless the results

2542: found so far do not allow us to obtain Borel summability,

2543: notwithstanding a circular analyticity domain $\CC_{R}$ is found,

2544: as the bounds which are satisfied inside the region $\CC_{R}$

2545: are not uniform in $\e$ (because of the dependence on $\l$).

2546: 

2547: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

2548: % FIGURE 16

2549: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

2550: \midinsert

2551: \*

2552: \insertplotttt{181pt}{109pt}{

2553: \ins{171pt}{50pt}{${\rm Re}\,\e$}

2554: \ins{66pt}{108pt}{${\rm Im}\,\e$}

2555: }

2556: {fishfig15}

2557: \*

2558: \line{\vtop{\line{\hskip1.5truecm\vbox{\advance\hsize by -3.1 truecm

2559: \0{\nota

2560: \figura(6.3).

2561: Regions $\DD_{R}$ and $\CC_{R}$ in the complex $\e$-plane.

2562: The first one is the grey region,

2563: while the second one is the region contained

2564: inside the two circles.}

2565: } \hfill} }}

2566: \*

2567: \endinsert

2568: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

2569: 

2570: Note hat $\b=1$ in \equ(6.11) is the same exponent appearing in the

2571: bounds of the propagators in the formal expansion.

2572: To obtain uniform bounds in a domain $\CC_{R}$, for some value of $R$,

2573: we have to allow larger values of $\b$.

2574: The following result is obtained.

2575: 

2576: \*

2577: 

2578: \0{\bf Lemma 9.} {\it Set $x=\oo\cdot\nn$ and assume $|x|<C_{0}$.

2579: If $R$ is small enough one has $|F(x)|>\g|x|^{2}/2$ for

2580: all $\e\in \CC_{R}$.}

2581: 

2582: \*

2583: 

2584: \0{\it Proof.} Set $F_{1}(x)=F_{0}(x)+c\e$ and $\e=a+ib$.

2585: If $|x+b(c-x^{2})|\le |x|/2$ one has

2586: $|b(c-x^{2})| \ge |x|/2$ and $3|x| \ge |bc| \ge |x|/4$.

2587: Hence $|a(c-x^{2})| \ge b^{2}|c-x^{2}|/2R \ge |x|^{2}/16R|c|$,

2588: so that one has $|F_{1}(x)| \ge |a(c-x^{2})| \ge

2589: |ac|/4+|a(c-x^{2})|/2 \ge \g (|a|+x^{2}/16Rc)/2$.

2590: On the other hand one has $|\e|^{2} = a^{2} + b^{2} \le

2591: a^{2} + 9x^{2}/c^{2}$, so that $|F(x)| \ge |F_{1}(x)|-

2592: 2c'|\e|^{2} \ge |F_{1}(x)|/2 \ge \g x^{2}/2$.

2593: %

2594: The case $|x+b(c-x^{2})|\ge |x|/2$ can be discussed as in Lemma 7,

2595: and it gives $|F(x)| \ge \g |x|/4$. \qed

2596: 

2597: \*

2598: 

2599: Then we can prove the following result

2600: by proceeding exactly as in the proof of Lemma 8.

2601: 

2602: \*

2603: 

2604: \0{\bf Lemma 10.} {\it If $R$ is small enough

2605: for all $n\ge 0$ and all $\e\in \CC_{R}$

2606: the renormalized propagators $g^{[n]}(x;\e)$ satisfy the bounds

2607: \equ(6.11) with $\b=2$ and $C_{1}$ a suitable constant.}

2608: 

2609: \*

2610: 

2611: The advantage of Lemma 8 with respect to Lemma 10

2612: is that the bound of $R$ is better, which means that the

2613: domain $\CC_{R}$ contained inside $\DD_{R}$ in the first case 

2614: is larger than the domain $\CC_{R}$ of the second case.

2615: The advantage of Lemma 10 is that it allows to obtain uniform bounds

2616: inside the corresponding domain $\CC_{R}$. Nevertheless, because of the

2617: factor $\b=2$, a bound $AB^{k}k!^{2\t}$ is obtained for

2618: the coefficients $x^{(k)}(t)$ of the formal solution,

2619: and a result analogous to Proposition 2 can be proved also for

2620: the present case, with $N!^{2\t}$ replacing $N!$;

2621: we do not give the details as the proof is identical.

2622: Hence the bounds that we have are not good enough to obtain

2623: Borel-summability in the case of quasi-periodic forcing terms,

2624: a situation strongly reminiscent of that encountered in Ref.~\cita{GG1}.

2625: In fact at best one can set $\t=1$ for $d=2$ (which, as noted above,

2626: corresponds to a set of Diophantine vectors of zero measure

2627: but everywhere dense), but this in turn implies a bound proportional

2628: to $N!^{2}$, which is not enough to apply Nevanlinna's theorem.

2629: 

2630: The conclusion is that the resummed series

2631: %

2632: $$ x(t) = \sum_{k=0}^{\io} \m^{k} x^{[k]}(t) ,

2633: \Eq(6.15) $$

2634: %

2635: where the coefficients $x^{[k]}(t)$ are given by

2636: %

2637: $$ x^{[k]}(t) \sum_{\nn\in\zzz^{d}} {\rm e}^{i\nn\cdot\oo t}

2638: x^{[k]}_{\nn} ,

2639: \Eq(6.16) $$

2640: %

2641: with $x^{[k]}_{\nn}$ defined by \equ(6.6), is well defined

2642: and converges. In general it is not obvious -- even if expected, --

2643: that \equ(6.15) solves the equation of motion \equ(1.1).

2644: Indeed, unlike the case of periodic forcing terms,

2645: we have no result, such as Nevanlinna's theorem on Borel summability, 

2646: which we can rely upon in order to link the resummed series

2647: to the formal series. Therefore we have to check by hand

2648: that by expanding in powers of $\e$ the resummed series

2649: we recover the formal power series \equ(6.3). This means

2650: that the resummed series, which in principle could be unrelated to

2651: the equation of motion (because of the way it has been defined),

2652: in fact solves such an equation. Such a property

2653: can be proved by reasoning as in Ref.~\cita{G}, Section 8.

2654: Again we omit the details, which can be easily worked out.

2655: 

2656: We can summarize our results in the following statement.

2657: 

2658: \*

2659: 

2660: \0{\bf Theorem 3.} {\it Given the equation \equ(1.1) with $f$

2661: analytic in its argument and $\oo$ satisfying the Diophantine

2662: condition \equ(6.1), there exists $\e_{0}$ such that for all real

2663: $\e$ with $|\e|<\e_{0}$ there is a quasi-periodic solution

2664: with the same frequency vector of the forcing term. Such a solution

2665: extends to a function analytic in a domain $\DD_{R}$ like in

2666: Figure \graf(6.3), with $R=\e_{0}$.}

2667: 

2668: \*

2669: 

2670: The conclusion is that the summation criterion described here gives

2671: a well defined function, which is quasi-periodic and solves

2672: the equation of motion \equ(1.1),

2673: but the criterion is not equivalent to Borel summability any more.

2674: In particular the issue if such quasi-periodic solutions

2675: are unique or not remains open, as in Ref.~\cita{GG1}.

2676: 

2677: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

2678: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

2679: \*\*

2680: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

2681: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

2682: \section(7,Extension to more general nonlinearities)

2683: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

2684: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

2685: 

2686: \0When considering the equation \equ(1.5) the formal analysis

2687: of Section \secc(2) (and of Section \secc(6) in the case

2688: of quasi-periodic forcing terms) can be performed essentially

2689: in the same way. If we write

2690: %

2691: $$ \eqalign{

2692: g(x) & = \sum_{p=0}^{\io} {1 \over p!} g_{p} \,

2693: (x-c_{0})^{p} , \qquad g_{p} =

2694: {{\rm d}^{p} g \over {\rm d}x^{p}} (c_{0}) , \cr

2695: [g(x)]^{(k)}_{\n} & = \sum_{p=0}^{\io} {1\over p!} g_{p}

2696: \sum_{{\scriptstyle k_{1}+\ldots+k_{p}=k} \atop

2697: {\scriptstyle \nn_{1}+\ldots+\nn_{p}=\nn} }

2698: x^{(k_{1})}_{\nn_{1}} \ldots x^{(k_{p})}_{\nn_{p}} , \qquad

2699: k \ge 0 , \cr}

2700: \Eq(7.1) $$

2701: %

2702: then the recursive equations for $\nn\neq\V0$ are

2703: %

2704: $$ \eqalign{

2705: x^{(0)}_{\nn} & = 0 , \cr

2706: x^{(1)}_{\nn} & = {f_{\nn} \over i\oo\cdot\nn} , \cr

2707: x^{(k)}_{\nn} & = - (i\oo\cdot\nn)\, x^{(k-1)}_{\nn} -

2708: {1 \over i\oo\cdot\nn} [g(x)]^{(k-1)}_{\nn} ,

2709: \qquad k \ge 2 , \cr}

2710: \Eq(7.2) $$

2711: %

2712: while the compatibility condition becomes

2713: $[g(x)]^{(k)}_{\V0} = f_{\V0}\d_{k,0}$ for $k\ge 0$.

2714: The latter for $k=0$ gives $g(c_{0})=f_{0}$, while for $k\ge1$ gives

2715: $ g'(c_{0}) \, c_{k} + R(c_{0},c_{1},\ldots,c_{k-1}) = 0$,

2716: where the function $ R(c_{0},c_{1},\ldots,c_{k-1})$

2717: depend on the coefficients to all orders $k'<k$,

2718: hence, in particular, on the constants $c_{0},\ldots,c_{k-1}$.

2719: Therefore the constants $c_{k}$ can be fixed iteratively as

2720: %

2721: $$ c_{k} = -{1\over g'(c_{0})} R(c_{0},c_{1},\ldots,c_{k-1}) ,

2722: \Eq(7.3) $$

2723: %

2724: provided that one has $g'(c_{0})\neq0$, so that under the

2725: conditions \equ(1.6) one has the formal solubility of the

2726: equations of motion \equ(1.1). Note that the fisrt

2727: condition in \equ(1.6) requires $f_{0} \in {\rm Ran}(g)$,

2728: and if such a condition is satisfied then the condition

2729: on the derivative is a genericity condition.

2730: Note also that the class of functions

2731: $g(x)$ which are not allowed depends on $f$ (more precisely

2732: on its average $f_{0}$). For instance an explicit example of

2733: function which does not satisfy \equ(1.6) is 

2734: $g(x)=3x^{2}-2x^{3}$ if $f_{0}=1$.

2735: 

2736: The graphical representation differs from that of the previous

2737: section as now the number of lines entering a vertex 

2738: $v$

2739: can assume any value $s_{v}\in\NNN$, and

2740: if $v\notin V_{0}(\th)$ the corresponding node factor is

2741: %

2742: $$ F_{v} = - {\e \over s_{v}!} g_{s_{v}} ,

2743: \Eq(7.4) $$

2744: %

2745: which is bounded proportionally to some constant $G$

2746: to the power $s_{v}$. Since $\sum_{v\in V(\th)}

2747: (s_{v}-1)=|E(\th)|-1 \le k-1$ (by Lemma 3) this

2748: produces an overall constant $G^{2k}$ in the tree value.

2749: Also the study of the convergence

2750: of both the formal series and the resummed series

2751: can then be performed as in the previous case,

2752: and no further difficulty arises.

2753: The constant $c$ appearing after \equ(6.14) becomes

2754: $-g'(c_{0})$, instead of $-2c_{0}$, so that still one has

2755: $c\neq0$ by the assumption \equ(1.6).

2756: 

2757: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

2758: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

2759: % Acknowledgments

2760: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

2761: \*\*

2762: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

2763: \0{\bf Acknowledgments.} We are indebted to Ugo Bessi

2764: for many enlightening discussions.

2765: 

2766: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

2767: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

2768: %\*\*

2769: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

2770: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

2771: % References

2772: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

2773: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

2774: 

2775: \rife{BG1}{1}{

2776: A. Berretti, G. Gentile,

2777: {\it Scaling properties for the radius of convergence

2778: of a Lindstedt series: the standard map},

2779: J. Math. Pures Appl. (9) {\bf 78} (1999), no. 2, 159--176. }

2780: %

2781: \rife{BG2}{2}{

2782: A. Berretti, G. Gentile,

2783: {\it Scaling properties for the radius of convergence

2784: of a Lindstedt series: generalized standard maps},

2785: J. Math. Pures Appl. (9) {\bf 79} (2000), no. 7, 691--713. }

2786: %

2787: \rife{BMS}{3}{

2788: A. Berretti, S. Marmi, D. Sauzin,

2789: {\it Limit at resonances of linearizations of some

2790: complex analytic dynamical systems},

2791: Ergodic Theory Dynam. Systems {\bf 20} (2000), no. 4, 963--990. }

2792: %

2793: \rife{CGM}{4}{E. Caliceti, V. Grecchi, M. Maioli,

2794: {\it The distributional Borel summability and the large

2795: coupling $\Phi^4$ lattice fields},

2796: Comm. Math. Phys. {\bf 104} (1986), no. 1, 163--174;

2797: {\it Erratum},

2798: Comm. Math. Phys. {\bf 113} (1987), no. 1, 173--176. }

2799: %

2800: \rife{DMGB}{5}{

2801: J.H.B. Deane, L. Marsh, G. Gentile, M.V. Bartuccelli,

2802: {\it Invariant sets, and dynamics, of the varactor equation},

2803: in preparation. }

2804: %

2805: \rife{GG1}{6}{

2806: G. Gallavotti, G. Gentile,

2807: {\it Hyperbolic low-dimensional invariant tori and summation

2808: of divergent series},

2809: Comm. Math. Phys. {\bf 227} (2002), no. 3, 421--460. }

2810: %

2811: \rife{GG2}{7}{

2812: G. Gentile, G. Gallavotti, 

2813: {\it Degenerate elliptic tori},

2814: to appear on Comm. Math. Phys. }

2815: %

2816: \rife{G}{8}{

2817: G. Gentile,

2818: {\it Quasi-periodic solutions for two-level systems},

2819: Comm. Math. Phys. {\bf 242} (2003), no. 1-2, 221--250. }

2820: %

2821: \rife{H}{9}{

2822: G.H. Hardy,

2823: {\it Divergent Series},

2824: Clarendon Press, Oxford, 1949. }

2825: %

2826: \rife{MS}{10}{

2827: S. Marmi, D. Sauzin,

2828: {\it Quasianalytic monogenic solutions of a cohomological equation},

2829: Mem. Amer. Math. Soc. {\bf 164} (2003), no. 780, vi+83 pp. }

2830: %

2831: \rife{N}{11}{

2832: F. Nevanlinna,

2833: {\it Zur Theorie der Asymptotischen Potenzreihen},

2834: Ann. Acad. Sci. Fenn. Ser. A {\bf 12} (1916), 1-18. } 

2835: %

2836: \rife{S}{12}{

2837: A.D. Sokal,

2838: {\it An improvement of Watson's theorem on Borel summability},

2839: J. Math. Phys. {\bf 21} (1980), no. 2, 261--263. }

2840: 

2841: \biblio

2842: 

2843: \ciao

2844: 

2845: 

2846: 

2847: