드 브루인-뉴먼 상수

testwiki
둘러보기로 이동 검색으로 이동

틀:위키데이터 속성 추적 드 브루인-뉴먼 상수(De Bruijn–Newman constant)는 Λ 로 표시되고 니콜라스 드 브루인(Nicolaas Govert de Bruijn)과 찰스 뉴먼(Charles M. Newman)의 이름을 따서 명명되었고, 함수 H(λ,z) 의 영점을 통해 정의된다. 여기서 λ는 실수인 매개 변수이고 z는 복소수 변수이다. λΛ 인 경우에서만 H는 실근을 가지게 된다.

이 상수는 리만 가설과 밀접하게 관련되어있다. 단적으로, 리만 가설은 Λ0이라는 추측과 동일하다.

드 브루인(De Bruijn)은 1950년에 λ12이어야만 H가 실근을 가짐을 보였고, 또한 어떤 λ에 대해 H가 실근만을 가질 경우 λ보다 더 큰 임의의 실수에 대해서도 실근만을 갖는다는 것을 보여 주었다. Newman은 1976년에 H가 실근을 가지는 경우가 오직 λΛ 일 때라는 이 명제에서의 Λ가 상수임을 증명하였고, 이는 Λ가 유일성을 가진다는 것도 증명해주었다.

뉴먼(Newman)은 Λ0 이라고 추측함으로서, 리만 가설의 흥미로운 대응을 보여주었다.

Λ에 대한 심화된 계산은 1988년 이래로 작성되었으며 아래 테이블에서 볼 수 있듯이 지금까지 확인되고 있다.

Year Lower bound on Λ
1988 −50
1991 −5
1990 −0.385
1994 −4.379틀:E
1993 −5.895틀:E[1]
2000 −2.7틀:E[2]
2011 −1.1틀:E[3]

리만 제타 함수에서 자이 함수 ξ의 정의로 부터,

ξ(iz)=12(z214)π(z214)Γ(12z+14)ζ(z+12)

푸리에 변환에서

H(λ,z)=Φ(t)eλt2
ξ(1/2+iz)=Aπ(λ)1e14λ(xz)2H(λ,x)dx
H(0,x)=ξ(1/2+ix)
H(z,λ)=Bπ(λ)1e14λ(xz)2ξ(1/2+ix)dx

같이 보기

각주

틀:각주

틀:둘러보기 상자