[논문 리뷰] Zeros of Sections of Some Power Series

Antonio R. Vargas|arXiv (Cornell University)|2012. 08. 26.

Mathematical functions and polynomials참고 문헌 32인용 수 5

한 줄 요약

이 논문은 지수 적분을 통해 정의된 전함수의 멱급수 부분합의 영점의 점근적 분포를 조사한다. 변수를 n으로 스케일링함으로써 정규화된 영점의 명시적 극한 곡선을 도출하며, 이들의 행동은 integrand 내 임계점의 순서에 의해 결정됨을 보여준다. 주요 결과는 베셀 함수와 콘플루언트 하이퍼ге오메트릭 함수로 확장되며, 이 분야에서 베셀 함수에 대한 첫 번째 엄밀한 분석을 제공한다.

ABSTRACT

For a power series which converges in some neighborhood of the origin in the complex plane, it turns out that the zeros of its partial sums---its sections---often behave in a controlled manner, producing intricate patterns as they converge and disperse. We open this thesis with an overview of some of the major results in the study of this phenomenon in the past century, focusing on recent developments which build on the theme of asymptotic analysis. Inspired by this work, we derive results concerning the asymptotic behavior of the zeros of partial sums of power series for entire functions defined by exponential integrals of a certain type. Most of the zeros of the n'th partial sum travel outwards from the origin at a rate comparable to n, so we rescale the variable by n and explicitly calculate the limit curves of these normalized zeros. We discover that the zeros' asymptotic behavior depends on the order of the critical points of the integrand in the aforementioned exponential integral. Special cases of the exponential integral functions we study include classes of confluent hypergeometric functions and Bessel functions. Prior to this thesis, the latter have not been specifically studied in this context.

연구 동기 및 목표

• 지수 적분을 통해 정의된 전함수의 멱급수 부분합의 영점의 점근적 행동을 분석하는 것.
• n으로 정규화된 영점의 극한 곡선을 도출하며, 특히 이 곡선이 integrand 내 임계점의 순서에 어떻게 의존하는지 집중적으로 고려하는 것.
• 기존의 셰고 곡선 결과를 베셀 함수 및 콘플루언트 하이퍼기하급수 함수를 포함한 새로운 함수 클래스로 확장하는 것.
• 이 맥락에서 베셀 함수의 부분합 영점에 대한 첫 번째 상세한 점근적 분석을 제공하는 것.
• 이 방법을 다른 전함수로 일반화하고 반복적 응용 가능성을 탐색하는 것.

제안 방법

• n으로 변수를 스케일링하여 n번째 부분합의 영점의 극한 행동을 연구하는 것.
• 점근적 분석과 워튼의 보조정리(lemma)를 사용하여 지수 적분 표현으로부터 전체 함수와 그 尾함수를 근사하는 것.
• 영점의 위치를 제한하고 수렴성을 보장하기 위해 엔스트로움-카케야 정리를 적용하는 것.
• 복소 평면에서 |ze^{1−z}| = 1의 식을 분석하여 셰고 곡선을 극한 집합으로 도출하는 것.
• 베셀 함수의 알려진 점근 전개를 활용하여 허수축과 실수 구간에서의 극한 점 행동을 검증하는 것.
• 변환 항등식을 사용하여 베셀 함수의 부분합을 영점 분포가 알려진 다항식과 연결하는 것.

실험 결과

연구 질문

• RQ1 지수 적분으로부터 유도된 멱급수 부분합의 영점은 n → ∞ 일 때 점근적으로 어떻게 행동하는가?
• RQ2 n으로 정규화한 후의 영점 극한 곡선의 형태와 구조는 무엇에 의해 결정되는가?
• RQ3 지수 적분의 integrand 내 임계점의 순서는 영점의 점근적 분포에 어떻게 영향을 미치는가?
• RQ4 지수 적분에 사용된 방법을 이전에 이 분야에서 다뤄지지 않은 베셀 함수로 확장할 수 있는가?
• RQ5 극한 곡선 유도에서 전체 수열 {n} 대신 부분수열 {N}을 사용할 수 있는 조건은 무엇인가?

주요 결과

• f(z) = exp(z)일 때, 정규화된 부분합 s_n(f; nz)의 영점은 |ze^{1−z}| = 1로 정의된 곡선, 즉 셰고 곡선에 집적된다.
• 베셀 함수 J_α에 대해, 정규화된 부분합 s_N(J_α; Nz)는 실수 구간 [−1/e, 1/e]에 극한점이 있으며, 이러한 모든 점들이 영점의 극한점이 된다.
• 복소 평면에 존재하고 z = −i로 수렴하지 않는 s_n(J_α; nz)의 영점은 N → ∞ 일 때 |ze^{1−iz}| = 1 + (log N)/(2N) + O(1/N) 를 만족한다.
• 실수 α에 대해, 극한 결과에서 부분수열 {N}을 원래의 짝수 인덱스 {n}으로 대체할 수 있으며, 점근적 행동이 유지된다.
• 이 방법은 점근적 행동이 알려진 다른 전함수로 일반화 가능하며, 엔스트로움-카케야 정리는 영점이 수렴 반경 내에 고정됨을 보장한다.
• 분석은 F_m(z) = ∫ φ(t)e^{z^m t} dt 와 같은 고차수 지수 적분으로 확장 가능하며, 향후 일반화 가능성을 시사한다.