“…It is also relatively compact. Indeed, for any x = x(t) in Ξ(ξ, η 1 , η 2 ; M, M * ; I), Finally, by Schauder's fixed point theorem, we may assert that there is a function x = x(t) in Ξ(ξ, η 1 , η 2 ; M, M * ; I) which satisfies (12). By differentiating both sides of (12), we see that x is the desired solution of (1).…”