[논문 리뷰] Sets of Minimal Capacity and Extremal Domains

Herbert R. Stahl|arXiv (Cornell University)|2012. 05. 16.

Mathematical functions and polynomials참고 문헌 6인용 수 26

한 줄 요약

이 논문은 무한대에서 유리형 함수에 대해 최대의 정의역으로서의 극단적 도메인의 존재성과 유일성을 확립한다. 이 도메인은 해당 함수가 유리형이고 단일값으로 계속될 수 있는 가장 큰 영역이며, 그 보완 집합은 최소 로그 용적을 가진다. 주요 기여는 극단적 도메인을 이차 미분형식과 그린 함수의 대칭성 특성을 이용해 특성화한 것으로, 패드 근사 수렴성에의 응용을 포함한다.

ABSTRACT

Let f be a function meromorphic in a neighborhood of infinity. The central problem in the present investigation is to find the largest domain D \subset C to which the function f can be extended in a meromorphic and singlevalued manner. 'Large' means here that the complement C\D is minimal with respect to (logarithmic) capacity. Such extremal domains play an important role in Pad'e approximation. In the paper a unique existence theorem for extremal domains and their complementary sets of minimal capacity is proved. The topological structure of sets of minimal capacity is studied, and analytic tools for their characterization are presented; most notable are here quadratic differentials and a specific symmetry property of the Green function in the extremal domain. A local condition for the minimality of the capacity is formulated and studied. Geometric estimates for sets of minimal capacity are given. Basic ideas are illustrated by several concrete examples, which are also used in a discussion of the principal differences between the extremality problem under investigation and some classical problems from geometric function theory that possess many similarities, which for instance is the case for Chebotarev's Problem.

연구 동기 및 목표

• 무한대에서 유리형인 함수 $ f $ 가 유리형이고 단일값으로 계속될 수 있는 가장 큰 도메인 $ D \subset \overline{\mathbb{C}} $ 를 식별하는 것.
• 보완 집합 $ \overline{\mathbb{C}} \setminus D $, 즉 최소 용적 집합으로 불리는 집합이 최소 로그 용적을 가짐을 특성화하는 것.
• 극단적 도메인과 그 보완 최소 용적 집합에 대한 유일 존재 정리를 수립하는 것.
• 이차 미분형식과 그린 함수 대칭성과 같은 분석적 도구를 이용해 최소 용적 집합의 위상적 및 기하학적 구조를 분석하는 것.
• 극단적 도메인이 패드 근사에서 수행하는 역할, 특히 수렴 이론과 근사자들의 극점 분포에 대한 기여를 명확히 하는 것.

제안 방법

• 무한대에서 유리형인 함수 $ f $ 의 유리형 단일값 연속의 최대 도메인으로서 극단적 도메인을 정의하는 것.
• 보완 집합 $ K_0(f,\infty) = \overline{\mathbb{C}} \setminus D_0(f,\infty) $ 의 최소성 기준으로서 로그 용적을 사용하여 그 유일 존재성을 증명하는 것.
• 이차 미분형식 $ q(z)dz^2 $ 를 사용하여 임계 궤적과 그들이 최소 용적 집합을 특성화하는 데서의 역할을 분석하는 것.
• 극단적 도메인 내의 그린 함수의 대칭성 특성을 활용하여 $ K_0(f,\infty) $ 에 대한 구조적 제약 조건을 도출하는 것.
• 국소 용적 최소 조건과 기하학적 추정을 적용하여 $ K_0(f,\infty) $ 의 형태와 분포를 특성화하는 것.
• 다항식 볼록 코어와 그린 함수의 수렴성을 이용하여 근사자의 극한과 그 극점 분포를 확립하는 것.

실험 결과

연구 질문

• RQ1 무한대에서 유리형인 임의의 함수에 대해 최소 로그 용적을 가진 보완 집합을 가진 유일한 극단적 도메인이 존재하는가?
• RQ2 이차 미분형식과 같은 분석적 도구를 이용하여 최소 용적 집합의 위상적 및 기하학적 구조를 어떻게 특성화할 수 있는가?
• RQ3 최소 용적 집합 $ K_0(f,\infty) $ 와 패드 근사자에서 극점의 점근적 분포 사이의 관계는 무엇인가?
• RQ4 극단적 도메인 내의 그린 함수의 대칭성 특성이 $ K_0(f,\infty) $ 의 구조에 어떻게 영향을 미치는가?
• RQ5 클래식한 기하학적 함수론 문제, 예를 들어 체보타레프 문제와 비교했을 때, 극단적 도메인 문제의 차별점은 무엇인가?

주요 결과

• 무한대에서 유리형인 임의의 함수 $ f $ 에 대해, 그 보완 집합 $ K_0(f,\infty) $ 가 최소 로그 용적을 가지는 유일한 극단적 도메인 $ D_0(f,\infty) $ 가 존재한다.
• 최소 용적 집합 $ K_0(f,\infty) $ 는 예시에서 8개의 호의 합집합으로 특성화되며, 근사자 $[63/62]_f$ 의 극점은 $ K_0(f,\infty) $ 에서의 평형 측도에 따라 점근적으로 분포한다.
• 극단적 도메인 내의 그린 함수는 특정한 대칭성 특성을 보이며, 이는 최소 용적 집합을 특성화하는 데 도움이 된다.
• 이차 미분형식을 사용하여 $ K_0(f,\infty) $ 의 경계를 형성하는 궤적의 국소적 및 전역적 행동을 기술하며, 차수 $ l $ 의 임계점에 $ l+2 $ 개의 궤적이 만난다.
• 패드 근사자 $[n+1/n]_f$ 가 $ f $ 로의 수렴은 $ D_0(f,\infty) $ 내에서 용적 수렴으로 발생하며, 이 수렴은 더 이상 큰 도메인에서 수렴을 지원하지 않는다는 점에서 최적이다.
• 패드 근사자에서의 유령 극점들은 상쇄가 예상되는 근처의 극점과 영점 쌍으로서 식별되며, $ f $ 의 특이점과 대응하지 않으며, $ K_0(f,\infty) $ 에 점근적으로 분포하는 극점들과는 다릅니다.