mixi¥æ¡¼¥¶¡¼(id:14882521)

2010ǯ10·î16Æü01:41

170 view

Ä´Ï¿ô

1 ¤«¤é¤¢¤ëÀµ¤ÎÀ°¿ô¤Þ¤Ç¤Î¼«Á³¿ô¤ÎµÕ¿ôÏ¤Τ³¤È¡£
¨¤Á¡¢n ÈÖÌܤÎÄ´Ï¿ô Hn ¤È¤Ï
Hn = 1 + 1/2 + 1/3 + ¡Ä + 1/n = ­ô[k=1,n] 1/k
¤Ç¤¢¤ë¡£
Ä´Ï¿ô¤Î¶Ë¸Â¤ÏĴϵé¿ô¤È¸Æ¤Ð¤ì¡Ê¤·¤Ð¤·¤ÐĴϵé¿ô¤ÎÃæ¤ËÄ´Ï¿ô¤ò´Þ¤á¤Æ¸Æ¤Ð¤ì¤ë¡Ë¡¢¥ê¡¼¥Þ¥ó¥¼¡¼¥¿´Ø¿ô¤È¶á¤¤´Ø·¸¤Ë¤¢¤ë¡£

Ä´Ï¿ô¤ò¾®¤µ¤¤½ç¤«¤éÎóµó¤·¤¿¤â¤Î¤Ï°Ê²¼¤ÎÄ̤ꡣ
1, 3/2, 11/6, 25/12, 137/60, 49/20, 363/140, 761/280, 7129/2520, 7381/2520, 83711/27720, 86021/27720, 1145993/360360, 1171733/360360, 1195757/360360, 2436559/720720, 42142223/12252240, 14274301/4084080, 275295799/77597520, 55835135/15519504, 18858053/5173168, 19093197/5173168, 444316699/118982864, 1347822955/356948592, 34052522467/8923714800, 34395742267/8923714800, 312536252003/80313433200, 315404588903/80313433200, 9227046511387/2329089562800, 9304682830147/2329089562800, 290774257297357/72201776446800 ¡Ä
Áê°Û¤Ê¤ëÈÖ¹æ¤ÎÄ´Ï¿ôƱ»Î¤Îº¹¤Ï·è¤·¤ÆÀ°¿ô¤Ë¤Ï¤Ê¤é¤Ê¤¤¡£¤Þ¤¿¡¢n = 1 ¤ò½ü¤¤¤Æ¤É¤ÎÄ´Ï¿ô Hn ¤âÀ°¿ô¤Ç¤Ï¤Ê¤¤¡£

Ä´Ï¿ô¤ÎÀÑʬɽ¼¨
Hn = ¢é[0,1] (1-x^n)/(1-x) dx
¤Ï¥ª¥¤¥é¡¼¤Ë¤è¤ë¡£

Hn ¤ÎÁýÂçÅÙ¤Ï n ¤Î¼«Á³Âпô ln(n) ¤ÈƱÄøÅ٤ή¤µ¤Ç¤¢¤ë¡£
¤³¤Î¤³¤È¤Ï¡¢Hn ¤òÀÑʬ
¢é[0,n] dx/x ¡Ê= ln(n)¡Ë
¤Ç¶á»÷¤¹¤ë¤³¤È¤Ë¤è¤Ã¤Æ³Îǧ¤Ç¤­¤ë¡£

¿ôÎó (Hn - ln(n)) ¤ÏñĴ¤Ë¸º¾¯¤·¤Æ¡¢
lim(n¢ª¡ç) Hn - ln(n) = ¦Ã
¤È¤Ê¤ëÄê¿ô¡Ê¥ª¥¤¥é¡¼¡¦¥Þ¥¹¥±¥í¡¼¥ËÄê¿ô¡¢¤ª¤è¤½ 0.5772156649¡Ä¡Ë¤ò¶Ë¸Â¤Ë¤â¤Ä¡£
¤³¤ì¤«¤é¡¢Hn ¤ÎÁ²¶áŸ³«¤Ï
Hn = ln(n) + ¦Ã + (n^-1)/2 - (n^-2)/12 + (n^-4)/120 + O(n^-6) ¡Ê⤷¡¢O ¤Ï¥é¥ó¥À¥¦µ­¹æ¡Ë
¤ÇÍ¿¤¨¤é¤ì¤ë¡£

