최근 편집
최근 토론
게시판 메인
도구
투표
무작위 문서
스킨 설정
파일 올리기
기타 도구
216.73.216.48
IP
사용자 도구
사용자 설정
로그인
회원 가입
최근 편집
최근 토론
[16:20:27] 운영일지
[14:13:01] SCP-1169
[22:34:41] SCP-1168
[22:34:02] 완미적타 : 완벽한 그녀
[22:33:40] 종규전설
[22:33:21] 제광박
[22:32:33] 마오빙창
[22:32:15] 리난
[21:14:42] 리팡후이
[21:05:05] 지아종양
돌아가기
삭제
이동
파일 올리기
딕맨 함수
(편집)
(불러오기)
(편집 필터 규칙)
[[분류:가져온 문서/오메가]] Dickman function, Dickman–de Bruijn function 딕맨 함수 [math(\rho)]는 상한이 주어졌을 때 그에 존재하는 부드러운 정수의 개수를 세기 위해 도입된 함수이다. 딕맨(Karl Dickman)의 논문[* Dickman, K. (1930). On the frequency of numbers containing prime factors of a certain relative magnitude, Ark. Mat. Astr. fys. 22, 1–14.]에서 최초로 정의되었으며, 이후 드 부르진(Nicolaas Govert de Bruijn)에 의해 연구되었다.[* de Bruijn, N. G. (1951). "On the number of positive integers ≤ x and free of prime factors > y". Indagationes Mathematicae 13: 50–60.][* de Bruijn, N. G. (1966). "On the number of positive integers ≤ x and free of prime factors > y, II". Indagationes Mathematicae 28: 239–247.] == 정의 == 딕맨 함수 [math(\rho(u))]는 지연미분방정식 [math(u\rho'(u)+\rho(u-1)=0)]과 초기조건[math(\rho(u)=0 \text{ at } [0,1])]을 만족하는 연속함수로 정의된다. [math(\Bbb R^+_0)]를 정의역으로 가진다. == 성질 == 정의의 지연미분방정식을 이용 및 변형하여 다양한 성질을 찾아낼 수 있다. 우선 이항 및 양변을 [math(u)]로 나누면 [math(\rho'(u)=-\frac{\rho(u-1)}{u})] 가 되는데, 이를 적분하면 [math(\rho(v)=\rho(u)-\int_u^v {\rho(t-1) \over t} dt)] 를 얻는다. 그리고 [math((u\rho(u))'=\rho(u)-\rho(u-1))] 에서 [math(u\rho(u)=\int_{u-1}^u \rho(v) dv\ (u\geq1))] 를 얻는다. 또한 다음 성질들이 성립한다. * [math(\Bbb R^+_0)]에서 연속이다. * 도함수가 존재하므로 자명하다. * [math(\Bbb R^+_0)]에서 양의 값을 가진다. 즉, 근이 존재하지 않는다. * 근이 존재한다고 가정하면 근의 집합의 하한 [math(u_0)]를 잡을 수 있다. * [math(\rho)]가 연속이므로 [math(\rho(u_0)=0)]이 성립하게 되는데, * [math(u_0\rho(u_0)=\int_{u_0-1}^{u_0} \rho(v) dv)] * 에서 좌변은 0이지만 [math([0,u_0))]에서 [math(\rho>0)]이므로 우변은 0보다 크다. 따라서 모순이 발생하고, [math(\rho)]의 근은 존재하지 않는다. [math(\rho(0)=1>0)]이므로 [math(\rho)]는 [math(\Bbb R^+_0)]에서 양의 값을 가진다. * [math((1,+\infty))]에서 감소한다. * [math(u\rho'(u)=-\rho(u-1))]에서 [math(\rho'(u)<0\ \forall u>1)]을 얻는다. 따라서 [math(\rho)]는 [math((1,+\infty))]에서 감소한다. * 최댓값은 [math([0,1])]에서 1이며, 최솟값은 존재하지 않는다. * 감소함수이므로 자명하다. === 상한, 하한 === 귀납법을 사용하면 어렵지 않게 다음을 증명할 수 있다. [math({1\over2\Gamma(2u+1)} \leq \rho(u) \leq {1\over\Gamma(u+1)})] ==== 증명 ==== 우선 상한을 보이자. 임의의 [math(U\in\Bbb N)]에 대해 [math(0\leq u\leq U)]일 때 상한이 성립함을 [math(U)]에 대한 귀납법을 사용하여 증명할 것이다. [math(\Gamma(1)=\Gamma(2)=1,\ \Gamma''(s)=\int_0^\infty e^{-x}x^{-s-1}(\log x)^2 dx >0\ (0<s<\infty))] 이므로 [math(1\leq s\leq 2)]에서 [math(\Gamma(s)\leq1)]이다. 따라서 초기조건이 성립한다. [math(\rho)]가 감소함수이므로 [math(u\rho(u)=\int_{u-1}^u \rho(v)dv \leq \rho(u-1))] 이다. 따라서 [math(0\leq u\leq U)]일 때 상한이 성립한다고 가정했을 때, [math(U\leq u\leq U+1)]이면 [math(\rho(u) \leq {\rho(u-1)\over u} \leq {1\over u\Gamma(u)} = {1\over\Gamma(u+1)})] 로 상한이 성립한다. 따라서 귀납조건이 성립하고, 상한이 증명되었다. ---- 이제 하한을 보이자. [math(u)]에 [math(v/2)]를 대입하면, 보이고자 하는 것은 [math(\rho({v\over2}) \geq {1\over2\Gamma(v+1)})] 가 된다. 이제 상한에서와 같이 임의의 [math(V\in\Bbb N)]에 대해 [math(0\leq v\leq V)]일 때 하한이 성립함을 [math(V)]에 대한 귀납법을 사용하여 증명할 것이다. 위에서 보였듯이 [math(\Gamma(1)=\Gamma(2)=1,\ \Gamma''(s)>0\ (0<s<\infty))] 이므로 [math(0<s\leq1,\ s\geq2)]일 때 [math(\Gamma(s)\geq1)]이다. 또한 [math(1\leq s\leq2)]이면 [math(\begin{aligned} \Gamma(s)&=\int_0^\infty e^{-x}x^{-s-1} dx \\ &\geq \int_0^1 e^{-x}x dx + \int_1^\infty e^{-x} dx \\ &=1-{1\over e} > {1\over2} \end{aligned})] 이므로 임의의 [math(s>0)]에 대해 [math(\Gamma(s)\geq{1\over2})]가 성립한다. 따라서 [math(0\leq v\leq2)]에서 [math({1\over2\Gamma(v+1)}\leq\rho({v\over2})=1)]이고, 초기조건이 성립한다. [math(\rho)]가 감소함수이므로 [math(u\rho(u)=\int_{u-1}^u \rho(v)dv \geq \int_{u-{1\over2}}^u \rho(v)dv \geq {\rho(u-{1\over2})\over2})] 이다. 따라서 [math(0\leq v\leq V)]에서 하한이 성립한다고 가정했을 때, [math(V\leq v\leq V+1)]이면 [math(\rho({v\over2}) \geq {\rho({v-1\over2})\over v} \geq {1\over2v\Gamma(v)} = {1\over2\Gamma(v+1)})] 로 하한이 성립한다. 따라서 귀납조건이 성립하고, 하한이 증명되었다. === 함수식 === 라플라스 변환과 역라플라스 변환을 사용하면 다음을 증명할 수 있다. [math(s\in\Bbb R)] 또는 [math(s\in\Bbb C)]일 때, [math(\int_0^\infty \rho(u)e^{-us}du = \exp\left(\gamma+\int_0^s {e^{-z}-1 \over z} dz\right))] [math(u>0,\ \sigma_0\in\Bbb R)]일 때, [math(\rho(u) = {e^\gamma \over 2\pi i} \int_{\sigma_0-i\infty}^{\sigma_0+i\infty} \exp\left(\int_0^s {e^{-z}-1 \over z} dz\right) e^{us} ds)] == 부드러운 정수와의 관계 == [math(\psi(x,y))]를 [math(x)] 이하의 [math(y)]-부드러운 정수, 즉 [math(y)] 이하의 소인수만을 가지는 [math(x)] 이하의 자연수의 개수라고 할 때, 다음이 성립한다. [math(\psi(x,y)=x\rho(u)+O({x\over\log x}))] 이 때, [math(u=\log x/\log y)]이다. 따라서 [math(\phi(x,x^{1\over u}) \sim \rho(u)x)]도 성립한다. == 참고문헌 == * Hugh L. Montgomery, Robert C. Vaughan (2007). ''Multiplicative number theory. I. Classical theory''. Cambridge Studies in Advanced Mathematics 97. Cambridge University Press. ISBN 0-521-84903-9 [Include(틀:가져옴2,O=오메가, C=[[https://creativecommons.org/licenses/by-nc-sa/3.0/deed.ko|CC BY-NC-SA 3.0]])]
(임시 저장)
(임시 저장 불러오기)
기본값
모나코 에디터
normal
namumark
namumark_beta
macromark
markdown
custom
raw
(↪️)
(💎)
(🛠️)
(추가)
[[분류:가져온 문서/오메가]] Dickman function, Dickman–de Bruijn function 딕맨 함수 [math(\rho)]는 상한이 주어졌을 때 그에 존재하는 부드러운 정수의 개수를 세기 위해 도입된 함수이다. 딕맨(Karl Dickman)의 논문[* Dickman, K. (1930). On the frequency of numbers containing prime factors of a certain relative magnitude, Ark. Mat. Astr. fys. 22, 1–14.]에서 최초로 정의되었으며, 이후 드 부르진(Nicolaas Govert de Bruijn)에 의해 연구되었다.[* de Bruijn, N. G. (1951). "On the number of positive integers ≤ x and free of prime factors > y". Indagationes Mathematicae 13: 50–60.][* de Bruijn, N. G. (1966). "On the number of positive integers ≤ x and free of prime factors > y, II". Indagationes Mathematicae 28: 239–247.] == 정의 == 딕맨 함수 [math(\rho(u))]는 지연미분방정식 [math(u\rho'(u)+\rho(u-1)=0)]과 초기조건[math(\rho(u)=0 \text{ at } [0,1])]을 만족하는 연속함수로 정의된다. [math(\Bbb R^+_0)]를 정의역으로 가진다. == 성질 == 정의의 지연미분방정식을 이용 및 변형하여 다양한 성질을 찾아낼 수 있다. 우선 이항 및 양변을 [math(u)]로 나누면 [math(\rho'(u)=-\frac{\rho(u-1)}{u})] 가 되는데, 이를 적분하면 [math(\rho(v)=\rho(u)-\int_u^v {\rho(t-1) \over t} dt)] 를 얻는다. 그리고 [math((u\rho(u))'=\rho(u)-\rho(u-1))] 에서 [math(u\rho(u)=\int_{u-1}^u \rho(v) dv\ (u\geq1))] 를 얻는다. 또한 다음 성질들이 성립한다. * [math(\Bbb R^+_0)]에서 연속이다. * 도함수가 존재하므로 자명하다. * [math(\Bbb R^+_0)]에서 양의 값을 가진다. 즉, 근이 존재하지 않는다. * 근이 존재한다고 가정하면 근의 집합의 하한 [math(u_0)]를 잡을 수 있다. * [math(\rho)]가 연속이므로 [math(\rho(u_0)=0)]이 성립하게 되는데, * [math(u_0\rho(u_0)=\int_{u_0-1}^{u_0} \rho(v) dv)] * 에서 좌변은 0이지만 [math([0,u_0))]에서 [math(\rho>0)]이므로 우변은 0보다 크다. 따라서 모순이 발생하고, [math(\rho)]의 근은 존재하지 않는다. [math(\rho(0)=1>0)]이므로 [math(\rho)]는 [math(\Bbb R^+_0)]에서 양의 값을 가진다. * [math((1,+\infty))]에서 감소한다. * [math(u\rho'(u)=-\rho(u-1))]에서 [math(\rho'(u)<0\ \forall u>1)]을 얻는다. 따라서 [math(\rho)]는 [math((1,+\infty))]에서 감소한다. * 최댓값은 [math([0,1])]에서 1이며, 최솟값은 존재하지 않는다. * 감소함수이므로 자명하다. === 상한, 하한 === 귀납법을 사용하면 어렵지 않게 다음을 증명할 수 있다. [math({1\over2\Gamma(2u+1)} \leq \rho(u) \leq {1\over\Gamma(u+1)})] ==== 증명 ==== 우선 상한을 보이자. 임의의 [math(U\in\Bbb N)]에 대해 [math(0\leq u\leq U)]일 때 상한이 성립함을 [math(U)]에 대한 귀납법을 사용하여 증명할 것이다. [math(\Gamma(1)=\Gamma(2)=1,\ \Gamma''(s)=\int_0^\infty e^{-x}x^{-s-1}(\log x)^2 dx >0\ (0<s<\infty))] 이므로 [math(1\leq s\leq 2)]에서 [math(\Gamma(s)\leq1)]이다. 따라서 초기조건이 성립한다. [math(\rho)]가 감소함수이므로 [math(u\rho(u)=\int_{u-1}^u \rho(v)dv \leq \rho(u-1))] 이다. 따라서 [math(0\leq u\leq U)]일 때 상한이 성립한다고 가정했을 때, [math(U\leq u\leq U+1)]이면 [math(\rho(u) \leq {\rho(u-1)\over u} \leq {1\over u\Gamma(u)} = {1\over\Gamma(u+1)})] 로 상한이 성립한다. 따라서 귀납조건이 성립하고, 상한이 증명되었다. ---- 이제 하한을 보이자. [math(u)]에 [math(v/2)]를 대입하면, 보이고자 하는 것은 [math(\rho({v\over2}) \geq {1\over2\Gamma(v+1)})] 가 된다. 이제 상한에서와 같이 임의의 [math(V\in\Bbb N)]에 대해 [math(0\leq v\leq V)]일 때 하한이 성립함을 [math(V)]에 대한 귀납법을 사용하여 증명할 것이다. 위에서 보였듯이 [math(\Gamma(1)=\Gamma(2)=1,\ \Gamma''(s)>0\ (0<s<\infty))] 이므로 [math(0<s\leq1,\ s\geq2)]일 때 [math(\Gamma(s)\geq1)]이다. 또한 [math(1\leq s\leq2)]이면 [math(\begin{aligned} \Gamma(s)&=\int_0^\infty e^{-x}x^{-s-1} dx \\ &\geq \int_0^1 e^{-x}x dx + \int_1^\infty e^{-x} dx \\ &=1-{1\over e} > {1\over2} \end{aligned})] 이므로 임의의 [math(s>0)]에 대해 [math(\Gamma(s)\geq{1\over2})]가 성립한다. 따라서 [math(0\leq v\leq2)]에서 [math({1\over2\Gamma(v+1)}\leq\rho({v\over2})=1)]이고, 초기조건이 성립한다. [math(\rho)]가 감소함수이므로 [math(u\rho(u)=\int_{u-1}^u \rho(v)dv \geq \int_{u-{1\over2}}^u \rho(v)dv \geq {\rho(u-{1\over2})\over2})] 이다. 따라서 [math(0\leq v\leq V)]에서 하한이 성립한다고 가정했을 때, [math(V\leq v\leq V+1)]이면 [math(\rho({v\over2}) \geq {\rho({v-1\over2})\over v} \geq {1\over2v\Gamma(v)} = {1\over2\Gamma(v+1)})] 로 하한이 성립한다. 따라서 귀납조건이 성립하고, 하한이 증명되었다. === 함수식 === 라플라스 변환과 역라플라스 변환을 사용하면 다음을 증명할 수 있다. [math(s\in\Bbb R)] 또는 [math(s\in\Bbb C)]일 때, [math(\int_0^\infty \rho(u)e^{-us}du = \exp\left(\gamma+\int_0^s {e^{-z}-1 \over z} dz\right))] [math(u>0,\ \sigma_0\in\Bbb R)]일 때, [math(\rho(u) = {e^\gamma \over 2\pi i} \int_{\sigma_0-i\infty}^{\sigma_0+i\infty} \exp\left(\int_0^s {e^{-z}-1 \over z} dz\right) e^{us} ds)] == 부드러운 정수와의 관계 == [math(\psi(x,y))]를 [math(x)] 이하의 [math(y)]-부드러운 정수, 즉 [math(y)] 이하의 소인수만을 가지는 [math(x)] 이하의 자연수의 개수라고 할 때, 다음이 성립한다. [math(\psi(x,y)=x\rho(u)+O({x\over\log x}))] 이 때, [math(u=\log x/\log y)]이다. 따라서 [math(\phi(x,x^{1\over u}) \sim \rho(u)x)]도 성립한다. == 참고문헌 == * Hugh L. Montgomery, Robert C. Vaughan (2007). ''Multiplicative number theory. I. Classical theory''. Cambridge Studies in Advanced Mathematics 97. Cambridge University Press. ISBN 0-521-84903-9 [Include(틀:가져옴2,O=오메가, C=[[https://creativecommons.org/licenses/by-nc-sa/3.0/deed.ko|CC BY-NC-SA 3.0]])]
비로그인 상태입니다. 편집한 내용을 저장하면 지금 접속한 IP가 기록됩니다.
편집을 전송하면 당신은 이 문서의 기여자로서 본인이 작성한 내용이
CC BY 4.0
에 따라 배포되고, 기여한 문서의 하이퍼링크나 URL로 저작자 표시가 충분하다는 것에 동의하는 것입니다.
전송
미리보기