[논문 리뷰] A Remark on Two Extensions of the Disc Algebra and Mergelyan's Theorem

Vassili Nestoridis, Ioannis Papadoperakis|arXiv (Cornell University)|2011. 04. 05.

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

한 줄 요약

이 논문은 복소평면의 보조적(compactification)과 현수(Chordal) 거리 χ를 사용하여 닫힌 조르단 도메인에서의 균일 근사로 메르게리안 정리를 확장한다. 이와 같은 도메인에서 다항함수의 χ-균일한 극한이 되는 함수들의 집합은 일반화된 디스크 대수 확장과 일치하며, 구면 또는 조화형 무한대 경계 행동을 갖는 함수를 포함한다.

ABSTRACT

We investigate the set of uniform limits of polynomials on any closed Jordan domain with respect to the chordal metric $χ$ on $\mathbb{C}\cup\{\infty \}$. We conclude that Mergelyan's Theorem may be extended to the case of uniform approximation with respect to $χ$ on closed Jordan domains. Similar results are obtained if we replace the one point compactification $\mathbb{C}\cup\{\infty\}$ of $\mathbb{C}$ by another compactification of $\mathbb{C}$ homeomorphic to the closed unit disc.

연구 동기 및 목표

• 닫힌 조르단 도메인에서 다항함수 근사의 고전적 메르게리안 정리를, 복소평면의 보조적과 현수 거리 χ에 대한 균일 수렴으로 확장하는 것.
• 닫힌 조르단 도메인에서 다항함수의 균일 χ-극한의 집합이 무한한 값을 갖는 함수를 포함하는 일반화된 디스크 대수와 일치하는지 조사하는 것.
• 무한대가 점들의 원으로 표현되는, 복소평면의 보조적 복소수의 다른 방법을 고려하는 것.
• 이 새로운 보조적 복소수와 거리에 대해 닫힌 조르단 도메인에서 다항함수의 균일 극한 집합을 특성화하는 것.
• 각각의 거리에 대해 일반화된 함수 클래스가 다항함수의 균일 극한으로서 나타남을 증명하는 것.

제안 방법

• 일반적인 조르단 도메인 Ω에서 단위 원판 D로의 등각사상 φ: D → Ω를 사용하여 문제를 전환한다.
• 함수 f: $χ$-A(Ω) → ℂ ∪ {∞} 중에서 $χ$-A(Ω)에서 연속이고, Ω에서 해석적이며, 경계에서 ℂ ∪ {∞}로의 반사극한을 갖는 함수들의 집합으로 일반화된 클래스 $χ$-A(Ω)를 정의한다.
• 기존 결과를 적용하여, ℂ ∪ {∞}에서 현수 거리 χ를 사용할 때 $χ$-A(D)가 다항함수의 균일 χ-극한의 집합과 일치함을 보인다.
• 삼각부등식과 거리 비교(χ(a,b) ≤ |a−b|)를 사용하여, Ω에서의 χ-수렴을 D에서의 균일 수렴으로 연결하고, 다시 다항함수 근사로 연결한다.
• z ↦ z/(1+|z|)를 통해 복소평면의 보조적 복소수를 도입하고, ℂ ∪ {∞·e^{iθ}}에 유도된 거리 d를 정의한다.
• 함수들이 $χ$-A(Ω)에서 연속이고, Ω에서 해석적이며, g(z) = ∞·e^{iθ(z)} 형태이면서 θ가 $χ$-A(Ω)에서 연속이고 Ω에서 조화형인 함수들의 집합으로 $χ$-A(Ω)를 정의한다.

실험 결과

연구 질문

• RQ1 메르게리안 정리는 닫힌 조르단 도메인에서 현수 거리 χ에 대한 균일 근사로 확장될 수 있는가?
• RQ2 닫힌 조르단 도메인 Ω에서 다항함수의 균일 χ-극한의 집합이 일반화된 디스크 대수 $χ$-A(Ω)와 일치하는가?
• RQ3 무한대가 점들의 원으로 대체되는 복소평면의 보조적 복소수에서, Ω에서 다항함수의 균일 극한 집합의 구조는 어떠한가?
• RQ4 무한대의 인자(argument)의 조화형 경계 행동(θ(z))이 확장된 함수 클래스에서의 근사 성질에 어떻게 영향을 미치는가?
• RQ5 조화형 무한대 유형 경계 값을 갖는 함수의 집합은 거리 d에 대해 다항함수의 균일 극한 집합과 같은가?

주요 결과

• 연속적이고, Ω에서 해석적이며, 경계값이 ℂ ∪ {∞}에 속하는 함수들의 집합 $χ$-A(Ω)는 $χ$-A(Ω)에서 다항함수의 균일 χ-극한 집합과 일치한다.
• 모든 함수 g ∈ $χ$-A(Ω)에 대해, sup_{z∈$χ$-A(Ω)} χ(Q_n(z), g(z)) → 0 (n → ∞)를 만족하는 다항함수의 수열 Q_n이 존재한다.
• 이 증명은 Riemann 사상 정리를 사용하여 문제를 단위 원판 D로 전환하고, $χ$-A(D)에서 다항함수의 알려진 χ-근사 성질을 활용한다.
• 보조적 복소수의 다른 방법은 거리 d를 유도하며, 이에 따라 $χ$-A(Ω)는 다항함수의 균일 d-극한 집합으로도 특성화된다.
• 함수의 유형이 무한대인 $χ$-A(Ω)는 g(z) = ∞·e^{iθ(z)} 형태이며, θ는 $χ$-A(Ω)에서 연속이고 Ω에서 조화적이다.
• 이 결과는 구면 및 보조적 복소 근사의 맥락에서 메르게리안 정리의 직접적인 유사체를 확립하며, 고전적 다항함수 근사에 무한대 경계값을 갖는 함수를 포함하도록 확장한다.