First, the solution to a "differential equation" is never unique. Solving a differential equation is equivalent to integrating so there is always an arbitrary "constant of integration". There is an "existence and uniqueness" theorem for initial value problems: if the function f(x, y) is continuous in both variables and "Lipshitz" in y for some region about (x_0, y_0) then there exist a unique function, in some region of (x_0, y_0), satisfying dy/dx= f(x, y), with the "initial condition" y(x_0)= y_0.
Generally, if the function is continuous but not Lipschitz, you may have existence without uniqueness. For example the initial value problem dy/dx= \sqrt{y}, y(0)= 0, has both y= x^2/4 and y= 0, for all x, as solutions.
(A function of a single variable, f(x), is "Lipschitz" in set A of real numbers if and only if |f(x)- f(y)|\le C|x- y| for some constant C, for x and y in A. A function, f(x, y), of two variables, is "Lipschitz in y" in set A of pairs of numbers, (x, y), if and only if f(x_0, y) is Lipschitz in y for every x_0. "lipschitz" lies between "continuous" and "differentiable"- every Lipshitz function is continuous but there exist continuous functions that are not Lispchitz. Similarly, every differentiable function is Lipshitz but there exist Lipschitz functions that are not differentiable. Some textbooks give the condition ""differentiable in y" rather than "Lipschitz". That is "sufficient" but not "necessary".)
For boundary value problems, where we are given values of y at two or more points rather than values of y and its derivatives at a single point, there is no such theorem. Both "existence" and "uniqueness" depend on the equation and the boundary values.
Obvious examples are:
d^2y/dt^2= -y, y(0)= 0, y(\pi)= 1 has NO solution while
d^2y/dt^2= -y, y(0)= 0, y(\pi)= 0 has infinitely many solutions.