수 이론 에서 프라임 오메가 함수 Ω( n ) {\displaystyle \omega(n)} 및 Ω( n ) {\displaystyle \Oomega(n)} 은 자연수 n. {\displaystyle n.} 의 프라임 인자 수를 계산하므로 Ω( n ) {\displaysty \oameget \n) 은 각 프라임오메가 (작은 오메가)을 계수한다. Ω ( n ) {\displaystyle \Oomega(n)}( 빅 오메가)는 n, {\displaystyle n,} 의 다중성을 유지하는 총 주요 인자 수를 계산한다(산술 함수 참조).That is, if we have a prime factorization of n {\displaystyle n} of the form n = p 1 α 1 p 2 α 2 ⋯ p k α k {\displaystyle n=p_{1}^{\alpha _{1}}p_{2}^{\alpha _{2}}\cdots p_{k}^{\alpha _{k}}} for distinct primes p i {\displaystyle p_{i}} ( 1 ≤ i ≤ k {\displaystyle 1\leq i\leq k} ), then 각각의 프라임 오메가 함수는 Ω ( n ) = k {\displaystyle \omega(n)=k }, Ω( n ) = α 1 + α 2 + α + α k + α k + α k {\ displaystyle \Oomega(n)=\1}+\alpha _{2}+\cdcdots+\k }}}}}}}}}}}. 이러한 주요 요인 계수 함수는 많은 중요한 숫자 이론적 관계를 가지고 있다.
속성 및 관계 Ω (n ) {\displaystyle \omega(n)} 함수는 가법 이고 Ω( n ) {\displaystyle \Oomega(n)} 은 완전히 가법 이다 .
ω ( n ) = ∑ p ∣ n 1 {\displaystyle \omega(n)=\sum _{p\mid n}1}
p {\displaystyle p} 이(가) n 을 최소한 한 번만 세는 경우(예: Ω ( 12 ) = Ω ( 2 2 3 ) = 2 {\displaystyle \omega(12)=\omega(2^{2} 3)=2 }.
Ω ( n ) = ∑ p α ∣ n 1 = ∑ p α ∥ n α {\displaystyle \Oomega(n)=\sum _{p^{\alpha }\mid n1}=\sum _{p^{\alpha }\parallel n}\alpha }}}}
If p {\displaystyle p} divides n {\displaystyle n} α ≥ 1 {\displaystyle \alpha \geq 1} times then we count the exponents, e.g. Ω ( 12 ) = Ω ( 2 2 3 1 ) = 3 {\displaystyle \Omega (12)=\Omega (2^{2}3^{1})=3} . As usual, p α ∥ n {\displaystyle p^{\alpha }\parallel n} means α {\displaystyle \alph a {} 은(는) n {\displaystyle n} 을 (를) 나누는 p {\displaystyle p} 의 정확한 힘이다.
Ω ( n ) ≥ ω ( n ) \displaystyle \Oomega(n)\geq \omega(n)}
Ω( n ) = Ω ( n ) {\displaystyle \Oomega(n)=\omega(n)} 인 경우 n {\displaystyle n} 은 제곱 이 없고 다음에 의해 Möbius 기능 과 관련됨
μ ( n ) = ( − 1 ) ω ( n ) = ( − 1 ) Ω ( n ) {\displaystyle \mu(n)=(-1)^{\omega(n)}=(-1)^{\Oomega(n)}}} Ω( n ) = 1 {\displaystyle \Oomega(n)=1} 이면 n {\displaystyle n}이( 가) 프라임 번호가 된다 .
divisor 함수 의 평균 순서는 2Ω ( n ) ≤ d (n ) ≤ 2Ω (n ) {\ displaystyle 2^{\omega (n)}\leq d(n)}\leq 2^{\leq (n)}}}}}}}} 을 만족하는 것으로 알려져 있다. [1]
많은 산술 함수 와 마찬가지로 Ω( n ) {\displaystyle \Oomega(n)} 또는 Ω( n ) {\displaystyle \omega(n)} 에 대한 명시적인 공식은 없지만 근사치가 있다.
Ω( n ) {\displaystyle \omega(n)} 의 평균 순서에 대한 점증상 영상 시리즈는 다음과 같다.
1 n ∑ k = 1 n ω ( k ) ∼ 통나무를 하다 통나무를 하다 n + B 1 + ∑ k ≥ 1 ( ∑ j = 0 k − 1 γ j j ! − 1 ) ( k − 1 ) ! ( 통나무를 하다 n ) k , {\displaystyle {\frac {1}{n1}\sum \limits _{k=1}^{n}\omega(k)\sim \log \log n+B_{1}++\sum _{k\geq 1}\좌(\sum _{j=0}^{k-1}{\frac {nj! 2}}-1\오른쪽){\frac {(k-1)! }}{{(\log n)^{k}}},} 여기서 B 1 ≈ 0.26149721 {\displaystyle B_{1}\ 약 0.26149721} 은 메르텐스 상수 이고 γ j {\ displaystyle \gamma_{j}} 은 Steltjes 상수 이다.
이 함수(n){\displaystyle \omega(n)}인자 돈으로 뫼비우스 함수와 다음 금액을 포함한 인자 기능에 관련된 ω.[3]
∑ d ∣ n μ ( d ) = 2 ω ( n ) {\displaystyle \sum_{d\mid n}\mu(d)=2^{\omega(n)}}. ∑ d ∣ n μ ( d ) k ω ( d ) = ( k + 1 ) ω ( n ) {\displaystyle \sum_{d\mid n}\mu(d)k^ᆭ=(k+1)^{\omega(n)}}. ∑ r ∣ n 2 ω ( r ) = d ( n 2 ) {\displaystyle \sum_{nr\mid}(n^{2})}. ∑ r ∣ n 2 ω ( r ) d ( n r ) = d 2 ( n ) {\displaystyle \sum_{nr\mid}({\frac{n}{r}}\right)=d^ᆭ(n)}. ∑ d ∣ n ( − 1 ) ω ( d ) = ∏ p α n ( 1 − α ) {\displaystyle \sum_{d\mid n}())^{\omega(d)}=\prod \limits(n}(1-\alpha)}. ∑ ( k , m ) = 1 1 ≤ k ≤ m gcd ( k 2 − 1 , m 1 ) gcd ( k 2 − 1 , m 2 ) = φ ( n ) ∑ d 2 ∣ m 2 d 1 ∣ m 1 φ ( gcd ( d 1 , d 2 ) ) 2 ω ( lcm ( d 1 , d 2 ) ) , m 1 , m 2 기묘한 , m = lcm ( m 1 , m 2 ) {\displaystyle \sum_{\stackrel{1\leq)m}{(k,m)=1}}(n)\sum _{\stackrel{d_{1}\mid m_{1}}{d_{2}\mid m_{2}}}\varphi(\gcd(d_{1},d_{2}))2^{\omega(\operatorname{lcm}({1},d_{2}d_))},\ m_{1},m_{2}{\text{이상한}},m=\operatorname{lcm}(m_{1},m_{2})}\gcd(k^{2}-1,m_{1})\gcd(k^{2}-1,m_{2})=\varphi. ∑ gcd ( k , m ) = 1 1 ≤ k ≤ n 1 = n φ ( m ) m + O ( 2 ω ( m ) ) {\displaystyle \sum_{\stackrel{1\leqk\leq n}{\operatorname{gcd}(k,m)=1}}년! \.\와 같이!\!1=n{\frac{\varphi(m)}{m}}+ O\left(2^{\omega(m)}\right)} 는 최고급 제품 특유의 기능은 뫼비우스 함수:[4]과 주름으로 표현할 수 있다.
χ P ( n ) = ( μ ∗ ω ) ( n ) = ∑ d n ω ( d ) μ ( n / d ) . {\displaystyle \chi_{\mathbb{P}}(n)=(\mu\ast \omega)(n)=\sum _{dn}\omega(d)\mu(n/d). } ω(n){\displaystyle \omega(n)}을 위한partition-related 정확한 정체성[5]에 의해서 주어진다.
ω ( n ) = 통나무를 하다 2 [ ∑ k = 1 n ∑ j = 1 k ( ∑ d ∣ k ∑ i = 1 d p ( d − j i ) ) s n , k ⋅ μ ( j ) ] , {\displaystyle \omega(n)=\log_{2}[\sum_{k=1}^{n}\sum_{j=1}^{k}\left(\sum_{d\mid k}\sum_{i=1}^{d}p(d-ji)\right)s_{n,k}\cdot \mu(j)\right],}. 어디 p(n){\displaystyle p(n)} 있는 파티션 함수,μ(n){\displaystyle \mu(n)}은 뫼비우스 함수, 삼각 시퀀스 sn, k{\displaystyle s_{n,k}}에 의해 확장합니다.
s n , k = [ q n ] ( q ; q ) ∞ q k 1 − q k = s o ( n , k ) − s e ( n , k ) , {\displaystyle s_{n,k}=[q^{n}](q;q)_{\inflt{q^{k}}{1-q^{k}}}}=s_{o}(n,k)-s_{e}(n,k),}} 무한 q-Pochhammer 기호 와 제한 파티션 함수 s o / e ( n , k ) {\displaystyle s_{o/e}(n,k)} 의 수를 각각 n {\displaystyle n} 의 모든 파티션에 있는 k {\displaysty k} 의 수를 홀수(짝수 )의 구별 부품으로 나타낸다 .[6]
복잡한 평면으로 계속 Ω( n ) {\displaystyle \omega(n)} 의 연속성이 발견되었지만 , 어디에서나 분석적인 것은 아니다.[7] 표준화된 sinc {\displaystyle \operatorname {sinc} 함수 sinc ( x ) = sin ( x ) x π x {\displaysty \operatorname {sinc}(x)={\frac {\sin(\pi x){\pi x}}}}}} 이 사용된다는 점에 유의하십시오.
ω ( z ) = 통나무를 하다 2 ( ∑ x = 1 ⌈ R e ( z ) ⌉ 사악하게 하다 ( ∏ y = 1 ⌈ R e ( z ) ⌉ + 1 ( x 2 + x − y z ) ) ) {\displaystyle \omega (z)=\log _{2}\left(\sum _{x=1}^{\lceil Re(z)\rceil }\operatorname {sinc} \left(\prod _{y=1}^{\lceil Re(z)\rceil +1}\left(x^{2}+x-yz\right)\right)\right)}
평균 순서 및 요약 함수 An average order of both ω ( n ) {\displaystyle \omega (n)} and Ω ( n ) {\displaystyle \Omega (n)} is log log n {\displaystyle \log \log n} . When n {\displaystyle n} is prime a lower bound on the value of the function is ω ( n ) = 1 {\displaystyle \omega (n)=1} . Similarly, if n {\displaystyle n} i 그러면 함수 는 평균 순서로 Ω( n ) ~ log log n 로그 log 로그 logn {\ displaystyle \omega(n)\sim {\frac {\log n}{\log \log \log n}}} 만큼 커진다. n {\displaystyle n} 의 전원이 2이면 Ω ( n ) ~ 로그 ~ n 로그 n 2 {\ displaystyle \Oomega(n)\sim {\frac {\log n}{\log n}}}}}. [8]
Ω( n ) {\displaystyle \omega(n)}, Ω( n ) {\displaystyle \Oomega(n)}, Ω( n ) 2 {\ displaystyle \omega(n)^{2}} 이상의 Summptogetics는 Hardy와 Wrig에서 각각 계산된다 .
∑ n ≤ x ω ( n ) = x 통나무를 하다 통나무를 하다 x + B 1 x + o ( x ) ∑ n ≤ x Ω ( n ) = x 통나무를 하다 통나무를 하다 x + B 2 x + o ( x ) ∑ n ≤ x ω ( n ) 2 = x ( 통나무를 하다 통나무를 하다 x ) 2 + O ( x 통나무를 하다 통나무를 하다 x ) ∑ n ≤ x ω ( n ) k = x ( 통나무를 하다 통나무를 하다 x ) k + O ( x ( 통나무를 하다 통나무를 하다 x ) k − 1 ) , k ∈ Z + , {\displaystyle {\begin}\sum _{n\leq x}\omega(n)&=x\log \log x+B_{1}x+o(x)\ \\sum _{n\leq x}\Oomega(n)&=x\log \log x+B_{2}x+o(x)\ \\sum _{n\leq x}\omega (n)^{2}&=x(\log \log x)^{2}+O(x\log \log x)\\\sum _{n\leq x}\omega (n)^{k}&=x(\log \log x)^{k}+O(x(\log \log x)^{k-1}),k\in \mathbb {Z} ^{+},\end{aligned}}} 여기서 B 1 ≈ 0.2614972128 {\displaystyle B_{1}\약 0.2614972128} 은(는) 메르텐스 상수 이며 상수 B 2 {\ displaystyle B_{2 }}은 다음에 의해 정의된다 .
B 2 = B 1 + ∑ p 전성기의 1 p ( p − 1 ) ≈ 1.0345061758. {\displaystyle B_{2}=B_{1}+\sum _{p{\text{prim}{p1}{p-1}}{p-}}}\ 약 1.0345061758. } 프라임 오메가 함수의 두 변종과 관련된 다른 합은 다음과 같다.
∑ n ≤ x { Ω ( n ) − ω ( n ) } = O ( x ) , {\displaystyle \sum _{n\leq x}\left\{\Oomega(n)-\omega(n)\right\}=O(x),} 그리고
# { n ≤ x : Ω ( n ) − ω ( n ) > 통나무를 하다 통나무를 하다 x } = O ( x ( 통나무를 하다 통나무를 하다 x ) 1 / 2 ) . {\displaystyle \#\왼쪽\{n\leq x:\Oomega(n)-\omega(n)}{\log x}\right\}=O\left({\frac}{x}{\log \log x)^{1/2}}\오른쪽). } 예제 I: 수정된 요약 함수 이 예에서는 S Ω ( x ) := n ∑ x Ω (n ) {\displaystyle S_{\omega }(x): =\sum _{n\leq x}\omega (n)} 충분히 큰 x {\displaystyle x} 에 대한 위의 결과에서 추정. 그런 다음 이 수정 요약 함수의 성장에 대한 점증식 공식을 증명한다. S Ω ( x ) {\displaysty S_{\omega }(x)} 의 점증식에서 도출한다.위쪽의 [12] rticle
정확히 말하면, 홀수 색인 종합 함수를 다음과 같이 정의하도록 한다.
S 기묘한 ( x ) := ∑ n ≤ x ω ( n ) [ n 기묘한 ] , {\displaystyle S_{\operatorname {odd} }(x): =\sum _{n\leq x}\omega(n)[n{\text{ 홀수}],} 여기서 [ ⋅ ] {\displaystyle [\cdot ]} 은(는) Iverson 대괄호 를 의미한다 . 그럼 우리에겐 그런게 있지
S 기묘한 ( x ) = x 2 통나무를 하다 통나무를 하다 x + ( 2 B 1 − 1 ) x 4 + { x 4 } − [ x ≡ 2 , 3 모드의 4 ] + O ( x 통나무를 하다 x ) . {\displaystyle S_{\\operatorname {odd}={\frac {x}{2}}\log x+{\frac {({B_{1}-1)x}{4}{4}}}{\frac}}{4}\right\}-{x\equiv 2,3}{\bmod {4}}}}}}}}}}}}오른쪽}}}}}}}}\right}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}} O\왼쪽({\frac {x}{\log x}}\오른쪽). } 이 결과의 증명은 먼저 다음을 관찰함으로써 뒤따른다.
ω ( 2 n ) = { ω ( n ) + 1 , 만일 n 이상함; ω ( n ) , 만일 n 짝수야, {\displaystyle \omega(2n)={\case}\omega(n)+1,&{\text{{n}}}}{n}\text{n}는 홀수, }\\data(n), }\text{{n}}}}}은 짝수,}\case{case}}}}}}}}}}}}}}}}}}} 그리고 Ω (n ) {\displaystyle \omega (n)} 을(를) 초과하는 요약 함수에 대해 Hardy와 Wright의 점증적 결과를 적용하고, S Ω ( x ) := n ω x Ω (n ) {\displaysty S_{\omega }(x): =\sum _{n\leq x}\omega(n)} .
S ω ( x ) = S 기묘한 ( x ) + ∑ n ≤ ⌊ x 2 ⌋ ω ( 2 n ) = S 기묘한 ( x ) + ∑ n ≤ ⌊ x 4 ⌋ ( ω ( 4 n ) + ω ( 4 n + 2 ) ) = S 기묘한 ( x ) + ∑ n ≤ ⌊ x 4 ⌋ ( ω ( 2 n ) + ω ( 2 n + 1 ) + 1 ) = S 기묘한 ( x ) + S ω ( ⌊ x 2 ⌋ ) + ⌊ x 4 ⌋ . {\displaystyle {\reasoned} S_{\omega }(x)&=S_{\operatorname {odd} }(x)+\sum _{n\leq \left\lfloor {\frac {x}{2}}\right\rfloor }\omega (2n)\\&=S_{\operatorname {odd} }(x)+\sum _{n\leq \left\lfloor {\frac {x}{4}}\right\rfloor }\left(\omega (4n)+\omega (4n+2)\right)\ \&=S_{\operatorname {odd}}(x)+\sum _{n\leq \lploor {\frac {x}{4}\right\rfloor }\left(\n)+\omega(2n+1)+1\오른쪽)\\\\\ \&=S_{\operatorname {odd} }(x)+ S_{\\omega }\좌(\왼쪽\lfloor {x}{2}}\우측\rfloor \우측)+\좌측\lfloor{4}\우측\rfloor .\liged}}}}} 예 II: Ω(n)의 so-terd 요인 모멘트에 대한 요약 함수 Hardy와 Wright의 22.11장에서 확장된 계산은 종합함수에 대한 점증적 추정치를 제공한다.
ω ( n ) { ω ( n ) − 1 } , \displaystyle \omega(n)\left\{\omega(n)-1\right\}} 이 두 성분 오메가 함수의 제품을 다음과 같이 추정함으로써
ω ( n ) { ω ( n ) − 1 } = ∑ p , q 전성기의 p ≠ q p q ∣ n 1 = ∑ p , q 전성기의 p q ∣ n 1 − ∑ p 전성기의 p 2 ∣ n 1. {\displaystyle \omega (n)\left\{\omega (n)-1\right\}=\sum _{\stackrel {pq\mid n}{\stackrel {p\neq q}{p,q{\text{ prime}}}}}1=\sum _{\stackrel {pq\mid n}{p,q{\text{ prime}}}}1-\sum _{\stackrel {p^{2}\mid n}{p{\text{ prime}}}}1. } 유사하게, Ω (n ) {\displaystyle \omega (n)} 함수의 so-tered 요인 모멘트 에 대한 관련 요약 함수에 대한 점근식을 더 일반적으로 계산할 수 있다.
디리클레트 시리즈 Ω( n ) {\displaystyle \omega(n)} 및 Riemann 제타 함수 를 포함하는 알려진 Dirichlet 시리즈 는 다음과 같다.
∑ n ≥ 1 2 ω ( n ) n s = ζ 2 ( s ) ζ ( 2 s ) , ℜ ( s ) > 1. {\displaystyle \sum _{n\geq 1}{\frac {2^{\omega(n)}}{n^{n^{s}}}={\frac {\zeta ^{2}(s)}{\zeta(2s)}}}},\Re(s)1. } 우리는 또한 그것을 볼 수 있다.
∑ n ≥ 1 z ω ( n ) n s = ∏ p ( 1 + z p s − 1 ) , z < 2 , ℜ ( s ) > 1 , {\displaystyle \sum _{n\geq 1}{\frac {z^{\omega(n)}}{n^{p}}}}}}}}{p^{z}{p^}-1}오른쪽) z <2,\Re(s)1,} ∑ n ≥ 1 z Ω ( n ) n s = ∏ p ( 1 − z p s ) − 1 , z < 2 , ℜ ( s ) > 1 , {\displaystyle \sum _{n\geq 1}{\frac {z^{\Oomega(n)}}}{n^{p^}}}}}}}}}{p}\pod(1-{\frac {z}{p^}}}}\오른쪽)^{-1, z <2,\Re(s)1,},} Ω( n ) {\displaystyle \Oomega(n)} 함수는 완전히 덧셈 이며 , 여기서 Ω( n ) {\displaystyle \omega(n)} 은 강한 덧셈(additive )이다. 이제 다음과 같은 형태로 짧은 보조정리법을 증명할 수 있는데, 이는 Ω( n ) {\displaystyle \omega(n)} 및 Ω( n ) {\displaystyle \Oomega(n)} 에 대한 디리클레 시리즈 확장 에 대한 정확한 공식을 의미한다.
Lemma. Suppose that f {\displaystyle f} is a strongly additive arithmetic function defined such that its values at prime powers is given by f ( p α ) := f 0 ( p , α ) {\displaystyle f(p^{\alpha }):=f_{0}(p,\alpha )} , i.e., f ( p 1 α 1 ⋯ p k α k ) = f 0 ( p 1 , α 1 ) + ⋯ + f 0 ( p k , α k ) {\displaystyle f(p_{1}^{\alpha _{1}}\cdots p_{k}^{\alpha _{k}})=f_{0}(p_{1},\alpha _{1})+\cdots +f_{0}(p_{k},\alpha _{k})} for distinct primes p i {\displaystyle p_{i}} and exponents α i ≥ 1 {\displaystyle \alpha _{i}\geq 1} . The Dirichlet series of f {\displaystyle f} is expanded by
∑ n ≥ 1 f ( n ) n s = ζ ( s ) × ∑ p p r i m e ( 1 − p − s ) ⋅ ∑ n ≥ 1 f 0 ( p , n ) p − n s , ℜ ( s ) > 분 ( 1 , σ f ) . {\displaystyle \sum _{n\geq 1}{\frac {f(n)}{n^{s}}}=\zeta (s)\times \sum _{p\mathrm {\ prime} }(1-p^{-s})\cdot \sum _{n\geq 1}f_{0}(p,n)p^{-ns},\Re (s)>\min(1,\sigma _{f}). } 증명. 우리는 그것을 볼 수 있다.
∑ n ≥ 1 u f ( n ) n s = ∏ p p r i m e ( 1 + ∑ n ≥ 1 u f 0 ( p , n ) p − n s ) . {\displaystyle \sum _{n\geq 1}{\f^{f(n)}}{n^{n^}}}}=\prod _{p\mathrm {\prim}}}\{n\geq 1+\sum _{f_{0}(p,n)p^{-ns}\ns}\rig}오른쪽). } 라는 뜻을 내포하고 있다.
∑ n ≥ 1 f ( n ) n s = d d u [ ∏ p p r i m e ( 1 + ∑ n ≥ 1 u f 0 ( p , n ) p − n s ) ] u = 1 = ∏ p ( 1 + ∑ n ≥ 1 p − n s ) × ∑ p ∑ n ≥ 1 f 0 ( p , n ) p − n s 1 + ∑ n ≥ 1 p − n s = ζ ( s ) × ∑ p p r i m e ( 1 − p − s ) ⋅ ∑ n ≥ 1 f 0 ( p , n ) p − n s , {\displaystyle {\begin{aligned}\sum _{n\geq 1}{\frac {f(n)}{n^{s}}}&={\frac {d}{du}}\left[\prod _{p\mathrm {\ prime} }\left(1+\sum _{n\geq 1}u^{f_{0}(p,n)}p^{-ns}\right)\right]{ \Biggr }_{u=1}=\prod _{p}\left(1+\sum _{n\geq 1}p^{-ns}\right)\times \sum _{p}{\frac {\sum _{n\geq 1}f_{0}(p,n)p^{-ns}}{1+\sum _{n\geq 1}p^{-ns}}}\\&=\zeta (s)\times \sum _{p\mathrm {\ prime} }(1-p^{-s})\cdot \sum _{n\geq 1}f_{0}(p,n)p^{-ns},\end{aligned}}} 해당 시리즈와 제품이 수렴되는 곳이면 어디든. 마지막 방정식에서 우리는 Riemann zeta 함수 의 오일러 제품 표현을 사용했다. ⊡ {\displaystyle \boxdot }
보조줄은 ℜ ( s ) > 1 {\displaystyle \Re (s)}1} 에 대해,
D ω ( s ) := ∑ n ≥ 1 ω ( n ) n s = ζ ( s ) P ( s ) = ζ ( s ) × ∑ n ≥ 1 μ ( n ) n 통나무를 하다 ζ ( n s ) D Ω ( s ) := ∑ n ≥ 1 Ω ( n ) n s = ζ ( s ) × ∑ n ≥ 1 P ( n s ) = ζ ( s ) × ∑ n ≥ 1 ϕ ( n ) n 통나무를 하다 ζ ( n s ) D Ω λ ( s ) := ∑ n ≥ 1 λ ( n ) Ω ( n ) n s = ζ ( s ) 통나무를 하다 ζ ( s ) , {\displaystyle {\reasoned} D_{\omega }(s)&:=\sum _{n\geq 1}{\frac {\omega (n)}{n^{s}}}=\zeta (s)P(s)\\&\ =\zeta (s)\times \sum _{n\geq 1}{\frac {\mu (n)}{n}}\log \zeta (ns)\\ D_{\Omega }(s)&:=\sum _{n\geq 1}{\frac {\Omega (n)}{n^{s}}}=\zeta (s)\times \sum _{n\geq 1}P(ns)\\&\ =\zeta (s)\times \sum _{n\geq 1}{\frac {\phi (n)}{n}}\log \zeta (ns)\\ D_{\Oomega \lambda }}:=\sum _{n\geq 1}{\frac {\lambda(n)\Oomega(n)}{n^{s}}}}}}=\log \zeta(s),\end{liged}}}}}}}}}} 여기서 P( s ){\displaystyle P(s)} 는 프라임 제타 함수 , λ( n ) = ( - 1 ) Ω( n ) {\ displaystyle \lambda(n)=(-1)^{\Oomega(n)}}} 는 Liouville 람다 함수 다 함수다 .
프라임 오메가 함수 차이의 분포 차이 Ω( n ) - Ω( n ) {\displaystyle \Oomega (n)-\omega(n)}의 구별 되는 정수 값의 분포는 성분 함수의 반랜덤 속성과 비교하여 정규적이다 . k ≥ 0 {\displaystyle k\geq 0} 의 경우 세트로 두십시오.
N k ( x ) := # { n ≤ x : Ω ( n ) − ω ( n ) = k } . {\displaystyle N_{k}(x): =\#\{n\leq x:\오메가(n)-\오메가(n)=k\}} 이 세트에는 d k {\ displaystyle d_{k} 의 제한 밀도 순서가 있으며, 이는 x ≥ 2 {\displaystyle x\geq 2} 에 해당된다.
N k ( x ) = d k ⋅ x + O ( ( 3 4 ) k x ( 통나무를 하다 x ) 4 3 ) . {\displaystyle N_{k}(x)=d_{k}\cdot x+O\왼쪽(\\\frac {3}{4}\오른쪽) ^{k}{\sqrt{x}(\log x)^{\frac {4}{3}}\오른쪽). } 이러한 밀도는 주요 제품 에 의해 생성된다.
∑ k ≥ 0 d k ⋅ z k = ∏ p ( 1 − 1 p ) ( 1 + 1 p − z ) . {\displaystyle \sum \{k\geq 0}d_{k}\cdot z^{k}=\pod _{p}\p}\좌측(1-{\{\frac{1}{p}\우측)\좌측(1+{p-z}\우측) } With the absolute constant c ^ := 1 4 × ∏ p > 2 ( 1 − 1 ( p − 1 ) 2 ) − 1 {\displaystyle {\hat {c}}:={\frac {1}{4}}\times \prod _{p>2}\left(1-{\frac {1}{(p-1)^{2}}}\right)^{-1}} , the densities d k {\displaystyle d_{k}} satisfy
d k = c ^ ⋅ 2 − k + O ( 5 − k ) . {\displaystyle d_{k}={\hat {c}\cdot 2^{-k}+O(5^{-k}). } Erdős-Kac 정리 와 관련하여 의 마지막 절에서 정의한 주요 제품의 정의와 비교해 보십시오.
참고 항목
메모들 ^ 이 불평등은 하디와 라이트 22.13절에 제시되어 있다. ^ S. R. 핀치, 두 개의 점증적 시리즈, 수학 상수 II, 캠브리지 유니브. 프레스, 페이지 21-32, [1] ^ 목록의 두 번째 아이덴티티에서 시작된 이들 각각은 디리클레 산술함수의 경련 , 메논의 정체성 , 오일러의 총체적 함수에 대한 다른 공식에 개별적으로 인용된다. 첫 번째 ID는 NIST 수학 기능 핸드북 의 섹션 27.6에서 인용한 알려진 두 개 분량 합계의 조합이다. ^ 이것은 아포톨의 저서에서 연습으로 제안된다. Namely, we write f = μ ∗ ω {\displaystyle f=\mu \ast \omega } where f ( n ) = ∑ d n μ ( n / d ) ∑ r d ( π ( r ) − π ( r − 1 ) ) {\displaystyle f(n)=\sum _{d n}\mu (n/d)\sum _{r d}\left(\pi (r)-\pi (r-1)\right)} . We can form the Dirichlet series over f {\displaystyle f} as D f ( s ) := ∑ n ≥ 1 f ( n ) n s = P ( s ) , {\displaystyle D_{f}(s): =\sum _{n\geq 1}{\frac {f(n)}{n^{s}}}=P(s ), 여기 서 P( s ){\displaystyle P(s)} 는 프라임 제타 함수 다.그러면 f (n ) = π ( n ) - π ( n - 1 ) = χ P ( n ) = χ P ( n ) {\displaystyle f(n)=\pi (n-1)=\chi _{\mathb {P}}}}(n) 가 프리임의 표시 함수임을 알 수 있게 된다. ^ 이러한 정체성은 아래 페이지에 인용된 슈미트에 의해 기사에서 증명된다. ^ 이 삼각형 배열은 메르카와 슈미트가 입증한 램버트 시리즈 인자화 이론 (2017~2018년 )에서도 두드러지게 나타난다. ^ Z. Hoelscher & E. Palsson, 생성 함수의 대칭 및 모드, Ω( t ) {\displaystyle \omega(t )}, The PUMP Journal of Department Research , 3(20 ), 277-307. [2] ^ 이러한 각 평균 주문 추정치에 대한 참조는 MathWorld 참조의 방정식 (3)과 (18), Hardy 및 Wright의 섹션 22.10-22.11을 참조한다. ^ 이러한 점근 추정치의 참조 및 명시적 파생에 대해서는 제22.10절과 제22.11절을 참조한다. ^ 실제로 Hardy와 Wright 에서 주어진 마지막 결과의 증거는 실제로 모든 k ≥ 2 {\displaystyle \sum _{n\leq x }\omega(n)^{ k}}} 에 대한 점증적 추정치 를 추출하기 위한 보다 일반적인 절차 를 제안한다 . f ∑n ≤ x [ Ω ( n ) ]! [ Ω ( n ) - m ]! {\ displaystyle \sum \{n\leq x}{\frac {\frac[\omega(n)\오른쪽]! }}{\왼쪽[\omega(n)-m\오른쪽]! }}}} m 2 2 {\displaystyle m\geq 2} 더 일반적인 경우. ^ 하디와 라이트 22장 11절 ^ N.b, 이 합계는 머텐스 함수 의 성장과 관련된 이 페이지의 기고자가 미발표 원고에 수록된 저작에 의해 제시된다. 따라서 그것은 단지 여기서 박람회 목적으로 얻은 공허하고 사소한 추정치가 아니다. ^ 이 ID는 NIST 수학 기능 핸드북 의 섹션 27.4에서 찾을 수 있다. ^ Rényi, A.; Turán, P. (1958). "On a theorem of Erdös-Kac" (PDF) . Acta Arithmetica . 4 (1): 71–84. doi :10.4064/aa-4-1-71-84 . 참조 G. H. Hardy and E. M. Wright (2006). An Introduction to the Theory of Numbers (6th ed.). Oxford University Press. H. L. Montgomery and R. C. Vaughan (2007). Multiplicative number theory I. Classical theory (1st ed.). Cambridge University Press. Schmidt, Maxie (2017). "Factorization Theorems for Hadamard Products and Higher-Order Derivatives of Lambert Series Generating Functions". arXiv :1712.00608 [math.NT ]. Weisstein, Eric. "Distinct Prime Factors" . MathWorld . Retrieved 22 April 2018 .
외부 링크