aidoesscience
aidoessciencefindings › Drumhead
ValidatingOracle-validated

You cannot tune a drum

A plucked string or an organ pipe has a clear pitch; a struck drumhead just gives a 'thud'. Why? Are a circular drum's overtones the harmonic series (integer multiples 1,2,3,4× of a fundamental) like a string's — or something else?

Measured by the lab
2.4048256
Known value
2.4048256

Units: dimensionless (α_01 = j_{0,1}, the fundamental eigenvalue k·a of the fixed-rim circular membrane)

▶ Run this simulationRead how it works

The finding

You cannot tune a drum: a circular membrane's overtones are the Bessel-function zeros α_mn (1 : 1.593 : 2.136 : 2.295 : …), irrational and NON-integer, recovered to ~1e-11 from a from-scratch integration of the 2-D wave equation on a disk (no Bessel call) — so a drumhead is inharmonic (RMS distance to the harmonic series ≈0.32) while the same shooting code gives a 1-D string the exact harmonic series 1,2,3,4 — the physics behind Kac's 'Can one hear the shape of a drum?' (Rayleigh 1877 / Kac 1966)

Method

Model an ideal circular membrane under uniform tension: the 2-D wave equation ∇²u=(1/c²)∂²u/∂t², c=√(T/σ), on a disk of radius a clamped at the rim. Separating u(r,θ,t)=R(r)cos(mθ)e^{iωt} gives the radial (Bessel) ODE R''+(1/r)R'+(k²−m²/r²)R=0 with k=ω/c, R regular at r=0 and R(a)=0. Recover the eigenvalues k·a WITHOUT ever evaluating a Bessel function: RK4-integrate the ODE outward from a tiny r₀ (started with the regular series R~r^m) and bisect the trial wavenumber k until the rim residual R(a;k) crosses zero for the n-th time — a genuine solution of the membrane eigenvalue problem. (A) Recover the first eight modes (0,1),(1,1),(2,1),(0,2),(3,1),(1,2),(2,2),(0,3) and compare each α_mn to the known Bessel zero (loaded only to score). (B) Repeat on four (r₀,N) discretizations — the answer must be grid-invariant (a physical eigenvalue, not a mesh artifact). (C) Form the overtone ratios α_mn/α_01 — the audible timbre. (D) Compute the inharmonicity (RMS distance of the ratios to the nearest integer) and run the SAME shooting code on the 1-D string (u''+k²u=0, u(0)=u(L)=0) as a harmonic control. (E) Change the radius a and wave speed c and check the physical frequencies f=c·α/(2πa) scale as c/a while the α stay invariant.

The law it recovers

membrane modes f_mn = c·α_mn/(2πa) with α_mn = j_{m,n} (n-th zero of J_m); overtone ratios f_mn/f_01 = α_mn/α_01 are irrational (inharmonic)

Measurements, controls & cross-checks

Recovered rel error worst mode

1.1600e-11

Eigenvalues

ModeRecoveredBessel zeroRelRatio
(0,1)2.40482562.40482561.7700e-121
(1,1)3.8317063.8317061.9500e-121.5934
(2,1)5.13562235.13562231.1600e-112.1355
(0,2)5.52007815.52007812.4700e-122.2954
(3,1)6.38016196.38016193.7400e-122.6531
(1,2)7.01558677.01558672.2500e-122.9173
(2,2)8.41724418.41724412.0600e-133.5001
(0,3)8.65372798.65372791.3700e-123.5985

Grid invariance

Discretizations
4
Worst cross grid spread
1.0000e-12
Note
four (r₀,N) discretizations of the SAME radial ODE all agree to 1e-12, so α_01 is the physical eigenvalue of the membrane, not an artifact of the mesh.

Inharmonicity

Drum rms to integer
0.3181
String rms to integer
1.6600e-12
Drum first overtone ratio
1.593
String ratios
  • 1
  • 2
  • 3
  • 4
Note
the drum's overtone ratios sit ≈0.32 (RMS) away from the nearest integers — decisively NON-harmonic — while the 1-D string control, solved by the same shooting machinery, gives the exact integer harmonic series (inharmonicity ~1e-12). The drum's first overtone is 1.593× the fundamental (a dissonant near-minor-sixth), not the 2× octave a string gives — which is why a struck drumhead has no clear musical pitch.

Perturbation

Cases
ACF01 over ref expectedRel
1110
210.59.3300e-15
0.5123.5500e-15
1220
231.59.1800e-15
Note
the dimensionless α_mn are geometry-only and stay fixed under every change of radius and wave speed, while the physical fundamental f=c·α_01/(2πa) scales exactly as c/a — a bigger or looser drum sounds lower but keeps the same inharmonic timbre. The recovery encodes the physical scaling law, not a fitted constant.

Module honesty

