1: \documentclass[12pt]{amsart}

2: \usepackage[ansinew]{inputenc}

3: \usepackage{amsfonts,amsmath}

4: \input epsf

5: \pagestyle{plain}

6: 

7: %\textwidth=15truecm \oddsmargin=-1truecm

8: \usepackage{a4wide}

9: \def\C{\mathbb{C}}

10: \def\D{\mathbb{D}}

11: \def\R{\mathbb{R}}

12: \def\N{\mathbb{N}}

13: \def\Q{\mathbb{Q}}

14: 

15: 

16: \def\EE{{\mathcal E}} \def\UU{{\mathcal U}}

17: \def\II{{\mathcal I}}      \def\JJ{{\mathcal J}}    \def\KK{{\mathcal K}}

18: \def\RR{{\mathcal R}}

19: \def\DD{{\mathcal D}}     \def\NN{{\mathcal N}}

20: \def\cal{\mathcal }

21: 

22: 

23: \newtheorem{Th}{Theorem}[section]

24: \newcommand{\bt}{\begin{Th}}

25: \newcommand{\et}{\end{Th}}

26: \newcommand{\etd}{$\square$\end{Th}}

27: 

28: \newtheorem{theoreme}[Th]{Theorem}

29: 

30: \newtheorem{theorem}[Th]{Theorem}

31: 

32: \newtheorem{proposition}[Th]{Proposition}

33: \newtheorem{claim}[Th]{Claim}

34: 

35: \newtheorem{definition}[Th]{{\bf Definition}}

36: %\renewcommand{\thedefinition}{}

37: 

38: \newtheorem{lemme}[Th]{{\bf Lemma}}

39: %\renewcommand{\thelemme}{}

40: 

41: \newtheorem{lemma}[Th]{{\bf Lemma}}

42: %\renewcommand{\thelemme}{}

43: 

44: \newtheorem{corollaire}[Th]{{\bf Corollary}}

45: %\renewcommand{\thecorollaire}{}

46: 

47: \newtheorem{corollary}[Th]{{\bf Corollary}}

48: %\renewcommand{\thecorollaire}{}

49: 

50: \newtheorem{exemple}[Th]{{\bf Example}}

51: %\renewcommand{\thecorollaire}{}

52: 

53: \newtheorem{Proposicao}[Th]{Proposition}

54: \newcommand{\bprop}{\begin{Proposicao}}

55: \newcommand{\eprop}{\end{Proposicao}}

56: \newcommand{\epropd}{$\square$\end{Proposicao}}

57: 

58: 

59: \newtheorem{Lema}[Th]{Lemma}

60: \newcommand{\bl}{\begin{Lema}}

61: \newcommand{\el}{\end{Lema}}

62: \newcommand{\eld}{$\square$\end{Lema}}

63: 

64: \newtheorem{Corol}[Th]{Corollary}

65: \newcommand{\bcor}{\begin{Corol}}

66: \newcommand{\ecor}{\end{Corol}}

67: \newcommand{\ecord}{$\square$\end{Lema}}

68: 

69: 

70: \newtheorem{Defini}[Th]{Definition}

71: \newcommand{\bd}{\begin{Defini}}

72: \newcommand{\ed}{\end{Defini}}

73: 

74: \newtheorem{Claim}[Th]{Claim}

75: \newcommand{\bclaim}{\begin{Claim}}

76: \newcommand{\eclaim}{\end{Claim}}

77: 

78: \newtheorem{remark}[Th]{Remark}

79: \newcommand{\dem}

80:    {\par\medbreak\noindent{\bf Proof}:\enspace}

81: 

82: \newcommand{\cqd}{\nolinebreak

83: \hfill $\Box$}

84: %\nobreak{\qedfont\hfil\char'164\hskip-4.6pt

85: %\char'165\hfil\hfil\hfil}\par\goodbreak

86: %\par\bigbreak}

87: %\newcommand{\proof}{\par\medbreak\noindent{\bf Proof}:\enspace}

88: 

89: \newenvironment{demons}{\par\medbreak\noindent{\bf Proof}:\enspace}

90: {\nolinebreak\hfill $\Box$}

91: 

92: 

93: 

94: \title{{\bf Topological obstructions to smoothness for infinitely renormalizable maps of the disk}}

95: 

96: 

97: \author{\it F. J. Moreira}

98: \date{\today}

99: 

100: 

101: \begin{document}

102: 

103: \epsfclipon

104: 

