[논문 리뷰] Rudin's Theorem and Projective Hulls

John Wermer|ArXiv.org|2006. 11. 02.

Analytic and geometric function theory참고 문헌 2인용 수 3

한 줄 요약

이 논문은 단위 원 위의 실해석적 함수가 해석적 함수와 조합될 때, 그 모듈러스 내의 모든 함수가 해석적이어야 하는 충분조건을 확립한다. 쌍대성, F.와 M. Riesz 정리, 해석 continuation 성질을 이용하여, 내부의 점 평가가 경계에서의 초위니폼 노름에 대해 유계이면 함수는 해석적임을 증명한다. 핵심 결과는 그래프의 사영적 헐이 디스크 이미지 외에 추가 점을 포함하지 않으면, 그러한 함수는 전함수여야 한다는 것이다.

ABSTRACT

Walter Rudin, in 1966, characterized analytic functions in the unit disk in terms of the maximum principle relative to the boundary. We conjecture a generalization of this result when the disk is replaced by the punctured disk, and we prove a special case of this conjecture, making use of the notion of projective hull in P^n introduced by R. Harvey and B. Lawson.

연구 동기 및 목표

• 해석적 함수의 대수에서 모듈러스로 루딘의 정리를 확장하기 위해 유계 점 평가 조건을 도입한다.
• 단위 원 위의 실해석적 함수로 정의된 C^2 내 폐곡선의 사영적 헐의 구조를 조사한다.
• 그러한 곡선의 사영적 헐이 단위 디스크의 이미지와 일치할 조건을 규명한다.
• 사영적 헐이 디스크 이미지 외에 추가 점을 포함하지 않으면, 함수는 해석적(전함수)이어야 한다는 것을 증명한다.
• 그 그래프의 사영적 헐을 통해 전함수 해석적 함수를 특성화한다.

제안 방법

• 디스크 대수 A₀ 위의 모듈러스 M을 정의한다: a + bφ, 여기서 a, b ∈ A₀ 이고 φ는 Δ에서 연속이다.
• 유계 점 평가 조건을 도입한다: 각 x ∈ int(Δ)에 대해, 모든 f ∈ M에 대해 |f(x)| ≤ Mₓ sup_Γ |f|.
• 하인-반하흐 정리와 F.와 M. Riesz 정리를 사용하여, 0에서의 점 평가를 Γ 위의 측도 σ에 대한 적분으로 표현한다.
• σ와 정규화된 르베그 측도의 차이가 H¹ 함수 h의 경계 함수임을 보인다.
• φσ에도 동일한 기법을 적용하여, Γ에서 거의곳곳에서 φ = (α + k)/(1 + h)로 표현됨을 도출한다. 여기서 k와 h는 H¹ 함수이다.
• 해석적 계속성과 Γ에서 φ의 실해석성으로 인해, (α + k)/(1 + h)가 Δ 위의 유리형 함수로 확장됨을 보이고, 유한 블라시케 곱으로 곱하면 해석 함수로 확장됨을 보인다.

실험 결과

연구 질문

• RQ1 디스크 대수 위의 모듈러스 M이 함수 a + bφ로 구성되며, φ가 Δ에서 연속이고 Γ에서 실해석적일 때, 어떤 조건에서 M의 모든 함수가 해석적이어야 하는가?
• RQ2 φ가 해석적이지 않다면, C² 내 곡선 γ = (ζ, φ(ζ)) (ζ ∈ Γ)의 사영적 헐이 단위 디스크의 이미지 외부 점을 포함할 수 있는가?
• RQ3 만약 곡선 γ의 사영적 헐이 닫힌 단위 디스크의 이미지와 일치한다면, φ는 Δ에서 반드시 해석적이어야 하는가?
• RQ4 모듈러스 M 위의 점 평가 함수형이 유계일 때와 φ의 해석성 사이의 관계는 무엇인가?
• RQ5 단위 원 위의 실해석적 함수의 그래프의 사영적 헐이 디스크의 이미지와 일치하는가, 그리고 그 정확한 조건이 전함수임인가?

주요 결과

• Δ의 각 내부 점에서의 평가 함수형이 Γ 위의 초위니폼 노름에 대해 유계이면, 모듈러스 M의 모든 함수는 해석적이다.
• φ가 Γ에서 거의곳곳에서 (α + k)/(1 + h)로 표현됨을 보여, 여기서 k와 h는 H¹ 함수이므로 φ는 Δ에서 유리형이며, 따라서 극을 제거하면 해석적임을 의미한다.
• 해석적 계속성과 Γ에서 φ의 실해석성으로 인해, 함수 φ는 C 위의 전함수 해석 함수로 확장된다.
• C² 내 곡선 γ = {(ζ, φ(ζ)) : ζ ∈ Γ}의 사영적 헐은 닫힌 단위 디스크의 이미지와 일치하는 것과 동치이다.
• φ가 해석적이지 않다고 가정하여 모순을 도출한다: 차수 2d인 다항식 P_d의 수열을 구성하여, γ 위에서 |P_d|는 작지만 내부 점 (α₀, φ(α₀))에서는 크게 만들며, 사영적 헐 조건을 위반한다.