let @xmath0 be any real number , and consider what happens when we repeatedly apply the function @xmath1 : @xmath2 clearly this sequence , the _ orbit _ of @xmath3 under @xmath4 , tends rapidly to infinity .
indeed , if @xmath5 denotes the @xmath6-th term in the sequence , then @xmath7 for @xmath8 .
so the process may not appear terribly interesting .
this changes rather drastically upon replacing the _ real _ number @xmath0 by a _ complex _ value @xmath3 and considering the sequence @xmath9 ( see section [ sec : background ] for a reminder of the properties of the complex exponential function . )
in contrast to the real case , not every complex orbit tends to infinity : for example , there is a point @xmath10 such that @xmath11 , and hence the sequence defined by is constant for @xmath3 .
in fact , things turn out to be extremely complicated :    [ thm : orbits ] each of the following sets is dense in the complex plane :    1 .   [
item : escaping ] the set of starting values @xmath3 whose orbit ( defined by  ) diverges to @xmath12 ; 2 .   the set of starting values @xmath3 whose orbit forms a dense subset of the plane ; 3 .
the set of _ periodic points _ ; i.e.  starting values @xmath3 such that @xmath13 for some @xmath14 and all @xmath15 .
so , by performing arbitrarily small perturbations of any given starting point , we can always obtain an orbit that is finite , one that accumulates everywhere and one that eventually leaves every bounded set ! in particular , the eventual behaviour of a point @xmath3 under iteration of the exponential map is usually _ impossible to predict numerically _ : when computing the value of @xmath16 , there will always be a ( tiny ) numerical error , and according to theorem [ thm : orbits ] , this error can change the long - term behaviour of orbits drastically .
this type of phenomenon is often referred to as _ chaos_. it is a typical occurrence in all but the simplest `` dynamical systems '' ( mathematical systems that change over time according to some fixed rule ) , such as the movement of bodies in the solar system   governed by newton s laws of gravity   or , indeed , seemingly simple discrete - time processes such as the one we are studying here .
there are a number of ( inequivalent ) definitions of `` chaos '' ; the most widely used , and most appropriate for our purposes , was introduced by devaney in 1989 @xcite .
this concept , formally introduced in definition [ defn : devaneychaos ] below , captures precisely the topological properties usually associated with chaotic systems .
the following result is then a consequence of theorem [ thm : orbits ] .
[ thm : chaotic ] the exponential map @xmath17 is chaotic in the sense of devaney .
theorem [ thm : orbits ] is ( a reformulation of ) a famous theorem of misiurewicz from 1981 @xcite , which confirmed a conjecture stated by fatou @xcite in 1926 .
misiurewicz s proof is entirely elementary , but not easy : it relies on a sequence of explicit estimates on the exponential map , its iterates and their derivatives .
an alternative proof was later given independently in @xcite , @xcite ( see also @xcite ) and @xcite .
( according to eremenko , their research was directly motivated by the desire to give a more conceptual proof of misiurewicz s theorem . )
a third argument can be found in @xcite . in all these newer works ,
the result arises as part of a more general theorem , and requires a substantial amount of background knowledge in complex analysis and complex dynamics .
the goal of this note is to give a proof of theorems [ thm : orbits ] and [ thm : chaotic ] that is both elementary and conceptual .
it requires no background beyond a first undergraduate course in complex analysis , together with some facts from _ hyperbolic geometry _ that can be verified in an elementary manner .
we shall explain the latter carefully in section [ sec : hyperbolic ] , after first reviewing the action of the exponential map on the complex plane in section [ sec : background ] .
readers already familiar with this background material can dive in straight in with the proofs in sections  [ sec : escaping ] to  [ sec : periodicpoints ] . in section [ sec : further ] , we briefly mention further results and open questions ; since mathematics is learned best by doing , we end with exercises for the reader in section  [ sec : exercises ] .
we hope that our note will give readers some insights into the beautiful phenomena one encounters when studying the dynamics of transcendental functions of one complex variable , and serve as an invitation to learn more about this intriguing subject .
we thank alexandre eremenko , rongbang huang , stephen worsley and the referees for helpful comments .
if @xmath18 is a self - map of some set @xmath19 , then @xmath20 is called the @xmath6-th _ iterate _ of @xmath4 ( for @xmath15 ) . in particular , @xmath21 for all @xmath22 .
the _ orbit _ of a point @xmath0 is the sequence @xmath23 . in the case where @xmath24 is the complex exponential map ,
this coincides precisely with the definition in  .
a point @xmath22 is _ periodic _ if there is some @xmath25 such that @xmath26 .
we use standard notation for complex numbers @xmath27 .
in particular , @xmath28 $ ] denotes ( the principal branch of ) the _ argument _ of @xmath29 , i.e. the angle that the line segment connecting @xmath30 and @xmath29 forms with the real axis .
note that @xmath31 is undefined at @xmath32 and continuous only for @xmath33 .
we write @xmath34 for the _ punctured plane _ , and @xmath35 for the round disc of radius @xmath36 around a point @xmath37 ; the _ unit disc _ is @xmath38 .
the action of the complex exponential map , as illustrated in figure [ 10 ] on p.  82 of @xcite .
the pattern on the right is the image of the checkerboard pattern on the left .
( image courtesy of tristan needham.),title="fig : " ]    recall that the complex exponential function is the holomorphic function @xmath39 given by @xmath40 the representation   provides the following geometric interpretation of the action of the exponential map ( see figure [ fig : exponential ] ) , which the reader should keep in mind :    * the function @xmath41 maps horizontal lines to radial rays starting at the origin , and wraps vertical lines infinitely often around concentric circles centered at the origin .
the modulus @xmath42 is large precisely when @xmath43 is large and positive . * in particular , the _
right half - plane _
@xmath44 is mapped ( in an infinite - to one manner ) to the outside of the closed unit disc , and the left half - plane is mapped to the punctured unit disc . *
the exponential map is strongly _ expanding _ when @xmath43 is large and positive , and strongly _ contracting _ when @xmath43 is very negative .
since the exponential map spreads the complex plane @xmath45 over the punctured plane @xmath46 in an infinite - to - one manner , it is not injective , and hence does not have a well - defined global inverse .
instead , we use _ branches _ of the logarithm : inverse functions to injective restrictions of @xmath41 ( see ( * ? ? ? * section  2.vii ) ) .
it follows from   that such a branch exists wherever there is a continuous choice of the argument .
for example , let @xmath47 .
then @xmath48 is bijective , and hence has a holomorphic inverse @xmath49 on @xmath50 , given by @xmath51 ( here , and throughout , @xmath52 denotes the natural logarithm . ) in particular , let @xmath53 be a disc that does not contain the origin , and let @xmath54 with @xmath55 .
taking @xmath56 , we see that there is a holomorphic map @xmath57 with @xmath58 such that @xmath59 and @xmath60 for all @xmath61 .
note that we could replace @xmath62 by any convex open set that omits the origin .
more generally , branches of the logarithm exist on any _ simply - connected _ domain that does not contain the origin , but for us the above cases of discs and slit planes will be sufficient .      we now introduce devaney s definition of chaos @xcite that was mentioned in the introduction .
this is usually stated in the context of _ metric spaces _ ( see below ) , but we shall restrict to the case of dynamical systems defined on subsets of the complex plane . recall that , if @xmath63 , then @xmath64 is called _ dense _ in @xmath19 if every open set @xmath65 that intersects @xmath19 also contains a point of @xmath64 .
[ defn : devaneychaos ] let @xmath66 be infinite , and let @xmath18 be continuous .
we say that @xmath4 is _ chaotic _ ( in the sense of devaney ) if the following two conditions are satisfied .
a.   the set of periodic points of @xmath4 is _ dense _ in @xmath19.[item : chaos_periodic ] b.   the function @xmath4 is _ topologically transitive _
; that is , for all open sets @xmath67 that intersect @xmath19 , there is a point @xmath68 and @xmath15 such that @xmath69.[item : chaos_trans ]    topological transitivity means precisely that we can move from any part of the space @xmath19 to any other by applying the function @xmath4 sufficiently often .
this property clearly follows from the existence of a dense orbit ( see exercise [ ex : denseorbit ] ) .
in particular , theorem [ thm : chaotic ] is a consequence of theorem [ thm : orbits ] .
( however , in section [ sec : transitivity ] , we in fact argue in the converse direction   we first prove topological transitivity of the exponential map directly , and then deduce the existence of dense orbits . )
devaney s original definition of chaos included a third condition : _ sensitive dependence on initial conditions_. it is shown in @xcite that this property is a consequence of topological transitivity and density of periodic points , which is why we were able to omit it in definition  [ defn : devaneychaos ] .
it is nonetheless worthwhile to discuss sensitive dependence on initial conditions , since it encapsulates precisely the idea of `` chaos '' discussed in the introduction : two points that are close together may end up a definitive distance apart after sufficiently many applications of the function @xmath4 .
( this phenomenon has become known in popular culture as the `` butterfly effect '' . ) moreover , in the case of the exponential map , we shall be able to establish sensitive dependence before proving either of the remaining two conditions .    to give the formal definition ,
we shall use the notion of a _ distance function _ ( or _ metric _ ) @xmath70 on a set @xmath19 , as introduced e.g.  in ( * ? ? ?
* chapter 2 ) or ( * ? ? ? * chapter 2 ) .
readers unfamiliar with this definition need not despair : on the one hand , it is only used in this subsection ; on the other , it will be sufficient to think of such a function informally as a formula that defines some notion of _ distance _ between two points of @xmath19 .
the simplest example of a distance function on @xmath45 is the usual one , namely _
euclidean distance _ @xmath71 .
[ defn : sensitivedependence ] let @xmath66 , let @xmath72 be continuous , and let @xmath70 be a distance function on @xmath19 .
we say that @xmath4 exhibits _ sensitive dependence on initial conditions _
( with respect to @xmath70 ) if there exists a constant @xmath73 with the following property : for every non - empty open set @xmath74 , there are points @xmath75 and some @xmath15 such that @xmath76 .
if we intend to use this definition , we ought to clarify which distance function we intend to use on the complex plane , and it is tempting to choose euclidean distance .
this turns out to be a poor choice : even the `` uninteresting '' _ real _ exponential map discussed at the very beginning of this paper has sensitive dependence with respect to this distance ( exercise [ ex : realexp ] ) .
the trouble is that , when orbits tend uniformly to infinity for a whole neighbourhood of our starting value , we would consider the corresponding behaviour to be `` stable '' , but orbits may end up extremely far apart in terms of euclidean distance .
this issue is resolved by instead using the so - called _ spherical distance _ , which is obtained by adjoining a single point at @xmath12 to the complex plane   so a point @xmath29 is close to @xmath12 whenever @xmath77 is large   and thinking of the resulting space @xmath78 as forming a sphere in @xmath79-space .
for this reason , the space @xmath78 is called the _
riemann sphere_.    instead of introducing spherical distance formally , let us use the informal picture above to decide what sensitive dependence with respect to the sphere should mean . if @xmath80 are close to each other on the sphere , then there are only two possibilities : either both points are close to infinity , or they are also close in the euclidean sense . using this observation , we define sensitive dependence on the sphere directly and axiomatically :    [ defn : sphericalsensitive ] let @xmath81 be a continuous function .
we say that @xmath4 has _ sensitive dependence with respect to spherical distance _ if there exist @xmath73 and @xmath82 with the following property . for every non - empty open set @xmath65
, there are @xmath83 and @xmath15 such that @xmath84 and @xmath85 .
it turns out ( see exercise [ ex : sphericalsensitiveimpliesallothers ] ) that definition [ defn : sphericalsensitive ] implies sensitive dependence in the sense of definition  [ defn : sensitivedependence ]   no matter which distance function we use on the complex plane .
_ hyperbolic geometry _ is a beautiful and powerful tool in one - dimensional complex analysis ( as well as in higher - dimensional geometry ) .
when discussing spherical distance in the previous section , we briefly encountered the idea of using a different notion of distance to the `` standard '' one ; hyperbolic geometry is another example of this .
if @xmath50 is any open subset of the complex plane that omits more than one point , then there is a natural notion of distance on @xmath50 , called the _
hyperbolic metric_. ( for those who know differential geometry , this is the unique complete conformal metric of constant curvature @xmath86 on @xmath50 . ) we only need a few elementary facts , all of which can be proved using elementary complex analysis .
we shall first motivate these statements and then collect them in theorem [ thm : pick ] and proposition [ prop : hypexamples ] . for a more detailed introduction to the hyperbolic metric
, we refer to the book @xcite or the article @xcite .
our starting point is the following classical consequence of the standard maximum modulus principle of complex analysis ; see ( * ? ? ?
* section  3.2 ) or ( * ? ? ?
* section  7.vii ) .
[ lem : schwarz ] suppose that @xmath87 is holomorphic and @xmath88
. then either    1 .
@xmath89 for every non - zero @xmath29 in @xmath90 , and @xmath91 , or 2 .
there is a real constant @xmath92 such that @xmath93 for all @xmath29 , and @xmath94 .
this lemma can be very useful , but its generality is limited because of the requirement that @xmath4 should fix @xmath30 , and because its conclusion concerns only the derivative at the origin .
however , we can move any point @xmath95 to zero using a _ mbius transformation _
@xmath96 ( where @xmath47 is arbitrary ) .
so , if @xmath97 is _ any _ holomorphic function , we can pre- and post - compose @xmath4 with suitable mbius transformations and apply the schwarz lemma .
using the chain rule to determine the derivative of the composition , we see that @xmath98    we can interpret   as saying that the derivative of @xmath4 is at most @xmath99 when calculated _ with respect to a different notion of distance _
( in the difference quotient usually used to define @xmath100 ) .
more precisely , we call the expression @xmath101 the _ hyperbolic metric _ on @xmath90 .
the idea is that if we have an `` infinitesimal change '' at the point @xmath29 , then its corresponding size in the hyperbolic metric is obtained by multiplying its euclidean length by the quantity @xmath102 called the _ density _ of the hyperbolic metric . in   is simply a normalization that ensures that this metric has _
@xmath86 , rather than some other negative constant .
it could just as easily be omitted for our purposes , in which case all subsequent densities will also lose a factor of @xmath103 . ] this can be made precise using the notions of differential geometry ( formally , the metric is a way to measure the length of tangent vectors ) , but we can treat   simply as a formal expression .
although this expression is called a `` metric '' , it is not a `` distance function '' in the sense of the preceding section .
however , it naturally gives rise to such a distance via the notion of _ arc - length _ ; see ( * ? ? ?
* chapter  3 ) .
we note that the _ spherical metric _ can be similarly introduced via a conformal metric ; that is , a metric that is a scalar multiple of the euclidean metric at any point , where the scaling factor may depend on the point .    with our new notation , formula   states , in beautiful simplicity , that a holomorphic function @xmath97 has hyperbolic derivative at most @xmath99 at every point , with equality if and only if @xmath4 is a mbius transformation .
what is even better is that we can transfer the metric to other domains .
[ defn : simplyconnected ] an open connected set @xmath104 is called _ simply - connected _ if there is a conformal isomorphism ( i.e. , bijective holomorphic function ) @xmath105 .    usually ,
@xmath50 is called simply - connected if @xmath106 has no bounded components ; i.e. , @xmath50 has no holes .
the _ riemann mapping theorem _
* chapter 6 ) states that the two notions are equivalent .
our definition allows us to avoid using the riemann mapping theorem , which is often not treated in a first course on complex analysis .
we can now state the following result , which collects the key properties of the hyperbolic metric .
its proof is elementary , using only the schwarz lemma and the fact that the conformal automorphisms of @xmath90 are precisely the mbius transformations from  ; see exercise [ ex : mobius ] .
we leave it to the reader to fill in the details , or to consult ( * ? ? ?
* theorem  6.4 ) .
[ thm : pick ] for every simply - connected domain @xmath65 , there exists a unique conformal metric @xmath107 on @xmath50 , called the _
hyperbolic metric _ , such that the following hold .    1 .
@xmath108 for all @xmath109 ; [ item : diskmetric ] 2 .
if @xmath110 is holomorphic , then @xmath4 does not increase the hyperbolic metric .
i.e. , @xmath111 [ item : contraction ] 3 .
for any @xmath112 and any @xmath4 as above , we have @xmath113 if and only if @xmath4 is a conformal isomorphism between @xmath50 and @xmath114;[item : isomorphism ] 4 .
if @xmath115 , then @xmath116 for all @xmath112.[item : inclusion ]    a key property of the hyperbolic metric on a simply - connected domain is that the density @xmath117 is inversely proportional to the distance of @xmath29 to the boundary of @xmath50 . in other words
, suppose that a figure of constant hyperbolic size moves towards the boundary of @xmath50 .
then its _ euclidean _ size decreases proportionally with the distance to the boundary .
( see figure [ fig : hyperbolicsizes ] . )
this is a general theorem   see ( * ? ? ?
* formula ( 8.4 ) )   but in the domains that we shall be using , it can be checked explicitly from the following formulae .
[ prop : hypexamples ]    1 .   for the right half plane
@xmath118 , @xmath119 .
2 .   for a strip of height @xmath120 : @xmath121 .
3 .   for the _
positively / negatively slit plane _ :
@xmath122}(z ) = \frac{1}{2|z|\cos({\operatorname{arg}}(z)/2)}.\ ] ] ( in the first case , the branch of the argument should be taken to range between @xmath30 and @xmath120 . )
this can easily be verified by explicit computation using theorem [ thm : pick ] ( [ item : isomorphism ] ) , using the following conformal isomorphisms : @xmath123 ; \quad z\mapsto -z ,       \end{aligned}\ ] ] where @xmath124 . as an example
, we consider the case of @xmath125 , and leave the remaining calculations to the reader .
we have @xmath126
for the remainder of the article ( unless stated otherwise ) , @xmath4 will always denote the exponential map @xmath127 we shall now prove the first part of theorem [ thm : orbits ] , namely that the escaping set @xmath128 is dense in the complex plane . the proof that we present here
was briefly outlined in a paper of mihaljevi - brandt and the second author ( * ? ? ?
* remark on pp .
15831584 ) .
[ thm : escapingdense ] the set @xmath129 , consisting of those points @xmath3 whose @xmath4-orbits converge to infinity , is a dense subset of the complex plane @xmath45 .
the idea of the proof can be outlined as follows .
let @xmath130 be any small round disc .
since @xmath131 , and any preimage of an escaping point is also escaping , there is nothing to prove if @xmath50 contains a point @xmath29 whose orbit contains a point on the real axis .
otherwise , @xmath132 , @xmath133 and all forward images @xmath134 are contained in the slit plane @xmath135 note that this set @xmath50 is backward invariant under @xmath4 ; i.e. , @xmath136 .
it follows that every branch @xmath49 of the logarithm on @xmath50 is a holomorphic map @xmath137 , and hence locally contracts the hyperbolic metric of @xmath50 , as discussed in the previous section .    moreover , if @xmath138 , then the sequence of domains @xmath134 necessarily has at least one finite accumulation point . using the geometry of @xmath50
, we shall see that this implies that the map @xmath4 expands the hyperbolic metric by a definite factor infinitely often along the orbit of @xmath132 .
on the other hand , the hyperbolic derivative of @xmath139 with respect to @xmath50 remains bounded as @xmath140 by pick s theorem .
this yields the desired contradiction .    from this summary of the proof ,
it is clear that understanding the expansion of the hyperbolic metric of @xmath50 by @xmath4 plays a key role in the argument . in the following lemma
, we investigate where this expansion takes place .
[ lem : hyper ] the complex exponential map @xmath4 locally expands the hyperbolic metric on the domain @xmath141 .
that is , @xmath142 for all @xmath143 .
moreover , suppose that @xmath144 is a sequence with @xmath145 as @xmath146 .
then @xmath147 as @xmath146
.    we shall give two justifications of this result .
one is more conceptual and uses facts about the hyperbolic metric that were discussed , though not necessarily explicitly proved , in the previous section .
the second is a completely elementary calculation ; however , it hides some of the intuition .    to give the first argument ,
let @xmath148 be a connected component of the set @xmath149 then @xmath148 is a strip of height @xmath120 , and @xmath150 is a conformal isomorphism .
let @xmath151 and set @xmath152 . by pick s theorem , @xmath153 is a hyperbolic isometry between @xmath148 and @xmath50 , and hence @xmath154    recall that the density at @xmath29 of the hyperbolic metric in a simply connected domain @xmath155 is comparable to @xmath156 .
( for @xmath50 and @xmath148 , this can be verified explicitly , using proposition [ prop : hypexamples ] . )
we apply this fact twice : notice first that every point in the strip @xmath148 has distance at most @xmath157 from the boundary , and hence @xmath158 is bounded from below by a positive constant .
so if @xmath159 is a sequence as in the claim , then , using the same fact for @xmath160 , the distance @xmath161 remains bounded as @xmath146 .
also , by  , @xmath159 does not accumulate at any point of @xmath50 .
a sequence of points converging to @xmath12 while remaining within a bounded distance from the positive real axis must have arguments tending to @xmath30 , and a point that is close to a finite point of @xmath162 either has argument close to @xmath30 or is close to @xmath30 itself .
so @xmath147 , as claimed .
on the other hand , the claims can be verified directly from the formulae .
indeed , let us write @xmath163 with @xmath164 ; then @xmath165 now we compute the hyperbolic derivative directly , using proposition [ prop : hypexamples ] : @xmath166 where @xmath167 and @xmath168 are chosen in the range @xmath169 . to further simplify this expression ,
observe that @xmath170 .
since @xmath171 is @xmath157-periodic , we hence see that @xmath172 .
furthermore , @xmath173 for all @xmath174 , so @xmath175 ( in the final equality , we used the trigonometric formula @xmath176 . )
if @xmath159 is such that @xmath177 , then implies @xmath178 , where @xmath179 , and hence @xmath180    observe that the second argument yields the stronger conclusion @xmath181 .
in fact , a slightly more careful look at the estimates shows that @xmath177 if and only if @xmath181 and @xmath182 ( see exercise [ ex : derivativeestimate ] ) .
however , this will not be required in the proofs that follow .
let @xmath183 be arbitrary , and consider its orbit @xmath184 , i.e.   @xmath185 .
let @xmath132 be a arbitrary disc around @xmath186 ; it is enough to show that @xmath187 for some @xmath6 .
so assume , by contradiction , that @xmath188 for all @xmath6 .
since @xmath189 , we then have @xmath190    by pick s theorem [ thm : pick ] , the hyperbolic derivative of @xmath139 , as a map from @xmath132 to @xmath50 , satisfies @xmath191 set @xmath192 ; then @xmath193 for all @xmath15 .    by lemma [ lem : hyper ] , we know that @xmath194 . hence , for the sequence @xmath195 to remain bounded
, we must necessarily have @xmath196 .
indeed , @xmath197 is an increasing and bounded , and hence convergent , sequence .
thus @xmath198    by lemma [ lem : hyper ] , we see that @xmath199 and hence all finite accumulation points of @xmath200 must lie in the interval @xmath201 .
since @xmath186 is not in the escaping set , the set of such finite accumulation points is nonempty .
as this set is closed , we can let @xmath202 be the smallest finite accumulation point of the sequence @xmath200 ; say @xmath203 .
notice that @xmath204 . by choice of @xmath3 , the sequence @xmath205 can not have a finite accumulation point , and hence @xmath206 .
this contradicts  , and we are done .
the proof leaves open the possibility that the escaping set has nonempty interior ( or even , a priori , that @xmath207 ) .
we shall now exclude this possibility , which then allows us to establish sensitive dependence on initial conditions .
[ thm : negativereal ] let @xmath208 be open and nonempty .
then there are infinitely many numbers @xmath15 such that @xmath209\neq \emptyset$ ] .
this will also follow from the ( stronger ) results in the next section , but the proof we give here relies on the same ideas as that of theorem [ thm : escapingdense ] , which gives the argument a nice symmetry .
let @xmath210 be an open disc .
we shall first prove that there is at least one @xmath6 such that @xmath134 intersects the negative real axis .
so assume , by contradiction , that @xmath211\ ] ] for all @xmath15 .
by theorem [ thm : escapingdense ] , there is a point @xmath212 .
we proceed similarly as in the proof of theorem [ thm : escapingdense ] , but now use the the hyperbolic metric of @xmath213 .
the set @xmath214 $ ] is not backward invariant , hence @xmath4 is not locally expanding at every point of @xmath213 .
however , there _ is _
expansion   even strong expansion   at points with sufficiently large real parts :    if @xmath215 and @xmath216 , then @xmath217    this follows by a similar calculation as in the proof of lemma [ lem : hyper ] : if we write @xmath163 with @xmath218 , then @xmath219 , and @xmath220    now the proof proceeds along the same lines as before .
set @xmath221 and @xmath222 for @xmath15 .
since @xmath223 is a holomorphic map , we again have @xmath224 for all @xmath6 by pick s theorem . the numbers @xmath225 need not be bounded below by @xmath99 . however , since @xmath226 , there is @xmath227 such that @xmath228 for @xmath229 , and hence @xmath230 this is a contradiction .
so @xmath209\neq\emptyset$ ] for some @xmath6 .
to see that there are infinitely many such @xmath6 , set @xmath231 , and apply the result to @xmath232 to find some @xmath233 with @xmath234\neq \emptyset$ ] .
proceeding inductively , we find an infinite sequence @xmath235 with the desired property .
[ cor : sensitive ] the exponential map @xmath81 has sensitive dependence on initial conditions with respect to spherical distance .
we shall prove that @xmath4 satisfies definition [ defn : sphericalsensitive ] with @xmath236 and @xmath237 .
indeed , let @xmath65 be open .
then , by theorem [ thm : escapingdense ] , @xmath50 contains an escaping point @xmath238 , and there is some @xmath227 such that @xmath239 for all @xmath229 . by theorem [ thm : negativereal ] , there is @xmath240 and some point @xmath241 such that @xmath242 $ ] .
hence , for @xmath243 , we have @xmath244 and @xmath245 , as desired .
recall that _ topological transitivity _
, one of the properties required in the definition of chaos , means that we can move between any two nonempty open subsets of the complex plane by means of the iterates of @xmath4 .
the goal of this section is to establish transitivity , and deduce that there are also points with dense orbits .
[ thm : trans ] if @xmath50 , @xmath114 are nonempty and open , then there exists @xmath246 such that @xmath247 .
we shall use the fact , established in the previous section , that the escaping set is dense in the plane .
the key point is that @xmath4 is strongly expanding along the orbit of any escaping point @xmath3 .
hence , for sufficiently large @xmath6 , @xmath139 maps a small disc around @xmath3 to a set that contains a disc of radius @xmath120 centred at @xmath248 . by elementary mapping properties of the exponential map ,
the latter disc is spread , after two more applications of @xmath4 , over a large part of the complex plane .
this establishes topological transitivity .
we now provide the details of this argument .
let us begin with a simple observation .
[ obs : escapingexpansion ] let @xmath249 , and set @xmath250 for @xmath25
. then @xmath251 and @xmath252 as @xmath146 .
since @xmath253 for all @xmath15 , we have @xmath254 by definition of @xmath129 .
furthermore , @xmath255 , and hence there is @xmath256 such that @xmath257 for all @xmath258 . for @xmath259 , we can use the chain rule to compute the derivative of @xmath260 : @xmath261 as @xmath262 .
here we used the fact that @xmath263 , since @xmath264 for all @xmath27 .
we next prove the above - mentioned fact concerning the iterated images of small discs around escaping points .
[ prop : trans ] let @xmath249 . for @xmath25 , set @xmath265 and consider the disc @xmath266 of radius @xmath120 centred at @xmath267 ; i.e.  @xmath268 .
then there are @xmath269 and a sequence @xmath270 of holomorphic maps @xmath271 with the following properties :    1 .
@xmath272 , [ item : correctbranch ] 2 .
@xmath273 for all @xmath274 , [ item : inversebranch ] 3 .
@xmath275 as @xmath146 , and [ item : transcontraction ] 4 .
@xmath276 as @xmath146 .
[ item : smalldiameter ]    ( that is , for large @xmath6 there is a branch @xmath277 of @xmath278 that takes @xmath267 back to @xmath3 and is uniformly strongly contracting . )    observe that [ item : transcontraction ] implies [ item : smalldiameter ] . indeed , for @xmath274 , @xmath279 by the mean value inequality .
hence by [ item : transcontraction ] , @xmath280    to prove the proposition , first assume additionally that @xmath281 for all @xmath282 . in this case , none of the discs @xmath266 contain the origin . for each @xmath25 , let @xmath283 be the branch of the logarithm with @xmath284 .
what can we say about the range of this map @xmath285 ?
since @xmath281 for all @xmath282 , we have @xmath286 for all @xmath274 , and hence @xmath287 again using the mean value inequality , we see that @xmath288 for each @xmath6 and all @xmath274 .
in particular , and importantly , @xmath289 .
it follows by induction that the composition @xmath290 is defined on @xmath266 , with @xmath291 for @xmath274 .
hence @xmath277 satisfies  [ item : transcontraction ] , and [ item : correctbranch ] and  [ item : inversebranch ] hold by construction .
this completes the proof when @xmath292 for all @xmath25 .
if this is not the case , then   since @xmath3 is an escaping point   there still exists @xmath293 such that @xmath281 for all @xmath294 .
we can thus apply the preceding case to the point @xmath295 .
this means that , for every @xmath296 , there is a holomorphic map @xmath297 such that    a.   @xmath298 , b.   @xmath299 for all @xmath274 , c.   @xmath300 as @xmath146 , and d.   @xmath301 as @xmath146 .    by the inverse function theorem
, there exists a neighbourhood @xmath50 of @xmath302 and a branch @xmath303 of @xmath304 mapping @xmath302 to @xmath3 .
( this also follows from repeated applications of suitable branches of the logarithm .
observe that @xmath305 for @xmath25 . )
now let @xmath306 be a small closed disc around @xmath302 with @xmath307 . by [ item : smalldiameter ]
, we have @xmath308 for sufficiently large @xmath6   say , for @xmath229 .
hence we can define @xmath309 this map satisfies  [ item : correctbranch ] and  [ item : inversebranch ] by definition , and @xmath310 by property [ item : transcontraction ] ) of @xmath311 .
( since @xmath306 is compact , the continuous function @xmath312 assumes its maximum on @xmath306 , which is independent of @xmath6 . )
as mentioned above , after two additional iterates the discs in the preceding proposition will cover a large portion of the plane , as long they lie far enough to the right :    [ obs : montel ] let @xmath306 be any nonempty compact subset of the punctured plane @xmath313 .
then there is @xmath314 with the following property .
suppose that @xmath132 is a disc of radius @xmath120 , centred at a point having real part at least @xmath315
. then @xmath316 .
the disc @xmath132 contains a closed square of side - length @xmath120 , also centred at @xmath317 .
let @xmath318 be the real part of the left vertical edge of @xmath148 , then @xmath319 is the real part of the right vertical edge of @xmath148 .
what is the image of @xmath148 under @xmath4 ?
looking back at figure [ fig : exponential ] , we see that it is precisely a closed round annulus @xmath64 around the origin , with inner radius @xmath320 and outer radius @xmath321 .    if @xmath322 is sufficiently large , then @xmath64 is a rather thick annulus with large inner radius .
it follows that @xmath64 contains a long rectangular strip of height @xmath120 , and the image of this strip will cover most of the complex plane , including the compact set @xmath306 .
more precisely , suppose that @xmath323 ; then @xmath324 .
hence we can fit a maximal rectangle @xmath325 of height @xmath120 into @xmath64 , symmetrically with respect to the imaginary axis and tangential to the inner boundary circle of @xmath64 .
( see figure [ fig : transitivity ] . )
let @xmath326 be the maximal real part of @xmath325 ( i.e. , @xmath326 is half the horizontal side - length of @xmath325 ) .
we can compute @xmath326 using the pythagorean theorem : @xmath327 provided that @xmath328 .
hence we see that @xmath329 , and the image of @xmath325 includes all points of modulus between @xmath330 and @xmath331 .
in particular , we can set @xmath332 if @xmath333 , then we have @xmath334 , and @xmath335 .
the claim follows .    as a consequence
, we obtain the following stronger version of theorem [ thm : trans ] .
[ cor : montel ] let @xmath336 be compact , and let @xmath65 be open and nonempty .
then there is some @xmath256 such that @xmath337 for all @xmath258 .    to deduce the original statement of theorem [ thm : trans ] ,
simply choose @xmath306 to consist of a single point in @xmath114 .
since the escaping set is dense in the plane , there exists some @xmath338 .
set @xmath250 for @xmath25 , and let @xmath339 , @xmath227 and @xmath277 be as in proposition [ prop : trans ] .
also let @xmath315 be the number from observation [ obs : montel ] ( for the same set @xmath306 ) . since @xmath3 is an escaping point , and by part   of proposition [ prop : trans ] , we can choose @xmath340 such that @xmath341 and @xmath342 for all @xmath343 .
let @xmath343 .
then @xmath344 by observation [ obs : montel ] .
hence the claim holds with @xmath345 .
the existence of dense orbits is closely related , and often equivalent , to that of topological transitivity . indeed
, we can deduce the former from theorem [ thm : trans ] , by using the _ baire category theorem _
* exercise 16 in chapter 2 ) .
this theorem implies that any countable intersections of open and dense subsets of the complex plane is itself dense and uncountable .
[ cor : denseorbit ] the set @xmath346 of all points @xmath37 with dense orbits under the exponential map is uncountable and dense in @xmath45 .
let @xmath347 be any non - empty open set . by theorem [ thm : trans ] ,
the inverse orbit @xmath348 is a dense subset of @xmath45 .
note that @xmath349 is also open , as a union of open subsets .
now consider the countable collection @xmath350 of open discs with rational centres and radii .
clearly @xmath351 if and only if the orbit of @xmath3 enters every element of @xmath352 at least once , i.e. @xmath353 hence @xmath346 is indeed uncountable and dense , as a countable intersection of open and dense subsets of @xmath45 .
we are now ready to complete the proof that the exponential map is chaotic , by proving density of the set of periodic points .
in fact , we shall prove slightly more , namely that _ repelling _ periodic points of @xmath4 are dense in the plane . here a periodic point @xmath354 , with @xmath355 , is called _ repelling _ if @xmath356 .
this ensures that any point @xmath357 close to @xmath354 is ( initially ) `` repelled '' away from the orbit of @xmath354   density of such points gives another indication that the dynamics of the exponential map is highly unstable ! ( it is , however , not difficult to show directly that _ all _ periodic points of @xmath4 are repelling ; see exercise [ ex : allperiodicpointsrepelling ] . )
[ thm : repel ] let @xmath65 be open and nonempty . then there exists a repelling periodic point @xmath358 .
the idea of the proof is , again , to begin with an escaping point @xmath3 .
our goal is to find an inverse branch of an iterate of @xmath4 that maps a neighbourhood of @xmath3 back into itself , with strong contraction .
then the existence of a periodic point follows from the contraction mapping theorem ( * ? ? ?
* theorem 3.6 ) ( also known as the _ banach fixed point theorem _ ) .
we noticed already in the last section that the disc @xmath266 of radius @xmath120 around the @xmath6-th orbit point @xmath267 can be pulled back along the orbit in one - to - one fashion ( proposition [ prop : trans ] ) . we need to be able to `` close the loop '' , by pulling back a small disc around @xmath3 into @xmath266 .
in other words , we are looking for a more precise version of observation [ obs : montel ] , as follows .
[ lem : periodic ] let @xmath359 .
then there are a disc @xmath62 centered at @xmath3 and a number @xmath360 with the following property :    for any disc @xmath132 of radius @xmath120 centred at a point with real part at least @xmath315 , there is @xmath361 such that @xmath362 and @xmath363 for all @xmath364 .    in other words , there exists a disc @xmath62 around @xmath3 that is not only covered by @xmath365 ( as we know it must be from observation [ obs : montel ] ) , but on which we can even define a branch of @xmath366 that takes it back into @xmath132 .
it is not difficult to extend the result , with a similar proof , to see that this is true for _ any _ disc @xmath62   and indeed any simply - connected domain   whose closure is bounded away from @xmath30 and @xmath12 .
set @xmath367 and @xmath368 . for any @xmath369
, there is a branch @xmath285 of the logarithm on @xmath62 whose values have imaginary parts between @xmath370 and @xmath371 .
each @xmath285 is continuous on @xmath62 and satisfies @xmath372 for all @xmath364 .
consider the sets @xmath373 , with @xmath369 ; then @xmath374 .
so the @xmath375 form a linear sequence of domains of uniformly bounded diameter , tending to infinity in the direction of the positive and negative imaginary axes .
consider all preimage components of some @xmath375 under @xmath4 , for @xmath376 ( since @xmath377 might contain the origin ) . on each of these
, we can define a branch of @xmath366 taking values in @xmath62   hence we should show that any disc @xmath132 of radius @xmath120 contains at least one such component , provided that its centre lies sufficiently far to the right .
this should be clear from the mapping behaviour of the exponential map ( figure [ fig : exponential ] ) .
indeed , for every odd multiple of @xmath378 , there is a sequence of sets in question whose imaginary parts tend to this value , and having real parts closer and closer together ( see figure [ fig : preimage ] ) .
more formally , consider the points @xmath379 .
set @xmath380 and let @xmath132 be a disc of radius @xmath120 centred at a point @xmath317 with @xmath381 .
since @xmath382 , we can find @xmath383 such that @xmath384 furthermore , choose @xmath385 such that @xmath386 , and let @xmath387 be the branch of the logarithm mapping the upper half - plane to the strip @xmath388 .
let @xmath389 .
then @xmath390 by choice of @xmath387 .
furthermore , by definition of @xmath62 and @xmath285 , we have @xmath391 by  , we conclude that @xmath392 dividing by @xmath393 , and recalling that @xmath394 , we see that @xmath395 hence @xmath396 thus @xmath397 and hence @xmath398 .
hence the branch @xmath399 indeed maps @xmath62 into @xmath132 .
moreover , @xmath400 for all @xmath364 , while @xmath401 on @xmath375 .
hence , if we choose @xmath402 , then @xmath363 for all @xmath364 , as required .
let @xmath403 be open and nonempty . by theorem [ thm : escapingdense ] , there is an escaping point @xmath404 .
choose a disc @xmath62 around @xmath3 and @xmath314 and as in lemma [ lem : periodic ] . by shrinking @xmath62 , if necessary
, we may suppose that @xmath405 .
let @xmath406 be a smaller disc also centred at @xmath3 .
so that @xmath407 . as in section
[ sec : transitivity ] , set @xmath265 and @xmath268 .
let @xmath270 be the inverse branches from proposition [ prop : trans ] . by conclusions [ item : smalldiameter ] and [ item : transcontraction ] of that proposition
, we may assume that @xmath227 is large enough to ensure that @xmath408 and @xmath409 for all @xmath274 .    since @xmath3 is an escaping point ,
there is @xmath410 such that @xmath341 for all @xmath258 . by lemma  [ lem : periodic ]
, there is thus a branch @xmath311 of @xmath366 that maps @xmath62 into @xmath266 , with @xmath411 for all @xmath412 .
it follows that @xmath413 , and that @xmath414 is a contraction map . as @xmath415 is compact , and hence complete
, this function has a fixed point @xmath416 by the contraction mapping theorem . by construction ,
@xmath417 hence @xmath354 is indeed a repelling periodic point of @xmath4 , as required .
the realization that the exponential map @xmath4 acts chaotically on the complex plane is not the end of the story .
rather , it leads to further questions about the qualitative behaviour of @xmath4 , and much research has been done since misiurewicz s work .
the picture is still far from complete , and several interesting questions remain open . here ,
we restrict to a small selection of results and ideas , referring to the literature for further information .    * the escaping set of the exponential . *
the escaping set @xmath129 of the exponential map played an important role in our proof of theorems [ thm : orbits ] and [ thm : chaotic ] .
we saw in theorem [ thm : escapingdense ] that this set is dense in the plane , and hence it is plausible that a thorough study of its fine structure will yield information also about the non - escaping part of the dynamics .
we already saw that @xmath129 contains the real axis together with all of its preimages under iterates of @xmath4 but there are many other escaping points ! indeed , devaney and krych @xcite observed the existence of uncountably many different curves to infinity in @xmath129 , most of which do _ not _ reach the real axis under iteration .
later , schleicher and zimmer @xcite were able to show that _ every _ point of @xmath129 can be connected to infinity by a curve in @xmath129 .
maximal curves in the escaping set are referred to as `` rays '' or `` hairs '' , and they provide a structure that can be exploited in the study of the wider dynamics of @xmath4 .
however , the way in which these rays fit together to form the entire escaping set is rather non - trivial .
for example , while each path - connected component of @xmath129 is such a curve , and is relatively closed in @xmath129 ( i.e. , rays do not accumulate on points that belong to other rays ) the escaping set nonetheless turns out to be a _ connected _ subset of the plane @xcite .
furthermore , while many rays end at a unique point in the complex plane , some have been shown to accumulate everywhere upon themselves @xcite , resulting in a very complicated topological picture . for which rays this can occur , and whether other types of accumulation behaviour are possible , requires further research .    taken together , these results provide some indication that the escaping set is a rather complicated object .
in fact , even iterated preimages of the negative real axis ( all of which are simple curves tending to infinity in both directions ) result in highly nontrivial phenomena and open questions .
in 1993 , devaney @xcite showed that the closure of a certain natural sequence of such preimages has some `` pathological '' topological properties .
he also formulated a conjecture concerning the structure of this set and its stability under certain perturbations of the map @xmath4 , which remains open to this day .    * measurable dynamics of the exponential .
* corollary [ cor : denseorbit ] ( and its proof ) means that , topologically , `` most '' points have a dense orbit .
it is natural to ask also about the behaviour of `` most '' points with respect to area : if we pick a point @xmath27 at random will its orbit be dense ?
lyubich @xcite and rees @xcite independently gave an answer in the 1980s : for a random point @xmath27 , the orbit of @xmath29 is _ not _ dense ; rather , its set of limit points coincides precisely with the orbit of @xmath30 . in other words , after a certain number of steps , the orbit will come very close to @xmath30 , and then follow the orbit @xmath418 for a finite number of steps .
our point might then spend some additional time close to @xmath12 , until it maps into the left half - plane . in the next step
, it ends up even closer to @xmath30 , and so on .
we can furthermore also ask about the relative `` sizes '' of the sets of points with various other types of behaviour ( for example , with respect to _ fractal dimension _ ) .
it again turns out that there is a rich structure from this point of view ; see  e.g.  @xcite .
* transcendental dynamics . * to place the material in this paper in its proper context ,
let us finally discuss iterating a holomorphic self - map @xmath81 of the complex plane in general . to obtain interesting behaviour , we assume that @xmath4 is non - constant and non - linear .
as before , a key question is how the behaviour of orbits varies under perturbations of the starting point @xmath3 . to this end , one divides the starting values into two sets : the closed set of points near which there is sensitive dependence on initial conditions is called the _
julia set _
@xmath419 , while its complement   where the behaviour is _ stable _   is the _ fatou set _ @xmath420 .
( see @xcite for formal definitions and further background . ) by the magic of complex analysis , the   rather mild   notion of instability used to define the julia set always leads to globally chaotic dynamics :    [ thm : fatoujuliabaker ] the julia set @xmath419 is always uncountably infinite , and @xmath421 .
furthermore , the function @xmath422 is chaotic in the sense of devaney .
the key part of this theorem is the density of periodic points in the julia set . that @xmath419 is uncountable and that @xmath4 is topologically transitive was known already ( albeit in different terminology ) to pierre fatou and ( in the case of polynomials ) gaston julia , who independently founded the area of holomorphic dynamics in the early twentieth century . for polynomials   and indeed for rational functions   the density of periodic points in the julia set was also established by fatou and julia , but it took about half a century until baker @xcite completed the proof for general entire functions .    with this general terminology ,
misiurewicz s theorem says precisely that @xmath423 .
( we emphasize that there are many entire functions with nonempty fatou set . as an example , consider @xmath424 .
then @xmath425 for @xmath426 , and hence the entire unit disc is in the fatou set . ) it can be shown that there are only a few possible types of behaviour for points in the fatou set of an entire function @xcite .
using classical methods , most of these can be excluded fairly easily in the case of the exponential map ; the difficult part is to show that there can be no _ wandering domain _ ,
i.e.  a connected component @xmath50 of the fatou set such that @xmath427 for all @xmath428 .
misiurewicz used the specific properties of the exponential function , but more general tools for ruling out the existence of wandering domains have since been developed .
the most famous is due to sullivan , who showed that rational functions never have wandering domains , answering a question left open by fatou .
sullivan s argument , which uses deep results from complex analysis , can be extended to classes of entire functions containing the exponential map @xcite .
as mentioned in the introduction , this provides an alternative ( though highly non - elementary ) method of establishing misiurewicz s theorem .
the study of wandering domains , and when they can occur , continues to be an active topic of research in transcendental dynamics ; we refer to @xcite for a discussion and references .
[ ex : denseorbit ] let @xmath429 , and let @xmath18 be a continuous function .
we say that @xmath430 _ has a dense orbit _ if the set of accumulation points of the orbit of @xmath0 is dense in @xmath19 .
( note that this differs subtly from the requirement that the orbit of @xmath0 is dense when thought of as a _ subset _ of @xmath19 .
however , the two conditions are equivalent if @xmath19 has no isolated points . )
prove : if @xmath433 is _ any _ distance function that is topologically equivalent to euclidean distance ( i.e. , a round open disc around a point @xmath3 contains some disc around @xmath3 in the sense of the distance @xmath70 , and vice versa ) , then @xmath4 has sensitive dependence with respect to @xmath70 .
( so sensitive dependence with respect to spherical distance is the strongest such condition we can impose . )    _ hint . _
observe that the possible pairs @xmath434 in definition [ defn : sphericalsensitive ] all belong to a closed and bounded subset of @xmath435 , which depends only on @xmath36 and @xmath325 .
then use the fact that @xmath70 is continuous as a function of two complex variables ( with respect to euclidean distance ) .
[ ex : mobius ] suppose that @xmath97 is a conformal automorphism ( i.e. holomorphic and bijective ) with @xmath88 .
conclude , using the schwarz lemma , that @xmath4 is a rotation around the origin .
deduce that any conformal automorphism @xmath97 is of the form  .