Wronskian Determinants and Linear Homogenous Differential Equations

Wronskian Determinants and Linear Homogenous Differential Equations

Recall from the The Principle of Superposition page that if we have the second order linear homogenous differential equation $\frac{d^2 y}{dt^2} + p(t) \frac{dy}{dt} + q(t)y = 0$ and $y = y_1(t)$ and $y = y_2(t)$ are solutions to this differential equation, then for constants $C$ and $D$, the linear combination $y = Cy_1(t) + Dy_2(t)$ is also a solution to this differential equation. One question to ask if whether or not all of the solutions to this differential equation are in this form as we do not want to miss any other potential solutions.

Suppose that we are given an initial value problem to a second order linear homogenous differential equation in this form alongside the initial conditions $y(t_0) = y_0$ and $y'(t_0) = y'_0$. Applying the first initial condition $y(t_0) = y_0$ to our solution $y = Cy_1(t) + Dy_2(t)$ and we have that:

(1)
\begin{align} \quad y_0 = Cy_1(t_0) + Dy_2(t_0) \end{align}

Now the derivative of $y = Cy_1(t) + Dy_2(t)$ is $y' = Cy_1'(t) + Dy_2'(t)$. Applying the second initial condition $y'(t_0) = y'_0$ and we have that:

(2)
\begin{align} \quad y'_0 = Cy_1'(t_0) + Dy_2'(t_0) \end{align}

We need the unknown constants $C$ and $D$ to satisfy both of these equations, that is, we want to solve the system $\left\{\begin{matrix} Cy_1(t_0) + Dy_2(t_0) = y_0 \\ Cy_1'(t_0) + Dy_2'(t_0) = y'_0 \end{matrix}\right.$ for the constants $C$ and $D$. We note that we have a system of two equations with two unknowns and thus, a unique solution exists if the determinant of the augmented matrix for this system is nonzero, that is:

(3)
\begin{align} W = \begin{vmatrix} y_1(t_0) & y_2(t_0)\\ y_1'(t_0) & y_2'(t_0) \end{vmatrix} = y_1(t_0)y_2'(t_0) - y_1'(t_0)y_2(t_0) \neq 0 \end{align}

Notice though that this determinant $W$ is simple the Wronskian of the functions $y_1$ and $y_2$ evaluated at $t_0$. If $W \neq 0$, then we can apply Cramer's Rule from linear algebra to find the values of the constants $C$ and $D$. We have that:

(4)
\begin{align} \quad C = \frac{\begin{vmatrix} y_0 & y_2(t_0)\\ y'_0) & y_2'(t_0) \end{vmatrix}}{\begin{vmatrix} y_1(t_0) & y_2(t_0)\\ y_1'(t_0) & y_2'(t_0) \end{vmatrix}} = \frac{y_0y_2'(t_0) - y'_0y_2(t_0)}{y_1(t_0)y_2'(t_0) - y_1'(t_0)y_2(t_0)} \quad \quad D = \frac{\begin{vmatrix} y_1(t_0) & y_0 \\ y_1'(t_0) & y'_0\end{vmatrix}}{\begin{vmatrix} y_1(t_0) & y_2(t_0)\\ y_1'(t_0) & y_2'(t_0) \end{vmatrix}} = \frac{y'_0y_1(t_0) - y_0y_1'(t_0)}{y_1(t_0)y_2'(t_0) - y_1'(t_0)y_2(t_0)} \end{align}

If this determinant $W$ equals zero, then either no solutions for $C$ and $D$ exist, or infinitely many solutions for the values of $C$ and $D$ may exist. The following theorem summarizes what we have just found.

 Theorem 1: Let $\frac{d^2 y}{dt^2} + p(t) \frac{dy}{dt} + q(t) y = 0$ be a second order linear homogenous differential equation where $p$ and $q$ are continuous functions on an open interval $I$ such that $t_0 \in I$ and with the initial conditions $y(t_0) = y_0$ and $y'(t_0) = y'_0$. If $y = y_1(t)$ and $y = y_2(t)$ are solutions to this differential equation then there exists constants $C$ and $D$ for which $y = Cy_1(t) + Dy_2(t)$ is a solution to the initial value problem if and only if the Wronskian at $t_0$ is nonzero, that is $W(y_1, y_2) \biggr \rvert_{t_0} = y_1(t_0)y_2'(t_0) - y_1'(t_0)y_2(t_0) \neq 0$.