Iterated Maps and the Logistic Map

Research Depth 92 in the knowledge graph I know this Set as goal
Unlocks 4 downstream topics
logistic-map iterated-maps discrete-dynamics cobweb-diagram

Core Idea

An iterated map x_{n+1} = f(x_n) defines a discrete dynamical system where the state updates in steps rather than flowing continuously. The logistic map x_{n+1} = rx_n(1 - x_n) is the simplest example that exhibits the full range of nonlinear phenomena: fixed points, period doubling, chaos, and periodic windows — all in one dimension. Unlike continuous flows, where chaos requires at least three dimensions (by Poincare-Bendixson), discrete maps can be chaotic in just one dimension because the non-crossing constraint doesn't apply.

Explainer

Continuous flows and discrete maps are the two fundamental types of dynamical systems. You've been studying flows — systems where time is continuous and the state evolves according to differential equations. Iterated maps are the discrete counterpart: the state updates in discrete steps according to x_{n+1} = f(x_n). Maps arise naturally as Poincare sections of continuous flows (sample the flow once per cycle), as models in ecology (non-overlapping generations), and as mathematical laboratories for chaos (because they can exhibit chaos in just one dimension, making visualization and analysis far simpler than 3D flows).

The logistic map x_{n+1} = rx_n(1 - x_n) is the central example. It models population growth with a carrying capacity: x represents the population fraction (between 0 and 1), r is the growth rate, and the (1 - x) factor models crowding. For small r, the population settles to a stable equilibrium — the map has an attracting fixed point. As r increases past 3, this fixed point loses stability and a period-2 cycle appears: the population oscillates between two values every other generation. Further increase yields period-4, period-8, and so on — a cascade of period-doubling bifurcations that accelerates and culminates in chaos at r ≈ 3.57.

The transition from order to chaos in the logistic map is remarkable for its universality and its richness. Beyond the onset of chaos, the bifurcation diagram shows periodic windows — islands of order within the chaos where the system temporarily locks into periodic behavior. The most prominent is the period-3 window near r ≈ 3.83. The theorem "period 3 implies chaos" (Sharkovskii's theorem, generalized) says that a one-dimensional continuous map with a period-3 orbit must have periodic orbits of every integer period — and must also have uncountably many chaotic orbits. The logistic map packs an astonishing amount of mathematical structure into a single one-dimensional equation.

What makes maps different from flows is the absence of the continuity constraint that prevents trajectory crossing. In a one-dimensional flow, a trajectory moving to the right cannot reverse direction without hitting a fixed point (where ẋ = 0). In a map, x_{n+1} can be anywhere — the map can fold the interval back on itself, sending nearby points far apart and distant points close together. This folding is the discrete-time analog of stretching and folding in continuous flows, and it is what makes one-dimensional chaos possible. The logistic map at r = 4 is fully chaotic: its Lyapunov exponent is ln 2, every orbit is either periodic or dense in [0,1], and nearby initial conditions diverge at an exponential rate.

Practice Questions 4 questions

Prerequisite Chain

Counting to 10Counting to 20Understanding ZeroThe Number ZeroCounting to FiveOne-to-One CorrespondenceCombining Small Groups Within 5Addition Within 10Addition Within 20Two-Digit Addition Without RegroupingTwo-Digit Addition with RegroupingAddition Within 100Repeated Addition as MultiplicationMultiplication Facts Within 100Division as Equal SharingDivision as Grouping (Measurement Division)Division: Grouping (Repeated Subtraction) ModelDivision: Fair Sharing ModelDivision as Equal SharingDivision as GroupingBasic Division FactsDivision Facts Within 100Two-Digit by One-Digit DivisionDivision with RemaindersRemainders and Quotients in DivisionDivision Word ProblemsIntroduction to Long DivisionFactors and MultiplesPrime and Composite NumbersEquivalent FractionsRelating Fractions and DecimalsDecimal Place ValueReading and Writing DecimalsComparing and Ordering DecimalsAdding and Subtracting DecimalsMultiplying DecimalsDividing DecimalsDividing FractionsMixed Number ArithmeticOrder of OperationsInteger Order of OperationsVariable ExpressionsCombining Like TermsOne-Step EquationsTwo-Step EquationsSolving Multi-Step EquationsEquations with Variables on Both SidesAngle Pairs: Complementary, Supplementary, and VerticalParallel Lines and TransversalsCorresponding AnglesAlternate Interior AnglesTriangle Angle Sum TheoremExterior Angle TheoremTriangle Inequality TheoremSimilar Triangles: AA SimilaritySimilar Triangles: SSS and SAS SimilarityProportions in Similar TrianglesRight Triangle Trigonometry IntroductionTrigonometric Ratios ReviewRadian MeasureConverting Between Degrees and RadiansThe Unit CircleGraphing Sine and CosineGraphing Tangent and Reciprocal Trigonometric FunctionsDerivatives of Trigonometric FunctionsAntiderivativesIndefinite IntegralsBasic Integration RulesRiemann SumsDefinite Integral DefinitionFundamental Theorem of Calculus Part 1Fundamental Theorem of Calculus Part 2U-SubstitutionIntegration by PartsSeparable Differential EquationsIntegrating Factor Method for First-Order Linear ODEsFirst-Order Linear Ordinary Differential EquationsSecond-Order Linear Homogeneous Differential EquationsCharacteristic Equation Method for Linear ODEsComplex Roots and Oscillatory SolutionsSpring-Mass Systems and Mechanical VibrationsResonance and Damping in Forced VibrationsRLC Circuit Applications of Differential EquationsIntroduction to Differential EquationsDirection Fields and Solution CurvesPhase Line Analysis for Autonomous EquationsBifurcation in Ordinary Differential EquationsSaddle-Node BifurcationHopf BifurcationLimit CyclesPoincare-Bendixson TheoremChaos — Definition and PropertiesIterated Maps and the Logistic Map

Longest path: 93 steps · 382 total prerequisite topics

Prerequisites (2)

Leads To (3)