Take the 2-minute tour ×
Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. It's 100% free, no registration required.

Let me add some detail first.

An Anosov automorphism on $R^2$ is a mapping from the unit square $S$ onto $S$ of the form

$\begin{bmatrix}x \\y\end{bmatrix}\rightarrow\begin{bmatrix}a && b \\c && d \end{bmatrix}\begin{bmatrix}x \\y\end{bmatrix}mod \hspace{1mm}1$

in which (i) $a, b, c, and \hspace{1mm} d$ are integers, (ii) the determinant of the matrix is $\pm$1, and (iii) the eigenvalues of the matrix do not have magnitude $1$.

It is easy to show that Arnold's cat map is an Anosov automorphism, and that it is chaotic.

To define "chaotic" in this context,

A mapping $T$ of $S$ onto itself is said to be chaotic if:

(i) $S$ contains a dense set of periodic points of the mapping $T$

(ii) There is a point in $S$ whose iterates under $T$ are dense in $S$.

That said, it is said that all Anosov automorphisms are chaotic mappings. Based on the definition of chaotic, how can one prove that statement?

Any feedback will be appreciated.

share|improve this question
    
What about the rationals and irrationals? –  Berci Dec 2 '12 at 1:08
    
What are you referring to? The two conditions in the definition of chaotic, or using those concepts to prove it? –  Mlagma Dec 2 '12 at 1:10
    
Just some random thoughts: there is a "larger" eigenvalue, which will come to dominate as you take higher and higher powers of your matrix. This eigenvalue will also be irrational, and so maybe a 2-dimensional density argument will work (since you are really working on the torus)? –  user641 Dec 2 '12 at 1:13
    
@SteveD That's true that there will be a larger eigenvalue. However, I think the proof will involve more the argument of the rationals and irrationals like Berci said as they really define chaos in this context. –  Mlagma Dec 2 '12 at 1:17
    
Actually, rational/irrational doesn't seem to have anything to do with it. Let me elaborate on my earlier comment: by conjugating, you can assume your matrix is diagonal (this will change the square to a quadrilateral, but it doesn't matter). You then have a matrix with two irrational diagonal entries. Then a density argument shows the orbit of any point will be dense (in the quotient torus). –  user641 Dec 2 '12 at 2:43
show 3 more comments

2 Answers

up vote 4 down vote accepted

The proof that there is a dense set of periodic points should go something like this. Consider a point with rational components, both with denominator $q$ (I don't insist the rationals be in lowest terms). Then every point in the orbit of that point will also have rational components with denominator $q$. But there are only finitely many points in $S$ with rational components with denominator $q$, so the orbit must visit some point twice. Once it visits some point twice, it must keep visiting the same points over and over, periodically. So this proves every point with rational components is pre-periodic. But $T$ is one-one so pre-periodic points are periodic. As the points with rational components are dense, we're done.

EDIT: The proof that the map is topologically transitive (equivalent, in this setting, to having a point with dense orbit) seems to be harder. In Elaydi, Discrete Chaos, 2nd edition, it takes two pages, from mid-page 285 to mid-page 287.

share|improve this answer
    
Your answer definitely makes sense, and it allows for the inclusion of a discussion of irrational points along similar lines. –  Mlagma Dec 2 '12 at 3:35
add comment

A different approach in proving chaos in surface diffeomorphisms is via the Thurston-Nielsen classification theoreom. If you can prove that there exist periodic orbits which braid in a non-trivial way, you are done.

share|improve this answer
add comment

Your Answer

 
discard

By posting your answer, you agree to the privacy policy and terms of service.

Not the answer you're looking for? Browse other questions tagged or ask your own question.