지역적으로 이중성 공간에서의 벡터값 특이 적분과 최대함수의 국소적 유계성

초록

연결된 지역 이중성(metric measure) 공간에서, 적절히 선택된 Calderón‑Zygmund 연산자와 절단된 Hardy‑Littlewood 최대함수가 벡터값 L^p 공간에 대해 국소적으로 유계함을 증명한다. 주요 도구는 지역적 커버링 보조정리와 새로운 Whitney‑type 분해이며, 기존 전역 이중성 이론을 지역적 상황으로 확장한다.

상세 분석

본 논문은 전통적인 Calderón‑Zygmund 이론이 전제하는 전역적인 이중성 조건을 완화하여, 반경 R 이하에서만 이중성이 성립하는 “locally doubling” 공간에서도 벡터값 연산자의 유계성을 확보한다. 저자는 먼저 (X,d,µ) 가 연결되고 locally compact이며, 내부 정규화된 Radon 측도 µ 를 갖는다고 가정한다. 각 R>0 에 대해 최소 이중성 상수 D_R 을 정의하고, D_R<∞ 인 경우 모든 반경 ≤2R 의 볼이 유한하고 양의 측도를 가진다(Lemma 2).

기본적인 커버링 보조정리(Lemma 4, 5)를 이용해, 임의의 열린 집합 U(직경 <R) 를 반경 함수 r(x) 로 분할하고, {B(x, r(x))}_x∈N 이 서로 겹치지 않으면서 3배 확대된 볼이 U 를 덮는 가산 집합 N 을 구성한다. 이 과정에서 Whitney‑type 분해가 필요하므로 연결성 가정이 핵심 역할을 한다.

다음으로 Banach 공간 B 로 값하는 함수 f에 대해 지역 최대함수 M_R f 와 평균값 연산자 f_M_R f 를 정의하고, 이들의 하위 연속성, 약형 L^1 → L^{1,∞} 추정, 그리고 L^p(µ;B) 에서의 강형 L^p 추정(1<p≤∞)을 입증한다(Lemma 8). 여기서 핵심은 볼의 측도 비율을 제어하는 D_{3R} 의 유한성이다.

그 후, Lemma 9 에서 “local Calderón‑Zygmund decomposition” 을 구축한다. 주어진 f∈L^1(µ;B) 와 임계값 α 에 대해 f=g+∑{x∈N} h_x 로 분해하고, g는 평균이 작고 L^∞‑bounded, h_x는 각각 작은 볼 B(x,r(x)) 안에서 평균이 0인 함수이며 겹침이 일정 상수 D{5·3κR} 로 제한된다. 이 분해는 전통적인 전역 분해와 달리 지원이 제한된 볼에만 의존하므로, D_R 의 크기에 따라 필요한 반경을 조절할 수 있다.

마지막으로 Theorem 14‑18 (본문에 구체적 서술은 없지만 요약에 언급) 에서, 위의 분해와 최대함수 추정을 결합해 벡터값 Calderón‑Zygmund 연산자 T 가 L^p(µ;ℓ^q) → L^p(µ;ℓ^q) 로 유계임을 보이며, 특히 절단된 Hardy‑Littlewood 최대함수에 대해서도 동일한 결과를 얻는다. 결과는 D_R 이 유한한 구간 R 에 대해만 요구되므로, 전역적인 이중성 가정 없이도 대부분의 실제 공간(예: 비균일하게 확장되는 리만 다양체, 일부 그래프 등)에서 적용 가능하다.

핵심 기여는 (1) 지역 이중성만으로도 전통적인 Calderón‑Zygmund 이론을 재현하는 방법론, (2) 연결성을 이용한 Whitney‑type 보조정리의 새로운 증명, (3) 벡터값 함수와 혼합 노름 공간에 대한 최대함수와 singular integral 의 동시에 유계성을 확보한 점이다. 또한 기존 증명에서 발견된 작은 오류들을 정정하고, 측도 외부정규성 가정 없이도 결과를 유지한다는 점에서 이론적 완성도가 높다.