Linear Ordinary Differential Equations
Definition: Linear Ordinary Differential Equations
An ordinary differential equation
is linear if there exist functions such that the ODE can be expressed as
First-Order Linear ODEs
A first-order linear ODE can be expressed as
for some functions , and . We often need transform this into a more standard form by dividing by and imposing the condition that :
where and .
Algorithm: Solving First-Order Linear ODEs
We are given the following first-order linear ODE:
To solve this, we use the method of integrating factors. The goal is to find some function such that we can use the product rule to express the left-hand side as the derivative of . We can then use antidifferentiation to find the solutions.
- Multiply both sides by a yet unknown function :
- In order for to be the derivative of , we need to be equal to because the product rule gives us :
- Divide both sides of by , imposing the condition :
- By also imposing the condition that and then antidifferentiating both sides, we can transform this further:
- We take the real exponential function of both sides:
For each choice of , the expression is some antiderivative of . Thus, if we can find an antiderivative of , then we can find a which satisfies the condition . We can easily verify this as well by applying the chain rule and the rules for the derivative of the real exponential function:
Moreover, since the real exponential function is always positive, we have a which satisfies the previously imposed condition that .
- We have shown how to find an appropriate , so we can proceed with the original equation:
- We antidifferentiate both sides:
- To obtain the solutions, we divide both sides by :
For each choice of , the expression is just some antiderivative of . Therefore, the solutions of the original equation on some open subset are the functions which for all can be expressed for as
where is any antiderivative of and is any antiderivative of .
Summary
Given some open subset , the solutions of the ODE on are the functions which on can be expressed as
for some antiderivative of and some antiderivative of .
Example:
Here we have and . We want to rewrite this as
The antiderivatives of are given by
We choose to make everything simple and so
The equation thus becomes
We antidifferentiate both sides:
Use integration by parts on the right-hand side:
Therefore, we have
and so the solutions are
Example:
TODO