Thinking in Waves Episode 42 / Part XIII — The Frontier, as Waves

When the order stops being a single number

Intermittency in Turbulence —
The order was a distribution Kolmogorov's \(-5/3\), in this series' language, makes turbulence a "5/6-order" wave — 5 dB/oct, phase 75°. Exactly between 1/f (order 1/2) and Brownian motion (order 1).
★★ But measurements depart from it systematically, and the departure is this — the order is not one number but a distribution of width 1.222.
★ And the mean does not move: \(\zeta_3=1\) stays exactly 1 no matter how intermittent the flow.

Tools needed: Episodes 1, 2, 13, 14, 22, 30, 39Computation: kenshou/ranryu.js

Episode 14 sorted "three reasons the order leaves the integers"; Episode 39 added a fourth (the bulk mass).
★ Here comes the fifth, and the most awkward: the order is not a single number.

01Reading \(-5/3\) as an order

All you have is \(\varepsilon\) (dissipation rate per unit mass) and \(k\) $$E(k)\ [\mathrm{m^3/s^2}]=\varepsilon^a k^b\ \Longrightarrow\ \text{length}:2a-b=3,\ \ \text{time}:-3a=-2\ \Longrightarrow\ a=\tfrac23,\ b=-\tfrac53$$
QuantityValueIn this series' words
power slope \(\beta\)1.666667\(E(k)\propto k^{-\beta}\)
★ order \(\alpha=\beta/2\)0.833333★ amplitude \(\propto k^{-\alpha}\)
dB/oct \(=6\alpha\)5.000000Ep. 1
phase \(=90\alpha\) [deg]75.000000Ep. 1
★ Hurst \(H=\alpha-1/2\)0.333333★ exactly \(1/3\)

The point of §01

Turbulence is a "5/6-order" wave.
Exactly between 1/f (order 1/2, Episode 2) and Brownian motion (order 1).

★ And \(H=1/3\) is K41's \(\zeta_p=p/3\) at \(p=1\) — "order," "dB/oct," "Hurst exponent" and "structure-function exponent" are all the same number said four ways.
★★ But only if the order is one number.

02If the order is one number, every exponent agrees

We synthesize \(f^{-\beta}\) noise and measure the exponents of the structure functions \(S_p(r)=\langle|\delta u|^p\rangle\propto r^{\zeta_p}\) for each \(p\). With a single order, \(\zeta_p/p\) must not depend on \(p\).

\(\beta\)\(H=(\beta-1)/2\)\(\zeta_1\)\(\zeta_2/2\)\(\zeta_4/4\)\(\zeta_6/6\)
1.20.1000000.159060.159320.159280.15833
5/30.3333330.346390.346970.347320.34747
2.00.5000000.502600.502690.502770.50352
2.50.7500000.751380.749980.747980.74887

The point of §02

★ \(\zeta_p/p\) is constant in \(p\) — that is what "a single order" means (a monofractal).
★ Only the \(\beta=1.2\) row is off (0.159 rather than 0.100) — for \(H<0.2\) the finite sampling interval still bites; a limit of our synthesis method. The other three rows agree to within 0.3 %.

03But real turbulence splits the dissipation multiplicatively

Energy passes from large eddies to small ones, but never evenly. In a model that splits it into \(p\) and \(1-p\) at each stage (the p-model), we measure the \(q\)-th moment \(Z(q,r)=\sum\mu_i^q\propto r^{\tau(q)}\).

\(q\)\(\tau\) (measured)\(\tau\) (exact, \(-\log_2(p^q+(1-p)^q)\))differenceif monofractal: \(q-1\)
0−1.000000−1.0000000−1.000
1−0.0000000.0000001.7e−140.000
20.7858750.7858752.4e−141.000
42.0104252.0104254.4e−143.000
52.5521562.5521563.2e−144.000

The point of §03

Measurement agrees with the exact result to \(10^{-14}\) (\(p=0.7\), 18 levels = 262144 boxes).
★ And \(\tau(q)\) is not linear in \(q\) — at \(q=4\) it is 2.010, against 3.000 for a monofractal. That bend is intermittency.
★★ At \(p=0.5\) (an even split) it returns to the straight line \(\tau(q)=q-1\) (confirmed numerically: 0, 1.000000, 3.000000). The bend comes from splitting unevenly.

04★★ Legendre transform, and the distribution appears

\(q\) is the dial that selects which strength of region you look at $$\alpha(q)=\frac{d\tau}{dq}\quad(\text{the local exponent that }q\text{ picks up}),\qquad f(\alpha)=q\alpha-\tau(q)\quad(\text{dimension of the set with that exponent})$$
\(q\)\(\alpha\) (local exponent)\(f(\alpha)\)Meaning
−41.6970730.207439picks up the weak regions
01.1257691.000000★ \(f=1\) = dimension of the support
10.8812910.881291★ the "representative" value
40.5544660.207439picks up the strong regions
80.5159630.012758the very strongest

The point of §04 — ★★★ the core of this episode

