This document provides lecture notes for a course on differential equations. It includes a preface and 13 chapters covering topics such as first-order differential equations, second-order differential equations, systems of equations, nonlinear differential equations, and partial differential equations. The preface describes the purpose of the notes, sources of adapted material, and links for additional resources. An overview of relevant calculus concepts is provided in Chapter 0 as a mathematical review.
E secure transaction project report (Design and implementation of e-secure t...AJIT Singh
Β
The report is on the design and implementation of the e-secure transaction the formatting of the report is based on IIT
This is the project report of the Design and implementation of e-secure transaction system that is my college days.
the formatting of this report is based on the IIT formate so you can copy the formate
E secure transaction project report (Design and implementation of e-secure t...AJIT Singh
Β
The report is on the design and implementation of the e-secure transaction the formatting of the report is based on IIT
This is the project report of the Design and implementation of e-secure transaction system that is my college days.
the formatting of this report is based on the IIT formate so you can copy the formate
A frequently used class of objects are the quadric surfaces, which are described with second-degree equations (quadratics). They include spheres, ellipsoids, tori, paraboloids, and hyperboloids.
Quadric surfaces, particularly spheres and ellipsoids, are common elements of graphics scenes
Identify those parts of a scene that are visible from a chosen viewing position.
Visible-surface detection algorithms are broadly classified according to whether
they deal with object definitions directly or with their projected images.
These two approaches are called object-space methods and image-space methods, respectively
An object-space method compares
objects and parts of objects to each other within the scene definition to determine which surfaces, as a whole, we should label as visible.
In an image-space algorithm, visibility is decided point by point at each pixel position on the projection plane.
Line Drawing Algorithms - Computer Graphics - NotesOmprakash Chauhan
Β
Straight-line drawing algorithms are based on incremental methods.
In incremental method line starts with a straight point, then some fix incrementable is added to current point to get next point on the line and the same has continued all the end of the line.
Treatment for diabetes with herbs and herbal supplementsroycv
Β
Herbs and Herbal Supplement which are powerful enough to cure diabetes and its complications. Diabetic herbs which are prevalent since the prehistoric age and mentioned in the ayruvedic texts is effective in treating the ailment. These herbs are still used by many herbalists and ayurvedic physicians as their prime ingredient in their herbal supplements.
Unlike treatment using modern medicines like the pills prescribed by doctors this type of treatment is free of any side effects moreover it will helps in treating the associated ailments that the person with diabetic mellitus has to suffer.
The herbs and the herbal supplement, diamellitone is capable to generating natural insulin in the body there by curing the ailment within a couple of months.
A frequently used class of objects are the quadric surfaces, which are described with second-degree equations (quadratics). They include spheres, ellipsoids, tori, paraboloids, and hyperboloids.
Quadric surfaces, particularly spheres and ellipsoids, are common elements of graphics scenes
Identify those parts of a scene that are visible from a chosen viewing position.
Visible-surface detection algorithms are broadly classified according to whether
they deal with object definitions directly or with their projected images.
These two approaches are called object-space methods and image-space methods, respectively
An object-space method compares
objects and parts of objects to each other within the scene definition to determine which surfaces, as a whole, we should label as visible.
In an image-space algorithm, visibility is decided point by point at each pixel position on the projection plane.
Line Drawing Algorithms - Computer Graphics - NotesOmprakash Chauhan
Β
Straight-line drawing algorithms are based on incremental methods.
In incremental method line starts with a straight point, then some fix incrementable is added to current point to get next point on the line and the same has continued all the end of the line.
Treatment for diabetes with herbs and herbal supplementsroycv
Β
Herbs and Herbal Supplement which are powerful enough to cure diabetes and its complications. Diabetic herbs which are prevalent since the prehistoric age and mentioned in the ayruvedic texts is effective in treating the ailment. These herbs are still used by many herbalists and ayurvedic physicians as their prime ingredient in their herbal supplements.
Unlike treatment using modern medicines like the pills prescribed by doctors this type of treatment is free of any side effects moreover it will helps in treating the associated ailments that the person with diabetic mellitus has to suffer.
The herbs and the herbal supplement, diamellitone is capable to generating natural insulin in the body there by curing the ailment within a couple of months.
Partial differential equations, graduate level problems and solutions by igor...Julio Banks
Β
The physical world is driving by the laws of mathematics, more specifically PDE (Partial Differential Equations). FEA (Finite Element Analysis) and CFD (Computation Fluid Dynamics) are the numerical methods utilized to model physical events described by PDEs.
Business Mathematics Code 1429
BA Code 1429
AIOU Islamabad BA General Book
BA General Allama Iqbal Open University Course Code 1429 Business Mathematics
A brief information about the SCOP protein database used in bioinformatics.
The Structural Classification of Proteins (SCOP) database is a comprehensive and authoritative resource for the structural and evolutionary relationships of proteins. It provides a detailed and curated classification of protein structures, grouping them into families, superfamilies, and folds based on their structural and sequence similarities.
We characterize the earliest galaxy population in the JADES Origins Field (JOF), the deepest
imaging field observed with JWST. We make use of the ancillary Hubble optical images (5 filters
spanning 0.4β0.9Β΅m) and novel JWST images with 14 filters spanning 0.8β5Β΅m, including 7 mediumband filters, and reaching total exposure times of up to 46 hours per filter. We combine all our data
at > 2.3Β΅m to construct an ultradeep image, reaching as deep as β 31.4 AB mag in the stack and
30.3-31.0 AB mag (5Ο, r = 0.1β circular aperture) in individual filters. We measure photometric
redshifts and use robust selection criteria to identify a sample of eight galaxy candidates at redshifts
z = 11.5 β 15. These objects show compact half-light radii of R1/2 βΌ 50 β 200pc, stellar masses of
Mβ βΌ 107β108Mβ, and star-formation rates of SFR βΌ 0.1β1 Mβ yrβ1
. Our search finds no candidates
at 15 < z < 20, placing upper limits at these redshifts. We develop a forward modeling approach to
infer the properties of the evolving luminosity function without binning in redshift or luminosity that
marginalizes over the photometric redshift uncertainty of our candidate galaxies and incorporates the
impact of non-detections. We find a z = 12 luminosity function in good agreement with prior results,
and that the luminosity function normalization and UV luminosity density decline by a factor of βΌ 2.5
from z = 12 to z = 14. We discuss the possible implications of our results in the context of theoretical
models for evolution of the dark matter halo mass function.
Professional air quality monitoring systems provide immediate, on-site data for analysis, compliance, and decision-making.
Monitor common gases, weather parameters, particulates.
Introduction:
RNA interference (RNAi) or Post-Transcriptional Gene Silencing (PTGS) is an important biological process for modulating eukaryotic gene expression.
It is highly conserved process of posttranscriptional gene silencing by which double stranded RNA (dsRNA) causes sequence-specific degradation of mRNA sequences.
dsRNA-induced gene silencing (RNAi) is reported in a wide range of eukaryotes ranging from worms, insects, mammals and plants.
This process mediates resistance to both endogenous parasitic and exogenous pathogenic nucleic acids, and regulates the expression of protein-coding genes.
What are small ncRNAs?
micro RNA (miRNA)
short interfering RNA (siRNA)
Properties of small non-coding RNA:
Involved in silencing mRNA transcripts.
Called βsmallβ because they are usually only about 21-24 nucleotides long.
Synthesized by first cutting up longer precursor sequences (like the 61nt one that Lee discovered).
Silence an mRNA by base pairing with some sequence on the mRNA.
Discovery of siRNA?
The first small RNA:
In 1993 Rosalind Lee (Victor Ambros lab) was studying a non- coding gene in C. elegans, lin-4, that was involved in silencing of another gene, lin-14, at the appropriate time in the
development of the worm C. elegans.
Two small transcripts of lin-4 (22nt and 61nt) were found to be complementary to a sequence in the 3' UTR of lin-14.
Because lin-4 encoded no protein, she deduced that it must be these transcripts that are causing the silencing by RNA-RNA interactions.
Types of RNAi ( non coding RNA)
MiRNA
Length (23-25 nt)
Trans acting
Binds with target MRNA in mismatch
Translation inhibition
Si RNA
Length 21 nt.
Cis acting
Bind with target Mrna in perfect complementary sequence
Piwi-RNA
Length ; 25 to 36 nt.
Expressed in Germ Cells
Regulates trnasposomes activity
MECHANISM OF RNAI:
First the double-stranded RNA teams up with a protein complex named Dicer, which cuts the long RNA into short pieces.
Then another protein complex called RISC (RNA-induced silencing complex) discards one of the two RNA strands.
The RISC-docked, single-stranded RNA then pairs with the homologous mRNA and destroys it.
THE RISC COMPLEX:
RISC is large(>500kD) RNA multi- protein Binding complex which triggers MRNA degradation in response to MRNA
Unwinding of double stranded Si RNA by ATP independent Helicase
Active component of RISC is Ago proteins( ENDONUCLEASE) which cleave target MRNA.
DICER: endonuclease (RNase Family III)
Argonaute: Central Component of the RNA-Induced Silencing Complex (RISC)
One strand of the dsRNA produced by Dicer is retained in the RISC complex in association with Argonaute
ARGONAUTE PROTEIN :
1.PAZ(PIWI/Argonaute/ Zwille)- Recognition of target MRNA
2.PIWI (p-element induced wimpy Testis)- breaks Phosphodiester bond of mRNA.)RNAse H activity.
MiRNA:
The Double-stranded RNAs are naturally produced in eukaryotic cells during development, and they have a key role in regulating gene expression .
Richard's entangled aventures in wonderlandRichard Gill
Β
Since the loophole-free Bell experiments of 2020 and the Nobel prizes in physics of 2022, critics of Bell's work have retreated to the fortress of super-determinism. Now, super-determinism is a derogatory word - it just means "determinism". Palmer, Hance and Hossenfelder argue that quantum mechanics and determinism are not incompatible, using a sophisticated mathematical construction based on a subtle thinning of allowed states and measurements in quantum mechanics, such that what is left appears to make Bell's argument fail, without altering the empirical predictions of quantum mechanics. I think however that it is a smoke screen, and the slogan "lost in math" comes to my mind. I will discuss some other recent disproofs of Bell's theorem using the language of causality based on causal graphs. Causal thinking is also central to law and justice. I will mention surprising connections to my work on serial killer nurse cases, in particular the Dutch case of Lucia de Berk and the current UK case of Lucy Letby.
Seminar of U.V. Spectroscopy by SAMIR PANDASAMIR PANDA
Β
Spectroscopy is a branch of science dealing the study of interaction of electromagnetic radiation with matter.
Ultraviolet-visible spectroscopy refers to absorption spectroscopy or reflect spectroscopy in the UV-VIS spectral region.Β
Β Ultraviolet-visible spectroscopy is an analytical method that can measure the amount of light received by the analyte.
2. The Hong Kong University of Science and Technology
Department of Mathematics
Clear Water Bay, Kowloon
Hong Kong
Copyright cβ 2009β2014 by Jeffrey Robert Chasnov
This work is licensed under the Creative Commons Attribution 3.0 Hong Kong License.
To view a copy of this license, visit http://creativecommons.org/licenses/by/3.0/hk/
or send a letter to Creative Commons, 171 Second Street, Suite 300, San Francisco,
California, 94105, USA.
3. Preface
What follows are my lecture notes for a first course in differential equations,
taught at the Hong Kong University of Science and Technology. Included in
these notes are links to short tutorial videos posted on YouTube.
Much of the material of Chapters 2-6 and 8 has been adapted from the
widely used textbook βElementary differential equations and boundary value
problemsβ by Boyce & DiPrima (John Wiley & Sons, Inc., Seventh Edition,
cβ2001). Many of the examples presented in these notes may be found in this
book. The material of Chapter 7 is adapted from the textbook βNonlinear
dynamics and chaosβ by Steven H. Strogatz (Perseus Publishing, cβ1994).
All web surfers are welcome to download these notes, watch the YouTube
videos, and to use the notes and videos freely for teaching and learning. An
associated free review book with links to YouTube videos is also available from
the ebook publisher bookboon.com. I welcome any comments, suggestions or
corrections sent by email to jeffrey.chasnov@ust.hk. Links to my website, these
lecture notes, my YouTube page, and the free ebook from bookboon.com are
given below.
Homepage:
http://www.math.ust.hk/~machas
YouTube:
https://www.youtube.com/user/jchasnov
Lecture notes:
http://www.math.ust.hk/~machas/differential-equations.pdf
Bookboon:
http://bookboon.com/en/differential-equations-with-youtube-examples-ebook
iii
9. Chapter 0
A short mathematical
review
A basic understanding of calculus is required to undertake a study of differential
equations. This zero chapter presents a short review.
0.1 The trigonometric functions
The Pythagorean trigonometric identity is
sin2
π₯ + cos2
π₯ = 1,
and the addition theorems are
sin(π₯ + π¦) = sin(π₯) cos(π¦) + cos(π₯) sin(π¦),
cos(π₯ + π¦) = cos(π₯) cos(π¦) β sin(π₯) sin(π¦).
Also, the values of sin π₯ in the first quadrant can be remembered by the rule of
quarters, with 0β
= 0, 30β
= π/6, 45β
= π/4, 60β
= π/3, 90β
= π/2:
sin 0β
=
βοΈ
0
4
, sin 30β
=
βοΈ
1
4
, sin 45β
=
βοΈ
2
4
,
sin 60β
=
βοΈ
3
4
, sin 90β
=
βοΈ
4
4
.
The following symmetry properties are also useful:
sin(π/2 β π₯) = cos π₯, cos(π/2 β π₯) = sin π₯;
and
sin(βπ₯) = β sin(π₯), cos(βπ₯) = cos(π₯).
0.2 The exponential function and the natural
logarithm
The transcendental number π, approximately 2.71828, is defined as
π = lim
πββ
(οΈ
1 +
1
π
)οΈ π
.
1
10. 2 CHAPTER 0. A SHORT MATHEMATICAL REVIEW
The exponential function exp (π₯) = π π₯
and natural logarithm ln π₯ are inverse
functions satisfying
πln π₯
= π₯, ln π π₯
= π₯.
The usual rules of exponents apply:
π π₯
π π¦
= π π₯+π¦
, π π₯
/π π¦
= π π₯βπ¦
, (π π₯
) π
= π ππ₯
.
The corresponding rules for the logarithmic function are
ln (π₯π¦) = ln π₯ + ln π¦, ln (π₯/π¦) = ln π₯ β ln π¦, ln π₯ π
= π ln π₯.
0.3 Definition of the derivative
The derivative of the function π¦ = π(π₯), denoted as πβ²
(π₯) or ππ¦/ππ₯, is defined
as the slope of the tangent line to the curve π¦ = π(π₯) at the point (π₯, π¦). This
slope is obtained by a limit, and is defined as
πβ²
(π₯) = lim
ββ0
π(π₯ + β) β π(π₯)
β
. (1)
0.4 Differentiating a combination of functions
0.4.1 The sum or difference rule
The derivative of the sum of π(π₯) and π(π₯) is
(π + π)β²
= πβ²
+ πβ²
.
Similarly, the derivative of the difference is
(π β π)β²
= πβ²
β πβ²
.
0.4.2 The product rule
The derivative of the product of π(π₯) and π(π₯) is
(π π)β²
= πβ²
π + π πβ²
,
and should be memorized as βthe derivative of the first times the second plus
the first times the derivative of the second.β
0.4.3 The quotient rule
The derivative of the quotient of π(π₯) and π(π₯) is
(οΈ
π
π
)οΈβ²
=
πβ²
π β π πβ²
π2
,
and should be memorized as βthe derivative of the top times the bottom minus
the top times the derivative of the bottom over the bottom squared.β
11. 0.5. DIFFERENTIATING ELEMENTARY FUNCTIONS 3
0.4.4 The chain rule
The derivative of the composition of π(π₯) and π(π₯) is
(οΈ
π
(οΈ
π(π₯)
)οΈ)οΈβ²
= πβ²
(οΈ
π(π₯)
)οΈ
Β· πβ²
(π₯),
and should be memorized as βthe derivative of the outside times the derivative
of the inside.β
0.5 Differentiating elementary functions
0.5.1 The power rule
The derivative of a power of π₯ is given by
π
ππ₯
π₯ π
= ππ₯ πβ1
.
0.5.2 Trigonometric functions
The derivatives of sin π₯ and cos π₯ are
(sin π₯)β²
= cos π₯, (cos π₯)β²
= β sin π₯.
We thus say that βthe derivative of sine is cosine,β and βthe derivative of cosine
is minus sine.β Notice that the second derivatives satisfy
(sin π₯)β²β²
= β sin π₯, (cos π₯)β²β²
= β cos π₯.
0.5.3 Exponential and natural logarithm functions
The derivative of π π₯
and ln π₯ are
(π π₯
)β²
= π π₯
, (ln π₯)β²
=
1
π₯
.
0.6 Definition of the integral
The definite integral of a function π(π₯) > 0 from π₯ = π to π (π > π) is defined
as the area bounded by the vertical lines π₯ = π, π₯ = π, the x-axis and the curve
π¦ = π(π₯). This βarea under the curveβ is obtained by a limit. First, the area is
approximated by a sum of rectangle areas. Second, the integral is defined to be
the limit of the rectangle areas as the width of each individual rectangle goes to
zero and the number of rectangles goes to infinity. This resulting infinite sum
is called a Riemann Sum, and we define
β«οΈ π
π
π(π₯)ππ₯ = lim
ββ0
πβοΈ
π=1
π
(οΈ
π + (π β 1)β
)οΈ
Β· β, (2)
where π = (π β π)/β is the number of terms in the sum. The symbols on the
left-hand-side of (2) are read as βthe integral from π to π of f of x dee x.β The
12. 4 CHAPTER 0. A SHORT MATHEMATICAL REVIEW
Riemann Sum definition is extended to all values of π and π and for all values
of π(π₯) (positive and negative). Accordingly,
β«οΈ π
π
π(π₯)ππ₯ = β
β«οΈ π
π
π(π₯)ππ₯ and
β«οΈ π
π
(βπ(π₯))ππ₯ = β
β«οΈ π
π
π(π₯)ππ₯.
Also, if π < π < π, then
β«οΈ π
π
π(π₯)ππ₯ =
β«οΈ π
π
π(π₯)ππ₯ +
β«οΈ π
π
π(π₯)ππ₯,
which states (when π(π₯) > 0) that the total area equals the sum of its parts.
0.7 The fundamental theorem of calculus
view tutorial
Using the definition of the derivative, we differentiate the following integral:
π
ππ₯
β«οΈ π₯
π
π(π )ππ = lim
ββ0
β«οΈ π₯+β
π
π(π )ππ β
β«οΈ π₯
π
π(π )ππ
β
= lim
ββ0
β«οΈ π₯+β
π₯
π(π )ππ
β
= lim
ββ0
βπ(π₯)
β
= π(π₯).
This result is called the fundamental theorem of calculus, and provides a con-
nection between differentiation and integration.
The fundamental theorem teaches us how to integrate functions. Let πΉ(π₯)
be a function such that πΉβ²
(π₯) = π(π₯). We say that πΉ(π₯) is an antiderivative of
π(π₯). Then from the fundamental theorem and the fact that the derivative of a
constant equals zero,
πΉ(π₯) =
β«οΈ π₯
π
π(π )ππ + π.
Now, πΉ(π) = π and πΉ(π) =
β«οΈ π
π
π(π )ππ + πΉ(π). Therefore, the fundamental
theorem shows us how to integrate a function π(π₯) provided we can find its
antiderivative:
β«οΈ π
π
π(π )ππ = πΉ(π) β πΉ(π). (3)
Unfortunately, finding antiderivatives is much harder than finding derivatives,
and indeed, most complicated functions cannot be integrated analytically.
We can also derive the very important result (3) directly from the definition
of the derivative (1) and the definite integral (2). We will see it is convenient
13. 0.8. DEFINITE AND INDEFINITE INTEGRALS 5
to choose the same β in both limits. With πΉβ²
(π₯) = π(π₯), we have
β«οΈ π
π
π(π )ππ =
β«οΈ π
π
πΉβ²
(π )ππ
= lim
ββ0
πβοΈ
π=1
πΉβ²
(οΈ
π + (π β 1)β
)οΈ
Β· β
= lim
ββ0
πβοΈ
π=1
πΉ(π + πβ) β πΉ
(οΈ
π + (π β 1)β
)οΈ
β
Β· β
= lim
ββ0
πβοΈ
π=1
πΉ(π + πβ) β πΉ
(οΈ
π + (π β 1)β
)οΈ
.
The last expression has an interesting structure. All the values of πΉ(π₯) eval-
uated at the points lying between the endpoints π and π cancel each other in
consecutive terms. Only the value βπΉ(π) survives when π = 1, and the value
+πΉ(π) when π = π, yielding again (3).
0.8 Definite and indefinite integrals
The Riemann sum definition of an integral is called a definite integral. It is
convenient to also define an indefinite integral by
β«οΈ
π(π₯)ππ₯ = πΉ(π₯),
where F(x) is the antiderivative of π(π₯).
0.9 Indefinite integrals of elementary functions
From our known derivatives of elementary functions, we can determine some
simple indefinite integrals. The power rule gives us
β«οΈ
π₯ π
ππ₯ =
π₯ π+1
π + 1
+ π, π ΜΈ= β1.
When π = β1, and π₯ is positive, we have
β«οΈ
1
π₯
ππ₯ = ln π₯ + π.
If π₯ is negative, using the chain rule we have
π
ππ₯
ln (βπ₯) =
1
π₯
.
Therefore, since
|π₯| =
{οΈ
βπ₯ if π₯ < 0;
π₯ if π₯ > 0,
we can generalize our indefinite integral to strictly positive or strictly negative
π₯: β«οΈ
1
π₯
ππ₯ = ln |π₯| + π.
14. 6 CHAPTER 0. A SHORT MATHEMATICAL REVIEW
Trigonometric functions can also be integrated:
β«οΈ
cos π₯ππ₯ = sin π₯ + π,
β«οΈ
sin π₯ππ₯ = β cos π₯ + π.
Easily proved identities are an addition rule:
β«οΈ
(οΈ
π(π₯) + π(π₯)
)οΈ
ππ₯ =
β«οΈ
π(π₯)ππ₯ +
β«οΈ
π(π₯)ππ₯;
and multiplication by a constant:
β«οΈ
π΄π(π₯)ππ₯ = π΄
β«οΈ
π(π₯)ππ₯.
This permits integration of functions such as
β«οΈ
(π₯2
+ 7π₯ + 2)ππ₯ =
π₯3
3
+
7π₯2
2
+ 2π₯ + π,
and β«οΈ
(5 cos π₯ + sin π₯)ππ₯ = 5 sin π₯ β cos π₯ + π.
0.10 Substitution
More complicated functions can be integrated using the chain rule. Since
π
ππ₯
π
(οΈ
π(π₯)
)οΈ
= πβ²
(οΈ
π(π₯)
)οΈ
Β· πβ²
(π₯),
we have β«οΈ
πβ²
(οΈ
π(π₯)
)οΈ
Β· πβ²
(π₯)ππ₯ = π
(οΈ
π(π₯)
)οΈ
+ π.
This integration formula is usually implemented by letting π¦ = π(π₯). Then one
writes ππ¦ = πβ²
(π₯)ππ₯ to obtain
β«οΈ
πβ²
(οΈ
π(π₯)
)οΈ
πβ²
(π₯)ππ₯ =
β«οΈ
πβ²
(π¦)ππ¦
= π(π¦) + π
= π
(οΈ
π(π₯)
)οΈ
+ π.
0.11 Integration by parts
Another integration technique makes use of the product rule for differentiation.
Since
(π π)β²
= πβ²
π + π πβ²
,
we have
πβ²
π = (π π)β²
β π πβ²
.
Therefore, β«οΈ
πβ²
(π₯)π(π₯)ππ₯ = π(π₯)π(π₯) β
β«οΈ
π(π₯)πβ²
(π₯)ππ₯.
15. 0.12. TAYLOR SERIES 7
Commonly, the above integral is done by writing
π’ = π(π₯) ππ£ = πβ²
(π₯)ππ₯
ππ’ = πβ²
(π₯)ππ₯ π£ = π(π₯).
Then, the formula to be memorized is
β«οΈ
π’ππ£ = π’π£ β
β«οΈ
π£ππ’.
0.12 Taylor series
A Taylor series of a function π(π₯) about a point π₯ = π is a power series rep-
resentation of π(π₯) developed so that all the derivatives of π(π₯) at π match all
the derivatives of the power series. Without worrying about convergence here,
we have
π(π₯) = π(π) + πβ²
(π)(π₯ β π) +
πβ²β²
(π)
2!
(π₯ β π)2
+
πβ²β²β²
(π)
3!
(π₯ β π)3
+ . . . .
Notice that the first term in the power series matches π(π), all other terms
vanishing, the second term matches πβ²
(π), all other terms vanishing, etc. Com-
monly, the Taylor series is developed with π = 0. We will also make use of the
Taylor series in a slightly different form, with π₯ = π₯* + π and π = π₯*:
π(π₯* + π) = π(π₯*) + πβ²
(π₯*)π +
πβ²β²
(π₯*)
2!
π2
+
πβ²β²β²
(π₯*)
3!
π3
+ . . . .
Another way to view this series is that of π(π) = π(π₯* + π), expanded about
π = 0.
Taylor series that are commonly used include
π π₯
= 1 + π₯ +
π₯2
2!
+
π₯3
3!
+ . . . ,
sin π₯ = π₯ β
π₯3
3!
+
π₯5
5!
β . . . ,
cos π₯ = 1 β
π₯2
2!
+
π₯4
4!
β . . . ,
1
1 + π₯
= 1 β π₯ + π₯2
β . . . , for |π₯| < 1,
ln (1 + π₯) = π₯ β
π₯2
2
+
π₯3
3
β . . . , for |π₯| < 1.
A Taylor series of a function of several variables can also be developed. Here,
all partial derivatives of π(π₯, π¦) at (π, π) match all the partial derivatives of the
power series. With the notation
π π₯ =
ππ
ππ₯
, π π¦ =
ππ
ππ¦
, π π₯π₯ =
π2
π
ππ₯2
, π π₯π¦ =
π2
π
ππ₯ππ¦
, π π¦π¦ =
π2
π
ππ¦2
, etc.,
we have
π(π₯, π¦) = π(π, π) + π π₯(π, π)(π₯ β π) + π π¦(π, π)(π¦ β π)
+
1
2!
(οΈ
π π₯π₯(π, π)(π₯ β π)2
+ 2π π₯π¦(π, π)(π₯ β π)(π¦ β π) + π π¦π¦(π, π)(π¦ β π)2
)οΈ
+ . . .
16. 8 CHAPTER 0. A SHORT MATHEMATICAL REVIEW
0.13 Complex numbers
view tutorial: Complex Numbers
view tutorial: Complex Exponential Function
We define the imaginary number π to be one of the two numbers that satisfies
the rule (π)2
= β1, the other number being βπ. Formally, we write π =
β
β1. A
complex number π§ is written as
π§ = π₯ + ππ¦,
where π₯ and π¦ are real numbers. We call π₯ the real part of π§ and π¦ the imaginary
part and write
π₯ = Re π§, π¦ = Im π§.
Two complex numbers are equal if and only if their real and imaginary parts
are equal.
The complex conjugate of π§ = π₯ + ππ¦, denoted as Β―π§, is defined as
Β―π§ = π₯ β ππ¦.
Using π§ and Β―π§, we have
Re π§ =
1
2
(π§ + Β―π§) , Im π§ =
1
2π
(π§ β Β―π§) .
Furthermore,
π§Β―π§ = (π₯ + ππ¦)(π₯ β ππ¦)
= π₯2
β π2
π¦2
= π₯2
+ π¦2
;
and we define the absolute value of π§, also called the modulus of π§, by
|π§| = (π§Β―π§)1/2
=
βοΈ
π₯2 + π¦2.
We can add, subtract, multiply and divide complex numbers to get new
complex numbers. With π§ = π₯ + ππ¦ and π€ = π + ππ‘, and π₯, π¦, π , π‘ real numbers,
we have
π§ + π€ = (π₯ + π ) + π(π¦ + π‘); π§ β π€ = (π₯ β π ) + π(π¦ β π‘);
π§π€ = (π₯ + ππ¦)(π + ππ‘)
= (π₯π β π¦π‘) + π(π₯π‘ + π¦π );
π§
π€
=
π§ Β―π€
π€ Β―π€
=
(π₯ + ππ¦)(π β ππ‘)
π 2 + π‘2
=
(π₯π + π¦π‘)
π 2 + π‘2
+ π
(π¦π β π₯π‘)
π 2 + π‘2
.
17. 0.13. COMPLEX NUMBERS 9
Furthermore,
|π§π€| =
βοΈ
(π₯π β π¦π‘)2 + (π₯π‘ + π¦π )2
=
βοΈ
(π₯2 + π¦2)(π 2 + π‘2)
= |π§||π€|;
and
π§π€ = (π₯π β π¦π‘) β π(π₯π‘ + π¦π )
= (π₯ β ππ¦)(π β ππ‘)
= Β―π§ Β―π€.
Similarly
β
β
β
π§
π€
β
β
β =
|π§|
|π€|
, (
π§
π€
) =
Β―π§
Β―π€
.
Also, π§ + π€ = π§ + π€. However, |π§ + π€| β€ |π§| + |π€|, a theorem known as the
triangle inequality.
It is especially interesting and useful to consider the exponential function of
an imaginary argument. Using the Taylor series expansion of an exponential
function, we have
πππ
= 1 + (ππ) +
(ππ)2
2!
+
(ππ)3
3!
+
(ππ)4
4!
+
(ππ)5
5!
. . .
=
(οΈ
1 β
π2
2!
+
π4
4!
β . . .
)οΈ
+ π
(οΈ
π β
π3
3!
+
π5
5!
+ . . .
)οΈ
= cos π + π sin π.
Therefore, we have
cos π = Re πππ
, sin π = Im πππ
.
Since cos π = β1 and sin π = 0, we derive the celebrated Eulerβs identity
πππ
+ 1 = 0,
that links five fundamental numbers, 0, 1, π, π and π, using three basic mathe-
matical operations, addition, multiplication and exponentiation, only once.
Using the even property cos (βπ) = cos π and the odd property sin (βπ) =
β sin π, we also have
πβππ
= cos π β π sin π;
and the identities for πππ
and πβππ
results in the frequently used expressions,
cos π =
πππ
+ πβππ
2
, sin π =
πππ
β πβππ
2π
.
The complex number π§ can be represented in the complex plane with Re π§
as the π₯-axis and Im π§ as the π¦-axis. This leads to the polar representation of
π§ = π₯ + ππ¦:
π§ = ππππ
,
where π = |π§| and tan π = π¦/π₯. We define arg π§ = π. Note that π is not unique,
though it is conventional to choose the value such that βπ < π β€ π, and π = 0
when π = 0.
18. 10 CHAPTER 0. A SHORT MATHEMATICAL REVIEW
Useful trigonometric relations can be derived using πππ
and properties of the
exponential function. The addition law can be derived from
ππ(π₯+π¦)
= πππ₯
πππ¦
.
We have
cos(π₯ + π¦) + π sin(π₯ + π¦) = (cos π₯ + π sin π₯)(cos π¦ + π sin π¦)
= (cos π₯ cos π¦ β sin π₯ sin π¦) + π(sin π₯ cos π¦ + cos π₯ sin π¦);
yielding
cos(π₯ + π¦) = cos π₯ cos π¦ β sin π₯ sin π¦, sin(π₯ + π¦) = sin π₯ cos π¦ + cos π₯ sin π¦.
De Moivreβs Theorem derives from ππππ
= (πππ
) π
, yielding the identity
cos(ππ) + π sin(ππ) = (cos π + π sin π) π
.
For example, if π = 2, we derive
cos 2π + π sin 2π = (cos π + π sin π)2
= (cos2
π β sin2
π) + 2π cos π sin π.
Therefore,
cos 2π = cos2
π β sin2
π, sin 2π = 2 cos π sin π.
With a little more manipulation using cos2
π + sin2
π = 1, we can derive
cos2
π =
1 + cos 2π
2
, sin2
π =
1 β cos 2π
2
,
which are useful formulas for determining
β«οΈ
cos2
π ππ =
1
4
(2π + sin 2π) + π,
β«οΈ
sin2
π ππ =
1
4
(2π β sin 2π) + π,
from which follows
β«οΈ 2π
0
sin2
π ππ =
β«οΈ 2π
0
cos2
π ππ = π.
19. Chapter 1
Introduction to odes
A differential equation is an equation for a function that relates the values of
the function to the values of its derivatives. An ordinary differential equation
(ode) is a differential equation for a function of a single variable, e.g., π₯(π‘), while
a partial differential equation (pde) is a differential equation for a function of
several variables, e.g., π£(π₯, π¦, π§, π‘). An ode contains ordinary derivatives and a
pde contains partial derivatives. Typically, pdeβs are much harder to solve than
odeβs.
1.1 The simplest type of differential equation
view tutorial
The simplest ordinary differential equations can be integrated directly by finding
antiderivatives. These simplest odes have the form
π π
π₯
ππ‘ π
= πΊ(π‘),
where the derivative of π₯ = π₯(π‘) can be of any order, and the right-hand-side
may depend only on the independent variable π‘. As an example, consider a mass
falling under the influence of constant gravity, such as approximately found on
the Earthβs surface. Newtonβs law, πΉ = ππ, results in the equation
π
π2
π₯
ππ‘2
= βππ,
where π₯ is the height of the object above the ground, π is the mass of the
object, and π = 9.8 meter/sec2
is the constant gravitational acceleration. As
Galileo suggested, the mass cancels from the equation, and
π2
π₯
ππ‘2
= βπ.
Here, the right-hand-side of the ode is a constant. The first integration, obtained
by antidifferentiation, yields
ππ₯
ππ‘
= π΄ β ππ‘,
11
20. 12 CHAPTER 1. INTRODUCTION TO ODES
with π΄ the first constant of integration; and the second integration yields
π₯ = π΅ + π΄π‘ β
1
2
ππ‘2
,
with π΅ the second constant of integration. The two constants of integration π΄
and π΅ can then be determined from the initial conditions. If we know that the
initial height of the mass is π₯0, and the initial velocity is π£0, then the initial
conditions are
π₯(0) = π₯0,
ππ₯
ππ‘
(0) = π£0.
Substitution of these initial conditions into the equations for ππ₯/ππ‘ and π₯ allows
us to solve for π΄ and π΅. The unique solution that satisfies both the ode and
the initial conditions is given by
π₯(π‘) = π₯0 + π£0 π‘ β
1
2
ππ‘2
. (1.1)
For example, suppose we drop a ball off the top of a 50 meter building. How
long will it take the ball to hit the ground? This question requires solution of
(1.1) for the time π it takes for π₯(π) = 0, given π₯0 = 50 meter and π£0 = 0.
Solving for π,
π =
βοΈ
2π₯0
π
=
βοΈ
2 Β· 50
9.8
sec
β 3.2sec.
21. Chapter 2
First-order differential
equations
Reference: Boyce and DiPrima, Chapter 2
The general first-order differential equation for the function π¦ = π¦(π₯) is written
as
ππ¦
ππ₯
= π(π₯, π¦), (2.1)
where π(π₯, π¦) can be any function of the independent variable π₯ and the depen-
dent variable π¦. We first show how to determine a numerical solution of this
equation, and then learn techniques for solving analytically some special forms
of (2.1), namely, separable and linear first-order equations.
2.1 The Euler method
view tutorial
Although it is not always possible to find an analytical solution of (2.1) for
π¦ = π¦(π₯), it is always possible to determine a unique numerical solution given
an initial value π¦(π₯0) = π¦0, and provided π(π₯, π¦) is a well-behaved function.
The differential equation (2.1) gives us the slope π(π₯0, π¦0) of the tangent line
to the solution curve π¦ = π¦(π₯) at the point (π₯0, π¦0). With a small step size
Ξπ₯, the initial condition (π₯0, π¦0) can be marched forward in the x-coordinate
to π₯ = π₯0 + Ξπ₯, and along the tangent line using Eulerβs method to obtain the
y-coordinate
π¦(π₯0 + Ξπ₯) = π¦(π₯0) + Ξπ₯π(π₯0, π¦0).
This solution (π₯0 + Ξπ₯, π¦0 + Ξπ¦) then becomes the new initial condition and is
marched forward in the x-coordinate another Ξπ₯, and along the newly deter-
mined tangent line. For small enough Ξπ₯, the numerical solution converges to
the exact solution.
13
22. 14 CHAPTER 2. FIRST-ORDER ODES
2.2 Separable equations
view tutorial
A first-order ode is separable if it can be written in the form
π(π¦)
ππ¦
ππ₯
= π(π₯), π¦(π₯0) = π¦0, (2.2)
where the function π(π¦) is independent of π₯ and π(π₯) is independent of π¦. Inte-
gration from π₯0 to π₯ results in
β«οΈ π₯
π₯0
π(π¦(π₯))π¦β²
(π₯)ππ₯ =
β«οΈ π₯
π₯0
π(π₯)ππ₯.
The integral on the left can be transformed by substituting π’ = π¦(π₯), ππ’ =
π¦β²
(π₯)ππ₯, and changing the lower and upper limits of integration to π¦(π₯0) = π¦0
and π¦(π₯) = π¦. Therefore,
β«οΈ π¦
π¦0
π(π’)ππ’ =
β«οΈ π₯
π₯0
π(π₯)ππ₯,
and since π’ is a dummy variable of integration, we can write this in the equivalent
form β«οΈ π¦
π¦0
π(π¦)ππ¦ =
β«οΈ π₯
π₯0
π(π₯)ππ₯. (2.3)
A simpler procedure that also yields (2.3) is to treat ππ¦/ππ₯ in (2.2) like a fraction.
Multiplying (2.2) by ππ₯ results in
π(π¦)ππ¦ = π(π₯)ππ₯,
which is a separated equation with all the dependent variables on the left-side,
and all the independent variables on the right-side. Equation (2.3) then results
directly upon integration.
Example: Solve ππ¦
ππ₯ + 1
2 π¦ = 3
2 , with π¦(0) = 2.
We first manipulate the differential equation to the form
ππ¦
ππ₯
=
1
2
(3 β π¦), (2.4)
and then treat ππ¦/ππ₯ as if it was a fraction to separate variables:
ππ¦
3 β π¦
=
1
2
ππ₯.
We integrate the right-side from the initial condition π₯ = 0 to π₯ and the left-side
from the initial condition π¦(0) = 2 to π¦. Accordingly,
β«οΈ π¦
2
ππ¦
3 β π¦
=
1
2
β«οΈ π₯
0
ππ₯. (2.5)
23. 2.2. SEPARABLE EQUATIONS 15
0 1 2 3 4 5 6 7
0
1
2
3
4
5
6
x
y
dy/dx + y/2 = 3/2
Figure 2.1: Solution of the following ode: ππ¦
ππ₯ + 1
2 π¦ = 3
2 .
The integrals in (2.5) need to be done. Note that π¦(π₯) < 3 for finite π₯ or the
integral on the left-side diverges. Therefore, 3 β π¦ > 0 and integration yields
β ln (3 β π¦)
]οΈ π¦
2
=
1
2
π₯
]οΈ π₯
0
,
ln (3 β π¦) = β
1
2
π₯,
3 β π¦ = πβ 1
2 π₯
,
π¦ = 3 β πβ 1
2 π₯
.
Since this is our first nontrivial analytical solution, it is prudent to check our
result. We do this by differentiating our solution:
ππ¦
ππ₯
=
1
2
πβ 1
2 π₯
=
1
2
(3 β π¦);
and checking the initial conditions, π¦(0) = 3 β π0
= 2. Therefore, our solution
satisfies both the original ode and the initial condition.
Example: Solve ππ¦
ππ₯ + 1
2 π¦ = 3
2 , with π¦(0) = 4.
This is the identical differential equation as before, but with different initial
conditions. We will jump directly to the integration step:
β«οΈ π¦
4
ππ¦
3 β π¦
=
1
2
β«οΈ π₯
0
ππ₯.
24. 16 CHAPTER 2. FIRST-ORDER ODES
Now π¦(π₯) > 3, so that π¦ β 3 > 0 and integration yields
β ln (π¦ β 3)
]οΈ π¦
4
=
1
2
π₯
]οΈ π₯
0
,
ln (π¦ β 3) = β
1
2
π₯,
π¦ β 3 = πβ 1
2 π₯
,
π¦ = 3 + πβ 1
2 π₯
.
The solution curves for a range of initial conditions is presented in Fig. 2.1.
All solutions have a horizontal asymptote at π¦ = 3 at which ππ¦/ππ₯ = 0. For
π¦(0) = π¦0, the general solution can be shown to be π¦(π₯) = 3+(π¦0β3) exp(βπ₯/2).
Example: Solve ππ¦
ππ₯ = 2 cos 2π₯
3+2π¦ , with π¦(0) = β1. (i) For what values of
π₯ > 0 does the solution exist? (ii) For what value of π₯ > 0 is π¦(π₯)
maximum?
Notice that the solution of the ode may not exist when π¦ = β3/2, since ππ¦/ππ₯ β
β. We separate variables and integrate from initial conditions:
(3 + 2π¦)ππ¦ = 2 cos 2π₯ ππ₯
β«οΈ π¦
β1
(3 + 2π¦)ππ¦ = 2
β«οΈ π₯
0
cos 2π₯ ππ₯
3π¦ + π¦2
]οΈ π¦
β1
= sin 2π₯
]οΈ π₯
0
π¦2
+ 3π¦ + 2 β sin 2π₯ = 0
π¦Β± =
1
2
[β3 Β±
β
1 + 4 sin 2π₯].
Solving the quadratic equation for π¦ has introduced a spurious solution that
does not satisfy the initial conditions. We test:
π¦Β±(0) =
1
2
[β3 Β± 1] =
{οΈ
-1;
-2.
Only the + root satisfies the initial condition, so that the unique solution to the
ode and initial condition is
π¦ =
1
2
[β3 +
β
1 + 4 sin 2π₯]. (2.6)
To determine (i) the values of π₯ > 0 for which the solution exists, we require
1 + 4 sin 2π₯ β₯ 0,
or
sin 2π₯ β₯ β
1
4
. (2.7)
Notice that at π₯ = 0, we have sin 2π₯ = 0; at π₯ = π/4, we have sin 2π₯ = 1;
at π₯ = π/2, we have sin 2π₯ = 0; and at π₯ = 3π/4, we have sin 2π₯ = β1 We
therefore need to determine the value of π₯ such that sin 2π₯ = β1/4, with π₯ in
the range π/2 < π₯ < 3π/4. The solution to the ode will then exist for all π₯
between zero and this value.
25. 2.3. LINEAR EQUATIONS 17
0 0.5 1 1.5
β1.6
β1.4
β1.2
β1
β0.8
β0.6
β0.4
β0.2
0
x
y
(3+2y) dy/dx = 2 cos 2x, y(0) = β1
Figure 2.2: Solution of the following ode: (3 + 2π¦)π¦β²
= 2 cos 2π₯, π¦(0) = β1.
To solve sin 2π₯ = β1/4 for π₯ in the interval π/2 < π₯ < 3π/4, one needs to
recall the definition of arcsin, or sinβ1
, as found on a typical scientific calculator.
The inverse of the function
π(π₯) = sin π₯, βπ/2 β€ π₯ β€ π/2
is denoted by arcsin. The first solution with π₯ > 0 of the equation sin 2π₯ = β1/4
places 2π₯ in the interval (π, 3π/2), so to invert this equation using the arcsine
we need to apply the identity sin (π β π₯) = sin π₯, and rewrite sin 2π₯ = β1/4 as
sin (π β 2π₯) = β1/4. The solution of this equation may then be found by taking
the arcsine, and is
π β 2π₯ = arcsin (β1/4),
or
π₯ =
1
2
(οΈ
π + arcsin
1
4
)οΈ
.
Therefore the solution exists for 0 β€ π₯ β€ (π + arcsin (1/4)) /2 = 1.6971 . . . ,
where we have used a calculator value (computing in radians) to find arcsin(0.25) =
0.2527 . . . . At the value (π₯, π¦) = (1.6971 . . . , β3/2), the solution curve ends and
ππ¦/ππ₯ becomes infinite.
To determine (ii) the value of π₯ at which π¦ = π¦(π₯) is maximum, we examine
(2.6) directly. The value of π¦ will be maximum when sin 2π₯ takes its maximum
value over the interval where the solution exists. This will be when 2π₯ = π/2,
or π₯ = π/4 = 0.7854 . . . .
The graph of π¦ = π¦(π₯) is shown in Fig. 2.2.
2.3 Linear equations
view tutorial
26. 18 CHAPTER 2. FIRST-ORDER ODES
The first-order linear differential equation (linear in π¦ and its derivative) can be
written in the form
ππ¦
ππ₯
+ π(π₯)π¦ = π(π₯), (2.8)
with the initial condition π¦(π₯0) = π¦0. Linear first-order equations can be inte-
grated using an integrating factor π(π₯). We multiply (2.8) by π(π₯),
π(π₯)
[οΈ
ππ¦
ππ₯
+ π(π₯)π¦
]οΈ
= π(π₯)π(π₯), (2.9)
and try to determine π(π₯) so that
π(π₯)
[οΈ
ππ¦
ππ₯
+ π(π₯)π¦
]οΈ
=
π
ππ₯
[π(π₯)π¦]. (2.10)
Equation (2.9) then becomes
π
ππ₯
[π(π₯)π¦] = π(π₯)π(π₯). (2.11)
Equation (2.11) is easily integrated using π(π₯0) = π0 and π¦(π₯0) = π¦0:
π(π₯)π¦ β π0 π¦0 =
β«οΈ π₯
π₯0
π(π₯)π(π₯)ππ₯,
or
π¦ =
1
π(π₯)
(οΈ
π0 π¦0 +
β«οΈ π₯
π₯0
π(π₯)π(π₯)ππ₯
)οΈ
. (2.12)
It remains to determine π(π₯) from (2.10). Differentiating and expanding (2.10)
yields
π
ππ¦
ππ₯
+ πππ¦ =
ππ
ππ₯
π¦ + π
ππ¦
ππ₯
;
and upon simplifying,
ππ
ππ₯
= ππ. (2.13)
Equation (2.13) is separable and can be integrated:
β«οΈ π
π0
ππ
π
=
β«οΈ π₯
π₯0
π(π₯)ππ₯,
ln
π
π0
=
β«οΈ π₯
π₯0
π(π₯)ππ₯,
π(π₯) = π0 exp
(οΈβ«οΈ π₯
π₯0
π(π₯)ππ₯
)οΈ
.
Notice that since π0 cancels out of (2.12), it is customary to assign π0 = 1. The
solution to (2.8) satisfying the initial condition π¦(π₯0) = π¦0 is then commonly
written as
π¦ =
1
π(π₯)
(οΈ
π¦0 +
β«οΈ π₯
π₯0
π(π₯)π(π₯)ππ₯
)οΈ
,
with
π(π₯) = exp
(οΈβ«οΈ π₯
π₯0
π(π₯)ππ₯
)οΈ
the integrating factor. This important result finds frequent use in applied math-
ematics.
27. 2.3. LINEAR EQUATIONS 19
Example: Solve ππ¦
ππ₯ + 2π¦ = πβπ₯
, with π¦(0) = 3/4.
Note that this equation is not separable. With π(π₯) = 2 and π(π₯) = πβπ₯
, we
have
π(π₯) = exp
(οΈβ«οΈ π₯
0
2ππ₯
)οΈ
= π2π₯
,
and
π¦ = πβ2π₯
(οΈ
3
4
+
β«οΈ π₯
0
π2π₯
πβπ₯
ππ₯
)οΈ
= πβ2π₯
(οΈ
3
4
+
β«οΈ π₯
0
π π₯
ππ₯
)οΈ
= πβ2π₯
(οΈ
3
4
+ (π π₯
β 1)
)οΈ
= πβ2π₯
(οΈ
π π₯
β
1
4
)οΈ
= πβπ₯
(οΈ
1 β
1
4
πβπ₯
)οΈ
.
Example: Solve ππ¦
ππ₯ β 2π₯π¦ = π₯, with π¦(0) = 0.
This equation is separable, and we solve it in two ways. First, using an inte-
grating factor with π(π₯) = β2π₯ and π(π₯) = π₯:
π(π₯) = exp
(οΈ
β2
β«οΈ π₯
0
π₯ππ₯
)οΈ
= πβπ₯2
,
and
π¦ = π π₯2
β«οΈ π₯
0
π₯πβπ₯2
ππ₯.
The integral can be done by substitution with π’ = π₯2
, ππ’ = 2π₯ππ₯:
β«οΈ π₯
0
π₯πβπ₯2
ππ₯ =
1
2
β«οΈ π₯2
0
πβπ’
ππ’
= β
1
2
πβπ’
]οΈ π₯2
0
=
1
2
(οΈ
1 β πβπ₯2
)οΈ
.
Therefore,
π¦ =
1
2
π π₯2
(οΈ
1 β πβπ₯2
)οΈ
=
1
2
(οΈ
π π₯2
β 1
)οΈ
.
28. 20 CHAPTER 2. FIRST-ORDER ODES
Second, we integrate by separating variables:
ππ¦
ππ₯
β 2π₯π¦ = π₯,
ππ¦
ππ₯
= π₯(1 + 2π¦),
β«οΈ π¦
0
ππ¦
1 + 2π¦
=
β«οΈ π₯
0
π₯ππ₯,
1
2
ln (1 + 2π¦) =
1
2
π₯2
,
1 + 2π¦ = π π₯2
,
π¦ =
1
2
(οΈ
π π₯2
β 1
)οΈ
.
The results from the two different solution methods are the same, and the choice
of method is a personal preference.
2.4 Applications
2.4.1 Compound interest
view tutorial
The equation for the growth of an investment with continuous compounding
of interest is a first-order differential equation. Let π(π‘) be the value of the
investment at time π‘, and let π be the annual interest rate compounded after
every time interval Ξπ‘. We can also include deposits (or withdrawals). Let π be
the annual deposit amount, and suppose that an installment is deposited after
every time interval Ξπ‘. The value of the investment at the time π‘ + Ξπ‘ is then
given by
π(π‘ + Ξπ‘) = π(π‘) + (πΞπ‘)π(π‘) + πΞπ‘, (2.14)
where at the end of the time interval Ξπ‘, πΞπ‘π(π‘) is the amount of interest
credited and πΞπ‘ is the amount of money deposited (π > 0) or withdrawn
(π < 0). As a numerical example, if the account held $10,000 at time π‘, and
π = 6% per year and π = $12,000 per year, say, and the compounding and
deposit period is Ξπ‘ = 1 month = 1/12 year, then the interest awarded after
one month is πΞπ‘π = (0.06/12) Γ $10,000 = $50, and the amount deposited is
πΞπ‘ = $1000.
Rearranging the terms of (2.14) to exhibit what will soon become a deriva-
tive, we have
π(π‘ + Ξπ‘) β π(π‘)
Ξπ‘
= ππ(π‘) + π.
The equation for continuous compounding of interest and continuous deposits
is obtained by taking the limit Ξπ‘ β 0. The resulting differential equation is
ππ
ππ‘
= ππ + π, (2.15)
which can solved with the initial condition π(0) = π0, where π0 is the initial
capital. We can solve either by separating variables or by using an integrating
29. 2.4. APPLICATIONS 21
factor; I solve here by separating variables. Integrating from π‘ = 0 to a final
time π‘,
β«οΈ π
π0
ππ
ππ + π
=
β«οΈ π‘
0
ππ‘,
1
π
ln
(οΈ
ππ + π
ππ0 + π
)οΈ
= π‘,
ππ + π = (ππ0 + π)π ππ‘
,
π =
ππ0 π ππ‘
+ ππ ππ‘
β π
π
,
π = π0 π ππ‘
+
π
π
π ππ‘
(οΈ
1 β πβππ‘
)οΈ
, (2.16)
where the first term on the right-hand side of (2.16) comes from the initial
invested capital, and the second term comes from the deposits (or withdrawals).
Evidently, compounding results in the exponential growth of an investment.
As a practical example, we can analyze a simple retirement plan. It is
easiest to assume that all amounts and returns are in real dollars (adjusted for
inflation). Suppose a 25 year-old plans to set aside a fixed amount every year of
his/her working life, invests at a real return of 6%, and retires at age 65. How
much must he/she invest each year to have $8,000,000 at retirement? We need
to solve (2.16) for π using π‘ = 40 years, π(π‘) = $8,000,000, π0 = 0, and π = 0.06
per year. We have
π =
ππ(π‘)
π ππ‘ β 1
,
π =
0.06 Γ 8,000,000
π0.06Γ40 β 1
,
= $47,889 yearβ1
.
To have saved approximately one million US$ at retirement, the worker would
need to save about HK$50,000 per year over his/her working life. Note that the
amount saved over the workerβs life is approximately 40Γ$50,000 = $2,000,000,
while the amount earned on the investment (at the assumed 6% real return) is
approximately $8,000,000 β $2,000,000 = $6,000,000. The amount earned from
the investment is about 3Γ the amount saved, even with the modest real return
of 6%. Sound investment planning is well worth the effort.
2.4.2 Chemical reactions
Suppose that two chemicals π΄ and π΅ react to form a product πΆ, which we write
as
π΄ + π΅
π
β πΆ,
where π is called the rate constant of the reaction. For simplicity, we will use
the same symbol πΆ, say, to refer to both the chemical πΆ and its concentration.
The law of mass action says that ππΆ/ππ‘ is proportional to the product of the
concentrations π΄ and π΅, with proportionality constant π; that is,
ππΆ
ππ‘
= ππ΄π΅. (2.17)
30. 22 CHAPTER 2. FIRST-ORDER ODES
Similarly, the law of mass action enables us to write equations for the time-
derivatives of the reactant concentrations π΄ and π΅:
ππ΄
ππ‘
= βππ΄π΅,
ππ΅
ππ‘
= βππ΄π΅. (2.18)
The ode given by (2.17) can be solved analytically using conservation laws. We
assume that π΄0 and π΅0 are the initial concentrations of the reactants, and that
no product is initially present. From (2.17) and (2.18),
π
ππ‘
(π΄ + πΆ) = 0 =β π΄ + πΆ = π΄0,
π
ππ‘
(π΅ + πΆ) = 0 =β π΅ + πΆ = π΅0.
Using these conservation laws, (2.17) becomes
ππΆ
ππ‘
= π(π΄0 β πΆ)(π΅0 β πΆ), πΆ(0) = 0,
which is a nonlinear equation that may be integrated by separating variables.
Separating and integrating, we obtain
β«οΈ πΆ
0
ππΆ
(π΄0 β πΆ)(π΅0 β πΆ)
= π
β«οΈ π‘
0
ππ‘
= ππ‘. (2.19)
The remaining integral can be done using the method of partial fractions. We
write
1
(π΄0 β πΆ)(π΅0 β πΆ)
=
π
π΄0 β πΆ
+
π
π΅0 β πΆ
. (2.20)
The cover-up method is the simplest method to determine the unknown coeffi-
cients π and π. To determine π, we multiply both sides of (2.20) by π΄0 β πΆ and
set πΆ = π΄0 to find
π =
1
π΅0 β π΄0
.
Similarly, to determine π, we multiply both sides of (2.20) by π΅0 β πΆ and set
πΆ = π΅0 to find
π =
1
π΄0 β π΅0
.
Therefore,
1
(π΄0 β πΆ)(π΅0 β πΆ)
=
1
π΅0 β π΄0
(οΈ
1
π΄0 β πΆ
β
1
π΅0 β πΆ
)οΈ
,
and the remaining integral of (2.19) becomes (using πΆ < π΄0, π΅0)
β«οΈ πΆ
0
ππΆ
(π΄0 β πΆ)(π΅0 β πΆ)
=
1
π΅0 β π΄0
(οΈβ«οΈ πΆ
0
ππΆ
π΄0 β πΆ
β
β«οΈ πΆ
0
ππΆ
π΅0 β πΆ
)οΈ
=
1
π΅0 β π΄0
(οΈ
β ln
(οΈ
π΄0 β πΆ
π΄0
)οΈ
+ ln
(οΈ
π΅0 β πΆ
π΅0
)οΈ)οΈ
=
1
π΅0 β π΄0
ln
(οΈ
π΄0(π΅0 β πΆ)
π΅0(π΄0 β πΆ)
)οΈ
.
31. 2.4. APPLICATIONS 23
Using this integral in (2.19), multiplying by (π΅0 β π΄0) and exponentiating, we
obtain
π΄0(π΅0 β πΆ)
π΅0(π΄0 β πΆ)
= π(π΅0βπ΄0)ππ‘
.
Solving for πΆ, we finally obtain
πΆ(π‘) = π΄0 π΅0
π(π΅0βπ΄0)ππ‘
β 1
π΅0 π(π΅0βπ΄0)ππ‘ β π΄0
,
which appears to be a complicated expression, but has the simple limits
lim
π‘ββ
πΆ(π‘) =
{οΈ
π΄0, if π΄0 < π΅0,
π΅0, if π΅0 < π΄0
= min(π΄0, π΅0).
As one would expect, the reaction stops after one of the reactants is depleted;
and the final concentration of product is equal to the initial concentration of
the depleted reactant.
2.4.3 Terminal velocity
view tutorial
Using Newtonβs law, we model a mass π free falling under gravity but with
air resistance. We assume that the force of air resistance is proportional to the
speed of the mass and opposes the direction of motion. We define the π₯-axis to
point in the upward direction, opposite the force of gravity. Near the surface
of the Earth, the force of gravity is approximately constant and is given by
βππ, with π = 9.8 m/s2
the usual gravitational acceleration. The force of air
resistance is modeled by βππ£, where π£ is the vertical velocity of the mass and
π is a positive constant. When the mass is falling, π£ < 0 and the force of air
resistance is positive, pointing upward and opposing the motion. The total force
on the mass is therefore given by πΉ = βππ β ππ£. With πΉ = ππ and π = ππ£/ππ‘,
we obtain the differential equation
π
ππ£
ππ‘
= βππ β ππ£. (2.21)
The terminal velocity π£β of the mass is defined as the asymptotic velocity after
air resistance balances the gravitational force. When the mass is at terminal
velocity, ππ£/ππ‘ = 0 so that
π£β = β
ππ
π
. (2.22)
The approach to the terminal velocity of a mass initially at rest is obtained by
solving (2.21) with initial condition π£(0) = 0. The equation is both linear and
32. 24 CHAPTER 2. FIRST-ORDER ODES
separable, and I solve by separating variables:
π
β«οΈ π£
0
ππ£
ππ + ππ£
= β
β«οΈ π‘
0
ππ‘,
π
π
ln
(οΈ
ππ + ππ£
ππ
)οΈ
= βπ‘,
1 +
ππ£
ππ
= πβππ‘/π
,
π£ = β
ππ
π
(οΈ
1 β πβππ‘/π
)οΈ
.
Therefore, π£ = π£β
(οΈ
1 β πβππ‘/π
)οΈ
, and π£ approaches π£β as the exponential term
decays to zero.
As an example, a skydiver of mass π = 100 kg with his parachute closed
may have a terminal velocity of 200 km/hr. With
π = (9.8 m/s
2
)(10β3
km/m)(60 s/min)2
(60 min/hr)2
= 127, 008 km/hr
2
,
one obtains from (2.22), π = 63, 504 kg/hr. One-half of the terminal velocity
for free-fall (100 km/hr) is therefore attained when (1 β πβππ‘/π
) = 1/2, or π‘ =
π ln 2/π β 4 sec. Approximately 95% of the terminal velocity (190 km/hr ) is
attained after 17 sec.
2.4.4 Escape velocity
view tutorial
An interesting physical problem is to find the smallest initial velocity for a
mass on the Earthβs surface to escape from the Earthβs gravitational field, the
so-called escape velocity. Newtonβs law of universal gravitation asserts that the
gravitational force between two massive bodies is proportional to the product of
the two masses and inversely proportional to the square of the distance between
them. For a mass π a position π₯ above the surface of the Earth, the force on
the mass is given by
πΉ = βπΊ
π π
(π + π₯)2
,
where π and π are the mass and radius of the Earth and πΊ is the gravitational
constant. The minus sign means the force on the mass π points in the direction
of decreasing π₯. The approximately constant acceleration π on the Earthβs
surface corresponds to the absolute value of πΉ/π when π₯ = 0:
π =
πΊπ
π 2
,
and π β 9.8 m/s2
. Newtonβs law πΉ = ππ for the mass π is thus given by
π2
π₯
ππ‘2
= β
πΊπ
(π + π₯)2
= β
π
(1 + π₯/π )2
, (2.23)
where the radius of the Earth is known to be π β 6350 km.
33. 2.4. APPLICATIONS 25
A useful trick allows us to solve this second-order differential equation as
a first-order equation. First, note that π2
π₯/ππ‘2
= ππ£/ππ‘. If we write π£(π‘) =
π£(π₯(π‘))βconsidering the velocity of the mass π to be a function of its distance
above the Earthβwe have using the chain rule
ππ£
ππ‘
=
ππ£
ππ₯
ππ₯
ππ‘
= π£
ππ£
ππ₯
,
where we have used π£ = ππ₯/ππ‘. Therefore, (2.23) becomes the first-order ode
π£
ππ£
ππ₯
= β
π
(1 + π₯/π )2
,
which may be solved assuming an initial velocity π£(π₯ = 0) = π£0 when the mass
is shot vertically from the Earthβs surface. Separating variables and integrating,
we obtain β«οΈ π£
π£0
π£ππ£ = βπ
β«οΈ π₯
0
ππ₯
(1 + π₯/π )2
.
The left integral is 1
2 (π£2
β π£2
0), and the right integral can be performed using
the substitution π’ = 1 + π₯/π , ππ’ = ππ₯/π :
β«οΈ π₯
0
ππ₯
(1 + π₯/π )2
= π
β«οΈ 1+π₯/π
1
ππ’
π’2
= β
π
π’
]οΈ1+π₯/π
1
= π β
π 2
π₯ + π
=
π π₯
π₯ + π
.
Therefore,
1
2
(π£2
β π£2
0) = β
ππ π₯
π₯ + π
,
which when multiplied by π is an expression of the conservation of energy (the
change of the kinetic energy of the mass is equal to the change in the potential
energy). Solving for π£2
,
π£2
= π£2
0 β
2ππ π₯
π₯ + π
.
The escape velocity is defined as the minimum initial velocity π£0 such that
the mass can escape to infinity. Therefore, π£0 = π£escape when π£ β 0 as π₯ β β.
Taking this limit, we have
π£2
escape = lim
π₯ββ
2ππ π₯
π₯ + π
= 2ππ .
With π β 6350 km and π = 127 008 km/hr
2
, we determine π£escape =
β
2ππ β
40 000 km/hr. In comparison, the muzzle velocity of a modern high-performance
rifle is 4300 km/hr, almost an order of magnitude too slow for a bullet, shot
into the sky, to escape the Earthβs gravity.
34. 26 CHAPTER 2. FIRST-ORDER ODES
Β
CΒ
Β
R
i
+Β
_Β
(a)Β
(b)
Figure 2.3: RC circuit diagram.
2.4.5 RC circuit
view tutorial
Consider a resister π and a capacitor πΆ connected in series as shown in Fig. 2.3.
A battery providing an electromotive force, or emf β°, connects to this circuit
by a switch. Initially, there is no charge on the capacitor. When the switch
is thrown to a, the battery connects and the capacitor charges. When the
switch is thrown to b, the battery disconnects and the capacitor discharges,
with energy dissipated in the resister. Here, we determine the voltage drop
across the capacitor during charging and discharging.
The equations for the voltage drops across a capacitor and a resister are
given by
π πΆ = π/πΆ, π π = ππ , (2.24)
where πΆ is the capacitance and π is the resistance. The charge π and the current
π are related by
π =
ππ
ππ‘
. (2.25)
Kirchhoffβs voltage law states that the emf β° in any closed loop is equal to
the sum of the voltage drops in that loop. Applying Kirchhoffβs voltage law
when the switch is thrown to a results in
π π + π πΆ = β°. (2.26)
Using (2.24) and (2.25), the voltage drop across the resister can be written in
terms of the voltage drop across the capacitor as
π π = π πΆ
ππ πΆ
ππ‘
,
and (2.26) can be rewritten to yield the first-order linear differential equation
for π π given by
ππ πΆ
ππ‘
+ π πΆ/π πΆ = β°/π πΆ, (2.27)
with initial condition π πΆ(0) = 0.
35. 2.4. APPLICATIONS 27
The integrating factor for this equation is
π(π‘) = π π‘/π πΆ
,
and (2.27) integrates to
π πΆ(π‘) = πβπ‘/π πΆ
β«οΈ π‘
0
(β°/π πΆ)π π‘/π πΆ
ππ‘,
with solution
π πΆ(π‘) = β°
(οΈ
1 β πβπ‘/π πΆ
)οΈ
.
The voltage starts at zero and rises exponentially to β°, with characteristic time
scale given by π πΆ.
When the switch is thrown to b, application of Kirchhoffβs voltage law results
in
π π + π πΆ = 0,
with corresponding differential equation
ππ πΆ
ππ‘
+ π πΆ/π πΆ = 0.
Here, we assume that the capacitance is initially fully charged so that π πΆ(0) = β°.
The solution, then, during the discharge phase is given by
π πΆ(π‘) = β°πβπ‘/π πΆ
.
The voltage starts at β° and decays exponentially to zero, again with character-
istic time scale given by π πΆ.
2.4.6 The logistic equation
view tutorial
Let π = π(π‘) be the size of a population at time π‘ and let π be the growth
rate. The Malthusian growth model (Thomas Malthus, 1766-1834), similar to
a compound interest model, is given by
ππ
ππ‘
= ππ.
Under a Malthusian growth model, a population grows exponentially like
π(π‘) = π0 π ππ‘
,
where π0 is the initial population size. However, when the population growth
is constrained by limited resources, a heuristic modification to the Malthusian
growth model results in the Verhulst equation,
ππ
ππ‘
= ππ
(οΈ
1 β
π
πΎ
)οΈ
, (2.28)
where πΎ is called the carrying capacity of the environment. Making (2.28)
dimensionless using π = ππ‘ and π₯ = π/πΎ leads to the logistic equation,
ππ₯
ππ
= π₯(1 β π₯),
36. 28 CHAPTER 2. FIRST-ORDER ODES
where we may assume the initial condition π₯(0) = π₯0 > 0. Separating variables
and integrating β«οΈ π₯
π₯0
ππ₯
π₯(1 β π₯)
=
β«οΈ π
0
ππ.
The integral on the left-hand-side can be done using the method of partial
fractions:
1
π₯(1 β π₯)
=
π
π₯
+
π
1 β π₯
=
π + (π β π)π₯
π₯(1 β π₯)
;
and equating the coefficients of the numerators proportional to π₯0
and π₯1
, we
have π = π = 1. Therefore,
β«οΈ π₯
π₯0
ππ₯
π₯(1 β π₯)
=
β«οΈ π₯
π₯0
ππ₯
π₯
+
β«οΈ π₯
π₯0
ππ₯
(1 β π₯)
= ln
π₯
π₯0
β ln
1 β π₯
1 β π₯0
= ln
π₯(1 β π₯0)
π₯0(1 β π₯)
= π.
Solving for π₯, we first exponentiate both sides and then isolate π₯:
π₯(1 β π₯0)
π₯0(1 β π₯)
= π π
,
π₯(1 β π₯0) = π₯0 π π
β π₯π₯0 π π
,
π₯(1 β π₯0 + π₯0 π π
) = π₯0 π π
,
π₯ =
π₯0
π₯0 + (1 β π₯0)πβπ
. (2.29)
We observe that for π₯0 > 0, we have lim πββ π₯(π) = 1, corresponding to
lim
π‘ββ
π(π‘) = πΎ.
The population, therefore, grows in size until it reaches the carrying capacity of
its environment.
37. Chapter 3
Second-order linear
differential equations with
constant coefficients
Reference: Boyce and DiPrima, Chapter 3
The general second-order linear differential equation with independent variable
π‘ and dependent variable π₯ = π₯(π‘) is given by
Β¨π₯ + π(π‘) Λπ₯ + π(π‘)π₯ = π(π‘), (3.1)
where we have used the standard physics notation Λπ₯ = ππ₯/ππ‘ and Β¨π₯ = π2
π₯/ππ‘2
.
A unique solution of (3.1) requires initial values π₯(π‘0) = π₯0 and Λπ₯(π‘0) = π’0.
The equation with constant coefficientsβon which we will devote considerable
effortβassumes that π(π‘) and π(π‘) are constants, independent of time. The
second-order linear ode is said to be homogeneous if π(π‘) = 0.
3.1 The Euler method
view tutorial
In general, (3.1) cannot be solved analytically, and we begin by deriving an
algorithm for numerical solution. Consider the general second-order ode given
by
Β¨π₯ = π(π‘, π₯, Λπ₯).
We can write this second-order ode as a pair of first-order odes by defining
π’ = Λπ₯, and writing the first-order system as
Λπ₯ = π’, (3.2)
Λπ’ = π(π‘, π₯, π’). (3.3)
The first ode, (3.2), gives the slope of the tangent line to the curve π₯ = π₯(π‘);
the second ode, (3.3), gives the slope of the tangent line to the curve π’ = π’(π‘).
Beginning at the initial values (π₯, π’) = (π₯0, π’0) at the time π‘ = π‘0, we move
along the tangent lines to determine π₯1 = π₯(π‘0 + Ξπ‘) and π’1 = π’(π‘0 + Ξπ‘):
π₯1 = π₯0 + Ξπ‘π’0,
π’1 = π’0 + Ξπ‘π(π‘0, π₯0, π’0).
29
38. 30 CHAPTER 3. SECOND-ORDER ODES, CONSTANT COEFFICIENTS
The values π₯1 and π’1 at the time π‘1 = π‘0 +Ξπ‘ are then used as new initial values
to march the solution forward to time π‘2 = π‘1 + Ξπ‘. As long as π(π‘, π₯, π’) is a
well-behaved function, the numerical solution converges to the unique solution
of the ode as Ξπ‘ β 0.
3.2 The principle of superposition
view tutorial
Consider the second-order linear homogeneous ode:
Β¨π₯ + π(π‘) Λπ₯ + π(π‘)π₯ = 0; (3.4)
and suppose that π₯ = π1(π‘) and π₯ = π2(π‘) are solutions to (3.4). We consider
a linear combination of π1 and π2 by letting
π(π‘) = π1 π1(π‘) + π2 π2(π‘), (3.5)
with π1 and π2 constants. The principle of superposition states that π₯ = π(π‘)
is also a solution of (3.4). To prove this, we compute
Β¨π + π Λπ + ππ = π1
Β¨π1 + π2
Β¨π2 + π
(οΈ
π1
Λπ1 + π2
Λπ2
)οΈ
+ π (π1 π1 + π2 π2)
= π1
(οΈ
Β¨π1 + π Λπ1 + ππ1
)οΈ
+ π2
(οΈ
Β¨π2 + π Λπ2 + ππ2
)οΈ
= π1 Γ 0 + π2 Γ 0
= 0,
since π1 and π2 were assumed to be solutions of (3.4). We have therefore shown
that any linear combination of solutions to the second-order linear homogeneous
ode is also a solution.
3.3 The Wronskian
view tutorial
Suppose that having determined that two solutions of (3.4) are π₯ = π1(π‘) and
π₯ = π2(π‘), we attempt to write the general solution to (3.4) as (3.5). We must
then ask whether this general solution will be able to satisfy the two initial
conditions given by
π₯(π‘0) = π₯0, Λπ₯(π‘0) = π’0. (3.6)
Applying these initial conditions to (3.5), we obtain
π1 π1(π‘0) + π2 π2(π‘0) = π₯0,
π1
Λπ1(π‘0) + π2
Λπ2(π‘0) = π’0, (3.7)
which is observed to be a system of two linear equations for the two unknowns
π1 and π2. Solution of (3.7) by standard methods results in
π1 =
π₯0
Λπ2(π‘0) β π’0 π2(π‘0)
π
, π2 =
π’0 π1(π‘0) β π₯0
Λπ1(π‘0)
π
,
39. 3.4. HOMOGENEOUS ODES 31
where π is called the Wronskian and is given by
π = π1(π‘0) Λπ2(π‘0) β Λπ1(π‘0)π2(π‘0). (3.8)
Evidently, the Wronskian must not be equal to zero (π ΜΈ= 0) for a solution to
exist.
For examples, the two solutions
π1(π‘) = π΄ sin ππ‘, π2(π‘) = π΅ sin ππ‘,
have a zero Wronskian at π‘ = π‘0, as can be shown by computing
π = (π΄ sin ππ‘0) (π΅π cos ππ‘0) β (π΄π cos ππ‘0) (π΅ sin ππ‘0)
= 0;
while the two solutions
π1(π‘) = sin ππ‘, π2(π‘) = cos ππ‘,
with π ΜΈ= 0, have a nonzero Wronskian at π‘ = π‘0,
π = (sin ππ‘0) (βπ sin ππ‘0) β (π cos ππ‘0) (cos ππ‘0)
= βπ.
When the Wronskian is not equal to zero, we say that the two solutions
π1(π‘) and π2(π‘) are linearly independent. The concept of linear independence
is borrowed from linear algebra, and indeed, the set of all functions that satisfy
(3.4) can be shown to form a two-dimensional vector space.
3.4 Second-order linear homogeneous ode with
constant coefficients
view tutorial
We now study solutions of the homogeneous, constant coefficient ode, written
as
πΒ¨π₯ + π Λπ₯ + ππ₯ = 0, (3.9)
with π, π, and π constants. Such an equation arises for the charge on a capacitor
in an unpowered RLC electrical circuit, or for the position of a freely-oscillating
frictional mass on a spring, or for a damped pendulum. Our solution method
finds two linearly independent solutions to (3.9), multiplies each of these solu-
tions by a constant, and adds them. The two free constants can then be used
to satisfy two given initial conditions.
Because of the differential properties of the exponential function, a natural
ansatz, or educated guess, for the form of the solution to (3.9) is π₯ = π ππ‘
, where
π is a constant to be determined. Successive differentiation results in Λπ₯ = ππ ππ‘
and Β¨π₯ = π2
π ππ‘
, and substitution into (3.9) yields
ππ2
π ππ‘
+ πππ ππ‘
+ ππ ππ‘
= 0. (3.10)
Our choice of exponential function is now rewarded by the explicit cancelation
in (3.10) of π ππ‘
. The result is a quadratic equation for the unknown constant π:
ππ2
+ ππ + π = 0. (3.11)
40. 32 CHAPTER 3. SECOND-ORDER ODES, CONSTANT COEFFICIENTS
Our ansatz has thus converted a differential equation into an algebraic equation.
Equation (3.11) is called the characteristic equation of (3.9). Using the quadratic
formula, the two solutions of the characteristic equation (3.11) are given by
πΒ± =
1
2π
(οΈ
βπ Β±
βοΈ
π2 β 4ππ
)οΈ
.
There are three cases to consider: (1) if π2
β 4ππ > 0, then the two roots are
distinct and real; (2) if π2
β4ππ < 0, then the two roots are distinct and complex
conjugates of each other; (3) if π2
β 4ππ = 0, then the two roots are degenerate
and there is only one real root. We will consider these three cases in turn.
3.4.1 Real, distinct roots
When π+ ΜΈ= πβ are real roots, then the general solution to (3.9) can be written
as a linear superposition of the two solutions π π+ π‘
and π πβ π‘
; that is,
π₯(π‘) = π1 π π+ π‘
+ π2 π πβ π‘
.
The unknown constants π1 and π2 can then be determined by the given initial
conditions π₯(π‘0) = π₯0 and Λπ₯(π‘0) = π’0. We now present two examples.
Example 1: Solve Β¨π₯ + 5 Λπ₯ + 6π₯ = 0 with π₯(0) = 2, Λπ₯(0) = 3, and find the
maximum value attained by π₯.
view tutorial
We take as our ansatz π₯ = π ππ‘
and obtain the characteristic equation
π2
+ 5π + 6 = 0,
which factors to
(π + 3)(π + 2) = 0.
The general solution to the ode is thus
π₯(π‘) = π1 πβ2π‘
+ π2 πβ3π‘
.
The solution for Λπ₯ obtained by differentiation is
Λπ₯(π‘) = β2π1 πβ2π‘
β 3π2 πβ3π‘
.
Use of the initial conditions then results in two equations for the two unknown
constant π1 and π2:
π1 + π2 = 2,
β2π1 β 3π2 = 3.
Adding three times the first equation to the second equation yields π1 = 9; and
the first equation then yields π2 = 2 β π1 = β7. Therefore, the unique solution
that satisfies both the ode and the initial conditions is
π₯(π‘) = 9πβ2π‘
β 7πβ3π‘
= 9πβ2π‘
(οΈ
1 β
7
9
πβπ‘
)οΈ
.
41. 3.4. HOMOGENEOUS ODES 33
Note that although both exponential terms decay in time, their sum increases
initially since Λπ₯(0) > 0. The maximum value of π₯ occurs at the time π‘ π when
Λπ₯ = 0, or
π‘ π = ln (7/6) .
The maximum π₯ π = π₯(π‘ π) is then determined to be
π₯ π = 108/49.
Example 2: Solve Β¨π₯ β π₯ = 0 with π₯(0) = π₯0, Λπ₯(0) = π’0.
Again our ansatz is π₯ = π ππ‘
, and we obtain the characteristic equation
π2
β 1 = 0,
with solution πΒ± = Β±1. Therefore, the general solution for π₯ is
π₯(π‘) = π1 π π‘
+ π2 πβπ‘
,
and the derivative satisfies
Λπ₯(π‘) = π1 π π‘
β π2 πβπ‘
.
Initial conditions are satisfied when
π1 + π2 = π₯0,
π1 β π2 = π’0.
Adding and subtracting these equations, we determine
π1 =
1
2
(π₯0 + π’0) , π2 =
1
2
(π₯0 β π’0) ,
so that after rearranging terms
π₯(π‘) = π₯0
(οΈ
π π‘
+ πβπ‘
2
)οΈ
+ π’0
(οΈ
π π‘
β πβπ‘
2
)οΈ
.
The terms in parentheses are the usual definitions of the hyperbolic cosine and
sine functions; that is,
cosh π‘ =
π π‘
+ πβπ‘
2
, sinh π‘ =
π π‘
β πβπ‘
2
.
Our solution can therefore be rewritten as
π₯(π‘) = π₯0 cosh π‘ + π’0 sinh π‘.
Note that the relationships between the trigonometric functions and the complex
exponentials were given by
cos π‘ =
πππ‘
+ πβππ‘
2
, sin π‘ =
πππ‘
β πβππ‘
2π
,
so that
cosh π‘ = cos ππ‘, sinh π‘ = βπ sin ππ‘.
Also note that the hyperbolic trigonometric functions satisfy the differential
equations
π
ππ‘
sinh π‘ = cosh π‘,
π
ππ‘
cosh π‘ = sinh π‘,
which though similar to the differential equations satisfied by the more com-
monly used trigonometric functions, is absent a minus sign.
42. 34 CHAPTER 3. SECOND-ORDER ODES, CONSTANT COEFFICIENTS
3.4.2 Complex conjugate, distinct roots
view tutorial
We now consider a characteristic equation (3.11) with π2
β4ππ < 0, so the roots
occur as complex conjugate pairs. With
π = β
π
2π
, π =
1
2π
βοΈ
4ππ β π2,
the two roots of the characteristic equation are π + ππ and π β ππ. We have
thus found the following two complex exponential solutions to the differential
equation:
π1(π‘) = π ππ‘
ππππ‘
, π2(π‘) = π ππ‘
πβπππ‘
.
Applying the principle of superposition, any linear combination of π1 and π2 is
also a solution to the second-order ode. We can then form two different linear
combinations that are real, given by
π1(π‘) =
π1 + π2
2
= π ππ‘
(οΈ
ππππ‘
+ πβπππ‘
2
)οΈ
= π ππ‘
cos ππ‘,
and
π2(π‘) =
π1 β π2
2π
= π ππ‘
(οΈ
ππππ‘
β πβπππ‘
2π
)οΈ
= π ππ‘
sin ππ‘.
Having found the two real solutions π1(π‘) and π2(π‘), we can then apply the
principle of superposition a second time to determine the general solution π₯(π‘):
π₯(π‘) = π ππ‘
(π΄ cos ππ‘ + π΅ sin ππ‘) . (3.12)
It is best to memorize this result. The real part of the roots of the characteristic
equation goes into the exponential function; the imaginary part goes into the
argument of cosine and sine.
Example 1: Solve Β¨π₯ + π₯ = 0 with π₯(0) = π₯0 and Λπ₯(0) = π’0.
view tutorial
The characteristic equation is
π2
+ 1 = 0,
with roots
πΒ± = Β±π.
The general solution of the ode is therefore
π₯(π‘) = π΄ cos π‘ + π΅ sin π‘.
43. 3.4. HOMOGENEOUS ODES 35
The derivative is
Λπ₯(π‘) = βπ΄ sin π‘ + π΅ cos π‘.
Applying the initial conditions:
π₯(0) = π΄ = π₯0, Λπ₯(0) = π΅ = π’0;
so that the final solution is
π₯(π‘) = π₯0 cos π‘ + π’0 sin π‘.
Recall that we wrote the analogous solution to the ode Β¨π₯ β π₯ = 0 as π₯(π‘) =
π₯0 cosh π‘ + π’0 sinh π‘.
Example 2: Solve Β¨π₯ + Λπ₯ + π₯ = 0 with π₯(0) = 1 and Λπ₯(0) = 0.
The characteristic equation is
π2
+ π + 1 = 0,
with roots
πΒ± = β
1
2
Β± π
β
3
2
.
The general solution of the ode is therefore
π₯(π‘) = πβ 1
2 π‘
(οΈ
π΄ cos
β
3
2
π‘ + π΅ sin
β
3
2
π‘
)οΈ
.
The derivative is
Λπ₯(π‘) = β
1
2
πβ 1
2 π‘
(οΈ
π΄ cos
β
3
2
π‘ + π΅ sin
β
3
2
π‘
)οΈ
+
β
3
2
πβ 1
2 π‘
(οΈ
βπ΄ sin
β
3
2
π‘ + π΅ cos
β
3
2
π‘
)οΈ
.
Applying the initial conditions π₯(0) = 1 and Λπ₯(0) = 0:
π΄ = 1,
β1
2
π΄ +
β
3
2
π΅ = 0;
or
π΄ = 1, π΅ =
β
3
3
.
Therefore,
π₯(π‘) = πβ 1
2 π‘
(οΈ
cos
β
3
2
π‘ +
β
3
3
sin
β
3
2
π‘
)οΈ
.
44. 36 CHAPTER 3. SECOND-ORDER ODES, CONSTANT COEFFICIENTS
3.4.3 Repeated roots
view tutorial
Finally, we consider the characteristic equation,
ππ2
+ ππ + π = 0,
with π2
β 4ππ = 0. The degenerate root is then given by
π = β
π
2π
,
yielding only a single solution to the ode:
π₯1(π‘) = exp
(οΈ
β
ππ‘
2π
)οΈ
. (3.13)
To satisfy two initial conditions, a second independent solution must be found
with nonzero Wronskian, and apparently this second solution is not of the form
of our ansatz π₯ = exp (ππ‘).
One method to determine this missing second solution is to try the ansatz
π₯(π‘) = π¦(π‘)π₯1(π‘), (3.14)
where π¦(π‘) is an unknown function that satisfies the differential equation ob-
tained by substituting (3.14) into (3.9). This standard technique is called the
reduction of order method and enables one to find a second solution of a ho-
mogeneous linear differential equation if one solution is known. If the original
differential equation is of order π, the differential equation for π¦ = π¦(π‘) reduces
to an order one lower, that is, π β 1.
Here, however, we will determine this missing second solution through a
limiting process. We start with the solution obtained for complex roots of the
characteristic equation, and then arrive at the solution obtained for degenerate
roots by taking the limit π β 0.
Now, the general solution for complex roots was given by (3.12), and to
properly limit this solution as π β 0 requires first satisfying the specific initial
conditions π₯(0) = π₯0 and Λπ₯(0) = π’0. Solving for π΄ and π΅, the general solution
given by (3.12) becomes the specific solution
π₯(π‘; π) = π ππ‘
(οΈ
π₯0 cos ππ‘ +
π’0 β ππ₯0
π
sin ππ‘
)οΈ
.
Here, we have written π₯ = π₯(π‘; π) to show explicitly that π₯ depends on π.
Taking the limit as π β 0, and using lim πβ0 πβ1
sin ππ‘ = π‘, we have
lim
πβ0
π₯(π‘; π) = π ππ‘
(οΈ
π₯0 + (π’0 β ππ₯0)π‘
)οΈ
.
The second solution is observed to be a constant, π’0 β ππ₯0, times π‘ times the
first solution, π ππ‘
. Our general solution to the ode (3.9) when π2
β 4ππ = 0 can
therefore be written in the form
π₯(π‘) = (π1 + π2 π‘)π ππ‘
,
where π is the repeated root of the characteristic equation. The main result to
be remembered is that for the case of repeated roots, the second solution is π‘
times the first solution.
45. 3.5. INHOMOGENEOUS ODES 37
Example: Solve Β¨π₯ + 2 Λπ₯ + π₯ = 0 with π₯(0) = 1 and Λπ₯(0) = 0.
The characteristic equation is
π2
+ 2π + 1 = (π + 1)2
= 0,
which has a repeated root given by π = β1. Therefore, the general solution to
the ode is
π₯(π‘) = π1 πβπ‘
+ π2 π‘πβπ‘
,
with derivative
Λπ₯(π‘) = βπ1 πβπ‘
+ π2 πβπ‘
β π2 π‘πβπ‘
.
Applying the initial conditions, we have
π1 = 1,
βπ1 + π2 = 0,
so that π1 = π2 = 1. Therefore, the solution is
π₯(π‘) = (1 + π‘)πβπ‘
.
3.5 Second-order linear inhomogeneous ode
We now consider the general second-order linear inhomogeneous ode (3.1):
Β¨π₯ + π(π‘) Λπ₯ + π(π‘)π₯ = π(π‘), (3.15)
with initial conditions π₯(π‘0) = π₯0 and Λπ₯(π‘0) = π’0. There is a three-step solution
method when the inhomogeneous term π(π‘) ΜΈ= 0. (i) Find the general solution
of the homogeneous equation
Β¨π₯ + π(π‘) Λπ₯ + π(π‘)π₯ = 0. (3.16)
Let us denote the homogeneous solution by
π₯β(π‘) = π1 π1(π‘) + π2 π2(π‘),
where π1 and π2 are linearly independent solutions of (3.16), and π1 and π2
are as yet undetermined constants. (ii) Find any particular solution π₯ π of the
inhomogeneous equation (3.15). A particular solution is readily found when
π(π‘) and π(π‘) are constants, and when π(π‘) is a combination of polynomials,
exponentials, sines and cosines. (iii) Write the general solution of (3.15) as the
sum of the homogeneous and particular solutions,
π₯(π‘) = π₯β(π‘) + π₯ π(π‘), (3.17)
and apply the initial conditions to determine the constants π1 and π2. Note that
because of the linearity of (3.15),
Β¨π₯ + π Λπ₯ + ππ₯ =
π2
ππ‘2
(π₯β + π₯ π) + π
π
ππ‘
(π₯β + π₯ π) + π(π₯β + π₯ π)
= (Β¨π₯β + π Λπ₯β + ππ₯β) + (Β¨π₯ π + π Λπ₯ π + ππ₯ π)
= 0 + π
= π,
46. 38 CHAPTER 3. SECOND-ORDER ODES, CONSTANT COEFFICIENTS
so that (3.17) solves (3.15), and the two free constants in π₯β can be used to
satisfy the initial conditions.
We will consider here only the constant coefficient case. We now illustrate
the solution method by an example.
Example: Solve Β¨π₯ β 3 Λπ₯ β 4π₯ = 3π2π‘
with π₯(0) = 1 and Λπ₯(0) = 0.
view tutorial
First, we solve the homogeneous equation. The characteristic equation is
π2
β 3π β 4 = (π β 4)(π + 1)
= 0,
so that
π₯β(π‘) = π1 π4π‘
+ π2 πβπ‘
.
Second, we find a particular solution of the inhomogeneous equation. The form
of the particular solution is chosen such that the exponential will cancel out of
both sides of the ode. The ansatz we choose is
π₯(π‘) = π΄π2π‘
, (3.18)
where π΄ is a yet undetermined coefficient. Upon substituting π₯ into the ode,
differentiating using the chain rule, and canceling the exponential, we obtain
4π΄ β 6π΄ β 4π΄ = 3,
from which we determine π΄ = β1/2. Obtaining a solution for π΄ independent of
π‘ justifies the ansatz (3.18). Third, we write the general solution to the ode as
the sum of the homogeneous and particular solutions, and determine π1 and π2
that satisfy the initial conditions. We have
π₯(π‘) = π1 π4π‘
+ π2 πβπ‘
β
1
2
π2π‘
;
and taking the derivative,
Λπ₯(π‘) = 4π1 π4π‘
β π2 πβπ‘
β π2π‘
.
Applying the initial conditions,
π1 + π2 β
1
2
= 1,
4π1 β π2 β 1 = 0;
or
π1 + π2 =
3
2
,
4π1 β π2 = 1.
This system of linear equations can be solved for π1 by adding the equations
to obtain π1 = 1/2, after which π2 = 1 can be determined from the first equa-
tion. Therefore, the solution for π₯(π‘) that satisfies both the ode and the initial
47. 3.5. INHOMOGENEOUS ODES 39
conditions is given by
π₯(π‘) =
1
2
π4π‘
β
1
2
π2π‘
+ πβπ‘
=
1
2
π4π‘
(οΈ
1 β πβ2π‘
+ 2πβ5π‘
)οΈ
,
where we have grouped the terms in the solution to better display the asymptotic
behavior for large π‘.
We now find particular solutions for some relatively simple inhomogeneous
terms using this method of undetermined coefficients.
Example: Find a particular solution of Β¨π₯ β 3 Λπ₯ β 4π₯ = 2 sin π‘.
view tutorial
We show two methods for finding a particular solution. The first more direct
method tries the ansatz
π₯(π‘) = π΄ cos π‘ + π΅ sin π‘,
where the argument of cosine and sine must agree with the argument of sine in
the inhomogeneous term. The cosine term is required because the derivative of
sine is cosine. Upon substitution into the differential equation, we obtain
(βπ΄ cos π‘ β π΅ sin π‘) β 3 (βπ΄ sin π‘ + π΅ cos π‘) β 4 (π΄ cos π‘ + π΅ sin π‘) = 2 sin π‘,
or regrouping terms,
β (5π΄ + 3π΅) cos π‘ + (3π΄ β 5π΅) sin π‘ = 2 sin π‘.
This equation is valid for all π‘, and in particular for π‘ = 0 and π/2, for which
the sine and cosine functions vanish. For these two values of π‘, we find
5π΄ + 3π΅ = 0, 3π΄ β 5π΅ = 2;
and solving for π΄ and π΅, we obtain
π΄ =
3
17
, π΅ = β
5
17
.
The particular solution is therefore given by
π₯ π =
1
17
(3 cos π‘ β 5 sin π‘) .
The second solution method makes use of the relation πππ‘
= cos π‘ + π sin π‘ to
convert the sine inhomogeneous term to an exponential function. We introduce
the complex function π§(π‘) by letting
π§(π‘) = π₯(π‘) + ππ¦(π‘),
and rewrite the differential equation in complex form. We can rewrite the equa-
tion in one of two ways. On the one hand, if we use sin π‘ = Re{βππππ‘
}, then the
differential equation is written as
Β¨π§ β 3 Λπ§ β 4π§ = β2ππππ‘
; (3.19)
48. 40 CHAPTER 3. SECOND-ORDER ODES, CONSTANT COEFFICIENTS
and by equating the real and imaginary parts, this equation becomes the two
real differential equations
Β¨π₯ β 3 Λπ₯ β 4π₯ = 2 sin π‘, Β¨π¦ β 3 Λπ¦ β 4π¦ = β2 cos π‘.
The solution we are looking for, then, is π₯ π(π‘) = Re{π§ π(π‘)}.
On the other hand, if we write sin π‘ = Im{πππ‘
}, then the complex differential
equation becomes
Β¨π§ β 3 Λπ§ β 4π§ = 2πππ‘
, (3.20)
which becomes the two real differential equations
Β¨π₯ β 3 Λπ₯ β 4π₯ = 2 cos π‘, Β¨π¦ β 3 Λπ¦ β 4π¦ = 2 sin π‘.
Here, the solution we are looking for is π₯ π(π‘) = Im{π§ π(π‘)}.
We will proceed here by solving (3.20). As we now have an exponential
function as the inhomogeneous term, we can make the ansatz
π§(π‘) = πΆπππ‘
,
where we now expect πΆ to be a complex constant. Upon substitution into the
ode (3.20) and using π2
= β1:
βπΆ β 3ππΆ β 4πΆ = 2;
or solving for πΆ:
πΆ =
β2
5 + 3π
=
β2(5 β 3π)
(5 + 3π)(5 β 3π)
=
β10 + 6π
34
=
β5 + 3π
17
.
Therefore,
π₯ π = Im{π§ π}
= Im
{οΈ
1
17
(β5 + 3π)(cos π‘ + π sin π‘)
}οΈ
=
1
17
(3 cos π‘ β 5 sin π‘).
Example: Find a particular solution of Β¨π₯ + Λπ₯ β 2π₯ = π‘2
.
view tutorial
The correct ansatz here is the polynomial
π₯(π‘) = π΄π‘2
+ π΅π‘ + πΆ.
Upon substitution into the ode, we have
2π΄ + 2π΄π‘ + π΅ β 2π΄π‘2
β 2π΅π‘ β 2πΆ = π‘2
,
49. 3.6. FIRST-ORDER LINEAR INHOMOGENEOUS ODES REVISITED 41
or
β2π΄π‘2
+ 2(π΄ β π΅)π‘ + (2π΄ + π΅ β 2πΆ)π‘0
= π‘2
.
Equating powers of π‘,
β2π΄ = 1, 2(π΄ β π΅) = 0, 2π΄ + π΅ β 2πΆ = 0;
and solving,
π΄ = β
1
2
, π΅ = β
1
2
, πΆ = β
3
4
.
The particular solution is therefore
π₯ π(π‘) = β
1
2
π‘2
β
1
2
π‘ β
3
4
.
3.6 First-order linear inhomogeneous odes re-
visited
The first-order linear ode can be solved by use of an integrating factor. Here I
show that odes having constant coefficients can be solved by our newly learned
solution method.
Example: Solve Λπ₯ + 2π₯ = πβπ‘
with π₯(0) = 3/4.
Rather than using an integrating factor, we follow the three-step approach: (i)
find the general homogeneous solution; (ii) find a particular solution; (iii) add
them and satisfy initial conditions. Accordingly, we try the ansatz π₯β(π‘) = π ππ‘
for the homogeneous ode Λπ₯ + 2π₯ = 0 and find
π + 2 = 0, or π = β2.
To find a particular solution, we try the ansatz π₯ π(π‘) = π΄πβπ‘
, and upon substi-
tution
βπ΄ + 2π΄ = 1, or π΄ = 1.
Therefore, the general solution to the ode is
π₯(π‘) = ππβ2π‘
+ πβπ‘
.
The single initial condition determines the unknown constant π:
π₯(0) =
3
4
= π + 1,
so that π = β1/4. Hence,
π₯(π‘) = πβπ‘
β
1
4
πβ2π‘
= πβπ‘
(οΈ
1 β
1
4
πβπ‘
)οΈ
.
50. 42 CHAPTER 3. SECOND-ORDER ODES, CONSTANT COEFFICIENTS
3.7 Resonance
view tutorial
Resonance occurs when the frequency of the inhomogeneous term matches the
frequency of the homogeneous solution. To illustrate resonance in its simplest
embodiment, we consider the second-order linear inhomogeneous ode
Β¨π₯ + π2
0 π₯ = π cos ππ‘, π₯(0) = π₯0, Λπ₯(0) = π’0. (3.21)
Our main goal is to determine what happens to the solution in the limit π β π0.
The homogeneous equation has characteristic equation
π2
+ π2
0 = 0,
so that πΒ± = Β±ππ0. Therefore,
π₯β(π‘) = π1 cos π0 π‘ + π2 sin π0 π‘. (3.22)
To find a particular solution, we note the absence of a first-derivative term,
and simply try
π₯(π‘) = π΄ cos ππ‘.
Upon substitution into the ode, we obtain
βπ2
π΄ + π2
0 π΄ = π,
or
π΄ =
π
π2
0 β π2
.
Therefore,
π₯ π(π‘) =
π
π2
0 β π2
cos ππ‘.
Our general solution is thus
π₯(π‘) = π1 cos π0 π‘ + π2 sin π0 π‘ +
π
π2
0 β π2
cos ππ‘,
with derivative
Λπ₯(π‘) = π0(π2 cos π0 π‘ β π1 sin π0 π‘) β
π π
π2
0 β π2
sin ππ‘.
Initial conditions are satisfied when
π₯0 = π1 +
π
π2
0 β π2
,
π’0 = π2 π0,
so that
π1 = π₯0 β
π
π2
0 β π2
, π2 =
π’0
π0
.
51. 3.7. RESONANCE 43
Therefore, the solution to the ode that satisfies the initial conditions is
π₯(π‘) =
(οΈ
π₯0 β
π
π2
0 β π2
)οΈ
cos π0 π‘ +
π’0
π0
sin π0 π‘ +
π
π2
0 β π2
cos ππ‘
= π₯0 cos π0 π‘ +
π’0
π0
sin π0 π‘ +
π(cos ππ‘ β cos π0 π‘)
π2
0 β π2
,
where we have grouped together terms proportional to the forcing amplitude π.
Resonance occurs in the limit π β π0; that is, the frequency of the inhomo-
geneous term (the external force) matches the frequency of the homogeneous
solution (the free oscillation). By LβHospitalβs rule, the limit of the term pro-
portional to π is found by differentiating with respect to π:
lim
πβπ0
π(cos ππ‘ β cos π0 π‘)
π2
0 β π2
= lim
πβπ0
βπ π‘ sin ππ‘
β2π
=
π π‘ sin π0 π‘
2π0
.
(3.23)
At resonance, the term proportional to the amplitude π of the inhomogeneous
term increases linearly with π‘, resulting in larger-and-larger amplitudes of oscil-
lation for π₯(π‘). In general, if the inhomogeneous term in the differential equation
is a solution of the corresponding homogeneous differential equation, then the
correct ansatz for the particular solution is a constant times the inhomogeneous
term times π‘.
To illustrate this same example further, we return to the original ode, now
assumed to be exactly at resonance,
Β¨π₯ + π2
0 π₯ = π cos π0 π‘,
and find a particular solution directly. The particular solution is the real part
of the particular solution of
Β¨π§ + π2
0 π§ = π πππ0 π‘
,
and because the inhomogeneous term is a solution of the corresponding homo-
geneous equation, we take as our ansatz
π§ π = π΄π‘πππ0 π‘
.
We have
Λπ§ π = π΄πππ0 π‘
(1 + ππ0 π‘) , Β¨π§ π = π΄πππ0 π‘
(οΈ
2ππ0 β π2
0 π‘
)οΈ
;
and upon substitution into the ode
Β¨π§ π + π2
0 π§ π = π΄πππ0 π‘
(οΈ
2ππ0 β π2
0 π‘
)οΈ
+ π2
0 π΄π‘πππ0 π‘
= 2ππ0 π΄πππ0 π‘
= π πππ0 π‘
.
Therefore,
π΄ =
π
2ππ0
,
52. 44 CHAPTER 3. SECOND-ORDER ODES, CONSTANT COEFFICIENTS
and
π₯ π = Re{
π π‘
2ππ0
πππ0 π‘
}
=
π π‘ sin π0 π‘
2π0
,
the same result as (3.23).
Example: Find a particular solution of Β¨π₯ β 3 Λπ₯ β 4π₯ = 5πβπ‘
.
view tutorial
If we naively try the ansatz
π₯ = π΄πβπ‘
,
and substitute this into the inhomogeneous differential equation, we obtain
π΄ + 3π΄ β 4π΄ = 5,
or 0 = 5, which is clearly nonsense. Our ansatz therefore fails to find a solution.
The cause of this failure is that the corresponding homogeneous equation has
solution
π₯β = π1 π4π‘
+ π2 πβπ‘
,
so that the inhomogeneous term 5πβπ‘
is one of the solutions of the homogeneous
equation. To find a particular solution, we should therefore take as our ansatz
π₯ = π΄π‘πβπ‘
,
with first- and second-derivatives given by
Λπ₯ = π΄πβπ‘
(1 β π‘), Β¨π₯ = π΄πβπ‘
(β2 + π‘).
Substitution into the differential equation yields
π΄πβπ‘
(β2 + π‘) β 3π΄πβπ‘
(1 β π‘) β 4π΄π‘πβπ‘
= 5πβπ‘
.
The terms containing π‘ cancel out of this equation, resulting in β5π΄ = 5, or
π΄ = β1. Therefore, the particular solution is
π₯ π = βπ‘πβπ‘
.
3.8 Damped resonance
view tutorial
A more realistic study of resonance assumes an additional damping term. The
forced, damped harmonic oscillator equation may be written as
πΒ¨π₯ + πΎ Λπ₯ + ππ₯ = πΉ cos ππ‘, (3.24)
where π > 0 is the oscillatorβs mass, πΎ > 0 is the damping coefficient, π >
0 is the spring constant, and πΉ is the amplitude of the external force. The
homogeneous equation has characteristic equation
ππ2
+ πΎπ + π = 0,
53. 3.8. DAMPED RESONANCE 45
so that
πΒ± = β
πΎ
2π
Β±
1
2π
βοΈ
πΎ2 β 4ππ.
When πΎ2
β 4ππ < 0, the motion of the unforced oscillator is said to be under-
damped; when πΎ2
β 4ππ > 0, overdamped; and when πΎ2
β 4ππ = 0, critically
damped. For all three types of damping, the roots of the characteristic equa-
tion satisfy Re(πΒ±) < 0. Therefore, both linearly independent homogeneous
solutions decay exponentially to zero, and the long-time asymptotic solution
of (3.24) reduces to the (non-decaying) particular solution. Since the initial
conditions are satisfied by the free constants multiplying the (decaying) homo-
geneous solutions, the long-time asymptotic solution is independent of the initial
conditions.
If we are only interested in the long-time asymptotic solution of (3.24), we
can proceed directly to the determination of a particular solution. As before,
we consider the complex ode
πΒ¨π§ + πΎ Λπ§ + ππ§ = πΉ ππππ‘
,
with π₯ π = Re(π§ π). With the ansatz π§ π = π΄ππππ‘
, we have
βππ2
π΄ + ππΎππ΄ + ππ΄ = πΉ,
or
π΄ =
πΉ
(π β ππ2) + ππΎπ
.
To simplify, we define π0 =
βοΈ
π/π, which corresponds to the natural frequency
of the undamped oscillator, and define Ξ = πΎπ/π and π = πΉ/π. Therefore,
π΄ =
π
(π2
0 β π2) + πΞ
=
(οΈ
π
(π2
0 β π2)2 + Ξ2
)οΈ
(οΈ
(π2
0 β π2
) β πΞ
)οΈ
.
(3.25)
To determine π₯ π, we utilize the polar form of a complex number. The complex
number π§ = π₯ + ππ¦ can be written in polar form as π§ = ππππ
, where π₯ = π cos π,
π¦ = π sin π, and π =
βοΈ
π₯2 + π¦2, tan π = π¦/π₯. We therefore write
(π2
0 β π2
) β πΞ = ππππ
,
with
π =
βοΈ
(π2
0 β π2)2 + Ξ2, tan π =
Ξ
(π2 β π2
0)
.
Using the polar form, π΄ in (3.25) becomes
π΄ =
(οΈ
π
βοΈ
(π2
0 β π2)2 + Ξ2
)οΈ
πππ
,
and π₯ π = Re(π΄ππππ‘
) becomes
π₯ π =
(οΈ
π
βοΈ
(π2
0 β π2)2 + Ξ2
)οΈ
Re
(οΈ
ππ(ππ‘+π)
)οΈ
=
(οΈ
π
βοΈ
(π2
0 β π2)2 + Ξ2
)οΈ
cos (ππ‘ + π).
(3.26)
54. 46 CHAPTER 3. SECOND-ORDER ODES, CONSTANT COEFFICIENTS
The particular solution given by (3.26), with π2
0 = π/π, Ξ = πΎπ/π, π = πΉ/π,
and tan π = πΎπ/π(π2
β π2
0), is the long-time asymptotic solution of the forced,
damped, harmonic oscillator equation (3.24).
We conclude with a couple of observations about (3.26). First, if the forcing
frequency π is equal to the natural frequency π0 of the undamped oscillator, then
π΄ = βππΉ/πΎπ0, and π₯ π = (πΉ/πΎπ0) sin π0 π‘. The oscillator position is observed
to be π/2 out of phase with the external force, or in other words, the velocity
of the oscillator, not the position, is in phase with the force. Second, the value
of the forcing frequency π π that maximizes the amplitude of oscillation is the
value of π that minimizes the denominator of (3.26). To determine π π we thus
minimize the function π(π2
) with respect to π2
, where
π(π2
) = (π2
0 β π2
)2
+
πΎ2
π2
π2
.
Taking the derivative of π with respect to π2
and setting this to zero to determine
π π yields
2(π2
π β π2
0) +
πΎ2
π2
= 0,
or
π2
π = π2
0 β
πΎ2
2π2
.
We can interpret this result by saying that damping lowers the βresonanceβ
frequency of the undamped oscillator.
55. Chapter 4
The Laplace transform
Reference: Boyce and DiPrima, Chapter 6
The Laplace transform is most useful for solving linear, constant-coefficient
odeβs when the inhomogeneous term or its derivative is discontinuous. Although
odeβs with discontinuous inhomogeneous terms can also be solved by adopting
already learned methods, we will see that the Laplace transform technique pro-
vides a simpler, more elegant solution.
4.1 Definitions and properties of the forward
and inverse Laplace transforms
view tutorial
The main idea is to Laplace transform the constant-coefficient differential equa-
tion for π₯(π‘) into a simpler algebraic equation for the Laplace-transformed func-
tion π(π ), solve this algebraic equation, and then transform π(π ) back into
π₯(π‘). The correct definition of the Laplace transform and the properties that
this transform satisfies makes this solution method possible.
An exponential ansatz is used in solving homogeneous constant-coefficient
odes, and the exponential function correspondingly plays a key role in defining
the Laplace transform. The Laplace transform of π(π‘), denoted by πΉ(π ) =
β{π(π‘)}, is defined by the integral transform
πΉ(π ) =
β«οΈ β
0
πβπ π‘
π(π‘)ππ‘. (4.1)
The improper integral given by (4.1) diverges if π(π‘) grows faster than π π π‘
for
large π‘. Accordingly, some restriction on the range of π may be required to
guarantee convergence of (4.1), and we will assume without further elaboration
that these restrictions are always satisfied.
The Laplace transform is a linear transformation. We have
β{π1 π1(π‘) + π2 π2(π‘)} =
β«οΈ β
0
πβπ π‘
(οΈ
π1 π1(π‘) + π2 π2(π‘)
)οΈ
ππ‘
= π1
β«οΈ β
0
πβπ π‘
π1(π‘)ππ‘ + π2
β«οΈ β
0
πβπ π‘
π2(π‘)ππ‘
= π1β{π1(π‘)} + π2β{π2(π‘)}.
47
57. 4.1. DEFINITION AND PROPERTIES 49
There is also a one-to-one correspondence between functions and their Laplace
transforms. A table of Laplace transforms can therefore be constructed and used
to find both Laplace and inverse Laplace transforms of commonly occurring
functions. Such a table is shown in Table 4.1 (and this table will be distributed
with the exams). In Table 4.1, π is a positive integer. Also, the cryptic entries
for π’ π(π‘) and πΏ(π‘ β π) will be explained later in S4.3.
The rows of Table 4.1 can be determined by a combination of direct inte-
gration and some tricks. We first compute directly the Laplace transform of
π ππ‘
π(π‘) (line 1):
β{π ππ‘
π(π‘)} =
β«οΈ β
0
πβπ π‘
π ππ‘
π(π‘)ππ‘
=
β«οΈ β
0
πβ(π βπ)π‘
π(π‘)ππ‘
= πΉ(π β π).
We also compute directly the Laplace transform of 1 (line 2):
β{1} =
β«οΈ β
0
πβπ π‘
ππ‘
= β
1
π
πβπ π‘
]οΈβ
0
=
1
π
.
Now, the Laplace transform of π ππ‘
(line 3) may be found using these two results:
β{π ππ‘
} = β{π ππ‘
Β· 1}
=
1
π β π
.
(4.2)
The transform of π‘ π
(line 4) can be found by successive integration by parts. A
more interesting method uses Taylor series expansions for π ππ‘
and 1/(π β π). We
have
β{π ππ‘
} = β
{οΈ ββοΈ
π=0
(ππ‘) π
π!
}οΈ
=
ββοΈ
π=0
π π
π!
β{π‘ π
}.
(4.3)
Also, with π > π,
1
π β π
=
1
π (1 β π
π )
=
1
π
ββοΈ
π=0
(οΈ π
π
)οΈ π
=
ββοΈ
π=0
π π
π π+1
.
(4.4)
58. 50 CHAPTER 4. THE LAPLACE TRANSFORM
Using (4.2), and equating the coefficients of powers of π in (4.3) and (4.4), results
in line 4:
β{π‘ π
} =
π!
π π+1
.
The Laplace transform of π‘ π
π ππ‘
(line 5) can be found from line 1 and line 4:
β{π‘ π
π ππ‘
} =
π!
(π β π) π+1
.
The Laplace transform of sin ππ‘ (line 6) may be found from the Laplace transform
of π ππ‘
(line 3) using π = ππ:
β{sin ππ‘} = Im
{οΈ
β{ππππ‘
}
}οΈ
= Im
{οΈ
1
π β ππ
}οΈ
= Im
{οΈ
π + ππ
π 2 + π2
}οΈ
=
π
π 2 + π2
.
Similarly, the Laplace transform of cos ππ‘ (line 7) is
β{cos ππ‘} = Re
{οΈ
β{ππππ‘
}
}οΈ
=
π
π 2 + π2
.
The transform of π ππ‘
sin ππ‘ (line 8) can be found from the transform of sin ππ‘
(line 6) and line 1:
β{π ππ‘
sin ππ‘} =
π
(π β π)2 + π2
;
and similarly for the transform of π ππ‘
cos ππ‘:
β{π ππ‘
cos ππ‘} =
π β π
(π β π)2 + π2
.
The Laplace transform of π‘ sin ππ‘ (line 10) can be found from the Laplace trans-
form of π‘π ππ‘
(line 5 with π = 1) using π = ππ:
β{π‘ sin ππ‘} = Im
{οΈ
β{π‘ππππ‘
}
}οΈ
= Im
{οΈ
1
(π β ππ)2
}οΈ
= Im
{οΈ
(π + ππ)2
(π 2 + π2)2
}οΈ
=
2ππ
(π 2 + π2)2
.
Similarly, the Laplace transform of π‘ cos ππ‘ (line 11) is
β{π‘ cos ππ‘} = Re
{οΈ
β{π‘ππππ‘
}
}οΈ
= Re
{οΈ
(π + ππ)2
(π 2 + π2)2
}οΈ
=
π 2
β π2
(π 2 + π2)2
.
59. 4.2. SOLUTION OF INITIAL VALUE PROBLEMS 51
We now transform the inhomogeneous constant-coefficient, second-order, lin-
ear inhomogeneous ode for π₯ = π₯(π‘),
πΒ¨π₯ + π Λπ₯ + ππ₯ = π(π‘),
making use of the linearity of the Laplace transform:
πβ{Β¨π₯} + πβ{ Λπ₯} + πβ{π₯} = β{π}.
To determine the Laplace transform of Λπ₯(π‘) (line 15) in terms of the Laplace
transform of π₯(π‘) and the initial conditions π₯(0) and Λπ₯(0), we define π(π ) =
β{π₯(π‘)}, and integrate β«οΈ β
0
πβπ π‘
Λπ₯ππ‘
by parts. We let
π’ = πβπ π‘
ππ£ = Λπ₯ππ‘
ππ’ = βπ πβπ π‘
ππ‘ π£ = π₯.
Therefore,
β«οΈ β
0
πβπ π‘
Λπ₯ππ‘ = π₯πβπ π‘
]οΈβ
0
+ π
β«οΈ β
0
πβπ π‘
π₯ππ‘
= π π(π ) β π₯(0),
where assumed convergence of the Laplace transform requires
lim
π‘ββ
π₯(π‘)πβπ π‘
= 0.
Similarly, the Laplace transform of Β¨π₯(π‘) (line 16) is determined by integrating
β«οΈ β
0
πβπ π‘
Β¨π₯ ππ‘
by parts and using the just derived result for the first derivative. We let
π’ = πβπ π‘
ππ£ = Β¨π₯ ππ‘
ππ’ = βπ πβπ π‘
ππ‘ π£ = Λπ₯,
so that
β«οΈ β
0
πβπ π‘
Β¨π₯ ππ‘ = Λπ₯πβπ π‘
]οΈβ
0
+ π
β«οΈ β
0
πβπ π‘
Λπ₯ππ‘
= β Λπ₯(0) + π
(οΈ
π π(π ) β π₯(0)
)οΈ
= π 2
π(π ) β π π₯(0) β Λπ₯(0),
where similarly we assume lim π‘ββ Λπ₯(π‘)πβπ π‘
= 0.
4.2 Solution of initial value problems
We begin with a simple homogeneous ode and show that the Laplace transform
method yields an identical result to our previously learned method. We then
apply the Laplace transform method to solve an inhomogeneous equation.