Existence and uniqueness for variational problem from progressive lens design