Representation theorems for Sobolev spaces on intervals and multiplicity results for nonlinear ODEs

We present some topological isomorphisms between Wm,p((0,1)) and Lp((0,1))×Rm. Combined with some arguments from Fourier analysis, we obtain explicit Schauder bases for Wm,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.