브래넌 계수 추측과 와트슨 레마의 새로운 접근

초록

본 논문은 복소수 매크로린 전개 ((1+\omega z)^{\alpha}(1-z)^{-\beta}) 의 계수 (A_n(\alpha,\beta,\omega))에 대해, Brannan이 1973년에 제시한 “(|A_n(\alpha,\beta,\omega)|\le A_n(\alpha,\beta,1)) (odd (n))” 추측을 일반 ((\alpha,\beta)\in(0,1])와 (|\arg\omega|\le\pi-0.061) 범위에서 증명한다. 핵심은 하이퍼지오메트릭 적분표현과 Watson‑type 비대칭 전개를 이용해 차이식의 하한을 명시적 함수로 변환하고, 그 최소값을 수치적으로 확인함으로써 이루어진다.

상세 분석

논문은 먼저 계수 (A_n(\alpha,\beta,\omega))를 Gauss 하이퍼지오메트릭 함수 ( {}_2F_1) 로 표현하고, 이를 다시 루프 적분 형태로 변형한다. Lemma 2.1에서 얻은 두 개의 Laplace‑type 적분은 (\omega)가 단위 원 위에 있을 때 절댓값을 취해 차이를 하한하는 데 사용된다. 차이식은 (\Delta=\pi-\varphi) ((\varphi=|\arg\omega|)) 로 정의된 정규화 상수와 두 개의 양의 적분 (I_1, I_2) 로 구성되며, 이는 (2.22)–(2.23)에서 (h(\alpha,\beta,\varphi;n)) 로 요약된다.

다음 단계는 Watson 레마를 적용해 (I_1, I_2) 를 두 항의 비대칭 전개로 근사한다. Lemma 3.1에서 제시된 (C_1, C_2) 와 잔여 커널 (K_1, K_2) 는 (s\to0) 와 (s\to\infty) 에서 각각 (O(1)) 로 제한되며, 이는 전개식 (3.5)–(3.8) 의 정확한 오류 추정에 핵심이다. 특히 (C_1(\alpha,\varphi)=\frac{\Delta^{-2}}{2\alpha}\bigl(2\alpha-2\sin(\varphi/2)^\alpha\bigr)) 와 유사한 형태는 (\varphi) 가 (\pi) 에 접근해도 유한한 양의 값을 유지한다는 점이 중요하다.

전개 결과를 이용해 차이식의 주요 항 (H^{(2)}(\alpha,\beta,\varphi;n)) 와 두 개의 오류 항 (E_0, E_\infty) 로 분리한다. 여기서 (H^{(2)}) 은 (n^{-\alpha}) 와 (n^{-\beta}) 의 조합으로, 부호가 ((1-\alpha)) 와 (\sin(\pi\alpha)\sin(\pi\beta)) 로 결정된다. 오류 항들은 적분 커널 (L(\alpha,\beta,\varphi;s)) 로 정의되며, 구간 (