푸리에 변환 영점의 실수성 연구

본 논문은 “푸리에 변환의 영점이 실수인 경우”라는 고전적인 문제에 새로운 접근법을 제시한다. 서론에서는 차수 0·1인 전체함수의 영점 문제와 Jensen이 제시한 필요충분조건을 소개하고, 기존 연구에서 Jackson의 q‑베셀 함수, Bessel 함수 등 구체적인 예가 언급된다. 이어서 전체함수의 차수와 차수를 결정하는 Hadamard 전개, 그리고 차수가 0·1일 때의 특성을 정리한다. 제1절에서는 주요 정리(Theorem 1)를 제시한다. 여기서는 \(\varphi(u)\) 가 (1) 짝수, (2) 비음, (3) 무한히 미분 가능, (4) 모든 차수에 대해 \(\varphi^{(n)}(u)=O\big(e^{-d|u|}\big)\) (어떤 \(d>0\) 존재) 라는 급감성을 만족하면, 그 푸리에 변환 \(\Phi(z)=\int_{-\infty}^{\infty}\varphi(u)e^{izu}du\) 가 차수 0·1인 전체함수가 되고, \(\partial_y^2|\Phi(x+iy)|^2\ge0\) 가 성립한다는 Jensen의 조건을 만족한다는 것을 증명한다. 증명에 앞서 Lemma 3은 차수 0·1인 전체함수들의 곱도 차수 0·1임을 보이며, Lemma 4는 급감성 가정으로부터 \(\Phi(z)\) 의 성장지수 \(\rho\le1\) 을 도출한다. Lemma 5와 Lemma 6은 핵심적인 평활화 과정과 부호 판정에 사용된다. 구체적으로 \(\psi(u)=\int_{\mathbb R}\varphi(u-y)t(y)dy\) (여기서 \(t(y)=1-y^2\) for \(|y|<1\)) 를 정의하고, \(\psi\) 가 짝수·비음이며 \(\psi''(u)\le0\) 임을 보인다. 그런 다음 \(\Psi(z)=\int_{\mathbb R}\psi(u)e^{izu}du\) 를 고려하고, \(\partial_y^2|\Psi(z)|^2\) 를 이중 적분 형태로 전개한다. 부분적분과 대칭성을 이용해 \(\partial_y^2|\Psi(z)|^2\) 가 양수임을 확인하고, 이는 Lemma 6의 조건과 일치한다. 따라서 Jensen의 부등식이 만족되어 \(\Psi(z)\) 가 실수 영점만을 갖는다. 마지막으로 \(\Psi(z)=\sqrt{8\pi z^{-3/2}}J_{3/2}(z)\,\Phi(z)\) 로 표현되므로, 이미 실수 영점을 가진 Bessel‑J 함수와 곱한 형태에서도 \(\Phi(z)\) 자체가 실수 영점만을 가진다. 응용 부분에서는 세 가지 주요 예가 제시된다. 첫째, 수정 베셀 함수 \(K_{iz}(a)=\frac12\int_{-\infty}^{\infty}e^{-a\cosh u}e^{izu}du\) 에 대해 \(\varphi(u)=e^{-a\cosh u}\) 가 위 조건을 만족함을 확인하고, 따라서 모든 \(a>0\) 에 대해 \(K_{iz}(a)\) 가 실수 영점만을 가진다. 둘째, 리만 \(\Xi\) 함수는 \(\Xi(s)=\int_{-\infty}^{\infty}\varphi(u)e^{isu}du\) 로 표현되며, \(\varphi\) 가 급감성 \(\varphi^{(n)}(u)=O(e^{-(\pi-\varepsilon)e^{2|u|}})\) 를 만족한다. 따라서 \(\Xi(s)\) 역시 실수 영점만을 가지며, 이는 리만 가설을 새로운 증명 방식으로 뒷받침한다. 셋째, 실수 원시 비주요 문자 \(\chi\) 에 대해 정의된 \(\Xi(s;\chi)=\int_{-\infty}^{\infty}\varphi(u;\chi)e^{isu}du\) 에서 \(\varphi(u;\chi)=2e^{wa u}\sum_{n\ge1}n^{a}\chi(n)e^{-n^2\pi e^{2u}/q}\) 가 양수이며 급감성을 만족하면, 일반화된 \(\Xi\) 함수도 실수 영점만을 가진다. 이는 일반화된 리만 가설의 특수 경우를 증명한다. 마지막으로 논문은 결과의 의미를 논의한다. 푸리에 변환 형태의 전체함수에 대한 새로운 충분조건은 기존에 복잡한 합·적분 검증을 필요로 했던 사례들을 간단히 처리할 수 있게 하며, 특히 급감성만으로 실수 영점성을 보장한다는 점이 강조된다. 또한, Jensen 조건을 직접 검증하는 대신 \(\partial_y^2|\Phi|^2\ge0\) 를 보이는 새로운 방법론을 제시함으로써, 향후 다른 특수함수들의 영점 분포 연구에 적용 가능성을 열어준다.