이중 가중치가 적용된 Hardy‑Carleson 텐트 공간의 포함정리와 Volterra 연산자 연구

초록

본 논문은 두 면에서 두 배 증가하는 반경 가중치 ω∈𝔇에 대해 Hardy‑Carleson 분석 텐트 공간 ATₚ^∞(ω)의 구조를 밝힌다. μ에 대한 Carleson‑type 조건을 이용해 ATₚ^∞(ω)→T_q^∞(μ) 포함 연산자의 유계성을 완전히 기술하고, 파생함수를 이용한 Littlewood‑Paley 동등성을 제시한다. 이를 바탕으로 Volterra형 적분 연산자 J_g의 유계·콤팩트성을 p, q에 따라 정확히 구분한다.

상세 분석

논문은 먼저 반경 가중치 ω가 두 면에서 두 배 증가하는 조건(𝔇 클래스)을 만족할 때, 분석 텐트 공간 ATₚ^∞(ω)=H(𝔻)∩Tₚ^∞(ω) 의 기본적인 성장 추정과 원자 분해를 구축한다. 핵심은 μ가 Carleson 측정인지 여부를 G_{μ,r}(z)=μ(Δ(z,r))·(1−|z|)^{−1/q}·b_ω(z)^{−1/p}의 L^∞(𝔻) 혹은 T_{p q}^{p−q,−1}(𝔻) 에 속하는지로 판단한다는 점이다. 여기서 b_ω(z)=∫_{|ζ|<|z|}ω(ζ)dζ이며, Δ(z,r)는 의사쌍곡선 거리 r-디스크이다.

정리 1.1은 p≤q 일 때 G_{μ,r}∈L^∞가 포함 연산자 Id:ATₚ^∞(ω)→T_q^∞(μ)의 필요충분조건임을, p>q 일 때는 G_{μ,r}∈T_{p q}^{p−q,−1}가 필요충분조건임을 보인다. 이는 기존의 Carleson 측정 이론을 텐트 공간의 무한 차원 버전으로 확장한 것으로, μ의 지역적 질량이 ω에 의해 조절된 평균적 감소율을 만족해야 함을 의미한다.

다음으로 정리 1.2는 임의의 정수 m≥0에 대해 f∈AT_∞^q(ω) ⇔ f^{(m)}(·)(1−|·|)^m∈T_∞^q(ω) 임을 보이며, 이때 노름 동등식
‖f‖{AT∞^q(ω)}≈∑{j=0}^{m-1}|f^{(j)}(0)|+‖f^{(m)}(·)(1−|·|)^m‖{T_∞^q(ω)}
가 성립한다. 증명에 핵심적인 것은 𝔇 클래스 가중치에 대한 일반화된 Forelli‑Rudin 추정으로, 이는 (1−|z|)^{−δ}·ω(z) 형태의 적분을 제어한다.

마지막으로 Volterra형 연산자 J_g f(z)=∫0^z f(ζ)g’(ζ)dζ에 대한 결과가 제시된다. 정리 1.3은 p≤q 일 때
sup{z∈𝔻}|g’(z)|(1−|z|)·b_ω(z)^{1/q−1/p}<∞
가 J_g:ATₚ^∞(ω)→AT_q^∞(ω) 의 유계성(및 동등한 콤팩트성) 조건임을, p>q 일 때는 g∈AT_{p q}^{p−q}(ω) 가 필요충분조건임을 보여준다. 여기서 AT_{p q}^{α}(ω)는 파생 차수 α에 대한 가중 텐트 공간을 의미한다.

기술적으로는 섹션 2에서 Carleson 측정과 𝔇 가중치의 기본 성질을 정리하고, 섹션 3에서 r-격자와 원자(아톰) 정의를 통해 AT_∞^q(ω)의 원자 분해를 구축한다. 섹션 4에서는 위의 G_{μ,r} 함수를 이용해 포함 정리를 증명하고, 콤팩트성은 원자 분해와 Vanishing Carleson 측정 개념을 결합해 얻는다. 섹션 5에서는 Littlewood‑Paley 동등식과 Volterra 연산자의 매핑 특성을 각각 증명한다. 전체적으로 본 논문은 기존의 Hardy‑Bergman 텐트 공간 이론을 두 배 증가 가중치와 무한 차원(∞) 노름으로 일반화함으로써, Carleson 측정, 파생함수, 그리고 Volterra 연산자 사이의 미묘한 상호작용을 정밀하게 규명한다.