105:  {\abstract{We analyze the signature type of a cascade

106: of periodic orbits associated to period doubling renormalizable

107: maps of the two dimensional disk. The signature is a sequence of

108: rational numbers which describes how periodic orbits turn each

109: other and is invariant by topological conjugacies that preserve

110: orientation. We prove that in the class of area contracting maps

111: the signature cannot be a monotone sequence. This explains why

112: classical examples of infinitely renormalizable maps due to Bowen,

113: Franks and Young cannot be achieved by smooth dissipative maps

114: showing that there are topological obstructions to realize

115: infinitely renormalizable maps in the area contracting case. }}

116: 

117: \maketitle

118: \section{Introduction}

119: 

120: In 1975, Bowen and Franks \cite{[BF]} gave the first example of a

121: $C^1$ diffeomorphism of the sphere $S^2$ which is Kupka-Smale and

122: possesses neither sinks nor sources. Using some more techniques

123: Franks and Young \cite{[FY]} improved this result in 1980  and got

124: a $C^2$ example. We will refer to these two examples as {\bf BFY}

125: models. Finally in 1989, a $C^\infty$ example was found

126:  by Gambaudo, Strien and Tresser \cite{[GST]} which we will refer as

127: {\bf GST}. It is still an open question wether there exists a real

128: analytic example in $S^2$ with the mentioned properties.

129: 

130: The three cited examples are obtained by finding first a

131: Kupka-Smale embedding of the two-disk with neither sinks nor

132: sources, then  glueing this embedding with its inverse to obtain

133: the desired diffeomorphisms of $S^2$. It turns out that the

134: embeddings of the two-disk are infinitely renormalizable by a

135: period doubling cascade  of disks surrounding a cascade of

136: periodic points of saddle type.

137: 

138: Following \cite{[GSuT]},   we can associate to a cascade of

139: periodic orbits,  a signature consisting of a sequence

140: $(\ell_n)_{n \geq 0}$ of rational numbers such that each $\ell_n$

141: describes how the orbits of period $2^{n+1}$ are linked to the

142: orbits of period $2^{n}$ (see next section for the details) and,

143: is invariant by orientation preserving topological conjugacies.

144: From the work of Gambaudo, Sullivan and Tresser, the signature is

145: a convergent sequence for $C^1$ maps. By simple computation we

146: easily derive in section \ref{Signatureforarea-contracting...}

147: that the signature of the type {\bf BFY} is a decreasing sequence

148: converging to~$0$.

149: 

150: The main result of this work deals with the obstruction to the

151: realization of a monotone signature in the class of area

152: contracting maps of the two dimensional disk. We prove (Theorem

153: \ref{mainobstruct}

154:  and its Corollary \ref{corolthesequencecannot...}) under mild

155: assumptions on the geometry of the periodic cascade that, in the

156: class of area contracting embeddings of the two disk (which

157: contains {\bf GST} models) monotone signatures cannot occur and

158: thus, the decreasing sequence  obtained in {\bf BFY} model cannot

159: be achieved for smooth dissipative maps.

160: 

161: The work is organized as follows. In section 2 we introduce the

162: concept of signature and related properties. Then, in subection

163: 2.1 we describe the properties of infinitely renormalizable maps

164: needed to obtain the model types {\bf BFY} and {\bf GST} whose

165: construction is sketched in the two subsequent subsections 2.2 and

166: 2.3. Afterwards, section 2.4 is devoted to the bounded geometry

167: property used throughout  this work. The main result and its proof

168: is established in section 3, where  the contents of subsection 3.2

169: plays a crucial role, since therein we reduce our problem to the

170: analysis of the signature of a multimodal endomorphism of the

171: interval, and allows us to use one dimensional techniques stated

172: in subsection 3.1.

173: 

174: 

175: 

176: 

177: 

178: 

179: 

180: \section{Cascades of periodic orbits} \label{topobstructions}

181: \input obstr1

182: 

183: \subsection{Infinitely

184: renormalizable maps}

185: \input infren1

186: 

187: \input infren2

188: \input infren3

189: \input infren4

190: \input obstr2

191: 

192: \subsection{Rigorous dynamics reduction} \label{Rigorousdynamicsreduction}

193: \input reduct1

194: \input reduct2

195: \input reduct3

196: \input reduct4

197: 

198: \subsection{Proof of Theorem }

199: \input obstr3

200: 

201: \input{citation}

202: 

203: 

204: 

205: 

206: %\def\D{\mathbb{D}}\input citation

207: 

208: 

209: \end{document}

210: