OFFSET
5,1
COMMENTS
This is the 12th coefficient C[12] in the 1/N expansion of the lowest Laplacian Dirichlet eigenvalue of Pi-area, N-sided regular polygon. It was determined using experimental mathematics by computing the coefficient to 125 digits of precision. It can be computed using the expression in the Formula section. It is expressed in terms of L0 = [A115368]^2 = [A244355] = 5.78318... (eigenvalue of unit-radius circle) and Riemann zeta functions. Although this is derived using experimental mathematics, the decimal expansion reported is equal to that expression. In context, the eigenvalue expression for the N-sided, Pi-area regular polygon is
L = L0*(1 + C[3]/N^3 + C[5]/N^5 + C[6]/N^6 + C[7]/N^7 + C[8]/N^8 + ... + C[12]/N^12 + ...). The expression for this coefficient follows a pattern similar to lower-order coefficients (except C[11] [A321215]), e.g., C[3]=4*zeta(3) and C[5]=(12-2*L0)*zeta(5).
LINKS
Robert Stephen Jones, Table of n, a(n) for n = 5..1004
Mark Boady, Applications of Symbolic Computation to the Calculus of Moving Surfaces. PhD thesis, Drexel University, Philadelphia, PA. 2015.
P. Grinfeld and G. Strang, Laplace eigenvalues on regular polygons: A series in 1/N, J. Math. Anal. Appl., 385-149, 2012.
Robert Stephen Jones, The fundamental Laplacian eigenvalue of the regular polygon with Dirichlet boundary conditions, arXiv:1712.06082 [math.NA], 2017.
Robert Stephen Jones, Computing ultra-precise eigenvalues of the Laplacian within polygons, Advances in Computational Mathematics, May 2017.
EXAMPLE
25200.9737929324646760652122395385477028780653225566146497901539447736054240...
PROG
(PARI) {default(realprecision, 100); L0=solve(x=2, 3, besselj(0, x))^2; (32/3+272*L0/3-16*L0^2)*zeta(3)^4+(1360/3-488*L0/3+456*L0^2+107*L0^3/3+5*L0^4/8)*zeta(3)*zeta(9)+(432-216*L0-207*L0^2+47*L0^3/2+11*L0^4/8)*zeta(5)*zeta(7)}
CROSSREFS
KEYWORD
nonn,cons
AUTHOR
Robert Stephen Jones, Oct 31 2018
STATUS
approved