Description
Please show work steps. Using LaTeX or any other program is preferred, if not, please show very clear hand writing.
TEST 4
Name:
SHOW ALL YOUR WORK
*Ã¢Ë†â€™4
1. [15 pts.] Find general solution of Y 0 (t) = … 1
,2
Ã¢Ë†â€™6
3
0
Ã¢Ë†â€™6+
/
1 // Y (t).
4
4
2. [15 pts.] Find general solution of Y 0 (t) = *
,6
te2t
Y (t) + * 2 Ã¢Ë†â€™5t +.
Ã¢Ë†â€™7,3t e Ã¢Ë†â€™3+
3. [15 pts.] Find the general solution for a) y 00 + y 0 Ã¢Ë†â€™ 12y = e3t + e t ;
b) y 00 + y = t 2 + t.
4. [15 pts.] Solve the initial value problem y 00 + 2y 0 + y = eÃ¢Ë†â€™t + cos(2t), y(0) = Ã¢Ë†â€™3/25, y 0 (0) = 8/25, and accurately
graph the solution.
5. [15 pts.] Find general solution of y 00 + y = 4t sin(t).
Notes on Diffy Qs
Differential Equations for Engineers
by JiÃ…â„¢ÃƒÂ Lebl
July 21, 2020
(version 6.1)
2
Typeset in LATEX.
Copyright Ã‚Â©2008Ã¢â‚¬â€œ2020 JiÃ…â„¢ÃƒÂ Lebl
This work is dual licensed under the Creative Commons AttributionNoncommercialShare Alike 4.0
International License and the Creative Commons AttributionShare Alike 4.0 International License.
To view a copy of these licenses, visit https://creativecommons.org/licenses/byncsa/4.0/
or https://creativecommons.org/licenses/bysa/4.0/ or send a letter to Creative Commons
PO Box 1866, Mountain View, CA 94042, USA.
You can use, print, duplicate, share this book as much as you want. You can base your own notes
on it and reuse parts if you keep the license the same. You can assume the license is either the
CCBYNCSA or CCBYSA, whichever is compatible with what you wish to do, your derivative
works must use at least one of the licenses. Derivative works must be prominently marked as such.
During the writing of this book, the author was in part supported by NSF grant DMS0900885 and
DMS1362337.
The date is the main identifier of version. The major version / edition number is raised only if there
have been substantial changes. Edition number started at 5, that is, version 5.0, as it was not kept
track of before.
See https://www.jirka.org/diffyqs/ for more information (including contact information).
The LATEX source for the book is available for possible modification and customization at github:
https://github.com/jirilebl/diffyqs
Contents
Introduction
7
0.1 Notes about these notes . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 7
0.2 Introduction to differential equations . . . . . . . . . . . . . . . . . . . . . . . 10
0.3 Classification of differential equations . . . . . . . . . . . . . . . . . . . . . . 17
1
2
3
First order equations
1.1 Integrals as solutions . . . . . . . . . . . . .
1.2 Slope fields . . . . . . . . . . . . . . . . . . .
1.3 Separable equations . . . . . . . . . . . . . .
1.4 Linear equations and the integrating factor
1.5 Substitution . . . . . . . . . . . . . . . . . .
1.6 Autonomous equations . . . . . . . . . . . .
1.7 Numerical methods: EulerÃ¢â‚¬â„¢s method . . . .
1.8 Exact equations . . . . . . . . . . . . . . . .
1.9 First order linear PDE . . . . . . . . . . . . .
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
Higher order linear ODEs
2.1 Second order linear ODEs . . . . . . . . . . . .
2.2 Constant coefficient second order linear ODEs
2.3 Higher order linear ODEs . . . . . . . . . . . .
2.4 Mechanical vibrations . . . . . . . . . . . . . .
2.5 Nonhomogeneous equations . . . . . . . . . . .
2.6 Forced oscillations and resonance . . . . . . . .
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
Systems of ODEs
3.1 Introduction to systems of ODEs . . . . . . . . .
3.2 Matrices and linear systems . . . . . . . . . . . .
3.3 Linear systems of ODEs . . . . . . . . . . . . . .
3.4 Eigenvalue method . . . . . . . . . . . . . . . . .
3.5 Twodimensional systems and their vector fields
3.6 Second order systems and applications . . . . . .
3.7 Multiple eigenvalues . . . . . . . . . . . . . . . .
3.8 Matrix exponentials . . . . . . . . . . . . . . . . .
3.9 Nonhomogeneous systems . . . . . . . . . . . . .
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
21
21
27
33
40
46
51
57
63
72
.
.
.
.
.
.
79
79
84
90
96
104
111
.
.
.
.
.
.
.
.
.
119
119
127
136
140
147
152
162
169
177
4
4
CONTENTS
Fourier series and PDEs
4.1 Boundary value problems . . . . . . . . . . . . . . . .
4.2 The trigonometric series . . . . . . . . . . . . . . . . .
4.3 More on the Fourier series . . . . . . . . . . . . . . . .
4.4 Sine and cosine series . . . . . . . . . . . . . . . . . . .
4.5 Applications of Fourier series . . . . . . . . . . . . . .
4.6 PDEs, separation of variables, and the heat equation .
4.7 Onedimensional wave equation . . . . . . . . . . . .
4.8 DÃ¢â‚¬â„¢Alembert solution of the wave equation . . . . . . .
4.9 Steady state temperature and the Laplacian . . . . . .
4.10 Dirichlet problem in the circle and the Poisson kernel
.
.
.
.
.
.
.
.
.
.
189
189
198
208
218
226
232
243
252
258
264
5
More on eigenvalue problems
5.1 SturmÃ¢â‚¬â€œLiouville problems . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
5.2 Higher order eigenvalue problems . . . . . . . . . . . . . . . . . . . . . . . .
5.3 Steady periodic solutions . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
273
273
282
286
6
The Laplace transform
6.1 The Laplace transform . . . . . . . . . . .
6.2 Transforms of derivatives and ODEs . . .
6.3 Convolution . . . . . . . . . . . . . . . . .
6.4 Dirac delta and impulse response . . . . .
6.5 Solving PDEs with the Laplace transform
.
.
.
.
.
293
293
300
308
313
320
7
Power series methods
7.1 Power series . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
7.2 Series solutions of linear second order ODEs . . . . . . . . . . . . . . . . . .
7.3 Singular points and the method of Frobenius . . . . . . . . . . . . . . . . . .
327
327
335
342
8
Nonlinear systems
8.1 Linearization, critical points, and equilibria . . . . .
8.2 Stability and classification of isolated critical points
8.3 Applications of nonlinear systems . . . . . . . . . .
8.4 Limit cycles . . . . . . . . . . . . . . . . . . . . . . .
8.5 Chaos . . . . . . . . . . . . . . . . . . . . . . . . . . .
.
.
.
.
.
351
351
357
364
373
378
.
.
.
.
.
.
385
385
396
407
421
428
436
A Linear algebra
A.1 Vectors, mappings, and matrices . . .
A.2 Matrix algebra . . . . . . . . . . . . . .
A.3 Elimination . . . . . . . . . . . . . . . .
A.4 Subspaces, dimension, and the kernel
A.5 Inner product and projections . . . . .
A.6 Determinant . . . . . . . . . . . . . . .
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
CONTENTS
5
B Table of Laplace Transforms
443
Further Reading
445
Solutions to Selected Exercises
447
Index
461
6
CONTENTS
Introduction
0.1
Notes about these notes
Note: A section for the instructor.
This book originated from my class notes for Math 286 at the University of Illinois at
UrbanaChampaign (UIUC) in Fall 2008 and Spring 2009. It is a first course on differential
equations for engineers. Using this book, I also taught Math 285 at UIUC, Math 20D at
University of California, San Diego (UCSD), and Math 4233 at Oklahoma State University
(OSU). Normally these courses are taught with Edwards and Penney, Differential Equations
and Boundary Value Problems: Computing and Modeling [EP], or Boyce and DiPrimaÃ¢â‚¬â„¢s
Elementary Differential Equations and Boundary Value Problems [BD], and this book aims to
be more or less a dropin replacement. Other books I used as sources of information
and inspiration are E.L. InceÃ¢â‚¬â„¢s classic (and inexpensive) Ordinary Differential Equations [I],
Stanley FarlowÃ¢â‚¬â„¢s Differential Equations and Their Applications [F], now available from Dover,
Berg and McGregorÃ¢â‚¬â„¢s Elementary Partial Differential Equations [BM], and William TrenchÃ¢â‚¬â„¢s
free book Elementary Differential Equations with Boundary Value Problems [T]. See the Further
Reading chapter at the end of the book.
0.1.1
Organization
The organization of this book to some degree requires chapters be done in order. Later
chapters can be dropped. The dependence of the material covered is roughly:
Introduction
Appendix A
Chapter 1
Chapter 2
Chapter 3
Chapter 8
Chapter 7
Chapter 4
Chapter 5
Chapter 6
8
INTRODUCTION
There are a few references in chapters 4 and 5 to chapter 3 (some linear algebra), but
these references are not essential and can be skimmed over, so chapter 3 can safely be
dropped, while still covering chapters 4 and 5. Chapter 6 does not depend on chapter 4
except that the PDE section 6.5 makes a few references to chapter 4, although it could, in
theory, be covered separately. The more indepth appendix A on linear algebra can replace
the short review Ã‚Â§ 3.2 for a course that combines linear algebra and ODE.
0.1.2
Typical types of courses
Several typical types of courses can be run with the book. There are the two original
courses at UIUC, both cover ODE as well some PDE. Either, there is the 4 hoursaweek for
a semester (Math 286 at UIUC):
Introduction (0.2), chapter 1 (1.1Ã¢â‚¬â€œ1.7), chapter 2, chapter 3, chapter 4 (4.1Ã¢â‚¬â€œ4.9), chapter 5 (or
6 or 7 or 8).
Or, the second course at UIUC is at 3 hoursaweek (Math 285 at UIUC):
Introduction (0.2), chapter 1 (1.1Ã¢â‚¬â€œ1.7), chapter 2, chapter 4 (4.1Ã¢â‚¬â€œ4.9), (and maybe chapter 5,
6, or 7).
A semesterlong course at 3 hours a week that doesnÃ¢â‚¬â„¢t cover either systems or PDE
will cover, beyond the introduction, chapter 1, chapter 2, chapter 6, and chapter 7, (with
sections skipped as above). On the other hand, a typical course that covers systems will
probably need to skip Laplace and power series and cover chapter 1, chapter 2, chapter 3,
and chapter 8.
If sections need to be skipped in the beginning, a good core of the sections on single
ODE is: 0.2, 1.1Ã¢â‚¬â€œ1.4, 1.6, 2.1, 2.2, 2.4Ã¢â‚¬â€œ2.6.
The complete book can be covered at a reasonably fast pace at approximately 76
lectures (without appendix A) or 86 lectures (with appendix A replacing Ã‚Â§ 3.2). This is
not accounting for exams, review, or time spent in a computer lab. A twoquarter or a
twosemester course can be easily run with the material. For example (with some sections
perhaps strategically skipped):
Semester 1: Introduction, chapter 1, chapter 2, chapter 6, chapter 7.
Semester 2: Chapter 3, chapter 8, chapter 4, chapter 5.
A combined course on ODE with linear algebra can run as:
Introduction, chapter 1 (1.1Ã¢â‚¬â€œ1.7), chapter 2, appendix A, chapter 3 (w/o Ã‚Â§ 3.2), (possibly
chapter 8).
The chapter on the Laplace transform (chapter 6), the chapter on SturmÃ¢â‚¬â€œLiouville
(chapter 5), the chapter on power series (chapter 7), and the chapter on nonlinear systems
(chapter 8), are more or less interchangeable and can be treated as Ã¢â‚¬Å“topicsÃ¢â‚¬Â. If chapter 8
is covered, it may be best to place it right after chapter 3, and chapter 5 is best covered
right after chapter 4. If time is short, the first two sections of chapter 7 make a reasonable
selfcontained unit.
0.1. NOTES ABOUT THESE NOTES
0.1.3
9
Computer resources
The bookÃ¢â‚¬â„¢s website https://www.jirka.org/diffyqs/ contains the following resources:
1. Interactive SAGE demos.
2. Online WeBWorK homeworks (using either your own WeBWorK installation or
Edfinity) for most sections, customized for this book.
3. The PDFs of the figures used in this book.
I taught the UIUC courses using IODE (https://faculty.math.illinois.edu/iode/).
IODE is a free software package that works with Matlab (proprietary) or Octave (free
software). The graphs in the book were made with the Genius software (see https:
//www.jirka.org/genius.html). I use Genius in class to show these (and other) graphs.
The LATEX source of the book is also available for possible modification and customization
at github (https://github.com/jirilebl/diffyqs).
0.1.4
Acknowledgments
Firstly, I would like to acknowledge Rick Laugesen. I used his handwritten class notes
the first time I taught Math 286. My organization of this book through chapter 5, and
the choice of material covered, is heavily influenced by his notes. Many examples and
computations are taken from his notes. I am also heavily indebted to Rick for all the advice
he has given me, not just on teaching Math 286. For spotting errors and other suggestions,
I would also like to acknowledge (in no particular order): John P. DÃ¢â‚¬â„¢Angelo, Sean Raleigh,
Jessica Robinson, Michael Angelini, Leonardo Gomes, Jeff Winegar, Ian Simon, Thomas
Wicklund, Eliot Brenner, Sean Robinson, Jannett Susberry, Dana AlQuadi, Cesar Alvarez,
Cem Bagdatlioglu, Nathan Wong, Alison Shive, Shawn White, Wing Yip Ho, Joanne Shin,
Gladys Cruz, Jonathan Gomez, Janelle Louie, Navid Froutan, Grace Victorine, Paul Pearson,
Jared Teague, Ziad Adwan, Martin Weilandt, SÃƒÂ¶nmez Ã…Å¾ahutoÃ„Å¸lu, Pete Peterson, Thomas
Gresham, Prentiss Hyde, Jai Welch, Simon Tse, Andrew Browning, James Choi, Dusty
Grundmeier, John Marriott, Jim Kruidenier, Barry Conrad, Wesley Snider, Colton Koop,
Sarah Morse, Erik Boczko, Asif Shakeel, Chris Peterson, Nicholas Hu, Paul Seeburger,
Jonathan McCormick, David Leep, William Meisel, Shishir Agrawal, Tom Wan, Andres
Valloud, and probably others I have forgotten. Finally, I would like to acknowledge NSF
grants DMS0900885 and DMS1362337.
10
0.2
INTRODUCTION
Introduction to differential equations
Note: more than 1 lecture, Ã‚Â§1.1 in [EP], chapter 1 in [BD]
0.2.1
Differential equations
The laws of physics are generally written down as differential equations. Therefore, all
of science and engineering use differential equations to some degree. Understanding
differential equations is essential to understanding almost anything you will study in your
science and engineering classes. You can think of mathematics as the language of science,
and differential equations are one of the most important parts of this language as far as
science and engineering are concerned. As an analogy, suppose all your classes from now
on were given in Swahili. It would be important to first learn Swahili, or you would have a
very tough time getting a good grade in your classes.
You saw many differential equations already without perhaps knowing about it. And
you even solved simple differential equations when you took calculus. Let us see an
example you may not have seen:
Ã°Ââ€˜â€˜Ã°Ââ€˜Â¥
+ Ã°Ââ€˜Â¥ = 2 cos Ã°Ââ€˜Â¡.
(1)
Ã°Ââ€˜â€˜Ã°Ââ€˜Â¡
Here Ã°Ââ€˜Â¥ is the dependent variable and Ã°Ââ€˜Â¡ is the independent variable. Equation (1) is a basic
example of a differential equation. It is an example of a first order differential equation, since
it involves only the first derivative of the dependent variable. This equation arises from
NewtonÃ¢â‚¬â„¢s law of cooling where the ambient temperature oscillates with time.
0.2.2
Solutions of differential equations
Solving the differential equation means finding Ã°Ââ€˜Â¥ in terms of Ã°Ââ€˜Â¡. That is, we want to find a
function of Ã°Ââ€˜Â¡, which we call Ã°Ââ€˜Â¥, such that when we plug Ã°Ââ€˜Â¥, Ã°Ââ€˜Â¡, and Ã°Ââ€˜â€˜Ã°Ââ€˜Â¥
Ã°Ââ€˜â€˜Ã°Ââ€˜Â¡ into (1), the equation
holds; that is, the left hand side equals the right hand side. It is the same idea as it would
be for a normal (algebraic) equation of just Ã°Ââ€˜Â¥ and Ã°Ââ€˜Â¡. We claim that
Ã°Ââ€˜Â¥ = Ã°Ââ€˜Â¥(Ã°Ââ€˜Â¡) = cos Ã°Ââ€˜Â¡ + sin Ã°Ââ€˜Â¡
is a solution. How do we check? We simply plug Ã°Ââ€˜Â¥ into equation (1)! First we need to
Ã°Ââ€˜â€˜Ã°Ââ€˜Â¥
compute Ã°Ââ€˜â€˜Ã°Ââ€˜Â¥
Ã°Ââ€˜â€˜Ã°Ââ€˜Â¡ . We find that Ã°Ââ€˜â€˜Ã°Ââ€˜Â¡ = Ã¢Ë†â€™ sin Ã°Ââ€˜Â¡ + cos Ã°Ââ€˜Â¡. Now let us compute the lefthand side of (1).
Ã°Ââ€˜â€˜Ã°Ââ€˜Â¥
+ Ã°Ââ€˜Â¥ = (Ã¢Ë†â€™ sin Ã°Ââ€˜Â¡ + cos Ã°Ââ€˜Â¡) + (cos Ã°Ââ€˜Â¡ + sin Ã°Ââ€˜Â¡) = 2 cos Ã°Ââ€˜Â¡.
Ã°Ââ€˜â€˜Ã°Ââ€˜Â¡

{z
}  {z }
Ã°Ââ€˜â€˜Ã°Ââ€˜Â¥
Ã°Ââ€˜â€˜Ã°Ââ€˜Â¡
Ã°Ââ€˜Â¥
Yay! We got precisely the righthand side. But there is more! We claim Ã°Ââ€˜Â¥ = cos Ã°Ââ€˜Â¡ + sin Ã°Ââ€˜Â¡ + Ã°Ââ€˜â€™ Ã¢Ë†â€™Ã°Ââ€˜Â¡
is also a solution. Let us try,
Ã°Ââ€˜â€˜Ã°Ââ€˜Â¥
= Ã¢Ë†â€™ sin Ã°Ââ€˜Â¡ + cos Ã°Ââ€˜Â¡ Ã¢Ë†â€™ Ã°Ââ€˜â€™ Ã¢Ë†â€™Ã°Ââ€˜Â¡ .
Ã°Ââ€˜â€˜Ã°Ââ€˜Â¡
11
0.2. INTRODUCTION TO DIFFERENTIAL EQUATIONS
We plug into the lefthand side of (1)
Ã°Ââ€˜â€˜Ã°Ââ€˜Â¥
+ Ã°Ââ€˜Â¥ = (Ã¢Ë†â€™ sin Ã°Ââ€˜Â¡ + cos Ã°Ââ€˜Â¡ Ã¢Ë†â€™ Ã°Ââ€˜â€™ Ã¢Ë†â€™Ã°Ââ€˜Â¡ ) + (cos Ã°Ââ€˜Â¡ + sin Ã°Ââ€˜Â¡ + Ã°Ââ€˜â€™ Ã¢Ë†â€™Ã°Ââ€˜Â¡ ) = 2 cos Ã°Ââ€˜Â¡.
Ã°Ââ€˜â€˜Ã°Ââ€˜Â¡
{z
}

{z
} 
Ã°Ââ€˜Â¥
Ã°Ââ€˜â€˜Ã°Ââ€˜Â¥
Ã°Ââ€˜â€˜Ã°Ââ€˜Â¡
And it works yet again!
So there can be many different solutions. For this equation all solutions can be written
in the form
Ã°Ââ€˜Â¥ = cos Ã°Ââ€˜Â¡ + sin Ã°Ââ€˜Â¡ + Ã°ÂÂÂ¶Ã°Ââ€˜â€™ Ã¢Ë†â€™Ã°Ââ€˜Â¡ ,
for some constant Ã°ÂÂÂ¶. Different constants Ã°ÂÂÂ¶ will give different solutions, so there are really
infinitely many possible solutions. See Figure 1 for the graph of a few of these solutions.
We will see how we find these solutions a few lectures from now.
Solving differential equations can be
quite hard. There is no general method
that solves every differential equation. We
will generally focus on how to get exact formulas for solutions of certain differential
equations, but we will also spend a little
bit of time on getting approximate solutions. And we will spend some time on
understanding the equations without solving them.
Most of this book is dedicated to ordinary
differential equations or ODEs, that is, equations with only one independent variable,
Figure 1: Few solutions of Ã°Ââ€˜â€˜Ã°Ââ€˜Â¥
Ã°Ââ€˜â€˜Ã°Ââ€˜Â¡ + Ã°Ââ€˜Â¥ = 2 cos Ã°Ââ€˜Â¡.
where derivatives are only with respect to
this one variable. If there are several independent variables, we get partial differential
equations or PDEs.
Even for ODEs, which are very well understood, it is not a simple question of turning
a crank to get answers. When you can find exact solutions, they are usually preferable
to approximate solutions. It is important to understand how such solutions are found.
Although in real applications you will leave much of the actual calculations to computers,
you need to understand what they are doing. It is often necessary to simplify or transform
your equations into something that a computer can understand and solve. You may even
need to make certain assumptions and changes in your model to achieve this.
To be a successful engineer or scientist, you will be required to solve problems in your
job that you never saw before. It is important to learn problem solving techniques, so that
you may apply those techniques to new problems. A common mistake is to expect to learn
some prescription for solving all the problems you will encounter in your later career. This
course is no exception.
0
1
2
3
4
5
3
3
2
2
1
1
0
0
1
1
0
1
2
3
4
5
12
0.2.3
INTRODUCTION
Differential equations in practice
So how do we use differential equations in
Realworld problem
science and engineering? First, we have some
realworld problem we wish to understand. We
abstract
interpret
make some simplifying assumptions and cresolve
ate a mathematical model. That is, we translate Mathematical
Mathematical
the realworld situation into a set of differential
model
solution
equations. Then we apply mathematics to get
some sort of a mathematical solution. There is still something left to do. We have to interpret
the results. We have to figure out what the mathematical solution says about the realworld
problem we started with.
Learning how to formulate the mathematical model and how to interpret the results is
what your physics and engineering classes do. In this course, we will focus mostly on the
mathematical analysis. Sometimes we will work with simple realworld examples so that
we have some intuition and motivation about what we are doing.
Let us look at an example of this process. One of the most basic differential equations is
the standard exponential growth model. Let Ã°Ââ€˜Æ’ denote the population of some bacteria on
a Petri dish. We assume that there is enough food and enough space. Then the rate of
growth of bacteria is proportional to the populationÃ¢â‚¬â€a large population grows quicker.
Let Ã°Ââ€˜Â¡ denote time (say in seconds) and Ã°Ââ€˜Æ’ the population. Our model is
Ã°Ââ€˜â€˜Ã°Ââ€˜Æ’
= Ã°Ââ€˜ËœÃ°Ââ€˜Æ’,
Ã°Ââ€˜â€˜Ã°Ââ€˜Â¡
for some positive constant Ã°Ââ€˜Ëœ > 0.
Example 0.2.1: Suppose there are 100 bacteria at time 0 and 200 bacteria 10 seconds later.
How many bacteria will there be 1 minute from time 0 (in 60 seconds)?
First we need to solve the equation. We
claim that a solution is given by
0
10
20
30
40
50
60
6000
6000
5000
5000
4000
4000
3000
3000
2000
2000
1000
1000
Ã°Ââ€˜ËœÃ°Ââ€˜Â¡
Ã°Ââ€˜Æ’(Ã°Ââ€˜Â¡) = Ã°ÂÂÂ¶Ã°Ââ€˜â€™ ,
where Ã°ÂÂÂ¶ is a constant. Let us try:
Ã°Ââ€˜â€˜Ã°Ââ€˜Æ’
= Ã°ÂÂÂ¶ Ã°Ââ€˜ËœÃ°Ââ€˜â€™ Ã°Ââ€˜ËœÃ°Ââ€˜Â¡ = Ã°Ââ€˜ËœÃ°Ââ€˜Æ’.
Ã°Ââ€˜â€˜Ã°Ââ€˜Â¡
And it really is a solution.
OK, now what? We do not know Ã°ÂÂÂ¶, and
we do not know Ã°Ââ€˜Ëœ. But we know something.
We know Ã°Ââ€˜Æ’(0) = 100, and we know Ã°Ââ€˜Æ’(10) =
200. Let us plug these conditions in and see
what happens.
0
0
0
10
20
30
40
50
60
Figure 2: Bacteria growth in the first 60 seconds.
100 = Ã°Ââ€˜Æ’(0) = Ã°ÂÂÂ¶Ã°Ââ€˜â€™ Ã°Ââ€˜Ëœ0 = Ã°ÂÂÂ¶,
200 = Ã°Ââ€˜Æ’(10) = 100 Ã°Ââ€˜â€™ Ã°Ââ€˜Ëœ10 .
0.2. INTRODUCTION TO DIFFERENTIAL EQUATIONS
Therefore, 2 = Ã°Ââ€˜â€™ 10Ã°Ââ€˜Ëœ or
ln 2
10
13
= Ã°Ââ€˜Ëœ Ã¢â€°Ë† 0.069. So
Ã°Ââ€˜Æ’(Ã°Ââ€˜Â¡) = 100 Ã°Ââ€˜â€™ (ln 2)Ã°Ââ€˜Â¡/10 Ã¢â€°Ë† 100 Ã°Ââ€˜â€™ 0.069Ã°Ââ€˜Â¡ .
At one minute, Ã°Ââ€˜Â¡ = 60, the population is Ã°Ââ€˜Æ’(60) = 6400. See Figure 2 on the preceding page.
Let us talk about the interpretation of the results. Does our solution mean that there
must be exactly 6400 bacteria on the plate at 60s? No! We made assumptions that might
not be true exactly, just approximately. If our assumptions are reasonable, then there
will be approximately 6400 bacteria. Also, in real life Ã°Ââ€˜Æ’ is a discrete quantity, not a real
number. However, our model has no problem saying that for example at 61 seconds,
Ã°Ââ€˜Æ’(61) Ã¢â€°Ë† 6859.35.
Normally, the Ã°Ââ€˜Ëœ in Ã°Ââ€˜Æ’ 0 = Ã°Ââ€˜ËœÃ°Ââ€˜Æ’ is known, and we want to solve the equation for different
initial conditions. What does that mean? Take Ã°Ââ€˜Ëœ = 1 for simplicity. Suppose we want to
solve the equation Ã°Ââ€˜â€˜Ã°Ââ€˜Æ’
Ã°Ââ€˜â€˜Ã°Ââ€˜Â¡ = Ã°Ââ€˜Æ’ subject to Ã°Ââ€˜Æ’(0) = 1000 (the initial condition). Then the solution
turns out to be (exercise)
Ã°Ââ€˜Æ’(Ã°Ââ€˜Â¡) = 1000 Ã°Ââ€˜â€™ Ã°Ââ€˜Â¡ .
We call Ã°Ââ€˜Æ’(Ã°Ââ€˜Â¡) = Ã°ÂÂÂ¶Ã°Ââ€˜â€™ Ã°Ââ€˜Â¡ the general solution, as every solution of the equation can be written
in this form for some constant Ã°ÂÂÂ¶. We need an initial condition to find out what Ã°ÂÂÂ¶ is, in
order to find the particular solution we are looking for. Generally, when we say Ã¢â‚¬Å“particular
solution,Ã¢â‚¬Â we just mean some solution.
0.2.4
Four fundamental equations
A few equations appear often and it is useful to just memorize what their solutions are. Let
us call them the four fundamental equations. Their solutions are reasonably easy to guess
by recalling properties of exponentials, sines, and cosines. They are also simple to check,
which is something that you should always do. No need to wonder if you remembered the
solution correctly.
First such equation is
Ã°Ââ€˜â€˜Ã°Ââ€˜Â¦
= Ã°Ââ€˜Ëœ Ã°Ââ€˜Â¦,
Ã°Ââ€˜â€˜Ã°Ââ€˜Â¥
for some constant Ã°Ââ€˜Ëœ > 0. Here Ã°Ââ€˜Â¦ is the dependent and Ã°Ââ€˜Â¥ the independent variable. The
general solution for this equation is
Ã°Ââ€˜Â¦(Ã°Ââ€˜Â¥) = Ã°ÂÂÂ¶Ã°Ââ€˜â€™ Ã°Ââ€˜ËœÃ°Ââ€˜Â¥ .
We saw above that this function is a solution, although we used different variable names.
Next,
Ã°Ââ€˜â€˜Ã°Ââ€˜Â¦
= Ã¢Ë†â€™Ã°Ââ€˜Ëœ Ã°Ââ€˜Â¦,
Ã°Ââ€˜â€˜Ã°Ââ€˜Â¥
for some constant Ã°Ââ€˜Ëœ > 0. The general solution for this equation is
Ã°Ââ€˜Â¦(Ã°Ââ€˜Â¥) = Ã°ÂÂÂ¶Ã°Ââ€˜â€™ Ã¢Ë†â€™Ã°Ââ€˜ËœÃ°Ââ€˜Â¥ .
14
INTRODUCTION
Exercise 0.2.1: Check that the Ã°Ââ€˜Â¦ given is really a solution to the equation.
Next, take the second order differential equation
Ã°Ââ€˜â€˜2 Ã°Ââ€˜Â¦
2
= Ã¢Ë†â€™Ã°Ââ€˜Ëœ 2 Ã°Ââ€˜Â¦,
Ã°Ââ€˜â€˜Ã°Ââ€˜Â¥
for some constant Ã°Ââ€˜Ëœ > 0. The general solution for this equation is
Ã°Ââ€˜Â¦(Ã°Ââ€˜Â¥) = Ã°ÂÂÂ¶1 cos(Ã°Ââ€˜ËœÃ°Ââ€˜Â¥) + Ã°ÂÂÂ¶2 sin(Ã°Ââ€˜ËœÃ°Ââ€˜Â¥).
Since the equation is a second order differential equation, we have two constants in our
general solution.
Exercise 0.2.2: Check that the Ã°Ââ€˜Â¦ given is really a solution to the equation.
Finally, consider the second order differential equation
Ã°Ââ€˜â€˜2 Ã°Ââ€˜Â¦
2
= Ã°Ââ€˜Ëœ 2 Ã°Ââ€˜Â¦,
Ã°Ââ€˜â€˜Ã°Ââ€˜Â¥
for some constant Ã°Ââ€˜Ëœ > 0. The general solution for this equation is
Ã°Ââ€˜Â¦(Ã°Ââ€˜Â¥) = Ã°ÂÂÂ¶1 Ã°Ââ€˜â€™ Ã°Ââ€˜ËœÃ°Ââ€˜Â¥ + Ã°ÂÂÂ¶2 Ã°Ââ€˜â€™ Ã¢Ë†â€™Ã°Ââ€˜ËœÃ°Ââ€˜Â¥ ,
or
Ã°Ââ€˜Â¦(Ã°Ââ€˜Â¥) = Ã°ÂÂÂ·1 cosh(Ã°Ââ€˜ËœÃ°Ââ€˜Â¥) + Ã°ÂÂÂ·2 sinh(Ã°Ââ€˜ËœÃ°Ââ€˜Â¥).
For those that do not know, cosh and sinh are defined by
Ã°Ââ€˜â€™ Ã°Ââ€˜Â¥ Ã¢Ë†â€™ Ã°Ââ€˜â€™ Ã¢Ë†â€™Ã°Ââ€˜Â¥
Ã°Ââ€˜â€™ Ã°Ââ€˜Â¥ + Ã°Ââ€˜â€™ Ã¢Ë†â€™Ã°Ââ€˜Â¥
,
sinh Ã°Ââ€˜Â¥ =
.
2
2
They are called the hyperbolic cosine and hyperbolic sine. These functions are sometimes
easier to work with than exponentials. They have some nice familiar properties such as
Ã°Ââ€˜â€˜
Ã°Ââ€˜â€˜
cosh 0 = 1, sinh 0 = 0, and Ã°Ââ€˜â€˜Ã°Ââ€˜Â¥
cosh Ã°Ââ€˜Â¥ = sinh Ã°Ââ€˜Â¥ (no that is not a typo) and Ã°Ââ€˜â€˜Ã°Ââ€˜Â¥
sinh Ã°Ââ€˜Â¥ = cosh Ã°Ââ€˜Â¥.
cosh Ã°Ââ€˜Â¥ =
Exercise 0.2.3: Check that both forms of the Ã°Ââ€˜Â¦ given are really solutions to the equation.
Example 0.2.2: In equations of higher order, you get more constants you must solve for
Ã°Ââ€˜â€˜2 Ã°Ââ€˜Â¦
to get a particular solution. The equation Ã°Ââ€˜â€˜Ã°Ââ€˜Â¥ 2 = 0 has the general solution Ã°Ââ€˜Â¦ = Ã°ÂÂÂ¶1 Ã°Ââ€˜Â¥ + Ã°ÂÂÂ¶2 ;
simply integrate twice and donÃ¢â‚¬â„¢t forget about the constant of integration. Consider the
initial conditions Ã°Ââ€˜Â¦(0) = 2 and Ã°Ââ€˜Â¦ 0(0) = 3. We plug in our general solution and solve for the
constants:
2 = Ã°Ââ€˜Â¦(0) = Ã°ÂÂÂ¶1 Ã‚Â· 0 + Ã°ÂÂÂ¶2 = Ã°ÂÂÂ¶2 ,
3 = Ã°Ââ€˜Â¦ 0(0) = Ã°ÂÂÂ¶1 .
In other words, Ã°Ââ€˜Â¦ = 3Ã°Ââ€˜Â¥ + 2 is the particular solution we seek.
An interesting note about cosh: The graph of cosh is the exact shape of a hanging chain.
This shape is called a catenary. Contrary to popular belief this is not a parabola. If you
invert the graph of cosh, it is also the ideal arch for supporting its weight. For example, the
gateway arch in Saint Louis is an inverted graph of coshÃ¢â‚¬â€if it were just a parabola it might
fall. The formula used in the design is inscribed inside the arch:
Ã°Ââ€˜Â¦ = Ã¢Ë†â€™127.7 ft Ã‚Â· cosh(Ã°Ââ€˜Â¥/127.7 ft) + 757.7 ft.
15
0.2. INTRODUCTION TO DIFFERENTIAL EQUATIONS
0.2.5
Exercises
Exercise 0.2.4: Show that Ã°Ââ€˜Â¥ = Ã°Ââ€˜â€™ 4Ã°Ââ€˜Â¡ is a solution to Ã°Ââ€˜Â¥ 000 Ã¢Ë†â€™ 12Ã°Ââ€˜Â¥ 00 + 48Ã°Ââ€˜Â¥ 0 Ã¢Ë†â€™ 64Ã°Ââ€˜Â¥ = 0.
Exercise 0.2.5: Show that Ã°Ââ€˜Â¥ = Ã°Ââ€˜â€™ Ã°Ââ€˜Â¡ is not a solution to Ã°Ââ€˜Â¥ 000 Ã¢Ë†â€™ 12Ã°Ââ€˜Â¥ 00 + 48Ã°Ââ€˜Â¥ 0 Ã¢Ë†â€™ 64Ã°Ââ€˜Â¥ = 0.
Exercise 0.2.6: Is Ã°Ââ€˜Â¦ = sin Ã°Ââ€˜Â¡ a solution to
2
Ã°Ââ€˜â€˜Ã°Ââ€˜Â¦
Ã°Ââ€˜â€˜Ã°Ââ€˜Â¡
= 1 Ã¢Ë†â€™ Ã°Ââ€˜Â¦ 2 ? Justify.
Exercise 0.2.7: Let Ã°Ââ€˜Â¦ 00 + 2Ã°Ââ€˜Â¦ 0 Ã¢Ë†â€™ 8Ã°Ââ€˜Â¦ = 0. Now try a solution of the form Ã°Ââ€˜Â¦ = Ã°Ââ€˜â€™ Ã°Ââ€˜Å¸Ã°Ââ€˜Â¥ for some (unknown)
constant Ã°Ââ€˜Å¸. Is this a solution for some Ã°Ââ€˜Å¸? If so, find all such Ã°Ââ€˜Å¸.
Exercise 0.2.8: Verify that Ã°Ââ€˜Â¥ = Ã°ÂÂÂ¶Ã°Ââ€˜â€™ Ã¢Ë†â€™2Ã°Ââ€˜Â¡ is a solution to Ã°Ââ€˜Â¥ 0 = Ã¢Ë†â€™2Ã°Ââ€˜Â¥. Find Ã°ÂÂÂ¶ to solve for the initial
condition Ã°Ââ€˜Â¥(0) = 100.
Exercise 0.2.9: Verify that Ã°Ââ€˜Â¥ = Ã°ÂÂÂ¶1 Ã°Ââ€˜â€™ Ã¢Ë†â€™Ã°Ââ€˜Â¡ + Ã°ÂÂÂ¶2 Ã°Ââ€˜â€™ 2Ã°Ââ€˜Â¡ is a solution to Ã°Ââ€˜Â¥ 00 Ã¢Ë†â€™ Ã°Ââ€˜Â¥ 0 Ã¢Ë†â€™ 2Ã°Ââ€˜Â¥ = 0. Find Ã°ÂÂÂ¶1 and Ã°ÂÂÂ¶2
to solve for the initial conditions Ã°Ââ€˜Â¥(0) = 10 and Ã°Ââ€˜Â¥ 0(0) = 0.
Exercise 0.2.10: Find a solution to (Ã°Ââ€˜Â¥ 0)2 + Ã°Ââ€˜Â¥ 2 = 4 using your knowledge of derivatives of functions
that you know from basic calculus.
Exercise 0.2.11: Solve:
a)
Ã°Ââ€˜â€˜Ã°ÂÂÂ´
= Ã¢Ë†â€™10Ã°ÂÂÂ´,
Ã°Ââ€˜â€˜Ã°Ââ€˜Â¡
Ã°Ââ€˜â€˜2 Ã°Ââ€˜Â¦
c)
= 4Ã°Ââ€˜Â¦,
Ã°Ââ€˜â€˜Ã°Ââ€˜Â¥ 2
Ã°ÂÂÂ´(0) = 5
Ã°Ââ€˜Â¦(0) = 0,
b)
Ã°Ââ€˜Â¦ 0(0)
=1
Ã°Ââ€˜â€˜Ã°ÂÂÂ»
= 3Ã°ÂÂÂ»,
Ã°Ââ€˜â€˜Ã°Ââ€˜Â¥
Ã°ÂÂÂ»(0) = 1
Ã°Ââ€˜â€˜2 Ã°Ââ€˜Â¥
d)
= Ã¢Ë†â€™9Ã°Ââ€˜Â¥,
Ã°Ââ€˜â€˜Ã°Ââ€˜Â¦ 2
Ã°Ââ€˜Â¥(0) = 1,
Ã°Ââ€˜Â¥ 0(0) = 0
Exercise 0.2.12: Is there a solution to Ã°Ââ€˜Â¦ 0 = Ã°Ââ€˜Â¦, such that Ã°Ââ€˜Â¦(0) = Ã°Ââ€˜Â¦(1)?
Exercise 0.2.13: The population of city X was 100 thousand 20 years ago, and the population of
city X was 120 thousand 10 years ago. Assuming constant growth, you can use the exponential
population model (like for the bacteria). What do you estimate the population is now?
Exercise 0.2.14: Suppose that a football coach gets a salary of one million dollars now, and a raise
of 10% every year (so exponential model, like population of bacteria). Let Ã°Ââ€˜Â be the salary in millions
of dollars, and Ã°Ââ€˜Â¡ is time in years.
a) What is Ã°Ââ€˜Â (0) and Ã°Ââ€˜Â (1).
b) Approximately how many years will it take
for the salary to be 10 million.
c) Approximately how many years will it take
for the salary to be 20 million.
d) Approximately how many years will it take
for the salary to be 30 million.
Note: Exercises with numbers 101 and higher have solutions in the back of the book.
Exercise 0.2.101: Show that Ã°Ââ€˜Â¥ = Ã°Ââ€˜â€™ Ã¢Ë†â€™2Ã°Ââ€˜Â¡ is a solution to Ã°Ââ€˜Â¥ 00 + 4Ã°Ââ€˜Â¥ 0 + 4Ã°Ââ€˜Â¥ = 0.
Exercise 0.2.102: Is Ã°Ââ€˜Â¦ = Ã°Ââ€˜Â¥ 2 a solution to Ã°Ââ€˜Â¥ 2 Ã°Ââ€˜Â¦ 00 Ã¢Ë†â€™ 2Ã°Ââ€˜Â¦ = 0? Justify.
16
INTRODUCTION
Exercise 0.2.103: Let Ã°Ââ€˜Â¥Ã°Ââ€˜Â¦ 00 Ã¢Ë†â€™ Ã°Ââ€˜Â¦ 0 = 0. Try a solution of the form Ã°Ââ€˜Â¦ = Ã°Ââ€˜Â¥ Ã°Ââ€˜Å¸ . Is this a solution for some
Ã°Ââ€˜Å¸? If so, find all such Ã°Ââ€˜Å¸.
Exercise 0.2.104: Verify that Ã°Ââ€˜Â¥ = Ã°ÂÂÂ¶1 Ã°Ââ€˜â€™ Ã°Ââ€˜Â¡ + Ã°ÂÂÂ¶2 is a solution to Ã°Ââ€˜Â¥ 00 Ã¢Ë†â€™ Ã°Ââ€˜Â¥ 0 = 0. Find Ã°ÂÂÂ¶1 and Ã°ÂÂÂ¶2 so that
Ã°Ââ€˜Â¥ satisfies Ã°Ââ€˜Â¥(0) = 10 and Ã°Ââ€˜Â¥ 0(0) = 100.
Exercise 0.2.105: Solve
Ã°Ââ€˜â€˜Ã°ÂÅ“â€˜
Ã°Ââ€˜â€˜Ã°Ââ€˜Â
= 8Ã°ÂÅ“â€˜ and Ã°ÂÅ“â€˜(0) = Ã¢Ë†â€™9.
Exercise 0.2.106: Solve:
a)
Ã°Ââ€˜â€˜Ã°Ââ€˜Â¥
= Ã¢Ë†â€™4Ã°Ââ€˜Â¥,
Ã°Ââ€˜â€˜Ã°Ââ€˜Â¡
c)
Ã°Ââ€˜â€˜Ã°Ââ€˜Â
= 3Ã°Ââ€˜Â,
Ã°Ââ€˜â€˜Ã°Ââ€˜Å¾
Ã°Ââ€˜Â¥(0) = 9
Ã°Ââ€˜Â(0) = 4
b)
Ã°Ââ€˜â€˜2 Ã°Ââ€˜Â¥
= Ã¢Ë†â€™4Ã°Ââ€˜Â¥,
Ã°Ââ€˜â€˜Ã°Ââ€˜Â¡ 2
d)
Ã°Ââ€˜â€˜ 2Ã°Ââ€˜â€¡
= 4Ã°Ââ€˜â€¡,
Ã°Ââ€˜â€˜Ã°Ââ€˜Â¥ 2
Ã°Ââ€˜Â¥(0) = 1,
Ã°Ââ€˜â€¡(0) = 0,
Ã°Ââ€˜Â¥ 0(0) = 2
Ã°Ââ€˜â€¡ 0(0) = 6
0.3. CLASSIFICATION OF DIFFERENTIAL EQUATIONS
0.3
17
Classification of differential equations
Note: less than 1 lecture or left as reading, Ã‚Â§1.3 in [BD]
There are many types of differential equations, and we classify them into different
categories based on their properties. Let us quickly go over the most basic classification.
We already saw the distinction between ordinary and partial differential equations:
Ã¢â‚¬Â¢ Ordinary differential equations or (ODE) are equations where the derivatives are taken
with respect to only one variable. That is, there is only one independent variable.
Ã¢â‚¬Â¢ Partial differential equations or (PDE) are equations that depend on partial derivatives
of several variables. That is, there are several independent variables.
Let us see some examples of ordinary differential equations:
Ã°Ââ€˜â€˜Ã°Ââ€˜Â¦
= Ã°Ââ€˜Ëœ Ã°Ââ€˜Â¦,
Ã°Ââ€˜â€˜Ã°Ââ€˜Â¡
Ã°Ââ€˜â€˜Ã°Ââ€˜Â¦
= Ã°Ââ€˜Ëœ(Ã°ÂÂÂ´ Ã¢Ë†â€™ Ã°Ââ€˜Â¦),
Ã°Ââ€˜â€˜Ã°Ââ€˜Â¡
Ã°Ââ€˜â€˜2 Ã°Ââ€˜Â¥
Ã°Ââ€˜â€˜Ã°Ââ€˜Â¥
Ã°Ââ€˜Å¡ 2 +Ã°Ââ€˜Â
+ Ã°Ââ€˜ËœÃ°Ââ€˜Â¥ = Ã°Ââ€˜â€œ (Ã°Ââ€˜Â¡).
Ã°Ââ€˜â€˜Ã°Ââ€˜Â¡
Ã°Ââ€˜â€˜Ã°Ââ€˜Â¡
(Exponential growth)
(NewtonÃ¢â‚¬â„¢s law of cooling)
(Mechanical vibrations)
And of partial differential equations:
Ã°ÂÅ“â€¢Ã°Ââ€˜Â¦
Ã°ÂÅ“â€¢Ã°Ââ€˜Â¦
+Ã°Ââ€˜Â
= 0,
Ã°ÂÅ“â€¢Ã°Ââ€˜Â¡
Ã°ÂÅ“â€¢Ã°Ââ€˜Â¥
Ã°ÂÅ“â€¢Ã°Ââ€˜Â¢ Ã°ÂÅ“â€¢2 Ã°Ââ€˜Â¢
=
,
Ã°ÂÅ“â€¢Ã°Ââ€˜Â¡
Ã°ÂÅ“â€¢Ã°Ââ€˜Â¥ 2
Ã°ÂÅ“â€¢2 Ã°Ââ€˜Â¢ Ã°ÂÅ“â€¢2 Ã°Ââ€˜Â¢ Ã°ÂÅ“â€¢2 Ã°Ââ€˜Â¢
=
+
.
Ã°ÂÅ“â€¢Ã°Ââ€˜Â¡ 2
Ã°ÂÅ“â€¢Ã°Ââ€˜Â¥ 2 Ã°ÂÅ“â€¢Ã°Ââ€˜Â¦ 2
(Transport equation)
(Heat equation)
(Wave equation in 2 dimensions)
If there are several equations working together, we have a socalled system of differential
equations. For example,
Ã°Ââ€˜Â¦ 0 = Ã°Ââ€˜Â¥,
Ã°Ââ€˜Â¥0 = Ã°Ââ€˜Â¦
is a simple system of ordinary differential equations. MaxwellÃ¢â‚¬â„¢s equations for electromagnetics,
Ã‚Â® = Ã°ÂÅ“Å’,
Ã¢Ë†â€¡Ã‚Â·Ã°ÂÂÂ·
Ã¢Ë†â€¡ Ã‚Â· Ã°ÂÂÂµÃ‚Â® = 0,
Ã°ÂÅ“â€¢ Ã°ÂÂÂµÃ‚Â®
Ã¢Ë†â€¡ Ãƒâ€” Ã°ÂÂÂ¸Ã‚Â® = Ã¢Ë†â€™ ,
Ã°ÂÅ“â€¢Ã°Ââ€˜Â¡
Ã‚Â®
Ã‚Â® = Ã‚Â®Ã°ÂÂÂ½ + Ã°ÂÅ“â€¢ Ã°ÂÂÂ· ,
Ã¢Ë†â€¡Ãƒâ€”Ã°ÂÂÂ»
Ã°ÂÅ“â€¢Ã°Ââ€˜Â¡
are a system of partial differential equations. The divergence operator Ã¢Ë†â€¡Ã‚Â· and the curl
operator Ã¢Ë†â€¡Ãƒâ€” can be written out in partial derivatives of the functions involved in the Ã°Ââ€˜Â¥, Ã°Ââ€˜Â¦,
and Ã°Ââ€˜Â§ variables.
18
INTRODUCTION
The next bit of information is the order of the equation (or system). The order is simply
the order of the largest derivative that appears. If the highest derivative that appears is
the first derivative, the equation is of first order. If the highest derivative that appears is
the second derivative, then the equation is of second order. For example, NewtonÃ¢â‚¬â„¢s law
of cooling above is a first order equation, while the mechanical vibrations equation is a
second order equation. The equation governing transversal vibrations in a beam,
Ã°ÂÅ“â€¢2 Ã°Ââ€˜Â¦
+
= 0,
Ã°Ââ€˜Å½
Ã°ÂÅ“â€¢Ã°Ââ€˜Â¥ 4 Ã°ÂÅ“â€¢Ã°Ââ€˜Â¡ 2
4Ã°ÂÅ“â€¢
4Ã°Ââ€˜Â¦
is a fourth order partial differential equation. It is fourth order as at least one derivative is
the fourth derivative. It does not matter that the derivative in Ã°Ââ€˜Â¡ is only of second order.
In the first chapter, we will start attacking first order ordinary differential equations,
Ã°Ââ€˜â€˜Ã°Ââ€˜Â¦
that is, equations of the form Ã°Ââ€˜â€˜Ã°Ââ€˜Â¥ = Ã°Ââ€˜â€œ (Ã°Ââ€˜Â¥, Ã°Ââ€˜Â¦). In general, lower order equations are easier to
work with and have simpler behavior, which is why we start with them.
We also distinguish how the dependent variables appear in the equation (or system).
In particular, we say an equation is linear if the dependent variable (or variables) and their
derivatives appear linearly, that is only as first powers, they are not multiplied together,
and no other functions of the dependent variables appear. In other words, the equation is
a sum of terms, where each term is some function of the independent variables or some
function of the independent variables multiplied by a dependent variable or its derivative.
Otherwise, the equation is called nonlinear. For example, an ordinary differential equation
is linear if it can be put into the form
Ã°Ââ€˜â€˜Ã°Ââ€˜â€º Ã°Ââ€˜Â¦
Ã°Ââ€˜â€˜ Ã°Ââ€˜â€ºÃ¢Ë†â€™1 Ã°Ââ€˜Â¦
Ã°Ââ€˜â€˜Ã°Ââ€˜Â¦
+ Ã°Ââ€˜Å½ 0 (Ã°Ââ€˜Â¥)Ã°Ââ€˜Â¦ = Ã°Ââ€˜Â(Ã°Ââ€˜Â¥).
Ã°Ââ€˜Å½ Ã°Ââ€˜â€º (Ã°Ââ€˜Â¥) Ã°Ââ€˜â€º + Ã°Ââ€˜Å½ Ã°Ââ€˜â€ºÃ¢Ë†â€™1 (Ã°Ââ€˜Â¥) Ã°Ââ€˜â€ºÃ¢Ë†â€™1 + Ã‚Â· Ã‚Â· Ã‚Â· + Ã°Ââ€˜Å½ 1 (Ã°Ââ€˜Â¥)
Ã°Ââ€˜â€˜Ã°Ââ€˜Â¥
Ã°Ââ€˜â€˜Ã°Ââ€˜Â¥
Ã°Ââ€˜â€˜Ã°Ââ€˜Â¥
(2)
The functions Ã°Ââ€˜Å½ 0 , Ã°Ââ€˜Å½ 1 , . . . , Ã°Ââ€˜Å½ Ã°Ââ€˜â€º are called the coefficients. The equation is allowed to depend
arbitrarily on the independent variable. So
Ã°Ââ€˜â€™Ã°Ââ€˜Â¥
Ã°Ââ€˜â€˜2 Ã°Ââ€˜Â¦
Ã°Ââ€˜â€˜Ã°Ââ€˜Â¦
1
2
+
sin(Ã°Ââ€˜Â¥)
+
Ã°Ââ€˜Â¥
Ã°Ââ€˜Â¦
=
Ã°Ââ€˜â€˜Ã°Ââ€˜Â¥
Ã°Ââ€˜Â¥
Ã°Ââ€˜â€˜Ã°Ââ€˜Â¥ 2
(3)
is still a linear equation as Ã°Ââ€˜Â¦ and its derivatives only appear linearly.
All the equations and systems above as examples are linear. It may not be immediately
obvious for MaxwellÃ¢â‚¬â„¢s equations unless you write out the divergence and curl in terms of
partial derivatives. Let us see some nonlinear equations. For example BurgerÃ¢â‚¬â„¢s equation,
Ã°ÂÅ“â€¢Ã°Ââ€˜Â¦
Ã°ÂÅ“â€¢Ã°Ââ€˜Â¦
Ã°ÂÅ“â€¢2 Ã°Ââ€˜Â¦
+Ã°Ââ€˜Â¦
= Ã°ÂÅ“Ë† 2,
Ã°ÂÅ“â€¢Ã°Ââ€˜Â¡
Ã°ÂÅ“â€¢Ã°Ââ€˜Â¥
Ã°ÂÅ“â€¢Ã°Ââ€˜Â¥
is a nonlinear second order partial differential equation. It is nonlinear because Ã°Ââ€˜Â¦ and
are multiplied together. The equation
Ã°Ââ€˜â€˜Ã°Ââ€˜Â¥
= Ã°Ââ€˜Â¥2
Ã°Ââ€˜â€˜Ã°Ââ€˜Â¡
Ã°ÂÅ“â€¢Ã°Ââ€˜Â¦
Ã°ÂÅ“â€¢Ã°Ââ€˜Â¥
(4)
0.3. CLASSIFICATION OF DIFFERENTIAL EQUATIONS
19
is a nonlinear first order differential equation as there is a second power of the dependent
variable Ã°Ââ€˜Â¥.
A linear equation may further be called homogeneous if all terms depend on the dependent
variable. That is, if no term is a function of the independent variables alone. Otherwise,
the equation is called nonhomogeneous or inhomogeneous. For example, the exponential
growth equation, the wave equation, or the transport equation above are homogeneous.
The mechanical vibrations equation above is nonhomogeneous as long as Ã°Ââ€˜â€œ (Ã°Ââ€˜Â¡) is not the
zero function. Similarly, if the ambient temperature Ã°ÂÂÂ´ is nonzero, NewtonÃ¢â‚¬â„¢s law of cooling
is nonhomogeneous. A homogeneous linear ODE can be put into the form
Ã°Ââ€˜â€˜ Ã°Ââ€˜â€ºÃ¢Ë†â€™1 Ã°Ââ€˜Â¦
Ã°Ââ€˜â€˜Ã°Ââ€˜Â¦
Ã°Ââ€˜â€˜Ã°Ââ€˜â€º Ã°Ââ€˜Â¦
Ã°Ââ€˜Å½ Ã°Ââ€˜â€º (Ã°Ââ€˜Â¥) Ã°Ââ€˜â€º + Ã°Ââ€˜Å½ Ã°Ââ€˜â€ºÃ¢Ë†â€™1 (Ã°Ââ€˜Â¥) Ã°Ââ€˜â€ºÃ¢Ë†â€™1 + Ã‚Â· Ã‚Â· Ã‚Â· + Ã°Ââ€˜Å½ 1 (Ã°Ââ€˜Â¥)
+ Ã°Ââ€˜Å½ 0 (Ã°Ââ€˜Â¥)Ã°Ââ€˜Â¦ = 0.
Ã°Ââ€˜â€˜Ã°Ââ€˜Â¥
Ã°Ââ€˜â€˜Ã°Ââ€˜Â¥
Ã°Ââ€˜â€˜Ã°Ââ€˜Â¥
Compare to (2) and notice there is no function Ã°Ââ€˜Â(Ã°Ââ€˜Â¥).
If the coefficients of a linear equation are actually constant functions, then the equation
is said to have constant coefficients. The coefficients are the functions multiplying the
dependent variable(s) or one of its derivatives, not the function Ã°Ââ€˜Â(Ã°Ââ€˜Â¥) standing alone. A
constant coefficient nonhomogeneous ODE is an equation of the form
Ã°Ââ€˜Å½Ã°Ââ€˜â€º
Ã°Ââ€˜â€˜Ã°Ââ€˜â€º Ã°Ââ€˜Â¦
Ã°Ââ€˜â€˜ Ã°Ââ€˜â€ºÃ¢Ë†â€™1 Ã°Ââ€˜Â¦
Ã°Ââ€˜â€˜Ã°Ââ€˜Â¦
+ Ã°Ââ€˜Å½ 0 Ã°Ââ€˜Â¦ = Ã°Ââ€˜Â(Ã°Ââ€˜Â¥),
+
Ã°Ââ€˜Å½
+ Ã‚Â· Ã‚Â· Ã‚Â· + Ã°Ââ€˜Å½1
Ã°Ââ€˜â€ºÃ¢Ë†â€™1
Ã°Ââ€˜â€º
Ã°Ââ€˜â€ºÃ¢Ë†â€™1
Ã°Ââ€˜â€˜Ã°Ââ€˜Â¥
Ã°Ââ€˜â€˜Ã°Ââ€˜Â¥
Ã°Ââ€˜â€˜Ã°Ââ€˜Â¥
where Ã°Ââ€˜Å½ 0 , Ã°Ââ€˜Å½1 , . . . , Ã°Ââ€˜Å½ Ã°Ââ€˜â€º are all constants, but Ã°Ââ€˜Â may depend on the independent variable Ã°Ââ€˜Â¥. The
mechanical vibrations equation above is a constant coefficient nonhomogeneous second
order ODE. The same nomenclature applies to PDEs, so the transport equation, heat
equation and wave equation are all examples of constant coefficient linear PDEs.
Finally, an equation (or system) is called autonomous if the equation does not depend on
the independent variable. For autonomous ordinary differential equations, the independent
variable is then thought of as time. Autonomous equation means an equation that does
not change with time. For example, NewtonÃ¢â‚¬â„¢s law of cooling is autonomous, so is equation
(4). On the other hand, mechanical vibrations or (3) are not autonomous.
0.3.1
Exercises
Exercise 0.3.1: Classify the following equations. Are they ODE or PDE? Is it an equation or a
system? What is the order? Is it linear or nonlinear, and if it is linear, is it homogeneous, constant
coefficient? If it is an ODE, is it autonomous?
a) sin(Ã°Ââ€˜Â¡)
Ã°Ââ€˜â€˜2 Ã°Ââ€˜Â¥
+ cos(Ã°Ââ€˜Â¡)Ã°Ââ€˜Â¥ = Ã°Ââ€˜Â¡ 2
Ã°Ââ€˜â€˜Ã°Ââ€˜Â¡ 2
c) Ã°Ââ€˜Â¦ 00 + 3Ã°Ââ€˜Â¦ + 5Ã°Ââ€˜Â¥ = 0,
e) Ã°Ââ€˜Â¥ 00 + Ã°Ââ€˜Â¡Ã°Ââ€˜Â¥ 2 = Ã°Ââ€˜Â¡
Ã°Ââ€˜Â¥ 00 + Ã°Ââ€˜Â¥ Ã¢Ë†â€™ Ã°Ââ€˜Â¦ = 0
b)
Ã°ÂÅ“â€¢Ã°Ââ€˜Â¢
Ã°ÂÅ“â€¢Ã°Ââ€˜Â¢
+3
= Ã°Ââ€˜Â¥Ã°Ââ€˜Â¦
Ã°ÂÅ“â€¢Ã°Ââ€˜Â¥
Ã°ÂÅ“â€¢Ã°Ââ€˜Â¦
d)
Ã°ÂÅ“â€¢2 Ã°Ââ€˜Â¢
Ã°ÂÅ“â€¢2 Ã°Ââ€˜Â¢
+
Ã°Ââ€˜Â¢
=0
Ã°ÂÅ“â€¢Ã°Ââ€˜Â¡ 2
Ã°ÂÅ“â€¢Ã°Ââ€˜Â 2
f)
Ã°Ââ€˜â€˜4 Ã°Ââ€˜Â¥
=0
Ã°Ââ€˜â€˜Ã°Ââ€˜Â¡ 4
20
INTRODUCTION
Exercise 0.3.2: If Ã°Ââ€˜Â¢Ã‚Â® = (Ã°Ââ€˜Â¢1 , Ã°Ââ€˜Â¢2 , Ã°Ââ€˜Â¢3 ) is a vector, we have the divergence Ã¢Ë†â€¡ Ã‚Â· Ã°Ââ€˜Â¢Ã‚Â® =
Ã°ÂÅ“â€¢Ã°Ââ€˜Â¢1
Ã°ÂÅ“â€¢Ã°Ââ€˜Â¥
+
Ã°ÂÅ“â€¢Ã°Ââ€˜Â¢2
Ã°ÂÅ“â€¢Ã°Ââ€˜Â¦
+
Ã°ÂÅ“â€¢Ã°Ââ€˜Â¢3
Ã°ÂÅ“â€¢Ã°Ââ€˜Â§
and
3
3
2
1
2
1
curl Ã¢Ë†â€¡ Ãƒâ€” Ã°Ââ€˜Â¢Ã‚Â® = Ã°ÂÅ“â€¢Ã°Ââ€˜Â¢
Ã¢Ë†â€™ Ã°ÂÅ“â€¢Ã°Ââ€˜Â¢
, Ã°ÂÅ“â€¢Ã°Ââ€˜Â¢
Ã¢Ë†â€™ Ã°ÂÅ“â€¢Ã°Ââ€˜Â¢
, Ã°ÂÅ“â€¢Ã°Ââ€˜Â¢
Ã¢Ë†â€™ Ã°ÂÅ“â€¢Ã°Ââ€˜Â¢
. Notice that curl of a vector is still a vector. Write
Ã°ÂÅ“â€¢Ã°Ââ€˜Â¦
Ã°ÂÅ“â€¢Ã°Ââ€˜Â§
Ã°ÂÅ“â€¢Ã°Ââ€˜Â§
Ã°ÂÅ“â€¢Ã°Ââ€˜Â¥
Ã°ÂÅ“â€¢Ã°Ââ€˜Â¥
Ã°ÂÅ“â€¢Ã°Ââ€˜Â¦
out MaxwellÃ¢â‚¬â„¢s equations in terms of partial derivatives and classify the system.
Exercise 0.3.3: Suppose Ã°ÂÂÂ¹ is a linear function, that is, Ã°ÂÂÂ¹(Ã°Ââ€˜Â¥, Ã°Ââ€˜Â¦) = Ã°Ââ€˜Å½Ã°Ââ€˜Â¥ + Ã°Ââ€˜ÂÃ°Ââ€˜Â¦ for constants Ã°Ââ€˜Å½ and Ã°Ââ€˜Â.
What is the classification of equations of the form Ã°ÂÂÂ¹(Ã°Ââ€˜Â¦ 0 , Ã°Ââ€˜Â¦) = 0.
Exercise 0.3.4: Write down an explicit example of a third order, linear, nonconstant coefficient,
nonautonomous, nonhomogeneous system of two ODE such that every derivative that could appear,
does appear.
Exercise 0.3.101: Classify the following equations. Are they ODE or PDE? Is it an equation or a
system? What is the order? Is it linear or nonlinear, and if it is linear, is it homogeneous, constant
coefficient? If it is an ODE, is it autonomous?
a)
Ã°ÂÅ“â€¢2 Ã°Ââ€˜Â£
Ã°ÂÅ“â€¢2 Ã°Ââ€˜Â£
+
3
= sin(Ã°Ââ€˜Â¥)
Ã°ÂÅ“â€¢Ã°Ââ€˜Â¥ 2
Ã°ÂÅ“â€¢Ã°Ââ€˜Â¦ 2
b)
c)
Ã°Ââ€˜â€˜7 Ã°ÂÂÂ¹
= 3Ã°ÂÂÂ¹(Ã°Ââ€˜Â¥)
Ã°Ââ€˜â€˜Ã°Ââ€˜Â¥ 7
d) Ã°Ââ€˜Â¦ 00 + 8Ã°Ââ€˜Â¦ 0 = 1
e) Ã°Ââ€˜Â¥ 00 + Ã°Ââ€˜Â¡ Ã°Ââ€˜Â¦Ã°Ââ€˜Â¥ 0 = 0,
Ã°Ââ€˜Â¦ 00 + Ã°Ââ€˜Â¡Ã°Ââ€˜Â¥Ã°Ââ€˜Â¦ = 0
f)
Ã°Ââ€˜â€˜Ã°Ââ€˜Â¥
+ cos(Ã°Ââ€˜Â¡)Ã°Ââ€˜Â¥ = Ã°Ââ€˜Â¡ 2 + Ã°Ââ€˜Â¡ + 1
Ã°Ââ€˜â€˜Ã°Ââ€˜Â¡
Ã°ÂÅ“â€¢Ã°Ââ€˜Â¢ Ã°ÂÅ“â€¢2 Ã°Ââ€˜Â¢
= 2 + Ã°Ââ€˜Â¢2
Ã°ÂÅ“â€¢Ã°Ââ€˜Â¡
Ã°ÂÅ“â€¢Ã°Ââ€˜Â
Exercise 0.3.102: Write down the general zeroth order linear ordinary differential equation. Write
down the general solution.
Exercise 0.3.103: For which Ã°Ââ€˜Ëœ is
Ã°Ââ€˜â€˜Ã°Ââ€˜Â¥
Ã°Ââ€˜â€˜Ã°Ââ€˜Â¡
+ Ã°Ââ€˜Â¥ Ã°Ââ€˜Ëœ = Ã°Ââ€˜Â¡ Ã°Ââ€˜Ëœ+2 linear. Hint: there are two answers.
Chapter 1
First order equations
1.1
Integrals as solutions
Note: 1 lecture (or less), Ã‚Â§1.2 in [EP], covered in Ã‚Â§1.2 and Ã‚Â§2.1 in [BD]
A first order ODE is an equation of the form
Ã°Ââ€˜â€˜Ã°Ââ€˜Â¦
= Ã°Ââ€˜â€œ (Ã°Ââ€˜Â¥, Ã°Ââ€˜Â¦),
Ã°Ââ€˜â€˜Ã°Ââ€˜Â¥
or just
Ã°Ââ€˜Â¦ 0 = Ã°Ââ€˜â€œ (Ã°Ââ€˜Â¥, Ã°Ââ€˜Â¦).
In general, there is no simple formula or procedure one can follow to find solutions. In the
next few lectures we will look at special cases where solutions are not difficult to obtain. In
this section, let us assume that Ã°Ââ€˜â€œ is a function of Ã°Ââ€˜Â¥ alone, that is, the equation is
Ã°Ââ€˜Â¦ 0 = Ã°Ââ€˜â€œ (Ã°Ââ€˜Â¥).
(1.1)
We could just integrate (antidifferentiate) both sides with respect to Ã°Ââ€˜Â¥.
Ã¢Ë†Â«
0
Ã°Ââ€˜Â¦ (Ã°Ââ€˜Â¥) Ã°Ââ€˜â€˜Ã°Ââ€˜Â¥ =
that is
Ã°Ââ€˜Â¦(Ã°Ââ€˜Â¥) =
Ã¢Ë†Â«
Ã¢Ë†Â«
Ã°Ââ€˜â€œ (Ã°Ââ€˜Â¥) Ã°Ââ€˜â€˜Ã°Ââ€˜Â¥ + Ã°ÂÂÂ¶,
Ã°Ââ€˜â€œ (Ã°Ââ€˜Â¥) Ã°Ââ€˜â€˜Ã°Ââ€˜Â¥ + Ã°ÂÂÂ¶.
This Ã°Ââ€˜Â¦(Ã°Ââ€˜Â¥) is actually the general solution. So to solve (1.1), we find some antiderivative of
Ã°Ââ€˜â€œ (Ã°Ââ€˜Â¥) and then we add an arbitrary constant to get the general solution.
Now is a good time to discuss a point about calculus notation and terminology.
Calculus textbooks muddy the waters by talking about the integral as primarily the
socalled indefinite integral. The indefinite integral is really the antiderivative (in fact the
whole oneparameter family of antiderivatives). There really exists only one integral and
that is the definite integral. The only reason for the indefinite integral notation is that we
22
CHAPTER 1. FIRST ORDER EQUATIONS
can always write an antiderivative as a (definite)
integral. That is, by the fundamental
Ã¢Ë†Â«
theorem of calculus we can always write Ã°Ââ€˜â€œ (Ã°Ââ€˜Â¥) Ã°Ââ€˜â€˜Ã°Ââ€˜Â¥ + Ã°ÂÂÂ¶ as
Ã¢Ë†Â«
Ã°Ââ€˜Â¥
Ã°Ââ€˜â€œ (Ã°Ââ€˜Â¡) Ã°Ââ€˜â€˜Ã°Ââ€˜Â¡ + Ã°ÂÂÂ¶.
Ã°Ââ€˜Â¥0
Hence the terminology to integrate when we may really mean to antidifferentiate. Integration
is just one way to compute the antiderivative (and it is a way that always works, see the
following examples). Integration is defined as the area under the graph, it only happens to
also compute antiderivatives. For sake of consistency, we will keep using the indefinite
integral notation when we want an antiderivative, and you should always think of the
definite integral as a way to write it.
Example 1.1.1: Find the general solution of Ã°Ââ€˜Â¦ 0 = 3Ã°Ââ€˜Â¥ 2 .
Elementary calculus tells us that the general solution must be Ã°Ââ€˜Â¦ = Ã°Ââ€˜Â¥ 3 + Ã°ÂÂÂ¶. Let us check
by differentiating: Ã°Ââ€˜Â¦ 0 = 3Ã°Ââ€˜Â¥ 2 . We got precisely our equation back.
Normally, we also have an initial condition such as Ã°Ââ€˜Â¦(Ã°Ââ€˜Â¥0 ) = Ã°Ââ€˜Â¦0 for some two numbers
Ã°Ââ€˜Â¥0 and Ã°Ââ€˜Â¦0 (Ã°Ââ€˜Â¥0 is usually 0, but not always). We can then write the solution as a definite
integral in a nice way. Suppose our problem is Ã°Ââ€˜Â¦ 0 = Ã°Ââ€˜â€œ (Ã°Ââ€˜Â¥), Ã°Ââ€˜Â¦(Ã°Ââ€˜Â¥0 ) = Ã°Ââ€˜Â¦0 . Then the solution is
Ã°Ââ€˜Â¦(Ã°Ââ€˜Â¥) =
Ã°Ââ€˜Â¥
Ã¢Ë†Â«
Ã°Ââ€˜â€œ (Ã°Ââ€˜Â ) Ã°Ââ€˜â€˜Ã°Ââ€˜Â + Ã°Ââ€˜Â¦0 .
Ã°Ââ€˜Â¥0
(1.2)
Let us check! We compute Ã°Ââ€˜Â¦ 0 = Ã°Ââ€˜â€œ (Ã°Ââ€˜Â¥), via the fundamental theorem of calculus, and
Ã¢Ë†Â«byÃ°Ââ€˜Â¥0 Jupiter, Ã°Ââ€˜Â¦ is a solution. Is it the one satisfying the initial condition? Well, Ã°Ââ€˜Â¦(Ã°Ââ€˜Â¥0 ) =
Ã°Ââ€˜â€œ (Ã°Ââ€˜Â¥) Ã°Ââ€˜â€˜Ã°Ââ€˜Â¥ + Ã°Ââ€˜Â¦0 = Ã°Ââ€˜Â¦0 . It is!
Ã°Ââ€˜Â¥0
Do note that the definite integral and the indefinite integral (antidifferentiation) are
completely different beasts. The definite integral always evaluates to a number. Therefore,
(1.2) is a formula we can plug into the calculator or a computer, and it will be happy to
calculate specific values for us. We will easily be able to plot the solution and work with it
just like with any other function. It is not so crucial to always find a closed form for the
antiderivative.
Example 1.1.2: Solve
2
Ã°Ââ€˜Â¦ 0 = Ã°Ââ€˜â€™ Ã¢Ë†â€™Ã°Ââ€˜Â¥ ,
Ã°Ââ€˜Â¦(0) = 1.
By the preceding discussion, the solution must be
Ã°Ââ€˜Â¦(Ã°Ââ€˜Â¥) =
Ã¢Ë†Â«
Ã°Ââ€˜Â¥
2
Ã°Ââ€˜â€™ Ã¢Ë†â€™Ã°Ââ€˜Â Ã°Ââ€˜â€˜Ã°Ââ€˜Â + 1.
0
Here is a good way to make fun of your friends taking second semester calculus. Tell them
to find the closed form solution. Ha ha ha (bad math joke). It is not possible (in closed
form). There is absolutely nothing wrong with writing the solution as a definite integral.
This particular integral is in fact very important in statistics.
23
1.1. INTEGRALS AS SOLUTIONS
Using this method, we can also solve equations of the form
Ã°Ââ€˜Â¦ 0 = Ã°Ââ€˜â€œ (Ã°Ââ€˜Â¦).
Let us write the equation in Leibniz notation.
Ã°Ââ€˜â€˜Ã°Ââ€˜Â¦
= Ã°Ââ€˜â€œ (Ã°Ââ€˜Â¦).
Ã°Ââ€˜â€˜Ã°Ââ€˜Â¥
Now we use the inverse function theorem from calculus to switch the roles of Ã°Ââ€˜Â¥ and Ã°Ââ€˜Â¦ to
obtain
Ã°Ââ€˜â€˜Ã°Ââ€˜Â¥
1
=
.
Ã°Ââ€˜â€˜Ã°Ââ€˜Â¦
Ã°Ââ€˜â€œ (Ã°Ââ€˜Â¦)
What we are doing seems like algebra with Ã°Ââ€˜â€˜Ã°Ââ€˜Â¥ and Ã°Ââ€˜â€˜Ã°Ââ€˜Â¦. It is tempting to just do algebra with
Ã°Ââ€˜â€˜Ã°Ââ€˜Â¥ and Ã°Ââ€˜â€˜Ã°Ââ€˜Â¦ as if they were numbers. And in this case it does work. Be careful, however, as
this sort of handwaving calculation can lead to trouble, especially when more than one
independent variable is involved. At this point, we can simply integrate,
Ã°Ââ€˜Â¥(Ã°Ââ€˜Â¦) =
Ã¢Ë†Â«
1
Ã°Ââ€˜â€˜Ã°Ââ€˜Â¦ + Ã°ÂÂÂ¶.
Ã°Ââ€˜â€œ (Ã°Ââ€˜Â¦)
Finally, we try to solve for Ã°Ââ€˜Â¦.
Example 1.1.3: Previously, we guessed Ã°Ââ€˜Â¦ 0 = Ã°Ââ€˜Ëœ Ã°Ââ€˜Â¦ (for some Ã°Ââ€˜Ëœ > 0) has the solution Ã°Ââ€˜Â¦ = Ã°ÂÂÂ¶Ã°Ââ€˜â€™ Ã°Ââ€˜ËœÃ°Ââ€˜Â¥ .
We can now find the solution without guessing. First we note that Ã°Ââ€˜Â¦ = 0 is a solution.
Henceforth, we assume Ã°Ââ€˜Â¦ Ã¢â€°Â 0. We write
1
Ã°Ââ€˜â€˜Ã°Ââ€˜Â¥
=
.
Ã°Ââ€˜â€˜Ã°Ââ€˜Â¦
Ã°Ââ€˜ËœÃ°Ââ€˜Â¦
We integrate to obtain
1
ln Ã°Ââ€˜Â¦ + Ã°ÂÂÂ·,
Ã°Ââ€˜Ëœ
where Ã°ÂÂÂ· is an arbitrary constant. Now we solve for Ã°Ââ€˜Â¦ (actually for Ã°Ââ€˜Â¦).
Ã°Ââ€˜Â¥(Ã°Ââ€˜Â¦) = Ã°Ââ€˜Â¥ =
Ã°Ââ€˜Â¦ = Ã°Ââ€˜â€™ Ã°Ââ€˜ËœÃ°Ââ€˜Â¥Ã¢Ë†â€™Ã°Ââ€˜ËœÃ°ÂÂÂ· = Ã°Ââ€˜â€™ Ã¢Ë†â€™Ã°Ââ€˜ËœÃ°ÂÂÂ· Ã°Ââ€˜â€™ Ã°Ââ€˜ËœÃ°Ââ€˜Â¥ .
If we replace Ã°Ââ€˜â€™ Ã¢Ë†â€™Ã°Ââ€˜ËœÃ°ÂÂÂ· with an arbitrary constant Ã°ÂÂÂ¶, we can get rid of the absolute value bars
(which we can do as Ã°ÂÂÂ· was arbitrary). In this way, we also incorporate the solution Ã°Ââ€˜Â¦ = 0.
We get the same general solution as we guessed before, Ã°Ââ€˜Â¦ = Ã°ÂÂÂ¶Ã°Ââ€˜â€™ Ã°Ââ€˜ËœÃ°Ââ€˜Â¥ .
Example 1.1.4: Find the general solution of Ã°Ââ€˜Â¦ 0 = Ã°Ââ€˜Â¦ 2 .
First we note that Ã°Ââ€˜Â¦ = 0 is a solution. We can now assume that Ã°Ââ€˜Â¦ Ã¢â€°Â 0. Write
Ã°Ââ€˜â€˜Ã°Ââ€˜Â¥
1
= 2.
Ã°Ââ€˜â€˜Ã°Ââ€˜Â¦
Ã°Ââ€˜Â¦
24
CHAPTER 1. FIRST ORDER EQUATIONS
We integrate to get
Ã°Ââ€˜Â¥=
We solve for Ã°Ââ€˜Â¦ =
1
Ã°ÂÂÂ¶Ã¢Ë†â€™Ã°Ââ€˜Â¥ .
Ã¢Ë†â€™1
+ Ã°ÂÂÂ¶.
Ã°Ââ€˜Â¦
So the general solution is
Ã°Ââ€˜Â¦=
1
Ã°ÂÂÂ¶Ã¢Ë†â€™Ã°Ââ€˜Â¥
Ã°Ââ€˜Â¦ = 0.
or
Note the singularities of the solution. If for example Ã°ÂÂÂ¶ = 1, then the solution Ã¢â‚¬Å“blows upÃ¢â‚¬Â
as we approach Ã°Ââ€˜Â¥ = 1. See Figure 1.1. Generally, it is hard to tell from just looking at the
equation itself how the solution is going to behave. The equation Ã°Ââ€˜Â¦ 0 = Ã°Ââ€˜Â¦ 2 is very nice and
defined everywhere, but the solution is only defined on some interval (Ã¢Ë†â€™Ã¢Ë†Å¾, Ã°ÂÂÂ¶) or (Ã°ÂÂÂ¶, Ã¢Ë†Å¾).
Usually when this happens we only consider one of these the solution. For example if
1
we impose a condition Ã°Ââ€˜Â¦(0) = 1, then the solution is Ã°Ââ€˜Â¦ = 1Ã¢Ë†â€™Ã°Ââ€˜Â¥
, and we would consider this
solution only for Ã°Ââ€˜Â¥ on the interval (Ã¢Ë†â€™Ã¢Ë†Å¾, 1). In the figure, it is the left side of the graph.
3
2
1
0
1
2
3
3
3
2
2
1
1
0
0
1
1
2
2
3
3
3
2
1
0
1
Figure 1.1: Plot of Ã°Ââ€˜Â¦ =
2
3
1
1Ã¢Ë†â€™Ã°Ââ€˜Â¥ .
Classical problems leading to differential equations solvable by integration are problems
dealing with velocity, acceleration and distance. You have surely seen these problems
before in your calculus class.
Example 1.1.5: Suppose a car drives at a speed Ã°Ââ€˜â€™ Ã°Ââ€˜Â¡/2 meters per second, where Ã°Ââ€˜Â¡ is time in
seconds. How far did the car get in 2 seconds (starting at Ã°Ââ€˜Â¡ = 0)? How far in 10 seconds?
Let Ã°Ââ€˜Â¥ denote the distance the car traveled. The equation is
Ã°Ââ€˜Â¥ 0 = Ã°Ââ€˜â€™ Ã°Ââ€˜Â¡/2 .
We just integrate this equation to get that
Ã°Ââ€˜Â¥(Ã°Ââ€˜Â¡) = 2Ã°Ââ€˜â€™ Ã°Ââ€˜Â¡/2 + Ã°ÂÂÂ¶.
25
1.1. INTEGRALS AS SOLUTIONS
We still need to figure out Ã°ÂÂÂ¶. We know that when Ã°Ââ€˜Â¡ = 0, then Ã°Ââ€˜Â¥ = 0. That is, Ã°Ââ€˜Â¥(0) = 0. So
0 = Ã°Ââ€˜Â¥(0) = 2Ã°Ââ€˜â€™ 0/2 + Ã°ÂÂÂ¶ = 2 + Ã°ÂÂÂ¶.
Thus Ã°ÂÂÂ¶ = Ã¢Ë†â€™2 and
Ã°Ââ€˜Â¥(Ã°Ââ€˜Â¡) = 2Ã°Ââ€˜â€™ Ã°Ââ€˜Â¡/2 Ã¢Ë†â€™ 2.
Now we just plug in to get where the car is at 2 and at 10 seconds. We obtain
Ã°Ââ€˜Â¥(2) = 2Ã°Ââ€˜â€™ 2/2 Ã¢Ë†â€™ 2 Ã¢â€°Ë† 3.44 meters,
Ã°Ââ€˜Â¥(10) = 2Ã°Ââ€˜â€™ 10/2 Ã¢Ë†â€™ 2 Ã¢â€°Ë† 294 meters.
Example 1.1.6: Suppose that the car accelerates at a rate of Ã°Ââ€˜Â¡ 2 m/s2 . At time Ã°Ââ€˜Â¡ = 0 the car is
at the 1 meter mark and is traveling at 10 m/s. Where is the car at time Ã°Ââ€˜Â¡ = 10?
Well this is actually a second order problem. If Ã°Ââ€˜Â¥ is the distance traveled, then Ã°Ââ€˜Â¥ 0 is the
velocity, and Ã°Ââ€˜Â¥ 00 is the acceleration. The equation with initial conditions is
Ã°Ââ€˜Â¥ 00 = Ã°Ââ€˜Â¡ 2 ,
Ã°Ââ€˜Â¥(0) = 1,
Ã°Ââ€˜Â¥ 0(0) = 10.
What if we say Ã°Ââ€˜Â¥ 0 = Ã°Ââ€˜Â£. Then we have the problem
Ã°Ââ€˜Â£0 = Ã°Ââ€˜Â¡ 2 ,
Ã°Ââ€˜Â£(0) = 10.
Once we solve for Ã°Ââ€˜Â£, we can integrate and find Ã°Ââ€˜Â¥.
Exercise 1.1.1: Solve for Ã°Ââ€˜Â£, and then solve for Ã°Ââ€˜Â¥. Find Ã°Ââ€˜Â¥(10) to answer the question.
1.1.1
Exercises
Exercise 1.1.2: Solve
Ã°Ââ€˜â€˜Ã°Ââ€˜Â¦
Ã°Ââ€˜â€˜Ã°Ââ€˜Â¥
= Ã°Ââ€˜Â¥ 2 + Ã°Ââ€˜Â¥ for Ã°Ââ€˜Â¦(1) = 3.
Exercise 1.1.3: Solve
Ã°Ââ€˜â€˜Ã°Ââ€˜Â¦
Ã°Ââ€˜â€˜Ã°Ââ€˜Â¥
= sin(5Ã°Ââ€˜Â¥) for Ã°Ââ€˜Â¦(0) = 2.
Exercise 1.1.4: Solve
Ã°Ââ€˜â€˜Ã°Ââ€˜Â¦
Ã°Ââ€˜â€˜Ã°Ââ€˜Â¥
=
1
Ã°Ââ€˜Â¥ 2 Ã¢Ë†â€™1
for Ã°Ââ€˜Â¦(0) = 0.
Exercise 1.1.5: Solve Ã°Ââ€˜Â¦ 0 = Ã°Ââ€˜Â¦ 3 for Ã°Ââ€˜Â¦(0) = 1.
Exercise 1.1.6 (little harder): Solve Ã°Ââ€˜Â¦ 0 = (Ã°Ââ€˜Â¦ Ã¢Ë†â€™ 1)(Ã°Ââ€˜Â¦ + 1) for Ã°Ââ€˜Â¦(0) = 3.
Exercise 1.1.7: Solve
Ã°Ââ€˜â€˜Ã°Ââ€˜Â¦
Ã°Ââ€˜â€˜Ã°Ââ€˜Â¥
=
1
Ã°Ââ€˜Â¦+1
for Ã°Ââ€˜Â¦(0) = 0.
Exercise 1.1.8 (harder): Solve Ã°Ââ€˜Â¦ 00 = sin Ã°Ââ€˜Â¥ for Ã°Ââ€˜Â¦(0) = 0, Ã°Ââ€˜Â¦ 0(0) = 2.
Exercise 1.1.9: A spaceship is traveling at the speed 2Ã°Ââ€˜Â¡ 2 + 1 km/s (Ã°Ââ€˜Â¡ is time in seconds). It is pointing
directly away from earth and at time Ã°Ââ€˜Â¡ = 0 it is 1000 kilometers from earth. How far from earth is it
at one minute from time Ã°Ââ€˜Â¡ = 0?
Exercise 1.1.10: Solve
integral.
Ã°Ââ€˜â€˜Ã°Ââ€˜Â¥
Ã°Ââ€˜â€˜Ã°Ââ€˜Â¡
= sin(Ã°Ââ€˜Â¡ 2 ) + Ã°Ââ€˜Â¡, Ã°Ââ€˜Â¥(0) = 20. It is OK to leave your answer as a definite
26
CHAPTER 1. FIRST ORDER EQUATIONS
Exercise 1.1.11: A dropped ball accelerates downwards at a constant rate 9.8 meters per second
squared. Set up the differential equation for the height above ground Ã¢â€žÅ½ in meters. Then supposing
Ã¢â€žÅ½(0) = 100 meters, how long does it take for the ball to hit the ground.
Exercise 1.1.12: Find the general solution of Ã°Ââ€˜Â¦ 0 = Ã°Ââ€˜â€™ Ã°Ââ€˜Â¥ , and then Ã°Ââ€˜Â¦ 0 = Ã°Ââ€˜â€™ Ã°Ââ€˜Â¦ .
Exercise 1.1.101: Solve
Ã°Ââ€˜â€˜Ã°Ââ€˜Â¦
Ã°Ââ€˜â€˜Ã°Ââ€˜Â¥
= Ã°Ââ€˜â€™ Ã°Ââ€˜Â¥ + Ã°Ââ€˜Â¥ and Ã°Ââ€˜Â¦(0) = 10.
Ã°Ââ€˜Â¥(1) = 1.
Exercise 1.1.102: Solve Ã°Ââ€˜Â¥ 0 =
1
,
Ã°Ââ€˜Â¥2
Exercise 1.1.103: Solve Ã°Ââ€˜Â¥ 0 =
1
,
cos(Ã°Ââ€˜Â¥)
Ã°Ââ€˜Â¥(0) = Ã°ÂÅ“â€¹2 .
Exercise 1.1.104: Sid is in a car traveling at speed 10Ã°Ââ€˜Â¡ + 70 miles per hour away from Las Vegas,
where Ã°Ââ€˜Â¡ is in hours. At Ã°Ââ€˜Â¡ = 0, Sid is 10 miles away from Vegas. How far from Vegas is Sid 2 hours
later?
Exercise 1.1.105: Solve Ã°Ââ€˜Â¦ 0 = Ã°Ââ€˜Â¦ Ã°Ââ€˜â€º , Ã°Ââ€˜Â¦(0) = 1, where Ã°Ââ€˜â€º is a positive integer. Hint: You have to
consider different cases.
Exercise 1.1.106: The rate of change of the volume of a snowball that is melting is proportional to
the surface area of the snowball. Suppose the snowball is perfectly spherical. Then the volume (in
centimeters cubed) of a ball of radius Ã°Ââ€˜Å¸ centimeters is 4/3 Ã°ÂÅ“â€¹Ã°Ââ€˜Å¸ 3 . The surface area is 4Ã°ÂÅ“â€¹Ã°Ââ€˜Å¸ 2 . Set up the
differential equation for how Ã°Ââ€˜Å¸ is changing. Then, suppose that at time Ã°Ââ€˜Â¡ = 0 minutes, the radius is
10 centimeters. After 5 minutes, the radius is 8 centimeters. At what time Ã°Ââ€˜Â¡ will the snowball be
completely melted?
Exercise 1.1.107: Find the general solution to Ã°Ââ€˜Â¦ 0000 = 0. How many distinct constants do you need?
27
1.2. SLOPE FIELDS
1.2
Slope fields
Note: 1 lecture, Ã‚Â§1.3 in [EP], Ã‚Â§1.1 in [BD]
As we said, the general first order equation we are studying looks like
Ã°Ââ€˜Â¦ 0 = Ã°Ââ€˜â€œ (Ã°Ââ€˜Â¥, Ã°Ââ€˜Â¦).
A lot of the time, we cannot simply solve these kinds of equations explicitly. It would
be nice if we could at least figure out the shape and behavior of the solutions, or find
approximate solutions.
1.2.1
Slope fields
The equation Ã°Ââ€˜Â¦ 0 = Ã°Ââ€˜â€œ (Ã°Ââ€˜Â¥, Ã°Ââ€˜Â¦) gives you a slope at each point in the (Ã°Ââ€˜Â¥, Ã°Ââ€˜Â¦)plane. And this is
the slope a solution Ã°Ââ€˜Â¦(Ã°Ââ€˜Â¥) would have at Ã°Ââ€˜Â¥ if its value was Ã°Ââ€˜Â¦. In other words, Ã°Ââ€˜â€œ (Ã°Ââ€˜Â¥, Ã°Ââ€˜Â¦) is the
slope of a solution whose graph runs through the point (Ã°Ââ€˜Â¥, Ã°Ââ€˜Â¦). At a point (Ã°Ââ€˜Â¥, Ã°Ââ€˜Â¦), we plot
a short line with the slope Ã°Ââ€˜â€œ (Ã°Ââ€˜Â¥, Ã°Ââ€˜Â¦). For example, if Ã°Ââ€˜â€œ (Ã°Ââ€˜Â¥, Ã°Ââ€˜Â¦) = Ã°Ââ€˜Â¥Ã°Ââ€˜Â¦, then at point (2, 1.5) we
draw a short line of slope Ã°Ââ€˜Â¥Ã°Ââ€˜Â¦ = 2 Ãƒâ€” 1.5 = 3. So, if Ã°Ââ€˜Â¦(Ã°Ââ€˜Â¥) is a solution and Ã°Ââ€˜Â¦(2) = 1.5, then the
equation mandates that Ã°Ââ€˜Â¦ 0(2) = 3. See Figure 1.2.
3
2
1
0
1
2
3
3
3
2
2
1
1
0
0
1
1
2
2
3
3
3
2
1
0
1
2
3
Figure 1.2: The slope Ã°Ââ€˜Â¦ 0 = Ã°Ââ€˜Â¥ Ã°Ââ€˜Â¦ at (2, 1.5).
To get an idea of how solutions behave, we draw such lines at lots of points in the plane,
not just the point (2, 1.5). We would ideally want to see the slope at every point, but that is
just not possible. Usually we pick a grid of points fine enough so that it shows the behavior,
but not too fine so that we can still recognize the individual lines. We call this picture the
slope field of the equation. See Figure 1.3 on the following page for the slope field of the
equation Ã°Ââ€˜Â¦ 0 = Ã°Ââ€˜Â¥Ã°Ââ€˜Â¦. Usually in practice, one does not do this by hand, but has a computer do
the drawing.
28
CHAPTER 1. FIRST ORDER EQUATIONS
Suppose we are given a specific initial condition Ã°Ââ€˜Â¦(Ã°Ââ€˜Â¥0 ) = Ã°Ââ€˜Â¦0 . A solution, that is, the
graph of the solution, would be a curve that follows the slopes we drew. For a few sample
solutions, see Figure 1.4. It is easy to roughly sketch (or at least imagine) possible solutions
in the slope field, just from looking at the slope field itself. You simply sketch a line that
roughly fits the little line segments and goes through your initial condition.
3
2
1
0
1
2
3
3
2
1
0
1
2
3
3
3
3
3
2
2
2
2
1
1
1
1
0
0
0
0
1
1
1
1
2
2
2
2
3
3
3
3
2
1
0
1
2
3
Figure 1.3: Slope field of Ã°Ââ€˜Â¦ 0 = Ã°Ââ€˜Â¥Ã°Ââ€˜Â¦.
3
3
2
1
0
1
2
3
Figure 1.4: Slope field of Ã°Ââ€˜Â¦ 0 = Ã°Ââ€˜Â¥ Ã°Ââ€˜Â¦ with a graph
of solutions satisfying Ã°Ââ€˜Â¦(0) = 0.2, Ã°Ââ€˜Â¦(0) = 0, and
Ã°Ââ€˜Â¦(0) = Ã¢Ë†â€™0.2.
By looking at the slope field we get a lot of information about the behavior of solutions
without having to solve the equation. For example, in Figure 1.4 we see what the solutions
do when the initial conditions are Ã°Ââ€˜Â¦(0) > 0, Ã°Ââ€˜Â¦(0) = 0 and Ã°Ââ€˜Â¦(0) < 0. A small change in the
initial condition causes quite different behavior. We see this behavior just from the slope
field and imagining what solutions ought to do.
We see a different behavior for the equation Ã°Ââ€˜Â¦ 0 = Ã¢Ë†â€™Ã°Ââ€˜Â¦. The slope field and a few solutions
is in see Figure 1.5 on the next page. If we think of moving from left to right (perhaps Ã°Ââ€˜Â¥ is
time and time is usually increasing), then we see that no matter what Ã°Ââ€˜Â¦(0) is, all solutions
tend to zero as Ã°Ââ€˜Â¥ tends to infinity. Again that behavior is clear from simply looking at the
slope field itself.
1.2.2
Existence and uniqueness
We wish to ask two fundamental questions about the problem
Ã°Ââ€˜Â¦ 0 = Ã°Ââ€˜â€œ (Ã°Ââ€˜Â¥, Ã°Ââ€˜Â¦),
(i) Does a solution exist?
(ii) Is the solution unique (if it exists)?
Ã°Ââ€˜Â¦(Ã°Ââ€˜Â¥0 ) = Ã°Ââ€˜Â¦0 .
29
1.2. SLOPE FIELDS
3
2
1
0
1
2
3
3
3
2
2
1
1
0
0
1
1
2
2
3
3
3
2
1
0
1
2
3
Figure 1.5: Slope field of Ã°Ââ€˜Â¦ 0 = Ã¢Ë†â€™Ã°Ââ€˜Â¦ with a graph of a few solutions.
What do you think is the answer? The answer seems to be yes to both does it not? Well,
pretty much. But there are cases when the answer to either question can be no.
Since generally the equations we encounter in applications come from real life situations,
it seems logical that a solution always exists. It also has to be unique if we believe our
universe is deterministic. If the solution does not exist, or if it is not unique, we have
probably not devised the correct model. Hence, it is good to know when things go wrong
and why.
Example 1.2.1: Attempt to solve:
Ã°Ââ€˜Â¦0 =
1
,
Ã°Ââ€˜Â¥
Ã°Ââ€˜Â¦(0) = 0.
Integrate to find the general solution Ã°Ââ€˜Â¦ = ln Ã°Ââ€˜Â¥ + Ã°ÂÂÂ¶. The solution does not exist at Ã°Ââ€˜Â¥ = 0.
See Figure 1.6 on the following page. The equation may have been written as the seemingly
harmless Ã°Ââ€˜Â¥Ã°Ââ€˜Â¦ 0 = 1.
Example 1.2.2: Solve:
0
q
Ã°Ââ€˜Â¦ = 2 Ã°Ââ€˜Â¦,
Ã°Ââ€˜Â¦(0) = 0.
See Figure 1.7 on the next page. Note that Ã°Ââ€˜Â¦ = 0 is a solution. But another solution is
the function
(
Ã°Ââ€˜Â¥2
if Ã°Ââ€˜Â¥ Ã¢â€°Â¥ 0,
Ã°Ââ€˜Â¦(Ã°Ââ€˜Â¥) =
2
Ã¢Ë†â€™Ã°Ââ€˜Â¥ if Ã°Ââ€˜Â¥ < 0.
It is hard to tell by staring at the slope field that the solution is not unique. Is there any
hope? Of course there is. We have the following theorem, known as PicardÃ¢â‚¬â„¢s theoremÃ¢Ë†â€” .
Ã¢Ë†â€” Named
after the French mathematician Charles Ãƒâ€°mile Picard (1856Ã¢â‚¬â€œ1941)
30
CHAPTER 1. FIRST ORDER EQUATIONS
3
2
1
0
1
2
3
3
2
1
0
1
2
3
3
3
3
3
2
2
2
2
1
1
1
1
0
0
0
0
1
1
1
1
2
2
2
2
3
3
3
3
2
1
0
1
2
3
3
3
Figure 1.6: Slope field of Ã°Ââ€˜Â¦ 0 = 1/Ã°Ââ€˜Â¥ .
2
1
0
1
2
3
Figure 1.7: Slope field of Ã°Ââ€˜Â¦ 0 = 2 Ã°Ââ€˜Â¦ with two
solutions satisfying Ã°Ââ€˜Â¦(0) = 0.
p
Theorem 1.2.1 (PicardÃ¢â‚¬â„¢s theorem on existence and uniqueness). If Ã°Ââ€˜â€œ (Ã°Ââ€˜Â¥, Ã°Ââ€˜Â¦) is continuous (as a
Ã°ÂÅ“â€¢Ã°Ââ€˜â€œ
function of two variables) and Ã°ÂÅ“â€¢Ã°Ââ€˜Â¦ exists and is continuous near some (Ã°Ââ€˜Â¥0 , Ã°Ââ€˜Â¦0 ), then a solution to
Ã°Ââ€˜Â¦ 0 = Ã°Ââ€˜â€œ (Ã°Ââ€˜Â¥, Ã°Ââ€˜Â¦),
Ã°Ââ€˜Â¦(Ã°Ââ€˜Â¥0 ) = Ã°Ââ€˜Â¦0 ,
exists (at least for some small interval of Ã°Ââ€˜Â¥Ã¢â‚¬â„¢s) and is unique.
Note that the problems Ã°Ââ€˜Â¦ 0 = 1/Ã°Ââ€˜Â¥ , Ã°Ââ€˜Â¦(0) = 0 and Ã°Ââ€˜Â¦ 0 = 2 Ã°Ââ€˜Â¦, Ã°Ââ€˜Â¦(0) = 0 do not satisfy the
hypothesis of the theorem. Even if we can use the theorem, we ought to be careful about
this existence business. It is quite possible that the solution only exists for a short while.
p
Example 1.2.3: For some constant Ã°ÂÂÂ´, solve:
Ã°Ââ€˜Â¦0 = Ã°Ââ€˜Â¦ 2 ,
Ã°Ââ€˜Â¦(0) = Ã°ÂÂÂ´.
We know how to solve this equation. First assume that Ã°ÂÂÂ´ Ã¢â€°Â 0, so Ã°Ââ€˜Â¦ is not equal to zero at
1
least for some Ã°Ââ€˜Â¥ near 0. So Ã°Ââ€˜Â¥ 0 = 1/Ã°Ââ€˜Â¦ 2 , so Ã°Ââ€˜Â¥ = Ã¢Ë†â€™1/Ã°Ââ€˜Â¦ + Ã°ÂÂÂ¶, so Ã°Ââ€˜Â¦ = Ã°ÂÂÂ¶Ã¢Ë†â€™Ã°Ââ€˜Â¥
. If Ã°Ââ€˜Â¦(0) = Ã°ÂÂÂ´, then Ã°ÂÂÂ¶ = 1/Ã°ÂÂÂ´ so
Ã°Ââ€˜Â¦=
1
.
1/Ã°ÂÂÂ´ Ã¢Ë†â€™ Ã°Ââ€˜Â¥
If Ã°ÂÂÂ´ = 0, then Ã°Ââ€˜Â¦ = 0 is a solution.
For example, when Ã°ÂÂÂ´ = 1 the solution Ã¢â‚¬Å“blows upÃ¢â‚¬Â at Ã°Ââ€˜Â¥ = 1. Hence, the solution does
not exist for all Ã°Ââ€˜Â¥ even if the equation is nice everywhere. The equation Ã°Ââ€˜Â¦ 0 = Ã°Ââ€˜Â¦ 2 certainly
looks nice.
For most of this course we will be interested in equations where existence and uniqueness
holds, and in fact holds Ã¢â‚¬Å“globallyÃ¢â‚¬Â unlike for the equation Ã°Ââ€˜Â¦ 0 = Ã°Ââ€˜Â¦ 2 .
31
1.2. SLOPE FIELDS
1.2.3
Exercises
Exercise 1.2.1: Sketch slope field for Ã°Ââ€˜Â¦ 0 = Ã°Ââ€˜â€™ Ã°Ââ€˜Â¥Ã¢Ë†â€™Ã°Ââ€˜Â¦ . How do the solutions behave as Ã°Ââ€˜Â¥ grows? Can you
guess a particular solution by looking at the slope field?
Exercise 1.2.2: Sketch slope field for Ã°Ââ€˜Â¦ 0 = Ã°Ââ€˜Â¥ 2 .
Exercise 1.2.3: Sketch slope field for Ã°Ââ€˜Â¦ 0 = Ã°Ââ€˜Â¦ 2 .
Exercise 1.2.4: Is it possible to solve the equation Ã°Ââ€˜Â¦ 0 =
Ã°Ââ€˜Â¥Ã°Ââ€˜Â¦
cos Ã°Ââ€˜Â¥
for Ã°Ââ€˜Â¦(0) = 1? Justify.
p
Exercise 1.2.5: Is it possible to solve the equation Ã°Ââ€˜Â¦ 0 = Ã°Ââ€˜Â¦ Ã°Ââ€˜Â¥ for Ã°Ââ€˜Â¦(0) = 0? Is the solution unique?
Justify.
Exercise 1.2.6: Match equations Ã°Ââ€˜Â¦ 0 = 1 Ã¢Ë†â€™ Ã°Ââ€˜Â¥, Ã°Ââ€˜Â¦ 0 = Ã°Ââ€˜Â¥ Ã¢Ë†â€™ 2Ã°Ââ€˜Â¦, Ã°Ââ€˜Â¦ 0 = Ã°Ââ€˜Â¥(1 Ã¢Ë†â€™ Ã°Ââ€˜Â¦) to slope fields. Justify.
a)
b)
c)
Exercise 1.2.7 (challenging): Take Ã°Ââ€˜Â¦ 0 = Ã°Ââ€˜â€œ (Ã°Ââ€˜Â¥, Ã°Ââ€˜Â¦), Ã°Ââ€˜Â¦(0) = 0, where Ã°Ââ€˜â€œ (Ã°Ââ€˜Â¥, Ã°Ââ€˜Â¦) > 1 for all Ã°Ââ€˜Â¥ and Ã°Ââ€˜Â¦.
If the solution exists for all Ã°Ââ€˜Â¥, can you say what happens to Ã°Ââ€˜Â¦(Ã°Ââ€˜Â¥) as Ã°Ââ€˜Â¥ goes to positive infinity?
Explain.
Exercise 1.2.8 (challenging): Take (Ã°Ââ€˜Â¦ Ã¢Ë†â€™ Ã°Ââ€˜Â¥)Ã°Ââ€˜Â¦ 0 = 0, Ã°Ââ€˜Â¦(0) = 0.
a) Find two distinct solutions.
b) Explain why this does not violate PicardÃ¢â‚¬â„¢s theorem.
Exercise 1.2.9: Suppose Ã°Ââ€˜Â¦ 0 = Ã°Ââ€˜â€œ (Ã°Ââ€˜Â¥, Ã°Ââ€˜Â¦). What will the slope field look like, explain and sketch an
example, if you know the following about Ã°Ââ€˜â€œ (Ã°Ââ€˜Â¥, Ã°Ââ€˜Â¦):
a) Ã°Ââ€˜â€œ does not depend on Ã°Ââ€˜Â¦.
b) Ã°Ââ€˜â€œ does not depend on Ã°Ââ€˜Â¥.
c) Ã°Ââ€˜â€œ (Ã°Ââ€˜Â¡, Ã°Ââ€˜Â¡) = 0 for any number Ã°Ââ€˜Â¡.
d) Ã°Ââ€˜â€œ (Ã°Ââ€˜Â¥, 0) = 0 and Ã°Ââ€˜â€œ (Ã°Ââ€˜Â¥, 1) = 1 for all Ã°Ââ€˜Â¥.
Exercise 1.2.10: Find a solution to Ã°Ââ€˜Â¦ 0 = Ã°Ââ€˜Â¦, Ã°Ââ€˜Â¦(0) = 0. Does PicardÃ¢â‚¬â„¢s theorem apply?
Exercise 1.2.11: Take an equation Ã°Ââ€˜Â¦ 0 = (Ã°Ââ€˜Â¦ Ã¢Ë†â€™ 2Ã°Ââ€˜Â¥)Ã°Ââ€˜â€(Ã°Ââ€˜Â¥, Ã°Ââ€˜Â¦) + 2 for some function Ã°Ââ€˜â€(Ã°Ââ€˜Â¥, Ã°Ââ€˜Â¦). Can you
solve the problem for the initial condition Ã°Ââ€˜Â¦(0) = 0, and if so what is the solution?
32
CHAPTER 1. FIRST ORDER EQUATIONS
Exercise 1.2.12 (challenging): Suppose Ã°Ââ€˜Â¦ 0 = Ã°Ââ€˜â€œ (Ã°Ââ€˜Â¥, Ã°Ââ€˜Â¦) is such that Ã°Ââ€˜â€œ (Ã°Ââ€˜Â¥, 1) = 0 for every Ã°Ââ€˜Â¥, Ã°Ââ€˜â€œ is
Ã°ÂÅ“â€¢Ã°Ââ€˜â€œ
continuous and Ã°ÂÅ“â€¢Ã°Ââ€˜Â¦ exists and is continuous for every Ã°Ââ€˜Â¥ and Ã°Ââ€˜Â¦.
a) Guess a solution given the initial condition Ã°Ââ€˜Â¦(0) = 1.
b) Can graphs of two solutions of the equation for different initial conditions ever intersect?
c) Given Ã°Ââ€˜Â¦(0) = 0, what can you say about the solution. In particular, can Ã°Ââ€˜Â¦(Ã°Ââ€˜Â¥) > 1 for any Ã°Ââ€˜Â¥?
Can Ã°Ââ€˜Â¦(Ã°Ââ€˜Â¥) = 1 for any Ã°Ââ€˜Â¥? Why or why not?
Exercise 1.2.101: Sketch the slope field of Ã°Ââ€˜Â¦ 0 = Ã°Ââ€˜Â¦ 3 . Can you visually find the solution that satisfies
Ã°Ââ€˜Â¦(0) = 0?
Exercise 1.2.102: Is it possible to solve Ã°Ââ€˜Â¦ 0 = Ã°Ââ€˜Â¥Ã°Ââ€˜Â¦ for Ã°Ââ€˜Â¦(0) = 0? Is the solution unique?
Exercise 1.2.103: Is it possible to solve Ã°Ââ€˜Â¦ 0 =
Ã°Ââ€˜Â¥
Ã°Ââ€˜Â¥ 2 Ã¢Ë†â€™1
for Ã°Ââ€˜Â¦(1) = 0?
Exercise 1.2.104: Match equations Ã°Ââ€˜Â¦ 0 = sin Ã°Ââ€˜Â¥, Ã°Ââ€˜Â¦ 0 = cos Ã°Ââ€˜Â¦, Ã°Ââ€˜Â¦ 0 = Ã°Ââ€˜Â¦ cos(Ã°Ââ€˜Â¥) to slope fields. Justify.
a)
b)
c)
Exercise 1.2.105 (tricky): Suppose
(
Ã°Ââ€˜â€œ (Ã°Ââ€˜Â¦) =
0
if Ã°Ââ€˜Â¦ > 0,
1
if Ã°Ââ€˜Â¦ Ã¢â€°Â¤ 0.
Does Ã°Ââ€˜Â¦ 0 = Ã°Ââ€˜â€œ (Ã°Ââ€˜Â¦), Ã°Ââ€˜Â¦(0) = 0 have a continuously differentiable solution? Does Picard apply? Why, or
why not?
Exercise 1.2.106: Consider an equation of the form Ã°Ââ€˜Â¦ 0 = Ã°Ââ€˜â€œ (Ã°Ââ€˜Â¥) for some continuous function Ã°Ââ€˜â€œ , and
an initial condition Ã°Ââ€˜Â¦(Ã°Ââ€˜Â¥0 ) = Ã°Ââ€˜Â¦0 . Does a solution exist for all Ã°Ââ€˜Â¥? Why or why not?
33
1.3. SEPARABLE EQUATIONS
1.3
Separable equations
Note: 1 lecture, Ã‚Â§1.4 in [EP], Ã‚Â§2.2 in [BD]
0
Ã¢Ë†Â« When a differential equation is of the form Ã°Ââ€˜Â¦ = Ã°Ââ€˜â€œ (Ã°Ââ€˜Â¥), we can just integrate: Ã°Ââ€˜Â¦ =
Ã°Ââ€˜â€œ (Ã°Ââ€˜Â¥) Ã°Ââ€˜â€˜Ã°Ââ€˜Â¥ + Ã°ÂÂÂ¶. Unfortunately this method no longer works for the general form of the
equation Ã°Ââ€˜Â¦ 0 = Ã°Ââ€˜â€œ (Ã°Ââ€˜Â¥, Ã°Ââ€˜Â¦). Integrating both sides yields
Ã¢Ë†Â«
Ã°Ââ€˜Â¦=
Ã°Ââ€˜â€œ (Ã°Ââ€˜Â¥, Ã°Ââ€˜Â¦) Ã°Ââ€˜â€˜Ã°Ââ€˜Â¥ + Ã°ÂÂÂ¶.
Notice the dependence on Ã°Ââ€˜Â¦ in the integral.
1.3.1
Separable equations
We say a differential equation is separable if we can write it as
Ã°Ââ€˜Â¦ 0 = Ã°Ââ€˜â€œ (Ã°Ââ€˜Â¥)Ã°Ââ€˜â€(Ã°Ââ€˜Â¦),
for some functions Ã°Ââ€˜â€œ (Ã°Ââ€˜Â¥) and Ã°Ââ€˜â€(Ã°Ââ€˜Â¦). Let us write the equation in the Leibniz notation
Ã°Ââ€˜â€˜Ã°Ââ€˜Â¦
= Ã°Ââ€˜â€œ (Ã°Ââ€˜Â¥)Ã°Ââ€˜â€(Ã°Ââ€˜Â¦).
Ã°Ââ€˜â€˜Ã°Ââ€˜Â¥
Then we rewrite the equation as
Ã°Ââ€˜â€˜Ã°Ââ€˜Â¦
= Ã°Ââ€˜â€œ (Ã°Ââ€˜Â¥) Ã°Ââ€˜â€˜Ã°Ââ€˜Â¥.
Ã°Ââ€˜â€(Ã°Ââ€˜Â¦)
Both sides look like something we can integrate. We obtain
Ã¢Ë†Â«
Ã°Ââ€˜â€˜Ã°Ââ€˜Â¦
=
Ã°Ââ€˜â€(Ã°Ââ€˜Â¦)
Ã¢Ë†Â«
Ã°Ââ€˜â€œ (Ã°Ââ€˜Â¥) Ã°Ââ€˜â€˜Ã°Ââ€˜Â¥ + Ã°ÂÂÂ¶.
If we can find closed form expressions for these two integrals, we can, perhaps, solve for Ã°Ââ€˜Â¦.
Example 1.3.1: Take the equation
Ã°Ââ€˜Â¦ 0 = Ã°Ââ€˜Â¥Ã°Ââ€˜Â¦.
Note that Ã°Ââ€˜Â¦ = 0 is a solution. We will remember that fact and assume Ã°Ââ€˜Â¦ Ã¢â€°Â 0 from now on,
Ã°Ââ€˜â€˜Ã°Ââ€˜Â¦
so that we can divide by Ã°Ââ€˜Â¦. Write the equation as Ã°Ââ€˜â€˜Ã°Ââ€˜Â¥ = Ã°Ââ€˜Â¥Ã°Ââ€˜Â¦. Then
Ã¢Ë†Â«
Ã°Ââ€˜â€˜Ã°Ââ€˜Â¦
=
Ã°Ââ€˜Â¦
Ã¢Ë†Â«
Ã°Ââ€˜Â¥ Ã°Ââ€˜â€˜Ã°Ââ€˜Â¥ + Ã°ÂÂÂ¶.
We compute the antiderivatives to get
ln Ã°Ââ€˜Â¦ =
Ã°Ââ€˜Â¥2
+ Ã°ÂÂÂ¶,
2
34
CHAPTER 1. FIRST ORDER EQUATIONS
or
Ã°Ââ€˜Â¦ = Ã°Ââ€˜â€™
Ã°Ââ€˜Â¥2
2 +Ã°ÂÂÂ¶
Ã°Ââ€˜Â¥2
Ã°Ââ€˜Â¥2
= Ã°Ââ€˜â€™ 2 Ã°Ââ€˜â€™ Ã°ÂÂÂ¶ = Ã°ÂÂÂ·Ã°Ââ€˜â€™ 2 ,
where Ã°ÂÂÂ· > 0 is some constant. Because Ã°Ââ€˜Â¦ = 0 is also a solution and because of the absolute
value we can write:
Ã°Ââ€˜Â¥2
Ã°Ââ€˜Â¦ = Ã°ÂÂÂ·Ã°Ââ€˜â€™ 2 ,
for any number Ã°ÂÂÂ· (including zero or negative).
We check:
Ã°Ââ€˜Â¥2
Ã°Ââ€˜Â¥2
Ã°Ââ€˜Â¦ 0 = Ã°ÂÂÂ·Ã°Ââ€˜Â¥Ã°Ââ€˜â€™ 2 = Ã°Ââ€˜Â¥ Ã°ÂÂÂ·Ã°Ââ€˜â€™ 2 = Ã°Ââ€˜Â¥Ã°Ââ€˜Â¦.
Yay!
We should be a little bit more careful with this method. You may be worried that we
integrated in two different variables. We seemingly did a different operation to each side.
Let us work through this method more rigorously. Take
Ã°Ââ€˜â€˜Ã°Ââ€˜Â¦
= Ã°Ââ€˜â€œ (Ã°Ââ€˜Â¥)Ã°Ââ€˜â€(Ã°Ââ€˜Â¦).
Ã°Ââ€˜â€˜Ã°Ââ€˜Â¥
We rewrite the equation as follows. Note that Ã°Ââ€˜Â¦ = Ã°Ââ€˜Â¦(Ã°Ââ€˜Â¥) is a function of Ã°Ââ€˜Â¥ and so is
Ã°Ââ€˜â€˜Ã°Ââ€˜Â¦
Ã°Ââ€˜â€˜Ã°Ââ€˜Â¥ !
1 Ã°Ââ€˜â€˜Ã°Ââ€˜Â¦
= Ã°Ââ€˜â€œ (Ã°Ââ€˜Â¥).
Ã°Ââ€˜â€(Ã°Ââ€˜Â¦) Ã°Ââ€˜â€˜Ã°Ââ€˜Â¥
We integrate both sides with respect to Ã°Ââ€˜Â¥:
1 Ã°Ââ€˜â€˜Ã°Ââ€˜Â¦
Ã°Ââ€˜â€˜Ã°Ââ€˜Â¥ =
Ã°Ââ€˜â€(Ã°Ââ€˜Â¦) Ã°Ââ€˜â€˜Ã°Ââ€˜Â¥
Ã¢Ë†Â«
Ã¢Ë†Â«
Ã°Ââ€˜â€œ (Ã°Ââ€˜Â¥) Ã°Ââ€˜â€˜Ã°Ââ€˜Â¥ + Ã°ÂÂÂ¶.
We use the change of variables formula (substitution) on the left hand side:
Ã¢Ë†Â«
1
Ã°Ââ€˜â€˜Ã°Ââ€˜Â¦ =
Ã°Ââ€˜â€(Ã°Ââ€˜Â¦)
Ã¢Ë†Â«
Ã°Ââ€˜â€œ (Ã°Ââ€˜Â¥) Ã°Ââ€˜â€˜Ã°Ââ€˜Â¥ + Ã°ÂÂÂ¶.
And we are done.
1.3.2
Implicit solutions
We sometimes get stuck even if we can do the integration. Consider the separable equation
Ã°Ââ€˜Â¦0 =
Ã°Ââ€˜Â¥Ã°Ââ€˜Â¦
.
+1
Ã°Ââ€˜Â¦2
We separate variables,
Ã°Ââ€˜Â¦2 + 1
1
Ã°Ââ€˜â€˜Ã°Ââ€˜Â¦ = Ã°Ââ€˜Â¦ +
Ã°Ââ€˜Â¦
Ã°Ââ€˜Â¦
Ã°Ââ€˜â€˜Ã°Ââ€˜Â¦ = Ã°Ââ€˜Â¥ Ã°Ââ€˜â€˜Ã°Ââ€˜Â¥.
35
1.3. SEPARABLE EQUATIONS
We integrate to get
Ã°Ââ€˜Â¦2
Ã°Ââ€˜Â¥2
+ ln Ã°Ââ€˜Â¦ =
+ Ã°ÂÂÂ¶,
2
2
or perhaps the easier looking expression (where Ã°ÂÂÂ· = 2Ã°ÂÂÂ¶)
Ã°Ââ€˜Â¦ 2 + 2 ln Ã°Ââ€˜Â¦ = Ã°Ââ€˜Â¥ 2 + Ã°ÂÂÂ·.
It is not easy to find the solution explicitly as it is hard to solve for Ã°Ââ€˜Â¦. We, therefore, leave
the solution in this form and call it an implicit solution. It is still easy to check that an implicit
solution satisfies the differential equation. In this case, we differentiate with respect to Ã°Ââ€˜Â¥,
and remember that Ã°Ââ€˜Â¦ is a function of Ã°Ââ€˜Â¥, to get
2
Ã°Ââ€˜Â¦ 0 2Ã°Ââ€˜Â¦ +
= 2Ã°Ââ€˜Â¥.
Ã°Ââ€˜Â¦
Multiply both sides by Ã°Ââ€˜Â¦ and divide by 2(Ã°Ââ€˜Â¦ 2 + 1) and you will get exactly the differential
equation. We leave this computation to the reader.
If you have an implicit solution, and you want to compute values for Ã°Ââ€˜Â¦, you might
have to be tricky. You might get multiple solutions Ã°Ââ€˜Â¦ for each Ã°Ââ€˜Â¥, so you have to pick one.
Sometimes you can graph Ã°Ââ€˜Â¥ as a function of Ã°Ââ€˜Â¦, and then flip your paper. Sometimes you
have to do more.
Computers are also good at some of these tricks. More advanced mathematical software
usually has some way of plotting solutions to implicit equations. For example, for Ã°ÂÂÂ¶ = 0 if
you plot all the points (Ã°Ââ€˜Â¥, Ã°Ââ€˜Â¦) that are solutions to Ã°Ââ€˜Â¦ 2 + 2 ln Ã°Ââ€˜Â¦ = Ã°Ââ€˜Â¥ 2 , you find the two curves
in Figure 1.8 on the following page. This is not quite a graph of a function. For each Ã°Ââ€˜Â¥ there
are two choices of Ã°Ââ€˜Â¦. To find a function you would have to pick one of these two curves.
You pick the one that satisfies your initial condition if you have one. For example, the top
curve satisfies the condition Ã°Ââ€˜Â¦(1) = 1. So for each Ã°ÂÂÂ¶ we really got two solutions. As you can
see, computing values from an implicit solution can be somewhat tricky. But sometimes,
an implicit solution is the best we can do.
The equation above also has the solution Ã°Ââ€˜Â¦ = 0. So the general solution is
Ã°Ââ€˜Â¦ 2 + 2 ln Ã°Ââ€˜Â¦ = Ã°Ââ€˜Â¥ 2 + Ã°ÂÂÂ¶,
and
Ã°Ââ€˜Â¦ = 0.
These outlying solutions such as Ã°Ââ€˜Â¦ = 0 are sometimes called singular solutions.
1.3.3
Examples of separable equations
Example 1.3.2: Solve Ã°Ââ€˜Â¥ 2 Ã°Ââ€˜Â¦ 0 = 1 Ã¢Ë†â€™ Ã°Ââ€˜Â¥ 2 + Ã°Ââ€˜Â¦ 2 Ã¢Ë†â€™ Ã°Ââ€˜Â¥ 2 Ã°Ââ€˜Â¦ 2 , Ã°Ââ€˜Â¦(1) = 0.
Factor the righthand side
Ã°Ââ€˜Â¥ 2 Ã°Ââ€˜Â¦ 0 = (1 Ã¢Ë†â€™ Ã°Ââ€˜Â¥ 2 )(1 + Ã°Ââ€˜Â¦ 2 ).
36
CHAPTER 1. FIRST ORDER EQUATIONS
5.0
5.0
2.5
0.0
2.5
5.0
5.0
2.5
2.5
0.0
0.0
2.5
2.5
5.0
5.0
5.0
2.5
0.0
2.5
5.0
Figure 1.8: The implicit solution Ã°Ââ€˜Â¦ 2 + 2 ln Ã°Ââ€˜Â¦ = Ã°Ââ€˜Â¥ 2 to Ã°Ââ€˜Â¦ 0 =
Ã°Ââ€˜Â¥Ã°Ââ€˜Â¦
.
Ã°Ââ€˜Â¦ 2 +1
Separate variables, integrate, and solve for Ã°Ââ€˜Â¦:
Ã°Ââ€˜Â¦0
1 Ã¢Ë†â€™ Ã°Ââ€˜Â¥2
=
,
1 + Ã°Ââ€˜Â¦2
Ã°Ââ€˜Â¥2
Ã°Ââ€˜Â¦0
1
= 2 Ã¢Ë†â€™ 1,
2
1+Ã°Ââ€˜Â¦
Ã°Ââ€˜Â¥
Ã¢Ë†â€™1
Ã¢Ë†â€™ Ã°Ââ€˜Â¥ + Ã°ÂÂÂ¶,
arctan(Ã°Ââ€˜Â¦) =
Ã°Ââ€˜Â¥
Ã¢Ë†â€™1
Ã°Ââ€˜Â¦ = tan
Ã¢Ë†â€™Ã°Ââ€˜Â¥+Ã°ÂÂÂ¶ .
Ã°Ââ€˜Â¥
Solve for the initial condition, 0 = tan(Ã¢Ë†â€™2 + Ã°ÂÂÂ¶) to get Ã°ÂÂÂ¶ = 2 (or Ã°ÂÂÂ¶ = 2 + Ã°ÂÅ“â€¹, or Ã°ÂÂÂ¶ = 2 + 2Ã°ÂÅ“â€¹,
etc.). The particular solution we seek is, therefore,
Ã¢Ë†â€™1
Ã°Ââ€˜Â¦ = tan
Ã¢Ë†â€™Ã°Ââ€˜Â¥+2 .
Ã°Ââ€˜Â¥
Example 1.3.3: Bob made a cup of coffee, and Bob likes to drink coffee only once reaches
60 degrees Celsius and will not burn him. Initially at time Ã°Ââ€˜Â¡ = 0 minutes, Bob measured the
temperature and the coffee was 89 degrees Celsius. One minute later, Bob measured the
coffee again and it had 85 degrees. The temperature of the room (the ambient temperature)
is 22 degrees. When should Bob start drinking?
Let Ã°Ââ€˜â€¡ be the temperature of the coffee in degrees Celsius, and let Ã°ÂÂÂ´ be the ambient
(room) temperature, also in degrees Celsius. NewtonÃ¢â‚¬â„¢s law of cooling states that the rate at
which the temperature of the coffee is changing is proportional to the difference between
the ambient temperature and the temperature of the coffee. That is,
Ã°Ââ€˜â€˜Ã°Ââ€˜â€¡
= Ã°Ââ€˜Ëœ(Ã°ÂÂÂ´ Ã¢Ë†â€™ Ã°Ââ€˜â€¡),
Ã°Ââ€˜â€˜Ã°Ââ€˜Â¡
37
1.3. SEPARABLE EQUATIONS
for some constant Ã°Ââ€˜Ëœ. For our setup Ã°ÂÂÂ´ = 22, Ã°Ââ€˜â€¡(0) = 89, Ã°Ââ€˜â€¡(1) = 85. We separate variables and
integrate (let Ã°ÂÂÂ¶ and Ã°ÂÂÂ· denote arbitrary constants):
1 Ã°Ââ€˜â€˜Ã°Ââ€˜â€¡
= Ã¢Ë†â€™Ã°Ââ€˜Ëœ,
Ã°Ââ€˜â€¡ Ã¢Ë†â€™ Ã°ÂÂÂ´ Ã°Ââ€˜â€˜Ã°Ââ€˜Â¡
ln(Ã°Ââ€˜â€¡ Ã¢Ë†â€™ Ã°ÂÂÂ´) = Ã¢Ë†â€™Ã°Ââ€˜ËœÃ°Ââ€˜Â¡ + Ã°ÂÂÂ¶,
(note that Ã°Ââ€˜â€¡ Ã¢Ë†â€™ Ã°ÂÂÂ´ > 0)
Ã°Ââ€˜â€¡ Ã¢Ë†â€™ Ã°ÂÂÂ´ = Ã°ÂÂÂ· Ã°Ââ€˜â€™ Ã¢Ë†â€™Ã°Ââ€˜ËœÃ°Ââ€˜Â¡ ,
Ã°Ââ€˜â€¡ = Ã°ÂÂÂ´ + Ã°ÂÂÂ· Ã°Ââ€˜â€™ Ã¢Ë†â€™Ã°Ââ€˜ËœÃ°Ââ€˜Â¡ .
That is, Ã°Ââ€˜â€¡ = 22 + Ã°ÂÂÂ· Ã°Ââ€˜â€™ Ã¢Ë†â€™Ã°Ââ€˜ËœÃ°Ââ€˜Â¡ . We plug in the first condition: 89 = Ã°Ââ€˜â€¡(0) = 22 + Ã°ÂÂÂ·, and hence
Ã°ÂÂÂ· = 67. So Ã°Ââ€˜â€¡ = 22 + 67 Ã°Ââ€˜â€™ Ã¢Ë†â€™Ã°Ââ€˜ËœÃ°Ââ€˜Â¡ . The second condition says 85 = Ã°Ââ€˜â€¡(1) = 22 + 67 Ã°Ââ€˜â€™ Ã¢Ë†â€™Ã°Ââ€˜Ëœ . Solving for
Ã°Ââ€˜Ëœ we get Ã°Ââ€˜Ëœ = Ã¢Ë†â€™ ln 85Ã¢Ë†â€™22
67 Ã¢â€°Ë† 0.0616. Now we solve for the time Ã°Ââ€˜Â¡ that gives us a temperature of
60 degrees. Namely, we solve
60 = 22 + 67Ã°Ââ€˜â€™ Ã¢Ë†â€™0.0616Ã°Ââ€˜Â¡
ln
60Ã¢Ë†â€™22
67
to get Ã°Ââ€˜Â¡ = Ã¢Ë†â€™ 0.0616
Ã¢â€°Ë† 9.21 minutes. So Bob can begin to drink the coffee at just over 9
minutes from the time Bob made it. That is probably about the amount of time it took us
to calculate how long it would take. See Figure 1.9.
0.0
2.5
5.0
7.5
10.0
90
80
12.5
90
0
20
40
60
80
80
80
60
60
40
40
80
70
70
60
60
20
0.0
2.5
5.0
7.5
10.0
12.5
20
0
20
40
60
80
Figure 1.9: Graphs of the coffee temperature function Ã°Ââ€˜â€¡(Ã°Ââ€˜Â¡). On the left, horizontal lines are drawn at
temperatures 60, 85, and 89. Vertical lines are drawn at Ã°Ââ€˜Â¡ = 1 and Ã°Ââ€˜Â¡ = 9.21. Notice that the temperature
of the coffee hits 85 at Ã°Ââ€˜Â¡ = 1, and 60 at Ã°Ââ€˜Â¡ Ã¢â€°Ë† 9.21. On the right, the graph is over a longer period of time,
with a horizontal line at the ambient temperature 22.
Ã¢Ë†â€™Ã°Ââ€˜Â¥ Ã°Ââ€˜Â¦ 2
Example 1.3.4: Find the general solution to Ã°Ââ€˜Â¦ 0 = 3 (including singular solutions).
First note that Ã°Ââ€˜Â¦ = 0 is a solution (a singular solution). Now assume that Ã°Ââ€˜Â¦ Ã¢â€°Â 0.
Ã¢Ë†â€™3 0
Ã°Ââ€˜Â¦ = Ã°Ââ€˜Â¥,
Ã°Ââ€˜Â¦2
3
Ã°Ââ€˜Â¥2
=
+ Ã°ÂÂÂ¶,
Ã°Ââ€˜Â¦
2
38
CHAPTER 1. FIRST ORDER EQUATIONS
Ã°Ââ€˜Â¦=
3
6
= 2
.
Ã°Ââ€˜Â¥ + 2Ã°ÂÂÂ¶
/2 + Ã°ÂÂÂ¶
Ã°Ââ€˜Â¥2
So the general solution is,
Ã°Ââ€˜Â¦=
1.3.4
Ã°Ââ€˜Â¥2
6
,
+ 2Ã°ÂÂÂ¶
Ã°Ââ€˜Â¦ = 0.
and
Exercises
Exercise 1.3.1: Solve Ã°Ââ€˜Â¦ 0 = Ã°Ââ€˜Â¥/Ã°Ââ€˜Â¦ .
Exercise 1.3.2: Solve Ã°Ââ€˜Â¦ 0 = Ã°Ââ€˜Â¥ 2 Ã°Ââ€˜Â¦.
Exercise 1.3.3: Solve
Ã°Ââ€˜â€˜Ã°Ââ€˜Â¥
= (Ã°Ââ€˜Â¥ 2 Ã¢Ë†â€™ 1) Ã°Ââ€˜Â¡, for Ã°Ââ€˜Â¥(0) = 0.
Ã°Ââ€˜â€˜Ã°Ââ€˜Â¡
Exercise 1.3.4: Solve
Ã°Ââ€˜â€˜Ã°Ââ€˜Â¥
= Ã°Ââ€˜Â¥ sin(Ã°Ââ€˜Â¡), for Ã°Ââ€˜Â¥(0) = 1.
Ã°Ââ€˜â€˜Ã°Ââ€˜Â¡
Exercise 1.3.5: Solve
Ã°Ââ€˜â€˜Ã°Ââ€˜Â¦
= Ã°Ââ€˜Â¥Ã°Ââ€˜Â¦ + Ã°Ââ€˜Â¥ + Ã°Ââ€˜Â¦ + 1. Hint: Factor the righthand side.
Ã°Ââ€˜â€˜Ã°Ââ€˜Â¥
Exercise 1.3.6: Solve Ã°Ââ€˜Â¥Ã°Ââ€˜Â¦ 0 = Ã°Ââ€˜Â¦ + 2Ã°Ââ€˜Â¥ 2 Ã°Ââ€˜Â¦, where Ã°Ââ€˜Â¦(1) = 1.
Exercise 1.3.7: Solve
Ã°Ââ€˜â€˜Ã°Ââ€˜Â¦
Ã°Ââ€˜Â¦2 + 1
, for Ã°Ââ€˜Â¦(0) = 1.
= 2
Ã°Ââ€˜â€˜Ã°Ââ€˜Â¥
Ã°Ââ€˜Â¥ +1
Exercise 1.3.8: Find an implicit solution for
Ã°Ââ€˜â€˜Ã°Ââ€˜Â¦
Ã°Ââ€˜Â¥2 + 1
= 2
, for Ã°Ââ€˜Â¦(0) = 1.
Ã°Ââ€˜â€˜Ã°Ââ€˜Â¥
Ã°Ââ€˜Â¦ +1
Exercise 1.3.9: Find an explicit solution for Ã°Ââ€˜Â¦ 0 = Ã°Ââ€˜Â¥Ã°Ââ€˜â€™ Ã¢Ë†â€™Ã°Ââ€˜Â¦ , Ã°Ââ€˜Â¦(0) = 1.
Exercise 1.3.10: Find an explicit solution for Ã°Ââ€˜Â¥Ã°Ââ€˜Â¦ 0 = Ã°Ââ€˜â€™ Ã¢Ë†â€™Ã°Ââ€˜Â¦ , for Ã°Ââ€˜Â¦(1) = 1.
2
Exercise 1.3.11: Find an explicit solution for Ã°Ââ€˜Â¦ 0 = Ã°Ââ€˜Â¦Ã°Ââ€˜â€™ Ã¢Ë†â€™Ã°Ââ€˜Â¥ , Ã°Ââ€˜Â¦(0) = 1. It is alright to leave a definite
integral in your answer.
Exercise 1.3.12: Suppose a cup of coffee is at 100 degrees Celsius at time Ã°Ââ€˜Â¡ = 0, it is at 70 degrees
at Ã°Ââ€˜Â¡ = 10 minutes, and it is at 50 degrees at Ã°Ââ€˜Â¡ = 20 minutes. Compute the ambient temperature.
Exercise 1.3.101: Solve Ã°Ââ€˜Â¦ 0 = 2Ã°Ââ€˜Â¥Ã°Ââ€˜Â¦.
Exercise 1.3.102: Solve Ã°Ââ€˜Â¥ 0 = 3Ã°Ââ€˜Â¥Ã°Ââ€˜Â¡ 2 Ã¢Ë†â€™ 3Ã°Ââ€˜Â¡ 2 , Ã°Ââ€˜Â¥(0) = 2.
Exercise 1.3.103: Find an implicit solution for Ã°Ââ€˜Â¥ 0 =
1
,
3Ã°Ââ€˜Â¥ 2 +1
Ã°Ââ€˜Â¥(0) = 1.
Exercise 1.3.104: Find an explicit solution to Ã°Ââ€˜Â¥Ã°Ââ€˜Â¦ 0 = Ã°Ââ€˜Â¦ 2 , Ã°Ââ€˜Â¦(1) = 1.
Exercise 1.3.105: Find an implicit solution to Ã°Ââ€˜Â¦ 0 =
sin(Ã°Ââ€˜Â¥)
.
cos(Ã°Ââ€˜Â¦)
39
1.3. SEPARABLE EQUATIONS
Exercise 1.3.106: Take Example 1.3.3 with the same numbers: 89 degrees at Ã°Ââ€˜Â¡ = 0, 85 degrees at
Ã°Ââ€˜Â¡ = 1, and ambient temperature of 22 degrees. Suppose these temperatures were measured with
precision of Ã‚Â±0.5 degrees. Given this imprecision, the time it takes the coffee to cool to (exactly) 60
degrees is also only known in a certain range. Find this range. Hint: Think about what kind of
error makes the cooling time longer and what shorter.
Exercise 1.3.107: A population Ã°Ââ€˜Â¥ of rabbits on an island is modeled by Ã°Ââ€˜Â¥ 0 = Ã°Ââ€˜Â¥ Ã¢Ë†â€™ 1/1000 Ã°Ââ€˜Â¥ 2 , where
the independent variable is time in months. At time Ã°Ââ€˜Â¡ = 0, there are 40 rabbits on the island.
a) Find the solution to the equation with the initial condition.
b) How many rabbits are on the island in 1 month, 5 months, 10 months, 15 months (round to
the nearest integer).
40
1.4
CHAPTER 1. FIRST ORDER EQUATIONS
Linear equations and the integrating factor
Note: 1 lecture, Ã‚Â§1.5 in [EP], Ã‚Â§2.1 in [BD]
One of the most important types of equations we will learn how to solve are the socalled
linear equations. In fact, the majority of the course is about linear equations. In this section
we focus on the first order linear equation. A first order equation is linear if we can put it into
the form:
Ã°Ââ€˜Â¦ 0 + Ã°Ââ€˜Â(Ã°Ââ€˜Â¥)Ã°Ââ€˜Â¦ = Ã°Ââ€˜â€œ (Ã°Ââ€˜Â¥).
(1.3)
The word Ã¢â‚¬Å“linearÃ¢â‚¬Â means linear in Ã°Ââ€˜Â¦ and Ã°Ââ€˜Â¦ 0; no higher powers nor functions of Ã°Ââ€˜Â¦ or Ã°Ââ€˜Â¦ 0
appear. The dependence on Ã°Ââ€˜Â¥ can be more complicated.
Solutions of linear equations have nice properties. For example, the solution exists
wherever Ã°Ââ€˜Â(Ã°Ââ€˜Â¥) and Ã°Ââ€˜â€œ (Ã°Ââ€˜Â¥) are defined, and has the same regularity (read: it is just as nice).
But most importantly for us right now, there is a method for solving linear first order
equations.
The trick is to rewrite the lefthand side of (1.3) as a derivative of a product of Ã°Ââ€˜Â¦ with
another function. To this end we find a function Ã°Ââ€˜Å¸(Ã°Ââ€˜Â¥) such that
Ã°Ââ€˜Å¸(Ã°Ââ€˜Â¥)Ã°Ââ€˜Â¦ 0 + Ã°Ââ€˜Å¸(Ã°Ââ€˜Â¥)Ã°Ââ€˜Â(Ã°Ââ€˜Â¥)Ã°Ââ€˜Â¦ =
i
Ã°Ââ€˜â€˜ h
Ã°Ââ€˜Å¸(Ã°Ââ€˜Â¥)Ã°Ââ€˜Â¦ .
Ã°Ââ€˜â€˜Ã°Ââ€˜Â¥
This is the lefthand side of (1.3) multiplied by Ã°Ââ€˜Å¸(Ã°Ââ€˜Â¥). So if we multiply (1.3) by Ã°Ââ€˜Å¸(Ã°Ââ€˜Â¥), we
obtain
i
Ã°Ââ€˜â€˜ h
Ã°Ââ€˜Å¸(Ã°Ââ€˜Â¥)Ã°Ââ€˜Â¦ = Ã°Ââ€˜Å¸(Ã°Ââ€˜Â¥) Ã°Ââ€˜â€œ (Ã°Ââ€˜Â¥).
Ã°Ââ€˜â€˜Ã°Ââ€˜Â¥
Now we integrate both sides. The righthand side does not depend on Ã°Ââ€˜Â¦ and the lefthand
side is written as a derivative of a function. Afterwards, we solve for Ã°Ââ€˜Â¦. The function Ã°Ââ€˜Å¸(Ã°Ââ€˜Â¥)
is called the integrating factor and the method is called the integrating factor method.
We are looking for a function Ã°Ââ€˜Å¸(Ã°Ââ€˜Â¥), such that if we differentiate it, we get the same
function back multiplied by Ã°Ââ€˜Â(Ã°Ââ€˜Â¥). That seems like a job for the exponential function! Let
Ã°Ââ€˜Å¸(Ã°Ââ€˜Â¥) = Ã°Ââ€˜â€™
Ã¢Ë†Â«
Ã°Ââ€˜Â(Ã°Ââ€˜Â¥) Ã°Ââ€˜â€˜Ã°Ââ€˜Â¥
.
We compute:
Ã°Ââ€˜Â¦ 0 + Ã°Ââ€˜Â(Ã°Ââ€˜Â¥)Ã°Ââ€˜Â¦ = Ã°Ââ€˜â€œ (Ã°Ââ€˜Â¥),
Ã°Ââ€˜â€™
Ã¢Ë†Â«
Ã°Ââ€˜Â(Ã°Ââ€˜Â¥) Ã°Ââ€˜â€˜Ã°Ââ€˜Â¥ 0
Ã¢Ë†Â«
Ã¢Ë†Â«
Ã°Ââ€˜Â¦ + Ã°Ââ€˜â€™ Ã°Ââ€˜Â(Ã°Ââ€˜Â¥) Ã°Ââ€˜â€˜Ã°Ââ€˜Â¥ Ã°Ââ€˜Â(Ã°Ââ€˜Â¥)Ã°Ââ€˜Â¦ = Ã°Ââ€˜â€™
Ã¢Ë†Â«
Ã°Ââ€˜â€˜ h Ã¢Ë†Â« Ã°Ââ€˜Â(Ã°Ââ€˜Â¥) Ã°Ââ€˜â€˜Ã°Ââ€˜Â¥ i
Ã°Ââ€˜â€™
Ã°Ââ€˜Â¦ =Ã°Ââ€˜â€™
Ã°Ââ€˜â€˜Ã°Ââ€˜Â¥
Ã¢Ë†Â«
Ã°Ââ€˜â€™
Ã¢Ë†Â«
Ã°Ââ€˜Â(Ã°Ââ€˜Â¥) Ã°Ââ€˜â€˜Ã°Ââ€˜Â¥
Ã°Ââ€˜Â¦=
Ã°Ââ€˜Â¦=Ã°Ââ€˜â€™
Ã¢Ë†â€™
Ã°Ââ€˜Â(Ã°Ââ€˜Â¥) Ã°Ââ€˜â€˜Ã°Ââ€˜Â¥
Ã°Ââ€˜â€œ (Ã°Ââ€˜Â¥),
Ã°Ââ€˜Â(Ã°Ââ€˜Â¥) Ã°Ââ€˜â€˜Ã°Ââ€˜Â¥
Ã°Ââ€˜â€œ (Ã°Ââ€˜Â¥),
Ã°Ââ€˜â€™
Ã¢Ë†Â«
Ã¢Ë†Â«
Ã°Ââ€˜Â(Ã°Ââ€˜Â¥) Ã°Ââ€˜â€˜Ã°Ââ€˜Â¥
Ã°Ââ€˜Â(Ã°Ââ€˜Â¥) Ã°Ââ€˜â€˜Ã°Ââ€˜Â¥
Ã°Ââ€˜â€œ (Ã°Ââ€˜Â¥) Ã°Ââ€˜â€˜Ã°Ââ€˜Â¥ + Ã°ÂÂÂ¶,
Ã¢Ë†Â«
Ã°Ââ€˜â€™
Ã¢Ë†Â«
Ã°Ââ€˜Â(Ã°Ââ€˜Â¥) Ã°Ââ€˜â€˜Ã°Ââ€˜Â¥
Ã°Ââ€˜â€œ (Ã°Ââ€˜Â¥) Ã°Ââ€˜â€˜Ã°Ââ€˜Â¥ + Ã°ÂÂÂ¶ .
41
1.4. LINEAR EQUATIONS AND THE INTEGRATING FACTOR
Of course, to get a closed form formula for Ã°Ââ€˜Â¦, we need to be able to find a closed form
formula for the integrals appearing above.
Example 1.4.1: Solve
Ã°Ââ€˜Â¦ 0 + 2Ã°Ââ€˜Â¥Ã°Ââ€˜Â¦ = Ã°Ââ€˜â€™ Ã°Ââ€˜Â¥Ã¢Ë†â€™Ã°Ââ€˜Â¥ ,
2
Ã°Ââ€˜Â¦(0) = Ã¢Ë†â€™1.
2
Ã°Ââ€˜â€™ Ã°Ââ€˜Â¥Ã¢Ë†â€™Ã°Ââ€˜Â¥ .
First note that Ã°Ââ€˜Â(Ã°Ââ€˜Â¥) = 2Ã°Ââ€˜Â¥ and Ã°Ââ€˜â€œ (Ã°Ââ€˜Â¥) =
The integrating factor is Ã°Ââ€˜Å¸(Ã°Ââ€˜Â¥) = Ã°Ââ€˜â€™
We multiply both sides of the equation by Ã°Ââ€˜Å¸(Ã°Ââ€˜Â¥) to get
Ã¢Ë†Â«
Ã°Ââ€˜Â(Ã°Ââ€˜Â¥) Ã°Ââ€˜â€˜Ã°Ââ€˜Â¥
= Ã°Ââ€˜â€™Ã°Ââ€˜Â¥ .
2
Ã°Ââ€˜â€™ Ã°Ââ€˜Â¥ Ã°Ââ€˜Â¦ 0 + 2Ã°Ââ€˜Â¥Ã°Ââ€˜â€™ Ã°Ââ€˜Â¥ Ã°Ââ€˜Â¦ = Ã°Ââ€˜â€™ Ã°Ââ€˜Â¥Ã¢Ë†â€™Ã°Ââ€˜Â¥ Ã°Ââ€˜â€™ Ã°Ââ€˜Â¥ ,
Ã°Ââ€˜â€˜ h Ã°Ââ€˜Â¥2 i
Ã°Ââ€˜â€™ Ã°Ââ€˜Â¦ = Ã°Ââ€˜â€™Ã°Ââ€˜Â¥.
Ã°Ââ€˜â€˜Ã°Ââ€˜Â¥
2
2
2
2
We integrate
Ã°Ââ€˜â€™ Ã°Ââ€˜Â¥ Ã°Ââ€˜Â¦ = Ã°Ââ€˜â€™ Ã°Ââ€˜Â¥ + Ã°ÂÂÂ¶,
2
Ã°Ââ€˜Â¦ = Ã°Ââ€˜â€™ Ã°Ââ€˜Â¥Ã¢Ë†â€™Ã°Ââ€˜Â¥ + Ã°ÂÂÂ¶Ã°Ââ€˜â€™ Ã¢Ë†â€™Ã°Ââ€˜Â¥ .
2
2
Next, we solve for the initial condition Ã¢Ë†â€™1 = Ã°Ââ€˜Â¦(0) = 1 + Ã°ÂÂÂ¶, so Ã°ÂÂÂ¶ = Ã¢Ë†â€™2. The solution is
Ã°Ââ€˜Â¦ = Ã°Ââ€˜â€™ Ã°Ââ€˜Â¥Ã¢Ë†â€™Ã°Ââ€˜Â¥ Ã¢Ë†â€™ 2Ã°Ââ€˜â€™ Ã¢Ë†â€™Ã°Ââ€˜Â¥ .
2
2
Ã¢Ë†Â«
Note that we do not care which antiderivative we take when computing Ã°Ââ€˜â€™ Ã°Ââ€˜Â(Ã°Ââ€˜Â¥)Ã°Ââ€˜â€˜Ã°Ââ€˜Â¥ . You
can always add a constant of integration, but those constants will not matter in the end.
Exercise 1.4.1: Try it! Add a constant of integration to the integral in the integrating factor and
show that the solution you get in the end is the same as what we got above.
Advice: Do not try to remember the formula itself, that is way too hard. It is easier to
remember the process and repeat it.
Since we cannot always evaluate the integrals in closed form, it is useful to know how
to write the solution in definite integral form. A definite integral is something that you can
plug into a computer or a calculator. Suppose we are given
Ã°Ââ€˜Â¦ 0 + Ã°Ââ€˜Â(Ã°Ââ€˜Â¥)Ã°Ââ€˜Â¦ = Ã°Ââ€˜â€œ (Ã°Ââ€˜Â¥),
Ã°Ââ€˜Â¦(Ã°Ââ€˜Â¥ 0 ) = Ã°Ââ€˜Â¦0 .
Look at the solution and write the integrals as definite integrals.
Ã°Ââ€˜Â¦(Ã°Ââ€˜Â¥) = Ã°Ââ€˜â€™
Ã¢Ë†â€™
Ã¢Ë†Â«Ã°Ââ€˜Â¥
Ã°Ââ€˜Â¥0
Ã°Ââ€˜Â(Ã°Ââ€˜Â ) Ã°Ââ€˜â€˜Ã°Ââ€˜Â
Ã¢Ë†Â«
Ã°Ââ€˜Â¥
Ã°Ââ€˜â€™
Ã¢Ë†Â«Ã°Ââ€˜Â¡
Ã°Ââ€˜Â¥0
Ã°Ââ€˜Â(Ã°Ââ€˜Â ) Ã°Ââ€˜â€˜Ã°Ââ€˜Â
Ã°Ââ€˜Â¥0
Ã°Ââ€˜â€œ (Ã°Ââ€˜Â¡) Ã°Ââ€˜â€˜Ã°Ââ€˜Â¡ + Ã°Ââ€˜Â¦0 .
(1.4)
You should be careful to properly use dummy variables here. If you now plug such a
formula into a computer or a calculator, it will be happy to give you numerical answers.
Exercise 1.4.2: Check that Ã°Ââ€˜Â¦(Ã°Ââ€˜Â¥0 ) = Ã°Ââ€˜Â¦0 in formula (1.4).
42
CHAPTER 1. FIRST ORDER EQUATIONS
Exercise 1.4.3: Write the solution of the following problem as a definite integral, but try to simplify
as far as you can. You will not be able to find the solution in closed form.
Ã°Ââ€˜Â¦0 + Ã°Ââ€˜Â¦ = Ã°Ââ€˜â€™ Ã°Ââ€˜Â¥
2 Ã¢Ë†â€™Ã°Ââ€˜Â¥
,
Ã°Ââ€˜Â¦(0) = 10.
Remark 1.4.1: Before we move on, we should note some interesting properties of linear
equations. First, for the linear initial value problem Ã°Ââ€˜Â¦ 0 + Ã°Ââ€˜Â(Ã°Ââ€˜Â¥)Ã°Ââ€˜Â¦ = Ã°Ââ€˜â€œ (Ã°Ââ€˜Â¥), Ã°Ââ€˜Â¦(Ã°Ââ€˜Â¥ 0 ) = Ã°Ââ€˜Â¦0 , there is
always an explicit formula (1.4) for the solution. Second, it follows from the formula (1.4)
that if Ã°Ââ€˜Â(Ã°Ââ€˜Â¥) and Ã°Ââ€˜â€œ (Ã°Ââ€˜Â¥) are continuous on some interval (Ã°Ââ€˜Å½, Ã°Ââ€˜Â), then the solution Ã°Ââ€˜Â¦(Ã°Ââ€˜Â¥) exists
and is differentiable on (Ã°Ââ€˜Å½, Ã°Ââ€˜Â). Compare with the simple nonlinear example we have seen
previously, Ã°Ââ€˜Â¦ 0 = Ã°Ââ€˜Â¦ 2 , and compare to Theorem 1.2.1.
Example 1.4.2: Let us discuss a common simple application of linear equations. This type
of problem is used often in real life. For example, linear equations are used in figuring out
the concentration of chemicals in bodies of water (rivers and lakes).
A 100 liter tank contains 10 kilograms of salt dissolved in 60
5 L/min, 0.1 kg/L
liters of water. Solution of water and salt (brine) with concentration
of 0.1 kilograms per liter is flowing in at the rate of 5 liters a minute.
The solution in the tank is well stirred and flows out at a rate of 3
liters a minute. How much salt is in the tank when the tank is full?
Let us come up with the equation. Let Ã°Ââ€˜Â¥ denote the kilograms
60 L
of salt in the tank, let Ã°Ââ€˜Â¡ denote the time in minutes. For a small
10 kg salt
change ÃŽâ€Ã°Ââ€˜Â¡ in time, the change in Ã°Ââ€˜Â¥ (denoted ÃŽâ€Ã°Ââ€˜Â¥) is approximately
3 L/min
ÃŽâ€Ã°Ââ€˜Â¥ Ã¢â€°Ë† (rate in Ãƒâ€” concentration in)ÃŽâ€Ã°Ââ€˜Â¡ Ã¢Ë†â€™ (rate out Ãƒâ€” concentration out)ÃŽâ€Ã°Ââ€˜Â¡.
Dividing through by ÃŽâ€Ã°Ââ€˜Â¡ and taking the limit ÃŽâ€Ã°Ââ€˜Â¡ Ã¢â€ â€™ 0 we see that
Ã°Ââ€˜â€˜Ã°Ââ€˜Â¥
= (rate in Ãƒâ€” concentration in) Ã¢Ë†â€™ (rate out Ãƒâ€” concentration out).
Ã°Ââ€˜â€˜Ã°Ââ€˜Â¡
In our example, we have
rate in = 5,
concentration in = 0.1,
rate out = 3,
concentration out =
Ã°Ââ€˜Â¥
Ã°Ââ€˜Â¥
=
.
volume 60 + (5 Ã¢Ë†â€™ 3)Ã°Ââ€˜Â¡
Our equation is, therefore,
Ã°Ââ€˜Â¥
Ã°Ââ€˜â€˜Ã°Ââ€˜Â¥
= (5 Ãƒâ€” 0.1) Ã¢Ë†â€™ 3
.
Ã°Ââ€˜â€˜Ã°Ââ€˜Â¡
60 + 2Ã°Ââ€˜Â¡
Or in the form (1.3)
Ã°Ââ€˜â€˜Ã°Ââ€˜Â¥
3
+
Ã°Ââ€˜Â¥ = 0.5.
Ã°Ââ€˜â€˜Ã°Ââ€˜Â¡ 60 + 2Ã°Ââ€˜Â¡
43
1.4. LINEAR EQUATIONS AND THE INTEGRATING FACTOR
Let us solve. The integrating factor is
Ã°Ââ€˜Å¸(Ã°Ââ€˜Â¡) = exp
Ã¢Ë†Â«
3
3
Ã°Ââ€˜â€˜Ã°Ââ€˜Â¡ = exp
ln(60 + 2Ã°Ââ€˜Â¡) = (60 + 2Ã°Ââ€˜Â¡)3/2 .
60 + 2Ã°Ââ€˜Â¡
2
We multiply both sides of the equation to get
(60 + 2Ã°Ââ€˜Â¡)3/2
3
Ã°Ââ€˜â€˜Ã°Ââ€˜Â¥
+ (60 + 2Ã°Ââ€˜Â¡)3/2
Ã°Ââ€˜Â¥ = 0.5(60 + 2Ã°Ââ€˜Â¡)3/2 ,
Ã°Ââ€˜â€˜Ã°Ââ€˜Â¡
60 + 2Ã°Ââ€˜Â¡
i
Ã°Ââ€˜â€˜ h
(60 + 2Ã°Ââ€˜Â¡)3/2 Ã°Ââ€˜Â¥ = 0.5(60 + 2Ã°Ââ€˜Â¡)3/2 ,
Ã°Ââ€˜â€˜Ã°Ââ€˜Â¡
Ã¢Ë†Â«
(60 + 2Ã°Ââ€˜Â¡)3/2 Ã°Ââ€˜Â¥ =
0.5(60 + 2Ã°Ââ€˜Â¡)3/2 Ã°Ââ€˜â€˜Ã°Ââ€˜Â¡ + Ã°ÂÂÂ¶,
Ã¢Ë†â€™3/2
Ã°Ââ€˜Â¥ = (60 + 2Ã°Ââ€˜Â¡)
Ã°Ââ€˜Â¥ = (60 + 2Ã°Ââ€˜Â¡)Ã¢Ë†â€™3/2
Ã°Ââ€˜Â¥=
(60 + 2Ã°Ââ€˜Â¡)3/2
Ã°Ââ€˜â€˜Ã°Ââ€˜Â¡ + Ã°ÂÂÂ¶(60 + 2Ã°Ââ€˜Â¡)Ã¢Ë†â€™3/2 ,
2
1
(60 + 2Ã°Ââ€˜Â¡)5/2 + Ã°ÂÂÂ¶(60 + 2Ã°Ââ€˜Â¡)Ã¢Ë†â€™3/2 ,
10
60 + 2Ã°Ââ€˜Â¡
+ Ã°ÂÂÂ¶(60 + 2Ã°Ââ€˜Â¡)Ã¢Ë†â€™3/2 .
10
We need to find Ã°ÂÂÂ¶. We know that at
Ã°Ââ€˜Â¡ = 0, Ã°Ââ€˜Â¥ = 10. So
10 = Ã°Ââ€˜Â¥(0) =
Ã¢Ë†Â«
60
+ Ã°ÂÂÂ¶(60)Ã¢Ë†â€™3/2 = 6 + Ã°ÂÂÂ¶(60)Ã¢Ë†â€™3/2 ,
10
or
Ã°ÂÂÂ¶ = 4(603/2 ) Ã¢â€°Ë† 1859.03.
We are interested in Ã°Ââ€˜Â¥ when the tank is
full. The tank is full when 60 + 2Ã°Ââ€˜Â¡ = 100, or
when Ã°Ââ€˜Â¡ = 20. So
0
5
10
15
20
11.5
11.5
11.0
11.0
10.5
10.5
10.0
60 + 40
Ã°Ââ€˜Â¥(20) =
+ Ã°ÂÂÂ¶(60 + 40)Ã¢Ë†â€™3/2
10
Ã¢â€°Ë† 10 + 1859.03(100)Ã¢Ë†â€™3/2 Ã¢â€°Ë† 11.86.
10.0
0
5
10
15
20
Figure 1.10: Graph of the solution Ã°Ââ€˜Â¥ kilograms of
salt in the tank at time Ã°Ââ€˜Â¡.
See Figure 1.10 for the graph of Ã°Ââ€˜Â¥ over Ã°Ââ€˜Â¡.
The concentration when the tank is full is approximately 0.1186 kg/liter, and we started
with 1/6 or 0.167 kg/liter.
1.4.1
Exercises
In the exercises, feel free to leave answer as a definite integral if a closed form solution
cannot be found. If you can find a closed form solution, you should give that.
Exercise 1.4.4: Solve Ã°Ââ€˜Â¦ 0 + Ã°Ââ€˜Â¥Ã°Ââ€˜Â¦ = Ã°Ââ€˜Â¥.
44
CHAPTER 1. FIRST ORDER EQUATIONS
Exercise 1.4.5: Solve Ã°Ââ€˜Â¦ 0 + 6Ã°Ââ€˜Â¦ = Ã°Ââ€˜â€™ Ã°Ââ€˜Â¥ .
3
Exercise 1.4.6: Solve Ã°Ââ€˜Â¦ 0 + 3Ã°Ââ€˜Â¥ 2 Ã°Ââ€˜Â¦ = sin(Ã°Ââ€˜Â¥) Ã°Ââ€˜â€™ Ã¢Ë†â€™Ã°Ââ€˜Â¥ , with Ã°Ââ€˜Â¦(0) = 1.
Exercise 1.4.7: Solve Ã°Ââ€˜Â¦ 0 + cos(Ã°Ââ€˜Â¥)Ã°Ââ€˜Â¦ = cos(Ã°Ââ€˜Â¥).
Exercise 1.4.8: Solve
1
Ã°Ââ€˜Â¥ 2 +1
Ã°Ââ€˜Â¦ 0 + Ã°Ââ€˜Â¥Ã°Ââ€˜Â¦ = 3, with Ã°Ââ€˜Â¦(0) = 0.
Exercise 1.4.9: Suppose there are two lakes located on a stream. Clean water flows into the first
lake, then the water from the first lake flows into the second lake, and then water from the second
lake flows further downstream. The in and out flow from each lake is 500 liters per hour. The first
lake contains 100 thousand liters of water and the second lake contains 200 thousand liters of water.
A truck with 500 kg of toxic substance crashes into the first lake. Assume that the water is being
continually mixed perfectly by the stream.
a) Find the concentration of toxic substance as a function of time in both lakes.
b) When will the concentration in the first lake be below 0.001 kg per liter?
c) When will the concentration in the second lake be maximal?
Exercise 1.4.10: NewtonÃ¢â‚¬â„¢s law of cooling states that Ã°Ââ€˜â€˜Ã°Ââ€˜Â¥
Ã°Ââ€˜â€˜Ã°Ââ€˜Â¡ = Ã¢Ë†â€™Ã°Ââ€˜Ëœ(Ã°Ââ€˜Â¥ Ã¢Ë†â€™ Ã°ÂÂÂ´) where Ã°Ââ€˜Â¥ is the temperature, Ã°Ââ€˜Â¡
is time, Ã°ÂÂÂ´ is the ambient temperature, and Ã°Ââ€˜Ëœ > 0 is a constant. Suppose that Ã°ÂÂÂ´ = Ã°ÂÂÂ´0 cos(Ã°ÂÅ“â€Ã°Ââ€˜Â¡) for
some constants Ã°ÂÂÂ´0 and Ã°ÂÅ“â€. That is, the ambient temperature oscillates (for example night and day
temperatures).
a) Find the general solution.
b) In the long term, will the initial conditions make much of a difference? Why or why not?
Exercise 1.4.11: Initially 5 grams of salt are dissolved in 20 liters of water. Brine with concentration
of salt 2 grams of salt per liter is added at a rate of 3 liters a minute. The tank is mixed well and is
drained at 3 liters a minute. How long does the process have to continue until there are 20 grams of
salt in the tank?
Exercise 1.4.12: Initially a tank contains 10 liters of pure water. Brine of unknown (but constant)
concentration of salt is flowing in at 1 liter per minute. The water is mixed well and drained at 1
liter per minute. In 20 minutes there are 15 grams of salt in the tank. What is the concentration of
salt in the incoming brine?
Exercise 1.4.101: Solve Ã°Ââ€˜Â¦ 0 + 3Ã°Ââ€˜Â¥ 2 Ã°Ââ€˜Â¦ = Ã°Ââ€˜Â¥ 2 .
Exercise 1.4.102: Solve Ã°Ââ€˜Â¦ 0 + 2 sin(2Ã°Ââ€˜Â¥)Ã°Ââ€˜Â¦ = 2 sin(2Ã°Ââ€˜Â¥), Ã°Ââ€˜Â¦(Ã°ÂÅ“â€¹/2) = 3.
Exercise 1.4.103: Suppose a water tank is being pumped out at 3 L/min. The water tank starts at
10 L of clean water. Water with toxic substance is flowing into the tank at 2 L/min, with concentration
20Ã°Ââ€˜Â¡ g/L at time Ã°Ââ€˜Â¡. When the tank is half empty, how many grams of toxic substance are in the tank
(assuming perfect mixing)?
1.4. LINEAR EQUATIONS AND THE INTEGRATING FACTOR
45
Exercise 1.4.104: Suppose we have bacteria on a plate and suppose that we are slowly adding a toxic
substance such that the rate of growth is slowing down. That is, suppose that Ã°Ââ€˜â€˜Ã°Ââ€˜Æ’
Ã°Ââ€˜â€˜Ã°Ââ€˜Â¡ = (2 Ã¢Ë†â€™ 0.1 Ã°Ââ€˜Â¡)Ã°Ââ€˜Æ’. If
Ã°Ââ€˜Æ’(0) = 1000, find the population at Ã°Ââ€˜Â¡ = 5.
Exercise 1.4.105: A cylindrical water tank has water flowing in at Ã°ÂÂÂ¼ cubic meters per second. Let
Ã°ÂÂÂ´ be the area of the cross section of the tank in meters. Suppose water is flowing from the bottom of
the tank at a rate proportional to the height of the water level. Set up the differential equation for Ã¢â€žÅ½,
the height of the water, introducing and naming constants that you need. You should also give the
units for your constants.
46
1.5
CHAPTER 1. FIRST ORDER EQUATIONS
Substitution
Note: 1 lecture, can safely be skipped, Ã‚Â§1.6 in [EP], not in [BD]
Just as when solving integrals, one method to try is to change variables to end up with
a simpler equation to solve.
1.5.1
Substitution
The equation
Ã°Ââ€˜Â¦ 0 = (Ã°Ââ€˜Â¥ Ã¢Ë†â€™ Ã°Ââ€˜Â¦ + 1)2
is neither separable nor linear. What can we do? How about trying to change variables, so
that in the new variables the equation is simpler. We use another variable Ã°Ââ€˜Â£, which we
treat as a function of Ã°Ââ€˜Â¥. Let us try
Ã°Ââ€˜Â£ = Ã°Ââ€˜Â¥ Ã¢Ë†â€™ Ã°Ââ€˜Â¦ + 1.
We need to figure out Ã°Ââ€˜Â¦ 0 in terms of Ã°Ââ€˜Â£ 0, Ã°Ââ€˜Â£ and Ã°Ââ€˜Â¥. We differentiate (in Ã°Ââ€˜Â¥) to obtain Ã°Ââ€˜Â£ 0 = 1 Ã¢Ë†â€™ Ã°Ââ€˜Â¦ 0.
So Ã°Ââ€˜Â¦ 0 = 1 Ã¢Ë†â€™ Ã°Ââ€˜Â£ 0. We plug this into the equation to get
1 Ã¢Ë†â€™ Ã°Ââ€˜Â£0 = Ã°Ââ€˜Â£ 2 .
In other words, Ã°Ââ€˜Â£ 0 = 1 Ã¢Ë†â€™ Ã°Ââ€˜Â£ 2 . Such an equation we know how to solve by separating variables:
1
Ã°Ââ€˜â€˜Ã°Ââ€˜Â£ = Ã°Ââ€˜â€˜Ã°Ââ€˜Â¥.
1 Ã¢Ë†â€™ Ã°Ââ€˜Â£2
So
1
Ã°Ââ€˜Â£+1
ln
= Ã°Ââ€˜Â¥ + Ã°ÂÂÂ¶,
2
Ã°Ââ€˜Â£Ã¢Ë†â€™1
or
Ã°Ââ€˜Â£+1
= Ã°Ââ€˜â€™ 2Ã°Ââ€˜Â¥+2Ã°ÂÂÂ¶ ,
Ã°Ââ€˜Â£Ã¢Ë†â€™1
or
Ã°Ââ€˜Â£+1
= Ã°ÂÂÂ·Ã°Ââ€˜â€™ 2Ã°Ââ€˜Â¥ ,
Ã°Ââ€˜Â£Ã¢Ë†â€™1
for some constant Ã°ÂÂÂ·. Note that Ã°Ââ€˜Â£ = 1 and Ã°Ââ€˜Â£ = Ã¢Ë†â€™1 are also solutions.
Now we need to Ã¢â‚¬Å“unsubstituteÃ¢â‚¬Â to obtain
Ã°Ââ€˜Â¥Ã¢Ë†â€™Ã°Ââ€˜Â¦+2
= Ã°ÂÂÂ·Ã°Ââ€˜â€™ 2Ã°Ââ€˜Â¥ ,
Ã°Ââ€˜Â¥Ã¢Ë†â€™Ã°Ââ€˜Â¦
and also the two solutions Ã°Ââ€˜Â¥ Ã¢Ë†â€™ Ã°Ââ€˜Â¦ + 1 = 1 or Ã°Ââ€˜Â¦ = Ã°Ââ€˜Â¥, and Ã°Ââ€˜Â¥ Ã¢Ë†â€™ Ã°Ââ€˜Â¦ + 1 = Ã¢Ë†â€™1 or Ã°Ââ€˜Â¦ = Ã°Ââ€˜Â¥ + 2. We solve
the first equation for Ã°Ââ€˜Â¦.
Ã°Ââ€˜Â¥ Ã¢Ë†â€™ Ã°Ââ€˜Â¦ + 2 = (Ã°Ââ€˜Â¥ Ã¢Ë†â€™ Ã°Ââ€˜Â¦)Ã°ÂÂÂ·Ã°Ââ€˜â€™ 2Ã°Ââ€˜Â¥ ,
Ã°Ââ€˜Â¥ Ã¢Ë†â€™ Ã°Ââ€˜Â¦ + 2 = Ã°ÂÂÂ·Ã°Ââ€˜Â¥Ã°Ââ€˜â€™ 2Ã°Ââ€˜Â¥ Ã¢Ë†â€™ Ã°Ââ€˜Â¦Ã°ÂÂÂ·Ã°Ââ€˜â€™ 2Ã°Ââ€˜Â¥ ,
Ã¢Ë†â€™Ã°Ââ€˜Â¦ + Ã°Ââ€˜Â¦Ã°ÂÂÂ·Ã°Ââ€˜â€™ 2Ã°Ââ€˜Â¥ = Ã°ÂÂÂ·Ã°Ââ€˜Â¥Ã°Ââ€˜â€™ 2Ã°Ââ€˜Â¥ Ã¢Ë†â€™ Ã°Ââ€˜Â¥ Ã¢Ë†â€™ 2,
Ã°Ââ€˜Â¦ (Ã¢Ë†â€™1 + Ã°ÂÂÂ·Ã°Ââ€˜â€™ 2Ã°Ââ€˜Â¥ ) = Ã°ÂÂÂ·Ã°Ââ€˜Â¥Ã°Ââ€˜â€™ 2Ã°Ââ€˜Â¥ Ã¢Ë†â€™ Ã°Ââ€˜Â¥ Ã¢Ë†â€™ 2,
Ã°Ââ€˜Â¦=
Ã°ÂÂÂ·Ã°Ââ€˜Â¥Ã°Ââ€˜â€™ 2Ã°Ââ€˜Â¥ Ã¢Ë†â€™ Ã°Ââ€˜Â¥ Ã¢Ë†â€™ 2
.
Ã°ÂÂÂ·Ã°Ââ€˜â€™ 2Ã°Ââ€˜Â¥ Ã¢Ë†â€™ 1
47
1.5. SUBSTITUTION
Note that Ã°ÂÂÂ· = 0 gives Ã°Ââ€˜Â¦ = Ã°Ââ€˜Â¥ + 2, but no value of Ã°ÂÂÂ· gives the solution Ã°Ââ€˜Â¦ = Ã°Ââ€˜Â¥.
Substitution in differential equations is applied in much the same way that it is applied
in calculus. You guess. Several different substitutions might work. There are some general
patterns to look for. We summarize a few of these in a table.
When you see
Try substituting
Ã°Ââ€˜Â¦Ã°Ââ€˜Â¦ 0
Ã°Ââ€˜Â¦ 2 Ã°Ââ€˜Â¦0
(cos Ã°Ââ€˜Â¦)Ã°Ââ€˜Â¦ 0
(sin Ã°Ââ€˜Â¦)Ã°Ââ€˜Â¦ 0
Ã°Ââ€˜Â¦0 Ã°Ââ€˜â€™ Ã°Ââ€˜Â¦
Ã°Ââ€˜Â£
Ã°Ââ€˜Â£
Ã°Ââ€˜Â£
Ã°Ââ€˜Â£
Ã°Ââ€˜Â£
= Ã°Ââ€˜Â¦2
= Ã°Ââ€˜Â¦3
= sin Ã°Ââ€˜Â¦
= cos Ã°Ââ€˜Â¦
= Ã°Ââ€˜â€™Ã°Ââ€˜Â¦
Usually you try to substitute in the Ã¢â‚¬Å“most complicatedÃ¢â‚¬Â part of the equation with the
hopes of simplifying it. The table above is just a rule of thumb. You might have to modify
your guesses. If a substitution does not work (it does not make the equation any simpler),
try a different one.
1.5.2
Bernoulli equations
There are some forms of equations where there is a general rule for substitution that always
works. One such example is the socalled Bernoulli equationÃ¢Ë†â€” :
Ã°Ââ€˜Â¦ 0 + Ã°Ââ€˜Â(Ã°Ââ€˜Â¥)Ã°Ââ€˜Â¦ = Ã°Ââ€˜Å¾(Ã°Ââ€˜Â¥)Ã°Ââ€˜Â¦ Ã°Ââ€˜â€º .
This equation looks a lot like a linear equation except for the Ã°Ââ€˜Â¦ Ã°Ââ€˜â€º . If Ã°Ââ€˜â€º = 0 or Ã°Ââ€˜â€º = 1, then the
equation is linear and we can solve it. Otherwise, the substitution Ã°Ââ€˜Â£ = Ã°Ââ€˜Â¦ 1Ã¢Ë†â€™Ã°Ââ€˜â€º transforms the
Bernoulli equation into a linear equation. Note that Ã°Ââ€˜â€º need not be an integer.
Example 1.5.1: Solve
Ã°Ââ€˜Â¥Ã°Ââ€˜Â¦ 0 + Ã°Ââ€˜Â¦(Ã°Ââ€˜Â¥ + 1) + Ã°Ââ€˜Â¥Ã°Ââ€˜Â¦ 5 = 0,
Ã°Ââ€˜Â¦(1) = 1.
First, the equation is Bernoulli (Ã°Ââ€˜Â(Ã°Ââ€˜Â¥) = (Ã°Ââ€˜Â¥ + 1)/Ã°Ââ€˜Â¥ and Ã°Ââ€˜Å¾(Ã°Ââ€˜Â¥) = Ã¢Ë†â€™1). We substitute
Ã°Ââ€˜Â£ = Ã°Ââ€˜Â¦ 1Ã¢Ë†â€™5 = Ã°Ââ€˜Â¦ Ã¢Ë†â€™4 ,
Ã°Ââ€˜Â£ 0 = Ã¢Ë†â€™4Ã°Ââ€˜Â¦ Ã¢Ë†â€™5 Ã°Ââ€˜Â¦ 0 .
In other words, (Ã¢Ë†â€™1/4) Ã°Ââ€˜Â¦ 5 Ã°Ââ€˜Â£ 0 = Ã°Ââ€˜Â¦ 0. So
Ã°Ââ€˜Â¥Ã°Ââ€˜Â¦ 0 + Ã°Ââ€˜Â¦(Ã°Ââ€˜Â¥ + 1) + Ã°Ââ€˜Â¥Ã°Ââ€˜Â¦ 5 = 0,
Ã¢Ë†â€™Ã°Ââ€˜Â¥Ã°Ââ€˜Â¦ 5 0
Ã°Ââ€˜Â£ + Ã°Ââ€˜Â¦(Ã°Ââ€˜Â¥ + 1) + Ã°Ââ€˜Â¥Ã°Ââ€˜Â¦ 5 = 0,
4
Ã¢Ë†â€” There
are several things called Bernoulli equations, this is just one of them. The Bernoullis were a
prominent Swiss family of mathematicians. These particular equations are named for Jacob Bernoulli
(1654Ã¢â‚¬â€œ1705).
48
CHAPTER 1. FIRST ORDER EQUATIONS
Ã¢Ë†â€™Ã°Ââ€˜Â¥ 0
Ã°Ââ€˜Â£ + Ã°Ââ€˜Â¦ Ã¢Ë†â€™4 (Ã°Ââ€˜Â¥ + 1) + Ã°Ââ€˜Â¥ = 0,
4
Ã¢Ë†â€™Ã°Ââ€˜Â¥ 0
Ã°Ââ€˜Â£ + Ã°Ââ€˜Â£(Ã°Ââ€˜Â¥ + 1) + Ã°Ââ€˜Â¥ = 0,
4
and finally
4(Ã°Ââ€˜Â¥ + 1)
Ã°Ââ€˜Â£ = 4.
Ã°Ââ€˜Â¥
The equation is now linear. We can use the integrating factor method. In particular, we use
formula (1.4). Let us assume that Ã°Ââ€˜Â¥ > 0 so Ã°Ââ€˜Â¥ = Ã°Ââ€˜Â¥. This assumption is OK, as our initial
condition is Ã°Ââ€˜Â¥ = 1. Let us compute the integrating factor. Here Ã°Ââ€˜Â(Ã°Ââ€˜Â ) from formula (1.4) is
Ã¢Ë†â€™4(Ã°Ââ€˜Â +1)
.
Ã°Ââ€˜Â
Ã°Ââ€˜Â£0 Ã¢Ë†â€™
Ã°Ââ€˜â€™
Ã°Ââ€˜â€™Ã¢Ë†â€™
Ã¢Ë†Â«Ã°Ââ€˜Â¥
1
Ã¢Ë†Â«Ã°Ââ€˜Â¥
1
Ã°Ââ€˜Â(Ã°Ââ€˜Â ) Ã°Ââ€˜â€˜Ã°Ââ€˜Â
Ã°Ââ€˜Â¥
Ã¢Ë†Â«
= exp
1
Ã°Ââ€˜Â(Ã°Ââ€˜Â ) Ã°Ââ€˜â€˜Ã°Ââ€˜Â
Ã¢Ë†â€™4(Ã°Ââ€˜Â + 1)
Ã°Ââ€˜â€™ Ã¢Ë†â€™4Ã°Ââ€˜Â¥+4
Ã¢Ë†â€™4Ã°Ââ€˜Â¥Ã¢Ë†â€™4 ln(Ã°Ââ€˜Â¥)+4
Ã¢Ë†â€™4Ã°Ââ€˜Â¥+4 Ã¢Ë†â€™4
Ã°Ââ€˜â€˜Ã°Ââ€˜Â = Ã°Ââ€˜â€™
=Ã°Ââ€˜â€™
Ã°Ââ€˜Â¥ =
,
Ã°Ââ€˜Â
Ã°Ââ€˜Â¥4
= Ã°Ââ€˜â€™ 4Ã°Ââ€˜Â¥+4 ln(Ã°Ââ€˜Â¥)Ã¢Ë†â€™4 = Ã°Ââ€˜â€™ 4Ã°Ââ€˜Â¥Ã¢Ë†â€™4 Ã°Ââ€˜Â¥ 4 .
We now plug in to (1.4)
Ã°Ââ€˜Â£(Ã°Ââ€˜Â¥) = Ã°Ââ€˜â€™
=Ã°Ââ€˜â€™
Ã¢Ë†â€™
Ã¢Ë†Â«Ã°Ââ€˜Â¥
1
Ã°Ââ€˜Â¥
4Ã°Ââ€˜Â¥Ã¢Ë†â€™4 4
Ã°Ââ€˜Â¥
Ã¢Ë†Â«
Ã°Ââ€˜Â(Ã°Ââ€˜Â ) Ã°Ââ€˜â€˜Ã°Ââ€˜Â
Ã¢Ë†Â«
1
Ã°Ââ€˜Â¥
Ã°Ââ€˜â€™
Ã¢Ë†Â«Ã°Ââ€˜Â¡
1
Ã°Ââ€˜Â(Ã°Ââ€˜Â ) Ã°Ââ€˜â€˜Ã°Ââ€˜Â
4 Ã°Ââ€˜â€˜Ã°Ââ€˜Â¡ + 1
1
Ã°Ââ€˜â€™ Ã¢Ë†â€™4Ã°Ââ€˜Â¡+4
4 4 Ã°Ââ€˜â€˜Ã°Ââ€˜Â¡ + 1 .
Ã°Ââ€˜Â¡
The integral in this expression is not possible to find in closed form. As we said before, it is
perfectly fine to have a definite integral in our solution. Now Ã¢â‚¬Å“unsubstituteÃ¢â‚¬Â
Ã°Ââ€˜Â¥
Ã¢Ë†Â«
Ã°Ââ€˜Â¦ Ã¢Ë†â€™4 = Ã°Ââ€˜â€™ 4Ã°Ââ€˜Â¥Ã¢Ë†â€™4 Ã°Ââ€˜Â¥ 4 4
1
Ã°Ââ€˜Â¦=
Ã°Ââ€˜â€™ Ã¢Ë†â€™Ã°Ââ€˜Â¥+1
Ã¢Ë†Â«Ã°Ââ€˜Â¥
Ã°Ââ€˜Â¥ 4
1.5.3
Ã°Ââ€˜â€™ Ã¢Ë†â€™4Ã°Ââ€˜Â¡+4
Ã°Ââ€˜â€˜Ã°Ââ€˜Â¡ + 1 ,
Ã°Ââ€˜Â¡4
Ã°Ââ€˜â€™ Ã¢Ë†â€™4Ã°Ââ€˜Â¡+4
Ã°Ââ€˜Â¡4
1
Ã°Ââ€˜â€˜Ã°Ââ€˜Â¡ + 1
1/4 .
Homogeneous equations
Another type of equations we can solve by substitution are the socalled homogeneous
equations. Suppose that we can write the differential equation as
0
Ã°Ââ€˜Â¦ =Ã°ÂÂÂ¹
Ã°Ââ€˜Â¦
Ã°Ââ€˜Â¥
.
Here we try the substitutions
Ã°Ââ€˜Â£=
Ã°Ââ€˜Â¦
Ã°Ââ€˜Â¥
and therefore
Ã°Ââ€˜Â¦ 0 = Ã°Ââ€˜Â£ + Ã°Ââ€˜Â¥Ã°Ââ€˜Â£ 0 .
49
1.5. SUBSTITUTION
We note that the equation is transformed into
Ã°Ââ€˜Â£ + Ã°Ââ€˜Â¥Ã°Ââ€˜Â£ 0 = Ã°ÂÂÂ¹(Ã°Ââ€˜Â£)
Ã°Ââ€˜Â¥Ã°Ââ€˜Â£ 0 = Ã°ÂÂÂ¹(Ã°Ââ€˜Â£) Ã¢Ë†â€™ Ã°Ââ€˜Â£
or
or
Ã°Ââ€˜Â£0
1
= .
Ã°Ââ€˜Â¥
Ã°ÂÂÂ¹(Ã°Ââ€˜Â£) Ã¢Ë†â€™ Ã°Ââ€˜Â£
Hence an implicit solution is
Ã¢Ë†Â«
1
Ã°Ââ€˜â€˜Ã°Ââ€˜Â£ = ln Ã°Ââ€˜Â¥ + Ã°ÂÂÂ¶.
Ã°ÂÂÂ¹(Ã°Ââ€˜Â£) Ã¢Ë†â€™ Ã°Ââ€˜Â£
Example 1.5.2: Solve
Ã°Ââ€˜Â¥ 2 Ã°Ââ€˜Â¦ 0 = Ã°Ââ€˜Â¦ 2 + Ã°Ââ€˜Â¥Ã°Ââ€˜Â¦,
Ã°Ââ€˜Â¦(1) = 1.
We put the equation into the form Ã°Ââ€˜Â¦ 0 = ( Ã°Ââ€˜Â¦/Ã°Ââ€˜Â¥ )2 + Ã°Ââ€˜Â¦/Ã°Ââ€˜Â¥ . We substitute Ã°Ââ€˜Â£ = Ã°Ââ€˜Â¦/Ã°Ââ€˜Â¥ to get the
separable equation
Ã°Ââ€˜Â¥Ã°Ââ€˜Â£ 0 = Ã°Ââ€˜Â£ 2 + Ã°Ââ€˜Â£ Ã¢Ë†â€™ Ã°Ââ€˜Â£ = Ã°Ââ€˜Â£ 2 ,
which has a solution
Ã¢Ë†Â«
1
Ã°Ââ€˜â€˜Ã°Ââ€˜Â£ = ln Ã°Ââ€˜Â¥ + Ã°ÂÂÂ¶,
Ã°Ââ€˜Â£2
Ã¢Ë†â€™1
= ln Ã°Ââ€˜Â¥ + Ã°ÂÂÂ¶,
Ã°Ââ€˜Â£
Ã¢Ë†â€™1
Ã°Ââ€˜Â£=
.
ln Ã°Ââ€˜Â¥ + Ã°ÂÂÂ¶
We unsubstitute
Ã°Ââ€˜Â¦
Ã¢Ë†â€™1
=
,
Ã°Ââ€˜Â¥ ln Ã°Ââ€˜Â¥ + Ã°ÂÂÂ¶
Ã¢Ë†â€™Ã°Ââ€˜Â¥
.
Ã°Ââ€˜Â¦=
ln Ã°Ââ€˜Â¥ + Ã°ÂÂÂ¶
We want Ã°Ââ€˜Â¦(1) = 1, so
1 = Ã°Ââ€˜Â¦(1) =
Ã¢Ë†â€™1
Ã¢Ë†â€™1
=
.
Ã°ÂÂÂ¶
ln 1 + Ã°ÂÂÂ¶
Thus Ã°ÂÂÂ¶ = Ã¢Ë†â€™1 and the solution we are looking for is
Ã°Ââ€˜Â¦=
1.5.4
Ã¢Ë†â€™Ã°Ââ€˜Â¥
.
ln Ã°Ââ€˜Â¥ Ã¢Ë†â€™ 1
Exercises
Hint: Answers need not always be in closed form.
Exercise 1.5.1: Solve Ã°Ââ€˜Â¦ 0 + Ã°Ââ€˜Â¦(Ã°Ââ€˜Â¥ 2 Ã¢Ë†â€™ 1) + Ã°Ââ€˜Â¥Ã°Ââ€˜Â¦ 6 = 0, with Ã°Ââ€˜Â¦(1) = 1.
Exercise 1.5.2: Solve 2Ã°Ââ€˜Â¦Ã°Ââ€˜Â¦ 0 + 1 = Ã°Ââ€˜Â¦ 2 + Ã°Ââ€˜Â¥, with Ã°Ââ€˜Â¦(0) = 1.
50
CHAPTER 1. FIRST ORDER EQUATIONS
Exercise 1.5.3: Solve Ã°Ââ€˜Â¦ 0 + Ã°Ââ€˜Â¥Ã°Ââ€˜Â¦ = Ã°Ââ€˜Â¦ 4 , with Ã°Ââ€˜Â¦(0) = 1.
Exercise 1.5.4: Solve Ã°Ââ€˜Â¦Ã°Ââ€˜Â¦ 0 + Ã°Ââ€˜Â¥ =
p
Ã°Ââ€˜Â¥2 + Ã°Ââ€˜Â¦2.
Exercise 1.5.5: Solve Ã°Ââ€˜Â¦ 0 = (Ã°Ââ€˜Â¥ + Ã°Ââ€˜Â¦ Ã¢Ë†â€™ 1)2 .
Exercise 1.5.6: Solve Ã°Ââ€˜Â¦ 0 =
Ã°Ââ€˜Â¥ 2 Ã¢Ë†â€™Ã°Ââ€˜Â¦ 2
Ã°Ââ€˜Â¥Ã°Ââ€˜Â¦ ,
with Ã°Ââ€˜Â¦(1) = 2.
Exercise 1.5.101: Solve Ã°Ââ€˜Â¥Ã°Ââ€˜Â¦ 0 + Ã°Ââ€˜Â¦ + Ã°Ââ€˜Â¦ 2 = 0, Ã°Ââ€˜Â¦(1) = 2.
Exercise 1.5.102: Solve Ã°Ââ€˜Â¥Ã°Ââ€˜Â¦ 0 + Ã°Ââ€˜Â¦ + Ã°Ââ€˜Â¥ = 0, Ã°Ââ€˜Â¦(1) = 1.
Exercise 1.5.103: Solve Ã°Ââ€˜Â¦ 2 Ã°Ââ€˜Â¦ 0 = Ã°Ââ€˜Â¦ 3 Ã¢Ë†â€™ 3Ã°Ââ€˜Â¥, Ã°Ââ€˜Â¦(0) = 2.
Exercise 1.5.104: Solve 2Ã°Ââ€˜Â¦Ã°Ââ€˜Â¦ 0 = Ã°Ââ€˜â€™ Ã°Ââ€˜Â¦
2 Ã¢Ë†â€™Ã°Ââ€˜Â¥ 2
+ 2Ã°Ââ€˜Â¥.
51
1.6. AUTONOMOUS EQUATIONS
1.6
Autonomous equations
Note: 1 lecture, Ã‚Â§2.2 in [EP], Ã‚Â§2.5 in [BD]
Consider problems of the form
Ã°Ââ€˜â€˜Ã°Ââ€˜Â¥
= Ã°Ââ€˜â€œ (Ã°Ââ€˜Â¥),
Ã°Ââ€˜â€˜Ã°Ââ€˜Â¡
where the derivative of solutions depends only on Ã°Ââ€˜Â¥ (the dependent variable). Such
equations are called autonomous equations. If we think of Ã°Ââ€˜Â¡ as time, the naming comes from
the fact that the equation is independent of time.
We return to the cooling coffee problem (Example 1.3.3). NewtonÃ¢â‚¬â„¢s law of cooling says
Ã°Ââ€˜â€˜Ã°Ââ€˜Â¥
= Ã°Ââ€˜Ëœ(Ã°ÂÂÂ´ Ã¢Ë†â€™ Ã°Ââ€˜Â¥),
Ã°Ââ€˜â€˜Ã°Ââ€˜Â¡
where Ã°Ââ€˜Â¥ is the temperature, Ã°Ââ€˜Â¡ is time, Ã°Ââ€˜Ëœ is some positive constant, and Ã°ÂÂÂ´ is the ambient
temperature. See Figure 1.11 for an example with Ã°Ââ€˜Ëœ = 0.3 and Ã°ÂÂÂ´ = 5.
Note the solution Ã°Ââ€˜Â¥ = Ã°ÂÂÂ´ (in the figure Ã°Ââ€˜Â¥ = 5). We call these constant solutions the
equilibrium solutions. The points on the Ã°Ââ€˜Â¥axis where Ã°Ââ€˜â€œ (Ã°Ââ€˜Â¥) = 0 are called critical points. The
point Ã°Ââ€˜Â¥ = Ã°ÂÂÂ´ is a critical point. In fact, each critical point corresponds to an equilibrium
solution. Note also, by looking at the graph, that the solution Ã°Ââ€˜Â¥ = Ã°ÂÂÂ´ is Ã¢â‚¬Å“stableÃ¢â‚¬Â in that
small perturbations in Ã°Ââ€˜Â¥ do not lead to substantially different solutions as Ã°Ââ€˜Â¡ grows. If we
change the initial condition a little bit, then as Ã°Ââ€˜Â¡ Ã¢â€ â€™ Ã¢Ë†Å¾ we get Ã°Ââ€˜Â¥(Ã°Ââ€˜Â¡) Ã¢â€ â€™ Ã°ÂÂÂ´. We call such a
critical point stable. In this simple example it turns out that all solutions in fact go to Ã°ÂÂÂ´ as
Ã°Ââ€˜Â¡ Ã¢â€ â€™ Ã¢Ë†Å¾. If a critical point is not stable, we say it is unstable.
0
5
10
15
20
0
10
10
5
5
0
0
5
5
10
10
0
5
10
15
20
Figure 1.11: The slope field and some solutions of
Ã°Ââ€˜Â¥ 0 = 0.3 (5 Ã¢Ë†â€™ Ã°Ââ€˜Â¥).
5
10
15
20
10.0
10.0
7.5
7.5
5.0
5.0
2.5
2.5
0.0
0.0
2.5
2.5
5.0
5.0
0
5
10
15
20
Figure 1.12: The slope field and some solutions of
Ã°Ââ€˜Â¥ 0 = 0.1 Ã°Ââ€˜Â¥ (5 Ã¢Ë†â€™ Ã°Ââ€˜Â¥).
Consider now the logistic equation
Ã°Ââ€˜â€˜Ã°Ââ€˜Â¥
= Ã°Ââ€˜ËœÃ°Ââ€˜Â¥(Ã°Ââ€˜â‚¬ Ã¢Ë†â€™ Ã°Ââ€˜Â¥),
Ã°Ââ€˜â€˜Ã°Ââ€˜Â¡
52
CHAPTER 1. FIRST ORDER EQUATIONS
for some positive Ã°Ââ€˜Ëœ and Ã°Ââ€˜â‚¬. This equation is commonly used to model population if we
know the limiting population Ã°Ââ€˜â‚¬, that is the maximum sustainable population. The logistic
equation leads to less catastrophic predictions on world population than Ã°Ââ€˜Â¥ 0 = Ã°Ââ€˜ËœÃ°Ââ€˜Â¥. In the
real world there is no such thing as negative population, but we will still consider negative
Ã°Ââ€˜Â¥ for the purposes of the math.
See Figure 1.12 on the preceding page for an example, Ã°Ââ€˜Â¥ 0 = 0.1Ã°Ââ€˜Â¥(5 Ã¢Ë†â€™ Ã°Ââ€˜Â¥). There are two
critical points, Ã°Ââ€˜Â¥ = 0 and Ã°Ââ€˜Â¥ = 5. The critical point at Ã°Ââ€˜Â¥ = 5 is stable, while the critical point
at Ã°Ââ€˜Â¥ = 0 is unstable.
It is not necessary to find the exact solutions to talk about the long term behavior of the
solutions. From the slope field above of Ã°Ââ€˜Â¥ 0 = 0.1Ã°Ââ€˜Â¥(5 Ã¢Ë†â€™ Ã°Ââ€˜Â¥), we see that
if Ã°Ââ€˜Â¥(0) > 0,
Ã¯Â£Â±
Ã¯Â£Â´
5
Ã¯Â£Â´
Ã¯Â£Â²
Ã¯Â£Â´
lim Ã°Ââ€˜Â¥(Ã°Ââ€˜Â¡) = 0
Ã°Ââ€˜Â¡Ã¢â€ â€™Ã¢Ë†Å¾
if Ã°Ââ€˜Â¥(0) = 0,
Ã¯Â£Â´
Ã¯Â£Â´
Ã¯Â£Â´ DNE or Ã¢Ë†â€™Ã¢Ë†Å¾ if Ã°Ââ€˜Â¥(0) < 0.
Ã¯Â£Â³
Here DNE means Ã¢â‚¬Å“does not exist.Ã¢â‚¬Â From just looking at the slope field we cannot quite
decide what happens if Ã°Ââ€˜Â¥(0) < 0. It could be that the solution does not exist for Ã°Ââ€˜Â¡ all the
way to Ã¢Ë†Å¾. Think of the equation Ã°Ââ€˜Â¥ 0 = Ã°Ââ€˜Â¥ 2 ; we have seen that solutions only exist for some
finite period of time. Same can happen here. In our example equation above it turns out
that the solution does not exist for all time, but to see that we would have to solve the
equation. In any case, the solution does go to Ã¢Ë†â€™Ã¢Ë†Å¾, but it may get there rather quickly.
If we are interested only in the long term behavior of the solution, we would be doing
unnecessary work if we solved the equation exactly. We could draw the slope field, but it
is easier to just look at the phase diagram or phase portrait, which is a simple way to visualize
the behavior of autonomous equations. In this case there is one dependent variable Ã°Ââ€˜Â¥.
We draw the Ã°Ââ€˜Â¥axis, we mark all the critical points, and then we draw arrows in between.
Since Ã°Ââ€˜Â¥ is the dependent variable we draw the axis vertically, as it appears in the slope
field diagrams above. If Ã°Ââ€˜â€œ (Ã°Ââ€˜Â¥) > 0, we draw an up arrow. If Ã°Ââ€˜â€œ (Ã°Ââ€˜Â¥) < 0, we draw a down
arrow. To figure this out, we could just plug in some Ã°Ââ€˜Â¥ between the critical points, Ã°Ââ€˜â€œ (Ã°Ââ€˜Â¥)
will have the same sign at all Ã°Ââ€˜Â¥ between two critical points as long Ã°Ââ€˜â€œ (Ã°Ââ€˜Â¥) is continuous. For
example, Ã°Ââ€˜â€œ (6) = Ã¢Ë†â€™0.6 < 0, so Ã°Ââ€˜â€œ (Ã°Ââ€˜Â¥) < 0 for Ã°Ââ€˜Â¥ > 5, and the arrow above Ã°Ââ€˜Â¥ = 5 is a down arrow.
Next, Ã°Ââ€˜â€œ (1) = 0.4 > 0, so Ã°Ââ€˜â€œ (Ã°Ââ€˜Â¥) > 0 whenever 0 < Ã°Ââ€˜Â¥ < 5, and the arrow points up. Finally,
Ã°Ââ€˜â€œ (Ã¢Ë†â€™1) = Ã¢Ë†â€™0.6 < 0 so Ã°Ââ€˜â€œ (Ã°Ââ€˜Â¥) < 0 when Ã°Ââ€˜Â¥ < 0, and the arrow points down.
Ã°Ââ€˜Â¥=5
Ã°Ââ€˜Â¥=0
53
1.6. AUTONOMOUS EQUATIONS
Armed with the phase diagram, it is easy to sketch the solutions approximately: As
time Ã°Ââ€˜Â¡ moves from left to right, the graph of a solution goes up if the arrow is up, and it
goes down if the arrow is down.
Exercise 1.6.1: Try sketching a few solutions simply from looking at the phase diagram. Check
with the preceding graphs if you are getting the type of curves.
Once we draw the phase diagram, we classify critical points as stable or unstableÃ¢Ë†â€” .
unstable
stable
Since any mathematical model we cook up will only be an approximation to the real
world, unstable points are generally bad news.
Let us think about the logistic equation with harvesting. Suppose an alien race really
likes to eat humans. They keep a planet with humans on it and harvest the humans at a
rate of Ã¢â€žÅ½ million humans per year. Suppose Ã°Ââ€˜Â¥ is the number of humans in millions on the
planet and Ã°Ââ€˜Â¡ is time in years. Let Ã°Ââ€˜â‚¬ be the limiting population when no harvesting is done.
The number Ã°Ââ€˜Ëœ > 0 is a constant depending on how fast humans multiply. Our equation
becomes
Ã°Ââ€˜â€˜Ã°Ââ€˜Â¥
= Ã°Ââ€˜ËœÃ°Ââ€˜Â¥(Ã°Ââ€˜â‚¬ Ã¢Ë†â€™ Ã°Ââ€˜Â¥) Ã¢Ë†â€™ Ã¢â€žÅ½.
Ã°Ââ€˜â€˜Ã°Ââ€˜Â¡
We expand the righthand side and set it to zero.
Ã°Ââ€˜ËœÃ°Ââ€˜Â¥(Ã°Ââ€˜â‚¬ Ã¢Ë†â€™ Ã°Ââ€˜Â¥) Ã¢Ë†â€™ Ã¢â€žÅ½ = Ã¢Ë†â€™Ã°Ââ€˜ËœÃ°Ââ€˜Â¥ 2 + Ã°Ââ€˜ËœÃ°Ââ€˜â‚¬Ã°Ââ€˜Â¥ Ã¢Ë†â€™ Ã¢â€žÅ½ = 0.
Solving for the critical points, let us call them Ã°ÂÂÂ´ and Ã°ÂÂÂµ, we get
Ã°Ââ€˜ËœÃ°Ââ€˜â‚¬ +
Ã°ÂÂÂ´=
q
2
(Ã°Ââ€˜ËœÃ°Ââ€˜â‚¬) Ã¢Ë†â€™ 4Ã¢â€žÅ½Ã°Ââ€˜Ëœ
2Ã°Ââ€˜Ëœ
Ã°Ââ€˜ËœÃ°Ââ€˜â‚¬ Ã¢Ë†â€™
,
Ã°ÂÂÂµ=
q
(Ã°Ââ€˜ËœÃ°Ââ€˜â‚¬)2 Ã¢Ë†â€™ 4Ã¢â€žÅ½Ã°Ââ€˜Ëœ
2Ã°Ââ€˜Ëœ
.
Exercise 1.6.2: Sketch a phase diagram for different possibilities. Note that these possibilities are
Ã°ÂÂÂ´ > Ã°ÂÂÂµ, or Ã°ÂÂÂ´ = Ã°ÂÂÂµ, or Ã°ÂÂÂ´ and Ã°ÂÂÂµ both complex (i.e. no real solutions). Hint: Fix some simple Ã°Ââ€˜Ëœ and Ã°Ââ€˜â‚¬
and then vary Ã¢â€žÅ½.
For example, let Ã°Ââ€˜â‚¬ = 8 and Ã°Ââ€˜Ëœ = 0.1. When Ã¢â€žÅ½ = 1, then Ã°ÂÂÂ´ and Ã°ÂÂÂµ are distinct and positive.
The slope field we get is in Figure 1.13 on the next page. As long as the population starts
above Ã°ÂÂÂµ, which is approximately 1.55 million, then the population will not die out. It will in
fact tend towards Ã°ÂÂÂ´ Ã¢â€°Ë† 6.45 million. If ever some catastrophe happens and the population
drops below Ã°ÂÂÂµ, humans will die out, and the fast food restaurant serving them will go out
of business.
Ã¢Ë†â€” Unstable points with one of the arrows pointing towards the critical point are sometimes called semistable.
54
CHAPTER 1. FIRST ORDER EQUATIONS
0
5
10
15
0
20
5
10
15
20
10.0
10.0
10.0
10.0
7.5
7.5
7.5
7.5
5.0
5.0
5.0
5.0
2.5
2.5
2.5
2.5
0.0
0.0
0.0
0
5
10
15
0.0
0
20
Figure 1.13: The slope field and some solutions of
Ã°Ââ€˜Â¥ 0 = 0.1 Ã°Ââ€˜Â¥ (8 Ã¢Ë†â€™ Ã°Ââ€˜Â¥) Ã¢Ë†â€™ 1.
5
10
15
20
Figure 1.14: The slope field and some solutions of
Ã°Ââ€˜Â¥ 0 = 0.1 Ã°Ââ€˜Â¥ (8 Ã¢Ë†â€™ Ã°Ââ€˜Â¥) Ã¢Ë†â€™ 1.6.
When Ã¢â€žÅ½ = 1.6, then Ã°ÂÂÂ´ = Ã°ÂÂÂµ = 4. There is only one critical point and it is unstable. When
the population starts above 4 million it will tend towards 4 million. If it ever drops below 4
million, humans will die out on the planet. This scenario is not one that we (as the human
fast food proprietor) want to be in. A small perturbation of the equilibrium state and we
are out of business. There is no room for error. See Figure 1.14.
Finally if we are harvesting at 2 million humans per year, there are no critical points.
The population will always plummet towards zero, no matter how well stocked the planet
starts. See Figure 1.15.
0
5
10
15
20
10.0
10.0
7.5
7.5
5.0
5.0
2.5
2.5
0.0
0.0
0
5
10
15
20
Figure 1.15: The slope field and some solutions of Ã°Ââ€˜Â¥ 0 = 0.1 Ã°Ââ€˜Â¥ (8 Ã¢Ë†â€™ Ã°Ââ€˜Â¥) Ã¢Ë†â€™ 2.
55
1.6. AUTONOMOUS EQUATIONS
1.6.1
Exercises
Exercise 1.6.3: Consider Ã°Ââ€˜Â¥ 0 = Ã°Ââ€˜Â¥ 2 .
a) Draw the phase diagram, find the critical points, and mark them stable or unstable.
b) Sketch typical solutions of the equation.
c) Find lim Ã°Ââ€˜Â¥(Ã°Ââ€˜Â¡) for the solution with the initial condition Ã°Ââ€˜Â¥(0) = Ã¢Ë†â€™1.
Ã°Ââ€˜Â¡Ã¢â€ â€™Ã¢Ë†Å¾
Exercise 1.6.4: Consider Ã°Ââ€˜Â¥ 0 = sin Ã°Ââ€˜Â¥.
a) Draw the phase diagram for Ã¢Ë†â€™4Ã°ÂÅ“â€¹ Ã¢â€°Â¤ Ã°Ââ€˜Â¥ Ã¢â€°Â¤ 4Ã°ÂÅ“â€¹. On this interval mark the critical points stable
or unstable.
b) Sketch typical solutions of the equation.
c) Find lim Ã°Ââ€˜Â¥(Ã°Ââ€˜Â¡) for the solution with the initial condition Ã°Ââ€˜Â¥(0) = 1.
Ã°Ââ€˜Â¡Ã¢â€ â€™Ã¢Ë†Å¾
Exercise 1.6.5: Suppose Ã°Ââ€˜â€œ (Ã°Ââ€˜Â¥) is positive for 0 < Ã°Ââ€˜Â¥ < 1, it is zero when Ã°Ââ€˜Â¥ = 0 and Ã°Ââ€˜Â¥ = 1, and it is
negative for all other Ã°Ââ€˜Â¥.
a) Draw the phase diagram for Ã°Ââ€˜Â¥ 0 = Ã°Ââ€˜â€œ (Ã°Ââ€˜Â¥), find the critical points, and mark them stable or
unstable.
b) Sketch typical solutions of the equation.
c) Find lim Ã°Ââ€˜Â¥(Ã°Ââ€˜Â¡) for the solution with the initial condition Ã°Ââ€˜Â¥(0) = 0.5.
Ã°Ââ€˜Â¡Ã¢â€ â€™Ã¢Ë†Å¾
Exercise 1.6.6: Start with the logistic equation Ã°Ââ€˜â€˜Ã°Ââ€˜Â¥
Ã°Ââ€˜â€˜Ã°Ââ€˜Â¡ = Ã°Ââ€˜ËœÃ°Ââ€˜Â¥(Ã°Ââ€˜â‚¬ Ã¢Ë†â€™ Ã°Ââ€˜Â¥). Suppose we modify our harvesting.
That is we will only harvest an amount proportional to current population. In other words, we
harvest Ã¢â€žÅ½Ã°Ââ€˜Â¥ per unit of time for some Ã¢â€žÅ½ > 0 (Similar to earlier example with Ã¢â€žÅ½ replaced with Ã¢â€žÅ½Ã°Ââ€˜Â¥).
a) Construct the differential equation.
b) Show that if Ã°Ââ€˜ËœÃ°Ââ€˜â‚¬ > Ã¢â€žÅ½, then the equation is still logistic.
c) What happens when Ã°Ââ€˜ËœÃ°Ââ€˜â‚¬ < Ã¢â€žÅ½?
Exercise 1.6.7: A disease is spreading through the country. Let Ã°Ââ€˜Â¥ be the number of people infected.
Let the constant Ã°Ââ€˜â€ be the number of people susceptible to infection. The infection rate Ã°Ââ€˜â€˜Ã°Ââ€˜Â¥
Ã°Ââ€˜â€˜Ã°Ââ€˜Â¡ is
proportional to the product of already infected people, Ã°Ââ€˜Â¥, and the number of susceptible but uninfected
people, Ã°Ââ€˜â€ Ã¢Ë†â€™ Ã°Ââ€˜Â¥.
a) Write down the differential equation.
b) Supposing Ã°Ââ€˜Â¥(0) > 0, that is, some people are infected at time Ã°Ââ€˜Â¡ = 0, what is lim Ã°Ââ€˜Â¥(Ã°Ââ€˜Â¡).
Ã°Ââ€˜Â¡Ã¢â€ â€™Ã¢Ë†Å¾
c) Does the solution to part b) agree with your intuition? Why or why not?
56
CHAPTER 1. FIRST ORDER EQUATIONS
Exercise 1.6.101: Let Ã°Ââ€˜Â¥ 0 = (Ã°Ââ€˜Â¥ Ã¢Ë†â€™ 1)(Ã°Ââ€˜Â¥ Ã¢Ë†â€™ 2)Ã°Ââ€˜Â¥ …
Purchase answer to see full
attachment