Welcome to EverybodyWiki ! Nuvola apps kgpg.png Sign in or create an account to improve, watchlist or create an article like a company page or a bio (yours ?)...

Mertens 関数

提供: EverybodyWiki Bios & Wiki
ナビゲーションに移動 検索に移動

テンプレート:翻訳依頼中 Mertens 関数 は任意の正の整数 n において

'"`UNIQ--postMath-00000001-QINU`"'('"`UNIQ--postMath-00000002-QINU`"'は、メビウス関数)

で表される関数のことである。また、次のように定義して正の実数に拡張できます。

'"`UNIQ--postMath-00000003-QINU`"'

より形式的には、M(x)は、偶数の素因数 - 奇数を持つものの数を引いたxまでの平方因子をもたない整数です。

Mertens関数は、平均値とピーク値の両方で正負の方向にゆっくりと成長し、'"`UNIQ--postMath-00000004-QINU`"'となる'"`UNIQ--postMath-00000005-QINU`"'の零点nは、小さいほうから、

2, 39, 40, 58, 65, 93, 101, 145, 149, 150, 159, 160, 163, 164, 166, 214, 231, 232, 235, 236, 238, 254, 329, 331, 332, 333, 353, 355, 356, 358, 362, 363, 364, 366, 393, 401, 403, 404, 405, 407, 408, 413, 414, 419, 420, 422, 423, 424, 425, 427, 428, ... オンライン整数列大辞典の数列 A028442.

メビウス関数は、-1, 0, +1のどれかの値しか取らないので、|M(x)| < xとなる。 The Mertens conjecture went further, stating that there would be no x where the absolute value of the Mertens function exceeds the square root of x. The Mertens conjecture was proven false in 1985 by Andrew Odlyzko and Herman te Riele. However, the Riemann hypothesis is equivalent to a weaker conjecture on the growth of M(x), namely M(x) = O(x1/2 + ε). Since high values for M(x) grow at least as fast as the square root of x, this puts a rather tight bound on its rate of growth. Here, O refers to Big O notation.

The true rate of growth of M(x) is not known. An unpublished conjecture of Steve Gonek states that

'"`UNIQ--postMath-00000006-QINU`"'

Probabilistic evidence towards this conjecture is given by Nathan Ng.[1]

Representations[編集]

As an integral[編集]

オイラー積を使うと、

'"`UNIQ--postMath-00000007-QINU`"'

'"`UNIQ--postMath-00000008-QINU`"'はリーマンゼータ関数 and the product is taken over primes. 次に,ディリクレ級数とヘロンの公式を使い,次の式が得られる。

'"`UNIQ--postMath-00000009-QINU`"'(c > 1.)


Conversely, one has the メリン変換

'"`UNIQ--postMath-0000000A-QINU`"'('"`UNIQ--postMath-0000000B-QINU`"'.)

第二チェビシェフ関数を使い以下のようにあらわせる

'"`UNIQ--postMath-0000000C-QINU`"'

Assuming that there are not multiple non-trivial roots of '"`UNIQ--postMath-0000000D-QINU`"' we have the "exact formula" by the residue theorem:

'"`UNIQ--postMath-0000000E-QINU`"'

Weyl conjectured that the Mertens function satisfied the approximate functional-differential equation

'"`UNIQ--postMath-0000000F-QINU`"'

where H(x) is the Heaviside step function, B are Bernoulli numbers and all derivatives with respect to t are evaluated at t = 0.

There is also a trace formula involving a sum over the Möbius function and zeros of Riemann Zeta in the form

'"`UNIQ--postMath-00000010-QINU`"'

where the first sum on the right-hand side is over the nontrivial zeros of the Riemann zeta function, and (g,h) are related by a Fourier transform, such that

'"`UNIQ--postMath-00000011-QINU`"'

ファレイ数列[編集]

Mertens関数はファレイ数列を使い以下のようにも表せる。

'"`UNIQ--postMath-00000012-QINU`"'  ( '"`UNIQ--postMath-00000013-QINU`"' は、オーダーnのファレイ数列)

