6

Why, for finite dimensions, is nonlinearity a precondition for chaos?

This article (Linear Chaos? By Nathan S. Feldman) offers an example of an infinite dimensional chaotic map, which is linear. While it also suggests a hint (in section 2) about why finite dimensional linear maps cannot be chaotic, the reason is not immediately clear to me. Could one maybe relate nonlinearity to the fulfilment of the 3 criteria for chaos (mentioned in the paper)?

Moreover, could arguments made for a map/discrete dynamical system be naturally carried on to continuous dynamical systems/differential equations? I assume one would begin by looking at the flow function, but I have no idea how to proceed.

2 Answers2

2

Yes, it does.

My take is that, without nonlinearity, folding is missing.

One of the main mechanisms behind classical chaos is the so-called stretch and fold. It can be visualized as a blob of initial conditions being stretched and then folded over itself by the mapping: stretching leads to a divergence of close trajectories (the hallmark of chaos), while folding keeps them bounded (and dense).

A linear system may be able to produce stretching, but this alone corresponds to a trivial behavior, divergence. But, in the spaces we're considering, a linear system cannot produce folding:

[none of the] orbits of a linear operator in finite dimensions [...] are dense in the space

Why can't linear functions produce folding?
- The reason is that folding means that an interval is mapped on itself twice, and that requires a non-monotonic function (and linear functions are monotonic), such as the logistic map's parabola.

Notice, though, that topology can provide the folding that a linear transformation alone can't, see, e.g., Arnold's cat map, which is a linear map on a torus.

You ask about the condition 3, but we don't need to address it directly:

if $f$ has a dense set of periodic points and is transitive, then $f$ must have sensitive dependence on initial conditions. Hence only the first two conditions of the definition of chaos need to be verified when showing that a particular function $f$ is chaotic.

As for differential equations, any linear ODE, $\dot{\mathbf{x}}=\mathbf{A}\mathbf{x}$, can be solved. More pictorially, the understanding of maps can be somewhat transfered to flows by means of Poincaré maps and, especially, Poincaré recurrence plots. See, e.g., Carroll's A review of return maps for Rössler and the complex Lorenz or Crutchfield's slides from the lecture Example Dynamical Systems.

stafusa
  • 13,064
1

Two rather quick ways to solve the titular question are:

  1. Finite-dimensional linear dynamical systems can be solved analytically. The solution is not chaotic.

  2. Suppose a finite linear system exhibits a strong sensitivity to initial conditions, namely an arbitrarily small perturbation in the initial conditions blows up. As such systems are subject to the superposition principle, we can decompose the solution into one for the original system and one for the perturbation. Applying the superposition principle again, a multiple of the perturbation solution must again be a solution. This however means that the dynamics is unbounded.

Wrzlprmft
  • 6,417
  • 2
  • 28
  • 48