마이셀-메르텐스 상수 문서 원본 보기

{{위키데이터 속성 추적}}
'''마이셀-메르텐스 상수'''({{llang|en|Meissel-Mertens constant}})는 [[수학 상수]]중 하나이다.

다음은 [[메르텐스 정리 (수론)|메르텐스의 정리]]에서  메르텐스의 제2정리(Mertens' 2nd theorems)이다.
:<math>p</math>를 소수라 하면, 다음 등식이 성립한다.<ref>(OEIS)http://oeis.org/A077761</ref>
:<math>M= \lim_{n\to\infty}\left(-\ln\ln n+\sum_{p\leq n} {{1}\over{p}} \right) =B_1 =0.2614972128\ldots</math> {{OEIS|A077761}}
이 수렴값(<math>B_1</math>)을 마이셀-메르텐스 상수(Meissel–Mertens constant) 또는 메르텐스 상수라 한다.

==오일러-마스케로니 상수 <math>\gamma</math> 와의  관계==

:<math>B_1= \sum_{n=1}^{\infty} \left( \ln \left(1- {{1}\over{p_{n}}} \right)+ {{1}\over{p_{n}}} \right) + \gamma</math>

:<math>B_1= \sum_{p} \left( \ln \left(1- {{1}\over{p}} \right)+ {{1}\over{p}} \right) + \gamma</math>

:<math>\;\;\;= \sum_{p} \left( \ln \left( {{p-1}\over{p}} \right)+ {{1}\over{p}} \right) + \gamma</math>
<!-- :<math>\;\;\;= \sum_{p} \left( \ln \left( {{p-1}\over{p}} + {{1}\over{p}} \right) \right) + \gamma</math>
:<math>\;\;\;= \sum_{p} \left( \ln \left( {{p-1+1}\over{p}}  \right) \right) + \gamma</math>
:<math>\;\;\;= \sum_{p} \left( \ln \right) + \gamma</math>  -->


:<math>B_1= \sum_{n=2}^{\infty} \left( {{\mu(n)}\over{n}}  \ln(\zeta(n)) \right) + \gamma</math><ref>(Flajolet and Vardi 1996, Schroeder 1997, Knuth 1998).</ref>
:<math>\mu </math>는 [[뫼비우스 함수]] <math>, \zeta</math>는 [[리만 제타 함수]] <math>, \gamma</math> [[오일러-마스케로니 상수]]

==<math>B_2</math> 메르텐스 상수==
:<math>B_2=B_1 + \left(\sum_{n=1}^{\infty} {{1}\over{p_n(p_n -1)}} \right)</math>
:<math>B_2= \sum_{n=1}^{\infty} \left( \ln \left(1- {{1}\over{p_{n}}} \right)+ {{1}\over{p_{n}}} \right) + \gamma
    + \left(\sum_{n=1}^{\infty} {{1}\over{p_n(p_n -1)}} \right)    </math>
:<math>B_2= \left(\sum_{n=1}^{\infty} \left(ln \left( 1-{{1}\over{p_n}} \right) \right)+ \left(  {{1}\over{p_n}}+ {{1}\over{p_n^2 -p_n}} \right)  \right)  +\gamma</math>

:<math>B_2= \left(\sum_{n=1}^{\infty} \left(ln \left( 1-{{1}\over{p_n}} \right) + {{1}\over{p_n -1}} \right) \right) +\gamma</math>
:<math>B_2= \left(\sum_{x=2}^{\infty}  {{\phi(x) ln(\zeta(x))}\over{x}} \right) +\gamma</math>
:<math>=1.034653...</math> {{OEIS|A083342}}<ref>Decimal expansion of average deviation of the total number of prime factors or decimal expansion of constant B2 from the summatory function of the restricted divisor function.  (REFERENCES)	 S. R. Finch, Mathematical Constants, Encyclopedia of Mathematics and its Applications, vol. 94, Cambridge University Press, pp. 94-98  J. Sandor, B. Crstici, Handbook of Number Theory II, p 155, Chapter V, 1) b)</ref>
:<math>\phi </math>는 [[오일러 피 함수]] <math>, \zeta</math>는 [[리만 제타 함수]] <math>, \gamma</math> [[오일러-마스케로니 상수]]

== 메르텐스의 제1정리 ==
메르텐스의 제1정리로부터 메르텐스 상수 <math>B_3</math>를 얻을수있다.<ref>(OEIS)http://oeis.org/A083343</ref><ref>(매스월드)http://mathworld.wolfram.com/MertensConstant.html</ref>
:<math>p</math>를 소수라 하면, 다음 등식이 성립한다.<ref>(Rosser and Schoenfeld 1962, Montgomery 1971, Finch 2003)</ref>
:<math>B_3= \lim_{n \to \infty} \left( \ln n - \sum_{p \leq n} {{\ln p}\over{p}} \right)</math>
:<math>B_3=  \left( \sum_{x = 2}^{\infty} \sum_{y = 1}^{\infty} {{\ln p_y}\over{p_y^x}} \right) + \gamma</math>


이 수렴값은 약 <math>1.3325822757..</math>이다.<ref>([[OEIS]])http://oeis.org/A083343</ref>{{OEIS|A083343}}

== 같이 보기 ==
* [[브룬 상수]]
* [[쌍둥이 소수 상수]]
* [[수학 상수]]

== 각주 ==
{{각주}}
*([[OEIS]])http://oeis.org/A271971
*(OEIS)http://oeis.org/A161529
*(OEIS)http://oeis.org/A272531
*(OEIS)http://oeis.org/A136141
*(OEIS)http://oeis.org/A075986
*(OEIS)http://oeis.org/A166509
*(OEIS)http://oeis.org/A276524
*(OEIS)http://oeis.org/A249270
*(OEIS)http://oeis.org/A249271

{{수학 상수}}

[[분류:수학 상수]]