Status
validated + honest module — the on-screen numbers are pinned bit-exact from a verbatim transcription of DrumheadModule's own deterministic solver and reconciled with the oracle
Module protocol
DrumheadModule solves its whole spectrum once at init, with NO RNG: RK4 shooting from r0=1e-4 with N=3000 steps, k-scan dk=0.01, 90 bisections (the oracle generator independently uses N=4000/100 — two discretizations of the same physics). The six display-mode α are pinned strict-=== at full float precision (fundamental 2.404825557695786, worst pin-vs-Bessel-zero rel 1.17e-11), the 6-mode inharmonicity 0.25762367294220734 and the string-control ratios are pinned bit-exact, and every HUD string — the ratio line '1.000 : 1.593 : 2.136 : 2.295 : 2.653 : 2.917', 'RMS distance to integers = 0.258', 'first overtone = 1.593×', and all six 'now vibrating: <mode> α = <value>' variants — is pinned verbatim (gates F, G).
Hud vs oracle inharmonicity
DISCLOSED SYSTEMATIC, fully explained: the HUD shows 'RMS distance to integers = 0.258' while the oracle (and this finding's title) quotes ≈0.32. Both are correct — the HUD averages its six DISPLAY modes (including the fundamental, whose distance is exactly 0), the oracle the first eight, and the two extra modes (2,2) and (0,3) sit at ratios 3.5001 and 3.5985 — nearly half-integer, the MOST inharmonic of the set. The 6-mode RMS computed from the exact Bessel zeros equals the module's value to 7.7e-12 (gate H), so mode-set membership explains the entire 0.060 gap; both values clear the 0.1 inharmonic threshold and the on-screen claim stands unchanged.
Live readback
The full HUD is a SET of exactly six strings (only the 'now vibrating' line cycles, every 4.2 s). Live headless read-back (playwright-core, channel chrome, vite preview of the built worktree): 5/5 samples of #phs-drum.textContent were byte-identical members of the pinned 6-string set, catching the live mode transition (0,1)→(1,1) mid-run.
Reference integrity
The pre-existing tamper path was VACUOUS (known_value was never read by a gate — gates scored against the per-mode table zeros). Repaired with gate I: known_value must strict-equal the (0,1) table zero and the module-protocol fundamental must match it to 1e-9. Tamper self-test now exits 1 both ways (known_value edit trips 4 gates; a 1-ulp edit of an α pin trips gate F).

What it reduces to

Lord Rayleigh's 1877 solution of the vibrating circular membrane (The Theory of Sound, Vol. I §200): its normal-mode frequencies are f_mn = c·j_{m,n}/(2πa), where j_{m,n} is the n-th positive zero of the Bessel function J_m, so the overtone series is set by Bessel zeros and is inharmonic. It VALIDATES, not derives: the lab assumes the 2-D wave equation on a disk with a clamped rim and solves the resulting radial eigenvalue problem numerically (RK4 shooting on R''+(1/r)R'+(k²−m²/r²)R=0), recovering the eigenvalues α_mn=j_{m,n} to ~1e-11 without ever evaluating a Bessel function — the zeros are loaded only to score. It is non-circular on four fronts: no Bessel function enters the recovery path; the eigenvalues are grid-invariant across four discretizations (ruling out a mesh artifact); the overtone ratios (the audible result) fall out of the recovered zeros; and the perturbation confirms the physical scaling f∝c/a. The decisive contrast is the 1-D string control — the SAME shooting code on u''+k²u=0 gives the exact integer harmonic series 1,2,3,4, so the drum's inharmonicity (RMS ≈0.32 vs the string's 0) is a real qualitative difference, not a numerical accident: it is why a string has a clear pitch and a drumhead does not. This is the physics under Kac's 1966 question 'Can one hear the shape of a drum?' (the spectrum is fixed by the shape). It does NOT address the deep 1992 Gordon–Webb–Wolpert result that some non-congruent shapes are isospectral, nor real-membrane stiffness/damping — it establishes the spectrum of the simplest drum, the circle. The lab's first membrane / 2-D-eigenvalue / musical-acoustics world, a companion to the 1-D wave worlds (?world=waves, phonons, kdv) and the eigenvalue quantum worlds (qwell, hydrogen).

Confidence & reproduction

Confidence
high
Validation
derisk-pass
Re-run the check
npm run derisk -- drumhead (scripts/drumhead-derisk.mjs)
Oracle
scripts/oracles/drumhead.reference.json

Sources

Lord Rayleigh, 'The Theory of Sound', Vol. I §200 (1877) — circular-membrane normal modes and their Bessel-zero frequencies. F. W. Bessel (1824) — the functions J_m and their zeros. M. Kac, 'Can one hear the shape of a drum?', Amer. Math. Monthly 73, 1 (1966). Zeros (Abramowitz & Stegun, Handbook of Mathematical Functions, Table 9.5): j_{0,1}=2.404825558, j_{1,1}=3.831705970, j_{2,1}=5.135622302, j_{0,2}=5.520078110, j_{3,1}=6.380161896, j_{1,2}=7.015586670, j_{2,2}=8.417244140, j_{0,3}=8.653727913.

One finding from the lab's 104 catalogued results — each an experiment run end to end by an AI: a question, a method, measured data, a control, and a confidence.