この公式はFranel–Landau theoremの証明に使われます[2]

Redheffer 行列[編集]

Redheffer 行列(aijにおいてj = 1もしくは、ijを割り切るときは1となり、それ以外は、0となる行列)の行列式は M(n) に等しい。

As a sum of the number of points under n-dimensional hyperboloids[編集]

'"`UNIQ--postMath-00000014-QINU`"'

計算[編集]

前述の方法のどちらも、メッテンス関数を計算するための実用的なアルゴリズムを導かない。 Using sieve methods similar to those used in prime counting, the Mertens function has been computed for all integers up to an increasing range of x.[3][4]

人名 上限
Mertens 1897 104
von Sterneck 1897 1.5×105
von Sterneck 1901 5×105
von Sterneck 1912 5×106
Neubauer 1963 108
Cohen and Dress 1979 7.8×109
Dress 1993 1012
Lioen and van de Lune 1994 1013
Kotnik and van de Lune 2003 1014
Hurst 2016 1016

最大xまでのすべての整数値に対するMertens関数の計算時間は、O(x log log x)である。 Combinatorial based algorithms can compute isolated values of M(x) in O(x2/3(log log x)1/3) time, and faster non-combinatorial methods are also known.

10の累乗でM(x)の値については、A084237を参照してください。

関連項目[編集]

  • ヘロンの公式
  • Liouville関数

注釈[編集]

  1. Ng
  2. Edwards, Ch. 12.2
  3. Kotnik, Tadej; van de Lune, Jan (November 2003). “Further systematic computations on the summatory function of the Möbius function”. MAS-R0313. 
  4. Hurst, Greg (2016). "Computations of the Mertens Function and Improved Bounds on the Mertens Conjecture". arXiv:1610.08551 [math.NT]。モジュール:Citation/CS1/styles.cssページに内容がありません。

参考文献[編集]

  • Edwards, Harold (1974). Riemann's Zeta Function. Mineola, New York: Dover. モジュール:Citation/CS1/styles.cssページに内容がありません。Lua エラー package.lua 内、80 行目: module 'Module:No globals' not found 
  • Mertens, F. (1897). “"Über eine zahlentheoretische Funktion", Akademie Wissenschaftlicher Wien Mathematik-Naturlich”. Kleine Sitzungsber, IIa 106: 761–830. 
  • Odlyzko, A. M.; te Riele, Herman (1985). “Disproof of the Mertens Conjecture”. Journal für die reine und angewandte Mathematik 357: 138–160. http://www.dtc.umn.edu/~odlyzko/doc/arch/mertens.disproof.pdf. 
  • Weisstein, Eric W. "Mertens function". MathWorld (English).モジュール:Citation/CS1/styles.cssページに内容がありません。
  • Sloane, N.J.A. (ed.). "Sequence A002321 (Mertens's function)". The On-Line Encyclopedia of Integer Sequences. OEIS Foundation. Cite webテンプレートでは|accessdate=引数が必須です。 (説明)モジュール:Citation/CS1/styles.cssページに内容がありません。
  • Deléglise, M. and Rivat, J. "Computing the Summation of the Möbius Function." Experiment. Math. 5, 291-295, 1996. https://projecteuclid.org/euclid.em/1047565447
  • Hurst, Greg (2016). "Computations of the Mertens Function and Improved Bounds on the Mertens Conjecture". arXiv:1610.08551 [math.NT]。モジュール:Citation/CS1/styles.cssページに内容がありません。
  • Nathan Ng, "The distribution of the summatory function of the Möbius function", Proc. London Math. Soc. (3) 89 (2004) 361-389. http://www.cs.uleth.ca/~nathanng/RESEARCH/mobius2b.pdf


This article "Mertens 関数" is from Wikipedia. The list of its authors can be seen in its historical and/or the page Edithistory:Mertens 関数.


Compte Twitter EverybodyWiki Follow us on https://twitter.com/EverybodyWiki !

Farm-Fresh comment add.png You have to Sign in or create an account to comment this article !<comment-streams/>