[논문 리뷰] Rapid Polynomial Approximation on Stein Manifolds

Auðunn Skúta Snæbjarnarson|arXiv (Cornell University)|2016. 12. 19.

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

한 줄 요약

이 논문은 특정 곡률 조건을 만족하는 복소다양체 위에서 다우함수를 갖는 스토인 다양체에 대해 Bernstein-Walsh-Siciak 및 Winiarski 정리를 일반화한다. 다항근사의 속도와 해석적 함수의 성장 간의 정량적 추정을 정밀하게 수립하며, 빠른 근사가 발생하는 것은 극값 함수 $V_{K, ho}$로 정의된 특정 수준집합을 초월해 해석적 연장이 가능한 경우에 정확히 일어나며, 이에 따른 감쇠 속도는 곡률 매개변수에 의해 정확히 결정된다.

ABSTRACT

In this paper we generalize to a certain class of Stein manifolds the Bernstein-Walsh-Siciak theorem which describes the equivalence between possible holomorphic continuation of a function $f$ defined on a compact set $K$ in $\mathbb{C}^N$ to the rapidity of the best uniform approximation of $f$ on $K$ by polynomials. We also generalize Winiarski's theorem which relates the growth rate of an entire function $f$ on $\mathbb{C}^N$ to its best uniform approximation by polynomials on a compact set.

연구 동기 및 목표

• 복소수 $\mathbb{C}^N$에서의 다항근사에 관한 고전적 Bernstein-Walsh-Siciak 정리를, 특정 퍼텐셜 함수를 갖는 스토인 다양체의 클래스로 확장한다.
• 전체 함수의 성장과 다항근사 간의 관계를 다루는 Winiarski 정리를, 더 넓은 범위의 다양체로 일반화한다.
• $\psi$-다항식이 스토인 다양체 $X$ 위의 해석적 함수 공간 $\mathcal{O}(X)$의 프레셰 공간에서 조밀함을 보이기 위한 충분조건을 확립한다.
• 콤���트 비다우함수 집합 $K$에 대해 일반화된 $\psi$-Lelong 클래스와 관련된 극값 함수 $V_{K,\psi}$를 정의하고 분석한다.

제안 방법

• 스토인 다양체 $X$ 위에서 다항식의 점별 성장 제어를 통해 정의된 $\psi$-다항식의 개념을 도입한다.
• $\frac{i}{2}\partial\bar{\partial}e^{\psi}$의 $(1,1)$-형식에 곡률 조건을 부과하여 좋은 컷오프 함수의 존재와 $L^2$-추정의 통제를 확보한다.
• $\psi$와 관련된 함수 $\varphi$의 하위수준집합에 지지되는 컷오프 함수 $\chi_t$를 사용한 $\bar{\partial}$-기술을 통해 근사 오차 $d_K(f, \mathcal{P}^\psi_t)$를 추정한다.
• $L^2$-추정을 적용하여 $t \cdot (d_K(f, \mathcal{P}^\psi_t))^{\varrho/t}$의 $\limsup$에 대한 추론을 유도하며, 감쇠 속도와 함수의 성장 간의 연관성을 규명한다.
• 초기 함수 $\varphi$가 요구 조건을 만족하지 못하는 경우를 다루기 위해 리치 보정자와 정규화 기법을 사용하며, 이를 통해 변형된 함수 $\varphi_\epsilon$를 도입한다.
• Zeriahi의 추상적 Lelong 클래스와 극값 함수 $V_{K,\psi}$에 기반하여, 빠른 근사와 관련된 해석적 연장 영역을 특성화한다.

실험 결과

연구 질문

• RQ1 스토인 다양체에서 $\psi$-다항식에 의한 빠른 다항근사가 발생하기 위한 다우함수 $\psi$의 곡률 조건은 무엇인가?
• RQ2 다항근사 속도와 컴팩트 집합 $K$를 초월한 함수의 해석적 연장 간의 관계는 어떻게 되는가?
• RQ3 Winiarski의 정리, 즉 전체 함수의 성장과 다항근사 간의 관계를 $S$-파라볼릭 스토인 다양체로 일반화할 수 있는가?
• RQ4 $\psi$-다항식이 $\mathcal{O}(X)$, 즉 다양체 $X$ 위의 해석적 함수 공간에서 조밀함을 보이기 위한 조건은 무엇인가?
• RQ5 극값 함수 $V_{K,\psi}$는 근사 속도와 어떻게 관련되어 있으며, 해석적 연장의 특성화에서 어떤 역할을 하는가?

주요 결과

• 논문은 $\limsup_{t\to\infty} t \cdot (d_K(f, \mathcal{P}^\psi_t))^{\varrho/t} \leq e \cdot \varrho \cdot \sigma$ 이다. 이는 $f$가 어떤 $L > 1$에 대해 $\{z \in X : V_{K,\psi}(z) < \log(L)\}$ 집합으로 해석적으로 연장 가능할 때에 정확히 성립하며, 근사 속도와 해석적 연장 간의 정밀한 연결고리를 확립한다.
• 근사 속도는 $\varrho$와 $\sigma$라는 매개변수에 의해 정량적으로 제어되며, 이는 각각 $\|f\|_{\{\varphi \leq \log r\}}$의 성장과 $\log \|f\|_{\{\varphi \leq \log r\}} / r^\varrho$의 $\limsup$를 제어한다.
• $\psi$가 특수한 다우함수일 경우, 공간 $\mathcal{P}^\psi_t$는 차원이 $\binom{N + nM}{N}$ 이하로 유한하므로, 각 $\psi$-다항식에 대해 잘 정의된 $\psi$-차수를 가진다.
• 증명은 $f$가 $\psi$-다항식에 의해 빠른 근사를 갖는다면 $\|G\|_{\{V_{K,\psi} \leq \log r\}}$의 성장률이 $r^{\varrho} e^{\sigma r^{\varrho}}$ 이하로 제한되며, 이 성장률 $\sigma$는 정확하다고 보여진다.
• 초기 함수 $\varphi$가 곡률 조건을 만족하지 못하는 경우에도, 변형된 함수 $\varphi_\epsilon$를 사용하고 $\epsilon \to 0$으로 취하여 근사 기준이 강건함을 보였다.
• 보조정리로서, 극값 함수 $V_{K,\psi}$의 행동과 함수의 성장에 기반하여 $\mathcal{P}^\psi$가 $\mathcal{O}(X)$에 조밀함을 보이기 위한 충분조건를 확립하였다.