The Lorenz system is a system of ordinary differential equations first studied by mathematician and meteorologist Edward Lorenz. It is notable for having chaotic solutions for certain parameter values and initial conditions. In particular, the Lorenz attractor is a set of chaotic solutions of the Lorenz system. The term "butterfly effect" in popular media may stem from the real-world implications of the Lorenz attractor, namely that tiny changes in initial conditions evolve to completely different trajectories. This underscores that chaotic systems can be completely deterministic and yet still be inherently impractical or even impossible to predict over longer periods of time. For example, even the small flap of a butterfly's wings could set the earth's athmosphere on a vastly different trajectory, in which for example a hurricane occurs where it otherwise would have not (see Saddle points). The shape of the Lorenz attractor itself, when plotted in phase space, may also be seen to resemble a butterfly.
In 1963, Edward Lorenz, with the help of Ellen Fetter who was responsible for the numerical simulations and figures, and Margaret Hamilton who helped in the initial, numerical computations leading up to the findings of the Lorenz model, developed a simplified mathematical model for atmospheric convection. The model is a system of three ordinary differential equations now known as the Lorenz equations:
\begin{align} | dx |
dt |
&=\sigma(y-x),\\[6pt]
dy | |
dt |
&=x(\rho-z)-y,\\[6pt]
dz | |
dt |
&=xy-\betaz. \end{align}
The equations relate the properties of a two-dimensional fluid layer uniformly warmed from below and cooled from above. In particular, the equations describe the rate of change of three quantities with respect to time: is proportional to the rate of convection, to the horizontal temperature variation, and to the vertical temperature variation. The constants,, and are system parameters proportional to the Prandtl number, Rayleigh number, and certain physical dimensions of the layer itself.
The Lorenz equations can arise in simplified models for lasers, dynamos, thermosyphons, brushless DC motors, electric circuits, chemical reactions and forward osmosis. The Lorenz equations are also the governing equations in Fourier space for the Malkus waterwheel. The Malkus waterwheel exhibits chaotic motion where instead of spinning in one direction at a constant speed, its rotation will speed up, slow down, stop, change directions, and oscillate back and forth between combinations of such behaviors in an unpredictable manner.
From a technical standpoint, the Lorenz system is nonlinear, aperiodic, three-dimensional and deterministic. The Lorenz equations have been the subject of hundreds of research articles, and at least one book-length study.
One normally assumes that the parameters,, and are positive. Lorenz used the values, and . The system exhibits chaotic behavior for these (and nearby) values.[1]
If then there is only one equilibrium point, which is at the origin. This point corresponds to no convection. All orbits converge to the origin, which is a global attractor, when .[2]
A pitchfork bifurcation occurs at, and for two additional critical points appear at These correspond to steady convection. This pair of equilibrium points is stable only if
\rho<\sigma
\sigma+\beta+3 | |
\sigma-\beta-1 |
,
When,, and, the Lorenz system has chaotic solutions (but not all solutions are chaotic). Almost all initial points will tend to an invariant setthe Lorenz attractora strange attractor, a fractal, and a self-excited attractor with respect to all three equilibria. Its Hausdorff dimension is estimated from above by the Lyapunov dimension (Kaplan-Yorke dimension) as,[4] and the correlation dimension is estimated to be .The exact Lyapunov dimension formula of the global attractor can be found analytically under classical restrictions on the parameters:[4] [5]
3-
2(\sigma+\beta+1) | |
\sigma+1+\sqrt{\left(\sigma-1\right)2+4\sigma\rho |
The Lorenz attractor is difficult to analyze, but the action of the differential equation on the attractor is described by a fairly simple geometric model.[6] Proving that this is indeed the case is the fourteenth problem on the list of Smale's problems. This problem was the first one to be resolved, by Warwick Tucker in 2002.
For other values of, the system displays knotted periodic orbits. For example, with it becomes a torus knot.
Sensitive dependence on the initial condition | ||
---|---|---|
Time (Enlarge) | Time (Enlarge) | Time (Enlarge) |
These figures — made using, and — show three time segments of the 3-D evolution of two trajectories (one in blue, the other in yellow) in the Lorenz attractor starting at two initial points that differ only by 10−5 in the -coordinate. Initially, the two trajectories seem coincident (only the yellow one can be seen, as it is drawn over the blue one) but, after some time, the divergence is obvious. |
Divergence of nearby trajectories. | |
---|---|
Evolution of three initially nearby trajectories of the Lorenz system. In this animation the equation is numerically integrated using a Runge-Kutta routine — made using starting from three initial conditions (green), (blue) and (red). Produced with WxMaxima. | |
The parameters are: \rho=28 \sigma=10 \beta=8/3 t=24.0 |
In Figure 4 of his paper, Lorenz plotted the relative maximum value in the z direction achieved by the system against the previous relative maximum in the direction. This procedure later became known as a Lorenz map (not to be confused with a Poincaré plot, which plots the intersections of a trajectory with a prescribed surface). The resulting plot has a shape very similar to the tent map. Lorenz also found that when the maximum value is above a certain cut-off, the system will switch to the next lobe. Combining this with the chaos known to be exhibited by the tent map, he showed that the system switches between the two lobes chaotically.
Over the past several years, a series of papers regarding high-dimensional Lorenz models have yielded a generalized Lorenz model,[7] which can be simplified into the classical Lorenz model for three state variables or the following five-dimensional Lorenz model for five state variables:[8]
A choice of the parameter has been applied to be consistent with the choice of the other parameters. See details in.
@kwdef mutable struct Lorenz dt::Float64 = 0.02 σ::Float64 = 10 ρ::Float64 = 28 β::Float64 = 8/3 x::Float64 = 2 y::Float64 = 1 z::Float64 = 1end
function step!(l::Lorenz) dx = l.σ * (l.y - l.x); l.x += l.dt * dx dy = l.x * (l.ρ - l.z) - l.y; l.y += l.dt * dy dz = l.x * l.y - l.β * l.z; l.z += l.dt * dzend
attractor = Lorenz
plt = plot3d(1, xlim = (-30, 30), ylim = (-30, 30), zlim = (0, 60), title = "Lorenz Attractor", marker = 2,)
@gif for i=1:1500 step!(attractor) push!(plt, attractor.x, attractor.y, attractor.z)end every 10
[10, 28, 8/3]$eq: [sigma*(y-x), x*(rho-z)-y, x*y-beta*z]$sol: rk(eq, [x, y, z], [1, 0, 0], [t, 0, 50, 1/100])$len: length(sol)$x: makelist(sol[k][2], k, len)$y: makelist(sol[k][3], k, len)$z: makelist(sol[k][4], k, len)$draw3d(points_joined=true, point_type=-1, points(x, y, z), proportional_axes=xyz)$
sigma = 10;beta = 8/3;rho = 28;f = @(t,a) [-sigma*a(1) + sigma*a(2); rho*a(1) - a(2) - a(1)*a(3); -beta*a(3) + a(1)*a(2)];[t,a] = ode45(f,[0 100],[1 1 1]); % Runge-Kutta 4th/5th order ODE solverplot3(a(:,1),a(:,2),a(:,3))
Standard way:
Less verbose:
def lorenz(xyz, *, s=10, r=28, b=2.667): """ Parameters ---------- xyz : array-like, shape (3,) Point of interest in three-dimensional space. s, r, b : float Parameters defining the Lorenz attractor.
Returns ------- xyz_dot : array, shape (3,) Values of the Lorenz attractor's partial derivatives at *xyz*. """ x, y, z = xyz x_dot = s*(y - x) y_dot = r*x - y - x*z z_dot = x*y - b*z return np.array([x_dot, y_dot, z_dot])
dt = 0.01num_steps = 10000
xyzs = np.empty((num_steps + 1, 3)) # Need one more for the initial valuesxyzs[0] = (0., 1., 1.05) # Set initial values
for i in range(num_steps): xyzs[i + 1] = xyzs[i] + lorenz(xyzs[i]) * dt
ax = plt.figure.add_subplot(projection='3d')
ax.plot(*xyzs.T, lw=0.6)ax.set_xlabel("X Axis")ax.set_ylabel("Y Axis")ax.set_zlabel("Z Axis")ax.set_title("Lorenz Attractor")
plt.show
prm <- list(sigma = 10, rho = 28, beta = 8/3)
varini <- c(X = 1, Y = 1, Z = 1)
Lorenz <- function (t, vars, prm)
times <- seq(from = 0, to = 100, by = 0.01)
out <- ode(y = varini, times = times, func = Lorenz, parms = prm)
gfill <- function (repArr, long)
dout <- as.data.frame(out)
dout$color <- gfill(rainbow(10), nrow(dout))
plot_ly(data=dout, x = ~X, y = ~Y, z = ~Z, type = 'scatter3d', mode = 'lines', opacity = 1, line = list(width = 6, color = ~color, reverscale = FALSE))
As shown in Lorenz's original paper, the Lorenz system is a reduced version of a larger system studied earlier by Barry Saltzman. The Lorenz equations are derived from the Oberbeck–Boussinesq approximation to the equations describing fluid circulation in a shallow layer of fluid, heated uniformly from below and cooled uniformly from above. This fluid circulation is known as Rayleigh–Bénard convection. The fluid is assumed to circulate in two dimensions (vertical and horizontal) with periodic rectangular boundary conditions.
The partial differential equations modeling the system's stream function and temperature are subjected to a spectral Galerkin approximation: the hydrodynamic fields are expanded in Fourier series, which are then severely truncated to a single term for the stream function and two terms for the temperature. This reduces the model equations to a set of three coupled, nonlinear ordinary differential equations. A detailed derivation may be found, for example, in nonlinear dynamics texts from, Appendix C;, Appendix D; or Shen (2016),[9] Supplementary Materials.
The scientific community accepts that the chaotic features found in low-dimensional Lorenz models could represent features of the Earth's atmosphere ([10] [11] [12]), yielding the statement of “weather is chaotic.” By comparison, based on the concept of attractor coexistence within the generalized Lorenz model and the original Lorenz model ([13]), Shen and his co-authors [14] proposed a revised view that “weather possesses both chaos and order with distinct predictability”. The revised view, which is a build-up of the conventional view, is used to suggest that “the chaotic and regular features found in theoretical Lorenz models could better represent features of the Earth's atmosphere”.
Smale's 14th problem says, 'Do the properties of the Lorenz attractor exhibit that of a strange attractor?'. The problem was answered affirmatively by Warwick Tucker in 2002. To prove this result, Tucker used rigorous numerics methods like interval arithmetic and normal forms. First, Tucker defined a cross section
\Sigma\subset\{x3=r-1\}
P
x\in\Sigma
P(x)
x
\Sigma
Then the proof is split in three main points that are proved and imply the existence of a strange attractor. The three points are:
N\subset\Sigma
P(N)\subsetN
DP
To prove the first point, we notice that the cross section
\Sigma
P(\Sigma)
Ri
N
N
\Sigma
N
\Sigma'
\Sigma
h
ci
Ri
ci
\Sigma'
ci'
\Sigma
\Sigma'
Ri'
ci
Ri
Ri'
\Sigma
Rfi
\Sigma
P(Ri)\subsetRfi
Ri'
Ri,j