[논문 리뷰] Padé Approximants, density of rational functions in $\bbb{A^\infty(\OO)}$ and smoothness of the integration operator

Vassili Nestoridis, Ilias Zadik|arXiv (Cornell University)|2012. 12. 18.

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

한 줄 요약

이 논문은 $A^\infty(\Omega)$ 공간에서 Padé 근사의 일반적 보편성을 확립하며, $\Omega$의 기하적 조건이 만족될 경우 유리 함수가 $A^\infty(\Omega)$에서 조밀해지며, $\partial\Omega$의 길이가 무한한 경우에도 성립함을 보여준다. 또한 이러한 조건 하에서 $\Omega$ 위의 적분 연산자가 $H^\infty(\Omega)$와 $A(\Omega)$를 유지함을 증명하고, 연속성과 유계성의 경계 기하학적 특성이 부드러운 적분의 성질에 미치는 영향을 강조하는 구조적 예를 제시한다.

ABSTRACT

First we establish some generic universalities for Padé approximants in the closure $X^\infty(\OO)$ in $A^\infty(\OO)$ of all rational functions with poles off $\oO$, the closure taken in $\C$ of the domain $\OO\subset\C$.\ Next we give sufficient conditions on $\OO$ so that $X^\infty(\OO)=A^\infty(\OO)$.\ Some of these conditions imply that, even if the boundary $\partial\OO$ of a Jordan domain $\OO$ has infinite length, the integration operator on $\OO$ preserves $H^\infty(\OO)$ and $A(\OO)$ as well.\ We also give an example of a Jordan domain $\OO$ and a function $f\in A(\OO)$, such that its antiderivative is not bounded on $\OO$.\ Finally we restate these results for Volterra operators on the open unit disc $D$ and we complete them by some generic results.

연구 동기 및 목표

• 유리 함수의 closure인 $X^\infty(\Omega)$가 $A^\infty(\Omega)$와 일치하는 조건을 규명함으로써, $A^\infty(\Omega)$ 내 Padé 근사의 보편성을 확립한다.
• 경계 $\partial\Omega$의 길이가 무한한 경우에도 $X^\infty(\Omega) = A^\infty(\Omega)$가 성립하도록 하는 충분한 기하적 조건을 특정한다.
• 특정 조건 하에서 조르단 도메인 $\Omega$ 위의 적분 연산자의 부드러움, 즉 $H^\infty(\Omega)$ 및 $A(\Omega)$에 속하는 함수들의 부정적분이 경계까지 유계적이거나 연속적인지 여부를 조사한다.
• 경계 길이가 무한한 조르단 도메인 $\Omega$와 $f \in A(\Omega)$의 예를 제시하여 그 부정적분이 $\Omega$ 내에서 유계가 아니라는 구조적 예를 제공함으로써, 일부 경우에서 부드러운 적분이 성립하지 않음을 보여준다.
• 결과를 단위 원판에서의 볼테라 연산자로 재구성하고, 베어 기하학 이론을 활용하여 보편성 결과를 도출한다.

제안 방법

• 함수들이 $\overline{\Omega}$에서 떨어진 컴acts 집합에서 Padé 근사를 통해 균일 근사될 수 있도록 분석하기 위해 $\mathbb{C} \cup \{\infty\}$ 위의 현수 거리(metric)를 사용한다.
• 베어의 카테고리 정리 적용을 통해, 부정적분이 $H^\infty(\Omega)$나 $A(\Omega)$에 속하지 않는 함수들의 집합이 특정 조건 하에서 $A(\Omega)$ 내에서 잔여집합이자 조밀집합임을 보인다.
• 경계 길이가 무한한 특정 조르단 도메인 $\Omega$와 그 위의 함수 $f \in A(\Omega)$를 구성하여, 그 부정적분이 유계가 아니라는 점을 보이며, 특수한 내부 함수 $\exp\left(\frac{z+1}{z-1}\right)$를 활용한다.
• 리만 사상 정리를 통해 결과를 단위 원판 $D$로 환원하고, 적분 연산자를 $H(D)$와 $A(D)$ 위의 볼테라 연산자 $T_g$로 재구성한다.
• 균일 수렴 위상에서 열린 조밀집합을 이용하여, $\{f \in A(D) : T_g(f) \notin H^\infty(D)\}$ 및 $\{f \in H^\infty(D) : T_g(f) \notin H^\infty(D)\}$ 집합이 비어있지 않은 경우 $G_\delta$ 이며 조밀함을 증명한다.
• 위상적 보편성의 개념을 활용하여, 잔여집합을 이루는 함수 $g$에 대해, 볼테라 연산자 $T_g$가 잔여집합을 이루는 입력 $f$에 대해 $H^\infty(D)$를 유지하지 못함을 보여준다.

