정규 함수의 새로운 정규성 판정법

초록

본 논문은 단위 구의 정규 함수와 정규 가족을 복소선(원점 통과)으로 제한했을 때의 정규성으로 완전히 특징짓는 정리와, 이를 일반화하여 해석 원판 위에서의 제한을 통한 정규성 판정법을 제시한다. 또한 Hartogs의 고전 정리인 “원점에서의 형식 멱급수가 모든 복소선에 대해 수렴하면 전체가 수렴한다”는 결과를 새로운 간단한 증명으로 재현한다.

상세 분석

논문은 먼저 정상성(normality)의 고전 정의를 복소 n 차원 영역 Ω에서의 Montel 정규성으로 소개하고, 구체적으로 구의 단위 구 Bⁿ에서의 정규 가족을 분석한다. 핵심 도구는 구의 베르그만 계량과 구의 Kobayashi 계량을 이용한 구형 미분량 f♯(z)=|f′(z)|/(1+|f(z)|²)이며, 이는 Marty’s 정리(정규성 ⇔ 구형 미분량이 지역적으로 유계)와 직접 연결된다. 저자는 Aut(Bⁿ)‑불변 가족을 고려함으로써, 모든 자동사상에 대해 합성된 함수들의 가족이 등등연속(equicontinuous)함을 보이고, 이는 Ascoli–Arzelà 정리를 통해 정규성을 확보한다.

다음 단계에서는 “복소선에 대한 제한”이라는 아이디어를 도입한다. 복소선 L_c={λc | λ∈ℂ, |c|=1}를 통해 f|_{L_c}를 1차원 함수 g(λ)=f(λc)로 정의하고, g의 정규성은 f♯(λc)와 베르그만 계량의 비교식 (3.1)·(3.2)를 통해 판정한다. 여기서 핵심은 복소선 위에서의 구형 미분량이 (1−|λ|²)⁻¹와 같은 상수에 의해 억제된다는 점이다. 따라서 f가 모든 복소선에 대해 정규이면, 전체 Bⁿ에서도 정규성을 얻는다. 반대 방향도 동일한 부등식이 깨지면 정규성이 실패함을 보이며, 정규성의 ‘방사형’ 특성을 완전히 입증한다.

또한 Hartogs 정리를 새로운 관점에서 재해석한다. 형식 멱급수 F(z)=∑ a_α z^α가 모든 복소선에 대해 수렴하면, 각 λ에 대해 부분합 f_m(λc) 가 정규 가족을 형성하고, 앞서 증명한 정규성 판정 정리를 적용해 F가 실제로 수렴함을 얻는다. 이는 기존의 복잡한 다변수 전개 대신 1차원 정규성 결과만으로 다변수 수렴을 끌어내는 간결한 증명이다.

마지막으로 일반 영역 Ω에 대해 Kobayashi 계량을 이용한 정규성 정의를 제시한다. f′가 Kobayashi 계량에서 구형 미분량을 제한한다면, 모든 매핑 φ:D→Ω에 대해 합성 g=f∘φ가 단위 원판에서 정규가 되므로 f 자체가 Ω에서 정규함을 보인다. 이는 구의 경우와 일치하면서도 자동사상이 풍부하지 않은 일반 영역에도 적용 가능한 일반화된 정규성 기준을 제공한다. 전체적으로 논문은 정규성의 지역·전역적 특성을 복소선 제한, 베르그만·Kobayashi 계량, 그리고 자동사상 불변성이라는 세 축으로 통합하여, 기존 결과들을 보다 직관적이고 간결하게 재구성한다.