Suppose we are given boundary conditions, i.e., a specification of the value of φ φ at the boundary if M is compact, or some limit on φ φ as x approaches ∞. Then the subspace of C consisting of functions φ φ such that all functional derivatives of S at φ φ are zero, that is: