\(\newcommand{\id}{\mathrm{id}}\) \( \newcommand{\Span}{\mathrm{span}}\) \( \newcommand{\kernel}{\mathrm{null}\,}\) \( \newcommand{\range}{\mathrm{range}\,}\) \( \newcommand{\RealPart}{\mathrm{Re}}\) \( \newcommand{\ImaginaryPart}{\mathrm{Im}}\) \( \newcommand{\Argument}{\mathrm{Arg}}\) \( \newcommand{\norm}[1]{\| #1 \|}\) \( \newcommand{\inner}[2]{\langle #1, #2 \rangle}\) \( \newcommand{\Span}{\mathrm{span}}\)

If you like us, please share us on social media.

The latest UCD Hyperlibrary newsletter is now complete, check it out.

MathWiki: The Dynamic Mathematics E-textbook > Analysis > Ordinary Differential Equations > Second Order Linear Differential Equations > Uniqueness and Existence for Second Order Differential Equations

MindTouch

Copyright (c) 2006-2014 MindTouch Inc.

http://mindtouch.com

This file and accompanying files are licensed under the MindTouch Master Subscription Agreement (MSA).

At any time, you shall not, directly or indirectly: (i) sublicense,
resell, rent, lease, distribute, market, commercialize or otherwise
transfer rights or usage to: (a) the Software, (b) any modified version
or derivative work of the Software created by you or for you, or (c)
MindTouch Open Source (which includes all non-supported versions of
MindTouch-developed software), for any purpose including timesharing or
service bureau purposes; (ii) remove or alter any copyright, trademark
or proprietary notice in the Software; (iii) transfer, use or export the
Software in violation of any applicable laws or regulations of any
government or governmental agency; (iv) use or run on any of your
hardware, or have deployed for use, any production version of MindTouch
Open Source; (v) use any of the Support Services, Error corrections,
Updates or Upgrades, for the MindTouch Open Source software or for any
Server for which Support Services are not then purchased as provided
hereunder; or (vi) reverse engineer, decompile or modify any encrypted
or encoded portion of the Software.

A complete copy of the MSA is available at http://www.mindtouch.com/msa

Uniqueness and Existence for Second Order Differential Equations

Recall that for a first order linear differential equation

\( y' + p(t) y = g (t) \) \( y(t_0) = y_0 \)

if \( p(t) \) and \( g(t) \) are continuous on[a,b], then there exists a unique solution on the interval \([a,b]\).

We can ask the same questions of second order linear differential equations. We need to first make a few comments. The first is that for a second order differential equation, it is not enough to state the initial position. We must also have the initial velocity. One way of convincing yourself, is that since we need to reverse *two *derivatives, *two *constants of integration will be introduced, hence *two* pieces of information must be found to determine the constants.

A second comment is that of notation. Let

\[ y'' + p(t) y' + q(t) y = g(t) \]

be a second order linear differential equation. Then we call the operator

\[ L(y) = y'' + p(t)y' + q(t)y \]

the *corresponding* *linear operator*. Thus we want to find solutions to the equationy

\[ L(y) = g(t) y(t_0) = y_0 y' (t_0) = y'_0 \]

We will state the following theorem without proof. The proof is well above the level of this course.

## Theorem: (Existence and Uniqueness) |

Let \(p(t)\), \(q(t)\), and \(g(t)\) be continuous on \([a,b]\), then the differential equation \[ y'' + p(t) y' + q(t) y = g(t) y(t_0) = y_0 y'(t_0) = y'_0 \] has a unique solution defined for all \(t\) in \([a,b]\). |

## Example 1 |

Find the largest interval where \[ (t^2 -1 )y'' + 3ty' + \cos t y = e^t y(0) = 4, y'(0) = 5 \] is guaranteed to have a unique solution. ## SolutionWe first put it into standard form \[ y'' + \frac {3t}{t^2 - 1} y' + \frac {\cos t }{ t^2 -1} y = \frac {e^t}{ t^2 -1} y(0) = 4 , y'(0) = 5 \] \(p\), \(q\), and \(g\) are all continuous except at \( t = -1 \) and \( t = 1 \). The theorem tells us that there is a unique solution on \([-1,1]\). |

Next we will investigate solutions to homogeneous differential equations. Consider the homogeneous linear differential equation

\[ L(y) = 0 \]

We have the following theorem

## Theorem |

Let \( L (y) = 0 \) be a homogeneous linear second order differential equation and let \( y_1 \) and \( y_2 \) be two solutions. Then \( c_1y_1 + c_2y_2 \) is also a solution for any pair or constants \(c_1\) and \(c_2\). |

Using the terminology of linear algebra, we know that \(L\) is a linear transformation of the vector space of differentiable functions into itself. The theorem reminds us that the kernel of a linear transformation is a vector subspace.

**Proof**

\(L ( c_1y_1 + C_2y_2) = (c_1y_1 + c_2y_2)'' + p(t)(c_1y_1 + c_2y_2)' + q(t)(c_1y_1 + c_2y_2) \)

\( = c_1y''_1 + c_2y''_2 + p(t)c_1y'_1 + p(t) c_2y'_2 + q(t) c_1y_1 + q(t) c_2y_2 \)

\( = c_1y''_1 + p(t)c_1y'_1 + q(t)c_1y_1 + q(t) c_2y''_2 + p(t) c_2y'_2 + q(t)c_2y_2 \)

\( = c_1(y''_1 + p(t)y'_1 + q(t)y_1) + c_2(y''_2 + p(t)y'_2 + q(t) y_2) \)

\( = c_1L(y_1) + c_2L(y_2) = 0 + 0 = 0 \)

Next, we investigate the initial conditions. If we find a general solution to the homogenous system, can we choose constants such that the solution satisfies the initial conditions? That is can we find \(c_1\) and \(c_2\) such that

\[ c_1y_1(t_0) + c_2y_2(t_0) = y_0 \]

\[ c_1y'_1(t_0) + c_2y'_2(t_0) = y'_0 \]

We can put this into a matrix equation

\[ { \begin{pmatrix} y_1(t_0) y_2(t_0) \\ y'_1(t_0) y'_2(t_0) \end{pmatrix} \begin{pmatrix} c_1\\ c_2 \end{pmatrix} = \begin{pmatrix} y_0 \\ y'_0 \end{pmatrix} }\]

This has a unique solution if and only if the determinant of the matrix is not zero; this determinant is called the *Wronskian*.

This proves the following theorem:

## Theorem |

Let \(L(y) = 0 \) \( y(t_0) = y_0 \) \(y'(t_0) = y'_0 \) be a homogeneous linear second order differential equation and let \(y_1\) and \(y_2\) be two general solutions (No initial value). Then if the Wronskian \[ y_1y'_2 - y'_1y_2 \] is nonzero, there exists a solution to the initial value problem of the form \[ y = c_1y_1 + c_2y_2 \] |

## Example 2 |

Consider the differential equation \[ y'' + 2y' - 8y = 0 \] It is easy to check that the general solution is given by \[ y = c_1e^{2t} + c_2e^{-4t} \] The Wronskian of \( y_1 = e^{2t}\) \(y_2 = e^{-4t} \) is given by \[ e^{2t}(-4e^{-4t}) - (2e^{2t})e^{-4t} = -4e^{-2t} - 2e^{-2t} = -6e^{-2t} \] Which is never zero. We can conclude that any initial value problem will have a unique solution of the form \[ y = c_1e^{2t} + c_2e^{-4t} \] |

- Larry Green (Lake Tahoe Community College)

Last modified

15:23, 7 Nov 2013

- © Copyright 2015 MathWiki

UC Davis GeoWiki by University of California, Davis is licensed under a Creative Commons Attribution-Noncommercial-Share Alike 3.0 United States License. Permissions beyond the scope of this license may be available at copyright@ucdavis.edu. Terms of Use