[논문 리뷰] Zero-free polynomial approximation on a chain of Jordan domains

Paul M. Gauthier, Greg Knese|arXiv (Cornell University)|2012. 08. 31.

Holomorphic and Operator Theory참고 문헌 3인용 수 7

한 줄 요약

이 논문은 연결된 보편적 보완을 가진 컴act 집합 위에서 연속적이고 해석적이며 영이 아닌 함수가 전체 컴act 집합에서 영이 없는 다항함수로 균일하게 근사될 수 있는지에 대한 긍정적인 답변을 제시한다. 특히, 서로 이웃한 단일 점에서 만날 수 있는 조르당 도메인의 사슬에 대해 다루며, 콫포르멀 매핑과 수축, 렌즈 모양의 매핑, 포물선 근사 기법을 이용한 반복적 영 제거 기법을 통해 이러한 도메인에 대해 영이 없는 다항함수 근사를 구성한다.

ABSTRACT

On a compact subset of the plane with connected complement, is it possible to uniformly approximate a continuous function, holomorphic and non-vanishing on the interior, with polynomials non-vanishing on the entire compact set? In this brief note, we recall the surprising connection between this question and the Riemann hypothesis and proceed to provide an affirmative answer for a "chain" of Jordan domains.

연구 동기 및 목표

• 연결된 보편적 보완을 가진 컴act 집합 위에서 영이 없는 해석함수를 전체 컴act 집합에서 영이 없는 다항함수로 균일하게 근사할 수 있는지 조사한다.
• 이 근사 문제와 리만 제타 함수의 유니버설리티를 통해 리만 가설과의 연관성을 다룬다.
• 이웃한 도메인이 단일 점에서 접하는 경우, 조르당 도메인의 사슬에 대해 구성적 해법을 제공한다.
• 단일 조르당 도메인 또는 분리된 도메인의 합집합에서 알려진 결과를 연결된 도메인 사슬으로 확장한다.
• 이웃한 도메인의 경계점에서의 영을 제거하는 방법을 개발하면서 균일한 근사성을 유지한다.

제안 방법

• Osgood-Carathéodory 정리를 사용하여 단위 원판에서 사슬에 속한 조르당 도메인의 폐포로 콍포르멀 매핑을 연장한다.
• 레마 2.2(경계점으로 향한 수축)를 적용하여 함수의 영을 하나의 원판 경계점에 집중시킨다.
• 레마 2.3(렌즈 모양의 매핑)를 사용하여 영을 이웃한 원판의 두 경계점으로 옮긴다.
• 레마 2.4(포물선 근사)를 적용하여 경계점 근처에서 함수를 변형하면서 값은 유지하고 소규모 변형을 보장한다.
• 레마 2.5를 활용하여 두 이웃한 조르당 도메인의 접촉점에서의 영을 콍포르멀 매핑과 통제된 변형을 조합하여 제거한다.
• 도메인 사슬을 따라 유한한 귀납법을 적용하여, 레마 2.5를 반복적으로 사용해 각 접촉점의 영을 제거함으로써 영이 없는 근사를 달성한다.

실험 결과

연구 질문

• RQ1 이웃한 도메인이 단일 점에서 만날 수 있는 조르당 도메인의 사슬 위에서 영이 없는 해석함수는 전체 컴act 집합에서 영이 없는 다항함수로 균일하게 근사될 수 있는가?
• RQ2 이웃한 조르당 도메인의 접촉점에서의 영을 제거할 수 있는 구성적 방법이 있으며, 이 과정에서 균일한 근사성이 유지되는가?
• RQ3 이웃한 도메인이 단일 점에서 접하는 조르당 도메인의 사슬의 구조는 영이 없는 다항함수 근사의 가능성을 어떻게 영향을 주는가?
• RQ4 콤팩트 집합이 단순연결이 아니며 보편적 보완을 가진 경우, 콍포르멀 매핑과 반복적 변형 기법이 영이 없는 근사를 달성하는 데 어떤 역할을 하는가?
• RQ5 이 근사 문제의 해법이 리만 가설과 같은 깊은 수론적 추측과 얼마나 관련이 있는가?

주요 결과

• 질문 1.1에 대해 이웃한 도메인이 단일 점에서 만날 수 있는 조르당 도메인의 사슬에 대해 긍정적인 답변이 제시된다.
• 작은 ε에 대해, f와 균일하게 가까운 A(Ω̄)에 속하는 함수의 수열을 구성하여 전체 컴act 집합 Ω̄에서 영이 없는 성질을 확보한다.
• 이 구성은 레마 2.2–2.5를 반복 적용하여 이웃한 도메인의 접촉점에서의 영을 차례로 제거하는 데 기반한다.
• 최종 함수 fε는 전체 사슬의 폐포에서 영이 없으며, Ω̄에서 |f − fε| < ε 임을 보여준다.
• Mergelyan의 정리에 의해 fε는 다항함수로 균일하게 근사 가능하며, 이 다항함수들은 Ω̄에서 영이 없는 성질을 그대로 유지한다.
• 이 결과는 이전의 단일 또는 분리된 조르당 도메인에 대한 결과를 확장하여, 서로 분리되어 있지 않으며 단순연결이 아닌 컴act 집합에 대해 영이 없는 근사 문제의 구성적 해법을 확립한다.