A necessary condition for uniqueness

[saltydog]

Hello guys. I've been looking at uniqueness requirements for the differential equation:

\frac{dy}{dx}=f(x,y);\qquad y(a)=b

And the extension of this to higher-ordered equations.

I'd like to understand the sufficient and necessary conditions for uniqueness.

Most proofs require that f(x,y) and its partial with respect to y be continuous. However, Ince shows that continuity of f(x,y) is not a necessary condition for uniqueness. As I read his analysis, it appears that the one necessary condition for uniqueness is that f(x,y) MUST satisfy a Lipschitz condition (or a condition of a similar nature) about the initial point x_0:

If (x,y_1) and (x,y_2) be any points about some defined region containing x_0, then:

|f(x,y_1)-f(x,y_2)|<K|y_1-y_2|

for some constant K.

It's still a bit unclear to me.

May I ask this: If f(x,y) does NOT satisfy a Lipschitz condition in a neighborhood of x_0, then no unique solution exists for the differential equation and if a unique solution exists, then f(x,y) must necessarilly satisfy a Lipschitz condition?

 

[saltydog]

I'd like to look at this one first. I know it's easy. I'm not concerned in this post about "how to solve ODEs", but rather with issues regarding existence and uniqueness:

\frac{dy}{dx}=\sqrt{y};\qquad y(0)=0


Solving yields:

y(x)=\frac{1}{4}(x+c)^2

Substituting the initial conditions yields:

y(x)=\frac{1}{4}x^2

But y(x)=0 is another solution and thus uniqueness is not obtained.

Looking at the Lipschitz condition in the neighborhood of the origin with y_1=0:

|\sqrt{y_2}|\leq K|(y_2)|

Letting:

y_2=\frac{1}{K^4}

We obtain:

\frac{1}{K^2}\leq \frac{1}{K3} \quad\text{obsurd}

Thus the Lipschitz condition is not met. However, the partial of f(x,y) is unbounded at y=0. Generally in the proofs of existence,

\frac{\partial f}{\partial y}\leq K

Thus a bounded partial seems crucial to the Lipschitz condition.

 

[saltydog]

As I look into this, I'm starting to suspect "containment" perhaps is the essential pre-requisite for uniqueness. If that is so, why is it? A differential equation, in the form specified above (and its higher ordered analogs I suspect), appears to admit uniqueness only if the function f(x,y) and it's partial are bounded or "contained" and once that containment is lost, uniqueness seems to be lost. Or is that not the case? Can there be a differential equation, unbounded at a point in its domain which still admits a unique solution at that point?

What is the relationship between uniqueness and containment? Is containment the necessary condition for uniqueness and why must it be so if so?