\(\alpha\) runs from 0.514573 to 1.736966 (width 1.222392).
Not one number, but a set with width.

Exactly, from \(-\log_2 p=0.514573\) to \(-\log_2(1-p)=1.736966\) — a width of \(\log_2\frac{1-p}{p}\).
★ At \(p=0.5\) the width is zero (a single point, \(\alpha=1\)). The unevenness becomes the width of the distribution.
★★ In this series' words: a wave whose order differs from place to place. Measure it locally with Episode 22's wavelets and you get a different dB/oct at each location.

05To the velocity structure functions — bending away from \(p/3\)

A box's measure is \(\mu=\varepsilon_r\cdot r\), so the dissipation's own exponent is \(\tau_\varepsilon(q)=1-q+\tau(q)\) $$\zeta_p=\frac p3+\tau_\varepsilon\!\left(\frac p3\right)\qquad(\text{refined similarity hypothesis})$$
\(p\)K41: \(p/3\)★ p-model (\(p=0.7\))differencemeasured (literature)
10.3333330.360919+0.0275860.37
20.6666670.693721+0.0270550.70
31.0000001.000000★ 0.0000001.00
41.3333331.282153−0.0511801.28
51.6666671.543081−0.1235861.53
62.0000001.785875−0.2141251.78

The point of §05

★★ One dial (\(p=0.7\)) reproduces the literature values of \(\zeta_1\) through \(\zeta_6\) to within 1–2 %.
★ The larger \(p\), the further it bends down — high moments pick out the very strongest eddies, and those are rare.
★ Episode 2 made 1/f from adding many relaxation processes. Here the superposition is multiplicative — addition tends to a Gaussian by the central limit theorem; multiplication tends to a log-normal. Intermittency happens because the cascade multiplies.

06★ And yet \(\zeta_3=1\) does not move

\(p\)★ \(\zeta_3\)\(\zeta_2\)\(\zeta_6\)\(\beta=1+\zeta_2\)dB/oct
0.51.000000000.6666672.0000001.6666675.0000
0.71.000000000.6937211.7858751.6937215.0812
0.81.000000000.7324411.5563931.7324415.1973
0.91.000000000.8013641.2863041.8013645.4041

The point of §06

\(\tau_\varepsilon(1)=1-1+\tau(1)=0\) regardless of \(p\) (mean dissipation is conserved) — so \(\zeta_3=1\) exactly, for every \(p\). That is the 4/5 law.
★★★ And here is the crucial part: even at \(p=0.7\), \(\beta=1.6937\), a difference of 0.0271 from K41's 1.6667. In dB/oct that is a difference of 0.081.
★ Which is why intermittency is nearly invisible in a power spectrum. "\(-5/3\) fits well" is really the second moment being insensitive.

07In this series' language — a fifth reason

Why the order leaves the integersEpisode
① superposition of many time constantsEp. 2
② dimension (\(\alpha=(d-3)/2\))Ep. 30
③ continuous variation at a critical pointEp. 13
④ the bulk mass (\(\alpha=2\nu\))Ep. 39
★ ⑤ the order is not a single number (it is a distribution)★ here
How you measureThe order you getEpisode 1's quantity
slope of the power spectrumone number, from \(\zeta_2\)dB/oct
first-order structure functionone number, from \(\zeta_1\)—
★ higher moments★ a different value for each \(p\)★ they disagree
★ measuring locally★ a different value at each place★ a distribution

The point of §07

★★★ The very act of "measuring dB/oct" depends on which moment you measure with.
★ For a monofractal every method gives the same number (confirmed in §02). Turbulence is not one.
★★ The single axis of "order," carried since Episode 1, stops being single here.

08What wave language can and cannot say

ItemVerdictBasis
\(-5/3\) in one line of dimensions◎ analyticorder 5/6, 5 dB/oct, 75°
\(H=\alpha-1/2=1/3\)◎ numericsconfirmed on synthetic noise
Monofractal → \(\zeta_p/p\) constant◎ numericsagrees for \(p=1,2,4,6\)
★ \(\tau(q)\) is not linear◎ numerics★ exact to \(10^{-14}\)
★ The order is a distribution◎ analytic★ width \(=\log_2\frac{1-p}{p}\)
\(\zeta_p\) bends below \(p/3\)◎ analytic\(p=0.7\) fits literature to 1–2 %
\(\zeta_3=1\) independent of \(p\)◎ analyticthe 4/5 law survives
★ The real value of \(p\)× cannot say★ a fitted parameter
★ Why the cascade multiplies× cannot say★ assumed here

