If you like the website, please spread the word about it or post a link to it on your own website.

Existence and Uniqueness

This note contains some theorems that refer to existence and uniqueness of solution of ODE.

Theorem 1. Consider the linear differential equation of n-th order: `y^((n))+p_1(t)y^((n-1))+p_2(t)y^((n-2))+...+p_n(t)=f(t)` . If all coefficients `p_1(t)`, `p_2(t)`, ..., `p_n(t)` and `f(t)` are continuous in interval `(a,b)` then equation has unique solution, which satisfies given initial conditions `y(t_0)=y_0` , `y'(t_0)=y_0^'` , ..., `y^((n-1))(t_0)=y_0^((n-1))` , where `t_0` belongs to the interval `(a,b)` .

Note that there are no restrictions on `y_0,y_0^',...,y_0^((n-1))` .

Theorem 2. Consider the IVP `y'=f(t,y)` `y(t_0)=y_0` . If `f(t,y)` and `(partial f)/(partial y)` are continuous in some rectangle `(t_1,t_2)` , `(y_1,y_2)` that contains point `(t_0,y_0)`, then there exists unique solution to the IVP in some interval `t_0-epsilon<t<t_0+epsilon` (`epsilon>0` ) that is contained in interval `(t_1,t_2)` .

These theorems are very similar, however there is one big difference: for the linear ODE there are no restrictions on initial function values (`y_0,y_0^',...,y_0^((n-1))` ), unlike the case with non-linear ODE (theorem 2).

Example 1. Determine all sollutions to the following IVP: `y'=y^(1/5)` , y(0)=0.

Here `f(t,y)=y^(1/5)` and it is continuous, but `(partial f)/(partial y)=1/5 y^(-4/5)` is not continuous at `y=0` so theorem 2 doesn't hold an there is more than solution. Note, that first solution is `y=0`.

To find second solution note that `(dy)/(dt)=y^(1/5)->(dy)/(y^(1/5))=dt`

Integrating both sides gives `5/4 y^(4/5)=t+C`.

Plugging initial conditions yields `5/4*0^(4/5)=0+C ->C=0`

So, `5/4 y^(4/5)=t`

Or

`y^(4/5)=4/5t`

`y^4=(4/5t)^5`

`y=+-(4/5t)^(5/4)`

Thi gives two other solutions. So, together with `y=0` there are three different solutions.