실험 결과

연구 질문

• RQ1 어떤 기하적 조건을 만족할 경우, $\overline{\Omega}$ 외부에 극을 가지는 유리 함수의 closure인 $X^\infty(\Omega)$가 $A^\infty(\Omega)$와 일치하는가?
• RQ2 경계 길이가 무한한 조르단 도메인 $\Omega$에서, $H^\infty(\Omega)$ 및 $A(\Omega)$에 속하는 유계 또는 연속 해석적 함수들의 부정적분이 여전히 유계적이거나 연속적인지를 보장할 수 있는가?
• RQ3 경계 길이가 무한한 조르단 도메인 $\Omega$에서 $f \in A(\Omega)$에 대해 그 부정적분이 $\Omega$ 내에서 유계가 아니라는 구조적 예가 존재하는가?
• RQ4 적분 연산자가 $H^\infty(\Omega)$를 유지하지 못하는 현상은 얼마나 보편적인가? 특히, 부정적분이 $H^\infty(\Omega)$에 속하지 않는 함수들의 집합이 $A(\Omega)$에서 잔여집합이자 조밀집합인가?
• RQ5 도메인 $\Omega$에서의 적분 연산자 결과를 단위 원판 $D$에서의 볼테라 연산자로 재구성하고 일반화할 수 있으며, 이 경우 실패 집합이 보편적인가?

주요 결과

• 경계 $\partial\Omega$의 길이가 무한한 경우에도, $\Omega$가 조르단 도메인이고 $\overline{\Omega}^0 = \Omega$, $\mathbb{C} \setminus \overline{\Omega}$가 연결되어 있으며, $\Omega$ 내 임의의 두 점 사이의 곡선 길이가 일괄적으로 유계이면, 극이 $\overline{\Omega}$ 외부에 있는 유리 함수의 closure인 $X^\infty(\Omega)$는 $A^\infty(\Omega)$와 일치한다.
• 이러한 도메인 $\Omega$에 대해, $F' = f$ 및 $F(z_0) = 0$ 조건을 만족하는 적분 연산자 $f \mapsto F$는 $H^\infty(\Omega)$를 $H^\infty(\Omega)$로, $A(\Omega)$를 $A(\Omega)$로 보존하며, 이는 적분의 부드러움을 보장한다.
• 경계 길이가 무한한 조르단 도메인 $\Omega$와 $f \in A(\Omega)$가 존재하여, 그 부정적분 $F$가 $\Omega$ 내에서 유계가 아님을 보여주며, 이는 길이가 무한한 경계 조건 하에서 부드러운 적분이 보장되지 않음을 시사한다.
• 부정적분 $F(f)$가 $H^\infty(\Omega)$에 속하지 않는 함수들의 집합 $\{f \in A(\Omega) : F(f) \notin H^\infty(\Omega)\}$는 공집합이거나, $A(\Omega)$에서 잔여집합이자 $G_\delta$ 집합이며, 이는 부정적분의 유계성 실패가 일반적임을 의미한다.
• 단위 원판 $D$에서, 볼테라 연산자 $T_g(f) = \int_0^z f(\zeta)g'(\zeta) d\zeta$는 $Y_1(g) \neq \emptyset$이면, $A(D)$ 내에서 잔여집합이자 조밀집합인 $f$에 대해 $H^\infty(D)$를 유지하지 못하며, 이 성질은 기호 $g$의 공간에서 보편적이다.
• 비어있지 않은 경우, $\{f \in A(D) : T_g(f) \notin H^\infty(D)\}$ 및 $\{f \in H^\infty(D) : T_g(f) \notin H^\infty(D)\}$ 집합은 각각 $A(D)$와 $H^\infty(D)$에서 $G_\delta$ 이며 조밀집합이며, 이는 베어 기하학적 추론을 통해 증명된다.