Greg Egan on Nostr: The volume of a ball of radius r in n dimensions is B(n,r) = π^{n/2}/Γ(n/2+1) r^n ...
The volume of a ball of radius r in n dimensions is
B(n,r) = π^{n/2}/Γ(n/2+1) r^n
If you look at the volumes of the balls (blue circles) inscribed inside hypercubes with edge length 1 and volume 1, they go to zero as n gets larger:
lim n→∞ B(n,½) = 0
If you look at the volumes of the balls (red circles) that circumscribe each hypercube (of diagonal √n), they go to infinity:
lim n→∞ B(n,½√n) = ∞
But what if you always choose the radius of an n-ball so that its volume is exactly 1 (green circles)?
r₁(n) = Γ(n/2+1)^{1/n} / √π
This gives us B(n,r₁(n)) = 1
It turns out that:
lim n→∞ (r₁(n) - √[n/(2eπ)]) = 0
In other words, r₁(n) is asymptotic to a multiple of √n, so it approaches a fixed ratio with the length of the diagonal of the hypercube with the same volume.
Published at
2023-11-22 05:02:49Event JSON
{
"id": "157f4d7c0b8e0a8bc02ba8f3aa0a5cf1784fe371c0e3c67c7e61dcf8fc3ae63e",
"pubkey": "0037e9f1404aa866c76ed1358206ac5387eb2d3589361a3802af0f260bda26d7",
"created_at": 1700629369,
"kind": 1,
"tags": [
[
"proxy",
"https://mathstodon.xyz/users/gregeganSF/statuses/111452446352535878",
"activitypub"
]
],
"content": "The volume of a ball of radius r in n dimensions is\n\nB(n,r) = π^{n/2}/Γ(n/2+1) r^n\n\nIf you look at the volumes of the balls (blue circles) inscribed inside hypercubes with edge length 1 and volume 1, they go to zero as n gets larger:\n\nlim n→∞ B(n,½) = 0\n\nIf you look at the volumes of the balls (red circles) that circumscribe each hypercube (of diagonal √n), they go to infinity:\n\nlim n→∞ B(n,½√n) = ∞\n\nBut what if you always choose the radius of an n-ball so that its volume is exactly 1 (green circles)?\n\nr₁(n) = Γ(n/2+1)^{1/n} / √π\n\nThis gives us B(n,r₁(n)) = 1\n\nIt turns out that:\n\nlim n→∞ (r₁(n) - √[n/(2eπ)]) = 0\n\nIn other words, r₁(n) is asymptotic to a multiple of √n, so it approaches a fixed ratio with the length of the diagonal of the hypercube with the same volume.\n\nhttps://media.mathstodon.xyz/media_attachments/files/111/452/449/507/848/182/original/855515dd44dfd1bc.gif\n\nhttps://media.mathstodon.xyz/media_attachments/files/111/452/450/929/523/648/original/021f555d2a68b301.gif\n\nhttps://media.mathstodon.xyz/media_attachments/files/111/452/451/903/375/702/original/f379bfcec6fafc40.gif\n\nhttps://media.mathstodon.xyz/media_attachments/files/111/452/452/919/591/231/original/6f4b1ff9ce404a2e.gif",
"sig": "23aec1a943b289476a0d6616e2c5a6fccd789f776f59fb867bcdd67ad0e798d900cda74fc3e965aa1973fe1a06559b44525c7a1bd3aef787e5f7d5a1c939b5f2"
}