Regular Perturbation Theory
Regular Perturbation Theory
Joseph M. Mahaffy,
hjmahaffy@sdsu.edui
Fall 2019
Outline
1 Introduction
Power Series Review
Algebraic Examples
Error Function
3 Nonlinear Oscillations
Duffing’s Equation
Poincaré-Lindstedt Method
Introduction
Regular Perturbation 1
F (t, y, y 0 , y 00 , ε) = 0, t ∈ I,
Regular Perturbation 2
Regular Perturbation 3
ex = 1+x+ 1 2
2!
x + 1 3
3!
x + ...
1 3 1 5 1 7
sin(x) = x− 3!
x + 5!
x − 7!
x + ...
1 2 1 4 1 6
cos(x) = 1− 2!
x + 4!
x − 6!
x + ...
p(p−1) 2 p(p−1)(p−2) 3
(1 + x)p = 1 + px + 2!
x + 3!
x + ..., |x| < 1
Quadratic Equation 1
Quadratic Equation: Consider the equation:
x2 + 2εx − 3 = 0, (1)
and assume the expansion x = x0 + εx1 + ε2 x 2 + ...
The Eqn. (1) satisfies:
(x0 + εx1 + ε2 x2 + . . . )2 + 2ε(x0 + εx1 + ε2 x2 + . . . ) − 3 = 0,
which gives
x20 − 3 + ε 2x0 x1 + 2x0 + ε2 x21 + 2x0 x2 + 2x1 + O ε3 = 0.
Quadratic Equation 2
Quadratic Equation; For the equation
x2 + 2εx − 3 = 0,
the quadratic formula gives exact solution;
p
x = −ε ± 3 + ε2 ,
which can be expanded by the binomial expansion
√ 2
x = −ε ± 3 ± ε√ + . . . .
2 3
and
√ √ 0.01
x = −0.1 − 3.01 = −1.834935157, xa = 3 − 0.1 + √ = −1.834937560.
2 3
With ε = 0.01, the answers are indistinguishable until the 9th decimal place with
√
x = −0.01 ± 3.0001 = 1.722079675 and − 1.742079675.
Lecture Notes – Perturbation Methods —
Joseph M. Mahaffy, hjmahaffy@sdsu.edui (9/47)
Introduction Power Series Review
Regular Perturbation Method Algebraic Examples
Nonlinear Oscillations Error Function
Transcendental Equation 1
x3 + ε sin(x) + a = 0,
Transcendental Equation 2
Transcendental Equation: From
3
x0 + εx1 + ε2 x2 + O ε3 + ε sin(x0 ) + x1 cos(x0 )ε + O ε2
+ a = 0,
we expand to:
Error Function 1
Error Function: The error function satisfies:
Z x Z x
1 2 2 2
erf(x) = √ e−t dt = √ e−t dt.
π −x π 0
In statistics with x > 0 and a random variable Y that is normally distributed
with mean 0 and variance 0.5, the error function, erf(x), describes the
probability of Y falling in the range [x, x].
0.5
-0.5
-1
-3 -2 -1 0 1 2 3
Lecture Notes – Perturbation Methods —
Joseph M. Mahaffy, hjmahaffy@sdsu.edui (12/47)
Introduction Power Series Review
Regular Perturbation Method Algebraic Examples
Nonlinear Oscillations Error Function
Error Function 2
Since
lim erf(x) = 1,
x→∞
2
Z ∞ 2
erfc(x) ≡ 1 − erf(x) = √ e−t dt.
π x
Let s = t − x, then
2
Z ∞ 2 2 2
Z ∞ 2
erfc(x) = √ e−(s+x) ds = √ e−x e−(s +2sx)
ds.
π 0 π 0
2 2
Z ∞ 2 2 2
Z ∞ 2 2
erfc(x) = √ e−x e−(s +2sx)
ds ≤ e−x √ e−s ds = e−x .
π 0 π 0
Error Function 3
2
Z ∞ 2 2
Z ∞ 2
erfc(x) = √2 e−x e−(s +2sx)
ds = √2 e−x e−s e−2sx ds
π π
0 0
∞ Z ∞
2 1 2 1 2
√2 e−x − e−s e−2sx + (−2s)e−s e−2sx ds
= π 2x 0 2x 0
Z ∞
2 1 1 2
= √2 e−x − se−s e−2sx ds
π 2x x 0
" 2
∞ Z ∞ !#
2 1 1 se−s e−2sx 1 2
= √2 e−x − − + (1 − 2s2 )e−s e−2sx ds
π 2x x 2x 2x 0
0
2
1 1
Z ∞ 2
= √2 e−x − (1 − 2s2 )e−s e−2sx ds
π 2x 2x2 0
Error Function 4
2 2
!
e−x e−x
erfc(x) = √1 +O as x → ∞.
π x x2
1 2 3 4 5
erf(x) 0.8427 0.9953 0.9999779 0.9999999846 1.0
Approx 0.7924 0.9948 0.9999768 0.9999999841 1.0
2 ∞
" #
e−x X 1 · 3 · 5 · · · (2n − 1)
erfc(x) = √ 1+ (−1)n ,
x π n=1
(2x2 )n
dv
m dτ = −av + bv 2 , v(0) = V0 .
With the maximum velocity of V0 and a time scaling based on the decay rate of
the linear equation, a/m, we let
v τ
y= V0
and t= m/a
.
dy
dt
= −y + εy 2 , y(0) = 1,
where
bV0
ε≡ a
1.
This last assumption is that the quadratic resistive force is small compared to the
linear force.
Lecture Notes – Perturbation Methods —
Joseph M. Mahaffy, hjmahaffy@sdsu.edui (16/47)
Introduction Motion in Resistive Medium
Regular Perturbation Method Kepler’s Laws
Nonlinear Oscillations Precession of Perihelion
Resistive ODE: The scaled model is a Bernoulli’s equation and is readily solved
exactly.
One makes the substitution w = y −1 , so dw
dt
= −y −2 dy
dt
, so transformed the scaled
model becomes:
dw
dt
− w = −ε, w(0) = 1.
This is a linear ODE with the solution:
Z t
w(t) = et 1−ε e−s ds ,
0
or
w(t) = et 1 + ε(e−t − 1) ,
or
e−t
y(t) = ,
1 + ε(e−t − 1)
which is just a slightly altered form of the linearized scaled model.
y00 = −y0 ,
y10 = −y1 + y02 ,
y20 = −y2 + 2y0 y1 , ...
y0 (t) = e−t ,
y1 (t) = e−t − e−2t ,
y2 (t) = e−t − e−2t + e−3t , ...
e−t
y(t) = ,
1 + ε(e−t − 1)
Kepler’s Laws 1
Kepler’s Laws 2
Two Body Problem: From Newton’s Law, we have the vector ODE
GM m
mr 00 = − ir .
r2
Kepler’s Laws 3
Two Body Problem: The vector ODE satisfies:
GM
r 00 = − ir ,
r2
where
r(t) = r(t) cos(θ(t))ix + r(t) sin(θ(t))iy = x(t)ix + y(t)iy .
Thus,
dx dr dθ
= cos(θ) − r sin(θ) ,
dt dt dt
dy dr dθ
= sin(θ) + r cos(θ) .
dt dt dt
d2 x d2 r d2 θ
2
dr dθ dθ GM
= cos(θ) − 2 sin(θ) − r sin(θ) − r cos(θ) = − cos(θ),
dt2 dt2 dt dt dt2 dt r2
2 2 2 2
d y d r dr dθ d θ dθ GM
= sin(θ) + 2 cos(θ) + r cos(θ) − r sin(θ) = − sin(θ).
dt2 dt2 dt dt dt2 dt r2
Kepler’s Laws 4
d2 θ dr dθ
r +2 = 0.
dt2 dt dt
Thus, we have two nonlinear coupled 2nd order ODEs, which with the initial
conditions (4 of them):
provide a unique solution for r(t) and θ(t), describing the motion of the
planet for t > 0.
Lecture Notes – Perturbation Methods —
Joseph M. Mahaffy, hjmahaffy@sdsu.edui (23/47)
Introduction Motion in Resistive Medium
Regular Perturbation Method Kepler’s Laws
Nonlinear Oscillations Precession of Perihelion
d2 θ dr dθ
r +2 = 0.
dt2 dt dt
d2 θ dr dθ d(r2 θ 0 )
r2 2
+ 2r = = 0.
dt dt dt dt
The integral for ∆A gives more by relating the area with the initial angular
momentum per unit mass of the planet.
Lecture Notes – Perturbation Methods —
Joseph M. Mahaffy, hjmahaffy@sdsu.edui (25/47)
Introduction Motion in Resistive Medium
Regular Perturbation Method Kepler’s Laws
Nonlinear Oscillations Precession of Perihelion
d2 r p2 1 GM
2
− 02 3 = − 2 ,
dt m r r
which is an autonomous nonlinear ODE that can be solved for r(t), but results
in a horrendous solution.
The shape of the planet’s orbit is obtained by examining r(θ).
Differentiating and using the conservation of angular momentum gives
dr dr dθ p0 dr p0 d 1
= = =− ,
dt dθ dt mr2 dθ m dθ r
so
d2 r p0 d2 p2 d2
1 dθ 1
2
=− = − 20 2 2 .
dt m dθ2 r dt m r dθ r
Lecture Notes – Perturbation Methods —
Joseph M. Mahaffy, hjmahaffy@sdsu.edui (26/47)
Introduction Motion in Resistive Medium
Regular Perturbation Method Kepler’s Laws
Nonlinear Oscillations Precession of Perihelion
However, p p0
1 − e2 = √ ,
m GM a
so
4π 2 a3
T2 = .
GM
This gives
Our derivation using Newton’s law gives a precise prediction of the period for a
planet orbiting the sun.
Lecture Notes – Perturbation Methods —
Joseph M. Mahaffy, hjmahaffy@sdsu.edui (28/47)
Introduction Motion in Resistive Medium
Regular Perturbation Method Kepler’s Laws
Nonlinear Oscillations Precession of Perihelion
Precession of Perihelion 1
Precession of Perihelion 2
Precession of Perihelion 3
Relativistic Effects: Let r(t) be the radial distance between the sun and the
planet.
Define the dimensionless variable:
a(1 − e2 ) p20
ω0 = , with a(1 − e2 ) = ,
r GM m2
d2 GM m2
1 1
+ = .
dθ2 r r p20
becomes
d2 ω0
+ ω0 = 1,
dθ2
which has the solution:
ω0 (θ) = 1 + e cos(θ − θ0 ).
Precession of Perihelion 4
For the theory with the relativistic effects, we again define the dimensionless
a(1−e2 )
variable, ω = r
.
The relativistic equation requires a working knowledge of tensor calculus, so we
omit derivation of the equations of motion.
It can be shown that the angular momentum is still conserved and ω(θ) satisfies
the equation:
d2 ω GM m 2
2
+ ω = 1 + εω 2 , where ε = 3 ,
dθ p0 c
with c being the speed of light.
p2
From before we have r ≈ a(1 − e2 ) = GM0m2 , so the angular velocity is
approximated by:
dθ p0 GM m
r = ≈ .
dt mr p0
√
From the definition of ε, we find ε is a ratio of the planet’s speed to the speed of
light, which for Mercury satisfies:
ε = O 10−9 .
Precession of Perihelion 5
Regular Perturbation: Let
d2 ω
+ ω = 1 + εω 2 .
dθ2
Thus,
2
ω000 + εω100 + ω0 + εω1 + O ε2 = 1 + ε ω0 + εω1 + O ε2
.
ω000 + ω0 = 1,
which from the initial value problem before has the solution:
ω0 (θ) = 1 + e cos(θ − θ0 ).
Precession of Perihelion 6
e2 e2
ω1 (θ) = A cos(θ) + B sin(θ) + 1 + − cos(2(θ − θ0 )) + eθ sin(θ − θ0 ).
2 6
The homogeneous part and first 3 terms of the particular solution are bounded
solutions, which remain very small when multiplied by ε.
However the last term comes from resonance in this ODE and results in an
unbounded solution (from the θ factor), so results in the dominant behavior over
time due to relativistic effects.
Precession of Perihelion 7
Asymptotic Behavior: The resonance term is the only significant one in the
ω1 (θ) solution, so the asymptotic solution is
ω(θ) ≈ 1 + e cos(θ − θ0 ) + ε(θ − θ0 ) sin(θ − θ0 )
q
= 1 + e 1 + (εθ̄)2 cos(θ̄ − φ), with θ̄ = θ − θ0 ,
Property
By the relativistic theory, the perihelion of Mercury’s orbit precesses by 43
seconds of arc for each century.
Spring-Mass Oscillators
Spring-Mass System: Consider a mass, m, connected to a nonlinear spring
with restoring force ky + ay 3 with y being the displacement from equilibrium.
Newton’s second law gives:
d2 y
m = −ky − ay 3 , τ > 0,
dτ 2
and initial conditions:
dy
y(0) = A, (0) = 0.
dτ
This problem cannot be solved exactly, but for a k,it suggests a perturbation
method.
From the initial conditions, we scale y by the amplitude A.
For the scaling of time, we ignore the cubic term and examine the
pODE,
my 00 + ky = 0, which has periodic solutions with a frequency of k/m or period
p
T = 2π m/k.
This suggests a scaling of
τ y
t= p and u= .
m/k A
Duffing’s Equation 1
aA2
ε≡ 1.
k
Duffing’s Equation 2
Duffing’s Equation: From IVP above, we obtain the following sequence of IVPs
u0 (t) = cos(t).
To solve the second IVP, we use the trig identity cos(3t) = 4 cos3 (t) − 3 cos(t), so
Duffing’s Equation 3
Duffing’s Equation is given by:
3
ü + u + εu = 0, u(0) = 1, u̇(0) = 0, t > 0,
with approximate solutions:
u0 (t) = cos(t).
and
u0 (t) + εu1 (t) = cos(t) + ε 1 cos(3t) − cos(t) − 3
t sin(t) .
32 8
Duffing’s Equation
1
ε = 0.2
0.5
0
v
-0.5
Exact, ue
Approx u0
-1 Approx u1
-1 -0.5 0 0.5
Lecture 1 – Perturbation
Notes 1.5 Methods —
Joseph M. Mahaffy, hjmahaffy@sdsu.edui u(39/47)
Introduction
Duffing’s Equation
Regular Perturbation Method
Poincaré-Lindstedt Method
Nonlinear Oscillations
Duffing’s Equation 4
1 function du = duffDE(t,u)
2 % Duffing's ODE
3 ep = 0.2;
4 du1 = u(2);
5 du2 = -u(1) - ep*(u(1))ˆ3;
6 du = [du1;du2];
7 end
Duffing’s Equation 5
9 u1 = cos(tt) + ep*((1/32)*(cos(3*tt)-cos(tt))...
10 -(3/8)*tt.*sin(tt));
11 v1 = -sin(tt) + ep*((1/32)*(-3*sin(3*tt)+sin(tt))...
12 -(3/8)*(tt.*cos(tt)+sin(tt)));
13 plot(ue(:,1),ue(:,2),'b-','LineWidth',1.5);
14 hold on
15 plot(u0,v0,'r-','LineWidth',1.5);
16 plot(u1,v1,'m-','LineWidth',1.5);
17 grid % Adds Gridlines
18 h =legend('Exact, $u e$', 'Approx $u 0$',...
19 'Approx $u 1$', 'Location','southeast');
20 set(h,'Interpreter','latex')
21 text(-0.2,0.8,'$\varepsilon = 0.2$','FontSize',14,...
22 'interpreter','latex');
23 xlim([-1.2 1.5]);
24 ylim([-1.2 1.2]);
Duffing’s Equation 5
0.5
-0.5
-1
-1.5
0 5 10 15 20 25
Poincaré-Lindstedt Method 1
(1 + εω1 + . . . )2 (u00 00 3
0 + εu1 + . . . ) + (u0 + εu1 + . . . ) + ε(u0 + εu1 + . . . ) = 0,
and
u0 (0) + εu1 (0) + · · · = 1, u00 (0) + εu01 (0) + · · · = 0.
Poincaré-Lindstedt Method 2
u00
0 + u0 = 0, u0 (0) = 1, u00 (0) = 0,
and
u00 00 3
1 + u1 = −2ω1 u0 − u0 , u1 (0) = u01 (0) = 0, . . .
The solution to the first equation is:
u0 (τ ) = cos(τ ),
u00 3 3 1
1 + u1 = 2ω1 cos(τ ) − cos (τ ) = 2ω1 − 4
cos(τ ) − 4
cos(3τ ).
Since cos(τ ) is a solution to the homogeneous equation, this term on the right
side leads to a particular solution, leading to a secular term of the form τ cos(τ ).
3
This term is eliminated by taking ω1 = 8
.
Poincaré-Lindstedt Method 3
3
Poincaré-Lindstedt Method: With ω1 = 8
, the second DE equation becomes:
u00 1
1 + u1 = − 4 cos(3τ ), u1 (0) = u01 (0) = 0.
1
u1 (τ ) = c1 cos(τ ) + c2 sin(τ ) + 32
cos(3τ ),
1
u1 (τ ) = 32
cos(3τ ) − cos(τ ) .
ε
u(τ ) = cos(τ ) + 32
cos(3τ ) − cos(τ ) + . . . ,
where
3ε
τ =t+ 8
t + ...
Poincaré-Lindstedt Method 4
Duffing’s Equation is given by:
3
ü + u + εu = 0, u(0) = 1, u̇(0) = 0, t > 0,
where
τ = t + 3ε
8
t + ...
Below is a Phase Portrait and Time Series of v(t) vs u(t), where v = u̇.
1 1
ε = 0.2 ε = 0.2
0.5
0.5
0
0 u
v
-0.5
-0.5
-1
Exact, ue Exact, ue
Approx u0 Approx u0
-1 Approx u1 Approx u1
-1.5
-1 -0.5 0 0.5 1 1.5 0 5 10 15 20 25
u t