이방성 Hardy 공간에서 H¹ 멀티플라이어 정리와 그 확장

초록

본 논문은 이방성 확장 행렬 A에 의해 정의되는 Hardy 공간 H¹_A에 대해, 고전적인 Sledd–Stegenga의 H¹→L¹ 멀티플라이어 정리를 이방성 설정으로 일반화한다. 측도 μ에 대한 적절한 격자합 조건이 H¹_A‑norm과 Fourier 변환의 μ‑L²‑norm을 동등하게 만든다. 또한 같은 기법으로 1≤p<∞에 대해 H¹_A→L^p 멀티플라이어 정리를 얻는다. 증명 과정에서 원래 논문의 누락된 단계와 고차원에서의 기술적 어려움을 보완한다.

상세 분석

이 논문은 먼저 이방성 확장 행렬 A와 그에 대응하는 동질 quasi‑norm ρ_A를 도입하고, 이를 이용해 타원형 집합 Δ와 그 스케일링 Δ_k를 정의한다. 이러한 기하학적 구조 위에 H¹_A는 φ‑smooth maximal 함수와 원자 분해를 통해 기술되며, 원자는 Δ_k 안에 지지하고 L¹‑norm이 |Δ_k|^{-1} 이하이며 평균이 0인 함수로 정의된다. 핵심 정리(Theorem 4.1)는 양의 Borel 측도 μ에 대해
∫{ℝ^d}|ĥf| dμ ≲ ‖f‖{H¹_A}
가 성립하려면
sup_{k∈ℤ} ∑_{α∈ℤ^d} μ(A^* Δ_k ∩ R^*_α)^{1/2} < ∞
이라는 격자합 조건이 필요·충분함을 보인다. 여기서 A^는 A의 전치, R^_α는 A^*에 의해 확대된 최소 직사각형이며, 격자점 α는 원점으로부터의 이동을 나타낸다.

증명은 먼저 충분조건을 보이는데, H¹_A‑원자 a에 대해 Fourier 변환 |â(ξ)| ≲ b_k · ρ_{A^*}(ξ)^{-1} (b_k는 Δ_k의 스케일)라는 Bownik–Wang 추정식을 이용한다. μ‑적분을 두 영역(A^Δ_k∩R^_α와 그 여집합)으로 나누고, 각 영역에 대해 Cauchy–Schwarz와 격자합 조건을 적용한다. 특히, Proposition 4.2의 유한 커버링과 Proposition 4.4에서 제시된 다변수 버전의 Sledd–Stegenga 부등식이 핵심적인 역할을 한다.

필요조건은 Bochner–Riesz 멀티플라이어 m_λ(ξ)= (1−|ξ|²)_+^{λ}의 역 Fourier 변환이 Bessel 함수 형태임을 이용한다. λ>0이면 m_λ는 H¹_A→L¹_A 멀티플라이어가 되므로, μ가 위의 격자합 조건을 만족하지 않으면 해당 부등식이 깨진다. 따라서 조건의 필요성도 확보된다.

또한 논문은 원 논문