[논문 리뷰] Fine asymptotics for Bergman polynomials over domains with corners

Nikos Stylianopoulos|ArXiv.org|2009. 05. 26.

Holomorphic and Operator Theory참고 문헌 25인용 수 5

한 줄 요약

이 논문은 모서리가 있는 조각별 해석적 경계를 가진 도메인에서 베르그만 다항식의 정밀 渐近 전개를 수립하며, 주어진 계수와 다항식 노름이 $1/n$ 비율로 감소하고, $p_n(z)$의 渐近 공식에서의 오차 항이 $O(1/\text{dist}(z,\Gamma)\sqrt{n})$로 유계임을 증명한다. 이러한 결과들은 이전에 카를레만과 수틴이 스무스 경계에서만 성립했던 고전적 결과를 비스무스 도메인으로 확장하며, 수치적 추측을 확인하고 영점 분포 및 루트 渐近 분석을 정밀화한다.

ABSTRACT

We consider the series of the Bergman orthogonal polynomials associated with a bounded simply-connected domain in the complex plane, whose boundary is a Jordan curve. These are the polynomials that are orthonormal with respect to the area measure on the domain. The purpose of this note is to report on recent results regarding the fine asymptotic behaviour of the the leading coefficients and the polynomials in the complement of the domain, in cases when the boundary includes corners. These results complement an investigation started in the 1920's by T. Carleman, who obtained the fine asymptotics for domains with analytic boundaries and carried over by P.K. Suetin in the 1960's, who established them for domains with smooth boundaries.

연구 동기 및 목표

• 비스무스 도메인, 특히 모서리가 있는 도메인에 대한 베르그만 다항식의 정밀 渐近 분석에서 오랫동안 지속된 격차를 해결하기 위해.
• 주어진 계수 渐近 분석에서 오차 항 $\alpha_n \approx C/n$ 이라는 수치적 추측을 검증하기 위해.
• 이전에 해석적이고 스무스 경계에서만 성립했던 카를레만과 수틴의 결과를 비틀림이 없는 조각별 해석적 경계를 가진 도메인으로 확장하기 위해.
• 외부 도메인 $\Omega$ 에서 $p_n(z)$ 의 渐近 전개에 대한 날카운 오차 유계를 수립하여 이전 결과를 향상시키기 위해.

제안 방법

• 무한대에서 정규화된 $\Phi: \Omega \to \{ |w| > 1 \}$ 의 형상 매핑을 사용하여, 베르그만 다항식을 $\Phi^n(z)\Phi'(z)$ 로 표현하기 위해.
• 모서리 근처에서 $\lambda_n$ 과 $p_n(z)$ 의 행동을 분석하기 위해 잠재론적 및 복소해석 기법을 적용하기 위해.
• 경계 $\Gamma$ 의 조각별 해석적 구조를 활용하여 $\Phi$ 와 $\Psi = \Phi^{-1}$ 의 도함수에 대한 추정을 통해 오차 유계를 도출하기 위해.
• 반원형 도메인의 수치 데이터를 활용하여 $\alpha_n$ 이 $1/n$ 비율로 감소한다는 추측을 동기화하고 검증하기 위해.
• 외부 도메인에서 수렴을 보장하기 위해 $\text{dist}(z,\Gamma)$ 와 $n$ 에 따라 변화하는 $|A_n(z)|$ 의 균일 유계를 확립하기 위해.
• 잠재론과 수직다항식 이론에서 알려진 결과를 활용하여 고전적 정리의 영점 위치 및 루트 渐近 분석을 정밀화하기 위해.

실험 결과

연구 질문

• RQ1 모서리가 있는 도메인에서의 베르그만 다항식의 정밀 渐近 행동은 주어진 계수 공식에서 오차 항 $\alpha_n$ 이 $1/n$ 비율로 감소하는가?
• RQ2 외부 도메인 $\Omega$ 에서 $p_n(z)$ 의 渐近 전개가 거리에 따라 $O(1/\sqrt{n})$ 의 오차 항으로 균일하게 유계가 되는가?
• RQ3 경계 $\Gamma$ 가 모서리를 포함하더라도, 큰 $n$ 에서 $p_n(z)$ 의 영점은 항상 도메인 $\Omega$ 의 어떤 컴acts부분집합을 피하는가?
• RQ4 고전적 루트 渐近 분석 $|p_n(z)|^{1/n} \to |\Phi(z)|$ 는 조각별 해석적 경계를 가진 도메인으로 확장 가능한가?
• RQ5 $p_n(z)$ 의 渐近 공식에서 오차가 $z$ 와 경계 $\Gamma$ 사이의 거리에 따라 어떻게 정확히 의존하는가?

주요 결과

• 주어진 계수 $\lambda_n$ 은 $\frac{n+1}{\pi} \frac{\gamma^{2(n+1)}}{\lambda_n^2} = 1 - \alpha_n$ 을 만족하며, $0 \leq \alpha_n \leq c(\Gamma)/n$ 이므로 $1/n$ 감소 비율을 확인한다.
• 모든 $z \in \Omega$ 에 대해, 베르그만 다항식은 $p_n(z) = \sqrt{\frac{n+1}{\pi}} \Phi^n(z) \Phi'(z) \{1 + A_n(z)\}$ 를 만족하며, $|A_n(z)| \leq \frac{c(\Gamma)}{\text{dist}(z,\Gamma) |\Phi'(z)|} \frac{1}{\sqrt{n}}$ 이므로 외부 도메인에서 균일 수렴이 성립한다.
• $p_n(z)$ 의 영점은 최종적으로 도메인 $\Omega$ 의 어떤 컴acts부분집합 $E$ 를 피하므로, 모든 영점은 결국 $\overline{G}$ 의 볼록결합 내에 존재함을 보여준다. 이는 모서리가 있는 도메인에서도 성립한다.
• $n$-번째 루트 渐近 분석 $\lim_{n \to \infty} |p_n(z)|^{1/n} = |\Phi(z)|$ 는 $\Omega \setminus \{\infty\}$ 의 모든 $z$ 에 대해 성립하며, 고전적 결과를 비스무스 경계로 확장한다.
• 단위 반원형에서의 수치적 증거는 $\alpha_n$ 이 $1/n$ 비율로 감소함을 지지하며, $n = 51$ 에서 $60$ 까지의 $s \approx 0.9989$ 는 $\alpha_n \sim C/n$ 이라는 강력한 신호를 제공한다.
• $A_n(z)$ 의 오차 유계는 $\text{dist}(z,\Gamma)$ 에 대한 의존성에서 날카롭게 유지되며, 경계 $\Gamma$ 근처에서 수렴 속도가 느려지는 것을 보여준다.