Existence and Uniqueness Theorem

Click For Summary
The discussion centers on the Existence and Uniqueness Theorem for differential equations, specifically regarding the continuity of the function f(x,y) and its partial derivative with respect to y. It clarifies that if f(x,y) and ∂f/∂y are discontinuous at a point y1, then that point cannot coexist with a unique solution at (x0, y0) within the same rectangle R. The theorem states that a unique solution exists only if both functions are continuous in the specified region. Therefore, if y1 is a point of discontinuity, it contradicts the conditions necessary for the existence of a unique solution at (x0, y0). The conclusion emphasizes that points of discontinuity and unique solutions cannot be in the same region.
Bashyboy
Messages
1,419
Reaction score
5
Hello Everyone.

I have a question. Suppose I have a differential equation for which I want to find the values at which \displaystyle f(x,y) and \displaystyle \frac{\partial f}{\partial y} are discontinuous, that I might know the points at which more than one solution exists. Suppose that \displaystyle y_1 is such a value. Now suppose we want to find a unique solution at \displaystyle (x_0, y_0), and that it exists. My question is, can the region that encloses \displaystyle (x_0,y_0) also include \displaystyle y_1?
 
Last edited:
Physics news on Phys.org
Hi bashyboy,

Statement of the Existence and Uniqueness Theorem:

If ##f(x,y)## and ##f_y(x,y)## are continuous in a rectangle ##R: |t|<= a, |y| <= b##, then there is some interval ##|t| <= h <= a## in which there exists a unique solution ##y = \phi(t)## of the initial value problem.

I find the wording of your question a bit confusing, so I'm coming in with the assumption that you're trying to find out if ##y_1## is the value at which the function and/or its y partial are discontinuous if it can exist in the rectangle ##R##. If this assumption is correct then maybe I am the confusing one!

I'm also assuming here that you have created a line ##y_1## where the function and/or its derivative are continuous. Line, point, whatever :P

So if the function and its y partial are discontinuous at that point ##y_1##, then it does not satisfy the first condition of the theorem where it must be continuous in that rectangle. Therefore your points ##(x_0,y_0)## and your line ##y_1## cannot live in the same rectangle. Bad blood bro.

I hope this is what you were looking for!
 

Similar threads

  • · Replies 1 ·
Replies
1
Views
566
  • · Replies 5 ·
Replies
5
Views
2K
Replies
1
Views
2K
Replies
1
Views
2K
  • · Replies 2 ·
Replies
2
Views
2K
  • · Replies 2 ·
Replies
2
Views
2K
  • · Replies 4 ·
Replies
4
Views
2K
  • · Replies 2 ·
Replies
2
Views
2K
  • · Replies 5 ·
Replies
5
Views
2K