Bernoulli numberとは 意味・読み方・使い方

語源

Named after Swiss mathematician Jacob Bernoulli (1654–1705), who discovered the numbers independently of and at about the same time as Japanese mathematician Seki Kōwa.

The numbers first appeared as coefficients in Bernoulli's formulae for the sum of the first n positive integers, each raised to a given power. The sequence was subsequently found in numerous other contexts.

名詞

Bernoulli number (複数形 Bernoulli numbers)

1. (mathematical analysis, number theory) Any one of the rational numbers in a sequence of such that appears in numerous contexts, including formulae for sums of integer powers and certain power series expansions.
   • 1993, Serge Lang, Complex Analysis, Springer, 3rd Edition, page 418,

     The assertion about the value of the zeta function at negative integers then comes immediately from the definition of the Bernoulli numbers in terms of the coefficients of a power series, namely

     ${\\displaystyle {\\frac {t}{e^{t}-1}}=\\sum _{n=0}^{\\infty }B_{n}{\\frac {t^{n}}{n!}}}$

   • 2002, M. Aslam Chaudhry, Syed M. Zubair, On a Class of Incomplete Gamma Functions with Applications, CRC Press (Chapman & Hall/CRC), page 287,

     In the first three sections, we present standard results about the Bernoulli numbers and polynomials and the Riemann zeta functions and its zeros.

   • 2007, C. Edward Sandifer, How Euler Did It, Mathematical Association of America, page 175,

     This done, he extends occurrence of Bernoulli numbers in the expansion of ${\\displaystyle \\textstyle {\\frac {1}{2}}\\cot({\\frac {1}{2}}x)}$ to the more general form ${\\displaystyle \\textstyle {\\frac {\\pi }{n}}\\cot({\\frac {m\\pi }{n}})}$ and uses that to relate Bernoulli numbers to the values of ${\\displaystyle \\zeta (2n)}$. To end the theoretical parts of his exposition, he gives some of the properties of the Bernoulli polynomials and notes that Bernoulli numbers grow faster than any geometric series.

使用する際の注意点

• For odd values of ${\\displaystyle n}$ greater than 1, ${\\displaystyle B_{n}=0,}$ and many formulae involve only "even-index" Bernoulli numbers. Consequently, some authors ignore these values and write ${\\displaystyle B_{n}}$ to mean what, properly speaking, is ${\\displaystyle B_{2n}}$.
• A sign convention affects the value assigned for ${\\displaystyle n=1}$. The modern (NIST) convention is that ${\\displaystyle \\textstyle B_{1}=-{\\frac {1}{2}}}$. An older convention, used by Leonhard Euler and some older textbooks, has that ${\\displaystyle \\textstyle B_{1}^{*}=+{\\frac {1}{2}}}$.
  • The modified symbol ${\\displaystyle \\textstyle B^{*}}$ indicates the older convention is being used.
  • Alternatively, the notations ${\\displaystyle B^{-}}$ and ${\\displaystyle B^{+}}$ can be used (where ${\\displaystyle \\textstyle B_{1}^{-}=-{\\frac {1}{2}}}$ かつ ${\\displaystyle \\textstyle B_{1}^{+}=+{\\frac {1}{2}}}$).
• The Bernoulli numbers may be regarded as special values of the Bernoulli polynomials ${\\displaystyle B_{n}(x)}$, with ${\\displaystyle B_{n}=B_{n}(0)}$ and ${\\displaystyle B_{n}^{*}=B_{n}^{*}(0)}$.
• Note that the notations for Bernoulli numbers and Bernoulli polynomials are very similar.
• Note as well that the letter ${\\displaystyle B}$ is used also for Bell numbers and Bell polynomials.
• Places where Bernoulli numbers appear include:
  • Bernoulli's formula for the sum of the mth powers of the first n positive integers (also called Faulhaber's formula, although Faulhaber did not explore the properties of the coefficients).
  • Taylor series expansions of the tangent and hyperbolic tangent functions.
  • Formulae for particular values of the Riemann zeta function.
  • The residual error of partial sums of certain power series:
    • In particular, consider the series ${\\displaystyle \\textstyle \\sum _{n=1}^{\\infty }{\\frac {1}{n^{2}}}={\\frac {\\pi ^{2}}{6}}}$. The partial sum ${\\displaystyle \\textstyle S_{n}=\\sum _{k=1}^{n}{\\frac {1}{k^{2}}}}$ differs from the limit value by ${\\displaystyle \\textstyle E_{n}=\\sum _{k=0}^{\\infty }{\\frac {B_{k}}{n^{k}}}}$.
  • The Euler-Maclaurin formula.