Definition
A first order linear equation is of the form:
Where and are continuous functions.
Homogeneous First Order Linear Equation
If , we will say that the equation is homogeneous.
Initial Condition (Initial Value Problems - IVPs)
Sometimes, there will be an extra equation that we will call the initial condition. Typically of the form:
Where is the solution function. The subscript just signifies the initial condition or state.
Solving First-Order Linear Equations
Given , we define a new function called the integrating factor. We have:
Where is any antiderivative of
Remark: The exponential function is , thus
Remark: If we have an initial condition , it is convenient to use
a(s)ds$$ *** If $u=\int a(t)dt$ then $\mu(t)=e^u$ and $\frac{d\mu}{dt}=\frac{d}{dt}e^u=e^u \frac{du}{dt}$ We conclude $$ \frac{du}{dt=\mu(t_{1}a(t))}If satisfies
After substitution, we find
Useful Antiderivatives
Example
Find the general solution of
There is no initial value, so the solution will include a constant.
We use and .
The integrating factor is
This implies that
Example with DE given in correct form
Solve
In this case, , .
We have an initial condition where and .
The integrating factor is:
We use the formula
In our case,
Find antiderivatives:
We have that . We need to find , so we can use the initial condition from earlier . Substitute into the equation we have.
Thus:
We can now substitute into the equation, and get . Solving for , we divide by and get:
This is the solution to the differential equation.
We can verify the solution by computing the left-hand side (LHS) and compare with the right-hand side (RHS) of the equation.
We have:
In addition, which satisfies the initial condition.
Example with DE given in incorrect form
Solve
This is not in the form of our expected pattern, so we need to divide by to get that.
In this case, ,
The integrating factor is
We have the formula:
In this case, . Now we can find the antiderivatives:
Now find the constant using the initial condition :
Substitute this value back into the solution, and we get:
Solving for ,