Please see this page: The implicit function theorem: A PDE example.
In the implicit function theorem they quote, uniqueness is not mentioned. But the inverse function theorem (which is equivalent to the IMFT), we do get uniqueness. So am I right that the solution got by using the theorem is unique as well?