[논문 리뷰] An extremal problem for a class of entire functions of exponential type

Alexandre Erëmenko, Peter Yuditskii|arXiv (Cornell University)|2008. 07. 13.

Meromorphic and Entire Functions참고 문헌 8인용 수 3

한 줄 요약

이 논문은 지수 유형을 가진 전함수에 대한 극값 문제를 해결하며, 그 지표도형이 $[-i\sigma, i\sigma]$에 포함되는 경우에 대해, 제로의 상한 밀도가 $c\sigma$ 이하임을 증명한다. 여기서 $c \approx 1.508879$는 $\log(\sqrt{c^2+1}+c) = \sqrt{1 + c^{-2}}$를 만족하는 유일한 양의 해이다. 이 경계는 날카롭게 도달되며, 등각 매핑과 조화함수 이론을 통해 구성된 특정 극값 함수에 의해 등호가 성립한다.

ABSTRACT

We find the exact upper estimate for the upper density of zeros of entire functions of exponential type whose indicator diagram is contained in a given interval.

연구 동기 및 목표

• 지표도형이 $[-i\sigma, i\sigma]$에 포함되는 전함수의 제로 상한 밀도에 대한 최선의 상한 경계를 결정하는 것.
• 이 클래스 내에서 고전적 경계 $2e\sigma/\pi \approx 1.7305\sigma$가 날카롭지 않음을 입증하는 것.
• 특정 초월 방정식을 만족하는 $c$에 대해, 상한 경계 $c\sigma$를 도달하는 극값 함수를 구성하는 것.
• 이 클래스의 함수들에 대해 상한 밀도의 극한이 존재하고 그 값이 $c\sigma$와 일치함을 증명하는 것. 이를 위해 조화함수 이론과 등각 매핑을 사용한다.

제안 방법

• $\sigma = 1$인 경우로의 환원 및 대칭성을 유지하고 밀도를 2배로 조정하기 위해 짝수 함수를 고려하는 것.
• 조화함수의 컴acts성 원리 적용으로 수열 $v_n(z) = t_n^{-1}\log|f(t_n z)|$로부터 극한 함수 $v$를 추출하며, 이는 $v(z) \leq |\mathrm{Im}\, z|$의 성장 경계를 상속한다.
• 조화함수 극한 $v$의 리에스 측도 $\mu$를 사용하여 제로 밀도를 단위 원판 위의 $\mu$ 질량과 연결하는 것.
• 반경 투영을 통해 리에스 측도가 실수선 위에만 지지된 경우로 문제를 환원하여, $v^*(z) \leq \sigma' |\mathrm{Im}\, z|$를 만족하는 조화함수 $v^*$를 도출하며, 이때 $\sigma' \leq 1$이다.
• 상반평면에서 영역 $G = \{x+iy : y > g(x)\}$로의 등각 매핑 $\phi = u + iv$를 구성하는 것. 여기서 $g \leq 0$, $g(0) = 0$, $\phi(0) = 0$, $\phi(iy) \sim iy$ ($y \to \infty$)를 만족한다. 이는 극값 행동을 모델링한다.
• 등각 매핑에 대해 $\mathrm{Re}\, \phi(1)$의 최대화를 통해 극값 문제를 해결하며, 이는 슈바르츠-크리스토펠 적분 표현과 $c$에 대한 임계 방정식 유도로 이어진다.

실험 결과

연구 질문

• RQ1 지표도형이 $[-i\sigma, i\sigma]$에 포함되는 지수 유형 전함수에 대해 제로 상한 밀도에 대한 최선의 상한 경계는 무엇인가?
• RQ2 고전적 경계 $2e\sigma/\pi \approx 1.7305\sigma$는 이 함수 클래스 내에서 개선될 수 있는가?
• RQ3 지수 클래스 $E_\sigma$에 속하는 함수 중 제로 상한 밀도가 $c\sigma$에 도달하는 함수가 존재하는가? 만약 존재한다면, $c$의 값은 얼마인가?
• RQ4 극값 경계를 도달하는 함수를 특징짓는 기하학적 및 해석적 조건은 무엇인가?

주요 결과

• 모든 함수 $f \in E_\sigma$에 대해 제로의 상한 밀도는 $c\sigma$ 이하이며, 여기서 $c \approx 1.508879$는 $\log(\sqrt{c^2+1} + c) = \sqrt{1 + c^{-2}}$를 만족하는 유일한 양의 해이다.
• 이 경계는 날카롭다: 모든 $\sigma > 0$에 대해 제로의 상한 밀도가 정확히 $c\sigma$인 함수 $f \in E_\sigma$가 존재한다.
• 극값 함수는 상반평면에서 $|x| < \pi c/2$에 수직 슬릿이 있는 영역으로의 등각 매핑을 통해 구성되며, 이는 경계 함수 $g(x)$의 특정 점프 불연속성에 해당한다.
• $c \approx 1.508879$의 값은 슈바르츠-크리스토펠 적분의 허수부가 임계점에서 0이 되는 조건에서 유도되며, 이는 극값 행동을 보장한다.
• 증명은 리에스 측도 $\mu$를 가진 조화함수 극한 $v$에 기반하며, 반경 투영을 통해 상반평면에서의 조화함수로의 환원이 이루어진다.
• 등각 매핑 $\phi$에 대해 $\mathrm{Re}\, \phi(1)$의 최대값은 경계 함수 $g(x)$가 $|x| < \pi c/2$에서 $-\infty$이고 나머지 영역에서는 $0$일 때 도달되며, 이는 최적의 제로 밀도를 이끈다.