The general approach the author adopted to tackle the whole matter consisted of three broad parts: linear global analysis, non-linear theory and topological classification. For the linear part, the author gathered basic notions from Riemannian geometry, tools from Hilbert space theory, Sobolev spaces and their invariance and finally, uniform pseudo-differential and Fourier integral operators.