We present some topological isomorphisms between W m,p ((0, 1)) and L p ((0, 1)) × R m . Combined with some arguments from Fourier analysis, we obtain explicit Schauder bases for W m,p ((0, 1)) and some of its subspaces. In addition, we apply such results to treat some boundary value problems involving nonlinear elliptic differential equations.