Fréchet and Gateaux differentiability in optimization Existence theories mathematics