This book offers on the one hand a complete theory of Sobolev spaces, which are of fundamental importance for elliptic linear and non-linear differential equations, and explains on the other hand 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. The book also considers other kinds of functional spaces which are useful for treating variational problems such as the minimal surface problem.