Linear Second Order ODE/y'' - 3 y' + 2 y = 0/Proof 1
Jump to navigation
Jump to search
Theorem
The second order ODE:
- $(1): \quad y - 3 y' + 2 y = 0$
has the general solution:
- $y = C_1 e^x + C_2 e^{2 x}$
Proof
Consider the functions:
- $\map {y_1} x = e^x$
- $\map {y_2} x = e^{2 x}$
We have that:
\(\ds \frac {\d} {\d x} \, e^x\) | \(=\) | \(\ds e^x\) | Power Rule for Derivatives | |||||||||||
\(\ds \frac {\d} {\d x} \, e^{2 x}\) | \(=\) | \(\ds 2 e^{2 x}\) | Power Rule for Derivatives | |||||||||||
\(\ds \leadsto \ \ \) | \(\ds \frac {\d^2} {\d x^2} \, e^x\) | \(=\) | \(\ds e^x\) | |||||||||||
\(\ds \frac {\d^2} {\d x^2} \, e^{2 x}\) | \(=\) | \(\ds 4 e^{2 x}\) |
Putting $e^x$ and $e^{2 x}$ into $(1)$ in turn:
\(\ds e^0 - 3 e^0 + 2 e^0\) | \(=\) | \(\ds 1 - 3 + 2\) | ||||||||||||
\(\ds \) | \(=\) | \(\ds 0\) |
\(\ds 4 e^{2 x} - 3 \times 2 e^{2 x} + 2 e^{2 x}\) | \(=\) | \(\ds 4 - 6 + 2\) | ||||||||||||
\(\ds \) | \(=\) | \(\ds 0\) |
Hence it can be seen that:
\(\ds \map {y_1} x\) | \(=\) | \(\ds e^x\) | ||||||||||||
\(\ds \map {y_2} x\) | \(=\) | \(\ds e^{2 x}\) |
are particular solutions to $(1)$.
Calculating the Wronskian of $y_1$ and $y_2$:
\(\ds \map W {y_1, y_2}\) | \(=\) | \(\ds \begin {vmatrix} e^x & e^{2 x} \\ e^x & 2 e^{2 x} \end {vmatrix}\) | ||||||||||||
\(\ds \) | \(=\) | \(\ds e^x \times 2 e^{2 x} - e^{2 x} \times e^x\) | ||||||||||||
\(\ds \) | \(=\) | \(\ds 2 e^{3 x} - e^{3 x}\) | ||||||||||||
\(\ds \) | \(=\) | \(\ds e^{3 x}\) |
So the Wronskian of $y_1$ and $y_2$ is never zero.
Thus from Zero Wronskian of Solutions of Homogeneous Linear Second Order ODE iff Linearly Dependent:
- $y_1$ and $y_2$ are linearly independent everywhere on $\R$.
We have that $(1)$ is a homogeneous linear second order ODE in the form:
- $y + \map P x y' + \map Q x y = 0$
where $\map P x = -3$ and $\map Q x = 2$.
So by Constant Real Function is Continuous:
- $P$ and $Q$ are continuous on $\R$.
Thus from Two Linearly Independent Solutions of Homogeneous Linear Second Order ODE generate General Solution:
- $(1)$ has the general solution:
- $y = C_1 e^x + C_2 e^{2 x}$
$\blacksquare$
Sources
- 1972: George F. Simmons: Differential Equations ... (previous) ... (next): $\S 3.15$: Problem $3$