Exercises

  1. §06 explained why "\(-5/3\) fits well." Does that mean K41 was right?
    Show answer
    No — it means the second moment was insensitive. The shift in \(\zeta_2\) is only 0.027, or 0.081 dB/oct. It is buried in measurement error.
    ★ Where K41 is wrong shows up clearly in the sixth moment — predicted 2.000 against a measured 1.78, an 11 % discrepancy.
    ★★ The lesson: seeing one exponent fit well is not a test of a theory. This is why every episode of this series records which moment was measured. ★ The same structure as Episode 5's "anything longer than the age of the universe is indistinguishable from a constant" — through an insensitive quantity, a difference is the same as no difference.
  2. In §04, \(\alpha\) spanned 0.51 to 1.74. Why no negative \(\alpha\), and none above 2?
    Show answer
    Because each stage offers only two splits, \(p\) and \(1-p\). The strongest point is the one that drew \(p\) every time, with \(\mu=p^n\), i.e. \(\alpha=-\log_2p\); the weakest is \(\alpha=-\log_2(1-p)\).
    ★ So the ends of the distribution are set by the most extreme path. Change the model and the ends change — a log-normal cascade formally has no ends.
    ★★ In real turbulence, though, the cascade stops at the viscous (Kolmogorov) length, so it cannot become arbitrarily extreme. ★ As in Episodes 5 and 22 — how finely you look decides the answer.
  3. Episode 2's 1/f was also a superposition. How does it differ from intermittency here?
    Show answer
    Addition versus multiplication. Episode 2 added many relaxation processes to make \(1/f\) — additive superposition tends to a Gaussian by the central limit theorem, and the order comes out as a single number.
    ★ Here each stage multiplies. A multiplicative superposition adds in the logarithm, so it tends to a log-normal — heavy tails, where rare large values dominate. Hence the bending of high moments.
    ★★ Whether the order is one number or a distribution was decided by whether the superposition adds or multiplies. ★ Episode 28 sorted "two sources of exponentials," and one of them — additive becoming multiplicative — is at work here too.

Summary — the order was a distribution

Kolmogorov's \(-5/3\) comes out of one line of dimensional analysis. Translated: turbulence is a "5/6-order" wave — 5 dB/oct, phase 75°, Hurst \(H=1/3\). Exactly between 1/f (order 1/2) and Brownian motion (order 1).

First we checked what a single order looks like — for synthetic \(f^{-\beta}\) noise, \(\zeta_p/p\) is constant in \(p\) and equals \((\beta-1)/2\).

But a real cascade multiplies. In the p-model our measured \(\tau(q)\) matches the exact result to \(10^{-14}\), and \(\tau(q)\) is not linear in \(q\) (2.010 at \(q=4\), against 3.000 for a monofractal). At \(p=0.5\) it straightens out — the bend comes from splitting unevenly.

★★★ The core — after a Legendre transform, \(\alpha\) runs
from 0.514573 to 1.736966 (width \(\log_2\frac{1-p}{p}=1.222\)).
The order is not one number but a set with width.

In terms of velocity structure functions, \(\zeta_p\) bends below \(p/3\) — and one dial (\(p=0.7\)) reproduces the literature values of \(\zeta_1\) through \(\zeta_6\) to 1–2 % (0.361/0.37, 0.694/0.70, 1.000/1.00, 1.282/1.28, 1.543/1.53, 1.786/1.78).

★ And yet \(\zeta_3=1\) does not move — mean dissipation is conserved, so \(\tau_\varepsilon(1)=0\) and \(\zeta_3=1\) exactly, for every \(p\) (the 4/5 law).
★★★ The crucial part: even at \(p=0.7\), \(\beta=1.6937\), differing from K41 by only 0.081 dB/oct. "\(-5/3\) fits well" was really the second moment being insensitive.

★ After Episode 14's three and Episode 39's fourth — ⑤ the order is not a single number. The act of "measuring dB/oct" depends on which moment you measure with. ★ The single axis carried since Episode 1 stops being single here.

This document is Episode 42 of the "Thinking in Waves" series. Computations are in kenshou/ranryu.js. On the numbers here: the structure-function exponents of the synthetic noise, the p-model cascade and the measurement of \(\tau(q)\), the Legendre transform, and the values of \(\zeta_p\) and \(\beta\) were all computed here. Kolmogorov's \(-5/3\) law and \(\zeta_p=p/3\), the 4/5 law (\(\zeta_3=1\)), Mandelbrot's multiplicative cascades and the p-model, \(\tau(q)=-\log_2(p^q+(1-p)^q)\), the multifractal formalism (the Legendre transform), the refined similarity hypothesis, and the measured values of \(\zeta_p\) (such as \(\zeta_6\approx1.78\)) are all well-known results and none are discoveries of this article — what this article did was place them on this series' axis of "order," add "the order becomes a distribution" as a fifth entry to Episode 14's list, and put a number on how little intermittency moves the dB/oct: 0.081. In §05, \(p=0.7\) reproduces the literature well, but that is one fitted parameter and does not make the p-model the correct model. Several models of intermittency exist (log-normal, She–Lévêque and others) and this article simply took the simplest. The \(\beta=1.2\) row in §02 is off by 0.06 because of a limitation of the synthesis method. Literature values of \(\zeta_p\) depend on measurement conditions and Reynolds number; those quoted are representative. — To print, use your browser's Print and "Save as PDF."

Printing / PDF: ⌘+P (Ctrl+P on Windows). "Show answer" opens each solution.