Math 216 Differential Equations

advertisement
Nonlinear mechanical systems
Old mass-spring systems
Math 216
Differential Equations
Old model. We have been assuming the the response of the spring
was constant regardless of its elongation or compression:
mx 00 + cx 0 + kx = F (t)
Kenneth Harris
kaharri@umich.edu
x(t) is the displacement from the equillibrium position,
m is the mass on the spring,
Department of Mathematics
University of Michigan
c is damping,
k is the spring elasticity, and obeys Hooke’s law Fspring = −kx
November 17, 2008
Kenneth Harris (Math 216)
Math 216 Differential Equations
where m, c, k > 0.
F is the external force applied to the system.
November 17, 2008
1/1
Nonlinear mechanical systems
Kenneth Harris (Math 216)
Math 216 Differential Equations
November 17, 2008
3/1
Nonlinear mechanical systems
Nonlinear elasticity
Nonlinear elasticity
New model. In actual systems, there is a progressive stiffening or
weakening of the spring as it is elongated or compressed. This is a
nonlinear response.
We assume the spring reacts symmetrically, the simplest modification:
Nonlinear model. We will consider nonlinear models without external
forces:
mx 00 + cx 0 + kx − βx 3 = 0
Fspring = −kx + βx 3
Normal Form. We convert this to a first-order system by introducing
velocity, y = y (t):
so, the nonlinear mass-spring system is
mx 00 + cx 0 + kx − βx 3 = F (t)
where m, c, k > 0.
dx
dt
dy
dt
β = 0: original linear equation.
β < 0: spring becomes increasingly stiffer as it is elongated or
depressed (hard spring),
β > 0: spring becomes increasingly less resilient as it is elongated
or depressed (soft spring).
Kenneth Harris (Math 216)
Math 216 Differential Equations
November 17, 2008
4/1
Kenneth Harris (Math 216)
= y
= −
c
k
β
y − x + x3
m
m
m
Math 216 Differential Equations
November 17, 2008
5/1
Nonlinear mechanical systems
Nonlinear mechanical systems
Linearization
Critical point at origin
Nonlinear model. We start without damping:
dx
dt
dy
dt
dx
= y,
dt
= y
= −
Linearization at (0, 0).
k
β
x
x + x3 =
βx 2 − k
m
m
m
J(x, y ) =
Critical points. (0, 0) is a critical point.
− mk
Kenneth Harris (Math 216)
1
0
0
J(0, 0) =
− mk
k
m
1
0
(natural
Analysis. The linearization has a stable center at the origin. The
critical point of the nonlinear system at (0, 0) could be either a stable
center or spiral point (stable or unstable). We need to analyze
solutions to obtain further information.
Linearization. The Jacobian is
0
2
+ 3β
mx
− mk
0
2
+ 3β
mx
The characteristic equation is λ2 + ω 2 , where ω 2 =
frequency). The eigenvalues are λ = ±ωi.
β < 0 (hard spring): (0, 0) is the only critical point.
q
β > 0 (soft spring): (± βk , 0) are also critical points.
dy
k
β
= − x + x3
dt
m
m
1
0
Math 216 Differential Equations
November 17, 2008
6/1
Nonlinear mechanical systems
Kenneth Harris (Math 216)
Math 216 Differential Equations
November 17, 2008
7/1
Nonlinear mechanical systems
Solutions at origin
Conservation of energy
dx
= y,
dt
dy
k
β
= − x + x3
dt
m
m
Position-velocity solutions to
mx 00 + kx − βx 3 = 0
Solutions. We use the chain rule to rewrite as a first order system
(with independent variable x and dependent variable y )
dy
=
dx
dy
dt
dx
dt
=
− mk x +
y
β 3
mx
satisfy the conservation of energy
1
1
1
my 2 + kx 2 − βx 4 = E
2
2
4
.
where E is the total energy,
Separating variables
Kinetic energy (due to inertia) is 12 my 2 ,
3
my dy = −kx + βx dx.
Potential energy (due to spring potential) is 12 kx 2 − 41 βx 4
Integrating
1
1
1
my 2 + kx 2 − βx 4 = E
2
2
4
Analysis. Position-velocity trajectories are along paths of constant
energy.
where E is a an arbitrary constant of integration.
Kenneth Harris (Math 216)
Math 216 Differential Equations
November 17, 2008
8/1
Kenneth Harris (Math 216)
Math 216 Differential Equations
November 17, 2008
9/1
Hard springs without damping
Hard springs without damping
Hard spring
Trajectories
Hard springs get stiffer as they are stretched or compressed:
Solutions obey the conservation of energy (where x is position and y
is velocity)
1
1
1
my 2 + kx 2 − βx 4 = E
2
2
4
Like the linear system, these solutions are periodic. (Recall, the linear
system is when β = 0.)
Fspring = −kx − |β|x 3
where β < 0.
The nonlinear undamped mass-spring system is
mx 00 + kx + |β|x 3 = 0
where m, c, k > 0.
Trajectories in the Position-Velocity plane are similar to the linear
system with two exceptions
As a system of equations:
dx
= y,
dt
dy
k
|β| 3
=− x+
x
dt
m
m
Critical point. The only critical point is at (0, 0), which is a center in
the linearization.
Kenneth Harris (Math 216)
Math 216 Differential Equations
November 17, 2008
1
Trajectories are flatter quartic ovals (not quadratic ellipses),
2
The period and amplitude of the nonlinear system depends on the
initial position x0 q
and initial velocity y0 . (In the linear system, the
period is T = 2π
11 / 1
k
m,
Kenneth Harris (Math 216)
Hard springs without damping
so independent of the initial conditions.)
Math 216 Differential Equations
November 17, 2008
12 / 1
Hard springs without damping
Example
Position-Velocity plots
Position-Velocity plots at different energy levels
Trajectories at constant energy
6
E=32
Example. Hard spring: β = −8, m, k = 2:
4
00
E=16
3
2x + 2x + 8x = 0.
E=8
2
E=4
E=1
0
Solution. Position x and velocity y solutions satisfy constant energy E:
-2
y 2 + x 2 + 2x 4 = E
-4
-6
-6
Kenneth Harris (Math 216)
Math 216 Differential Equations
November 17, 2008
13 / 1
Kenneth Harris (Math 216)
-4
-2
0
2
Math 216 Differential Equations
4
6
November 17, 2008
14 / 1
Hard springs without damping
Soft springs without damping
Trajectories
Soft spring
Plot of position at different energies: 0.3125 and 20.
Period decreases, amplitude increases at higher energy.
Soft springs weaken as they are stretched or compressed:
Position plots at different energies
Fspring = −kx + βx 3
2
E = 0.3125
E = 20
where β > 0,
1.5
so, the nonlinear undamped mass-spring system is
1
mx 00 + kx − βx 3 = 0
position
0.5
where m, c, k , β > 0.
0
The behavior of the spring depends on displacement x.
−0.5
When kx > βx 3 spring’s force is directed toward equillibrium
position.
−1
−1.5
When kx = βx 3 spring exerts no force.
−2
−2.5
When kx < βx 3 spring’s force repulses from equillibrium position.
0
2
4
Kenneth Harris (Math 216)
6
8
10
time
12
14
Math 216 Differential Equations
16
18
20
November 17, 2008
15 / 1
Kenneth Harris (Math 216)
Soft springs without damping
Math 216 Differential Equations
November 17, 2008
17 / 1
Soft springs without damping
Soft spring
Analysis of other critical points
Soft spring model
mx 00 + kx − βx 3 = 0
dx
= y,
dt
where m, c, k , β > 0.
q
Linearization at (± βk , 0).
As a system of equations:
dx
= y,
dt
dy
k
β
= − x + x3
dt
m
m
dy
k
|β| 3
x
=− x+
x =−
k − βx 2
dt
m
m
m
J(x, y ) =
− mk
0
2
+ 3β
mx
1
0
s
J(±
k
, 0) =
β
0
2k
m
1
0
The characteristic equation is λ2 − 2k
m:
there are two real eigenvalues of opposite signs.
Critical point. Thereqare critical points at (0, 0) (a center in the
linearization) and (± βk , 0).
Trajectories obey the conservation of energy
q
Analysis. The nonlinear system has saddlepoints at (± βk , 0).
1
1
1
my 2 − kx 2 + βx 4 = E
2
2
4
Kenneth Harris (Math 216)
Math 216 Differential Equations
November 17, 2008
18 / 1
Kenneth Harris (Math 216)
Math 216 Differential Equations
November 17, 2008
19 / 1
Soft springs without damping
Soft springs without damping
Saddlepoints
Separatices
Linearization. Eigenvectors correspond to the lines which separate different
behavior of the system. These lines separate different behavior in
trajectories.
0
Separatrices are the nonlinear deformations of the eigenvectors for
the saddlepoint in the linearization.
q
They occur at the same energy level as the critical points (± βk , 0).
0
E=
0
1 k2 1 k2
1 k2
−
=
2 β
4 β
4 β
The separatrices separate different kinds of behavior of trajectories in
the nonlinear system.
0
Kenneth Harris (Math 216)
Math 216 Differential Equations
November 17, 2008
20 / 1
Kenneth Harris (Math 216)
Soft springs without damping
Math 216 Differential Equations
November 17, 2008
21 / 1
Soft springs without damping
Separatrices
Trajectories
Separatrices separate the kinds of trajectories in the phase plane .
Separatrices at E=
Several trajectories from each of the three regions, with critical points.
Trajectories at constant energy
k2
6
4Β
4
II
2
III
III
0
H-
k
Β
,0L
I
H
k
Β
,0L
-2
-4
II
-6
-6
Kenneth Harris (Math 216)
Math 216 Differential Equations
November 17, 2008
22 / 1
Kenneth Harris (Math 216)
-4
-2
0
2
Math 216 Differential Equations
4
6
November 17, 2008
23 / 1
Soft springs without damping
Soft springs without damping
Separatrices: Three regions
Example
There are three regions of behavior determined by the separatrices.
Example. Soft spring: β = 2, m = 2, k = 8:
I Periodic. Trajectories where 0 ≤ E < 8. Mass oscillates around
central equillibrium.
2x 00 + 8x − 2x 3 = 0.
II Unbounded. Trajectories where E > 8. Velocity is too great and
carries mass beyond the spring threshold. (In physical
applications: spring breaks!!)
Critical points. (0, 0), (2, 0), (−2, 0)
III Unbounded. Trajectories where E < 0. Physically impossible in
mass-spring. Mass too far away from central equillibrium point
and spring acts repulsively.
q
Note. The critical points (± βk , 0) occur where the mass is sufficiently
far that the spring exerts no force on the mass. Beyond this distance
spring repulses the mass (no physical analogy with mass-spring).
Kenneth Harris (Math 216)
Math 216 Differential Equations
November 17, 2008
24 / 1
Solution. Position x and velocity y at constant energy E:
1
y 2 + 4x 2 − x 4 = E
2
Kenneth Harris (Math 216)
Soft springs without damping
Math 216 Differential Equations
November 17, 2008
25 / 1
Soft springs without damping
Differential fields with separatices
Amplitude and period
Separatrices plotted on with critical points
x’=y
y ’ = − 4 x + x3
Periodic behavior. At sufficiently low energy, trajectories are periodic.
Like the hard spring model, both amplitude and period depend upon
the initial position and velocity.
4
3
2
1
y
However,
0
Amplitude increases at higher energy.
−1
Period decreases at higher energy.
−2
This makes sense: when the mass is farther from the equillibrium the
spring’s force is weaker.
−3
−4
−5
−4
−3
−2
−1
0
1
2
3
4
x
Kenneth Harris (Math 216)
Math 216 Differential Equations
November 17, 2008
26 / 1
Kenneth Harris (Math 216)
Math 216 Differential Equations
November 17, 2008
27 / 1
Soft springs without damping
Degenerate Example
Trajectories
Example
Plot of position at different energies: 0.1592 and 3.5.
Period increases, amplitude increases at higher energy.
Example.
Position plots at different energies
1
E = 0.1592
E = 3.5
0.8
x0
=
4xy
0
=
x2 − y2
y
0.6
0.4
Critical points. The only critical point is (0, 0).
position
0.2
0
Jacobian.
−0.2
−0.4
−0.6
4x
−2y
0 0
J(0, 0) =
0 0
We cannot use the linearization to get any information about the critical
point (0, 0), since det(J(0, 0)) = 0 and so J(0, 0) is not invertible.
−0.8
−1
4y
J(x, y ) =
2x
0
2
4
Kenneth Harris (Math 216)
6
8
10
time
12
14
16
18
20
Math 216 Differential Equations
November 17, 2008
28 / 1
Kenneth Harris (Math 216)
Degenerate Example
Math 216 Differential Equations
November 17, 2008
30 / 1
Degenerate Example
Phase plot
Ray solutions
Phase plot shows six solutions lying on rays. (The mauve-colored dashed
lines.) These are separatrices. Linear systems have at most four.
Lets look at the ray solutions of
x 0 = 4xy ,
x’=4xy
y ’ = x2 − y2
y0 = x2 − y2
4
Case 1. If x = 0 then x 0 = 0 (so, x never changes!) and y 0 = −y 2 .
We can solve y 0 = −y 2 using separation of variables:
3
2
y (t) =
y
1
1
t −c
0
where c is an arbitrary constant.
−1
Analysis. One kind of trajectory lives on the y -axis:
−2
−3
x(t) = 0,
−4
−4
−3
Kenneth Harris (Math 216)
−2
−1
0
x
1
Math 216 Differential Equations
2
3
y (t) =
1
.
t −c
4
November 17, 2008
31 / 1
Kenneth Harris (Math 216)
Math 216 Differential Equations
November 17, 2008
32 / 1
Degenerate Example
Lorenz Equation
Ray solutions
Lorenz system
Lets look at the ray solutions of
x 0 = 4xy ,
Case 2. Suppose y = mx and lets find m. So,
dx
= 4mx 2 ,
dt
Example. In the late fifties the meteorologist Edward Lorenz came
upon the following nonlinear autonomous three-dimensional system
when modeling atmospheric turbulence beneath a thunderhead
(where air is cooled from above and warmed from below).
y0 = x2 − y2
dy
dx
= m and
dy
= (1 − m)x 2
dt
x 0 = −ax + ay
y 0 = rx − y − xz
By the chain rule
z 0 = −bz + xy
m=
dy
=
dx
dy
dt
dx
dt
=
(1 − m)x 2
1−m
=
4mx 2
4m
where a, b, r are positive constants.
Motivation. What drove Lorenz was the search for an equation which
would model some of the unpredictable behavior which we normally
associate with the weather.
Thus, 5m2 − 1 = 0, and m = ± √15 .
Analysis. A second kind of trajectory lives on the lines with slope
m = ± √15 .
Kenneth Harris (Math 216)
Math 216 Differential Equations
November 17, 2008
33 / 1
Kenneth Harris (Math 216)
Lorenz Equation
Math 216 Differential Equations
Basic properties of the Lorenz system
Example. Fix a, b > 0 in the system
Example. a = 10, b = 83 , r = 28:
x 0 = −ax + ay
x 0 = −10x + 10y
y 0 = rx − y − xz
y 0 = 28x − y − xz
8
z 0 = − z + xy
3
z 0 = −bz + xy
Critical points. When r > 1, there are three critical points:
p
p
p
p
(0, 0, 0), ( b(r − 1), b(r − 1), r −1), (− b(r − 1)), − b(r − 1), r −1)
The critical points are unstable for most values of r .
Trajectories stay close to the origin, regardless of where the initial
point is chosen. They wrap crazily around the second two unstable
critical points.
Math 216 Differential Equations
35 / 1
Lorenz Equation
Basic properties of the Lorenz system
Kenneth Harris (Math 216)
November 17, 2008
November 17, 2008
Trajectories. All trajectories eventually crazily orbit the unstable
critical points:
√
√
√
√
(6 2, 6 2, 27), (−6 2, −6 2, 27)
producing a butterfly-like pattern.
36 / 1
Kenneth Harris (Math 216)
Math 216 Differential Equations
November 17, 2008
37 / 1
Lorenz Equation
Lorenz Equation
Phase plot
Basic properties of the Lorenz system
3-D Phase plot shows the butterfly-like trajectory.
Example. a = 10, b = 83 , r = 28:
The Lorenz attractor with a = 10, b = 2.6667, r = 28
50
x 0 = −10x + 10y
45
y 0 = 28x − y − xz
8
z 0 = − z + xy
3
40
35
z
30
25
Chaos. Even very small perturbations of the starting position lead to
dramatically different orbits. In fact, the disturbance is compounded
exponentially, leading to the butterfly effect:
20
15
10
A butterfly flapping its wings in Brazil can produce a tornado in
Texas. (due to Lorenz)
5
This strong dependence of outcomes on very slightly differing initial
conditions is a hallmark of the mathematical behavior known as chaos.
0
50
0
−20
−50
−15
0
−5
−10
y
5
10
15
20
x
Kenneth Harris (Math 216)
Math 216 Differential Equations
November 17, 2008
38 / 1
Kenneth Harris (Math 216)
Math 216 Differential Equations
Lorenz Equation
November 17, 2008
Lorenz Equation
Time plot of x-coordinate
Time plot of z-coordinate
The initial value of the Dashed green trajectory differed by 0.0001
√ in the
x-coordinate only. Note that the x-value is oscillating around ±6 2.
The initial value of the Dashed green trajectory differed by 0.0001 in the
x-coordinate only. Note that the z-value is oscillating around 27.
The Lorenz attractor with a = 10, b = 2.6667, r = 28
45
15
40
10
35
5
30
0
25
z
x
The Lorenz attractor with a = 10, b = 2.6667, r = 28
20
−5
20
−10
15
−15
10
−20
275
280
285
290
295
5
275
300
t
Kenneth Harris (Math 216)
39 / 1
Math 216 Differential Equations
280
285
290
295
300
t
November 17, 2008
40 / 1
Kenneth Harris (Math 216)
Math 216 Differential Equations
November 17, 2008
41 / 1
Download