Hn > a ¤È¤Ê¤ëºÇ½é¤ÎÄ´Ï¿ô Hn ¤Î n ¤òÎóµó¤·¤¿¤â¤Î¤Ï°Ê²¼¤ÎÄ̤ꡣ
a = 0 : n = 1
a = 1 : n = 2
a = 2 : n = 4
a = 3 : n = 11
a = 4 : n = 31
a = 5 : n = 83
a = 6 : n = 227
a = 7 : n = 616
a = 8 : n = 1674
a = 9 : n = 4550
a = 10 : n = 12367
a = 11 : n = 33617
a = 12 : n = 91380
a = 13 : n = 248397
a = 14 : n = 675214
a = 15 : n = 1835421
a = 16 : n = 4989191
a = 17 : n = 13562027
a = 18 : n = 36865412
a = 19 : n = 100210581
a = 20 : n = 272400600
a = 21 : n = 740461601
a = 22 : n = 2012783315
a = 23 : n = 5471312310
a = 24 : n = 14872568831
a = 25 : n = 40427833596
a = 26 : n = 109894245429
a = 27 : n = 298723530401
a = 28 : n = 812014744422

Hn > 10^b ¤È¤Ê¤ëºÇ½é¤ÎÄ´Ï¿ô Hn ¤Î n ¤òÎóµó¤·¤¿¤â¤Î¤Ï°Ê²¼¤ÎÄ̤ꡣ
b = 0 : n = 2
b = 1 : n = 12367
b = 2 : n = 15092688622113788323693563264538101449859497

Hn > m ¡Ê⤷¡¢m¢ä1 , m¢ºN¡Ë¤È¤Ê¤ëºÇ½é¤ÎÄ´Ï¿ô Hn ¤Î n ¤Ï
n ≈ e^(m-¦Ã)
¤È¤·¤Æ¶á»÷Ãͤòɽ¤¹¤³¤È¤¬¤Ç¤­¤ë¡£

ttp://ja.wikipedia.org/wiki/%E8%AA%BF%E5%92%8C%E6%95%B0_(%E7%99%BA%E6%95%A3%E5%88%97)
ttp://en.wikipedia.org/wiki/Harmonic_number
ttp://mathworld.wolfram.com/HarmonicNumber.html
ttp://oeis.org/A001008
ttp://oeis.org/A002805
ttp://oeis.org/A002387
ttp://oeis.org/A082912

»²¾È¡Ê¸ì×áˡ§¥ê¡¼¥Þ¥ó¥¼¡¼¥¿´Ø¿ô¡Ê¦Æ(1)¤Î¤È¤­Ä´Ïµé¿ô¤È¤Ê¤ë¡Ë
ttp://ja.wikipedia.org/wiki/%E3%83%AA%E3%83%BC%E3%83%9E%E3%83%B3%E3%82%BC%E3%83%BC%E3%82%BF%E9%96%A2%E6%95%B0
ttp://en.wikipedia.org/wiki/Riemann_zeta_function
ttp://mathworld.wolfram.com/RiemannZetaFunction.html

»²¾È¡Ê´ØÏ¢¥µ¥¤¥È¡Ë¡§Wolstenholme number¡ÊÄ´Ï¿ô¤Îʬ»Ò¡Ë
ttp://www.asahi-net.or.jp/~KC2H-MSM/mathland/matha1/matha126.htm
ttp://www.asahi-net.or.jp/~KC2H-MSM/mathland/matha1/matha127.htm
ttp://www.asahi-net.or.jp/~KC2H-MSM/mathland/matha1/matha128.htm
ttp://www.asahi-net.or.jp/~KC2H-MSM/mathland/matha1/matha1281.htm
ttp://www.asahi-net.or.jp/~KC2H-MSM/mathland/matha1/matha1282.htm
ttp://www.asahi-net.or.jp/~KC2H-MSM/mathland/matha1/matha1283.htm

»²¾È¡Ê²áµî¤ÎÆüµ­¡Ë¡§
Ĵϵé¿ô
ttp://mixi.jp/view_diary.pl?id=651757161&owner_id=14882521
¥ª¥¤¥é¡¼¡¦¥Þ¥¹¥±¥í¡¼¥ËÄê¿ô
ttp://mixi.jp/view_diary.pl?id=1229077262&owner_id=14882521

»²¾È¡Ê̤Íè¤ÎÆüµ­¡Ë
¥ê¡¼¥Þ¥óͽÁÛ
ttp://mixi.jp/view_diary.pl?id=1777999058&owner_id=14882521
0 0

¥³¥á¥ó¥È

mixi¥æ¡¼¥¶¡¼

¥í¥°¥¤¥ó¤·¤Æ¥³¥á¥ó¥È¤ò³Îǧ¡¦Åê¹Æ¤¹¤ë

<2010ǯ10·î>
Æü ·î ²Ð ¿å ÌÚ ¶â ÅÚ
     12
3456789
10111213141516
17181920212223
24252627282930
31