Difference between revisions of "Determinant"

From Department of Mathematics at UTSA
Jump to navigation Jump to search
(Created page with "== Wronskian Determinants of Two Functions == We are going to look more into second order linear homogenous differential equations, but before we do, we need to first learn a...")
 
 
(One intermediate revision by the same user not shown)
Line 26: Line 26:
  
 
Note that <math>-e^{2x} < 0</math> for all <math>x \in \mathbb{R}</math> so the Wronskian of <math>f</math> and <math>g</math> is zero nowhere.
 
Note that <math>-e^{2x} < 0</math> for all <math>x \in \mathbb{R}</math> so the Wronskian of <math>f</math> and <math>g</math> is zero nowhere.
 +
 +
== Wronskian Determinants and Linear Homogenous Differential Equations ==
 +
 +
Recall that if we have the second order linear homogenous differential equation <math>\frac{d^2 y}{dt^2} + p(t) \frac{dy}{dt} + q(t)y = 0</math> and <math>y = y_1(t)</math> and <math>y = y_2(t)</math> are solutions to this differential equation, then for constants <math>C</math> and <math>D</math>, the linear combination <math>y = Cy_1(t) + Dy_2(t)</math> is also a solution to this differential equation. One question to ask if whether or not <em>all</em> 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 <math>y(t_0) = y_0</math> and <math>y'(t_0) = y'_0</math>. Applying the first initial condition <math>y(t_0) = y_0</math> to our solution <math>y = Cy_1(t) + Dy_2(t)</math> and we have that:
 +
<div style="text-align: center;"><math>\begin{align} \quad y_0 = Cy_1(t_0) + Dy_2(t_0) \end{align}</math></div>
 +
 +
Now the derivative of <math>y = Cy_1(t) + Dy_2(t)</math> is <math>y' = Cy_1'(t) + Dy_2'(t)</math>. Applying the second initial condition <math>y'(t_0) = y'_0</math> and we have that:
 +
<div style="text-align: center;"><math>\begin{align} \quad y'_0 = Cy_1'(t_0) + Dy_2'(t_0) \end{align}</math></div>
 +
 +
We need the unknown constants <math>C</math> and <math>D</math> to satisfy both of these equations, that is, we want to solve the system <math>\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.</math> for the constants <math>C</math> and <math>D</math>. 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:
 +
<div style="text-align: center;"><math>\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}</math></div>
 +
 +
Notice though that this determinant <math>W</math> is simple the Wronskian of the functions <math>y_1</math> and <math>y_2</math> evaluated at <math>t_0</math>. If <math>W \neq 0</math>, then we can apply Cramer's Rule from linear algebra to find the values of the constants <math>C</math> and <math>D</math>. We have that:
 +
 +
<div style="text-align: center;"><math>\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}</math></div>
 +
If this determinant <math>W</math> equals zero, then either no solutions for <math>C</math> and <math>D</math> exist, or infinitely many solutions for the values of <math>C</math> and <math>D</math> may exist. The following theorem summarizes what we have just found.
 +
 +
<blockquote style="background: white; border: 1px solid black; padding: 1em;">
 +
: '''Theorem 1:''' Let <math>\frac{d^2 y}{dt^2} + p(t) \frac{dy}{dt} + q(t) y = 0</math> be a second order linear homogenous differential equation where <math>p</math> and <math>q</math> are continuous functions on an open interval <math>I</math> such that <math>t_0 \in I</math> and with the initial conditions <math>y(t_0) = y_0</math> and <math>y'(t_0) = y'_0</math>. If <math>y = y_1(t)</math> and <math>y = y_2(t)</math> are solutions to this differential equation then there exists constants <math>C</math> and <math>D</math> for which <math>y = Cy_1(t) + Dy_2(t)</math> is a solution to the initial value problem if and only if the Wronskian at <math>t_0</math> is nonzero, that is <math>W(y_1, y_2) \bigg|_{t_0} = y_1(t_0)y_2'(t_0) - y_1'(t_0)y_2(t_0) \neq 0</math>.
 +
</blockquote>
 +
 +
== Licensing ==
 +
Content obtained and/or adapted from:
 +
* [http://mathonline.wikidot.com/wronskian-determinants-of-two-functions Wronskian Determinants of Two Functions, mathonline.wikidot.com] under a CC BY-SA license
 +
* [http://mathonline.wikidot.com/wronskian-determinants-and-linear-homogenous-differential-eq Wronskian Determinants and Linear Homogenous Differential Equations, mathonline.wikidot.com] under a CC BY-SA license

Latest revision as of 23:53, 18 November 2021

Wronskian Determinants of Two Functions

We are going to look more into second order linear homogenous differential equations, but before we do, we need to first learn about a type of determinant known as a Wronskian Determinant which we define below.

Definition: Let and be two differentiable functions. Then the Wronskian Determinant of and is the determinant .

Sometimes the term "Wronskian" by itself is used to mean the same thing as "Wronskian Determinant". Furthermore, sometimes we can just write "", or "" instead of to represent the Wronskian of and .

Let's look at some examples of computing the Wronskian determinant of two differentiable functions.

Example 1

Determine the Wronskian of the functions and . For what values of is the Wronskian equal to zero?

We note that and are both differentiable functions and that and . Therefore the Wronskian of and is:

Therefore the Wronskian of and is equal to zero for all .

Example 2

Determine the Wronskian of the functions and . For what values of is the Wronskian equal to zero?

We note that and are both differentiable functions and that and . Therefore the Wronskian of and is:

Note that for all so the Wronskian of and is zero nowhere.

Wronskian Determinants and Linear Homogenous Differential Equations

Recall that if we have the second order linear homogenous differential equation and and are solutions to this differential equation, then for constants and , the linear combination 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 and . Applying the first initial condition to our solution and we have that:

Now the derivative of is . Applying the second initial condition and we have that:

We need the unknown constants and to satisfy both of these equations, that is, we want to solve the system for the constants and . 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:

Notice though that this determinant is simple the Wronskian of the functions and evaluated at . If , then we can apply Cramer's Rule from linear algebra to find the values of the constants and . We have that:

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

Theorem 1: Let be a second order linear homogenous differential equation where and are continuous functions on an open interval such that and with the initial conditions and . If and are solutions to this differential equation then there exists constants and for which is a solution to the initial value problem if and only if the Wronskian at is nonzero, that is .

Licensing

Content obtained and/or adapted from: