← All exhibits

Chaos

Compare nearby Lorenz trajectories and separate sensitivity to initial conditions from numerical discretization error.

Computing new parameters. The previous result is shown until ready.
Visualization controls

State-space trajectories

Fixed-step RK4 · h = 0.005

Loading the state-space view. Computed samples and charts remain readable below.

Teal: reference (1,1,1) · Copper: perturbed (1+ε,1,1). State variables are dimensionless; these are not particle positions. Both paths use the same integration step.

40

Playback paused. All integration data are already computed.

Reference at t = 40(1.32161, 1.41611, 17.6636)
Perturbed at the same time(4.18861, 6.41597, 18.5099)
Initial-condition separation5.82532195
First d > 1t = 21.56

The scene shows 1144 sampled points per path (display stride 7); fixed bounds cover the entire computed run. Export retains all 8001 points of each base trajectory. Two-dimensional mode is a projection; numerical values retain x, y and z.

First state coordinate

Vertical: x (state units)

-18.60-9.03100.49720103019.640Current stored time 40Time t (model units)
Reference x(t)Perturbed x(t)
Initial-condition separation

Vertical: Distance d(t)

7.371e-6012.11024.32036.43048.540Current stored time 40Time t (model units)
Same h, different initial states
Separation on a logarithmic axis

Vertical: Distance d(t), log scale

7.371e-600.000373100.0189200.9583048.540Current stored time 40Time t (model units)
Positive distances; zeros omitted

0 full base samples have zero separation. Zeros remain in the data and linear view; a logarithm is shown only for positive distances.

Read samples around the selected time

A local table of stored samples. JSON and CSV contain the full calculation. Empty fine-step cells mean comparison was not requested.

TimeReference xReference yReference zDistanceh/h2 difference
39.9751.3350031.12540818.837975.113691—
39.981.3261541.18138918.596085.242478—
39.9851.3204891.2383418.357735.3779712—
39.991.3179051.29636718.122895.5202227—
39.9951.3183061.35558517.891535.669308—
401.3216071.41611317.663645.825322—

Measurements

Base integration step h
0.005 model time
Integrated duration
40 model timeRequested T=40; 8000 complete fixed steps.
Initial separation
1.000e-5
Final separation
5.825322
Maximum sampled separation
48.580679
First sampled threshold crossing
21.56 model timeFirst d(t) > 1; conditional on this run and sample grid.
Full exported sample rows
8001
Finite RK4 trajectories approximate this model; separation does not prove all properties of chaos or predict actual weather.
The diagnostic residual checks time-grid alignment only. It is not a bound on integration error.

Guided exploration

Which differences come from the initial state, and which come from the integration step?

Experiment

Save the current parameters and full-precision results, or reproduce the documented study. Importing an experiment reruns its calculation. Display quality and camera position do not affect the exported mathematics.

Open the chaos study →
Method details

Double-precision classical RK4. Fixed h; half-step samples compared at indices i and 2i. Residual: requested versus integrated time-grid endpoint.

Model version: chaos-rk4-1.0.0. Software: 0.1.0+uncommitted.dirty.f24df3120282. Numerical tolerance: 5.684341886080801e-13.

Unrounded residual: 0

Classification: numerical experiment. Mathematical claims require the stated assumptions and derivations.

Reasoning

Read the definitions, follow the arguments and examine the conditions of each result.

Background: Derivatives, Vectors, Initial-value problems. Start with the model for a brief introduction, follow the guided exploration for a closer look, or work through the arguments and experiment for a detailed study.

What you can learn
  • Interpret a deterministic differential equation and a numerical trajectory separately.
  • Compare initial perturbations at a fixed integration step.
  • Use short-time step refinement to examine numerical reliability.

Reading step 1 of 5: Specify the Lorenz model

Step 1 · Derivation · Selected

Specify the Lorenz model

The Lorenz system is a deterministic set of three coupled differential equations. Given an initial state and fixed parameters, it specifies a mathematical evolution; there is no random term in the model used here. The familiar trajectory is a path through a space of state variables, not the flight path of an air particle.

The default parameters are σ = 10, ρ = 28 and β = 8/3, with starting state (1,1,1). Lorenz derived the system from a strongly reduced convection model. This exhibit studies that finite-dimensional model and its numerical solution, without presenting the results as an actual weather prediction.

x˙=σ(y−x),y˙=x(ρ−z)−y,z˙=xy−βz\dot x=\sigma(y-x),\qquad \dot y=x(\rho-z)-y,\qquad \dot z=xy-\beta z

Derivation. Three coupled differential equations define the Lorenz initial-value problem used here.

Conditions and assumptions

  • The displayed parameters and initial state are fixed for each run.
  • The coordinates and time are model variables.

Sources: [M7] Deterministic Nonperiodic Flow

Step 2 · Derivation

Find exact equilibrium checks

At an equilibrium all three derivatives vanish. The first equation gives y = x when σ is positive. The second becomes x(ρ − z − 1) = 0. If x is zero, the third equation forces z to zero when β is positive, giving the origin.

Otherwise z = ρ − 1, and the third equation gives x² = β(ρ − 1). For ρ > 1 this produces two states with matching signs for x and y. Substituting these expressions directly into the vector field is an independent benchmark. Finding equilibria does not establish their stability or classify every other trajectory.

(x,y,z)=(±β(ρ−1), ±β(ρ−1), ρ−1)(x,y,z)=\left(\pm\sqrt{\beta(\rho-1)},\ \pm\sqrt{\beta(\rho-1)},\ \rho-1\right)

Derivation. The origin is an equilibrium; when ρ > 1 there are two further equilibria.

Conditions and assumptions

  • σ > 0 and β > 0; ρ > 1 for the nonzero equilibria.
  • σ > 0 and β > 0.
  • Matching signs are used for x and y.
  • ρ > 1 for the nonzero pair.

Sources: [M7] Deterministic Nonperiodic Flow

Step 3 · Numerical experiment

Distinguish two comparisons

For the sensitivity comparison, both trajectories use the same parameters, algorithm and integration step. Their initial states differ only by ε in the first coordinate. The distance curve records the Euclidean norm of their separation at the same computed times. With ε = 0, the same calculation should produce identical trajectories.

For the discretization comparison, hold the initial state fixed and change the integration step from h to h/2. Compare only shared time locations. These two experiments isolate different changes in the calculation; a single separating pair cannot tell them apart. Neither finite numerical comparison proves every rigorous property associated with chaos.

d(t)=∥uε(t)−u(t)∥2d(t)=\left\|u_{\varepsilon}(t)-u(t)\right\|_2

Numerical experiment. The distance between two computed trajectories measures separation for this particular run.

Conditions and assumptions

  • Both trajectories use the same solver, step and parameter values.
  • Only the first initial coordinate differs by ε.
  • A finite trajectory comparison is not a proof of all properties of chaos.

Sources: [M7] Deterministic Nonperiodic Flow

Step 4 · Derivation

Check the time integrator

The implementation uses fixed-step fourth-order Runge–Kutta with double-precision arithmetic. Each update combines four evaluations of the differential equation at prescribed intermediate states. Display playback consumes the completed samples; monitor refresh rate is not a numerical step size.

An independent test integrates y′ = y from y(0) = 1 and compares against exp(t). Short-window step refinement then examines the Lorenz calculation before long-time separation dominates the comparison. A smaller step is not a promise of indefinitely accurate pointwise prediction. Lorenz’s original paper used a different numerical procedure; this browser solver is a documented project choice.

k1=f(un),k2=f(un+h2k1),k3=f(un+h2k2),k4=f(un+hk3),un+1=un+h6(k1+2k2+2k3+k4)k_1=f(u_n),\quad k_2=f(u_n+\tfrac h2k_1),\quad k_3=f(u_n+\tfrac h2k_2),\quad k_4=f(u_n+hk_3),\qquad u_{n+1}=u_n+\tfrac h6(k_1+2k_2+2k_3+k_4)

Sources: [M7] Deterministic Nonperiodic Flow; [M12] Runge–Kutta methods

Step 5 · Numerical experiment

Report a finite observation

The threshold measurement is the first sampled time at which the recorded separation exceeds the chosen value. Its resolution depends on the integration step. If no sample crosses within the observation window, the result remains not observed; the window endpoint is not substituted as a crossing time.

A zero distance is retained as zero and treated separately on logarithmic plots. The study stores the full solver settings and arrays, even if the scene displays fewer points. No maximum Lyapunov exponent is estimated here, and a short-time slope or distance ratio is not labeled as one. Numerical results remain subject to finite precision and finite observation time.

Sources: [M7] Deterministic Nonperiodic Flow

References and review status

Project attribution: BIPH Math Society. The exposition was prepared with tool assistance.

Review status: Not reviewed. Independent review by a teacher or society member has not yet been recorded. Numerical checks do not replace mathematical review.

  1. [M7] Deterministic Nonperiodic Flow

    Edward N. Lorenz

    Journal of the Atmospheric Sciences 20 (1963), 130–141; equations and equilibrium analysis on p. 135, default parameter choices and original integration method on p. 136. The project’s fixed-step RK4 solver is its own documented choice and differs from the original double-approximation procedure. Source checked 16 September 2026.

  2. [M12] Runge–Kutta methods

    Richard Fitzpatrick

    University of Texas at Austin computational physics course, 29 March 2006. Equations (25)–(29) give the four classical RK4 stages and local remainder. The project applies the vector form to its Lorenz system; the model paper is a separate source. Source checked 16 September 2026.

Related exhibits

BIPH Math Society · Tool-assisted implementation · Teacher/member review pending