# Question on an interval that makes the solution unique

In the example, the solution for the interval is $\delta_2 = |x_0|$. I'm confused on how they got that. What was the algebraic step to solve for $\delta_2$? I mean I can reason it out, and it makes sense. However, how do I actually solve for it algebraically? Thank you!

## 2 Answers

We know that an ODE of the form $$y' = F(x,y),\quad y(x_{0}) = y_{0}$$ is guaranteed a unique solution when both $F(x,y)$ and $F_{y}(x,y)$ are continuous. For Example $5$, $$y' = 2y/x,\quad y(x_{0}) = y_{0},$$ we see that both $$F(x,y) = 2y/x\quad \text{and}\quad F_{y}(x,y) = 2/x$$ are continuous so long as $x\neq 0$. That means that first of all we get an interval of uniqueness for some $\delta_{2} > 0$: $$x_{0} - \delta_{2} < x < x_{0} + \delta_{2}.$$ Because we need to keep $x$ away from $0$, and we don't know if $x_{0}$ is greater than or less than $0$ we have two cases:

First, if $x_{0} > 0$ we can take $$x_{0} - \delta_{2} = 0 \implies \delta_{2} = x_{0}.$$

Second, if $x_{0} < 0$ we can take $$x_{0} + \delta_{2} = 0 \implies \delta_{2} = |x_{0}|.$$

In either case, it suffices to take $\delta_{2} = |x_{0}|$ to guarantee uniqueness.

• a more general question is (from en.wikipedia.org/wiki/Picard%E2%80%93Lindel%C3%B6f_theorem) $a < min\{b/M, 1/L\}$. What is b, M, and L in this context? Thank you! Commented May 9, 2017 at 15:16
• @PhuNguyen I clarified my answer a bit. Commented May 9, 2017 at 15:22
• Thank you! I understand that now, but can you please answer my more general question on the topic? Thanks! Commented May 9, 2017 at 15:25

To satisfy conditions for uniqueness, solutions in this example have to stay away from $0$. Since the distance from a point $x_0\ne0$ to $0$ is $|x_0|$, an interval on which a unique solution exists cannot go by more than $\delta_2=|x_0|$ away from $x_0$.

• That's what I figured logically. This is a simple equation with a simple solution. What happens if the equation is much more complicated? I won't be able to reason out like on this problem. How do I solve for $\delta_0$ algebraically? Thank you! Commented May 9, 2017 at 15:11
• @PhuNguyen: I'd say it's still based on the same idea -- you need to find discontinuities of $F$ and $\partial F/\partial y$ and stay away from them. So the issue is not as much an ODE problem as it is an algebra problem. I don't think we can say that there's a common method for all of them -- depends on the functions. Commented May 9, 2017 at 15:32
• Lol, so basically, I have to reason out logically for each individual case? If that is the case, I guess I got the idea now. Thanks! Commented May 9, 2017 at 15:57