시겔 상반공간에서 Bergman 공간 A1λ의 전쌍과 Bloch형 공간

초록

본 논문은 시겔 상반공간 U 위에 정의된 가중 Bergman 공간 A¹_λ 의 전쌍(predual)을 규명한다. 이를 위해 새로운 Bloch‑type 공간 \tilde{𝔅} (논문에서는 e 𝔅)과 그 작은 버전 \tilde{𝔅}_0 을 도입하고, 핵심적인 적분표현식과 노름 동등성을 증명한다. 최종적으로 \tilde{𝔅}_0 이 A¹_λ 의 전쌍임을 쌍대 페어링 ⟨f,g⟩_λ =∫_U ρ(z)L_n f(z) g(z) dV_λ(z) 을 통해 확인한다.

상세 분석

시겔 상반공간 U={z∈ℂⁿ:ρ(z)>0} 에서 ρ(z)=Im z_n−|z′|² 로 정의한다. 가중 Bergman 공간 A^p_λ(U) 은 0<p<∞, λ>−1 조건 하에 ∥f∥_{p,λ}=(∫_U|f(z)|^p dV_λ(z))^{1/p}<∞ 을 만족하는 전 holomorphic 함수들의 집합이다. 여기서 dV_λ(z)=c_λ ρ(z)^λ dV(z)이며, c_λ 은 Γ함수를 이용한 정규화 상수이다. 핵심적인 재현 커널은 K_λ(z,w)=ρ(z,w)^{-(n+1+λ)} 로, ρ(z,w)=i²(w_n−z_n)−z′·w′ 로 정의된다.

논문은 먼저 Heisenberg 군 H 의 작용을 이용해 경계 bU 에 대한 불변 측도 dβ를 구축하고, 이를 통해 “취소 성질”(Lemma 3.1, Theorem 3.2)을 증명한다. 즉, ∫{bU} ρ(u,z)^{-(n+s)} dβ(u)=0 이며, 이는 Bergman 공간 A¹_λ 의 함수에 대해 ∫{bU} f(u+ti) dβ(u)=0 (모든 t>0) 을 의미한다.

다음으로, 새로운 Bloch‑type 공간 e 𝔅 을 정의한다. 이는 불변 그라디언트 |e∇f(z)|=√{2ρ(z)^{−(n−1)}∑{j=1}^{n-1}|L_j f|²+8ρ(z)²|L_n f|²} 의 상한이 유한한 전 holomorphic 함수들의 집합이며, i=(0′,i) 에서 사라지는 조건 f(i)=0 을 추가한다. 여기서 L_j=∂{z_j}+2i \bar z_j ∂{z_n} (1≤j≤n−1) 와 L_n=∂{z_n} 이 경계 접선 벡터장이다.

주요 결과는 세 가지 정리이다.

• 정리 1.1은 f∈e 𝔅 이면 임의의 정수 N≥0 에 대해
    f(z)=(-2i)^N Γ(1+λ)Γ(1+λ+N) P_λ(ρ^N L_n^N f)(z)
  라는 적분표현을 제공한다. 이는 P_λ 가 L^∞ 함수들을 e 𝔅 로 사상한다는 사실을 이용한다.
• 정리 1.2는 노름 동등성을 보여준다. 구체적으로 ∥f∥{𝔅}≈∥ρ^N L_n^N f∥∞≈∑{|α|=N}∥ρ^{⟨α⟩} L^α f∥∞, 여기서 ⟨α⟩=|α′|/2+α_n 이다. 이는 𝔅 가 p→∞ 일 때의 Bergman 공간 A^p_λ 의 극한 형태임을 시사한다.
• 정리 1.3은 전쌍 식별을 완성한다. 작은 Bloch‑type 공간 e 𝔅_0 (즉 |e∇f|∈C₀(U) 인 e 𝔅의 부분공간)과 A¹_λ 사이의 쌍대는
   ⟨f,g⟩_λ=∫_U ρ(z)L_n f(z) g(z) dV_λ(z)
  으로 정의되며, 이때 e 𝔅_0 은 A¹_λ 의 전쌍과 동형이다.

증명 과정에서 중요한 보조정리로는 (i) P_λ 가 fK_λ(·,w) 에 대해 재생성을 보장한다는 Lemma 4.2, (ii) ρ^{⟨α⟩} L^α P_λ(g) 가 L^∞ 또는 C₀ 함수로 유지된다는 Lemma 4.3, (iii) L_n 가 e 𝔅 에서 영이면 함수 자체가 영임을 보이는 Lemma 5.2 등이 있다. 또한, Cayley 변환 Φ 을 이용해 U와 단위공 B  사이의 동형성을 활용, 기존 단위공에 대한 Bloch‑space 결과를 자연스럽게 U 에 옮긴다.

전체적으로 논문은 U 위의 Bergman 공간 구조를 깊이 있게 파악하고, Bloch‑type 공간을 전쌍으로서 적절히 위치시킴으로써 복소해석학과 함수공간 이론 사이의 교량을 제공한다.