As well as offering the reader a complete theory of Sobolev spaces, this volume explains how the abstract methods of convex analysis can be combined with this theory to produce existence results for the solutions of non-linear elliptic boundary problems.