# The Existence/Uniqueness of Solutions to First Order Linear Differential Equations

Suppose that we have a linear differential equation $y’ + p(t) y = g(t)$ and that we want to solve the initial value problem of $y(t_0) = y_0$. We have already looked at various methods to solve these sort of linear differential equations, however, we will now ask the question of whether or not solutions exist and whether or not these solutions are unique. The following theorem will provide sufficient conditions allowing the unique existence of a solution to these initial value problems.

Theorem 1: Let $p$ and $g$ be continuous functions on the open interval $I = ( \alpha, \beta)$, and let $t_0 \in (\alpha, \beta)$. Then for each $t \in I$ there exists a unique solution $y = \phi (t)$ to the differential equation $\frac{dy}{dt} + p(t) y = g(t)$ that also satisfies the initial value condition that $y(t_0) = y_0$. |

**Proof:**Let $p = p(t)$ and $g = g(t)$ be continuous on $I = (\alpha, \beta)$ and let $t_0 \in (\alpha, \beta)$. Suppose that we have the differential equation $\frac{dy}{dt} + p(t) y = g(t)$. Let $\mu (t)$ be such that $\mu ‘ (t) = \mu (t) p(t)$ (i.e, $\mu (t)$ is an integrating factor of this differential equation).

- Since $p(t)$ is a continuous function in $I = (\alpha, \beta)$ we have that the integrating factor $\mu (t) = e^{\int p(t) \: dt}$ is defined on $I = (\alpha, \beta)$ and is also nonzero and differentiable (sinice $\int p(t) \: dt$ exists from the continuity of $p(t)$ and $\mu (t) = e^{\int p(t) \: dt} > 0$ as an exponential function). Multiplying the differential equation above by $\mu (t)$ and we have that:

(1)

- Note since both $\mu (t)$ and $g(t)$ are continuous on $I = (\alpha, \beta)$ we have that their product $\mu (t) g(t)$ is also continuous on $I = (\alpha, \beta)$. Therefore $\mu (t) g(t)$ is integrable. Integrating both sides of the equation above and we have that:

(2)

- Once again, since $\mu (t) \neq 0$ we can divide both sides of the equation above by $\mu (t)$ which isolates $y$ and proves the existence of a solution to the original differential equation.

(3)

- Now we only need to show the uniqueness of a solution given the initial condition $y(t_0) = y_0$ for $t_0 \in I$. Now since $y(t_0) = y_0$ is the initial condition of our differential equation, then we know that this determines the value of the constant $C$ and the solution is unique. Let the integrating factor $\mu (t) = e^{\int_{t_0}^{t} p(s) \: ds}$ and let $C = y_0$. Then

(4)

- Notice that $\mu (t_0) = e^{\int_{t_0}^{t_0} p(s) \: ds} = e^0 = 1$. So $y(t_0)$ is:

(5)

## Example 1

**Find the interval for which the linear differential equation $\frac{dy}{dt} + 4y = \cos t$ has a unique solution for the initial condition $y(0) = 0$ and then find this solution.**

Note that in this example $p(t) = 4$ and $g(t) = \cos t$. Both of these functions are continuous on all of $\mathbb{R}$, and so the unique solution is given on the interval $(-\infty, \infty)$.

We will now solve for this solution. Let $\mu (t) = e^{\int 4 \: dt} = e^{4t}$ be an integrating factor for our differential equation. Multiplying both sides of the differential equation above by $\mu (t)$ and we have that:

(6)

We want to evaluate $\int e^{4t} \cos t \: dt$. We can do this through Integration by Parts or using Tabular Integration. Either way, we get that $\int e^{4t} \cos t \: dt = \frac{e^{4t} ( \sin t + 4 \cos t)}{17} + C$. Hence:

(7)

Now since $y(0) = 0$ we have that $C = -\frac{4}{17}$, so our unique solution to the given differential equation is:

(8)

### Related post:

- Grade Nine learners taught mathematics skills – Tembisan
- A Library Browse Leads Math’s Bill Dunham to Question the Origins of The Möbius Function – Bryn Mawr Now
- Year 5 and 6 students to sit competition this Wednesday – Great Lakes Advocate
- USC student wins silver medal in China math contest – SunStar Philippines
- CBSE Exam 2020: Two separate examinations to be conducted for Class 10 Mathematics – Jagran Josh
- Concepts incomplete, problems unsolvable in math textbooks – Times of India
- Education Ministry to Host Tertiary and Employment Fairs – Government of Jamaica, Jamaica Information Service
- Vogue’s Edwina McCann and Westpac’s Anastasia Cammaroto on how they inspire women to pursue STEM – Vogue Australia
- Jonee Wilson, Temple Walkowiak to Measure High-Quality Instructional Practices to Support Marginalized Students in Rigorous Mathematics through NSF Grant – NC State College of Education
- Australian Conference on Science and Mathematics Education – Australian Academy of Science