Half-Reeb components, Palais-Smale condition and global injectivity of local diffeomorphisms in R3

Let F = (F1, F2, F3): R3 → R3 be a C∞ local diffeomorphism. We prove that each of the following conditions are sufficient to the global injectivity of F: A) The foliations FFi made up by the connected components of the level surfaces Fi = constant, consist of leaves without half-Reeb components induced by Fj , j ∈ {1, 2, 3} \ {i}, for i ∈ {1, 2, 3}.B) For each i 6= j ∈ {1, 2, 3}, Fi $l : L → R satisfy the Palais-Smale condition, for all L ∈ FFj. We also prove that B) implies A) and give examples to show that the converse is not true. Further, we give examples showing that none of these conditions is necessary to the global injectivity of F