Et nødvendig vilkår for at en funksjonal som er Gateaux-deriverbar skal ha en ekstremalverdi, er at Gateaux-deriverte i alle retninger er lik null.