Ergodicity and mixing of geodesic and horocyclic flows I am reading a theorem about the ergodicity and mixing of geodesic and horocyclic flows on unit tangent bundle of a compact hyperbolic surface. I find that there are two ways (be listed below) to approach that theorem. 
First way:
Step 1.  Define Liouville measure on unit tangent bundle which is the measure product of Lebesgue measure on $\mathbb{S}_{1}$ and hyperbolic measure on surface. By a evenly cover mapping, the hyperbolic measure on surface comes from hyperbolic area in upper plane model.
Step 2.  Prove that geodesic flows and horocyclic flows preserves that measure.
Step 3. Use representation theory and operator analysis to prove the ergodicity and mixing of that flows.
Second way:
Step 0.  Identify unit tangent bundle with the quotient space $\Gamma\setminus SL(2,\mathbb{R})$, where $\Gamma$ is a symmetric discrete subgroup of $SL(2,\mathbb{R})$.
Step 1.  Define the measure of SL(2,R) be measure product of its subgroups K, A, N. 
Step 2.  Work on SL(2,R) which is the covering space of the quotient space. Prove that geodesic flows and horocyclic flows (be written in SL(2,R) - coordinates) preserves the measure in step 1.
Step 3. Use representation theory and operator analysis to prove the ergodicity and mixing of that flows.
My question: 


*

*Are these above steps exact ?

*Is there another way to approach that theorem ?
 A: The algebraic approach is just one of many ways to deal with the geodesic and horocycle flows. Also your quick summary does not really pay tribute to the many ways to deal with it using "representation theory and operator analysis".
The geodesic flow can be defined physically, associated to curves with zero acceleration (Newton), as critical points of some action (Lagrange), or obtained from the energy functional (Hamilton, Jacobi). This corresponds to the free movement of a particle on a compact metric space of constant curvature. The metric itself can be defined following Gauss by building isothermal coordinates on the surface, which itself can be done in several ways, one of which consisting in solving some parabolic EDP, and then any self-respecting analysts will want to do it in many interesting ways. 
There is a geometric definition using the Poincaré disk or the Poincaré upper half plane or some other model in hyperbolic geometry, either by taking a quotient or starting from the surface itself and using some uniformization procedure of the universal cover à la Hadamard, or maybe the classification of simply connected Riemann surfaces which admits several proofs by different methods, the original one by Riemann dealing with electromagnetism, the Laplacian and harmonic functions. Here again, the metric and the geodesic flow can be defined infinitesimally, at finite range or using a boundary at infinity. 
It can be defined algebraically, as you alluded to, using $SL_2({\bf R})$, $PSU_{1,1}({\bf R})$ or the group of translation and homotheties of the real line or some other groups I can't remember, each of them being identified with the isometry group of the geometric models previously discussed. The geodesic flow is then defined as a matrix action, or maybe just as a one-dimensional Lie subgroup using its infinitesimal generator. 
Of course there is also a symbolic representation of the geodesic flow. A very interesting example is given by the (non-compact) modular surface and the decomposition of real numbers in continuous fractions. There are several ways to build such models from a geometric or algebraic representation, cutting sequences, closed geodesics, etc.
And now we come to the properties of the geodesic and horocyclic flows which are numerous and in no way restricted to ergodicity and mixing. 
E. Hopf himself gave several proofs of the ergodicity of the geodesic flow, the first one using holomorphic functions, harmonic analysis and 
the Harnack principle. He is more often remembered for a dynamic proof known as the Hopf argument which uses the hyperbolic nature of the flow.
Hedlund proved the mixing property circa 1939. D.V. Anosov generalized these results to the variable curvature case and invented Anosov flows at the same time. Interestingly, the proof of mixing by Anosov and Sinai uses the symplectic nature of the flow, together with a bit of cohomology, and the then all new entropy theory. 
The algebraic approach starts with Gelfand, then Mautner. The unique ergodicity of the horocyclic flow is due to Furstenberg using technics from harmonic analysis/representation theory again, and a parallel can be made with rotations of the circle. This is followed by a dynamic proof of Marcus, and then the symbolic work of Bowen, Marcus. A famous generalization to unipotent actions on Lie group is due to Ratner, 1984, and builds on the dynamic approach of Anosov and Sinai using entropy theory, Lyapunov exponents and more. The work of Howe and Moore, 1977, study the correlations through representation theory, which is perhaps the work you are alluding to. Moore 1987 also gives the exponential mixing of the geodesic flow. This is now extended to symplectic Anosov flows using improved symbolic technics by Dolgopyat or anisotropic Banach spaces and spectral gaps by Liverani and a number of coauthors. 
I have only scratched the surface here. I could cite at least ten books with different proofs of the mixing of the geodesic flow, dozens authors, a hundred papers and there are proofs published almost every years, since a century. 
