コンテンツにスキップ

英文维基 | 中文维基 | 日文维基 | 草榴社区

利用者:Flightbridge/sandbox/二年生の夢

en:Sophomore's Dream - oldid=698058241

二年生の夢(にねんせいのゆめ、: sophomore's dream)とは、しばしば次の恒等式(特に一番目)を指して使われる語である。

これは1697年にヨハン・ベルヌーイによって明らかにされた。

この名前は一年生の夢と対照的に付けられた名前である(Borwein, Bailey & Girgensohn 2004)。 一年生の夢とは、初歩的な誤りを犯した[1]恒等式 (x + y)n = xn + yn を表す語であり、二年生の夢もこれと同じように「出来過ぎた」形をした式となっている。ただし一年生の夢と異なり、二年生の夢は実際に成り立つ式である。

証明

[編集]
区間 x ∈ (0, 1] における y = xxy = xx のグラフ。

一番目の式の証明は二番目の式と同様であるため、二番目の式を証明する。

ex冪級数展開を用いて、xx を次のように展開する。

ここから、与式の左辺は次のようになる。

この級数は一様収束なので、和と積分の順序を交換できる。

ここで、x = e -u / (n + 1) (0 < u < ∞) による次のような置換積分を考える。

この右辺の定積分は第二種オイラー積分

であるから、次のようになる。

ゆえに

ベルヌーイによる証明

[編集]

元々の証明は Bernoulli (1697) において与えられ、のちに現代的な証明が Dunham (2005) において与えられた。これらの証明の違いは項別積分

の計算方法であり、このような(項別積分などの)過程の細かい差異を除けば同じである。上述の証明では置換積分によってガンマ関数を括りだす方法で計算をしているが、当時はまだガンマ関数は知られておらず、ベルヌーイ部分積分を繰り返し適用する方法で計算した。

再帰的な関係を明らかにするため二つの指数をそれぞれ別の文字で表し、次のように部分積分を行う(対数関数の原始関数の一覧を参照)。まず不定積分の計算から始めるが、積分定数 + C は定積分の計算の際に消えることから、元々の証明においても省略して計算が行われた。

これにより ln x の指数が 1 減る(nn − 1)。ここで n は整数であるから、これを繰り返すと有限回で ln x の指数が 0 となり、単なる xm の積分となって終了する。ゆえにこの積分は次のような有限和となる。

ただし (n)i は下降階乗冪ポッホハマー記号)である。

ここで m = n とし、どちらも整数であるとする。

0 から 1 まで積分すると、右辺の和は最後の項を除いてすべて消滅[2]し、次のようになる。

現代的な観点から言えば、これは(縮尺の違いを除いて)異なる積分区間で第二種オイラー積分の計算をしているのに等しい。第二種オイラー積分自体も上と似たような手続きで計算することができる。

関連項目

[編集]

脚注

[編集]
  1. ^ ただし標数が素数の冪であるようなおよび単位的可換環では成立する。これの正しい解答は二項定理となる。
  2. ^ ロピタルの定理より であるから、0 のとき全ての項が消滅する(ベルヌーイはこの詳細を省いた)。また ln 1 = 0 であるから、1 のとき最後の項を除いて全て消滅する。

参考文献

[編集]

[編集]
  • Johann Bernoulli, 1697, collected in Johannis Bernoulli, Opera omnia, vol. 3, pp. 376–381
  • Borwein, Jonathan; Bailey, David H.; Girgensohn, Roland (2004), Experimentation in Mathematics: Computational Paths to Discovery, pp. 4, 44, ISBN 978-1-56881-136-9 
  • Dunham, William (2005), “3: The Bernoullis (Johann and )”, The Calculus Gallery, Masterpieces from Newton to Lebesgue, Princeton, NJ: Princeton University Press, pp. 46–51, ISBN 978-0-691-09565-3 
  • OEIS, オンライン整数列大辞典の数列 A083648 and オンライン整数列大辞典の数列 A073009
  • Pólya, George; Szegő, Gábor (1998), “part I, problem 160”, Problems and Theorems in Analysis, p. 36, ISBN 978-3-54063640-3 
  • Weisstein, Eric W. "Sophomore's Dream". mathworld.wolfram.com (英語).

関数

[編集]

{@{DEFAULTSORT:にねんせいのゆめ}} [@[Category:積分法]] [@[Category:数学に関する記事]]