cp's OEIS Frontend

This is a front-end for the Online Encyclopedia of Integer Sequences, made by Christian Perfect. The idea is to provide OEIS entries in non-ancient HTML, and then to think about how they're presented visually. The source code is on GitHub.

A269067 Numerator of the volume of d dimensional symmetric convex cuboid with constraints |x1 + x2 + ... xd| <= 1 and |x1|, |x2|, ..., |xd| <= 1.

Original entry on oeis.org

2, 3, 16, 115, 88, 5887, 19328, 259723, 124952, 381773117, 41931328, 20646903199, 866732192, 467168310097, 2386873693184, 75920439315929441, 97261697912, 5278968781483042969, 2387693641959232, 9093099984535515162569, 10872995484706511008, 168702835448329388944396777, 38650653745373963289088
Offset: 1

Views

Author

Lorenz H. Menke, Jr., Feb 19 2016

Keywords

Comments

Reference A. Dubickas shows that all the volume integrals are rational with V[d] <= 2^d.

Examples

			For d = 3 the volume is 16/3, for each volume we have V[1] = 2, V[2] = 3, V[3] = 16/3, V[4] = 115/12, V[5] = 88/5, V[6] = 5887/180, V[7] = 19328/315, V[8] = 259723/2240, V[9] = 124952/567, V[10] = 381773117/907200, etc.
		

Crossrefs

The denominator sequence is given by A266913.
Cf. A199832 The rational coefficient of the leading coefficient of the empirical rows duplicates these volume integrals in sequence. This is not a proof.

Programs

  • Mathematica
    V[d_] := Integrate[Boole[Abs[Sum[x[i], {i, 1, d}]] <= 1],
      Table[x[i], {i, 1, d}] \[Element]
       Cuboid[Table[-1, {i, 1, d}], Table[+1, {i, 1, d}]]] (* Lorenz H. Menke, Jr. *)
    v[d_] := With[{a = Array[x,d]}, RegionMeasure @ ImplicitRegion[ a ∈ Cuboid[-Table[1, d], Table[1, d]] && -1 <= Total[a] <= 1, a]] (* Carl Woll *)
    v[d_] := 2^(d+1)/(Pi) Integrate[Sin[t]^(d+1)/t^(n+1), {t, 0, Infinity}] (* Carl Woll *)

Extensions

a(11)-a(23) from Lorenz H. Menke, Jr., May 10 2018