A necessary condition for uniqueness

  • Thread starter saltydog
  • Start date

saltydog

Science Advisor
Homework Helper
1,582
2
Hello guys. I've been looking at uniqueness requirements for the differential equation:

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

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 [itex]x_0[/itex]:

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

[tex]|f(x,y_1)-f(x,y_2)|<K|y_1-y_2|[/tex]

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 [itex]x_0[/itex], 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

Science Advisor
Homework Helper
1,582
2
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:

[tex]\frac{dy}{dx}=\sqrt{y};\qquad y(0)=0[/tex]


Solving yields:

[tex]y(x)=\frac{1}{4}(x+c)^2[/tex]

Substituting the initial conditions yields:

[tex]y(x)=\frac{1}{4}x^2[/tex]

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 [itex]y_1=0[/itex]:

[tex]|\sqrt{y_2}|\leq K|(y_2)|[/tex]

Letting:

[tex] y_2=\frac{1}{K^4}[/tex]

We obtain:

[tex]\frac{1}{K^2}\leq \frac{1}{K3} \quad\text{obsurd}[/tex]

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,

[tex]\frac{\partial f}{\partial y}\leq K[/tex]

Thus a bounded partial seems crucial to the Lipschitz condition.
 

saltydog

Science Advisor
Homework Helper
1,582
2
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?
 

Related Threads for: A necessary condition for uniqueness

  • Posted
Replies
0
Views
897
Replies
3
Views
623
Replies
2
Views
2K
  • Posted
Replies
0
Views
480
  • Posted
Replies
8
Views
2K

Physics Forums Values

We Value Quality
• Topics based on mainstream science
• Proper English grammar and spelling
We Value Civility
• Positive and compassionate attitudes
• Patience while debating
We Value Productivity
• Disciplined to remain on-topic
• Recognition of own weaknesses
• Solo and co-op problem solving

Hot Threads

Top