[논문 리뷰] Repeated differentiation and free unitary Poisson process

Zakhar Kabluchko|arXiv (Cornell University)|2021. 12. 29.

Mathematical functions and polynomials인용 수 5

한 줄 요약

이 논문은 차수 $d$인 실근을 가진 삼각다항식의 $[2td]$-번째 도함수의 영점의 경험적 분포가 큰 $d$ 근처에서 초기 영점 분포와 자유 단위 푸아송 분포(parameter $t$)의 자유 곱셈 컨볼루션으로 약하게 수렴함을 확립한다. 이 결과는 자유 확률론과 안장점 분석을 이용하여 반복 도함수에 의한 유체역학적 영점 역학을 대수다항식에서 삼각함수 설정으로 확장한다.

ABSTRACT

We investigate the hydrodynamic behavior of zeroes of trigonometric polynomials under repeated differentiation. We show that if the zeroes of a real-rooted, degree $d$ trigonometric polynomial are distributed according to some probability measure $ν$ in the large $d$ limit, then the zeroes of its $[2td]$-th derivative, where $t>0$ is fixed, are distributed according to the free multiplicative convolution of $ν$ and the free unitary Poisson distribution with parameter $t$. In the simplest special case, our result states that the zeroes of the $[2td]$-th derivative of the trigonometric polynomial $(\sin \frac θ2)^{2d}$ (which can be thought of as the trigonometric analogue of the Laguerre polynomials) are distributed according to the free unitary Poisson distribution with parameter $t$, in the large $d$ limit. The latter distribution is defined in terms of the function $ζ=ζ_t(θ)$ which solves the implicit equation $ζ- t an ζ= θ$ and satisfies $$ ζ_t(θ)= θ+ t an (θ+ t an (θ+ t an (θ+\ldots))), \qquad \mathrm{Im}\, θ>0, \;\; t>0. $$

연구 동기 및 목표

• 큰 차수 근처에서 삼각다항식의 반복 도함수의 영점의 점근적 분포를 이해하기 위해.
• 반복 도함수와 자유 확률론, 특히 자유 단위 푸아송 분포 사이의 연결 고리를 확립하기 위해.
• 이전에 대수다항식에 대해 연구된 유체역학적 영점 역학을 유한 자유 확률론과 안장점 방법을 이용하여 삼각함수 설정으로 확장하기 위해.
• 초기 측도와 자유 단위 푸아송 법칙을 포함하는 자유 곱셈 컨볼루션으로서의 극한 영점 분포를 특성화하기 위해.

제안 방법

• 큰 $d$ 근처에서 차수 $d$인 삼각다항식의 $[2td]$-번째 도함수의 영점 분포를 분석한다.
• 도함수 다항식의 계수를 渐近적으로 평가하기 위해 안장점 방법을 적용한다.
• 특히 자유 곱셈 컨볼루션을 사용하여 극한 측도를 묘사하기 위해 유한 자유 확률 도구를 사용한다.
• 자기 은폐 방정식 $\zeta - t\tan\zeta = \theta$를 통해 자유 단위 푸아송 분포를 도출한다. ($\operatorname{Im}\theta > 0$, $t > 0$)
• 극한 영점 밀도를 초기 푸리에 계수로부터 계산하기 위해 $S$-변환과 $\psi$-변환 관계를 유도한다.
• 모든 $t \geq 1$에 대해 극한 밀도의 푸리에 급수 표현의 균일 수렴성과 $L^p$ 수렴성을 증명하며, $t=1$일 경우 점별 수렴성을 확보한다.

실험 결과

연구 질문

• RQ1 큰 차수 근처에서 삼각다항식의 영점은 반복 도함수 과정에서 어떻게 진화하는가?
• RQ2 $d \to \infty$일 때 실근을 가진 삼각다항식의 $[2td]$-번째 도함수의 영점의 극한 분포는 무엇인가?
• RQ3 반복 도함수에 의한 영점의 유체역학적 행동은 자유 확률론, 특히 자유 곱셈 컨볼루션을 통해 묘사될 수 있는가?
• RQ4 자유 단위 푸아송 분포는 이 극한 과정에서 어떤 역할을 하는가? 그리고 어떻게 특성화되는가?
• RQ5 극한 영점 밀도는 푸리에 급수 및 수렴 방식 측면에서 어떻게 행동하는가?

주요 결과

• 반복 도함수의 극한 영점 분포는 초기 영점 분포 $\nu$와 자유 단위 푸아송 분포 $\Pi_t$의 자유 곱셈 컨볼루션이다.
• 특수 케이스로 $T_{2d}(\theta) = (\sin \theta/2)^{2d}$일 때, $[2td]$-번째 도함수의 영점 분포는 큰 $d$ 근처에서 $\Pi_t$로 수렴한다.
• 자유 단위 푸아송 분포 $\Pi_t$는 은폐 방정식 $\zeta - t\tan\zeta = \theta$로 특성화되며, $\zeta = \theta + t\tan(\theta + t\tan(\cdots))$ ($\operatorname{Im}\theta > 0$, $t > 0$)으로 표현된다.
• 단위 원 위에서 $\Pi_t$의 밀도는 $\operatorname{Re}\left(1 + 2\psi_t(e^{-i\theta})\right)$를 포함하는 균일 수렴하는 푸리에 급수 표현을 갖는다. 계수는 $e^{-2|\ell|t}p_{|\ell|}(t)$의 형태로 감쇠한다.
• $t=1$일 경우 극한 밀도는 $1 \leq p < 3$에 대해 $L^p$에 속하며, $[-\pi, \pi] \setminus \{0\}$에서 푸리에 급수는 점별 수렴한다.
• 스테이너버거의 PDE (1.2)의 형식적 해는 $\psi$-변환을 통해 유도되며, 밀도 전개에서 $e^{-2t}$의 정수 거듭제곱만 나타남을 보여준다.