オイラー＝マスケローニ定数：定義・性質・数値・未解決問題

定義と代表的な表示

この定数は、n を限りなく大きくしたときの、n 番目の調和数と n の自然対数との差の極限として定義される。すなわち、γ = lim（n → ∞）(Hn − ln n) であり、Hn = 1 + 1/2 + 1/3 + … + 1/n である。この定義から、離散的な調和和を連続的な対数で置き換える際に、γ が補正項となる役割が直ちに分かる。

解析や計算で用いられる、これと同値な級数表示および積分表示は数多い。初等的な形で表される代表例には、次のものがある。

• 級数表示：γ = Σk=1∞ (1/k − ln(1 + 1/k))。
• ガンマ関数に関係する積分表示：γ = −∫0∞ e−t ln t dt。これはガンマ関数を 1 において微分することから得られる。
• 床関数を用いる積分表示：γ = ∫1∞ (1/floor(t) − 1/t) dt。これは離散的な量と連続的な量の比較を強調する。

数値計算や理論的解析には、ほかにも便利な表式を導くことができる。これらの形式を標準的にまとめた解説は、級数や特殊関数についての文献のほか、ガンマ関数および関連分野に特化した論考に見られる。

特殊関数との関係

オイラー＝マスケローニ定数は、ガンマ関数およびディガンマ関数と密接に結び付いている。Γ(x) をガンマ関数とすると、その対数微分 ψ(x) = Γ'(x)/Γ(x) はディガンマ関数と呼ばれる。x = 1 における値は ψ(1) = −γ であるため、γ = −ψ(1) が成り立つ。この関係により、γ は解析接続や階乗の一般化において中心的な役割を果たす古典的関数の特殊値の一つに位置付けられる。こうした関係のより技術的な説明は、ディガンマ関数に関する資料や、ガンマ関数とその導関数について詳述する文献で扱われる。

数値と計算

この定数は約 0.5772156649… で始まり、初等的な参考文献ではしばしば小数数桁に丸めて示される。歴史的には、マスケローニが小数近似を試みて結果を公表したが、初期の手計算には数桁の誤りが含まれており、後の計算によって訂正された。現代では、高精度演算と高速収束級数を用いて、γ は非常に多くの桁まで計算されている。アルゴリズムや計算済み桁数の記録についての読みやすい解説は、数値計算に関する資料や歴史的な計算の注記に見られる。

算術的性質と未解決問題

集中的な研究にもかかわらず、γ の正確な算術的性質は数学における未解決問題である。γ が有理数か無理数かは知られておらず、代数的数か超越数かも判明していない。いくつかの条件付き結果や部分的定理は、γ にあり得る代数的関係を、超越数論の深い予想や L 関数の特殊値の算術と関連付けている。概説や研究者向けの議論では、現在までに判明している事実と、これらの問題に対する主要なアプローチが説明される。未解決問題と既知の部分的結果の概観については、研究サーベイや専門論文を参照できる。算術的地位に関するサーベイおよび研究の要約は、さらなる背景を示す。

漸近展開と関連定数

オイラー＝マスケローニ定数は、離散的な和と積分を比較する漸近展開における先頭の定数項として現れる。たとえば、n → ∞ のとき、調和数には Hn = ln n + γ + 1/(2n) − 1/(12n2) + O(1/n4) という展開があり、数値推定や解析的証明に有用である。より一般に、γ は通常 γ0 と表される第0スティルチェス定数であり、リーマンゼータ関数の s = 1 の周りでのローラン展開における定数項として現れる。スティルチェス定数 γn の族は γ を一般化するもので、より精密な展開に現れる。漸近的方法やゼータ関数論の文献では、これらの結び付きがさらに詳しく論じられている。漸近展開とスティルチェス定数は、この種の解説で標準的に扱われる主題である。

応用と例

オイラー＝マスケローニ定数は、多様な文脈に現れる。たとえば、対数を含む特定の定積分の評価、組合せ論的な和の極限、特殊関数の展開、和を積分で近似する際の補正項などである。また、素数計数の振る舞いをモデル化する特殊関数やそれに関連する評価を通じて、解析的数論にも現れる。実例としては、和を積分へ移す際に明示的な定数項を与える極限、有理点でのディガンマ関数値の公式、確率論および統計学における近似公式の補正がある。説明的な例や数表については、特殊関数と定数に関する入門的な記事や計算の手引きを参照できる。解説的な資料および数値計算の手引きには、多数の計算例と応用が掲載されている。

要約：オイラー＝マスケローニ定数 γ ≈ 0.5772156649 は、離散的な調和和と連続的な自然対数を結び付ける基本定数である。解析学と数論の全体に現れ、ガンマ関数およびディガンマ関数と深く関係し、その算術的性質については現在も未解決問題の対象である。多様な表示を持つため、理論的研究と数値計算の双方で有用かつ繰り返し現れる量となっている。