하리 연산자의 Hardy·Bergman·Dirichlet 공간에서의 유계·콤팩트성 연구

초록

본 논문은 복소수 수열 η 에 대응하는 하리 연산자 ℛ₍η₎ 가 Hardy, Bergman, Dirichlet 공간에서 유계와 콤팩트성을 갖는 조건을 전형적인 평균 Lipschitz 공간과 연관시켜 완전히 규명한다. 특히 ηₙ=O(1/n)인 경우 p≥2에서는 ℛ₍η₎가 Hᵖ에 유계임을 보이며, p<2에서는 반례를 제시한다. 또한 파생 Hardy 공간 Sᵖ 에 대한 완전한 동치성을 얻는다.

상세 분석

논문은 먼저 하리 행렬 ℛ{ηₙ}을 정의하고, 이를 함수 공간에 작용하는 연산자 ℛ₍η₎로 해석한다. 핵심은 수열 η 의 생성함수 F₍η₎(z)=∑ₙηₙzⁿ 가 평균 Lipschitz 공간 Λ(p,α) 또는 그 작은‑오 버전 λ(p,α) 에 속하는가를 조사하는 것이다. 저자는 먼저 ℛ₍η₎가 Hᵖ에 유계이면 F₍η₎′ 의 평균값 Mₚ(r,F₍η₎′)가
Mₚ(r,F₍η₎′)=O\bigl(\log\frac1{1-r}(1-r)^{1-1/p}\bigr)
를 만족한다는 필요조건(정리 1(a))을 증명한다. 이는 기존의 Cesàro 연산자 결과를 일반화한 형태이며, p가 2 이하일 때는 Λ(p,1/p) 에 속하면 충분조건이 된다(정리 1(b)). p>2인 경우에는 더 강한 Λ(q,1/q) (q∈(2,p)) 조건이 필요함을 보인다(정리 1(c)). H²에 대해서는 Λ(2,1/2)와의 정확한 동치가 성립한다(정리 1(d)).

콤팩트성에 대해서는 필요조건이 ‘o’ 형태로 강화된다(정리 2(a)), 그리고 충분조건은 λ(p,1/p) 또는 λ(q,1/q) 와의 포함관계가 된다(정리 2(b,c)). 이는 유계성 결과와 거의 동일한 구조를 가지지만, 경계에서의 수렴 속도가 더 엄격함을 의미한다.

Bergman 공간 Aᵖ_α와 Dirichlet 공간 Dᵖ_α에 대해서도 동일한 패턴이 반복된다. 저자는 α>-1, p≥1인 경우 F₍η₎∈Λ(p,1/p)이면 ℛ₍η₎가 Aᵖ_α에 유계임을 보이고(정리 3(i)), λ(p,1/p)이면 콤팩트함을 보인다(정리 3(ii)). 반대로 ℛ₍η₎가 Aᵖ_α에 유계(또는 콤팩트)라면 앞서 제시한 평균 Lipschitz 조건이 필요함을 정리 3(iii‑vi)와 정리 4에서 증명한다. 특히 α가 0보다 클 때는 H²와 완전히 동치인 Λ(2,1/2)·λ(2,1/2) 조건이 필요·충분함을 명시한다.

가장 흥미로운 결과는 ηₙ=O(1/n)인 경우이다. 정리 5(i)는 p≥2이면 자동으로 ℛ₍η₎가 Hᵖ에 유계임을 보여, Cesàro 연산자의 고전적 결과를 일반화한다. 반면 정리 5(ii)에서는 p<2에 대해 같은 성장조건만으로는 충분하지 않으며, 실제로 ℛ₍η₎가 유계가 되지 않는 구체적 수열을 구성한다. 정리 5(iii)에서는 ηₙ가 비음수 감소수열일 때는 ηₙ=O(1/n) ⇔ ℛ₍η₎∈B(Hᵖ)라는 완전한 동치가 성립함을 보여, 순서와 부호가 중요한 역할을 함을 강조한다.

마지막으로 파생 Hardy 공간 Sᵖ(= {f: f′∈Hᵖ})에 대한 연구가 진행된다. 정리 6은 1≤p<∞, 1<q<∞에 대해 ℛ₍η₎가 Sᵖ→Sᵠ 유계·콤팩트함이 F₍η₎∈Sᵠ와 동치임을 증명한다. 이는 ℛ₍η₎가 S²에서 유계·콤팩트가 동치라는 기존 결과를 일반 p, q로 확장한 것으로, 함수의 미분이 Hardy 공간에 속한다는 추가 구조가 핵심적인 역할을 한다는 점을 보여준다. 전체적으로 논문은 하리 연산자의 작용을 평균 Lipschitz 계열과 정밀히 연결시켜, 기존 Cesàro 연산자 이론을 크게 확장하고, 다양한 함수공간에서의 유계·콤팩트성 기준을 체계화하였다.