マンゴルト(Mangoldt)関数
を返す.
MangoldtLambda
マンゴルト(Mangoldt)関数
を返す.
詳細
- MangoldtLambdaはフォン・マンゴルト関数としても知られている.
- 記号操作・数値操作の両方に適した数学的整数関数である.
- MangoldtLambda[n]は素数 n が素数ベキの場合にはその素数の対数を,それ以外の場合はゼロを返す.
- 正の整数 n= p1k1⋯ pmkm(piは素数)について,MangoldtLambda[n]は m が1ではない場合は0を返す.1の場合はLog[p1]を返す.
例題
すべて開く すべて閉じる例 (2)
MangoldtLambda[25]最初の100の数についてMangoldtLambda数列をプロットする:
DiscretePlot[MangoldtLambda[n], {n, 100}]スコープ (8)
数値評価 (3)
MangoldtLambdaは整数に使うことができる:
MangoldtLambda[125]MangoldtLambda[7 ^ 300]MangoldtLambdaはリストに縫い込まれる:
MangoldtLambda[{2, 6, 9, 8, 15}]記号演算 (5)
TraditionalFormによる表示:
MangoldtLambda[n]//TraditionalFormReduce[MangoldtLambda[n] == Log[2] && 0 < n < 10, n, Integers]Solve[MangoldtLambda[a + b ^ 2] == Log[b] && 0 < a < 10 && 0 < b < 10, {a, b}, Integers]除数上のMangoldtLambdaの和:
DivisorSum[x, MangoldtLambda[#]&]MangoldtLambdaのDirichletTransform:
DirichletTransform[MangoldtLambda[n], n, s]Sum[MangoldtLambda[k] / k ^ s, {k, 1, Infinity}]アプリケーション (5)
基本的なアプリケーション (3)
である数 n を青で,
である数 n の素数基底を赤でハイライトする:
Multicolumn[If[MangoldtLambda[#] == 0, Style[#, Blue, Bold], Style[Exp[MangoldtLambda[#]], Red, Bold]]& /@ Range[100], 10, ...]MangoldtLambda数列を対数関数と比較する:
Show[LogPlot[x, {x, 1, 100}, PlotStyle -> Orange],
ListLinePlot[MangoldtLambda[Range[100]]]]第2種チェビシェフ(Chebyshev)関数をプロットする [詳細]:
ψ[x_] := Total@MangoldtLambda[Range[Floor[x]]];DiscretePlot[ψ[x] / x, {x, 200}]整数論 (2)
MangoldtLambdaを使って素数ベキをテストする:
MangoldtLambda[81] ≠ 0PrimePowerQ[81]MangoldtLambdaとZetaZeroを使って素数と素数ベキの数を近似する:
f[x_, n_] := Module[{zero = Flatten[N[Table[ZetaZero[{j, -j}], {j, n}]]]}, x - Log[2 Pi] - Total[x ^ zero / zero] - Log[1 - 1 / x ^ 2] / 2];
g[x_] := Sum[MangoldtLambda[j], {j, 1, Floor[x]}];
vis[n_] := Plot[{g[x], f[x, n]}, {x, 2, 15}, Exclusions -> None, Frame -> True, PlotRange -> {0, 15}, PlotLegends -> {g, f}];vis[1]vis[15]特性と関係 (7)
MangoldtLambdaは素数ベキ以外にはゼロを返す:
MangoldtLambda[2 3]MangoldtLambda[2 ^ 3]MangoldtLambdaは加算的でも乗算的でもない:
{MangoldtLambda[2 3], MangoldtLambda[2] + MangoldtLambda[3]}{MangoldtLambda[2 3], MangoldtLambda[2]MangoldtLambda[3]}MangoldtLambdaは恒等式
を満足する:
Log[16] == DivisorSum[16, MangoldtLambda[#] &]MoebiusMuを使ってMangoldtLambdaを計算する:
DivisorSum[n, MoebiusMu[n / #] Log[#] &]LCMを使ってMangoldtLambdaを計算する:
Log[ LCM@@Range[5] / LCM@@Range[4]]MangoldtLambda[5]最初の n 個の整数のMangoldtLambdaの和は,最初の n 個の整数のLCMの自然対数に等しい:
Sum[MangoldtLambda[n], {n, 20}]//SimplifyLog[Apply[LCM, Range[20]]]MangoldtLambdaは以下の恒等式を満足する:
n = 16;Log[n] == DivisorSum[n, MangoldtLambda[#] &]DivisorSum[n, MoebiusMu[n / #] Log[#]&] == MangoldtLambda[n]DivisorSum[n, MoebiusMu[#] Log[#]&] == -MangoldtLambda[n]DivisorSum[n, MoebiusMu[n / #] MangoldtLambda[#]&] == -MoebiusMu[n] Log[n]おもしろい例題 (3)
2つの平方の和についてMangoldtLambdaをプロットする:
ArrayPlot[Table[MangoldtLambda[a ^ 2 + b ^ 2], {a, 50}, {b, 50}], ColorFunction -> "BlueGreenYellow"]MangoldtLambdaのフーリエ(Fourier)変換の引数をプロットする:
ArrayPlot[Arg[Fourier[Table[MangoldtLambda[m + n], {m, 200}, {n, 200}]]], ColorFunction -> Hue]MangoldtLambdaのウラム(Ulam)螺線をプロットする:
ulam[n_] := Partition[Permute[Range[n ^ 2], Accumulate[Take[Flatten[{{n ^ 2 + 1} / 2, Table
[(-1) ^ j i, {j, n}, {i, {-1, n}}, {j}]}], n ^ 2]]], n];ArrayPlot[MangoldtLambda[ulam[101]], ColorFunction -> "Rainbow"]テキスト
Wolfram Research (2008), MangoldtLambda, Wolfram言語関数, https://reference.wolfram.com/language/ref/MangoldtLambda.html.
CMS
Wolfram Language. 2008. "MangoldtLambda." Wolfram Language & System Documentation Center. Wolfram Research. https://reference.wolfram.com/language/ref/MangoldtLambda.html.
APA
Wolfram Language. (2008). MangoldtLambda. Wolfram Language & System Documentation Center. Retrieved from https://reference.wolfram.com/language/ref/MangoldtLambda.html
BibTeX
@misc{reference.wolfram_2026_mangoldtlambda, author="Wolfram Research", title="{MangoldtLambda}", year="2008", howpublished="\url{https://reference.wolfram.com/language/ref/MangoldtLambda.html}", note=[Accessed: 06-November-2026]}
BibLaTeX
@online{reference.wolfram_2026_mangoldtlambda, organization={Wolfram Research}, title={MangoldtLambda}, year={2008}, url={https://reference.wolfram.com/language/ref/MangoldtLambda.html}, note=[Accessed: 06-November-2026]}